Details

sample30.0ms

Algorithm

intervals

Results

12.0ms	269×	body	80	valid
2.0ms	9×	body	1280	valid
1.0ms	15×	body	320	valid
1.0ms	10×	body	640	valid
1.0ms	8×	body	160	valid

simplify63.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	20	6
1	45	6
2	111	6
3	288	6
4	714	6
5	1498	6
6	3410	6
7	5001	6

prune2.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.0b

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (- y z) (- t x))
2.1b	(+ x (/ (* (- y z) (- t x)) (- a z)))
20.6b	(/ (* (- y z) (- t x)) (- a z))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt` `*-un-lft-identity`
13×	`flip3--` `flip--`
10×	`add-exp-log` `add-cbrt-cube`
8×	`frac-times` `associate-/l/`
7×	`add-cube-cbrt`
5×	`pow1` `times-frac` `associate-r` `associate-l` `associate-/r*` `add-log-exp`
4×	`associate-r/` `associate-l/` `distribute-lft-out--` `difference-of-squares`
2×	`cbrt-undiv` `distribute-rgt-in` `sub-neg` `distribute-lft-in` `div-exp` `prod-exp` `associate-/r/` `cbrt-unprod`
1×	`+-commutative` `frac-2neg` `flip3-+` `pow-prod-down` `clear-num` `sum-log` `-commutative` `flip-+` `div-inv` `distribute-lft-out` `associate-/l` `unswap-sqr`

Counts

3 → 81

Calls

3 calls:

9.0ms	(* (- y z) (- t x))
7.0ms	(+ x (/ (* (- y z) (- t x)) (- a z)))
12.0ms	(/ (* (- y z) (- t x)) (- a z))

series320.0ms

Counts

3 → 9

Calls

3 calls:

38.0ms	(* (- y z) (- t x))
152.0ms	(+ x (/ (* (- y z) (- t x)) (- a z)))
130.0ms	(/ (* (- y z) (- t x)) (- a z))

simplify54.0ms

Algorithm

egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 1 (12.0ms)

Iter	Nodes	Cost
0	466	583
1	2158	534
2	5001	534

prune223.0ms

Filtered

90 candidates to 67 candidates (74.4%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	80	10	90
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	80	11	91

Merged error: 4.5b

Counts

91 → 11

localize12.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (- a z))
0.5b	(cbrt (- a z))
1.9b	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
8.2b	(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

75×	`add-sqr-sqrt`
59×	`*-un-lft-identity`
52×	`times-frac`
46×	`associate-r`
37×	`cbrt-prod`
27×	`add-cube-cbrt`
25×	`add-exp-log`
18×	`cbrt-div` `add-cbrt-cube`
17×	`associate-l`
16×	`distribute-lft-out--` `difference-of-squares`
10×	`associate-/r/`
9×	`flip3--` `flip--`
8×	`prod-exp` `cbrt-unprod`
7×	`cbrt-undiv` `div-exp`
6×	`pow1` `add-log-exp` `unswap-sqr`
5×	`frac-times`
3×	`associate-r/` `associate-l/`
2×	`pow1/3` `div-inv`
1×	`+-commutative` `flip3-+` `pow-prod-down` `sum-log` `*-commutative` `flip-+`

Counts

4 → 134

Calls

4 calls:

3.0ms	(cbrt (- a z))
3.0ms	(cbrt (- a z))
36.0ms	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
3.0ms	(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

series762.0ms

Counts

4 → 12

Calls

4 calls:

145.0ms	(cbrt (- a z))
149.0ms	(cbrt (- a z))
303.0ms	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
165.0ms	(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

simplify85.0ms

Algorithm

egg-herbie

Counts

146 → 146

Iterations

Useful iterations: 2 (69.0ms)

Iter	Nodes	Cost
0	744	1831
1	3287	1663
2	5001	1576

prune403.0ms

Filtered

146 candidates to 102 candidates (69.9%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	138	8	146
Fresh	5	4	9
Picked	0	1	1
Done	0	1	1
Total	143	14	157

Merged error: 4.4b

Counts

157 → 14

localize22.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (- t x))
0.6b	(cbrt (- t x))
0.9b	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (* (cbrt (- t x)) (cbrt (- t x))) (cbrt (* (cbrt (- a z)) (cbrt (- a z))))))
7.7b	(+ x (* (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (* (cbrt (- t x)) (cbrt (- t x))) (cbrt (* (cbrt (- a z)) (cbrt (- a z)))))) (/ (cbrt (- t x)) (cbrt (cbrt (- a z))))))

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

40×	`add-exp-log`
36×	`cbrt-div`
26×	`add-sqr-sqrt`
22×	`add-cbrt-cube`
17×	`associate-l`
16×	`-un-lft-identity` `times-frac` `associate-r*` `associate-/r/`
15×	`prod-exp` `cbrt-unprod`
14×	`flip3--` `flip--`
13×	`cbrt-prod`
12×	`cbrt-undiv` `div-exp`
10×	`add-cube-cbrt`
9×	`frac-times`
6×	`pow1` `add-log-exp` `unswap-sqr`
5×	`associate-r/` `associate-l/`
3×	`distribute-lft-out--` `difference-of-squares`
2×	`pow1/3` `div-inv`
1×	`+-commutative` `flip3-+` `pow-prod-down` `sum-log` `*-commutative` `flip-+`

Counts

4 → 110

Calls

4 calls:

3.0ms	(cbrt (- t x))
3.0ms	(cbrt (- t x))
34.0ms	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (* (cbrt (- t x)) (cbrt (- t x))) (cbrt (* (cbrt (- a z)) (cbrt (- a z))))))
3.0ms	(+ x (* (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (* (cbrt (- t x)) (cbrt (- t x))) (cbrt (* (cbrt (- a z)) (cbrt (- a z)))))) (/ (cbrt (- t x)) (cbrt (cbrt (- a z))))))

series823.0ms

Counts

4 → 12

Calls

4 calls:

159.0ms	(cbrt (- t x))
151.0ms	(cbrt (- t x))
302.0ms	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (* (cbrt (- t x)) (cbrt (- t x))) (cbrt (* (cbrt (- a z)) (cbrt (- a z))))))
210.0ms	(+ x (* (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (* (cbrt (- t x)) (cbrt (- t x))) (cbrt (* (cbrt (- a z)) (cbrt (- a z)))))) (/ (cbrt (- t x)) (cbrt (cbrt (- a z))))))

simplify90.0ms

Algorithm

egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 2 (71.0ms)

Iter	Nodes	Cost
0	838	2470
1	3318	2130
2	5001	2090

prune471.0ms

Filtered

122 candidates to 90 candidates (73.8%)

Pruning

14 alts after pruning (11 fresh and 3 done)

	Pruned	Kept	Total
New	122	0	122
Fresh	0	11	11
Picked	0	1	1
Done	0	2	2
Total	122	14	136

Merged error: 4.4b

Counts

136 → 14

localize17.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (- a z))
0.5b	(* (cbrt (cbrt (- a z))) (cbrt (cbrt (- a z))))
1.8b	(* (/ (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (cbrt (- a z))) (cbrt (cbrt (- a z))))) (/ (- t x) (cbrt (cbrt (- a z)))))
8.0b	(+ x (* (/ (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (cbrt (- a z))) (cbrt (cbrt (- a z))))) (/ (- t x) (cbrt (cbrt (- a z))))))

rewrite103.0ms

Algorithm

rewrite-expression-head

Rules

157×	`cbrt-prod`
142×	`add-sqr-sqrt`
98×	`times-frac`
97×	`*-un-lft-identity`
72×	`associate-r`
71×	`add-exp-log`
66×	`cbrt-div`
47×	`add-cube-cbrt`
42×	`add-cbrt-cube`
40×	`associate-l`
27×	`cbrt-undiv` `div-exp`
25×	`prod-exp` `cbrt-unprod`
24×	`distribute-lft-out--`
22×	`difference-of-squares`
21×	`unswap-sqr`
20×	`flip3--` `flip--`
18×	`associate-/r/`
13×	`pow1` `frac-times` `swap-sqr`
7×	`pow1/3` `associate-r/` `associate-l/`
6×	`add-log-exp`
3×	`pow-prod-down` `div-inv`
2×	`pow-sqr` `*-commutative` `pow-prod-up`
1×	`+-commutative` `pow2` `flip3-+` `pow-plus` `sum-log` `flip-+`

Counts

4 → 238

Calls

4 calls:

3.0ms	(cbrt (- a z))
13.0ms	(* (cbrt (cbrt (- a z))) (cbrt (cbrt (- a z))))
65.0ms	(* (/ (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (cbrt (- a z))) (cbrt (cbrt (- a z))))) (/ (- t x) (cbrt (cbrt (- a z)))))
3.0ms	(+ x (* (/ (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (cbrt (- a z))) (cbrt (cbrt (- a z))))) (/ (- t x) (cbrt (cbrt (- a z))))))

series760.0ms

Counts

4 → 12

Calls

4 calls:

157.0ms	(cbrt (- a z))
129.0ms	(* (cbrt (cbrt (- a z))) (cbrt (cbrt (- a z))))
319.0ms	(* (/ (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (cbrt (- a z))) (cbrt (cbrt (- a z))))) (/ (- t x) (cbrt (cbrt (- a z)))))
155.0ms	(+ x (* (/ (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (cbrt (- a z))) (cbrt (cbrt (- a z))))) (/ (- t x) (cbrt (cbrt (- a z))))))

simplify66.0ms

Algorithm

egg-herbie

Counts

250 → 250

Iterations

Useful iterations: 1 (29.0ms)

Iter	Nodes	Cost
0	1251	4807
1	5001	4337

prune785.0ms

Filtered

250 candidates to 178 candidates (71.2%)

Pruning

15 alts after pruning (11 fresh and 4 done)

	Pruned	Kept	Total
New	248	2	250
Fresh	1	9	10
Picked	0	1	1
Done	0	3	3
Total	249	15	264

Merged error: 4.4b

Counts

264 → 15

regimes415.0ms

Accuracy

40.3% (4.6b remaining)

Error of 8.8b against oracle of 4.2b and baseline of 11.9b

bsearch2.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	50	68
1	50	68

end0.0ms

sample755.0ms

Algorithm

intervals

Results

297.0ms	7865×	body	80	valid
61.0ms	446×	body	640	valid
47.0ms	271×	body	1280	valid
46.0ms	428×	body	320	valid
20.0ms	254×	body	160	valid
2.0ms	10×	body	2560	valid

Details

sample30.0ms

simplify63.0ms

prune2.0ms

localize9.0ms

rewrite30.0ms

series320.0ms

simplify54.0ms

prune223.0ms

localize12.0ms

rewrite54.0ms

series762.0ms

simplify85.0ms

prune403.0ms

localize22.0ms

rewrite49.0ms

series823.0ms

simplify90.0ms

prune471.0ms

localize17.0ms

rewrite103.0ms

series760.0ms

simplify66.0ms

prune785.0ms

regimes415.0ms

bsearch2.0ms

simplify2.0ms

end0.0ms

sample755.0ms

Profiling