Details

analyze1.1s (11.3%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4856	36
1	4856	36
0	2	2
1	2	2

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
6.2%	93.7%	0.1%	5
6.2%	90.5%	3.2%	6
21.9%	67.1%	11%	7
23.4%	64.8%	11.8%	8
32%	52.7%	15.3%	9
33.2%	51.3%	15.5%	10
37.7%	45.2%	17.2%	11
38.3%	44.4%	17.2%	12
40.6%	41.3%	18%	13
41%	41%	18%	14

Compiler

Compiled 13 to 12 computations (7.7% saved)

sample41.0ms (0.4%)

Algorithm

1×

intervals

Results

10.0ms	180×	body	128	valid
8.0ms	36×	body	1024	valid
4.0ms	23×	body	1024	nan
3.0ms	19×	body	512	valid
2.0ms	16×	body	512	nan
2.0ms	17×	body	256	valid
1.0ms	4×	body	2048	valid
1.0ms	13×	body	256	nan
0.0ms	8×	body	128	nan

Compiler

Compiled 25 to 25 computations (0% saved)

simplify421.0ms (4.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (415.0ms)

Iter	Nodes	Cost
0	5144	18

prune2.0ms (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

Error

20.4b

Counts

2 → 1

Compiler

Compiled 24 to 22 computations (8.3% saved)

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (-.f64 x y) (-.f64 1 y))
3.3b	(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))
3.3b	(log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))

rewrite303.0ms (3%)

Algorithm

1×	rewrite-expression-head

Error

17.0b

Rules

104×	`add-sqr-sqrt_binary64_12717`
96×	`*-un-lft-identity_binary64_12695`
64×	`times-frac_binary64_12701`
43×	`difference-of-squares_binary64_12664`
36×	`cancel-sign-sub-inv_binary64_12661`
29×	`add-cube-cbrt_binary64_12730`
26×	`distribute-lft-out--_binary64_12647`
8×	`log-prod_binary64_12781`
6×	`add-exp-log_binary64_12733` `associate-/r*_binary64_12639`
5×	`flip3--_binary64_12699` `flip--_binary64_12670` `add-log-exp_binary64_12734` `add-cbrt-cube_binary64_12731` `associate-/l*_binary64_12640`
4×	`pow1_binary64_12756` `associate-/r/_binary64_12641`
2×	`log-div_binary64_12782` `div-inv_binary64_12692` `div-sub_binary64_12700` `associate-/l/_binary64_12642`
1×	`log-pow_binary64_12784` `rem-log-exp_binary64_12736` `diff-log_binary64_12787` `sub-neg_binary64_12688` `associate--r-_binary64_12634` `div-exp_binary64_12746` `cbrt-undiv_binary64_12729` `frac-2neg_binary64_12706` `clear-num_binary64_12694`

Counts

3 → 130

Calls

3 calls:

31.0ms	(log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))
30.0ms	(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))
15.0ms	(/.f64 (-.f64 x y) (-.f64 1 y))

Compiler

Compiled 2961 to 1869 computations (36.9% saved)

series612.0ms (6%)

Error

Counts

3 → 49

Calls

3 calls:

239.0ms	(log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))
177.0ms	(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))
125.0ms	(/.f64 (-.f64 x y) (-.f64 1 y))

Compiler

Compiled 2491 to 2007 computations (19.4% saved)

simplify71.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

179 → 179

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5125	3784

prune212.0ms (2.1%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	174	5	179
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	175	5	180

Error

Counts

180 → 5

Compiler

Compiled 3591 to 2291 computations (36.2% saved)

localize9.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 y (log.f64 (-.f64 1 x)))
3.1b	(log.f64 (-.f64 1 x))

rewrite57.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

13×	`*-un-lft-identity_binary64_12695`
12×	`log-prod_binary64_12781`
10×	`add-sqr-sqrt_binary64_12717`
6×	`associate-+r+_binary64_12627`
4×	`pow1_binary64_12756` `log-div_binary64_12782` `add-cube-cbrt_binary64_12730` `difference-of-squares_binary64_12664`
3×	`add-exp-log_binary64_12733` `add-log-exp_binary64_12734`
2×	`log-pow_binary64_12784` `flip3--_binary64_12699` `flip--_binary64_12670` `distribute-lft-out--_binary64_12647` `add-cbrt-cube_binary64_12731` `distribute-lft-out_binary64_12646` `associate-+r-_binary64_12629`
1×	`rem-log-exp_binary64_12736` `sum-log_binary64_12786` `flip3-+_binary64_12698` `flip-+_binary64_12669` `+-commutative_binary64_12625`

