Mul coth Mul 0.0625000000000000 Mul Pow asin x3 x0 x0 x6 
Mul x6 Mul Mul -1 Pow csch Mul 0.0625000000000000 Mul Pow asin x3 x0 x0 2 Mul 0.0625000000000000 Add Mul x0 Mul Pow asin x3 Add x0 -1 Mul asin x3 log asin x3 Pow asin x3 x0 