Details

analyze406.0ms (0.5%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4733	38
1	4733	38
0	2	2
1	2	2

Search

True	Other	False	Iter
0%	56.2%	43.8%	0
0%	56.2%	43.8%	1
28.1%	28.1%	43.8%	2
56.2%	0%	43.8%	3

Compiler

Compiled 20 to 16 computations (20% saved)

sample33.0ms (0%)

Algorithm

1×

intervals

Results

9.0ms	256×	pre	128	true
6.0ms	195×	body	128	valid
4.0ms	29×	body	1024	valid
1.0ms	13×	body	512	valid
1.0ms	16×	body	256	valid
0.0ms	3×	body	2048	valid

Compiler

Compiled 33 to 29 computations (12.1% saved)

simplify264.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (258.0ms)

Iter	Nodes	Cost
0	5018	19

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

15.3b

Counts

2 → 1

Compiler

Compiled 26 to 22 computations (15.4% saved)

localize8.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2))
2.5b	(+.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2)) 1)

rewrite117.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Error

14.7b

Rules

58×	`*-un-lft-identity_binary64_2465`
26×	`add-sqr-sqrt_binary64_2487`
25×	`times-frac_binary64_2471`
19×	`distribute-lft-out_binary64_2416`
14×	`add-cube-cbrt_binary64_2500`
6×	`difference-of-squares_binary64_2434` `distribute-lft-out--_binary64_2417`
5×	`associate-/l_binary64_2410` `associate-/r_binary64_2409`
4×	`add-log-exp_binary64_2504` `add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501`
2×	`pow1_binary64_2526` `flip3-+_binary64_2468` `flip-+_binary64_2439` `div-sub_binary64_2470` `associate-/l/_binary64_2412` `associate-/r/_binary64_2411`
1×	`sum-log_binary64_2556` `associate-+l-_binary64_2400` `+-commutative_binary64_2395` `div-exp_binary64_2516` `cbrt-undiv_binary64_2499` `frac-2neg_binary64_2476` `clear-num_binary64_2464` `div-inv_binary64_2462` `flip3--_binary64_2469` `flip--_binary64_2440`

Counts

2 → 65

Calls

2 calls:

20.0ms	(+.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2)) 1)
11.0ms	(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2))

Compiler

Compiled 1500 to 803 computations (46.5% saved)

series442.0ms (0.5%)

Error

0.1b

Counts

2 → 44

Calls

2 calls:

215.0ms	(+.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2)) 1)
146.0ms	(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2))

Compiler

Compiled 3676 to 2957 computations (19.6% saved)

simplify79.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5091	3318

prune139.0ms (0.2%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	104	5	109
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	105	5	110

Error

0.0b

Counts

110 → 5

Compiler

Compiled 3010 to 1867 computations (38% saved)

localize14.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (+.f64 1 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))) 3)) (+.f64 1 (*.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))) (+.f64 -1 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta)))))))
0.1b	(pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))) 3)
1.1b	(+.f64 -1 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))))
2.5b	(+.f64 1 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))) 3))

rewrite498.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

118×	`*-un-lft-identity_binary64_2465`
62×	`times-frac_binary64_2471`
56×	`add-sqr-sqrt_binary64_2487`
36×	`add-cube-cbrt_binary64_2500` `distribute-lft-out_binary64_2416`
31×	`unpow-prod-down_binary64_2544` `cube-prod_binary64_2493`
10×	`difference-of-squares_binary64_2434` `distribute-lft-out--_binary64_2417`
9×	`add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501`
8×	`add-log-exp_binary64_2504`
6×	`flip3-+_binary64_2468` `flip-+_binary64_2439` `associate-/r/_binary64_2411`
5×	`pow1_binary64_2526`
4×	`associate-/l*_binary64_2410`
3×	`div-inv_binary64_2462` `pow-unpow_binary64_2542` `associate-/r*_binary64_2409`
2×	`sum-log_binary64_2556` `+-commutative_binary64_2395` `div-exp_binary64_2516` `pow-exp_binary64_2533` `rem-cube-cbrt_binary64_2488` `cbrt-undiv_binary64_2499` `associate-/l/_binary64_2412`
1×	`div-sub_binary64_2470` `associate-+r-_binary64_2399` `pow-pow_binary64_2537` `pow-to-exp_binary64_2534` `unpow3_binary64_2531` `cube-mult_binary64_2495` `cube-div_binary64_2494` `sqr-pow_binary64_2437` `frac-2neg_binary64_2476` `clear-num_binary64_2464`

