Mul Pow 0.457657554360286 x0 Mul csch log x0 asech x7 
Add Mul Mul csch log x0 asech x7 Mul Pow 0.457657554360286 Add x0 -1 -0.323976518076462 Mul Pow 0.457657554360286 x0 Mul asech x7 Mul Mul Mul -1 coth log x0 csch log x0 Pow x0 -1 