Details

analyze109.0ms (2.6%)

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
0%	99.9%	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)

sample1.2s (29.5%)

Results

682.0ms	6550×	body	128	valid
195.0ms	644×	body	1024	valid
161.0ms	642×	body	512	valid
74.0ms	418×	body	256	valid
1.0ms	2×	body	2048	valid

Compiler

Compiled 41 to 32 computations (22% saved)

simplify201.0ms (4.8%)

Algorithm

1×	egg-herbie

Rules

1996×	`fma-def_binary64`
1626×	`fma-neg_binary64`
1098×	`div-sub_binary64`
733×	`sub-neg_binary64`
664×	`associate-/l*_binary64`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	9	16
1	19	16
2	43	16
3	102	14
4	274	14
5	652	14
6	1272	14
7	1697	14
8	2416	14
9	2933	14
10	3278	14
11	3461	14
12	1980	14
13	1996	14
14	2659	14
15	2539	14
16	2497	14
17	2531	14
18	2531	14
19	4723	14
20	4903	14
21	5942	14

prune4.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Kept	Total
New	2	2
Fresh	1	1
Picked	0	0
Done	0	0
Total	3	3

Error

15.0b

Counts

3 → 2

Alt Table

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

Compiler

Compiled 73 to 55 computations (24.7% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (+.f64 x -1) (+.f64 1 y))
✓	15.3b	(fma.f64 y (/.f64 (+.f64 x -1) (+.f64 1 y)) 1)

series28.0ms (0.7%)

Counts

2 → 48

Calls

2 calls:

19.0ms	(fma.f64 y (/.f64 (+.f64 x -1) (+.f64 1 y)) 1)
9.0ms	(/.f64 (+.f64 x -1) (+.f64 1 y))

rewrite10.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

35×	`*-un-lft-identity_binary64`
20×	`times-frac_binary64`
18×	`add-sqr-sqrt_binary64`
13×	`add-cube-cbrt_binary64`
11×	`distribute-lft-out_binary64`

Counts

2 → 57

Calls

2 calls:

7.0ms	(/.f64 (+.f64 x -1) (+.f64 1 y))
0.0ms	(fma.f64 y (/.f64 (+.f64 x -1) (+.f64 1 y)) 1)

simplify76.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

780×	`fma-neg_binary64`
491×	`associate--l+_binary64`
425×	`associate--r+_binary64`
390×	`associate-+l+_binary64`
315×	`fma-def_binary64`

Counts

105 → 102

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	160	2086
1	416	1897
2	1275	1850
3	4701	1850
4	5402	1850

