Details

analyze371.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
26.5%	73.3%	0.1%	8
33.5%	66.3%	0.1%	9
49.1%	50.7%	0.1%	10
56.9%	42.9%	0.1%	11
60.8%	39%	0.1%	12
69%	30.9%	0.1%	13
72.5%	27.3%	0.1%	14

sample30.0ms

Algorithm

intervals

Results

9.0ms	80×	body	1024	valid
5.0ms	36×	body	2048	valid
4.0ms	42×	body	512	valid
3.0ms	83×	body	128	valid
1.0ms	15×	body	256	valid

simplify28.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (21.0ms)

Iter	Nodes	Cost
0	504	17
1	504	17

prune3.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 43.5b

Counts

2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(+.f64 1 (+.f64 (*.f64 x y) z))
0.0b	(+.f64 (*.f64 x y) z)
10.8b	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-log-exp_binary64`
10×	`*-un-lft-identity_binary64`
7×	`sum-log_binary64`
5×	`add-sqr-sqrt_binary64`
3×	`pow1_binary64` `diff-log_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
2×	`flip3-+_binary64` `distribute-lft-out_binary64` `distribute-lft-out--_binary64` `+-commutative_binary64` `flip-+_binary64`
1×	`sub-neg_binary64` `associate--r+_binary64` `flip3--_binary64` `difference-of-squares_binary64` `flip--_binary64` `associate-+r+_binary64`

Counts

3 → 42

Calls

3 calls:

6.0ms	(+.f64 1 (+.f64 (*.f64 x y) z))
4.0ms	(+.f64 (*.f64 x y) z)
9.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))

series169.0ms

Counts

3 → 9

Calls

3 calls:

42.0ms	(+.f64 1 (+.f64 (*.f64 x y) z))
40.0ms	(+.f64 (*.f64 x y) z)
88.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))

simplify58.0ms

Algorithm

egg-herbie

Counts

51 → 51

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4927	870
1	4927	870

prune43.0ms

Filtered

35 candidates to 51 candidates (-45.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	45	6	51
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	45	7	52

Merged error: 43.0b

Counts

52 → 7

localize13.0ms

Local error

Found 4 expressions with local error:

8.1b	(cbrt.f64 (+.f64 z (*.f64 x y)))
8.1b	(cbrt.f64 (+.f64 z (*.f64 x y)))
8.1b	(cbrt.f64 (+.f64 z (*.f64 x y)))
30.2b	(-.f64 (fma.f64 x y z) (+.f64 1 (.f64 (.f64 (cbrt.f64 (+.f64 z (.f64 x y))) (cbrt.f64 (+.f64 z (.f64 x y)))) (cbrt.f64 (+.f64 z (*.f64 x y))))))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

9×	`*-un-lft-identity_binary64` `add-log-exp_binary64` `add-sqr-sqrt_binary64` `cbrt-prod_binary64`
7×	`add-cube-cbrt_binary64`
6×	`cbrt-div_binary64`
4×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
3×	`flip3-+_binary64` `pow1/3_binary64` `flip-+_binary64`
2×	`diff-log_binary64`
1×	`sub-neg_binary64` `associate--r+_binary64` `flip3--_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `flip--_binary64` `sum-log_binary64`

Counts

4 → 54

Calls

4 calls:

3.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
3.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
3.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
6.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (.f64 (.f64 (cbrt.f64 (+.f64 z (.f64 x y))) (cbrt.f64 (+.f64 z (.f64 x y)))) (cbrt.f64 (+.f64 z (*.f64 x y))))))

series655.0ms

Counts

4 → 12

Calls

4 calls:

193.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
188.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
184.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
89.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (.f64 (.f64 (cbrt.f64 (+.f64 z (.f64 x y))) (cbrt.f64 (+.f64 z (.f64 x y)))) (cbrt.f64 (+.f64 z (*.f64 x y))))))

simplify64.0ms

Algorithm

egg-herbie

Counts

66 → 66

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4930	1217
1	4930	1217

prune93.0ms

Filtered

59 candidates to 66 candidates (-11.9%)

Pruning

17 alts after pruning (15 fresh and 2 done)

	Pruned	Kept	Total
New	56	10	66
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	56	17	73

Merged error: 42.8b

Counts

73 → 17

localize18.0ms

Local error

Found 4 expressions with local error:

8.1b	(cbrt.f64 (+.f64 z (*.f64 x y)))
8.1b	(cbrt.f64 (+.f64 z (*.f64 x y)))
8.1b	(cbrt.f64 (+.f64 z (*.f64 x y)))
32.6b	(-.f64 (fma.f64 x y z) (+.f64 1 (.f64 (.f64 (cbrt.f64 (+.f64 z (.f64 x y))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (+.f64 z (.f64 x y)))) (cbrt.f64 (cbrt.f64 (+.f64 z (.f64 x y))))) (cbrt.f64 (cbrt.f64 (+.f64 z (.f64 x y)))))) (cbrt.f64 (+.f64 z (*.f64 x y))))))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

9×	`*-un-lft-identity_binary64` `add-log-exp_binary64` `add-sqr-sqrt_binary64` `cbrt-prod_binary64`
7×	`add-cube-cbrt_binary64`
6×	`cbrt-div_binary64`
4×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
3×	`flip3-+_binary64` `pow1/3_binary64` `flip-+_binary64`
2×	`diff-log_binary64`
1×	`sub-neg_binary64` `associate--r+_binary64` `flip3--_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `flip--_binary64` `sum-log_binary64`

Counts

4 → 54

Calls

4 calls:

3.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
3.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
3.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
7.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (.f64 (.f64 (cbrt.f64 (+.f64 z (.f64 x y))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (+.f64 z (.f64 x y)))) (cbrt.f64 (cbrt.f64 (+.f64 z (.f64 x y))))) (cbrt.f64 (cbrt.f64 (+.f64 z (.f64 x y)))))) (cbrt.f64 (+.f64 z (*.f64 x y))))))

