Details

analyze351.0ms (6.9%)

Algorithm

1×

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
12.5%	87.4%	0.1%	4
25%	74.9%	0.1%	5
31.2%	68.7%	0.1%	6
67.1%	32.8%	0.1%	7
71%	28.9%	0.1%	8
82.3%	17.6%	0.1%	9
84.9%	15%	0.1%	10
90.8%	9.1%	0.1%	11
92.2%	7.7%	0.1%	12
95.3%	4.6%	0.1%	13
96%	3.9%	0.1%	14

Compiler

Compiled 14 to 11 computations (21.4% saved)

sample24.0ms (0.5%)

Algorithm

1×

intervals

Results

11.0ms	206×	body	128	valid
3.0ms	29×	body	512	valid
1.0ms	11×	body	1024	valid
1.0ms	10×	body	256	valid

Compiler

Compiled 29 to 23 computations (20.7% saved)

simplify191.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

1574×	`distribute-rgt-in_binary64`
1102×	`div-sub_binary64`
756×	`sub-neg_binary64`
664×	`associate-/l*_binary64`
569×	`unsub-neg_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	16
1	19	16
2	43	16
3	98	16
4	256	16
5	565	16
6	972	16
7	1231	16
8	1769	16
9	2294	16
10	2639	16
11	2822	16
12	1409	16
13	1425	16
14	1705	16
15	1573	16
16	1509	16
17	1509	16
18	3701	16
19	4209	16
20	4852	16

prune3.0ms (0.1%)

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

20.5b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	20.5b	(-.f64 1 (/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1)))

Compiler

Compiled 39 to 30 computations (23.1% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 (-.f64 1 x) y)
3.1b	(-.f64 1 (/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1)))
7.0b	(/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1))

rewrite145.0ms (2.8%)

Algorithm

1×	rewrite-expression-head

Error

12.5b

Rules

21×	`*-un-lft-identity_binary64`
17×	`add-sqr-sqrt_binary64`
10×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `cancel-sign-sub-inv_binary64`
9×	`add-cube-cbrt_binary64`
8×	`times-frac_binary64`

Counts

3 → 74

Calls

3 calls:

11.0ms	(/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1))
9.0ms	(-.f64 1 (/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1)))
7.0ms	(*.f64 (-.f64 1 x) y)

Compiler

Compiled 1345 to 1001 computations (25.6% saved)

series114.0ms (2.2%)

Error

0.0b

Counts

3 → 45

Calls

3 calls:

34.0ms	(-.f64 1 (/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1)))
33.0ms	(/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1))
16.0ms	(*.f64 (-.f64 1 x) y)

Compiler

Compiled 1307 to 911 computations (30.3% saved)

simplify106.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

387×	`distribute-rgt-in_binary64`
370×	`cancel-sign-sub-inv_binary64`
358×	`div-sub_binary64`
320×	`distribute-lft-in_binary64`
271×	`sub-neg_binary64`

Counts

119 → 94

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	199	2101
1	578	1970
2	2142	1964
3	4569	1940
4	5269	1940

prune60.0ms (1.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	91	3	94
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	92	3	95

Error

0.0b

Counts

95 → 3

Alt Table

Status	Error	Program
	23.1b	(-.f64 1 (.f64 (/.f64 (-.f64 y (.f64 y x)) (+.f64 -1 (*.f64 y y))) (-.f64 y 1)))
	30.9b	(-.f64 (+.f64 (/.f64 x (.f64 y y)) (+.f64 x (+.f64 (/.f64 1 y) (/.f64 1 (pow.f64 y 3))))) (+.f64 (/.f64 x (pow.f64 y 3)) (+.f64 (/.f64 x y) (/.f64 1 (.f64 y y)))))
▶	12.9b	(-.f64 1 (*.f64 (/.f64 y (+.f64 y 1)) (-.f64 1 x)))

Compiler

Compiled 1206 to 724 computations (40% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite128.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

42×	`*-un-lft-identity_binary64`
33×	`add-sqr-sqrt_binary64`
25×	`add-cube-cbrt_binary64` `times-frac_binary64`
18×	`associate-l_binary64`
13×	`cancel-sign-sub-inv_binary64`

Counts

3 → 105

Calls

3 calls:

14.0ms	(*.f64 (/.f64 y (+.f64 y 1)) (-.f64 1 x))
7.0ms	(/.f64 y (+.f64 y 1))
5.0ms	(-.f64 1 (*.f64 (/.f64 y (+.f64 y 1)) (-.f64 1 x)))

Compiler

Compiled 1928 to 1361 computations (29.4% saved)

series100.0ms (2%)

Error

0.0b

Counts

3 → 48

Calls

3 calls:

34.0ms	(-.f64 1 (*.f64 (/.f64 y (+.f64 y 1)) (-.f64 1 x)))
32.0ms	(*.f64 (/.f64 y (+.f64 y 1)) (-.f64 1 x))
12.0ms	(/.f64 y (+.f64 y 1))

Compiler

Compiled 1385 to 993 computations (28.3% saved)

simplify179.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

664×	`times-frac_binary64`
434×	`distribute-rgt-in_binary64`
396×	`cancel-sign-sub-inv_binary64`
271×	`sub-neg_binary64`
153×	`distribute-rgt-neg-in_binary64`

Counts

153 → 134

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	234	2655
1	629	2521
2	2129	2490
3	4643	2490
4	4999	2490
5	4996	2490
6	4962	2490

prune99.0ms (1.9%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	133	1	134
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	134	3	137

Error

0.0b

Counts

137 → 3

Alt Table

Status	Error	Program
	30.9b	(-.f64 (+.f64 (/.f64 x (.f64 y y)) (+.f64 x (+.f64 (/.f64 1 y) (/.f64 1 (pow.f64 y 3))))) (+.f64 (/.f64 x (pow.f64 y 3)) (+.f64 (/.f64 x y) (/.f64 1 (.f64 y y)))))
✓	12.9b	(-.f64 1 (*.f64 (/.f64 y (+.f64 y 1)) (-.f64 1 x)))
▶	12.9b	(-.f64 1 (*.f64 (/.f64 1 (/.f64 (+.f64 1 y) y)) (-.f64 1 x)))

Compiler

Compiled 1905 to 1273 computations (33.2% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite289.0ms (5.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

198×	`times-frac_binary64`
163×	`*-un-lft-identity_binary64`
125×	`add-sqr-sqrt_binary64`
108×	`add-cube-cbrt_binary64`
53×	`associate-l_binary64`

Counts

4 → 237

Calls

4 calls:

24.0ms	(*.f64 (/.f64 1 (/.f64 (+.f64 1 y) y)) (-.f64 1 x))
9.0ms	(/.f64 1 (/.f64 (+.f64 1 y) y))
6.0ms	(/.f64 (+.f64 1 y) y)
5.0ms	(-.f64 1 (*.f64 (/.f64 1 (/.f64 (+.f64 1 y) y)) (-.f64 1 x)))

Compiler

Compiled 4931 to 3738 computations (24.2% saved)

series116.0ms (2.3%)

Error

0.0b

Counts

4 → 54

Calls

4 calls:

36.0ms	(-.f64 1 (*.f64 (/.f64 1 (/.f64 (+.f64 1 y) y)) (-.f64 1 x)))
33.0ms	(*.f64 (/.f64 1 (/.f64 (+.f64 1 y) y)) (-.f64 1 x))
12.0ms	(/.f64 1 (/.f64 (+.f64 1 y) y))
12.0ms	(/.f64 (+.f64 1 y) y)

Compiler

Compiled 1556 to 1141 computations (26.7% saved)

simplify196.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

431×	`cancel-sign-sub-inv_binary64`
417×	`distribute-rgt-in_binary64`
347×	`distribute-lft-in_binary64`
284×	`sub-neg_binary64`
187×	`distribute-rgt-neg-in_binary64`

Counts

291 → 241

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	280	5005
1	714	4573
2	2435	4506
3	4693	4506
4	4965	4506

prune139.0ms (2.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	241	0	241
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	241	3	244

Error

0.0b

Counts

244 → 3

Alt Table

Status	Error	Program
▶	30.9b	(-.f64 (+.f64 (/.f64 x (.f64 y y)) (+.f64 x (+.f64 (/.f64 1 y) (/.f64 1 (pow.f64 y 3))))) (+.f64 (/.f64 x (pow.f64 y 3)) (+.f64 (/.f64 x y) (/.f64 1 (.f64 y y)))))
✓	12.9b	(-.f64 1 (*.f64 (/.f64 y (+.f64 y 1)) (-.f64 1 x)))
✓	12.9b	(-.f64 1 (*.f64 (/.f64 1 (/.f64 (+.f64 1 y) y)) (-.f64 1 x)))

Compiler

Compiled 2982 to 2087 computations (30% saved)

localize19.0ms (0.4%)

Local error

Found 4 expressions with local error:

6.7b	(+.f64 (/.f64 x (*.f64 y y)) (+.f64 x (+.f64 (/.f64 1 y) (/.f64 1 (pow.f64 y 3)))))
7.2b	(+.f64 (/.f64 x (pow.f64 y 3)) (+.f64 (/.f64 x y) (/.f64 1 (*.f64 y y))))
7.3b	(/.f64 x (pow.f64 y 3))
8.5b	(/.f64 x (*.f64 y y))

rewrite236.0ms (4.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

57×	`*-un-lft-identity_binary64`
41×	`times-frac_binary64`
31×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
21×	`distribute-lft-out_binary64`
18×	`add-log-exp_binary64`

Counts

4 → 128

Calls

4 calls:

51.0ms	(+.f64 (/.f64 x (*.f64 y y)) (+.f64 x (+.f64 (/.f64 1 y) (/.f64 1 (pow.f64 y 3)))))
30.0ms	(+.f64 (/.f64 x (pow.f64 y 3)) (+.f64 (/.f64 x y) (/.f64 1 (*.f64 y y))))
6.0ms	(/.f64 x (*.f64 y y))
5.0ms	(/.f64 x (pow.f64 y 3))

Compiler

Compiled 4571 to 2403 computations (47.4% saved)

series168.0ms (3.3%)

Error

0.0b

Counts

4 → 42

Calls

4 calls:

54.0ms	(+.f64 (/.f64 x (pow.f64 y 3)) (+.f64 (/.f64 x y) (/.f64 1 (*.f64 y y))))
44.0ms	(+.f64 (/.f64 x (*.f64 y y)) (+.f64 x (+.f64 (/.f64 1 y) (/.f64 1 (pow.f64 y 3)))))
27.0ms	(/.f64 x (pow.f64 y 3))
23.0ms	(/.f64 x (*.f64 y y))

Compiler

Compiled 2484 to 1633 computations (34.3% saved)

simplify203.0ms (4%)

Algorithm

1×	egg-herbie

Rules

485×	`unswap-sqr_binary64`
313×	`cancel-sign-sub-inv_binary64`
197×	`associate-l_binary64`
187×	`log-prod_binary64`
177×	`associate-r_binary64`

Counts

170 → 118

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	230	3193
1	609	3031
2	2701	3025
3	4510	2966
4	4478	2966
5	4999	2966
6	4946	2966

prune70.0ms (1.4%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	118	0	118
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	118	3	121

Error

0.0b

Counts

121 → 3

Alt Table

Status	Error	Program
	30.9b	(-.f64 (+.f64 (/.f64 x (.f64 y y)) (+.f64 x (+.f64 (/.f64 1 y) (/.f64 1 (pow.f64 y 3))))) (+.f64 (/.f64 x (pow.f64 y 3)) (+.f64 (/.f64 x y) (/.f64 1 (.f64 y y)))))
	12.9b	(-.f64 1 (*.f64 (/.f64 y (+.f64 y 1)) (-.f64 1 x)))
	12.9b	(-.f64 1 (*.f64 (/.f64 1 (/.f64 (+.f64 1 y) y)) (-.f64 1 x)))

Compiler

Compiled 2357 to 1269 computations (46.2% saved)

regimes1.4s (27.4%)

Accuracy

Total 0.2b remaining (85.9%)

Threshold costs 0.2b (85.9%)

Compiler

Compiled 13333 to 9694 computations (27.3% saved)

bsearch4.0ms (0.1%)

Compiler: Compiled 11 to 8 computations (27.3% saved)

simplify15.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

43×	`cancel-sign-sub-inv_binary64`
37×	`distribute-rgt-neg-in_binary64`
26×	`distribute-lft-neg-in_binary64`
24×	`neg-mul-1_binary64` `neg-sub0_binary64` `+-commutative_binary64`
23×	`sub-neg_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	38	111
1	63	109
2	88	109
3	123	109
4	157	109
5	187	109
6	209	109
7	223	109
8	242	109
9	256	109
10	268	109
11	272	109
12	268	109

