Details

sample57.0ms

Algorithm

intervals

Results

11.0ms	214×	body	80	valid
9.0ms	19×	body	1280	valid
8.0ms	28×	body	2560	valid
4.0ms	87×	body	80	nan
2.0ms	10×	body	640	valid
1.0ms	2×	body	5120	valid
1.0ms	4×	body	320	valid
0.0ms	2×	body	160	valid

simplify12.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	21	9
1	42	9
2	76	9
3	94	9
4	102	9
5	102	9

prune4.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: 32.9b

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ (+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a))
0.7b	(+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))
1.2b	(- (* b b) (* (* 3.0 a) c))
24.7b	(sqrt (- (* b b) (* (* 3.0 a) c)))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

19×	`*-un-lft-identity`
10×	`add-log-exp`
9×	`add-exp-log` `add-cbrt-cube`
8×	`add-sqr-sqrt`
7×	`add-cube-cbrt`
6×	`distribute-lft-out`
5×	`pow1` `times-frac` `associate-/l*`
3×	`distribute-rgt-neg-in` `sqrt-prod`
2×	`cbrt-undiv` `neg-sub0` `associate-+l-` `flip3--` `flip3-+` `sqrt-div` `div-exp` `sum-log` `flip--` `flip-+` `associate-/l/`
1×	`+-commutative` `sub-neg` `rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `diff-log` `div-sub` `neg-log` `prod-exp` `clear-num` `associate-/r*` `cbrt-unprod` `div-inv`

Counts

4 → 70

Calls

4 calls:

11.0ms	(/ (+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a))
7.0ms	(+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))
3.0ms	(- (* b b) (* (* 3.0 a) c))
3.0ms	(sqrt (- (* b b) (* (* 3.0 a) c)))

series64.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(/ (+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a))
17.0ms	(+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))
8.0ms	(- (* b b) (* (* 3.0 a) c))
14.0ms	(sqrt (- (* b b) (* (* 3.0 a) c)))

simplify45.0ms

Algorithm

egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 2 (37.0ms)

Iter	Nodes	Cost
0	391	774
1	1518	684
2	5001	674

prune163.0ms

Filtered

82 candidates to 63 candidates (23.2%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	71	11	82
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	72	11	83

Merged error: 7.5b

Counts

83 → 11

localize11.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* 3.0 a) c)
0.7b	(+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))
1.2b	(- (* b b) (* (* 3.0 a) c))
24.7b	(sqrt (- (* b b) (* (* 3.0 a) c)))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 60

Calls

4 calls:

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

series40.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* (* 3.0 a) c)
14.0ms	(+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))
8.0ms	(- (* b b) (* (* 3.0 a) c))
14.0ms	(sqrt (- (* b b) (* (* 3.0 a) c)))

simplify43.0ms

Algorithm

egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 2 (37.0ms)

Iter	Nodes	Cost
0	302	468
1	1299	428
2	5002	417

prune132.0ms

Filtered

72 candidates to 52 candidates (27.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	71	1	72
Fresh	0	10	10
Picked	1	0	1
Done	0	0	0
Total	72	11	83

Merged error: 7.5b

Counts

83 → 11

localize13.0ms

Local error

Found 4 expressions with local error:

0.3b	(/ 1 (* 3.0 a))
0.7b	(+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))
1.2b	(- (* b b) (* (* 3.0 a) c))
24.7b	(sqrt (- (* b b) (* (* 3.0 a) c)))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-exp-log`
11×	`*-un-lft-identity`
10×	`add-log-exp`
9×	`add-cbrt-cube`
8×	`pow1` `add-sqr-sqrt`
7×	`add-cube-cbrt`
4×	`div-exp`
3×	`times-frac` `prod-exp` `sqrt-prod` `associate-/l*`
2×	`cbrt-undiv` `rec-exp` `flip3--` `pow-flip` `sqrt-div` `1-exp` `sum-log` `flip--` `distribute-lft-out`
1×	`+-commutative` `neg-sub0` `associate-+l-` `sub-neg` `rem-sqrt-square` `distribute-rgt-neg-in` `frac-2neg` `sqrt-pow1` `flip3-+` `pow1/2` `diff-log` `pow-prod-down` `neg-log` `clear-num` `associate-/r*` `cbrt-unprod` `flip-+` `div-inv` `inv-pow`

Counts

4 → 70

Calls

4 calls:

