asech Mul log Add acsc x0 Add x0 x0 tan acoth E 
Mul Mul tan acoth E Mul Add Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 2 Pow Add acsc x0 Add x0 x0 -1 Pow Mul Mul Mul log Add acsc x0 Add x0 x0 tan acoth E Mul log Add acsc x0 Add x0 x0 tan acoth E sqrt Add 1 Mul -1 Pow Mul Mul log Add acsc x0 Add x0 x0 tan acoth E Mul log Add acsc x0 Add x0 x0 tan acoth E -1 -1 