csch sqrt Add Mul x0 Add Mul x0 Pow -4 x4 25 x0 
Mul Mul Mul -1 coth sqrt Add Mul x0 Add Mul x0 Pow -4 x4 25 x0 csch sqrt Add Mul x0 Add Mul x0 Pow -4 x4 25 x0 Mul Pow Mul 2 sqrt Add Mul x0 Add Mul x0 Pow -4 x4 25 x0 -1 Add Add Add Mul x0 Pow -4 x4 25 Mul x0 Pow -4 x4 1 