Details

analyze265.0ms (3.8%)

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

Compiler

Compiled 14 to 11 computations (21.4% saved)

sample4.7s (67.2%)

Results

1.5s	2003×	body	1024	valid
997.0ms	1967×	body	1024	invalid
903.0ms	5255×	body	256	valid
489.0ms	1475×	body	256	invalid
402.0ms	994×	body	512	valid
300.0ms	1019×	body	512	invalid
6.0ms	4×	body	2048	valid
2.0ms	1×	body	2048	invalid

preprocess117.0ms (1.7%)

Algorithm

2×	egg-herbie

Rules

748×	`times-frac_binary64`
628×	`fma-def_binary64`
384×	`sqr-pow_binary64`
320×	`unswap-sqr_binary64`
302×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	36
1	49	36
2	131	36
3	255	34
4	372	34
5	669	34
6	1531	34
7	2660	34
8	3812	34
9	4558	34
10	5152	34
11	6060	34
12	7567	34
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(.f64 (.f64 1/2 (cos.f64 im)) (+.f64 (exp.f64 (neg.f64 re)) (exp.f64 re)))

Outputs
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(.f64 (cos.f64 re) (.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(.f64 (.f64 1/2 (cos.f64 im)) (+.f64 (exp.f64 (neg.f64 re)) (exp.f64 re)))
(.f64 1/2 (.f64 (cos.f64 im) (+.f64 (exp.f64 (neg.f64 re)) (exp.f64 re))))
(*.f64 (cos.f64 im) (fma.f64 1/2 (exp.f64 re) (/.f64 1/2 (exp.f64 re))))

Compiler

Compiled 15 to 12 computations (20% saved)

simplify85.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

573×	`fma-def_binary64`
530×	`associate-/l*_binary64`
430×	`unswap-sqr_binary64`
374×	`times-frac_binary64`
340×	`associate-/r/_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	11	18
1	28	18
2	70	18
3	132	17
4	192	17
5	346	17
6	780	17
7	1351	17
8	3967	17
9	4490	17
10	5461	17
11	6024	17
12	7058	17

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

Outputs

(*.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

(*.f64 1/2 (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))

(*.f64 (cos.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))

eval1.0ms (0%)

Compiler: Compiled 24 to 15 computations (37.5% saved)

prune1.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

0.0b

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

Compiler

Compiled 13 to 10 computations (23.1% saved)

localize16.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

Compiler

Compiled 35 to 13 computations (62.9% saved)

series6.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	im	@	inf	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
1.0ms	re	@	0	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
1.0ms	re	@	-inf	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
1.0ms	re	@	inf	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
1.0ms	im	@	0	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

rewrite43.0ms (0.6%)

Algorithm

1×	egg-rewrite-iter-limit
1×	batch-egg-rewrite

Rules

121×	`add-sqr-sqrt_binary64`
116×	`*-un-lft-identity_binary64`
116×	`pow1_binary64`
114×	`add-log-exp_binary64`
112×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	18
1	233	18
2	3780	18
0	11	18

Stop Event

1×	iter limit
1×	unsound

Counts

1 → 8

Calls

Call 1

Inputs
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (exp.f64 (neg.f64 im)) (.f64 1/2 (cos.f64 re))) (.f64 (exp.f64 im) (.f64 1/2 (cos.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 1/2 (cos.f64 re)) (exp.f64 (neg.f64 im))) (.f64 (.f64 1/2 (cos.f64 re)) (exp.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (.f64 (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))) (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (exp.f64 (neg.f64 im)) (*.f64 1/2 (cos.f64 re))) (*.f64 (exp.f64 im) (*.f64 1/2 (cos.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 1/2 (cos.f64 re)) (exp.f64 (neg.f64 im))) (*.f64 (*.f64 1/2 (cos.f64 re)) (exp.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1/2 (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (*.f64 1/2 (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (*.f64 (*.f64 1/2 (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (*.f64 1/2 (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))) (*.f64 1/2 (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 1/2 (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 1/2 (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 1/2 (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))))))

simplify81.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

587×	`associate-+l+_binary64`
587×	`distribute-rgt-out_binary64`
480×	`distribute-lft-out_binary64`
401×	`associate-+r+_binary64`
365×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	54	542
1	168	485
2	545	451
3	2097	446
4	4751	444
5	6885	444

Stop Event

1×	node limit

Counts

32 → 26

Calls

Call 1

Inputs
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(+.f64 (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (.f64 -1/4 (*.f64 (pow.f64 re 2) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))
(+.f64 (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (+.f64 (.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (.f64 1/48 (*.f64 (pow.f64 re 4) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))))
(+.f64 (.f64 -1/1440 (.f64 (pow.f64 re 6) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (+.f64 (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (+.f64 (.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (.f64 1/48 (*.f64 (pow.f64 re 4) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(cos.f64 re)
(+.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))) (cos.f64 re))
(+.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))) (+.f64 (cos.f64 re) (.f64 1/24 (.f64 (cos.f64 re) (pow.f64 im 4)))))
(+.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))) (+.f64 (cos.f64 re) (+.f64 (.f64 1/24 (.f64 (cos.f64 re) (pow.f64 im 4))) (.f64 1/720 (.f64 (cos.f64 re) (pow.f64 im 6))))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))

Outputs
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))
(+.f64 (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (.f64 -1/4 (*.f64 (pow.f64 re 2) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))
(fma.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 -1/4 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (*.f64 re re))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 1/2 (.f64 (*.f64 -1/4 re) re)))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (fma.f64 -1/4 (.f64 re re) 1/2))
(+.f64 (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (+.f64 (.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (.f64 1/48 (*.f64 (pow.f64 re 4) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))))
(fma.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (fma.f64 -1/4 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 re re)) (.f64 (.f64 1/48 (pow.f64 re 4)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))
(fma.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 (.f64 (.f64 -1/4 re) re) (.f64 1/48 (pow.f64 re 4)))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 1/2 (fma.f64 -1/4 (.f64 re re) (*.f64 1/48 (pow.f64 re 4)))))
(+.f64 (.f64 -1/1440 (.f64 (pow.f64 re 6) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (+.f64 (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (+.f64 (.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (.f64 1/48 (*.f64 (pow.f64 re 4) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))))
(fma.f64 -1/1440 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 6)) (fma.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (fma.f64 -1/4 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 re re)) (.f64 (*.f64 1/48 (pow.f64 re 4)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))))
(+.f64 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 (.f64 (.f64 -1/4 re) re) (.f64 1/48 (pow.f64 re 4)))) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 (.f64 -1/1440 (pow.f64 re 6)) 1/2)))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 (fma.f64 -1/4 (.f64 re re) (*.f64 1/48 (pow.f64 re 4))) (fma.f64 -1/1440 (pow.f64 re 6) 1/2)))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (cos.f64 re)))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (cos.f64 re))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (cos.f64 re)))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (cos.f64 re))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (cos.f64 re)))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (cos.f64 re))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (cos.f64 re)))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (cos.f64 re))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (cos.f64 re)))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (cos.f64 re))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (cos.f64 re)))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (cos.f64 re))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (cos.f64 re)))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (cos.f64 re))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (cos.f64 re)))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (cos.f64 re))
(cos.f64 re)
(+.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))) (cos.f64 re))
(fma.f64 1/2 (.f64 (cos.f64 re) (.f64 im im)) (cos.f64 re))
(.f64 (+.f64 (.f64 1/2 (*.f64 im im)) 1) (cos.f64 re))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (*.f64 im im))))
(+.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))) (+.f64 (cos.f64 re) (.f64 1/24 (.f64 (cos.f64 re) (pow.f64 im 4)))))
(fma.f64 1/2 (.f64 (cos.f64 re) (.f64 im im)) (+.f64 (cos.f64 re) (.f64 1/24 (.f64 (cos.f64 re) (pow.f64 im 4)))))
(fma.f64 1/2 (.f64 (cos.f64 re) (.f64 im im)) (fma.f64 1/24 (*.f64 (cos.f64 re) (pow.f64 im 4)) (cos.f64 re)))
(+.f64 (cos.f64 re) (.f64 (cos.f64 re) (+.f64 (.f64 1/24 (pow.f64 im 4)) (.f64 1/2 (.f64 im im)))))
(.f64 (cos.f64 re) (+.f64 (.f64 1/2 (.f64 im im)) (+.f64 1 (.f64 1/24 (pow.f64 im 4)))))
(+.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))) (+.f64 (cos.f64 re) (+.f64 (.f64 1/24 (.f64 (cos.f64 re) (pow.f64 im 4))) (.f64 1/720 (.f64 (cos.f64 re) (pow.f64 im 6))))))
(+.f64 (fma.f64 1/2 (.f64 (cos.f64 re) (.f64 im im)) (cos.f64 re)) (fma.f64 1/24 (.f64 (cos.f64 re) (pow.f64 im 4)) (.f64 1/720 (*.f64 (cos.f64 re) (pow.f64 im 6)))))
(+.f64 (fma.f64 1/2 (.f64 (cos.f64 re) (.f64 im im)) (cos.f64 re)) (fma.f64 1/24 (.f64 (cos.f64 re) (pow.f64 im 4)) (.f64 (cos.f64 re) (*.f64 (pow.f64 im 6) 1/720))))
(+.f64 (.f64 (+.f64 (.f64 1/2 (.f64 im im)) 1) (cos.f64 re)) (.f64 (cos.f64 re) (+.f64 (.f64 1/24 (pow.f64 im 4)) (.f64 1/720 (pow.f64 im 6)))))
(+.f64 (cos.f64 re) (.f64 (cos.f64 re) (+.f64 (+.f64 (.f64 1/720 (pow.f64 im 6)) (.f64 1/2 (.f64 im im))) (*.f64 1/24 (pow.f64 im 4)))))
(.f64 (cos.f64 re) (+.f64 (+.f64 1 (.f64 1/2 (.f64 im im))) (+.f64 (.f64 1/720 (pow.f64 im 6)) (*.f64 1/24 (pow.f64 im 4)))))
(.f64 (cos.f64 re) (+.f64 (.f64 1/24 (pow.f64 im 4)) (+.f64 (.f64 1/2 (.f64 im im)) (+.f64 1 (*.f64 1/720 (pow.f64 im 6))))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (cos.f64 re)))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (cos.f64 re))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (cos.f64 re)))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (cos.f64 re))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (cos.f64 re)))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (cos.f64 re))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (cos.f64 re)))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (cos.f64 re))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (cos.f64 re)))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (cos.f64 re))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (cos.f64 re)))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (cos.f64 re))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (cos.f64 re)))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (cos.f64 re))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (cos.f64 re)))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (cos.f64 re))

eval7.0ms (0.1%)

Compiler: Compiled 453 to 209 computations (53.9% saved)

prune16.0ms (0.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	21	5	26
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	21	6	27

Error

Counts

27 → 6

Alt Table

Click to see full alt table

Status	Error	Program
▶	0b	(+.f64 (.f64 (.f64 1/2 (cos.f64 re)) (exp.f64 (neg.f64 im))) (.f64 (.f64 1/2 (cos.f64 re)) (exp.f64 im)))
▶	25.9b	(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
▶	0.6b	(.f64 (cos.f64 re) (+.f64 (.f64 1/2 (.f64 im im)) (+.f64 1 (.f64 1/24 (pow.f64 im 4)))))
▶	0.8b	(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (*.f64 im im))))
▶	1.2b	(cos.f64 re)
✓	0.0b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

Compiler

Compiled 137 to 104 computations (24.1% saved)

localize21.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 49 to 22 computations (55.1% saved)

series18.0ms (0.3%)

Counts

2 → 48

Calls

12 calls:

Time	Variable		Point	Expression
10.0ms	im	@	inf	(.f64 (.f64 1/2 (cos.f64 re)) (exp.f64 (neg.f64 im)))
2.0ms	im	@	-inf	(.f64 (.f64 1/2 (cos.f64 re)) (exp.f64 im))
1.0ms	im	@	inf	(.f64 (.f64 1/2 (cos.f64 re)) (exp.f64 im))
1.0ms	re	@	0	(.f64 (.f64 1/2 (cos.f64 re)) (exp.f64 im))
1.0ms	re	@	inf	(.f64 (.f64 1/2 (cos.f64 re)) (exp.f64 im))

rewrite61.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

772×	`pow1_binary64`
710×	`add-log-exp_binary64`
708×	`log1p-expm1-u_binary64`
708×	`expm1-log1p-u_binary64`
694×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	22
1	218	22
2	2696	22

Stop Event

1×	node limit

Counts

2 → 28

Calls

Call 1

Inputs
(.f64 (.f64 1/2 (cos.f64 re)) (exp.f64 im))
(.f64 (.f64 1/2 (cos.f64 re)) (exp.f64 (neg.f64 im)))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (.f64 (cos.f64 re) (.f64 1/2 (exp.f64 im)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 1/2 (cos.f64 re)) (exp.f64 im))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (cos.f64 re) (.f64 1/2 (exp.f64 im))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (cos.f64 re) (.f64 1/2 (exp.f64 im))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 (cos.f64 re) (.f64 1/2 (exp.f64 im)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 (cos.f64 re) (.f64 1/2 (exp.f64 im)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 (cos.f64 re) (.f64 1/2 (exp.f64 im))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (pow.f64 (exp.f64 (cos.f64 re)) 1/2) (exp.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 (cos.f64 re) (.f64 1/2 (exp.f64 im))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (.f64 1/2 (cos.f64 re)) 3) (pow.f64 (exp.f64 im) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (exp.f64 im) 3) (pow.f64 (.f64 1/2 (cos.f64 re)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (cos.f64 re) (.f64 1/2 (exp.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (cos.f64 re) (.f64 1/2 (exp.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (+.f64 im (log.f64 (.f64 1/2 (cos.f64 re)))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (.f64 (cos.f64 re) (.f64 1/2 (exp.f64 im)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 1/2 (cos.f64 re)) (exp.f64 im))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (cos.f64 re) (.f64 1/2 (exp.f64 im))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (cos.f64 re) (.f64 1/2 (exp.f64 im))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 (cos.f64 re) (.f64 1/2 (exp.f64 im)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 (cos.f64 re) (.f64 1/2 (exp.f64 im)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 (cos.f64 re) (.f64 1/2 (exp.f64 im))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (pow.f64 (exp.f64 (cos.f64 re)) 1/2) (exp.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 (cos.f64 re) (.f64 1/2 (exp.f64 im))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (.f64 1/2 (cos.f64 re)) 3) (pow.f64 (exp.f64 im) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (exp.f64 im) 3) (pow.f64 (.f64 1/2 (cos.f64 re)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (cos.f64 re) (.f64 1/2 (exp.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (cos.f64 re) (.f64 1/2 (exp.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (+.f64 im (log.f64 (.f64 1/2 (cos.f64 re)))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 (cos.f64 re) (*.f64 1/2 (exp.f64 im)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 1/2 (cos.f64 re)) (exp.f64 im))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (cos.f64 re) (*.f64 1/2 (exp.f64 im))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (cos.f64 re) (*.f64 1/2 (exp.f64 im))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (cos.f64 re) (*.f64 1/2 (exp.f64 im)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (cos.f64 re) (*.f64 1/2 (exp.f64 im)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 (cos.f64 re) (*.f64 1/2 (exp.f64 im))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (pow.f64 (exp.f64 (cos.f64 re)) 1/2) (exp.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (cos.f64 re) (*.f64 1/2 (exp.f64 im))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (*.f64 1/2 (cos.f64 re)) 3) (pow.f64 (exp.f64 im) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (exp.f64 im) 3) (pow.f64 (*.f64 1/2 (cos.f64 re)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (cos.f64 re) (*.f64 1/2 (exp.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (cos.f64 re) (*.f64 1/2 (exp.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (+.f64 im (log.f64 (*.f64 1/2 (cos.f64 re)))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 (cos.f64 re) (*.f64 1/2 (exp.f64 im)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 1/2 (cos.f64 re)) (exp.f64 im))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (cos.f64 re) (*.f64 1/2 (exp.f64 im))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (cos.f64 re) (*.f64 1/2 (exp.f64 im))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (cos.f64 re) (*.f64 1/2 (exp.f64 im)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (cos.f64 re) (*.f64 1/2 (exp.f64 im)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 (cos.f64 re) (*.f64 1/2 (exp.f64 im))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (pow.f64 (exp.f64 (cos.f64 re)) 1/2) (exp.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (cos.f64 re) (*.f64 1/2 (exp.f64 im))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (*.f64 1/2 (cos.f64 re)) 3) (pow.f64 (exp.f64 im) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (exp.f64 im) 3) (pow.f64 (*.f64 1/2 (cos.f64 re)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (cos.f64 re) (*.f64 1/2 (exp.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (cos.f64 re) (*.f64 1/2 (exp.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (+.f64 im (log.f64 (*.f64 1/2 (cos.f64 re)))))))))

simplify85.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

734×	`unswap-sqr_binary64`
716×	`distribute-lft-out_binary64`
603×	`associate-*r/_binary64`
488×	`fma-def_binary64`
406×	`*-commutative_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	76	767
1	214	709
2	588	662
3	2008	626
4	3643	622
5	6897	622

Stop Event

1×	node limit

Counts

76 → 47

Calls

Call 1

Inputs
(*.f64 1/2 (exp.f64 im))
(+.f64 (.f64 1/2 (exp.f64 im)) (.f64 -1/4 (*.f64 (exp.f64 im) (pow.f64 re 2))))
(+.f64 (.f64 1/48 (.f64 (exp.f64 im) (pow.f64 re 4))) (+.f64 (.f64 1/2 (exp.f64 im)) (.f64 -1/4 (*.f64 (exp.f64 im) (pow.f64 re 2)))))
(+.f64 (.f64 1/48 (.f64 (exp.f64 im) (pow.f64 re 4))) (+.f64 (.f64 1/2 (exp.f64 im)) (+.f64 (.f64 -1/4 (.f64 (exp.f64 im) (pow.f64 re 2))) (.f64 -1/1440 (*.f64 (exp.f64 im) (pow.f64 re 6))))))
(.f64 1/2 (.f64 (cos.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (cos.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (cos.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (cos.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (cos.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (cos.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (cos.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (cos.f64 re) (exp.f64 im)))
(*.f64 1/2 (cos.f64 re))
(+.f64 (.f64 1/2 (.f64 (cos.f64 re) im)) (*.f64 1/2 (cos.f64 re)))
(+.f64 (.f64 1/4 (.f64 (cos.f64 re) (pow.f64 im 2))) (+.f64 (.f64 1/2 (.f64 (cos.f64 re) im)) (*.f64 1/2 (cos.f64 re))))
(+.f64 (.f64 1/4 (.f64 (cos.f64 re) (pow.f64 im 2))) (+.f64 (.f64 1/12 (.f64 (cos.f64 re) (pow.f64 im 3))) (+.f64 (.f64 1/2 (.f64 (cos.f64 re) im)) (*.f64 1/2 (cos.f64 re)))))
(.f64 1/2 (.f64 (exp.f64 im) (cos.f64 re)))
(.f64 1/2 (.f64 (exp.f64 im) (cos.f64 re)))
(.f64 1/2 (.f64 (exp.f64 im) (cos.f64 re)))
(.f64 1/2 (.f64 (exp.f64 im) (cos.f64 re)))
(.f64 1/2 (.f64 (exp.f64 im) (cos.f64 re)))
(.f64 1/2 (.f64 (exp.f64 im) (cos.f64 re)))
(.f64 1/2 (.f64 (exp.f64 im) (cos.f64 re)))
(.f64 1/2 (.f64 (exp.f64 im) (cos.f64 re)))
(*.f64 1/2 (exp.f64 (neg.f64 im)))
(+.f64 (.f64 1/2 (exp.f64 (neg.f64 im))) (.f64 -1/4 (*.f64 (pow.f64 re 2) (exp.f64 (neg.f64 im)))))
(+.f64 (.f64 1/2 (exp.f64 (neg.f64 im))) (+.f64 (.f64 1/48 (.f64 (pow.f64 re 4) (exp.f64 (neg.f64 im)))) (.f64 -1/4 (*.f64 (pow.f64 re 2) (exp.f64 (neg.f64 im))))))
(+.f64 (.f64 1/2 (exp.f64 (neg.f64 im))) (+.f64 (.f64 1/48 (.f64 (pow.f64 re 4) (exp.f64 (neg.f64 im)))) (+.f64 (.f64 -1/4 (.f64 (pow.f64 re 2) (exp.f64 (neg.f64 im)))) (.f64 -1/1440 (*.f64 (pow.f64 re 6) (exp.f64 (neg.f64 im)))))))
(.f64 1/2 (.f64 (cos.f64 re) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (exp.f64 (neg.f64 im))))
(*.f64 1/2 (cos.f64 re))
(+.f64 (.f64 1/2 (cos.f64 re)) (.f64 -1/2 (*.f64 (cos.f64 re) im)))
(+.f64 (.f64 1/4 (.f64 (cos.f64 re) (pow.f64 im 2))) (+.f64 (.f64 1/2 (cos.f64 re)) (.f64 -1/2 (*.f64 (cos.f64 re) im))))
(+.f64 (.f64 -1/12 (.f64 (cos.f64 re) (pow.f64 im 3))) (+.f64 (.f64 1/4 (.f64 (cos.f64 re) (pow.f64 im 2))) (+.f64 (.f64 1/2 (cos.f64 re)) (.f64 -1/2 (*.f64 (cos.f64 re) im)))))
(.f64 1/2 (.f64 (cos.f64 re) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (exp.f64 (*.f64 -1 im)) (cos.f64 re)))
(.f64 1/2 (.f64 (exp.f64 (*.f64 -1 im)) (cos.f64 re)))
(.f64 1/2 (.f64 (exp.f64 (*.f64 -1 im)) (cos.f64 re)))
(.f64 1/2 (.f64 (exp.f64 (*.f64 -1 im)) (cos.f64 re)))

Outputs
(*.f64 1/2 (exp.f64 im))
(+.f64 (.f64 1/2 (exp.f64 im)) (.f64 -1/4 (*.f64 (exp.f64 im) (pow.f64 re 2))))
(fma.f64 1/2 (exp.f64 im) (.f64 -1/4 (.f64 (exp.f64 im) (*.f64 re re))))
(fma.f64 -1/4 (.f64 (exp.f64 im) (.f64 re re)) (*.f64 1/2 (exp.f64 im)))
(.f64 (exp.f64 im) (fma.f64 -1/4 (.f64 re re) 1/2))
(+.f64 (.f64 1/48 (.f64 (exp.f64 im) (pow.f64 re 4))) (+.f64 (.f64 1/2 (exp.f64 im)) (.f64 -1/4 (*.f64 (exp.f64 im) (pow.f64 re 2)))))
(fma.f64 1/48 (.f64 (exp.f64 im) (pow.f64 re 4)) (fma.f64 1/2 (exp.f64 im) (.f64 -1/4 (.f64 (exp.f64 im) (.f64 re re)))))
(fma.f64 1/48 (.f64 (exp.f64 im) (pow.f64 re 4)) (fma.f64 -1/4 (.f64 (exp.f64 im) (.f64 re re)) (.f64 1/2 (exp.f64 im))))
(fma.f64 1/2 (exp.f64 im) (.f64 (exp.f64 im) (fma.f64 -1/4 (.f64 re re) (*.f64 1/48 (pow.f64 re 4)))))
(.f64 (exp.f64 im) (+.f64 1/2 (fma.f64 -1/4 (.f64 re re) (*.f64 1/48 (pow.f64 re 4)))))
(+.f64 (.f64 1/48 (.f64 (exp.f64 im) (pow.f64 re 4))) (+.f64 (.f64 1/2 (exp.f64 im)) (+.f64 (.f64 -1/4 (.f64 (exp.f64 im) (pow.f64 re 2))) (.f64 -1/1440 (*.f64 (exp.f64 im) (pow.f64 re 6))))))
(fma.f64 1/48 (.f64 (exp.f64 im) (pow.f64 re 4)) (fma.f64 1/2 (exp.f64 im) (fma.f64 -1/4 (.f64 (exp.f64 im) (.f64 re re)) (.f64 -1/1440 (*.f64 (exp.f64 im) (pow.f64 re 6))))))
(fma.f64 1/48 (.f64 (exp.f64 im) (pow.f64 re 4)) (fma.f64 1/2 (exp.f64 im) (fma.f64 -1/4 (.f64 (exp.f64 im) (.f64 re re)) (.f64 (exp.f64 im) (*.f64 -1/1440 (pow.f64 re 6))))))
(+.f64 (.f64 (exp.f64 im) (fma.f64 -1/4 (.f64 re re) (.f64 1/48 (pow.f64 re 4)))) (.f64 (exp.f64 im) (+.f64 1/2 (*.f64 -1/1440 (pow.f64 re 6)))))
(.f64 (exp.f64 im) (+.f64 (fma.f64 -1/4 (.f64 re re) (.f64 1/48 (pow.f64 re 4))) (+.f64 1/2 (.f64 -1/1440 (pow.f64 re 6)))))
(.f64 1/2 (.f64 (cos.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (exp.f64 im) (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (exp.f64 im) (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (exp.f64 im) (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (exp.f64 im) (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (exp.f64 im) (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (exp.f64 im) (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (exp.f64 im) (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (exp.f64 im) (cos.f64 re)))
(*.f64 1/2 (cos.f64 re))
(+.f64 (.f64 1/2 (.f64 (cos.f64 re) im)) (*.f64 1/2 (cos.f64 re)))
(.f64 1/2 (+.f64 (.f64 im (cos.f64 re)) (cos.f64 re)))
(.f64 1/2 (.f64 (+.f64 im 1) (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 im 1)))
(*.f64 1/2 (fma.f64 im (cos.f64 re) (cos.f64 re)))
(+.f64 (.f64 1/4 (.f64 (cos.f64 re) (pow.f64 im 2))) (+.f64 (.f64 1/2 (.f64 (cos.f64 re) im)) (*.f64 1/2 (cos.f64 re))))
(fma.f64 1/4 (.f64 (cos.f64 re) (.f64 im im)) (.f64 1/2 (+.f64 (.f64 im (cos.f64 re)) (cos.f64 re))))
(fma.f64 1/2 (.f64 (+.f64 im 1) (cos.f64 re)) (.f64 (cos.f64 re) (.f64 (.f64 im im) 1/4)))
(fma.f64 1/2 (cos.f64 re) (.f64 (cos.f64 re) (+.f64 (.f64 1/2 im) (.f64 im (.f64 im 1/4)))))
(.f64 (cos.f64 re) (+.f64 1/2 (.f64 im (+.f64 1/2 (*.f64 im 1/4)))))
(+.f64 (.f64 1/4 (.f64 (cos.f64 re) (pow.f64 im 2))) (+.f64 (.f64 1/12 (.f64 (cos.f64 re) (pow.f64 im 3))) (+.f64 (.f64 1/2 (.f64 (cos.f64 re) im)) (*.f64 1/2 (cos.f64 re)))))
(fma.f64 1/4 (.f64 (cos.f64 re) (.f64 im im)) (fma.f64 1/12 (.f64 (cos.f64 re) (pow.f64 im 3)) (.f64 1/2 (+.f64 (*.f64 im (cos.f64 re)) (cos.f64 re)))))
(fma.f64 1/4 (.f64 (cos.f64 re) (.f64 im im)) (fma.f64 1/2 (.f64 (+.f64 im 1) (cos.f64 re)) (.f64 (pow.f64 im 3) (*.f64 (cos.f64 re) 1/12))))
(fma.f64 1/2 (.f64 (cos.f64 re) (+.f64 im 1)) (.f64 (cos.f64 re) (+.f64 (.f64 im (.f64 im 1/4)) (*.f64 1/12 (pow.f64 im 3)))))
(.f64 (cos.f64 re) (+.f64 (+.f64 1/2 (.f64 1/2 im)) (.f64 (.f64 im im) (+.f64 (*.f64 im 1/12) 1/4))))
(.f64 (cos.f64 re) (+.f64 1/2 (+.f64 (.f64 1/2 im) (.f64 (.f64 im im) (+.f64 1/4 (*.f64 im 1/12))))))
(.f64 1/2 (.f64 (exp.f64 im) (cos.f64 re)))
(.f64 1/2 (.f64 (exp.f64 im) (cos.f64 re)))
(.f64 1/2 (.f64 (exp.f64 im) (cos.f64 re)))
(.f64 1/2 (.f64 (exp.f64 im) (cos.f64 re)))
(.f64 1/2 (.f64 (exp.f64 im) (cos.f64 re)))
(.f64 1/2 (.f64 (exp.f64 im) (cos.f64 re)))
(.f64 1/2 (.f64 (exp.f64 im) (cos.f64 re)))
(.f64 1/2 (.f64 (exp.f64 im) (cos.f64 re)))
(*.f64 1/2 (exp.f64 (neg.f64 im)))
(/.f64 1/2 (exp.f64 im))
(+.f64 (.f64 1/2 (exp.f64 (neg.f64 im))) (.f64 -1/4 (*.f64 (pow.f64 re 2) (exp.f64 (neg.f64 im)))))
(fma.f64 1/2 (exp.f64 (neg.f64 im)) (.f64 -1/4 (.f64 (*.f64 re re) (exp.f64 (neg.f64 im)))))
(.f64 (exp.f64 (neg.f64 im)) (+.f64 1/2 (.f64 -1/4 (*.f64 re re))))
(.f64 (exp.f64 (neg.f64 im)) (fma.f64 -1/4 (.f64 re re) 1/2))
(/.f64 (fma.f64 -1/4 (*.f64 re re) 1/2) (exp.f64 im))
(+.f64 (.f64 1/2 (exp.f64 (neg.f64 im))) (+.f64 (.f64 1/48 (.f64 (pow.f64 re 4) (exp.f64 (neg.f64 im)))) (.f64 -1/4 (*.f64 (pow.f64 re 2) (exp.f64 (neg.f64 im))))))
(fma.f64 1/2 (exp.f64 (neg.f64 im)) (fma.f64 1/48 (.f64 (pow.f64 re 4) (exp.f64 (neg.f64 im))) (.f64 -1/4 (.f64 (.f64 re re) (exp.f64 (neg.f64 im))))))
(+.f64 (/.f64 1/2 (exp.f64 im)) (.f64 (exp.f64 (neg.f64 im)) (+.f64 (.f64 -1/4 (.f64 re re)) (.f64 1/48 (pow.f64 re 4)))))
(.f64 (exp.f64 (neg.f64 im)) (+.f64 1/2 (fma.f64 -1/4 (.f64 re re) (*.f64 1/48 (pow.f64 re 4)))))
(/.f64 (+.f64 1/2 (fma.f64 -1/4 (.f64 re re) (.f64 1/48 (pow.f64 re 4)))) (exp.f64 im))
(+.f64 (.f64 1/2 (exp.f64 (neg.f64 im))) (+.f64 (.f64 1/48 (.f64 (pow.f64 re 4) (exp.f64 (neg.f64 im)))) (+.f64 (.f64 -1/4 (.f64 (pow.f64 re 2) (exp.f64 (neg.f64 im)))) (.f64 -1/1440 (*.f64 (pow.f64 re 6) (exp.f64 (neg.f64 im)))))))
(fma.f64 1/2 (exp.f64 (neg.f64 im)) (fma.f64 1/48 (.f64 (pow.f64 re 4) (exp.f64 (neg.f64 im))) (fma.f64 -1/4 (.f64 (.f64 re re) (exp.f64 (neg.f64 im))) (.f64 -1/1440 (*.f64 (pow.f64 re 6) (exp.f64 (neg.f64 im)))))))
(+.f64 (.f64 (exp.f64 (neg.f64 im)) (+.f64 (.f64 -1/4 (.f64 re re)) (.f64 -1/1440 (pow.f64 re 6)))) (.f64 (exp.f64 (neg.f64 im)) (+.f64 1/2 (.f64 1/48 (pow.f64 re 4)))))
(.f64 (exp.f64 (neg.f64 im)) (+.f64 (fma.f64 -1/4 (.f64 re re) (.f64 -1/1440 (pow.f64 re 6))) (+.f64 1/2 (.f64 1/48 (pow.f64 re 4)))))
(.f64 (exp.f64 (neg.f64 im)) (+.f64 1/2 (+.f64 (.f64 -1/1440 (pow.f64 re 6)) (fma.f64 -1/4 (.f64 re re) (.f64 1/48 (pow.f64 re 4))))))
(/.f64 (+.f64 (fma.f64 -1/4 (.f64 re re) (.f64 1/48 (pow.f64 re 4))) (+.f64 1/2 (*.f64 -1/1440 (pow.f64 re 6)))) (exp.f64 im))
(.f64 1/2 (.f64 (cos.f64 re) (exp.f64 (neg.f64 im))))
(.f64 (.f64 1/2 (exp.f64 (neg.f64 im))) (cos.f64 re))
(*.f64 (cos.f64 re) (/.f64 1/2 (exp.f64 im)))
(*.f64 1/2 (/.f64 (cos.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (cos.f64 re) (exp.f64 (neg.f64 im))))
(.f64 (.f64 1/2 (exp.f64 (neg.f64 im))) (cos.f64 re))
(*.f64 (cos.f64 re) (/.f64 1/2 (exp.f64 im)))
(*.f64 1/2 (/.f64 (cos.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (cos.f64 re) (exp.f64 (neg.f64 im))))
(.f64 (.f64 1/2 (exp.f64 (neg.f64 im))) (cos.f64 re))
(*.f64 (cos.f64 re) (/.f64 1/2 (exp.f64 im)))
(*.f64 1/2 (/.f64 (cos.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (cos.f64 re) (exp.f64 (neg.f64 im))))
(.f64 (.f64 1/2 (exp.f64 (neg.f64 im))) (cos.f64 re))
(*.f64 (cos.f64 re) (/.f64 1/2 (exp.f64 im)))
(*.f64 1/2 (/.f64 (cos.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (cos.f64 re) (exp.f64 (neg.f64 im))))
(.f64 (.f64 1/2 (exp.f64 (neg.f64 im))) (cos.f64 re))
(*.f64 (cos.f64 re) (/.f64 1/2 (exp.f64 im)))
(*.f64 1/2 (/.f64 (cos.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (cos.f64 re) (exp.f64 (neg.f64 im))))
(.f64 (.f64 1/2 (exp.f64 (neg.f64 im))) (cos.f64 re))
(*.f64 (cos.f64 re) (/.f64 1/2 (exp.f64 im)))
(*.f64 1/2 (/.f64 (cos.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (cos.f64 re) (exp.f64 (neg.f64 im))))
(.f64 (.f64 1/2 (exp.f64 (neg.f64 im))) (cos.f64 re))
(*.f64 (cos.f64 re) (/.f64 1/2 (exp.f64 im)))
(*.f64 1/2 (/.f64 (cos.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (cos.f64 re) (exp.f64 (neg.f64 im))))
(.f64 (.f64 1/2 (exp.f64 (neg.f64 im))) (cos.f64 re))
(*.f64 (cos.f64 re) (/.f64 1/2 (exp.f64 im)))
(*.f64 1/2 (/.f64 (cos.f64 re) (exp.f64 im)))
(*.f64 1/2 (cos.f64 re))
(+.f64 (.f64 1/2 (cos.f64 re)) (.f64 -1/2 (*.f64 (cos.f64 re) im)))
(fma.f64 1/2 (cos.f64 re) (.f64 (.f64 im (cos.f64 re)) -1/2))
(fma.f64 1/2 (cos.f64 re) (.f64 im (.f64 (cos.f64 re) -1/2)))
(.f64 (cos.f64 re) (+.f64 1/2 (.f64 im -1/2)))
(+.f64 (.f64 1/4 (.f64 (cos.f64 re) (pow.f64 im 2))) (+.f64 (.f64 1/2 (cos.f64 re)) (.f64 -1/2 (*.f64 (cos.f64 re) im))))
(fma.f64 1/4 (.f64 (cos.f64 re) (.f64 im im)) (fma.f64 1/2 (cos.f64 re) (.f64 (.f64 im (cos.f64 re)) -1/2)))
(fma.f64 1/4 (.f64 (cos.f64 re) (.f64 im im)) (fma.f64 1/2 (cos.f64 re) (.f64 im (.f64 (cos.f64 re) -1/2))))
(fma.f64 im (.f64 (cos.f64 re) -1/2) (.f64 (cos.f64 re) (+.f64 1/2 (.f64 im (.f64 im 1/4)))))
(.f64 (cos.f64 re) (+.f64 (.f64 im (+.f64 (*.f64 im 1/4) -1/2)) 1/2))
(.f64 (cos.f64 re) (+.f64 1/2 (.f64 im (+.f64 -1/2 (*.f64 im 1/4)))))
(+.f64 (.f64 -1/12 (.f64 (cos.f64 re) (pow.f64 im 3))) (+.f64 (.f64 1/4 (.f64 (cos.f64 re) (pow.f64 im 2))) (+.f64 (.f64 1/2 (cos.f64 re)) (.f64 -1/2 (*.f64 (cos.f64 re) im)))))
(fma.f64 -1/12 (.f64 (cos.f64 re) (pow.f64 im 3)) (fma.f64 1/4 (.f64 (cos.f64 re) (.f64 im im)) (fma.f64 1/2 (cos.f64 re) (.f64 (*.f64 im (cos.f64 re)) -1/2))))
(fma.f64 (.f64 (cos.f64 re) (pow.f64 im 3)) -1/12 (fma.f64 1/4 (.f64 (cos.f64 re) (.f64 im im)) (fma.f64 1/2 (cos.f64 re) (.f64 im (*.f64 (cos.f64 re) -1/2)))))
(+.f64 (.f64 (cos.f64 re) (+.f64 1/2 (.f64 im -1/2))) (.f64 (cos.f64 re) (+.f64 (.f64 im (.f64 im 1/4)) (.f64 (pow.f64 im 3) -1/12))))
(.f64 (cos.f64 re) (+.f64 (+.f64 1/2 (.f64 im -1/2)) (.f64 (.f64 im im) (+.f64 (*.f64 im -1/12) 1/4))))
(.f64 (cos.f64 re) (+.f64 (.f64 im -1/2) (+.f64 1/2 (.f64 (.f64 im im) (+.f64 1/4 (*.f64 im -1/12))))))
(.f64 1/2 (.f64 (cos.f64 re) (exp.f64 (neg.f64 im))))
(.f64 (.f64 1/2 (exp.f64 (neg.f64 im))) (cos.f64 re))
(*.f64 (cos.f64 re) (/.f64 1/2 (exp.f64 im)))
(*.f64 1/2 (/.f64 (cos.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (cos.f64 re) (exp.f64 (neg.f64 im))))
(.f64 (.f64 1/2 (exp.f64 (neg.f64 im))) (cos.f64 re))
(*.f64 (cos.f64 re) (/.f64 1/2 (exp.f64 im)))
(*.f64 1/2 (/.f64 (cos.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (cos.f64 re) (exp.f64 (neg.f64 im))))
(.f64 (.f64 1/2 (exp.f64 (neg.f64 im))) (cos.f64 re))
(*.f64 (cos.f64 re) (/.f64 1/2 (exp.f64 im)))
(*.f64 1/2 (/.f64 (cos.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (cos.f64 re) (exp.f64 (neg.f64 im))))
(.f64 (.f64 1/2 (exp.f64 (neg.f64 im))) (cos.f64 re))
(*.f64 (cos.f64 re) (/.f64 1/2 (exp.f64 im)))
(*.f64 1/2 (/.f64 (cos.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (exp.f64 (*.f64 -1 im)) (cos.f64 re)))
(.f64 (.f64 1/2 (exp.f64 (neg.f64 im))) (cos.f64 re))
(*.f64 (cos.f64 re) (/.f64 1/2 (exp.f64 im)))
(*.f64 1/2 (/.f64 (cos.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (exp.f64 (*.f64 -1 im)) (cos.f64 re)))
(.f64 (.f64 1/2 (exp.f64 (neg.f64 im))) (cos.f64 re))
(*.f64 (cos.f64 re) (/.f64 1/2 (exp.f64 im)))
(*.f64 1/2 (/.f64 (cos.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (exp.f64 (*.f64 -1 im)) (cos.f64 re)))
(.f64 (.f64 1/2 (exp.f64 (neg.f64 im))) (cos.f64 re))
(*.f64 (cos.f64 re) (/.f64 1/2 (exp.f64 im)))
(*.f64 1/2 (/.f64 (cos.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (exp.f64 (*.f64 -1 im)) (cos.f64 re)))
(.f64 (.f64 1/2 (exp.f64 (neg.f64 im))) (cos.f64 re))
(*.f64 (cos.f64 re) (/.f64 1/2 (exp.f64 im)))
(*.f64 1/2 (/.f64 (cos.f64 re) (exp.f64 im)))

localize4.0ms (0.1%)

Compiler: Compiled 5 to 3 computations (40% saved)

localize21.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 1/2 (.f64 im im))
✓	0.0b	(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (*.f64 im im))))

Compiler

Compiled 33 to 17 computations (48.5% saved)

series11.0ms (0.2%)

Counts

2 → 36

Calls

9 calls:

Time	Variable		Point	Expression
2.0ms	im	@	inf	(.f64 1/2 (.f64 im im))
2.0ms	re	@	inf	(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (*.f64 im im))))
1.0ms	im	@	inf	(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (*.f64 im im))))
1.0ms	re	@	0	(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (*.f64 im im))))
1.0ms	im	@	0	(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (*.f64 im im))))

rewrite122.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

540×	`prod-diff_binary64`
468×	`log-prod_binary64`
359×	`fma-def_binary64`
357×	`exp-prod_binary64`
311×	`pow-prod-down_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	22
1	208	20
2	2632	20

Stop Event

1×	node limit

Counts

2 → 101

Calls

Call 1

Inputs
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (*.f64 im im))))
(.f64 1/2 (.f64 im im))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (cos.f64 re) (*.f64 (cos.f64 re) (*.f64 1/2 (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (cos.f64 re) (*.f64 (*.f64 (cos.f64 re) (*.f64 1/2 (*.f64 im im))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (cos.f64 re) (fma.f64 1/2 (*.f64 im im) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (cos.f64 re) (*.f64 1/2 (*.f64 im im))) (cos.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (cos.f64 re)) (fma.f64 1/2 (*.f64 im im) 1))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (cos.f64 re)) (fma.f64 1/2 (*.f64 im im) 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (cos.f64 re)) (fma.f64 1/2 (*.f64 im im) 1)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (cos.f64 re)) (fma.f64 1/2 (*.f64 im im) 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (cos.f64 re) (fma.f64 1/2 (*.f64 im im) 1)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (cos.f64 re) 3) (*.f64 (pow.f64 (cos.f64 re) 3) (*.f64 1/8 (pow.f64 im 6)))) (+.f64 (pow.f64 (cos.f64 re) 2) (-.f64 (pow.f64 (*.f64 (cos.f64 re) (*.f64 1/2 (*.f64 im im))) 2) (*.f64 (cos.f64 re) (*.f64 (cos.f64 re) (*.f64 1/2 (*.f64 im im)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (cos.f64 re) 2) (pow.f64 (*.f64 (cos.f64 re) (*.f64 1/2 (*.f64 im im))) 2)) (-.f64 (cos.f64 re) (*.f64 (cos.f64 re) (*.f64 1/2 (*.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (fma.f64 1/8 (pow.f64 im 6) 1) (cos.f64 re)) (+.f64 1 (fma.f64 1/4 (pow.f64 im 4) (*.f64 -1/2 (*.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 1 (*.f64 1/4 (pow.f64 im 4))) (cos.f64 re)) (+.f64 1 (*.f64 -1/2 (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cos.f64 re) (fma.f64 1/8 (pow.f64 im 6) 1)) (+.f64 1 (fma.f64 1/4 (pow.f64 im 4) (*.f64 -1/2 (*.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cos.f64 re) (-.f64 1 (*.f64 1/4 (pow.f64 im 4)))) (+.f64 1 (*.f64 -1/2 (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (cos.f64 re) (fma.f64 1/2 (*.f64 im im) 1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (E.f64) (log.f64 (*.f64 (cos.f64 re) (fma.f64 1/2 (*.f64 im im) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (cos.f64 re) (fma.f64 1/2 (*.f64 im im) 1)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (cos.f64 re) (fma.f64 1/2 (*.f64 im im) 1)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (cos.f64 re) (fma.f64 1/2 (*.f64 im im) 1))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (cos.f64 re) (fma.f64 1/2 (*.f64 im im) 1))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 (cos.f64 re) (fma.f64 1/2 (*.f64 im im) 1)))) 2)) (cbrt.f64 (log.f64 (*.f64 (cos.f64 re) (fma.f64 1/2 (*.f64 im im) 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 (cos.f64 re) (fma.f64 1/2 (*.f64 im im) 1))))) (sqrt.f64 (log.f64 (*.f64 (cos.f64 re) (fma.f64 1/2 (*.f64 im im) 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 (cos.f64 re) (fma.f64 1/2 (*.f64 im im) 1)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (cos.f64 re)) (fma.f64 1/2 (*.f64 im im) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (cos.f64 re) (fma.f64 1/2 (*.f64 im im) 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (cos.f64 re))) (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 im)) im) (cos.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 im)) im) (cos.f64 re)) (+.f64 1 (expm1.f64 (cos.f64 re)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (cos.f64 re) (fma.f64 1/2 (*.f64 im im) 1)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (cos.f64 re) (fma.f64 1/2 (*.f64 im im) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (cos.f64 re) (fma.f64 1/2 (*.f64 im im) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (cos.f64 re) (fma.f64 1/2 (*.f64 im im) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (cos.f64 re) (fma.f64 1/2 (*.f64 im im) 1))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 (cos.f64 re) (fma.f64 1/2 (*.f64 im im) 1)))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 (cos.f64 re) (fma.f64 1/2 (*.f64 im im) 1)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 (cos.f64 re) (fma.f64 1/2 (*.f64 im im) 1)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 (cos.f64 re) (fma.f64 1/2 (*.f64 im im) 1))) 1) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cos.f64 re) 1 (*.f64 (cos.f64 re) (*.f64 1/2 (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cos.f64 re) 1 (*.f64 (*.f64 (cos.f64 re) (*.f64 1/2 (*.f64 im im))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cos.f64 re) (*.f64 1/2 (*.f64 im im)) (cos.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (cos.f64 re) (*.f64 (cos.f64 re) (*.f64 1/2 (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (cos.f64 re) (*.f64 (*.f64 (cos.f64 re) (*.f64 1/2 (*.f64 im im))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 (cos.f64 re) (*.f64 1/2 (*.f64 im im))) (cos.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1/2 (*.f64 (*.f64 im im) (cos.f64 re)) (cos.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 im im) (*.f64 1/2 (cos.f64 re)) (cos.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 1/2 (*.f64 im im)) (cos.f64 re) (cos.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 1/4 (pow.f64 im 4))) (*.f64 (cbrt.f64 (*.f64 1/2 (*.f64 im im))) (cos.f64 re)) (cos.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (cos.f64 re)) (pow.f64 (cbrt.f64 (cos.f64 re)) 2) (*.f64 (cos.f64 re) (*.f64 1/2 (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (cos.f64 re)) (pow.f64 (cbrt.f64 (cos.f64 re)) 2) (*.f64 (*.f64 (cos.f64 re) (*.f64 1/2 (*.f64 im im))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 2) (cbrt.f64 (cos.f64 re)) (*.f64 (cos.f64 re) (*.f64 1/2 (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 2) (cbrt.f64 (cos.f64 re)) (*.f64 (*.f64 (cos.f64 re) (*.f64 1/2 (*.f64 im im))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 2) (*.f64 (cbrt.f64 (cos.f64 re)) (*.f64 1/2 (*.f64 im im))) (cos.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 2) (*.f64 (cbrt.f64 (cos.f64 re)) 1) (*.f64 (cos.f64 re) (*.f64 1/2 (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 2) (*.f64 (cbrt.f64 (cos.f64 re)) 1) (*.f64 (*.f64 (cos.f64 re) (*.f64 1/2 (*.f64 im im))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 im (sqrt.f64 1/2)) (*.f64 (*.f64 im (sqrt.f64 1/2)) (cos.f64 re)) (cos.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (cos.f64 re)) (sqrt.f64 (cos.f64 re)) (*.f64 (cos.f64 re) (*.f64 1/2 (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (cos.f64 re)) (sqrt.f64 (cos.f64 re)) (*.f64 (*.f64 (cos.f64 re) (*.f64 1/2 (*.f64 im im))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (cos.f64 re)) (*.f64 (sqrt.f64 (cos.f64 re)) (*.f64 1/2 (*.f64 im im))) (cos.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (cos.f64 re)) (*.f64 (sqrt.f64 (cos.f64 re)) 1) (*.f64 (cos.f64 re) (*.f64 1/2 (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (cos.f64 re)) (*.f64 (sqrt.f64 (cos.f64 re)) 1) (*.f64 (*.f64 (cos.f64 re) (*.f64 1/2 (*.f64 im im))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 1/2 im) (*.f64 im (cos.f64 re)) (cos.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (*.f64 (cos.f64 re) (*.f64 1/2 (*.f64 im im)))) 2) (cbrt.f64 (*.f64 (cos.f64 re) (*.f64 1/2 (*.f64 im im)))) (cos.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (*.f64 im (sqrt.f64 1/2)) (sqrt.f64 (cos.f64 re))) (*.f64 (*.f64 im (sqrt.f64 1/2)) (sqrt.f64 (cos.f64 re))) (cos.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cos.f64 re) 1/2) (*.f64 im im) (cos.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cos.f64 re) (*.f64 im im)) 1/2 (cos.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cos.f64 re) (cbrt.f64 (*.f64 1/4 (pow.f64 im 4)))) (cbrt.f64 (*.f64 1/2 (*.f64 im im))) (cos.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cos.f64 re) (*.f64 im (sqrt.f64 1/2))) (*.f64 im (sqrt.f64 1/2)) (cos.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cos.f64 re) (*.f64 1/2 im)) im (cos.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (*.f64 (*.f64 im (sqrt.f64 1/2)) (cbrt.f64 (cos.f64 re))) 2) (cbrt.f64 (cos.f64 re)) (cos.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (*.f64 1/2 (*.f64 im im)) (sqrt.f64 (cos.f64 re))) (sqrt.f64 (cos.f64 re)) (cos.f64 re))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 1/2 (*.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (exp.f64 im)) im)) 2)) (log.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (exp.f64 im)) im))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (sqrt.f64 (exp.f64 im)) im))) (log.f64 (sqrt.f64 (pow.f64 (sqrt.f64 (exp.f64 im)) im))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (fma.f64 1/2 (*.f64 im im) 1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1/2 (*.f64 im im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (E.f64) (log.f64 (*.f64 1/2 (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1/4 (pow.f64 im 4)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 1/2 (*.f64 im im))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 im (sqrt.f64 1/2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1/8 (pow.f64 im 6)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 1/2 (*.f64 im im)))) 2)) (cbrt.f64 (log.f64 (*.f64 1/2 (*.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 1/2 (*.f64 im im))))) (sqrt.f64 (log.f64 (*.f64 1/2 (*.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 1/4 (pow.f64 im 4)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (sqrt.f64 (exp.f64 im)) im))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 1/2 (*.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 1/8 (pow.f64 im 6)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 1/2 (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (*.f64 (log1p.f64 (*.f64 1/2 (*.f64 im im))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 1/2 (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 1/2 (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 1/2 (*.f64 im im))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 1/2 (*.f64 im im)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 im (sqrt.f64 1/2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 1/8 (pow.f64 im 6))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 1/2 (*.f64 im im))) 1) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 1/2 (*.f64 im im))) 3) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (fma.f64 1/2 (*.f64 im im) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 1/2 (*.f64 im im) 1) 1 -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (fma.f64 1/2 (*.f64 im im) 1)) (pow.f64 (cbrt.f64 (fma.f64 1/2 (*.f64 im im) 1)) 2) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (fma.f64 1/2 (*.f64 im im) 1)) 2) (cbrt.f64 (fma.f64 1/2 (*.f64 im im) 1)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (hypot.f64 1 (*.f64 im (sqrt.f64 1/2))) (hypot.f64 1 (*.f64 im (sqrt.f64 1/2))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 1/8 (pow.f64 im 6) 1) (/.f64 1 (+.f64 1 (fma.f64 1/4 (pow.f64 im 4) (*.f64 -1/2 (*.f64 im im))))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 1 (*.f64 1/4 (pow.f64 im 4))) (/.f64 1 (+.f64 1 (*.f64 -1/2 (*.f64 im im)))) -1)))))

simplify166.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

956×	`fma-def_binary64`
622×	`associate-+l+_binary64`
588×	`distribute-rgt-in_binary64`
578×	`distribute-lft-in_binary64`
554×	`associate-+r+_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	36	520
1	99	472
2	297	444
3	1201	426
4	4314	419
5	5491	419
6	6669	419
7	6946	419
8	7134	419
9	7356	419
10	7667	419

Stop Event

1×	node limit

Counts

137 → 117

Calls

Call 1

Inputs
(+.f64 1 (*.f64 1/2 (pow.f64 im 2)))
(+.f64 1 (+.f64 (.f64 1/2 (pow.f64 im 2)) (.f64 -1/2 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (pow.f64 re 2)))))
(+.f64 1 (+.f64 (.f64 1/24 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (pow.f64 re 4))) (+.f64 (.f64 1/2 (pow.f64 im 2)) (.f64 -1/2 (.f64 (+.f64 1 (*.f64 1/2 (pow.f64 im 2))) (pow.f64 re 2))))))
(+.f64 1 (+.f64 (.f64 1/24 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (pow.f64 re 4))) (+.f64 (.f64 1/2 (pow.f64 im 2)) (+.f64 (.f64 -1/2 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (pow.f64 re 2))) (.f64 -1/720 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (pow.f64 re 6)))))))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(cos.f64 re)
(+.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))) (cos.f64 re))
(+.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))) (cos.f64 re))
(+.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))) (cos.f64 re))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(+.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))) (cos.f64 re))
(+.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))) (cos.f64 re))
(+.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))) (cos.f64 re))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(+.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))) (cos.f64 re))
(+.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))) (cos.f64 re))
(+.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))) (cos.f64 re))
(*.f64 1/2 (pow.f64 im 2))
(*.f64 1/2 (pow.f64 im 2))
(*.f64 1/2 (pow.f64 im 2))
(*.f64 1/2 (pow.f64 im 2))
(*.f64 1/2 (pow.f64 im 2))
(*.f64 1/2 (pow.f64 im 2))
(*.f64 1/2 (pow.f64 im 2))
(*.f64 1/2 (pow.f64 im 2))
(*.f64 1/2 (pow.f64 im 2))
(*.f64 1/2 (pow.f64 im 2))
(*.f64 1/2 (pow.f64 im 2))
(*.f64 1/2 (pow.f64 im 2))

