Mul acsch Add x0 log Add 0.851667960776033 x4 2 
Mul 2 Mul -1 Pow Mul Mul Add x0 log Add 0.851667960776033 x4 Add x0 log Add 0.851667960776033 x4 sqrt Add 1 Mul -1 Pow Mul Add x0 log Add 0.851667960776033 x4 Add x0 log Add 0.851667960776033 x4 -1 -1 