Details

analyze1.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
100%	0%	0%	3

Compiler

Compiled 9 to 6 computations (33.3% saved)

sample651.0ms (48.3%)

Results

623.0ms

8256×

body

128

valid

Compiler

Compiled 26 to 17 computations (34.6% saved)

simplify6.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`
1×	`1-exp_binary64`
1×	`fma-def_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	10	8

Stop Event

1×

saturated

Counts

1 → 2

prune2.0ms (0.2%)

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

14.3b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	14.3b	(/.f64 x (fma.f64 x x 1))

Compiler

Compiled 28 to 16 computations (42.9% saved)

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series3.0ms (0.2%)

Counts

1 → 12

Calls

1 calls:

3.0ms

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

rewrite34.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

462×	`log1p-expm1-u_binary64`
462×	`expm1-log1p-u_binary64`
316×	`unpow-prod-down_binary64`
231×	`log-prod_binary64`
126×	`pow2_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	8
1	98	8
2	1224	8

Stop Event

1×	node limit

Counts

1 → 66

Calls

1 calls:

33.0ms

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

simplify29.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

485×	`times-frac_binary64`
468×	`fma-def_binary64`
270×	`sub-neg_binary64`
263×	`fma-neg_binary64`
230×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	180
1	65	180
2	180	180
3	453	180
4	1323	180
5	3836	180

Stop Event

1×	node limit

Counts

78 → 79

prune43.0ms (3.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	76	3	79
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	76	4	80

Error

Counts

80 → 4

Alt Table

Status	Error	Program
▶	14.5b	(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1)) -2) (/.f64 x (cbrt.f64 (fma.f64 x x 1))))
	35.0b	(/.f64 1 x)
	28.0b	(-.f64 (+.f64 (pow.f64 x 5) x) (pow.f64 x 3))
✓	14.3b	(/.f64 x (fma.f64 x x 1))

Compiler

Compiled 1141 to 787 computations (31% saved)

localize7.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 x (cbrt.f64 (fma.f64 x x 1)))
✓	0.2b	(pow.f64 (cbrt.f64 (fma.f64 x x 1)) -2)
✓	6.3b	(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1)) -2) (/.f64 x (cbrt.f64 (fma.f64 x x 1))))
✓	14.6b	(cbrt.f64 (fma.f64 x x 1))

series27.0ms (2%)

Counts

4 → 48

Calls

4 calls:

12.0ms	(pow.f64 (cbrt.f64 (fma.f64 x x 1)) -2)
7.0ms	(/.f64 x (cbrt.f64 (fma.f64 x x 1)))
5.0ms	(cbrt.f64 (fma.f64 x x 1))
3.0ms	(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1)) -2) (/.f64 x (cbrt.f64 (fma.f64 x x 1))))

rewrite48.0ms (3.6%)

Algorithm

1×	batch-egg-rewrite

Rules

807×	`log1p-expm1-u_binary64`
807×	`expm1-log1p-u_binary64`
94×	`egg-rr`
88×	`add-sqr-sqrt_binary64`
82×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	49
1	185	49
2	2236	49

Stop Event

1×	node limit

Counts

4 → 94

Calls

4 calls:

47.0ms	(/.f64 x (cbrt.f64 (fma.f64 x x 1)))
47.0ms	(pow.f64 (cbrt.f64 (fma.f64 x x 1)) -2)
47.0ms	(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1)) -2) (/.f64 x (cbrt.f64 (fma.f64 x x 1))))
47.0ms	(cbrt.f64 (fma.f64 x x 1))

simplify40.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

615×	`fma-neg_binary64`
333×	`fma-def_binary64`
278×	`sub-neg_binary64`
228×	`cancel-sign-sub-inv_binary64`
210×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	109	956
1	324	944
2	895	906
3	2875	906

Stop Event

1×	node limit

Counts

142 → 150

prune120.0ms (8.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	186	0	186
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	186	4	190

Error

Counts

190 → 4

Alt Table

Status	Error	Program
✓	14.5b	(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1)) -2) (/.f64 x (cbrt.f64 (fma.f64 x x 1))))
	35.0b	(/.f64 1 x)
▶	28.0b	(-.f64 (+.f64 (pow.f64 x 5) x) (pow.f64 x 3))
✓	14.3b	(/.f64 x (fma.f64 x x 1))

Compiler

Compiled 3835 to 2800 computations (27% saved)

localize5.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (pow.f64 x 5) x)
✓	17.0b	(-.f64 (+.f64 (pow.f64 x 5) x) (pow.f64 x 3))

series7.0ms (0.5%)

Counts

2 → 9

Calls

2 calls:

4.0ms	(+.f64 (pow.f64 x 5) x)
3.0ms	(-.f64 (+.f64 (pow.f64 x 5) x) (pow.f64 x 3))

rewrite69.0ms (5.1%)

Algorithm

1×	batch-egg-rewrite

Rules

459×	`fma-def_binary64`
393×	`log-prod_binary64`
251×	`fma-neg_binary64`
170×	`egg-rr`
162×	`expm1-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	20
1	192	20
2	2654	20

