Details

analyze210.0ms (1.3%)

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)

sample37.0ms (0.2%)

Algorithm

1×

intervals

Results

12.0ms	220×	body	128	valid
6.0ms	256×	pre	128	true
4.0ms	18×	body	1024	valid
2.0ms	11×	body	512	valid
1.0ms	7×	body	256	valid

Compiler

Compiled 77 to 50 computations (35.1% saved)

simplify82.0ms (0.5%)

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

20.9b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	20.9b	(/.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)

localize13.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.2b

(+.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)

18.5b

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

rewrite362.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

8.9b

Rules

54×	`times-frac_binary64`
47×	`*-un-lft-identity_binary64`
25×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
17×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
14×	`associate-/r/_binary64`

Counts

3 → 111

Calls

3 calls:

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

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

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

series1.3s (8%)

Error

0.2b

Counts

3 → 84

Calls

3 calls:

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

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

90.0ms

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

Compiler

Compiled 19082 to 14577 computations (23.6% saved)

simplify331.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

321×	`distribute-rgt-in_binary64`
307×	`distribute-lft-in_binary64`
299×	`+-commutative_binary64`
232×	`associate-+r+_binary64`
194×	`*-commutative_binary64`

Counts

195 → 176

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	890	16362
1	2975	15966
2	4961	15966
3	4979	15966

prune279.0ms (1.7%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	172	4	176
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	173	4	177

Error

0.0b

Counts

177 → 4

Alt Table

Status	Error	Program
	52.8b	(/.f64 (/.f64 (+.f64 (.f64 i 4) (+.f64 2 (.f64 beta 2))) alpha) 2)
▶	9.1b	(/.f64 (+.f64 (/.f64 (.f64 (+.f64 beta alpha) (/.f64 (-.f64 beta alpha) (+.f64 (.f64 2 i) (+.f64 beta alpha)))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2)) 1) 2)
	9.4b	(/.f64 (+.f64 (/.f64 (.f64 (/.f64 (+.f64 beta alpha) (.f64 (cbrt.f64 (+.f64 (.f64 2 i) (+.f64 beta alpha))) (cbrt.f64 (+.f64 (.f64 2 i) (+.f64 beta alpha))))) (/.f64 (-.f64 beta alpha) (cbrt.f64 (+.f64 (.f64 2 i) (+.f64 beta alpha))))) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) 2)) 1) 2)
	55.6b	(/.f64 (-.f64 (+.f64 (.f64 2 (+.f64 (/.f64 (pow.f64 beta 3) (pow.f64 alpha 3)) (/.f64 beta alpha))) (+.f64 (/.f64 2 alpha) (+.f64 (/.f64 8 (pow.f64 alpha 3)) (+.f64 (.f64 20 (/.f64 (.f64 (.f64 beta beta) i) (pow.f64 alpha 3))) (+.f64 (.f64 48 (+.f64 (/.f64 (.f64 i i) (pow.f64 alpha 3)) (/.f64 (.f64 beta (.f64 i i)) (pow.f64 alpha 3)))) (+.f64 (.f64 4 (/.f64 i alpha)) (+.f64 (.f64 32 (/.f64 i (pow.f64 alpha 3))) (+.f64 (.f64 16 (/.f64 beta (pow.f64 alpha 3))) (+.f64 (.f64 32 (/.f64 (pow.f64 i 3) (pow.f64 alpha 3))) (+.f64 (.f64 10 (/.f64 (.f64 beta beta) (pow.f64 alpha 3))) (.f64 48 (/.f64 (.f64 beta i) (pow.f64 alpha 3))))))))))))) (+.f64 (.f64 2 (/.f64 (.f64 beta beta) (.f64 alpha alpha))) (+.f64 (.f64 12 (/.f64 (.f64 beta i) (.f64 alpha alpha))) (+.f64 (.f64 6 (/.f64 beta (.f64 alpha alpha))) (+.f64 (/.f64 4 (.f64 alpha alpha)) (.f64 12 (+.f64 (/.f64 i (.f64 alpha alpha)) (/.f64 (.f64 i i) (*.f64 alpha alpha))))))))) 2)

