Details

sample34.0ms

Algorithm

intervals

Results

13.0ms

267×

body

valid

simplify7.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	26	8
1	39	8
2	47	8
3	49	8
4	49	8

prune4.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: 14.9b

Counts

2 → 1

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (/ (* y z) t))
4.5b	(/ (* y b) t)
4.6b	(/ (* y z) t)
11.6b	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

58×	`*-un-lft-identity`
26×	`times-frac`
22×	`distribute-lft-out`
19×	`add-sqr-sqrt` `add-cube-cbrt`
16×	`add-exp-log` `add-cbrt-cube`
11×	`associate-/r*`
6×	`associate-/l*` `add-log-exp`
5×	`cbrt-undiv` `div-exp`
4×	`pow1` `flip3-+` `associate-/r/` `flip-+`
3×	`frac-2neg` `clear-num` `div-inv`
2×	`frac-add` `prod-exp` `cbrt-unprod` `associate-/l/`
1×	`+-commutative` `sum-log`

Counts

4 → 101

Calls

4 calls:

4.0ms	(+ x (/ (* y z) t))
4.0ms	(/ (* y b) t)
4.0ms	(/ (* y z) t)
12.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

series57.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(+ x (/ (* y z) t))
8.0ms	(/ (* y b) t)
4.0ms	(/ (* y z) t)
36.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

simplify48.0ms

Algorithm

egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 1 (11.0ms)

Iter	Nodes	Cost
0	454	843
1	1942	782
2	5001	782

prune185.0ms

Filtered

113 candidates to 73 candidates (35.4%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	101	12	113
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	102	12	114

Merged error: 10.0b

Counts

114 → 12

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (* (* y z) (/ 1 t)))
4.5b	(/ (* y b) t)
4.7b	(* (* y z) (/ 1 t))
11.6b	(/ (+ x (* (* y z) (/ 1 t))) (+ (+ a 1.0) (/ (* y b) t)))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

43×	`*-un-lft-identity`
33×	`add-exp-log`
27×	`times-frac`
23×	`add-sqr-sqrt` `add-cube-cbrt` `add-cbrt-cube`
13×	`associate-r` `prod-exp`
12×	`distribute-lft-out`
9×	`pow1`
8×	`associate-/r*`
7×	`div-exp` `cbrt-unprod`
6×	`add-log-exp`
5×	`cbrt-undiv`
4×	`flip3-+` `associate-/r/` `flip-+` `associate-/l*`
3×	`pow-prod-down` `div-inv`
2×	`rec-exp` `frac-2neg` `1-exp` `frac-add` `clear-num` `associate-/l/`
1×	`+-commutative` `associate-r/` `associate-l` `sum-log` `un-div-inv` `-commutative`

Counts

4 → 111

Calls

4 calls:

3.0ms	(+ x (* (* y z) (/ 1 t)))
4.0ms	(/ (* y b) t)
7.0ms	(* (* y z) (/ 1 t))
12.0ms	(/ (+ x (* (* y z) (/ 1 t))) (+ (+ a 1.0) (/ (* y b) t)))

series55.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(+ x (* (* y z) (/ 1 t)))
4.0ms	(/ (* y b) t)
5.0ms	(* (* y z) (/ 1 t))
38.0ms	(/ (+ x (* (* y z) (/ 1 t))) (+ (+ a 1.0) (/ (* y b) t)))

simplify69.0ms

Algorithm

egg-herbie

Counts

123 → 123

Iterations

Useful iterations: 2 (56.0ms)

Iter	Nodes	Cost
0	593	943
1	2810	836
2	5002	816

prune156.0ms

Filtered

