Details

analyze189.0ms (3.7%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
50%	50%	50%	0.1%	0%	0%	0%	5
50%	50%	50%	0.1%	0%	0%	0%	6
57.1%	50%	37.5%	0.1%	12.5%	0%	0%	7
57.1%	50%	37.5%	0.1%	12.5%	0%	0%	8
61.5%	50%	31.2%	0.1%	18.7%	0%	0%	9
61.5%	50%	31.2%	0.1%	18.7%	0%	0%	10
64%	50%	28.1%	0.1%	21.9%	0%	0%	11
64%	50%	28.1%	0.1%	21.9%	0%	0%	12

Compiler

Compiled 14 to 11 computations (21.4% saved)

sample3.5s (69.9%)

Results

1.1s	2125×	body	1024	valid
827.0ms	2120×	body	1024	infinite
715.0ms	5126×	body	256	valid
317.0ms	997×	body	512	valid
270.0ms	988×	body	512	infinite
221.0ms	1518×	body	256	infinite
7.0ms	8×	body	2048	valid

Bogosity

preprocess123.0ms (2.4%)

Algorithm

2×	egg-herbie

Rules

1424×	`times-frac`
1136×	`fma-def`
838×	`associate-r`
824×	`sqr-pow`
632×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	70
1	51	70
2	128	70
3	217	66
4	410	66
5	771	66
6	1605	66
7	2662	66
8	3700	66
9	4436	66
10	5063	66
11	6071	66
12	7652	66
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) (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)

simplify105.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

1068×	`associate-/l*`
904×	`unswap-sqr`
890×	`fma-def`
728×	`associate-*r/`
712×	`associate-/r/`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	13	35
1	30	35
2	70	35
3	113	33
4	212	33
5	392	33
6	823	33
7	1357	33
8	3918	33
9	4348	33
10	5453	33
11	6144	33
12	7172	33

Stop Event

1×	node limit

Counts

1 → 3

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 35 to 18 computations (48.6% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

4 → 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)

localize13.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
✓	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)

series5.0ms (0.1%)

Counts

2 → 36

Calls

9 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	@	-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	re	@	0	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
1.0ms	im	@	-inf	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

rewrite71.0ms (1.4%)

Algorithm

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

Rules

