Details

analyze535.0ms (8.6%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5005	52
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
18.7%	81.1%	0.1%	8
40.6%	56.9%	2.5%	9
46%	49.5%	4.4%	10
50.3%	44.9%	4.8%	11
60.3%	30.5%	9.2%	12
62.9%	25.7%	11.4%	13
65.2%	23.2%	11.7%	14

Compiler

Compiled 14 to 13 computations (7.1% saved)

sample26.0ms (0.4%)

Algorithm

1×

intervals

Results

12.0ms	256×	body	128	valid
1.0ms	32×	body	128	invalid

Compiler

Compiled 27 to 28 computations (-3.7% saved)

simplify70.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4743	13
1	4743	13

prune9.0ms (0.1%)

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

0.0b

Counts

2 → 2

Compiler

Compiled 31 to 30 computations (3.2% saved)

localize12.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (+.f64 x (*.f64 y 1/4)) z)
0.0b	(+.f64 1 (/.f64 (.f64 4 (-.f64 (+.f64 x (.f64 y 1/4)) z)) y))
0.0b	(/.f64 (.f64 4 (-.f64 (+.f64 x (.f64 y 1/4)) z)) y)

rewrite98.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

10×	`add-log-exp_binary64_8642` `*-un-lft-identity_binary64_8603`
8×	`add-exp-log_binary64_8641` `add-cbrt-cube_binary64_8639` `add-sqr-sqrt_binary64_8625`
6×	`add-cube-cbrt_binary64_8638`
3×	`pow1_binary64_8664` `times-frac_binary64_8609` `associate-/r*_binary64_8547` `cancel-sign-sub-inv_binary64_8569`
2×	`div-exp_binary64_8654` `cbrt-undiv_binary64_8637` `flip3--_binary64_8607` `associate-*r/_binary64_8545` `associate-/l/_binary64_8550` `flip--_binary64_8578` `sum-log_binary64_8694` `diff-log_binary64_8695`
1×	`prod-exp_binary64_8652` `cbrt-unprod_binary64_8636` `frac-2neg_binary64_8614` `clear-num_binary64_8602` `div-inv_binary64_8600` `associate-/l*_binary64_8548` `flip3-+_binary64_8606` `flip-+_binary64_8577` `distribute-lft-out_binary64_8554` `+-commutative_binary64_8533` `sub-neg_binary64_8596` `difference-of-squares_binary64_8572` `distribute-lft-out--_binary64_8555` `associate--l+_binary64_8540`

Counts

3 → 53

Calls

3 calls:

10.0ms	(/.f64 (.f64 4 (-.f64 (+.f64 x (.f64 y 1/4)) z)) y)
9.0ms	(-.f64 (+.f64 x (*.f64 y 1/4)) z)
9.0ms	(+.f64 1 (/.f64 (.f64 4 (-.f64 (+.f64 x (.f64 y 1/4)) z)) y))

Compiler

Compiled 1195 to 832 computations (30.4% saved)

series617.0ms (9.9%)

Error

0.0b

Counts

3 → 54

Calls

3 calls:

236.0ms	(+.f64 1 (/.f64 (.f64 4 (-.f64 (+.f64 x (.f64 y 1/4)) z)) y))
223.0ms	(/.f64 (.f64 4 (-.f64 (+.f64 x (.f64 y 1/4)) z)) y)
108.0ms	(-.f64 (+.f64 x (*.f64 y 1/4)) z)

Compiler

Compiled 1489 to 1260 computations (15.4% saved)

simplify65.0ms (1%)

Algorithm

1×	egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5164	1389

