Details

analyze5.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	56.2%	43.8%	0
0%	56.2%	43.8%	1
0%	56.2%	43.8%	2
42.1%	14%	43.8%	3
42.1%	14%	43.8%	4
52.7%	3.5%	43.8%	5
56.2%	0%	43.8%	6

Compiler

Compiled 42 to 29 computations (31% saved)

sample32.0ms (0.1%)

Algorithm

1×

intervals

Results

15.0ms	256×	body	128	valid
4.0ms	256×	pre	128	true

Compiler

Compiled 77 to 55 computations (28.6% saved)

simplify331.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (231.0ms)

Iter	Nodes	Cost
0	5023	37

prune5.0ms (0%)

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

1.5b

Counts

2 → 2

Compiler

Compiled 85 to 60 computations (29.4% saved)

localize12.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))
0.1b	(/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))
8.6b	(.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))))
9.9b	(/.f64 (+.f64 beta 1) (*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))

rewrite412.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

77×	`*-un-lft-identity_binary64_1442`
34×	`add-exp-log_binary64_1480` `add-cbrt-cube_binary64_1478` `distribute-lft-out_binary64_1393`
24×	`flip3-+_binary64_1445` `flip-+_binary64_1416`
21×	`add-sqr-sqrt_binary64_1464` `associate-r_binary64_1382`
18×	`associate-/r/_binary64_1388`
16×	`frac-times_binary64_1452`
15×	`add-cube-cbrt_binary64_1477`
14×	`times-frac_binary64_1448`
13×	`pow1_binary64_1503`
11×	`swap-sqr_binary64_1409`
10×	`prod-exp_binary64_1491` `div-exp_binary64_1493` `cbrt-undiv_binary64_1476` `cbrt-unprod_binary64_1475` `associate-*l/_binary64_1385`
9×	`associate-l_binary64_1383`
8×	`associate-*r/_binary64_1384`
7×	`associate-/l/_binary64_1389`
6×	`associate-/r*_binary64_1386`
5×	`associate-/l*_binary64_1387`
4×	`add-log-exp_binary64_1481`
3×	`div-inv_binary64_1439` `unswap-sqr_binary64_1410`
2×	`frac-2neg_binary64_1453` `clear-num_binary64_1441` `pow-prod-down_binary64_1513` `*-commutative_binary64_1373`
1×	`pow2_binary64_1523` `pow-prod-up_binary64_1512` `pow-plus_binary64_1505` `pow-sqr_binary64_1415` `distribute-rgt-in_binary64_1392` `distribute-lft-in_binary64_1391`

Counts

4 → 158

Calls

4 calls:

30.0ms	(/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))
24.0ms	(.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))))
17.0ms	(/.f64 (+.f64 beta 1) (*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))
16.0ms	(*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))

Compiler

Compiled 6017 to 3676 computations (38.9% saved)

series2.5s (9.5%)

Error

0.3b

Counts

4 → 78

Calls

4 calls:

1.1s	(/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))
488.0ms	(.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))))
361.0ms	(/.f64 (+.f64 beta 1) (*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))
118.0ms	(*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))

Compiler

Compiled 15432 to 12267 computations (20.5% saved)

simplify129.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

236 → 236

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5268	13509

prune721.0ms (2.7%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	227	9	236
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	229	9	238

Error

Counts

238 → 9

Compiler

Compiled 12212 to 8268 computations (32.3% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (+.f64 1 beta) (+.f64 alpha (+.f64 2 beta)))
0.1b	(/.f64 (/.f64 (+.f64 1 beta) (+.f64 alpha (+.f64 2 beta))) (+.f64 (+.f64 alpha beta) 2))
0.1b	(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 (/.f64 (+.f64 1 beta) (+.f64 alpha (+.f64 2 beta))) (+.f64 (+.f64 alpha beta) 2))) (+.f64 alpha (+.f64 beta 3)))
8.6b	(*.f64 (+.f64 alpha 1) (/.f64 (/.f64 (+.f64 1 beta) (+.f64 alpha (+.f64 2 beta))) (+.f64 (+.f64 alpha beta) 2)))

