Mul x0 Mul Mul 3 Pow Mul csch E x0 x0 Mul x0 asin acsc x5 
Add Mul Mul 3 Pow Mul csch E x0 x0 Mul x0 asin acsc x5 Mul x0 Add Mul Mul x0 asin acsc x5 Mul 3 Mul Pow Mul csch E x0 Add x0 -1 Add Mul x0 csch E Mul Mul csch E x0 log Mul csch E x0 Mul Mul 3 Pow Mul csch E x0 x0 asin acsc x5 