Details

sample55.0ms

Algorithm

intervals

Results

20.0ms

261×

body

valid

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

prune8.0ms

Filtered

1 candidates to 0 candidates (100.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: 28.7b

Counts

2 → 1

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

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

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

series664.0ms

Counts

4 → 12

Calls

4 calls:

62.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
90.0ms	(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
78.0ms	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
434.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify65.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 2 (51.0ms)

Iter	Nodes	Cost
0	504	1343
1	2234	1226
2	5001	1224

prune793.0ms

Filtered

103 candidates to 78 candidates (24.3%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	93	10	103
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	94	10	104

Merged error: 27.6b

Counts

104 → 10

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

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

12.0ms	(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
12.0ms	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
13.0ms	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
31.0ms	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

series572.0ms

Counts

4 → 12

Calls

4 calls:

103.0ms	(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
87.0ms	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
52.0ms	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
329.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 (58.0ms)

Iter	Nodes	Cost
0	554	1745
1	2706	1563
2	5002	1537

prune611.0ms

Filtered

127 candidates to 81 candidates (36.2%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	126	1	127
Fresh	1	8	9
Picked	0	1	1
Done	0	0	0
Total	127	10	137

Merged error: 27.6b

Counts

137 → 10

localize30.0ms

Local error

Found 4 expressions with local error:

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

rewrite100.0ms

Algorithm

rewrite-expression-head

Rules

60×	`times-frac`
33×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
27×	`cbrt-prod`
24×	`associate-/r*`
22×	`cbrt-div`
16×	`add-exp-log`
11×	`flip3-+` `flip-+`
10×	`add-cbrt-cube`
8×	`associate-/l/`
6×	`cbrt-undiv` `div-exp`
5×	`associate-/r/`
4×	`pow1` `frac-times` `add-log-exp`
3×	`pow1/3` `div-inv`
2×	`associate-r/` `associate-l/` `prod-exp` `cbrt-unprod`
1×	`frac-2neg` `clear-num` `associate-/l*`

Counts

4 → 115

Calls

4 calls:

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

series1.1s

Counts

4 → 12

Calls

4 calls:

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

simplify83.0ms

Algorithm

egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 2 (49.0ms)

Iter	Nodes	Cost
0	561	4374
1	2359	4062
2	5001	3881

prune755.0ms

Filtered

127 candidates to 110 candidates (13.4%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	126	1	127
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	126	11	137

Merged error: 27.6b

Counts

137 → 11

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

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

22.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))
27.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
28.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:

587.0ms	(cbrt (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
341.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
344.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
347.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify113.0ms

Algorithm

egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 3 (86.0ms)

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

prune640.0ms

Filtered

129 candidates to 105 candidates (18.6%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	8	8
Picked	0	1	1
Done	0	2	2
Total	129	11	140

Merged error: 27.6b

Counts

140 → 11

regimes1.6s

Accuracy

22.6% (0.9b remaining)

Error of 28.5b against oracle of 27.7b and baseline of 28.8b

bsearch7.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	50	33
1	50	33

end0.0ms

sample1.3s

Algorithm

intervals

Results

647.0ms

8253×

body

valid

Details

sample55.0ms

simplify100.0ms

prune8.0ms

localize21.0ms

rewrite68.0ms

series664.0ms

simplify65.0ms

prune793.0ms

localize22.0ms

rewrite71.0ms

series572.0ms

simplify75.0ms

prune611.0ms

localize30.0ms

rewrite100.0ms

series1.1s

simplify83.0ms

prune755.0ms

localize30.0ms

rewrite107.0ms

series1.6s

simplify113.0ms

prune640.0ms

regimes1.6s

bsearch7.0ms

simplify1.0ms

end0.0ms

sample1.3s

Profiling