exp Add Pow x0 cbrt Mul cosh x3 Add x2 pi Pow x0 atanh x0 
Mul exp Add Pow x0 cbrt Mul cosh x3 Add x2 pi Pow x0 atanh x0 Add Mul Pow x0 Add cbrt Mul cosh x3 Add x2 pi -1 cbrt Mul cosh x3 Add x2 pi Mul Pow x0 Add atanh x0 -1 Add atanh x0 Mul Mul x0 log x0 Pow Add 1 Mul -1 Mul x0 x0 -1 