Details

sample40.0ms

Algorithm

intervals

Results

20.0ms

263×

body

valid

simplify103.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

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

Counts

2 → 1

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite58.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	(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
12.0ms	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
7.0ms	(* (+ (* x y) z) y)
25.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

series505.0ms

Counts

4 → 12

Calls

4 calls:

81.0ms	(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
69.0ms	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
33.0ms	(* (+ (* x y) z) y)
322.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify63.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 1 (13.0ms)

Iter	Nodes	Cost
0	511	1303
1	2262	1180
2	5001	1180

prune431.0ms

Filtered

103 candidates to 76 candidates (73.8%)

Pruning

12 alts after pruning (11 fresh and 1 done)

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

Merged error: 30.0b

Counts

104 → 12

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite87.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` `cbrt-div` `add-cbrt-cube`
5×	`flip3-+` `flip-+`
4×	`pow1` `add-log-exp`
3×	`pow1/3` `associate-/r` `associate-/l`
2×	`associate-/r/` `associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `div-inv`

Counts

4 → 70

Calls

4 calls:

10.0ms	(cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616))
10.0ms	(cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616))
12.0ms	(cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616))
52.0ms	(/ (+ (* (* (cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616)) (cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616))) (* (cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616)) y)) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

series826.0ms

Counts

4 → 12

Calls

4 calls:

169.0ms	(cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616))
166.0ms	(cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616))
165.0ms	(cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616))
326.0ms	(/ (+ (* (* (cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616)) (cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616))) (* (cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616)) y)) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify51.0ms

Algorithm

egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 2 (33.0ms)

Iter	Nodes	Cost
0	361	2188
1	1235	1993
2	5002	1935

prune473.0ms

Filtered

82 candidates to 71 candidates (86.6%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	81	1	82
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	81	13	94

Merged error: 30.0b

Counts

94 → 13

localize40.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.3b	(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
30.5b	(/ (+ (* (+ (* (+ (* (+ 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:

12.0ms	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
7.0ms	(* (+ (* x y) z) y)
24.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))

series1.0s

Counts

4 → 12

Calls

4 calls:

65.0ms	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
38.0ms	(* (+ (* x y) z) y)
417.0ms	(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
514.0ms	(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

simplify100.0ms

Algorithm

egg-herbie

Counts

167 → 167

Iterations

Useful iterations: 2 (66.0ms)

Iter	Nodes	Cost
0	680	3584
1	3336	3310
2	5002	3230

prune508.0ms

Filtered

167 candidates to 93 candidates (55.7%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	165	2	167
Fresh	4	6	10
Picked	0	1	1
Done	1	1	2
Total	170	10	180

Merged error: 30.0b

Counts

180 → 10

localize25.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	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
30.4b	(/ (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))

rewrite92.0ms

Algorithm

rewrite-expression-head

Rules

522×	`times-frac`
244×	`add-sqr-sqrt`
240×	`add-cube-cbrt` `*-un-lft-identity`
67×	`associate-/r/`
52×	`add-exp-log`
35×	`flip3-+` `flip-+`
34×	`div-exp` `div-inv`
22×	`add-cbrt-cube`
18×	`associate-/r` `associate-/l`
9×	`pow1` `cbrt-undiv` `rec-exp` `1-exp`
6×	`associate-r` `associate-l`
4×	`associate-*l/` `add-log-exp`
2×	`frac-2neg` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`pow-flip` `associate-/l/` `inv-pow`

Counts

4 → 360

Calls

4 calls:

12.0ms	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
7.0ms	(* (+ (* x y) z) y)
13.0ms	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
39.0ms	(/ (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))

series613.0ms

Counts

4 → 12

Calls

4 calls:

69.0ms	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
38.0ms	(* (+ (* x y) z) y)
51.0ms	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
456.0ms	(/ (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))

simplify135.0ms

Algorithm

egg-herbie

Counts

372 → 372

Iterations

Useful iterations: 1 (37.0ms)

Iter	Nodes	Cost
0	1829	11679
1	5001	11064

prune1.1s

Filtered

372 candidates to 188 candidates (50.5%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	372	0	372
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	372	10	382

Merged error: 30.0b

Counts

382 → 10

regimes524.0ms

Accuracy

0% (1.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	46	18
1	46	18

end0.0ms

sample1.0s

Algorithm

intervals

Results

666.0ms

8226×

body

valid

Details

sample40.0ms

simplify103.0ms

prune4.0ms

localize26.0ms

rewrite58.0ms

series505.0ms

simplify63.0ms

prune431.0ms

localize28.0ms

rewrite87.0ms

series826.0ms

simplify51.0ms

prune473.0ms

localize40.0ms

rewrite72.0ms

series1.0s

simplify100.0ms

prune508.0ms

localize25.0ms

rewrite92.0ms

series613.0ms

simplify135.0ms

prune1.1s

regimes524.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.0s

Profiling