Add acsch sqrt Add Pow pi Add Mul x7 cosh x0 x3 x7 x0 
Add Mul Mul -1 Mul Pow Mul 2 sqrt Add Pow pi Add Mul x7 cosh x0 x3 x7 -1 Mul Pow pi Add Add Mul x7 cosh x0 x3 -1 Mul Mul pi log pi Mul x7 sinh x0 Pow Mul Mul sqrt Add Pow pi Add Mul x7 cosh x0 x3 x7 sqrt Add Pow pi Add Mul x7 cosh x0 x3 x7 sqrt Add 1 Mul -1 Pow Mul sqrt Add Pow pi Add Mul x7 cosh x0 x3 x7 sqrt Add Pow pi Add Mul x7 cosh x0 x3 x7 -1 -1 1 