Add asinh x0 Pow Mul Mul x3 Add Mul x0 x1 x2 x0 Mul -2 coth log Add -1 Mul Mul x3 Mul x0 x1 -2 
Add Pow sqrt Add 1 Mul x0 x0 -1 Mul Pow Mul Mul x3 Add Mul x0 x1 x2 x0 Add Mul -2 coth log Add -1 Mul Mul x3 Mul x0 x1 -2 -1 Add Mul Mul -2 coth log Add -1 Mul Mul x3 Mul x0 x1 -2 Add Mul x0 Mul x3 x1 Mul x3 Add Mul x0 x1 x2 Mul Mul Mul Mul x3 Add Mul x0 x1 x2 x0 log Mul Mul x3 Add Mul x0 x1 x2 x0 Mul -2 Mul Mul -1 Pow csch log Add -1 Mul Mul x3 Mul x0 x1 -2 2 Mul Mul -2 Mul x3 x1 Pow Add -1 Mul Mul x3 Mul x0 x1 -2 -1 