rewrite1.4s (5.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

826×	`*-un-lft-identity_binary64_1442`
508×	`times-frac_binary64_1448`
374×	`distribute-lft-out_binary64_1393`
191×	`add-sqr-sqrt_binary64_1464`
182×	`add-cube-cbrt_binary64_1477`
136×	`associate-r_binary64_1382`
34×	`add-exp-log_binary64_1480` `add-cbrt-cube_binary64_1478`
31×	`associate-/l*_binary64_1387`
30×	`associate-/r/_binary64_1388`
20×	`flip3-+_binary64_1445` `flip-+_binary64_1416`
15×	`div-inv_binary64_1439` `associate-/r*_binary64_1386`
14×	`div-exp_binary64_1493` `cbrt-undiv_binary64_1476`
8×	`associate-/l/_binary64_1389`
6×	`pow1_binary64_1503` `prod-exp_binary64_1491` `cbrt-unprod_binary64_1475`
4×	`add-log-exp_binary64_1481` `frac-times_binary64_1452` `associate-l/_binary64_1385` `associate-l*_binary64_1383`
3×	`unswap-sqr_binary64_1410` `frac-2neg_binary64_1453` `clear-num_binary64_1441`
2×	`associate-*r/_binary64_1384`
1×	`pow-prod-down_binary64_1513` `*-commutative_binary64_1373`

Counts

4 → 422

Calls

4 calls:

55.0ms	(*.f64 (+.f64 alpha 1) (/.f64 (/.f64 (+.f64 1 beta) (+.f64 alpha (+.f64 2 beta))) (+.f64 (+.f64 alpha beta) 2)))
35.0ms	(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 (/.f64 (+.f64 1 beta) (+.f64 alpha (+.f64 2 beta))) (+.f64 (+.f64 alpha beta) 2))) (+.f64 alpha (+.f64 beta 3)))
25.0ms	(/.f64 (/.f64 (+.f64 1 beta) (+.f64 alpha (+.f64 2 beta))) (+.f64 (+.f64 alpha beta) 2))
9.0ms	(/.f64 (+.f64 1 beta) (+.f64 alpha (+.f64 2 beta)))

Compiler

Compiled 16960 to 11567 computations (31.8% saved)

series2.6s (9.8%)

Error

Counts

4 → 80

Calls

4 calls:

1.1s	(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 (/.f64 (+.f64 1 beta) (+.f64 alpha (+.f64 2 beta))) (+.f64 (+.f64 alpha beta) 2))) (+.f64 alpha (+.f64 beta 3)))
508.0ms	(*.f64 (+.f64 alpha 1) (/.f64 (/.f64 (+.f64 1 beta) (+.f64 alpha (+.f64 2 beta))) (+.f64 (+.f64 alpha beta) 2)))
379.0ms	(/.f64 (/.f64 (+.f64 1 beta) (+.f64 alpha (+.f64 2 beta))) (+.f64 (+.f64 alpha beta) 2))
141.0ms	(/.f64 (+.f64 1 beta) (+.f64 alpha (+.f64 2 beta)))

Compiler

Compiled 16236 to 12843 computations (20.9% saved)

simplify202.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

502 → 502

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5396	22766

prune1.8s (6.6%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	501	1	502
Fresh	1	7	8
Picked	0	1	1
Done	0	0	0
Total	502	9	511

Error

Counts

511 → 9

Compiler

Compiled 22894 to 15814 computations (30.9% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 (sqrt.f64 (+.f64 1 beta)) (+.f64 alpha (+.f64 2 beta)))
0.1b	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (/.f64 (sqrt.f64 (+.f64 1 beta)) (+.f64 alpha (+.f64 2 beta))) (/.f64 (sqrt.f64 (+.f64 1 beta)) (+.f64 alpha (+.f64 2 beta))))) (+.f64 alpha (+.f64 beta 3)))
0.2b	(*.f64 (/.f64 (sqrt.f64 (+.f64 1 beta)) (+.f64 alpha (+.f64 2 beta))) (/.f64 (sqrt.f64 (+.f64 1 beta)) (+.f64 alpha (+.f64 2 beta))))
8.6b	(.f64 (+.f64 alpha 1) (.f64 (/.f64 (sqrt.f64 (+.f64 1 beta)) (+.f64 alpha (+.f64 2 beta))) (/.f64 (sqrt.f64 (+.f64 1 beta)) (+.f64 alpha (+.f64 2 beta)))))

