sqrt atanh log Add x0 Mul Mul acot x3 cosh atan x0 sec Pow x6 x7 
Mul Pow Mul 2 sqrt atanh log Add x0 Mul Mul acot x3 cosh atan x0 sec Pow x6 x7 -1 Mul Mul Add 1 Mul sec Pow x6 x7 Mul acot x3 Mul sinh atan x0 Pow Add 1 Mul x0 x0 -1 Pow Add x0 Mul Mul acot x3 cosh atan x0 sec Pow x6 x7 -1 Pow Add 1 Mul -1 Mul log Add x0 Mul Mul acot x3 cosh atan x0 sec Pow x6 x7 log Add x0 Mul Mul acot x3 cosh atan x0 sec Pow x6 x7 -1 