Details

analyze2.2s (45.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
0%	99.7%	0.3%	12
1.6%	98.1%	0.3%	13
2.3%	97.4%	0.3%	14

Compiler

Compiled 28 to 20 computations (28.6% saved)

sample2.1s (44.8%)

Results

1.3s	8254×	body	128	valid
770.0ms	4755×	body	128	invalid
0.0ms	1×	body	1024	valid
0.0ms	1×	body	512	valid

Compiler

Compiled 83 to 59 computations (28.9% saved)

simplify57.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

494×	`fma-neg_binary64`
474×	`distribute-neg-in_binary64`
463×	`associate--l-_binary64`
362×	`associate--r-_binary64`
354×	`+-commutative_binary64`

Counts

1 → 2

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	19	31
1	49	27
2	141	25
3	466	25
4	1615	25
5	3794	25
6	4547	25
7	4966	25

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	(fma.f64 (-.f64 (+.f64 y t) 2) b (fma.f64 z (-.f64 1 y) (fma.f64 a (-.f64 1 t) x)))

Compiler

Compiled 93 to 60 computations (35.5% saved)

localize12.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 a (-.f64 1 t) x)

series6.0ms (0.1%)

Counts

1 → 36

Calls

1 calls:

6.0ms

(fma.f64 a (-.f64 1 t) x)

rewrite1.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

1×	`*-un-lft-identity_binary64`
1×	`add-sqr-sqrt_binary64`
1×	`add-cube-cbrt_binary64`
1×	`add-cbrt-cube_binary64`
1×	`add-exp-log_binary64`

Counts

1 → 10

Calls

1 calls:

0.0ms

(fma.f64 a (-.f64 1 t) x)

simplify69.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

831×	`times-frac_binary64`
570×	`fma-neg_binary64`
453×	`associate-+l+_binary64`
288×	`distribute-neg-in_binary64`
284×	`neg-sub0_binary64`

Counts

46 → 22

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	26	437
1	54	420
2	98	366
3	261	366
4	1194	366
5	2569	366
6	4244	366
7	5641	366

prune23.0ms (0.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	21	1	22
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	21	2	23

Error

Counts

23 → 2

Alt Table

Status	Error	Program
▶	0.0b	(fma.f64 (-.f64 (+.f64 y t) 2) b (fma.f64 z (-.f64 1 y) (-.f64 (+.f64 a x) (*.f64 a t))))
✓	0.0b	(fma.f64 (-.f64 (+.f64 y t) 2) b (fma.f64 z (-.f64 1 y) (fma.f64 a (-.f64 1 t) x)))

Compiler

Compiled 520 to 282 computations (45.8% saved)

localize12.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (+.f64 a x) (*.f64 a t))

series6.0ms (0.1%)

Counts

1 → 9

Calls

1 calls:

6.0ms

(-.f64 (+.f64 a x) (*.f64 a t))

rewrite5.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`*-un-lft-identity_binary64`
6×	`add-log-exp_binary64`
4×	`fma-neg_binary64`
4×	`prod-diff_binary64`
3×	`add-sqr-sqrt_binary64`

Counts

1 → 24

Calls

1 calls:

4.0ms

(-.f64 (+.f64 a x) (*.f64 a t))

simplify86.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

646×	`associate-+l+_binary64`
542×	`fma-neg_binary64`
344×	`cancel-sign-sub-inv_binary64`
267×	`*-commutative_binary64`
237×	`unsub-neg_binary64`

Counts

33 → 40

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	57	477
1	139	366
2	413	342
3	1614	341
4	3030	341
5	4922	341
6	4993	341
7	4866	341

prune26.0ms (0.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	40	0	40
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	40	2	42

Error

Counts

42 → 2

Alt Table

Status	Error	Program
✓	0.0b	(fma.f64 (-.f64 (+.f64 y t) 2) b (fma.f64 z (-.f64 1 y) (-.f64 (+.f64 a x) (*.f64 a t))))
✓	0.0b	(fma.f64 (-.f64 (+.f64 y t) 2) b (fma.f64 z (-.f64 1 y) (fma.f64 a (-.f64 1 t) x)))

Compiler

Compiled 1042 to 445 computations (57.3% saved)

regimes89.0ms (1.9%)

Accuracy

Total 0.0b remaining (22.1%)

Threshold costs 0.0b (22.1%)

Counts

10 → 1

Compiler

Compiled 1734 to 1188 computations (31.5% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

9×	`+-commutative_binary64`
7×	`sub-neg_binary64`
5×	`*-commutative_binary64`
4×	`neg-sub0_binary64`
4×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	27
1	32	27
2	45	27
3	53	27
4	58	27
5	59	27
6	57	27

end56.0ms (1.2%)

Compiler: Compiled 99 to 64 computations (35.4% saved)

Details

analyze2.2s (45.6%)

sample2.1s (44.8%)

simplify57.0ms (1.2%)

prune4.0ms (0.1%)

localize12.0ms (0.2%)

series6.0ms (0.1%)

rewrite1.0ms (0%)

simplify69.0ms (1.4%)

prune23.0ms (0.5%)

localize12.0ms (0.2%)

series6.0ms (0.1%)

rewrite5.0ms (0.1%)

simplify86.0ms (1.8%)

prune26.0ms (0.5%)

regimes89.0ms (1.9%)

simplify3.0ms (0.1%)

end56.0ms (1.2%)

Profiling