acoth tan Pow Add x0 x1 sec Add 4 x0 
Mul Mul Pow sec Pow Add x0 x1 sec Add 4 x0 2 Mul Pow Add x0 x1 Add sec Add 4 x0 -1 Add sec Add 4 x0 Mul Mul Add x0 x1 log Add x0 x1 Mul tan Add 4 x0 sec Add 4 x0 Pow Add 1 Mul -1 Mul tan Pow Add x0 x1 sec Add 4 x0 tan Pow Add x0 x1 sec Add 4 x0 -1 