Details

sample49.0ms

Algorithm

intervals

Results

21.0ms	279×	body	80	valid
11.0ms	92×	body	80	nan

simplify15.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	35	18
1	66	18
2	116	18
3	144	18
4	159	18
5	161	18
6	161	18

prune4.0ms

Filtered

1 candidates to 0 candidates (0.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: 19.8b

Counts

2 → 1

localize120.0ms

Local error

Found 4 expressions with local error:

1.0b	(+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
1.6b	(- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
22.6b	(sqrt (- (* b b) (* (* 4.0 a) c)))
22.6b	(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite25.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)))
4.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))

series314.0ms

Counts

4 → 12

Calls

4 calls:

81.0ms	(+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
81.0ms	(- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
76.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
76.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify114.0ms

Algorithm

egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 3 (106.0ms)

Iter	Nodes	Cost
0	246	646
1	890	606
2	3700	588
3	5001	584

prune273.0ms

Filtered

75 candidates to 60 candidates (80.0%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	69	6	75
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	70	6	76

Merged error: 7.4b

Counts

76 → 6

localize122.0ms

Local error

Found 4 expressions with local error:

8.3b	(+ (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))
22.6b	(sqrt (- (* b b) (* (* 4.0 a) c)))
23.5b	(cbrt (- (* b b) (* (* 4.0 a) c)))
23.5b	(cbrt (- (* b b) (* (* 4.0 a) c)))

rewrite17.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` `add-cbrt-cube`
3×	`flip3--` `sqrt-prod` `flip--`
2×	`pow1/3` `sqrt-div` `sum-log`
1×	`+-commutative` `neg-sub0` `associate-+l-` `rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `neg-log` `flip-+`

Counts

4 → 54

Calls

4 calls:

5.0ms	(+ (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))
4.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
4.0ms	(cbrt (- (* b b) (* (* 4.0 a) c)))
4.0ms	(cbrt (- (* b b) (* (* 4.0 a) c)))

series362.0ms

Counts

4 → 12

Calls

4 calls:

86.0ms	(+ (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))
74.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
100.0ms	(cbrt (- (* b b) (* (* 4.0 a) c)))
101.0ms	(cbrt (- (* b b) (* (* 4.0 a) c)))

simplify45.0ms

Algorithm

egg-herbie

Counts

66 → 66

Iterations

Useful iterations: 2 (37.0ms)

Iter	Nodes	Cost
0	368	805
1	1471	730
2	5001	697

prune332.0ms

Filtered

66 candidates to 59 candidates (89.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	65	1	66
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	65	7	72

Merged error: 7.4b

Counts

72 → 7

localize120.0ms

Local error

Found 4 expressions with local error:

22.6b	(sqrt (- (* b b) (* (* 4.0 a) c)))
23.5b	(cbrt (- (* b b) (* (* 4.0 a) c)))
23.5b	(cbrt (- (* b b) (* (* 4.0 a) c)))
23.5b	(cbrt (- (* b b) (* (* 4.0 a) c)))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

9×	`cbrt-prod` `add-sqr-sqrt`
8×	`add-cube-cbrt` `*-un-lft-identity`
6×	`cbrt-div`
5×	`pow1`
4×	`add-exp-log` `flip3--` `add-cbrt-cube` `flip--` `add-log-exp`
3×	`pow1/3` `sqrt-prod`
2×	`sqrt-div`
1×	`rem-sqrt-square` `sqrt-pow1` `pow1/2`

Counts

4 → 54

Calls

4 calls:

4.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
4.0ms	(cbrt (- (* b b) (* (* 4.0 a) c)))
4.0ms	(cbrt (- (* b b) (* (* 4.0 a) c)))
4.0ms	(cbrt (- (* b b) (* (* 4.0 a) c)))

series358.0ms

Counts

4 → 12

Calls

4 calls:

66.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
96.0ms	(cbrt (- (* b b) (* (* 4.0 a) c)))
100.0ms	(cbrt (- (* b b) (* (* 4.0 a) c)))
96.0ms	(cbrt (- (* b b) (* (* 4.0 a) c)))

simplify96.0ms

Algorithm

egg-herbie

Counts

66 → 66

Iterations

Useful iterations: 3 (86.0ms)

Iter	Nodes	Cost
0	202	609
1	639	571
2	2437	564
3	5001	562

prune411.0ms

Filtered

66 candidates to 60 candidates (90.9%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	66	0	66
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	66	7	73

Merged error: 7.4b

Counts

73 → 7

localize122.0ms

Local error

Found 4 expressions with local error:

5.6b	(exp (log (sqrt (- (* b b) (* (* 4.0 a) c)))))
20.8b	(+ (neg b) (exp (log (sqrt (- (* b b) (* (* 4.0 a) c))))))
22.6b	(sqrt (- (* b b) (* (* 4.0 a) c)))
22.6b	(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite25.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:

6.0ms	(exp (log (sqrt (- (* b b) (* (* 4.0 a) c)))))
10.0ms	(+ (neg b) (exp (log (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)))

series316.0ms

Counts

4 → 12

Calls

4 calls:

83.0ms	(exp (log (sqrt (- (* b b) (* (* 4.0 a) c)))))
81.0ms	(+ (neg b) (exp (log (sqrt (- (* b b) (* (* 4.0 a) c))))))
74.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
77.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify107.0ms

Algorithm

egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 3 (99.0ms)

Iter	Nodes	Cost
0	264	668
1	885	615
2	3405	581
3	5001	569

prune268.0ms

Filtered

79 candidates to 61 candidates (77.2%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	77	2	79
Fresh	0	4	4
Picked	1	0	1
Done	0	2	2
Total	78	8	86

Merged error: 7.4b

Counts

86 → 8

regimes208.0ms

Accuracy

92.4% (1.0b remaining)

Error of 8.4b against oracle of 7.5b and baseline of 20.1b

bsearch163.0ms

Steps

Iters	Range		Point
6	5.806973316765843e+130	4.219677067548193e+131	7.503843928802078e+130
8	-5.495421239091533e+98	-1.2345831169282115e+95	-5.4168644894887275e+98

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	52	58
1	52	58

end0.0ms

sample1.1s

Algorithm

intervals

Results

649.0ms	8734×	body	80	valid
204.0ms	2942×	body	80	nan

Details

sample49.0ms

simplify15.0ms

prune4.0ms

localize120.0ms

rewrite25.0ms

series314.0ms

simplify114.0ms

prune273.0ms

localize122.0ms

rewrite17.0ms

series362.0ms

simplify45.0ms

prune332.0ms

localize120.0ms

rewrite16.0ms

series358.0ms

simplify96.0ms

prune411.0ms

localize122.0ms

rewrite25.0ms

series316.0ms

simplify107.0ms

prune268.0ms

regimes208.0ms

bsearch163.0ms

simplify2.0ms

end0.0ms

sample1.1s

Profiling