Details

analyze573.0ms (16.9%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1687	68
1	1687	68
0	3	3
1	3	3

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
26.5%	73.3%	0.1%	8
33.5%	66.3%	0.1%	9
49.1%	50.7%	0.1%	10
56.9%	42.9%	0.1%	11
60.8%	39%	0.1%	12
69%	30.9%	0.1%	13
72.5%	27.3%	0.1%	14

Compiler

Compiled 13 to 10 computations (23.1% saved)

sample34.0ms (1%)

Algorithm

1×

intervals

Results

10.0ms	83×	body	1024	valid
8.0ms	38×	body	2048	valid
3.0ms	90×	body	128	valid
3.0ms	31×	body	512	valid
1.0ms	14×	body	256	valid

Compiler

Compiled 25 to 22 computations (12% saved)

simplify31.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (24.0ms)

Iter	Nodes	Cost
0	504	17
1	504	17

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

41.3b

Counts

2 → 1

Compiler

Compiled 24 to 18 computations (25% saved)

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (*.f64 x y) z)
9.9b	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))

rewrite15.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-log-exp_binary64_2163`
10×	`*-un-lft-identity_binary64_2124`
5×	`add-sqr-sqrt_binary64_2146`
4×	`cancel-sign-sub-inv_binary64_2090` `sum-log_binary64_2215`
3×	`diff-log_binary64_2216` `add-cube-cbrt_binary64_2159`
2×	`distribute-lft-out--_binary64_2076` `distribute-lft-out_binary64_2075` `pow1_binary64_2185` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
1×	`flip--_binary64_2099` `difference-of-squares_binary64_2093` `flip3--_binary64_2128` `associate--r+_binary64_2060` `+-commutative_binary64_2054` `sub-neg_binary64_2117` `flip3-+_binary64_2127` `flip-+_binary64_2098`

Counts

2 → 32

Calls

2 calls:

9.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))
4.0ms	(+.f64 (*.f64 x y) z)

series60.0ms (1.8%)

Counts

2 → 6

Calls

2 calls:

40.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))
20.0ms	(+.f64 (*.f64 x y) z)

simplify70.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

38 → 38

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5156	667

prune42.0ms (1.2%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	30	8	38
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	31	8	39

Error

40.9b

Counts

39 → 8

Compiler

Compiled 854 to 332 computations (61.1% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (*.f64 x y) z)
0.0b	(+.f64 (fma.f64 x y z) -1)
9.8b	(-.f64 (+.f64 (fma.f64 x y z) -1) (+.f64 (*.f64 x y) z))

rewrite23.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-log-exp_binary64_2163`
11×	`*-un-lft-identity_binary64_2124`
7×	`add-sqr-sqrt_binary64_2146`
6×	`sum-log_binary64_2215` `flip3-+_binary64_2127` `flip-+_binary64_2098`
4×	`diff-log_binary64_2216` `add-cube-cbrt_binary64_2159` `frac-sub_binary64_2133`
3×	`cancel-sign-sub-inv_binary64_2090` `pow1_binary64_2185` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
2×	`distribute-lft-out--_binary64_2076` `distribute-lft-out_binary64_2075` `+-commutative_binary64_2054`
1×	`flip--_binary64_2099` `difference-of-squares_binary64_2093` `flip3--_binary64_2128` `associate--r+_binary64_2060` `associate--l+_binary64_2061` `sub-neg_binary64_2117` `difference-of-sqr--1_binary64_2095`

Counts

3 → 50

Calls

3 calls:

12.0ms	(-.f64 (+.f64 (fma.f64 x y z) -1) (+.f64 (*.f64 x y) z))
4.0ms	(+.f64 (*.f64 x y) z)
3.0ms	(+.f64 (fma.f64 x y z) -1)

series74.0ms (2.2%)

Counts

3 → 9

Calls

3 calls:

39.0ms	(-.f64 (+.f64 (fma.f64 x y z) -1) (+.f64 (*.f64 x y) z))
20.0ms	(+.f64 (*.f64 x y) z)
14.0ms	(+.f64 (fma.f64 x y z) -1)

simplify58.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

59 → 59

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	4999	1221
1	4999	1221

