tan Add Pow x1 csch x4 Pow exp acosh x0 sech E 
Mul Pow sec Add Pow x1 csch x4 Pow exp acosh x0 sech E 2 Mul Pow exp acosh x0 Add sech E -1 Mul sech E Mul exp acosh x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 