Pow pi atanh Mul sec Pow Add x0 1 tanh x2 acos acosh x0 
Mul Pow pi Add atanh Mul sec Pow Add x0 1 tanh x2 acos acosh x0 -1 Mul Mul pi log pi Mul Add Mul acos acosh x0 Mul Mul tan Pow Add x0 1 tanh x2 sec Pow Add x0 1 tanh x2 Mul Pow Add x0 1 Add tanh x2 -1 tanh x2 Mul sec Pow Add x0 1 tanh x2 Mul -1 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow sqrt Add 1 Mul -1 Mul acosh x0 acosh x0 -1 Pow Add 1 Mul -1 Mul Mul sec Pow Add x0 1 tanh x2 acos acosh x0 Mul sec Pow Add x0 1 tanh x2 acos acosh x0 -1 