Details

analyze844.0ms (13.6%)

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
18.7%	76.5%	4.8%	7
28.1%	66.3%	5.6%	8
35.1%	55%	9.9%	9
36.3%	50.9%	12.8%	10
42.1%	42.4%	15.5%	11
47.5%	33.8%	18.7%	12
48.8%	30.7%	20.6%	13
51.8%	25.6%	22.5%	14

Compiler

Compiled 17 to 11 computations (35.3% saved)

sample43.0ms (0.7%)

Algorithm

1×

intervals

Results

9.0ms	171×	body	128	valid
9.0ms	36×	body	2048	valid
4.0ms	21×	body	1024	valid
4.0ms	13×	body	4096	valid
4.0ms	10×	body	512	valid
1.0ms	15×	body	128	nan
1.0ms	5×	body	256	valid
0.0ms	7×	body	128	invalid

Compiler

Compiled 36 to 24 computations (33.3% saved)

simplify71.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

379×	`associate-/l*_binary64`
363×	`div-sub_binary64`
224×	`times-frac_binary64`
196×	`distribute-rgt-in_binary64`
168×	`cancel-sign-sub-inv_binary64`

Counts

1 → 1

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	20
1	22	18
2	37	18
3	61	18
4	93	18
5	151	18
6	229	18
7	308	18
8	433	18
9	412	18
10	649	18
11	989	18
12	843	18
13	745	18
14	753	18
15	761	18
16	763	18
17	771	18
18	807	18
19	809	18
20	714	18

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

34.7b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	34.7b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)

Compiler

Compiled 45 to 27 computations (40% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
0.4b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
1.2b	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
24.3b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

rewrite237.0ms (3.8%)

Algorithm

1×	rewrite-expression-head

Error

34.5b

Rules

38×	`add-sqr-sqrt_binary64`
27×	`*-un-lft-identity_binary64`
18×	`times-frac_binary64`
17×	`add-cube-cbrt_binary64`
10×	`difference-of-squares_binary64`

Counts

4 → 86

Calls

4 calls:

8.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
6.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
3.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
3.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

Compiler

Compiled 1749 to 313 computations (82.1% saved)

series157.0ms (2.5%)

Error

8.0b

Counts

4 → 66

Calls

4 calls:

44.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
39.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
32.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
25.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

Compiler

Compiled 2342 to 1581 computations (32.5% saved)

simplify174.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

446×	`associate-l_binary64`
425×	`associate-r_binary64`
413×	`times-frac_binary64`
306×	`associate-/l*_binary64`
212×	`associate-/r*_binary64`

Counts

152 → 119

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	185	3027
1	448	2871
2	1142	2865
3	4730	2865
4	5223	2865

prune102.0ms (1.6%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	107	12	119
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	107	13	120

Error

9.1b

Counts

120 → 13

Alt Table

Status	Error	Program
▶	34.8b	(/.f64 1 (/.f64 a (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2)))
	42.2b	(/.f64 (-.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) 3)) b_2) a)
	35.4b	(.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2))) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 c a))) b_2)) (cbrt.f64 a)))
	48.0b	(/.f64 (*.f64 b_2 -2) a)
	35.3b	(.f64 (/.f64 1 (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2) (cbrt.f64 a)))
	48.3b	(+.f64 (.f64 1/2 (/.f64 c b_2)) (.f64 -2 (/.f64 b_2 a)))
	48.2b	(-.f64 (.f64 -1/2 (/.f64 c b_2)) (.f64 1/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b_2 3))))
	53.3b	(/.f64 (-.f64 (sqrt.f64 (*.f64 b_2 b_2)) b_2) a)
	47.0b	(/.f64 (.f64 (/.f64 (.f64 c a) b_2) -1/2) a)
	50.5b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2) a) 3))
✓	34.7b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
	42.5b	(/.f64 (/.f64 (-.f64 (.f64 b_2 b_2) (+.f64 (.f64 c a) (.f64 b_2 b_2))) (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 c a))))) a)
	35.3b	(/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2))) (/.f64 a (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 c a))) b_2))))

Compiler

Compiled 2053 to 628 computations (69.4% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 1 (/.f64 a (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2)))
0.4b	(-.f64 (.f64 b_2 b_2) (.f64 c a))
1.2b	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2)
24.3b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))

rewrite111.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

9.1b

Rules

144×	`times-frac_binary64`
124×	`add-sqr-sqrt_binary64`
97×	`*-un-lft-identity_binary64`
71×	`add-cube-cbrt_binary64`
26×	`difference-of-squares_binary64`

