Pow Pow Mul Pow x0 Add exp x0 x3 2 E cosh x0 
Mul Pow Pow Mul Pow x0 Add exp x0 x3 2 E Add cosh x0 -1 Add Mul cosh x0 Mul Pow Mul Pow x0 Add exp x0 x3 2 Add E -1 Mul E Mul 2 Mul Pow x0 Add Add exp x0 x3 -1 Add Add exp x0 x3 Mul Mul x0 log x0 exp x0 Mul Mul Pow Mul Pow x0 Add exp x0 x3 2 E log Pow Mul Pow x0 Add exp x0 x3 2 E sinh x0 