Details

analyze1.0ms (0.1%)

Algorithm

1×

Search

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

Compiler

Compiled 11 to 10 computations (9.1% saved)

sample612.0ms (44.7%)

Infinites

0.3% of outputs are infinite.

Results

558.0ms	8247×	body	128	valid
1.0ms	7×	body	1024	valid
0.0ms	2×	body	512	valid

Compiler

Compiled 32 to 29 computations (9.4% saved)

simplify6.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

2×	`fma-def_binary64`
1×	`+-commutative_binary64`
1×	`*-commutative_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	5
1	15	5
2	16	5
3	14	5

prune3.0ms (0.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.1b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	0.1b	(+.f64 (*.f64 (/.f64 841 108) x) (/.f64 4 29))
	0.1b	(fma.f64 841/108 x 4/29)

Compiler

Compiled 44 to 38 computations (13.6% saved)

localize5.0ms (0.4%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (*.f64 (/.f64 841 108) x) (/.f64 4 29))
✓	0.1b	(*.f64 (/.f64 841 108) x)

series7.0ms (0.5%)

Counts

2 → 24

Calls

2 calls:

5.0ms	(*.f64 (/.f64 841 108) x)
2.0ms	(+.f64 (*.f64 (/.f64 841 108) x) (/.f64 4 29))

rewrite12.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`add-sqr-sqrt_binary64`
13×	`associate-l_binary64`
10×	`times-frac_binary64`
10×	`*-un-lft-identity_binary64`
10×	`add-cube-cbrt_binary64`

Counts

2 → 49

Calls

2 calls:

6.0ms	(+.f64 (*.f64 (/.f64 841 108) x) (/.f64 4 29))
4.0ms	(*.f64 (/.f64 841 108) x)

simplify79.0ms (5.8%)

Algorithm

1×	egg-herbie

Rules

688×	`fma-neg_binary64`
468×	`distribute-rgt-in_binary64`
439×	`fma-def_binary64`
373×	`distribute-rgt-out_binary64`
361×	`*-commutative_binary64`

Counts

73 → 87

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	112	501
1	213	480
2	387	477
3	734	476
4	1513	475
5	2443	473
6	3714	473
7	4825	473

prune105.0ms (7.7%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	84	3	87
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	85	4	89

Error

Counts

89 → 4

Alt Table

Status	Error	Program
▶	0.1b	(fma.f64 841/108 x 4/29)
	0.3b	(+.f64 (.f64 (.f64 (cbrt.f64 (/.f64 841 108)) (cbrt.f64 (/.f64 841 108))) (*.f64 x (cbrt.f64 841/108))) (/.f64 4 29))
	0.1b	(/.f64 (fma.f64 x 24389 432) 3132)
	0.1b	(+.f64 (/.f64 (*.f64 841 x) 108) (/.f64 4 29))

Compiler

Compiled 1309 to 1156 computations (11.7% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(fma.f64 841/108 x 4/29)

series2.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

2.0ms

(fma.f64 841/108 x 4/29)

rewrite1.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

1×	`*-un-lft-identity_binary64`
1×	`add-sqr-sqrt_binary64`
1×	`add-cube-cbrt_binary64`
1×	`add-cbrt-cube_binary64`
1×	`add-exp-log_binary64`

Counts

1 → 10

Calls

1 calls:

0.0ms

(fma.f64 841/108 x 4/29)

simplify113.0ms (8.3%)

Algorithm

1×	egg-herbie

Rules

639×	`associate-*r/_binary64`
493×	`distribute-rgt-in_binary64`
446×	`distribute-lft-out_binary64`
406×	`distribute-rgt-out_binary64`
402×	`associate-l_binary64`

Counts

22 → 15

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	16	142
1	19	131
2	42	131
3	104	131
4	284	131
5	900	131
6	1555	131
7	2510	131
8	2614	131
9	3104	131
10	4503	131
11	4867	131
12	4989	131
13	4799	131

prune10.0ms (0.8%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	14	1	15
Fresh	1	2	3
Picked	1	0	1
Done	0	0	0
Total	16	3	19

Error

Counts

19 → 3

Alt Table

Status	Error	Program
▶	0.1b	(+.f64 (*.f64 841/108 x) 4/29)
	0.3b	(+.f64 (.f64 (.f64 (cbrt.f64 (/.f64 841 108)) (cbrt.f64 (/.f64 841 108))) (*.f64 x (cbrt.f64 841/108))) (/.f64 4 29))
	0.1b	(/.f64 (fma.f64 x 24389 432) 3132)

Compiler

Compiled 169 to 144 computations (14.8% saved)

localize4.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (*.f64 841/108 x) 4/29)
✓	0.1b	(*.f64 841/108 x)

series3.0ms (0.2%)

Counts

2 → 12

Calls

2 calls:

2.0ms	(+.f64 (*.f64 841/108 x) 4/29)
2.0ms	(*.f64 841/108 x)

rewrite6.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-sqr-sqrt_binary64`
4×	`*-un-lft-identity_binary64`
4×	`add-cube-cbrt_binary64`
4×	`add-cbrt-cube_binary64`
4×	`add-log-exp_binary64`

