Add Mul -2 Mul Mul 5 log Pow pi Mul Mul x1 Pow Pow x0 x0 atanh cosh x3 2 5 x2 
Mul -2 Mul 5 Mul 5 Mul Mul Pow pi Add Mul Mul x1 Pow Pow x0 x0 atanh cosh x3 2 -1 Mul Mul pi log pi Mul 2 Mul x1 Mul Pow Pow x0 x0 Add atanh cosh x3 -1 Mul atanh cosh x3 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Pow pi Mul Mul x1 Pow Pow x0 x0 atanh cosh x3 2 -1 