Counts

4 → 164

Calls

4 calls:

10.0ms	(/.f64 1 (/.f64 a (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2)))
8.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2)
3.0ms	(-.f64 (.f64 b_2 b_2) (.f64 c a))
3.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))

Compiler

Compiled 4004 to 971 computations (75.7% saved)

series146.0ms (2.4%)

Error

9.1b

Counts

4 → 66

Calls

4 calls:

39.0ms	(/.f64 1 (/.f64 a (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2)))
34.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2)
34.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))
25.0ms	(-.f64 (.f64 b_2 b_2) (.f64 c a))

Compiler

Compiled 2539 to 1772 computations (30.2% saved)

simplify362.0ms (5.8%)

Algorithm

1×	egg-herbie

Rules

593×	`times-frac_binary64`
541×	`associate-l_binary64`
355×	`associate-/l*_binary64`
284×	`associate-/r*_binary64`
200×	`associate-*l/_binary64`

Counts

230 → 174

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	224	6091
1	487	5650
2	1374	5533
3	4758	5533
4	4976	5533
5	4949	5533

prune44.0ms (0.7%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	169	5	174
Fresh	5	6	11
Picked	0	1	1
Done	0	1	1
Total	174	13	187

Error

9.1b

Counts

187 → 13

Alt Table

Status	Error	Program
✓	34.8b	(/.f64 1 (/.f64 a (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2)))
	42.2b	(/.f64 (-.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) 3)) b_2) a)
	42.5b	(/.f64 (/.f64 (-.f64 (.f64 b_2 b_2) (+.f64 (.f64 c a) (.f64 b_2 b_2))) a) (+.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 c a))) b_2))
	48.2b	(-.f64 (.f64 -1/2 (/.f64 c b_2)) (.f64 1/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b_2 3))))
	48.8b	(/.f64 (/.f64 1 (sqrt.f64 a)) (/.f64 (sqrt.f64 a) (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2)))
	53.3b	(/.f64 (-.f64 (sqrt.f64 (*.f64 b_2 b_2)) b_2) a)
▶	36.3b	(/.f64 1 (/.f64 a (-.f64 (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 c a))))) b_2)))
	48.0b	(/.f64 (*.f64 b_2 -2) a)
	48.1b	(/.f64 1 (/.f64 a (*.f64 b_2 -2)))
	47.0b	(/.f64 (.f64 (/.f64 (.f64 c a) b_2) -1/2) a)
	48.3b	(+.f64 (.f64 1/2 (/.f64 c b_2)) (.f64 -2 (/.f64 b_2 a)))
	47.2b	(/.f64 1 (/.f64 a (.f64 (/.f64 (.f64 c a) b_2) -1/2)))
✓	34.7b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)

Compiler

Compiled 2104 to 651 computations (69.1% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.4b	(-.f64 (.f64 b_2 b_2) (.f64 c a))
10.0b	(-.f64 (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 c a))))) b_2)
25.0b	(cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))
25.0b	(cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))

rewrite50.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

9.1b

Rules

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

Counts

4 → 52

Calls

4 calls:

12.0ms	(-.f64 (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 c a))))) b_2)
3.0ms	(-.f64 (.f64 b_2 b_2) (.f64 c a))
3.0ms	(cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))
3.0ms	(cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))

Compiler

Compiled 1900 to 421 computations (77.8% saved)

series257.0ms (4.2%)

Error

9.1b

Counts

4 → 67

Calls

4 calls:

94.0ms	(-.f64 (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 c a))))) b_2)
55.0ms	(cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))
54.0ms	(cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))
29.0ms	(-.f64 (.f64 b_2 b_2) (.f64 c a))

Compiler

Compiled 5410 to 3678 computations (32% saved)

simplify101.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

351×	`associate-/l*_binary64`
273×	`times-frac_binary64`
208×	`associate-/r*_binary64`
201×	`associate-*r/_binary64`
197×	`cancel-sign-sub-inv_binary64`

Counts

119 → 96

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	185	2836
1	494	2376
2	1531	2336
3	4691	2300
4	4973	2300

prune102.0ms (1.7%)

Pruning

13 alts after pruning (10 fresh and 3 done)

	Pruned	Kept	Total
New	95	1	96
Fresh	1	9	10
Picked	0	1	1
Done	0	2	2
Total	96	13	109

Error

9.1b

Counts

109 → 13

Alt Table