Counts

2 → 38

Calls

2 calls:

7.0ms	(+.f64 y (log.f64 (-.f64 1 x)))
7.0ms	(log.f64 (-.f64 1 x))

Compiler

Compiled 572 to 442 computations (22.7% saved)

series155.0ms (1.5%)

Error

Counts

2 → 20

Calls

2 calls:

114.0ms	(+.f64 y (log.f64 (-.f64 1 x)))
27.0ms	(log.f64 (-.f64 1 x))

Compiler

Compiled 491 to 433 computations (11.8% saved)

simplify65.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

58 → 58

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4964	640
1	4964	640

prune52.0ms (0.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	58	0	58
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	58	5	63

Error

Counts

63 → 5

Compiler

Compiled 818 to 615 computations (24.8% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 1 (log.f64 (neg.f64 (/.f64 x (-.f64 1 y)))))
0.0b	(/.f64 x (-.f64 1 y))
6.0b	(log.f64 (neg.f64 (/.f64 x (-.f64 1 y))))

rewrite274.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

109×	`*-un-lft-identity_binary64_12695`
108×	`add-sqr-sqrt_binary64_12717`
104×	`log-prod_binary64_12781`
90×	`times-frac_binary64_12701`
57×	`add-cube-cbrt_binary64_12730`
52×	`associate--r+_binary64_12631`
48×	`distribute-rgt-neg-in_binary64_12653` `distribute-lft-neg-in_binary64_12652`
34×	`difference-of-squares_binary64_12664`
18×	`distribute-lft-out--_binary64_12647`
10×	`associate-/r/_binary64_12641`
6×	`pow1_binary64_12756` `flip3--_binary64_12699` `flip--_binary64_12670` `add-exp-log_binary64_12733` `associate-/r*_binary64_12639`
5×	`div-inv_binary64_12692` `add-cbrt-cube_binary64_12731`
4×	`add-log-exp_binary64_12734` `cancel-sign-sub-inv_binary64_12661`
3×	`log-pow_binary64_12784` `associate-/l*_binary64_12640`
2×	`distribute-neg-frac_binary64_12659` `log-div_binary64_12782` `neg-mul-1_binary64_12691`
1×	`rem-log-exp_binary64_12736` `div-exp_binary64_12746` `cbrt-undiv_binary64_12729` `frac-2neg_binary64_12706` `clear-num_binary64_12694` `diff-log_binary64_12787` `sub-neg_binary64_12688` `associate--r-_binary64_12634`

Counts

3 → 175

Calls

3 calls:

28.0ms	(-.f64 1 (log.f64 (neg.f64 (/.f64 x (-.f64 1 y)))))
15.0ms	(log.f64 (neg.f64 (/.f64 x (-.f64 1 y))))
12.0ms	(/.f64 x (-.f64 1 y))

Compiler

Compiled 3239 to 2339 computations (27.8% saved)

series468.0ms (4.6%)

Error

Counts

3 → 31

Calls

3 calls:

186.0ms	(-.f64 1 (log.f64 (neg.f64 (/.f64 x (-.f64 1 y)))))
175.0ms	(log.f64 (neg.f64 (/.f64 x (-.f64 1 y))))
74.0ms	(/.f64 x (-.f64 1 y))

Compiler

Compiled 925 to 782 computations (15.5% saved)

simplify130.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

206 → 206

Iterations

Useful iterations: 0 (82.0ms)

Iter	Nodes	Cost
0	4955	3453
1	4955	3453

prune237.0ms (2.3%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	206	0	206
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	206	5	211

Error

Counts

211 → 5

Compiler

Compiled 3341 to 2258 computations (32.4% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 1 (*.f64 y y))
2.4b	(-.f64 (/.f64 (+.f64 x -1) y) (/.f64 1 (*.f64 y y)))
5.5b	(+.f64 (/.f64 x (.f64 y y)) (-.f64 (/.f64 (+.f64 x -1) y) (/.f64 1 (.f64 y y))))
9.2b	(/.f64 x (*.f64 y y))

rewrite251.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

27×	`*-un-lft-identity_binary64_12695`
25×	`add-sqr-sqrt_binary64_12717`
22×	`times-frac_binary64_12701`
20×	`add-exp-log_binary64_12733`
14×	`add-cbrt-cube_binary64_12731` `cancel-sign-sub-inv_binary64_12661`
12×	`pow1_binary64_12756` `add-cube-cbrt_binary64_12730`
11×	`add-log-exp_binary64_12734`
8×	`div-inv_binary64_12692` `associate-+r+_binary64_12627`
6×	`div-exp_binary64_12746` `associate-/l*_binary64_12640` `difference-of-squares_binary64_12664` `pow-flip_binary64_12769`
4×	`prod-exp_binary64_12744` `cbrt-undiv_binary64_12729` `distribute-lft-out_binary64_12646` `distribute-lft-out--_binary64_12647`
3×	`frac-add_binary64_12703`
2×	`cbrt-unprod_binary64_12728` `frac-2neg_binary64_12706` `clear-num_binary64_12694` `associate-/r*_binary64_12639` `diff-log_binary64_12787` `sum-log_binary64_12786` `frac-sub_binary64_12704` `flip3--_binary64_12699` `flip--_binary64_12670` `distribute-rgt-out--_binary64_12649` `sub-neg_binary64_12688` `1-exp_binary64_12739` `rec-exp_binary64_12745`
1×	`flip3-+_binary64_12698` `flip-+_binary64_12669` `associate-+r-_binary64_12629` `+-commutative_binary64_12625` `inv-pow_binary64_12780` `pow2_binary64_12776` `pow-prod-down_binary64_12766` `pow-prod-up_binary64_12765` `pow-plus_binary64_12758` `pow-sqr_binary64_12668`

Counts

4 → 109

Calls

4 calls:

38.0ms	(+.f64 (/.f64 x (.f64 y y)) (-.f64 (/.f64 (+.f64 x -1) y) (/.f64 1 (.f64 y y))))
30.0ms	(-.f64 (/.f64 (+.f64 x -1) y) (/.f64 1 (*.f64 y y)))
8.0ms	(/.f64 x (*.f64 y y))
5.0ms	(/.f64 1 (*.f64 y y))

Compiler

Compiled 3084 to 1678 computations (45.6% saved)

series593.0ms (5.9%)

Error

Counts

4 → 33

Calls

4 calls:

245.0ms	(+.f64 (/.f64 x (.f64 y y)) (-.f64 (/.f64 (+.f64 x -1) y) (/.f64 1 (.f64 y y))))
184.0ms	(-.f64 (/.f64 (+.f64 x -1) y) (/.f64 1 (*.f64 y y)))
111.0ms	(/.f64 x (*.f64 y y))
21.0ms	(/.f64 1 (*.f64 y y))

Compiler

Compiled 1648 to 1227 computations (25.5% saved)

simplify102.0ms (1%)

Algorithm

1×	egg-herbie

Counts

142 → 142

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	5180	2053

prune179.0ms (1.8%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	142	0	142
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	142	5	147

Error

Counts

147 → 5

Compiler

Compiled 3196 to 1829 computations (42.8% saved)

regimes1.3s (12.8%)

Accuracy

Total 0.0b remaining (67.5%)

Threshold costs 0.0b (67.5%)

Compiler

Compiled 9705 to 7889 computations (18.7% saved)

bsearch5.0ms (0%)

Compiler: Compiled 7 to 6 computations (14.3% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	138	72
1	138	72

end0.0ms (0%)

sample3.4s (33.6%)

Algorithm

1×

intervals

Results

358.0ms	5881×	body	128	valid
246.0ms	1016×	body	1024	valid
195.0ms	1022×	body	1024	nan
106.0ms	638×	body	512	valid
87.0ms	656×	body	512	nan
44.0ms	380×	body	256	valid
32.0ms	365×	body	256	nan
29.0ms	85×	body	2048	valid
19.0ms	453×	body	128	nan
0.0ms	2×	body	2048	nan

Compiler

Compiled 1673 to 1352 computations (19.2% saved)

Details

analyze1.1s (11.3%)

sample41.0ms (0.4%)

simplify421.0ms (4.2%)

prune2.0ms (0%)

localize10.0ms (0.1%)

rewrite303.0ms (3%)

series612.0ms (6%)

simplify71.0ms (0.7%)

prune212.0ms (2.1%)

localize9.0ms (0.1%)

rewrite57.0ms (0.6%)

series155.0ms (1.5%)

simplify65.0ms (0.6%)

prune52.0ms (0.5%)

localize9.0ms (0.1%)

rewrite274.0ms (2.7%)

series468.0ms (4.6%)

simplify130.0ms (1.3%)

prune237.0ms (2.3%)

localize15.0ms (0.1%)

rewrite251.0ms (2.5%)

series593.0ms (5.9%)

simplify102.0ms (1%)

prune179.0ms (1.8%)

regimes1.3s (12.8%)

bsearch5.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample3.4s (33.6%)

Profiling