282×	`add-sqr-sqrt`
282×	`add-sqr-sqrt`
272×	`pow1`
272×	`*-un-lft-identity`
272×	`pow1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	54
1	273	54
2	4211	54
0	13	35
1	273	35
2	4211	35
0	13	35
0	8	19
1	166	19
2	2546	19
0	8	19

Stop Event

1×	iter limit
1×	unsound
1×	iter limit
1×	unsound
1×	unsound

Counts

2 → 19

Calls

Call 1

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

Outputs
((#(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 +.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 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 exp.f64 (log.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 .f64 1 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (.f64 (exp.f64 im) (exp.f64 im))) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (exp.f64 (neg.f64 im)) 3) (pow.f64 (exp.f64 im) 3)) (+.f64 (.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (-.f64 (.f64 (exp.f64 im) (exp.f64 im)) (.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))))

Outputs

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

simplify70.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

1192×	`unswap-sqr`
1058×	`fma-def`
990×	`associate-/l*`
820×	`associate-*r/`
684×	`*-commutative`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	120	1861
1	353	1699
2	1472	1617
3	4736	1607

Stop Event

1×	node limit

Counts

55 → 73

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)))))
2
(+.f64 2 (pow.f64 im 2))
(+.f64 2 (+.f64 (pow.f64 im 2) (*.f64 1/12 (pow.f64 im 4))))
(+.f64 2 (+.f64 (pow.f64 im 2) (+.f64 (.f64 1/12 (pow.f64 im 4)) (.f64 1/360 (pow.f64 im 6)))))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (.f64 (.f64 1/2 (cos.f64 re)) (exp.f64 (neg.f64 im))) (.f64 (.f64 1/2 (cos.f64 re)) (exp.f64 im)))
(+.f64 (.f64 (exp.f64 (neg.f64 im)) (.f64 1/2 (cos.f64 re))) (.f64 (exp.f64 im) (.f64 1/2 (cos.f64 re))))
(pow.f64 (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) 1)
(log.f64 (exp.f64 (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))
(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))))))
(expm1.f64 (log1p.f64 (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))
(exp.f64 (log.f64 (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))
(log1p.f64 (expm1.f64 (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))
(*.f64 1 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 (.f64 (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(/.f64 (-.f64 (.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (.f64 (exp.f64 im) (exp.f64 im))) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(/.f64 (+.f64 (pow.f64 (exp.f64 (neg.f64 im)) 3) (pow.f64 (exp.f64 im) 3)) (+.f64 (.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (-.f64 (.f64 (exp.f64 im) (exp.f64 im)) (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
(pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 1)
(log.f64 (exp.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(cbrt.f64 (.f64 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(expm1.f64 (log1p.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(exp.f64 (log.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(log1p.f64 (expm1.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 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 (.f64 -1/4 (*.f64 re re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 1/2 (.f64 -1/4 (*.f64 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 re re) (+.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))) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 (.f64 -1/4 (.f64 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 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 1/2 (fma.f64 1/48 (pow.f64 re 4) (.f64 re (*.f64 -1/4 re)))))
(+.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 (pow.f64 re 6) (+.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 re re) (+.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 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 (.f64 -1/4 (.f64 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 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 (fma.f64 1/48 (pow.f64 re 4) (.f64 re (*.f64 -1/4 re))) (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 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.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 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.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 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.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 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.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 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.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 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.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 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.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 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.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 (.f64 1/2 (*.f64 im im)) 1))
(+.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 (fma.f64 1/2 (.f64 (cos.f64 re) (.f64 im im)) (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 (.f64 1/24 (pow.f64 im 4)) 1)))
(+.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/24 (pow.f64 im 4)) 1) (cos.f64 re)) (.f64 (cos.f64 re) (+.f64 (.f64 1/720 (pow.f64 im 6)) (.f64 1/2 (.f64 im im)))))
(+.f64 (cos.f64 re) (.f64 (cos.f64 re) (+.f64 (.f64 1/720 (pow.f64 im 6)) (+.f64 (.f64 1/24 (pow.f64 im 4)) (.f64 1/2 (*.f64 im im))))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.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 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.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 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.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 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.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 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.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 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.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 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.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 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (cos.f64 re))
2
(+.f64 2 (pow.f64 im 2))
(+.f64 2 (*.f64 im im))
(fma.f64 im im 2)
(+.f64 2 (+.f64 (pow.f64 im 2) (*.f64 1/12 (pow.f64 im 4))))
(+.f64 (+.f64 2 (.f64 im im)) (.f64 (pow.f64 im 4) 1/12))
(+.f64 2 (fma.f64 (pow.f64 im 4) 1/12 (*.f64 im im)))
(fma.f64 (pow.f64 im 4) 1/12 (fma.f64 im im 2))
(fma.f64 im im (fma.f64 (pow.f64 im 4) 1/12 2))
(+.f64 2 (+.f64 (pow.f64 im 2) (+.f64 (.f64 1/12 (pow.f64 im 4)) (.f64 1/360 (pow.f64 im 6)))))
(+.f64 (+.f64 2 (.f64 im im)) (fma.f64 1/12 (pow.f64 im 4) (.f64 (pow.f64 im 6) 1/360)))
(+.f64 (fma.f64 im im 2) (fma.f64 (pow.f64 im 4) 1/12 (*.f64 (pow.f64 im 6) 1/360)))
(+.f64 2 (fma.f64 im im (fma.f64 (pow.f64 im 4) 1/12 (*.f64 (pow.f64 im 6) 1/360))))
(+.f64 (fma.f64 im im 2) (fma.f64 (pow.f64 im 6) 1/360 (*.f64 (pow.f64 im 4) 1/12)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.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)))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (cos.f64 re))
(+.f64 (.f64 (exp.f64 (neg.f64 im)) (.f64 1/2 (cos.f64 re))) (.f64 (exp.f64 im) (.f64 1/2 (cos.f64 re))))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (cos.f64 re))
(pow.f64 (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) 1)
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (cos.f64 re))
(log.f64 (exp.f64 (.f64 1/2 (.f64 (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 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (cos.f64 re))
(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))))))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (cos.f64 re))
(expm1.f64 (log1p.f64 (.f64 1/2 (.f64 (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 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (cos.f64 re))
(exp.f64 (log.f64 (.f64 1/2 (.f64 (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 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (cos.f64 re))
(log1p.f64 (expm1.f64 (.f64 1/2 (.f64 (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 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (cos.f64 re))
(*.f64 1 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(.f64 (.f64 (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(/.f64 (-.f64 (.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (.f64 (exp.f64 im) (exp.f64 im))) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(/.f64 (+.f64 (pow.f64 (exp.f64 (neg.f64 im)) 3) (pow.f64 (exp.f64 im) 3)) (+.f64 (.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (-.f64 (.f64 (exp.f64 im) (exp.f64 im)) (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
(/.f64 (+.f64 (pow.f64 (exp.f64 (neg.f64 im)) 3) (pow.f64 (exp.f64 im) 3)) (+.f64 (exp.f64 (+.f64 (neg.f64 im) (neg.f64 im))) (*.f64 (exp.f64 im) (-.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))
(/.f64 (+.f64 (pow.f64 (exp.f64 (neg.f64 im)) 3) (pow.f64 (exp.f64 im) 3)) (+.f64 (exp.f64 (*.f64 im -2)) (+.f64 -1 (exp.f64 (+.f64 im im)))))
(/.f64 (+.f64 (exp.f64 (*.f64 im -3)) (pow.f64 (exp.f64 im) 3)) (+.f64 (pow.f64 (exp.f64 im) -2) (expm1.f64 (+.f64 im im))))
(pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 1)
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(log.f64 (exp.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(cbrt.f64 (.f64 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(expm1.f64 (log1p.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(exp.f64 (log.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(log1p.f64 (expm1.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))

eval19.0ms (0.4%)

Compiler: Compiled 1362 to 634 computations (53.5% saved)

prune10.0ms (0.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	69	4	73
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	69	5	74

Error

Counts

74 → 5

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.2b	(fma.f64 1/2 (.f64 (cos.f64 re) (.f64 im im)) (cos.f64 re))
▶	0.2b	(.f64 (+.f64 (.f64 1/2 (*.f64 im im)) 1) (cos.f64 re))
✓	0.0b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
▶	30.5b	(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
▶	0.3b	(cos.f64 re)

Compiler

Compiled 51 to 37 computations (27.5% saved)

localize4.0ms (0.1%)

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

localize8.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))

Compiler

Compiled 25 to 9 computations (64% saved)

series0.0ms (0%)

Counts

1 → 8

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	im	@	0	(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
0.0ms	im	@	inf	(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
0.0ms	im	@	-inf	(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))

rewrite35.0ms (0.7%)

Algorithm

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

Rules

178×	`add-sqr-sqrt`
170×	`pow1`
170×	`*-un-lft-identity`
168×	`add-exp-log`
166×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	169	11
2	2616	11
0	8	11

Stop Event

1×	iter limit
1×	unsound

Counts

1 → 12

Calls

Call 1

Inputs
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))

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

Outputs

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

simplify59.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

940×	`associate-*r/`
782×	`*-commutative`
758×	`fma-def`
710×	`associate-r`
708×	`associate-*l/`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	61	460
1	160	432
2	528	418
3	1976	294
4	7528	294

Stop Event

1×	node limit

Counts

20 → 31

Calls

Call 1

Inputs
2
(+.f64 2 (pow.f64 im 2))
(+.f64 2 (+.f64 (pow.f64 im 2) (*.f64 1/12 (pow.f64 im 4))))
(+.f64 2 (+.f64 (pow.f64 im 2) (+.f64 (.f64 1/12 (pow.f64 im 4)) (.f64 1/360 (pow.f64 im 6)))))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(.f64 1 (.f64 2 (cosh.f64 im)))
(.f64 (sqrt.f64 (.f64 2 (cosh.f64 im))) (sqrt.f64 (*.f64 2 (cosh.f64 im))))
(.f64 (.f64 (cbrt.f64 (.f64 2 (cosh.f64 im))) (cbrt.f64 (.f64 2 (cosh.f64 im)))) (cbrt.f64 (*.f64 2 (cosh.f64 im))))
(*.f64 2 (cosh.f64 im))
(/.f64 (-.f64 (.f64 (exp.f64 im) (exp.f64 im)) (.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im)))) (-.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(/.f64 (+.f64 (pow.f64 (exp.f64 im) 3) (pow.f64 (exp.f64 (neg.f64 im)) 3)) (+.f64 (.f64 (exp.f64 im) (exp.f64 im)) (-.f64 (.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (*.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))
(pow.f64 (*.f64 2 (cosh.f64 im)) 1)
(log.f64 (exp.f64 (*.f64 2 (cosh.f64 im))))
(cbrt.f64 (.f64 (.f64 (.f64 2 (cosh.f64 im)) (.f64 2 (cosh.f64 im))) (*.f64 2 (cosh.f64 im))))
(expm1.f64 (log1p.f64 (*.f64 2 (cosh.f64 im))))
(exp.f64 (log.f64 (*.f64 2 (cosh.f64 im))))
(log1p.f64 (expm1.f64 (*.f64 2 (cosh.f64 im))))

Outputs
2
(+.f64 2 (pow.f64 im 2))
(+.f64 2 (*.f64 im im))
(fma.f64 im im 2)
(+.f64 2 (+.f64 (pow.f64 im 2) (*.f64 1/12 (pow.f64 im 4))))
(+.f64 2 (+.f64 (.f64 im im) (.f64 1/12 (pow.f64 im 4))))
(+.f64 2 (fma.f64 1/12 (pow.f64 im 4) (*.f64 im im)))
(fma.f64 im im (fma.f64 1/12 (pow.f64 im 4) 2))
(+.f64 2 (+.f64 (pow.f64 im 2) (+.f64 (.f64 1/12 (pow.f64 im 4)) (.f64 1/360 (pow.f64 im 6)))))
(+.f64 2 (+.f64 (.f64 im im) (fma.f64 1/12 (pow.f64 im 4) (.f64 1/360 (pow.f64 im 6)))))
(+.f64 (fma.f64 im im 2) (fma.f64 1/360 (pow.f64 im 6) (*.f64 1/12 (pow.f64 im 4))))
(+.f64 (fma.f64 1/12 (pow.f64 im 4) (*.f64 im im)) (fma.f64 1/360 (pow.f64 im 6) 2))
(fma.f64 1/12 (pow.f64 im 4) (fma.f64 1/360 (pow.f64 im 6) (fma.f64 im im 2)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(*.f64 2 (cosh.f64 im))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(*.f64 2 (cosh.f64 im))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(*.f64 2 (cosh.f64 im))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(*.f64 2 (cosh.f64 im))
(.f64 1 (.f64 2 (cosh.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(*.f64 2 (cosh.f64 im))
(.f64 (sqrt.f64 (.f64 2 (cosh.f64 im))) (sqrt.f64 (*.f64 2 (cosh.f64 im))))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(*.f64 2 (cosh.f64 im))
(.f64 (.f64 (cbrt.f64 (.f64 2 (cosh.f64 im))) (cbrt.f64 (.f64 2 (cosh.f64 im)))) (cbrt.f64 (*.f64 2 (cosh.f64 im))))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(*.f64 2 (cosh.f64 im))
(*.f64 2 (cosh.f64 im))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(/.f64 (-.f64 (.f64 (exp.f64 im) (exp.f64 im)) (.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im)))) (-.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(*.f64 2 (cosh.f64 im))
(/.f64 (+.f64 (pow.f64 (exp.f64 im) 3) (pow.f64 (exp.f64 (neg.f64 im)) 3)) (+.f64 (.f64 (exp.f64 im) (exp.f64 im)) (-.f64 (.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (*.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))
(/.f64 (+.f64 (pow.f64 (exp.f64 im) 3) (pow.f64 (exp.f64 (neg.f64 im)) 3)) (+.f64 (exp.f64 (+.f64 im im)) (*.f64 (exp.f64 (neg.f64 im)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
(/.f64 (+.f64 (pow.f64 (exp.f64 im) 3) (pow.f64 (exp.f64 (neg.f64 im)) 3)) (+.f64 (exp.f64 (+.f64 im im)) (+.f64 -1 (exp.f64 (*.f64 im -2)))))
(/.f64 (+.f64 (pow.f64 (exp.f64 im) 3) (exp.f64 (.f64 im -3))) (+.f64 (pow.f64 (exp.f64 2) im) (expm1.f64 (.f64 im -2))))
(/.f64 (+.f64 (pow.f64 (exp.f64 im) 3) (pow.f64 (exp.f64 im) -3)) (+.f64 (pow.f64 (exp.f64 im) 2) (expm1.f64 (*.f64 im -2))))
(pow.f64 (*.f64 2 (cosh.f64 im)) 1)
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(*.f64 2 (cosh.f64 im))
(log.f64 (exp.f64 (*.f64 2 (cosh.f64 im))))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(*.f64 2 (cosh.f64 im))
(cbrt.f64 (.f64 (.f64 (.f64 2 (cosh.f64 im)) (.f64 2 (cosh.f64 im))) (*.f64 2 (cosh.f64 im))))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(*.f64 2 (cosh.f64 im))
(expm1.f64 (log1p.f64 (*.f64 2 (cosh.f64 im))))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(*.f64 2 (cosh.f64 im))
(exp.f64 (log.f64 (*.f64 2 (cosh.f64 im))))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(*.f64 2 (cosh.f64 im))
(log1p.f64 (expm1.f64 (*.f64 2 (cosh.f64 im))))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(*.f64 2 (cosh.f64 im))

localize12.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 33 to 17 computations (48.5% saved)

series4.0ms (0.1%)

Counts

2 → 36

Calls

9 calls:

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

rewrite80.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1006×	`*-commutative`
756×	`unswap-sqr`
618×	`swap-sqr`
486×	`associate-*r/`
414×	`sqr-pow`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	38
1	244	38
2	2927	38

Stop Event

1×	node limit

Counts

2 → 67

Calls

Call 1

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

Outputs

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

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

simplify65.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

1408×	`associate-/l*`
974×	`distribute-lft-in`
900×	`times-frac`
876×	`*-commutative`
866×	`distribute-rgt-in`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	224	3959
1	596	3601
2	2343	3509

Stop Event

1×	node limit

Counts

103 → 134

Calls

Call 1

Inputs
(*.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))
(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 (*.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))))
(+.f64 (.f64 im (.f64 1/2 im)) 0)
(+.f64 1 (fma.f64 1/2 (*.f64 im im) -1))
(-.f64 (fma.f64 (*.f64 1/2 im) im 1) 1)
(-.f64 (exp.f64 (log1p.f64 (fma.f64 (*.f64 1/2 im) im 1))) 2)
(-.f64 (/.f64 (pow.f64 im 4) (/.f64 (fma.f64 1/2 (.f64 im im) -1) 1/4)) (+.f64 (/.f64 1 (fma.f64 1/2 (.f64 im im) -1)) 1))
(pow.f64 (.f64 im (.f64 1/2 im)) 1)
(pow.f64 (*.f64 im (sqrt.f64 1/2)) 2)
(pow.f64 (cbrt.f64 (.f64 im (.f64 1/2 im))) 3)
(pow.f64 (*.f64 (pow.f64 im 6) 1/8) 1/3)
(sqrt.f64 (*.f64 (pow.f64 im 4) 1/4))
(log.f64 (pow.f64 (pow.f64 (exp.f64 im) im) 1/2))
(log.f64 (+.f64 1 (expm1.f64 (.f64 im (.f64 1/2 im)))))
(cbrt.f64 (*.f64 (pow.f64 im 6) 1/8))
(expm1.f64 (log1p.f64 (.f64 im (.f64 1/2 im))))
(exp.f64 (log.f64 (.f64 im (.f64 1/2 im))))
(log1p.f64 (expm1.f64 (.f64 im (.f64 1/2 im))))
(+.f64 (cos.f64 re) (.f64 (.f64 im (*.f64 1/2 im)) (cos.f64 re)))
(+.f64 (cos.f64 re) (.f64 1 (.f64 (.f64 im (.f64 1/2 im)) (cos.f64 re))))
(+.f64 (cos.f64 re) (.f64 (.f64 (.f64 im (.f64 1/2 im)) (cos.f64 re)) 1))
(+.f64 (.f64 (.f64 im (*.f64 1/2 im)) (cos.f64 re)) (cos.f64 re))
(+.f64 (.f64 1 (.f64 (.f64 im (.f64 1/2 im)) (cos.f64 re))) (cos.f64 re))
(+.f64 (.f64 (.f64 (.f64 im (.f64 1/2 im)) (cos.f64 re)) 1) (cos.f64 re))
(-.f64 (exp.f64 (log1p.f64 (cos.f64 re))) (-.f64 1 (.f64 (.f64 im (*.f64 1/2 im)) (cos.f64 re))))
(-.f64 (exp.f64 (log1p.f64 (.f64 (fma.f64 (.f64 1/2 im) im 1) (cos.f64 re)))) 1)
(-.f64 (+.f64 (.f64 (.f64 im (*.f64 1/2 im)) (cos.f64 re)) (exp.f64 (log1p.f64 (cos.f64 re)))) 1)
(/.f64 (cos.f64 re) (/.f64 1 (fma.f64 (*.f64 1/2 im) im 1)))
(/.f64 (+.f64 (.f64 (pow.f64 im 4) 1/4) -1) (/.f64 (fma.f64 1/2 (.f64 im im) -1) (cos.f64 re)))
(/.f64 (+.f64 1 (.f64 (pow.f64 im 6) 1/8)) (/.f64 (+.f64 1 (.f64 (.f64 im im) (-.f64 (pow.f64 (.f64 1/2 im) 2) 1/2))) (cos.f64 re)))
(/.f64 (.f64 (cos.f64 re) (+.f64 (.f64 (pow.f64 im 4) 1/4) -1)) (fma.f64 1/2 (*.f64 im im) -1))
(/.f64 (.f64 (cos.f64 re) (+.f64 1 (.f64 (pow.f64 im 6) 1/8))) (+.f64 1 (.f64 (.f64 im im) (-.f64 (pow.f64 (*.f64 1/2 im) 2) 1/2))))
(/.f64 (.f64 1 (.f64 (cos.f64 re) (+.f64 (.f64 (pow.f64 im 4) 1/4) -1))) (fma.f64 1/2 (.f64 im im) -1))
(/.f64 (.f64 1 (.f64 (cos.f64 re) (+.f64 1 (.f64 (pow.f64 im 6) 1/8)))) (+.f64 1 (.f64 (.f64 im im) (-.f64 (pow.f64 (.f64 1/2 im) 2) 1/2))))
(/.f64 (.f64 (cos.f64 re) (+.f64 1 (.f64 -1/4 (pow.f64 im 4)))) (-.f64 1 (.f64 im (.f64 1/2 im))))
(/.f64 (.f64 (cos.f64 re) (+.f64 (neg.f64 (.f64 (pow.f64 im 4) 1/4)) 1)) (-.f64 1 (.f64 im (.f64 1/2 im))))
(/.f64 (.f64 (cos.f64 re) (neg.f64 (+.f64 1 (.f64 (pow.f64 im 6) 1/8)))) (neg.f64 (+.f64 1 (.f64 (.f64 im im) (-.f64 (pow.f64 (*.f64 1/2 im) 2) 1/2)))))
(/.f64 (.f64 (.f64 (cos.f64 re) (hypot.f64 1 (.f64 im (sqrt.f64 1/2)))) (sqrt.f64 (+.f64 1 (.f64 (pow.f64 im 6) 1/8)))) (sqrt.f64 (+.f64 1 (.f64 (.f64 im im) (-.f64 (pow.f64 (*.f64 1/2 im) 2) 1/2)))))
(/.f64 (.f64 (.f64 (cos.f64 re) (hypot.f64 1 (.f64 im (sqrt.f64 1/2)))) (sqrt.f64 (+.f64 (.f64 (pow.f64 im 4) 1/4) -1))) (sqrt.f64 (fma.f64 1/2 (*.f64 im im) -1)))
(/.f64 (.f64 (.f64 (cos.f64 re) (pow.f64 (cbrt.f64 (fma.f64 (.f64 1/2 im) im 1)) 2)) (cbrt.f64 (+.f64 1 (.f64 (pow.f64 im 6) 1/8)))) (cbrt.f64 (+.f64 1 (.f64 (.f64 im im) (-.f64 (pow.f64 (*.f64 1/2 im) 2) 1/2)))))
(/.f64 (.f64 (.f64 (cos.f64 re) (pow.f64 (cbrt.f64 (fma.f64 (.f64 1/2 im) im 1)) 2)) (cbrt.f64 (+.f64 (.f64 (pow.f64 im 4) 1/4) -1))) (cbrt.f64 (fma.f64 1/2 (*.f64 im im) -1)))
(/.f64 (.f64 (+.f64 1 (.f64 -1/4 (pow.f64 im 4))) (cos.f64 re)) (-.f64 1 (.f64 im (.f64 1/2 im))))
(/.f64 (.f64 (+.f64 (neg.f64 (.f64 (pow.f64 im 4) 1/4)) 1) (cos.f64 re)) (-.f64 1 (.f64 im (.f64 1/2 im))))
(/.f64 (.f64 (neg.f64 (+.f64 1 (.f64 (pow.f64 im 6) 1/8))) (cos.f64 re)) (neg.f64 (+.f64 1 (.f64 (.f64 im im) (-.f64 (pow.f64 (*.f64 1/2 im) 2) 1/2)))))
(/.f64 (.f64 (.f64 (cos.f64 re) (+.f64 (.f64 (pow.f64 im 4) 1/4) -1)) 1) (fma.f64 1/2 (.f64 im im) -1))
(/.f64 (.f64 (.f64 (cos.f64 re) (+.f64 1 (.f64 (pow.f64 im 6) 1/8))) 1) (+.f64 1 (.f64 (.f64 im im) (-.f64 (pow.f64 (.f64 1/2 im) 2) 1/2))))
(/.f64 (.f64 (sqrt.f64 (+.f64 1 (.f64 (pow.f64 im 6) 1/8))) (.f64 (cos.f64 re) (hypot.f64 1 (.f64 im (sqrt.f64 1/2))))) (sqrt.f64 (+.f64 1 (.f64 (.f64 im im) (-.f64 (pow.f64 (*.f64 1/2 im) 2) 1/2)))))
(/.f64 (.f64 (sqrt.f64 (+.f64 (.f64 (pow.f64 im 4) 1/4) -1)) (.f64 (cos.f64 re) (hypot.f64 1 (.f64 im (sqrt.f64 1/2))))) (sqrt.f64 (fma.f64 1/2 (*.f64 im im) -1)))
(/.f64 (/.f64 (.f64 (cos.f64 re) (+.f64 (.f64 (pow.f64 im 4) 1/4) -1)) 1) (fma.f64 1/2 (*.f64 im im) -1))
(/.f64 (/.f64 (.f64 (cos.f64 re) (+.f64 (.f64 (pow.f64 im 4) 1/4) -1)) (sqrt.f64 (fma.f64 1/2 (.f64 im im) -1))) (sqrt.f64 (fma.f64 1/2 (.f64 im im) -1)))
(/.f64 (/.f64 (.f64 (cos.f64 re) (+.f64 (.f64 (pow.f64 im 4) 1/4) -1)) (.f64 (cbrt.f64 (fma.f64 1/2 (.f64 im im) -1)) (cbrt.f64 (fma.f64 1/2 (.f64 im im) -1)))) (cbrt.f64 (fma.f64 1/2 (.f64 im im) -1)))
(/.f64 (/.f64 (.f64 (cos.f64 re) (+.f64 (.f64 (pow.f64 im 4) 1/4) -1)) (+.f64 1 (.f64 im (sqrt.f64 1/2)))) (-.f64 (.f64 im (sqrt.f64 1/2)) 1))
(/.f64 (/.f64 (.f64 (cos.f64 re) (+.f64 1 (.f64 (pow.f64 im 6) 1/8))) 1) (+.f64 1 (.f64 (.f64 im im) (-.f64 (pow.f64 (*.f64 1/2 im) 2) 1/2))))
(/.f64 (/.f64 (.f64 (cos.f64 re) (+.f64 1 (.f64 (pow.f64 im 6) 1/8))) (sqrt.f64 (+.f64 1 (.f64 (.f64 im im) (-.f64 (pow.f64 (.f64 1/2 im) 2) 1/2))))) (sqrt.f64 (+.f64 1 (.f64 (.f64 im im) (-.f64 (pow.f64 (.f64 1/2 im) 2) 1/2)))))
(/.f64 (/.f64 (.f64 (cos.f64 re) (+.f64 1 (.f64 (pow.f64 im 6) 1/8))) (.f64 (cbrt.f64 (+.f64 1 (.f64 (.f64 im im) (-.f64 (pow.f64 (.f64 1/2 im) 2) 1/2)))) (cbrt.f64 (+.f64 1 (.f64 (.f64 im im) (-.f64 (pow.f64 (.f64 1/2 im) 2) 1/2)))))) (cbrt.f64 (+.f64 1 (.f64 (.f64 im im) (-.f64 (pow.f64 (.f64 1/2 im) 2) 1/2)))))
(/.f64 (-.f64 (pow.f64 (cos.f64 re) 2) (.f64 (.f64 (.f64 im (.f64 1/2 im)) (cos.f64 re)) (.f64 (.f64 im (.f64 1/2 im)) (cos.f64 re)))) (-.f64 (cos.f64 re) (.f64 (.f64 im (.f64 1/2 im)) (cos.f64 re))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 im (.f64 1/2 im)) (cos.f64 re)) (.f64 (.f64 im (.f64 1/2 im)) (cos.f64 re))) (pow.f64 (cos.f64 re) 2)) (-.f64 (.f64 (.f64 im (.f64 1/2 im)) (cos.f64 re)) (cos.f64 re)))
(pow.f64 (.f64 (fma.f64 (.f64 1/2 im) im 1) (cos.f64 re)) 1)
(pow.f64 (sqrt.f64 (.f64 (fma.f64 (.f64 1/2 im) im 1) (cos.f64 re))) 2)
(pow.f64 (cbrt.f64 (.f64 (fma.f64 (.f64 1/2 im) im 1) (cos.f64 re))) 3)
(pow.f64 (pow.f64 (.f64 (fma.f64 (.f64 1/2 im) im 1) (cos.f64 re)) 3) 1/3)
(sqrt.f64 (pow.f64 (.f64 (fma.f64 (.f64 1/2 im) im 1) (cos.f64 re)) 2))
(log.f64 (pow.f64 (exp.f64 (cos.f64 re)) (fma.f64 (*.f64 1/2 im) im 1)))
(log.f64 (+.f64 1 (expm1.f64 (.f64 (fma.f64 (.f64 1/2 im) im 1) (cos.f64 re)))))
(cbrt.f64 (pow.f64 (.f64 (fma.f64 (.f64 1/2 im) im 1) (cos.f64 re)) 3))
(cbrt.f64 (.f64 (pow.f64 (cos.f64 re) 3) (pow.f64 (fma.f64 (.f64 1/2 im) im 1) 3)))
(expm1.f64 (log1p.f64 (.f64 (fma.f64 (.f64 1/2 im) im 1) (cos.f64 re))))
(exp.f64 (log.f64 (.f64 (fma.f64 (.f64 1/2 im) im 1) (cos.f64 re))))
(log1p.f64 (expm1.f64 (.f64 (fma.f64 (.f64 1/2 im) im 1) (cos.f64 re))))

Outputs
(*.f64 1/2 (pow.f64 im 2))
(.f64 1/2 (.f64 im im))
(.f64 im (.f64 1/2 im))
(*.f64 1/2 (pow.f64 im 2))
(.f64 1/2 (.f64 im im))
(.f64 im (.f64 1/2 im))
(*.f64 1/2 (pow.f64 im 2))
(.f64 1/2 (.f64 im im))
(.f64 im (.f64 1/2 im))
(*.f64 1/2 (pow.f64 im 2))
(.f64 1/2 (.f64 im im))
(.f64 im (.f64 1/2 im))
(*.f64 1/2 (pow.f64 im 2))
(.f64 1/2 (.f64 im im))
(.f64 im (.f64 1/2 im))
(*.f64 1/2 (pow.f64 im 2))
(.f64 1/2 (.f64 im im))
(.f64 im (.f64 1/2 im))
(*.f64 1/2 (pow.f64 im 2))
(.f64 1/2 (.f64 im im))
(.f64 im (.f64 1/2 im))
(*.f64 1/2 (pow.f64 im 2))
(.f64 1/2 (.f64 im im))
(.f64 im (.f64 1/2 im))
(*.f64 1/2 (pow.f64 im 2))
(.f64 1/2 (.f64 im im))
(.f64 im (.f64 1/2 im))
(*.f64 1/2 (pow.f64 im 2))
(.f64 1/2 (.f64 im im))
(.f64 im (.f64 1/2 im))
(*.f64 1/2 (pow.f64 im 2))
(.f64 1/2 (.f64 im im))
(.f64 im (.f64 1/2 im))
(*.f64 1/2 (pow.f64 im 2))
(.f64 1/2 (.f64 im im))
(.f64 im (.f64 1/2 im))
(cos.f64 re)
(+.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))) (cos.f64 re))
(fma.f64 1/2 (.f64 (.f64 im im) (cos.f64 re)) (cos.f64 re))
(.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) 1))
(+.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))) (cos.f64 re))
(fma.f64 1/2 (.f64 (.f64 im im) (cos.f64 re)) (cos.f64 re))
(.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) 1))
(+.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))) (cos.f64 re))
(fma.f64 1/2 (.f64 (.f64 im im) (cos.f64 re)) (cos.f64 re))
(.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) 1))
(.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 (*.f64 (cos.f64 re) im) im))
(.f64 1/2 (.f64 im (*.f64 im (cos.f64 re))))
(+.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))) (cos.f64 re))
(fma.f64 1/2 (.f64 (.f64 im im) (cos.f64 re)) (cos.f64 re))
(.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) 1))
(+.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))) (cos.f64 re))
(fma.f64 1/2 (.f64 (.f64 im im) (cos.f64 re)) (cos.f64 re))
(.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) 1))
(+.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))) (cos.f64 re))
(fma.f64 1/2 (.f64 (.f64 im im) (cos.f64 re)) (cos.f64 re))
(.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) 1))
(.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 (*.f64 (cos.f64 re) im) im))
(.f64 1/2 (.f64 im (*.f64 im (cos.f64 re))))
(+.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))) (cos.f64 re))
(fma.f64 1/2 (.f64 (.f64 im im) (cos.f64 re)) (cos.f64 re))
(.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) 1))
(+.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))) (cos.f64 re))
(fma.f64 1/2 (.f64 (.f64 im im) (cos.f64 re)) (cos.f64 re))
(.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) 1))
(+.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))) (cos.f64 re))
(fma.f64 1/2 (.f64 (.f64 im im) (cos.f64 re)) (cos.f64 re))
(.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) 1))
(+.f64 1 (*.f64 1/2 (pow.f64 im 2)))
(+.f64 (.f64 1/2 (.f64 im im)) 1)
(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 (.f64 -1/2 (+.f64 (.f64 1/2 (.f64 im im)) 1)) (.f64 re re))))
(+.f64 1 (fma.f64 1/2 (.f64 im im) (.f64 -1/2 (.f64 re (.f64 re (fma.f64 1/2 (*.f64 im im) 1))))))
(.f64 (+.f64 (.f64 -1/2 (.f64 re re)) 1) (fma.f64 1/2 (.f64 im im) 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 (.f64 1/2 (.f64 im im)) 1) (pow.f64 re 4)) (fma.f64 1/2 (.f64 im im) (.f64 (.f64 -1/2 (+.f64 (.f64 1/2 (.f64 im im)) 1)) (*.f64 re re)))))
(+.f64 1 (fma.f64 1/24 (.f64 (pow.f64 re 4) (fma.f64 1/2 (.f64 im im) 1)) (fma.f64 1/2 (.f64 im im) (.f64 -1/2 (.f64 re (.f64 re (fma.f64 1/2 (*.f64 im im) 1)))))))
(+.f64 (fma.f64 1/2 (.f64 im im) 1) (.f64 (fma.f64 1/2 (.f64 im im) 1) (+.f64 (.f64 -1/2 (.f64 re re)) (.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 (.f64 1/2 (.f64 im im)) 1) (pow.f64 re 4)) (fma.f64 1/2 (.f64 im im) (fma.f64 -1/2 (.f64 (+.f64 (.f64 1/2 (.f64 im im)) 1) (.f64 re re)) (.f64 (.f64 -1/720 (+.f64 (.f64 1/2 (.f64 im im)) 1)) (pow.f64 re 6))))))
(+.f64 1 (fma.f64 1/24 (.f64 (pow.f64 re 4) (fma.f64 1/2 (.f64 im im) 1)) (fma.f64 1/2 (.f64 im im) (fma.f64 -1/2 (.f64 re (.f64 re (fma.f64 1/2 (.f64 im im) 1))) (.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)))))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(fma.f64 1/2 (.f64 (.f64 im im) (cos.f64 re)) (cos.f64 re))
(.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) 1))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(fma.f64 1/2 (.f64 (.f64 im im) (cos.f64 re)) (cos.f64 re))
(.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) 1))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(fma.f64 1/2 (.f64 (.f64 im im) (cos.f64 re)) (cos.f64 re))
(.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) 1))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(fma.f64 1/2 (.f64 (.f64 im im) (cos.f64 re)) (cos.f64 re))
(.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) 1))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(fma.f64 1/2 (.f64 (.f64 im im) (cos.f64 re)) (cos.f64 re))
(.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) 1))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(fma.f64 1/2 (.f64 (.f64 im im) (cos.f64 re)) (cos.f64 re))
(.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) 1))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(fma.f64 1/2 (.f64 (.f64 im im) (cos.f64 re)) (cos.f64 re))
(.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) 1))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(fma.f64 1/2 (.f64 (.f64 im im) (cos.f64 re)) (cos.f64 re))
(.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) 1))
(+.f64 (.f64 im (.f64 1/2 im)) 0)
(.f64 1/2 (.f64 im im))
(.f64 im (.f64 1/2 im))
(+.f64 1 (fma.f64 1/2 (*.f64 im im) -1))
(.f64 1/2 (.f64 im im))
(.f64 im (.f64 1/2 im))
(-.f64 (fma.f64 (*.f64 1/2 im) im 1) 1)
(.f64 1/2 (.f64 im im))
(.f64 im (.f64 1/2 im))
(-.f64 (exp.f64 (log1p.f64 (fma.f64 (*.f64 1/2 im) im 1))) 2)
(+.f64 (exp.f64 (log1p.f64 (fma.f64 (*.f64 1/2 im) im 1))) -2)
(+.f64 (exp.f64 (log1p.f64 (fma.f64 1/2 (*.f64 im im) 1))) -2)
(-.f64 (/.f64 (pow.f64 im 4) (/.f64 (fma.f64 1/2 (.f64 im im) -1) 1/4)) (+.f64 (/.f64 1 (fma.f64 1/2 (.f64 im im) -1)) 1))
(-.f64 (.f64 (/.f64 (pow.f64 im 4) (fma.f64 1/2 (.f64 im im) -1)) 1/4) (+.f64 1 (/.f64 1 (fma.f64 1/2 (*.f64 im im) -1))))
(+.f64 (-.f64 (/.f64 (.f64 (pow.f64 im 4) 1/4) (fma.f64 1/2 (.f64 im im) -1)) (/.f64 1 (fma.f64 1/2 (*.f64 im im) -1))) -1)
(+.f64 -1 (fma.f64 (/.f64 (pow.f64 im 4) (fma.f64 1/2 (.f64 im im) -1)) 1/4 (/.f64 -1 (fma.f64 1/2 (.f64 im im) -1))))
(pow.f64 (.f64 im (.f64 1/2 im)) 1)
(.f64 1/2 (.f64 im im))
(.f64 im (.f64 1/2 im))
(pow.f64 (*.f64 im (sqrt.f64 1/2)) 2)
(pow.f64 (cbrt.f64 (.f64 im (.f64 1/2 im))) 3)
(.f64 1/2 (.f64 im im))
(.f64 im (.f64 1/2 im))
(pow.f64 (*.f64 (pow.f64 im 6) 1/8) 1/3)
(cbrt.f64 (*.f64 (pow.f64 im 6) 1/8))
(sqrt.f64 (*.f64 (pow.f64 im 4) 1/4))
(log.f64 (pow.f64 (pow.f64 (exp.f64 im) im) 1/2))
(log.f64 (sqrt.f64 (pow.f64 (exp.f64 im) im)))
(log.f64 (+.f64 1 (expm1.f64 (.f64 im (.f64 1/2 im)))))
(.f64 1/2 (.f64 im im))
(.f64 im (.f64 1/2 im))
(cbrt.f64 (*.f64 (pow.f64 im 6) 1/8))
(expm1.f64 (log1p.f64 (.f64 im (.f64 1/2 im))))
(.f64 1/2 (.f64 im im))
(.f64 im (.f64 1/2 im))
(exp.f64 (log.f64 (.f64 im (.f64 1/2 im))))
(.f64 1/2 (.f64 im im))
(.f64 im (.f64 1/2 im))
(log1p.f64 (expm1.f64 (.f64 im (.f64 1/2 im))))
(.f64 1/2 (.f64 im im))
(.f64 im (.f64 1/2 im))
(+.f64 (cos.f64 re) (.f64 (.f64 im (*.f64 1/2 im)) (cos.f64 re)))
(fma.f64 1/2 (.f64 (.f64 im im) (cos.f64 re)) (cos.f64 re))
(.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) 1))
(+.f64 (cos.f64 re) (.f64 1 (.f64 (.f64 im (.f64 1/2 im)) (cos.f64 re))))
(fma.f64 1/2 (.f64 (.f64 im im) (cos.f64 re)) (cos.f64 re))
(.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) 1))
(+.f64 (cos.f64 re) (.f64 (.f64 (.f64 im (.f64 1/2 im)) (cos.f64 re)) 1))
(fma.f64 1/2 (.f64 (.f64 im im) (cos.f64 re)) (cos.f64 re))
(.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) 1))
(+.f64 (.f64 (.f64 im (*.f64 1/2 im)) (cos.f64 re)) (cos.f64 re))
(fma.f64 1/2 (.f64 (.f64 im im) (cos.f64 re)) (cos.f64 re))
(.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) 1))
(+.f64 (.f64 1 (.f64 (.f64 im (.f64 1/2 im)) (cos.f64 re))) (cos.f64 re))
(fma.f64 1/2 (.f64 (.f64 im im) (cos.f64 re)) (cos.f64 re))
(.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) 1))
(+.f64 (.f64 (.f64 (.f64 im (.f64 1/2 im)) (cos.f64 re)) 1) (cos.f64 re))
(fma.f64 1/2 (.f64 (.f64 im im) (cos.f64 re)) (cos.f64 re))
(.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) 1))
(-.f64 (exp.f64 (log1p.f64 (cos.f64 re))) (-.f64 1 (.f64 (.f64 im (*.f64 1/2 im)) (cos.f64 re))))
(+.f64 (-.f64 (exp.f64 (log1p.f64 (cos.f64 re))) 1) (.f64 im (.f64 (*.f64 1/2 im) (cos.f64 re))))
(fma.f64 im (.f64 im (.f64 1/2 (cos.f64 re))) (expm1.f64 (log1p.f64 (cos.f64 re))))
(fma.f64 im (.f64 1/2 (.f64 im (cos.f64 re))) (expm1.f64 (log1p.f64 (cos.f64 re))))
(-.f64 (exp.f64 (log1p.f64 (.f64 (fma.f64 (.f64 1/2 im) im 1) (cos.f64 re)))) 1)
(fma.f64 1/2 (.f64 (.f64 im im) (cos.f64 re)) (cos.f64 re))
(.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) 1))
(-.f64 (+.f64 (.f64 (.f64 im (*.f64 1/2 im)) (cos.f64 re)) (exp.f64 (log1p.f64 (cos.f64 re)))) 1)
(+.f64 (-.f64 (exp.f64 (log1p.f64 (cos.f64 re))) 1) (.f64 im (.f64 (*.f64 1/2 im) (cos.f64 re))))
(fma.f64 im (.f64 im (.f64 1/2 (cos.f64 re))) (expm1.f64 (log1p.f64 (cos.f64 re))))
(fma.f64 im (.f64 1/2 (.f64 im (cos.f64 re))) (expm1.f64 (log1p.f64 (cos.f64 re))))
(/.f64 (cos.f64 re) (/.f64 1 (fma.f64 (*.f64 1/2 im) im 1)))
(fma.f64 1/2 (.f64 (.f64 im im) (cos.f64 re)) (cos.f64 re))
(.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) 1))
(/.f64 (+.f64 (.f64 (pow.f64 im 4) 1/4) -1) (/.f64 (fma.f64 1/2 (.f64 im im) -1) (cos.f64 re)))
(.f64 (/.f64 (fma.f64 (pow.f64 im 4) 1/4 -1) (fma.f64 1/2 (.f64 im im) -1)) (cos.f64 re))
(.f64 (/.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) -1)) (fma.f64 (pow.f64 im 4) 1/4 -1))
(.f64 (cos.f64 re) (/.f64 (fma.f64 (pow.f64 im 4) 1/4 -1) (fma.f64 1/2 (.f64 im im) -1)))
(/.f64 (+.f64 1 (.f64 (pow.f64 im 6) 1/8)) (/.f64 (+.f64 1 (.f64 (.f64 im im) (-.f64 (pow.f64 (.f64 1/2 im) 2) 1/2))) (cos.f64 re)))
(.f64 (/.f64 (+.f64 1 (.f64 (pow.f64 im 6) 1/8)) (+.f64 1 (.f64 im (.f64 im (+.f64 (pow.f64 (*.f64 1/2 im) 2) -1/2))))) (cos.f64 re))
(.f64 (/.f64 (cos.f64 re) (fma.f64 im (.f64 im (+.f64 -1/2 (.f64 (.f64 im im) 1/4))) 1)) (fma.f64 (pow.f64 im 6) 1/8 1))
(.f64 (fma.f64 (pow.f64 im 6) 1/8 1) (/.f64 (cos.f64 re) (fma.f64 (.f64 im im) (+.f64 -1/2 (.f64 (.f64 im im) 1/4)) 1)))
(/.f64 (.f64 (cos.f64 re) (+.f64 (.f64 (pow.f64 im 4) 1/4) -1)) (fma.f64 1/2 (*.f64 im im) -1))
(.f64 (/.f64 (fma.f64 (pow.f64 im 4) 1/4 -1) (fma.f64 1/2 (.f64 im im) -1)) (cos.f64 re))
(.f64 (/.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) -1)) (fma.f64 (pow.f64 im 4) 1/4 -1))
(.f64 (cos.f64 re) (/.f64 (fma.f64 (pow.f64 im 4) 1/4 -1) (fma.f64 1/2 (.f64 im im) -1)))
(/.f64 (.f64 (cos.f64 re) (+.f64 1 (.f64 (pow.f64 im 6) 1/8))) (+.f64 1 (.f64 (.f64 im im) (-.f64 (pow.f64 (*.f64 1/2 im) 2) 1/2))))
(.f64 (/.f64 (+.f64 1 (.f64 (pow.f64 im 6) 1/8)) (+.f64 1 (.f64 im (.f64 im (+.f64 (pow.f64 (*.f64 1/2 im) 2) -1/2))))) (cos.f64 re))
(.f64 (/.f64 (cos.f64 re) (fma.f64 im (.f64 im (+.f64 -1/2 (.f64 (.f64 im im) 1/4))) 1)) (fma.f64 (pow.f64 im 6) 1/8 1))
(.f64 (fma.f64 (pow.f64 im 6) 1/8 1) (/.f64 (cos.f64 re) (fma.f64 (.f64 im im) (+.f64 -1/2 (.f64 (.f64 im im) 1/4)) 1)))
(/.f64 (.f64 1 (.f64 (cos.f64 re) (+.f64 (.f64 (pow.f64 im 4) 1/4) -1))) (fma.f64 1/2 (.f64 im im) -1))
(.f64 (/.f64 (fma.f64 (pow.f64 im 4) 1/4 -1) (fma.f64 1/2 (.f64 im im) -1)) (cos.f64 re))
(.f64 (/.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) -1)) (fma.f64 (pow.f64 im 4) 1/4 -1))
(.f64 (cos.f64 re) (/.f64 (fma.f64 (pow.f64 im 4) 1/4 -1) (fma.f64 1/2 (.f64 im im) -1)))
(/.f64 (.f64 1 (.f64 (cos.f64 re) (+.f64 1 (.f64 (pow.f64 im 6) 1/8)))) (+.f64 1 (.f64 (.f64 im im) (-.f64 (pow.f64 (.f64 1/2 im) 2) 1/2))))
(.f64 (/.f64 (+.f64 1 (.f64 (pow.f64 im 6) 1/8)) (+.f64 1 (.f64 im (.f64 im (+.f64 (pow.f64 (*.f64 1/2 im) 2) -1/2))))) (cos.f64 re))
(.f64 (/.f64 (cos.f64 re) (fma.f64 im (.f64 im (+.f64 -1/2 (.f64 (.f64 im im) 1/4))) 1)) (fma.f64 (pow.f64 im 6) 1/8 1))
(.f64 (fma.f64 (pow.f64 im 6) 1/8 1) (/.f64 (cos.f64 re) (fma.f64 (.f64 im im) (+.f64 -1/2 (.f64 (.f64 im im) 1/4)) 1)))
(/.f64 (.f64 (cos.f64 re) (+.f64 1 (.f64 -1/4 (pow.f64 im 4)))) (-.f64 1 (.f64 im (.f64 1/2 im))))
(/.f64 (cos.f64 re) (/.f64 (-.f64 1 (.f64 im (.f64 1/2 im))) (+.f64 1 (*.f64 (pow.f64 im 4) -1/4))))
(.f64 (/.f64 (cos.f64 re) (-.f64 1 (.f64 im (*.f64 1/2 im)))) (fma.f64 (pow.f64 im 4) -1/4 1))
(/.f64 (cos.f64 re) (/.f64 (+.f64 1 (.f64 (.f64 im im) -1/2)) (fma.f64 (pow.f64 im 4) -1/4 1)))
(/.f64 (.f64 (cos.f64 re) (+.f64 (neg.f64 (.f64 (pow.f64 im 4) 1/4)) 1)) (-.f64 1 (.f64 im (.f64 1/2 im))))
(/.f64 (cos.f64 re) (/.f64 (-.f64 1 (.f64 im (.f64 1/2 im))) (+.f64 1 (*.f64 (pow.f64 im 4) -1/4))))
(.f64 (/.f64 (cos.f64 re) (-.f64 1 (.f64 im (*.f64 1/2 im)))) (fma.f64 (pow.f64 im 4) -1/4 1))
(/.f64 (cos.f64 re) (/.f64 (+.f64 1 (.f64 (.f64 im im) -1/2)) (fma.f64 (pow.f64 im 4) -1/4 1)))
(/.f64 (.f64 (cos.f64 re) (neg.f64 (+.f64 1 (.f64 (pow.f64 im 6) 1/8)))) (neg.f64 (+.f64 1 (.f64 (.f64 im im) (-.f64 (pow.f64 (*.f64 1/2 im) 2) 1/2)))))
(.f64 (/.f64 (+.f64 1 (.f64 (pow.f64 im 6) 1/8)) (+.f64 1 (.f64 im (.f64 im (+.f64 (pow.f64 (*.f64 1/2 im) 2) -1/2))))) (cos.f64 re))
(.f64 (/.f64 (cos.f64 re) (fma.f64 im (.f64 im (+.f64 -1/2 (.f64 (.f64 im im) 1/4))) 1)) (fma.f64 (pow.f64 im 6) 1/8 1))
(.f64 (fma.f64 (pow.f64 im 6) 1/8 1) (/.f64 (cos.f64 re) (fma.f64 (.f64 im im) (+.f64 -1/2 (.f64 (.f64 im im) 1/4)) 1)))
(/.f64 (.f64 (.f64 (cos.f64 re) (hypot.f64 1 (.f64 im (sqrt.f64 1/2)))) (sqrt.f64 (+.f64 1 (.f64 (pow.f64 im 6) 1/8)))) (sqrt.f64 (+.f64 1 (.f64 (.f64 im im) (-.f64 (pow.f64 (*.f64 1/2 im) 2) 1/2)))))
(/.f64 (.f64 (cos.f64 re) (hypot.f64 1 (.f64 im (sqrt.f64 1/2)))) (/.f64 (sqrt.f64 (+.f64 1 (.f64 im (.f64 im (+.f64 (pow.f64 (.f64 1/2 im) 2) -1/2))))) (sqrt.f64 (+.f64 1 (.f64 (pow.f64 im 6) 1/8)))))
(.f64 (/.f64 (.f64 (cos.f64 re) (hypot.f64 1 (.f64 im (sqrt.f64 1/2)))) (sqrt.f64 (fma.f64 im (.f64 im (+.f64 -1/2 (.f64 (.f64 im im) 1/4))) 1))) (sqrt.f64 (fma.f64 (pow.f64 im 6) 1/8 1)))
(.f64 (.f64 (cos.f64 re) (hypot.f64 1 (.f64 im (sqrt.f64 1/2)))) (/.f64 (sqrt.f64 (fma.f64 (pow.f64 im 6) 1/8 1)) (sqrt.f64 (fma.f64 (.f64 im im) (+.f64 -1/2 (.f64 (.f64 im im) 1/4)) 1))))
(/.f64 (.f64 (.f64 (cos.f64 re) (hypot.f64 1 (.f64 im (sqrt.f64 1/2)))) (sqrt.f64 (+.f64 (.f64 (pow.f64 im 4) 1/4) -1))) (sqrt.f64 (fma.f64 1/2 (*.f64 im im) -1)))
(/.f64 (.f64 (cos.f64 re) (.f64 (hypot.f64 1 (.f64 im (sqrt.f64 1/2))) (sqrt.f64 (fma.f64 (pow.f64 im 4) 1/4 -1)))) (sqrt.f64 (fma.f64 1/2 (.f64 im im) -1)))
(.f64 (/.f64 (.f64 (cos.f64 re) (hypot.f64 1 (.f64 im (sqrt.f64 1/2)))) (sqrt.f64 (fma.f64 1/2 (.f64 im im) -1))) (sqrt.f64 (fma.f64 (pow.f64 im 4) 1/4 -1)))
(.f64 (sqrt.f64 (fma.f64 (pow.f64 im 4) 1/4 -1)) (/.f64 (cos.f64 re) (/.f64 (sqrt.f64 (fma.f64 1/2 (.f64 im im) -1)) (hypot.f64 1 (*.f64 im (sqrt.f64 1/2))))))
(/.f64 (.f64 (.f64 (cos.f64 re) (pow.f64 (cbrt.f64 (fma.f64 (.f64 1/2 im) im 1)) 2)) (cbrt.f64 (+.f64 1 (.f64 (pow.f64 im 6) 1/8)))) (cbrt.f64 (+.f64 1 (.f64 (.f64 im im) (-.f64 (pow.f64 (*.f64 1/2 im) 2) 1/2)))))
(/.f64 (.f64 (cos.f64 re) (pow.f64 (cbrt.f64 (fma.f64 (.f64 1/2 im) im 1)) 2)) (/.f64 (cbrt.f64 (+.f64 1 (.f64 im (.f64 im (+.f64 (pow.f64 (.f64 1/2 im) 2) -1/2))))) (cbrt.f64 (+.f64 1 (.f64 (pow.f64 im 6) 1/8)))))
(/.f64 (.f64 (cos.f64 re) (pow.f64 (cbrt.f64 (fma.f64 1/2 (.f64 im im) 1)) 2)) (/.f64 (cbrt.f64 (fma.f64 im (.f64 im (+.f64 -1/2 (.f64 (*.f64 im im) 1/4))) 1)) (cbrt.f64 (fma.f64 (pow.f64 im 6) 1/8 1))))
(/.f64 (pow.f64 (cbrt.f64 (fma.f64 1/2 (.f64 im im) 1)) 2) (/.f64 (cbrt.f64 (fma.f64 (.f64 im im) (+.f64 -1/2 (.f64 (.f64 im im) 1/4)) 1)) (*.f64 (cos.f64 re) (cbrt.f64 (fma.f64 (pow.f64 im 6) 1/8 1)))))
(/.f64 (.f64 (.f64 (cos.f64 re) (pow.f64 (cbrt.f64 (fma.f64 (.f64 1/2 im) im 1)) 2)) (cbrt.f64 (+.f64 (.f64 (pow.f64 im 4) 1/4) -1))) (cbrt.f64 (fma.f64 1/2 (*.f64 im im) -1)))
(/.f64 (.f64 (cos.f64 re) (pow.f64 (cbrt.f64 (fma.f64 (.f64 1/2 im) im 1)) 2)) (/.f64 (cbrt.f64 (fma.f64 1/2 (*.f64 im im) -1)) (cbrt.f64 (fma.f64 (pow.f64 im 4) 1/4 -1))))
(.f64 (/.f64 (.f64 (cos.f64 re) (pow.f64 (cbrt.f64 (fma.f64 1/2 (.f64 im im) 1)) 2)) (cbrt.f64 (fma.f64 1/2 (.f64 im im) -1))) (cbrt.f64 (fma.f64 (pow.f64 im 4) 1/4 -1)))
(.f64 (cbrt.f64 (fma.f64 (pow.f64 im 4) 1/4 -1)) (/.f64 (cos.f64 re) (/.f64 (cbrt.f64 (fma.f64 1/2 (.f64 im im) -1)) (pow.f64 (cbrt.f64 (fma.f64 1/2 (*.f64 im im) 1)) 2))))
(/.f64 (.f64 (+.f64 1 (.f64 -1/4 (pow.f64 im 4))) (cos.f64 re)) (-.f64 1 (.f64 im (.f64 1/2 im))))
(/.f64 (cos.f64 re) (/.f64 (-.f64 1 (.f64 im (.f64 1/2 im))) (+.f64 1 (*.f64 (pow.f64 im 4) -1/4))))
(.f64 (/.f64 (cos.f64 re) (-.f64 1 (.f64 im (*.f64 1/2 im)))) (fma.f64 (pow.f64 im 4) -1/4 1))
(/.f64 (cos.f64 re) (/.f64 (+.f64 1 (.f64 (.f64 im im) -1/2)) (fma.f64 (pow.f64 im 4) -1/4 1)))
(/.f64 (.f64 (+.f64 (neg.f64 (.f64 (pow.f64 im 4) 1/4)) 1) (cos.f64 re)) (-.f64 1 (.f64 im (.f64 1/2 im))))
(/.f64 (cos.f64 re) (/.f64 (-.f64 1 (.f64 im (.f64 1/2 im))) (+.f64 1 (*.f64 (pow.f64 im 4) -1/4))))
(.f64 (/.f64 (cos.f64 re) (-.f64 1 (.f64 im (*.f64 1/2 im)))) (fma.f64 (pow.f64 im 4) -1/4 1))
(/.f64 (cos.f64 re) (/.f64 (+.f64 1 (.f64 (.f64 im im) -1/2)) (fma.f64 (pow.f64 im 4) -1/4 1)))
(/.f64 (.f64 (neg.f64 (+.f64 1 (.f64 (pow.f64 im 6) 1/8))) (cos.f64 re)) (neg.f64 (+.f64 1 (.f64 (.f64 im im) (-.f64 (pow.f64 (*.f64 1/2 im) 2) 1/2)))))
(.f64 (/.f64 (+.f64 1 (.f64 (pow.f64 im 6) 1/8)) (+.f64 1 (.f64 im (.f64 im (+.f64 (pow.f64 (*.f64 1/2 im) 2) -1/2))))) (cos.f64 re))
(.f64 (/.f64 (cos.f64 re) (fma.f64 im (.f64 im (+.f64 -1/2 (.f64 (.f64 im im) 1/4))) 1)) (fma.f64 (pow.f64 im 6) 1/8 1))
(.f64 (fma.f64 (pow.f64 im 6) 1/8 1) (/.f64 (cos.f64 re) (fma.f64 (.f64 im im) (+.f64 -1/2 (.f64 (.f64 im im) 1/4)) 1)))
(/.f64 (.f64 (.f64 (cos.f64 re) (+.f64 (.f64 (pow.f64 im 4) 1/4) -1)) 1) (fma.f64 1/2 (.f64 im im) -1))
(.f64 (/.f64 (fma.f64 (pow.f64 im 4) 1/4 -1) (fma.f64 1/2 (.f64 im im) -1)) (cos.f64 re))
(.f64 (/.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) -1)) (fma.f64 (pow.f64 im 4) 1/4 -1))
(.f64 (cos.f64 re) (/.f64 (fma.f64 (pow.f64 im 4) 1/4 -1) (fma.f64 1/2 (.f64 im im) -1)))
(/.f64 (.f64 (.f64 (cos.f64 re) (+.f64 1 (.f64 (pow.f64 im 6) 1/8))) 1) (+.f64 1 (.f64 (.f64 im im) (-.f64 (pow.f64 (.f64 1/2 im) 2) 1/2))))
(.f64 (/.f64 (+.f64 1 (.f64 (pow.f64 im 6) 1/8)) (+.f64 1 (.f64 im (.f64 im (+.f64 (pow.f64 (*.f64 1/2 im) 2) -1/2))))) (cos.f64 re))
(.f64 (/.f64 (cos.f64 re) (fma.f64 im (.f64 im (+.f64 -1/2 (.f64 (.f64 im im) 1/4))) 1)) (fma.f64 (pow.f64 im 6) 1/8 1))
(.f64 (fma.f64 (pow.f64 im 6) 1/8 1) (/.f64 (cos.f64 re) (fma.f64 (.f64 im im) (+.f64 -1/2 (.f64 (.f64 im im) 1/4)) 1)))
(/.f64 (.f64 (sqrt.f64 (+.f64 1 (.f64 (pow.f64 im 6) 1/8))) (.f64 (cos.f64 re) (hypot.f64 1 (.f64 im (sqrt.f64 1/2))))) (sqrt.f64 (+.f64 1 (.f64 (.f64 im im) (-.f64 (pow.f64 (*.f64 1/2 im) 2) 1/2)))))
(/.f64 (.f64 (cos.f64 re) (hypot.f64 1 (.f64 im (sqrt.f64 1/2)))) (/.f64 (sqrt.f64 (+.f64 1 (.f64 im (.f64 im (+.f64 (pow.f64 (.f64 1/2 im) 2) -1/2))))) (sqrt.f64 (+.f64 1 (.f64 (pow.f64 im 6) 1/8)))))
(.f64 (/.f64 (.f64 (cos.f64 re) (hypot.f64 1 (.f64 im (sqrt.f64 1/2)))) (sqrt.f64 (fma.f64 im (.f64 im (+.f64 -1/2 (.f64 (.f64 im im) 1/4))) 1))) (sqrt.f64 (fma.f64 (pow.f64 im 6) 1/8 1)))
(.f64 (.f64 (cos.f64 re) (hypot.f64 1 (.f64 im (sqrt.f64 1/2)))) (/.f64 (sqrt.f64 (fma.f64 (pow.f64 im 6) 1/8 1)) (sqrt.f64 (fma.f64 (.f64 im im) (+.f64 -1/2 (.f64 (.f64 im im) 1/4)) 1))))
(/.f64 (.f64 (sqrt.f64 (+.f64 (.f64 (pow.f64 im 4) 1/4) -1)) (.f64 (cos.f64 re) (hypot.f64 1 (.f64 im (sqrt.f64 1/2))))) (sqrt.f64 (fma.f64 1/2 (*.f64 im im) -1)))
(/.f64 (.f64 (cos.f64 re) (.f64 (hypot.f64 1 (.f64 im (sqrt.f64 1/2))) (sqrt.f64 (fma.f64 (pow.f64 im 4) 1/4 -1)))) (sqrt.f64 (fma.f64 1/2 (.f64 im im) -1)))
(.f64 (/.f64 (.f64 (cos.f64 re) (hypot.f64 1 (.f64 im (sqrt.f64 1/2)))) (sqrt.f64 (fma.f64 1/2 (.f64 im im) -1))) (sqrt.f64 (fma.f64 (pow.f64 im 4) 1/4 -1)))
(.f64 (sqrt.f64 (fma.f64 (pow.f64 im 4) 1/4 -1)) (/.f64 (cos.f64 re) (/.f64 (sqrt.f64 (fma.f64 1/2 (.f64 im im) -1)) (hypot.f64 1 (*.f64 im (sqrt.f64 1/2))))))
(/.f64 (/.f64 (.f64 (cos.f64 re) (+.f64 (.f64 (pow.f64 im 4) 1/4) -1)) 1) (fma.f64 1/2 (*.f64 im im) -1))
(.f64 (/.f64 (fma.f64 (pow.f64 im 4) 1/4 -1) (fma.f64 1/2 (.f64 im im) -1)) (cos.f64 re))
(.f64 (/.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) -1)) (fma.f64 (pow.f64 im 4) 1/4 -1))
(.f64 (cos.f64 re) (/.f64 (fma.f64 (pow.f64 im 4) 1/4 -1) (fma.f64 1/2 (.f64 im im) -1)))
(/.f64 (/.f64 (.f64 (cos.f64 re) (+.f64 (.f64 (pow.f64 im 4) 1/4) -1)) (sqrt.f64 (fma.f64 1/2 (.f64 im im) -1))) (sqrt.f64 (fma.f64 1/2 (.f64 im im) -1)))
(.f64 (/.f64 (fma.f64 (pow.f64 im 4) 1/4 -1) (fma.f64 1/2 (.f64 im im) -1)) (cos.f64 re))
(.f64 (/.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) -1)) (fma.f64 (pow.f64 im 4) 1/4 -1))
(.f64 (cos.f64 re) (/.f64 (fma.f64 (pow.f64 im 4) 1/4 -1) (fma.f64 1/2 (.f64 im im) -1)))
(/.f64 (/.f64 (.f64 (cos.f64 re) (+.f64 (.f64 (pow.f64 im 4) 1/4) -1)) (.f64 (cbrt.f64 (fma.f64 1/2 (.f64 im im) -1)) (cbrt.f64 (fma.f64 1/2 (.f64 im im) -1)))) (cbrt.f64 (fma.f64 1/2 (.f64 im im) -1)))
(.f64 (/.f64 (fma.f64 (pow.f64 im 4) 1/4 -1) (fma.f64 1/2 (.f64 im im) -1)) (cos.f64 re))
(.f64 (/.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) -1)) (fma.f64 (pow.f64 im 4) 1/4 -1))
(.f64 (cos.f64 re) (/.f64 (fma.f64 (pow.f64 im 4) 1/4 -1) (fma.f64 1/2 (.f64 im im) -1)))
(/.f64 (/.f64 (.f64 (cos.f64 re) (+.f64 (.f64 (pow.f64 im 4) 1/4) -1)) (+.f64 1 (.f64 im (sqrt.f64 1/2)))) (-.f64 (.f64 im (sqrt.f64 1/2)) 1))
(/.f64 (.f64 (cos.f64 re) (fma.f64 (pow.f64 im 4) 1/4 -1)) (.f64 (fma.f64 im (sqrt.f64 1/2) -1) (+.f64 1 (*.f64 im (sqrt.f64 1/2)))))
(*.f64 (/.f64 (cos.f64 re) (fma.f64 im (sqrt.f64 1/2) -1)) (/.f64 (fma.f64 (pow.f64 im 4) 1/4 -1) (fma.f64 im (sqrt.f64 1/2) 1)))
(/.f64 (/.f64 (.f64 (cos.f64 re) (+.f64 1 (.f64 (pow.f64 im 6) 1/8))) 1) (+.f64 1 (.f64 (.f64 im im) (-.f64 (pow.f64 (*.f64 1/2 im) 2) 1/2))))
(.f64 (/.f64 (+.f64 1 (.f64 (pow.f64 im 6) 1/8)) (+.f64 1 (.f64 im (.f64 im (+.f64 (pow.f64 (*.f64 1/2 im) 2) -1/2))))) (cos.f64 re))
(.f64 (/.f64 (cos.f64 re) (fma.f64 im (.f64 im (+.f64 -1/2 (.f64 (.f64 im im) 1/4))) 1)) (fma.f64 (pow.f64 im 6) 1/8 1))
(.f64 (fma.f64 (pow.f64 im 6) 1/8 1) (/.f64 (cos.f64 re) (fma.f64 (.f64 im im) (+.f64 -1/2 (.f64 (.f64 im im) 1/4)) 1)))
(/.f64 (/.f64 (.f64 (cos.f64 re) (+.f64 1 (.f64 (pow.f64 im 6) 1/8))) (sqrt.f64 (+.f64 1 (.f64 (.f64 im im) (-.f64 (pow.f64 (.f64 1/2 im) 2) 1/2))))) (sqrt.f64 (+.f64 1 (.f64 (.f64 im im) (-.f64 (pow.f64 (.f64 1/2 im) 2) 1/2)))))
(.f64 (/.f64 (+.f64 1 (.f64 (pow.f64 im 6) 1/8)) (+.f64 1 (.f64 im (.f64 im (+.f64 (pow.f64 (*.f64 1/2 im) 2) -1/2))))) (cos.f64 re))
(.f64 (/.f64 (cos.f64 re) (fma.f64 im (.f64 im (+.f64 -1/2 (.f64 (.f64 im im) 1/4))) 1)) (fma.f64 (pow.f64 im 6) 1/8 1))
(.f64 (fma.f64 (pow.f64 im 6) 1/8 1) (/.f64 (cos.f64 re) (fma.f64 (.f64 im im) (+.f64 -1/2 (.f64 (.f64 im im) 1/4)) 1)))
(/.f64 (/.f64 (.f64 (cos.f64 re) (+.f64 1 (.f64 (pow.f64 im 6) 1/8))) (.f64 (cbrt.f64 (+.f64 1 (.f64 (.f64 im im) (-.f64 (pow.f64 (.f64 1/2 im) 2) 1/2)))) (cbrt.f64 (+.f64 1 (.f64 (.f64 im im) (-.f64 (pow.f64 (.f64 1/2 im) 2) 1/2)))))) (cbrt.f64 (+.f64 1 (.f64 (.f64 im im) (-.f64 (pow.f64 (.f64 1/2 im) 2) 1/2)))))
(.f64 (/.f64 (+.f64 1 (.f64 (pow.f64 im 6) 1/8)) (+.f64 1 (.f64 im (.f64 im (+.f64 (pow.f64 (*.f64 1/2 im) 2) -1/2))))) (cos.f64 re))
(.f64 (/.f64 (cos.f64 re) (fma.f64 im (.f64 im (+.f64 -1/2 (.f64 (.f64 im im) 1/4))) 1)) (fma.f64 (pow.f64 im 6) 1/8 1))
(.f64 (fma.f64 (pow.f64 im 6) 1/8 1) (/.f64 (cos.f64 re) (fma.f64 (.f64 im im) (+.f64 -1/2 (.f64 (.f64 im im) 1/4)) 1)))
(/.f64 (-.f64 (pow.f64 (cos.f64 re) 2) (.f64 (.f64 (.f64 im (.f64 1/2 im)) (cos.f64 re)) (.f64 (.f64 im (.f64 1/2 im)) (cos.f64 re)))) (-.f64 (cos.f64 re) (.f64 (.f64 im (.f64 1/2 im)) (cos.f64 re))))
(/.f64 (-.f64 (pow.f64 (cos.f64 re) 2) (.f64 (.f64 (.f64 im (.f64 1/2 im)) (.f64 im (.f64 1/2 im))) (pow.f64 (cos.f64 re) 2))) (-.f64 (cos.f64 re) (.f64 im (.f64 (*.f64 1/2 im) (cos.f64 re)))))
(/.f64 (.f64 (cos.f64 re) (-.f64 (cos.f64 re) (.f64 (cos.f64 re) (.f64 (pow.f64 im 4) 1/4)))) (.f64 (-.f64 1 (.f64 im (.f64 1/2 im))) (cos.f64 re)))
(/.f64 (.f64 (fma.f64 (pow.f64 im 4) -1/4 1) (pow.f64 (cos.f64 re) 2)) (.f64 (cos.f64 re) (+.f64 1 (.f64 (.f64 im im) -1/2))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 im (.f64 1/2 im)) (cos.f64 re)) (.f64 (.f64 im (.f64 1/2 im)) (cos.f64 re))) (pow.f64 (cos.f64 re) 2)) (-.f64 (.f64 (.f64 im (.f64 1/2 im)) (cos.f64 re)) (cos.f64 re)))
(/.f64 (-.f64 (.f64 (.f64 (.f64 im (.f64 1/2 im)) (.f64 im (.f64 1/2 im))) (pow.f64 (cos.f64 re) 2)) (pow.f64 (cos.f64 re) 2)) (fma.f64 (.f64 im (.f64 1/2 im)) (cos.f64 re) (neg.f64 (cos.f64 re))))
(/.f64 (.f64 (cos.f64 re) (-.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 4) 1/4)) (cos.f64 re))) (-.f64 (.f64 1/2 (.f64 (.f64 (cos.f64 re) im) im)) (cos.f64 re)))
(/.f64 (.f64 (pow.f64 (cos.f64 re) 2) (fma.f64 (pow.f64 im 4) 1/4 -1)) (.f64 (cos.f64 re) (fma.f64 1/2 (*.f64 im im) -1)))
(pow.f64 (.f64 (fma.f64 (.f64 1/2 im) im 1) (cos.f64 re)) 1)
(fma.f64 1/2 (.f64 (.f64 im im) (cos.f64 re)) (cos.f64 re))
(.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) 1))
(pow.f64 (sqrt.f64 (.f64 (fma.f64 (.f64 1/2 im) im 1) (cos.f64 re))) 2)
(fma.f64 1/2 (.f64 (.f64 im im) (cos.f64 re)) (cos.f64 re))
(.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) 1))
(pow.f64 (cbrt.f64 (.f64 (fma.f64 (.f64 1/2 im) im 1) (cos.f64 re))) 3)
(fma.f64 1/2 (.f64 (.f64 im im) (cos.f64 re)) (cos.f64 re))
(.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) 1))
(pow.f64 (pow.f64 (.f64 (fma.f64 (.f64 1/2 im) im 1) (cos.f64 re)) 3) 1/3)
(fma.f64 1/2 (.f64 (.f64 im im) (cos.f64 re)) (cos.f64 re))
(.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) 1))
(sqrt.f64 (pow.f64 (.f64 (fma.f64 (.f64 1/2 im) im 1) (cos.f64 re)) 2))
(sqrt.f64 (pow.f64 (.f64 (cos.f64 re) (fma.f64 (.f64 1/2 im) im 1)) 2))
(fabs.f64 (.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) 1)))
(log.f64 (pow.f64 (exp.f64 (cos.f64 re)) (fma.f64 (*.f64 1/2 im) im 1)))
(fma.f64 1/2 (.f64 (.f64 im im) (cos.f64 re)) (cos.f64 re))
(.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) 1))
(log.f64 (+.f64 1 (expm1.f64 (.f64 (fma.f64 (.f64 1/2 im) im 1) (cos.f64 re)))))
(fma.f64 1/2 (.f64 (.f64 im im) (cos.f64 re)) (cos.f64 re))
(.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) 1))
(cbrt.f64 (pow.f64 (.f64 (fma.f64 (.f64 1/2 im) im 1) (cos.f64 re)) 3))
(fma.f64 1/2 (.f64 (.f64 im im) (cos.f64 re)) (cos.f64 re))
(.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) 1))
(cbrt.f64 (.f64 (pow.f64 (cos.f64 re) 3) (pow.f64 (fma.f64 (.f64 1/2 im) im 1) 3)))
(fma.f64 1/2 (.f64 (.f64 im im) (cos.f64 re)) (cos.f64 re))
(.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) 1))
(expm1.f64 (log1p.f64 (.f64 (fma.f64 (.f64 1/2 im) im 1) (cos.f64 re))))
(fma.f64 1/2 (.f64 (.f64 im im) (cos.f64 re)) (cos.f64 re))
(.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) 1))
(exp.f64 (log.f64 (.f64 (fma.f64 (.f64 1/2 im) im 1) (cos.f64 re))))
(fma.f64 1/2 (.f64 (.f64 im im) (cos.f64 re)) (cos.f64 re))
(.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) 1))
(log1p.f64 (expm1.f64 (.f64 (fma.f64 (.f64 1/2 im) im 1) (cos.f64 re))))
(fma.f64 1/2 (.f64 (.f64 im im) (cos.f64 re)) (cos.f64 re))
(.f64 (cos.f64 re) (fma.f64 1/2 (.f64 im im) 1))

localize11.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (cos.f64 re) (.f64 im im))

Compiler

Compiled 26 to 8 computations (69.2% saved)

series1.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite50.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

1466×	`add-sqr-sqrt`
1454×	`*-un-lft-identity`
1340×	`add-cube-cbrt`
1320×	`add-cbrt-cube`
1306×	`add-exp-log`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	157	17
2	1893	17

Stop Event

1×	node limit

Counts

1 → 12

Calls

Call 1

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

Outputs

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

simplify49.0ms (1%)

Algorithm

1×	egg-herbie

Rules

1470×	`distribute-rgt-in`
1454×	`distribute-lft-in`
1224×	`log-prod`
1016×	`associate-r`
824×	`associate-l`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	59	740
1	153	716
2	616	688
3	2791	682

Stop Event

1×	node limit

Counts

36 → 31

Calls

Call 1

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

Outputs
(pow.f64 im 2)
(*.f64 im im)
(+.f64 (pow.f64 im 2) (.f64 -1/2 (.f64 (pow.f64 re 2) (pow.f64 im 2))))
(+.f64 (.f64 im im) (.f64 -1/2 (.f64 (.f64 im im) (*.f64 re re))))
(.f64 (+.f64 (.f64 -1/2 (.f64 re re)) 1) (.f64 im im))
(.f64 (.f64 im im) (fma.f64 -1/2 (*.f64 re re) 1))
(+.f64 (.f64 1/24 (.f64 (pow.f64 re 4) (pow.f64 im 2))) (+.f64 (pow.f64 im 2) (.f64 -1/2 (.f64 (pow.f64 re 2) (pow.f64 im 2)))))
(fma.f64 1/24 (.f64 (.f64 im im) (pow.f64 re 4)) (+.f64 (.f64 im im) (.f64 -1/2 (.f64 (.f64 im im) (*.f64 re re)))))
(fma.f64 1/24 (.f64 im (.f64 im (pow.f64 re 4))) (.f64 (+.f64 (.f64 -1/2 (.f64 re re)) 1) (.f64 im im)))
(.f64 (.f64 im im) (+.f64 (.f64 -1/2 (.f64 re re)) (fma.f64 1/24 (pow.f64 re 4) 1)))
(.f64 (.f64 im im) (+.f64 (.f64 1/24 (pow.f64 re 4)) (fma.f64 -1/2 (.f64 re re) 1)))
(+.f64 (.f64 1/24 (.f64 (pow.f64 re 4) (pow.f64 im 2))) (+.f64 (pow.f64 im 2) (+.f64 (.f64 -1/2 (.f64 (pow.f64 re 2) (pow.f64 im 2))) (.f64 -1/720 (.f64 (pow.f64 re 6) (pow.f64 im 2))))))
(fma.f64 1/24 (.f64 (.f64 im im) (pow.f64 re 4)) (+.f64 (.f64 im im) (fma.f64 -1/2 (.f64 (.f64 im im) (.f64 re re)) (.f64 -1/720 (.f64 (*.f64 im im) (pow.f64 re 6))))))
(fma.f64 1/24 (.f64 im (.f64 im (pow.f64 re 4))) (fma.f64 im im (.f64 (.f64 im im) (+.f64 (.f64 -1/2 (.f64 re re)) (*.f64 -1/720 (pow.f64 re 6))))))
(fma.f64 im im (.f64 (.f64 im im) (+.f64 (fma.f64 -1/2 (.f64 re re) (.f64 -1/720 (pow.f64 re 6))) (*.f64 1/24 (pow.f64 re 4)))))
(.f64 (.f64 im im) (+.f64 (fma.f64 -1/2 (.f64 re re) (.f64 -1/720 (pow.f64 re 6))) (fma.f64 1/24 (pow.f64 re 4) 1)))
(*.f64 (cos.f64 re) (pow.f64 im 2))
(.f64 (.f64 im im) (cos.f64 re))
(.f64 im (.f64 im (cos.f64 re)))
(*.f64 (cos.f64 re) (pow.f64 im 2))
(.f64 (.f64 im im) (cos.f64 re))
(.f64 im (.f64 im (cos.f64 re)))
(*.f64 (cos.f64 re) (pow.f64 im 2))
(.f64 (.f64 im im) (cos.f64 re))
(.f64 im (.f64 im (cos.f64 re)))
(*.f64 (cos.f64 re) (pow.f64 im 2))
(.f64 (.f64 im im) (cos.f64 re))
(.f64 im (.f64 im (cos.f64 re)))
(*.f64 (cos.f64 re) (pow.f64 im 2))
(.f64 (.f64 im im) (cos.f64 re))
(.f64 im (.f64 im (cos.f64 re)))
(*.f64 (cos.f64 re) (pow.f64 im 2))
(.f64 (.f64 im im) (cos.f64 re))
(.f64 im (.f64 im (cos.f64 re)))
(*.f64 (cos.f64 re) (pow.f64 im 2))
(.f64 (.f64 im im) (cos.f64 re))
(.f64 im (.f64 im (cos.f64 re)))
(*.f64 (cos.f64 re) (pow.f64 im 2))
(.f64 (.f64 im im) (cos.f64 re))
(.f64 im (.f64 im (cos.f64 re)))
(*.f64 (cos.f64 re) (pow.f64 im 2))
(.f64 (.f64 im im) (cos.f64 re))
(.f64 im (.f64 im (cos.f64 re)))
(*.f64 (cos.f64 re) (pow.f64 im 2))
(.f64 (.f64 im im) (cos.f64 re))
(.f64 im (.f64 im (cos.f64 re)))
(*.f64 (cos.f64 re) (pow.f64 im 2))
(.f64 (.f64 im im) (cos.f64 re))
(.f64 im (.f64 im (cos.f64 re)))
(*.f64 (cos.f64 re) (pow.f64 im 2))
(.f64 (.f64 im im) (cos.f64 re))
(.f64 im (.f64 im (cos.f64 re)))
(*.f64 (cos.f64 re) (pow.f64 im 2))
(.f64 (.f64 im im) (cos.f64 re))
(.f64 im (.f64 im (cos.f64 re)))
(*.f64 (cos.f64 re) (pow.f64 im 2))
(.f64 (.f64 im im) (cos.f64 re))
(.f64 im (.f64 im (cos.f64 re)))
(*.f64 (cos.f64 re) (pow.f64 im 2))
(.f64 (.f64 im im) (cos.f64 re))
(.f64 im (.f64 im (cos.f64 re)))
(*.f64 (cos.f64 re) (pow.f64 im 2))
(.f64 (.f64 im im) (cos.f64 re))
(.f64 im (.f64 im (cos.f64 re)))
(*.f64 (cos.f64 re) (pow.f64 im 2))
(.f64 (.f64 im im) (cos.f64 re))
(.f64 im (.f64 im (cos.f64 re)))
(*.f64 (cos.f64 re) (pow.f64 im 2))
(.f64 (.f64 im im) (cos.f64 re))
(.f64 im (.f64 im (cos.f64 re)))
(*.f64 (cos.f64 re) (pow.f64 im 2))
(.f64 (.f64 im im) (cos.f64 re))
(.f64 im (.f64 im (cos.f64 re)))
(*.f64 (cos.f64 re) (pow.f64 im 2))
(.f64 (.f64 im im) (cos.f64 re))
(.f64 im (.f64 im (cos.f64 re)))
(-.f64 (+.f64 1 (.f64 (cos.f64 re) (.f64 im im))) 1)
(.f64 (.f64 im im) (cos.f64 re))
(.f64 im (.f64 im (cos.f64 re)))
(pow.f64 (.f64 (cos.f64 re) (.f64 im im)) 1)
(.f64 (.f64 im im) (cos.f64 re))
(.f64 im (.f64 im (cos.f64 re)))
(pow.f64 (*.f64 im (sqrt.f64 (cos.f64 re))) 2)
(.f64 (.f64 im im) (cos.f64 re))
(.f64 im (.f64 im (cos.f64 re)))
(pow.f64 (cbrt.f64 (.f64 (cos.f64 re) (.f64 im im))) 3)
(.f64 (.f64 im im) (cos.f64 re))
(.f64 im (.f64 im (cos.f64 re)))
(pow.f64 (pow.f64 (.f64 (cos.f64 re) (.f64 im im)) 3) 1/3)
(.f64 (.f64 im im) (cos.f64 re))
(.f64 im (.f64 im (cos.f64 re)))
(sqrt.f64 (*.f64 (pow.f64 (cos.f64 re) 2) (pow.f64 im 4)))
(.f64 (.f64 im im) (cos.f64 re))
(.f64 im (.f64 im (cos.f64 re)))
(log.f64 (pow.f64 (exp.f64 (cos.f64 re)) (*.f64 im im)))
(.f64 (.f64 im im) (cos.f64 re))
(.f64 im (.f64 im (cos.f64 re)))
(cbrt.f64 (pow.f64 (.f64 (cos.f64 re) (.f64 im im)) 3))
(.f64 (.f64 im im) (cos.f64 re))
(.f64 im (.f64 im (cos.f64 re)))
(expm1.f64 (log1p.f64 (.f64 (cos.f64 re) (.f64 im im))))
(.f64 (.f64 im im) (cos.f64 re))
(.f64 im (.f64 im (cos.f64 re)))
(exp.f64 (log.f64 (.f64 (cos.f64 re) (.f64 im im))))
(.f64 (.f64 im im) (cos.f64 re))
(.f64 im (.f64 im (cos.f64 re)))
(exp.f64 (.f64 (log.f64 (.f64 (cos.f64 re) (*.f64 im im))) 1))
(.f64 (.f64 im im) (cos.f64 re))
(.f64 im (.f64 im (cos.f64 re)))
(log1p.f64 (expm1.f64 (.f64 (cos.f64 re) (.f64 im im))))
(.f64 (.f64 im im) (cos.f64 re))
(.f64 im (.f64 im (cos.f64 re)))

eval82.0ms (1.6%)

Compiler: Compiled 3625 to 2318 computations (36.1% saved)

prune27.0ms (0.5%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	192	4	196
Fresh	0	0	0
Picked	1	0	1
Done	1	3	4
Total	194	7	201

Error

Counts

201 → 7

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.2b	(+.f64 (.f64 (.f64 im (*.f64 1/2 im)) (cos.f64 re)) (cos.f64 re))
▶	30.6b	(+.f64 (.f64 1/2 (.f64 im im)) 1)
✓	0.2b	(.f64 (+.f64 (.f64 1/2 (*.f64 im im)) 1) (cos.f64 re))
✓	0.0b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
▶	30.5b	(.f64 1/2 (.f64 2 (cosh.f64 im)))
▶	30.6b	(*.f64 1/2 2)
✓	0.3b	(cos.f64 re)

Compiler

Compiled 64 to 49 computations (23.4% saved)

localize3.0ms (0.1%)

Compiler: Compiled 7 to 7 computations (0% saved)

localize8.0ms (0.2%)

Compiler: Compiled 17 to 11 computations (35.3% saved)

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
	0.0b	(.f64 1/2 (.f64 im im))

Compiler

Compiled 20 to 11 computations (45% saved)

localize42.0ms (0.8%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 34 to 18 computations (47.1% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite71.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1876×	`add-sqr-sqrt`
1860×	`*-un-lft-identity`
1720×	`add-cube-cbrt`
1692×	`add-cbrt-cube`
196×	`pow1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	23
1	198	23
2	2327	23

