Details

analyze394.0ms (9.5%)

Algorithm

1×

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
25%	74.9%	0.1%	4
25%	74.9%	0.1%	5
37.4%	62.4%	0.1%	6
46.8%	53%	0.1%	7
52.3%	47.6%	0.1%	8
65.5%	34.3%	0.1%	9
71%	28.9%	0.1%	10
75%	24.9%	0.1%	11
81.6%	18.2%	0.1%	12
84.5%	15.4%	0.1%	13
86.9%	13%	0.1%	14

Compiler

Compiled 16 to 11 computations (31.3% saved)

sample21.0ms (0.5%)

Algorithm

1×

intervals

Results

12.0ms	256×	body	128	valid
0.0ms	1×	body	128	invalid

Compiler

Compiled 34 to 24 computations (29.4% saved)

simplify188.0ms (4.5%)

Algorithm

1×	egg-herbie

Rules

2495×	`fma-neg_binary64`
1241×	`fma-def_binary64`
1051×	`div-sub_binary64`
520×	`unswap-sqr_binary64`
430×	`distribute-rgt-in_binary64`

Counts

1 → 2

Iterations

Useful iterations: 9 (0.0ms)

Iter	Nodes	Cost
0	11	18
1	20	18
2	31	18
3	48	18
4	71	18
5	103	18
6	155	18
7	209	18
8	270	18
9	300	16
10	389	16
11	599	16
12	934	16
13	1583	16
14	1525	16
15	1839	16
16	1745	16
17	1773	16
18	1933	16
19	2758	16
20	3102	16
21	4012	16
22	4885	16
23	4851	16

