Details

analyze1.0s (3.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
50%	50%	0.1%	5
50%	50%	0.1%	6
50%	37.5%	12.6%	7
50%	37.5%	12.6%	8
50%	31.2%	18.8%	9
50%	31.2%	18.8%	10
50%	28.1%	22%	11
50%	28.1%	22%	12
50%	26.5%	23.5%	13
50%	26.5%	23.5%	14

Compiler

Compiled 15 to 12 computations (20% saved)

sample268.0ms (0.9%)

Algorithm

1×

intervals

Results

141.0ms	165×	body	1024	valid
38.0ms	58×	body	1024	invalid
19.0ms	42×	body	512	valid
15.0ms	10×	body	2048	valid
12.0ms	34×	body	512	invalid
7.0ms	25×	body	256	valid
3.0ms	13×	body	256	invalid
2.0ms	19×	body	128	invalid
2.0ms	14×	body	128	valid

Compiler

Compiled 31 to 25 computations (19.4% saved)

simplify102.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

626×	`associate-/l*_binary64`
509×	`div-sub_binary64`
462×	`times-frac_binary64`
386×	`sub-neg_binary64`
367×	`associate-/r*_binary64`

Counts

1 → 2

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	12	18
1	22	18
2	49	18
3	111	18
4	208	17
5	362	17
6	692	17
7	1513	17
8	3726	17
9	4287	17
10	4857	17
11	4749	17

prune5.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

58.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	58.0b	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))

Compiler

Compiled 53 to 38 computations (28.3% saved)

localize16.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))
✓	6.8b	(-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im))

rewrite86.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

50×	`add-cube-cbrt_binary64`
26×	`prod-diff_binary64`
20×	`pow1_binary64`
15×	`exp-sum_binary64`
14×	`add-sqr-sqrt_binary64`

Counts

2 → 95

Calls

2 calls:

36.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))
33.0ms	(-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im))

series72.0ms (0.2%)

Counts

2 → 36

Calls

2 calls:

67.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))
5.0ms	(-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im))

simplify230.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

678×	`fma-neg_binary64`
555×	`cancel-sign-sub-inv_binary64`
278×	`distribute-rgt-neg-in_binary64`
230×	`associate-l_binary64`
225×	`associate-r_binary64`

Counts

131 → 223

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	223	3191
1	617	2389
2	2434	2267
3	4479	2266
4	4891	2266

prune171.0ms (0.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	220	3	223
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	220	4	224

Error

0.1b

Counts

224 → 4

Alt Table

Status	Error	Program
	1.3b	(neg.f64 (fma.f64 im (cos.f64 re) (.f64 1/6 (.f64 (pow.f64 im 3) (cos.f64 re)))))
▶	1.0b	(.f64 (.f64 1/2 (cos.f64 re)) (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7)))))))
✓	58.0b	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))
	58.1b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (-.f64 0 im)) (.f64 (neg.f64 (.f64 (cbrt.f64 (exp.f64 im)) (cbrt.f64 (exp.f64 im)))) (cbrt.f64 (exp.f64 im)))))

Compiler

Compiled 5014 to 2245 computations (55.2% saved)

localize29.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 1/2520 (pow.f64 im 7))
✓	0.1b	(.f64 (.f64 1/2 (cos.f64 re)) (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7)))))))

rewrite60.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`pow1_binary64`
16×	`add-sqr-sqrt_binary64`
12×	`add-exp-log_binary64`
10×	`pow-prod-down_binary64`
10×	`add-cbrt-cube_binary64`

Counts

2 → 85

Calls

2 calls:

26.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7)))))))
24.0ms	(*.f64 1/2520 (pow.f64 im 7))

series219.0ms (0.7%)

Counts

2 → 24

Calls

2 calls:

179.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7)))))))
39.0ms	(*.f64 1/2520 (pow.f64 im 7))

simplify165.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

503×	`cancel-sign-sub-inv_binary64`
380×	`fma-neg_binary64`
313×	`associate-r_binary64`
288×	`associate-l_binary64`
251×	`unswap-sqr_binary64`

Counts

109 → 172

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	228	3029
1	682	2740
2	2949	2717
3	5099	2717

