Pow x0 acosh log Add sinh x7 Add Mul -1 cosh acosh x2 exp Mul x2 Pow x2 3 
Mul Pow x0 Add acosh log Add sinh x7 Add Mul -1 cosh acosh x2 exp Mul x2 Pow x2 3 -1 acosh log Add sinh x7 Add Mul -1 cosh acosh x2 exp Mul x2 Pow x2 3 