prune8.0ms (0.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.0b

Counts

3 → 2

Alt Table

Status	Error	Program
	3.6b	(+.f64 x (/.f64 y (-.f64 (.f64 5081767996463981/4503599627370496 (exp.f64 z)) (.f64 x y))))
▶	0.0b	(+.f64 x (/.f64 -1 (fma.f64 (exp.f64 z) (/.f64 -5081767996463981/4503599627370496 y) x)))

Compiler

Compiled 84 to 56 computations (33.3% saved)

localize15.0ms (0.4%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 x (/.f64 -1 (fma.f64 (exp.f64 z) (/.f64 -5081767996463981/4503599627370496 y) x)))
✓	0.0b	(fma.f64 (exp.f64 z) (/.f64 -5081767996463981/4503599627370496 y) x)
✓	0.1b	(/.f64 -1 (fma.f64 (exp.f64 z) (/.f64 -5081767996463981/4503599627370496 y) x))

rewrite19.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`*-un-lft-identity_binary64`
12×	`add-sqr-sqrt_binary64`
12×	`add-cube-cbrt_binary64`
9×	`times-frac_binary64`
5×	`add-cbrt-cube_binary64`

Counts

3 → 56

Calls

3 calls:

9.0ms

(+.f64 x (/.f64 -1 (fma.f64 (exp.f64 z) (/.f64 -5081767996463981/4503599627370496 y) x)))

4.0ms

(/.f64 -1 (fma.f64 (exp.f64 z) (/.f64 -5081767996463981/4503599627370496 y) x))

1.0ms

(fma.f64 (exp.f64 z) (/.f64 -5081767996463981/4503599627370496 y) x)

series312.0ms (7.5%)

Counts

3 → 108

Calls

3 calls:

129.0ms

(/.f64 -1 (fma.f64 (exp.f64 z) (/.f64 -5081767996463981/4503599627370496 y) x))

121.0ms

(+.f64 x (/.f64 -1 (fma.f64 (exp.f64 z) (/.f64 -5081767996463981/4503599627370496 y) x)))

61.0ms

(fma.f64 (exp.f64 z) (/.f64 -5081767996463981/4503599627370496 y) x)

simplify219.0ms (5.3%)

Algorithm

1×	egg-herbie

Rules

737×	`associate-/l*_binary64`
557×	`fma-def_binary64`
208×	`distribute-rgt-in_binary64`
148×	`distribute-lft-in_binary64`
134×	`distribute-neg-in_binary64`

Counts

164 → 273

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	216	3869
1	586	3704
2	1890	3632
3	5106	3632

prune188.0ms (4.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

0.0b

Counts

275 → 2

Alt Table

Status	Error	Program
▶	3.6b	(+.f64 x (/.f64 y (-.f64 (.f64 5081767996463981/4503599627370496 (exp.f64 z)) (.f64 x y))))
✓	0.0b	(+.f64 x (/.f64 -1 (fma.f64 (exp.f64 z) (/.f64 -5081767996463981/4503599627370496 y) x)))

Compiler

Compiled 3147 to 1968 computations (37.5% saved)

localize16.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 x (/.f64 y (-.f64 (.f64 5081767996463981/4503599627370496 (exp.f64 z)) (.f64 x y))))
✓	0.0b	(*.f64 5081767996463981/4503599627370496 (exp.f64 z))
✓	1.0b	(-.f64 (.f64 5081767996463981/4503599627370496 (exp.f64 z)) (.f64 x y))
✓	7.4b	(/.f64 y (-.f64 (.f64 5081767996463981/4503599627370496 (exp.f64 z)) (.f64 x y)))

rewrite49.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`*-un-lft-identity_binary64`
17×	`add-sqr-sqrt_binary64`
15×	`add-cube-cbrt_binary64`
9×	`times-frac_binary64`
8×	`add-cbrt-cube_binary64`

Counts

4 → 84

Calls

4 calls:

18.0ms	(+.f64 x (/.f64 y (-.f64 (.f64 5081767996463981/4503599627370496 (exp.f64 z)) (.f64 x y))))
10.0ms	(/.f64 y (-.f64 (.f64 5081767996463981/4503599627370496 (exp.f64 z)) (.f64 x y)))
7.0ms	(-.f64 (.f64 5081767996463981/4503599627370496 (exp.f64 z)) (.f64 x y))
7.0ms	(*.f64 5081767996463981/4503599627370496 (exp.f64 z))

series263.0ms (6.4%)

Counts

4 → 112

Calls

4 calls:

105.0ms	(/.f64 y (-.f64 (.f64 5081767996463981/4503599627370496 (exp.f64 z)) (.f64 x y)))
105.0ms	(+.f64 x (/.f64 y (-.f64 (.f64 5081767996463981/4503599627370496 (exp.f64 z)) (.f64 x y))))
44.0ms	(-.f64 (.f64 5081767996463981/4503599627370496 (exp.f64 z)) (.f64 x y))
9.0ms	(*.f64 5081767996463981/4503599627370496 (exp.f64 z))

simplify285.0ms (6.9%)

Algorithm

1×	egg-herbie

Rules

860×	`fma-def_binary64`
323×	`fma-neg_binary64`
253×	`associate-/r/_binary64`
244×	`cancel-sign-sub-inv_binary64`
155×	`associate-/l/_binary64`

Counts

196 → 363

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	256	4369
1	680	4277
2	2267	4144
3	4932	4130
4	5067	4130

prune264.0ms (6.4%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

0.0b

Counts

365 → 2

Alt Table

Status	Error	Program
✓	3.6b	(+.f64 x (/.f64 y (-.f64 (.f64 5081767996463981/4503599627370496 (exp.f64 z)) (.f64 x y))))
✓	0.0b	(+.f64 x (/.f64 -1 (fma.f64 (exp.f64 z) (/.f64 -5081767996463981/4503599627370496 y) x)))

Compiler

Compiled 4702 to 2416 computations (48.6% saved)

regimes465.0ms (11.2%)

Accuracy

Total 0.1b remaining (93.2%)

Threshold costs 0.1b (93.2%)

Compiler

Compiled 1659 to 1199 computations (27.7% saved)

bsearch40.0ms (1%)

Steps

Iters	Range		Point
0	1.1283791670955141	1.1315200905517793	1.1299496288236466
14	0.0	1.101548377670496	6.94725497403986e-310

Compiler

Compiled 7 to 6 computations (14.3% saved)

simplify13.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	59
1	36	59
2	50	59
3	58	59
4	63	59
5	64	59
6	62	59

end2.0ms (0%)

Compiler: Compiled 42 to 27 computations (35.7% saved)

sample1.4s (33.3%)

Algorithm

1×

intervals

Results

823.0ms	8000×	body	128	valid
0.0ms	1×	body	128	invalid

Compiler

Compiled 90 to 61 computations (32.2% saved)

Details

analyze394.0ms (9.5%)

sample21.0ms (0.5%)

simplify188.0ms (4.5%)

prune8.0ms (0.2%)

localize15.0ms (0.4%)

rewrite19.0ms (0.4%)

series312.0ms (7.5%)

simplify219.0ms (5.3%)

prune188.0ms (4.5%)

localize16.0ms (0.4%)

rewrite49.0ms (1.2%)

series263.0ms (6.4%)

simplify285.0ms (6.9%)

prune264.0ms (6.4%)

regimes465.0ms (11.2%)

bsearch40.0ms (1%)

simplify13.0ms (0.3%)

end2.0ms (0%)

sample1.4s (33.3%)

Profiling