prune345.0ms (1.2%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	164	8	172
Fresh	1	1	2
Picked	1	0	1
Done	0	1	1
Total	166	10	176

Error

0.0b

Counts

176 → 10

Alt Table

Status	Error	Program
	30.0b	(/.f64 (.f64 (pow.f64 (.f64 1/2 (cos.f64 re)) 2) (fma.f64 1/3600 (pow.f64 im 10) (.f64 (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7)))) (neg.f64 (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7)))))))) (.f64 1/2 (.f64 (cos.f64 re) (fma.f64 (pow.f64 im 5) -1/60 (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))))))
	35.6b	(-.f64 (fma.f64 1/10080 (.f64 (pow.f64 im 7) (.f64 re re)) (fma.f64 1/2 (.f64 im (.f64 re re)) (fma.f64 1/12 (.f64 (pow.f64 im 3) (.f64 re re)) (.f64 1/240 (.f64 (pow.f64 im 5) (*.f64 re re)))))) (fma.f64 (pow.f64 im 5) 1/120 (fma.f64 (pow.f64 im 3) 1/6 (fma.f64 (pow.f64 im 7) 1/5040 im))))
	32.4b	(pow.f64 (sqrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7)))))))) 2)
	58.1b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (-.f64 0 im)) (.f64 (neg.f64 (.f64 (cbrt.f64 (exp.f64 im)) (cbrt.f64 (exp.f64 im)))) (cbrt.f64 (exp.f64 im)))))
	43.5b	(.f64 (.f64 (sqrt.f64 (.f64 1/2 (cos.f64 re))) (sqrt.f64 (.f64 1/2 (cos.f64 re)))) (.f64 (sqrt.f64 (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))))) (sqrt.f64 (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7)))))))))
▶	1.0b	(.f64 (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7)))))) (*.f64 1/2 (cos.f64 re)))
	2.4b	(.f64 (.f64 (.f64 1/2 (cos.f64 re)) (.f64 (cbrt.f64 (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))))) (cbrt.f64 (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))))))) (cbrt.f64 (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7))))))))
	30.3b	(.f64 (cbrt.f64 (.f64 (.f64 (.f64 1/2 (cos.f64 re)) (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))))) (.f64 (.f64 1/2 (cos.f64 re)) (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))))))) (cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7)))))))))
	2.3b	(.f64 (.f64 (cbrt.f64 (.f64 -1/2 (.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))) (cos.f64 re)))) (cbrt.f64 (.f64 -1/2 (.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))) (cos.f64 re))))) (cbrt.f64 (.f64 -1/2 (.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7))))) (cos.f64 re)))))
✓	58.0b	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))

Compiler

Compiled 5077 to 3848 computations (24.2% saved)

localize30.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
	0.0b	(*.f64 1/2520 (pow.f64 im 7))
✓	0.1b	(.f64 (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7)))))) (*.f64 1/2 (cos.f64 re)))

rewrite31.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`pow1_binary64`
10×	`pow-prod-down_binary64`
8×	`add-exp-log_binary64`
8×	`add-sqr-sqrt_binary64`
5×	`distribute-lft-neg-out_binary64`

Counts

1 → 42

Calls

1 calls:

25.0ms

(*.f64 (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7)))))) (*.f64 1/2 (cos.f64 re)))

series199.0ms (0.7%)

Counts

1 → 24

Calls

1 calls:

199.0ms

(*.f64 (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7)))))) (*.f64 1/2 (cos.f64 re)))

simplify105.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

665×	`distribute-rgt-in_binary64`
218×	`cancel-sign-sub-inv_binary64`
186×	`associate-r_binary64`
185×	`unswap-sqr_binary64`
172×	`fma-def_binary64`

Counts

66 → 116

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	170	2317
1	503	2093
2	1957	2017
3	5033	2017

prune428.0ms (1.4%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	160	3	163
Fresh	2	6	8
Picked	0	1	1
Done	0	1	1
Total	162	11	173

Error

0.0b

Counts

173 → 11

Alt Table

Status	Error	Program
	32.4b	(pow.f64 (sqrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7)))))))) 2)
	58.1b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (-.f64 0 im)) (.f64 (neg.f64 (.f64 (cbrt.f64 (exp.f64 im)) (cbrt.f64 (exp.f64 im)))) (cbrt.f64 (exp.f64 im)))))
	2.4b	(.f64 (.f64 (cbrt.f64 (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))))) (cbrt.f64 (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7)))))))) (.f64 (cbrt.f64 (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))))) (*.f64 1/2 (cos.f64 re))))
	43.5b	(.f64 (.f64 (sqrt.f64 (.f64 1/2 (cos.f64 re))) (sqrt.f64 (.f64 1/2 (cos.f64 re)))) (.f64 (sqrt.f64 (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))))) (sqrt.f64 (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7)))))))))
	30.0b	(/.f64 (.f64 (pow.f64 (.f64 1/2 (cos.f64 re)) 2) (fma.f64 1/3600 (pow.f64 im 10) (.f64 (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7)))) (neg.f64 (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7)))))))) (.f64 1/2 (.f64 (cos.f64 re) (fma.f64 (pow.f64 im 5) -1/60 (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))))))