Compiler

Compiled 10313 to 5997 computations (41.9% saved)

localize19.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.1b	(/.f64 (.f64 (+.f64 beta alpha) (/.f64 (-.f64 beta alpha) (+.f64 (.f64 2 i) (+.f64 beta alpha)))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2))
0.1b	(.f64 (+.f64 beta alpha) (/.f64 (-.f64 beta alpha) (+.f64 (.f64 2 i) (+.f64 beta alpha))))
1.2b	(+.f64 (/.f64 (.f64 (+.f64 beta alpha) (/.f64 (-.f64 beta alpha) (+.f64 (.f64 2 i) (+.f64 beta alpha)))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2)) 1)

rewrite289.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

48×	`*-un-lft-identity_binary64`
45×	`add-sqr-sqrt_binary64`
35×	`times-frac_binary64`
26×	`add-cube-cbrt_binary64`
21×	`associate-r_binary64`

Counts

4 → 129

Calls

4 calls:

26.0ms	(+.f64 (/.f64 (.f64 (+.f64 beta alpha) (/.f64 (-.f64 beta alpha) (+.f64 (.f64 2 i) (+.f64 beta alpha)))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2)) 1)
24.0ms	(/.f64 (.f64 (+.f64 beta alpha) (/.f64 (-.f64 beta alpha) (+.f64 (.f64 2 i) (+.f64 beta alpha)))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2))
18.0ms	(.f64 (+.f64 beta alpha) (/.f64 (-.f64 beta alpha) (+.f64 (.f64 2 i) (+.f64 beta alpha))))
13.0ms	(/.f64 (-.f64 beta alpha) (+.f64 (*.f64 2 i) (+.f64 beta alpha)))

Compiler

Compiled 5149 to 2609 computations (49.3% saved)

series1.4s (8.7%)

Error

0.0b

Counts

4 → 110

Calls

4 calls:

587.0ms	(+.f64 (/.f64 (.f64 (+.f64 beta alpha) (/.f64 (-.f64 beta alpha) (+.f64 (.f64 2 i) (+.f64 beta alpha)))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2)) 1)
430.0ms	(/.f64 (.f64 (+.f64 beta alpha) (/.f64 (-.f64 beta alpha) (+.f64 (.f64 2 i) (+.f64 beta alpha)))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2))
94.0ms	(.f64 (+.f64 beta alpha) (/.f64 (-.f64 beta alpha) (+.f64 (.f64 2 i) (+.f64 beta alpha))))
92.0ms	(/.f64 (-.f64 beta alpha) (+.f64 (*.f64 2 i) (+.f64 beta alpha)))

Compiler

Compiled 21833 to 16515 computations (24.4% saved)

simplify263.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

331×	`+-commutative_binary64`
330×	`distribute-rgt-in_binary64`
320×	`distribute-lft-in_binary64`
249×	`associate-+r+_binary64`
232×	`*-commutative_binary64`

Counts

239 → 203

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	971	16630
1	3187	16176
2	5228	16176

prune332.0ms (2.1%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	201	2	203
Fresh	1	2	3
Picked	1	0	1
Done	0	0	0
Total	203	4	207

Error

0.0b

Counts

207 → 4

Alt Table

Status	Error	Program
	9.1b	(/.f64 (cbrt.f64 (pow.f64 (+.f64 1 (/.f64 (.f64 (+.f64 alpha beta) (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 (.f64 2 i) beta)))) (+.f64 2 (+.f64 alpha (+.f64 (*.f64 2 i) beta))))) 3)) 2)
	52.8b	(/.f64 (/.f64 (+.f64 (.f64 i 4) (+.f64 2 (.f64 beta 2))) alpha) 2)
