Pow Mul asec acoth x1 sec Pow x0 Add E -1 -1 
Mul Pow Mul asec acoth x1 sec Pow x0 Add E -1 2 Mul -1 Mul asec acoth x1 Mul Mul tan Pow x0 Add E -1 sec Pow x0 Add E -1 Mul Pow x0 Add Add E -1 -1 Add E -1 