Mul Add Mul 125 cot x0 Pow acos x3 cosh cosh x0 x0 
Add Mul x0 Add Mul 125 Mul -1 Pow csc x0 2 Mul Pow acos x3 Add cosh cosh x0 -1 Mul Mul acos x3 log acos x3 Mul sinh cosh x0 sinh x0 Add Mul 125 cot x0 Pow acos x3 cosh cosh x0 