Mul x0 Mul Add Mul 4 x0 Add 5 Mul x0 Mul acos Add cosh x0 1 cot x0 x7 
Add Mul Add Mul 4 x0 Add 5 Mul x0 Mul acos Add cosh x0 1 cot x0 x7 Mul x0 Mul x7 Add 4 Add Mul acos Add cosh x0 1 cot x0 Mul x0 Add Mul cot x0 Mul -1 Mul sinh x0 Pow sqrt Add 1 Mul -1 Mul Add cosh x0 1 Add cosh x0 1 -1 Mul acos Add cosh x0 1 Mul -1 Pow csc x0 2 