Details

analyze635.0ms (4.2%)

Algorithm

2×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2142	26
1	2142	26
0	2	2
1	2	2

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	2
25%	74.9%	0.1%	3
25%	74.9%	0.1%	3
25%	74.9%	0.1%	4
25%	74.9%	0.1%	4
56.2%	43.7%	0.1%	5
56.2%	43.7%	0.1%	5
65.6%	34.3%	0.1%	6
65.6%	34.3%	0.1%	6
79.6%	20.3%	0.1%	7
79.6%	20.3%	0.1%	7
83.5%	16.4%	0.1%	8
83.5%	16.4%	0.1%	8
90.1%	9.8%	0.1%	9
90.1%	9.8%	0.1%	9
91.9%	8%	0.1%	10
91.9%	8%	0.1%	10
95.1%	4.8%	0.1%	11
95.1%	4.8%	0.1%	11
96%	4%	0.1%	12
96%	4%	0.1%	12
97.5%	2.4%	0.1%	13
97.5%	2.4%	0.1%	13
97.9%	2%	0.1%	14
97.9%	2%	0.1%	14

Compiler

Compiled 20 to 16 computations (20% saved)

sample95.0ms (0.6%)

Algorithm

2×

intervals

Results

16.0ms

512×

body

128

valid

Compiler

Compiled 2589 to 2587 computations (0.1% saved)

simplify228.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (222.0ms)

Iter	Nodes	Cost
0	2142	13
1	2142	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

0.0b

Counts

2 → 1

Compiler

Compiled 18 to 14 computations (22.2% saved)

localize6.0ms (0%)

Local error

Found 1 expressions with local error:

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

rewrite84.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

58×	`*-un-lft-identity_binary64_21902`
40×	`add-sqr-sqrt_binary64_21924`
30×	`times-frac_binary64_21908`
19×	`distribute-lft-out--_binary64_21854`
14×	`add-cube-cbrt_binary64_21937`
13×	`difference-of-squares_binary64_21871`
6×	`distribute-lft-out_binary64_21853` `associate-/r*_binary64_21846`
5×	`associate-/l*_binary64_21847`
3×	`add-exp-log_binary64_21940` `add-cbrt-cube_binary64_21938`
2×	`flip3--_binary64_21906` `associate-/l/_binary64_21849` `flip--_binary64_21877` `associate-/r/_binary64_21848`
1×	`pow1_binary64_21963` `div-exp_binary64_21953` `add-log-exp_binary64_21941` `cbrt-undiv_binary64_21936` `frac-2neg_binary64_21913` `div-sub_binary64_21907` `clear-num_binary64_21901` `div-inv_binary64_21899`

Counts

1 → 58

Calls

1 calls:

11.0ms

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

Compiler

Compiled 1117 to 472 computations (57.7% saved)

series282.0ms (1.9%)

Error

0.0b

Counts

1 → 22

Calls

1 calls:

241.0ms

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

Compiler

Compiled 1414 to 1121 computations (20.7% saved)

simplify73.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

80 → 80

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5541	2082

