Details

analyze9.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
25%	75%	0%	3
50%	50%	0%	4
75%	25%	0%	5
87.5%	12.5%	0%	6
93.7%	6.2%	0%	7
96.8%	3.1%	0%	8
98.4%	1.6%	0%	9
99.2%	0.8%	0%	10
99.6%	0.4%	0%	11
99.8%	0.2%	0%	12
99.9%	0.1%	0%	13
99.9%	0%	0%	14

Compiler

Compiled 19 to 15 computations (21.1% saved)

sample865.0ms (11%)

Results

851.0ms

8256×

body

128

valid

Compiler

Compiled 38 to 30 computations (21.1% saved)

preprocess16.0ms (0.2%)

Algorithm

2×	egg-herbie

Rules

1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	25
1	17	25
0	1	1

Stop Event

1×	saturated
1×	saturated

Compiler

Compiled 18 to 14 computations (22.2% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	25
1	17	25

Stop Event

1×

saturated

Counts

1 → 1

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.0b	(-.f64 x (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 (+.f64 99229/100000 (*.f64 x 4481/100000)) x))))

Compiler

Compiled 54 to 42 computations (22.2% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (+.f64 99229/100000 (.f64 x 4481/100000)) x)
✓	0.4b	(*.f64 x 4481/100000)
✓	0.4b	(*.f64 x 27061/100000)
✓	17.7b	(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 (+.f64 99229/100000 (*.f64 x 4481/100000)) x)))

series8.0ms (0.1%)

Counts

4 → 48

Calls

12 calls:

1.0ms	(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 (+.f64 99229/100000 (*.f64 x 4481/100000)) x)))	x	-inf
1.0ms	(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 (+.f64 99229/100000 (*.f64 x 4481/100000)) x)))	x	inf
1.0ms	(.f64 (+.f64 99229/100000 (.f64 x 4481/100000)) x)	x	-inf
1.0ms	(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 (+.f64 99229/100000 (*.f64 x 4481/100000)) x)))	x	0
1.0ms	(.f64 (+.f64 99229/100000 (.f64 x 4481/100000)) x)	x	inf

rewrite59.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

321×	`log-prod_binary64`
251×	`expm1-udef_binary64`
251×	`log1p-udef_binary64`
247×	`pow1/3_binary64`
229×	`pow3_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	40
1	278	40
2	2826	40

Stop Event

1×	node limit

Counts

4 → 69

simplify317.0ms (4%)

Algorithm

1×	egg-herbie

Rules

1717×	`sqr-pow_binary64`
842×	`pow-sqr_binary64`
57×	`cube-prod_binary64`
57×	`cube-mult_binary64`
57×	`unpow3_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	47	442
1	68	442
2	81	442
3	95	442
4	115	442
5	136	442
6	160	442
7	185	442
8	214	442
9	244	442
10	278	442
11	313	442
12	352	442
13	392	442
14	436	442
15	481	442
16	530	442
17	580	442
18	634	442
19	689	442
20	748	442
21	808	442
22	872	442
23	937	442
24	1006	442
25	1076	442
26	1150	442
27	1225	442
28	1304	442
29	1384	442
30	1468	442
31	1553	442
32	1642	442
33	1732	442
34	1826	442
35	1921	442
36	2020	442
37	2120	442
38	2146	442
39	2148	442
40	2148	442
41	2247	442
42	2351	442
43	2458	442
44	2569	442
45	2681	442
46	2797	442
47	2914	442
48	3035	442
49	3157	442
50	3283	442
51	3410	442
52	3541	442
53	3673	442
54	3809	442
55	3946	442
56	3979	442
57	3981	442
58	3981	442
59	4117	442
60	4258	442
61	4402	442
62	4550	442
63	4699	442
64	4852	442

Stop Event

1×	node limit

Counts

117 → 89

prune101.0ms (1.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	86	3	89
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	87	3	90

Error

Counts

90 → 3

Alt Table

Status	Error	Program
	0.5b	(-.f64 x (pow.f64 (cbrt.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))) 3))
▶	0.0b	(-.f64 x (-.f64 (exp.f64 (log1p.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))))) 1))
	0.4b	(-.f64 x (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))))) (cbrt.f64 (exp.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))))))))

Compiler

Compiled 2112 to 1674 computations (20.7% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.4b	(*.f64 x 4481/100000)
	0.4b	(*.f64 x 27061/100000)
✓	2.8b	(-.f64 (exp.f64 (log1p.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))))) 1)
✓	17.7b	(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))

series6.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

1.0ms	(-.f64 (exp.f64 (log1p.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))))) 1)	x	-inf
1.0ms	(-.f64 (exp.f64 (log1p.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))))) 1)	x	inf
1.0ms	(-.f64 (exp.f64 (log1p.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))))) 1)	x	0
1.0ms	(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))	x	-inf
1.0ms	(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))	x	inf

