Add Add x0 acos acos Add x0 acot sinh x0 Add Mul cbrt x7 x0 x0 
Add Add 1 Mul -1 Mul Mul -1 Mul Add 1 Mul -1 Mul cosh x0 Pow Add 1 Mul sinh x0 sinh x0 -1 Pow sqrt Add 1 Mul -1 Mul Add x0 acot sinh x0 Add x0 acot sinh x0 -1 Pow sqrt Add 1 Mul -1 Mul acos Add x0 acot sinh x0 acos Add x0 acot sinh x0 -1 Add cbrt x7 1 