Details

analyze407.0ms (5.8%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4768	26
1	4768	26
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
0%	99.9%	0.1%	5
50%	50%	0.1%	6
68.7%	31.2%	0.1%	7
81.2%	18.7%	0.1%	8
89%	10.9%	0.1%	9
92.1%	7.8%	0.1%	10
95.6%	4.3%	0.1%	11
96.4%	3.5%	0.1%	12
98%	1.9%	0.1%	13
98.2%	1.7%	0.1%	14

Compiler

Compiled 10 to 8 computations (20% saved)

sample15.0ms (0.2%)

Algorithm

1×

intervals

Results

7.0ms

256×

body

128

valid

Compiler

Compiled 19 to 17 computations (10.5% saved)

simplify174.0ms (2.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (168.0ms)

Iter	Nodes	Cost
0	4853	13
1	4853	13

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

11.9b

Counts

2 → 1

Compiler

Compiled 18 to 14 computations (22.2% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

11.6b

(/.f64 (*.f64 (*.f64 x 2) y) (-.f64 x y))

rewrite64.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

10×	`add-exp-log_binary64_13074` `add-cbrt-cube_binary64_13072`
7×	`add-sqr-sqrt_binary64_13058` `*-un-lft-identity_binary64_13036`
5×	`times-frac_binary64_13042` `associate-/r*_binary64_12980`
3×	`prod-exp_binary64_13085` `div-exp_binary64_13087` `add-cube-cbrt_binary64_13071` `cbrt-undiv_binary64_13070` `cbrt-unprod_binary64_13069`
2×	`difference-of-squares_binary64_13005` `distribute-lft-out--_binary64_12988` `associate-/r/_binary64_12982`
1×	`pow1_binary64_13097` `add-log-exp_binary64_13075` `frac-2neg_binary64_13047` `clear-num_binary64_13035` `div-inv_binary64_13033` `flip3--_binary64_13040` `flip--_binary64_13011` `associate-/l*_binary64_12981`

Counts

1 → 29

Calls

1 calls:

9.0ms

(/.f64 (*.f64 (*.f64 x 2) y) (-.f64 x y))

Compiler

Compiled 488 to 232 computations (52.5% saved)

series178.0ms (2.6%)

Error

0.6b

Counts

1 → 21

Calls

1 calls:

143.0ms

(/.f64 (*.f64 (*.f64 x 2) y) (-.f64 x y))

Compiler

Compiled 714 to 593 computations (16.9% saved)

simplify67.0ms (1%)

Algorithm

1×	egg-herbie

Counts

50 → 50

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5029	817

prune46.0ms (0.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	47	3	50
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	47	4	51

Error

0.0b

Counts

51 → 4

Compiler

Compiled 666 to 327 computations (50.9% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(-.f64 (/.f64 1/2 y) (/.f64 1/2 x))
0.2b	(/.f64 1 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))

rewrite212.0ms (3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

96×	`add-sqr-sqrt_binary64_13058`
95×	`times-frac_binary64_13042`
76×	`*-un-lft-identity_binary64_13036`
36×	`add-cube-cbrt_binary64_13071`
25×	`distribute-lft-out--_binary64_12988`
20×	`difference-of-squares_binary64_13005`
13×	`cancel-sign-sub-inv_binary64_13002`
12×	`div-inv_binary64_13033` `associate-/r*_binary64_12980`
6×	`add-exp-log_binary64_13074`
4×	`add-log-exp_binary64_13075` `add-cbrt-cube_binary64_13072`
3×	`pow1_binary64_13097` `associate-/r/_binary64_12982` `associate-/l*_binary64_12981`
2×	`div-exp_binary64_13087` `frac-sub_binary64_13045` `flip3--_binary64_13040` `flip--_binary64_13011`
1×	`inv-pow_binary64_13121` `pow-flip_binary64_13110` `1-exp_binary64_13080` `rec-exp_binary64_13086` `cbrt-undiv_binary64_13070` `frac-2neg_binary64_13047` `clear-num_binary64_13035` `diff-log_binary64_13128` `sub-neg_binary64_13029`

Counts

2 → 104

Calls

2 calls:

21.0ms	(-.f64 (/.f64 1/2 y) (/.f64 1/2 x))
17.0ms	(/.f64 1 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))

Compiler

Compiled 1998 to 1613 computations (19.3% saved)

series257.0ms (3.7%)

Error

0.0b

Counts

2 → 33

Calls

2 calls:

119.0ms	(/.f64 1 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
110.0ms	(-.f64 (/.f64 1/2 y) (/.f64 1/2 x))

Compiler

Compiled 1008 to 875 computations (13.2% saved)

simplify82.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	4907	2412
1	4907	2412

prune154.0ms (2.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	136	1	137
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	136	5	141

Error

Counts

141 → 5

Compiler

Compiled 2080 to 1575 computations (24.3% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 y (-.f64 x y))
8.0b	(.f64 (.f64 x 2) (/.f64 y (-.f64 x y)))

rewrite93.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

35×	`add-sqr-sqrt_binary64_13058` `*-un-lft-identity_binary64_13036`
30×	`times-frac_binary64_13042`
21×	`add-cube-cbrt_binary64_13071` `associate-r_binary64_12976`
16×	`add-exp-log_binary64_13074` `add-cbrt-cube_binary64_13072`
7×	`pow1_binary64_13097` `difference-of-squares_binary64_13005` `distribute-lft-out--_binary64_12988`
6×	`prod-exp_binary64_13085` `cbrt-unprod_binary64_13069`
5×	`associate-/r*_binary64_12980`
4×	`associate-/r/_binary64_12982`
3×	`pow-prod-down_binary64_13107` `div-exp_binary64_13087` `cbrt-undiv_binary64_13070` `associate-/l*_binary64_12981`
2×	`add-log-exp_binary64_13075` `div-inv_binary64_13033` `flip3--_binary64_13040` `flip--_binary64_13011`
1×	`associate-r/_binary64_12978` `associate-l_binary64_12977` `-commutative_binary64_12967` `frac-2neg_binary64_13047` `clear-num_binary64_13035`

Counts

2 → 78

Calls

2 calls:

14.0ms	(.f64 (.f64 x 2) (/.f64 y (-.f64 x y)))
9.0ms	(/.f64 y (-.f64 x y))

Compiler

Compiled 1357 to 488 computations (64% saved)

series259.0ms (3.7%)

Error

Counts

2 → 42

Calls

2 calls:

126.0ms	(.f64 (.f64 x 2) (/.f64 y (-.f64 x y)))
96.0ms	(/.f64 y (-.f64 x y))

Compiler

Compiled 1446 to 1138 computations (21.3% saved)

simplify81.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5320	1783

prune80.0ms (1.1%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	120	0	120
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	120	5	125

Error

Counts

125 → 5

Compiler

Compiled 1750 to 699 computations (60.1% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (/.f64 1/2 y) (/.f64 1/2 x))
0.2b	(/.f64 1 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
0.2b	(/.f64 1 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
0.3b	(*.f64 (sqrt.f64 (/.f64 1 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))) (sqrt.f64 (/.f64 1 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))))

rewrite1.6s (23.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

467×	`times-frac_binary64_13042`
463×	`add-sqr-sqrt_binary64_13058`
357×	`*-un-lft-identity_binary64_13036`
214×	`sqrt-prod_binary64_13052`
159×	`add-cube-cbrt_binary64_13071`
111×	`distribute-lft-out--_binary64_12988`
84×	`difference-of-squares_binary64_13005`
56×	`swap-sqr_binary64_13003`
51×	`div-inv_binary64_13033`
46×	`associate-l_binary64_12977` `associate-r_binary64_12976`
29×	`pow1_binary64_13097`
24×	`sqrt-pow1_binary64_13054` `associate-/r*_binary64_12980`
18×	`associate-/r/_binary64_12982`
16×	`unswap-sqr_binary64_13004`
14×	`add-exp-log_binary64_13074`
13×	`cancel-sign-sub-inv_binary64_13002`
10×	`inv-pow_binary64_13121` `pow-flip_binary64_13110` `add-cbrt-cube_binary64_13072`
9×	`pow-prod-up_binary64_13106`
8×	`pow1/2_binary64_13116`
7×	`frac-sub_binary64_13045` `flip3--_binary64_13040` `flip--_binary64_13011`
6×	`add-log-exp_binary64_13075` `rem-sqrt-square_binary64_13049` `associate-/l*_binary64_12981`
5×	`pow-prod-down_binary64_13107` `pow-sqr_binary64_13009`
4×	`sqrt-div_binary64_13053` `div-exp_binary64_13087`
3×	`sqr-abs_binary64_13051`
2×	`1-exp_binary64_13080` `rec-exp_binary64_13086` `cbrt-undiv_binary64_13070` `frac-2neg_binary64_13047` `clear-num_binary64_13035`
1×	`pow2_binary64_13117` `pow-plus_binary64_13099` `prod-exp_binary64_13085` `cbrt-unprod_binary64_13069` `sqrt-unprod_binary64_13056` `rem-square-sqrt_binary64_13048` `frac-times_binary64_13046` `associate-l/_binary64_12979` `associate-r/_binary64_12978` `*-commutative_binary64_12967` `diff-log_binary64_13128` `sub-neg_binary64_13029`

Counts

4 → 377

Calls

4 calls:

92.0ms	(*.f64 (sqrt.f64 (/.f64 1 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))) (sqrt.f64 (/.f64 1 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))))
24.0ms	(/.f64 1 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
23.0ms	(-.f64 (/.f64 1/2 y) (/.f64 1/2 x))
16.0ms	(/.f64 1 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))

Compiler

Compiled 13037 to 10804 computations (17.1% saved)

series557.0ms (8%)

Error

Counts

4 → 63

Calls

4 calls:

135.0ms	(*.f64 (sqrt.f64 (/.f64 1 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))) (sqrt.f64 (/.f64 1 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))))
128.0ms	(-.f64 (/.f64 1/2 y) (/.f64 1/2 x))
108.0ms	(/.f64 1 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
106.0ms	(/.f64 1 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))

Compiler

Compiled 3178 to 2697 computations (15.1% saved)

simplify189.0ms (2.7%)

Algorithm

1×	egg-herbie

Counts

440 → 440

Iterations

Useful iterations: 0 (78.0ms)

Iter	Nodes	Cost
0	4893	9789
1	4893	9789

prune1.1s (16.4%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	440	0	440
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	440	5	445

Error

Counts

445 → 5

Compiler

Compiled 11273 to 9009 computations (20.1% saved)

regimes166.0ms (2.4%)

Accuracy

Total 0.2b remaining (99.5%)

Threshold costs 0.2b (99.5%)

Compiler

Compiled 1335 to 1013 computations (24.1% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	26	13
1	26	13

end0.0ms (0%)

sample1.1s (15.5%)

Algorithm

1×

intervals

Results

301.0ms

8000×

body

128

valid

Compiler

Compiled 455 to 346 computations (24% saved)

Details

analyze407.0ms (5.8%)

sample15.0ms (0.2%)

simplify174.0ms (2.5%)

prune2.0ms (0%)

localize5.0ms (0.1%)

rewrite64.0ms (0.9%)

series178.0ms (2.6%)

simplify67.0ms (1%)

prune46.0ms (0.7%)

localize6.0ms (0.1%)

rewrite212.0ms (3%)

series257.0ms (3.7%)

simplify82.0ms (1.2%)

prune154.0ms (2.2%)

localize6.0ms (0.1%)

rewrite93.0ms (1.3%)

series259.0ms (3.7%)

simplify81.0ms (1.2%)

prune80.0ms (1.1%)

localize11.0ms (0.2%)

rewrite1.6s (23.4%)

series557.0ms (8%)

simplify189.0ms (2.7%)

prune1.1s (16.4%)

regimes166.0ms (2.4%)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample1.1s (15.5%)

Profiling