Details

analyze563.0ms (4.9%)

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)

sample168.0ms (1.5%)

Algorithm

1×

intervals

Results

86.0ms	161×	body	1024	valid
30.0ms	55×	body	1024	invalid
14.0ms	53×	body	512	valid
7.0ms	9×	body	2048	valid
6.0ms	29×	body	512	invalid
3.0ms	20×	body	256	valid
3.0ms	22×	body	256	invalid
2.0ms	25×	body	128	invalid
1.0ms	13×	body	128	valid

Compiler

Compiled 31 to 25 computations (19.4% saved)

simplify82.0ms (0.7%)

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

prune4.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

56.6b

Counts

3 → 2

Alt Table

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

Compiler

Compiled 79 to 56 computations (29.1% saved)

localize10.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.6b	(-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im))

series21.0ms (0.2%)

Counts

2 → 36

Calls

2 calls:

18.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))
3.0ms	(-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im))

rewrite66.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

234×	`prod-diff_binary64`
138×	`*-un-lft-identity_binary64`
138×	`add-sqr-sqrt_binary64`
134×	`add-cube-cbrt_binary64`
130×	`exp-sum_binary64`

Counts

2 → 210

Calls

2 calls:

17.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))
11.0ms	(-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im))

simplify198.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

849×	`fma-neg_binary64`
353×	`associate-l_binary64`
348×	`cancel-sign-sub-inv_binary64`
337×	`associate-r_binary64`
312×	`distribute-rgt-in_binary64`

Counts

246 → 262

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	385	6318
1	601	5551
2	2210	4517
3	4561	4512
4	5041	4512

prune165.0ms (1.4%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	258	4	262
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	260	4	264

Error

0.1b

Counts

264 → 4

Alt Table

Status	Error	Program
▶	1.6b	(.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)))))))
	56.6b	(cbrt.f64 (pow.f64 (.f64 1/2 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re))) 3))
	1.7b	(neg.f64 (fma.f64 im (cos.f64 re) (.f64 (cos.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (*.f64 1/120 (pow.f64 im 5))))))
	56.6b	(+.f64 (.f64 (/.f64 1/2 (exp.f64 im)) (cos.f64 re)) (.f64 -1/2 (*.f64 (cos.f64 re) (exp.f64 im))))

Compiler

Compiled 10289 to 3894 computations (62.2% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(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)))))
✓	0.0b	(fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7)))
✓	0.1b	(*.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)))))))

series87.0ms (0.8%)

Counts

4 → 48

Calls

4 calls:

73.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)))))))
5.0ms	(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)))))
4.0ms	(fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7)))
4.0ms	(*.f64 1/2520 (pow.f64 im 7))

rewrite15.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`associate-r_binary64`
15×	`add-sqr-sqrt_binary64`
14×	`add-exp-log_binary64`
11×	`add-cbrt-cube_binary64`
10×	`*-un-lft-identity_binary64`

Counts

4 → 77

Calls

4 calls:

5.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)))))))
4.0ms	(*.f64 1/2520 (pow.f64 im 7))
0.0ms	(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)))))
0.0ms	(fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7)))

simplify88.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

810×	`distribute-rgt-in_binary64`
274×	`associate-r_binary64`
263×	`associate-l_binary64`
245×	`cancel-sign-sub-inv_binary64`
190×	`fma-def_binary64`

Counts

125 → 135

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	255	3370
1	674	3038
2	2505	2944
3	5682	2944

prune191.0ms (1.7%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	128	7	135
Fresh	1	2	3
Picked	1	0	1
Done	0	0	0
Total	130	9	139

Error

0.0b

Counts

139 → 9

Alt Table

Status	Error	Program
	2.9b	(.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)))))
	56.6b	(cbrt.f64 (pow.f64 (.f64 1/2 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re))) 3))
	34.2b	(.f64 (.f64 (.f64 -1/2 (cos.f64 re)) (sqrt.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 (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.7b	(neg.f64 (fma.f64 im (cos.f64 re) (.f64 (cos.f64 re) (fma.f64 (pow.f64 im 5) 1/120 (.f64 (pow.f64 im 3) 1/6)))))
	40.2b	(cbrt.f64 (.f64 (.f64 (.f64 (.f64 1/2 (cos.f64 re)) (.f64 1/2 (cos.f64 re))) (.f64 1/2 (cos.f64 re))) (.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)))))) (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))))))) (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.7b	(expm1.f64 (log1p.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)))))
	56.6b	(+.f64 (.f64 (/.f64 1/2 (exp.f64 im)) (cos.f64 re)) (.f64 -1/2 (*.f64 (cos.f64 re) (exp.f64 im))))
	2.9b	(.f64 (.f64 (.f64 -1/2 (cos.f64 re)) (.f64 (cbrt.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 (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 (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)))))))
	31.8b	(.f64 (.f64 (.f64 1/2 (cos.f64 re)) (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))))))))

Compiler

