Details

analyze566.0ms (7%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1687	68
1	1687	68
0	3	3
1	3	3

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
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
26.5%	73.3%	0.1%	8
33.5%	66.3%	0.1%	9
49.1%	50.7%	0.1%	10
56.9%	42.9%	0.1%	11
60.8%	39%	0.1%	12
69%	30.9%	0.1%	13
72.5%	27.3%	0.1%	14

Compiler

Compiled 13 to 10 computations (23.1% saved)

sample37.0ms (0.5%)

Algorithm

1×

intervals

Results

14.0ms	96×	body	1024	valid
5.0ms	51×	body	512	valid
4.0ms	28×	body	2048	valid
2.0ms	68×	body	128	valid
1.0ms	13×	body	256	valid

Compiler

Compiled 25 to 22 computations (12% saved)

simplify29.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (24.0ms)

Iter	Nodes	Cost
0	504	17
1	504	17

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

45.9b

Counts

2 → 1

Compiler

Compiled 24 to 18 computations (25% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (*.f64 x y) z)
6.7b	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))

rewrite53.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

45.3b

Rules

13×	`add-log-exp_binary64_1481`
10×	`*-un-lft-identity_binary64_1442`
5×	`add-sqr-sqrt_binary64_1464`
4×	`sum-log_binary64_1533` `cancel-sign-sub-inv_binary64_1408`
3×	`diff-log_binary64_1534` `add-cube-cbrt_binary64_1477`
2×	`pow1_binary64_1503` `add-exp-log_binary64_1480` `add-cbrt-cube_binary64_1478` `distribute-lft-out_binary64_1393` `distribute-lft-out--_binary64_1394`
1×	`flip3--_binary64_1446` `sub-neg_binary64_1435` `flip--_binary64_1417` `difference-of-squares_binary64_1411` `associate--r+_binary64_1378` `flip3-+_binary64_1445` `flip-+_binary64_1416` `+-commutative_binary64_1372`

Counts

2 → 32

Calls

2 calls:

9.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))
4.0ms	(+.f64 (*.f64 x y) z)

Compiler

Compiled 684 to 235 computations (65.6% saved)

series214.0ms (2.7%)

Error

44.7b

Counts

2 → 36

Calls

2 calls:

118.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))
74.0ms	(+.f64 (*.f64 x y) z)

Compiler

Compiled 916 to 565 computations (38.3% saved)

simplify67.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5205	901

prune59.0ms (0.7%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	57	11	68
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	58	11	69

Error

44.6b

Counts

69 → 11

Compiler

Compiled 1102 to 434 computations (60.6% saved)

localize11.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (+.f64 z 1) (*.f64 x y))
6.7b	(-.f64 (fma.f64 x y z) (+.f64 (+.f64 z 1) (*.f64 x y)))

rewrite50.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

44.6b

Rules

16×	`add-log-exp_binary64_1481`
6×	`sum-log_binary64_1533`
5×	`add-sqr-sqrt_binary64_1464` `*-un-lft-identity_binary64_1442`
3×	`diff-log_binary64_1534` `add-cube-cbrt_binary64_1477` `cancel-sign-sub-inv_binary64_1408`
2×	`pow1_binary64_1503` `add-exp-log_binary64_1480` `add-cbrt-cube_binary64_1478`
1×	`flip3--_binary64_1446` `sub-neg_binary64_1435` `flip--_binary64_1417` `difference-of-squares_binary64_1411` `distribute-lft-out--_binary64_1394` `associate--r+_binary64_1378` `flip3-+_binary64_1445` `flip-+_binary64_1416` `associate-+l+_binary64_1375` `+-commutative_binary64_1372`

Counts

2 → 32

Calls

2 calls:

8.0ms	(-.f64 (fma.f64 x y z) (+.f64 (+.f64 z 1) (*.f64 x y)))
6.0ms	(+.f64 (+.f64 z 1) (*.f64 x y))

Compiler

Compiled 799 to 399 computations (50.1% saved)

series229.0ms (2.8%)

Error

44.6b

Counts

2 → 36

Calls

2 calls:

115.0ms	(-.f64 (fma.f64 x y z) (+.f64 (+.f64 z 1) (*.f64 x y)))
91.0ms	(+.f64 (+.f64 z 1) (*.f64 x y))

Compiler

Compiled 1162 to 815 computations (29.9% saved)

simplify69.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	5061	980

