Details

analyze573.0ms (16.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	50%	0%	4
50%	50%	0%	5
50%	50%	0%	6
50%	50%	0%	7
50%	50%	0%	8
50%	50%	0%	9
50%	50%	0%	10
50%	50%	0%	11
50%	49.9%	0%	12
99.6%	0.3%	0%	13
99.9%	0%	0%	14

Compiler

Compiled 31 to 27 computations (12.9% saved)

sample31.0ms (0.9%)

Algorithm

1×

intervals

Results

24.0ms

256×

body

128

valid

Compiler

Compiled 62 to 54 computations (12.9% saved)

simplify94.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

716×	`fma-def_binary64`
480×	`unsub-neg_binary64`
457×	`sub-neg_binary64`
410×	`div-sub_binary64`
342×	`times-frac_binary64`

Counts

1 → 2

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	13	43
1	23	41
2	47	41
3	114	29
4	299	29
5	1006	26
6	2842	26
7	4184	26
8	4491	26
9	4846	26

prune4.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.0b	(-.f64 1 (/.f64 1 (fma.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4) 6)))

Compiler

Compiled 86 to 76 computations (11.6% saved)

localize9.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (/.f64 2 (+.f64 1 t)) -4)
✓	0.0b	(/.f64 2 (+.f64 1 t))
✓	0.0b	(-.f64 1 (/.f64 1 (fma.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4) 6)))
✓	0.0b	(fma.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4) 6)

series11.0ms (0.3%)

Counts

4 → 48

Calls

4 calls:

3.0ms	(fma.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4) 6)
3.0ms	(-.f64 1 (/.f64 1 (fma.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4) 6)))
3.0ms	(/.f64 2 (+.f64 1 t))
2.0ms	(+.f64 (/.f64 2 (+.f64 1 t)) -4)

rewrite33.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

87×	`*-un-lft-identity_binary64`
74×	`add-sqr-sqrt_binary64`
64×	`times-frac_binary64`
63×	`add-cube-cbrt_binary64`
39×	`prod-diff_binary64`

Counts

4 → 153

Calls

4 calls:

8.0ms	(+.f64 (/.f64 2 (+.f64 1 t)) -4)
8.0ms	(-.f64 1 (/.f64 1 (fma.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4) 6)))
3.0ms	(/.f64 2 (+.f64 1 t))
0.0ms	(fma.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4) 6)

simplify146.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

819×	`fma-neg_binary64`
566×	`fma-def_binary64`
358×	`times-frac_binary64`
267×	`associate-l_binary64`
245×	`cancel-sign-sub-inv_binary64`

Counts

201 → 254

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	236	5768
1	585	4604
2	1432	3639
3	3964	3637
4	4814	3637

prune355.0ms (10.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	321	2	323
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	321	3	324

Error

Counts

324 → 3

Alt Table

Status	Error	Program
✓	0.0b	(-.f64 1 (/.f64 1 (fma.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4) 6)))
	0.5b	(*.f64 (sqrt.f64 (+.f64 1 (/.f64 -1 (+.f64 6 (/.f64 (+.f64 -8 (/.f64 4 (+.f64 t 1))) (+.f64 t 1)))))) (sqrt.f64 (+.f64 1 (/.f64 -1 (+.f64 6 (/.f64 (+.f64 -8 (/.f64 4 (+.f64 t 1))) (+.f64 t 1)))))))
▶	0.0b	(exp.f64 (log1p.f64 (/.f64 -1 (+.f64 6 (/.f64 (+.f64 -8 (/.f64 4 (+.f64 t 1))) (+.f64 t 1))))))

Compiler

Compiled 11720 to 10404 computations (11.2% saved)

localize11.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(log1p.f64 (/.f64 -1 (+.f64 6 (/.f64 (+.f64 -8 (/.f64 4 (+.f64 t 1))) (+.f64 t 1)))))
✓	0.0b	(exp.f64 (log1p.f64 (/.f64 -1 (+.f64 6 (/.f64 (+.f64 -8 (/.f64 4 (+.f64 t 1))) (+.f64 t 1))))))
✓	0.0b	(/.f64 4 (+.f64 t 1))
✓	0.0b	(/.f64 (+.f64 -8 (/.f64 4 (+.f64 t 1))) (+.f64 t 1))

series14.0ms (0.4%)

Counts

4 → 48

Calls

4 calls:

4.0ms	(log1p.f64 (/.f64 -1 (+.f64 6 (/.f64 (+.f64 -8 (/.f64 4 (+.f64 t 1))) (+.f64 t 1)))))
4.0ms	(exp.f64 (log1p.f64 (/.f64 -1 (+.f64 6 (/.f64 (+.f64 -8 (/.f64 4 (+.f64 t 1))) (+.f64 t 1))))))
3.0ms	(/.f64 (+.f64 -8 (/.f64 4 (+.f64 t 1))) (+.f64 t 1))
3.0ms	(/.f64 4 (+.f64 t 1))

rewrite19.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

52×	`*-un-lft-identity_binary64`
28×	`times-frac_binary64`
24×	`add-sqr-sqrt_binary64`
24×	`add-cube-cbrt_binary64`
14×	`distribute-lft-out_binary64`

Counts

4 → 102

Calls

4 calls:

10.0ms	(/.f64 (+.f64 -8 (/.f64 4 (+.f64 t 1))) (+.f64 t 1))
4.0ms	(/.f64 4 (+.f64 t 1))
1.0ms	(exp.f64 (log1p.f64 (/.f64 -1 (+.f64 6 (/.f64 (+.f64 -8 (/.f64 4 (+.f64 t 1))) (+.f64 t 1))))))
0.0ms	(log1p.f64 (/.f64 -1 (+.f64 6 (/.f64 (+.f64 -8 (/.f64 4 (+.f64 t 1))) (+.f64 t 1)))))

