Details

Time bar (total: 3.7s)

sample248.0ms

Algorithm
intervals
Results
218.0ms279×body80valid
8.0ms89×body80nan

simplify19.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
03518
16618
211618
314418
415918
516118
616118

prune6.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 22.1b

Counts
2 → 1

localize24.0ms

Local error

Found 4 expressions with local error:

0.7b
(- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
1.7b
(+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
25.1b
(sqrt (- (* b b) (* (* 4.0 a) c)))
25.1b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite27.0ms

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

series75.0ms

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

simplify121.0ms

Algorithm
egg-herbie
Counts
75 → 75
Iterations

Useful iterations: 3 (112.0ms)

IterNodesCost
0248644
1898606
23865590
35001586

prune214.0ms

Filtered
60 candidates to 75 candidates (-25.0%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New66975
Fresh000
Picked101
Done000
Total67976

Merged error: 7.8b

Counts
76 → 9

localize29.0ms

Local error

Found 4 expressions with local error:

0.7b
(- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
3.9b
(/ (- (* 2.0 (/ (* a c) b)) (* 2 b)) (* 2.0 a))
5.2b
(/ (* a c) b)
25.1b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
14×add-exp-log add-sqr-sqrt add-cbrt-cube
13×*-un-lft-identity
9×add-cube-cbrt
8×add-log-exp
6×times-frac
5×pow1
4×cbrt-undiv div-exp associate-/r* sqrt-prod associate-/l*
3×flip3-- flip--
2×frac-2neg sqrt-div diff-log prod-exp clear-num cbrt-unprod div-inv associate-/l/ distribute-lft-out-- difference-of-squares
1×associate--l- neg-sub0 sub-neg rem-sqrt-square distribute-rgt-neg-in sqrt-pow1 pow1/2 div-sub neg-log
Counts
4 → 78
Calls
4 calls:
8.0ms
(- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
9.0ms
(/ (- (* 2.0 (/ (* a c) b)) (* 2 b)) (* 2.0 a))
5.0ms
(/ (* a c) b)
4.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series52.0ms

Counts
4 → 12
Calls
4 calls:
19.0ms
(- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
14.0ms
(/ (- (* 2.0 (/ (* a c) b)) (* 2 b)) (* 2.0 a))
5.0ms
(/ (* a c) b)
15.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify55.0ms

Algorithm
egg-herbie
Counts
90 → 90
Iterations

Useful iterations: 2 (47.0ms)

IterNodesCost
0475705
12162625
25002624

prune199.0ms

Filtered
66 candidates to 90 candidates (-36.4%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New83790
Fresh448
Picked101
Done000
Total881199

Merged error: 6.7b

Counts
99 → 11

localize25.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (* 2.0 c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
0.4b
(- (* b b) (* (* 4.0 a) c))
0.7b
(- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
25.1b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
19×*-un-lft-identity
10×add-log-exp
9×add-exp-log add-cbrt-cube
7×add-cube-cbrt times-frac associate-/r*
6×sqrt-prod distribute-lft-out-- difference-of-squares
5×pow1
4×flip3-- flip--
3×distribute-rgt-neg-in diff-log
2×cbrt-undiv sub-neg sqrt-div div-exp associate-/r/
1×associate--l- neg-sub0 rem-sqrt-square frac-2neg sqrt-pow1 pow1/2 neg-log prod-exp clear-num cbrt-unprod div-inv associate-/l*
Counts
4 → 76
Calls
4 calls:
11.0ms
(/ (* 2.0 c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
3.0ms
(- (* b b) (* (* 4.0 a) c))
8.0ms
(- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
4.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series88.0ms

Counts
4 → 12
Calls
4 calls:
50.0ms
(/ (* 2.0 c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
8.0ms
(- (* b b) (* (* 4.0 a) c))
15.0ms
(- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
14.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify45.0ms

Algorithm
egg-herbie
Counts
88 → 88
Iterations

Useful iterations: 2 (36.0ms)

IterNodesCost
0370865
11597770
25001760

prune196.0ms

Filtered
63 candidates to 88 candidates (-39.7%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New81788
Fresh4610
Picked101
Done000
Total861399

Merged error: 6.5b

Counts
99 → 13

localize24.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* 2.0 c) (/ 1 (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))))
0.4b
(- (* b b) (* (* 4.0 a) c))
0.7b
(- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
25.1b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
33×add-sqr-sqrt
32×*-un-lft-identity
27×associate-*r*
26×add-exp-log
21×times-frac
16×add-cube-cbrt add-cbrt-cube
12×prod-exp
10×pow1 add-log-exp
8×distribute-lft-out-- difference-of-squares
7×sqrt-prod
6×cbrt-unprod
4×flip3-- distribute-rgt-neg-in div-exp flip--
3×diff-log pow-prod-down
2×cbrt-undiv sub-neg rec-exp sqrt-div 1-exp associate-/r/
1×associate--l- neg-sub0 rem-sqrt-square sqrt-pow1 pow1/2 associate-*r/ associate-*l* neg-log un-div-inv *-commutative div-inv
Counts
4 → 97
Calls
4 calls:
17.0ms
(* (* 2.0 c) (/ 1 (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))))
3.0ms
(- (* b b) (* (* 4.0 a) c))
8.0ms
(- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
4.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series87.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(* (* 2.0 c) (/ 1 (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))))
8.0ms
(- (* b b) (* (* 4.0 a) c))
15.0ms
(- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
14.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify65.0ms

Algorithm
egg-herbie
Counts
109 → 109
Iterations

Useful iterations: 2 (54.0ms)

IterNodesCost
05151078
12490917
25001888

prune148.0ms

Filtered
68 candidates to 109 candidates (-60.3%)
Pruning

13 alts after pruning (12 fresh and 1 done)

PrunedKeptTotal
New1090109
Fresh01212
Picked011
Done000
Total10913122

Merged error: 6.5b

Counts
122 → 13

regimes366.0ms

Accuracy

92.5% (1.1b remaining)

Error of 7.4b against oracle of 6.3b and baseline of 21.1b

bsearch72.0ms

Steps
ItersRangePoint
9
1.4690210919315143e+144
6.1770919116575425e+152
1.5343948094893844e+144
9
-8.123118303304505e+80
-8.66777673642249e+74
-3.453036615513107e+80

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05858
15858

end0.0ms

sample1.5s

Algorithm
intervals
Results
795.0ms8734×body80valid
251.0ms2894×body80nan

Profiling

Loading profile data...