Compiled 5214 to 3986 computations (23.6% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 (pow.f64 im 5) 1/120 (*.f64 (pow.f64 im 3) 1/6))
✓	0.1b	(.f64 (cos.f64 re) (fma.f64 (pow.f64 im 5) 1/120 (.f64 (pow.f64 im 3) 1/6)))
✓	0.1b	(*.f64 (pow.f64 im 3) 1/6)
✓	0.1b	(fma.f64 im (cos.f64 re) (.f64 (cos.f64 re) (fma.f64 (pow.f64 im 5) 1/120 (.f64 (pow.f64 im 3) 1/6))))

series83.0ms (0.7%)

Counts

4 → 72

Calls

4 calls:

42.0ms	(fma.f64 im (cos.f64 re) (.f64 (cos.f64 re) (fma.f64 (pow.f64 im 5) 1/120 (.f64 (pow.f64 im 3) 1/6))))
33.0ms	(.f64 (cos.f64 re) (fma.f64 (pow.f64 im 5) 1/120 (.f64 (pow.f64 im 3) 1/6)))
5.0ms	(fma.f64 (pow.f64 im 5) 1/120 (*.f64 (pow.f64 im 3) 1/6))
3.0ms	(*.f64 (pow.f64 im 3) 1/6)

rewrite11.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-sqr-sqrt_binary64`
15×	`associate-l_binary64`
11×	`add-exp-log_binary64`
10×	`*-un-lft-identity_binary64`
10×	`add-cube-cbrt_binary64`

Counts

4 → 75

Calls

4 calls:

4.0ms	(*.f64 (pow.f64 im 3) 1/6)
3.0ms	(.f64 (cos.f64 re) (fma.f64 (pow.f64 im 5) 1/120 (.f64 (pow.f64 im 3) 1/6)))
0.0ms	(fma.f64 im (cos.f64 re) (.f64 (cos.f64 re) (fma.f64 (pow.f64 im 5) 1/120 (.f64 (pow.f64 im 3) 1/6))))
0.0ms	(fma.f64 (pow.f64 im 5) 1/120 (*.f64 (pow.f64 im 3) 1/6))

simplify103.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

954×	`fma-neg_binary64`
515×	`cancel-sign-sub-inv_binary64`
433×	`associate--l+_binary64`
281×	`distribute-rgt-in_binary64`
263×	`distribute-lft-in_binary64`

Counts

147 → 145

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	178	2967
1	412	2664
2	1817	2612
3	4644	2610
4	5397	2610

prune196.0ms (1.7%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	144	1	145
Fresh	1	7	8
Picked	0	1	1
Done	0	0	0
Total	145	9	154

Error

0.0b

Counts

154 → 9

Alt Table

Status	Error	Program
	34.2b	(.f64 (.f64 (.f64 -1/2 (cos.f64 re)) (sqrt.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 (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.7b	(neg.f64 (fma.f64 im (cos.f64 re) (.f64 (cos.f64 re) (fma.f64 (pow.f64 im 5) 1/120 (.f64 (pow.f64 im 3) 1/6)))))
	40.2b	(cbrt.f64 (.f64 (.f64 (.f64 (.f64 1/2 (cos.f64 re)) (.f64 1/2 (cos.f64 re))) (.f64 1/2 (cos.f64 re))) (.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)))))) (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))))))) (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)))))))))
	56.6b	(cbrt.f64 (pow.f64 (.f64 1/2 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re))) 3))
▶	1.7b	(expm1.f64 (log1p.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)))))
	56.6b	(+.f64 (.f64 (/.f64 1/2 (exp.f64 im)) (cos.f64 re)) (.f64 -1/2 (*.f64 (cos.f64 re) (exp.f64 im))))
	2.9b	(.f64 (.f64 (.f64 -1/2 (cos.f64 re)) (.f64 (cbrt.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 (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 (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)))))))
	3.0b	(neg.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 re) (fma.f64 1/120 (pow.f64 im 5) (fma.f64 1/6 (pow.f64 im 3) im)))) (cbrt.f64 (.f64 (cos.f64 re) (fma.f64 1/120 (pow.f64 im 5) (fma.f64 1/6 (pow.f64 im 3) im))))) (cbrt.f64 (*.f64 (cos.f64 re) (fma.f64 1/120 (pow.f64 im 5) (fma.f64 1/6 (pow.f64 im 3) im))))))
	31.8b	(.f64 (.f64 (.f64 1/2 (cos.f64 re)) (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))))))))

Compiler

Compiled 4598 to 3166 computations (31.1% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(log1p.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))))
✓	0.1b	(expm1.f64 (log1p.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)))))
	0.1b	(*.f64 1/2520 (pow.f64 im 7))
✓	0.1b	(.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))

series2.2s (19.3%)

Counts

3 → 72

Calls

3 calls:

2.1s

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

68.0ms

(expm1.f64 (log1p.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)))))

53.0ms

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

rewrite6.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-sqr-sqrt_binary64`
5×	`*-un-lft-identity_binary64`
5×	`add-cube-cbrt_binary64`
5×	`add-cbrt-cube_binary64`
5×	`add-exp-log_binary64`

