asech Mul sqrt atanh sqrt x0 -1.07785184031088 
Mul Mul -1.07785184031088 Mul Pow Mul 2 sqrt atanh sqrt x0 -1 Mul Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul -1 Mul sqrt x0 sqrt x0 -1 Pow Mul Mul Mul sqrt atanh sqrt x0 -1.07785184031088 Mul sqrt atanh sqrt x0 -1.07785184031088 sqrt Add 1 Mul -1 Pow Mul Mul sqrt atanh sqrt x0 -1.07785184031088 Mul sqrt atanh sqrt x0 -1.07785184031088 -1 -1 