Details

analyze7.0ms (0.5%)

Algorithm

1×

Search

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

Compiler

Compiled 13 to 10 computations (23.1% saved)

sample697.0ms (52.7%)

Results

683.0ms

8256×

body

128

valid

Compiler

Compiled 26 to 20 computations (23.1% saved)

preprocess16.0ms (1.2%)

Algorithm

2×	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
0	1	1

Stop Event

1×	saturated
1×	saturated

Compiler

Compiled 12 to 9 computations (25% saved)

simplify7.0ms (0.5%)

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

Stop Event

1×

saturated

Counts

1 → 2

prune2.0ms (0.2%)

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.5%)

Local error

Found 2 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))

series6.0ms (0.5%)

Counts

2 → 24

Calls

6 calls:

2.0ms	(/.f64 x (+.f64 x 1))	x	-inf
1.0ms	(+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (+.f64 x 1)))	x	-inf
1.0ms	(+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (+.f64 x 1)))	x	inf
1.0ms	(/.f64 x (+.f64 x 1))	x	0
1.0ms	(+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (+.f64 x 1)))	x	0

rewrite56.0ms (4.2%)

Algorithm

1×	batch-egg-rewrite

Rules

489×	`fma-def_binary64`
249×	`fma-neg_binary64`
229×	`log-div_binary64`
168×	`expm1-udef_binary64`
168×	`log1p-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	23
1	194	23
2	3099	23

Stop Event

1×	node limit

Counts

2 → 113

simplify27.0ms (2%)

Algorithm

1×	egg-herbie

Rules

716×	`fma-def_binary64`
419×	`associate-l_binary64`
386×	`cancel-sign-sub-inv_binary64`
377×	`fma-neg_binary64`
309×	`associate-r_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	46	311
1	140	303
2	412	290
3	1331	289

Stop Event

1×	node limit

Counts

137 → 140

prune91.0ms (6.9%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	139	1	140
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	140	1	141

Error

Counts

141 → 1

Alt Table

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

Compiler

Compiled 2451 to 1836 computations (25.1% saved)

localize7.0ms (0.5%)

Local error

Found 3 expressions with local error:

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

series8.0ms (0.6%)

Counts

3 → 36

Calls

9 calls:

1.0ms	(+.f64 (/.f64 1 (-.f64 x 1)) (pow.f64 (/.f64 (+.f64 x 1) x) -1))	x	-inf
1.0ms	(+.f64 (/.f64 1 (-.f64 x 1)) (pow.f64 (/.f64 (+.f64 x 1) x) -1))	x	inf
1.0ms	(pow.f64 (/.f64 (+.f64 x 1) x) -1)	x	0
1.0ms	(+.f64 (/.f64 1 (-.f64 x 1)) (pow.f64 (/.f64 (+.f64 x 1) x) -1))	x	0
1.0ms	(pow.f64 (/.f64 (+.f64 x 1) x) -1)	x	inf

rewrite107.0ms (8.1%)

Algorithm

1×	batch-egg-rewrite

Rules

365×	`fma-def_binary64`
225×	`fma-neg_binary64`
200×	`log-div_binary64`
190×	`expm1-udef_binary64`
190×	`log1p-udef_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	36
1	230	30
2	3285	30

Stop Event

1×	node limit

Counts

3 → 147

simplify64.0ms (4.8%)

Algorithm

1×	egg-herbie

Rules

715×	`fma-def_binary64`
431×	`associate-l_binary64`
386×	`cancel-sign-sub-inv_binary64`
377×	`fma-neg_binary64`
305×	`associate-r_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	47	380
1	142	372
2	414	359
3	1331	358

Stop Event

1×	node limit

Counts

183 → 176

prune131.0ms (9.9%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	176	0	176
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	176	1	177

Error

Counts

177 → 1

Alt Table

Status	Error	Program
✓	0b	(+.f64 (/.f64 1 (-.f64 x 1)) (pow.f64 (/.f64 (+.f64 x 1) x) -1))

Compiler

Compiled 3108 to 2363 computations (24% saved)

regimes47.0ms (3.6%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts

24 → 1

Compiler

Compiled 638 to 503 computations (21.2% 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	10	19
1	16	19
2	17	19

Stop Event

1×

saturated

end41.0ms (3.1%)

Stop Event

1×

done

Compiler

Compiled 42 to 33 computations (21.4% saved)

Details

analyze7.0ms (0.5%)

sample697.0ms (52.7%)

preprocess16.0ms (1.2%)

simplify7.0ms (0.5%)

prune2.0ms (0.2%)

localize6.0ms (0.5%)

series6.0ms (0.5%)

rewrite56.0ms (4.2%)

simplify27.0ms (2%)

prune91.0ms (6.9%)

localize7.0ms (0.5%)

series8.0ms (0.6%)

rewrite107.0ms (8.1%)

simplify64.0ms (4.8%)

prune131.0ms (9.9%)

regimes47.0ms (3.6%)

simplify2.0ms (0.2%)

end41.0ms (3.1%)

Profiling