Details

analyze870.0ms (5.2%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4978	76
1	4978	76
0	3	3
1	3	3

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
0%	99.9%	0.1%	6
0%	99.9%	0.1%	7
0%	99.9%	0.1%	8
12.5%	85.8%	1.7%	9
16.4%	79.2%	4.4%	10
20.7%	72.4%	7%	11
32.6%	53.3%	14.1%	12
36%	45.5%	18.5%	13
38.3%	41.1%	20.6%	14

Compiler

Compiled 16 to 12 computations (25% saved)

sample27.0ms (0.2%)

Algorithm

1×

intervals

Results

10.0ms	256×	body	128	valid
4.0ms	85×	body	128	invalid

Compiler

Compiled 31 to 26 computations (16.1% saved)

simplify77.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4898	19
1	4898	19

prune10.0ms (0.1%)

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

13.4b

Counts

2 → 2

Compiler

Compiled 41 to 31 computations (24.4% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (/.f64 (-.f64 (.f64 z z) (.f64 x x)) y) y)
0.9b	(-.f64 (.f64 z z) (.f64 x x))
13.6b	(/.f64 (-.f64 (.f64 z z) (.f64 x x)) y)

rewrite134.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

18×	`add-sqr-sqrt_binary64_18514`
15×	`*-un-lft-identity_binary64_18492`
13×	`add-cube-cbrt_binary64_18527` `times-frac_binary64_18498`
7×	`add-log-exp_binary64_18531` `difference-of-squares_binary64_18461`
5×	`add-exp-log_binary64_18530` `add-cbrt-cube_binary64_18528`
4×	`associate-/l*_binary64_18437` `cancel-sign-sub-inv_binary64_18458`
3×	`pow1_binary64_18553` `flip3--_binary64_18496` `flip--_binary64_18467` `associate-/r*_binary64_18436`
2×	`div-sub_binary64_18497` `associate-/l/_binary64_18439` `diff-log_binary64_18584` `sub-neg_binary64_18485`
1×	`div-exp_binary64_18543` `cbrt-undiv_binary64_18526` `frac-2neg_binary64_18503` `clear-num_binary64_18491` `div-inv_binary64_18489` `distribute-lft-out--_binary64_18444` `associate--l-_binary64_18430`

Counts

3 → 65

Calls

3 calls:

11.0ms	(-.f64 (/.f64 (-.f64 (.f64 z z) (.f64 x x)) y) y)
6.0ms	(/.f64 (-.f64 (.f64 z z) (.f64 x x)) y)
4.0ms	(-.f64 (.f64 z z) (.f64 x x))

Compiler

Compiled 1443 to 385 computations (73.3% saved)

series851.0ms (5.1%)

Error

6.3b

Counts

3 → 45

Calls

3 calls:

387.0ms	(-.f64 (/.f64 (-.f64 (.f64 z z) (.f64 x x)) y) y)
301.0ms	(/.f64 (-.f64 (.f64 z z) (.f64 x x)) y)
143.0ms	(-.f64 (.f64 z z) (.f64 x x))

Compiler

Compiled 1013 to 908 computations (10.4% saved)

simplify63.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5443	1737

prune123.0ms (0.7%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	102	8	110
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	104	8	112

Error

0.0b

Counts

112 → 8

Compiler

Compiled 1467 to 469 computations (68% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (/.f64 (+.f64 z x) (/.f64 y (-.f64 z x))) y)
0.0b	(/.f64 y (-.f64 z x))
0.2b	(/.f64 (+.f64 z x) (/.f64 y (-.f64 z x)))

rewrite341.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

177×	`times-frac_binary64_18498`
165×	`*-un-lft-identity_binary64_18492`
128×	`add-sqr-sqrt_binary64_18514`
81×	`add-cube-cbrt_binary64_18527`
26×	`associate-/r*_binary64_18436`
22×	`difference-of-squares_binary64_18461` `distribute-lft-out_binary64_18443`
20×	`distribute-lft-out--_binary64_18444`
13×	`associate-/r/_binary64_18438`
10×	`add-exp-log_binary64_18530` `add-cbrt-cube_binary64_18528`
7×	`div-inv_binary64_18489` `flip3--_binary64_18496` `flip--_binary64_18467` `associate-/l*_binary64_18437`
5×	`add-log-exp_binary64_18531`
4×	`div-exp_binary64_18543` `cbrt-undiv_binary64_18526`
3×	`pow1_binary64_18553` `cancel-sign-sub-inv_binary64_18458`
2×	`frac-2neg_binary64_18503` `clear-num_binary64_18491` `associate-/l/_binary64_18439`
1×	`flip3-+_binary64_18495` `flip-+_binary64_18466` `diff-log_binary64_18584` `sub-neg_binary64_18485`

Counts

3 → 181

Calls

3 calls:

40.0ms	(-.f64 (/.f64 (+.f64 z x) (/.f64 y (-.f64 z x))) y)
12.0ms	(/.f64 (+.f64 z x) (/.f64 y (-.f64 z x)))
5.0ms	(/.f64 y (-.f64 z x))

Compiler

Compiled 3531 to 958 computations (72.9% saved)

series875.0ms (5.2%)

Error

0.0b

Counts

3 → 48

Calls

3 calls:

387.0ms	(-.f64 (/.f64 (+.f64 z x) (/.f64 y (-.f64 z x))) y)
314.0ms	(/.f64 (+.f64 z x) (/.f64 y (-.f64 z x)))
142.0ms	(/.f64 y (-.f64 z x))

Compiler

Compiled 1355 to 1095 computations (19.2% saved)

simplify91.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

229 → 229

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5053	4859

prune271.0ms (1.6%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	224	5	229
Fresh	5	2	7
Picked	0	1	1
Done	0	0	0
Total	229	8	237

Error

Counts

237 → 8

Compiler

Compiled 3335 to 923 computations (72.3% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (/.f64 (/.f64 (+.f64 x z) y) (/.f64 1 (-.f64 z x))) y)
0.0b	(/.f64 1 (-.f64 z x))
0.0b	(/.f64 (+.f64 x z) y)
0.3b	(/.f64 (/.f64 (+.f64 x z) y) (/.f64 1 (-.f64 z x)))

rewrite1.1s (6.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

895×	`times-frac_binary64_18498`
607×	`*-un-lft-identity_binary64_18492`
488×	`add-sqr-sqrt_binary64_18514`
353×	`add-cube-cbrt_binary64_18527`
70×	`distribute-lft-out_binary64_18443`
62×	`difference-of-squares_binary64_18461`
56×	`distribute-lft-out--_binary64_18444`
42×	`div-inv_binary64_18489`
37×	`associate-/r/_binary64_18438`
32×	`add-exp-log_binary64_18530`
29×	`associate-/r*_binary64_18436`
23×	`associate-/l*_binary64_18437`
20×	`add-cbrt-cube_binary64_18528`
19×	`div-exp_binary64_18543` `flip3--_binary64_18496` `flip--_binary64_18467`
10×	`cbrt-undiv_binary64_18526`
6×	`add-log-exp_binary64_18531`
5×	`pow1_binary64_18553`
3×	`1-exp_binary64_18536` `rec-exp_binary64_18542` `frac-2neg_binary64_18503` `clear-num_binary64_18491` `associate-/l/_binary64_18439` `cancel-sign-sub-inv_binary64_18458`
1×	`flip3-+_binary64_18495` `flip-+_binary64_18466` `inv-pow_binary64_18577` `pow-flip_binary64_18566` `diff-log_binary64_18584` `sub-neg_binary64_18485`

Counts

4 → 493

Calls

4 calls:

122.0ms	(-.f64 (/.f64 (/.f64 (+.f64 x z) y) (/.f64 1 (-.f64 z x))) y)
24.0ms	(/.f64 (/.f64 (+.f64 x z) y) (/.f64 1 (-.f64 z x)))
6.0ms	(/.f64 (+.f64 x z) y)
6.0ms	(/.f64 1 (-.f64 z x))

Compiler

Compiled 11143 to 4335 computations (61.1% saved)

series974.0ms (5.8%)

Error

Counts

4 → 60

Calls

4 calls:

396.0ms	(-.f64 (/.f64 (/.f64 (+.f64 x z) y) (/.f64 1 (-.f64 z x))) y)
310.0ms	(/.f64 (/.f64 (+.f64 x z) y) (/.f64 1 (-.f64 z x)))
158.0ms	(/.f64 (+.f64 x z) y)
71.0ms	(/.f64 1 (-.f64 z x))

Compiler

Compiled 1682 to 1362 computations (19% saved)

simplify176.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

553 → 553

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5024	15670

prune573.0ms (3.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	550	3	553
Fresh	3	3	6
Picked	1	0	1
Done	0	1	1
Total	554	7	561

Error

Counts

561 → 7

Compiler

Compiled 7519 to 2585 computations (65.6% saved)

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (*.f64 (-.f64 z x) (/.f64 (+.f64 z x) y)) y)
0.0b	(/.f64 (+.f64 z x) y)
0.3b	(*.f64 (-.f64 z x) (/.f64 (+.f64 z x) y))

rewrite204.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

38×	`*-un-lft-identity_binary64_18492`
29×	`add-sqr-sqrt_binary64_18514`
25×	`times-frac_binary64_18498`
22×	`add-cube-cbrt_binary64_18527`
16×	`associate-r_binary64_18432`
10×	`add-exp-log_binary64_18530` `add-cbrt-cube_binary64_18528`
7×	`distribute-lft-out_binary64_18443`
5×	`pow1_binary64_18553` `add-log-exp_binary64_18531` `associate-l_binary64_18433`
4×	`associate-/l*_binary64_18437`
3×	`flip3--_binary64_18496` `flip--_binary64_18467` `associate-/r*_binary64_18436` `cancel-sign-sub-inv_binary64_18458`
2×	`div-exp_binary64_18543` `prod-exp_binary64_18541` `cbrt-unprod_binary64_18525` `cbrt-undiv_binary64_18526` `frac-times_binary64_18502` `unswap-sqr_binary64_18460` `associate-*l/_binary64_18435` `div-inv_binary64_18489` `associate-/l/_binary64_18439`
1×	`pow-prod-down_binary64_18563` `associate-r/_binary64_18434` `difference-of-squares_binary64_18461` `distribute-lft-out--_binary64_18444` `-commutative_binary64_18423` `frac-2neg_binary64_18503` `clear-num_binary64_18491` `flip3-+_binary64_18495` `flip-+_binary64_18466` `diff-log_binary64_18584` `sub-neg_binary64_18485`

Counts

3 → 88

Calls

3 calls:

13.0ms	(*.f64 (-.f64 z x) (/.f64 (+.f64 z x) y))
11.0ms	(-.f64 (*.f64 (-.f64 z x) (/.f64 (+.f64 z x) y)) y)
5.0ms	(/.f64 (+.f64 z x) y)

Compiler

Compiled 1868 to 654 computations (65% saved)

series887.0ms (5.3%)

Error

Counts

3 → 48

Calls

3 calls:

397.0ms	(-.f64 (*.f64 (-.f64 z x) (/.f64 (+.f64 z x) y)) y)
314.0ms	(*.f64 (-.f64 z x) (/.f64 (+.f64 z x) y))
143.0ms	(/.f64 (+.f64 z x) y)

Compiler

Compiled 1355 to 1147 computations (15.4% saved)

simplify63.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	4977	1890
1	4977	1890

prune160.0ms (1%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	136	0	136
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	136	7	143

Error

Counts

143 → 7

Compiler

Compiled 1687 to 631 computations (62.6% saved)

regimes7.8s (46.6%)

Accuracy

Total 0.1b remaining (59.8%)

Threshold costs 0.1b (59.8%)

Compiler

Compiled 79425 to 54419 computations (31.5% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	81	21
1	81	21

end1.0ms (0%)

Compiler: Compiled 14 to 11 computations (21.4% saved)

sample1.0s (6%)

Algorithm

1×

intervals

Results

340.0ms	8000×	body	128	valid
117.0ms	2899×	body	128	invalid

Compiler

Compiled 179 to 138 computations (22.9% saved)

Details

analyze870.0ms (5.2%)

sample27.0ms (0.2%)

simplify77.0ms (0.5%)

prune10.0ms (0.1%)

localize9.0ms (0.1%)

rewrite134.0ms (0.8%)

series851.0ms (5.1%)

simplify63.0ms (0.4%)

prune123.0ms (0.7%)

localize9.0ms (0.1%)

rewrite341.0ms (2%)

series875.0ms (5.2%)

simplify91.0ms (0.5%)

prune271.0ms (1.6%)

localize10.0ms (0.1%)

rewrite1.1s (6.7%)

series974.0ms (5.8%)

simplify176.0ms (1.1%)

prune573.0ms (3.4%)

localize10.0ms (0.1%)

rewrite204.0ms (1.2%)

series887.0ms (5.3%)

simplify63.0ms (0.4%)

prune160.0ms (1%)

regimes7.8s (46.6%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end1.0ms (0%)

sample1.0s (6%)

Profiling