atan asinh tan Pow Add E 1.31303528549933 tan acosh x0 
Mul Mul Mul Pow sec Pow Add E 1.31303528549933 tan acosh x0 2 Mul Pow Add E 1.31303528549933 Add tan acosh x0 -1 Mul Mul Add E 1.31303528549933 log Add E 1.31303528549933 Mul Pow sec acosh x0 2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow sqrt Add 1 Mul tan Pow Add E 1.31303528549933 tan acosh x0 tan Pow Add E 1.31303528549933 tan acosh x0 -1 Pow Add 1 Mul asinh tan Pow Add E 1.31303528549933 tan acosh x0 asinh tan Pow Add E 1.31303528549933 tan acosh x0 -1 