Details

analyze1.0s (13.4%)

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)

sample41.0ms (0.5%)

Algorithm

1×

intervals

Results

10.0ms	37×	body	2048	valid
9.0ms	172×	body	128	valid
4.0ms	20×	body	1024	valid
2.0ms	8×	body	4096	valid
2.0ms	13×	body	512	valid
2.0ms	29×	body	128	nan
1.0ms	6×	body	256	valid
0.0ms	3×	body	128	invalid

Compiler

Compiled 36 to 24 computations (33.3% saved)

simplify70.0ms (0.9%)

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

35.4b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	35.4b	(/.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.3b	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
24.4b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

rewrite213.0ms (2.8%)

Algorithm

1×	rewrite-expression-head

Error

35.1b

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:

48.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)

series204.0ms (2.7%)

Error

5.7b

Counts

4 → 75

Calls

4 calls:

89.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
37.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
33.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
22.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

Compiler

Compiled 2780 to 1818 computations (34.6% saved)

simplify138.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

734×	`associate-/l*_binary64`
516×	`associate-/r*_binary64`
283×	`div-sub_binary64`
182×	`cancel-sign-sub-inv_binary64`
160×	`distribute-rgt-neg-in_binary64`

Counts

161 → 128

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	228	3476
1	585	3338
2	1672	3332
3	4836	3332
4	5455	3332

prune65.0ms (0.8%)

Pruning

17 alts after pruning (16 fresh and 1 done)

	Pruned	Kept	Total
New	112	16	128
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	112	17	129

Error

6.6b

Counts

129 → 17

Alt Table

Status	Error	Program
	36.0b	(.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)))
	45.0b	(/.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)
	51.5b	(/.f64 (-.f64 (sqrt.f64 (*.f64 b_2 b_2)) b_2) a)
▶	35.5b	(/.f64 1 (/.f64 a (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2)))
	45.8b	(/.f64 (.f64 (/.f64 (.f64 c a) b_2) -1/2) a)
	54.5b	(.f64 (/.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))) (sqrt.f64 b_2)) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))) (sqrt.f64 b_2)) (cbrt.f64 a)))
	49.2b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2) a) 3))
	36.2b	(/.f64 (-.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) a)
	35.9b	(/.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2) (*.f64 (cbrt.f64 a) (cbrt.f64 a))) (cbrt.f64 a))
	35.9b	(.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 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2)) a))
	43.0b	(+.f64 (.f64 1/2 (/.f64 c b_2)) (.f64 -2 (/.f64 b_2 a)))
	45.3b	(-.f64 (.f64 -1/2 (/.f64 c b_2)) (.f64 1/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b_2 3))))
	42.9b	(/.f64 (*.f64 b_2 -2) a)
	48.7b	(/.f64 (-.f64 (.f64 (/.f64 (.f64 c a) b_2) -1/2) (.f64 1/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b_2 3)))) a)
	35.9b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2) a)) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2) a))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2) a)))
	51.1b	(exp.f64 (log.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2) a)))
✓	35.4b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)

Compiler

Compiled 2634 to 853 computations (67.6% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(/.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.3b	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2)
24.4b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))

rewrite109.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

6.6b

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)))
6.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2)
4.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))
3.0ms	(-.f64 (.f64 b_2 b_2) (.f64 c a))

Compiler

Compiled 4004 to 971 computations (75.7% saved)

series142.0ms (1.9%)

Error

6.6b

Counts

4 → 75

Calls

4 calls:

36.0ms	(/.f64 1 (/.f64 a (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2)))
32.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))
31.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2)
22.0ms	(-.f64 (.f64 b_2 b_2) (.f64 c a))

Compiler

Compiled 2991 to 2023 computations (32.4% saved)

simplify268.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

795×	`associate-/l*_binary64`
275×	`associate-/r/_binary64`
178×	`cancel-sign-sub-inv_binary64`
167×	`distribute-rgt-in_binary64`
163×	`distribute-lft-in_binary64`

Counts

239 → 183

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	267	6540
1	624	6117
2	1909	6000
3	4697	6000
4	5040	6000

prune56.0ms (0.7%)

Pruning

15 alts after pruning (13 fresh and 2 done)

	Pruned	Kept	Total
New	179	4	183
Fresh	6	9	15
Picked	0	1	1
Done	0	1	1
Total	185	15	200

Error

6.6b

Counts

200 → 15

Alt Table

Status	Error	Program
	51.5b	(/.f64 (-.f64 (sqrt.f64 (*.f64 b_2 b_2)) b_2) a)