▶	9.1b	(/.f64 (+.f64 (/.f64 (.f64 (+.f64 beta alpha) (.f64 (-.f64 beta alpha) (/.f64 1 (+.f64 alpha (+.f64 (.f64 2 i) beta))))) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) 2)) 1) 2)
	55.6b	(/.f64 (-.f64 (+.f64 (.f64 2 (+.f64 (/.f64 (pow.f64 beta 3) (pow.f64 alpha 3)) (/.f64 beta alpha))) (+.f64 (/.f64 2 alpha) (+.f64 (/.f64 8 (pow.f64 alpha 3)) (+.f64 (.f64 20 (/.f64 (.f64 (.f64 beta beta) i) (pow.f64 alpha 3))) (+.f64 (.f64 48 (+.f64 (/.f64 (.f64 i i) (pow.f64 alpha 3)) (/.f64 (.f64 beta (.f64 i i)) (pow.f64 alpha 3)))) (+.f64 (.f64 4 (/.f64 i alpha)) (+.f64 (.f64 32 (/.f64 i (pow.f64 alpha 3))) (+.f64 (.f64 16 (/.f64 beta (pow.f64 alpha 3))) (+.f64 (.f64 32 (/.f64 (pow.f64 i 3) (pow.f64 alpha 3))) (+.f64 (.f64 10 (/.f64 (.f64 beta beta) (pow.f64 alpha 3))) (.f64 48 (/.f64 (.f64 beta i) (pow.f64 alpha 3))))))))))))) (+.f64 (.f64 2 (/.f64 (.f64 beta beta) (.f64 alpha alpha))) (+.f64 (.f64 12 (/.f64 (.f64 beta i) (.f64 alpha alpha))) (+.f64 (.f64 6 (/.f64 beta (.f64 alpha alpha))) (+.f64 (/.f64 4 (.f64 alpha alpha)) (.f64 12 (+.f64 (/.f64 i (.f64 alpha alpha)) (/.f64 (.f64 i i) (*.f64 alpha alpha))))))))) 2)

Compiler

Compiled 11148 to 6622 computations (40.6% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 (.f64 (+.f64 beta alpha) (.f64 (-.f64 beta alpha) (/.f64 1 (+.f64 alpha (+.f64 (.f64 2 i) beta))))) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) 2))
0.1b	(.f64 (+.f64 beta alpha) (.f64 (-.f64 beta alpha) (/.f64 1 (+.f64 alpha (+.f64 (*.f64 2 i) beta)))))
0.2b	(.f64 (-.f64 beta alpha) (/.f64 1 (+.f64 alpha (+.f64 (.f64 2 i) beta))))
2.2b	(+.f64 (/.f64 (.f64 (+.f64 beta alpha) (.f64 (-.f64 beta alpha) (/.f64 1 (+.f64 alpha (+.f64 (.f64 2 i) beta))))) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) 2)) 1)

rewrite332.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

50×	`add-exp-log_binary64`
38×	`frac-times_binary64`
33×	`*-un-lft-identity_binary64`
32×	`add-cbrt-cube_binary64`
25×	`add-sqr-sqrt_binary64`

Counts

4 → 153

Calls

4 calls:

30.0ms	(+.f64 (/.f64 (.f64 (+.f64 beta alpha) (.f64 (-.f64 beta alpha) (/.f64 1 (+.f64 alpha (+.f64 (.f64 2 i) beta))))) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) 2)) 1)
28.0ms	(/.f64 (.f64 (+.f64 beta alpha) (.f64 (-.f64 beta alpha) (/.f64 1 (+.f64 alpha (+.f64 (.f64 2 i) beta))))) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) 2))
18.0ms	(.f64 (+.f64 beta alpha) (.f64 (-.f64 beta alpha) (/.f64 1 (+.f64 alpha (+.f64 (*.f64 2 i) beta)))))
16.0ms	(.f64 (-.f64 beta alpha) (/.f64 1 (+.f64 alpha (+.f64 (.f64 2 i) beta))))

