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