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