✓	35.5b	(/.f64 1 (/.f64 a (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2)))
	44.9b	(/.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))
	54.5b	(.f64 (/.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))) (sqrt.f64 b_2)) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))) (sqrt.f64 b_2)) (cbrt.f64 a)))
	49.2b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2) a) 3))
	36.2b	(/.f64 (-.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) a)
	51.1b	(exp.f64 (log.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2) a)))
	45.8b	(/.f64 1 (/.f64 a (.f64 (/.f64 (.f64 c a) b_2) -1/2)))
▶	35.9b	(.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 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2)) a))
	43.0b	(+.f64 (.f64 1/2 (/.f64 c b_2)) (.f64 -2 (/.f64 b_2 a)))
	45.3b	(-.f64 (.f64 -1/2 (/.f64 c b_2)) (.f64 1/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b_2 3))))
	48.7b	(/.f64 (-.f64 (.f64 (/.f64 (.f64 c a) b_2) -1/2) (.f64 1/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b_2 3)))) a)
	36.0b	(/.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 a) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2))))
	43.0b	(/.f64 1 (/.f64 a (*.f64 b_2 -2)))
✓	35.4b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)

Compiler

Compiled 2685 to 874 computations (67.4% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.3b	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2)
24.4b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))
24.4b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))
24.4b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))

rewrite43.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

6.6b

Rules

15×	`add-sqr-sqrt_binary64`
10×	`*-un-lft-identity_binary64`
10×	`sqrt-prod_binary64`
8×	`add-cube-cbrt_binary64`
7×	`pow1_binary64`

Counts

4 → 62

Calls

4 calls:

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

Compiler

Compiled 2674 to 328 computations (87.7% saved)

series200.0ms (2.6%)

Error

6.6b

Counts

4 → 81

Calls

4 calls:

46.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))
38.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))
35.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))
35.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2)

Compiler

Compiled 7245 to 3229 computations (55.4% saved)

simplify156.0ms (2%)

Algorithm

1×	egg-herbie

Rules

738×	`times-frac_binary64`
459×	`associate-l_binary64`
439×	`associate-/l*_binary64`
314×	`associate-/r*_binary64`
146×	`cancel-sign-sub-inv_binary64`

Counts

143 → 72

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	131	2771
1	341	2734
2	1016	2731
3	4587	2731
4	4961	2731
5	4998	2731
6	4967	2731

prune45.0ms (0.6%)

Pruning

15 alts after pruning (12 fresh and 3 done)

	Pruned	Kept	Total
New	72	0	72
Fresh	0	12	12
Picked	0	1	1
Done	0	2	2
Total	72	15	87

Error

6.6b

Counts

87 → 15

Alt Table

Status	Error	Program
	51.5b	(/.f64 (-.f64 (sqrt.f64 (*.f64 b_2 b_2)) b_2) a)
✓	35.5b	(/.f64 1 (/.f64 a (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2)))
	44.9b	(/.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))
	54.5b	(.f64 (/.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))) (sqrt.f64 b_2)) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))) (sqrt.f64 b_2)) (cbrt.f64 a)))
	49.2b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2) a) 3))
	36.2b	(/.f64 (-.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) a)
	51.1b	(exp.f64 (log.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2) a)))
	45.8b	(/.f64 1 (/.f64 a (.f64 (/.f64 (.f64 c a) b_2) -1/2)))
✓	35.9b	(.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 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2)) a))
	43.0b	(+.f64 (.f64 1/2 (/.f64 c b_2)) (.f64 -2 (/.f64 b_2 a)))
	45.3b	(-.f64 (.f64 -1/2 (/.f64 c b_2)) (.f64 1/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b_2 3))))
	48.7b	(/.f64 (-.f64 (.f64 (/.f64 (.f64 c a) b_2) -1/2) (.f64 1/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b_2 3)))) a)
▶	36.0b	(/.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 a) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2))))
	43.0b	(/.f64 1 (/.f64 a (*.f64 b_2 -2)))
✓	35.4b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)

Compiler

Compiled 3157 to 882 computations (72.1% saved)

localize21.0ms (0.3%)

Local error

Found 4 expressions with local error:

1.3b	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2)
24.4b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))
24.4b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))
24.4b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))

rewrite67.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

6.6b

Rules

15×	`add-sqr-sqrt_binary64`
10×	`*-un-lft-identity_binary64`
10×	`sqrt-prod_binary64`
8×	`add-cube-cbrt_binary64`
7×	`pow1_binary64`

Counts

4 → 62

Calls

4 calls:

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

Compiler

