Pow Add x6 sec Mul x5 acoth atan x0 -1 
Mul Pow Add x6 sec Mul x5 acoth atan x0 2 Mul -1 Mul Mul tan Mul x5 acoth atan x0 sec Mul x5 acoth atan x0 Mul x5 Mul Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul atan x0 atan x0 -1 