Stop Event

1×	node limit

Counts

1 → 13

Calls

Call 1

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

Outputs

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

simplify51.0ms (1%)

Algorithm

1×	egg-herbie

Rules

1484×	`associate-r`
1328×	`associate-l`
1196×	`log-prod`
904×	`associate-+r+`
880×	`associate-+l+`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	62	967
1	158	939
2	621	903
3	3970	903

Stop Event

1×	node limit

Counts

37 → 32

Calls

Call 1

Inputs
(.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 (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 (exp.f64 (log1p.f64 (.f64 (.f64 im 1/2) (*.f64 im (cos.f64 re))))) 1)
(pow.f64 (.f64 (.f64 im 1/2) (*.f64 im (cos.f64 re))) 1)
(pow.f64 (sqrt.f64 (.f64 (.f64 im 1/2) (*.f64 im (cos.f64 re)))) 2)
(pow.f64 (cbrt.f64 (.f64 (.f64 im 1/2) (*.f64 im (cos.f64 re)))) 3)
(pow.f64 (pow.f64 (.f64 (.f64 im 1/2) (*.f64 im (cos.f64 re))) 3) 1/3)
(sqrt.f64 (pow.f64 (.f64 (.f64 im 1/2) (*.f64 im (cos.f64 re))) 2))
(log.f64 (pow.f64 (exp.f64 (cos.f64 re)) (.f64 im (.f64 im 1/2))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 (.f64 im 1/2) (*.f64 im (cos.f64 re))))))
(cbrt.f64 (pow.f64 (.f64 (.f64 im 1/2) (*.f64 im (cos.f64 re))) 3))
(expm1.f64 (log1p.f64 (.f64 (.f64 im 1/2) (*.f64 im (cos.f64 re)))))
(exp.f64 (log.f64 (.f64 (.f64 im 1/2) (*.f64 im (cos.f64 re)))))
(exp.f64 (.f64 (log.f64 (.f64 (.f64 im 1/2) (.f64 im (cos.f64 re)))) 1))
(log1p.f64 (expm1.f64 (.f64 (.f64 im 1/2) (*.f64 im (cos.f64 re)))))

