Details

analyze19.0ms (0.4%)

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
50%	50%	0.1%	3
74.9%	25%	0.1%	4
74.9%	25%	0.1%	5
87.4%	12.5%	0.1%	6
87.4%	12.5%	0.1%	7
93.7%	6.2%	0.1%	8
93.7%	6.2%	0.1%	9
96.8%	3.1%	0.1%	10
96.8%	3.1%	0.1%	11
98.3%	1.6%	0.1%	12
98.3%	1.6%	0.1%	13
99.1%	0.8%	0.1%	14

Compiler

Compiled 8 to 8 computations (0% saved)

sample17.0ms (0.4%)

Algorithm

1×

intervals

Results

5.0ms	243×	body	128	valid
0.0ms	6×	body	1024	valid
0.0ms	3×	body	2048	valid
0.0ms	3×	body	512	valid
0.0ms	1×	body	256	valid

Compiler

Compiled 15 to 17 computations (-13.3% saved)

simplify101.0ms (2.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (7.0ms)

Iter	Nodes	Cost
0	98	7
1	98	7

prune4.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

Error

0.1b

Counts

2 → 1

Compiler

Compiled 10 to 10 computations (0% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(-.f64 x (*.f64 3/8 y))
0.0b	(-.f64 x (*.f64 3/8 y))

rewrite5.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`add-log-exp_binary64_5914`
1×	`add-cube-cbrt_binary64_5910` `add-exp-log_binary64_5913` `diff-log_binary64_5967` `sub-neg_binary64_5868` `add-sqr-sqrt_binary64_5897` `cancel-sign-sub-inv_binary64_5841` `*-un-lft-identity_binary64_5875` `add-cbrt-cube_binary64_5911` `pow1_binary64_5936` `flip3--_binary64_5879` `flip--_binary64_5850`

Counts

1 → 12

Calls

2 calls:

4.0ms	(-.f64 x (*.f64 3/8 y))
0.0ms	(-.f64 x (*.f64 3/8 y))

series64.0ms (1.5%)

Counts

1 → 12

Calls

1 calls:

63.0ms

(-.f64 x (*.f64 3/8 y))

Compiler

Compiled 72 to 78 computations (-8.3% saved)

simplify90.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

24 → 24

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	5770	201

prune18.0ms (0.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	21	3	24
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	21	4	25

Error

0.0b

Counts

25 → 4

Compiler

Compiled 214 to 148 computations (30.8% saved)

localize9.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.3b	(.f64 (.f64 (cbrt.f64 (-.f64 x (.f64 3/8 y))) (cbrt.f64 (-.f64 x (.f64 3/8 y)))) (cbrt.f64 (-.f64 x (*.f64 3/8 y))))
0.0b	(-.f64 x (*.f64 3/8 y))
0.0b	(-.f64 x (*.f64 3/8 y))
0.0b	(-.f64 x (*.f64 3/8 y))
0.5b	(.f64 (cbrt.f64 (-.f64 x (.f64 3/8 y))) (cbrt.f64 (-.f64 x (*.f64 3/8 y))))
0.6b	(cbrt.f64 (-.f64 x (*.f64 3/8 y)))
0.6b	(cbrt.f64 (-.f64 x (*.f64 3/8 y)))
0.6b	(cbrt.f64 (-.f64 x (*.f64 3/8 y)))

rewrite29.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`cbrt-prod_binary64_5906`
23×	`add-sqr-sqrt_binary64_5897`
18×	`cbrt-div_binary64_5907`
15×	`add-cube-cbrt_binary64_5910` `*-un-lft-identity_binary64_5875`
11×	`pow1_binary64_5936`
9×	`flip3--_binary64_5879` `pow1/3_binary64_5957` `flip--_binary64_5850`
6×	`add-exp-log_binary64_5913` `associate-r_binary64_5815` `associate-l_binary64_5816` `swap-sqr_binary64_5842`
4×	`frac-times_binary64_5885` `unswap-sqr_binary64_5843` `add-cbrt-cube_binary64_5911` `add-log-exp_binary64_5914`
2×	`pow-prod-down_binary64_5946` `pow-sqr_binary64_5848` `associate-l/_binary64_5818` `pow-prod-up_binary64_5945` `associate-r/_binary64_5817`
1×	`pow-plus_binary64_5938` `cbrt-unprod_binary64_5908` `pow2_binary64_5956` `prod-exp_binary64_5924` `*-commutative_binary64_5806`

Counts

4 → 87

Calls

8 calls:

12.0ms	(.f64 (cbrt.f64 (-.f64 x (.f64 3/8 y))) (cbrt.f64 (-.f64 x (*.f64 3/8 y))))
3.0ms	(cbrt.f64 (-.f64 x (*.f64 3/8 y)))
3.0ms	(cbrt.f64 (-.f64 x (*.f64 3/8 y)))
3.0ms	(cbrt.f64 (-.f64 x (*.f64 3/8 y)))
0.0ms	(-.f64 x (*.f64 3/8 y))

series628.0ms (14.5%)

Counts

4 → 65

Calls

4 calls:

221.0ms	(.f64 (cbrt.f64 (-.f64 x (.f64 3/8 y))) (cbrt.f64 (-.f64 x (*.f64 3/8 y))))
137.0ms	(cbrt.f64 (-.f64 x (*.f64 3/8 y)))
135.0ms	(cbrt.f64 (-.f64 x (*.f64 3/8 y)))
135.0ms	(cbrt.f64 (-.f64 x (*.f64 3/8 y)))

Compiler

Compiled 2834 to 2434 computations (14.1% saved)

simplify78.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

152 → 152

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	4988	3668
1	4988	3668

prune248.0ms (5.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	149	3	152
Fresh	1	1	2
Picked	1	0	1
Done	0	1	1
Total	151	5	156

Error

0.0b

Counts

156 → 5

Compiler

Compiled 4507 to 3209 computations (28.8% saved)

localize16.0ms (0.4%)

Local error

Found 8 expressions with local error:

0.0b	(-.f64 x (*.f64 3/8 y))
0.0b	(-.f64 x (*.f64 3/8 y))
0.0b	(-.f64 x (*.f64 3/8 y))
0.0b	(-.f64 x (*.f64 3/8 y))
0.6b	(cbrt.f64 (-.f64 x (*.f64 3/8 y)))
0.6b	(cbrt.f64 (-.f64 x (*.f64 3/8 y)))
0.6b	(cbrt.f64 (-.f64 x (*.f64 3/8 y)))
0.6b	(cbrt.f64 (-.f64 x (*.f64 3/8 y)))

rewrite19.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`cbrt-prod_binary64_5906`
8×	`add-cube-cbrt_binary64_5910` `add-sqr-sqrt_binary64_5897` `*-un-lft-identity_binary64_5875` `cbrt-div_binary64_5907`
4×	`add-exp-log_binary64_5913` `add-cbrt-cube_binary64_5911` `pow1_binary64_5936` `flip3--_binary64_5879` `pow1/3_binary64_5957` `add-log-exp_binary64_5914` `flip--_binary64_5850`

Counts

4 → 52

Calls

8 calls:

3.0ms	(cbrt.f64 (-.f64 x (*.f64 3/8 y)))
3.0ms	(cbrt.f64 (-.f64 x (*.f64 3/8 y)))
3.0ms	(cbrt.f64 (-.f64 x (*.f64 3/8 y)))
3.0ms	(cbrt.f64 (-.f64 x (*.f64 3/8 y)))
0.0ms	(-.f64 x (*.f64 3/8 y))

series573.0ms (13.2%)

Counts

4 → 60

Calls

4 calls:

148.0ms	(cbrt.f64 (-.f64 x (*.f64 3/8 y)))
146.0ms	(cbrt.f64 (-.f64 x (*.f64 3/8 y)))
140.0ms	(cbrt.f64 (-.f64 x (*.f64 3/8 y)))
139.0ms	(cbrt.f64 (-.f64 x (*.f64 3/8 y)))

Compiler

Compiled 3928 to 3228 computations (17.8% saved)

simplify63.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5020	2560

prune277.0ms (6.4%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	111	1	112
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	111	6	117

Error

0.0b

Counts

117 → 6

Compiler

Compiled 5396 to 3907 computations (27.6% saved)

localize14.0ms (0.3%)

Local error

Found 8 expressions with local error:

0.0b	(-.f64 x (*.f64 3/8 y))
0.0b	(-.f64 x (*.f64 3/8 y))
0.0b	(-.f64 x (*.f64 3/8 y))
0.0b	(-.f64 x (*.f64 3/8 y))
0.3b	(cbrt.f64 (sqrt.f64 (-.f64 x (*.f64 3/8 y))))
0.3b	(cbrt.f64 (sqrt.f64 (-.f64 x (*.f64 3/8 y))))
0.6b	(cbrt.f64 (-.f64 x (*.f64 3/8 y)))
0.6b	(cbrt.f64 (-.f64 x (*.f64 3/8 y)))

rewrite19.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`cbrt-prod_binary64_5906`
10×	`add-cube-cbrt_binary64_5910` `add-sqr-sqrt_binary64_5897` `*-un-lft-identity_binary64_5875`
8×	`cbrt-div_binary64_5907`
6×	`sqrt-prod_binary64_5891`
4×	`add-exp-log_binary64_5913` `sqrt-div_binary64_5892` `add-cbrt-cube_binary64_5911` `pow1_binary64_5936` `flip3--_binary64_5879` `pow1/3_binary64_5957` `add-log-exp_binary64_5914` `flip--_binary64_5850`

Counts

4 → 58

Calls

8 calls:

4.0ms	(cbrt.f64 (sqrt.f64 (-.f64 x (*.f64 3/8 y))))
3.0ms	(cbrt.f64 (sqrt.f64 (-.f64 x (*.f64 3/8 y))))
3.0ms	(cbrt.f64 (-.f64 x (*.f64 3/8 y)))
3.0ms	(cbrt.f64 (-.f64 x (*.f64 3/8 y)))
0.0ms	(-.f64 x (*.f64 3/8 y))

series563.0ms (13%)

Counts

4 → 60

Calls

4 calls:

148.0ms	(cbrt.f64 (-.f64 x (*.f64 3/8 y)))
145.0ms	(cbrt.f64 (-.f64 x (*.f64 3/8 y)))
137.0ms	(cbrt.f64 (sqrt.f64 (-.f64 x (*.f64 3/8 y))))
133.0ms	(cbrt.f64 (sqrt.f64 (-.f64 x (*.f64 3/8 y))))

Compiler

Compiled 3310 to 2752 computations (16.9% saved)

simplify90.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

118 → 118

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4928	3070
1	4928	3070

prune274.0ms (6.3%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	116	2	118
Fresh	0	3	3
Picked	1	0	1
Done	0	2	2
Total	117	7	124

Error

0.0b

Counts

124 → 7

Compiler

Compiled 4764 to 3539 computations (25.7% saved)

simplify11.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	128	650
1	128	650

regimes81.0ms (1.9%)

Compiler: Compiled 822 to 678 computations (17.5% saved)

bsearch0.0ms (0%)

regimes103.0ms (2.4%)

Compiler: Compiled 18 to 38 computations (-111.1% saved)

bsearch63.0ms (1.5%)

Steps

Iters	Range		Point
10	2.082865652887552e+61	1.3221877206871524e+71	5.981266544615255e+61
7	2.0210433336305833e+39	2.5698244259698837e+41	6.561011205482206e+39
6	2.5873824368414814e+25	1.0901974497726741e+26	3.182123080566351e+25
8	3.2255503857219943e-50	1.2454944834050642e-47	7.147788070644602e-50
9	2.2581175268175764e-62	2.3273494037929112e-56	2.253701988489841e-59
7	-6.043697511137298e-63	-5.541107138751133e-65	-4.884132055789445e-63

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes18.0ms (0.4%)

Compiler: Compiled 12 to 30 computations (-150% saved)

bsearch0.0ms (0%)

regimes18.0ms (0.4%)

Accuracy

Total 0.1b remaining (66.2%)

Threshold costs 0.1b (66.2%)

Compiler

Compiled 10 to 26 computations (-160% saved)

bsearch3.0ms (0.1%)

Compiler: Compiled 46 to 38 computations (17.4% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	85	56
1	85	56

end0.0ms (0%)

sample816.0ms (18.8%)

Algorithm

1×

intervals

Results

167.0ms	7455×	body	128	valid
14.0ms	192×	body	1024	valid
13.0ms	144×	body	2048	valid
11.0ms	131×	body	512	valid
3.0ms	78×	body	256	valid

Compiler

Compiled 455 to 380 computations (16.5% saved)

Pareto

0.5386445691141124

Details

analyze19.0ms (0.4%)

sample17.0ms (0.4%)

simplify101.0ms (2.3%)

prune4.0ms (0.1%)

localize5.0ms (0.1%)

rewrite5.0ms (0.1%)

series64.0ms (1.5%)

simplify90.0ms (2.1%)

prune18.0ms (0.4%)

localize9.0ms (0.2%)

rewrite29.0ms (0.7%)

series628.0ms (14.5%)

simplify78.0ms (1.8%)

prune248.0ms (5.7%)

localize16.0ms (0.4%)

rewrite19.0ms (0.4%)

series573.0ms (13.2%)

simplify63.0ms (1.5%)

prune277.0ms (6.4%)

localize14.0ms (0.3%)

rewrite19.0ms (0.4%)

series563.0ms (13%)

simplify90.0ms (2.1%)

prune274.0ms (6.3%)

simplify11.0ms (0.2%)

regimes81.0ms (1.9%)

bsearch0.0ms (0%)

regimes103.0ms (2.4%)

bsearch63.0ms (1.5%)

regimes18.0ms (0.4%)

bsearch0.0ms (0%)

regimes18.0ms (0.4%)

bsearch3.0ms (0.1%)

simplify5.0ms (0.1%)

end0.0ms (0%)

sample816.0ms (18.8%)

Profiling