Pow x3 Pow Add x0 atanh Pow Add cosh x1 x0 Mul pi x0 asec cbrt Pow x3 -1 
Mul Pow x3 Add Pow Add x0 atanh Pow Add cosh x1 x0 Mul pi x0 asec cbrt Pow x3 -1 -1 Mul Mul x3 log x3 Mul Pow Add x0 atanh Pow Add cosh x1 x0 Mul pi x0 Add asec cbrt Pow x3 -1 -1 Mul asec cbrt Pow x3 -1 Add 1 Mul Mul Pow Add cosh x1 x0 Add Mul pi x0 -1 Add Mul pi x0 Mul Mul Add cosh x1 x0 log Add cosh x1 x0 pi Pow Add 1 Mul -1 Mul Pow Add cosh x1 x0 Mul pi x0 Pow Add cosh x1 x0 Mul pi x0 -1 