Details

sample38.0ms

Algorithm

intervals

Results

17.0ms

368×

body

valid

simplify60.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	15	4
1	26	4
2	46	4
3	85	4
4	127	4
5	148	4
6	165	4
7	215	4
8	303	4
9	389	4
10	602	4
11	712	4
12	791	4
13	791	4

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: 5.0b

Counts

2 → 1

localize11.0ms

Local error

Found 3 expressions with local error:

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

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 61

Calls

3 calls:

11.0ms	(+ x (/ (* y (- z t)) a))
10.0ms	(* y (- z t))
12.0ms	(/ (* y (- z t)) a)

series139.0ms

Counts

3 → 9

Calls

3 calls:

46.0ms	(+ x (/ (* y (- z t)) a))
39.0ms	(* y (- z t))
54.0ms	(/ (* y (- z t)) a)

simplify37.0ms

Algorithm

egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 1 (8.0ms)

Iter	Nodes	Cost
0	297	325
1	1236	280
2	5001	280

prune127.0ms

Filtered

70 candidates to 45 candidates (64.3%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	62	8	70
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	63	8	71

Merged error: 0.0b

Counts

71 → 8

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt a)
0.5b	(cbrt a)
0.5b	(* (cbrt a) (cbrt a))
4.3b	(* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

69×	`add-sqr-sqrt`
45×	`*-un-lft-identity`
40×	`times-frac` `associate-r`
39×	`cbrt-prod`
33×	`add-cube-cbrt`
27×	`add-exp-log`
18×	`add-cbrt-cube`
13×	`pow1` `associate-l`
10×	`unswap-sqr`
9×	`prod-exp` `cbrt-unprod`
8×	`pow1/3`
7×	`cbrt-undiv` `div-exp`
6×	`swap-sqr` `distribute-lft-out--` `difference-of-squares`
4×	`add-log-exp`
3×	`pow-prod-down`
2×	`pow-sqr` `*-commutative` `pow-prod-up` `div-inv`
1×	`pow2` `frac-times` `pow-plus` `associate-r/` `associate-l/`

Counts

4 → 133

Calls

4 calls:

1.0ms	(cbrt a)
1.0ms	(cbrt a)
5.0ms	(* (cbrt a) (cbrt a))
19.0ms	(* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)))

series675.0ms

Counts

4 → 12

Calls

4 calls:

176.0ms	(cbrt a)
205.0ms	(cbrt a)
201.0ms	(* (cbrt a) (cbrt a))
92.0ms	(* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)))

simplify92.0ms

Algorithm

egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 2 (76.0ms)

Iter	Nodes	Cost
0	543	1050
1	3249	848
2	5001	793

prune330.0ms

Filtered

145 candidates to 101 candidates (69.7%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	142	3	145
Fresh	1	6	7
Picked	0	1	1
Done	0	0	0
Total	143	10	153

Merged error: 0b

Counts

153 → 10

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite67.0ms

Algorithm

rewrite-expression-head

Rules

115×	`add-sqr-sqrt`
94×	`times-frac`
85×	`add-exp-log`
77×	`cbrt-prod`
63×	`*-un-lft-identity`
51×	`add-cube-cbrt`
50×	`associate-l`
41×	`add-cbrt-cube`
36×	`prod-exp` `cbrt-unprod`
35×	`associate-r`
26×	`cbrt-undiv` `div-exp`
15×	`unswap-sqr`
11×	`pow1`
6×	`frac-times` `associate-*r/` `distribute-lft-out--` `difference-of-squares`
4×	`pow-prod-down` `associate-*l/` `add-log-exp`
3×	`div-inv`
2×	`pow1/3` `*-commutative`

Counts

4 → 189

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
20.0ms	(* (/ (* (cbrt y) (cbrt y)) (cbrt a)) (* (/ (cbrt y) (cbrt a)) (/ (- z t) (cbrt a))))
35.0ms	(* (/ (cbrt y) (cbrt a)) (/ (- z t) (cbrt a)))

series666.0ms

Counts

4 → 12

Calls

4 calls:

180.0ms	(cbrt y)
187.0ms	(cbrt y)
52.0ms	(* (/ (* (cbrt y) (cbrt y)) (cbrt a)) (* (/ (cbrt y) (cbrt a)) (/ (- z t) (cbrt a))))
247.0ms	(* (/ (cbrt y) (cbrt a)) (/ (- z t) (cbrt a)))

simplify103.0ms

Algorithm

egg-herbie

Counts

201 → 201

Iterations

Useful iterations: 2 (85.0ms)

Iter	Nodes	Cost
0	892	2272
1	4033	1912
2	5001	1780

prune532.0ms

Filtered

201 candidates to 138 candidates (68.7%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	201	0	201
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	201	10	211

Merged error: 0b

Counts

211 → 10

localize18.0ms

Local error

Found 4 expressions with local error:

4.3b	(* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)))
6.1b	(cbrt (* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a))))
6.1b	(cbrt (* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a))))
6.1b	(cbrt (* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a))))

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