Compiler

Compiled 6533 to 3614 computations (44.7% saved)

series1.4s (8.7%)

Error

0.0b

Counts

4 → 110

Calls

4 calls:

587.0ms	(+.f64 (/.f64 (.f64 (+.f64 beta alpha) (.f64 (-.f64 beta alpha) (/.f64 1 (+.f64 alpha (+.f64 (.f64 2 i) beta))))) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) 2)) 1)
434.0ms	(/.f64 (.f64 (+.f64 beta alpha) (.f64 (-.f64 beta alpha) (/.f64 1 (+.f64 alpha (+.f64 (.f64 2 i) beta))))) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) 2))
93.0ms	(.f64 (-.f64 beta alpha) (/.f64 1 (+.f64 alpha (+.f64 (.f64 2 i) beta))))
89.0ms	(.f64 (+.f64 beta alpha) (.f64 (-.f64 beta alpha) (/.f64 1 (+.f64 alpha (+.f64 (*.f64 2 i) beta)))))

Compiler

Compiled 21833 to 16515 computations (24.4% saved)

simplify276.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

540×	`distribute-rgt-in_binary64`
334×	`+-commutative_binary64`
270×	`*-commutative_binary64`
253×	`associate-+r+_binary64`
199×	`sub-neg_binary64`

Counts

263 → 222

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1005	17496
1	3292	16854
2	5238	16854

prune307.0ms (1.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	222	0	222
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	222	4	226

Error

0.0b

Counts

226 → 4

Alt Table

Status	Error	Program
▶	9.1b	(/.f64 (cbrt.f64 (pow.f64 (+.f64 1 (/.f64 (.f64 (+.f64 alpha beta) (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 (.f64 2 i) beta)))) (+.f64 2 (+.f64 alpha (+.f64 (*.f64 2 i) beta))))) 3)) 2)
	52.8b	(/.f64 (/.f64 (+.f64 (.f64 i 4) (+.f64 2 (.f64 beta 2))) alpha) 2)
✓	9.1b	(/.f64 (+.f64 (/.f64 (.f64 (+.f64 beta alpha) (.f64 (-.f64 beta alpha) (/.f64 1 (+.f64 alpha (+.f64 (.f64 2 i) beta))))) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) 2)) 1) 2)
	55.6b	(/.f64 (-.f64 (+.f64 (.f64 2 (+.f64 (/.f64 (pow.f64 beta 3) (pow.f64 alpha 3)) (/.f64 beta alpha))) (+.f64 (/.f64 2 alpha) (+.f64 (/.f64 8 (pow.f64 alpha 3)) (+.f64 (.f64 20 (/.f64 (.f64 (.f64 beta beta) i) (pow.f64 alpha 3))) (+.f64 (.f64 48 (+.f64 (/.f64 (.f64 i i) (pow.f64 alpha 3)) (/.f64 (.f64 beta (.f64 i i)) (pow.f64 alpha 3)))) (+.f64 (.f64 4 (/.f64 i alpha)) (+.f64 (.f64 32 (/.f64 i (pow.f64 alpha 3))) (+.f64 (.f64 16 (/.f64 beta (pow.f64 alpha 3))) (+.f64 (.f64 32 (/.f64 (pow.f64 i 3) (pow.f64 alpha 3))) (+.f64 (.f64 10 (/.f64 (.f64 beta beta) (pow.f64 alpha 3))) (.f64 48 (/.f64 (.f64 beta i) (pow.f64 alpha 3))))))))))))) (+.f64 (.f64 2 (/.f64 (.f64 beta beta) (.f64 alpha alpha))) (+.f64 (.f64 12 (/.f64 (.f64 beta i) (.f64 alpha alpha))) (+.f64 (.f64 6 (/.f64 beta (.f64 alpha alpha))) (+.f64 (/.f64 4 (.f64 alpha alpha)) (.f64 12 (+.f64 (/.f64 i (.f64 alpha alpha)) (/.f64 (.f64 i i) (*.f64 alpha alpha))))))))) 2)

