Details

analyze693.0ms (8.9%)

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
0%	99.9%	0.1%	4
12.5%	87.4%	0.1%	5
18.7%	81.1%	0.1%	6
21.8%	71.8%	6.4%	7
31.2%	62.4%	6.4%	8
35.9%	55.4%	8.7%	9
37.8%	48.8%	13.4%	10
42.7%	42.3%	15%	11
47.7%	34.2%	18.1%	12
49.1%	30.4%	20.5%	13
51.9%	25.8%	22.3%	14

Compiler

Compiled 21 to 15 computations (28.6% saved)

sample47.0ms (0.6%)

Algorithm

1×

intervals

Results

11.0ms	29×	body	2048	valid
11.0ms	174×	body	128	valid
6.0ms	26×	body	1024	valid
4.0ms	12×	body	4096	valid
1.0ms	25×	body	128	nan
1.0ms	8×	body	512	valid
1.0ms	7×	body	256	valid
1.0ms	9×	body	128	invalid

Compiler

Compiled 44 to 32 computations (27.3% saved)

simplify311.0ms (4%)

Algorithm

1×	egg-herbie

Rules

1228×	`associate-/l*_binary64`
1150×	`div-sub_binary64`
630×	`distribute-rgt-in_binary64`
619×	`times-frac_binary64`
588×	`associate-/r*_binary64`

Counts

1 → 1

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	33	24
2	62	24
3	121	24
4	172	24
5	282	24
6	460	24
7	748	24
8	1084	24
9	1128	24
10	1799	24
11	2594	24
12	2001	24
13	2089	24
14	2153	24
15	2179	24
16	2431	24
17	2909	24
18	2913	24
19	2991	24
20	3053	24
21	3065	24
22	3035	24
23	3211	24
24	3211	24
25	2043	24
26	2195	24
27	2097	24
28	2107	24
29	2107	24
30	2107	24
31	2107	24
32	1834	24

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

33.7b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	33.7b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2))

Compiler

Compiled 57 to 39 computations (31.6% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2))
0.9b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
1.2b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
21.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

rewrite122.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

33.4b

Rules

21×	`add-sqr-sqrt_binary64`
14×	`*-un-lft-identity_binary64`
9×	`add-cbrt-cube_binary64`
9×	`add-exp-log_binary64`
8×	`add-cube-cbrt_binary64`

Counts

4 → 74

Calls

4 calls:

15.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2))
6.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
3.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
3.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

Compiler

Compiled 1903 to 985 computations (48.2% saved)

series174.0ms (2.2%)

Error

5.9b

Counts

4 → 70

Calls

4 calls:

48.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2))
37.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
37.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
30.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

Compiler

Compiled 2904 to 2077 computations (28.5% saved)

simplify110.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

905×	`times-frac_binary64`
243×	`div-sub_binary64`
183×	`distribute-rgt-in_binary64`
182×	`cancel-sign-sub-inv_binary64`
177×	`distribute-lft-in_binary64`

Counts

144 → 121

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	201	3089
1	535	2857
2	1632	2851
3	4549	2851
4	5168	2851

prune61.0ms (0.8%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	113	8	121
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	114	8	122

Error

5.8b

Counts

122 → 8

Alt Table

Status	Error	Program
	43.3b	(/.f64 (neg.f64 b) a)
	45.2b	(-.f64 (neg.f64 (/.f64 c b)) (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))
	42.1b	(neg.f64 (/.f64 c b))
	34.1b	(.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b)) a) (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))) b)) 2))
	45.3b	(/.f64 (/.f64 (-.f64 (.f64 b b) (+.f64 (.f64 4 (.f64 c a)) (.f64 b b))) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))) (.f64 a 2))
	34.1b	(/.f64 (-.f64 (sqrt.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))) b) (.f64 a 2))
	45.6b	(/.f64 (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (.f64 b b)) (.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) (*.f64 a 2)))
▶	33.7b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (/.f64 1/2 a))

Compiler

Compiled 2109 to 1155 computations (45.2% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (/.f64 1/2 a))
0.9b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
1.2b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
21.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

rewrite85.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

5.8b

Rules

28×	`add-sqr-sqrt_binary64`
18×	`*-un-lft-identity_binary64`
14×	`add-cube-cbrt_binary64`
13×	`associate-r_binary64`
10×	`times-frac_binary64`

Counts

4 → 83

Calls

4 calls:

