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