Counts

4 → 142

Calls

4 calls:

33.0ms	(/.f64 (+.f64 1 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))) 3)) (+.f64 1 (*.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))) (+.f64 -1 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta)))))))
27.0ms	(+.f64 1 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))) 3))
19.0ms	(+.f64 -1 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))))
14.0ms	(pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))) 3)

Compiler

Compiled 7973 to 4959 computations (37.8% saved)

series1.1min (81.9%)

Error

0.0b

Counts

4 → 73

Calls

4 calls:

1.0min	(/.f64 (+.f64 1 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))) 3)) (+.f64 1 (*.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))) (+.f64 -1 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta)))))))
518.0ms	(+.f64 1 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))) 3))
214.0ms	(pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))) 3)
192.0ms	(+.f64 -1 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))))

Compiler

Compiled 71437 to 56596 computations (20.8% saved)

simplify373.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

215 → 215

Iterations

Useful iterations: 0 (27.0ms)

Iter	Nodes	Cost
0	5305	56090

prune4.3s (5.3%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	212	3	215
Fresh	1	3	4
Picked	1	0	1
Done	0	0	0
Total	214	6	220

Error

0.0b

Counts

220 → 6

Compiler

Compiled 42862 to 29461 computations (31.3% saved)

localize17.0ms (0%)

Local error

Found 4 expressions with local error:

0.1b	(pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))) 3)
1.1b	(+.f64 -1 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))))
2.5b	(+.f64 1 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))) 3))
2.5b	(log.f64 (exp.f64 (+.f64 1 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))) 3))))

rewrite417.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

105×	`*-un-lft-identity_binary64_2465`
50×	`times-frac_binary64_2471`
49×	`add-sqr-sqrt_binary64_2487`
33×	`distribute-lft-out_binary64_2416`
31×	`unpow-prod-down_binary64_2544` `cube-prod_binary64_2493`
29×	`add-cube-cbrt_binary64_2500`
10×	`difference-of-squares_binary64_2434` `distribute-lft-out--_binary64_2417`
8×	`add-log-exp_binary64_2504`
7×	`add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501`
6×	`pow1_binary64_2526`
5×	`log-pow_binary64_2554`
4×	`exp-prod_binary64_2517` `log-prod_binary64_2551` `flip3-+_binary64_2468` `flip-+_binary64_2439` `associate-/r/_binary64_2411`
3×	`pow-unpow_binary64_2542`
2×	`sum-log_binary64_2556` `+-commutative_binary64_2395` `div-inv_binary64_2462` `pow-exp_binary64_2533` `rem-cube-cbrt_binary64_2488`
1×	`exp-sum_binary64_2511` `rem-log-exp_binary64_2506` `div-sub_binary64_2470` `associate-+r-_binary64_2399` `pow-pow_binary64_2537` `pow-to-exp_binary64_2534` `div-exp_binary64_2516` `unpow3_binary64_2531` `cube-mult_binary64_2495` `cube-div_binary64_2494` `cbrt-undiv_binary64_2499` `sqr-pow_binary64_2437`

Counts

4 → 124

Calls

4 calls:

31.0ms	(+.f64 1 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))) 3))
29.0ms	(log.f64 (exp.f64 (+.f64 1 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))) 3))))
16.0ms	(+.f64 -1 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))))
15.0ms	(pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))) 3)

Compiler

Compiled 6634 to 4225 computations (36.3% saved)

series1.7s (2.1%)

Error

0.0b

Counts

4 → 66

Calls

4 calls:

634.0ms	(log.f64 (exp.f64 (+.f64 1 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))) 3))))
503.0ms	(+.f64 1 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))) 3))
216.0ms	(pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))) 3)
198.0ms	(+.f64 -1 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))))

Compiler

Compiled 10081 to 7577 computations (24.8% saved)

simplify105.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

190 → 190

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5007	5737

prune535.0ms (0.7%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	188	2	190
Fresh	2	3	5
Picked	1	0	1
Done	0	0	0
Total	191	5	196

Error

0.0b

Counts

196 → 5

Compiler

Compiled 10058 to 6303 computations (37.3% saved)

localize12.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta)))
0.1b	(pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))) 3)
2.5b	(+.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))) 3)) 1)
11.5b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))) 3))

rewrite643.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