prune76.0ms (1.8%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	99	3	102
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	101	3	104

Error

0.0b

Counts

104 → 3

Alt Table

Status	Error	Program
	15.7b	(.f64 (.f64 (cbrt.f64 (fma.f64 y (/.f64 (+.f64 x -1) (+.f64 1 y)) 1)) (cbrt.f64 (fma.f64 y (/.f64 (+.f64 x -1) (+.f64 1 y)) 1))) (cbrt.f64 (fma.f64 y (/.f64 (+.f64 x -1) (+.f64 1 y)) 1)))
▶	15.1b	(+.f64 (*.f64 (/.f64 y (+.f64 1 y)) (+.f64 x -1)) 1)
	30.7b	(-.f64 (+.f64 x (/.f64 x (.f64 y y))) (+.f64 (/.f64 1 (.f64 y y)) (/.f64 (+.f64 x -1) y)))

Compiler

Compiled 1932 to 1327 computations (31.3% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (/.f64 y (+.f64 1 y)) (+.f64 x -1))
✓	0.0b	(/.f64 y (+.f64 1 y))
✓	1.5b	(+.f64 (*.f64 (/.f64 y (+.f64 1 y)) (+.f64 x -1)) 1)

series25.0ms (0.6%)

Counts

3 → 60

Calls

3 calls:

12.0ms	(*.f64 (/.f64 y (+.f64 1 y)) (+.f64 x -1))
10.0ms	(+.f64 (*.f64 (/.f64 y (+.f64 1 y)) (+.f64 x -1)) 1)
2.0ms	(/.f64 y (+.f64 1 y))

rewrite27.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

37×	`*-un-lft-identity_binary64`
27×	`add-sqr-sqrt_binary64`
25×	`times-frac_binary64`
21×	`add-cube-cbrt_binary64`
18×	`associate-l_binary64`

Counts

3 → 98

Calls

3 calls:

9.0ms	(*.f64 (/.f64 y (+.f64 1 y)) (+.f64 x -1))
8.0ms	(+.f64 (*.f64 (/.f64 y (+.f64 1 y)) (+.f64 x -1)) 1)
3.0ms	(/.f64 y (+.f64 1 y))

simplify97.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

640×	`fma-neg_binary64`
621×	`distribute-rgt-in_binary64`
465×	`times-frac_binary64`
290×	`cancel-sign-sub-inv_binary64`
257×	`sub-neg_binary64`

Counts

158 → 191

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	222	2569
1	702	2474
2	2288	2452
3	4520	2452
4	4961	2452

prune111.0ms (2.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	190	1	191
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	191	3	194

Error

0.0b

Counts

194 → 3

Alt Table

Status	Error	Program
	40.4b	(log.f64 (.f64 (exp.f64 (.f64 (/.f64 y (+.f64 1 y)) (+.f64 x -1))) (exp.f64 1)))
✓	15.1b	(+.f64 (*.f64 (/.f64 y (+.f64 1 y)) (+.f64 x -1)) 1)
▶	30.7b	(-.f64 (+.f64 x (/.f64 x (.f64 y y))) (+.f64 (/.f64 1 (.f64 y y)) (/.f64 (+.f64 x -1) y)))

Compiler

Compiled 3611 to 2505 computations (30.6% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(/.f64 1 (*.f64 y y))
✓	2.4b	(+.f64 (/.f64 1 (*.f64 y y)) (/.f64 (+.f64 x -1) y))
✓	7.4b	(/.f64 x (*.f64 y y))
✓	7.5b	(-.f64 (+.f64 x (/.f64 x (.f64 y y))) (+.f64 (/.f64 1 (.f64 y y)) (/.f64 (+.f64 x -1) y)))

series91.0ms (2.1%)

Counts

4 → 84

Calls

4 calls:

40.0ms	(-.f64 (+.f64 x (/.f64 x (.f64 y y))) (+.f64 (/.f64 1 (.f64 y y)) (/.f64 (+.f64 x -1) y)))
29.0ms	(/.f64 x (*.f64 y y))
20.0ms	(+.f64 (/.f64 1 (*.f64 y y)) (/.f64 (+.f64 x -1) y))
2.0ms	(/.f64 1 (*.f64 y y))

rewrite53.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Rules

77×	`*-un-lft-identity_binary64`
26×	`distribute-lft-out_binary64`
24×	`add-sqr-sqrt_binary64`
24×	`prod-diff_binary64`
22×	`add-cube-cbrt_binary64`

Counts

4 → 146

Calls

4 calls:

21.0ms	(-.f64 (+.f64 x (/.f64 x (.f64 y y))) (+.f64 (/.f64 1 (.f64 y y)) (/.f64 (+.f64 x -1) y)))
12.0ms	(+.f64 (/.f64 1 (*.f64 y y)) (/.f64 (+.f64 x -1) y))
3.0ms	(/.f64 1 (*.f64 y y))
3.0ms	(/.f64 x (*.f64 y y))

simplify133.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

550×	`fma-neg_binary64`
251×	`cancel-sign-sub-inv_binary64`
196×	`associate-/r/_binary64`
171×	`distribute-rgt-neg-in_binary64`
166×	`distribute-rgt-in_binary64`

Counts

230 → 189

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	225	5463
1	643	4334
2	2435	3523
3	4370	3521
4	4967	3521

prune119.0ms (2.8%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	188	1	189
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	188	4	192

Error

0.0b

Counts

192 → 4

Alt Table

Status	Error	Program
▶	40.4b	(log.f64 (.f64 (exp.f64 (.f64 (/.f64 y (+.f64 1 y)) (+.f64 x -1))) (exp.f64 1)))
✓	15.1b	(+.f64 (*.f64 (/.f64 y (+.f64 1 y)) (+.f64 x -1)) 1)
	45.8b	(.f64 (sqrt.f64 (+.f64 x (.f64 (/.f64 (+.f64 x -1) y) (+.f64 (/.f64 1 y) -1)))) (sqrt.f64 (+.f64 x (*.f64 (/.f64 (+.f64 x -1) y) (+.f64 (/.f64 1 y) -1)))))
✓	30.7b	(-.f64 (+.f64 x (/.f64 x (.f64 y y))) (+.f64 (/.f64 1 (.f64 y y)) (/.f64 (+.f64 x -1) y)))

Compiler

Compiled 6108 to 2848 computations (53.4% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(/.f64 y (+.f64 1 y))
✓	0.0b	(.f64 (exp.f64 (.f64 (/.f64 y (+.f64 1 y)) (+.f64 x -1))) (exp.f64 1))
✓	0.0b	(exp.f64 (*.f64 (/.f64 y (+.f64 1 y)) (+.f64 x -1)))
✓	1.5b	(log.f64 (.f64 (exp.f64 (.f64 (/.f64 y (+.f64 1 y)) (+.f64 x -1))) (exp.f64 1)))

series626.0ms (14.9%)

Counts

3 → 72

Calls

3 calls:

587.0ms

(log.f64 (*.f64 (exp.f64 (*.f64 (/.f64 y (+.f64 1 y)) (+.f64 x -1))) (exp.f64 1)))

23.0ms

(*.f64 (exp.f64 (*.f64 (/.f64 y (+.f64 1 y)) (+.f64 x -1))) (exp.f64 1))

15.0ms

(exp.f64 (*.f64 (/.f64 y (+.f64 1 y)) (+.f64 x -1)))

rewrite15.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`pow1_binary64`
7×	`add-sqr-sqrt_binary64`
7×	`*-un-lft-identity_binary64`
5×	`associate-l_binary64`
5×	`add-cube-cbrt_binary64`

Counts

3 → 52

Calls

3 calls:

7.0ms

(*.f64 (exp.f64 (*.f64 (/.f64 y (+.f64 1 y)) (+.f64 x -1))) (exp.f64 1))

4.0ms

(log.f64 (*.f64 (exp.f64 (*.f64 (/.f64 y (+.f64 1 y)) (+.f64 x -1))) (exp.f64 1)))

2.0ms

(exp.f64 (*.f64 (/.f64 y (+.f64 1 y)) (+.f64 x -1)))

simplify116.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

346×	`cancel-sign-sub-inv_binary64`
303×	`fma-neg_binary64`
244×	`sub-neg_binary64`
222×	`fma-def_binary64`
206×	`associate-r_binary64`

Counts

124 → 151

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	279	3913
1	828	3370
2	3237	3160
3	4594	3160
4	5029	3160

prune135.0ms (3.2%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	201	0	201
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	201	4	205

Error

0.0b

Counts

205 → 4

Alt Table

Status	Error	Program
✓	40.4b	(log.f64 (.f64 (exp.f64 (.f64 (/.f64 y (+.f64 1 y)) (+.f64 x -1))) (exp.f64 1)))
✓	15.1b	(+.f64 (*.f64 (/.f64 y (+.f64 1 y)) (+.f64 x -1)) 1)
	45.8b	(.f64 (sqrt.f64 (+.f64 x (.f64 (/.f64 (+.f64 x -1) y) (+.f64 (/.f64 1 y) -1)))) (sqrt.f64 (+.f64 x (*.f64 (/.f64 (+.f64 x -1) y) (+.f64 (/.f64 1 y) -1)))))
✓	30.7b	(-.f64 (+.f64 x (/.f64 x (.f64 y y))) (+.f64 (/.f64 1 (.f64 y y)) (/.f64 (+.f64 x -1) y)))

Compiler

Compiled 5039 to 3734 computations (25.9% saved)

regimes741.0ms (17.6%)

Accuracy

Total -0.0b remaining (-0.8%)

Threshold costs -0.0b (-0.8%)

Counts

80 → 3

Compiler

Compiled 6002 to 4325 computations (27.9% saved)

bsearch46.0ms (1.1%)

Steps

Iters	Range		Point
10	0.0007680825863039066	10422113158467.512	338143.07044951775
10	-1004513208981673.5	-10931.002852662054	-387431.34117193345

Compiler

Compiled 3 to 2 computations (33.3% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

10×	`+-commutative_binary64`
6×	`sub-neg_binary64`
5×	`*-commutative_binary64`
5×	`neg-sub0_binary64`
5×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	53
1	35	53
2	42	53
3	52	53
4	63	53
5	70	53
6	73	53
7	74	53
8	72	53

end91.0ms (2.2%)

Compiler: Compiled 157 to 110 computations (29.9% saved)

Details

analyze109.0ms (2.6%)

sample1.2s (29.5%)

simplify201.0ms (4.8%)

prune4.0ms (0.1%)

localize6.0ms (0.1%)

series28.0ms (0.7%)

rewrite10.0ms (0.2%)

simplify76.0ms (1.8%)

prune76.0ms (1.8%)

localize8.0ms (0.2%)

series25.0ms (0.6%)

rewrite27.0ms (0.6%)

simplify97.0ms (2.3%)

prune111.0ms (2.6%)

localize10.0ms (0.2%)

series91.0ms (2.1%)

rewrite53.0ms (1.3%)

simplify133.0ms (3.2%)

prune119.0ms (2.8%)

localize10.0ms (0.2%)

series626.0ms (14.9%)

rewrite15.0ms (0.4%)

simplify116.0ms (2.8%)

prune135.0ms (3.2%)

regimes741.0ms (17.6%)

bsearch46.0ms (1.1%)

simplify5.0ms (0.1%)

end91.0ms (2.2%)

Profiling