Details

analyze5.0ms (0.5%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
25%	75%	0%	3
75%	25%	0%	4
87.5%	12.5%	0%	5
93.7%	6.2%	0%	6
96.8%	3.1%	0%	7
98.4%	1.6%	0%	8
99.2%	0.8%	0%	9
99.6%	0.4%	0%	10
99.8%	0.2%	0%	11
99.9%	0.1%	0%	12
99.9%	0%	0%	13
99.9%	0%	0%	14

Compiler

Compiled 13 to 10 computations (23.1% saved)

sample28.0ms (2.9%)

Algorithm

1×

intervals

Results

9.0ms

256×

body

128

valid

Compiler

Compiled 26 to 20 computations (23.1% saved)

simplify6.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
1×	`sub-neg_binary64`
1×	`1-exp_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	16
1	15	16
2	16	16
3	14	16

prune3.0ms (0.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.0b	(+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (+.f64 x 1)))

Compiler

Compiled 47 to 35 computations (25.5% saved)

localize6.0ms (0.6%)

Local error

Found 3 expressions with local error:

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

series8.0ms (0.8%)

Counts

3 → 36

Calls

3 calls:

3.0ms	(+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (+.f64 x 1)))
3.0ms	(/.f64 1 (-.f64 x 1))
2.0ms	(/.f64 x (+.f64 x 1))

rewrite38.0ms (3.9%)

Algorithm

1×	rewrite-expression-head

Rules

87×	`*-un-lft-identity_binary64`
63×	`add-sqr-sqrt_binary64`
62×	`times-frac_binary64`
35×	`add-cube-cbrt_binary64`
27×	`fma-def_binary64`

Counts

3 → 133

Calls

3 calls:

24.0ms	(+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (+.f64 x 1)))
4.0ms	(/.f64 1 (-.f64 x 1))
3.0ms	(/.f64 x (+.f64 x 1))

simplify118.0ms (12.1%)

Algorithm

1×	egg-herbie

Rules

729×	`fma-neg_binary64`
380×	`fma-def_binary64`
216×	`times-frac_binary64`
195×	`sub-neg_binary64`
182×	`div-sub_binary64`

Counts

169 → 205

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	174	1959
1	413	1896
2	1043	1881
3	3123	1869
4	4517	1869
5	4984	1869
6	4929	1869

prune134.0ms (13.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	203	2	205
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	203	3	206

Error

Counts

206 → 3

Alt Table

Status	Error	Program
▶	13.3b	(/.f64 (fma.f64 x x 1) (fma.f64 x x -1))
	32.8b	(+.f64 -1 (*.f64 -2 (fma.f64 x x (pow.f64 x 4))))
✓	0.0b	(+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (+.f64 x 1)))

Compiler

Compiled 3728 to 2767 computations (25.8% saved)

localize5.0ms (0.5%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	12.9b	(/.f64 (fma.f64 x x 1) (fma.f64 x x -1))

series3.0ms (0.3%)

Counts

1 → 12

Calls

1 calls:

3.0ms

(/.f64 (fma.f64 x x 1) (fma.f64 x x -1))

rewrite3.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`*-un-lft-identity_binary64`
9×	`times-frac_binary64`
9×	`add-sqr-sqrt_binary64`
9×	`add-cube-cbrt_binary64`
3×	`associate-/r*_binary64`

Counts

1 → 29

Calls

1 calls:

2.0ms

(/.f64 (fma.f64 x x 1) (fma.f64 x x -1))

simplify62.0ms (6.3%)

Algorithm

1×	egg-herbie

Rules

969×	`fma-neg_binary64`
598×	`times-frac_binary64`
571×	`fma-def_binary64`
459×	`associate-l_binary64`
303×	`associate-/l*_binary64`

Counts

41 → 50

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	82	796
1	183	740
2	488	712
3	1279	710
4	4553	707
5	5194	707

prune32.0ms (3.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	49	1	50
Fresh	1	0	1
Picked	0	1	1
Done	0	1	1
Total	50	3	53

Error

Counts

53 → 3

Alt Table

Status	Error	Program
✓	13.3b	(/.f64 (fma.f64 x x 1) (fma.f64 x x -1))
▶	32.8b	(fma.f64 -2 (fma.f64 x x (pow.f64 x 4)) -1)
✓	0.0b	(+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (+.f64 x 1)))

Compiler

Compiled 853 to 575 computations (32.6% saved)

localize5.0ms (0.5%)

prune2.0ms (0.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

Counts

3 → 3

Alt Table

Status	Error	Program
✓	13.3b	(/.f64 (fma.f64 x x 1) (fma.f64 x x -1))
✓	32.8b	(fma.f64 -2 (fma.f64 x x (pow.f64 x 4)) -1)
✓	0.0b	(+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (+.f64 x 1)))

Compiler

Compiled 32 to 22 computations (31.3% saved)

regimes27.0ms (2.7%)

Accuracy

Total 0.0b remaining (95.7%)

Threshold costs 0.0b (95.7%)

Counts

17 → 1

Compiler

Compiled 330 to 252 computations (23.6% saved)

simplify2.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
1×	`sub-neg_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	16
1	15	16
2	16	16
3	14	16

end0.0ms (0%)

Compiler: Compiled 12 to 9 computations (25% saved)

sample486.0ms (49.9%)

Algorithm

1×

intervals

Results

297.0ms

8000×

body

128

valid

Compiler

Compiled 58 to 42 computations (27.6% saved)

Details

analyze5.0ms (0.5%)

sample28.0ms (2.9%)

simplify6.0ms (0.7%)

prune3.0ms (0.3%)

localize6.0ms (0.6%)

series8.0ms (0.8%)

rewrite38.0ms (3.9%)

simplify118.0ms (12.1%)

prune134.0ms (13.8%)

localize5.0ms (0.5%)

series3.0ms (0.3%)

rewrite3.0ms (0.4%)

simplify62.0ms (6.3%)

prune32.0ms (3.3%)

localize5.0ms (0.5%)

prune2.0ms (0.2%)

regimes27.0ms (2.7%)

simplify2.0ms (0.2%)

end0.0ms (0%)

sample486.0ms (49.9%)

Profiling