Add Mul x0 acot x0 Pow Mul x3 sin csch Pow x0 Mul acoth x0 x0 2.09439510239320 
Add Add acot x0 Mul x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Pow Mul x3 sin csch Pow x0 Mul acoth x0 x0 1.09439510239320 Mul 2.09439510239320 Mul x3 Mul cos csch Pow x0 Mul acoth x0 x0 Mul Mul Mul -1 coth Pow x0 Mul acoth x0 x0 csch Pow x0 Mul acoth x0 x0 Mul Pow x0 Add Mul acoth x0 x0 -1 Add Mul acoth x0 x0 Mul Mul x0 log x0 Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 acoth x0 