Add Mul log x1 x0 tan Pow Add asec acosh x0 E x4 
Add log x1 Mul Pow sec Pow Add asec acosh x0 E x4 2 Mul Pow Add asec acosh x0 E Add x4 -1 Mul x4 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 