Details

analyze573.0ms (8.8%)

Algorithm

1×

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
3.1%	90.5%	6.3%	6
4.7%	85.9%	9.5%	7
21.1%	64%	14.9%	8
23.4%	58.9%	17.7%	9
27.7%	51.3%	21%	10
28.9%	48.5%	22.6%	11
31.1%	44.4%	24.5%	12
31.7%	42.9%	25.4%	13
32.7%	41%	26.3%	14

Compiler

Compiled 12 to 9 computations (25% saved)

sample61.0ms (0.9%)

Algorithm

1×

intervals

Results

23.0ms	56×	body	1024	valid
9.0ms	146×	body	128	valid
7.0ms	29×	body	512	valid
5.0ms	20×	body	256	valid
3.0ms	5×	body	2048	valid
2.0ms	6×	body	1024	invalid
1.0ms	5×	body	512	invalid
1.0ms	11×	body	128	invalid
1.0ms	4×	body	256	invalid
0.0ms	8×	body	128	nan

Compiler

Compiled 23 to 19 computations (17.4% saved)

simplify236.0ms (3.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	4943	13
1	4943	13

prune7.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	0	1	1
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 11.0b

Counts

2 → 1

Compiler

Compiled 38 to 26 computations (31.6% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (pow.f64 (/.f64 x (+.f64 x y)) x) x)
0.0b	(/.f64 x (+.f64 x y))
5.1b	(pow.f64 (/.f64 x (+.f64 x y)) x)

rewrite45.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

138×	`times-frac_binary64_5589`
118×	`*-un-lft-identity_binary64_5583`
90×	`unpow-prod-down_binary64_5662`
80×	`add-cube-cbrt_binary64_5618` `add-sqr-sqrt_binary64_5605`
25×	`associate-/l*_binary64_5528`
19×	`distribute-lft-out_binary64_5534`
16×	`add-exp-log_binary64_5621`
12×	`associate-/r/_binary64_5529`
7×	`div-inv_binary64_5580` `associate-/r*_binary64_5527` `div-exp_binary64_5634` `add-cbrt-cube_binary64_5619`
6×	`flip-+_binary64_5557` `flip3-+_binary64_5586`
5×	`sqr-pow_binary64_5555`
4×	`pow1_binary64_5644` `pow-exp_binary64_5651`
3×	`pow-unpow_binary64_5660` `add-log-exp_binary64_5622`
2×	`clear-num_binary64_5582` `frac-2neg_binary64_5594` `pow-to-exp_binary64_5652` `cbrt-undiv_binary64_5617`
1×	`pow-pow_binary64_5655`

Counts

3 → 172

Calls

3 calls:

13.0ms	(/.f64 (pow.f64 (/.f64 x (+.f64 x y)) x) x)
8.0ms	(pow.f64 (/.f64 x (+.f64 x y)) x)
6.0ms	(/.f64 x (+.f64 x y))

series662.0ms (10.2%)

Counts

3 → 9

Calls

3 calls:

365.0ms	(pow.f64 (/.f64 x (+.f64 x y)) x)
249.0ms	(/.f64 (pow.f64 (/.f64 x (+.f64 x y)) x) x)
48.0ms	(/.f64 x (+.f64 x y))

simplify114.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

181 → 181

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	4929	4031
1	4929	4031

prune336.0ms (5.2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	175	6	181
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	176	6	182

Merged error: 0.3b

Counts

182 → 6

Compiler

Compiled 7285 to 2582 computations (64.6% saved)

localize19.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
1.9b	(pow.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y)))) x)

rewrite30.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`add-exp-log_binary64_5621`
13×	`unpow-prod-down_binary64_5662`
12×	`cbrt-div_binary64_5615`
9×	`cbrt-prod_binary64_5614` `*-un-lft-identity_binary64_5583` `add-cube-cbrt_binary64_5618` `add-sqr-sqrt_binary64_5605`
8×	`associate-/r/_binary64_5529`
6×	`flip-+_binary64_5557` `flip3-+_binary64_5586`
5×	`pow1_binary64_5644` `pow-exp_binary64_5651`
4×	`div-exp_binary64_5634` `frac-times_binary64_5593` `prod-exp_binary64_5632` `add-cbrt-cube_binary64_5619` `add-log-exp_binary64_5622`
3×	`pow1/3_binary64_5665` `pow-unpow_binary64_5660`
2×	`associate-l/_binary64_5526` `associate-r/_binary64_5525`
1×	`div-inv_binary64_5580` `sqr-pow_binary64_5555` `pow-to-exp_binary64_5652` `pow-pow_binary64_5655` `times-frac_binary64_5589`

Counts

4 → 64

Calls

4 calls:

18.0ms	(pow.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y)))) x)
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)

series989.0ms (15.2%)

Counts

4 → 12

Calls

4 calls:

504.0ms	(pow.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y)))) x)
170.0ms	(cbrt.f64 x)
163.0ms	(cbrt.f64 x)
151.0ms	(cbrt.f64 x)

simplify46.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5551	1340

