Details

sample49.0ms

Algorithm

intervals

Results

21.0ms

263×

body

valid

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

prune9.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: 29.5b

Counts

2 → 1

localize21.0ms

Local error

Found 4 expressions with local error:

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

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

series176.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(* (+ (* x y) z) y)
7.0ms	(* (+ (* (+ y a) y) b) y)
14.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
146.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify61.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 2 (47.0ms)

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

prune232.0ms

Filtered

75 candidates to 103 candidates (-37.3%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	90	13	103
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	91	13	104

Merged error: 28.3b

Counts

104 → 13

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

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

8.0ms	(* (+ (* (+ y a) y) b) y)
9.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
12.0ms	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
29.0ms	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

series195.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(* (+ (* (+ y a) y) b) y)
14.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
24.0ms	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
148.0ms	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

simplify75.0ms

Algorithm

egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 2 (60.0ms)

Iter	Nodes	Cost
0	563	1664
1	2751	1466
2	5002	1440

prune191.0ms

Filtered

77 candidates to 127 candidates (-64.9%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	125	2	127
Fresh	3	9	12
Picked	0	1	1
Done	0	0	0
Total	128	12	140

Merged error: 28.3b

Counts

140 → 12

localize29.0ms

Local error

Found 4 expressions with local error:

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

rewrite99.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 117

Calls

4 calls:

20.0ms	(cbrt (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
24.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
25.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
26.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

series701.0ms

Counts

4 → 12

Calls

4 calls:

268.0ms	(cbrt (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
142.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
145.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
146.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify140.0ms

Algorithm

egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 3 (108.0ms)

Iter	Nodes	Cost
0	301	3132
1	930	2899
2	3783	2891
3	5001	2883

prune413.0ms

Filtered

104 candidates to 129 candidates (-24.0%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	129	12	141

Merged error: 28.3b

Counts

141 → 12

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite93.0ms

Algorithm

rewrite-expression-head

Rules

30×	`cbrt-div`
25×	`add-sqr-sqrt`
24×	`associate-r`
20×	`add-cube-cbrt` `*-un-lft-identity` `times-frac`
19×	`cbrt-prod`
16×	`add-exp-log` `frac-times` `flip3-+` `flip-+`
12×	`associate-*l/`
10×	`add-cbrt-cube`
9×	`pow1`
6×	`prod-exp` `cbrt-unprod`
5×	`associate-*r/`
4×	`add-log-exp`
3×	`pow1/3` `pow-prod-down` `unswap-sqr`
2×	`cbrt-undiv` `div-exp` `associate-/r/`
1×	`associate-l` `*-commutative` `div-inv`

Counts

4 → 102

Calls

4 calls:

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

series406.0ms

Counts

4 → 12

Calls

4 calls:

83.0ms	(cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
83.0ms	(cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
84.0ms	(cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
156.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 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

simplify76.0ms

Algorithm

egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 2 (47.0ms)

Iter	Nodes	Cost
0	624	3773
1	2305	3379
2	5001	3219

prune319.0ms

Filtered

90 candidates to 114 candidates (-26.7%)

Pruning

13 alts after pruning (10 fresh and 3 done)

	Pruned	Kept	Total
New	113	1	114
Fresh	0	9	9
Picked	0	1	1
Done	0	2	2
Total	113	13	126

Merged error: 28.3b

Counts

126 → 13

regimes1.4s

Accuracy

78.1% (0.3b remaining)

Error of 28.8b against oracle of 28.6b and baseline of 29.8b

bsearch2.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	50	33
1	50	33

end0.0ms

sample1.4s

Algorithm

intervals

Results

678.0ms

8253×

body

valid

Details

sample49.0ms

simplify101.0ms

prune9.0ms

localize21.0ms

rewrite50.0ms

series176.0ms

simplify61.0ms

prune232.0ms

localize22.0ms

rewrite63.0ms

series195.0ms

simplify75.0ms

prune191.0ms

localize29.0ms

rewrite99.0ms

series701.0ms

simplify140.0ms

prune413.0ms

localize26.0ms

rewrite93.0ms

series406.0ms

simplify76.0ms

prune319.0ms

regimes1.4s

bsearch2.0ms

simplify2.0ms

end0.0ms

sample1.4s

Profiling