Add Mul x1 Add Add tanh acosh Pow x0 2.23606797749979 -3 x1 coth x0 
Add Mul x1 Mul Pow sech acosh Pow x0 2.23606797749979 2 Mul Mul Pow x0 1.23606797749979 2.23606797749979 Pow Mul sqrt Add Pow x0 2.23606797749979 -1 sqrt Add 1 Pow x0 2.23606797749979 -1 Mul -1 Pow csch x0 2 