Mul acoth atanh sec acot tan Add x0 0.00390625000000000 acot Add x0 x0 
Add Mul acot Add x0 x0 Mul Mul Mul Mul tan acot tan Add x0 0.00390625000000000 sec acot tan Add x0 0.00390625000000000 Mul -1 Mul Pow sec Add x0 0.00390625000000000 2 Pow Add 1 Mul tan Add x0 0.00390625000000000 tan Add x0 0.00390625000000000 -1 Pow Add 1 Mul -1 Mul sec acot tan Add x0 0.00390625000000000 sec acot tan Add x0 0.00390625000000000 -1 Pow Add 1 Mul -1 Mul atanh sec acot tan Add x0 0.00390625000000000 atanh sec acot tan Add x0 0.00390625000000000 -1 Mul acoth atanh sec acot tan Add x0 0.00390625000000000 Mul -1 Mul 2 Pow Add 1 Mul Add x0 x0 Add x0 x0 -1 