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