acos Add Pow Mul Pow atan x4 x0 Mul x0 3 Add 5 pi cosh x0 
Mul -1 Mul Add Mul Pow Mul Pow atan x4 x0 Mul x0 3 Add Add 5 pi -1 Mul Add 5 pi Add Mul Mul x0 3 Mul Pow atan x4 Add x0 -1 Mul atan x4 log atan x4 Mul Pow atan x4 x0 3 sinh x0 Pow sqrt Add 1 Mul -1 Mul Add Pow Mul Pow atan x4 x0 Mul x0 3 Add 5 pi cosh x0 Add Pow Mul Pow atan x4 x0 Mul x0 3 Add 5 pi cosh x0 -1 