▶	2.3b	(pow.f64 (cbrt.f64 (.f64 (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7)))))) (*.f64 1/2 (cos.f64 re)))) 3)
	35.6b	(+.f64 (.f64 (.f64 re re) (+.f64 (.f64 1/10080 (pow.f64 im 7)) (.f64 1/2 im))) (-.f64 (.f64 (.f64 re re) (+.f64 (.f64 1/12 (pow.f64 im 3)) (.f64 1/240 (pow.f64 im 5)))) (fma.f64 1/120 (pow.f64 im 5) (fma.f64 1/6 (pow.f64 im 3) (fma.f64 1/5040 (pow.f64 im 7) im)))))
✓	1.0b	(.f64 (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7)))))) (*.f64 1/2 (cos.f64 re)))
	2.4b	(.f64 (.f64 (.f64 1/2 (cos.f64 re)) (.f64 (cbrt.f64 (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))))) (cbrt.f64 (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))))))) (cbrt.f64 (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7))))))))
	30.3b	(.f64 (cbrt.f64 (.f64 (.f64 (.f64 1/2 (cos.f64 re)) (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))))) (.f64 (.f64 1/2 (cos.f64 re)) (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))))))) (cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7)))))))))
✓	58.0b	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))

Compiler

Compiled 4714 to 3616 computations (23.3% saved)

localize33.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(*.f64 1/2520 (pow.f64 im 7))
	0.1b	(.f64 (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7)))))) (*.f64 1/2 (cos.f64 re)))
✓	0.6b	(cbrt.f64 (.f64 (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7)))))) (*.f64 1/2 (cos.f64 re))))
✓	0.8b	(pow.f64 (cbrt.f64 (.f64 (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7)))))) (*.f64 1/2 (cos.f64 re)))) 3)

