Details

analyze5.8s

Algorithm

sampling

Space saved by range analysis: 0.389958%

Space saved by search: 0.389958%

Guaranteed chance to sample good point: 0%

sample47.0ms

Algorithm

intervals

Results

27.0ms	256×	body	80	valid
0.0ms	6×	body	80	invalid

simplify101.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	41	16
1	88	16
2	254	16
3	663	16
4	1615	16
5	2362	16
6	2584	16
7	3122	16
8	5001	16

prune6.0ms

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: 25.7b

Counts

2 → 1

localize23.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
0.1b	(* (+ (* x y) z) y)
0.1b	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
25.1b	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

rewrite244.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
18×	`add-cube-cbrt` `*-un-lft-identity`
12×	`add-exp-log` `add-cbrt-cube`
10×	`pow1`
9×	`times-frac` `associate-r` `associate-l`
6×	`associate-*l/`
5×	`flip3-+` `flip-+`
4×	`add-log-exp`
3×	`pow-prod-down` `prod-exp` `associate-/r` `-commutative` `cbrt-unprod` `associate-/l*` `unswap-sqr`
2×	`associate-/r/` `associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `div-inv`

Counts

4 → 91

Calls

4 calls:

12.0ms	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
7.0ms	(* (+ (* x y) z) y)
198.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
25.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

series194.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
9.0ms	(* (+ (* x y) z) y)
17.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
151.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify62.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 2 (50.0ms)

Iter	Nodes	Cost
0	505	1241
1	2228	1133
2	5001	1131

prune229.0ms

Filtered

76 candidates to 103 candidates (-35.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	92	11	103
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	93	11	104

Merged error: 24.8b

Counts

104 → 11

localize32.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
0.6b	(cbrt y)
25.1b	(/ (+ (* (+ (* (* (+ (* (+ (* x y) z) y) 27464.7644705) (* (cbrt y) (cbrt y))) (cbrt y)) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`cbrt-prod` `times-frac`
6×	`add-exp-log` `add-cbrt-cube`
4×	`pow1` `add-log-exp`
3×	`pow1/3` `associate-/r` `associate-/l`
2×	`flip3-+` `associate-/r/` `flip-+` `associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `div-inv`

Counts

4 → 64

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
1.0ms	(cbrt y)
31.0ms	(/ (+ (* (+ (* (* (+ (* (+ (* x y) z) y) 27464.7644705) (* (cbrt y) (cbrt y))) (cbrt y)) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

series241.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(cbrt y)
23.0ms	(cbrt y)
22.0ms	(cbrt y)
171.0ms	(/ (+ (* (+ (* (* (+ (* (+ (* x y) z) y) 27464.7644705) (* (cbrt y) (cbrt y))) (cbrt y)) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify92.0ms

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 3 (80.0ms)

Iter	Nodes	Cost
0	276	1174
1	875	1076
2	3608	1046
3	5002	1040

prune158.0ms

Filtered

59 candidates to 76 candidates (-28.8%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	76	0	76
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	76	11	87

Merged error: 24.8b

Counts

87 → 11

localize25.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* x y) z) y)
0.1b	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
0.2b	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
24.9b	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

35×	`add-sqr-sqrt`
25×	`*-un-lft-identity`
24×	`add-cube-cbrt`
21×	`add-exp-log` `associate-r`
20×	`times-frac`
15×	`add-cbrt-cube`
11×	`pow1`
9×	`associate-l`
6×	`flip3-+` `associate-*l/` `prod-exp` `flip-+`
5×	`unswap-sqr`
4×	`div-exp` `associate-/r/` `cbrt-unprod` `add-log-exp`
3×	`pow-prod-down` `associate-/r` `-commutative` `associate-/l*`
2×	`cbrt-undiv` `frac-times` `rec-exp` `1-exp` `div-inv`
1×	`pow-flip` `frac-2neg` `associate-*r/` `clear-num` `un-div-inv` `inv-pow`

Counts

4 → 115

Calls

4 calls:

8.0ms	(* (+ (* x y) z) y)
11.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
13.0ms	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
29.0ms	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

series201.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(* (+ (* x y) z) y)
17.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
25.0ms	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
150.0ms	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

simplify72.0ms

Algorithm

egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 2 (57.0ms)

Iter	Nodes	Cost
0	550	1631
1	2657	1445
2	5001	1419

prune186.0ms

Filtered

79 candidates to 127 candidates (-60.8%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	126	1	127
Fresh	1	8	9
Picked	0	1	1
Done	0	1	1
Total	127	11	138

Merged error: 24.8b

Counts

138 → 11

localize27.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* x y) z) y)
0.1b	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
0.4b	(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
25.2b	(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

rewrite72.0ms

Algorithm

rewrite-expression-head

Rules

90×	`times-frac`
64×	`add-sqr-sqrt`
60×	`add-cube-cbrt` `*-un-lft-identity`
21×	`add-exp-log`
18×	`associate-/r*`
15×	`add-cbrt-cube`
11×	`associate-/r/`
9×	`pow1`
8×	`flip3-+` `div-exp` `flip-+`
6×	`associate-r` `associate-l` `div-inv` `associate-/l*`
4×	`cbrt-undiv` `associate-*l/` `add-log-exp`
2×	`rec-exp` `frac-2neg` `1-exp` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `cbrt-unprod` `associate-/l/` `unswap-sqr`
1×	`pow-flip` `inv-pow`

Counts

4 → 155

Calls

4 calls:

7.0ms	(* (+ (* x y) z) y)
10.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
25.0ms	(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
25.0ms	(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

series410.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(* (+ (* x y) z) y)
15.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
143.0ms	(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
241.0ms	(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

simplify93.0ms

Algorithm

egg-herbie

Counts

167 → 167

Iterations

Useful iterations: 2 (62.0ms)

Iter	Nodes	Cost
0	671	3548
1	3251	3285
2	5001	3205

prune166.0ms

Filtered

95 candidates to 167 candidates (-75.8%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	167	0	167
Fresh	0	8	8
Picked	0	1	1
Done	0	2	2
Total	167	11	178

Merged error: 24.8b

Counts

178 → 11

regimes1.4s

Accuracy

0% (1.1b remaining)

Error of 28.7b against oracle of 27.5b and baseline of 28.7b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	45	21
1	45	21

end0.0ms

analyze5.7s

Algorithm

sampling

Space saved by range analysis: 0.389958%

Space saved by search: 0.389958%

Guaranteed chance to sample good point: 0%

sample1.2s

Algorithm

intervals

Results

727.0ms	8000×	body	80	valid
19.0ms	232×	body	80	invalid

Details

analyze5.8s

sample47.0ms

simplify101.0ms

prune6.0ms

localize23.0ms

rewrite244.0ms

series194.0ms

simplify62.0ms

prune229.0ms

localize32.0ms

rewrite37.0ms

series241.0ms

simplify92.0ms

prune158.0ms

localize25.0ms

rewrite65.0ms

series201.0ms

simplify72.0ms

prune186.0ms

localize27.0ms

rewrite72.0ms

series410.0ms

simplify93.0ms

prune166.0ms

regimes1.4s

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze5.7s

sample1.2s

Profiling