Mul Add x0 Pow pi sqrt Mul acosh tanh atanh x0 Add pi -2 x1 
Mul x1 Add 1 Mul Pow pi Add sqrt Mul acosh tanh atanh x0 Add pi -2 -1 Mul Mul pi log pi Mul Pow Mul 2 sqrt Mul acosh tanh atanh x0 Add pi -2 -1 Mul Add pi -2 Mul Mul Pow sech atanh x0 2 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add tanh atanh x0 -1 sqrt Add 1 tanh atanh x0 -1 