Details

Time bar (total: 14.8s)

sample62.0ms

Algorithm
intervals
Results
31.0ms256×body80valid
4.0ms69×body80nan

simplify3.6s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01010
12010
24210
38510
414510
543210
6306710
done500210

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 26.9b

localize17.0ms

Local error

Found 2 expressions with local error:

0.8b
(- (pow b 2.0) (* (* 4.0 a) c))
25.1b
(sqrt (- (pow b 2.0) (* (* 4.0 a) c)))

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt add-log-exp
pow1 *-un-lft-identity add-cube-cbrt sqrt-prod
flip3-- add-cbrt-cube sqrt-div add-exp-log flip--
rem-sqrt-square sub-neg sqrt-pow1 pow1/2 diff-log
Counts
2 → 27
Calls
2 calls:
37.0ms
(- (pow b 2.0) (* (* 4.0 a) c))
26.0ms
(sqrt (- (pow b 2.0) (* (* 4.0 a) c)))

series228.0ms

Counts
2 → 6
Calls
2 calls:
94.0ms
(- (pow b 2.0) (* (* 4.0 a) c))
134.0ms
(sqrt (- (pow b 2.0) (* (* 4.0 a) c)))

simplify3.4s

Counts
33 → 33
Iterations

Useful iterations: 2 (128.0ms)

IterNodesCost
062505
1151457
2604429
33538429
done5000429

prune226.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 6.3b

localize24.0ms

Local error

Found 4 expressions with local error:

0.8b
(- (pow b 2.0) (* (* 4.0 a) c))
0.8b
(- (pow b 2.0) (* (* 4.0 a) c))
25.1b
(sqrt (- (pow b 2.0) (* (* 4.0 a) c)))
25.1b
(sqrt (- (pow b 2.0) (* (* 4.0 a) c)))

rewrite112.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt add-log-exp
pow1 *-un-lft-identity add-cube-cbrt sqrt-prod
flip3-- add-cbrt-cube sqrt-div add-exp-log flip--
rem-sqrt-square sub-neg sqrt-pow1 pow1/2 diff-log
Counts
4 → 54
Calls
4 calls:
36.0ms
(- (pow b 2.0) (* (* 4.0 a) c))
26.0ms
(- (pow b 2.0) (* (* 4.0 a) c))
24.0ms
(sqrt (- (pow b 2.0) (* (* 4.0 a) c)))
24.0ms
(sqrt (- (pow b 2.0) (* (* 4.0 a) c)))

series459.0ms

Counts
4 → 12
Calls
4 calls:
90.0ms
(- (pow b 2.0) (* (* 4.0 a) c))
91.0ms
(- (pow b 2.0) (* (* 4.0 a) c))
140.0ms
(sqrt (- (pow b 2.0) (* (* 4.0 a) c)))
137.0ms
(sqrt (- (pow b 2.0) (* (* 4.0 a) c)))

simplify3.4s

Counts
66 → 66
Iterations

Useful iterations: 2 (122.0ms)

IterNodesCost
0621010
1151914
2604858
33538858
done5000858

prune473.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 6.3b

regimes1000.0ms

Accuracy

94.6% (1.0b remaining)

Error of 8.3b against oracle of 7.3b and baseline of 26.5b

bsearch143.0ms

Steps
ItersRangePoint
8
1.7867849027043454e+42
2.155043441940217e+45
2.308057678369688e+44
5
-2.2499130464214823e+154
-8.648518336606113e+153
-1.3484959318131997e+154

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02136
12536
done2536

end0.0ms

sample1.6s

Algorithm
intervals
Results
744.0ms8000×body80valid
221.0ms2593×body80nan