Status	Error	Program
▶	42.5b	(/.f64 (/.f64 (-.f64 (.f64 b_2 b_2) (+.f64 (.f64 c a) (.f64 b_2 b_2))) a) (+.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 c a))) b_2))
	48.2b	(-.f64 (.f64 -1/2 (/.f64 c b_2)) (.f64 1/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b_2 3))))
	48.8b	(/.f64 (/.f64 1 (sqrt.f64 a)) (/.f64 (sqrt.f64 a) (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2)))
	53.3b	(/.f64 (-.f64 (sqrt.f64 (*.f64 b_2 b_2)) b_2) a)
✓	36.3b	(/.f64 1 (/.f64 a (-.f64 (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 c a))))) b_2)))
	48.0b	(/.f64 (*.f64 b_2 -2) a)
	48.1b	(/.f64 1 (/.f64 a (*.f64 b_2 -2)))
	47.0b	(/.f64 (.f64 (/.f64 (.f64 c a) b_2) -1/2) a)
✓	34.8b	(/.f64 1 (/.f64 a (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2)))
	48.3b	(+.f64 (.f64 1/2 (/.f64 c b_2)) (.f64 -2 (/.f64 b_2 a)))
	47.2b	(/.f64 1 (/.f64 a (.f64 (/.f64 (.f64 c a) b_2) -1/2)))
✓	34.7b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
	59.7b	(/.f64 1 (/.f64 a (neg.f64 b_2)))

Compiler

Compiled 2221 to 982 computations (55.8% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.4b	(+.f64 (.f64 c a) (.f64 b_2 b_2))
8.0b	(/.f64 (-.f64 (.f64 b_2 b_2) (+.f64 (.f64 c a) (*.f64 b_2 b_2))) a)
18.4b	(-.f64 (.f64 b_2 b_2) (+.f64 (.f64 c a) (*.f64 b_2 b_2)))
24.3b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))

rewrite56.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

9.1b

Rules

21×	`add-sqr-sqrt_binary64`
15×	`*-un-lft-identity_binary64`
15×	`add-cube-cbrt_binary64`
12×	`times-frac_binary64`
11×	`add-log-exp_binary64`

Counts

4 → 77

Calls

4 calls:

7.0ms	(/.f64 (-.f64 (.f64 b_2 b_2) (+.f64 (.f64 c a) (*.f64 b_2 b_2))) a)
5.0ms	(-.f64 (.f64 b_2 b_2) (+.f64 (.f64 c a) (*.f64 b_2 b_2)))
5.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))
3.0ms	(+.f64 (.f64 c a) (.f64 b_2 b_2))

Compiler

Compiled 2690 to 368 computations (86.3% saved)

series122.0ms (2%)

Error

8.5b

Counts

4 → 55

Calls

4 calls:

38.0ms	(/.f64 (-.f64 (.f64 b_2 b_2) (+.f64 (.f64 c a) (*.f64 b_2 b_2))) a)
35.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))
26.0ms	(+.f64 (.f64 c a) (.f64 b_2 b_2))
15.0ms	(-.f64 (.f64 b_2 b_2) (+.f64 (.f64 c a) (*.f64 b_2 b_2)))

Compiler

Compiled 2691 to 1429 computations (46.9% saved)

simplify97.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

450×	`times-frac_binary64`
404×	`associate-/l*_binary64`
344×	`div-sub_binary64`
237×	`associate-/r*_binary64`
208×	`distribute-rgt-in_binary64`

Counts

132 → 90

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	172	2420
1	438	2273
2	1233	1828
3	4508	1828
4	5204	1828

prune41.0ms (0.7%)

Pruning

13 alts after pruning (10 fresh and 3 done)

	Pruned	Kept	Total
New	88	2	90
Fresh	1	8	9
Picked	1	0	1
Done	0	3	3
Total	90	13	103

Error

8.5b

Counts

103 → 13

Alt Table

