Details

analyze930.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
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
4.7%	95.1%	0.2%	10
12.7%	87.1%	0.2%	11
15.9%	83.9%	0.2%	12
18.4%	81.3%	0.2%	13
29.5%	70.3%	0.2%	14

sample22.0ms

Algorithm

intervals

Results

9.0ms	256×	body	80	valid
1.0ms	21×	body	80	invalid

simplify146.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (143.0ms)

Iter	Nodes	Cost
0	4786	11
1	4786	11

prune3.0ms

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

Counts

2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(*.f64 (-.f64 y z) t)
11.0b	(/.f64 (*.f64 (-.f64 y z) t) (-.f64 a z))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 51

Calls

2 calls:

7.0ms	(*.f64 (-.f64 y z) t)
10.0ms	(/.f64 (*.f64 (-.f64 y z) t) (-.f64 a z))

series28.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(*.f64 (-.f64 y z) t)
20.0ms	(/.f64 (*.f64 (-.f64 y z) t) (-.f64 a z))

simplify38.0ms

Algorithm

egg-herbie

Counts

57 → 57

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5860	469

prune51.0ms

Filtered

40 candidates to 57 candidates (-42.5%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	50	7	57
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	51	7	58

Merged error: 0.0b

Counts

58 → 7

localize12.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (-.f64 a z))
0.6b	(cbrt.f64 (-.f64 a z))
0.6b	(cbrt.f64 (-.f64 a z))
3.8b	(.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (/.f64 t (cbrt.f64 (-.f64 a z))))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

54×	`add-sqr-sqrt_binary64`
38×	`*-un-lft-identity_binary64`
36×	`times-frac_binary64`
32×	`cbrt-prod_binary64`
30×	`associate-r_binary64`
25×	`add-exp-log_binary64`
24×	`add-cube-cbrt_binary64`
20×	`cbrt-div_binary64`
18×	`add-cbrt-cube_binary64`
17×	`associate-l_binary64`
10×	`flip3--_binary64` `associate-/r/_binary64` `flip--_binary64`
8×	`cbrt-unprod_binary64` `prod-exp_binary64`
7×	`cbrt-undiv_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `div-exp_binary64`
6×	`pow1_binary64` `unswap-sqr_binary64`
5×	`frac-times_binary64`
4×	`add-log-exp_binary64`
3×	`associate-r/_binary64` `pow1/3_binary64` `associate-l/_binary64`
2×	`div-inv_binary64`
1×	`pow-prod-down_binary64` `*-commutative_binary64`

Counts

4 → 122

Calls

4 calls:

3.0ms	(cbrt.f64 (-.f64 a z))
3.0ms	(cbrt.f64 (-.f64 a z))
3.0ms	(cbrt.f64 (-.f64 a z))
29.0ms	(.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (/.f64 t (cbrt.f64 (-.f64 a z))))

series160.0ms

Counts

4 → 12

Calls

4 calls:

44.0ms	(cbrt.f64 (-.f64 a z))
41.0ms	(cbrt.f64 (-.f64 a z))
42.0ms	(cbrt.f64 (-.f64 a z))
33.0ms	(.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (/.f64 t (cbrt.f64 (-.f64 a z))))

simplify75.0ms

Algorithm

egg-herbie

Counts

134 → 134

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5572	1901

prune126.0ms

Filtered

108 candidates to 134 candidates (-24.1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	133	1	134
Fresh	1	5	6
Picked	0	1	1
Done	0	0	0
Total	134	7	141

Merged error: 0b

Counts

141 → 7

localize16.0ms

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (-.f64 y z) (-.f64 a z))
2.0b	(*.f64 (/.f64 (-.f64 y z) (-.f64 a z)) t)

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

75×	`add-sqr-sqrt_binary64`
70×	`*-un-lft-identity_binary64`
51×	`times-frac_binary64`
31×	`associate-l_binary64`
26×	`add-cube-cbrt_binary64`
22×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`
9×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
5×	`associate-/r_binary64` `associate-/l_binary64`
4×	`pow1_binary64` `associate-/r/_binary64`
3×	`flip3--_binary64` `associate-r_binary64` `flip--_binary64`
2×	`associate-/l/_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `cbrt-undiv_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `div-inv_binary64` `div-exp_binary64`
1×	`pow-prod-down_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-l/_binary64` `-commutative_binary64`