rewrite1.7s (6.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

769×	`*-un-lft-identity_binary64_1442`
364×	`times-frac_binary64_1448`
331×	`distribute-lft-out_binary64_1393`
224×	`sqrt-prod_binary64_1458`
206×	`add-sqr-sqrt_binary64_1464`
131×	`add-cube-cbrt_binary64_1477`
127×	`swap-sqr_binary64_1409`
61×	`add-exp-log_binary64_1480` `add-cbrt-cube_binary64_1478`
45×	`associate-l_binary64_1383`
42×	`associate-r_binary64_1382`
22×	`prod-exp_binary64_1491` `cbrt-unprod_binary64_1475`
19×	`div-exp_binary64_1493` `cbrt-undiv_binary64_1476` `frac-times_binary64_1452`
16×	`pow1_binary64_1503`
15×	`flip3-+_binary64_1445` `flip-+_binary64_1416`
13×	`associate-*r/_binary64_1384` `associate-/l/_binary64_1389`
12×	`associate-/r/_binary64_1388`
11×	`associate-*l/_binary64_1385`
10×	`unswap-sqr_binary64_1410` `associate-/r*_binary64_1386`
8×	`associate-/l*_binary64_1387`
6×	`div-inv_binary64_1439`
4×	`pow-prod-down_binary64_1513` `add-log-exp_binary64_1481`
2×	`*-commutative_binary64_1373` `frac-2neg_binary64_1453` `clear-num_binary64_1441` `sqrt-div_binary64_1459`
1×	`pow2_binary64_1523` `pow-prod-up_binary64_1512` `pow-plus_binary64_1505` `pow-sqr_binary64_1415`

Counts

4 → 388

Calls

4 calls:

55.0ms	(*.f64 (/.f64 (sqrt.f64 (+.f64 1 beta)) (+.f64 alpha (+.f64 2 beta))) (/.f64 (sqrt.f64 (+.f64 1 beta)) (+.f64 alpha (+.f64 2 beta))))
36.0ms	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (/.f64 (sqrt.f64 (+.f64 1 beta)) (+.f64 alpha (+.f64 2 beta))) (/.f64 (sqrt.f64 (+.f64 1 beta)) (+.f64 alpha (+.f64 2 beta))))) (+.f64 alpha (+.f64 beta 3)))
29.0ms	(.f64 (+.f64 alpha 1) (.f64 (/.f64 (sqrt.f64 (+.f64 1 beta)) (+.f64 alpha (+.f64 2 beta))) (/.f64 (sqrt.f64 (+.f64 1 beta)) (+.f64 alpha (+.f64 2 beta)))))
11.0ms	(/.f64 (sqrt.f64 (+.f64 1 beta)) (+.f64 alpha (+.f64 2 beta)))

Compiler

Compiled 18157 to 13547 computations (25.4% saved)

series2.6s (9.6%)

Error

Counts

4 → 74

Calls

4 calls:

1.1s	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (/.f64 (sqrt.f64 (+.f64 1 beta)) (+.f64 alpha (+.f64 2 beta))) (/.f64 (sqrt.f64 (+.f64 1 beta)) (+.f64 alpha (+.f64 2 beta))))) (+.f64 alpha (+.f64 beta 3)))
500.0ms	(.f64 (+.f64 alpha 1) (.f64 (/.f64 (sqrt.f64 (+.f64 1 beta)) (+.f64 alpha (+.f64 2 beta))) (/.f64 (sqrt.f64 (+.f64 1 beta)) (+.f64 alpha (+.f64 2 beta)))))
367.0ms	(*.f64 (/.f64 (sqrt.f64 (+.f64 1 beta)) (+.f64 alpha (+.f64 2 beta))) (/.f64 (sqrt.f64 (+.f64 1 beta)) (+.f64 alpha (+.f64 2 beta))))
138.0ms	(/.f64 (sqrt.f64 (+.f64 1 beta)) (+.f64 alpha (+.f64 2 beta)))

Compiler

Compiled 15884 to 12643 computations (20.4% saved)

simplify212.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

462 → 462

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	4970	23010
1	4970	23010

prune1.8s (6.7%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	462	0	462
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	462	9	471

Error

Counts

471 → 9

Compiler

Compiled 21995 to 15803 computations (28.2% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(.f64 2 (.f64 alpha beta))
0.1b	(/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (+.f64 (.f64 alpha 4) (+.f64 (.f64 2 (.f64 alpha beta)) (+.f64 (.f64 beta (+.f64 beta 4)) (+.f64 4 (.f64 alpha alpha))))))) (+.f64 alpha (+.f64 beta 3)))
8.6b	(.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (+.f64 (.f64 alpha 4) (+.f64 (.f64 2 (.f64 alpha beta)) (+.f64 (.f64 beta (+.f64 beta 4)) (+.f64 4 (.f64 alpha alpha)))))))
9.9b	(/.f64 (+.f64 beta 1) (+.f64 (.f64 alpha 4) (+.f64 (.f64 2 (.f64 alpha beta)) (+.f64 (.f64 beta (+.f64 beta 4)) (+.f64 4 (*.f64 alpha alpha))))))

rewrite429.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

