sin Pow x1 coth Add coth Add asin x0 csch x0 x0 
Mul cos Pow x1 coth Add coth Add asin x0 csch x0 x0 Mul Pow x1 Add coth Add coth Add asin x0 csch x0 x0 -1 Mul Mul x1 log x1 Mul Mul -1 Pow csch Add coth Add asin x0 csch x0 x0 2 Add Mul Mul -1 Pow csch Add asin x0 csch x0 2 Add Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul -1 coth x0 csch x0 1 