Pow x2 Add coth exp atan Pow asin x3 coth Mul x4 Mul -3 x0 Pow Mul x3 E x0 
Mul Pow x2 Add Add coth exp atan Pow asin x3 coth Mul x4 Mul -3 x0 Pow Mul x3 E x0 -1 Mul Mul x2 log x2 Add Mul Mul -1 Pow csch exp atan Pow asin x3 coth Mul x4 Mul -3 x0 2 Mul exp atan Pow asin x3 coth Mul x4 Mul -3 x0 Mul Mul Pow asin x3 Add coth Mul x4 Mul -3 x0 -1 Mul Mul asin x3 log asin x3 Mul Mul -1 Pow csch Mul x4 Mul -3 x0 2 Mul x4 -3 Pow Add 1 Mul Pow asin x3 coth Mul x4 Mul -3 x0 Pow asin x3 coth Mul x4 Mul -3 x0 -1 Mul Pow Mul x3 E Add x0 -1 Mul Mul x3 E log Mul x3 E 