11.0ms	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (/.f64 1/2 a))
6.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
3.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
3.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

Compiler

Compiled 2202 to 1153 computations (47.6% saved)

series169.0ms (2.2%)

Error

5.8b

Counts

4 → 70

Calls

4 calls:

47.0ms	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (/.f64 1/2 a))
38.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
37.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
29.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

Compiler

Compiled 2904 to 2077 computations (28.5% saved)

simplify117.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

818×	`times-frac_binary64`
293×	`distribute-rgt-in_binary64`
285×	`distribute-lft-in_binary64`
171×	`cancel-sign-sub-inv_binary64`
158×	`distribute-rgt-neg-in_binary64`

Counts

153 → 129

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	221	3331
1	566	3103
2	1852	3097
3	4937	3097
4	4962	3097

prune65.0ms (0.8%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	128	1	129
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	128	9	137

Error

5.8b

Counts

137 → 9

Alt Table

Status	Error	Program
	34.4b	(.f64 (.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b) (/.f64 (.f64 (cbrt.f64 1/2) (cbrt.f64 1/2)) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))) (/.f64 (cbrt.f64 1/2) (cbrt.f64 a)))
✓	33.7b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (/.f64 1/2 a))
	43.3b	(/.f64 (neg.f64 b) a)
	45.2b	(-.f64 (neg.f64 (/.f64 c b)) (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))
	42.1b	(neg.f64 (/.f64 c b))
▶	34.1b	(.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b)) a) (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))) b)) 2))
	45.3b	(/.f64 (/.f64 (-.f64 (.f64 b b) (+.f64 (.f64 4 (.f64 c a)) (.f64 b b))) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))) (.f64 a 2))
	34.1b	(/.f64 (-.f64 (sqrt.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))) b) (.f64 a 2))
	45.6b	(/.f64 (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (.f64 b b)) (.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) (*.f64 a 2)))

Compiler

Compiled 2409 to 1330 computations (44.8% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.2b	(-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))
1.2b	(-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))
21.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))
21.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))

rewrite62.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

5.8b

Rules

8×	`add-sqr-sqrt_binary64`
8×	`add-log-exp_binary64`
6×	`*-un-lft-identity_binary64`
6×	`sqrt-prod_binary64`
6×	`add-cube-cbrt_binary64`

Counts

4 → 54

Calls

4 calls:

3.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))
3.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))
3.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))
3.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))

Compiler

Compiled 2175 to 1125 computations (48.3% saved)

series172.0ms (2.2%)

Error

5.8b

Counts

4 → 74

Calls

4 calls:

43.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))
42.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))
35.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))
34.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))

Compiler

Compiled 4897 to 3272 computations (33.2% saved)

simplify132.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

520×	`associate-l_binary64`
469×	`associate-r_binary64`
456×	`times-frac_binary64`
341×	`unswap-sqr_binary64`
191×	`associate-/r*_binary64`

Counts

128 → 80

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	82	2082
1	210	1992
2	673	1992
3	3773	1992
4	4861	1992
5	4979	1992
6	4940	1992

prune36.0ms (0.5%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	80	0	80
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	80	9	89

Error

5.8b

Counts

89 → 9

Alt Table

Status	Error	Program
	34.4b	(.f64 (.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b) (/.f64 (.f64 (cbrt.f64 1/2) (cbrt.f64 1/2)) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))) (/.f64 (cbrt.f64 1/2) (cbrt.f64 a)))
✓	33.7b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (/.f64 1/2 a))
	43.3b	(/.f64 (neg.f64 b) a)
	45.2b	(-.f64 (neg.f64 (/.f64 c b)) (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))
	42.1b	(neg.f64 (/.f64 c b))
✓	34.1b	(.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b)) a) (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))) b)) 2))
	45.3b	(/.f64 (/.f64 (-.f64 (.f64 b b) (+.f64 (.f64 4 (.f64 c a)) (.f64 b b))) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))) (.f64 a 2))
▶	34.1b	(/.f64 (-.f64 (sqrt.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))) b) (.f64 a 2))
	45.6b	(/.f64 (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (.f64 b b)) (.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) (*.f64 a 2)))

Compiler

Compiled 1841 to 1035 computations (43.8% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

21.1b	(sqrt.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))))
21.9b	(cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))
21.9b	(cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))
21.9b	(cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))

rewrite113.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

5.8b

Rules

