Details

analyze827.0ms (22.9%)

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
49.1%	50.7%	0.2%	9
49.5%	50.3%	0.2%	10
49.7%	50.1%	0.2%	11
50.2%	49.6%	0.2%	12
60.5%	39.3%	0.2%	13
60.6%	37.9%	1.4%	14

Compiler

Compiled 14 to 10 computations (28.6% saved)

sample37.0ms (1%)

Algorithm

1×

intervals

Results

10.0ms	256×	body	128	valid
4.0ms	94×	body	128	invalid

Compiler

Compiled 31 to 23 computations (25.8% saved)

simplify173.0ms (4.8%)

Algorithm

1×	egg-herbie

Rules

1491×	`fma-neg_binary64`
579×	`fma-def_binary64`
465×	`distribute-rgt-in_binary64`
419×	`div-sub_binary64`
329×	`associate-/l*_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	13
1	21	13
2	45	13
3	70	13
4	138	13
5	257	13
6	498	13
7	922	13
8	1615	13
9	2472	13
10	2435	13
11	2431	13
12	2427	13
13	2428	13
14	2428	13
15	3596	13
16	3260	13
17	3260	13
18	3260	13
19	3140	13

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	0.0b	(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))

Compiler

Compiled 26 to 18 computations (30.8% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(-.f64 (+.f64 x y) z)
0.0b	(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))

rewrite81.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

26×	`add-cube-cbrt_binary64`
10×	`add-log-exp_binary64`
10×	`add-exp-log_binary64`
10×	`add-sqr-sqrt_binary64`
10×	`add-cbrt-cube_binary64`

Counts

2 → 101

Calls

2 calls:

20.0ms	(-.f64 (+.f64 x y) z)
16.0ms	(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))

Compiler

Compiled 1832 to 602 computations (67.1% saved)

series79.0ms (2.2%)

Error

0.0b

Counts

2 → 39

Calls

2 calls:

47.0ms	(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))
15.0ms	(-.f64 (+.f64 x y) z)

Compiler

Compiled 1046 to 730 computations (30.2% saved)

simplify91.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

618×	`distribute-rgt-in_binary64`
563×	`fma-def_binary64`
444×	`fma-neg_binary64`
258×	`cancel-sign-sub-inv_binary64`
144×	`distribute-rgt-neg-in_binary64`

Counts

140 → 91

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	168	1763
1	462	1620
2	1924	1533
3	4488	1533
4	4922	1533

prune34.0ms (1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	89	2	91
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	89	3	92

Error

Counts

92 → 3

Alt Table

Status	Error	Program
▶	0.0b	(*.f64 1/2 (+.f64 (/.f64 (-.f64 y z) t) (/.f64 x t)))
✓	0.0b	(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))
	31.8b	(/.f64 (.f64 (.f64 t 2) (+.f64 y (-.f64 x z))) (.f64 t (.f64 4 t)))

Compiler

Compiled 1070 to 467 computations (56.4% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (-.f64 y z) t)
0.0b	(+.f64 (/.f64 (-.f64 y z) t) (/.f64 x t))

rewrite82.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

22×	`add-cube-cbrt_binary64`
12×	`div-sub_binary64`
10×	`add-cbrt-cube_binary64`
8×	`add-exp-log_binary64`
8×	`pow1_binary64`

Counts

2 → 100

Calls

2 calls:

16.0ms	(+.f64 (/.f64 (-.f64 y z) t) (/.f64 x t))
14.0ms	(/.f64 (-.f64 y z) t)

Compiler

Compiled 1608 to 453 computations (71.8% saved)

series72.0ms (2%)

Error

Counts

2 → 36

Calls

2 calls:

39.0ms	(+.f64 (/.f64 (-.f64 y z) t) (/.f64 x t))
22.0ms	(/.f64 (-.f64 y z) t)

Compiler

Compiled 1018 to 649 computations (36.2% saved)

simplify72.0ms (2%)

Algorithm

1×	egg-herbie

Rules

548×	`distribute-rgt-in_binary64`
527×	`distribute-lft-in_binary64`
520×	`fma-def_binary64`
182×	`cancel-sign-sub-inv_binary64`
151×	`fma-neg_binary64`

Counts

136 → 72

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	148	1548
1	409	1509
2	1598	1482
3	5014	1482

prune23.0ms (0.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	71	1	72
Fresh	1	0	1
Picked	0	1	1
Done	0	1	1
Total	72	3	75

Error

Counts

75 → 3

Alt Table

Status	Error	Program
✓	0.0b	(*.f64 1/2 (+.f64 (/.f64 (-.f64 y z) t) (/.f64 x t)))
✓	0.0b	(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))
▶	31.6b	(.f64 1/2 (/.f64 (.f64 t (-.f64 (+.f64 x y) z)) (*.f64 t t)))

Compiler

Compiled 852 to 281 computations (67% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (+.f64 x y) z)
0.0b	(*.f64 t (-.f64 (+.f64 x y) z))
30.6b	(/.f64 (.f64 t (-.f64 (+.f64 x y) z)) (.f64 t t))

rewrite100.0ms (2.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

42×	`add-cube-cbrt_binary64`
19×	`pow1_binary64`
18×	`add-exp-log_binary64`
18×	`add-sqr-sqrt_binary64`
15×	`add-cbrt-cube_binary64`

Counts

3 → 144

Calls

3 calls:

19.0ms	(*.f64 t (-.f64 (+.f64 x y) z))
16.0ms	(/.f64 (.f64 t (-.f64 (+.f64 x y) z)) (.f64 t t))
15.0ms	(-.f64 (+.f64 x y) z)

Compiler

Compiled 3238 to 719 computations (77.8% saved)

series85.0ms (2.3%)

Error

Counts

3 → 60

Calls

3 calls:

31.0ms	(/.f64 (.f64 t (-.f64 (+.f64 x y) z)) (.f64 t t))
28.0ms	(*.f64 t (-.f64 (+.f64 x y) z))
17.0ms	(-.f64 (+.f64 x y) z)

Compiler

Compiled 1743 to 1099 computations (36.9% saved)

simplify115.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

730×	`fma-def_binary64`
494×	`fma-neg_binary64`
307×	`cancel-sign-sub-inv_binary64`
178×	`exp-prod_binary64`
155×	`distribute-rgt-neg-in_binary64`

Counts

204 → 122

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	193	2372
1	483	2137
2	2100	2041
3	4441	2029
4	4916	2029

prune34.0ms (0.9%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	122	0	122
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	122	3	125

Error

Counts

125 → 3

Alt Table

Status	Error	Program
	0.0b	(*.f64 1/2 (+.f64 (/.f64 (-.f64 y z) t) (/.f64 x t)))
	0.0b	(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))
	31.6b	(.f64 1/2 (/.f64 (.f64 t (-.f64 (+.f64 x y) z)) (*.f64 t t)))

Compiler

Compiled 1578 to 605 computations (61.7% saved)

regimes490.0ms (13.6%)

Accuracy

Total 0.0b remaining (77.4%)

Threshold costs 0.0b (77.4%)

Compiler

Compiled 7521 to 5204 computations (30.8% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`+-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	11	16
1	15	16
2	20	16
3	22	16
4	23	16
5	23	16

end6.0ms (0.2%)

Compiler: Compiled 45 to 30 computations (33.3% saved)

sample1.2s (32.7%)

Algorithm

1×

intervals

Results

323.0ms	8000×	body	128	valid
120.0ms	2763×	body	128	invalid

Compiler

Compiled 78 to 54 computations (30.8% saved)

Details

analyze827.0ms (22.9%)

sample37.0ms (1%)

simplify173.0ms (4.8%)

prune1.0ms (0%)

localize7.0ms (0.2%)

rewrite81.0ms (2.2%)

series79.0ms (2.2%)

simplify91.0ms (2.5%)

prune34.0ms (1%)

localize7.0ms (0.2%)

rewrite82.0ms (2.3%)

series72.0ms (2%)

simplify72.0ms (2%)

prune23.0ms (0.6%)

localize8.0ms (0.2%)

rewrite100.0ms (2.8%)

series85.0ms (2.3%)

simplify115.0ms (3.2%)

prune34.0ms (0.9%)

regimes490.0ms (13.6%)

simplify3.0ms (0.1%)

end6.0ms (0.2%)

sample1.2s (32.7%)

Profiling