Stop Event

1×	node limit

Counts

2 → 170

Calls

2 calls:

66.0ms	(+.f64 (pow.f64 x 5) x)
66.0ms	(-.f64 (+.f64 (pow.f64 x 5) x) (pow.f64 x 3))

simplify25.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

608×	`fma-def_binary64`
436×	`unswap-sqr_binary64`
288×	`fma-neg_binary64`
253×	`distribute-rgt-in_binary64`
234×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	45
1	23	45
2	58	45
3	127	45
4	314	45
5	1083	45
6	3413	45

Stop Event

1×	node limit

Counts

179 → 174

prune95.0ms (7%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	174	0	174
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	174	4	178

Error

Counts

178 → 4

Alt Table

Status	Error	Program
✓	14.5b	(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1)) -2) (/.f64 x (cbrt.f64 (fma.f64 x x 1))))
▶	35.0b	(/.f64 1 x)
✓	28.0b	(-.f64 (+.f64 (pow.f64 x 5) x) (pow.f64 x 3))
✓	14.3b	(/.f64 x (fma.f64 x x 1))

Compiler

Compiled 2972 to 2123 computations (28.6% saved)

localize2.0ms (0.1%)

prune2.0ms (0.1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

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

Error

Counts

4 → 4

Alt Table

Status	Error	Program
✓	14.5b	(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1)) -2) (/.f64 x (cbrt.f64 (fma.f64 x x 1))))
✓	35.0b	(/.f64 1 x)
✓	28.0b	(-.f64 (+.f64 (pow.f64 x 5) x) (pow.f64 x 3))
✓	14.3b	(/.f64 x (fma.f64 x x 1))

Compiler

Compiled 37 to 25 computations (32.4% saved)

regimes52.0ms (3.9%)

Accuracy

Total 0.0b remaining (74.7%)

Threshold costs 0.0b (74.7%)

Counts

12 → 3

Compiler

Compiled 242 to 162 computations (33.1% saved)

bsearch3.0ms (0.3%)

Steps

Iters	Range		Point
1	46470710.00091662	26055171693.08462	1047313193.7117802
1	-1.9959152520171674e+34	-9.779874684885486e+23	-1.4023151127775673e+29

Compiler

Compiled 2 to 1 computations (50% saved)

simplify2.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	28
1	15	28

Stop Event

1×

saturated

end71.0ms (5.2%)

Compiler: Compiled 79 to 53 computations (32.9% saved)

Details

analyze1.0ms (0.1%)

sample651.0ms (48.3%)

simplify6.0ms (0.4%)

prune2.0ms (0.2%)

localize3.0ms (0.2%)

series3.0ms (0.2%)

rewrite34.0ms (2.6%)

simplify29.0ms (2.2%)

prune43.0ms (3.2%)

localize7.0ms (0.5%)

series27.0ms (2%)

rewrite48.0ms (3.6%)

simplify40.0ms (2.9%)

prune120.0ms (8.9%)

localize5.0ms (0.3%)

series7.0ms (0.5%)

rewrite69.0ms (5.1%)

simplify25.0ms (1.9%)

prune95.0ms (7%)

localize2.0ms (0.1%)

prune2.0ms (0.1%)

regimes52.0ms (3.9%)

bsearch3.0ms (0.3%)

simplify2.0ms (0.2%)

end71.0ms (5.2%)

Profiling