Details

sample40.0ms

Algorithm

intervals

Results

20.0ms

260×

body

valid

simplify99.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: 27.7b

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

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

13.0ms	(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
9.0ms	(* (+ (* (+ y a) y) b) y)
9.0ms	(* (+ (* x y) z) y)
26.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

series464.0ms

Counts

4 → 12

Calls

4 calls:

79.0ms	(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
33.0ms	(* (+ (* (+ y a) y) b) y)
36.0ms	(* (+ (* x y) z) y)
315.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

103 → 103

Iterations

Useful iterations: 1 (14.0ms)

Iter	Nodes	Cost
0	520	1262
1	2301	1130
2	5003	1130

prune422.0ms

Filtered

103 candidates to 75 candidates (72.8%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	95	8	103
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	96	8	104

Merged error: 26.9b

Counts

104 → 8

localize23.0ms

Local error

Found 4 expressions with local error:

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

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

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

series462.0ms

Counts

4 → 12

Calls

4 calls:

52.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
36.0ms	(* (+ (* x y) z) y)
51.0ms	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
323.0ms	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

simplify71.0ms

Algorithm

egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 2 (56.0ms)

Iter	Nodes	Cost
0	550	1633
1	2657	1447
2	5001	1421

prune422.0ms

Filtered

127 candidates to 80 candidates (63.0%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	127	0	127
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	127	8	135

Merged error: 26.9b

Counts

135 → 8

localize34.0ms

Local error

Found 4 expressions with local error:

19.2b	(cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
19.2b	(cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
19.2b	(cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
21.6b	(/ (+ (* (+ (* (+ (* (+ (* 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))))

rewrite78.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 70

Calls

4 calls:

12.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))
41.0ms	(/ (+ (* (+ (* (+ (* (+ (* 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))))

series945.0ms

Counts

4 → 12

Calls

4 calls:

136.0ms	(cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
143.0ms	(cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
139.0ms	(cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
527.0ms	(/ (+ (* (+ (* (+ (* (+ (* 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))))

simplify108.0ms

Algorithm

egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 3 (89.0ms)

Iter	Nodes	Cost
0	337	1691
1	1018	1534
2	4426	1509
3	5002	1506

prune453.0ms

Filtered

82 candidates to 71 candidates (86.6%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	80	2	82
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	80	10	90

Merged error: 26.4b

Counts

90 → 10

localize31.0ms

Local error

Found 4 expressions with local error:

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

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

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

series1.6s

Counts

4 → 12

Calls

4 calls:

589.0ms	(cbrt (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
332.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
332.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
336.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify112.0ms

Algorithm

egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 3 (82.0ms)

Iter	Nodes	Cost
0	291	3126
1	898	2893
2	3685	2891
3	5002	2884

prune636.0ms

Filtered

129 candidates to 105 candidates (81.4%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	129	10	139

Merged error: 26.4b

Counts

139 → 10

regimes621.0ms

Accuracy

0% (1.4b remaining)

Error of 29.0b against oracle of 27.6b and baseline of 29.0b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	46	17
1	46	17

end0.0ms

sample911.0ms

Algorithm

intervals

Results

557.0ms

8246×

body

valid

Details

sample40.0ms

simplify99.0ms

prune4.0ms

localize22.0ms

rewrite59.0ms

series464.0ms

simplify67.0ms

prune422.0ms

localize23.0ms

rewrite66.0ms

series462.0ms

simplify71.0ms

prune422.0ms

localize34.0ms

rewrite78.0ms

series945.0ms

simplify108.0ms

prune453.0ms

localize31.0ms

rewrite109.0ms

series1.6s

simplify112.0ms

prune636.0ms

regimes621.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample911.0ms

Profiling