Mul Pow acsc Add 5 x0 exp Pow x1 Add 3 coth tan E csc asech E 
Mul csc asech E Mul Pow acsc Add 5 x0 Add exp Pow x1 Add 3 coth tan E -1 Mul exp Pow x1 Add 3 coth tan E Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add 5 x0 Add 5 x0 -1 Add 5 x0 Add 5 x0 -1 