Outputs
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (cos.f64 re) (*.f64 im im)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (cos.f64 re) (*.f64 im im)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (cos.f64 re) (*.f64 im im)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (cos.f64 re) (*.f64 im im)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (cos.f64 re) (*.f64 im im)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (cos.f64 re) (*.f64 im im)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (cos.f64 re) (*.f64 im im)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (cos.f64 re) (*.f64 im im)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (cos.f64 re) (*.f64 im im)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (cos.f64 re) (*.f64 im im)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (cos.f64 re) (*.f64 im im)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (cos.f64 re) (*.f64 im im)))
(*.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 (*.f64 re -1/4) 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/48 (pow.f64 re 4)) (.f64 -1/4 (.f64 re re)))))
(.f64 (.f64 im im) (+.f64 1/2 (fma.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 re (.f64 re -1/4)))))
(+.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/48 (pow.f64 re 4)) (.f64 -1/4 (.f64 re re)))) (.f64 (.f64 im im) (+.f64 (.f64 -1/1440 (pow.f64 re 6)) 1/2)))
(.f64 (.f64 im 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 (.f64 im im) (+.f64 (fma.f64 -1/1440 (pow.f64 re 6) 1/2) (fma.f64 1/48 (pow.f64 re 4) (.f64 re (.f64 re -1/4)))))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (cos.f64 re) (*.f64 im im)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (cos.f64 re) (*.f64 im im)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (cos.f64 re) (*.f64 im im)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (cos.f64 re) (*.f64 im im)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (cos.f64 re) (*.f64 im im)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (cos.f64 re) (*.f64 im im)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (cos.f64 re) (*.f64 im im)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 1/2 (.f64 (cos.f64 re) (*.f64 im im)))
(-.f64 (exp.f64 (log1p.f64 (.f64 (.f64 im 1/2) (*.f64 im (cos.f64 re))))) 1)
(.f64 1/2 (.f64 (cos.f64 re) (*.f64 im im)))
(pow.f64 (.f64 (.f64 im 1/2) (*.f64 im (cos.f64 re))) 1)
(.f64 1/2 (.f64 (cos.f64 re) (*.f64 im im)))
(pow.f64 (sqrt.f64 (.f64 (.f64 im 1/2) (*.f64 im (cos.f64 re)))) 2)
(.f64 1/2 (.f64 (cos.f64 re) (*.f64 im im)))
(pow.f64 (cbrt.f64 (.f64 (.f64 im 1/2) (*.f64 im (cos.f64 re)))) 3)
(.f64 1/2 (.f64 (cos.f64 re) (*.f64 im im)))
(pow.f64 (pow.f64 (.f64 (.f64 im 1/2) (*.f64 im (cos.f64 re))) 3) 1/3)
(.f64 1/2 (.f64 (cos.f64 re) (*.f64 im im)))
(sqrt.f64 (pow.f64 (.f64 (.f64 im 1/2) (*.f64 im (cos.f64 re))) 2))
(.f64 1/2 (.f64 (cos.f64 re) (*.f64 im im)))
(log.f64 (pow.f64 (exp.f64 (cos.f64 re)) (.f64 im (.f64 im 1/2))))
(.f64 1/2 (.f64 (cos.f64 re) (*.f64 im im)))
(log.f64 (+.f64 1 (expm1.f64 (.f64 (.f64 im 1/2) (*.f64 im (cos.f64 re))))))
(.f64 1/2 (.f64 (cos.f64 re) (*.f64 im im)))
(cbrt.f64 (pow.f64 (.f64 (.f64 im 1/2) (*.f64 im (cos.f64 re))) 3))
(.f64 1/2 (.f64 (cos.f64 re) (*.f64 im im)))
(expm1.f64 (log1p.f64 (.f64 (.f64 im 1/2) (*.f64 im (cos.f64 re)))))
(.f64 1/2 (.f64 (cos.f64 re) (*.f64 im im)))
(exp.f64 (log.f64 (.f64 (.f64 im 1/2) (*.f64 im (cos.f64 re)))))
(.f64 1/2 (.f64 (cos.f64 re) (*.f64 im im)))
(exp.f64 (.f64 (log.f64 (.f64 (.f64 im 1/2) (.f64 im (cos.f64 re)))) 1))
(.f64 1/2 (.f64 (cos.f64 re) (*.f64 im im)))
(log1p.f64 (expm1.f64 (.f64 (.f64 im 1/2) (*.f64 im (cos.f64 re)))))
(.f64 1/2 (.f64 (cos.f64 re) (*.f64 im im)))

