Name
? tripos-tan 1
? primos-tan 1
1