Details

Time bar (total: 7.4s)

sample2.1s

Algorithm
intervals
sampling

Space saved by range analysis: 0%

Space saved by search: 25.292969%

Guaranteed chance to sample good point: 75.751634%

Results
23.0ms256×body80valid
1.0ms9×body80nan
1.0ms7×body80invalid

simplify14.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03818
17918
213618
316118
417318
517718
617718

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 20.7b

Counts
2 → 1

localize22.0ms

Local error

Found 4 expressions with local error:

1.0b
(- (* b b) (* (* 4.0 a) c))
1.3b
(- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
24.1b
(sqrt (- (* b b) (* (* 4.0 a) c)))
24.1b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt
10×*-un-lft-identity add-log-exp
7×sqrt-prod
6×pow1 add-cube-cbrt
4×add-exp-log flip3-- sqrt-div add-cbrt-cube flip--
3×diff-log
2×sub-neg rem-sqrt-square sqrt-pow1 pow1/2 distribute-lft-out-- difference-of-squares
1×associate--l- neg-sub0 distribute-rgt-neg-in neg-log
Counts
4 → 60
Calls
4 calls:
7.0ms
(- (* b b) (* (* 4.0 a) c))
9.0ms
(- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
4.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
4.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series54.0ms

Counts
4 → 12
Calls
4 calls:
9.0ms
(- (* b b) (* (* 4.0 a) c))
16.0ms
(- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
14.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
15.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify120.0ms

Algorithm
egg-herbie
Counts
72 → 72
Iterations

Useful iterations: 3 (112.0ms)

IterNodesCost
0223579
1875551
23958543
35001540

prune180.0ms

Filtered
55 candidates to 72 candidates (-30.9%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New64872
Fresh000
Picked101
Done000
Total65873

Merged error: 9.2b

Counts
73 → 8

localize23.0ms

Local error

Found 4 expressions with local error:

10.7b
(+ (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))
24.1b
(sqrt (- (* b b) (* (* 4.0 a) c)))
24.1b
(sqrt (- (* b b) (* (* 4.0 a) c)))
24.1b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
9×sqrt-prod
8×add-log-exp
7×pow1 add-cube-cbrt *-un-lft-identity
6×sqrt-div
4×add-exp-log add-cbrt-cube
3×rem-sqrt-square flip3-- sqrt-pow1 pow1/2 flip--
2×sum-log
1×+-commutative neg-sub0 associate-+l- flip3-+ neg-log flip-+
Counts
4 → 58
Calls
4 calls:
4.0ms
(+ (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))
4.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
4.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
4.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series61.0ms

Counts
4 → 12
Calls
4 calls:
15.0ms
(+ (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))
14.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
14.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
16.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify115.0ms

Algorithm
egg-herbie
Counts
70 → 70
Iterations

Useful iterations: 3 (106.0ms)

IterNodesCost
0227677
1876574
23665562
35003558

prune217.0ms

Filtered
59 candidates to 70 candidates (-18.6%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New69170
Fresh167
Picked101
Done000
Total71778

Merged error: 9.2b

Counts
78 → 7

localize29.0ms

Local error

Found 4 expressions with local error:

8.6b
(- (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))
24.1b
(sqrt (- (* b b) (* (* 4.0 a) c)))
24.8b
(cbrt (- (* b b) (* (* 4.0 a) c)))
24.8b
(cbrt (- (* b b) (* (* 4.0 a) c)))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt add-log-exp
7×add-cube-cbrt *-un-lft-identity
6×cbrt-prod
5×pow1
4×add-exp-log cbrt-div flip3-- add-cbrt-cube flip--
3×sqrt-prod
2×pow1/3 sqrt-div diff-log
1×associate--l- neg-sub0 sub-neg rem-sqrt-square sqrt-pow1 pow1/2 neg-log
Counts
4 → 55
Calls
4 calls:
4.0ms
(- (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))
3.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
3.0ms
(cbrt (- (* b b) (* (* 4.0 a) c)))
4.0ms
(cbrt (- (* b b) (* (* 4.0 a) c)))

series101.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(- (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))
17.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
24.0ms
(cbrt (- (* b b) (* (* 4.0 a) c)))
26.0ms
(cbrt (- (* b b) (* (* 4.0 a) c)))

simplify43.0ms

Algorithm
egg-herbie
Counts
67 → 67
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
0377865
11397791
25001755

prune247.0ms

Filtered
60 candidates to 67 candidates (-11.7%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New66167
Fresh066
Picked011
Done000
Total66874

Merged error: 9.2b

Counts
74 → 8

localize28.0ms

Local error

Found 4 expressions with local error:

24.1b
(sqrt (- (* b b) (* (* 4.0 a) c)))
24.1b
(sqrt (- (* b b) (* (* 4.0 a) c)))
24.1b
(sqrt (- (* b b) (* (* 4.0 a) c)))
24.1b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt sqrt-prod
8×pow1 add-cube-cbrt *-un-lft-identity sqrt-div
4×add-exp-log rem-sqrt-square flip3-- sqrt-pow1 pow1/2 add-cbrt-cube flip-- add-log-exp
Counts
4 → 60
Calls
4 calls:
4.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
4.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
4.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
4.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series60.0ms

Counts
4 → 12
Calls
4 calls:
14.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
17.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
14.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
14.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify68.0ms

Algorithm
egg-herbie
Counts
72 → 72
Iterations

Useful iterations: 3 (61.0ms)

IterNodesCost
0127536
1460520
21957516
35001512

prune236.0ms

Filtered
60 candidates to 72 candidates (-20.0%)
Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New72072
Fresh066
Picked011
Done011
Total72880

Merged error: 9.2b

Counts
80 → 8

regimes251.0ms

Accuracy

90.9% (1.1b remaining)

Error of 8.6b against oracle of 7.5b and baseline of 19.6b

bsearch81.0ms

Steps
ItersRangePoint
10
2.6521268588980964e+83
1.3144015927363351e+94
4.457913507044058e+88
8
-1.11355135107887e+150
-2.8449590834025068e+147
-1.0998363878598405e+150

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
05459
15459

end0.0ms

sample3.2s

Algorithm
intervals
sampling

Space saved by range analysis: 0%

Space saved by search: 25.292969%

Guaranteed chance to sample good point: 75.751634%

Results
715.0ms8000×body80valid
32.0ms380×body80nan
29.0ms340×body80invalid

Profiling

Loading profile data...