Details

analyze1.0ms (0%)

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)

sample678.0ms (26%)

Results

651.0ms

8256×

body

128

valid

Compiler

Compiled 26 to 17 computations (34.6% saved)

simplify6.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	10	8
2	9	8

prune2.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

15.2b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 28 to 16 computations (42.9% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series4.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

4.0ms

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

rewrite3.0ms (0.1%)

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 x (fma.f64 x x 1))

simplify64.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

543×	`associate-/l*_binary64`
513×	`div-sub_binary64`
480×	`associate-/l/_binary64`
388×	`fma-neg_binary64`
289×	`distribute-rgt-in_binary64`

Counts

41 → 48

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	72	635
1	147	601
2	366	580
3	807	580
4	2019	580
5	4600	580
6	5498	580

prune27.0ms (1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	45	3	48
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	45	4	49

Error

Counts

49 → 4

Alt Table

Status	Error	Program
	40.4b	(cbrt.f64 (.f64 (.f64 (/.f64 x (fma.f64 x x 1)) (/.f64 x (fma.f64 x x 1))) (/.f64 x (fma.f64 x x 1))))
	33.1b	(-.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 3)))
▶	31.0b	(-.f64 x (pow.f64 x 3))
✓	15.2b	(/.f64 x (fma.f64 x x 1))

Compiler

Compiled 690 to 422 computations (38.8% saved)

localize3.0ms (0.1%)

prune3.0ms (0.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

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

Error

Counts

4 → 4

Alt Table

Status	Error	Program
	40.4b	(cbrt.f64 (.f64 (.f64 (/.f64 x (fma.f64 x x 1)) (/.f64 x (fma.f64 x x 1))) (/.f64 x (fma.f64 x x 1))))
▶	33.1b	(-.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 3)))
✓	31.0b	(-.f64 x (pow.f64 x 3))
✓	15.2b	(/.f64 x (fma.f64 x x 1))

Compiler

Compiled 77 to 50 computations (35.1% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 1 (pow.f64 x 3))
✓	0.2b	(-.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 3)))

series7.0ms (0.3%)

Counts

2 → 3

Calls

2 calls:

4.0ms	(/.f64 1 (pow.f64 x 3))
3.0ms	(-.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 3)))

rewrite178.0ms (6.8%)

Algorithm

1×	rewrite-expression-head

Rules

965×	`times-frac_binary64`
695×	`add-sqr-sqrt_binary64`
663×	`*-un-lft-identity_binary64`
626×	`add-cube-cbrt_binary64`
520×	`prod-diff_binary64`

Counts

2 → 701

Calls

2 calls:

41.0ms	(-.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 3)))
5.0ms	(/.f64 1 (pow.f64 x 3))

simplify483.0ms (18.5%)

Algorithm

1×	egg-herbie

Rules

544×	`fma-def_binary64`
543×	`associate-/r*_binary64`
413×	`fma-neg_binary64`
391×	`associate-/l/_binary64`
272×	`cancel-sign-sub-inv_binary64`

Counts

704 → 559

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	213	26213
1	379	14355
2	1110	9583
3	3895	9583
4	4963	9583
5	4879	9583

prune551.0ms (21.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	559	0	559
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	559	4	563

Error

Counts

563 → 4

Alt Table

Status	Error	Program
▶	40.4b	(cbrt.f64 (.f64 (.f64 (/.f64 x (fma.f64 x x 1)) (/.f64 x (fma.f64 x x 1))) (/.f64 x (fma.f64 x x 1))))
✓	33.1b	(-.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 3)))
✓	31.0b	(-.f64 x (pow.f64 x 3))
✓	15.2b	(/.f64 x (fma.f64 x x 1))

Compiler

Compiled 24505 to 19194 computations (21.7% saved)

localize7.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (.f64 (/.f64 x (fma.f64 x x 1)) (/.f64 x (fma.f64 x x 1))) (/.f64 x (fma.f64 x x 1)))
✓	0.1b	(*.f64 (/.f64 x (fma.f64 x x 1)) (/.f64 x (fma.f64 x x 1)))
	15.2b	(/.f64 x (fma.f64 x x 1))
✓	40.4b	(cbrt.f64 (.f64 (.f64 (/.f64 x (fma.f64 x x 1)) (/.f64 x (fma.f64 x x 1))) (/.f64 x (fma.f64 x x 1))))

series25.0ms (0.9%)

Counts

3 → 36

Calls

3 calls:

12.0ms

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

8.0ms

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

4.0ms

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

rewrite40.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Rules

65×	`add-cbrt-cube_binary64`
56×	`add-exp-log_binary64`
53×	`add-sqr-sqrt_binary64`
50×	`times-frac_binary64`
38×	`*-un-lft-identity_binary64`

Counts

3 → 154

Calls

3 calls:

9.0ms

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

8.0ms

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

6.0ms

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

simplify114.0ms (4.4%)

Algorithm

1×	egg-herbie

Rules

592×	`associate-/l/_binary64`
460×	`times-frac_binary64`
424×	`fma-def_binary64`
236×	`associate-/r/_binary64`
205×	`fma-neg_binary64`

Counts

190 → 262

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	248	5054
1	645	3576
2	2115	3144
3	4408	3144
4	4938	3144

prune242.0ms (9.3%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	406	0	406
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	406	4	410

Error

Counts

410 → 4

Alt Table

Status	Error	Program
✓	40.4b	(cbrt.f64 (.f64 (.f64 (/.f64 x (fma.f64 x x 1)) (/.f64 x (fma.f64 x x 1))) (/.f64 x (fma.f64 x x 1))))
✓	33.1b	(-.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 3)))
✓	31.0b	(-.f64 x (pow.f64 x 3))
✓	15.2b	(/.f64 x (fma.f64 x x 1))

Compiler

Compiled 11132 to 6750 computations (39.4% saved)

regimes79.0ms (3%)

Accuracy

Total 0.0b remaining (53.3%)

Threshold costs 0.0b (53.3%)

Counts

23 → 3

Compiler

Compiled 538 to 364 computations (32.3% saved)

bsearch8.0ms (0.3%)

Steps

Iters	Range		Point
3	0.16636754679676524	34421009.49670533	26873.75612472532
2	-2104747.7319758735	-0.005080678044566374	-14973.991651652683

Compiler

Compiled 2 to 1 computations (50% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	43
1	22	43
2	26	43
3	28	43
4	29	43
5	28	43

end69.0ms (2.6%)

Compiler: Compiled 107 to 73 computations (31.8% saved)

Details

analyze1.0ms (0%)

sample678.0ms (26%)

simplify6.0ms (0.2%)

prune2.0ms (0.1%)

localize3.0ms (0.1%)

series4.0ms (0.1%)

rewrite3.0ms (0.1%)

simplify64.0ms (2.5%)

prune27.0ms (1%)

localize3.0ms (0.1%)

prune3.0ms (0.1%)

localize5.0ms (0.2%)

series7.0ms (0.3%)

rewrite178.0ms (6.8%)

simplify483.0ms (18.5%)

prune551.0ms (21.1%)

localize7.0ms (0.3%)

series25.0ms (0.9%)

rewrite40.0ms (1.6%)

simplify114.0ms (4.4%)

prune242.0ms (9.3%)

regimes79.0ms (3%)

bsearch8.0ms (0.3%)

simplify3.0ms (0.1%)

end69.0ms (2.6%)

Profiling