Pow pi asec Mul x4 cosh Mul x2 x0 
Mul Pow pi Add asec Mul x4 cosh Mul x2 x0 -1 Mul Mul pi log pi Mul Mul x4 Mul sinh Mul x2 x0 x2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x4 cosh Mul x2 x0 Mul x4 cosh Mul x2 x0 -1 Mul x4 cosh Mul x2 x0 Mul x4 cosh Mul x2 x0 -1 