Pow Add x0 pi Add Mul Pow x0 Mul cosh x7 Mul -2 x0 Mul atanh tanh x7 x0 5 
Mul Pow Add x0 pi Add Add Mul Pow x0 Mul cosh x7 Mul -2 x0 Mul atanh tanh x7 x0 5 -1 Add Add Mul Pow x0 Mul cosh x7 Mul -2 x0 Mul atanh tanh x7 x0 5 Mul Mul Add x0 pi log Add x0 pi Add Mul Mul atanh tanh x7 x0 Mul Pow x0 Add Mul cosh x7 Mul -2 x0 -1 Add Mul cosh x7 Mul -2 x0 Mul Mul x0 log x0 Mul cosh x7 -2 Mul Pow x0 Mul cosh x7 Mul -2 x0 atanh tanh x7 