Details

analyze2.0s

Algorithm: search

sample41.0ms

Algorithm

intervals

Results

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

simplify118.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.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: 30.6b

Counts

2 → 1

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite56.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:

6.0ms	(* (+ (* x y) z) y)
11.0ms	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
9.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
28.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

series275.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(* (+ (* x y) z) y)
28.0ms	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
24.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
209.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify95.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 2 (73.0ms)

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

prune214.0ms

Filtered

76 candidates to 103 candidates (-35.5%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	94	9	103
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	94	10	104

Merged error: 29.1b

Counts

104 → 10

localize27.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
0.1b	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
0.2b	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
29.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:

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

series199.0ms

Counts

4 → 12

Calls

4 calls:

18.0ms	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
14.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
23.0ms	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
144.0ms	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

simplify77.0ms

Algorithm

egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 2 (60.0ms)

Iter	Nodes	Cost
0	559	1705
1	2755	1516
2	5001	1490

prune170.0ms

Filtered

80 candidates to 127 candidates (-58.8%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	126	1	127
Fresh	1	7	8
Picked	1	0	1
Done	0	1	1
Total	128	9	137

Merged error: 29.1b

Counts

137 → 9

localize27.0ms

Local error

Found 4 expressions with local error:

24.5b	(cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))
24.5b	(cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))
24.5b	(cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))
29.8b	(/ (+ (* (+ (* (* (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y)) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) (cbrt (* (+ (* (+ (* 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

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

Counts

4 → 64

Calls

4 calls:

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

series331.0ms

Counts

4 → 12

Calls

4 calls:

73.0ms	(cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))
50.0ms	(cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))
48.0ms	(cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))
159.0ms	(/ (+ (* (+ (* (* (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y)) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify54.0ms

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 2 (32.0ms)

Iter	Nodes	Cost
0	399	1964
1	1246	1796
2	5001	1754

prune232.0ms

Filtered

66 candidates to 76 candidates (-15.2%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	76	0	76
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	76	9	85

Merged error: 29.1b

Counts

85 → 9

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

rewrite78.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)
10.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
24.0ms	(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
26.0ms	(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

series404.0ms

Counts

4 → 12

Calls

4 calls:

18.0ms	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
14.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
135.0ms	(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
236.0ms	(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

simplify96.0ms

Algorithm

egg-herbie

Counts

167 → 167

Iterations

Useful iterations: 2 (65.0ms)

Iter	Nodes	Cost
0	682	3635
1	3368	3356
2	5002	3276

prune168.0ms

Filtered

99 candidates to 167 candidates (-68.7%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	167	0	167
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	167	9	176

Merged error: 29.1b

Counts

176 → 9

regimes1.1s

Accuracy

85.3% (0.2b remaining)

Error of 28.2b against oracle of 28.1b and baseline of 29.1b

bsearch2.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	45	32
1	45	32

end0.0ms

analyze2.1s

Algorithm: search

sample1.1s

Algorithm

intervals

Results

685.0ms	8000×	body	80	valid
19.0ms	233×	body	80	invalid

Details

analyze2.0s

sample41.0ms

simplify118.0ms

prune6.0ms

localize22.0ms

rewrite56.0ms

series275.0ms

simplify95.0ms

prune214.0ms

localize27.0ms

rewrite65.0ms

series199.0ms

simplify77.0ms

prune170.0ms

localize27.0ms

rewrite58.0ms

series331.0ms

simplify54.0ms

prune232.0ms

localize23.0ms

rewrite78.0ms

series404.0ms

simplify96.0ms

prune168.0ms

regimes1.1s

bsearch2.0ms

simplify2.0ms

end0.0ms

analyze2.1s

sample1.1s

Profiling