prune101.0ms (0.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	77	3	80
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	77	4	81

Error

Counts

81 → 4

Compiler

Compiled 1627 to 788 computations (51.6% saved)

localize7.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite356.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

292×	`*-un-lft-identity_binary64_21902`
258×	`times-frac_binary64_21908`
214×	`add-sqr-sqrt_binary64_21924`
100×	`add-cube-cbrt_binary64_21937`
83×	`distribute-lft-out--_binary64_21854`
57×	`difference-of-squares_binary64_21871`
41×	`associate-/r*_binary64_21846`
26×	`distribute-lft-out_binary64_21853`
15×	`add-exp-log_binary64_21940`
11×	`associate-/r/_binary64_21848`
9×	`add-cbrt-cube_binary64_21938` `associate-/l*_binary64_21847`
8×	`div-exp_binary64_21953`
6×	`div-inv_binary64_21899` `flip3--_binary64_21906` `flip--_binary64_21877`
4×	`cbrt-undiv_binary64_21936`
3×	`pow1_binary64_21963`
2×	`1-exp_binary64_21946` `rec-exp_binary64_21952` `add-log-exp_binary64_21941` `frac-2neg_binary64_21913` `clear-num_binary64_21901` `associate-/l/_binary64_21849`
1×	`inv-pow_binary64_21987` `pow-flip_binary64_21976` `div-sub_binary64_21907`

Counts

2 → 226

Calls

2 calls:

15.0ms	(/.f64 1 (/.f64 (-.f64 2 (+.f64 y x)) (-.f64 x y)))
11.0ms	(/.f64 (-.f64 2 (+.f64 y x)) (-.f64 x y))

Compiler

Compiled 5434 to 2774 computations (49% saved)

series470.0ms (3.1%)

Error

Counts

2 → 41

Calls

2 calls:

234.0ms	(/.f64 1 (/.f64 (-.f64 2 (+.f64 y x)) (-.f64 x y)))
176.0ms	(/.f64 (-.f64 2 (+.f64 y x)) (-.f64 x y))

Compiler

Compiled 2456 to 1982 computations (19.3% saved)

simplify94.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

267 → 267

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5035	7278

prune326.0ms (2.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	267	0	267
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	267	4	271

Error

Counts

271 → 4

Compiler

Compiled 5748 to 2732 computations (52.5% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(*.f64 (cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x)))) (cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x)))))
0.2b	(cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x))))
0.2b	(cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x))))
0.2b	(cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x))))

rewrite1.0s (6.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

651×	`*-un-lft-identity_binary64_21902`
372×	`cbrt-prod_binary64_21933`
324×	`times-frac_binary64_21908`
318×	`add-sqr-sqrt_binary64_21924`
212×	`distribute-lft-out--_binary64_21854`
108×	`add-cube-cbrt_binary64_21937`
93×	`difference-of-squares_binary64_21871` `swap-sqr_binary64_21869`
67×	`distribute-lft-out_binary64_21853`
39×	`associate-l_binary64_21843` `associate-r_binary64_21842`
14×	`associate-/r/_binary64_21848`
11×	`pow1_binary64_21963`
9×	`pow1/3_binary64_21984` `unswap-sqr_binary64_21870`
7×	`cbrt-div_binary64_21934` `div-inv_binary64_21899` `flip3--_binary64_21906` `flip--_binary64_21877`
6×	`add-exp-log_binary64_21940`
4×	`add-log-exp_binary64_21941` `add-cbrt-cube_binary64_21938`
2×	`pow-prod-down_binary64_21973` `pow-prod-up_binary64_21972` `pow-sqr_binary64_21875`
1×	`pow2_binary64_21983` `pow-plus_binary64_21965` `prod-exp_binary64_21951` `cbrt-unprod_binary64_21935` `frac-times_binary64_21912` `associate-l/_binary64_21845` `associate-r/_binary64_21844` `*-commutative_binary64_21833`

Counts

4 → 336

Calls

4 calls:

54.0ms	(*.f64 (cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x)))) (cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x)))))
13.0ms	(cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x))))
10.0ms	(cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x))))
9.0ms	(cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x))))

Compiler

Compiled 15679 to 7343 computations (53.2% saved)

series3.6s (23.6%)

Error

Counts

4 → 57

Calls

4 calls:

1.7s	(*.f64 (cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x)))) (cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x)))))
572.0ms	(cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x))))
569.0ms	(cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x))))
567.0ms	(cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x))))

Compiler

Compiled 8981 to 6785 computations (24.5% saved)

simplify166.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

393 → 393

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	4938	14803
1	4938	14803

