Details

sample41.0ms

Algorithm

intervals

Results

21.0ms

267×

body

valid

simplify85.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	48	16
1	102	16
2	292	16
3	803	16
4	2143	16
5	3616	16
6	4166	16
7	5002	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: 32.4b

Counts

2 → 1

localize27.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* (+ y a) y) b) y)
0.1b	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
0.1b	(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
31.6b	(/ (+ (* (+ (* (+ (* (+ (* 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×	`expm1-log1p-u` `log1p-expm1-u` `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 → 99

Calls

4 calls:

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

series465.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(* (+ (* (+ y a) y) b) y)
49.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
76.0ms	(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
306.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify67.0ms

Algorithm

egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 2 (54.0ms)

Iter	Nodes	Cost
0	539	1272
1	2202	1125
2	5003	1105

prune545.0ms

Filtered

111 candidates to 97 candidates (87.4%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	100	11	111
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	101	11	112

Merged error: 31.1b

Counts

112 → 11

localize26.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
0.1b	(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
0.6b	(/ 1 (* (fma (fma (fma (+ y a) y b) y c) y i) 1))
31.5b	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (* (fma (fma (fma (+ y a) y b) y c) y i) 1)))

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

49×	`add-exp-log`
24×	`prod-exp`
22×	`add-cbrt-cube`
19×	`add-sqr-sqrt`
13×	`pow1` `add-cube-cbrt` `-un-lft-identity` `associate-r*`
12×	`1-exp` `div-exp`
9×	`associate-l`
7×	`cbrt-unprod`
6×	`rec-exp` `times-frac` `associate-*l/`
4×	`cbrt-undiv` `expm1-log1p-u` `flip3-+` `pow-prod-down` `flip-+` `log1p-expm1-u` `add-log-exp`
3×	`-commutative` `associate-/l` `unswap-sqr`
2×	`frac-times` `pow-flip` `div-inv`
1×	`frac-2neg` `associate-r/` `clear-num` `associate-/r` `un-div-inv` `inv-pow`

Counts

4 → 118

Calls

4 calls:

10.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
12.0ms	(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
4.0ms	(/ 1 (* (fma (fma (fma (+ y a) y b) y c) y i) 1))
19.0ms	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (* (fma (fma (fma (+ y a) y b) y c) y i) 1)))

series480.0ms

Counts

4 → 12

Calls

4 calls:

52.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
76.0ms	(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
53.0ms	(/ 1 (* (fma (fma (fma (+ y a) y b) y c) y i) 1))
299.0ms	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (* (fma (fma (fma (+ y a) y b) y c) y i) 1)))

simplify68.0ms

Algorithm

egg-herbie

Counts

130 → 130

Iterations

Useful iterations: 2 (54.0ms)

Iter	Nodes	Cost
0	548	1250
1	2228	1058
2	5001	989

prune493.0ms

Filtered

130 candidates to 90 candidates (69.2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	129	1	130
Fresh	1	9	10
Picked	0	1	1
Done	0	0	0
Total	130	11	141

Merged error: 31.1b

Counts

141 → 11

localize30.0ms

Local error

Found 4 expressions with local error:

23.4b	(cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616))
23.4b	(cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616))
23.4b	(cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616))
31.6b	(/ (+ (* (* (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))

rewrite84.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` `expm1-log1p-u` `log1p-expm1-u` `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 → 78

Calls

4 calls:

10.0ms	(cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616))
14.0ms	(cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616))
10.0ms	(cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616))
50.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))

series798.0ms

Counts

4 → 12

Calls

4 calls:

159.0ms	(cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616))
162.0ms	(cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616))
169.0ms	(cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616))
308.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))

simplify53.0ms

Algorithm

egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 2 (34.0ms)

Iter	Nodes	Cost
0	381	2282
1	1293	2076
2	5001	1933

prune498.0ms

Filtered

90 candidates to 84 candidates (93.3%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	90	0	90
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	90	11	101

Merged error: 31.1b

Counts

101 → 11

localize29.0ms

Local error

Found 4 expressions with local error:

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

rewrite70.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` `expm1-log1p-u` `log1p-expm1-u` `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 → 72

Calls

4 calls:

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

series1.0s

Counts

4 → 12

Calls

4 calls:

193.0ms	(cbrt (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y))
188.0ms	(cbrt (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y))
187.0ms	(cbrt (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y))
466.0ms	(/ (+ (* (* (cbrt (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)) (cbrt (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y))) (cbrt (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y))) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify123.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 3 (98.0ms)

Iter	Nodes	Cost
0	402	2339
1	1205	2123
2	4589	2001
3	5001	1964

prune460.0ms

Filtered

84 candidates to 78 candidates (92.9%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	84	0	84
Fresh	0	8	8
Picked	0	1	1
Done	0	2	2
Total	84	11	95

Merged error: 31.1b

Counts

95 → 11

regimes546.0ms

Accuracy

0% (1.1b remaining)

Error of 29.6b against oracle of 28.5b and baseline of 29.6b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	15
1	41	15
2	41	15

end0.0ms

sample1.1s

Algorithm

intervals

Results

683.0ms

8242×

body

valid

Details

sample41.0ms

simplify85.0ms

prune4.0ms

localize27.0ms

rewrite58.0ms

series465.0ms

simplify67.0ms

prune545.0ms

localize26.0ms

rewrite49.0ms

series480.0ms

simplify68.0ms

prune493.0ms

localize30.0ms

rewrite84.0ms

series798.0ms

simplify53.0ms

prune498.0ms

localize29.0ms

rewrite70.0ms

series1.0s

simplify123.0ms

prune460.0ms

regimes546.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.1s

Profiling