Details

sample44.0ms

Algorithm

intervals

Results

24.0ms

269×

body

valid

simplify108.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: 29.3b

Counts

2 → 1

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite60.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)
11.0ms	(* (+ (* (+ y a) y) b) y)
10.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))

series485.0ms

Counts

4 → 12

Calls

4 calls:

80.0ms	(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
33.0ms	(* (+ (* (+ y a) y) b) y)
55.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
316.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify66.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 2 (53.0ms)

Iter	Nodes	Cost
0	513	1302
1	2274	1176
2	5002	1174

prune477.0ms

Filtered

103 candidates to 77 candidates (74.8%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	89	14	103
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	90	14	104

Merged error: 28.2b

Counts

104 → 14

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

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

9.0ms	(* (+ (* (+ y a) y) b) 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))

series964.0ms

Counts

4 → 12

Calls

4 calls:

39.0ms	(* (+ (* (+ y a) y) b) y)
50.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
415.0ms	(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
459.0ms	(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

simplify98.0ms

Algorithm

egg-herbie

Counts

167 → 167

Iterations

Useful iterations: 2 (68.0ms)

Iter	Nodes	Cost
0	684	3581
1	3345	3306
2	5001	3226

prune557.0ms

Filtered

167 candidates to 97 candidates (58.1%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	164	3	167
Fresh	2	11	13
Picked	1	0	1
Done	0	0	0
Total	167	14	181

Merged error: 28.2b

Counts

181 → 14

localize33.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
0.6b	(cbrt y)
28.5b	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (+ (* (+ y a) y) b) (* (cbrt y) (cbrt y))) (cbrt 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)
32.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (+ (* (+ y a) y) b) (* (cbrt y) (cbrt y))) (cbrt y)) c) y) i))

series995.0ms

Counts

4 → 12

Calls

4 calls:

188.0ms	(cbrt y)
180.0ms	(cbrt y)
179.0ms	(cbrt y)
448.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (+ (* (+ y a) y) b) (* (cbrt y) (cbrt y))) (cbrt y)) c) y) i))

simplify105.0ms

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 3 (94.0ms)

Iter	Nodes	Cost
0	256	1138
1	869	1043
2	3747	1037
3	5002	1034

prune400.0ms

Filtered

76 candidates to 62 candidates (81.6%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	76	0	76
Fresh	0	13	13
Picked	0	1	1
Done	0	0	0
Total	76	14	90

Merged error: 28.2b

Counts

90 → 14

localize34.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
0.6b	(cbrt y)
28.5b	(/ (+ (* (+ (* (* (+ (* (+ (* 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)
32.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))

series981.0ms

Counts

4 → 12

Calls

4 calls:

176.0ms	(cbrt y)
186.0ms	(cbrt y)
179.0ms	(cbrt y)
440.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))

simplify104.0ms

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 3 (93.0ms)

Iter	Nodes	Cost
0	256	1138
1	869	1043
2	3745	1037
3	5001	1034

prune340.0ms

Filtered

76 candidates to 62 candidates (81.6%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	76	0	76
Fresh	0	12	12
Picked	0	1	1
Done	0	1	1
Total	76	14	90

Merged error: 28.2b

Counts

90 → 14

regimes977.0ms

Accuracy

0% (1.1b remaining)

Error of 29.1b against oracle of 27.9b and baseline of 29.1b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	45	21
1	45	21

end0.0ms

sample1.0s

Algorithm

intervals

Results

675.0ms

8256×

body

valid

Details

sample44.0ms

simplify108.0ms

prune4.0ms

localize22.0ms

rewrite60.0ms

series485.0ms

simplify66.0ms

prune477.0ms

localize30.0ms

rewrite74.0ms

series964.0ms

simplify98.0ms

prune557.0ms

localize33.0ms

rewrite37.0ms

series995.0ms

simplify105.0ms

prune400.0ms

localize34.0ms

rewrite37.0ms

series981.0ms

simplify104.0ms

prune340.0ms

regimes977.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.0s

Profiling