end2.0ms (0%)

Compiler: Compiled 75 to 54 computations (28% saved)

sample715.0ms (14.1%)

Algorithm

1×

intervals

Results

203.0ms	6289×	body	128	valid
72.0ms	598×	body	1024	valid
56.0ms	647×	body	512	valid
31.0ms	458×	body	256	valid
1.0ms	8×	body	2048	valid

Compiler

Compiled 154 to 111 computations (27.9% saved)

Iter	Nodes	Cost
0	38	111
1	63	109
2	88	109
3	123	109
4	157	109
5	187	109
6	209	109
7	223	109
8	242	109
9	256	109
10	268	109
11	272	109
12	268	109

Iter	Nodes	Cost
0	38	111
1	63	109
2	88	109
3	123	109
4	157	109
5	187	109
6	209	109
7	223	109
8	242	109
9	256	109
10	268	109
11	272	109
12	268	109

Details

analyze351.0ms (6.9%)

sample24.0ms (0.5%)

simplify191.0ms (3.8%)

prune3.0ms (0.1%)

localize7.0ms (0.1%)

rewrite145.0ms (2.8%)

series114.0ms (2.2%)

simplify106.0ms (2.1%)

prune60.0ms (1.2%)

localize7.0ms (0.1%)

rewrite128.0ms (2.5%)

series100.0ms (2%)

simplify179.0ms (3.5%)

prune99.0ms (1.9%)

localize9.0ms (0.2%)

rewrite289.0ms (5.7%)

series116.0ms (2.3%)

simplify196.0ms (3.8%)

prune139.0ms (2.7%)

localize19.0ms (0.4%)

rewrite236.0ms (4.6%)

series168.0ms (3.3%)

simplify203.0ms (4%)

prune70.0ms (1.4%)

regimes1.4s (27.4%)

bsearch4.0ms (0.1%)

simplify15.0ms (0.3%)

end2.0ms (0%)

sample715.0ms (14.1%)

Profiling

Iter	Nodes	Cost
0	38	111
1	63	109
2	88	109
3	123	109
4	157	109
5	187	109
6	209	109
7	223	109
8	242	109
9	256	109
10	268	109
11	272	109
12	268	109