Add Pow Mul csch Pow Pow Mul E asin x7 x0 x0 Mul x0 x0 0.0625000000000000 -3 
Mul Pow Mul csch Pow Pow Mul E asin x7 x0 x0 Mul x0 x0 -0.937500000000000 Mul 0.0625000000000000 Add Mul Mul x0 x0 Mul Mul Mul -1 coth Pow Pow Mul E asin x7 x0 x0 csch Pow Pow Mul E asin x7 x0 x0 Mul Pow Pow Mul E asin x7 x0 Add x0 -1 Add Mul x0 Mul Pow Mul E asin x7 Add x0 -1 Mul Mul E asin x7 log Mul E asin x7 Mul Pow Mul E asin x7 x0 log Pow Mul E asin x7 x0 Mul csch Pow Pow Mul E asin x7 x0 x0 Add x0 x0 