Details

analyze182.0ms (2%)

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
49.9%	49.9%	0.2%	3
49.9%	49.9%	0.2%	4
49.9%	49.9%	0.2%	5
49.9%	49.9%	0.2%	6
74.9%	25%	0.2%	7
74.9%	25%	0.2%	8
74.9%	25%	0.2%	9
74.9%	25%	0.2%	10
87.3%	12.5%	0.2%	11
87.3%	12.5%	0.2%	12
87.3%	12.5%	0.2%	13
87.3%	12.5%	0.2%	14

Compiler

Compiled 14 to 9 computations (35.7% saved)

sample1.2s (13.1%)

Results

903.0ms

8256×

body

128

valid

Compiler

Compiled 41 to 26 computations (36.6% saved)

simplify76.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

938×	`fma-def_binary64`
721×	`fma-neg_binary64`
220×	`cancel-sign-sub-inv_binary64`
144×	`distribute-rgt-in_binary64`
108×	`div-sub_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	11
1	16	11
2	37	11
3	72	11
4	140	11
5	242	11
6	395	11
7	682	11
8	1049	11
9	1368	11
10	1492	11
11	1530	11
12	1536	11
13	1541	11
14	1541	11
15	1456	11

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

1.2b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 45 to 23 computations (48.9% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series18.0ms (0.2%)

Counts

1 → 48

Calls

1 calls:

18.0ms

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

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

simplify88.0ms (1%)

Algorithm

1×	egg-herbie

Rules

550×	`distribute-rgt-neg-out_binary64`
522×	`distribute-lft-neg-out_binary64`
356×	`distribute-rgt-in_binary64`
354×	`distribute-lft-in_binary64`
297×	`times-frac_binary64`

Counts

58 → 23

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	41	730
1	85	635
2	196	623
3	466	623
4	2285	623
5	4620	623
6	5293	623

prune19.0ms (0.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	19	4	23
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	19	5	24

Error

0.0b

Counts

24 → 5

Alt Table

Status	Error	Program
	31.4b	(*.f64 (sqrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) (sqrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)))
▶	2.2b	(.f64 (.f64 (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t))) (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)))
	29.0b	(*.f64 x (/.f64 (-.f64 z t) y))
	6.8b	(-.f64 (+.f64 t (/.f64 (.f64 z x) y)) (/.f64 (.f64 t x) y))
✓	1.2b	(fma.f64 (/.f64 x y) (-.f64 z t) t)

Compiler

Compiled 434 to 139 computations (68% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (.f64 (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t))) (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)))
✓	0.5b	(*.f64 (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)))
	1.2b	(fma.f64 (/.f64 x y) (-.f64 z t) t)
✓	13.5b	(cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t))

series876.0ms (9.8%)

Counts

3 → 144

Calls

3 calls:

628.0ms

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

213.0ms

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

34.0ms

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

rewrite33.0ms (0.4%)

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:

12.0ms

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

10.0ms

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

1.0ms

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

simplify507.0ms (5.7%)

Algorithm

1×	egg-herbie

Rules

974×	`fma-def_binary64`
500×	`*-commutative_binary64`
223×	`+-commutative_binary64`
205×	`associate-r_binary64`
151×	`associate-+r+_binary64`

Counts

237 → 275

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1180	19736
1	4348	19386
2	5129	19386

prune822.0ms (9.2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	526	2	528
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	527	6	533

Error

0.0b

Counts

533 → 6

Alt Table

Status	Error	Program
	31.4b	(*.f64 (sqrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) (sqrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)))
✓	2.2b	(.f64 (.f64 (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t))) (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)))
▶	2.4b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)))) (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t))))) (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t))))) (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)))
	29.0b	(*.f64 x (/.f64 (-.f64 z t) y))
	4.6b	(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
✓	1.2b	(fma.f64 (/.f64 x y) (-.f64 z t) t)

Compiler

Compiled 44863 to 18870 computations (57.9% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.5b	(*.f64 (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)))
	1.2b	(fma.f64 (/.f64 x y) (-.f64 z t) t)
✓	6.2b	(cbrt.f64 (*.f64 (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t))))
	13.5b	(cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t))

series546.0ms (6.1%)

Counts

1 → 48

Calls

1 calls:

546.0ms

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

rewrite8.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

1 → 11

Calls

1 calls:

3.0ms

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

simplify201.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

706×	`fma-def_binary64`
374×	`*-commutative_binary64`
159×	`+-commutative_binary64`
156×	`associate-r_binary64`
128×	`sqr-pow_binary64`

Counts

59 → 92

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	855	12484
1	3220	11798
2	5024	11798

prune3.3s (37.5%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	1456	0	1456
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	1456	6	1462

Error

0.0b

Counts

1462 → 6

Alt Table

Status	Error	Program
	31.4b	(*.f64 (sqrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) (sqrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)))
✓	2.2b	(.f64 (.f64 (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t))) (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)))
✓	2.4b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)))) (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t))))) (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t))))) (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)))
	29.0b	(*.f64 x (/.f64 (-.f64 z t) y))
▶	4.6b	(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
✓	1.2b	(fma.f64 (/.f64 x y) (-.f64 z t) t)

Compiler

Compiled 222244 to 78181 computations (64.8% saved)

localize12.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 x (-.f64 z t))
✓	4.9b	(/.f64 (*.f64 x (-.f64 z t)) y)

series59.0ms (0.7%)

Counts

2 → 84

Calls

2 calls:

46.0ms	(/.f64 (*.f64 x (-.f64 z t)) y)
13.0ms	(*.f64 x (-.f64 z t))

rewrite25.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`add-sqr-sqrt_binary64`
22×	`*-un-lft-identity_binary64`
20×	`add-cube-cbrt_binary64`
18×	`prod-diff_binary64`
13×	`distribute-lft-in_binary64`

Counts

2 → 75

Calls

2 calls:

11.0ms	(/.f64 (*.f64 x (-.f64 z t)) y)
8.0ms	(*.f64 x (-.f64 z t))

simplify86.0ms (1%)

Algorithm

1×	egg-herbie

Rules

675×	`associate-/l*_binary64`
519×	`times-frac_binary64`
345×	`fma-def_binary64`
275×	`distribute-rgt-in_binary64`
263×	`distribute-lft-in_binary64`

Counts

159 → 111

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	167	1706
1	330	1575
2	1240	1521
3	4836	1521
4	4955	1521

prune82.0ms (0.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	107	4	111
Fresh	2	0	2
Picked	1	0	1
Done	2	1	3
Total	112	5	117

Error

Counts

117 → 5

Alt Table

Status	Error	Program
	3.4b	(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
	24.4b	(+.f64 t (/.f64 (.f64 x (-.f64 (.f64 z z) (.f64 t t))) (.f64 y (+.f64 z t))))
✓	1.2b	(fma.f64 (/.f64 x y) (-.f64 z t) t)
	4.6b	(+.f64 t (/.f64 (/.f64 (*.f64 x (-.f64 z t)) 1) y))
	31.3b	(+.f64 t (/.f64 (*.f64 (/.f64 x (sqrt.f64 y)) (-.f64 z t)) (sqrt.f64 y)))

Compiler

Compiled 1979 to 601 computations (69.6% saved)

regimes642.0ms (7.2%)

Accuracy

Total 1.5b remaining (99%)

Threshold costs 0b (0%)

Counts

77 → 1

Compiler

Compiled 20420 to 6346 computations (68.9% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	10	11
2	15	11
3	17	11
4	18	11
5	18	11

end73.0ms (0.8%)

Compiler: Compiled 102 to 61 computations (40.2% saved)

Details

analyze182.0ms (2%)

sample1.2s (13.1%)

simplify76.0ms (0.9%)

prune14.0ms (0.2%)

localize6.0ms (0.1%)

series18.0ms (0.2%)

rewrite1.0ms (0%)

simplify88.0ms (1%)

prune19.0ms (0.2%)

localize9.0ms (0.1%)

series876.0ms (9.8%)

rewrite33.0ms (0.4%)

simplify507.0ms (5.7%)

prune822.0ms (9.2%)

localize12.0ms (0.1%)

series546.0ms (6.1%)

rewrite8.0ms (0.1%)

simplify201.0ms (2.3%)

prune3.3s (37.5%)

localize12.0ms (0.1%)

series59.0ms (0.7%)

rewrite25.0ms (0.3%)

simplify86.0ms (1%)

prune82.0ms (0.9%)

regimes642.0ms (7.2%)

simplify3.0ms (0%)

end73.0ms (0.8%)

Profiling