prune64.0ms (1.9%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	52	7	59
Fresh	1	6	7
Picked	1	0	1
Done	0	0	0
Total	54	13	67

Error

40.6b

Counts

67 → 13

Compiler

Compiled 1495 to 567 computations (62.1% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (fma.f64 x y z) -1)
1.2b	(-.f64 (-.f64 (+.f64 (fma.f64 x y z) -1) (*.f64 x y)) z)
9.6b	(-.f64 (+.f64 (fma.f64 x y z) -1) (*.f64 x y))

rewrite24.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-log-exp_binary64_2163`
8×	`*-un-lft-identity_binary64_2124`
7×	`diff-log_binary64_2216` `add-sqr-sqrt_binary64_2146`
5×	`cancel-sign-sub-inv_binary64_2090` `associate--l+_binary64_2061`
4×	`add-cube-cbrt_binary64_2159`
3×	`sum-log_binary64_2215` `pow1_binary64_2185` `sub-neg_binary64_2117` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
2×	`flip--_binary64_2099` `flip3--_binary64_2128`
1×	`difference-of-squares_binary64_2093` `distribute-lft-out--_binary64_2076` `associate--l-_binary64_2062` `distribute-lft-out_binary64_2075` `+-commutative_binary64_2054` `flip3-+_binary64_2127` `difference-of-sqr--1_binary64_2095` `flip-+_binary64_2098`

Counts

3 → 49

Calls

3 calls:

9.0ms	(-.f64 (-.f64 (+.f64 (fma.f64 x y z) -1) (*.f64 x y)) z)
8.0ms	(-.f64 (+.f64 (fma.f64 x y z) -1) (*.f64 x y))
3.0ms	(+.f64 (fma.f64 x y z) -1)

series80.0ms (2.4%)

Counts

3 → 9

Calls

3 calls:

38.0ms	(-.f64 (-.f64 (+.f64 (fma.f64 x y z) -1) (*.f64 x y)) z)
29.0ms	(-.f64 (+.f64 (fma.f64 x y z) -1) (*.f64 x y))
14.0ms	(+.f64 (fma.f64 x y z) -1)

simplify61.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

58 → 58

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5273	1005

prune66.0ms (2%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	52	6	58
Fresh	2	10	12
Picked	1	0	1
Done	0	0	0
Total	55	16	71

Error

40.6b

Counts

71 → 16

Compiler

Compiled 1458 to 653 computations (55.2% saved)

localize15.0ms (0.4%)

Local error

Found 4 expressions with local error:

1.2b	(-.f64 (-.f64 (+.f64 (fma.f64 x y z) -1) (*.f64 x y)) z)
9.6b	(-.f64 (+.f64 (fma.f64 x y z) -1) (*.f64 x y))
9.6b	(-.f64 (+.f64 (fma.f64 x y z) -1) (*.f64 x y))
9.6b	(-.f64 (+.f64 (fma.f64 x y z) -1) (*.f64 x y))

rewrite36.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`add-log-exp_binary64_2163`
11×	`diff-log_binary64_2216`
7×	`cancel-sign-sub-inv_binary64_2090` `add-sqr-sqrt_binary64_2146` `associate--l+_binary64_2061` `*-un-lft-identity_binary64_2124`
5×	`add-cube-cbrt_binary64_2159` `sub-neg_binary64_2117`
4×	`flip--_binary64_2099` `flip3--_binary64_2128` `sum-log_binary64_2215` `pow1_binary64_2185` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
1×	`difference-of-squares_binary64_2093` `distribute-lft-out--_binary64_2076` `associate--l-_binary64_2062`

Counts

4 → 64

Calls

4 calls:

9.0ms	(-.f64 (-.f64 (+.f64 (fma.f64 x y z) -1) (*.f64 x y)) z)
7.0ms	(-.f64 (+.f64 (fma.f64 x y z) -1) (*.f64 x y))
6.0ms	(-.f64 (+.f64 (fma.f64 x y z) -1) (*.f64 x y))
6.0ms	(-.f64 (+.f64 (fma.f64 x y z) -1) (*.f64 x y))

series122.0ms (3.6%)

Counts

4 → 12

Calls

4 calls:

39.0ms	(-.f64 (-.f64 (+.f64 (fma.f64 x y z) -1) (*.f64 x y)) z)
28.0ms	(-.f64 (+.f64 (fma.f64 x y z) -1) (*.f64 x y))
28.0ms	(-.f64 (+.f64 (fma.f64 x y z) -1) (*.f64 x y))
27.0ms	(-.f64 (+.f64 (fma.f64 x y z) -1) (*.f64 x y))

simplify66.0ms (2%)

Algorithm

1×	egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5353	1456

prune117.0ms (3.5%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	74	2	76
Fresh	0	15	15
Picked	1	0	1
Done	0	0	0
Total	75	17	92

Error

40.6b

Counts

92 → 17

Compiler

Compiled 3581 to 1522 computations (57.5% saved)

regimes213.0ms (6.3%)

Accuracy

Total 0.9b remaining (2%)

Threshold costs 0.9b (2%)

Compiler

Compiled 3066 to 1760 computations (42.6% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	98	22
1	98	22

end0.0ms (0%)

sample1.5s (44.7%)

Algorithm

1×

intervals

Results

329.0ms	2652×	body	1024	valid
180.0ms	1168×	body	2048	valid
119.0ms	1231×	body	512	valid
87.0ms	2383×	body	128	valid
48.0ms	565×	body	256	valid
0.0ms	1×	body	4096	valid

Compiler

Compiled 788 to 460 computations (41.6% saved)

Details

analyze573.0ms (16.9%)

sample34.0ms (1%)

simplify31.0ms (0.9%)

prune3.0ms (0.1%)

localize8.0ms (0.2%)

rewrite15.0ms (0.4%)

series60.0ms (1.8%)

simplify70.0ms (2.1%)

prune42.0ms (1.2%)

localize8.0ms (0.2%)

rewrite23.0ms (0.7%)

series74.0ms (2.2%)

simplify58.0ms (1.7%)

prune64.0ms (1.9%)

localize8.0ms (0.2%)

rewrite24.0ms (0.7%)

series80.0ms (2.4%)

simplify61.0ms (1.8%)

prune66.0ms (2%)

localize15.0ms (0.4%)

rewrite36.0ms (1.1%)

series122.0ms (3.6%)

simplify66.0ms (2%)

prune117.0ms (3.5%)

regimes213.0ms (6.3%)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample1.5s (44.7%)

Profiling