Details

analyze813.0ms (19.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 53 to 45 computations (15.1% saved)

sample2.2s (52.1%)

Results

2.1s

8256×

body

128

valid

Compiler

Compiled 158 to 134 computations (15.2% saved)

simplify64.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

976×	`fma-def_binary64`
667×	`div-sub_binary64`
616×	`sub-neg_binary64`
386×	`unsub-neg_binary64`
342×	`times-frac_binary64`

Counts

1 → 2

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	13	76
1	22	72
2	42	72
3	108	48
4	313	48
5	1138	42
6	3303	42
7	4367	42
8	5019	42

prune5.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 (fma.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4) 5) (fma.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4) 6))

Compiler

Compiled 141 to 121 computations (14.2% saved)

localize9.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

series9.0ms (0.2%)

Counts

3 → 36

Calls

3 calls:

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

rewrite12.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`*-un-lft-identity_binary64`
18×	`fma-def_binary64`
12×	`times-frac_binary64`
11×	`add-sqr-sqrt_binary64`
11×	`add-cube-cbrt_binary64`

Counts

3 → 52

Calls

3 calls:

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

simplify82.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

819×	`fma-neg_binary64`
555×	`distribute-rgt-in_binary64`
531×	`distribute-lft-in_binary64`
424×	`cancel-sign-sub-inv_binary64`
275×	`fma-def_binary64`

Counts

88 → 116

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	105	1253
1	286	1103
2	715	1086
3	2022	1081
4	4868	1072
5	5139	1072

prune171.0ms (4.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	167	1	168
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	168	1	169

Error

Counts

169 → 1

Alt Table

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

Compiler

Compiled 5823 to 5000 computations (14.1% saved)

localize10.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

series3.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

3.0ms

(*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4))

rewrite18.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`associate-l_binary64`
18×	`*-un-lft-identity_binary64`
15×	`add-sqr-sqrt_binary64`
13×	`times-frac_binary64`
10×	`add-cube-cbrt_binary64`

Counts

1 → 46

Calls

1 calls:

15.0ms

(*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4))

simplify125.0ms (3%)

Algorithm

1×	egg-herbie

Rules

443×	`fma-def_binary64`
411×	`distribute-rgt-in_binary64`
393×	`distribute-lft-in_binary64`
361×	`associate-*l/_binary64`
312×	`associate-*r/_binary64`

Counts

58 → 88

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	128	1356
1	439	1150
2	1309	1139
3	4596	1127
4	4984	1127
5	4902	1127

prune234.0ms (5.6%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	224	0	224
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	224	1	225

Error

Counts

225 → 1

Alt Table

Status	Error	Program
✓	0b	(/.f64 (+.f64 (*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4)) 5) (fma.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4) 6))

Compiler

Compiled 8300 to 7170 computations (13.6% saved)

regimes362.0ms (8.6%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts

64 → 1

Compiler

Compiled 8505 to 7296 computations (14.2% saved)

simplify7.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
1×	`*-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	44
1	20	44
2	19	44

end82.0ms (2%)

Compiler: Compiled 93 to 81 computations (12.9% saved)

Details

analyze813.0ms (19.4%)

sample2.2s (52.1%)

simplify64.0ms (1.5%)

prune5.0ms (0.1%)

localize9.0ms (0.2%)

series9.0ms (0.2%)

rewrite12.0ms (0.3%)

simplify82.0ms (1.9%)

prune171.0ms (4.1%)

localize10.0ms (0.2%)

series3.0ms (0.1%)

rewrite18.0ms (0.4%)

simplify125.0ms (3%)

prune234.0ms (5.6%)

regimes362.0ms (8.6%)

simplify7.0ms (0.2%)

end82.0ms (2%)

Profiling