Mul acoth x2 sec Add Add asec acosh x0 x0 x1 
Mul acoth x2 Mul Mul tan Add Add asec acosh x0 x0 x1 sec Add Add asec acosh x0 x0 x1 Add Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acosh x0 acosh x0 -1 acosh x0 acosh x0 -1 1 