Details

analyze2.0s

Algorithm

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	99.6%	0.4%	8
0%	99.6%	0.4%	9
0%	99.6%	0.4%	10
0%	99.6%	0.4%	11
0%	99.6%	0.4%	12
0%	99.6%	0.4%	13
0%	99.6%	0.4%	14

sample38.0ms

Algorithm

intervals

Results

21.0ms	256×	body	80	valid
0.0ms	6×	body	80	invalid

simplify261.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (252.0ms)

Iter	Nodes	Cost
0	4836	49
1	4836	49

prune4.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: 26.2b

Counts

2 → 1

localize28.0ms

Local error

Found 4 expressions with local error:

0.1b	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y)
0.1b	(.f64 (+.f64 (.f64 (+.f64 y a) y) b) y)
0.1b	(.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y)
25.6b	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))

rewrite66.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt_binary64`
18×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
12×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
10×	`pow1_binary64`
9×	`associate-r_binary64` `associate-l_binary64` `times-frac_binary64`
6×	`associate-*l/_binary64`
5×	`flip3-+_binary64` `flip-+_binary64`
4×	`add-log-exp_binary64`
3×	`pow-prod-down_binary64` `associate-/r_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `associate-/l_binary64` `*-commutative_binary64`
2×	`associate-/l/_binary64` `associate-/r/_binary64`
1×	`cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64`

Counts

4 → 91

Calls

4 calls:

11.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y)
10.0ms	(.f64 (+.f64 (.f64 (+.f64 y a) y) b) y)
13.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y)
29.0ms	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))

series581.0ms

Counts

4 → 12

Calls

4 calls:

56.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y)
30.0ms	(.f64 (+.f64 (.f64 (+.f64 y a) y) b) y)
60.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y)
435.0ms	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))

simplify83.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5201	3432

prune190.0ms

Filtered

88 candidates to 103 candidates (-17.0%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	88	15	103
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	89	15	104

Merged error: 25.3b

Counts

104 → 15

localize32.0ms

Local error

Found 4 expressions with local error:

0.1b	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y)
0.1b	(.f64 y (+.f64 (.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c))
0.3b	(/.f64 1 (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c)) i))
25.7b	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (/.f64 1 (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 y a)) b)) c)) i)))

rewrite85.0ms

Algorithm

rewrite-expression-head

Rules

35×	`add-sqr-sqrt_binary64`
25×	`*-un-lft-identity_binary64`
24×	`add-cube-cbrt_binary64`
21×	`associate-r_binary64` `add-exp-log_binary64`
20×	`times-frac_binary64`
15×	`add-cbrt-cube_binary64`
11×	`pow1_binary64`
9×	`associate-l_binary64`
6×	`flip3-+_binary64` `prod-exp_binary64` `flip-+_binary64`
5×	`unswap-sqr_binary64`
4×	`add-log-exp_binary64` `cbrt-unprod_binary64` `associate-/r/_binary64` `div-exp_binary64` `associate-*l/_binary64`
3×	`pow-prod-down_binary64` `associate-/r_binary64` `associate-r/_binary64` `associate-/l_binary64` `-commutative_binary64`
2×	`1-exp_binary64` `cbrt-undiv_binary64` `rec-exp_binary64` `div-inv_binary64` `frac-times_binary64`
1×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64` `clear-num_binary64` `inv-pow_binary64` `frac-2neg_binary64` `un-div-inv_binary64` `pow-flip_binary64`

Counts

4 → 117

Calls

4 calls:

11.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y)
13.0ms	(.f64 y (+.f64 (.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c))
17.0ms	(/.f64 1 (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c)) i))
39.0ms	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (/.f64 1 (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 y a)) b)) c)) i)))

series673.0ms

Counts

4 → 12

Calls

4 calls:

54.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y)
56.0ms	(.f64 y (+.f64 (.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c))
66.0ms	(/.f64 1 (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c)) i))
497.0ms	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (/.f64 1 (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 y a)) b)) c)) i)))

simplify114.0ms

Algorithm

egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	4967	4517
1	4967	4517

prune157.0ms

Filtered

91 candidates to 129 candidates (-41.8%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	127	2	129
Fresh	2	12	14
Picked	0	1	1
Done	0	0	0
Total	129	15	144

Merged error: 25.3b

Counts

144 → 15

localize31.0ms

Local error

Found 4 expressions with local error:

16.3b	(cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184))
16.3b	(cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184))
16.3b	(cbrt.f64 (+.f64 (.f64 y (+.f64 (.f64 x y) z)) 471841060772561/17179869184))
25.6b	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184)) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184))) (.f64 y (cbrt.f64 (+.f64 (.f64 y (+.f64 (.f64 x y) z)) 471841060772561/17179869184)))) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))

rewrite83.0ms

Algorithm

rewrite-expression-head

Rules

15×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
9×	`times-frac_binary64` `cbrt-prod_binary64`
6×	`cbrt-div_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
5×	`flip3-+_binary64` `flip-+_binary64`
4×	`add-log-exp_binary64` `pow1_binary64`
3×	`associate-/r_binary64` `pow1/3_binary64` `associate-/l_binary64`
2×	`associate-/l/_binary64` `associate-/r/_binary64`
1×	`cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64`

