Details

sample81.0ms

Algorithm

intervals

Results

17.0ms	525×	pre	80	true
17.0ms	148×	body	160	valid
15.0ms	269×	body	80	nan
6.0ms	108×	body	80	valid

simplify181.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (179.0ms)

Iter	Nodes	Cost
0	1784	16
1	1784	16

prune8.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 29.2b

Counts

2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.3b	(- (* b b) (* 3.0 (* a c)))
0.3b	(* 3.0 (* a c))
0.4b	(/ (- (sqrt (- (* b b) (* 3.0 (* a c)))) b) (* 3.0 a))
29.1b	(- (sqrt (- (* b b) (* 3.0 (* a c)))) b)

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt`
14×	`add-exp-log` `add-cbrt-cube`
13×	`*-un-lft-identity`
9×	`pow1`
8×	`add-log-exp`
7×	`add-cube-cbrt`
6×	`times-frac` `associate-/l*` `difference-of-squares`
4×	`prod-exp` `cbrt-unprod`
3×	`flip3--` `associate-l` `pow-prod-down` `sqrt-prod` `flip--` `distribute-lft-out--`
2×	`cbrt-undiv` `sub-neg` `diff-log` `div-exp` `associate-/l/`
1×	`frac-2neg` `div-sub` `associate-r` `clear-num` `associate-/r` `-commutative` `div-inv`

Counts

4 → 75

Calls

4 calls:

4.0ms	(- (* b b) (* 3.0 (* a c)))
5.0ms	(* 3.0 (* a c))
11.0ms	(/ (- (sqrt (- (* b b) (* 3.0 (* a c)))) b) (* 3.0 a))
7.0ms	(- (sqrt (- (* b b) (* 3.0 (* a c)))) b)

series54.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(- (* b b) (* 3.0 (* a c)))
3.0ms	(* 3.0 (* a c))
25.0ms	(/ (- (sqrt (- (* b b) (* 3.0 (* a c)))) b) (* 3.0 a))
15.0ms	(- (sqrt (- (* b b) (* 3.0 (* a c)))) b)

simplify46.0ms

Algorithm

egg-herbie

Counts

87 → 87

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5461	1207

prune122.0ms

Filtered

59 candidates to 87 candidates (-47.5%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	82	5	87
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	83	5	88

Merged error: 0.4b

Counts

88 → 5

localize14.0ms

Local error

Found 4 expressions with local error:

0.3b	(* 3.0 (* a c))
0.3b	(* 3.0 (* a (neg c)))
0.3b	(/ (* 3.0 (* a (neg c))) (+ b (sqrt (- (* b b) (* 3.0 (* a c))))))
0.4b	(/ (/ (* 3.0 (* a (neg c))) (+ b (sqrt (- (* b b) (* 3.0 (* a c)))))) (* 3.0 a))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

55×	`add-exp-log` `add-cbrt-cube`
22×	`times-frac`
20×	`*-un-lft-identity`
19×	`prod-exp` `cbrt-unprod`
17×	`cbrt-undiv` `div-exp`
14×	`pow1`
12×	`add-sqr-sqrt` `add-cube-cbrt`
11×	`associate-/l*`
6×	`associate-l` `pow-prod-down` `associate-/r/` `distribute-rgt-neg-out`
5×	`associate-/r*`
4×	`div-inv` `distribute-lft-out` `add-log-exp`
3×	`flip3-+` `distribute-frac-neg` `flip-+`
2×	`frac-2neg` `associate-r` `clear-num` `*-commutative`
1×	`associate-/l/`

Counts

4 → 114

Calls

4 calls:

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

series101.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* 3.0 (* a c))
3.0ms	(* 3.0 (* a (neg c)))
53.0ms	(/ (* 3.0 (* a (neg c))) (+ b (sqrt (- (* b b) (* 3.0 (* a c))))))
41.0ms	(/ (/ (* 3.0 (* a (neg c))) (+ b (sqrt (- (* b b) (* 3.0 (* a c)))))) (* 3.0 a))

simplify51.0ms

Algorithm

egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	4983	1982
1	4983	1982

prune176.0ms

Filtered

76 candidates to 126 candidates (-65.8%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	118	8	126
Fresh	4	0	4
Picked	1	0	1
Done	0	0	0
Total	123	8	131

Merged error: 0b

Counts

131 → 8

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ a (+ b (sqrt (- (* b b) (* 3.0 (* a c))))))
0.3b	(- (* b b) (* 3.0 (* a c)))
0.3b	(* 3.0 (* a c))
0.3b	(* (/ a (+ b (sqrt (- (* b b) (* 3.0 (* a c)))))) (neg c))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

39×	`*-un-lft-identity`
30×	`add-sqr-sqrt`
25×	`add-cube-cbrt` `times-frac`
21×	`associate-l`
16×	`add-exp-log` `add-cbrt-cube`
11×	`pow1` `associate-r`
7×	`distribute-lft-out`
6×	`add-log-exp`
5×	`prod-exp` `cbrt-unprod`
4×	`pow-prod-down` `associate-/r*` `associate-/r/`
3×	`distribute-lft-neg-in` `distribute-rgt-neg-in` `associate-/l*`
2×	`cbrt-undiv` `flip3-+` `div-exp` `*-commutative` `flip-+` `div-inv` `unswap-sqr`
1×	`neg-mul-1` `sub-neg` `flip3--` `frac-2neg` `diff-log` `associate-*l/` `clear-num` `distribute-rgt-neg-out` `flip--`

Counts

4 → 108

Calls

4 calls:

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

series109.0ms

Counts

4 → 12

Calls

4 calls:

43.0ms	(/ a (+ b (sqrt (- (* b b) (* 3.0 (* a c))))))
8.0ms	(- (* b b) (* 3.0 (* a c)))
3.0ms	(* 3.0 (* a c))
55.0ms	(* (/ a (+ b (sqrt (- (* b b) (* 3.0 (* a c)))))) (neg c))

simplify46.0ms

Algorithm

egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	4973	1836
1	4973	1836

prune176.0ms

Filtered

89 candidates to 120 candidates (-34.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	118	2	120
Fresh	2	5	7
Picked	0	1	1
Done	0	0	0
Total	120	8	128

Merged error: 0b

Counts

128 → 8

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ (/ 3.0 1) (* (+ b (sqrt (- (* b b) (* 3.0 (* a c))))) (* 1 (/ 3.0 (neg c)))))
0.3b	(- (* b b) (* 3.0 (* a c)))
0.3b	(* 3.0 (* a c))
0.4b	(* (+ b (sqrt (- (* b b) (* 3.0 (* a c))))) (* 1 (/ 3.0 (neg c))))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

92×	`add-exp-log`
50×	`add-cbrt-cube`
39×	`prod-exp`
38×	`div-exp`
31×	`times-frac`
22×	`*-un-lft-identity`
20×	`add-sqr-sqrt` `add-cube-cbrt`
18×	`cbrt-unprod`
15×	`cbrt-undiv`
14×	`pow1` `1-exp`
13×	`associate-/l*`
8×	`associate-*r/`
7×	`associate-l`
6×	`pow-prod-down` `add-log-exp`
5×	`associate-/r/`
4×	`frac-times` `flip3-+` `associate-*l/` `flip-+`
3×	`div-inv`
2×	`associate-r` `*-commutative`
1×	`sub-neg` `flip3--` `frac-2neg` `diff-log` `clear-num` `associate-/r*` `flip--` `associate-/l/` `distribute-lft-out`

Counts

4 → 127

Calls

4 calls:

18.0ms	(/ (/ 3.0 1) (* (+ b (sqrt (- (* b b) (* 3.0 (* a c))))) (* 1 (/ 3.0 (neg c)))))
4.0ms	(- (* b b) (* 3.0 (* a c)))
5.0ms	(* 3.0 (* a c))
13.0ms	(* (+ b (sqrt (- (* b b) (* 3.0 (* a c))))) (* 1 (/ 3.0 (neg c))))

series64.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(/ (/ 3.0 1) (* (+ b (sqrt (- (* b b) (* 3.0 (* a c))))) (* 1 (/ 3.0 (neg c)))))
8.0ms	(- (* b b) (* 3.0 (* a c)))
3.0ms	(* 3.0 (* a c))
18.0ms	(* (+ b (sqrt (- (* b b) (* 3.0 (* a c))))) (* 1 (/ 3.0 (neg c))))

simplify67.0ms

Algorithm

egg-herbie

Counts

139 → 139

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4984	2147
1	4984	2147

prune147.0ms

Filtered

79 candidates to 139 candidates (-75.9%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	136	3	139
Fresh	4	2	6
Picked	0	1	1
Done	0	1	1
Total	140	7	147

Merged error: 0b

Counts

147 → 7

regimes174.0ms

Accuracy

0% (0.4b remaining)

Error of 0.4b against oracle of 0.0b and baseline of 0.4b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	110	16
1	110	16

end0.0ms

sample2.1s

Algorithm

intervals

Results

467.0ms	16633×	pre	80	true
439.0ms	4468×	body	160	valid
422.0ms	8633×	body	80	nan
182.0ms	3532×	body	80	valid

Details

sample81.0ms

simplify181.0ms

prune8.0ms

localize12.0ms

rewrite29.0ms

series54.0ms

simplify46.0ms

prune122.0ms

localize14.0ms

rewrite41.0ms

series101.0ms

simplify51.0ms

prune176.0ms

localize15.0ms

rewrite35.0ms

series109.0ms

simplify46.0ms

prune176.0ms

localize14.0ms

rewrite45.0ms

series64.0ms

simplify67.0ms

prune147.0ms

regimes174.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample2.1s

Profiling