Mul Mul Mul x7 csch atan x0 Add Add x0 Mul x0 -2 x0 Add x6 asin x5 
Mul Add x6 asin x5 Add Mul Add Add x0 Mul x0 -2 x0 Mul x7 Mul Mul Mul -1 coth atan x0 csch atan x0 Pow Add 1 Mul x0 x0 -1 Mul Mul x7 csch atan x0 2 