Counts

2 → 34

Calls

2 calls:

3.0ms	(+.f64 (*.f64 841/108 x) 4/29)
3.0ms	(*.f64 841/108 x)

simplify66.0ms (4.8%)

Algorithm

1×	egg-herbie

Rules

612×	`fma-neg_binary64`
458×	`distribute-rgt-in_binary64`
423×	`fma-def_binary64`
373×	`distribute-rgt-out_binary64`
338×	`associate-l_binary64`

Counts

46 → 46

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	61	319
1	130	299
2	266	298
3	574	297
4	1299	296
5	2152	294
6	3360	294
7	4962	294

prune26.0ms (1.9%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	45	1	46
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	46	3	49

Error

Counts

49 → 3

Alt Table

Status	Error	Program
	0.3b	(+.f64 (.f64 (.f64 (cbrt.f64 841/108) (cbrt.f64 841/108)) (*.f64 (cbrt.f64 841/108) x)) 4/29)
✓	0.1b	(+.f64 (*.f64 841/108 x) 4/29)
▶	0.1b	(/.f64 (fma.f64 x 24389 432) 3132)

Compiler

Compiled 490 to 407 computations (16.9% saved)

localize42.0ms (3.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (fma.f64 x 24389 432) 3132)

series2.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

2.0ms

(/.f64 (fma.f64 x 24389 432) 3132)

rewrite3.0ms (0.2%)

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 24389 432) 3132)

simplify48.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

686×	`distribute-rgt-in_binary64`
662×	`distribute-lft-in_binary64`
431×	`associate-/l/_binary64`
386×	`associate-/l*_binary64`
348×	`fma-def_binary64`

Counts

41 → 45

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	63	518
1	97	466
2	205	466
3	422	464
4	1030	464
5	2634	451
6	4919	451

prune26.0ms (1.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

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

Error

Counts

48 → 3

Alt Table

Status	Error	Program
	0.2b	(*.f64 1 (-.f64 (/.f64 x 108/841) -4/29))
✓	0.1b	(+.f64 (*.f64 841/108 x) 4/29)
✓	0.1b	(/.f64 (fma.f64 x 24389 432) 3132)

Compiler

Compiled 544 to 472 computations (13.2% saved)

regimes129.0ms (9.4%)

Accuracy

Total 0.1b remaining (98%)

Threshold costs 0.1b (98%)

Counts

37 → 1

Compiler

Compiled 1464 to 1278 computations (12.7% saved)

simplify8.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`
1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	7
1	14	7
2	12	7

end44.0ms (3.2%)

Compiler: Compiled 33 to 28 computations (15.2% saved)

Details

analyze1.0ms (0.1%)

sample612.0ms (44.7%)

simplify6.0ms (0.4%)

prune3.0ms (0.2%)

localize5.0ms (0.4%)

series7.0ms (0.5%)

rewrite12.0ms (0.9%)

simplify79.0ms (5.8%)

prune105.0ms (7.7%)

localize4.0ms (0.3%)

series2.0ms (0.1%)

rewrite1.0ms (0%)

simplify113.0ms (8.3%)

prune10.0ms (0.8%)

localize4.0ms (0.3%)

series3.0ms (0.2%)

rewrite6.0ms (0.5%)

simplify66.0ms (4.8%)

prune26.0ms (1.9%)

localize42.0ms (3.1%)

series2.0ms (0.1%)

rewrite3.0ms (0.2%)

simplify48.0ms (3.5%)

prune26.0ms (1.9%)

regimes129.0ms (9.4%)

simplify8.0ms (0.6%)

end44.0ms (3.2%)

Profiling