prune71.0ms (0.9%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	63	5	68
Fresh	0	10	10
Picked	1	0	1
Done	0	0	0
Total	64	15	79

Error

44.6b

Counts

79 → 15

Compiler

Compiled 1407 to 740 computations (47.4% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(pow.f64 (-.f64 (-.f64 (fma.f64 x y z) (+.f64 z 1)) (*.f64 x y)) 3)
2.5b	(-.f64 (fma.f64 x y z) (+.f64 z 1))
6.9b	(-.f64 (-.f64 (fma.f64 x y z) (+.f64 z 1)) (*.f64 x y))
11.1b	(cbrt.f64 (pow.f64 (-.f64 (-.f64 (fma.f64 x y z) (+.f64 z 1)) (*.f64 x y)) 3))

rewrite154.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

27.4b

Rules

21×	`*-un-lft-identity_binary64_1442`
18×	`add-log-exp_binary64_1481`
14×	`add-sqr-sqrt_binary64_1464`
12×	`add-cube-cbrt_binary64_1477` `cbrt-prod_binary64_1473`
9×	`cancel-sign-sub-inv_binary64_1408`
7×	`diff-log_binary64_1534`
6×	`unpow-prod-down_binary64_1521` `cube-prod_binary64_1470`
5×	`pow1_binary64_1503` `add-exp-log_binary64_1480` `add-cbrt-cube_binary64_1478` `associate--l+_binary64_1379`
4×	`flip3--_binary64_1446` `cube-div_binary64_1471` `flip--_binary64_1417`
3×	`sub-neg_binary64_1435` `distribute-lft-out_binary64_1393` `pow-unpow_binary64_1519`
2×	`cbrt-div_binary64_1474` `unpow3_binary64_1508` `cube-mult_binary64_1472` `sqr-pow_binary64_1414` `sum-log_binary64_1533` `distribute-lft-out--_binary64_1394`
1×	`pow1/3_binary64_1524` `rem-cbrt-cube_binary64_1466` `associate--l-_binary64_1380` `difference-of-squares_binary64_1411` `associate--r+_binary64_1378` `pow-pow_binary64_1514` `pow-to-exp_binary64_1511` `pow-exp_binary64_1510` `rem-cube-cbrt_binary64_1465`

Counts

4 → 88

Calls

4 calls:

10.0ms	(-.f64 (-.f64 (fma.f64 x y z) (+.f64 z 1)) (*.f64 x y))
9.0ms	(cbrt.f64 (pow.f64 (-.f64 (-.f64 (fma.f64 x y z) (+.f64 z 1)) (*.f64 x y)) 3))
9.0ms	(pow.f64 (-.f64 (-.f64 (fma.f64 x y z) (+.f64 z 1)) (*.f64 x y)) 3)
8.0ms	(-.f64 (fma.f64 x y z) (+.f64 z 1))

Compiler

Compiled 2444 to 1216 computations (50.2% saved)

series1.0s (12.6%)

Error

44.5b

Counts

4 → 84

Calls

4 calls:

570.0ms	(pow.f64 (-.f64 (-.f64 (fma.f64 x y z) (+.f64 z 1)) (*.f64 x y)) 3)
124.0ms	(-.f64 (-.f64 (fma.f64 x y z) (+.f64 z 1)) (*.f64 x y))
107.0ms	(cbrt.f64 (pow.f64 (-.f64 (-.f64 (fma.f64 x y z) (+.f64 z 1)) (*.f64 x y)) 3))
65.0ms	(-.f64 (fma.f64 x y z) (+.f64 z 1))

Compiler

Compiled 8318 to 5150 computations (38.1% saved)

simplify89.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

172 → 172

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5536	6824

prune237.0ms (2.9%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	164	8	172
Fresh	4	10	14
Picked	1	0	1
Done	0	0	0
Total	169	18	187

Error

27.4b

Counts

187 → 18

Compiler

Compiled 6110 to 2701 computations (55.8% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(pow.f64 (-.f64 (-.f64 (-.f64 (fma.f64 x y z) z) 1) (*.f64 x y)) 3)
2.2b	(cbrt.f64 (pow.f64 (-.f64 (-.f64 (-.f64 (fma.f64 x y z) z) 1) (*.f64 x y)) 3))
2.8b	(-.f64 (fma.f64 x y z) z)
6.9b	(-.f64 (-.f64 (-.f64 (fma.f64 x y z) z) 1) (*.f64 x y))

rewrite144.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

27.4b

Rules

15×	`add-log-exp_binary64_1481` `add-sqr-sqrt_binary64_1464` `*-un-lft-identity_binary64_1442`
13×	`add-cube-cbrt_binary64_1477`
12×	`associate--l+_binary64_1379` `cbrt-prod_binary64_1473`
10×	`cancel-sign-sub-inv_binary64_1408`
7×	`diff-log_binary64_1534`
6×	`unpow-prod-down_binary64_1521` `cube-prod_binary64_1470`
5×	`pow1_binary64_1503` `add-exp-log_binary64_1480` `add-cbrt-cube_binary64_1478`
4×	`flip3--_binary64_1446` `sub-neg_binary64_1435` `flip--_binary64_1417` `cube-div_binary64_1471`
3×	`pow-unpow_binary64_1519`
2×	`cbrt-div_binary64_1474` `unpow3_binary64_1508` `cube-mult_binary64_1472` `sqr-pow_binary64_1414`
1×	`associate--l-_binary64_1380` `difference-of-squares_binary64_1411` `distribute-lft-out--_binary64_1394` `pow1/3_binary64_1524` `rem-cbrt-cube_binary64_1466` `pow-pow_binary64_1514` `pow-to-exp_binary64_1511` `pow-exp_binary64_1510` `rem-cube-cbrt_binary64_1465`

Counts

4 → 87

Calls

4 calls:

12.0ms	(-.f64 (-.f64 (-.f64 (fma.f64 x y z) z) 1) (*.f64 x y))
11.0ms	(pow.f64 (-.f64 (-.f64 (-.f64 (fma.f64 x y z) z) 1) (*.f64 x y)) 3)
10.0ms	(cbrt.f64 (pow.f64 (-.f64 (-.f64 (-.f64 (fma.f64 x y z) z) 1) (*.f64 x y)) 3))
4.0ms	(-.f64 (fma.f64 x y z) z)

Compiler

Compiled 2400 to 1025 computations (57.3% saved)

series1.0s (12.5%)

Error

27.4b

Counts

4 → 84

Calls

4 calls:

576.0ms	(pow.f64 (-.f64 (-.f64 (-.f64 (fma.f64 x y z) z) 1) (*.f64 x y)) 3)
116.0ms	(-.f64 (-.f64 (-.f64 (fma.f64 x y z) z) 1) (*.f64 x y))
109.0ms	(cbrt.f64 (pow.f64 (-.f64 (-.f64 (-.f64 (fma.f64 x y z) z) 1) (*.f64 x y)) 3))
49.0ms	(-.f64 (fma.f64 x y z) z)

Compiler

Compiled 8326 to 5150 computations (38.1% saved)

simplify90.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5413	6715

prune199.0ms (2.5%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	169	2	171
Fresh	2	15	17
Picked	1	0	1
Done	0	0	0
Total	172	17	189

Error

27.4b

Counts

189 → 17

Compiler

Compiled 5415 to 2223 computations (58.9% saved)

regimes720.0ms (9%)

Accuracy

Total 1.0b remaining (3.1%)

Threshold costs 1.0b (3.1%)

Compiler

Compiled 11640 to 7118 computations (38.8% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	69	17
1	69	17

end0.0ms (0%)

sample2.9s (36%)

Algorithm

1×

intervals

Results

339.0ms	2737×	body	1024	valid
191.0ms	1225×	body	2048	valid
114.0ms	1214×	body	512	valid
74.0ms	2271×	body	128	valid
34.0ms	550×	body	256	valid
1.0ms	3×	body	4096	valid

Compiler

Compiled 2916 to 1787 computations (38.7% saved)

Details

analyze566.0ms (7%)

sample37.0ms (0.5%)

simplify29.0ms (0.4%)

prune2.0ms (0%)

localize8.0ms (0.1%)

rewrite53.0ms (0.7%)

series214.0ms (2.7%)

simplify67.0ms (0.8%)

prune59.0ms (0.7%)

localize11.0ms (0.1%)

rewrite50.0ms (0.6%)

series229.0ms (2.8%)

simplify69.0ms (0.9%)

prune71.0ms (0.9%)

localize11.0ms (0.1%)

rewrite154.0ms (1.9%)

series1.0s (12.6%)

simplify89.0ms (1.1%)

prune237.0ms (2.9%)

localize12.0ms (0.2%)

rewrite144.0ms (1.8%)

series1.0s (12.5%)

simplify90.0ms (1.1%)

prune199.0ms (2.5%)

regimes720.0ms (9%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample2.9s (36%)

Profiling