Add Mul Pow x0 E Pow tan Mul 4 x0 sec acosh coth x3 4 
Add Mul Pow tan Mul 4 x0 sec acosh coth x3 Mul Pow x0 Add E -1 E Mul Pow x0 E Mul Pow tan Mul 4 x0 Add sec acosh coth x3 -1 Mul sec acosh coth x3 Mul Pow sec Mul 4 x0 2 4 