rewrite60.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-cube-cbrt_binary64`
8×	`add-sqr-sqrt_binary64`
7×	`pow1/3_binary64`
6×	`log1p-expm1-u_binary64`
6×	`expm1-log1p-u_binary64`

Counts

2 → 76

Calls

2 calls:

29.0ms

(pow.f64 (cbrt.f64 (*.f64 (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7)))))) (*.f64 1/2 (cos.f64 re)))) 3)

22.0ms

(cbrt.f64 (*.f64 (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7)))))) (*.f64 1/2 (cos.f64 re))))

series12.8s (42.6%)

Counts

2 → 48

Calls

2 calls:

9.9s

(pow.f64 (cbrt.f64 (*.f64 (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7)))))) (*.f64 1/2 (cos.f64 re)))) 3)

2.8s

(cbrt.f64 (*.f64 (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7)))))) (*.f64 1/2 (cos.f64 re))))

simplify560.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

632×	`associate-+l+_binary64`
458×	`*-commutative_binary64`
334×	`associate-r_binary64`
238×	`+-commutative_binary64`
236×	`fma-def_binary64`

Counts

124 → 214

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	961	20089
1	3187	14723
2	5488	14723

prune1.8s (6%)

Pruning

12 alts after pruning (9 fresh and 3 done)

	Pruned	Kept	Total
New	423	1	424
Fresh	0	8	8
Picked	0	1	1
Done	0	2	2
Total	423	12	435

Error

0.0b

Counts

435 → 12

Alt Table

Status	Error	Program
	43.5b	(.f64 (.f64 (sqrt.f64 (.f64 1/2 (cos.f64 re))) (sqrt.f64 (.f64 1/2 (cos.f64 re)))) (.f64 (sqrt.f64 (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))))) (sqrt.f64 (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7)))))))))
	32.8b	(pow.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7)))))) (*.f64 1/2 (cos.f64 re)))) 3)) 2)
	32.4b	(pow.f64 (sqrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7)))))))) 2)
	58.1b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (-.f64 0 im)) (.f64 (neg.f64 (.f64 (cbrt.f64 (exp.f64 im)) (cbrt.f64 (exp.f64 im)))) (cbrt.f64 (exp.f64 im)))))
	2.4b	(.f64 (.f64 (cbrt.f64 (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))))) (cbrt.f64 (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7)))))))) (.f64 (cbrt.f64 (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))))) (*.f64 1/2 (cos.f64 re))))
	30.0b	(/.f64 (.f64 (pow.f64 (.f64 1/2 (cos.f64 re)) 2) (fma.f64 1/3600 (pow.f64 im 10) (.f64 (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7)))) (neg.f64 (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7)))))))) (.f64 1/2 (.f64 (cos.f64 re) (fma.f64 (pow.f64 im 5) -1/60 (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))))))
✓	2.3b	(pow.f64 (cbrt.f64 (.f64 (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7)))))) (*.f64 1/2 (cos.f64 re)))) 3)
	35.6b	(+.f64 (.f64 (.f64 re re) (+.f64 (.f64 1/10080 (pow.f64 im 7)) (.f64 1/2 im))) (-.f64 (.f64 (.f64 re re) (+.f64 (.f64 1/12 (pow.f64 im 3)) (.f64 1/240 (pow.f64 im 5)))) (fma.f64 1/120 (pow.f64 im 5) (fma.f64 1/6 (pow.f64 im 3) (fma.f64 1/5040 (pow.f64 im 7) im)))))
✓	1.0b	(.f64 (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7)))))) (*.f64 1/2 (cos.f64 re)))
	2.4b	(.f64 (.f64 (.f64 1/2 (cos.f64 re)) (.f64 (cbrt.f64 (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))))) (cbrt.f64 (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))))))) (cbrt.f64 (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7))))))))
	30.3b	(.f64 (cbrt.f64 (.f64 (.f64 (.f64 1/2 (cos.f64 re)) (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))))) (.f64 (.f64 1/2 (cos.f64 re)) (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))))))) (cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7)))))))))
✓	58.0b	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))

Compiler

Compiled 29913 to 24416 computations (18.4% saved)

regimes1.4s (4.5%)

Accuracy

Total 0.6b remaining (91.5%)

Threshold costs 0.6b (91.5%)

Compiler

Compiled 17055 to 13274 computations (22.2% saved)

simplify8.0ms (0%)

Algorithm

1×	egg-herbie

Rules

7×	`*-commutative_binary64`
4×	`+-commutative_binary64`
4×	`distribute-lft-neg-in_binary64`
4×	`distribute-rgt-neg-in_binary64`
4×	`sub-neg_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	22	35
1	33	33
2	48	33
3	55	33
4	59	33
5	60	33
6	59	33

end2.0ms (0%)

Compiler: Compiled 25 to 20 computations (20% saved)

sample9.8s (32.7%)

Algorithm

1×

intervals

Results

4.5s	4825×	body	1024	valid
1.4s	2027×	body	1024	invalid
906.0ms	1729×	body	512	valid
609.0ms	414×	body	2048	valid
392.0ms	927×	body	512	invalid
209.0ms	653×	body	256	valid
120.0ms	431×	body	256	invalid
112.0ms	742×	body	128	invalid
59.0ms	379×	body	128	valid

Compiler

Compiled 581 to 460 computations (20.8% saved)

Details

analyze1.0s (3.4%)

sample268.0ms (0.9%)

simplify102.0ms (0.3%)

prune5.0ms (0%)

localize16.0ms (0.1%)

rewrite86.0ms (0.3%)

series72.0ms (0.2%)

simplify230.0ms (0.8%)

prune171.0ms (0.6%)

localize29.0ms (0.1%)

rewrite60.0ms (0.2%)

series219.0ms (0.7%)

simplify165.0ms (0.6%)

prune345.0ms (1.2%)

localize30.0ms (0.1%)

rewrite31.0ms (0.1%)

series199.0ms (0.7%)

simplify105.0ms (0.4%)

prune428.0ms (1.4%)

localize33.0ms (0.1%)

rewrite60.0ms (0.2%)

series12.8s (42.6%)

simplify560.0ms (1.9%)

prune1.8s (6%)

regimes1.4s (4.5%)

simplify8.0ms (0%)

end2.0ms (0%)

sample9.8s (32.7%)

Profiling