Average Error: 1.0 → 0
Time: 855.0ms
Precision: 64
Internal Precision: 320
\[\sqrt{\pi}\]
\[\sqrt{\sqrt{\pi}} \cdot \sqrt{\sqrt{\pi}}\]

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 1.0

      \[\sqrt{\pi}\]
    2. Initial simplification1.0

      \[\leadsto \sqrt{\pi}\]
    3. Using strategy rm
    4. Applied add-sqr-sqrt0

      \[\leadsto \color{blue}{\sqrt{\sqrt{\pi}} \cdot \sqrt{\sqrt{\pi}}}\]
    5. Final simplification0

      \[\leadsto \sqrt{\sqrt{\pi}} \cdot \sqrt{\sqrt{\pi}}\]

    Runtime

    Time bar (total: 855.0ms)Debug log

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