Details

sample27.0ms

Algorithm

intervals

Results

13.0ms

363×

body

valid

simplify69.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	24	7
1	54	7
2	92	7
3	142	7
4	192	7
5	238	7
6	255	7
7	286	7
8	330	7
9	427	7
10	455	7
11	518	7
12	595	7
13	803	7
14	807	7
15	807	7

prune3.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: 2.2b

Counts

2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(- x (/ y (* z 3.0)))
0.2b	(* (* z 3.0) y)
0.2b	(/ y (* z 3.0))
5.8b	(/ t (* (* z 3.0) y))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

25×	`add-sqr-sqrt` `*-un-lft-identity`
23×	`add-exp-log` `add-cube-cbrt` `add-cbrt-cube`
21×	`prod-diff`
15×	`times-frac`
9×	`pow1`
7×	`prod-exp` `cbrt-unprod`
6×	`associate-/l*` `add-log-exp`
5×	`cbrt-undiv` `div-exp` `div-inv`
4×	`expm1-log1p-u` `log1p-expm1-u`
3×	`fma-neg` `associate-r` `pow-prod-down`
2×	`frac-2neg` `clear-num` `associate-/r*`
1×	`sub-neg` `flip3--` `diff-log` `associate-l` `*-commutative` `flip--` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 108

Calls

4 calls:

7.0ms	(- x (/ y (* z 3.0)))
6.0ms	(* (* z 3.0) y)
5.0ms	(/ y (* z 3.0))
7.0ms	(/ t (* (* z 3.0) y))

series122.0ms

Counts

4 → 12

Calls

4 calls:

40.0ms	(- x (/ y (* z 3.0)))
22.0ms	(* (* z 3.0) y)
22.0ms	(/ y (* z 3.0))
38.0ms	(/ t (* (* z 3.0) y))

simplify75.0ms

Algorithm

egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 2 (63.0ms)

Iter	Nodes	Cost
0	460	837
1	2103	613
2	5001	592

prune279.0ms

Filtered

120 candidates to 73 candidates (60.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	110	10	120
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	111	10	121

Merged error: 0.0b

Counts

121 → 10

localize18.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt t)
0.5b	(cbrt t)
0.5b	(cbrt t)
3.4b	(* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt t) y))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

