atanh Mul Add Pow Add log x0 Mul Pow 4 x0 cosh x0 x0 x2 pi 
Mul Mul pi Mul Pow Add log x0 Mul Pow 4 x0 cosh x0 Add x0 -1 Add Mul x0 Add Pow x0 -1 Add Mul cosh x0 Mul Pow 4 Add x0 -1 5.38629436111989 Mul Pow 4 x0 sinh x0 Mul Add log x0 Mul Pow 4 x0 cosh x0 log Add log x0 Mul Pow 4 x0 cosh x0 Pow Add 1 Mul -1 Mul Mul Add Pow Add log x0 Mul Pow 4 x0 cosh x0 x0 x2 pi Mul Add Pow Add log x0 Mul Pow 4 x0 cosh x0 x0 x2 pi -1 