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