tanh atanh Mul Mul x0 x0 Pow Add x0 1 atan x6 
Mul Pow sech atanh Mul Mul x0 x0 Pow Add x0 1 atan x6 2 Mul Add Mul Pow Add x0 1 atan x6 Add x0 x0 Mul Mul x0 x0 Mul Pow Add x0 1 Add atan x6 -1 atan x6 Pow Add 1 Mul -1 Mul Mul Mul x0 x0 Pow Add x0 1 atan x6 Mul Mul x0 x0 Pow Add x0 1 atan x6 -1 