exp Mul sin Pow Mul x7 exp acos x6 x0 Add Mul -3 x0 cosh acot x0 
Mul exp Mul sin Pow Mul x7 exp acos x6 x0 Add Mul -3 x0 cosh acot x0 Add Mul Add Mul -3 x0 cosh acot x0 Mul cos Pow Mul x7 exp acos x6 x0 Mul Pow Mul x7 exp acos x6 Add x0 -1 Mul Mul x7 exp acos x6 log Mul x7 exp acos x6 Mul sin Pow Mul x7 exp acos x6 x0 Add -3 Mul sinh acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 