Details

analyze1.3s (14.8%)

Algorithm

2×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5214	91
0	4	4
1	4	4

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	7
3.1%	96.7%	0.2%	8
3.1%	96.7%	0.2%	8
19.9%	79.9%	0.2%	9
19.9%	79.9%	0.2%	9
22.8%	77%	0.2%	10
22.8%	77%	0.2%	10
35.1%	64.7%	0.2%	11
35.1%	64.7%	0.2%	11
45%	54.8%	0.2%	12
45%	54.8%	0.2%	12
53.8%	45.1%	1.2%	13
53.8%	45.1%	1.2%	13
56.2%	42.4%	1.5%	14
56.2%	42.4%	1.5%	14

Compiler

Compiled 20 to 18 computations (10% saved)

sample207.0ms (2.4%)

Algorithm

2×

intervals

Results

16.0ms	512×	body	128	valid
2.0ms	40×	body	128	invalid

Compiler

Compiled 2739 to 3557 computations (-29.9% saved)

simplify258.0ms (2.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (253.0ms)

Iter	Nodes	Cost
0	5412	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.9b

Counts

2 → 1

Compiler

Compiled 18 to 16 computations (11.1% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (-.f64 x y) (-.f64 z y))
0.8b	(*.f64 (/.f64 (-.f64 x y) (-.f64 z y)) t)

rewrite133.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

75×	`add-sqr-sqrt_binary64_12717`
70×	`*-un-lft-identity_binary64_12695`
51×	`times-frac_binary64_12701`
31×	`associate-l_binary64_12636`
26×	`add-cube-cbrt_binary64_12730`
22×	`difference-of-squares_binary64_12664` `distribute-lft-out--_binary64_12647`
9×	`add-exp-log_binary64_12733` `add-cbrt-cube_binary64_12731`
5×	`associate-/l_binary64_12640` `associate-/r_binary64_12639`
4×	`pow1_binary64_12756` `associate-/r/_binary64_12641`
3×	`flip3--_binary64_12699` `flip--_binary64_12670` `associate-r_binary64_12635`
2×	`div-exp_binary64_12746` `prod-exp_binary64_12744` `add-log-exp_binary64_12734` `cbrt-unprod_binary64_12728` `cbrt-undiv_binary64_12729` `unswap-sqr_binary64_12663` `div-inv_binary64_12692` `associate-/l/_binary64_12642`
1×	`pow-prod-down_binary64_12766` `associate-l/_binary64_12638` `-commutative_binary64_12626` `frac-2neg_binary64_12706` `div-sub_binary64_12700` `clear-num_binary64_12694`

Counts

2 → 102

Calls

2 calls:

14.0ms	(*.f64 (/.f64 (-.f64 x y) (-.f64 z y)) t)
8.0ms	(/.f64 (-.f64 x y) (-.f64 z y))

Compiler

Compiled 1903 to 389 computations (79.6% saved)

series687.0ms (7.8%)

Error

0.1b

Counts

2 → 51

Calls

2 calls:

382.0ms	(*.f64 (/.f64 (-.f64 x y) (-.f64 z y)) t)
250.0ms	(/.f64 (-.f64 x y) (-.f64 z y))

Compiler

Compiled 2555 to 1589 computations (37.8% saved)

simplify70.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

153 → 153

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5073	3067

prune149.0ms (1.7%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	145	8	153
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	145	9	154

Error

Counts

154 → 9

Compiler

Compiled 2816 to 665 computations (76.4% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 (-.f64 z y))
0.5b	(cbrt.f64 (-.f64 x y))
0.5b	(cbrt.f64 (-.f64 x y))
0.5b	(cbrt.f64 (-.f64 x y))

rewrite93.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

20×	`cbrt-prod_binary64_12726`
16×	`add-sqr-sqrt_binary64_12717` `*-un-lft-identity_binary64_12695`
8×	`add-cube-cbrt_binary64_12730` `cbrt-div_binary64_12727`
4×	`pow1/3_binary64_12777` `pow1_binary64_12756` `add-log-exp_binary64_12734` `add-exp-log_binary64_12733` `add-cbrt-cube_binary64_12731` `flip3--_binary64_12699` `flip--_binary64_12670` `difference-of-squares_binary64_12664` `distribute-lft-out--_binary64_12647`

Counts

4 → 60

Calls

4 calls:

4.0ms	(cbrt.f64 (-.f64 x y))
3.0ms	(cbrt.f64 (-.f64 x y))
3.0ms	(cbrt.f64 (-.f64 x y))
3.0ms	(cbrt.f64 (-.f64 z y))

Compiler

Compiled 2260 to 335 computations (85.2% saved)

series551.0ms (6.3%)

Error

Counts

4 → 35

Calls

4 calls:

164.0ms	(cbrt.f64 (-.f64 z y))
114.0ms	(cbrt.f64 (-.f64 x y))
110.0ms	(cbrt.f64 (-.f64 x y))
109.0ms	(cbrt.f64 (-.f64 x y))

Compiler

Compiled 3777 to 1971 computations (47.8% saved)

simplify66.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

95 → 95

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4873	1095
1	4873	1095

prune123.0ms (1.4%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	95	0	95
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	95	9	104

Error

Counts

104 → 9

Compiler

Compiled 3463 to 555 computations (84% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (-.f64 z y) (-.f64 x y))
0.4b	(/.f64 1 (/.f64 (-.f64 z y) (-.f64 x y)))
0.8b	(*.f64 (/.f64 1 (/.f64 (-.f64 z y) (-.f64 x y))) t)

rewrite453.0ms (5.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

392×	`times-frac_binary64_12701`
335×	`add-sqr-sqrt_binary64_12717`
323×	`*-un-lft-identity_binary64_12695`
157×	`add-cube-cbrt_binary64_12730`
98×	`associate-l_binary64_12636`
82×	`difference-of-squares_binary64_12664` `distribute-lft-out--_binary64_12647`
36×	`associate-/r*_binary64_12639`
35×	`add-exp-log_binary64_12733`
19×	`add-cbrt-cube_binary64_12731`
18×	`associate-/r/_binary64_12641`
15×	`div-exp_binary64_12746`
10×	`div-inv_binary64_12692`
9×	`flip3--_binary64_12699` `flip--_binary64_12670`
8×	`associate-/l*_binary64_12640`
7×	`prod-exp_binary64_12744` `cbrt-undiv_binary64_12729`
6×	`pow1_binary64_12756`
5×	`unswap-sqr_binary64_12663`
4×	`1-exp_binary64_12739` `rec-exp_binary64_12745`
3×	`add-log-exp_binary64_12734` `cbrt-unprod_binary64_12728` `associate-r_binary64_12635`
2×	`frac-2neg_binary64_12706` `clear-num_binary64_12694` `associate-/l/_binary64_12642`
1×	`pow-prod-down_binary64_12766` `associate-l/_binary64_12638` `-commutative_binary64_12626` `inv-pow_binary64_12780` `pow-flip_binary64_12769` `div-sub_binary64_12700`

Counts

3 → 326

Calls

3 calls:

27.0ms	(*.f64 (/.f64 1 (/.f64 (-.f64 z y) (-.f64 x y))) t)
15.0ms	(/.f64 1 (/.f64 (-.f64 z y) (-.f64 x y)))
8.0ms	(/.f64 (-.f64 z y) (-.f64 x y))

Compiler

Compiled 7757 to 2690 computations (65.3% saved)

series861.0ms (9.8%)

Error

Counts

3 → 67

Calls

3 calls:

374.0ms	(*.f64 (/.f64 1 (/.f64 (-.f64 z y) (-.f64 x y))) t)
237.0ms	(/.f64 1 (/.f64 (-.f64 z y) (-.f64 x y)))
183.0ms	(/.f64 (-.f64 z y) (-.f64 x y))

Compiler

Compiled 3160 to 2019 computations (36.1% saved)

simplify121.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

393 → 393

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4999	8249
1	4999	8249

prune387.0ms (4.4%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	391	2	393
Fresh	3	3	6
Picked	1	0	1
Done	1	1	2
Total	396	6	402

Error

Counts

402 → 6

Compiler

Compiled 8063 to 2162 computations (73.2% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (-.f64 z y) (-.f64 x y))
0.6b	(/.f64 t (/.f64 (-.f64 z y) (-.f64 x y)))

rewrite212.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

218×	`times-frac_binary64_12701`
194×	`add-sqr-sqrt_binary64_12717` `*-un-lft-identity_binary64_12695`
90×	`add-cube-cbrt_binary64_12730`
52×	`difference-of-squares_binary64_12664` `distribute-lft-out--_binary64_12647`
36×	`associate-/r*_binary64_12639`
11×	`associate-/r/_binary64_12641`
9×	`add-exp-log_binary64_12733` `add-cbrt-cube_binary64_12731`
8×	`associate-/l*_binary64_12640`
6×	`div-inv_binary64_12692` `flip3--_binary64_12699` `flip--_binary64_12670`
4×	`div-exp_binary64_12746` `cbrt-undiv_binary64_12729`
2×	`pow1_binary64_12756` `add-log-exp_binary64_12734` `frac-2neg_binary64_12706` `clear-num_binary64_12694` `associate-/l/_binary64_12642`
1×	`div-sub_binary64_12700`

Counts

2 → 194

Calls

2 calls:

12.0ms	(/.f64 t (/.f64 (-.f64 z y) (-.f64 x y)))
8.0ms	(/.f64 (-.f64 z y) (-.f64 x y))

Compiler

Compiled 4149 to 810 computations (80.5% saved)

series603.0ms (6.9%)

Error

Counts

2 → 43

Calls

2 calls:

390.0ms	(/.f64 t (/.f64 (-.f64 z y) (-.f64 x y)))
173.0ms	(/.f64 (-.f64 z y) (-.f64 x y))

Compiler

Compiled 1948 to 1196 computations (38.6% saved)

simplify96.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

237 → 237

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4984	5853
1	4984	5853

prune199.0ms (2.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	236	1	237
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	237	6	243

Error

Counts

243 → 6

Compiler

Compiled 4522 to 661 computations (85.4% saved)

regimes702.0ms (8%)

Accuracy

Total 2.0b remaining (99.9%)

Threshold costs 0b (0%)

Compiler

Compiled 6882 to 4704 computations (31.6% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	21	13
1	21	13

end0.0ms (0%)

sample1.5s (16.6%)

Algorithm

1×

intervals

Results

257.0ms	8000×	body	128	valid
21.0ms	728×	body	128	invalid

Compiler

Compiled 1117 to 775 computations (30.6% saved)

Details

analyze1.3s (14.8%)

sample207.0ms (2.4%)

simplify258.0ms (2.9%)

prune2.0ms (0%)

localize7.0ms (0.1%)

rewrite133.0ms (1.5%)

series687.0ms (7.8%)

simplify70.0ms (0.8%)

prune149.0ms (1.7%)

localize16.0ms (0.2%)

rewrite93.0ms (1.1%)

series551.0ms (6.3%)

simplify66.0ms (0.8%)

prune123.0ms (1.4%)

localize8.0ms (0.1%)

rewrite453.0ms (5.2%)

series861.0ms (9.8%)

simplify121.0ms (1.4%)

prune387.0ms (4.4%)

localize7.0ms (0.1%)

rewrite212.0ms (2.4%)

series603.0ms (6.9%)

simplify96.0ms (1.1%)

prune199.0ms (2.3%)

regimes702.0ms (8%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample1.5s (16.6%)

Profiling