Details

analyze658.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
12.5%	87.3%	0.2%	8
18.7%	81.1%	0.2%	9
22.6%	77.2%	0.2%	10
25%	74.9%	0.2%	11
39.4%	60.4%	0.2%	12
46.5%	53.2%	0.3%	13
48%	51.4%	0.6%	14

sample20.0ms

Algorithm

intervals

Results

9.0ms	256×	body	80	valid
0.0ms	9×	body	80	invalid

simplify75.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	1218	9
1	1218	9

prune11.0ms

Filtered

1 candidates to 1 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: 4.1b

Counts

2 → 2

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(/.f64 2.0 (-.f64 y t))
0.2b	(/.f64 (/.f64 2.0 (-.f64 y t)) z)
4.2b	(*.f64 x (/.f64 (/.f64 2.0 (-.f64 y t)) z))

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

249×	`times-frac_binary64`
180×	`add-sqr-sqrt_binary64`
171×	`*-un-lft-identity_binary64`
121×	`add-cube-cbrt_binary64`
67×	`associate-r_binary64`
25×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`
24×	`associate-/l*_binary64`
19×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
16×	`associate-/r/_binary64`
10×	`div-inv_binary64`
8×	`associate-/r*_binary64` `flip3--_binary64` `flip--_binary64`
7×	`cbrt-undiv_binary64` `div-exp_binary64`
5×	`pow1_binary64`
3×	`add-log-exp_binary64` `cbrt-unprod_binary64` `associate-l_binary64` `unswap-sqr_binary64` `prod-exp_binary64`
2×	`clear-num_binary64` `frac-2neg_binary64`
1×	`pow-prod-down_binary64` `associate-/l/_binary64` `associate-r/_binary64` `-commutative_binary64`

Counts

3 → 228

Calls

3 calls:

6.0ms	(/.f64 2.0 (-.f64 y t))
14.0ms	(/.f64 (/.f64 2.0 (-.f64 y t)) z)
21.0ms	(*.f64 x (/.f64 (/.f64 2.0 (-.f64 y t)) z))

series40.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(/.f64 2.0 (-.f64 y t))
14.0ms	(/.f64 (/.f64 2.0 (-.f64 y t)) z)
19.0ms	(*.f64 x (/.f64 (/.f64 2.0 (-.f64 y t)) z))

simplify57.0ms

Algorithm

egg-herbie

Counts

237 → 237

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5059	2846

prune247.0ms

Filtered

177 candidates to 237 candidates (-33.9%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	228	9	237
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	228	11	239

Merged error: 0.0b

Counts

239 → 11

localize13.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 z)
0.6b	(cbrt.f64 z)
0.6b	(cbrt.f64 z)
3.0b	(.f64 (/.f64 x (.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 2.0 (-.f64 y t)) (cbrt.f64 z)))

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

236×	`times-frac_binary64`
174×	`add-sqr-sqrt_binary64`
142×	`*-un-lft-identity_binary64`
130×	`associate-r_binary64`
106×	`add-cube-cbrt_binary64`
76×	`cbrt-prod_binary64`
40×	`add-exp-log_binary64`
28×	`add-cbrt-cube_binary64`
18×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`
15×	`cbrt-undiv_binary64` `div-exp_binary64`
12×	`cbrt-unprod_binary64` `associate-/r/_binary64` `prod-exp_binary64`
10×	`unswap-sqr_binary64`
8×	`div-inv_binary64`
7×	`associate-l_binary64`
6×	`pow1_binary64` `flip3--_binary64` `flip--_binary64`
4×	`add-log-exp_binary64`
3×	`pow1/3_binary64`
1×	`pow-prod-down_binary64` `associate-r/_binary64` `frac-times_binary64` `associate-l/_binary64` `*-commutative_binary64`

Counts

4 → 210

Calls

4 calls:

1.0ms	(cbrt.f64 z)
1.0ms	(cbrt.f64 z)
1.0ms	(cbrt.f64 z)
43.0ms	(.f64 (/.f64 x (.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 2.0 (-.f64 y t)) (cbrt.f64 z)))

series74.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(cbrt.f64 z)
18.0ms	(cbrt.f64 z)
18.0ms	(cbrt.f64 z)
21.0ms	(.f64 (/.f64 x (.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 2.0 (-.f64 y t)) (cbrt.f64 z)))

simplify43.0ms

Algorithm

egg-herbie

Counts

222 → 222

Iterations

Useful iterations: 0 (19.0ms)

Iter	Nodes	Cost
0	5037	3151

prune234.0ms

Filtered

177 candidates to 222 candidates (-25.4%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	221	1	222
Fresh	3	6	9
Picked	0	1	1
Done	0	1	1
Total	224	9	233

Merged error: 0.0b

Counts

233 → 9

localize8.0ms

Local error

Found 4 expressions with local error:

0.2b	(/.f64 (/.f64 (sqrt.f64 2.0) (-.f64 y t)) z)
0.4b	(*.f64 x (sqrt.f64 2.0))
0.5b	(/.f64 (sqrt.f64 2.0) (-.f64 y t))
4.3b	(.f64 (.f64 x (sqrt.f64 2.0)) (/.f64 (/.f64 (sqrt.f64 2.0) (-.f64 y t)) z))

rewrite79.0ms

Algorithm

rewrite-expression-head

Rules

456×	`times-frac_binary64`
321×	`add-sqr-sqrt_binary64`
317×	`*-un-lft-identity_binary64`
219×	`add-cube-cbrt_binary64`
127×	`sqrt-prod_binary64`
118×	`associate-r_binary64`
49×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`
42×	`associate-/l*_binary64`
34×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
16×	`associate-/r/_binary64`
11×	`pow1_binary64`
10×	`cbrt-unprod_binary64` `cbrt-undiv_binary64` `prod-exp_binary64` `div-inv_binary64` `div-exp_binary64`
8×	`associate-/r*_binary64` `flip3--_binary64` `flip--_binary64`
4×	`pow-prod-down_binary64` `add-log-exp_binary64` `associate-l_binary64`
2×	`unswap-sqr_binary64` `clear-num_binary64` `frac-2neg_binary64` `*-commutative_binary64`
1×	`associate-/l/_binary64` `associate-*r/_binary64`

Counts

4 → 375

Calls

4 calls:

12.0ms	(/.f64 (/.f64 (sqrt.f64 2.0) (-.f64 y t)) z)
5.0ms	(*.f64 x (sqrt.f64 2.0))
7.0ms	(/.f64 (sqrt.f64 2.0) (-.f64 y t))
31.0ms	(.f64 (.f64 x (sqrt.f64 2.0)) (/.f64 (/.f64 (sqrt.f64 2.0) (-.f64 y t)) z))

series73.0ms

Counts

4 → 12

Calls

4 calls:

18.0ms	(/.f64 (/.f64 (sqrt.f64 2.0) (-.f64 y t)) z)
5.0ms	(*.f64 x (sqrt.f64 2.0))
9.0ms	(/.f64 (sqrt.f64 2.0) (-.f64 y t))
40.0ms	(.f64 (.f64 x (sqrt.f64 2.0)) (/.f64 (/.f64 (sqrt.f64 2.0) (-.f64 y t)) z))

simplify68.0ms

Algorithm

egg-herbie

Counts

387 → 387

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5036	5270

prune346.0ms

Filtered

226 candidates to 387 candidates (-71.2%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	385	2	387
Fresh	3	3	6
Picked	0	1	1
Done	1	1	2
Total	389	7	396

Merged error: 0.0b

Counts

396 → 7

localize11.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (/.f64 2.0 (-.f64 y t)))
0.6b	(cbrt.f64 (/.f64 2.0 (-.f64 y t)))
0.6b	(cbrt.f64 (/.f64 2.0 (-.f64 y t)))
3.9b	(.f64 (.f64 x (*.f64 (cbrt.f64 (/.f64 2.0 (-.f64 y t))) (cbrt.f64 (/.f64 2.0 (-.f64 y t))))) (/.f64 (cbrt.f64 (/.f64 2.0 (-.f64 y t))) z))

rewrite66.0ms

Algorithm

rewrite-expression-head

Rules

162×	`times-frac_binary64`
126×	`cbrt-prod_binary64`
122×	`*-un-lft-identity_binary64` `add-sqr-sqrt_binary64`
86×	`add-cube-cbrt_binary64`
76×	`associate-r_binary64`
25×	`add-exp-log_binary64`
18×	`add-cbrt-cube_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64`
13×	`pow1_binary64`
12×	`cbrt-unprod_binary64` `associate-/r/_binary64` `prod-exp_binary64`
11×	`cbrt-div_binary64`
9×	`associate-*r/_binary64`
7×	`div-inv_binary64`
6×	`pow-prod-down_binary64` `flip3--_binary64` `flip--_binary64`
5×	`frac-times_binary64` `associate-*l/_binary64`
4×	`add-log-exp_binary64`
3×	`cbrt-undiv_binary64` `pow1/3_binary64` `div-exp_binary64`
1×	`associate-l_binary64` `*-commutative_binary64`

Counts

4 → 197

Calls

4 calls:

5.0ms	(cbrt.f64 (/.f64 2.0 (-.f64 y t)))
6.0ms	(cbrt.f64 (/.f64 2.0 (-.f64 y t)))
5.0ms	(cbrt.f64 (/.f64 2.0 (-.f64 y t)))
38.0ms	(.f64 (.f64 x (*.f64 (cbrt.f64 (/.f64 2.0 (-.f64 y t))) (cbrt.f64 (/.f64 2.0 (-.f64 y t))))) (/.f64 (cbrt.f64 (/.f64 2.0 (-.f64 y t))) z))

series156.0ms

Counts

4 → 12

Calls

4 calls:

40.0ms	(cbrt.f64 (/.f64 2.0 (-.f64 y t)))
40.0ms	(cbrt.f64 (/.f64 2.0 (-.f64 y t)))
47.0ms	(cbrt.f64 (/.f64 2.0 (-.f64 y t)))
29.0ms	(.f64 (.f64 x (*.f64 (cbrt.f64 (/.f64 2.0 (-.f64 y t))) (cbrt.f64 (/.f64 2.0 (-.f64 y t))))) (/.f64 (cbrt.f64 (/.f64 2.0 (-.f64 y t))) z))

simplify119.0ms

Algorithm

egg-herbie

Counts

209 → 209

Iterations

Useful iterations: 0 (93.0ms)

Iter	Nodes	Cost
0	4891	3649
1	4891	3649

prune238.0ms

Filtered

157 candidates to 209 candidates (-33.1%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	208	1	209
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	208	8	216

Merged error: 0b

Counts

216 → 8

regimes820.0ms

Accuracy

78.1% (1.2b remaining)

Error of 1.2b against oracle of 0.0b and baseline of 5.3b

bsearch1.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	56	49
1	56	49

end0.0ms

sample545.0ms

Algorithm

intervals

Results

301.0ms	8000×	body	80	valid
23.0ms	642×	body	80	invalid

Details

analyze658.0ms

sample20.0ms

simplify75.0ms

prune11.0ms

localize7.0ms

rewrite53.0ms

series40.0ms

simplify57.0ms

prune247.0ms

localize13.0ms

rewrite65.0ms

series74.0ms

simplify43.0ms

prune234.0ms

localize8.0ms

rewrite79.0ms

series73.0ms

simplify68.0ms

prune346.0ms

localize11.0ms

rewrite66.0ms

series156.0ms

simplify119.0ms

prune238.0ms

regimes820.0ms

bsearch1.0ms

simplify3.0ms

end0.0ms

sample545.0ms

Profiling