60×	`cbrt-div_binary64`
30×	`flip--_binary64`
30×	`flip3--_binary64`
28×	`frac-times_binary64`
26×	`sqrt-div_binary64`

Counts

4 → 89

Calls

4 calls:

14.0ms	(sqrt.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))))
3.0ms	(cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))
3.0ms	(cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))
3.0ms	(cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))

Compiler

Compiled 5328 to 2569 computations (51.8% saved)

series327.0ms (4.2%)

Error

5.8b

Counts

4 → 82

Calls

4 calls:

88.0ms	(cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))
79.0ms	(cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))
79.0ms	(cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))
44.0ms	(sqrt.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))))

Compiler

Compiled 8480 to 5846 computations (31.1% saved)

simplify169.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

671×	`times-frac_binary64`
360×	`associate-/l*_binary64`
358×	`associate-/r*_binary64`
213×	`distribute-rgt-neg-in_binary64`
207×	`distribute-lft-neg-in_binary64`

Counts

171 → 150

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	241	5991
1	492	5859
2	1403	5823
3	4882	5787
4	5031	5787

prune85.0ms (1.1%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	150	0	150
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	150	9	159

Error

5.8b

Counts

159 → 9

Alt Table

Status	Error	Program
	34.4b	(.f64 (.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b) (/.f64 (.f64 (cbrt.f64 1/2) (cbrt.f64 1/2)) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))) (/.f64 (cbrt.f64 1/2) (cbrt.f64 a)))
	33.7b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (/.f64 1/2 a))
	43.3b	(/.f64 (neg.f64 b) a)
	45.2b	(-.f64 (neg.f64 (/.f64 c b)) (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))
	42.1b	(neg.f64 (/.f64 c b))
	34.1b	(.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b)) a) (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))) b)) 2))
	45.3b	(/.f64 (/.f64 (-.f64 (.f64 b b) (+.f64 (.f64 4 (.f64 c a)) (.f64 b b))) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))) (.f64 a 2))
	34.1b	(/.f64 (-.f64 (sqrt.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))) b) (.f64 a 2))
	45.6b	(/.f64 (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (.f64 b b)) (.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) (*.f64 a 2)))

Compiler

Compiled 4475 to 2450 computations (45.3% saved)

regimes2.9s (37.3%)

Accuracy

Total 4.7b remaining (45.5%)

Threshold costs 0b (0%)

Compiler

Compiled 19044 to 12454 computations (34.6% saved)

bsearch76.0ms (1%)

Steps

Iters	Range		Point
8	1.8212929551081654e-99	1.0047263301286403e-95	9.505235373997507e-96
10	-9.396747132125144e+93	-2.688297840869266e+80	-2.6468296244054407e+91

Compiler

Compiled 4 to 3 computations (25% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	58
1	45	58
2	64	58
3	82	58
4	92	58
5	96	58
6	97	58
7	96	58

end1.0ms (0%)

Compiler: Compiled 42 to 26 computations (38.1% saved)

sample1.7s (21.9%)

Algorithm

1×

intervals

Results

358.0ms	5194×	body	128	valid
356.0ms	1127×	body	2048	valid
213.0ms	413×	body	4096	valid
185.0ms	745×	body	1024	valid
61.0ms	345×	body	512	valid
42.0ms	667×	body	128	nan
27.0ms	405×	body	128	invalid
22.0ms	176×	body	256	valid

Compiler

Compiled 303 to 189 computations (37.6% saved)

Details

analyze693.0ms (8.9%)

sample47.0ms (0.6%)

simplify311.0ms (4%)

prune3.0ms (0%)

localize10.0ms (0.1%)

rewrite122.0ms (1.6%)

series174.0ms (2.2%)

simplify110.0ms (1.4%)

prune61.0ms (0.8%)

localize12.0ms (0.2%)

rewrite85.0ms (1.1%)

series169.0ms (2.2%)

simplify117.0ms (1.5%)

prune65.0ms (0.8%)

localize14.0ms (0.2%)

rewrite62.0ms (0.8%)

series172.0ms (2.2%)

simplify132.0ms (1.7%)

prune36.0ms (0.5%)

localize16.0ms (0.2%)

rewrite113.0ms (1.4%)

series327.0ms (4.2%)

simplify169.0ms (2.2%)

prune85.0ms (1.1%)

regimes2.9s (37.3%)

bsearch76.0ms (1%)

simplify7.0ms (0.1%)

end1.0ms (0%)

sample1.7s (21.9%)

Profiling