sqrt Mul Mul Add 4 asech x0 Mul Mul 0.693147180559945 x0 sqrt x1 -1.81844645923207 
Mul Pow Mul 2 sqrt Mul Mul Add 4 asech x0 Mul Mul 0.693147180559945 x0 sqrt x1 -1.81844645923207 -1 Mul -1.81844645923207 Add Mul Mul Mul 0.693147180559945 x0 sqrt x1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Add 4 asech x0 Mul sqrt x1 0.693147180559945 