Add Pow E Pow Mul x0 -1 Pow acos cosh Add x2 x0 Mul x4 4 pi 
Mul Pow E Add Pow Mul x0 -1 Pow acos cosh Add x2 x0 Mul x4 4 -1 Mul Mul E log E Mul Pow Mul x0 -1 Add Pow acos cosh Add x2 x0 Mul x4 4 -1 Add Mul Pow acos cosh Add x2 x0 Mul x4 4 -1 Mul Mul Mul x0 -1 log Mul x0 -1 Mul Pow acos cosh Add x2 x0 Add Mul x4 4 -1 Mul Mul x4 4 Mul -1 Mul sinh Add x2 x0 Pow sqrt Add 1 Mul -1 Mul cosh Add x2 x0 cosh Add x2 x0 -1 