Counts

2 → 102

Calls

2 calls:

14.0ms	(/.f64 (-.f64 y z) (-.f64 a z))
25.0ms	(*.f64 (/.f64 (-.f64 y z) (-.f64 a z)) t)

series41.0ms

Counts

2 → 6

Calls

2 calls:

10.0ms	(/.f64 (-.f64 y z) (-.f64 a z))
31.0ms	(*.f64 (/.f64 (-.f64 y z) (-.f64 a z)) t)

simplify49.0ms

Algorithm

egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5649	1183

prune60.0ms

Filtered

72 candidates to 108 candidates (-50.0%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	107	1	108
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	108	7	115

Merged error: 0b

Counts

115 → 7

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b	(/.f64 1 (-.f64 a z))
0.2b	(*.f64 (-.f64 y z) (/.f64 1 (-.f64 a z)))
2.0b	(.f64 (.f64 (-.f64 y z) (/.f64 1 (-.f64 a z))) t)

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

47×	`add-sqr-sqrt_binary64`
41×	`*-un-lft-identity_binary64`
32×	`times-frac_binary64`
31×	`add-exp-log_binary64`
24×	`associate-r_binary64` `add-cube-cbrt_binary64`
19×	`add-cbrt-cube_binary64`
13×	`prod-exp_binary64`
11×	`pow1_binary64`
10×	`associate-*l/_binary64`
8×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`
7×	`cbrt-unprod_binary64`
6×	`flip3--_binary64` `associate-l_binary64` `div-exp_binary64` `flip--_binary64`
5×	`associate-/r*_binary64`
4×	`pow-prod-down_binary64` `associate-/r/_binary64` `frac-times_binary64`
3×	`add-log-exp_binary64` `1-exp_binary64` `cbrt-undiv_binary64` `unswap-sqr_binary64` `rec-exp_binary64` `associate-/l*_binary64`
2×	`associate-r/_binary64` `un-div-inv_binary64` `div-inv_binary64` `-commutative_binary64`
1×	`clear-num_binary64` `inv-pow_binary64` `frac-2neg_binary64` `pow-flip_binary64`

Counts

3 → 119

Calls

3 calls:

6.0ms	(/.f64 1 (-.f64 a z))
15.0ms	(*.f64 (-.f64 y z) (/.f64 1 (-.f64 a z)))
14.0ms	(.f64 (.f64 (-.f64 y z) (/.f64 1 (-.f64 a z))) t)

series42.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(/.f64 1 (-.f64 a z))
10.0ms	(*.f64 (-.f64 y z) (/.f64 1 (-.f64 a z)))
24.0ms	(.f64 (.f64 (-.f64 y z) (/.f64 1 (-.f64 a z))) t)

simplify54.0ms

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5848	1083

prune52.0ms

Filtered

76 candidates to 128 candidates (-68.4%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	128	0	128
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	128	7	135

Merged error: 0b

Counts

135 → 7

regimes282.0ms

Accuracy

0% (1.4b remaining)

Error of 1.4b against oracle of 0.0b and baseline of 1.4b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	26	11
1	26	11

end0.0ms

sample630.0ms

Algorithm

intervals

Results

308.0ms	7998×	body	80	valid
31.0ms	761×	body	80	invalid
0.0ms	1×	body	1280	valid
0.0ms	1×	body	640	valid

Details

analyze930.0ms

sample22.0ms

simplify146.0ms

prune3.0ms

localize8.0ms

rewrite18.0ms

series28.0ms

simplify38.0ms

prune51.0ms

localize12.0ms

rewrite47.0ms

series160.0ms

simplify75.0ms

prune126.0ms

localize16.0ms

rewrite49.0ms

series41.0ms

simplify49.0ms

prune60.0ms

localize12.0ms

rewrite39.0ms

series42.0ms

simplify54.0ms

prune52.0ms

regimes282.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample630.0ms

Profiling