51×	`add-sqr-sqrt`
40×	`times-frac`
35×	`*-un-lft-identity`
34×	`associate-r`
25×	`add-exp-log`
23×	`add-cube-cbrt`
20×	`cbrt-prod`
18×	`add-cbrt-cube`
9×	`cbrt-div`
8×	`prod-exp` `cbrt-unprod`
7×	`cbrt-undiv` `div-exp` `associate-l`
6×	`pow1` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`
4×	`frac-times` `associate-r/` `associate-l/` `add-log-exp`
3×	`pow1/3`
2×	`div-inv`
1×	`pow-prod-down` `*-commutative`

Counts

4 → 107

Calls

4 calls:

19.0ms	(* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)))
12.0ms	(cbrt (* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a))))
11.0ms	(cbrt (* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a))))
11.0ms	(cbrt (* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a))))

series473.0ms

Counts

4 → 12

Calls

4 calls:

95.0ms	(* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)))
126.0ms	(cbrt (* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a))))
125.0ms	(cbrt (* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a))))
127.0ms	(cbrt (* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a))))

simplify73.0ms

Algorithm

egg-herbie

Counts

119 → 119

Iterations

Useful iterations: 2 (55.0ms)

Iter	Nodes	Cost
0	537	1302
1	2650	1148
2	5002	1089

prune402.0ms

Filtered

119 candidates to 97 candidates (81.5%)

Pruning

10 alts after pruning (7 fresh and 3 done)

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

Merged error: 0b

Counts

129 → 10

regimes419.0ms

Accuracy

73.7% (0.6b remaining)

Error of 0.6b against oracle of 0.0b and baseline of 2.3b

bsearch2.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	13
1	29	13

end0.0ms

sample656.0ms

Algorithm

intervals

Results

345.0ms

10673×

body

valid

Iter	Nodes	Cost
0	15	4
1	26	4
2	46	4
3	85	4
4	127	4
5	148	4
6	165	4
7	215	4
8	303	4
9	389	4
10	602	4
11	712	4
12	791	4
13	791	4

Iter	Nodes	Cost
0	15	4
1	26	4
2	46	4
3	85	4
4	127	4
5	148	4
6	165	4
7	215	4
8	303	4
9	389	4
10	602	4
11	712	4
12	791	4
13	791	4

Details

sample38.0ms

simplify60.0ms

prune3.0ms

localize11.0ms

rewrite35.0ms

series139.0ms

simplify37.0ms

prune127.0ms

localize14.0ms

rewrite32.0ms

series675.0ms

simplify92.0ms

prune330.0ms

localize14.0ms

rewrite67.0ms

series666.0ms

simplify103.0ms

prune532.0ms

localize18.0ms

rewrite61.0ms

series473.0ms

simplify73.0ms

prune402.0ms

regimes419.0ms

bsearch2.0ms

simplify1.0ms

end0.0ms

sample656.0ms

Profiling

Iter	Nodes	Cost
0	15	4
1	26	4
2	46	4
3	85	4
4	127	4
5	148	4
6	165	4
7	215	4
8	303	4
9	389	4
10	602	4
11	712	4
12	791	4
13	791	4