45×	`add-exp-log`
32×	`add-cbrt-cube`
29×	`add-sqr-sqrt`
22×	`associate-r`
21×	`add-cube-cbrt` `*-un-lft-identity` `times-frac`
19×	`cbrt-prod`
18×	`prod-exp` `cbrt-unprod`
13×	`cbrt-undiv` `div-exp`
6×	`pow1`
5×	`associate-l`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`pow1/3` `unswap-sqr`
2×	`div-inv`
1×	`frac-times` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative`

Counts

4 → 103

Calls

4 calls:

1.0ms	(cbrt t)
1.0ms	(cbrt t)
2.0ms	(cbrt t)
18.0ms	(* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt t) y))

series659.0ms

Counts

4 → 12

Calls

4 calls:

210.0ms	(cbrt t)
194.0ms	(cbrt t)
192.0ms	(cbrt t)
62.0ms	(* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt t) y))

simplify105.0ms

Algorithm

egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 2 (95.0ms)

Iter	Nodes	Cost
0	503	876
1	3066	681
2	5001	624

prune397.0ms

Filtered

115 candidates to 85 candidates (73.9%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	111	4	115
Fresh	3	6	9
Picked	1	0	1
Done	0	0	0
Total	115	10	125

Merged error: 0.0b

Counts

125 → 10

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(- x (/ y (* z 3.0)))
0.2b	(/ t (* z 3.0))
0.2b	(/ y (* z 3.0))
4.1b	(* (/ t (* z 3.0)) (/ 1 y))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

53×	`add-exp-log`
40×	`add-sqr-sqrt`
35×	`add-cbrt-cube`
34×	`*-un-lft-identity`
31×	`add-cube-cbrt`
29×	`times-frac`
21×	`prod-diff`
18×	`div-exp` `prod-exp`
13×	`associate-r`
11×	`cbrt-undiv`
10×	`cbrt-unprod`
7×	`associate-l` `div-inv`
6×	`pow1` `associate-/l*` `add-log-exp`
4×	`expm1-log1p-u` `log1p-expm1-u`
3×	`rec-exp` `fma-neg` `1-exp` `unswap-sqr`
2×	`frac-2neg` `clear-num` `associate-/r*`
1×	`frac-times` `sub-neg` `flip3--` `diff-log` `associate-r/` `pow-prod-down` `associate-l/` `un-div-inv` `*-commutative` `flip--` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 142

Calls

4 calls:

7.0ms	(- x (/ y (* z 3.0)))
5.0ms	(/ t (* z 3.0))
5.0ms	(/ y (* z 3.0))
12.0ms	(* (/ t (* z 3.0)) (/ 1 y))

series119.0ms

Counts

4 → 12

Calls

4 calls:

41.0ms	(- x (/ y (* z 3.0)))
20.0ms	(/ t (* z 3.0))
20.0ms	(/ y (* z 3.0))
37.0ms	(* (/ t (* z 3.0)) (/ 1 y))

simplify88.0ms

Algorithm

egg-herbie

Counts

154 → 154

Iterations

Useful iterations: 2 (75.0ms)

Iter	Nodes	Cost
0	651	1062
1	2906	793
2	5002	756

prune380.0ms

Filtered

154 candidates to 91 candidates (59.1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	149	5	154
Fresh	6	3	9
Picked	1	0	1
Done	0	0	0
Total	156	8	164

Merged error: 0.0b

Counts

164 → 8

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(- x (/ y (* z 3.0)))
0.2b	(/ y (* z 3.0))
0.3b	(/ (/ t z) 3.0)
4.1b	(* (/ (/ t z) 3.0) (/ 1 y))

rewrite59.0ms

Algorithm

rewrite-expression-head

Rules

177×	`times-frac`
136×	`add-sqr-sqrt`
109×	`*-un-lft-identity`
104×	`add-cube-cbrt`
53×	`add-exp-log`
43×	`associate-l`
35×	`add-cbrt-cube`
23×	`div-exp`
21×	`prod-diff`
16×	`associate-/l*`
14×	`cbrt-undiv` `div-inv`
13×	`associate-r` `prod-exp`
9×	`unswap-sqr`
7×	`cbrt-unprod`
6×	`pow1` `add-log-exp`
4×	`expm1-log1p-u` `associate-/r*` `log1p-expm1-u`
3×	`rec-exp` `fma-neg` `1-exp`
2×	`frac-2neg` `clear-num`
1×	`frac-times` `sub-neg` `flip3--` `diff-log` `associate-r/` `pow-prod-down` `associate-l/` `un-div-inv` `*-commutative` `flip--` `associate-/l/` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 233

Calls

4 calls:

7.0ms	(- x (/ y (* z 3.0)))
5.0ms	(/ y (* z 3.0))
7.0ms	(/ (/ t z) 3.0)
23.0ms	(* (/ (/ t z) 3.0) (/ 1 y))

series116.0ms

Counts

4 → 12

Calls

4 calls:

42.0ms	(- x (/ y (* z 3.0)))
20.0ms	(/ y (* z 3.0))
21.0ms	(/ (/ t z) 3.0)
32.0ms	(* (/ (/ t z) 3.0) (/ 1 y))

simplify120.0ms

Algorithm

egg-herbie

Counts

245 → 245

Iterations

Useful iterations: 1 (34.0ms)

Iter	Nodes	Cost
0	1092	1729
1	4434	1423
2	5001	1423

prune717.0ms

Filtered

245 candidates to 177 candidates (72.2%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	242	3	245
Fresh	3	4	7
Picked	1	0	1
Done	0	0	0
Total	246	7	253

Merged error: 0.0b

Counts

253 → 7

regimes173.0ms

Accuracy

82.1% (0.3b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 1.8b

bsearch124.0ms

Steps

Iters	Range		Point
9	2.033804478772488e-16	3.525654687010972e-11	4.3721129338620636e-16
9	-21514814691.886383	-3362.874021902512	-1707856.4708140502

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	40	23
1	40	23

end0.0ms

sample711.0ms

Algorithm

intervals

Results

412.0ms

11083×

body

valid

Iter	Nodes	Cost
0	24	7
1	54	7
2	92	7
3	142	7
4	192	7
5	238	7
6	255	7
7	286	7
8	330	7
9	427	7
10	455	7
11	518	7
12	595	7
13	803	7
14	807	7
15	807	7

Iter	Nodes	Cost
0	24	7
1	54	7
2	92	7
3	142	7
4	192	7
5	238	7
6	255	7
7	286	7
8	330	7
9	427	7
10	455	7
11	518	7
12	595	7
13	803	7
14	807	7
15	807	7

Iter	Nodes	Cost
0	24	7
1	54	7
2	92	7
3	142	7
4	192	7
5	238	7
6	255	7
7	286	7
8	330	7
9	427	7
10	455	7
11	518	7
12	595	7
13	803	7
14	807	7
15	807	7