simplify125.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

962×	`fma-neg_binary64`
436×	`fma-def_binary64`
419×	`times-frac_binary64`
284×	`sub-neg_binary64`
224×	`cancel-sign-sub-inv_binary64`

Counts

150 → 181

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	226	2978
1	559	2752
2	1334	2732
3	3353	2728
4	4613	2728
5	4967	2728

prune157.0ms (4.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	180	1	181
Fresh	1	0	1
Picked	0	1	1
Done	0	1	1
Total	181	3	184

Error

Counts

184 → 3

Alt Table

Status	Error	Program
✓	0.0b	(-.f64 1 (/.f64 1 (fma.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4) 6)))
✓	0.0b	(exp.f64 (log1p.f64 (/.f64 -1 (+.f64 6 (/.f64 (+.f64 -8 (/.f64 4 (+.f64 t 1))) (+.f64 t 1))))))
▶	1.2b	(exp.f64 (log1p.f64 (/.f64 -1 (+.f64 6 (/.f64 (+.f64 -8 4) (+.f64 t 1))))))

Compiler

Compiled 4296 to 3739 computations (13% saved)

localize9.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 6 (/.f64 (+.f64 -8 4) (+.f64 t 1)))
✓	0.0b	(/.f64 -1 (+.f64 6 (/.f64 (+.f64 -8 4) (+.f64 t 1))))
✓	0.0b	(/.f64 (+.f64 -8 4) (+.f64 t 1))
✓	0.0b	(log1p.f64 (/.f64 -1 (+.f64 6 (/.f64 (+.f64 -8 4) (+.f64 t 1)))))

series12.0ms (0.3%)

Counts

4 → 48

Calls

4 calls:

4.0ms	(/.f64 (+.f64 -8 4) (+.f64 t 1))
3.0ms	(log1p.f64 (/.f64 -1 (+.f64 6 (/.f64 (+.f64 -8 4) (+.f64 t 1)))))
2.0ms	(/.f64 -1 (+.f64 6 (/.f64 (+.f64 -8 4) (+.f64 t 1))))
2.0ms	(+.f64 6 (/.f64 (+.f64 -8 4) (+.f64 t 1)))

rewrite29.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

54×	`*-un-lft-identity_binary64`
28×	`times-frac_binary64`
24×	`add-sqr-sqrt_binary64`
24×	`add-cube-cbrt_binary64`
15×	`distribute-lft-out_binary64`

Counts

4 → 105

Calls

4 calls:

10.0ms	(+.f64 6 (/.f64 (+.f64 -8 4) (+.f64 t 1)))
10.0ms	(/.f64 -1 (+.f64 6 (/.f64 (+.f64 -8 4) (+.f64 t 1))))
5.0ms	(/.f64 (+.f64 -8 4) (+.f64 t 1))
0.0ms	(log1p.f64 (/.f64 -1 (+.f64 6 (/.f64 (+.f64 -8 4) (+.f64 t 1)))))

simplify110.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

993×	`fma-neg_binary64`
448×	`cancel-sign-sub-inv_binary64`
373×	`fma-def_binary64`
310×	`times-frac_binary64`
301×	`sub-neg_binary64`

Counts

153 → 216

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	238	2355
1	538	2216
2	1207	2198
3	2802	2190
4	4694	2174
5	5011	2174

prune182.0ms (5.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	216	0	216
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	216	3	219

Error

Counts

219 → 3

Alt Table

Status	Error	Program
✓	0.0b	(-.f64 1 (/.f64 1 (fma.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4) 6)))
✓	0.0b	(exp.f64 (log1p.f64 (/.f64 -1 (+.f64 6 (/.f64 (+.f64 -8 (/.f64 4 (+.f64 t 1))) (+.f64 t 1))))))
✓	1.2b	(exp.f64 (log1p.f64 (/.f64 -1 (+.f64 6 (/.f64 (+.f64 -8 4) (+.f64 t 1))))))

Compiler

Compiled 4198 to 3790 computations (9.7% saved)

regimes568.0ms (16.3%)

Accuracy

Total 0.0b remaining (30%)

Threshold costs 0.0b (30%)

Counts

94 → 1

Compiler

Compiled 10277 to 9023 computations (12.2% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`+-commutative_binary64`
2×	`sub-neg_binary64`
1×	`*-commutative_binary64`
1×	`distribute-neg-frac_binary64`
1×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	26
1	18	26
2	24	26
3	26	26
4	27	26
5	25	26

end1.0ms (0%)

Compiler: Compiled 19 to 17 computations (10.5% saved)

sample1.0s (28.7%)

Algorithm

1×

intervals

Results

742.0ms

8000×

body

128

valid

Compiler

Compiled 102 to 91 computations (10.8% saved)

Details

analyze573.0ms (16.4%)

sample31.0ms (0.9%)

simplify94.0ms (2.7%)

prune4.0ms (0.1%)

localize9.0ms (0.3%)

series11.0ms (0.3%)

rewrite33.0ms (0.9%)

simplify146.0ms (4.2%)

prune355.0ms (10.2%)

localize11.0ms (0.3%)

series14.0ms (0.4%)

rewrite19.0ms (0.5%)

simplify125.0ms (3.6%)

prune157.0ms (4.5%)

localize9.0ms (0.3%)

series12.0ms (0.3%)

rewrite29.0ms (0.8%)

simplify110.0ms (3.1%)

prune182.0ms (5.2%)

regimes568.0ms (16.3%)

simplify3.0ms (0.1%)

end1.0ms (0%)

sample1.0s (28.7%)

Profiling