Details

analyze900.0ms (13%)

Algorithm

2×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3819	52
1	3819	52
0	3	3
1	3	3

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	3
12.5%	87.4%	0.1%	4
12.5%	87.4%	0.1%	4
12.5%	87.4%	0.1%	5
12.5%	87.4%	0.1%	5
15.6%	84.3%	0.1%	6
15.6%	84.3%	0.1%	6
32.8%	67.1%	0.1%	7
32.8%	67.1%	0.1%	7
38.2%	61.6%	0.1%	8
38.2%	61.6%	0.1%	8
46%	53.8%	0.1%	9
46%	53.8%	0.1%	9
62.6%	37.3%	0.1%	10
62.6%	37.3%	0.1%	10
67.2%	32.7%	0.1%	11
67.2%	32.7%	0.1%	11
71.1%	28.8%	0.1%	12
71.1%	28.8%	0.1%	12
81.6%	18.2%	0.1%	13
81.6%	18.2%	0.1%	13
84.1%	15.7%	0.1%	14
84.1%	15.7%	0.1%	14

Compiler

Compiled 20 to 18 computations (10% saved)

sample98.0ms (1.4%)

Algorithm

2×

intervals

Results

15.0ms

512×

body

128

valid

Compiler

Compiled 2589 to 3104 computations (-19.9% saved)

simplify179.0ms (2.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (173.0ms)

Iter	Nodes	Cost
0	3019	13
1	3019	13

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

7.2b

Counts

2 → 1

Compiler

Compiled 18 to 16 computations (11.1% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

7.2b	(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))

rewrite92.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

5.7b

Rules

55×	`add-sqr-sqrt_binary64_16468`
53×	`*-un-lft-identity_binary64_16446`
42×	`times-frac_binary64_16452`
20×	`difference-of-squares_binary64_16415`
15×	`add-cube-cbrt_binary64_16481`
9×	`distribute-lft-out_binary64_16397`
8×	`associate-/r*_binary64_16390`
5×	`distribute-lft-out--_binary64_16398`
4×	`associate-/l*_binary64_16391`
3×	`add-exp-log_binary64_16484` `add-cbrt-cube_binary64_16482`
2×	`associate-/l/_binary64_16393` `associate-/r/_binary64_16392`
1×	`pow1_binary64_16507` `div-exp_binary64_16497` `add-log-exp_binary64_16485` `cbrt-undiv_binary64_16480` `frac-2neg_binary64_16457` `clear-num_binary64_16445` `div-inv_binary64_16443` `flip3-+_binary64_16449` `flip-+_binary64_16420` `flip3--_binary64_16450` `flip--_binary64_16421`

Counts

1 → 60

Calls

1 calls:

15.0ms

(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))

Compiler

Compiled 1216 to 500 computations (58.9% saved)

series295.0ms (4.3%)

Error

0.0b

Counts

1 → 21

Calls

1 calls:

271.0ms

(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))

Compiler

Compiled 832 to 572 computations (31.3% saved)

simplify67.0ms (1%)

Algorithm

1×	egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5150	1742