prune109.0ms (1.8%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	105	2	107
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	106	3	109

Error

Counts

109 → 3

Compiler

Compiled 1486 to 925 computations (37.8% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 1 (+.f64 1 (*.f64 4 (/.f64 (-.f64 x z) y))))
0.0b	(*.f64 4 (/.f64 (-.f64 x z) y))
0.0b	(/.f64 (-.f64 x z) y)

rewrite115.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

42×	`add-sqr-sqrt_binary64_8625`
39×	`*-un-lft-identity_binary64_8603`
31×	`times-frac_binary64_8609`
23×	`add-cube-cbrt_binary64_8638`
19×	`associate-r_binary64_8543`
10×	`add-exp-log_binary64_8641` `add-cbrt-cube_binary64_8639`
8×	`add-log-exp_binary64_8642`
7×	`difference-of-squares_binary64_8572` `distribute-lft-out--_binary64_8555`
5×	`pow1_binary64_8664` `associate-/l*_binary64_8548`
3×	`associate-/r_binary64_8547` `associate-l*_binary64_8544` `sum-log_binary64_8694`
2×	`div-exp_binary64_8654` `cbrt-undiv_binary64_8637` `div-inv_binary64_8600` `associate-/l/_binary64_8550` `prod-exp_binary64_8652` `cbrt-unprod_binary64_8636` `unswap-sqr_binary64_8571`
1×	`frac-2neg_binary64_8614` `div-sub_binary64_8608` `clear-num_binary64_8602` `flip3--_binary64_8607` `flip--_binary64_8578` `pow-prod-down_binary64_8674` `associate-r/_binary64_8545` `-commutative_binary64_8534` `flip3-+_binary64_8606` `flip-+_binary64_8577` `distribute-lft-out_binary64_8554` `associate-+r+_binary64_8535` `+-commutative_binary64_8533`

Counts

3 → 90

Calls

3 calls:

12.0ms	(/.f64 (-.f64 x z) y)
11.0ms	(*.f64 4 (/.f64 (-.f64 x z) y))
6.0ms	(+.f64 1 (+.f64 1 (*.f64 4 (/.f64 (-.f64 x z) y))))

Compiler

Compiled 1738 to 884 computations (49.1% saved)

series604.0ms (9.7%)

Error

Counts

3 → 48

Calls

3 calls:

251.0ms	(+.f64 1 (+.f64 1 (*.f64 4 (/.f64 (-.f64 x z) y))))
190.0ms	(*.f64 4 (/.f64 (-.f64 x z) y))
136.0ms	(/.f64 (-.f64 x z) y)

Compiler

Compiled 1395 to 1172 computations (16% saved)

simplify87.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

138 → 138

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	4963	1666
1	4963	1666

prune115.0ms (1.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	138	0	138
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	138	3	141

Error

Counts

141 → 3

Compiler

Compiled 2012 to 1027 computations (49% saved)

localize10.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (*.f64 (/.f64 4 y) (-.f64 x z)) 2)
0.3b	(*.f64 (/.f64 4 y) (-.f64 x z))

rewrite98.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

21×	`add-sqr-sqrt_binary64_8625`
16×	`*-un-lft-identity_binary64_8603`
14×	`add-cube-cbrt_binary64_8638`
13×	`associate-l_binary64_8544`
12×	`cancel-sign-sub-inv_binary64_8569`
10×	`times-frac_binary64_8609`
8×	`distribute-rgt-in_binary64_8553` `distribute-lft-in_binary64_8552` `associate-+l+_binary64_8536`
7×	`add-exp-log_binary64_8641` `add-cbrt-cube_binary64_8639`
5×	`associate-r_binary64_8543`
4×	`pow1_binary64_8664` `add-log-exp_binary64_8642` `sub-neg_binary64_8596`
2×	`prod-exp_binary64_8652` `cbrt-unprod_binary64_8636` `flip3--_binary64_8607` `frac-times_binary64_8613` `flip--_binary64_8578` `unswap-sqr_binary64_8571` `associate-*r/_binary64_8545`
1×	`pow-prod-down_binary64_8674` `div-exp_binary64_8654` `cbrt-undiv_binary64_8637` `associate-l/_binary64_8546` `div-inv_binary64_8600` `difference-of-squares_binary64_8572` `distribute-lft-out--_binary64_8555` `-commutative_binary64_8534` `sum-log_binary64_8694` `flip3-+_binary64_8606` `flip-+_binary64_8577` `+-commutative_binary64_8533`

Counts

2 → 65

Calls

2 calls:

10.0ms	(*.f64 (/.f64 4 y) (-.f64 x z))
9.0ms	(+.f64 (*.f64 (/.f64 4 y) (-.f64 x z)) 2)

Compiler

Compiled 1137 to 670 computations (41.1% saved)

series432.0ms (6.9%)

Error

Counts

2 → 33

Calls

2 calls:

245.0ms	(+.f64 (*.f64 (/.f64 4 y) (-.f64 x z)) 2)
164.0ms	(*.f64 (/.f64 4 y) (-.f64 x z))

Compiler

Compiled 858 to 713 computations (16.9% saved)

simplify73.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4954	1221
1	4954	1221

prune66.0ms (1.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	98	0	98
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	98	3	101

Error

Counts

101 → 3

Compiler

Compiled 1238 to 681 computations (45% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 1 (.f64 (/.f64 4 (sqrt.f64 y)) (/.f64 (+.f64 (.f64 1/4 y) (-.f64 x z)) (sqrt.f64 y))))
0.1b	(/.f64 4 (sqrt.f64 y))
0.1b	(.f64 (/.f64 4 (sqrt.f64 y)) (/.f64 (+.f64 (.f64 1/4 y) (-.f64 x z)) (sqrt.f64 y)))
0.1b	(/.f64 (+.f64 (*.f64 1/4 y) (-.f64 x z)) (sqrt.f64 y))

rewrite355.0ms (5.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

90×	`add-sqr-sqrt_binary64_8625`
84×	`times-frac_binary64_8609`
60×	`add-cube-cbrt_binary64_8638` `*-un-lft-identity_binary64_8603`
48×	`sqrt-prod_binary64_8619`
22×	`associate-l_binary64_8544` `associate-r_binary64_8543`
20×	`add-exp-log_binary64_8641` `add-cbrt-cube_binary64_8639`
12×	`associate-/r*_binary64_8547`
9×	`unswap-sqr_binary64_8571`
6×	`pow1_binary64_8664` `div-exp_binary64_8654` `add-log-exp_binary64_8642` `cbrt-undiv_binary64_8637` `associate-/l*_binary64_8548`
4×	`div-inv_binary64_8600` `prod-exp_binary64_8652` `cbrt-unprod_binary64_8636`
2×	`frac-2neg_binary64_8614` `clear-num_binary64_8602` `flip3-+_binary64_8606` `associate-/l/_binary64_8550` `flip-+_binary64_8577`
1×	`associate-+r-_binary64_8537` `div-sub_binary64_8608` `pow-prod-down_binary64_8674` `frac-times_binary64_8613` `associate-l/_binary64_8546` `associate-r/_binary64_8545` `*-commutative_binary64_8534` `sum-log_binary64_8694` `+-commutative_binary64_8533`

Counts

4 → 165

Calls

4 calls:

30.0ms	(.f64 (/.f64 4 (sqrt.f64 y)) (/.f64 (+.f64 (.f64 1/4 y) (-.f64 x z)) (sqrt.f64 y)))
18.0ms	(/.f64 (+.f64 (*.f64 1/4 y) (-.f64 x z)) (sqrt.f64 y))
6.0ms	(+.f64 1 (.f64 (/.f64 4 (sqrt.f64 y)) (/.f64 (+.f64 (.f64 1/4 y) (-.f64 x z)) (sqrt.f64 y))))
4.0ms	(/.f64 4 (sqrt.f64 y))

Compiler

Compiled 4747 to 2562 computations (46% saved)

series759.0ms (12.1%)

Error

Counts

4 → 52

Calls

4 calls:

264.0ms	(+.f64 1 (.f64 (/.f64 4 (sqrt.f64 y)) (/.f64 (+.f64 (.f64 1/4 y) (-.f64 x z)) (sqrt.f64 y))))
217.0ms	(/.f64 (+.f64 (*.f64 1/4 y) (-.f64 x z)) (sqrt.f64 y))
215.0ms	(.f64 (/.f64 4 (sqrt.f64 y)) (/.f64 (+.f64 (.f64 1/4 y) (-.f64 x z)) (sqrt.f64 y)))
16.0ms	(/.f64 4 (sqrt.f64 y))

Compiler

Compiled 1924 to 1583 computations (17.7% saved)

simplify120.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

217 → 217

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4949	4214
1	4949	4214

prune258.0ms (4.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	217	0	217
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	217	3	220

Error

Counts

220 → 3

Compiler

Compiled 4645 to 2646 computations (43% saved)

regimes334.0ms (5.3%)

Accuracy

Total 0.0b remaining (89.4%)

Threshold costs 0.0b (89.4%)

Compiler

Compiled 1946 to 1836 computations (5.7% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	22	13
1	22	13

end0.0ms (0%)

sample1.3s (20.2%)

Algorithm

1×

intervals

Results

381.0ms	8000×	body	128	valid
45.0ms	1000×	body	128	invalid

Compiler

Compiled 372 to 352 computations (5.4% saved)

Details

analyze535.0ms (8.6%)

sample26.0ms (0.4%)

simplify70.0ms (1.1%)

prune9.0ms (0.1%)

localize12.0ms (0.2%)

rewrite98.0ms (1.6%)

series617.0ms (9.9%)

simplify65.0ms (1%)

prune109.0ms (1.8%)

localize7.0ms (0.1%)

rewrite115.0ms (1.8%)

series604.0ms (9.7%)

simplify87.0ms (1.4%)

prune115.0ms (1.8%)

localize10.0ms (0.2%)

rewrite98.0ms (1.6%)

series432.0ms (6.9%)

simplify73.0ms (1.2%)

prune66.0ms (1.1%)

localize12.0ms (0.2%)

rewrite355.0ms (5.7%)

series759.0ms (12.1%)

simplify120.0ms (1.9%)

prune258.0ms (4.1%)

regimes334.0ms (5.3%)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample1.3s (20.2%)

Profiling