prune1.0s (6.7%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	393	0	393
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	393	4	397

Error

Counts

397 → 4

Compiler

Compiled 17170 to 8220 computations (52.1% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.4b	(/.f64 1 (*.f64 (cbrt.f64 (-.f64 2 (+.f64 y x))) (cbrt.f64 (-.f64 2 (+.f64 y x)))))
0.6b	(cbrt.f64 (-.f64 2 (+.f64 y x)))
0.6b	(cbrt.f64 (-.f64 2 (+.f64 y x)))
0.6b	(cbrt.f64 (-.f64 2 (+.f64 y x)))

rewrite192.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

24×	`*-un-lft-identity_binary64_21902`
18×	`cbrt-div_binary64_21934` `cbrt-prod_binary64_21933`
15×	`add-exp-log_binary64_21940` `add-sqr-sqrt_binary64_21924`
12×	`pow1_binary64_21963`
9×	`pow1/3_binary64_21984` `add-cube-cbrt_binary64_21937` `flip3--_binary64_21906` `flip--_binary64_21877` `pow-flip_binary64_21976`
8×	`associate-/r/_binary64_21848`
7×	`add-cbrt-cube_binary64_21938`
6×	`distribute-lft-out--_binary64_21854`
4×	`add-log-exp_binary64_21941` `div-exp_binary64_21953` `frac-times_binary64_21912`
3×	`difference-of-squares_binary64_21871` `distribute-lft-out_binary64_21853` `prod-exp_binary64_21951` `times-frac_binary64_21908` `associate-/l*_binary64_21847`
2×	`pow-prod-down_binary64_21973` `pow-prod-up_binary64_21972` `pow-sqr_binary64_21875` `1-exp_binary64_21946` `rec-exp_binary64_21952` `cbrt-undiv_binary64_21936` `associate-l/_binary64_21845` `associate-r/_binary64_21844`
1×	`inv-pow_binary64_21987` `pow2_binary64_21983` `pow-plus_binary64_21965` `cbrt-unprod_binary64_21935` `frac-2neg_binary64_21913` `clear-num_binary64_21901` `div-inv_binary64_21899` `associate-/r*_binary64_21846`

Counts

4 → 91

Calls

4 calls:

17.0ms	(/.f64 1 (*.f64 (cbrt.f64 (-.f64 2 (+.f64 y x))) (cbrt.f64 (-.f64 2 (+.f64 y x)))))
5.0ms	(cbrt.f64 (-.f64 2 (+.f64 y x)))
5.0ms	(cbrt.f64 (-.f64 2 (+.f64 y x)))
5.0ms	(cbrt.f64 (-.f64 2 (+.f64 y x)))

Compiler

Compiled 3125 to 1775 computations (43.2% saved)

series4.3s (28.8%)

Error

Counts

4 → 58

Calls

4 calls:

3.4s	(/.f64 1 (*.f64 (cbrt.f64 (-.f64 2 (+.f64 y x))) (cbrt.f64 (-.f64 2 (+.f64 y x)))))
243.0ms	(cbrt.f64 (-.f64 2 (+.f64 y x)))
219.0ms	(cbrt.f64 (-.f64 2 (+.f64 y x)))
200.0ms	(cbrt.f64 (-.f64 2 (+.f64 y x)))

Compiler

Compiled 10790 to 8769 computations (18.7% saved)

simplify81.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

149 → 149

Iterations

Useful iterations: 0 (24.0ms)

Iter	Nodes	Cost
0	5194	7001

prune467.0ms (3.1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	149	0	149
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	149	4	153

Error

Counts

153 → 4

Compiler

Compiled 7413 to 4822 computations (35% saved)

regimes263.0ms (1.7%)

Accuracy

Total 0.0b remaining (94%)

Threshold costs 0.0b (94%)

Compiler

Compiled 2801 to 1965 computations (29.8% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	45	22
1	45	22

end0.0ms (0%)

sample1.2s (7.9%)

Algorithm

1×

intervals

Results

206.0ms	7999×	body	128	valid
0.0ms	1×	body	512	valid

Compiler

Compiled 929 to 653 computations (29.7% saved)

Details

analyze635.0ms (4.2%)

sample95.0ms (0.6%)

simplify228.0ms (1.5%)

prune2.0ms (0%)

localize6.0ms (0%)

rewrite84.0ms (0.6%)

series282.0ms (1.9%)

simplify73.0ms (0.5%)

prune101.0ms (0.7%)

localize7.0ms (0%)

rewrite356.0ms (2.4%)

series470.0ms (3.1%)

simplify94.0ms (0.6%)

prune326.0ms (2.2%)

localize9.0ms (0.1%)

rewrite1.0s (6.8%)

series3.6s (23.6%)

simplify166.0ms (1.1%)

prune1.0s (6.7%)

localize11.0ms (0.1%)

rewrite192.0ms (1.3%)

series4.3s (28.8%)

simplify81.0ms (0.5%)

prune467.0ms (3.1%)

regimes263.0ms (1.7%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.2s (7.9%)

Profiling