sec tanh Mul Mul Pow x7 Pow x6 x0 atanh x0 Add pi x0 
Mul Mul tan tanh Mul Mul Pow x7 Pow x6 x0 atanh x0 Add pi x0 sec tanh Mul Mul Pow x7 Pow x6 x0 atanh x0 Add pi x0 Mul Pow sech Mul Mul Pow x7 Pow x6 x0 atanh x0 Add pi x0 2 Add Mul Add pi x0 Add Mul atanh x0 Mul Pow x7 Add Pow x6 x0 -1 Mul Mul x7 log x7 Mul Pow x6 Add x0 -1 Mul x6 log x6 Mul Pow x7 Pow x6 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow x7 Pow x6 x0 atanh x0 