Add atanh Add acot Mul Add x6 x0 sec x7 Add x0 x1 3 
Mul Add Mul -1 Mul sec x7 Pow Add 1 Mul Mul Add x6 x0 sec x7 Mul Add x6 x0 sec x7 -1 1 Pow Add 1 Mul -1 Mul Add acot Mul Add x6 x0 sec x7 Add x0 x1 Add acot Mul Add x6 x0 sec x7 Add x0 x1 -1 