Mul x0 asin acoth coth Mul x0 x4 
Add asin acoth coth Mul x0 x4 Mul x0 Mul Mul Mul Mul -1 Pow csch Mul x0 x4 2 x4 Pow Add 1 Mul -1 Mul coth Mul x0 x4 coth Mul x0 x4 -1 Pow sqrt Add 1 Mul -1 Mul acoth coth Mul x0 x4 acoth coth Mul x0 x4 -1 