Counts

4 → 70

Calls

4 calls:

8.0ms	(cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184))
7.0ms	(cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184))
7.0ms	(cbrt.f64 (+.f64 (.f64 y (+.f64 (.f64 x y) z)) 471841060772561/17179869184))
58.0ms	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184)) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184))) (.f64 y (cbrt.f64 (+.f64 (.f64 y (+.f64 (.f64 x y) z)) 471841060772561/17179869184)))) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))

series913.0ms

Counts

4 → 12

Calls

4 calls:

158.0ms	(cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184))
153.0ms	(cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184))
135.0ms	(cbrt.f64 (+.f64 (.f64 y (+.f64 (.f64 x y) z)) 471841060772561/17179869184))
467.0ms	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184)) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184))) (.f64 y (cbrt.f64 (+.f64 (.f64 y (+.f64 (.f64 x y) z)) 471841060772561/17179869184)))) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))

simplify117.0ms

Algorithm

egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 0 (77.0ms)

Iter	Nodes	Cost
0	4956	3305
1	4956	3305

prune164.0ms

Filtered

73 candidates to 82 candidates (-12.3%)

Pruning

15 alts after pruning (13 fresh and 2 done)

	Pruned	Kept	Total
New	82	0	82
Fresh	0	13	13
Picked	0	1	1
Done	0	1	1
Total	82	15	97

Merged error: 25.3b

Counts

97 → 15

localize37.0ms

Local error

Found 4 expressions with local error:

21.8b	(cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c))
21.8b	(cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c))
21.8b	(cbrt.f64 (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 y a)) b)) c))
25.6b	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c)) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c))) (.f64 y (cbrt.f64 (+.f64 (.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c)))) i))

rewrite100.0ms

Algorithm

rewrite-expression-head

Rules

15×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
9×	`times-frac_binary64` `cbrt-prod_binary64`
6×	`cbrt-div_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
5×	`flip3-+_binary64` `flip-+_binary64`
4×	`add-log-exp_binary64` `pow1_binary64`
3×	`associate-/r_binary64` `pow1/3_binary64` `associate-/l_binary64`
2×	`associate-/l/_binary64` `associate-/r/_binary64`
1×	`cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64`

Counts

4 → 70

Calls

4 calls:

11.0ms	(cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c))
10.0ms	(cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c))
18.0ms	(cbrt.f64 (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 y a)) b)) c))
59.0ms	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c)) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c))) (.f64 y (cbrt.f64 (+.f64 (.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c)))) i))

series857.0ms

Counts

4 → 12

Calls

4 calls:

126.0ms	(cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c))
129.0ms	(cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c))
131.0ms	(cbrt.f64 (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 y a)) b)) c))
471.0ms	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c)) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c))) (.f64 y (cbrt.f64 (+.f64 (.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c)))) i))

simplify82.0ms

Algorithm

egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4986	3374
1	4986	3374

prune120.0ms

Filtered

71 candidates to 82 candidates (-15.5%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	81	1	82
Fresh	1	11	12
Picked	1	0	1
Done	0	2	2
Total	83	14	97

Merged error: 25.3b

Counts

97 → 14

regimes311.0ms

Accuracy

0% (1.1b remaining)

Error of 29.0b against oracle of 27.8b and baseline of 29.0b

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	47	52
1	47	52

end0.0ms

sample1.1s

Algorithm

intervals

Results

706.0ms	8000×	body	80	valid
19.0ms	229×	body	80	invalid

Details

analyze2.0s

sample38.0ms

simplify261.0ms

prune4.0ms

localize28.0ms

rewrite66.0ms

series581.0ms

simplify83.0ms

prune190.0ms

localize32.0ms

rewrite85.0ms

series673.0ms

simplify114.0ms

prune157.0ms

localize31.0ms

rewrite83.0ms

series913.0ms

simplify117.0ms

prune164.0ms

localize37.0ms

rewrite100.0ms

series857.0ms

simplify82.0ms

prune120.0ms

regimes311.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample1.1s

Profiling