coth Mul asin x0 tan Mul acsch x3 x0 
Mul Mul -1 Pow csch Mul asin x0 tan Mul acsch x3 x0 2 Add Mul tan Mul acsch x3 x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul asin x0 Mul Pow sec Mul acsch x3 x0 2 acsch x3 