eval16.0ms (0.3%)

Compiler: Compiled 854 to 527 computations (38.3% saved)

prune10.0ms (0.2%)

Pruning

8 alts after pruning (1 fresh and 7 done)

	Pruned	Kept	Total
New	56	1	57
Fresh	0	0	0
Picked	0	1	1
Done	0	6	6
Total	56	8	64

Error

Counts

64 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.2b	(+.f64 (.f64 (.f64 im (*.f64 1/2 im)) (cos.f64 re)) (cos.f64 re))
▶	0.3b	(+.f64 (.f64 1/2 (.f64 im im)) (cos.f64 re))
✓	30.6b	(+.f64 (.f64 1/2 (.f64 im im)) 1)
✓	0.2b	(.f64 (+.f64 (.f64 1/2 (*.f64 im im)) 1) (cos.f64 re))
✓	0.0b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
✓	30.5b	(.f64 1/2 (.f64 2 (cosh.f64 im)))
✓	30.6b	(*.f64 1/2 2)
✓	0.3b	(cos.f64 re)

Compiler

Compiled 74 to 56 computations (24.3% saved)

localize10.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
	0.0b	(.f64 1/2 (.f64 im im))

Compiler

Compiled 23 to 10 computations (56.5% saved)

eval6.0ms (0.1%)

