Details

analyze5.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
99.8%	0%	0.2%	1

Compiler

Compiled 14 to 9 computations (35.7% saved)

sample750.0ms (16.8%)

Results

659.0ms

8256×

body

128

valid

Compiler

Compiled 41 to 26 computations (36.6% saved)

simplify183.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

2262×	`fma-neg_binary64`
697×	`fma-def_binary64`
683×	`unsub-neg_binary64`
313×	`distribute-rgt-in_binary64`
306×	`sub-neg_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	15	11
2	37	11
3	105	11
4	335	11
5	850	11
6	1678	11
7	1991	11
8	2282	11
9	2193	11
10	2201	11
11	2201	11
12	2202	11
13	2172	11
14	2172	11
15	4437	11
16	4437	11
17	4437	11
18	4378	11

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

0.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.0b	(fma.f64 (-.f64 y z) (-.f64 t x) x)

Compiler

Compiled 45 to 23 computations (48.9% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 (-.f64 y z) (-.f64 t x) x)

series45.0ms (1%)

Counts

1 → 48

Calls

1 calls:

45.0ms

(fma.f64 (-.f64 y z) (-.f64 t x) x)

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 (-.f64 y z) (-.f64 t x) x)

simplify147.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

635×	`fma-def_binary64`
395×	`exp-diff_binary64`
356×	`unsub-neg_binary64`
333×	`exp-prod_binary64`
328×	`distribute-neg-out_binary64`

Counts

58 → 37

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	52	954
1	144	926
2	355	926
3	837	628
4	2944	628
5	4449	628
6	4978	628

prune23.0ms (0.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	36	1	37
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	36	2	38

Error

0.0b

Counts

38 → 2

Alt Table

Status	Error	Program
▶	28.1b	(cbrt.f64 (.f64 (.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x) (fma.f64 (-.f64 y z) (-.f64 t x) x)) (fma.f64 (-.f64 y z) (-.f64 t x) x)))
✓	0.0b	(fma.f64 (-.f64 y z) (-.f64 t x) x)

Compiler

Compiled 481 to 118 computations (75.5% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(fma.f64 (-.f64 y z) (-.f64 t x) x)
✓	0.1b	(.f64 (.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x) (fma.f64 (-.f64 y z) (-.f64 t x) x)) (fma.f64 (-.f64 y z) (-.f64 t x) x))
✓	0.2b	(*.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x) (fma.f64 (-.f64 y z) (-.f64 t x) x))
✓	28.1b	(cbrt.f64 (.f64 (.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x) (fma.f64 (-.f64 y z) (-.f64 t x) x)) (fma.f64 (-.f64 y z) (-.f64 t x) x)))

series671.0ms (15%)

Counts

3 → 144

Calls

3 calls:

527.0ms

(*.f64 (*.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x) (fma.f64 (-.f64 y z) (-.f64 t x) x)) (fma.f64 (-.f64 y z) (-.f64 t x) x))

129.0ms

(*.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x) (fma.f64 (-.f64 y z) (-.f64 t x) x))

14.0ms

(cbrt.f64 (*.f64 (*.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x) (fma.f64 (-.f64 y z) (-.f64 t x) x)) (fma.f64 (-.f64 y z) (-.f64 t x) x)))

rewrite26.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`pow1_binary64`
13×	`add-cbrt-cube_binary64`
11×	`add-sqr-sqrt_binary64`
10×	`add-exp-log_binary64`
8×	`*-un-lft-identity_binary64`

Counts

3 → 74

Calls

3 calls:

7.0ms

(*.f64 (*.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x) (fma.f64 (-.f64 y z) (-.f64 t x) x)) (fma.f64 (-.f64 y z) (-.f64 t x) x))

6.0ms

(cbrt.f64 (*.f64 (*.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x) (fma.f64 (-.f64 y z) (-.f64 t x) x)) (fma.f64 (-.f64 y z) (-.f64 t x) x)))

5.0ms

(*.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x) (fma.f64 (-.f64 y z) (-.f64 t x) x))

simplify534.0ms (12%)

Algorithm

1×	egg-herbie

Rules

552×	`associate-r_binary64`
424×	`associate-l_binary64`
356×	`+-commutative_binary64`
344×	`fma-def_binary64`
331×	`associate-+r+_binary64`

Counts

218 → 218

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	633	20233
1	2070	18805
2	5280	18805

prune1.1s (24.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	329	0	329
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	329	2	331

Error

0.0b

Counts

331 → 2

Alt Table

Status	Error	Program
✓	28.1b	(cbrt.f64 (.f64 (.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x) (fma.f64 (-.f64 y z) (-.f64 t x) x)) (fma.f64 (-.f64 y z) (-.f64 t x) x)))
✓	0.0b	(fma.f64 (-.f64 y z) (-.f64 t x) x)

Compiler

Compiled 18858 to 7694 computations (59.2% saved)

regimes877.0ms (19.6%)

Accuracy

Total 0.0b remaining (14.6%)

Threshold costs 0.0b (14.6%)

Counts

68 → 1

Compiler

Compiled 8270 to 4402 computations (46.8% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	12	11
2	20	11
3	24	11
4	26	11
5	26	11

end83.0ms (1.9%)

Compiler: Compiled 67 to 31 computations (53.7% saved)

Details

analyze5.0ms (0.1%)

sample750.0ms (16.8%)

simplify183.0ms (4.1%)

prune3.0ms (0.1%)

localize6.0ms (0.1%)

series45.0ms (1%)

rewrite1.0ms (0%)

simplify147.0ms (3.3%)

prune23.0ms (0.5%)

localize9.0ms (0.2%)

series671.0ms (15%)

rewrite26.0ms (0.6%)

simplify534.0ms (12%)

prune1.1s (24.5%)

regimes877.0ms (19.6%)

simplify6.0ms (0.1%)

end83.0ms (1.9%)

Profiling