Outputs
(+.f64 1 (*.f64 1/2 (pow.f64 im 2)))
(+.f64 1 (.f64 1/2 (.f64 im im)))
(fma.f64 1/2 (*.f64 im im) 1)
(+.f64 1 (+.f64 (.f64 1/2 (pow.f64 im 2)) (.f64 -1/2 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (pow.f64 re 2)))))
(+.f64 1 (fma.f64 1/2 (.f64 im im) (.f64 -1/2 (.f64 (+.f64 1 (.f64 1/2 (.f64 im im))) (.f64 re re)))))
(+.f64 1 (fma.f64 -1/2 (.f64 (fma.f64 1/2 (.f64 im im) 1) (.f64 re re)) (.f64 1/2 (*.f64 im im))))
(.f64 (+.f64 (.f64 -1/2 (.f64 re re)) 1) (fma.f64 1/2 (.f64 im im) 1))
(.f64 (fma.f64 1/2 (.f64 im im) 1) (fma.f64 -1/2 (*.f64 re re) 1))
(+.f64 1 (+.f64 (.f64 1/24 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (pow.f64 re 4))) (+.f64 (.f64 1/2 (pow.f64 im 2)) (.f64 -1/2 (.f64 (+.f64 1 (*.f64 1/2 (pow.f64 im 2))) (pow.f64 re 2))))))
(+.f64 1 (fma.f64 1/24 (.f64 (+.f64 1 (.f64 1/2 (.f64 im im))) (pow.f64 re 4)) (fma.f64 1/2 (.f64 im im) (.f64 -1/2 (.f64 (+.f64 1 (.f64 1/2 (.f64 im im))) (*.f64 re re))))))
(+.f64 1 (fma.f64 1/24 (.f64 (fma.f64 1/2 (.f64 im im) 1) (pow.f64 re 4)) (fma.f64 -1/2 (.f64 (fma.f64 1/2 (.f64 im im) 1) (.f64 re re)) (.f64 1/2 (*.f64 im im)))))
(+.f64 1 (fma.f64 1/2 (.f64 im im) (.f64 (fma.f64 1/2 (.f64 im im) 1) (+.f64 (.f64 -1/2 (.f64 re re)) (.f64 1/24 (pow.f64 re 4))))))
(.f64 (fma.f64 1/2 (.f64 im im) 1) (+.f64 (fma.f64 -1/2 (.f64 re re) 1) (.f64 1/24 (pow.f64 re 4))))
(+.f64 1 (+.f64 (.f64 1/24 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (pow.f64 re 4))) (+.f64 (.f64 1/2 (pow.f64 im 2)) (+.f64 (.f64 -1/2 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (pow.f64 re 2))) (.f64 -1/720 (.f64 (+.f64 1 (.f64 1/2 (pow.f64 im 2))) (pow.f64 re 6)))))))
(+.f64 1 (fma.f64 1/24 (.f64 (+.f64 1 (.f64 1/2 (.f64 im im))) (pow.f64 re 4)) (fma.f64 1/2 (.f64 im im) (fma.f64 -1/2 (.f64 (+.f64 1 (.f64 1/2 (.f64 im im))) (.f64 re re)) (.f64 -1/720 (.f64 (+.f64 1 (.f64 1/2 (.f64 im im))) (pow.f64 re 6)))))))
(+.f64 1 (fma.f64 1/24 (.f64 (fma.f64 1/2 (.f64 im im) 1) (pow.f64 re 4)) (fma.f64 1/2 (.f64 im im) (fma.f64 -1/2 (.f64 (fma.f64 1/2 (.f64 im im) 1) (.f64 re re)) (.f64 (fma.f64 1/2 (.f64 im im) 1) (*.f64 (pow.f64 re 6) -1/720))))))
(+.f64 (.f64 (+.f64 (.f64 -1/2 (.f64 re re)) 1) (fma.f64 1/2 (.f64 im im) 1)) (.f64 (fma.f64 1/2 (.f64 im im) 1) (+.f64 (.f64 -1/720 (pow.f64 re 6)) (.f64 1/24 (pow.f64 re 4)))))
(fma.f64 (pow.f64 re 4) (fma.f64 (.f64 im im) 1/48 1/24) (.f64 (fma.f64 1/2 (.f64 im im) 1) (+.f64 (fma.f64 -1/2 (.f64 re re) 1) (*.f64 -1/720 (pow.f64 re 6)))))
(.f64 (fma.f64 1/2 (.f64 im im) 1) (+.f64 (fma.f64 -1/2 (.f64 re re) 1) (fma.f64 -1/720 (pow.f64 re 6) (.f64 1/24 (pow.f64 re 4)))))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(.f64 (+.f64 1 (.f64 1/2 (*.f64 im im))) (cos.f64 re))
(.f64 (fma.f64 1/2 (.f64 im im) 1) (cos.f64 re))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(.f64 (+.f64 1 (.f64 1/2 (*.f64 im im))) (cos.f64 re))
(.f64 (fma.f64 1/2 (.f64 im im) 1) (cos.f64 re))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(.f64 (+.f64 1 (.f64 1/2 (*.f64 im im))) (cos.f64 re))
(.f64 (fma.f64 1/2 (.f64 im im) 1) (cos.f64 re))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(.f64 (+.f64 1 (.f64 1/2 (*.f64 im im))) (cos.f64 re))
(.f64 (fma.f64 1/2 (.f64 im im) 1) (cos.f64 re))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(.f64 (+.f64 1 (.f64 1/2 (*.f64 im im))) (cos.f64 re))
(.f64 (fma.f64 1/2 (.f64 im im) 1) (cos.f64 re))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(.f64 (+.f64 1 (.f64 1/2 (*.f64 im im))) (cos.f64 re))
(.f64 (fma.f64 1/2 (.f64 im im) 1) (cos.f64 re))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(.f64 (+.f64 1 (.f64 1/2 (*.f64 im im))) (cos.f64 re))
(.f64 (fma.f64 1/2 (.f64 im im) 1) (cos.f64 re))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(.f64 (+.f64 1 (.f64 1/2 (*.f64 im im))) (cos.f64 re))
(.f64 (fma.f64 1/2 (.f64 im im) 1) (cos.f64 re))
(cos.f64 re)
(+.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))) (cos.f64 re))
(.f64 (+.f64 1 (.f64 1/2 (*.f64 im im))) (cos.f64 re))
(.f64 (fma.f64 1/2 (.f64 im im) 1) (cos.f64 re))
(+.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))) (cos.f64 re))
(.f64 (+.f64 1 (.f64 1/2 (*.f64 im im))) (cos.f64 re))
(.f64 (fma.f64 1/2 (.f64 im im) 1) (cos.f64 re))
(+.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))) (cos.f64 re))
(.f64 (+.f64 1 (.f64 1/2 (*.f64 im im))) (cos.f64 re))
(.f64 (fma.f64 1/2 (.f64 im im) 1) (cos.f64 re))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (*.f64 im im) (cos.f64 re)))
(+.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))) (cos.f64 re))
(.f64 (+.f64 1 (.f64 1/2 (*.f64 im im))) (cos.f64 re))
(.f64 (fma.f64 1/2 (.f64 im im) 1) (cos.f64 re))
(+.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))) (cos.f64 re))
(.f64 (+.f64 1 (.f64 1/2 (*.f64 im im))) (cos.f64 re))
(.f64 (fma.f64 1/2 (.f64 im im) 1) (cos.f64 re))
(+.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))) (cos.f64 re))
(.f64 (+.f64 1 (.f64 1/2 (*.f64 im im))) (cos.f64 re))
(.f64 (fma.f64 1/2 (.f64 im im) 1) (cos.f64 re))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (*.f64 im im) (cos.f64 re)))
(+.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))) (cos.f64 re))
(.f64 (+.f64 1 (.f64 1/2 (*.f64 im im))) (cos.f64 re))
(.f64 (fma.f64 1/2 (.f64 im im) 1) (cos.f64 re))
(+.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))) (cos.f64 re))
(.f64 (+.f64 1 (.f64 1/2 (*.f64 im im))) (cos.f64 re))
(.f64 (fma.f64 1/2 (.f64 im im) 1) (cos.f64 re))
(+.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))) (cos.f64 re))
(.f64 (+.f64 1 (.f64 1/2 (*.f64 im im))) (cos.f64 re))
(.f64 (fma.f64 1/2 (.f64 im im) 1) (cos.f64 re))
(*.f64 1/2 (pow.f64 im 2))
(.f64 1/2 (.f64 im im))
(*.f64 1/2 (pow.f64 im 2))
(.f64 1/2 (.f64 im im))
(*.f64 1/2 (pow.f64 im 2))
(.f64 1/2 (.f64 im im))
(*.f64 1/2 (pow.f64 im 2))
(.f64 1/2 (.f64 im im))
(*.f64 1/2 (pow.f64 im 2))
(.f64 1/2 (.f64 im im))
(*.f64 1/2 (pow.f64 im 2))
(.f64 1/2 (.f64 im im))
(*.f64 1/2 (pow.f64 im 2))
(.f64 1/2 (.f64 im im))
(*.f64 1/2 (pow.f64 im 2))
(.f64 1/2 (.f64 im im))
(*.f64 1/2 (pow.f64 im 2))
(.f64 1/2 (.f64 im im))
(*.f64 1/2 (pow.f64 im 2))
(.f64 1/2 (.f64 im im))
(*.f64 1/2 (pow.f64 im 2))
(.f64 1/2 (.f64 im im))
(*.f64 1/2 (pow.f64 im 2))
(.f64 1/2 (.f64 im im))