246×	`*-un-lft-identity_binary64_2465`
125×	`times-frac_binary64_2471`
114×	`add-sqr-sqrt_binary64_2487`
79×	`distribute-lft-out_binary64_2416`
68×	`cbrt-prod_binary64_2496`
62×	`add-cube-cbrt_binary64_2500` `unpow-prod-down_binary64_2544` `cube-prod_binary64_2493`
26×	`difference-of-squares_binary64_2434` `distribute-lft-out--_binary64_2417`
10×	`associate-/r/_binary64_2411`
9×	`add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501`
6×	`add-log-exp_binary64_2504` `flip3-+_binary64_2468` `flip-+_binary64_2439`
5×	`pow1_binary64_2526` `div-inv_binary64_2462` `associate-/l_binary64_2410` `associate-/r_binary64_2409`
3×	`pow-unpow_binary64_2542`
2×	`cube-div_binary64_2494` `unpow3_binary64_2531` `cube-mult_binary64_2495` `sqr-pow_binary64_2437` `div-exp_binary64_2516` `pow-exp_binary64_2533` `rem-cube-cbrt_binary64_2488` `cbrt-undiv_binary64_2499` `associate-/l/_binary64_2412`
1×	`pow1/3_binary64_2547` `cbrt-div_binary64_2497` `rem-cbrt-cube_binary64_2489` `sum-log_binary64_2556` `+-commutative_binary64_2395` `pow-pow_binary64_2537` `pow-to-exp_binary64_2534` `frac-2neg_binary64_2476` `div-sub_binary64_2470` `clear-num_binary64_2464` `flip3--_binary64_2469` `flip--_binary64_2440`

Counts

4 → 224

Calls

4 calls:

204.0ms	(/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta)))
35.0ms	(+.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))) 3)) 1)
15.0ms	(cbrt.f64 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))) 3))
13.0ms	(pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))) 3)

Compiler

Compiled 6392 to 4200 computations (34.3% saved)

series912.0ms (1.1%)

Error

0.0b

Counts

4 → 83

Calls

4 calls:

250.0ms	(+.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))) 3)) 1)
198.0ms	(pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))) 3)
170.0ms	(cbrt.f64 (pow.f64 (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta))) 3))
146.0ms	(/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 2 beta)))

Compiler

Compiled 6938 to 5703 computations (17.8% saved)

simplify119.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

307 → 307

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	4961	9044
1	4961	9044

prune417.0ms (0.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	306	1	307
Fresh	1	3	4
Picked	0	1	1
Done	0	0	0
Total	307	5	312

Error

0.0b

Counts

312 → 5

Compiler

Compiled 8077 to 5120 computations (36.6% saved)

regimes761.0ms (0.9%)

Accuracy

Total 0.2b remaining (88%)

Threshold costs 0.2b (88%)

Compiler

Compiled 9972 to 7420 computations (25.6% saved)

bsearch3.0ms (0%)

Compiler: Compiled 9 to 7 computations (22.2% saved)

simplify9.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	285	165
1	285	165

end0.0ms (0%)

sample2.3s (2.9%)

Algorithm

1×

intervals

Results

208.0ms	5991×	body	128	valid
131.0ms	1015×	body	1024	valid
130.0ms	8000×	pre	128	true
58.0ms	587×	body	512	valid
20.0ms	324×	body	256	valid
17.0ms	83×	body	2048	valid

Compiler

Compiled 2050 to 1510 computations (26.3% saved)

Details

analyze406.0ms (0.5%)

sample33.0ms (0%)

simplify264.0ms (0.3%)

prune2.0ms (0%)

localize8.0ms (0%)

rewrite117.0ms (0.1%)

series442.0ms (0.5%)

simplify79.0ms (0.1%)

prune139.0ms (0.2%)

localize14.0ms (0%)

rewrite498.0ms (0.6%)

series1.1min (81.9%)

simplify373.0ms (0.5%)

prune4.3s (5.3%)

localize17.0ms (0%)

rewrite417.0ms (0.5%)

series1.7s (2.1%)

simplify105.0ms (0.1%)

prune535.0ms (0.7%)

localize12.0ms (0%)

rewrite643.0ms (0.8%)

series912.0ms (1.1%)

simplify119.0ms (0.1%)

prune417.0ms (0.5%)

regimes761.0ms (0.9%)

bsearch3.0ms (0%)

simplify9.0ms (0%)

end0.0ms (0%)

sample2.3s (2.9%)

Profiling