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