123 candidates to 76 candidates (38.2%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	123	0	123
Fresh	0	11	11
Picked	0	1	1
Done	0	0	0
Total	123	12	135

Merged error: 10.0b

Counts

135 → 12

localize18.0ms

Local error

Found 4 expressions with local error:

1.1b	(/ (/ (* y z) (* (cbrt t) (cbrt t))) (cbrt t))
3.7b	(/ (* y z) (* (cbrt t) (cbrt t)))
4.5b	(/ (* y b) t)
11.6b	(/ (+ x (/ (/ (* y z) (* (cbrt t) (cbrt t))) (cbrt t))) (+ (+ a 1.0) (/ (* y b) t)))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

73×	`*-un-lft-identity`
61×	`times-frac`
41×	`add-exp-log`
36×	`add-sqr-sqrt` `add-cube-cbrt`
28×	`add-cbrt-cube`
21×	`distribute-lft-out`
18×	`cbrt-prod`
16×	`cbrt-undiv` `div-exp`
15×	`associate-/r*`
11×	`div-inv` `associate-/l*`
9×	`prod-exp` `cbrt-unprod`
4×	`pow1` `frac-2neg` `clear-num` `associate-/r/` `add-log-exp`
3×	`flip3-+` `flip-+` `associate-/l/`
2×	`frac-add`

Counts

4 → 151

Calls

4 calls:

9.0ms	(/ (/ (* y z) (* (cbrt t) (cbrt t))) (cbrt t))
7.0ms	(/ (* y z) (* (cbrt t) (cbrt t)))
4.0ms	(/ (* y b) t)
18.0ms	(/ (+ x (/ (/ (* y z) (* (cbrt t) (cbrt t))) (cbrt t))) (+ (+ a 1.0) (/ (* y b) t)))

series84.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(/ (/ (* y z) (* (cbrt t) (cbrt t))) (cbrt t))
27.0ms	(/ (* y z) (* (cbrt t) (cbrt t)))
4.0ms	(/ (* y b) t)
44.0ms	(/ (+ x (/ (/ (* y z) (* (cbrt t) (cbrt t))) (cbrt t))) (+ (+ a 1.0) (/ (* y b) t)))

simplify78.0ms

Algorithm

egg-herbie

Counts

163 → 163

Iterations

Useful iterations: 2 (62.0ms)

Iter	Nodes	Cost
0	732	1915
1	3308	1656
2	5001	1603

prune180.0ms

Filtered

163 candidates to 103 candidates (36.8%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	162	1	163
Fresh	0	10	10
Picked	1	0	1
Done	0	1	1
Total	163	12	175

Merged error: 10.0b

Counts

175 → 12

localize23.0ms

Local error

Found 4 expressions with local error:

11.6b	(/ (+ x (/ (* (* (cbrt (/ (* y z) (* (cbrt t) (cbrt t)))) (cbrt (/ (* y z) (* (cbrt t) (cbrt t))))) (cbrt (/ (* y z) (* (cbrt t) (cbrt t))))) (cbrt t))) (+ (+ a 1.0) (/ (* y b) t)))
18.0b	(cbrt (/ (* y z) (* (cbrt t) (cbrt t))))
18.0b	(cbrt (/ (* y z) (* (cbrt t) (cbrt t))))
18.0b	(cbrt (/ (* y z) (* (cbrt t) (cbrt t))))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

55×	`*-un-lft-identity`
23×	`times-frac`
21×	`distribute-lft-out`
18×	`add-sqr-sqrt` `add-cube-cbrt`
15×	`cbrt-prod`
6×	`add-exp-log` `add-cbrt-cube`
5×	`associate-/r*`
4×	`pow1` `associate-/r/` `div-inv` `associate-/l*` `add-log-exp`
3×	`cbrt-div` `flip3-+` `pow1/3` `flip-+`
2×	`frac-add` `associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num`

Counts

4 → 89

Calls

4 calls:

13.0ms	(/ (+ x (/ (* (* (cbrt (/ (* y z) (* (cbrt t) (cbrt t)))) (cbrt (/ (* y z) (* (cbrt t) (cbrt t))))) (cbrt (/ (* y z) (* (cbrt t) (cbrt t))))) (cbrt t))) (+ (+ a 1.0) (/ (* y b) t)))
5.0ms	(cbrt (/ (* y z) (* (cbrt t) (cbrt t))))
6.0ms	(cbrt (/ (* y z) (* (cbrt t) (cbrt t))))
5.0ms	(cbrt (/ (* y z) (* (cbrt t) (cbrt t))))

series177.0ms

Counts

4 → 12

Calls

4 calls:

44.0ms	(/ (+ x (/ (* (* (cbrt (/ (* y z) (* (cbrt t) (cbrt t)))) (cbrt (/ (* y z) (* (cbrt t) (cbrt t))))) (cbrt (/ (* y z) (* (cbrt t) (cbrt t))))) (cbrt t))) (+ (+ a 1.0) (/ (* y b) t)))
46.0ms	(cbrt (/ (* y z) (* (cbrt t) (cbrt t))))
43.0ms	(cbrt (/ (* y z) (* (cbrt t) (cbrt t))))
44.0ms	(cbrt (/ (* y z) (* (cbrt t) (cbrt t))))

simplify51.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 2 (32.0ms)

Iter	Nodes	Cost
0	422	2481
1	1377	2321
2	5001	2276

prune108.0ms

Filtered

101 candidates to 73 candidates (27.7%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	101	0	101
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	101	12	113

Merged error: 10.0b

Counts

113 → 12

regimes1.1s

Accuracy

9.9% (5.1b remaining)

Error of 15.9b against oracle of 10.8b and baseline of 16.5b

bsearch1.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	47	41
1	47	41

end0.0ms

sample904.0ms

Algorithm

intervals

Results

420.0ms

8287×

body

valid

Details

sample34.0ms

simplify7.0ms

prune4.0ms

localize16.0ms

rewrite27.0ms

series57.0ms

simplify48.0ms

prune185.0ms

localize13.0ms

rewrite30.0ms

series55.0ms

simplify69.0ms

prune156.0ms

localize18.0ms

rewrite43.0ms

series84.0ms

simplify78.0ms

prune180.0ms

localize23.0ms

rewrite34.0ms

series177.0ms

simplify51.0ms

prune108.0ms

regimes1.1s

bsearch1.0ms

simplify2.0ms

end0.0ms

sample904.0ms

Profiling