51×	`*-un-lft-identity_binary64_1442`
30×	`add-sqr-sqrt_binary64_1464` `times-frac_binary64_1448`
25×	`add-exp-log_binary64_1480` `add-cbrt-cube_binary64_1478` `add-cube-cbrt_binary64_1477`
19×	`associate-r_binary64_1382`
14×	`distribute-lft-out_binary64_1393`
11×	`pow1_binary64_1503`
8×	`flip3-+_binary64_1445` `flip-+_binary64_1416` `associate-/r*_binary64_1386`
7×	`associate-/l/_binary64_1389` `prod-exp_binary64_1491` `cbrt-unprod_binary64_1475` `associate-l_binary64_1383`
6×	`div-exp_binary64_1493` `cbrt-undiv_binary64_1476` `associate-/r/_binary64_1388`
5×	`associate-/l*_binary64_1387`
4×	`add-log-exp_binary64_1481` `pow-prod-down_binary64_1513` `frac-times_binary64_1452` `associate-*l/_binary64_1385`
3×	`div-inv_binary64_1439`
2×	`frac-2neg_binary64_1453` `clear-num_binary64_1441` `unswap-sqr_binary64_1410` `associate-r/_binary64_1384` `-commutative_binary64_1373`

Counts

4 → 129

Calls

4 calls:

31.0ms	(/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (+.f64 (.f64 alpha 4) (+.f64 (.f64 2 (.f64 alpha beta)) (+.f64 (.f64 beta (+.f64 beta 4)) (+.f64 4 (.f64 alpha alpha))))))) (+.f64 alpha (+.f64 beta 3)))
24.0ms	(.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (+.f64 (.f64 alpha 4) (+.f64 (.f64 2 (.f64 alpha beta)) (+.f64 (.f64 beta (+.f64 beta 4)) (+.f64 4 (.f64 alpha alpha)))))))
18.0ms	(/.f64 (+.f64 beta 1) (+.f64 (.f64 alpha 4) (+.f64 (.f64 2 (.f64 alpha beta)) (+.f64 (.f64 beta (+.f64 beta 4)) (+.f64 4 (*.f64 alpha alpha))))))
5.0ms	(.f64 2 (.f64 alpha beta))

Compiler

Compiled 6963 to 4487 computations (35.6% saved)

series3.4s (12.9%)

Error

Counts

4 → 66

Calls

4 calls:

1.6s	(/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (+.f64 (.f64 alpha 4) (+.f64 (.f64 2 (.f64 alpha beta)) (+.f64 (.f64 beta (+.f64 beta 4)) (+.f64 4 (.f64 alpha alpha))))))) (+.f64 alpha (+.f64 beta 3)))
751.0ms	(.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (+.f64 (.f64 alpha 4) (+.f64 (.f64 2 (.f64 alpha beta)) (+.f64 (.f64 beta (+.f64 beta 4)) (+.f64 4 (.f64 alpha alpha)))))))
554.0ms	(/.f64 (+.f64 beta 1) (+.f64 (.f64 alpha 4) (+.f64 (.f64 2 (.f64 alpha beta)) (+.f64 (.f64 beta (+.f64 beta 4)) (+.f64 4 (*.f64 alpha alpha))))))
58.0ms	(.f64 2 (.f64 alpha beta))

Compiler

Compiled 16648 to 13256 computations (20.4% saved)

simplify141.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

195 → 195

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5068	15391

prune749.0ms (2.8%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	195	0	195
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	195	9	204

Error

Counts

204 → 9

Compiler

Compiled 13213 to 9013 computations (31.8% saved)

regimes1.0s (3.8%)

Accuracy

Total 0.1b remaining (88.9%)

Threshold costs 0.1b (88.9%)

Compiler

Compiled 15476 to 11852 computations (23.4% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	24	37
1	24	37

end0.0ms (0%)

sample4.5s (16.9%)

Algorithm

1×

intervals

Results

490.0ms	8000×	body	128	valid
127.0ms	8000×	pre	128	true

Compiler

Compiled 5201 to 3981 computations (23.5% saved)

Details

analyze5.0ms (0%)

sample32.0ms (0.1%)

simplify331.0ms (1.2%)

prune5.0ms (0%)

localize12.0ms (0%)

rewrite412.0ms (1.5%)

series2.5s (9.5%)

simplify129.0ms (0.5%)

prune721.0ms (2.7%)

localize14.0ms (0.1%)

rewrite1.4s (5.3%)

series2.6s (9.8%)

simplify202.0ms (0.8%)

prune1.8s (6.6%)

localize13.0ms (0.1%)

rewrite1.7s (6.2%)

series2.6s (9.6%)

simplify212.0ms (0.8%)

prune1.8s (6.7%)

localize20.0ms (0.1%)

rewrite429.0ms (1.6%)

series3.4s (12.9%)

simplify141.0ms (0.5%)

prune749.0ms (2.8%)

regimes1.0s (3.8%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample4.5s (16.9%)

Profiling