Details

analyze1.9s

Algorithm: search

sample44.0ms

Algorithm

intervals

Results

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

simplify102.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: 31.0b

Counts

2 → 1

localize21.0ms

Local error

Found 4 expressions with local error:

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

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

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

series189.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(* (+ (* (+ y a) y) b) y)
8.0ms	(* (+ (* x y) z) y)
14.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
158.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 (49.0ms)

Iter	Nodes	Cost
0	509	1200
1	2222	1083
2	5001	1081

prune233.0ms

Filtered

75 candidates to 103 candidates (-37.3%)

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

Counts

104 → 14

localize45.0ms

Local error

Found 4 expressions with local error:

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

rewrite56.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))
31.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))

series315.0ms

Counts

4 → 12

Calls

4 calls:

61.0ms	(cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))
48.0ms	(cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))
50.0ms	(cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))
155.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))

simplify53.0ms

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 2 (30.0ms)

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

prune272.0ms

Filtered

66 candidates to 76 candidates (-15.2%)

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

Counts

90 → 14

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

31×	`add-sqr-sqrt`
24×	`associate-r`
19×	`add-exp-log` `*-un-lft-identity`
18×	`add-cube-cbrt`
15×	`add-cbrt-cube`
12×	`pow1` `associate-l`
11×	`times-frac`
8×	`associate-*l/`
7×	`prod-exp`
6×	`flip3-+` `flip-+` `unswap-sqr`
5×	`cbrt-unprod`
4×	`pow-prod-down` `*-commutative` `add-log-exp`
2×	`frac-times` `div-exp` `associate-/r/`
1×	`cbrt-undiv` `rec-exp` `1-exp` `associate-*r/` `un-div-inv` `div-inv`

Counts

4 → 102

Calls

4 calls:

9.0ms	(* (+ (* (+ y a) y) b) y)
6.0ms	(* (+ (* x y) z) y)
10.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
32.0ms	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

series175.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(* (+ (* (+ y a) y) b) y)
8.0ms	(* (+ (* x y) z) y)
16.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
143.0ms	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

simplify81.0ms

Algorithm

egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 2 (67.0ms)

Iter	Nodes	Cost
0	636	1351
1	3062	1186
2	5002	1174

prune199.0ms

Filtered

77 candidates to 114 candidates (-48.1%)

Pruning

15 alts after pruning (13 fresh and 2 done)

	Pruned	Kept	Total
New	111	3	114
Fresh	2	10	12
Picked	0	1	1
Done	0	1	1
Total	113	15	128

Merged error: 29.9b

Counts

128 → 15

localize33.0ms

Local error

Found 4 expressions with local error:

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

rewrite92.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 76

Calls

4 calls:

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

series1.4s

Counts

4 → 12

Calls

4 calls:

52.0ms	(cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
50.0ms	(cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
55.0ms	(cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
1.2s	(/ (* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))) (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))

simplify101.0ms

Algorithm

egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 3 (83.0ms)

Iter	Nodes	Cost
0	434	2339
1	1197	2017
2	4555	1931
3	5002	1894

prune211.0ms

Filtered

72 candidates to 88 candidates (-22.2%)

Pruning

15 alts after pruning (12 fresh and 3 done)

	Pruned	Kept	Total
New	88	0	88
Fresh	0	12	12
Picked	0	1	1
Done	0	2	2
Total	88	15	103

Merged error: 29.9b

Counts

103 → 15

regimes1.6s

Accuracy

0% (1.1b remaining)

Error of 29.2b against oracle of 28.0b and baseline of 29.2b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	45	31
1	45	31

end0.0ms

analyze1.9s

Algorithm: search

sample1.1s

Algorithm

intervals

Results

701.0ms	8000×	body	80	valid
20.0ms	188×	body	80	invalid

Details

analyze1.9s

sample44.0ms

simplify102.0ms

prune6.0ms

localize21.0ms

rewrite53.0ms

series189.0ms

simplify62.0ms

prune233.0ms

localize45.0ms

rewrite56.0ms

series315.0ms

simplify53.0ms

prune272.0ms

localize23.0ms

rewrite61.0ms

series175.0ms

simplify81.0ms

prune199.0ms

localize33.0ms

rewrite92.0ms

series1.4s

simplify101.0ms

prune211.0ms

regimes1.6s

bsearch0.0ms

simplify2.0ms

end0.0ms

analyze1.9s

sample1.1s

Profiling