localize10.0ms (0.1%)

Compiler: Compiled 25 to 9 computations (64% saved)

localize38.0ms (0.5%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.0b	(.f64 1/2 (.f64 im im))
✓	0.0b	(+.f64 (.f64 1/2 (.f64 im im)) (+.f64 1 (*.f64 1/24 (pow.f64 im 4))))
✓	0.1b	(*.f64 1/24 (pow.f64 im 4))

Compiler

Compiled 62 to 41 computations (33.9% saved)

series3.0ms (0%)

Counts

2 → 12

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	im	@	0	(*.f64 1/24 (pow.f64 im 4))
1.0ms	im	@	inf	(*.f64 1/24 (pow.f64 im 4))
0.0ms	im	@	inf	(+.f64 (.f64 1/2 (.f64 im im)) (+.f64 1 (*.f64 1/24 (pow.f64 im 4))))
0.0ms	im	@	-inf	(*.f64 1/24 (pow.f64 im 4))
0.0ms	im	@	0	(+.f64 (.f64 1/2 (.f64 im im)) (+.f64 1 (*.f64 1/24 (pow.f64 im 4))))

rewrite78.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

596×	`fma-def_binary64`
517×	`log-prod_binary64`
355×	`pow-prod-down_binary64`
304×	`pow2_binary64`
276×	`fma-neg_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	24
1	263	22
2	3271	22

Stop Event

1×	node limit

Counts

2 → 104

Calls

Call 1

Inputs
(*.f64 1/24 (pow.f64 im 4))
(+.f64 (.f64 1/2 (.f64 im im)) (+.f64 1 (*.f64 1/24 (pow.f64 im 4))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 1/24 (pow.f64 im 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 1/24) (pow.f64 im 4))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 1/24) (pow.f64 im 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 1/24) (pow.f64 im 4)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 1/24) (pow.f64 im 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (fma.f64 1/24 (pow.f64 im 4) 1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1/24 (pow.f64 im 4)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (pow.f64 im 8) 1/576) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 1/24 (pow.f64 im 4))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (*.f64 im im) (sqrt.f64 1/24)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (pow.f64 im 12) 1/13824) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (pow.f64 im 8) 1/576))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 1/24) (pow.f64 im 4)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 1/24 (pow.f64 im 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 im 12) 1/13824))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 1/24 (pow.f64 im 4))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (*.f64 (log1p.f64 (*.f64 1/24 (pow.f64 im 4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 1/24 (pow.f64 im 4))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (fma.f64 4 (log.f64 im) (log.f64 1/24)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (fma.f64 4 (log.f64 im) (log.f64 1/24)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (fma.f64 1/24 (pow.f64 im 4) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 1/24 (pow.f64 im 4) 1) 1 -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (fma.f64 1/24 (pow.f64 im 4) 1)) (pow.f64 (cbrt.f64 (fma.f64 1/24 (pow.f64 im 4) 1)) 2) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (fma.f64 1/24 (pow.f64 im 4) 1)) 2) (cbrt.f64 (fma.f64 1/24 (pow.f64 im 4) 1)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (fma.f64 1/24 (pow.f64 im 4) 1)) (sqrt.f64 (fma.f64 1/24 (pow.f64 im 4) 1)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 (pow.f64 im 12) 1/13824 1) (/.f64 1 (+.f64 1 (fma.f64 (pow.f64 im 8) 1/576 (*.f64 -1/24 (pow.f64 im 4))))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 1 (*.f64 (pow.f64 im 8) 1/576)) (/.f64 1 (+.f64 1 (*.f64 -1/24 (pow.f64 im 4)))) -1)))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 1/24 (pow.f64 im 4) (fma.f64 1/2 (*.f64 im im) 1)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 (pow.f64 im 4) 1/4) (-.f64 (*.f64 1/2 (*.f64 im im)) (fma.f64 1/24 (pow.f64 im 4) 1))) (/.f64 (pow.f64 (fma.f64 1/24 (pow.f64 im 4) 1) 2) (-.f64 (*.f64 1/2 (*.f64 im im)) (fma.f64 1/24 (pow.f64 im 4) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 1/24 (pow.f64 im 4) (fma.f64 1/2 (*.f64 im im) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 1/24 (pow.f64 im 4) (fma.f64 1/2 (*.f64 im im) 1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 1/24 (pow.f64 im 4) (fma.f64 1/2 (*.f64 im im) 1))) (pow.f64 (cbrt.f64 (fma.f64 1/24 (pow.f64 im 4) (fma.f64 1/2 (*.f64 im im) 1))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 1/24 (pow.f64 im 4) (fma.f64 1/2 (*.f64 im im) 1))) 2) (cbrt.f64 (fma.f64 1/24 (pow.f64 im 4) (fma.f64 1/2 (*.f64 im im) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 1/24 (pow.f64 im 4) (fma.f64 1/2 (*.f64 im im) 1))) (sqrt.f64 (fma.f64 1/24 (pow.f64 im 4) (fma.f64 1/2 (*.f64 im im) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 (pow.f64 im 6) 1/8 (pow.f64 (fma.f64 1/24 (pow.f64 im 4) 1) 3)) (/.f64 1 (fma.f64 (pow.f64 im 4) 1/4 (*.f64 (fma.f64 1/24 (pow.f64 im 4) 1) (-.f64 (fma.f64 1/24 (pow.f64 im 4) 1) (*.f64 1/2 (*.f64 im im)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 (pow.f64 im 4) 1/4) (pow.f64 (fma.f64 1/24 (pow.f64 im 4) 1) 2)) (/.f64 1 (-.f64 (*.f64 1/2 (*.f64 im im)) (fma.f64 1/24 (pow.f64 im 4) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 (pow.f64 im 4) 1/4 (*.f64 (fma.f64 1/24 (pow.f64 im 4) 1) (-.f64 (fma.f64 1/24 (pow.f64 im 4) 1) (*.f64 1/2 (*.f64 im im))))) (fma.f64 (pow.f64 im 6) 1/8 (pow.f64 (fma.f64 1/24 (pow.f64 im 4) 1) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 (*.f64 1/2 (*.f64 im im)) (fma.f64 1/24 (pow.f64 im 4) 1)) (-.f64 (*.f64 (pow.f64 im 4) 1/4) (pow.f64 (fma.f64 1/24 (pow.f64 im 4) 1) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 (pow.f64 im 6) 1/8 (pow.f64 (fma.f64 1/24 (pow.f64 im 4) 1) 3)) (fma.f64 (pow.f64 im 4) 1/4 (*.f64 (fma.f64 1/24 (pow.f64 im 4) 1) (-.f64 (fma.f64 1/24 (pow.f64 im 4) 1) (*.f64 1/2 (*.f64 im im))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 (pow.f64 im 6) 1/8 (pow.f64 (fma.f64 1/24 (pow.f64 im 4) 1) 3)) (+.f64 (pow.f64 (fma.f64 1/24 (pow.f64 im 4) 1) 2) (-.f64 (*.f64 (pow.f64 im 4) 1/4) (*.f64 1/2 (*.f64 (*.f64 im im) (fma.f64 1/24 (pow.f64 im 4) 1))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (pow.f64 im 4) 1/4) (pow.f64 (fma.f64 1/24 (pow.f64 im 4) 1) 2)) (-.f64 (*.f64 1/2 (*.f64 im im)) (fma.f64 1/24 (pow.f64 im 4) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (fma.f64 (pow.f64 im 6) 1/8 (pow.f64 (fma.f64 1/24 (pow.f64 im 4) 1) 3))) (neg.f64 (fma.f64 (pow.f64 im 4) 1/4 (*.f64 (fma.f64 1/24 (pow.f64 im 4) 1) (-.f64 (fma.f64 1/24 (pow.f64 im 4) 1) (*.f64 1/2 (*.f64 im im)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (*.f64 (pow.f64 im 4) 1/4) (pow.f64 (fma.f64 1/24 (pow.f64 im 4) 1) 2))) (neg.f64 (-.f64 (*.f64 1/2 (*.f64 im im)) (fma.f64 1/24 (pow.f64 im 4) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (fma.f64 1/2 (*.f64 im im) 1) 3) (*.f64 (pow.f64 im 12) 1/13824)) (+.f64 (pow.f64 (fma.f64 1/2 (*.f64 im im) 1) 2) (-.f64 (*.f64 (pow.f64 im 8) 1/576) (*.f64 (fma.f64 1/2 (*.f64 im im) 1) (*.f64 1/24 (pow.f64 im 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (fma.f64 1/24 (pow.f64 im 4) 1) 2) (*.f64 (pow.f64 im 4) 1/4)) (-.f64 (fma.f64 1/24 (pow.f64 im 4) 1) (*.f64 1/2 (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (fma.f64 1/2 (*.f64 im im) 1) 2) (*.f64 (pow.f64 im 8) 1/576)) (-.f64 (fma.f64 1/2 (*.f64 im im) 1) (*.f64 1/24 (pow.f64 im 4))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 1/24 (pow.f64 im 4) (fma.f64 1/2 (*.f64 im im) 1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 1/24 (pow.f64 im 4) (fma.f64 1/2 (*.f64 im im) 1)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 1/24 (pow.f64 im 4) (fma.f64 1/2 (*.f64 im im) 1)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 1/24 (pow.f64 im 4) (fma.f64 1/2 (*.f64 im im) 1))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 1/24 (pow.f64 im 4) (fma.f64 1/2 (*.f64 im im) 1))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (fma.f64 (pow.f64 im 4) 1/4 (*.f64 (fma.f64 1/24 (pow.f64 im 4) 1) (-.f64 (fma.f64 1/24 (pow.f64 im 4) 1) (*.f64 1/2 (*.f64 im im))))) (fma.f64 (pow.f64 im 6) 1/8 (pow.f64 (fma.f64 1/24 (pow.f64 im 4) 1) 3))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (-.f64 (*.f64 1/2 (*.f64 im im)) (fma.f64 1/24 (pow.f64 im 4) 1)) (-.f64 (*.f64 (pow.f64 im 4) 1/4) (pow.f64 (fma.f64 1/24 (pow.f64 im 4) 1) 2))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 1/24 (pow.f64 im 4) (fma.f64 1/2 (*.f64 im im) 1)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 1/24 (pow.f64 im 4) (fma.f64 1/2 (*.f64 im im) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 1/24 (pow.f64 im 4) (fma.f64 1/2 (*.f64 im im) 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (pow.f64 (exp.f64 1/24) (pow.f64 im 4)) (exp.f64 (fma.f64 1/2 (*.f64 im im) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 1/24 (pow.f64 im 4)))) (exp.f64 (fma.f64 1/2 (*.f64 im im) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 1/2 (*.f64 im im)))) (exp.f64 (fma.f64 1/24 (pow.f64 im 4) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (sqrt.f64 (pow.f64 (exp.f64 im) im)) (+.f64 1 (expm1.f64 (fma.f64 1/24 (pow.f64 im 4) 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 1/2 (*.f64 im im)))) (+.f64 1 (expm1.f64 (fma.f64 1/24 (pow.f64 im 4) 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (fma.f64 1/24 (pow.f64 im 4) 1))) (sqrt.f64 (pow.f64 (exp.f64 im) im))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (exp.f64 (fma.f64 1/24 (pow.f64 im 4) 1)) (+.f64 1 (expm1.f64 (*.f64 1/2 (*.f64 im im))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (fma.f64 1/24 (pow.f64 im 4) 1))) (+.f64 1 (expm1.f64 (*.f64 1/2 (*.f64 im im))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (exp.f64 (fma.f64 1/2 (*.f64 im im) 1)) (+.f64 1 (expm1.f64 (*.f64 1/24 (pow.f64 im 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 1/24 (pow.f64 im 4) (fma.f64 1/2 (*.f64 im im) 1)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 1/24 (pow.f64 im 4) (fma.f64 1/2 (*.f64 im im) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 1/24 (pow.f64 im 4) (fma.f64 1/2 (*.f64 im im) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log1p.f64 (fma.f64 1/24 (pow.f64 im 4) (*.f64 1/2 (*.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log1p.f64 (fma.f64 1/24 (pow.f64 im 4) (*.f64 1/2 (*.f64 im im)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1/24 (pow.f64 im 4) (fma.f64 1/2 (*.f64 im im) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 im (*.f64 im 1/2) (fma.f64 1/24 (pow.f64 im 4) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 im 4) 1/24 (fma.f64 1/2 (*.f64 im im) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 1/24 (pow.f64 im 4)) 1 (fma.f64 1/2 (*.f64 im im) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1/2 (*.f64 im im) (fma.f64 1/24 (pow.f64 im 4) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 im im) 1/2 (fma.f64 1/24 (pow.f64 im 4) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 im im) (*.f64 (*.f64 im im) 1/24) (fma.f64 1/2 (*.f64 im im) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 1/2 (*.f64 im im)) 1 (fma.f64 1/24 (pow.f64 im 4) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 1/24 (pow.f64 im 4)) (fma.f64 1/2 (*.f64 im im) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 1/2 (*.f64 im im)) (fma.f64 1/24 (pow.f64 im 4) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (fma.f64 1/24 (pow.f64 im 4) 1) (*.f64 1/2 (*.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (fma.f64 1/2 (*.f64 im im) 1) (*.f64 1/24 (pow.f64 im 4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 1/24 (pow.f64 im 4) 1) 1 (*.f64 1/2 (*.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (fma.f64 1/24 (pow.f64 im 4) 1)) (pow.f64 (cbrt.f64 (fma.f64 1/24 (pow.f64 im 4) 1)) 2) (*.f64 1/2 (*.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (fma.f64 1/24 (pow.f64 im 4) 1)) 2) (cbrt.f64 (fma.f64 1/24 (pow.f64 im 4) 1)) (*.f64 1/2 (*.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cbrt.f64 im) im) (*.f64 (pow.f64 (cbrt.f64 im) 2) 1/2) (fma.f64 1/24 (pow.f64 im 4) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 im) 8) (*.f64 (*.f64 (cbrt.f64 im) im) 1/24) (fma.f64 1/2 (*.f64 im im) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 1/2 (*.f64 im im))) (cbrt.f64 (*.f64 (pow.f64 im 4) 1/4)) (fma.f64 1/24 (pow.f64 im 4) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 (pow.f64 im 4) 1/4)) (cbrt.f64 (*.f64 1/2 (*.f64 im im))) (fma.f64 1/24 (pow.f64 im 4) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 1/24 (pow.f64 im 4))) (cbrt.f64 (*.f64 (pow.f64 im 8) 1/576)) (fma.f64 1/2 (*.f64 im im) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 (pow.f64 im 8) 1/576)) (cbrt.f64 (*.f64 1/24 (pow.f64 im 4))) (fma.f64 1/2 (*.f64 im im) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (fma.f64 1/24 (pow.f64 im 4) 1)) (sqrt.f64 (fma.f64 1/24 (pow.f64 im 4) 1)) (*.f64 1/2 (*.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 im (sqrt.f64 1/2)) (*.f64 im (sqrt.f64 1/2)) (fma.f64 1/24 (pow.f64 im 4) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (*.f64 im im) (sqrt.f64 1/24)) (*.f64 (*.f64 im im) (sqrt.f64 1/24)) (fma.f64 1/2 (*.f64 im im) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 (pow.f64 im 12) 1/13824 1) (/.f64 1 (+.f64 1 (fma.f64 (pow.f64 im 8) 1/576 (*.f64 -1/24 (pow.f64 im 4))))) (*.f64 1/2 (*.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 1 (*.f64 (pow.f64 im 8) 1/576)) (/.f64 1 (+.f64 1 (*.f64 -1/24 (pow.f64 im 4)))) (*.f64 1/2 (*.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 im 1/2) im (fma.f64 1/24 (pow.f64 im 4) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 1/2 (*.f64 im im) 1) 1 (*.f64 1/24 (pow.f64 im 4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (fma.f64 1/2 (*.f64 im im) 1)) 2) (cbrt.f64 (fma.f64 1/2 (*.f64 im im) 1)) (*.f64 1/24 (pow.f64 im 4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (hypot.f64 1 (*.f64 im (sqrt.f64 1/2))) (hypot.f64 1 (*.f64 im (sqrt.f64 1/2))) (*.f64 1/24 (pow.f64 im 4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 1/2 (*.f64 (cbrt.f64 im) im)) (pow.f64 (cbrt.f64 im) 2) (fma.f64 1/24 (pow.f64 im 4) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (*.f64 im 1/2) 1) im (fma.f64 1/24 (pow.f64 im 4) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (*.f64 im 1/2) (pow.f64 (cbrt.f64 im) 2)) (cbrt.f64 im) (fma.f64 1/24 (pow.f64 im 4) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (*.f64 im 1/2) (sqrt.f64 im)) (sqrt.f64 im) (fma.f64 1/24 (pow.f64 im 4) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 1/24 (*.f64 im im)) (*.f64 im im) (fma.f64 1/2 (*.f64 im im) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 1/24 (pow.f64 (cbrt.f64 im) 8)) (*.f64 (cbrt.f64 im) im) (fma.f64 1/2 (*.f64 im im) 1))))))

simplify205.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

1057×	`sqr-pow_binary64`
747×	`fma-def_binary64`
506×	`pow-sqr_binary64`
443×	`cube-prod_binary64`
412×	`associate-l_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	14	155
1	29	153
2	57	141
3	145	141
4	421	141
5	1517	141
6	2881	141
7	3361	141
8	3536	141
9	3735	141
10	4008	141
11	4367	141
12	4818	141
13	5347	141
14	5975	141
15	6726	141
16	7038	141
17	7264	141
18	7462	141
19	7520	141
20	7542	141

Stop Event

1×	node limit

Counts

116 → 112

Calls

Call 1

Inputs
1
(+.f64 1 (*.f64 1/2 (pow.f64 im 2)))
(+.f64 1 (+.f64 (.f64 1/2 (pow.f64 im 2)) (.f64 1/24 (pow.f64 im 4))))
(+.f64 1 (+.f64 (.f64 1/2 (pow.f64 im 2)) (.f64 1/24 (pow.f64 im 4))))
(*.f64 1/24 (pow.f64 im 4))
(+.f64 (.f64 1/2 (pow.f64 im 2)) (.f64 1/24 (pow.f64 im 4)))
(+.f64 1 (+.f64 (.f64 1/2 (pow.f64 im 2)) (.f64 1/24 (pow.f64 im 4))))
(+.f64 1 (+.f64 (.f64 1/2 (pow.f64 im 2)) (.f64 1/24 (pow.f64 im 4))))
(*.f64 1/24 (pow.f64 im 4))
(+.f64 (.f64 1/2 (pow.f64 im 2)) (.f64 1/24 (pow.f64 im 4)))
(+.f64 1 (+.f64 (.f64 1/2 (pow.f64 im 2)) (.f64 1/24 (pow.f64 im 4))))
(+.f64 1 (+.f64 (.f64 1/2 (pow.f64 im 2)) (.f64 1/24 (pow.f64 im 4))))

Outputs
1
(+.f64 1 (*.f64 1/2 (pow.f64 im 2)))
(+.f64 1 (.f64 1/2 (.f64 im im)))
(fma.f64 1/2 (*.f64 im im) 1)
(fma.f64 im (*.f64 1/2 im) 1)
(+.f64 1 (+.f64 (.f64 1/2 (pow.f64 im 2)) (.f64 1/24 (pow.f64 im 4))))
(+.f64 1 (fma.f64 1/2 (.f64 im im) (.f64 1/24 (pow.f64 im 4))))
(+.f64 (fma.f64 1/2 (.f64 im im) 1) (.f64 1/24 (pow.f64 im 4)))
(fma.f64 1/2 (*.f64 im im) (fma.f64 1/24 (pow.f64 im 4) 1))
(fma.f64 1/24 (pow.f64 im 4) (fma.f64 1/2 (*.f64 im im) 1))
(fma.f64 im (fma.f64 1/24 (pow.f64 im 3) (*.f64 1/2 im)) 1)
(+.f64 1 (+.f64 (.f64 1/2 (pow.f64 im 2)) (.f64 1/24 (pow.f64 im 4))))
(+.f64 1 (fma.f64 1/2 (.f64 im im) (.f64 1/24 (pow.f64 im 4))))
(+.f64 (fma.f64 1/2 (.f64 im im) 1) (.f64 1/24 (pow.f64 im 4)))
(fma.f64 1/2 (*.f64 im im) (fma.f64 1/24 (pow.f64 im 4) 1))
(fma.f64 1/24 (pow.f64 im 4) (fma.f64 1/2 (*.f64 im im) 1))
(fma.f64 im (fma.f64 1/24 (pow.f64 im 3) (*.f64 1/2 im)) 1)
(*.f64 1/24 (pow.f64 im 4))
(+.f64 (.f64 1/2 (pow.f64 im 2)) (.f64 1/24 (pow.f64 im 4)))
(fma.f64 1/2 (.f64 im im) (.f64 1/24 (pow.f64 im 4)))
(.f64 (.f64 im im) (fma.f64 im (*.f64 im 1/24) 1/2))
(.f64 im (fma.f64 1/24 (pow.f64 im 3) (.f64 1/2 im)))
(+.f64 1 (+.f64 (.f64 1/2 (pow.f64 im 2)) (.f64 1/24 (pow.f64 im 4))))
(+.f64 1 (fma.f64 1/2 (.f64 im im) (.f64 1/24 (pow.f64 im 4))))
(+.f64 (fma.f64 1/2 (.f64 im im) 1) (.f64 1/24 (pow.f64 im 4)))
(fma.f64 1/2 (*.f64 im im) (fma.f64 1/24 (pow.f64 im 4) 1))
(fma.f64 1/24 (pow.f64 im 4) (fma.f64 1/2 (*.f64 im im) 1))
(fma.f64 im (fma.f64 1/24 (pow.f64 im 3) (*.f64 1/2 im)) 1)
(+.f64 1 (+.f64 (.f64 1/2 (pow.f64 im 2)) (.f64 1/24 (pow.f64 im 4))))
(+.f64 1 (fma.f64 1/2 (.f64 im im) (.f64 1/24 (pow.f64 im 4))))
(+.f64 (fma.f64 1/2 (.f64 im im) 1) (.f64 1/24 (pow.f64 im 4)))
(fma.f64 1/2 (*.f64 im im) (fma.f64 1/24 (pow.f64 im 4) 1))
(fma.f64 1/24 (pow.f64 im 4) (fma.f64 1/2 (*.f64 im im) 1))
(fma.f64 im (fma.f64 1/24 (pow.f64 im 3) (*.f64 1/2 im)) 1)
(*.f64 1/24 (pow.f64 im 4))
(+.f64 (.f64 1/2 (pow.f64 im 2)) (.f64 1/24 (pow.f64 im 4)))
(fma.f64 1/2 (.f64 im im) (.f64 1/24 (pow.f64 im 4)))
(.f64 (.f64 im im) (fma.f64 im (*.f64 im 1/24) 1/2))
(.f64 im (fma.f64 1/24 (pow.f64 im 3) (.f64 1/2 im)))
(+.f64 1 (+.f64 (.f64 1/2 (pow.f64 im 2)) (.f64 1/24 (pow.f64 im 4))))
(+.f64 1 (fma.f64 1/2 (.f64 im im) (.f64 1/24 (pow.f64 im 4))))
(+.f64 (fma.f64 1/2 (.f64 im im) 1) (.f64 1/24 (pow.f64 im 4)))
(fma.f64 1/2 (*.f64 im im) (fma.f64 1/24 (pow.f64 im 4) 1))
(fma.f64 1/24 (pow.f64 im 4) (fma.f64 1/2 (*.f64 im im) 1))
(fma.f64 im (fma.f64 1/24 (pow.f64 im 3) (*.f64 1/2 im)) 1)
(+.f64 1 (+.f64 (.f64 1/2 (pow.f64 im 2)) (.f64 1/24 (pow.f64 im 4))))
(+.f64 1 (fma.f64 1/2 (.f64 im im) (.f64 1/24 (pow.f64 im 4))))
(+.f64 (fma.f64 1/2 (.f64 im im) 1) (.f64 1/24 (pow.f64 im 4)))
(fma.f64 1/2 (*.f64 im im) (fma.f64 1/24 (pow.f64 im 4) 1))
(fma.f64 1/24 (pow.f64 im 4) (fma.f64 1/2 (*.f64 im im) 1))
(fma.f64 im (fma.f64 1/24 (pow.f64 im 3) (*.f64 1/2 im)) 1)

eval123.0ms (1.8%)

Compiler: Compiled 5992 to 3724 computations (37.9% saved)

prune41.0ms (0.6%)

Pruning

8 alts after pruning (3 fresh and 5 done)

	Pruned	Kept	Total
New	308	3	311
Fresh	0	0	0
Picked	0	1	1
Done	1	4	5
Total	309	8	317

Error

Counts

317 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	25.9b	(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
▶	0.8b	(+.f64 (.f64 (cos.f64 re) (.f64 1/2 (*.f64 im im))) (cos.f64 re))
✓	0.6b	(.f64 (cos.f64 re) (+.f64 (.f64 1/2 (.f64 im im)) (+.f64 1 (.f64 1/24 (pow.f64 im 4)))))
▶	26.6b	(fma.f64 1/2 (*.f64 im im) 1)
✓	0.8b	(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (*.f64 im im))))
✓	1.2b	(cos.f64 re)
✓	0.0b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
▶	0b	(+.f64 (.f64 1/2 (/.f64 (cos.f64 re) (exp.f64 im))) (.f64 (*.f64 1/2 (cos.f64 re)) (exp.f64 im)))

