Add -74.2032105777888 Mul atan x0 Add cosh x2 log Pow Mul x0 pi Mul E x7 
Add Mul Add cosh x2 log Pow Mul x0 pi Mul E x7 Pow Add 1 Mul x0 x0 -1 Mul atan x0 Mul Mul Pow Mul x0 pi Add Mul E x7 -1 Mul Mul E x7 pi Pow Pow Mul x0 pi Mul E x7 -1 