series658.0ms

Counts

4 → 12

Calls

4 calls:

180.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
184.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
191.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
103.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (.f64 (.f64 (cbrt.f64 (+.f64 z (.f64 x y))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (+.f64 z (.f64 x y)))) (cbrt.f64 (cbrt.f64 (+.f64 z (.f64 x y))))) (cbrt.f64 (cbrt.f64 (+.f64 z (.f64 x y)))))) (cbrt.f64 (+.f64 z (*.f64 x y))))))

simplify47.0ms

Algorithm

egg-herbie

Counts

66 → 66

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5098	1199

prune121.0ms

Filtered

59 candidates to 66 candidates (-11.9%)

Pruning

23 alts after pruning (21 fresh and 2 done)

	Pruned	Kept	Total
New	57	9	66
Fresh	2	12	14
Picked	1	0	1
Done	0	2	2
Total	60	23	83

Merged error: 42.8b

Counts

83 → 23

localize21.0ms

Local error

Found 4 expressions with local error:

8.1b	(cbrt.f64 (+.f64 z (*.f64 x y)))
8.1b	(cbrt.f64 (+.f64 z (*.f64 x y)))
8.1b	(cbrt.f64 (+.f64 z (*.f64 x y)))
33.3b	(-.f64 (fma.f64 x y z) (+.f64 1 (.f64 (.f64 (cbrt.f64 (+.f64 z (.f64 x y))) (cbrt.f64 (+.f64 z (.f64 x y)))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (+.f64 z (.f64 x y)))) (cbrt.f64 (cbrt.f64 (+.f64 z (.f64 x y))))) (cbrt.f64 (cbrt.f64 (+.f64 z (*.f64 x y))))))))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

9×	`*-un-lft-identity_binary64` `add-log-exp_binary64` `add-sqr-sqrt_binary64` `cbrt-prod_binary64`
7×	`add-cube-cbrt_binary64`
6×	`cbrt-div_binary64`
4×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
3×	`flip3-+_binary64` `pow1/3_binary64` `flip-+_binary64`
2×	`diff-log_binary64`
1×	`sub-neg_binary64` `associate--r+_binary64` `flip3--_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `flip--_binary64` `sum-log_binary64`

Counts

4 → 54

Calls

4 calls:

3.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
3.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
3.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
7.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (.f64 (.f64 (cbrt.f64 (+.f64 z (.f64 x y))) (cbrt.f64 (+.f64 z (.f64 x y)))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (+.f64 z (.f64 x y)))) (cbrt.f64 (cbrt.f64 (+.f64 z (.f64 x y))))) (cbrt.f64 (cbrt.f64 (+.f64 z (*.f64 x y))))))))

series651.0ms

Counts

4 → 12

Calls

4 calls:

189.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
177.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
183.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
102.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (.f64 (.f64 (cbrt.f64 (+.f64 z (.f64 x y))) (cbrt.f64 (+.f64 z (.f64 x y)))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (+.f64 z (.f64 x y)))) (cbrt.f64 (cbrt.f64 (+.f64 z (.f64 x y))))) (cbrt.f64 (cbrt.f64 (+.f64 z (*.f64 x y))))))))

simplify50.0ms

Algorithm

egg-herbie

Counts

66 → 66

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5327	1199

prune78.0ms

Filtered

59 candidates to 66 candidates (-11.9%)

Pruning

23 alts after pruning (20 fresh and 3 done)

	Pruned	Kept	Total
New	66	0	66
Fresh	0	20	20
Picked	0	1	1
Done	0	2	2
Total	66	23	89

Merged error: 42.8b

Counts

89 → 23

regimes222.0ms

Accuracy

0% (0.7b remaining)

Error of 44.7b against oracle of 44.0b and baseline of 44.7b

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	95	17
1	95	17

end0.0ms

sample901.0ms

Algorithm

intervals

Results

332.0ms	2725×	body	1024	valid
170.0ms	1140×	body	2048	valid
113.0ms	1223×	body	512	valid
77.0ms	2365×	body	128	valid
35.0ms	547×	body	256	valid

Details

analyze371.0ms

sample30.0ms

simplify28.0ms

prune3.0ms

localize8.0ms

rewrite23.0ms

series169.0ms

simplify58.0ms

prune43.0ms

localize13.0ms

rewrite21.0ms

series655.0ms

simplify64.0ms

prune93.0ms

localize18.0ms

rewrite24.0ms

series658.0ms

simplify47.0ms

prune121.0ms

localize21.0ms

rewrite25.0ms

series651.0ms

simplify50.0ms

prune78.0ms

regimes222.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample901.0ms

Profiling