Compiler

Compiled 95 to 69 computations (27.4% saved)

localize18.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 47 to 19 computations (59.6% saved)

series4.0ms (0.1%)

Counts

1 → 8

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	re	@	0	(/.f64 (cos.f64 re) (exp.f64 im))
1.0ms	im	@	-inf	(/.f64 (cos.f64 re) (exp.f64 im))
1.0ms	im	@	0	(/.f64 (cos.f64 re) (exp.f64 im))
1.0ms	re	@	inf	(/.f64 (cos.f64 re) (exp.f64 im))
1.0ms	im	@	inf	(/.f64 (cos.f64 re) (exp.f64 im))

rewrite47.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

623×	`pow1_binary64`
573×	`add-log-exp_binary64`
573×	`log1p-expm1-u_binary64`
573×	`expm1-log1p-u_binary64`
559×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	119	8
2	1529	8

Stop Event

1×	node limit

Counts

1 → 30

Calls

Call 1

Inputs
(/.f64 (cos.f64 re) (exp.f64 im))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (/.f64 (cos.f64 re) (exp.f64 im))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cos.f64 re) (exp.f64 (neg.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cos.f64 re) (exp.f64 im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (cos.f64 re) (exp.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 (cos.f64 re) (exp.f64 im))) (pow.f64 (cbrt.f64 (/.f64 (cos.f64 re) (exp.f64 im))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (/.f64 (cos.f64 re) (exp.f64 im))) 2) (cbrt.f64 (/.f64 (cos.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 2) (*.f64 (cbrt.f64 (cos.f64 re)) (exp.f64 (neg.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 (cos.f64 re) (exp.f64 im))) (sqrt.f64 (/.f64 (cos.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (cos.f64 re)) (*.f64 (sqrt.f64 (cos.f64 re)) (exp.f64 (neg.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (cos.f64 re)) (/.f64 1 (neg.f64 (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (exp.f64 (neg.f64 im)) (cos.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 2) 1) (/.f64 (cbrt.f64 (cos.f64 re)) (exp.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (cos.f64 re)) 1) (/.f64 (sqrt.f64 (cos.f64 re)) (exp.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (pow.f64 (cbrt.f64 (exp.f64 im)) 2)) (/.f64 (cos.f64 re) (cbrt.f64 (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 2) (pow.f64 (cbrt.f64 (exp.f64 im)) 2)) (cbrt.f64 (/.f64 (cos.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (cos.f64 re)) (pow.f64 (cbrt.f64 (exp.f64 im)) 2)) (/.f64 (sqrt.f64 (cos.f64 re)) (cbrt.f64 (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (sqrt.f64 (exp.f64 im))) (/.f64 (cos.f64 re) (sqrt.f64 (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 2) (sqrt.f64 (exp.f64 im))) (/.f64 (cbrt.f64 (cos.f64 re)) (sqrt.f64 (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (cos.f64 re) (exp.f64 im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (cos.f64 re) (exp.f64 im)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (cos.f64 re) (exp.f64 im))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (cos.f64 re) (exp.f64 im))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (exp.f64 im) (cos.f64 re)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (cos.f64 re) (neg.f64 (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (cos.f64 re) (exp.f64 im)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (cos.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (cos.f64 re) (exp.f64 im)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (cos.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (cos.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (-.f64 (log.f64 (cos.f64 re)) im))))))

simplify39.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

846×	`fma-neg_binary64`
686×	`distribute-rgt-in_binary64`
623×	`distribute-lft-in_binary64`
314×	`associate--l+_binary64`
313×	`fma-def_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	54	193
1	155	176
2	461	167
3	2361	157

Stop Event

1×	node limit

Counts

38 → 45

Calls

Call 1

Inputs
(/.f64 1 (exp.f64 im))
(+.f64 (/.f64 1 (exp.f64 im)) (*.f64 -1/2 (/.f64 (pow.f64 re 2) (exp.f64 im))))
(+.f64 (/.f64 1 (exp.f64 im)) (+.f64 (.f64 -1/2 (/.f64 (pow.f64 re 2) (exp.f64 im))) (.f64 1/24 (/.f64 (pow.f64 re 4) (exp.f64 im)))))
(+.f64 (/.f64 1 (exp.f64 im)) (+.f64 (.f64 -1/2 (/.f64 (pow.f64 re 2) (exp.f64 im))) (+.f64 (.f64 -1/720 (/.f64 (pow.f64 re 6) (exp.f64 im))) (*.f64 1/24 (/.f64 (pow.f64 re 4) (exp.f64 im))))))
(cos.f64 re)
(+.f64 (.f64 -1 (.f64 (cos.f64 re) im)) (cos.f64 re))
(+.f64 (.f64 -1 (.f64 (cos.f64 re) im)) (+.f64 (cos.f64 re) (.f64 -1 (.f64 (+.f64 (.f64 1/2 (cos.f64 re)) (.f64 -1 (cos.f64 re))) (pow.f64 im 2)))))
(+.f64 (.f64 -1 (.f64 (cos.f64 re) im)) (+.f64 (cos.f64 re) (+.f64 (.f64 -1 (.f64 (+.f64 (.f64 1/2 (cos.f64 re)) (.f64 -1 (cos.f64 re))) (pow.f64 im 2))) (.f64 -1 (.f64 (+.f64 (.f64 -1 (+.f64 (.f64 1/2 (cos.f64 re)) (.f64 -1 (cos.f64 re)))) (+.f64 (.f64 1/6 (cos.f64 re)) (*.f64 -1/2 (cos.f64 re)))) (pow.f64 im 3))))))

Outputs
(/.f64 1 (exp.f64 im))
(exp.f64 (neg.f64 im))
(+.f64 (/.f64 1 (exp.f64 im)) (*.f64 -1/2 (/.f64 (pow.f64 re 2) (exp.f64 im))))
(+.f64 (exp.f64 (neg.f64 im)) (.f64 -1/2 (/.f64 (.f64 re re) (exp.f64 im))))
(fma.f64 -1/2 (/.f64 (*.f64 re re) (exp.f64 im)) (exp.f64 (neg.f64 im)))
(fma.f64 -1/2 (/.f64 re (/.f64 (exp.f64 im) re)) (exp.f64 (neg.f64 im)))
(+.f64 (/.f64 1 (exp.f64 im)) (+.f64 (.f64 -1/2 (/.f64 (pow.f64 re 2) (exp.f64 im))) (.f64 1/24 (/.f64 (pow.f64 re 4) (exp.f64 im)))))
(+.f64 (exp.f64 (neg.f64 im)) (fma.f64 -1/2 (/.f64 (.f64 re re) (exp.f64 im)) (.f64 1/24 (/.f64 (pow.f64 re 4) (exp.f64 im)))))
(+.f64 (exp.f64 (neg.f64 im)) (fma.f64 1/24 (/.f64 (pow.f64 re 4) (exp.f64 im)) (.f64 -1/2 (/.f64 (.f64 re re) (exp.f64 im)))))
(fma.f64 -1/2 (/.f64 re (/.f64 (exp.f64 im) re)) (fma.f64 1/24 (/.f64 (pow.f64 re 4) (exp.f64 im)) (exp.f64 (neg.f64 im))))
(+.f64 (/.f64 1 (exp.f64 im)) (+.f64 (.f64 -1/2 (/.f64 (pow.f64 re 2) (exp.f64 im))) (+.f64 (.f64 -1/720 (/.f64 (pow.f64 re 6) (exp.f64 im))) (*.f64 1/24 (/.f64 (pow.f64 re 4) (exp.f64 im))))))
(+.f64 (exp.f64 (neg.f64 im)) (fma.f64 -1/2 (/.f64 (.f64 re re) (exp.f64 im)) (fma.f64 -1/720 (/.f64 (pow.f64 re 6) (exp.f64 im)) (.f64 1/24 (/.f64 (pow.f64 re 4) (exp.f64 im))))))
(+.f64 (fma.f64 -1/2 (/.f64 (*.f64 re re) (exp.f64 im)) (exp.f64 (neg.f64 im))) (fma.f64 1/24 (/.f64 (pow.f64 re 4) (exp.f64 im)) (/.f64 -1/720 (/.f64 (exp.f64 im) (pow.f64 re 6)))))
(+.f64 (fma.f64 -1/2 (/.f64 re (/.f64 (exp.f64 im) re)) (exp.f64 (neg.f64 im))) (fma.f64 1/24 (/.f64 (pow.f64 re 4) (exp.f64 im)) (*.f64 (/.f64 -1/720 (exp.f64 im)) (pow.f64 re 6))))
(+.f64 (exp.f64 (neg.f64 im)) (fma.f64 1/24 (/.f64 (pow.f64 re 4) (exp.f64 im)) (fma.f64 -1/2 (/.f64 re (/.f64 (exp.f64 im) re)) (*.f64 (/.f64 -1/720 (exp.f64 im)) (pow.f64 re 6)))))
(cos.f64 re)
(+.f64 (.f64 -1 (.f64 (cos.f64 re) im)) (cos.f64 re))
(fma.f64 -1 (*.f64 im (cos.f64 re)) (cos.f64 re))
(-.f64 (cos.f64 re) (*.f64 im (cos.f64 re)))
(*.f64 (cos.f64 re) (-.f64 1 im))
(+.f64 (.f64 -1 (.f64 (cos.f64 re) im)) (+.f64 (cos.f64 re) (.f64 -1 (.f64 (+.f64 (.f64 1/2 (cos.f64 re)) (.f64 -1 (cos.f64 re))) (pow.f64 im 2)))))
(+.f64 (fma.f64 -1 (.f64 im (cos.f64 re)) (cos.f64 re)) (neg.f64 (.f64 (.f64 -1/2 (cos.f64 re)) (.f64 im im))))
(-.f64 (fma.f64 (.f64 (cos.f64 re) 1/2) (.f64 im im) (cos.f64 re)) (*.f64 im (cos.f64 re)))
(-.f64 (fma.f64 (.f64 (cos.f64 re) (.f64 1/2 im)) im (cos.f64 re)) (*.f64 im (cos.f64 re)))
(.f64 (cos.f64 re) (-.f64 (+.f64 (neg.f64 im) 1) (.f64 im (*.f64 im -1/2))))
(+.f64 (.f64 -1 (.f64 (cos.f64 re) im)) (+.f64 (cos.f64 re) (+.f64 (.f64 -1 (.f64 (+.f64 (.f64 1/2 (cos.f64 re)) (.f64 -1 (cos.f64 re))) (pow.f64 im 2))) (.f64 -1 (.f64 (+.f64 (.f64 -1 (+.f64 (.f64 1/2 (cos.f64 re)) (.f64 -1 (cos.f64 re)))) (+.f64 (.f64 1/6 (cos.f64 re)) (*.f64 -1/2 (cos.f64 re)))) (pow.f64 im 3))))))
(+.f64 (fma.f64 -1 (.f64 im (cos.f64 re)) (cos.f64 re)) (fma.f64 -1 (.f64 (.f64 -1/2 (cos.f64 re)) (.f64 im im)) (neg.f64 (.f64 (fma.f64 -1 (.f64 -1/2 (cos.f64 re)) (*.f64 (cos.f64 re) -1/3)) (pow.f64 im 3)))))
(-.f64 (-.f64 (fma.f64 (.f64 (cos.f64 re) 1/2) (.f64 im im) (cos.f64 re)) (.f64 (fma.f64 (cos.f64 re) -1/3 (.f64 (cos.f64 re) 1/2)) (pow.f64 im 3))) (*.f64 im (cos.f64 re)))
(+.f64 (-.f64 (cos.f64 re) (.f64 im (cos.f64 re))) (.f64 (.f64 im im) (-.f64 (.f64 (cos.f64 re) 1/2) (.f64 im (.f64 (cos.f64 re) 1/6)))))
(+.f64 (cos.f64 re) (.f64 im (-.f64 (.f64 im (fma.f64 (cos.f64 re) 1/2 (.f64 im (.f64 (cos.f64 re) -1/6)))) (cos.f64 re))))

localize14.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
	0.0b	(.f64 1/2 (.f64 im im))
✓	0.1b	(.f64 (cos.f64 re) (.f64 1/2 (*.f64 im im)))

Compiler

Compiled 34 to 14 computations (58.8% saved)

series7.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
4.0ms	re	@	0	(.f64 (cos.f64 re) (.f64 1/2 (*.f64 im im)))
1.0ms	re	@	inf	(.f64 (cos.f64 re) (.f64 1/2 (*.f64 im im)))
1.0ms	re	@	-inf	(.f64 (cos.f64 re) (.f64 1/2 (*.f64 im im)))
1.0ms	im	@	inf	(.f64 (cos.f64 re) (.f64 1/2 (*.f64 im im)))
0.0ms	im	@	0	(.f64 (cos.f64 re) (.f64 1/2 (*.f64 im im)))

rewrite46.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

739×	`pow1_binary64`
680×	`add-log-exp_binary64`
680×	`log1p-expm1-u_binary64`
680×	`expm1-log1p-u_binary64`
665×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	12
1	162	12
2	1897	12

Stop Event

1×	node limit

Counts

1 → 13

Calls

Call 1

Inputs
(.f64 (cos.f64 re) (.f64 1/2 (*.f64 im im)))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 (*.f64 (cos.f64 re) (*.f64 im im)) 1/2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (*.f64 (cos.f64 re) (*.f64 im im)) 1/2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (*.f64 (cos.f64 re) (*.f64 im im)) 1/2) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (*.f64 (cos.f64 re) (*.f64 im im)) 1/2)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (sqrt.f64 (*.f64 (cos.f64 re) 1/2)) im) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 (*.f64 (cos.f64 re) (*.f64 im im)) 1/2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (pow.f64 (pow.f64 (exp.f64 im) im) 1/2) (cos.f64 re)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (*.f64 (cos.f64 re) (*.f64 im im)) 1/2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (cos.f64 re) 3) (pow.f64 (*.f64 1/2 (*.f64 im im)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (*.f64 1/2 (*.f64 im im)) 3) (pow.f64 (cos.f64 re) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (*.f64 (cos.f64 re) (*.f64 im im)) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (*.f64 (cos.f64 re) (*.f64 im im)) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (*.f64 (cos.f64 re) (*.f64 im im)) 1/2)))))))

simplify139.0ms (2%)

Algorithm

1×	egg-herbie

Rules

840×	`unswap-sqr_binary64`
740×	`fma-def_binary64`
578×	`distribute-rgt-in_binary64`
540×	`sqr-pow_binary64`
456×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	28	346
1	71	332
2	218	314
3	898	310
4	2450	310
5	4151	310
6	4417	310
7	4794	310
8	5404	310
9	6460	310
10	6771	310
11	7136	310
12	7588	310

Stop Event

1×	node limit

Counts

37 → 23

Calls

Call 1

Inputs
(*.f64 1/2 (pow.f64 im 2))
(+.f64 (.f64 1/2 (pow.f64 im 2)) (.f64 -1/4 (*.f64 (pow.f64 re 2) (pow.f64 im 2))))
(+.f64 (.f64 1/2 (pow.f64 im 2)) (+.f64 (.f64 1/48 (.f64 (pow.f64 re 4) (pow.f64 im 2))) (.f64 -1/4 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))))
(+.f64 (.f64 -1/1440 (.f64 (pow.f64 re 6) (pow.f64 im 2))) (+.f64 (.f64 1/2 (pow.f64 im 2)) (+.f64 (.f64 1/48 (.f64 (pow.f64 re 4) (pow.f64 im 2))) (.f64 -1/4 (*.f64 (pow.f64 re 2) (pow.f64 im 2))))))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))

Outputs
(*.f64 1/2 (pow.f64 im 2))
(.f64 1/2 (.f64 im im))
(+.f64 (.f64 1/2 (pow.f64 im 2)) (.f64 -1/4 (*.f64 (pow.f64 re 2) (pow.f64 im 2))))
(fma.f64 1/2 (.f64 im im) (.f64 -1/4 (.f64 (.f64 im im) (*.f64 re re))))
(.f64 (.f64 im im) (+.f64 1/2 (.f64 -1/4 (.f64 re re))))
(.f64 (.f64 im im) (fma.f64 -1/4 (*.f64 re re) 1/2))
(.f64 im (.f64 im (fma.f64 -1/4 (*.f64 re re) 1/2)))
(+.f64 (.f64 1/2 (pow.f64 im 2)) (+.f64 (.f64 1/48 (.f64 (pow.f64 re 4) (pow.f64 im 2))) (.f64 -1/4 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))))
(fma.f64 1/2 (.f64 im im) (fma.f64 1/48 (.f64 (.f64 im im) (pow.f64 re 4)) (.f64 -1/4 (.f64 (.f64 im im) (*.f64 re re)))))
(fma.f64 1/2 (.f64 im im) (.f64 (.f64 im im) (+.f64 (.f64 -1/4 (.f64 re re)) (.f64 1/48 (pow.f64 re 4)))))
(.f64 (.f64 im im) (+.f64 1/2 (fma.f64 1/48 (pow.f64 re 4) (.f64 -1/4 (.f64 re re)))))
(.f64 (.f64 im im) (fma.f64 -1/4 (*.f64 re re) (fma.f64 1/48 (pow.f64 re 4) 1/2)))
(.f64 im (.f64 im (fma.f64 -1/4 (*.f64 re re) (fma.f64 1/48 (pow.f64 re 4) 1/2))))
(+.f64 (.f64 -1/1440 (.f64 (pow.f64 re 6) (pow.f64 im 2))) (+.f64 (.f64 1/2 (pow.f64 im 2)) (+.f64 (.f64 1/48 (.f64 (pow.f64 re 4) (pow.f64 im 2))) (.f64 -1/4 (*.f64 (pow.f64 re 2) (pow.f64 im 2))))))
(fma.f64 -1/1440 (.f64 (.f64 im im) (pow.f64 re 6)) (fma.f64 1/2 (.f64 im im) (fma.f64 1/48 (.f64 (.f64 im im) (pow.f64 re 4)) (.f64 -1/4 (.f64 (.f64 im im) (*.f64 re re))))))
(+.f64 (.f64 (.f64 im im) (+.f64 (.f64 -1/4 (.f64 re re)) (.f64 1/48 (pow.f64 re 4)))) (.f64 (.f64 im im) (+.f64 (.f64 -1/1440 (pow.f64 re 6)) 1/2)))
(.f64 (.f64 im im) (+.f64 (fma.f64 1/48 (pow.f64 re 4) (.f64 -1/4 (.f64 re re))) (fma.f64 -1/1440 (pow.f64 re 6) 1/2)))
(.f64 (.f64 im im) (fma.f64 (.f64 re re) (fma.f64 (.f64 re re) 1/48 -1/4) (fma.f64 -1/1440 (pow.f64 re 6) 1/2)))
(.f64 im (.f64 im (fma.f64 (.f64 re re) (fma.f64 (.f64 re re) 1/48 -1/4) (fma.f64 -1/1440 (pow.f64 re 6) 1/2))))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (*.f64 im im) (cos.f64 re)))
(.f64 1/2 (.f64 im (*.f64 im (cos.f64 re))))
(.f64 (.f64 im im) (*.f64 1/2 (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (*.f64 im im) (cos.f64 re)))
(.f64 1/2 (.f64 im (*.f64 im (cos.f64 re))))
(.f64 (.f64 im im) (*.f64 1/2 (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (*.f64 im im) (cos.f64 re)))
(.f64 1/2 (.f64 im (*.f64 im (cos.f64 re))))
(.f64 (.f64 im im) (*.f64 1/2 (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (*.f64 im im) (cos.f64 re)))
(.f64 1/2 (.f64 im (*.f64 im (cos.f64 re))))
(.f64 (.f64 im im) (*.f64 1/2 (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (*.f64 im im) (cos.f64 re)))
(.f64 1/2 (.f64 im (*.f64 im (cos.f64 re))))
(.f64 (.f64 im im) (*.f64 1/2 (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (*.f64 im im) (cos.f64 re)))
(.f64 1/2 (.f64 im (*.f64 im (cos.f64 re))))
(.f64 (.f64 im im) (*.f64 1/2 (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (*.f64 im im) (cos.f64 re)))
(.f64 1/2 (.f64 im (*.f64 im (cos.f64 re))))
(.f64 (.f64 im im) (*.f64 1/2 (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (*.f64 im im) (cos.f64 re)))
(.f64 1/2 (.f64 im (*.f64 im (cos.f64 re))))
(.f64 (.f64 im im) (*.f64 1/2 (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (*.f64 im im) (cos.f64 re)))
(.f64 1/2 (.f64 im (*.f64 im (cos.f64 re))))
(.f64 (.f64 im im) (*.f64 1/2 (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (*.f64 im im) (cos.f64 re)))
(.f64 1/2 (.f64 im (*.f64 im (cos.f64 re))))
(.f64 (.f64 im im) (*.f64 1/2 (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (*.f64 im im) (cos.f64 re)))
(.f64 1/2 (.f64 im (*.f64 im (cos.f64 re))))
(.f64 (.f64 im im) (*.f64 1/2 (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (*.f64 im im) (cos.f64 re)))
(.f64 1/2 (.f64 im (*.f64 im (cos.f64 re))))
(.f64 (.f64 im im) (*.f64 1/2 (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (*.f64 im im) (cos.f64 re)))
(.f64 1/2 (.f64 im (*.f64 im (cos.f64 re))))
(.f64 (.f64 im im) (*.f64 1/2 (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (*.f64 im im) (cos.f64 re)))
(.f64 1/2 (.f64 im (*.f64 im (cos.f64 re))))
(.f64 (.f64 im im) (*.f64 1/2 (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (*.f64 im im) (cos.f64 re)))
(.f64 1/2 (.f64 im (*.f64 im (cos.f64 re))))
(.f64 (.f64 im im) (*.f64 1/2 (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (*.f64 im im) (cos.f64 re)))
(.f64 1/2 (.f64 im (*.f64 im (cos.f64 re))))
(.f64 (.f64 im im) (*.f64 1/2 (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (*.f64 im im) (cos.f64 re)))
(.f64 1/2 (.f64 im (*.f64 im (cos.f64 re))))
(.f64 (.f64 im im) (*.f64 1/2 (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (*.f64 im im) (cos.f64 re)))
(.f64 1/2 (.f64 im (*.f64 im (cos.f64 re))))
(.f64 (.f64 im im) (*.f64 1/2 (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (*.f64 im im) (cos.f64 re)))
(.f64 1/2 (.f64 im (*.f64 im (cos.f64 re))))
(.f64 (.f64 im im) (*.f64 1/2 (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (*.f64 im im) (cos.f64 re)))
(.f64 1/2 (.f64 im (*.f64 im (cos.f64 re))))
(.f64 (.f64 im im) (*.f64 1/2 (cos.f64 re)))

localize6.0ms (0.1%)

Compiler: Compiled 14 to 8 computations (42.9% saved)

eval42.0ms (0.6%)

Compiler: Compiled 2547 to 1322 computations (48.1% saved)

prune20.0ms (0.3%)

Pruning

8 alts after pruning (0 fresh and 8 done)

	Pruned	Kept	Total
New	133	0	133
Fresh	0	0	0
Picked	0	1	1
Done	0	7	7
Total	133	8	141

Error

Counts

141 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	25.9b	(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
✓	0.8b	(+.f64 (.f64 (cos.f64 re) (.f64 1/2 (*.f64 im im))) (cos.f64 re))
✓	0.6b	(.f64 (cos.f64 re) (+.f64 (.f64 1/2 (.f64 im im)) (+.f64 1 (.f64 1/24 (pow.f64 im 4)))))
✓	26.6b	(fma.f64 1/2 (*.f64 im im) 1)
✓	0.8b	(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (*.f64 im im))))
✓	1.2b	(cos.f64 re)
✓	0.0b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
✓	0b	(+.f64 (.f64 1/2 (/.f64 (cos.f64 re) (exp.f64 im))) (.f64 (*.f64 1/2 (cos.f64 re)) (exp.f64 im)))

Compiler

Compiled 95 to 69 computations (27.4% saved)

regimes37.0ms (0.5%)

Counts

9 → 1

Calls

Call 1

Inputs
(cos.f64 re)
(fma.f64 1/2 (*.f64 im im) 1)
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (*.f64 im im))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(+.f64 (.f64 (cos.f64 re) (.f64 1/2 (*.f64 im im))) (cos.f64 re))
(.f64 (cos.f64 re) (+.f64 (.f64 1/2 (.f64 im im)) (+.f64 1 (.f64 1/24 (pow.f64 im 4)))))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(+.f64 (.f64 1/2 (/.f64 (cos.f64 re) (exp.f64 im))) (.f64 (*.f64 1/2 (cos.f64 re)) (exp.f64 im)))
(+.f64 (.f64 (.f64 1/2 (cos.f64 re)) (exp.f64 (neg.f64 im))) (.f64 (.f64 1/2 (cos.f64 re)) (exp.f64 im)))

Outputs
(+.f64 (.f64 1/2 (/.f64 (cos.f64 re) (exp.f64 im))) (.f64 (*.f64 1/2 (cos.f64 re)) (exp.f64 im)))

Calls

8 calls:

6.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
5.0ms	re
5.0ms	im
5.0ms	(*.f64 1/2 (cos.f64 re))
4.0ms	(*.f64 1/2 (cos.f64 re))

Results

Error	Segments	Branch
0b	1	`re`
0b	1	`im`
0b	1	`(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))`
0b	1	`(*.f64 1/2 (cos.f64 re))`
0b	1	`(*.f64 1/2 (cos.f64 re))`
0b	1	`(cos.f64 re)`
0b	1	`(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))`
0b	1	`(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))`

Compiler

Compiled 148 to 89 computations (39.9% saved)

regimes31.0ms (0.4%)

Counts

7 → 1

Calls

Call 1

Inputs
(cos.f64 re)
(fma.f64 1/2 (*.f64 im im) 1)
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (*.f64 im im))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(+.f64 (.f64 (cos.f64 re) (.f64 1/2 (*.f64 im im))) (cos.f64 re))
(.f64 (cos.f64 re) (+.f64 (.f64 1/2 (.f64 im im)) (+.f64 1 (.f64 1/24 (pow.f64 im 4)))))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

Outputs
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

Calls

6 calls:

8.0ms	(cos.f64 re)
5.0ms	im
5.0ms	re
5.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
4.0ms	(*.f64 1/2 (cos.f64 re))

Results

Error	Segments	Branch
0.0b	1	`re`
0.0b	1	`im`
0.0b	1	`(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))`
0.0b	1	`(*.f64 1/2 (cos.f64 re))`
0.0b	1	`(cos.f64 re)`
0.0b	1	`(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))`

Compiler

Compiled 103 to 64 computations (37.9% saved)

regimes16.0ms (0.2%)

Counts

6 → 1

Calls

Call 1

Inputs
(cos.f64 re)
(fma.f64 1/2 (*.f64 im im) 1)
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (*.f64 im im))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(+.f64 (.f64 (cos.f64 re) (.f64 1/2 (*.f64 im im))) (cos.f64 re))
(.f64 (cos.f64 re) (+.f64 (.f64 1/2 (.f64 im im)) (+.f64 1 (.f64 1/24 (pow.f64 im 4)))))

Outputs
(.f64 (cos.f64 re) (+.f64 (.f64 1/2 (.f64 im im)) (+.f64 1 (.f64 1/24 (pow.f64 im 4)))))

Calls

3 calls:

5.0ms	(cos.f64 re)
5.0ms	re
5.0ms	im

Results

Error	Segments	Branch
0.6b	1	`re`
0.6b	1	`im`
0.6b	1	`(cos.f64 re)`

Compiler

Compiled 65 to 39 computations (40% saved)

regimes15.0ms (0.2%)

Counts

5 → 1

Calls

Call 1

Inputs
(cos.f64 re)
(fma.f64 1/2 (*.f64 im im) 1)
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (*.f64 im im))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(+.f64 (.f64 (cos.f64 re) (.f64 1/2 (*.f64 im im))) (cos.f64 re))

Outputs
(+.f64 (.f64 (cos.f64 re) (.f64 1/2 (*.f64 im im))) (cos.f64 re))

Calls

3 calls:

5.0ms	re
4.0ms	im
4.0ms	(cos.f64 re)

Results

Error	Segments	Branch
0.8b	1	`re`
0.8b	1	`im`
0.8b	1	`(cos.f64 re)`

Compiler

Compiled 49 to 29 computations (40.8% saved)

regimes12.0ms (0.2%)

Counts

4 → 1

Calls

Call 1

Inputs
(cos.f64 re)
(fma.f64 1/2 (*.f64 im im) 1)
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (*.f64 im im))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))

Outputs
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (*.f64 im im))))

Calls

3 calls:

4.0ms	re
4.0ms	im
3.0ms	(cos.f64 re)

Results

Error	Segments	Branch
0.8b	1	`re`
0.8b	1	`im`
0.8b	1	`(cos.f64 re)`

Compiler

Compiled 38 to 25 computations (34.2% saved)

regimes10.0ms (0.1%)

Accuracy

Total -25.6b remaining (-2214.6%)

Threshold costs -25.6b (-2214.6%)

Counts

2 → 1

Calls

Call 1

Inputs
(cos.f64 re)
(fma.f64 1/2 (*.f64 im im) 1)

Outputs
(cos.f64 re)

Calls

3 calls:

4.0ms	im
3.0ms	re
3.0ms	(cos.f64 re)

Results

Error	Segments	Branch
1.2b	1	`re`
1.2b	1	`im`
1.2b	1	`(cos.f64 re)`

Compiler

Compiled 20 to 14 computations (30% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

10×	`*-commutative_binary64`
7×	`+-commutative_binary64`
1×	`sub-neg_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	101
1	49	101
2	51	101
3	52	101

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(+.f64 (.f64 1/2 (/.f64 (cos.f64 re) (exp.f64 im))) (.f64 (*.f64 1/2 (cos.f64 re)) (exp.f64 im)))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(.f64 (cos.f64 re) (+.f64 (.f64 1/2 (.f64 im im)) (+.f64 1 (.f64 1/24 (pow.f64 im 4)))))
(+.f64 (.f64 (cos.f64 re) (.f64 1/2 (*.f64 im im))) (cos.f64 re))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (*.f64 im im))))
(cos.f64 re)

Outputs
(+.f64 (.f64 1/2 (/.f64 (cos.f64 re) (exp.f64 im))) (.f64 (*.f64 1/2 (cos.f64 re)) (exp.f64 im)))
(+.f64 (.f64 1/2 (/.f64 (cos.f64 re) (exp.f64 im))) (.f64 (exp.f64 im) (*.f64 1/2 (cos.f64 re))))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (+.f64 (.f64 1/2 (.f64 im im)) (+.f64 1 (.f64 1/24 (pow.f64 im 4)))))
(+.f64 (.f64 (cos.f64 re) (.f64 1/2 (*.f64 im im))) (cos.f64 re))
(+.f64 (cos.f64 re) (.f64 (cos.f64 re) (.f64 1/2 (*.f64 im im))))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (*.f64 im im))))
(.f64 (cos.f64 re) (+.f64 (.f64 1/2 (*.f64 im im)) 1))
(cos.f64 re)

Compiler

Compiled 77 to 55 computations (28.6% saved)

soundness92.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

734×	`unswap-sqr_binary64`
716×	`distribute-lft-out_binary64`
603×	`associate-*r/_binary64`
488×	`fma-def_binary64`
406×	`*-commutative_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	76	767
1	214	709
2	588	662
3	2008	626
4	3643	622
5	6897	622

Stop Event

1×	node limit

Compiler

Compiled 60 to 48 computations (20% saved)

end43.0ms (0.6%)

Compiler: Compiled 67 to 37 computations (44.8% saved)

Details

analyze265.0ms (3.8%)

sample4.7s (67.2%)

preprocess117.0ms (1.7%)

simplify85.0ms (1.2%)

eval1.0ms (0%)

prune1.0ms (0%)

localize16.0ms (0.2%)

series6.0ms (0.1%)

rewrite43.0ms (0.6%)

simplify81.0ms (1.2%)

eval7.0ms (0.1%)

prune16.0ms (0.2%)

localize21.0ms (0.3%)

series18.0ms (0.3%)

rewrite61.0ms (0.9%)

simplify85.0ms (1.2%)

localize4.0ms (0.1%)

localize21.0ms (0.3%)

series11.0ms (0.2%)

rewrite122.0ms (1.7%)

simplify166.0ms (2.4%)

localize10.0ms (0.1%)

localize38.0ms (0.5%)

series3.0ms (0%)

rewrite78.0ms (1.1%)

simplify205.0ms (2.9%)

eval123.0ms (1.8%)

prune41.0ms (0.6%)

localize18.0ms (0.3%)

series4.0ms (0.1%)

rewrite47.0ms (0.7%)

simplify39.0ms (0.6%)

localize14.0ms (0.2%)

series7.0ms (0.1%)

rewrite46.0ms (0.7%)

simplify139.0ms (2%)

localize6.0ms (0.1%)

eval42.0ms (0.6%)

prune20.0ms (0.3%)

regimes37.0ms (0.5%)

regimes31.0ms (0.4%)

regimes16.0ms (0.2%)

regimes15.0ms (0.2%)

regimes12.0ms (0.2%)

regimes10.0ms (0.1%)

simplify6.0ms (0.1%)

soundness92.0ms (1.3%)

end43.0ms (0.6%)

Profiling