4.0ms	(/ 1 (* 3.0 a))
7.0ms	(+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))
3.0ms	(- (* b b) (* (* 3.0 a) c))
4.0ms	(sqrt (- (* b b) (* (* 3.0 a) c)))

series39.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(/ 1 (* 3.0 a))
15.0ms	(+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))
8.0ms	(- (* b b) (* (* 3.0 a) c))
14.0ms	(sqrt (- (* b b) (* (* 3.0 a) c)))

simplify41.0ms

Algorithm

egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 2 (35.0ms)

Iter	Nodes	Cost
0	333	489
1	1378	443
2	5002	427

prune122.0ms

Filtered

82 candidates to 54 candidates (34.1%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	81	1	82
Fresh	1	9	10
Picked	0	1	1
Done	0	0	0
Total	82	11	93

Merged error: 7.5b

Counts

93 → 11

localize13.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (/ 1 3.0) (/ 1 a))
0.7b	(+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))
1.2b	(- (* b b) (* (* 3.0 a) c))
24.7b	(sqrt (- (* b b) (* (* 3.0 a) c)))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

44×	`add-exp-log` `add-sqr-sqrt`
30×	`times-frac`
29×	`*-un-lft-identity`
19×	`add-cube-cbrt`
16×	`div-exp` `prod-exp` `add-cbrt-cube`
13×	`associate-r` `associate-l`
10×	`add-log-exp`
9×	`pow1` `unswap-sqr`
8×	`rec-exp` `1-exp`
4×	`cbrt-undiv` `cbrt-unprod`
3×	`pow-prod-down` `sqrt-prod`
2×	`flip3--` `pow-flip` `sqrt-div` `sum-log` `flip--` `div-inv` `distribute-lft-out` `inv-pow`
1×	`+-commutative` `neg-sub0` `frac-times` `associate-+l-` `sub-neg` `rem-sqrt-square` `distribute-rgt-neg-in` `sqrt-pow1` `flip3-+` `pow1/2` `diff-log` `associate-r/` `neg-log` `associate-l/` `un-div-inv` `*-commutative` `flip-+`

Counts

4 → 112

Calls

4 calls:

11.0ms	(* (/ 1 3.0) (/ 1 a))
7.0ms	(+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))
3.0ms	(- (* b b) (* (* 3.0 a) c))
4.0ms	(sqrt (- (* b b) (* (* 3.0 a) c)))

series41.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(* (/ 1 3.0) (/ 1 a))
14.0ms	(+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))
11.0ms	(- (* b b) (* (* 3.0 a) c))
14.0ms	(sqrt (- (* b b) (* (* 3.0 a) c)))

simplify56.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 2 (47.0ms)

Iter	Nodes	Cost
0	588	757
1	2366	669
2	5001	628

prune140.0ms

Filtered

124 candidates to 80 candidates (35.5%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	122	2	124
Fresh	1	8	9
Picked	1	0	1
Done	0	1	1
Total	124	11	135

Merged error: 7.5b

Counts

135 → 11

regimes723.0ms

Accuracy

86.1% (3.7b remaining)

Error of 9.8b against oracle of 6.1b and baseline of 32.6b

bsearch74.0ms

Steps

Iters	Range		Point
8	3.2772367798370246e-46	8.826811452738637e-44	5.513140388042354e-45
8	-7.483396380019031e+117	-3.515939334884751e+113	-1.0192218364023762e+116

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	39	17
1	39	17

end0.0ms

sample1.5s

Algorithm

intervals

Results

348.0ms	6482×	body	80	valid
252.0ms	822×	body	2560	valid
169.0ms	663×	body	1280	valid
139.0ms	2648×	body	80	nan
71.0ms	358×	body	640	valid
35.0ms	95×	body	5120	valid
24.0ms	162×	body	320	valid
9.0ms	88×	body	160	valid

Details

sample57.0ms

simplify12.0ms

prune4.0ms

localize10.0ms

rewrite27.0ms

series64.0ms

simplify45.0ms

prune163.0ms

localize11.0ms

rewrite22.0ms

series40.0ms

simplify43.0ms

prune132.0ms

localize13.0ms

rewrite20.0ms

series39.0ms

simplify41.0ms

prune122.0ms

localize13.0ms

rewrite30.0ms

series41.0ms

simplify56.0ms

prune140.0ms

regimes723.0ms

bsearch74.0ms

simplify2.0ms

end0.0ms

sample1.5s

Profiling