prune80.0ms (1.2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	77	4	81
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	78	4	82

Error

0.0b

Counts

82 → 4

Compiler

Compiled 1389 to 554 computations (60.1% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (/.f64 y (-.f64 1 (/.f64 y z))) (/.f64 x (-.f64 1 (/.f64 y z))))
2.9b	(/.f64 x (-.f64 1 (/.f64 y z)))
7.1b	(/.f64 y (-.f64 1 (/.f64 y z)))

rewrite246.0ms (3.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

111×	`add-sqr-sqrt_binary64_16468`
99×	`*-un-lft-identity_binary64_16446`
88×	`times-frac_binary64_16452`
40×	`difference-of-squares_binary64_16415`
31×	`add-cube-cbrt_binary64_16481`
16×	`associate-/r*_binary64_16390`
12×	`distribute-lft-out--_binary64_16398`
11×	`distribute-lft-out_binary64_16397`
8×	`associate-/r/_binary64_16392`
7×	`add-exp-log_binary64_16484` `add-cbrt-cube_binary64_16482`
6×	`associate-/l*_binary64_16391`
5×	`add-log-exp_binary64_16485`
4×	`div-inv_binary64_16443` `flip3--_binary64_16450` `flip--_binary64_16421`
3×	`pow1_binary64_16507` `distribute-rgt-out_binary64_16399`
2×	`div-exp_binary64_16497` `cbrt-undiv_binary64_16480` `frac-2neg_binary64_16457` `clear-num_binary64_16445`
1×	`sum-log_binary64_16537` `frac-add_binary64_16454` `flip3-+_binary64_16449` `flip-+_binary64_16420` `+-commutative_binary64_16376`

Counts

3 → 124

Calls

3 calls:

50.0ms	(+.f64 (/.f64 y (-.f64 1 (/.f64 y z))) (/.f64 x (-.f64 1 (/.f64 y z))))
11.0ms	(/.f64 x (-.f64 1 (/.f64 y z)))
9.0ms	(/.f64 y (-.f64 1 (/.f64 y z)))

Compiler

Compiled 3194 to 1557 computations (51.3% saved)

series663.0ms (9.6%)

Error

0.0b

Counts

3 → 48

Calls

3 calls:

359.0ms	(+.f64 (/.f64 y (-.f64 1 (/.f64 y z))) (/.f64 x (-.f64 1 (/.f64 y z))))
184.0ms	(/.f64 x (-.f64 1 (/.f64 y z)))
83.0ms	(/.f64 y (-.f64 1 (/.f64 y z)))

Compiler

Compiled 1969 to 1338 computations (32% saved)

simplify85.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

172 → 172

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5270	3243

prune185.0ms (2.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	172	0	172
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	172	4	176

Error

0.0b

Counts

176 → 4

Compiler

Compiled 3651 to 1663 computations (54.5% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 x (*.f64 (/.f64 y z) (+.f64 y x)))
2.3b	(*.f64 (/.f64 y z) (+.f64 y x))

rewrite61.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

15×	`add-sqr-sqrt_binary64_16468`
13×	`associate-l_binary64_16387`
12×	`*-un-lft-identity_binary64_16446`
10×	`add-cube-cbrt_binary64_16481` `times-frac_binary64_16452`
7×	`add-exp-log_binary64_16484` `add-cbrt-cube_binary64_16482`
4×	`pow1_binary64_16507` `add-log-exp_binary64_16485` `associate-r_binary64_16386`
3×	`flip3-+_binary64_16449` `flip-+_binary64_16420`
2×	`prod-exp_binary64_16495` `cbrt-unprod_binary64_16479` `frac-times_binary64_16456` `unswap-sqr_binary64_16414` `distribute-rgt-in_binary64_16396` `distribute-lft-in_binary64_16395` `associate-*r/_binary64_16388` `associate-+r+_binary64_16378`
1×	`pow-prod-down_binary64_16517` `div-exp_binary64_16497` `cbrt-undiv_binary64_16480` `associate-l/_binary64_16389` `div-inv_binary64_16443` `distribute-lft-out_binary64_16397` `-commutative_binary64_16377` `sum-log_binary64_16537` `+-commutative_binary64_16376`

Counts

2 → 52

Calls

2 calls:

10.0ms	(*.f64 (/.f64 y z) (+.f64 y x))
3.0ms	(+.f64 x (*.f64 (/.f64 y z) (+.f64 y x)))

Compiler

Compiled 1000 to 284 computations (71.6% saved)

series569.0ms (8.2%)

Error

0.0b

Counts

2 → 36

Calls

2 calls:

318.0ms	(+.f64 x (*.f64 (/.f64 y z) (+.f64 y x)))
228.0ms	(*.f64 (/.f64 y z) (+.f64 y x))

Compiler

Compiled 1082 to 682 computations (37% saved)

simplify71.0ms (1%)

Algorithm

1×	egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5130	1112

prune61.0ms (0.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	88	0	88
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	88	4	92

Error

0.0b

Counts

92 → 4

Compiler

Compiled 1279 to 279 computations (78.2% saved)

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite213.0ms (3.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

104×	`times-frac_binary64_16452`
80×	`add-sqr-sqrt_binary64_16468`
75×	`*-un-lft-identity_binary64_16446`
68×	`add-cube-cbrt_binary64_16481`
39×	`cancel-sign-sub-inv_binary64_16412`
14×	`distribute-rgt-in_binary64_16396` `distribute-lft-in_binary64_16395`
13×	`associate-/r*_binary64_16390`
10×	`add-exp-log_binary64_16484` `add-cbrt-cube_binary64_16482`
8×	`div-inv_binary64_16443`
6×	`associate-l_binary64_16387` `associate-r_binary64_16386`
5×	`pow1_binary64_16507` `add-log-exp_binary64_16485`
4×	`flip3--_binary64_16450` `frac-times_binary64_16456` `flip--_binary64_16421` `difference-of-squares_binary64_16415`
3×	`flip3-+_binary64_16449` `flip-+_binary64_16420` `sub-neg_binary64_16439` `associate-/r/_binary64_16392` `div-exp_binary64_16497` `cbrt-undiv_binary64_16480` `associate-/l*_binary64_16391`
2×	`associate-l/_binary64_16389` `associate-r/_binary64_16388` `distribute-lft-out--_binary64_16398`
1×	`pow-prod-down_binary64_16517` `prod-exp_binary64_16495` `cbrt-unprod_binary64_16479` `unswap-sqr_binary64_16414` `distribute-rgt1-in_binary64_16402` `distribute-rgt-out_binary64_16399` `distribute-lft-out_binary64_16397` `*-commutative_binary64_16377` `frac-2neg_binary64_16457` `clear-num_binary64_16445` `diff-log_binary64_16538`

Counts

3 → 157

Calls

3 calls:

24.0ms	(*.f64 (+.f64 z (/.f64 z (/.f64 y z))) (-.f64 -1 (/.f64 x y)))
7.0ms	(-.f64 -1 (/.f64 x y))
6.0ms	(/.f64 z (/.f64 y z))

Compiler

Compiled 3822 to 1199 computations (68.6% saved)

series709.0ms (10.2%)

Error

0.0b

Counts

3 → 39

Calls

3 calls:

481.0ms	(*.f64 (+.f64 z (/.f64 z (/.f64 y z))) (-.f64 -1 (/.f64 x y)))
105.0ms	(/.f64 z (/.f64 y z))
92.0ms	(-.f64 -1 (/.f64 x y))

Compiler

Compiled 1540 to 1052 computations (31.7% saved)

simplify90.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

196 → 196

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5002	3620

prune179.0ms (2.6%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	195	1	196
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	195	5	200

Error

Counts

200 → 5

Compiler

Compiled 3738 to 1005 computations (73.1% saved)

regimes637.0ms (9.2%)

Accuracy

Total 0.2b remaining (98.9%)

Threshold costs 0.2b (98.9%)

Compiler

Compiled 4238 to 2972 computations (29.9% saved)

bsearch3.0ms (0%)

Compiler: Compiled 9 to 8 computations (11.1% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	84	70
1	84	70

end0.0ms (0%)

sample1.4s (20.4%)

Algorithm

1×

intervals

Results

246.0ms	7998×	body	128	valid
0.0ms	1×	body	1024	valid
0.0ms	1×	body	512	valid

Compiler

Compiled 1116 to 775 computations (30.6% saved)

Details

analyze900.0ms (13%)

sample98.0ms (1.4%)

simplify179.0ms (2.6%)

prune2.0ms (0%)

localize6.0ms (0.1%)

rewrite92.0ms (1.3%)

series295.0ms (4.3%)

simplify67.0ms (1%)

prune80.0ms (1.2%)

localize7.0ms (0.1%)

rewrite246.0ms (3.5%)

series663.0ms (9.6%)

simplify85.0ms (1.2%)

prune185.0ms (2.7%)

localize7.0ms (0.1%)

rewrite61.0ms (0.9%)

series569.0ms (8.2%)

simplify71.0ms (1%)

prune61.0ms (0.9%)

localize10.0ms (0.1%)

rewrite213.0ms (3.1%)

series709.0ms (10.2%)

simplify90.0ms (1.3%)

prune179.0ms (2.6%)

regimes637.0ms (9.2%)

bsearch3.0ms (0%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample1.4s (20.4%)

Profiling