csch Pow asin Pow Mul x0 3 -3 x0 
Mul Mul Mul -1 coth Pow asin Pow Mul x0 3 -3 x0 csch Pow asin Pow Mul x0 3 -3 x0 Mul Pow asin Pow Mul x0 3 -3 Add x0 -1 Mul asin Pow Mul x0 3 -3 log asin Pow Mul x0 3 -3 