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