Pow x0 cosh Add x0 tan Mul Add Add x0 Mul exp x0 3 E x0 
Mul Pow x0 Add cosh Add x0 tan Mul Add Add x0 Mul exp x0 3 E x0 -1 Add cosh Add x0 tan Mul Add Add x0 Mul exp x0 3 E x0 Mul Mul x0 log x0 Mul sinh Add x0 tan Mul Add Add x0 Mul exp x0 3 E x0 Add 1 Mul Pow sec Mul Add Add x0 Mul exp x0 3 E x0 2 Add Mul x0 Add 1 Mul 3 exp x0 Add Add x0 Mul exp x0 3 E 