Details

analyze1.9s (1.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
6.2%	93.6%	0.2%	9
9.4%	90.4%	0.2%	10
12.5%	85.6%	1.9%	11
19.8%	76.5%	3.7%	12
26.1%	64.4%	9.6%	13
31.7%	54.5%	13.7%	14

Compiler

Compiled 14 to 9 computations (35.7% saved)

sample56.0ms (0%)

Algorithm

1×

intervals

Results

27.0ms	256×	body	128	valid
5.0ms	82×	body	128	invalid

Compiler

Compiled 31 to 21 computations (32.3% saved)

simplify204.0ms (0.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

prune5.0ms (0%)

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)

localize12.0ms (0%)

Local error

Found 1 expressions with local error:

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

series26.0ms (0%)

Counts

1 → 48

Calls

1 calls:

26.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:

1.0ms

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

simplify116.0ms (0.1%)

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

prune46.0ms (0%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	34	3	37
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	34	4	38

Error

Counts

38 → 4

Alt Table

Status	Error	Program
▶	0.0b	(-.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (.f64 y x) (.f64 t z)))
	1.4b	(.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x)) (cbrt.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x))) (cbrt.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x)))
	44.9b	(cbrt.f64 (pow.f64 (fma.f64 (-.f64 t x) (-.f64 y z) x) 3))
✓	0.0b	(fma.f64 (-.f64 y z) (-.f64 t x) x)

Compiler

Compiled 557 to 162 computations (70.9% saved)

localize22.0ms (0%)

Local error

Found 3 expressions with local error:

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

series73.0ms (0%)

Counts

3 → 72

Calls

3 calls:

33.0ms	(-.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (.f64 y x) (.f64 t z)))
21.0ms	(+.f64 (.f64 y x) (.f64 t z))
19.0ms	(+.f64 (.f64 y t) (+.f64 (.f64 z x) x))

rewrite56.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

31×	`add-log-exp_binary64`
13×	`sum-log_binary64`
13×	`*-un-lft-identity_binary64`
13×	`add-sqr-sqrt_binary64`
11×	`add-cube-cbrt_binary64`

Counts

3 → 71

Calls

3 calls:

24.0ms	(-.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (.f64 y x) (.f64 t z)))
10.0ms	(+.f64 (.f64 y t) (+.f64 (.f64 z x) x))
6.0ms	(+.f64 (.f64 y x) (.f64 t z))

simplify162.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

721×	`times-frac_binary64`
390×	`cancel-sign-sub-inv_binary64`
234×	`distribute-rgt-neg-in_binary64`
234×	`fma-neg_binary64`
198×	`distribute-lft-neg-in_binary64`

Counts

143 → 146

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	161	2630
1	525	2499
2	2349	2355
3	4499	2355
4	5919	2355

prune170.0ms (0.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	146	0	146
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	146	4	150

Error

Counts

150 → 4

Alt Table

Status	Error	Program
✓	0.0b	(-.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (.f64 y x) (.f64 t z)))
▶	1.4b	(.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x)) (cbrt.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x))) (cbrt.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x)))
	44.9b	(cbrt.f64 (pow.f64 (fma.f64 (-.f64 t x) (-.f64 y z) x) 3))
✓	0.0b	(fma.f64 (-.f64 y z) (-.f64 t x) x)

Compiler

Compiled 4299 to 572 computations (86.7% saved)

localize22.0ms (0%)

Local error

Found 4 expressions with local error:

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

series8.8s (5.9%)

Counts

3 → 144

Calls

3 calls:

7.9s

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

939.0ms

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

30.0ms

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

rewrite42.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`pow1_binary64`
24×	`add-sqr-sqrt_binary64`
23×	`cbrt-prod_binary64`
16×	`pow1/3_binary64`
14×	`*-un-lft-identity_binary64`

Counts

3 → 93

Calls

3 calls:

15.0ms

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

9.0ms

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

1.0ms

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

simplify1.3s (0.8%)

Algorithm

1×	egg-herbie

Rules

1167×	`fma-def_binary64`
1×	`fma-neg_binary64`
1×	`fma-udef_binary64`

Counts

237 → 274

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4178	68598
1	5341	68598

prune4.7s (3.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	582	1	583
Fresh	1	0	1
Picked	1	0	1
Done	0	2	2
Total	584	3	587

Error

Counts

587 → 3

Alt Table

Status	Error	Program
✓	0.0b	(-.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (.f64 y x) (.f64 t z)))
▶	1.3b	(pow.f64 (cbrt.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x)) 3)
✓	0.0b	(fma.f64 (-.f64 y z) (-.f64 t x) x)

Compiler

Compiled 135911 to 81295 computations (40.2% saved)

localize18.0ms (0%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.0b	(fma.f64 (-.f64 y z) (-.f64 t x) x)
	0.5b	(cbrt.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x))
✓	0.7b	(pow.f64 (cbrt.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x)) 3)

Details

analyze1.9s (1.3%)

sample56.0ms (0%)

simplify204.0ms (0.1%)

prune5.0ms (0%)

localize12.0ms (0%)

series26.0ms (0%)

rewrite1.0ms (0%)

simplify116.0ms (0.1%)

prune46.0ms (0%)

localize22.0ms (0%)

series73.0ms (0%)

rewrite56.0ms (0%)

simplify162.0ms (0.1%)

prune170.0ms (0.1%)

localize22.0ms (0%)

series8.8s (5.9%)

rewrite42.0ms (0%)

simplify1.3s (0.8%)

prune4.7s (3.1%)

localize18.0ms (0%)

series2.2min (88.1%)

Profiling