tan tanh acot Pow Add x7 x0 Add x0 x2 
Mul Pow sec tanh acot Pow Add x7 x0 Add x0 x2 2 Mul Pow sech acot Pow Add x7 x0 Add x0 x2 2 Mul -1 Mul Mul Pow Add x7 x0 Add Add x0 x2 -1 Add Add x0 x2 Mul Add x7 x0 log Add x7 x0 Pow Add 1 Mul Pow Add x7 x0 Add x0 x2 Pow Add x7 x0 Add x0 x2 -1 