Pow x3 sinh Add Mul 4 Pow Mul x0 Mul x0 5 x0 atanh Add acosh x0 Mul cosh x1 Mul pi Add x0 3 
Mul Pow x3 Add sinh Add Mul 4 Pow Mul x0 Mul x0 5 x0 atanh Add acosh x0 Mul cosh x1 Mul pi Add x0 3 -1 Mul Mul x3 log x3 Mul cosh Add Mul 4 Pow Mul x0 Mul x0 5 x0 atanh Add acosh x0 Mul cosh x1 Mul pi Add x0 3 Add Mul 4 Mul Pow Mul x0 Mul x0 5 Add x0 -1 Add Mul x0 Add Mul x0 5 Mul x0 5 Mul Mul x0 Mul x0 5 log Mul x0 Mul x0 5 Mul Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul cosh x1 pi Pow Add 1 Mul -1 Mul Add acosh x0 Mul cosh x1 Mul pi Add x0 3 Add acosh x0 Mul cosh x1 Mul pi Add x0 3 -1 