Details

analyze3.0ms (0.3%)

Algorithm

1×

Search

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

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample707.0ms (69.7%)

Alt Table

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

Results

645.0ms

8256×

body

128

valid

Compiler

Compiled 42 to 32 computations (23.8% saved)

localize4.0ms (0.4%)

Local error

Found 1 expressions with local error:

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

series2.0ms (0.2%)

Counts

1 → 12

Calls

1 calls:

2.0ms

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

rewrite45.0ms (4.4%)

Algorithm

2×	batch-egg-rewrite

Rules

737×	`log1p-expm1-u_binary64`
737×	`expm1-log1p-u_binary64`
241×	`prod-diff_binary64`
69×	`add-sqr-sqrt_binary64`
65×	`add-log-exp_binary64`

Counts

1 → 35

Calls

1 calls:

44.0ms

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	136	10
2	1823	10
3	4988	10
0	0	0
1	0	0

prune30.0ms (3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	46	1	47
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	46	2	48

Error

Counts

48 → 2

Alt Table

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

Compiler

Compiled 607 to 486 computations (19.9% saved)

localize7.0ms (0.7%)

Local error

Found 3 expressions with local error:

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

series8.0ms (0.8%)

Counts

3 → 36

Calls

3 calls:

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

rewrite60.0ms (5.9%)

Algorithm

2×	batch-egg-rewrite

Rules

799×	`log1p-expm1-u_binary64`
799×	`expm1-log1p-u_binary64`
241×	`prod-diff_binary64`
111×	`egg-rr`
77×	`add-sqr-sqrt_binary64`

Counts

3 → 111

Calls

3 calls:

54.0ms	(/.f64 (+.f64 x 1) (-.f64 1 x))
54.0ms	(exp.f64 (/.f64 (+.f64 x 1) (-.f64 1 x)))
54.0ms	(log.f64 (exp.f64 (/.f64 (+.f64 x 1) (-.f64 1 x))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	32
1	152	32
2	1994	32
3	5374	32
0	0	0
1	0	0

prune88.0ms (8.7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	147	0	147
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	147	2	149

Error

Counts

149 → 2

Alt Table

Status	Error	Program
✓	0.0b	(/.f64 (+.f64 x 1) (-.f64 1 x))
✓	0.0b	(log.f64 (exp.f64 (/.f64 (+.f64 x 1) (-.f64 1 x))))

Compiler

Compiled 2033 to 1655 computations (18.6% saved)

regimes19.0ms (1.9%)

Accuracy

Total 0.0b remaining (9.5%)

Threshold costs 0.0b (9.5%)

Counts

11 → 1

Compiler

Compiled 172 to 140 computations (18.6% saved)

simplify2.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
2×	`sub-neg_binary64`
1×	`*-commutative_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	11	10
2	15	10
3	17	10
4	18	10
5	17	10

end40.0ms (3.9%)

Compiler: Compiled 34 to 26 computations (23.5% saved)

Details

analyze3.0ms (0.3%)

sample707.0ms (69.7%)

localize4.0ms (0.4%)

series2.0ms (0.2%)

rewrite45.0ms (4.4%)

prune30.0ms (3%)

localize7.0ms (0.7%)

series8.0ms (0.8%)

rewrite60.0ms (5.9%)

prune88.0ms (8.7%)

regimes19.0ms (1.9%)

simplify2.0ms (0.2%)

end40.0ms (3.9%)

Profiling