prune113.0ms (1.7%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	75	1	76
Fresh	2	3	5
Picked	1	0	1
Done	0	0	0
Total	78	4	82

Merged error: 0.0b

Counts

82 → 4

Compiler

Compiled 3020 to 792 computations (73.8% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (+.f64 x y))
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)

rewrite12.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`cbrt-prod_binary64_5614`
10×	`*-un-lft-identity_binary64_5583`
8×	`add-cube-cbrt_binary64_5618` `add-sqr-sqrt_binary64_5605`
4×	`pow1/3_binary64_5665` `pow1_binary64_5644` `add-exp-log_binary64_5621` `add-cbrt-cube_binary64_5619` `add-log-exp_binary64_5622`
2×	`cbrt-div_binary64_5615`
1×	`flip-+_binary64_5557` `distribute-lft-out_binary64_5534` `flip3-+_binary64_5586`

Counts

4 → 47

Calls

4 calls:

3.0ms	(cbrt.f64 (+.f64 x y))
2.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)

series694.0ms (10.6%)

Counts

4 → 12

Calls

4 calls:

217.0ms	(cbrt.f64 (+.f64 x y))
174.0ms	(cbrt.f64 x)
153.0ms	(cbrt.f64 x)
149.0ms	(cbrt.f64 x)

simplify109.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

59 → 59

Iterations

Useful iterations: 0 (96.0ms)

Iter	Nodes	Cost
0	4809	474
1	4809	474

prune64.0ms (1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	59	0	59
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	59	4	63

Merged error: 0.0b

Counts

63 → 4

Compiler

Compiled 2117 to 393 computations (81.4% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b	(/.f64 (exp.f64 (neg.f64 y)) x)

rewrite10.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`*-un-lft-identity_binary64_5583` `add-cube-cbrt_binary64_5618` `add-sqr-sqrt_binary64_5605` `times-frac_binary64_5589`
3×	`associate-/l_binary64_5528` `associate-/r_binary64_5527` `add-cbrt-cube_binary64_5619`
2×	`add-exp-log_binary64_5621` `associate-/l/_binary64_5530`
1×	`div-inv_binary64_5580` `clear-num_binary64_5582` `exp-neg_binary64_5630` `pow1_binary64_5644` `exp-diff_binary64_5631` `div-exp_binary64_5634` `frac-2neg_binary64_5594` `cbrt-undiv_binary64_5617` `add-log-exp_binary64_5622` `neg-sub0_binary64_5578`

Counts

1 → 29

Calls

1 calls:

8.0ms

(/.f64 (exp.f64 (neg.f64 y)) x)

series46.0ms (0.7%)

Counts

1 → 3

Calls

1 calls:

46.0ms

(/.f64 (exp.f64 (neg.f64 y)) x)

simplify135.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

32 → 32

Iterations

Useful iterations: 0 (124.0ms)

Iter	Nodes	Cost
0	5287	435

prune78.0ms (1.2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	30	2	32
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	30	6	36

Merged error: 0b

Counts

36 → 6

Compiler

Compiled 1405 to 583 computations (58.5% saved)

regimes62.0ms (1%)

Compiler: Compiled 262 to 122 computations (53.4% saved)

bsearch107.0ms (1.6%)

Steps

Iters	Range		Point
8	0.45125801054367204	238.0976628422663	13.914858832862569
11	-3.335634568019571e+97	-7.00200174667811e+72	-7.078050218368682e+72

Compiler

Compiled 1 to 2 computations (-100% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	33	71
1	33	71

end0.0ms (0%)

sample1.9s (29.9%)

Algorithm

1×

intervals

Results

680.0ms	1762×	body	1024	valid
281.0ms	4545×	body	128	valid
233.0ms	991×	body	512	valid
124.0ms	173×	body	2048	valid
74.0ms	529×	body	256	valid
69.0ms	196×	body	1024	invalid
49.0ms	228×	body	512	invalid
20.0ms	151×	body	256	invalid
15.0ms	229×	body	128	invalid
10.0ms	172×	body	128	nan

Compiler

Compiled 230 to 113 computations (50.9% saved)

Details

analyze573.0ms (8.8%)

sample61.0ms (0.9%)

simplify236.0ms (3.6%)

prune7.0ms (0.1%)

localize6.0ms (0.1%)

rewrite45.0ms (0.7%)

series662.0ms (10.2%)

simplify114.0ms (1.7%)

prune336.0ms (5.2%)

localize19.0ms (0.3%)

rewrite30.0ms (0.5%)

series989.0ms (15.2%)

simplify46.0ms (0.7%)

prune113.0ms (1.7%)

localize13.0ms (0.2%)

rewrite12.0ms (0.2%)

series694.0ms (10.6%)

simplify109.0ms (1.7%)

prune64.0ms (1%)

localize4.0ms (0.1%)

rewrite10.0ms (0.2%)

series46.0ms (0.7%)

simplify135.0ms (2.1%)

prune78.0ms (1.2%)

regimes62.0ms (1%)

bsearch107.0ms (1.6%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.9s (29.9%)

Profiling