Details

analyze235.0ms (0.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	28.1%	71.9%	0
0%	28.1%	71.9%	1
0%	28.1%	71.9%	2
0%	28.1%	71.9%	3
3.5%	24.6%	71.9%	4
5.3%	22.8%	71.9%	5
10.5%	17.5%	71.9%	6
14%	14%	71.9%	7
19.1%	9%	71.9%	8
24.6%	3.5%	71.9%	9
25.1%	3%	71.9%	10
25.8%	2.3%	71.9%	11
26.3%	1.8%	71.9%	12
26.6%	1.5%	71.9%	13
26.9%	1.2%	71.9%	14

Compiler

Compiled 42 to 27 computations (35.7% saved)

sample45.0ms (0.2%)

Algorithm

1×

intervals

Results

17.0ms	213×	body	128	valid
6.0ms	256×	pre	128	true
4.0ms	15×	body	1024	valid
3.0ms	16×	body	512	valid
1.0ms	9×	body	256	valid
1.0ms	3×	body	2048	valid

Compiler

Compiled 77 to 50 computations (35.1% saved)

simplify71.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

847×	`times-frac_binary64`
817×	`distribute-rgt-in_binary64`
748×	`distribute-lft-in_binary64`
576×	`sub-neg_binary64`
537×	`div-sub_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	43
1	34	43
2	106	43
3	409	43
4	1505	43
5	2316	43
6	3123	43
7	4954	43
8	4973	43
9	5371	43

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

19.3b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	19.3b	(/.f64 (+.f64 (/.f64 (/.f64 (.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (.f64 2 i))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2)) 1) 2)

Compiler

Compiled 96 to 60 computations (37.5% saved)

localize16.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.1b

(/.f64 (/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2))

1.9b

(+.f64 (/.f64 (/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2)) 1)

16.0b

(/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))

rewrite324.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

11.0b

Rules

54×	`times-frac_binary64`
47×	`*-un-lft-identity_binary64`
25×	`add-sqr-sqrt_binary64`
25×	`add-cube-cbrt_binary64`
17×	`add-cbrt-cube_binary64`

Counts

3 → 111

Calls

3 calls:

27.0ms

(+.f64 (/.f64 (/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2)) 1)

17.0ms

(/.f64 (/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2))

12.0ms

(/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))

Compiler

Compiled 4869 to 2450 computations (49.7% saved)

series855.0ms (3.4%)

Error

0.6b

Counts

3 → 77

Calls

3 calls:

372.0ms

(+.f64 (/.f64 (/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2)) 1)

282.0ms

(/.f64 (/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2))

75.0ms

(/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))

Compiler

Compiled 15047 to 11483 computations (23.7% saved)

simplify210.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

732×	`associate-/l*_binary64`
308×	`distribute-rgt-in_binary64`
294×	`distribute-lft-in_binary64`
180×	`+-commutative_binary64`
172×	`*-commutative_binary64`

Counts

188 → 163

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	718	14708
1	2407	14378
2	5562	14378

prune193.0ms (0.8%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	159	4	163
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	160	4	164

Error

0.3b

Counts

164 → 4

Alt Table

Status	Error	Program
	50.6b	(/.f64 (/.f64 (+.f64 (.f64 beta 2) (+.f64 2 (.f64 i 4))) alpha) 2)
▶	11.2b	(/.f64 (+.f64 (.f64 (+.f64 beta alpha) (/.f64 (/.f64 (-.f64 beta alpha) (+.f64 (.f64 2 i) (+.f64 beta alpha))) (+.f64 2 (+.f64 (*.f64 2 i) (+.f64 beta alpha))))) 1) 2)
	17.1b	(/.f64 (+.f64 (.f64 (/.f64 (+.f64 beta alpha) (sqrt.f64 (+.f64 (.f64 2 i) (+.f64 beta alpha)))) (/.f64 (/.f64 (-.f64 beta alpha) (sqrt.f64 (+.f64 (.f64 2 i) (+.f64 beta alpha)))) (+.f64 2 (+.f64 (.f64 2 i) (+.f64 beta alpha))))) 1) 2)
	53.0b	(/.f64 (-.f64 (+.f64 (/.f64 2 alpha) (+.f64 (.f64 2 (/.f64 beta alpha)) (.f64 4 (/.f64 i alpha)))) (+.f64 (/.f64 4 (.f64 alpha alpha)) (+.f64 (.f64 12 (+.f64 (/.f64 i (/.f64 (.f64 alpha alpha) i)) (/.f64 beta (/.f64 (.f64 alpha alpha) i)))) (+.f64 (.f64 6 (/.f64 beta (.f64 alpha alpha))) (+.f64 (.f64 12 (/.f64 i (.f64 alpha alpha))) (.f64 2 (/.f64 (.f64 beta beta) (*.f64 alpha alpha)))))))) 2)

Compiler

Compiled 9063 to 5259 computations (42% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (-.f64 beta alpha) (+.f64 (*.f64 2 i) (+.f64 beta alpha)))
0.0b	(/.f64 (/.f64 (-.f64 beta alpha) (+.f64 (.f64 2 i) (+.f64 beta alpha))) (+.f64 2 (+.f64 (.f64 2 i) (+.f64 beta alpha))))
1.7b	(.f64 (+.f64 beta alpha) (/.f64 (/.f64 (-.f64 beta alpha) (+.f64 (.f64 2 i) (+.f64 beta alpha))) (+.f64 2 (+.f64 (*.f64 2 i) (+.f64 beta alpha)))))
3.1b	(+.f64 (.f64 (+.f64 beta alpha) (/.f64 (/.f64 (-.f64 beta alpha) (+.f64 (.f64 2 i) (+.f64 beta alpha))) (+.f64 2 (+.f64 (*.f64 2 i) (+.f64 beta alpha))))) 1)

rewrite439.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

0.3b

Rules

321×	`times-frac_binary64`
290×	`*-un-lft-identity_binary64`
211×	`add-sqr-sqrt_binary64`
140×	`add-cube-cbrt_binary64`
90×	`associate-r_binary64`

Counts

4 → 295

Calls

4 calls:

36.0ms	(.f64 (+.f64 beta alpha) (/.f64 (/.f64 (-.f64 beta alpha) (+.f64 (.f64 2 i) (+.f64 beta alpha))) (+.f64 2 (+.f64 (*.f64 2 i) (+.f64 beta alpha)))))
23.0ms	(+.f64 (.f64 (+.f64 beta alpha) (/.f64 (/.f64 (-.f64 beta alpha) (+.f64 (.f64 2 i) (+.f64 beta alpha))) (+.f64 2 (+.f64 (*.f64 2 i) (+.f64 beta alpha))))) 1)
20.0ms	(/.f64 (/.f64 (-.f64 beta alpha) (+.f64 (.f64 2 i) (+.f64 beta alpha))) (+.f64 2 (+.f64 (.f64 2 i) (+.f64 beta alpha))))
8.0ms	(/.f64 (-.f64 beta alpha) (+.f64 (*.f64 2 i) (+.f64 beta alpha)))

Compiler

Compiled 11516 to 6062 computations (47.4% saved)

series1.6s (6.4%)

Error

0.3b

Counts

4 → 104

Calls

4 calls:

714.0ms	(/.f64 (/.f64 (-.f64 beta alpha) (+.f64 (.f64 2 i) (+.f64 beta alpha))) (+.f64 2 (+.f64 (.f64 2 i) (+.f64 beta alpha))))
356.0ms	(+.f64 (.f64 (+.f64 beta alpha) (/.f64 (/.f64 (-.f64 beta alpha) (+.f64 (.f64 2 i) (+.f64 beta alpha))) (+.f64 2 (+.f64 (*.f64 2 i) (+.f64 beta alpha))))) 1)
270.0ms	(.f64 (+.f64 beta alpha) (/.f64 (/.f64 (-.f64 beta alpha) (+.f64 (.f64 2 i) (+.f64 beta alpha))) (+.f64 2 (+.f64 (*.f64 2 i) (+.f64 beta alpha)))))
72.0ms	(/.f64 (-.f64 beta alpha) (+.f64 (*.f64 2 i) (+.f64 beta alpha)))

Compiler

Compiled 20574 to 15460 computations (24.9% saved)

simplify370.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

383×	`distribute-rgt-in_binary64`
277×	`*-commutative_binary64`
247×	`+-commutative_binary64`
219×	`associate-*r/_binary64`
195×	`sub-neg_binary64`

Counts

399 → 371

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1013	25202
1	3305	24709
2	5001	24709

prune403.0ms (1.6%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	370	1	371
Fresh	1	2	3
Picked	1	0	1
Done	0	0	0
Total	372	3	375

Error

0.3b

Counts

375 → 3

Alt Table

Status	Error	Program
	50.6b	(/.f64 (/.f64 (+.f64 (.f64 beta 2) (+.f64 2 (.f64 i 4))) alpha) 2)
▶	11.2b	(/.f64 (+.f64 (.f64 (+.f64 beta alpha) (/.f64 (/.f64 1 (/.f64 (+.f64 (.f64 2 i) (+.f64 alpha beta)) (-.f64 beta alpha))) (+.f64 2 (+.f64 (*.f64 2 i) (+.f64 beta alpha))))) 1) 2)
	53.0b	(/.f64 (-.f64 (+.f64 (/.f64 2 alpha) (+.f64 (.f64 2 (/.f64 beta alpha)) (.f64 4 (/.f64 i alpha)))) (+.f64 (/.f64 4 (.f64 alpha alpha)) (+.f64 (.f64 12 (+.f64 (/.f64 i (/.f64 (.f64 alpha alpha) i)) (/.f64 beta (/.f64 (.f64 alpha alpha) i)))) (+.f64 (.f64 6 (/.f64 beta (.f64 alpha alpha))) (+.f64 (.f64 12 (/.f64 i (.f64 alpha alpha))) (.f64 2 (/.f64 (.f64 beta beta) (*.f64 alpha alpha)))))))) 2)

Compiler

Compiled 16345 to 9190 computations (43.8% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (/.f64 1 (/.f64 (+.f64 (.f64 2 i) (+.f64 alpha beta)) (-.f64 beta alpha))) (+.f64 2 (+.f64 (.f64 2 i) (+.f64 beta alpha))))
0.4b	(/.f64 1 (/.f64 (+.f64 (*.f64 2 i) (+.f64 alpha beta)) (-.f64 beta alpha)))
1.7b	(.f64 (+.f64 beta alpha) (/.f64 (/.f64 1 (/.f64 (+.f64 (.f64 2 i) (+.f64 alpha beta)) (-.f64 beta alpha))) (+.f64 2 (+.f64 (*.f64 2 i) (+.f64 beta alpha)))))
3.1b	(+.f64 (.f64 (+.f64 beta alpha) (/.f64 (/.f64 1 (/.f64 (+.f64 (.f64 2 i) (+.f64 alpha beta)) (-.f64 beta alpha))) (+.f64 2 (+.f64 (*.f64 2 i) (+.f64 beta alpha))))) 1)

rewrite1.6s (6.3%)

Algorithm

1×	rewrite-expression-head

Error

0.3b

Rules

1650×	`times-frac_binary64`
1106×	`*-un-lft-identity_binary64`
849×	`add-sqr-sqrt_binary64`
642×	`add-cube-cbrt_binary64`
278×	`associate-r_binary64`

Counts

4 → 800

Calls

4 calls:

77.0ms	(.f64 (+.f64 beta alpha) (/.f64 (/.f64 1 (/.f64 (+.f64 (.f64 2 i) (+.f64 alpha beta)) (-.f64 beta alpha))) (+.f64 2 (+.f64 (*.f64 2 i) (+.f64 beta alpha)))))
38.0ms	(+.f64 (.f64 (+.f64 beta alpha) (/.f64 (/.f64 1 (/.f64 (+.f64 (.f64 2 i) (+.f64 alpha beta)) (-.f64 beta alpha))) (+.f64 2 (+.f64 (*.f64 2 i) (+.f64 beta alpha))))) 1)
28.0ms	(/.f64 (/.f64 1 (/.f64 (+.f64 (.f64 2 i) (+.f64 alpha beta)) (-.f64 beta alpha))) (+.f64 2 (+.f64 (.f64 2 i) (+.f64 beta alpha))))
12.0ms	(/.f64 1 (/.f64 (+.f64 (*.f64 2 i) (+.f64 alpha beta)) (-.f64 beta alpha)))

Compiler

Compiled 32905 to 18772 computations (43% saved)

series1.0s (4.2%)

Error

0.3b

Counts

4 → 104

Calls

4 calls:

333.0ms	(+.f64 (.f64 (+.f64 beta alpha) (/.f64 (/.f64 1 (/.f64 (+.f64 (.f64 2 i) (+.f64 alpha beta)) (-.f64 beta alpha))) (+.f64 2 (+.f64 (*.f64 2 i) (+.f64 beta alpha))))) 1)
261.0ms	(.f64 (+.f64 beta alpha) (/.f64 (/.f64 1 (/.f64 (+.f64 (.f64 2 i) (+.f64 alpha beta)) (-.f64 beta alpha))) (+.f64 2 (+.f64 (*.f64 2 i) (+.f64 beta alpha)))))
249.0ms	(/.f64 (/.f64 1 (/.f64 (+.f64 (.f64 2 i) (+.f64 alpha beta)) (-.f64 beta alpha))) (+.f64 2 (+.f64 (.f64 2 i) (+.f64 beta alpha))))
76.0ms	(/.f64 1 (/.f64 (+.f64 (*.f64 2 i) (+.f64 alpha beta)) (-.f64 beta alpha)))

Compiler

Compiled 20574 to 15460 computations (24.9% saved)

simplify1.1s (4.4%)

Algorithm

1×	egg-herbie

Rules

380×	`distribute-rgt-in_binary64`
282×	`*-commutative_binary64`
246×	`+-commutative_binary64`
230×	`associate-*r/_binary64`
182×	`sub-neg_binary64`

Counts

904 → 857

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1077	50893
1	3435	50037
2	4939	50037
3	4982	50037
4	4971	50037

prune622.0ms (2.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	856	1	857
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	856	4	860

Error

0.3b

Counts

860 → 4

Alt Table

Status	Error	Program
	50.6b	(/.f64 (/.f64 (+.f64 (.f64 beta 2) (+.f64 2 (.f64 i 4))) alpha) 2)
▶	11.2b	(/.f64 (/.f64 (+.f64 1 (pow.f64 (/.f64 (/.f64 (+.f64 alpha beta) (/.f64 (+.f64 (.f64 2 i) (+.f64 alpha beta)) (-.f64 beta alpha))) (+.f64 2 (+.f64 (.f64 2 i) (+.f64 alpha beta)))) 3)) (+.f64 (.f64 (/.f64 (/.f64 (+.f64 alpha beta) (/.f64 (+.f64 (.f64 2 i) (+.f64 alpha beta)) (-.f64 beta alpha))) (+.f64 2 (+.f64 (.f64 2 i) (+.f64 alpha beta)))) (/.f64 (/.f64 (+.f64 alpha beta) (/.f64 (+.f64 (.f64 2 i) (+.f64 alpha beta)) (-.f64 beta alpha))) (+.f64 2 (+.f64 (.f64 2 i) (+.f64 alpha beta))))) (-.f64 1 (/.f64 (/.f64 (+.f64 alpha beta) (/.f64 (+.f64 (.f64 2 i) (+.f64 alpha beta)) (-.f64 beta alpha))) (+.f64 2 (+.f64 (*.f64 2 i) (+.f64 alpha beta))))))) 2)
✓	11.2b	(/.f64 (+.f64 (.f64 (+.f64 beta alpha) (/.f64 (/.f64 1 (/.f64 (+.f64 (.f64 2 i) (+.f64 alpha beta)) (-.f64 beta alpha))) (+.f64 2 (+.f64 (*.f64 2 i) (+.f64 beta alpha))))) 1) 2)
	53.0b	(/.f64 (-.f64 (+.f64 (/.f64 2 alpha) (+.f64 (.f64 2 (/.f64 beta alpha)) (.f64 4 (/.f64 i alpha)))) (+.f64 (/.f64 4 (.f64 alpha alpha)) (+.f64 (.f64 12 (+.f64 (/.f64 i (/.f64 (.f64 alpha alpha) i)) (/.f64 beta (/.f64 (.f64 alpha alpha) i)))) (+.f64 (.f64 6 (/.f64 beta (.f64 alpha alpha))) (+.f64 (.f64 12 (/.f64 i (.f64 alpha alpha))) (.f64 2 (/.f64 (.f64 beta beta) (*.f64 alpha alpha)))))))) 2)

Compiler

Compiled 25859 to 14597 computations (43.6% saved)

localize24.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 (+.f64 alpha beta) (/.f64 (+.f64 (*.f64 2 i) (+.f64 alpha beta)) (-.f64 beta alpha)))
0.1b	(pow.f64 (/.f64 (/.f64 (+.f64 alpha beta) (/.f64 (+.f64 (.f64 2 i) (+.f64 alpha beta)) (-.f64 beta alpha))) (+.f64 2 (+.f64 (.f64 2 i) (+.f64 alpha beta)))) 3)
1.3b	(-.f64 1 (/.f64 (/.f64 (+.f64 alpha beta) (/.f64 (+.f64 (.f64 2 i) (+.f64 alpha beta)) (-.f64 beta alpha))) (+.f64 2 (+.f64 (.f64 2 i) (+.f64 alpha beta)))))
1.9b	(+.f64 1 (pow.f64 (/.f64 (/.f64 (+.f64 alpha beta) (/.f64 (+.f64 (.f64 2 i) (+.f64 alpha beta)) (-.f64 beta alpha))) (+.f64 2 (+.f64 (.f64 2 i) (+.f64 alpha beta)))) 3))

rewrite2.4s (9.7%)

Algorithm

1×	rewrite-expression-head

Error

0.3b

Rules

2967×	`times-frac_binary64`
2446×	`*-un-lft-identity_binary64`
1380×	`add-sqr-sqrt_binary64`
1038×	`add-cube-cbrt_binary64`
542×	`distribute-lft-out_binary64`

Counts

4 → 1268

Calls

4 calls:

181.0ms	(+.f64 1 (pow.f64 (/.f64 (/.f64 (+.f64 alpha beta) (/.f64 (+.f64 (.f64 2 i) (+.f64 alpha beta)) (-.f64 beta alpha))) (+.f64 2 (+.f64 (.f64 2 i) (+.f64 alpha beta)))) 3))
116.0ms	(-.f64 1 (/.f64 (/.f64 (+.f64 alpha beta) (/.f64 (+.f64 (.f64 2 i) (+.f64 alpha beta)) (-.f64 beta alpha))) (+.f64 2 (+.f64 (.f64 2 i) (+.f64 alpha beta)))))
66.0ms	(pow.f64 (/.f64 (/.f64 (+.f64 alpha beta) (/.f64 (+.f64 (.f64 2 i) (+.f64 alpha beta)) (-.f64 beta alpha))) (+.f64 2 (+.f64 (.f64 2 i) (+.f64 alpha beta)))) 3)
15.0ms	(/.f64 (+.f64 alpha beta) (/.f64 (+.f64 (*.f64 2 i) (+.f64 alpha beta)) (-.f64 beta alpha)))

Compiler

Compiled 72039 to 35807 computations (50.3% saved)

series3.2s (12.9%)

Error

0.3b

Counts

4 → 81

Calls

4 calls:

2.3s	(+.f64 1 (pow.f64 (/.f64 (/.f64 (+.f64 alpha beta) (/.f64 (+.f64 (.f64 2 i) (+.f64 alpha beta)) (-.f64 beta alpha))) (+.f64 2 (+.f64 (.f64 2 i) (+.f64 alpha beta)))) 3))
389.0ms	(pow.f64 (/.f64 (/.f64 (+.f64 alpha beta) (/.f64 (+.f64 (.f64 2 i) (+.f64 alpha beta)) (-.f64 beta alpha))) (+.f64 2 (+.f64 (.f64 2 i) (+.f64 alpha beta)))) 3)
286.0ms	(-.f64 1 (/.f64 (/.f64 (+.f64 alpha beta) (/.f64 (+.f64 (.f64 2 i) (+.f64 alpha beta)) (-.f64 beta alpha))) (+.f64 2 (+.f64 (.f64 2 i) (+.f64 alpha beta)))))
63.0ms	(/.f64 (+.f64 alpha beta) (/.f64 (+.f64 (*.f64 2 i) (+.f64 alpha beta)) (-.f64 beta alpha)))

Compiler

Compiled 30937 to 20079 computations (35.1% saved)

simplify1.6s (6.3%)

Algorithm

1×	egg-herbie

Rules

404×	`unpow3_binary64`
381×	`sqr-pow_binary64`
348×	`cube-mult_binary64`
330×	`cube-div_binary64`
172×	`neg-sub0_binary64`

Counts

1349 → 860

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2017	106697
1	4926	106697
2	5027	106697

prune740.0ms (3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	859	1	860
Fresh	0	2	2
Picked	1	0	1
Done	0	1	1
Total	860	4	864

Error

0.3b

Counts

864 → 4

Alt Table

Status	Error	Program
	50.6b	(/.f64 (/.f64 (+.f64 (.f64 beta 2) (+.f64 2 (.f64 i 4))) alpha) 2)
	11.8b	(/.f64 (/.f64 (+.f64 1 (pow.f64 (/.f64 (/.f64 (+.f64 alpha beta) (/.f64 (+.f64 (.f64 2 i) (+.f64 alpha beta)) (-.f64 beta alpha))) (+.f64 2 (+.f64 (.f64 2 i) (+.f64 alpha beta)))) 3)) (+.f64 (.f64 (/.f64 (/.f64 (+.f64 alpha beta) (/.f64 (+.f64 (.f64 2 i) (+.f64 alpha beta)) (-.f64 beta alpha))) (+.f64 2 (+.f64 (.f64 2 i) (+.f64 alpha beta)))) (/.f64 (/.f64 (+.f64 alpha beta) (/.f64 (+.f64 (.f64 2 i) (+.f64 alpha beta)) (-.f64 beta alpha))) (+.f64 2 (+.f64 (.f64 2 i) (+.f64 alpha beta))))) (/.f64 (-.f64 1 (.f64 (/.f64 (/.f64 (+.f64 alpha beta) (/.f64 (+.f64 (.f64 2 i) (+.f64 alpha beta)) (-.f64 beta alpha))) (+.f64 2 (+.f64 (.f64 2 i) (+.f64 alpha beta)))) (/.f64 (/.f64 (+.f64 alpha beta) (/.f64 (+.f64 (.f64 2 i) (+.f64 alpha beta)) (-.f64 beta alpha))) (+.f64 2 (+.f64 (.f64 2 i) (+.f64 alpha beta)))))) (+.f64 1 (/.f64 (/.f64 (+.f64 alpha beta) (/.f64 (+.f64 (.f64 2 i) (+.f64 alpha beta)) (-.f64 beta alpha))) (+.f64 2 (+.f64 (.f64 2 i) (+.f64 alpha beta)))))))) 2)
	11.2b	(/.f64 (+.f64 (.f64 (+.f64 beta alpha) (/.f64 (/.f64 1 (/.f64 (+.f64 (.f64 2 i) (+.f64 alpha beta)) (-.f64 beta alpha))) (+.f64 2 (+.f64 (*.f64 2 i) (+.f64 beta alpha))))) 1) 2)
	53.0b	(/.f64 (-.f64 (+.f64 (/.f64 2 alpha) (+.f64 (.f64 2 (/.f64 beta alpha)) (.f64 4 (/.f64 i alpha)))) (+.f64 (/.f64 4 (.f64 alpha alpha)) (+.f64 (.f64 12 (+.f64 (/.f64 i (/.f64 (.f64 alpha alpha) i)) (/.f64 beta (/.f64 (.f64 alpha alpha) i)))) (+.f64 (.f64 6 (/.f64 beta (.f64 alpha alpha))) (+.f64 (.f64 12 (/.f64 i (.f64 alpha alpha))) (.f64 2 (/.f64 (.f64 beta beta) (*.f64 alpha alpha)))))))) 2)

Compiler

Compiled 32528 to 16454 computations (49.4% saved)

regimes6.1s (24.6%)

Accuracy

Total 1.2b remaining (89.7%)

Threshold costs 0b (0%)

Compiler

Compiled 177036 to 115817 computations (34.6% saved)

bsearch46.0ms (0.2%)

Compiler: Compiled 28 to 16 computations (42.9% saved)

simplify10.0ms (0%)

Algorithm

1×	egg-herbie

Rules

10×	`+-commutative_binary64`
6×	`*-commutative_binary64`
2×	`sub-neg_binary64`
1×	`/-rgt-identity_binary64`
1×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	107
1	47	107
2	51	107
3	53	107
4	54	107
5	53	107

end1.0ms (0%)

Compiler: Compiled 75 to 46 computations (38.7% saved)

sample1.6s (6.6%)

Algorithm

1×

intervals

Results

569.0ms	6457×	body	128	valid
202.0ms	701×	body	1024	valid
197.0ms	8000×	pre	128	true
107.0ms	497×	body	512	valid
44.0ms	296×	body	256	valid
20.0ms	49×	body	2048	valid

Compiler

Compiled 408 to 237 computations (41.9% saved)

Details

analyze235.0ms (0.9%)

sample45.0ms (0.2%)

simplify71.0ms (0.3%)

prune3.0ms (0%)

localize16.0ms (0.1%)

rewrite324.0ms (1.3%)

series855.0ms (3.4%)

simplify210.0ms (0.8%)

prune193.0ms (0.8%)

localize13.0ms (0.1%)

rewrite439.0ms (1.8%)

series1.6s (6.4%)

simplify370.0ms (1.5%)

prune403.0ms (1.6%)

localize17.0ms (0.1%)

rewrite1.6s (6.3%)

series1.0s (4.2%)

simplify1.1s (4.4%)

prune622.0ms (2.5%)

localize24.0ms (0.1%)

rewrite2.4s (9.7%)

series3.2s (12.9%)

simplify1.6s (6.3%)

prune740.0ms (3%)

regimes6.1s (24.6%)

bsearch46.0ms (0.2%)

simplify10.0ms (0%)

end1.0ms (0%)

sample1.6s (6.6%)

Profiling