asech exp Mul Mul 1.70997594667670 log Pow Pow E -2 x0 4 
Mul Mul exp Mul Mul 1.70997594667670 log Pow Pow E -2 x0 4 Mul 4 Mul 1.70997594667670 Mul Mul Pow Pow E -2 Add x0 -1 Mul Pow E -2 log Pow E -2 Pow Pow Pow E -2 x0 -1 Pow Mul Mul exp Mul Mul 1.70997594667670 log Pow Pow E -2 x0 4 exp Mul Mul 1.70997594667670 log Pow Pow E -2 x0 4 sqrt Add 1 Mul -1 Pow Mul exp Mul Mul 1.70997594667670 log Pow Pow E -2 x0 4 exp Mul Mul 1.70997594667670 log Pow Pow E -2 x0 4 -1 -1 