Counts

3 → 42

Calls

3 calls:

3.0ms

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

0.0ms

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

0.0ms

(expm1.f64 (log1p.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)))))

simplify150.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

585×	`fma-def_binary64`
341×	`associate-r_binary64`
279×	`fma-neg_binary64`
232×	`associate-l_binary64`
205×	`associate-/l*_binary64`

Counts

114 → 149

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	486	7008
1	1496	6584
2	4972	6580
3	5178	6580

prune351.0ms (3.1%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	176	4	180
Fresh	1	6	7
Picked	1	0	1
Done	0	1	1
Total	178	11	189

Error

0.0b

Counts

189 → 11

Alt Table

Status	Error	Program
	34.2b	(.f64 (.f64 (.f64 -1/2 (cos.f64 re)) (sqrt.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 (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.7b	(neg.f64 (fma.f64 im (cos.f64 re) (.f64 (cos.f64 re) (fma.f64 (pow.f64 im 5) 1/120 (.f64 (pow.f64 im 3) 1/6)))))
	3.0b	(neg.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 re) (fma.f64 1/120 (pow.f64 im 5) (fma.f64 1/6 (pow.f64 im 3) im)))) (cbrt.f64 (.f64 (cos.f64 re) (fma.f64 1/120 (pow.f64 im 5) (fma.f64 1/6 (pow.f64 im 3) im))))) (cbrt.f64 (*.f64 (cos.f64 re) (fma.f64 1/120 (pow.f64 im 5) (fma.f64 1/6 (pow.f64 im 3) im))))))
	33.9b	(expm1.f64 (log1p.f64 (.f64 -1/2 (.f64 (sqrt.f64 (.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))) (sqrt.f64 (.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)))))))
	31.8b	(.f64 (.f64 (.f64 1/2 (cos.f64 re)) (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))))))))
	3.1b	(expm1.f64 (log1p.f64 (.f64 -1/2 (.f64 (.f64 (cbrt.f64 (.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 (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 (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)))))))
	56.6b	(cbrt.f64 (pow.f64 (.f64 1/2 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re))) 3))
	17.3b	(expm1.f64 (log1p.f64 (.f64 -1/2 (.f64 (.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 (cos.f64 re))) (sqrt.f64 (cos.f64 re))))))
	56.6b	(+.f64 (.f64 (/.f64 1/2 (exp.f64 im)) (cos.f64 re)) (.f64 -1/2 (*.f64 (cos.f64 re) (exp.f64 im))))
	2.9b	(.f64 (.f64 (.f64 -1/2 (cos.f64 re)) (.f64 (cbrt.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 (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 (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)))))))
	40.3b	(expm1.f64 (log1p.f64 (.f64 -1/2 (cbrt.f64 (.f64 (.f64 (.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))))) (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)))))) (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 (cos.f64 re) (cos.f64 re)) (cos.f64 re)))))))

Compiler

Compiled 10188 to 7791 computations (23.5% saved)

regimes1.3s (11%)

Accuracy

Total 0.6b remaining (94.6%)

Threshold costs 0.6b (94.6%)

Counts

150 → 1

Compiler

Compiled 27191 to 21144 computations (22.2% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	22	35
1	31	35
2	38	33
3	51	33
4	56	33
5	59	33
6	60	33
7	59	33

end1.0ms (0%)

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

sample5.4s (46.9%)

Algorithm

1×

intervals

Results

2.5s	4901×	body	1024	valid
742.0ms	1977×	body	1024	invalid
452.0ms	1701×	body	512	valid
290.0ms	395×	body	2048	valid
206.0ms	952×	body	512	invalid
167.0ms	498×	body	256	invalid
117.0ms	655×	body	256	valid
62.0ms	726×	body	128	invalid
28.0ms	348×	body	128	valid
1.0ms	1×	body	2048	invalid

Compiler

Compiled 534 to 413 computations (22.7% saved)

Details

analyze563.0ms (4.9%)

sample168.0ms (1.5%)

simplify82.0ms (0.7%)

prune4.0ms (0%)

localize10.0ms (0.1%)

series21.0ms (0.2%)

rewrite66.0ms (0.6%)

simplify198.0ms (1.7%)

prune165.0ms (1.4%)

localize16.0ms (0.1%)

series87.0ms (0.8%)

rewrite15.0ms (0.1%)

simplify88.0ms (0.8%)

prune191.0ms (1.7%)

localize14.0ms (0.1%)

series83.0ms (0.7%)

rewrite11.0ms (0.1%)

simplify103.0ms (0.9%)

prune196.0ms (1.7%)

localize19.0ms (0.2%)

series2.2s (19.3%)

rewrite6.0ms (0.1%)

simplify150.0ms (1.3%)

prune351.0ms (3.1%)

regimes1.3s (11%)

simplify4.0ms (0%)

end1.0ms (0%)

sample5.4s (46.9%)

Profiling