Compiler

Compiled 11410 to 6776 computations (40.6% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite228.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

51×	`*-un-lft-identity_binary64`
34×	`add-sqr-sqrt_binary64`
26×	`associate-r_binary64`
21×	`add-cube-cbrt_binary64` `times-frac_binary64`
14×	`cbrt-prod_binary64`

Counts

4 → 114

Calls

4 calls:

20.0ms	(.f64 (+.f64 alpha beta) (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 (.f64 2 i) beta))))
14.0ms	(+.f64 1 (/.f64 (.f64 (+.f64 alpha beta) (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 (.f64 2 i) beta)))) (+.f64 2 (+.f64 alpha (+.f64 (*.f64 2 i) beta)))))
14.0ms	(cbrt.f64 (pow.f64 (+.f64 1 (/.f64 (.f64 (+.f64 alpha beta) (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 (.f64 2 i) beta)))) (+.f64 2 (+.f64 alpha (+.f64 (*.f64 2 i) beta))))) 3))
13.0ms	(pow.f64 (+.f64 1 (/.f64 (.f64 (+.f64 alpha beta) (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 (.f64 2 i) beta)))) (+.f64 2 (+.f64 alpha (+.f64 (*.f64 2 i) beta))))) 3)

Compiler

Compiled 4853 to 2957 computations (39.1% saved)

series3.7s (23.1%)

Error

0.0b

Counts

4 → 116

Calls

4 calls:

1.9s	(pow.f64 (+.f64 1 (/.f64 (.f64 (+.f64 alpha beta) (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 (.f64 2 i) beta)))) (+.f64 2 (+.f64 alpha (+.f64 (*.f64 2 i) beta))))) 3)
586.0ms	(+.f64 1 (/.f64 (.f64 (+.f64 alpha beta) (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 (.f64 2 i) beta)))) (+.f64 2 (+.f64 alpha (+.f64 (*.f64 2 i) beta)))))
579.0ms	(cbrt.f64 (pow.f64 (+.f64 1 (/.f64 (.f64 (+.f64 alpha beta) (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 (.f64 2 i) beta)))) (+.f64 2 (+.f64 alpha (+.f64 (*.f64 2 i) beta))))) 3))
96.0ms	(.f64 (+.f64 alpha beta) (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 (.f64 2 i) beta))))

Compiler

Compiled 37513 to 28590 computations (23.8% saved)

simplify303.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

482×	`+-commutative_binary64`
458×	`*-commutative_binary64`
410×	`associate-+r+_binary64`
336×	`associate-*r/_binary64`
163×	`associate-/l*_binary64`

Counts

230 → 202

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1466	27637
1	5055	27637