Compiled 3073 to 374 computations (87.8% saved)

series208.0ms (2.7%)

Error

6.6b

Counts

4 → 81

Calls

4 calls:

65.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2)
40.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))
39.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))
38.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))

Compiler

Compiled 8295 to 3589 computations (56.7% saved)

simplify185.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

738×	`times-frac_binary64`
459×	`associate-l_binary64`
439×	`associate-/l*_binary64`
314×	`associate-/r*_binary64`
146×	`cancel-sign-sub-inv_binary64`

Counts

143 → 72

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	131	2771
1	341	2734
2	1016	2731
3	4587	2731
4	4961	2731
5	4998	2731
6	4967	2731

prune43.0ms (0.6%)

Pruning

15 alts after pruning (11 fresh and 4 done)

	Pruned	Kept	Total
New	72	0	72
Fresh	0	11	11
Picked	0	1	1
Done	0	3	3
Total	72	15	87

Error

6.6b

Counts

87 → 15

Alt Table

Status	Error	Program
	51.5b	(/.f64 (-.f64 (sqrt.f64 (*.f64 b_2 b_2)) b_2) a)
	35.5b	(/.f64 1 (/.f64 a (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2)))
	44.9b	(/.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))
	54.5b	(.f64 (/.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))) (sqrt.f64 b_2)) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))) (sqrt.f64 b_2)) (cbrt.f64 a)))
	49.2b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2) a) 3))
	36.2b	(/.f64 (-.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) a)
	51.1b	(exp.f64 (log.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2) a)))
	45.8b	(/.f64 1 (/.f64 a (.f64 (/.f64 (.f64 c a) b_2) -1/2)))
	35.9b	(.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 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2)) a))
	43.0b	(+.f64 (.f64 1/2 (/.f64 c b_2)) (.f64 -2 (/.f64 b_2 a)))
	45.3b	(-.f64 (.f64 -1/2 (/.f64 c b_2)) (.f64 1/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b_2 3))))
	48.7b	(/.f64 (-.f64 (.f64 (/.f64 (.f64 c a) b_2) -1/2) (.f64 1/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b_2 3)))) a)
	36.0b	(/.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 a) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a))) b_2))))
	43.0b	(/.f64 1 (/.f64 a (*.f64 b_2 -2)))
	35.4b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)

Compiler

Compiled 3254 to 782 computations (76% saved)

regimes2.7s (35.4%)

Accuracy

Total 3.0b remaining (30.5%)

Threshold costs 0b (0%)

Compiler

Compiled 16452 to 8534 computations (48.1% saved)

bsearch60.0ms (0.8%)

Steps

Iters	Range		Point
7	7.353741257115187e-136	3.6830256496041113e-134	2.478299413084075e-134
9	-1.7828135311058313e+142	-3.3175706865675068e+131	-6.2934209015436434e+131

Compiler

Compiled 4 to 3 computations (25% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	56
1	38	56
2	53	56
3	63	56
4	70	56
5	72	56
6	72	56

end1.0ms (0%)

Compiler: Compiled 41 to 24 computations (41.5% saved)

sample1.5s (20.1%)

Algorithm

1×

intervals

Results

323.0ms	5192×	body	128	valid
310.0ms	1153×	body	2048	valid
158.0ms	710×	body	1024	valid
137.0ms	373×	body	4096	valid
59.0ms	388×	body	512	valid
43.0ms	762×	body	128	nan
20.0ms	184×	body	256	valid
14.0ms	250×	body	128	invalid

Compiler

Compiled 400 to 212 computations (47% 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

analyze1.0s (13.4%)

sample41.0ms (0.5%)

simplify70.0ms (0.9%)

prune3.0ms (0%)

localize8.0ms (0.1%)

rewrite213.0ms (2.8%)

series204.0ms (2.7%)

simplify138.0ms (1.8%)

prune65.0ms (0.8%)

localize9.0ms (0.1%)

rewrite109.0ms (1.4%)

series142.0ms (1.9%)

simplify268.0ms (3.5%)

prune56.0ms (0.7%)

localize16.0ms (0.2%)

rewrite43.0ms (0.6%)

series200.0ms (2.6%)

simplify156.0ms (2%)

prune45.0ms (0.6%)

localize21.0ms (0.3%)

rewrite67.0ms (0.9%)

series208.0ms (2.7%)

simplify185.0ms (2.4%)

prune43.0ms (0.6%)

regimes2.7s (35.4%)

bsearch60.0ms (0.8%)

simplify5.0ms (0.1%)

end1.0ms (0%)

sample1.5s (20.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