atan acosh Mul acoth Add E x0 sec cosh pi 
Mul Mul Mul sec cosh pi Pow Add 1 Mul -1 Mul Add E x0 Add E x0 -1 Pow Mul sqrt Add Mul acoth Add E x0 sec cosh pi -1 sqrt Add 1 Mul acoth Add E x0 sec cosh pi -1 Pow Add 1 Mul acosh Mul acoth Add E x0 sec cosh pi acosh Mul acoth Add E x0 sec cosh pi -1 