Pow Mul x0 Pow Mul x0 csc csch Add x0 Pow asin x3 atanh x0 -0.125000000000000 x3 
Mul Pow Mul x0 Pow Mul x0 csc csch Add x0 Pow asin x3 atanh x0 -0.125000000000000 Add x3 -1 Mul x3 Add Pow Mul x0 csc csch Add x0 Pow asin x3 atanh x0 -0.125000000000000 Mul x0 Mul Pow Mul x0 csc csch Add x0 Pow asin x3 atanh x0 -1.12500000000000 Mul -0.125000000000000 Add csc csch Add x0 Pow asin x3 atanh x0 Mul x0 Mul Mul Mul -1 cot csch Add x0 Pow asin x3 atanh x0 csc csch Add x0 Pow asin x3 atanh x0 Mul Mul Mul -1 coth Add x0 Pow asin x3 atanh x0 csch Add x0 Pow asin x3 atanh x0 Add 1 Mul Pow asin x3 Add atanh x0 -1 Mul Mul asin x3 log asin x3 Pow Add 1 Mul -1 Mul x0 x0 -1 