Details

sample48.0ms

Algorithm

intervals

Results

19.0ms	276×	body	80	valid
5.0ms	83×	body	80	nan

simplify13.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	38	18
1	79	18
2	136	18
3	161	18
4	173	18
5	177	18
6	177	18

prune10.0ms

Filtered

1 candidates to 0 candidates (100.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 18.6b

Counts

2 → 1

localize137.0ms

Local error

Found 4 expressions with local error:

0.8b	(- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
1.4b	(+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
21.6b	(sqrt (- (* b b) (* (* 4.0 a) c)))
21.6b	(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))))
8.0ms	(+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
4.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
3.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))

series363.0ms

Counts

4 → 12

Calls

4 calls:

92.0ms	(- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
96.0ms	(+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
86.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
89.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify116.0ms

Algorithm

egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 3 (108.0ms)

Iter	Nodes	Cost
0	248	644
1	898	606
2	3865	590
3	5001	586

prune420.0ms

Filtered

75 candidates to 60 candidates (20.0%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	67	8	75
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	68	8	76

Merged error: 7.6b

Counts

76 → 8

localize138.0ms

Local error

Found 4 expressions with local error:

8.7b	(+ (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))
21.6b	(sqrt (- (* b b) (* (* 4.0 a) c)))
21.6b	(sqrt (- (* b b) (* (* 4.0 a) c)))
21.6b	(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite16.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))))))
3.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)))

series356.0ms

Counts

4 → 12

Calls

4 calls:

95.0ms	(+ (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))
87.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
87.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
87.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify108.0ms

Algorithm

egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 3 (101.0ms)

Iter	Nodes	Cost
0	227	680
1	870	574
2	3628	562
3	5001	558

prune419.0ms

Filtered

70 candidates to 58 candidates (17.1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	70	0	70
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	70	8	78

Merged error: 7.6b

Counts

78 → 8

localize142.0ms

Local error

Found 4 expressions with local error:

5.5b	(exp (log (sqrt (- (* b b) (* (* 4.0 a) c)))))
15.6b	(+ (neg b) (exp (log (sqrt (- (* b b) (* (* 4.0 a) c))))))
21.6b	(sqrt (- (* b b) (* (* 4.0 a) c)))
21.6b	(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

13×	`*-un-lft-identity`
11×	`add-sqr-sqrt`
9×	`add-cube-cbrt` `sqrt-prod`
8×	`pow1` `add-log-exp`
6×	`log-prod` `exp-prod` `sqrt-div` `exp-sum`
4×	`add-exp-log` `add-cbrt-cube`
3×	`flip3--` `sqrt-pow1` `pow1/2` `log-pow` `flip--`
2×	`rem-sqrt-square` `log-div` `exp-diff` `sum-log` `distribute-lft-out`
1×	`+-commutative` `neg-sub0` `associate-+l-` `distribute-rgt-neg-in` `flip3-+` `neg-log` `flip-+` `rem-exp-log`

Counts

4 → 67

Calls

4 calls:

5.0ms	(exp (log (sqrt (- (* b b) (* (* 4.0 a) c)))))
9.0ms	(+ (neg b) (exp (log (sqrt (- (* b b) (* (* 4.0 a) c))))))
3.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
4.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))

series359.0ms

Counts

4 → 12

Calls

4 calls:

86.0ms	(exp (log (sqrt (- (* b b) (* (* 4.0 a) c)))))
96.0ms	(+ (neg b) (exp (log (sqrt (- (* b b) (* (* 4.0 a) c))))))
88.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
89.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify105.0ms

Algorithm

egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 3 (98.0ms)

Iter	Nodes	Cost
0	258	665
1	877	615
2	3502	584
3	5001	572

prune459.0ms

Filtered

79 candidates to 61 candidates (22.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	78	1	79
Fresh	0	6	6
Picked	1	0	1
Done	0	1	1
Total	79	8	87

Merged error: 7.6b

Counts

87 → 8

localize138.0ms

Local error

Found 4 expressions with local error:

1.4b	(+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
4.2b	(exp (log (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))))
21.6b	(sqrt (- (* b b) (* (* 4.0 a) c)))
21.6b	(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

16×	`*-un-lft-identity`
10×	`add-sqr-sqrt`
8×	`add-cube-cbrt` `add-log-exp`
7×	`pow1`
6×	`sqrt-prod`
5×	`log-prod` `exp-sum`
4×	`add-exp-log` `exp-prod` `sqrt-div` `add-cbrt-cube` `distribute-lft-out`
2×	`rem-sqrt-square` `log-div` `flip3--` `distribute-rgt-neg-in` `sqrt-pow1` `flip3-+` `pow1/2` `exp-diff` `sum-log` `flip--` `flip-+`
1×	`+-commutative` `neg-sub0` `associate-+l-` `neg-log` `log-pow` `rem-exp-log`

Counts

4 → 64

Calls

4 calls:

8.0ms	(+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
12.0ms	(exp (log (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))))
3.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
4.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))

series366.0ms

Counts

4 → 12

Calls

4 calls:

95.0ms	(+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
96.0ms	(exp (log (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))))
87.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
88.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify105.0ms

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 3 (98.0ms)

Iter	Nodes	Cost
0	249	652
1	880	611
2	3511	575
3	5001	565

prune426.0ms

Filtered

76 candidates to 59 candidates (22.4%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	76	0	76
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	76	8	84

Merged error: 7.6b

Counts

84 → 8

regimes300.0ms

Accuracy

90.4% (1.2b remaining)

Error of 8.7b against oracle of 7.5b and baseline of 19.5b

bsearch172.0ms

Steps

Iters	Range		Point
9	5.514542683406611e+77	2.3545344307669661e+86	1.8116858400704256e+85
5	-1.3813570841381999e+75	-4.543022443046418e+74	-7.878860495668209e+74

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	49	58
1	49	58

end0.0ms

sample1.2s

Algorithm

intervals

Results

587.0ms	8681×	body	80	valid
187.0ms	2896×	body	80	nan

Details

sample48.0ms

simplify13.0ms

prune10.0ms

localize137.0ms

rewrite27.0ms

series363.0ms

simplify116.0ms

prune420.0ms

localize138.0ms

rewrite16.0ms

series356.0ms

simplify108.0ms

prune419.0ms

localize142.0ms

rewrite24.0ms

series359.0ms

simplify105.0ms

prune459.0ms

localize138.0ms

rewrite28.0ms

series366.0ms

simplify105.0ms

prune426.0ms

regimes300.0ms

bsearch172.0ms

simplify2.0ms

end0.0ms

sample1.2s

Profiling