Details

sample79.0ms

Algorithm

intervals

Results

32.0ms

391×

body

valid

simplify57.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	32	8
1	69	8
2	134	8
3	225	8
4	378	8
5	598	8
6	815	8
7	1035	8
8	1143	8
9	1211	8
10	1211	8

prune6.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: 0.3b

Counts

2 → 1

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
0.0b	(+ (* x y) (/ (* z t) 16.0))
0.0b	(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
0.2b	(/ (* a b) 4.0)

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 69

Calls

4 calls:

8.0ms	(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
5.0ms	(+ (* x y) (/ (* z t) 16.0))
11.0ms	(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
4.0ms	(/ (* a b) 4.0)

series89.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
14.0ms	(+ (* x y) (/ (* z t) 16.0))
46.0ms	(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
4.0ms	(/ (* a b) 4.0)

simplify41.0ms

Algorithm

egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 2 (33.0ms)

Iter	Nodes	Cost
0	374	628
1	1499	597
2	5001	590

prune117.0ms

Filtered

81 candidates to 60 candidates (25.9%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	78	3	81
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	79	3	82

Merged error: 0.0b

Counts

82 → 3

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* x y) (/ (* z t) 16.0))
0.0b	(+ (- (+ (* x y) (/ (* z t) 16.0)) (* a (/ b 4.0))) c)
0.0b	(- (+ (* x y) (/ (* z t) 16.0)) (* a (/ b 4.0)))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-log-exp`
6×	`sum-log`
5×	`*-un-lft-identity`
4×	`diff-log`
3×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `associate-+l+` `flip3-+` `add-cbrt-cube` `flip-+`
2×	`+-commutative` `sub-neg` `associate-*r/` `associate--l+` `frac-sub`
1×	`associate-+l-` `flip3--` `flip--` `distribute-lft-out`

Counts

3 → 45

Calls

3 calls:

5.0ms	(+ (* x y) (/ (* z t) 16.0))
9.0ms	(+ (- (+ (* x y) (/ (* z t) 16.0)) (* a (/ b 4.0))) c)
7.0ms	(- (+ (* x y) (/ (* z t) 16.0)) (* a (/ b 4.0)))

series83.0ms

Counts

3 → 9

Calls

3 calls:

11.0ms	(+ (* x y) (/ (* z t) 16.0))
44.0ms	(+ (- (+ (* x y) (/ (* z t) 16.0)) (* a (/ b 4.0))) c)
27.0ms	(- (+ (* x y) (/ (* z t) 16.0)) (* a (/ b 4.0)))

simplify34.0ms

Algorithm

egg-herbie

Counts

54 → 54

Iterations

Useful iterations: 2 (28.0ms)

Iter	Nodes	Cost
0	284	515
1	1054	494
2	5002	487

prune78.0ms

Filtered

54 candidates to 42 candidates (22.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	54	0	54
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	54	3	57

Merged error: 0.0b

Counts

57 → 3

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ a (* (cbrt 4.0) (cbrt 4.0)))
0.3b	(* (/ a (* (cbrt 4.0) (cbrt 4.0))) (/ b (cbrt 4.0)))
0.5b	(/ b (cbrt 4.0))
1.0b	(* (cbrt 4.0) (cbrt 4.0))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

68×	`add-sqr-sqrt`
49×	`times-frac`
44×	`add-cube-cbrt` `*-un-lft-identity`
39×	`cbrt-prod`
34×	`add-exp-log`
28×	`associate-r`
22×	`add-cbrt-cube`
13×	`pow1` `associate-l`
10×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `unswap-sqr`
7×	`associate-/r*`
6×	`pow1/3` `swap-sqr` `associate-/l*`
4×	`div-inv` `add-log-exp`
3×	`pow-prod-down`
2×	`frac-2neg` `clear-num` `pow-sqr` `*-commutative` `pow-prod-up`
1×	`pow2` `frac-times` `pow-plus` `associate-r/` `associate-l/`

Counts

4 → 159

Calls

4 calls:

5.0ms	(/ a (* (cbrt 4.0) (cbrt 4.0)))
14.0ms	(* (/ a (* (cbrt 4.0) (cbrt 4.0))) (/ b (cbrt 4.0)))
4.0ms	(/ b (cbrt 4.0))
6.0ms	(* (cbrt 4.0) (cbrt 4.0))

series34.0ms

Counts

4 → 10

Calls

4 calls:

15.0ms	(/ a (* (cbrt 4.0) (cbrt 4.0)))
14.0ms	(* (/ a (* (cbrt 4.0) (cbrt 4.0))) (/ b (cbrt 4.0)))
6.0ms	(/ b (cbrt 4.0))
0.0ms	(* (cbrt 4.0) (cbrt 4.0))

simplify72.0ms

Algorithm

egg-herbie

Counts

169 → 169

Iterations

Useful iterations: 2 (61.0ms)

Iter	Nodes	Cost
0	481	1087
1	2867	965
2	5001	911

prune346.0ms

Filtered

169 candidates to 114 candidates (32.5%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	168	1	169
Fresh	0	1	1
Picked	1	0	1
Done	1	0	1
Total	170	2	172

Merged error: 0b

Counts

172 → 2

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- (+ (* x y) (/ (* z t) 16.0)) (* (/ a (pow 4.0 2/3)) (/ b (cbrt 4.0)))) c)
0.1b	(/ a (pow 4.0 2/3))
0.3b	(* (/ a (pow 4.0 2/3)) (/ b (cbrt 4.0)))
0.5b	(/ b (cbrt 4.0))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

100×	`add-sqr-sqrt`
95×	`times-frac`
64×	`*-un-lft-identity`
62×	`add-cube-cbrt`
35×	`add-exp-log`
25×	`cbrt-prod` `associate-l`
24×	`unpow-prod-down`
22×	`associate-r`
17×	`add-cbrt-cube`
14×	`div-exp`
13×	`associate-/r*` `add-log-exp`
12×	`unswap-sqr`
10×	`sqr-pow`
8×	`prod-exp`
6×	`pow1` `cbrt-undiv` `associate-/l*`
4×	`sum-log` `cbrt-unprod` `div-inv`
3×	`pow-to-exp` `associate-+l+` `pow-exp`
2×	`frac-2neg` `diff-log` `clear-num`
1×	`+-commutative` `frac-times` `associate-+l-` `sub-neg` `flip3-+` `associate-r/` `pow-prod-down` `associate-l/` `associate--l+` `*-commutative` `flip-+` `distribute-lft-out`

Counts

4 → 185

Calls

4 calls:

9.0ms	(+ (- (+ (* x y) (/ (* z t) 16.0)) (* (/ a (pow 4.0 2/3)) (/ b (cbrt 4.0)))) c)
4.0ms	(/ a (pow 4.0 2/3))
19.0ms	(* (/ a (pow 4.0 2/3)) (/ b (cbrt 4.0)))
4.0ms	(/ b (cbrt 4.0))

series134.0ms

Counts

4 → 12

Calls

4 calls:

80.0ms	(+ (- (+ (* x y) (/ (* z t) 16.0)) (* (/ a (pow 4.0 2/3)) (/ b (cbrt 4.0)))) c)
29.0ms	(/ a (pow 4.0 2/3))
19.0ms	(* (/ a (pow 4.0 2/3)) (/ b (cbrt 4.0)))
6.0ms	(/ b (cbrt 4.0))

simplify72.0ms

Algorithm

egg-herbie

Counts

197 → 197

Iterations

Useful iterations: 2 (55.0ms)

Iter	Nodes	Cost
0	707	1441
1	3251	1315
2	5001	1281

prune375.0ms

Filtered

197 candidates to 147 candidates (25.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Merged error: 0b

Counts

199 → 2

regimes969.0ms

Accuracy

0% (0.1b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 0.2b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	11
1	26	11

end0.0ms

sample1.7s

Algorithm

intervals

Results

722.0ms

11921×

body

valid

Details

sample79.0ms

simplify57.0ms

prune6.0ms

localize19.0ms

rewrite30.0ms

series89.0ms

simplify41.0ms

prune117.0ms

localize12.0ms

rewrite22.0ms

series83.0ms

simplify34.0ms

prune78.0ms

localize16.0ms

rewrite35.0ms

series34.0ms

simplify72.0ms

prune346.0ms

localize17.0ms

rewrite44.0ms

series134.0ms

simplify72.0ms

prune375.0ms

regimes969.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.7s

Profiling