Compiler: Compiled 319 to 201 computations (37% saved)

prune19.0ms (0.4%)

Pruning

8 alts after pruning (0 fresh and 8 done)

	Pruned	Kept	Total
New	25	0	25
Fresh	0	0	0
Picked	0	1	1
Done	0	7	7
Total	25	8	33

Error

Counts

33 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.2b	(+.f64 (.f64 (.f64 im (*.f64 1/2 im)) (cos.f64 re)) (cos.f64 re))
✓	0.3b	(+.f64 (.f64 1/2 (.f64 im im)) (cos.f64 re))
✓	30.6b	(+.f64 (.f64 1/2 (.f64 im im)) 1)
✓	0.2b	(.f64 (+.f64 (.f64 1/2 (*.f64 im im)) 1) (cos.f64 re))
✓	0.0b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
✓	30.5b	(.f64 1/2 (.f64 2 (cosh.f64 im)))
✓	30.6b	(*.f64 1/2 2)
✓	0.3b	(cos.f64 re)

Compiler

Compiled 74 to 56 computations (24.3% saved)

regimes67.0ms (1.3%)

Counts

10 → 1

Calls

Call 1

Inputs
(*.f64 1/2 2)
(+.f64 (.f64 1/2 (.f64 im im)) 1)
(cos.f64 re)
(.f64 1/2 (.f64 2 (cosh.f64 im)))
(+.f64 (.f64 1/2 (.f64 im im)) (cos.f64 re))
(.f64 (+.f64 (.f64 1/2 (*.f64 im im)) 1) (cos.f64 re))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(+.f64 (.f64 (.f64 im (*.f64 1/2 im)) (cos.f64 re)) (cos.f64 re))
(fma.f64 1/2 (.f64 (cos.f64 re) (.f64 im im)) (cos.f64 re))
(.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:

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

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 115 to 70 computations (39.1% saved)

regimes18.0ms (0.4%)

Counts

9 → 1

Calls

Call 1

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

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

Calls

3 calls:

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

Results

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

Compiler

Compiled 77 to 45 computations (41.6% saved)

regimes17.0ms (0.3%)

Counts

7 → 1

Calls

Call 1

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

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

Calls

3 calls:

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

Results

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

Compiler

Compiled 56 to 37 computations (33.9% saved)

regimes15.0ms (0.3%)

Counts

5 → 1

Calls

Call 1

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

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

Calls

3 calls:

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

Results

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

Compiler

Compiled 38 to 26 computations (31.6% saved)

regimes12.0ms (0.2%)

Counts

4 → 1

Calls

Call 1

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

Outputs
(cos.f64 re)

Calls

3 calls:

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

Results

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

Compiler

Compiled 30 to 23 computations (23.3% saved)

regimes7.0ms (0.1%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0.0b (-0%)

Counts

2 → 1

Calls

Call 1

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

Outputs
(+.f64 (.f64 1/2 (.f64 im im)) 1)

Calls

2 calls:

4.0ms	re
3.0ms	im

Results

Error	Segments	Branch
30.6b	1	`re`
30.6b	1	`im`

Compiler

Compiled 18 to 14 computations (22.2% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

16×	`*-commutative`
10×	`+-commutative`
2×	`sub-neg`
2×	`1-exp`
2×	`neg-mul-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	145
1	41	145
2	43	145
3	44	145

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 64 to 47 computations (26.6% saved)

soundness0.0ms (0%)

end40.0ms (0.8%)

Compiler: Compiled 52 to 29 computations (44.2% saved)

Details

analyze189.0ms (3.7%)

sample3.5s (69.9%)

preprocess123.0ms (2.4%)

simplify105.0ms (2.1%)

eval1.0ms (0%)

prune1.0ms (0%)

localize13.0ms (0.3%)

series5.0ms (0.1%)

rewrite71.0ms (1.4%)

simplify70.0ms (1.4%)

eval19.0ms (0.4%)

prune10.0ms (0.2%)

localize4.0ms (0.1%)

localize8.0ms (0.2%)

series0.0ms (0%)

rewrite35.0ms (0.7%)

simplify59.0ms (1.2%)

localize12.0ms (0.2%)

series4.0ms (0.1%)

rewrite80.0ms (1.6%)

simplify65.0ms (1.3%)

localize11.0ms (0.2%)

series1.0ms (0%)

rewrite50.0ms (1%)

simplify49.0ms (1%)

eval82.0ms (1.6%)

prune27.0ms (0.5%)

localize3.0ms (0.1%)

localize8.0ms (0.2%)

localize7.0ms (0.1%)

localize42.0ms (0.8%)

series2.0ms (0%)

rewrite71.0ms (1.4%)

simplify51.0ms (1%)

eval16.0ms (0.3%)

prune10.0ms (0.2%)

localize10.0ms (0.2%)

eval6.0ms (0.1%)

prune19.0ms (0.4%)

regimes67.0ms (1.3%)

regimes18.0ms (0.4%)

regimes17.0ms (0.3%)

regimes15.0ms (0.3%)

regimes12.0ms (0.2%)

regimes7.0ms (0.1%)

simplify7.0ms (0.1%)

soundness0.0ms (0%)

end40.0ms (0.8%)

Profiling