rewrite2.1s (27.2%)

Algorithm

1×	batch-egg-rewrite

Rules

374×	`log-prod_binary64`
288×	`log1p-udef_binary64`
287×	`expm1-udef_binary64`
261×	`log-pow_binary64`
162×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	44
1	321	44
2	3260	44

Stop Event

1×	node limit

Counts

2 → 49

simplify338.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

1717×	`sqr-pow_binary64`
842×	`pow-sqr_binary64`
58×	`cube-prod_binary64`
58×	`cube-mult_binary64`
58×	`unpow3_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	458
1	59	458
2	72	458
3	86	458
4	106	458
5	127	458
6	151	458
7	176	458
8	205	458
9	235	458
10	269	458
11	304	458
12	343	458
13	383	458
14	427	458
15	472	458
16	521	458
17	571	458
18	625	458
19	680	458
20	739	458
21	799	458
22	863	458
23	928	458
24	997	458
25	1067	458
26	1141	458
27	1216	458
28	1295	458
29	1375	458
30	1459	458
31	1544	458
32	1633	458
33	1723	458
34	1817	458
35	1912	458
36	2011	458
37	2111	458
38	2137	458
39	2139	458
40	2139	458
41	2238	458
42	2342	458
43	2449	458
44	2560	458
45	2672	458
46	2788	458
47	2905	458
48	3026	458
49	3148	458
50	3274	458
51	3401	458
52	3532	458
53	3664	458
54	3800	458
55	3937	458
56	3970	458
57	3972	458
58	3972	458
59	4108	458
60	4249	458
61	4393	458
62	4541	458
63	4690	458
64	4843	458
65	4997	458

Stop Event

1×	node limit

Counts

73 → 39

prune83.0ms (1.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	71	0	71
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	71	3	74

Error

Counts

74 → 3

Alt Table

Status	Error	Program
	0.5b	(-.f64 x (pow.f64 (cbrt.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))) 3))
✓	0.0b	(-.f64 x (-.f64 (exp.f64 (log1p.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))))) 1))
▶	0.4b	(-.f64 x (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))))) (cbrt.f64 (exp.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))))))))

Compiler

Compiled 2049 to 1686 computations (17.7% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(cbrt.f64 (exp.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))))
✓	2.6b	(log.f64 (.f64 (cbrt.f64 (exp.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))))) (cbrt.f64 (exp.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))))))
✓	3.0b	(log.f64 (cbrt.f64 (exp.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))))))
	17.7b	(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))

series26.0ms (0.3%)

Counts

3 → 36

Calls

9 calls:

7.0ms	(log.f64 (.f64 (cbrt.f64 (exp.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))))) (cbrt.f64 (exp.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))))))	x	0
6.0ms	(log.f64 (cbrt.f64 (exp.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))))))	x	0
5.0ms	(cbrt.f64 (exp.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))))	x	0
1.0ms	(log.f64 (.f64 (cbrt.f64 (exp.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))))) (cbrt.f64 (exp.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))))))	x	inf
1.0ms	(log.f64 (.f64 (cbrt.f64 (exp.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))))) (cbrt.f64 (exp.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))))))	x	-inf

rewrite56.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

317×	`expm1-udef_binary64`
317×	`log1p-udef_binary64`
304×	`log-pow_binary64`
182×	`add-sqr-sqrt_binary64`
174×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	19	85
1	363	79
2	3657	76

Stop Event

1×	node limit

Counts

3 → 70

simplify366.0ms (4.7%)

Algorithm

1×	egg-herbie

Rules

1513×	`sqr-pow_binary64`
421×	`pow-sqr_binary64`
61×	`log-pow_binary64`
60×	`log-prod_binary64`
41×	`cube-prod_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	154	1238
1	248	1178
2	331	1151
3	403	1112
4	477	1100
5	551	1100
6	625	1100
7	700	1100
8	779	1100
9	859	1100
10	943	1100
11	1028	1100
12	1117	1100
13	1207	1100
14	1301	1100
15	1396	1100
16	1495	1100
17	1595	1100
18	1699	1100
19	1804	1100
20	1913	1100
21	2023	1100
22	2137	1100
23	2252	1100
24	2371	1100
25	2491	1100
26	2615	1100
27	2740	1100
28	2869	1100
29	2999	1100
30	3010	1100
31	3015	1100
32	3015	1100
33	3141	1100
34	3267	1100
35	3399	1100
36	3532	1100
37	3669	1100
38	3807	1100
39	3949	1100
40	4092	1100
41	4239	1100
42	4387	1100
43	4539	1100
44	4692	1100
45	4849	1100

Stop Event

1×	node limit

Counts

106 → 114

