Details

analyze402.0ms (4.7%)

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)

sample29.0ms (0.3%)

Algorithm

1×

intervals

Results

6.0ms	189×	body	128	valid
5.0ms	37×	body	1024	valid
4.0ms	256×	pre	128	true
1.0ms	13×	body	512	valid
1.0ms	13×	body	256	valid
1.0ms	4×	body	2048	valid

Compiler

Compiled 33 to 29 computations (12.1% saved)

simplify251.0ms (2.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (245.0ms)

Iter	Nodes	Cost
0	5018	19

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

16.8b

Counts

2 → 1

Compiler

Compiled 26 to 22 computations (15.4% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite115.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

16.0b

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:

18.0ms	(+.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2)) 1)
10.0ms	(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2))

Compiler

Compiled 1500 to 803 computations (46.5% saved)

series472.0ms (5.5%)

Error

0.0b

Counts

2 → 44

Calls

2 calls:

235.0ms	(+.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2)) 1)
161.0ms	(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2))

Compiler

Compiled 3588 to 2887 computations (19.5% saved)

simplify73.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4957	3204
1	4957	3204

prune132.0ms (1.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	106	3	109
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	106	4	110

Error

0.0b

Counts

110 → 4

Compiler

Compiled 2841 to 1741 computations (38.7% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite388.0ms (4.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

276×	`*-un-lft-identity_binary64_2465`
218×	`times-frac_binary64_2471`
143×	`add-sqr-sqrt_binary64_2487`
91×	`add-cube-cbrt_binary64_2500`
80×	`distribute-lft-out_binary64_2416`
36×	`associate-/r*_binary64_2409`
26×	`difference-of-squares_binary64_2434` `distribute-lft-out--_binary64_2417`
16×	`add-exp-log_binary64_2503`
11×	`associate-/r/_binary64_2411`
10×	`add-cbrt-cube_binary64_2501`
8×	`div-exp_binary64_2516` `associate-/l*_binary64_2410`
7×	`div-inv_binary64_2462`
5×	`add-log-exp_binary64_2504` `flip3--_binary64_2469` `flip--_binary64_2440`
4×	`pow1_binary64_2526` `cbrt-undiv_binary64_2499`
2×	`flip3-+_binary64_2468` `flip-+_binary64_2439` `1-exp_binary64_2509` `rec-exp_binary64_2515` `frac-2neg_binary64_2476` `clear-num_binary64_2464` `associate-/l/_binary64_2412`
1×	`sum-log_binary64_2556` `+-commutative_binary64_2395` `inv-pow_binary64_2550` `pow-flip_binary64_2539`

Counts

3 → 212

Calls

3 calls:

39.0ms	(+.f64 (/.f64 1 (/.f64 (+.f64 alpha (+.f64 2 beta)) (-.f64 beta alpha))) 1)
18.0ms	(/.f64 1 (/.f64 (+.f64 alpha (+.f64 2 beta)) (-.f64 beta alpha)))
10.0ms	(/.f64 (+.f64 alpha (+.f64 2 beta)) (-.f64 beta alpha))

Compiler

Compiled 5819 to 3756 computations (35.5% saved)

series575.0ms (6.7%)

Error

0.0b

Counts

3 → 58

Calls

3 calls:

232.0ms	(+.f64 (/.f64 1 (/.f64 (+.f64 alpha (+.f64 2 beta)) (-.f64 beta alpha))) 1)
162.0ms	(/.f64 1 (/.f64 (+.f64 alpha (+.f64 2 beta)) (-.f64 beta alpha)))
92.0ms	(/.f64 (+.f64 alpha (+.f64 2 beta)) (-.f64 beta alpha))

Compiler

Compiled 4437 to 3626 computations (18.3% saved)

simplify96.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

270 → 270

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5045	7473

prune360.0ms (4.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	270	0	270
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	270	4	274

Error

0.0b

Counts

274 → 4

Compiler

Compiled 6905 to 4251 computations (38.4% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(*.f64 (/.f64 beta alpha) (-.f64 2 (/.f64 6 alpha)))
0.2b	(*.f64 (/.f64 beta alpha) (/.f64 beta alpha))
0.5b	(/.f64 4 (*.f64 alpha alpha))
4.0b	(-.f64 (+.f64 (/.f64 2 alpha) (.f64 (/.f64 beta alpha) (-.f64 2 (/.f64 6 alpha)))) (/.f64 4 (.f64 alpha alpha)))

rewrite415.0ms (4.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

84×	`add-sqr-sqrt_binary64_2487`
76×	`times-frac_binary64_2471`
62×	`*-un-lft-identity_binary64_2465`
58×	`add-cube-cbrt_binary64_2500`
33×	`cancel-sign-sub-inv_binary64_2431`
26×	`add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501` `associate-l_binary64_2406`
19×	`associate-r_binary64_2405`
14×	`distribute-rgt-in_binary64_2415` `distribute-lft-in_binary64_2414`
13×	`pow1_binary64_2526` `swap-sqr_binary64_2432`
9×	`add-log-exp_binary64_2504` `div-inv_binary64_2462`
7×	`frac-sub_binary64_2474` `prod-exp_binary64_2514` `div-exp_binary64_2516` `cbrt-undiv_binary64_2499` `cbrt-unprod_binary64_2498`
6×	`frac-add_binary64_2473` `unswap-sqr_binary64_2433`
5×	`flip3--_binary64_2469` `frac-times_binary64_2475` `flip--_binary64_2440` `associate-*r/_binary64_2407`
4×	`associate-*l/_binary64_2408` `difference-of-squares_binary64_2434`
3×	`sub-neg_binary64_2458` `associate-/l*_binary64_2410`
2×	`diff-log_binary64_2557` `distribute-lft-out--_binary64_2417` `pow-prod-down_binary64_2536` `*-commutative_binary64_2396`
1×	`sum-log_binary64_2556` `flip3-+_binary64_2468` `flip-+_binary64_2439` `sub-div_binary64_2472` `associate--l+_binary64_2402` `frac-2neg_binary64_2476` `clear-num_binary64_2464` `associate-/r*_binary64_2409` `pow2_binary64_2546` `pow-prod-up_binary64_2535` `pow-plus_binary64_2528` `pow-sqr_binary64_2438`

Counts

4 → 186

Calls

4 calls:

17.0ms	(*.f64 (/.f64 beta alpha) (-.f64 2 (/.f64 6 alpha)))
13.0ms	(-.f64 (+.f64 (/.f64 2 alpha) (.f64 (/.f64 beta alpha) (-.f64 2 (/.f64 6 alpha)))) (/.f64 4 (.f64 alpha alpha)))
11.0ms	(*.f64 (/.f64 beta alpha) (/.f64 beta alpha))
4.0ms	(/.f64 4 (*.f64 alpha alpha))

Compiler

Compiled 7837 to 4169 computations (46.8% saved)

series569.0ms (6.7%)

Error

0.0b

Counts

4 → 28

Calls

4 calls:

305.0ms	(-.f64 (+.f64 (/.f64 2 alpha) (.f64 (/.f64 beta alpha) (-.f64 2 (/.f64 6 alpha)))) (/.f64 4 (.f64 alpha alpha)))
106.0ms	(*.f64 (/.f64 beta alpha) (-.f64 2 (/.f64 6 alpha)))
95.0ms	(*.f64 (/.f64 beta alpha) (/.f64 beta alpha))
27.0ms	(/.f64 4 (*.f64 alpha alpha))

Compiler

Compiled 2461 to 1726 computations (29.9% saved)

simplify100.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

214 → 214

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4971	3946
1	4971	3946

prune337.0ms (4%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	213	1	214
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	213	5	218

Error

0.0b

Counts

218 → 5

Compiler

Compiled 7972 to 4326 computations (45.7% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(/.f64 4 (*.f64 alpha alpha))
0.5b	(/.f64 4 (*.f64 alpha alpha))
4.0b	(-.f64 (.f64 (/.f64 beta alpha) (-.f64 2 (/.f64 6 alpha))) (/.f64 4 (.f64 alpha alpha)))
4.0b	(-.f64 (.f64 (/.f64 beta alpha) (-.f64 2 (/.f64 6 alpha))) (/.f64 4 (.f64 alpha alpha)))

rewrite474.0ms (5.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

66×	`cancel-sign-sub-inv_binary64_2431`
56×	`associate--l+_binary64_2402`
48×	`times-frac_binary64_2471`
40×	`add-cube-cbrt_binary64_2500` `add-sqr-sqrt_binary64_2487` `*-un-lft-identity_binary64_2465`
28×	`distribute-rgt-in_binary64_2415` `distribute-lft-in_binary64_2414`
14×	`add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501`
10×	`frac-sub_binary64_2474`
8×	`add-log-exp_binary64_2504` `div-inv_binary64_2462`
6×	`flip3--_binary64_2469` `flip--_binary64_2440` `sub-neg_binary64_2458` `associate-/l*_binary64_2410`
4×	`pow1_binary64_2526` `frac-times_binary64_2475` `associate-*r/_binary64_2407` `div-exp_binary64_2516` `cbrt-undiv_binary64_2499`
2×	`diff-log_binary64_2557` `associate-l/_binary64_2408` `prod-exp_binary64_2514` `cbrt-unprod_binary64_2498` `frac-2neg_binary64_2476` `clear-num_binary64_2464` `associate-/r_binary64_2409`

Counts

4 → 144

Calls

4 calls:

20.0ms	(-.f64 (.f64 (/.f64 beta alpha) (-.f64 2 (/.f64 6 alpha))) (/.f64 4 (.f64 alpha alpha)))
17.0ms	(-.f64 (.f64 (/.f64 beta alpha) (-.f64 2 (/.f64 6 alpha))) (/.f64 4 (.f64 alpha alpha)))
5.0ms	(/.f64 4 (*.f64 alpha alpha))
5.0ms	(/.f64 4 (*.f64 alpha alpha))

Compiler

Compiled 9268 to 5403 computations (41.7% saved)

series664.0ms (7.8%)

Error

0.0b

Counts

4 → 30

Calls

4 calls:

278.0ms	(-.f64 (.f64 (/.f64 beta alpha) (-.f64 2 (/.f64 6 alpha))) (/.f64 4 (.f64 alpha alpha)))
266.0ms	(-.f64 (.f64 (/.f64 beta alpha) (-.f64 2 (/.f64 6 alpha))) (/.f64 4 (.f64 alpha alpha)))
32.0ms	(/.f64 4 (*.f64 alpha alpha))
30.0ms	(/.f64 4 (*.f64 alpha alpha))

Compiler

Compiled 4222 to 2853 computations (32.4% saved)

simplify82.0ms (1%)

Algorithm

1×	egg-herbie

Counts

174 → 174

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5074	3280

prune498.0ms (5.8%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	174	0	174
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	174	5	179

Error

0.0b

Counts

179 → 5

Compiler

Compiled 9996 to 5702 computations (43% saved)

regimes576.0ms (6.8%)

Accuracy

Total 0.1b remaining (64.8%)

Threshold costs 0.1b (64.8%)

Compiler

Compiled 6297 to 4680 computations (25.7% saved)

bsearch2.0ms (0%)

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

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	84	83
1	84	83

end0.0ms (0%)

sample1.9s (21.7%)

Algorithm

1×

intervals

Results

197.0ms	5952×	body	128	valid
142.0ms	8000×	pre	128	true
135.0ms	1042×	body	1024	valid
55.0ms	598×	body	512	valid
24.0ms	334×	body	256	valid
11.0ms	74×	body	2048	valid

Compiler

Compiled 1268 to 939 computations (25.9% saved)

Details

analyze402.0ms (4.7%)

sample29.0ms (0.3%)

simplify251.0ms (2.9%)

prune3.0ms (0%)

localize8.0ms (0.1%)

rewrite115.0ms (1.4%)

series472.0ms (5.5%)

simplify73.0ms (0.9%)

prune132.0ms (1.6%)

localize9.0ms (0.1%)

rewrite388.0ms (4.6%)

series575.0ms (6.7%)

simplify96.0ms (1.1%)

prune360.0ms (4.2%)

localize16.0ms (0.2%)

rewrite415.0ms (4.9%)

series569.0ms (6.7%)

simplify100.0ms (1.2%)

prune337.0ms (4%)

localize19.0ms (0.2%)

rewrite474.0ms (5.6%)

series664.0ms (7.8%)

simplify82.0ms (1%)

prune498.0ms (5.8%)

regimes576.0ms (6.8%)

bsearch2.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.9s (21.7%)

Profiling