Status	Error	Program
	36.3b	(/.f64 1 (/.f64 a (-.f64 (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 c a))))) b_2)))
	48.0b	(/.f64 (*.f64 b_2 -2) a)
	48.1b	(/.f64 1 (/.f64 a (*.f64 b_2 -2)))
	47.0b	(/.f64 (.f64 (/.f64 (.f64 c a) b_2) -1/2) a)
	34.8b	(/.f64 1 (/.f64 a (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2)))
	48.3b	(+.f64 (.f64 1/2 (/.f64 c b_2)) (.f64 -2 (/.f64 b_2 a)))
	48.2b	(-.f64 (.f64 -1/2 (/.f64 c b_2)) (.f64 1/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b_2 3))))
	48.8b	(/.f64 (/.f64 1 (sqrt.f64 a)) (/.f64 (sqrt.f64 a) (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2)))
	47.2b	(/.f64 1 (/.f64 a (.f64 (/.f64 (.f64 c a) b_2) -1/2)))
	34.7b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
	29.4b	(/.f64 (neg.f64 c) (+.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2))
	31.6b	(/.f64 (/.f64 (neg.f64 (.f64 c a)) a) (+.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 c a))) b_2))
	59.7b	(/.f64 1 (/.f64 a (neg.f64 b_2)))

Compiler

Compiled 1665 to 432 computations (74.1% saved)

regimes1.4s (22.3%)

Accuracy

Total -0.3b remaining (-4%)

Threshold costs -0.3b (-4%)

Compiler

Compiled 12836 to 6762 computations (47.3% saved)

bsearch89.0ms (1.4%)

Steps

Iters	Range	Point
5	1.0325308176618202e+117	3.911249829407247e+117	3.685097484787006e+117
9	-7.359590361815265e-237	-1.040161728129187e-242	-5.819383246893776e-242
8	-1.4041000800592207e+139	-2.9453768134263167e+134	-2.4567324551787413e+135

Iters

Range

Point

1.0325308176618202e+117

3.911249829407247e+117

3.685097484787006e+117

-7.359590361815265e-237

-1.040161728129187e-242

-5.819383246893776e-242

-1.4041000800592207e+139

-2.9453768134263167e+134

-2.4567324551787413e+135

Compiler

Compiled 4 to 3 computations (25% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	34	70
1	51	70
2	63	70
3	72	70
4	76	70
5	75	70

end1.0ms (0%)

Compiler: Compiled 50 to 27 computations (46% saved)

sample1.5s (25.1%)

Algorithm

1×

intervals

Results

335.0ms	1149×	body	2048	valid
319.0ms	5256×	body	128	valid
158.0ms	703×	body	1024	valid
125.0ms	380×	body	4096	valid
54.0ms	345×	body	512	valid
38.0ms	712×	body	128	nan
21.0ms	167×	body	256	valid
13.0ms	235×	body	128	invalid

Compiler

Compiled 274 to 172 computations (37.2% saved)

Iter	Nodes	Cost
0	11	20
1	22	18
2	37	18
3	61	18
4	93	18
5	151	18
6	229	18
7	308	18
8	433	18
9	412	18
10	649	18
11	989	18
12	843	18
13	745	18
14	753	18
15	761	18
16	763	18
17	771	18
18	807	18
19	809	18
20	714	18

Iter	Nodes	Cost
0	11	20
1	22	18
2	37	18
3	61	18
4	93	18
5	151	18
6	229	18
7	308	18
8	433	18
9	412	18
10	649	18
11	989	18
12	843	18
13	745	18
14	753	18
15	761	18
16	763	18
17	771	18
18	807	18
19	809	18
20	714	18

Details

analyze844.0ms (13.6%)

sample43.0ms (0.7%)

simplify71.0ms (1.1%)

prune3.0ms (0%)

localize8.0ms (0.1%)

rewrite237.0ms (3.8%)

series157.0ms (2.5%)

simplify174.0ms (2.8%)

prune102.0ms (1.6%)

localize9.0ms (0.2%)

rewrite111.0ms (1.8%)

series146.0ms (2.4%)

simplify362.0ms (5.8%)

prune44.0ms (0.7%)

localize15.0ms (0.2%)

rewrite50.0ms (0.8%)

series257.0ms (4.2%)

simplify101.0ms (1.6%)

prune102.0ms (1.7%)

localize12.0ms (0.2%)

rewrite56.0ms (0.9%)

series122.0ms (2%)

simplify97.0ms (1.6%)

prune41.0ms (0.7%)

regimes1.4s (22.3%)

bsearch89.0ms (1.4%)

simplify7.0ms (0.1%)

end1.0ms (0%)

sample1.5s (25.1%)

Profiling

Iter	Nodes	Cost
0	11	20
1	22	18
2	37	18
3	61	18
4	93	18
5	151	18
6	229	18
7	308	18
8	433	18
9	412	18
10	649	18
11	989	18
12	843	18
13	745	18
14	753	18
15	761	18
16	763	18
17	771	18
18	807	18
19	809	18
20	714	18