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