Average Error: 9.4 → 0
Time: 4.0s
Precision: 64
Internal Precision: 320
\[\sqrt{9.01} - 3\]
\[\frac{1}{\frac{3 + \sqrt{9.01}}{\sqrt{9.01} \cdot \sqrt{9.01} - 3 \cdot 3}}\]

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 9.4

      \[\sqrt{9.01} - 3\]
    2. Initial simplification9.4

      \[\leadsto \sqrt{9.01} - 3\]
    3. Using strategy rm
    4. Applied flip--1.0

      \[\leadsto \color{blue}{\frac{\sqrt{9.01} \cdot \sqrt{9.01} - 3 \cdot 3}{\sqrt{9.01} + 3}}\]
    5. Using strategy rm
    6. Applied clear-num0

      \[\leadsto \color{blue}{\frac{1}{\frac{\sqrt{9.01} + 3}{\sqrt{9.01} \cdot \sqrt{9.01} - 3 \cdot 3}}}\]
    7. Final simplification0

      \[\leadsto \frac{1}{\frac{3 + \sqrt{9.01}}{\sqrt{9.01} \cdot \sqrt{9.01} - 3 \cdot 3}}\]

    Runtime

    Time bar (total: 4.0s)Debug log

    herbie shell --seed '#(2775764126 3555076145 3898259844 1891440260 2599947619 1948460636)' 
    (FPCore ()
      :name "sqrt(9.01)-3"
      (- (sqrt 9.01) 3))