Pow x5 Mul sinh x0 Pow atan Add Add Add x1 exp x0 x0 Mul E x0 4 
Mul Pow x5 Add Mul sinh x0 Pow atan Add Add Add x1 exp x0 x0 Mul E x0 4 -1 Mul Mul x5 log x5 Add Mul Pow atan Add Add Add x1 exp x0 x0 Mul E x0 4 cosh x0 Mul sinh x0 Mul Pow atan Add Add Add x1 exp x0 x0 Mul E x0 3 Mul 4 Mul Add Add exp x0 1 E Pow Add 1 Mul Add Add Add x1 exp x0 x0 Mul E x0 Add Add Add x1 exp x0 x0 Mul E x0 -1 