prune561.0ms (7.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	299	0	299
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	299	3	302

Error

Counts

302 → 3

Alt Table

Status	Error	Program
▶	0.5b	(-.f64 x (pow.f64 (cbrt.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))) 3))
✓	0.0b	(-.f64 x (-.f64 (exp.f64 (log1p.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))))) 1))
✓	0.4b	(-.f64 x (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))))) (cbrt.f64 (exp.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))))))))

Compiler

Compiled 18689 to 15584 computations (16.6% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.4b	(*.f64 x 4481/100000)
	0.4b	(*.f64 x 27061/100000)
✓	0.9b	(pow.f64 (cbrt.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))) 3)
	17.7b	(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))

series19.0ms (0.2%)

Counts

1 → 4

Calls

3 calls:

11.0ms

(pow.f64 (cbrt.f64 (/.f64 (+.f64 230753/100000 (*.f64 x 27061/100000)) (+.f64 1 (*.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))) 3)

4.0ms

(pow.f64 (cbrt.f64 (/.f64 (+.f64 230753/100000 (*.f64 x 27061/100000)) (+.f64 1 (*.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))) 3)

-inf

4.0ms

(pow.f64 (cbrt.f64 (/.f64 (+.f64 230753/100000 (*.f64 x 27061/100000)) (+.f64 1 (*.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))) 3)

inf

rewrite43.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

363×	`log-prod_binary64`
280×	`expm1-udef_binary64`
280×	`log1p-udef_binary64`
250×	`log-pow_binary64`
160×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	22
1	337	22
2	3259	22

Stop Event

1×	node limit

Counts

1 → 19

simplify230.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

1716×	`sqr-pow_binary64`
758×	`pow-sqr_binary64`
55×	`cube-prod_binary64`
55×	`cube-mult_binary64`
55×	`unpow3_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	34	104
1	59	104
2	80	104
3	102	104
4	130	104
5	158	104
6	189	104
7	221	104
8	257	104
9	294	104
10	335	104
11	377	104
12	423	104
13	470	104
14	521	104
15	573	104
16	629	104
17	686	104
18	747	104
19	809	104
20	875	104
21	942	104
22	1013	104
23	1085	104
24	1161	104
25	1238	104
26	1319	104
27	1401	104
28	1487	104
29	1574	104
30	1665	104
31	1757	104
32	1853	104
33	1950	104
34	2051	104
35	2153	104
36	2259	104
37	2263	104
38	2265	104
39	2265	104
40	2371	104
41	2480	104
42	2592	104
43	2708	104
44	2825	104
45	2946	104
46	3068	104
47	3194	104
48	3321	104
49	3452	104
50	3584	104
51	3720	104
52	3857	104
53	3998	104
54	4140	104
55	4144	104
56	4146	104
57	4146	104
58	4291	104
59	4436	104
60	4587	104
61	4739	104
62	4895	104

Stop Event

1×	node limit

Counts

23 → 26

prune92.0ms (1.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	95	0	95
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	95	3	98

Error

Counts

98 → 3

Alt Table

Status	Error	Program
✓	0.5b	(-.f64 x (pow.f64 (cbrt.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))) 3))
✓	0.0b	(-.f64 x (-.f64 (exp.f64 (log1p.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))))) 1))
✓	0.4b	(-.f64 x (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))))) (cbrt.f64 (exp.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))))))))

Compiler

Compiled 2499 to 2037 computations (18.5% saved)

regimes272.0ms (3.5%)

Accuracy

Total 0.0b remaining (42.3%)

Threshold costs 0.0b (42.3%)

Counts

102 → 1

Compiler

Compiled 5556 to 4532 computations (18.4% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	83
1	24	83

Stop Event

1×

saturated

end2.2s (28%)

Stop Event

1×

done

Compiler

Compiled 213 to 175 computations (17.8% saved)

Details

analyze9.0ms (0.1%)

sample865.0ms (11%)

preprocess16.0ms (0.2%)

simplify4.0ms (0.1%)

prune2.0ms (0%)

localize11.0ms (0.1%)

series8.0ms (0.1%)

rewrite59.0ms (0.7%)

simplify317.0ms (4%)

prune101.0ms (1.3%)

localize14.0ms (0.2%)

series6.0ms (0.1%)

rewrite2.1s (27.2%)

simplify338.0ms (4.3%)

prune83.0ms (1.1%)

localize18.0ms (0.2%)

series26.0ms (0.3%)

rewrite56.0ms (0.7%)

simplify366.0ms (4.7%)

prune561.0ms (7.1%)

localize12.0ms (0.2%)

series19.0ms (0.2%)

rewrite43.0ms (0.5%)

simplify230.0ms (2.9%)

prune92.0ms (1.2%)

regimes272.0ms (3.5%)

simplify2.0ms (0%)

end2.2s (28%)

Profiling