prune383.0ms (2.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	202	0	202
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	202	4	206

Error

0.0b

Counts

206 → 4

Alt Table

Status	Error	Program
	9.1b	(/.f64 (cbrt.f64 (pow.f64 (+.f64 1 (/.f64 (.f64 (+.f64 alpha beta) (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 (.f64 2 i) beta)))) (+.f64 2 (+.f64 alpha (+.f64 (*.f64 2 i) beta))))) 3)) 2)
	52.8b	(/.f64 (/.f64 (+.f64 (.f64 i 4) (+.f64 2 (.f64 beta 2))) alpha) 2)
	9.1b	(/.f64 (+.f64 (/.f64 (.f64 (+.f64 beta alpha) (.f64 (-.f64 beta alpha) (/.f64 1 (+.f64 alpha (+.f64 (.f64 2 i) beta))))) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) 2)) 1) 2)
	55.6b	(/.f64 (-.f64 (+.f64 (.f64 2 (+.f64 (/.f64 (pow.f64 beta 3) (pow.f64 alpha 3)) (/.f64 beta alpha))) (+.f64 (/.f64 2 alpha) (+.f64 (/.f64 8 (pow.f64 alpha 3)) (+.f64 (.f64 20 (/.f64 (.f64 (.f64 beta beta) i) (pow.f64 alpha 3))) (+.f64 (.f64 48 (+.f64 (/.f64 (.f64 i i) (pow.f64 alpha 3)) (/.f64 (.f64 beta (.f64 i i)) (pow.f64 alpha 3)))) (+.f64 (.f64 4 (/.f64 i alpha)) (+.f64 (.f64 32 (/.f64 i (pow.f64 alpha 3))) (+.f64 (.f64 16 (/.f64 beta (pow.f64 alpha 3))) (+.f64 (.f64 32 (/.f64 (pow.f64 i 3) (pow.f64 alpha 3))) (+.f64 (.f64 10 (/.f64 (.f64 beta beta) (pow.f64 alpha 3))) (.f64 48 (/.f64 (.f64 beta i) (pow.f64 alpha 3))))))))))))) (+.f64 (.f64 2 (/.f64 (.f64 beta beta) (.f64 alpha alpha))) (+.f64 (.f64 12 (/.f64 (.f64 beta i) (.f64 alpha alpha))) (+.f64 (.f64 6 (/.f64 beta (.f64 alpha alpha))) (+.f64 (/.f64 4 (.f64 alpha alpha)) (.f64 12 (+.f64 (/.f64 i (.f64 alpha alpha)) (/.f64 (.f64 i i) (*.f64 alpha alpha))))))))) 2)

Compiler

Compiled 15827 to 10186 computations (35.6% saved)

regimes2.7s (17%)

Accuracy

Total 1.3b remaining (91.7%)

Threshold costs 0b (0%)

Compiler

Compiled 54976 to 37030 computations (32.6% saved)

bsearch14.0ms (0.1%)

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

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

11×	`+-commutative_binary64`
7×	`*-commutative_binary64`
4×	`sub-neg_binary64`
2×	`neg-mul-1_binary64` `neg-sub0_binary64`
1×	`1-exp_binary64` `distribute-neg-frac_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	34	116
1	49	116
2	57	116
3	61	116
4	63	116
5	62	116

end2.0ms (0%)

Compiler: Compiled 81 to 49 computations (39.5% saved)

sample1.4s (8.9%)

Algorithm

1×

intervals

Results

380.0ms	6450×	body	128	valid
193.0ms	8000×	pre	128	true
155.0ms	684×	body	1024	valid
86.0ms	519×	body	512	valid
33.0ms	302×	body	256	valid
16.0ms	45×	body	2048	valid

Compiler

Compiled 373 to 242 computations (35.1% saved)

Details

analyze210.0ms (1.3%)

sample37.0ms (0.2%)

simplify82.0ms (0.5%)

prune3.0ms (0%)

localize13.0ms (0.1%)

rewrite362.0ms (2.3%)

series1.3s (8%)

simplify331.0ms (2.1%)

prune279.0ms (1.7%)

localize19.0ms (0.1%)

rewrite289.0ms (1.8%)

series1.4s (8.7%)

simplify263.0ms (1.6%)

prune332.0ms (2.1%)

localize17.0ms (0.1%)

rewrite332.0ms (2.1%)

series1.4s (8.7%)

simplify276.0ms (1.7%)

prune307.0ms (1.9%)

localize17.0ms (0.1%)

rewrite228.0ms (1.4%)

series3.7s (23.1%)

simplify303.0ms (1.9%)

prune383.0ms (2.4%)

regimes2.7s (17%)

bsearch14.0ms (0.1%)

simplify6.0ms (0%)

end2.0ms (0%)

sample1.4s (8.9%)

Profiling