Details

analyze459.0ms (2.6%)

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)

sample13.7s (78.5%)

Results

4.0s	2097×	body	1024	valid
3.9s	5155×	body	256	valid
3.1s	2031×	body	1024	infinite
954.0ms	1525×	body	256	infinite
844.0ms	1040×	body	512	infinite
768.0ms	997×	body	512	valid
9.0ms	7×	body	2048	valid
2.0ms	2×	body	2048	infinite

Bogosity

preprocess461.0ms (2.6%)

Algorithm

2×	egg-herbie

Rules

1064×	`rational_best-simplify-51`
884×	`rational_best-simplify-108`
836×	`rational_best-simplify-1`
664×	`rational_best-simplify-65`
646×	`rational_best-simplify-57`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	70
1	37	70
2	59	70
3	83	70
4	111	70
5	165	70
6	323	70
7	695	70
8	1203	70
9	2405	70
10	5535	70
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 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 (cos.f64 re) (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 1/2))
(.f64 (.f64 1/2 (cos.f64 im)) (+.f64 (exp.f64 (neg.f64 re)) (exp.f64 re)))
(.f64 (cos.f64 im) (.f64 1/2 (+.f64 (exp.f64 (neg.f64 re)) (exp.f64 re))))
(.f64 (.f64 (cos.f64 im) 1/2) (+.f64 (exp.f64 (neg.f64 re)) (exp.f64 re)))
(.f64 (cos.f64 im) (.f64 (+.f64 (exp.f64 (neg.f64 re)) (exp.f64 re)) 1/2))

Compiler

Compiled 15 to 12 computations (20% saved)

simplify207.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

1312×	`rational_best-simplify-53`
1262×	`rational_best-simplify-49`
1062×	`rational_best-simplify-65`
970×	`rational_best-simplify-1`
810×	`rational_best-simplify-52`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	35
1	23	35
2	36	35
3	50	35
4	66	35
5	95	35
6	178	35
7	365	35
8	849	35
9	1621	35
10	4381	35

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) (*.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))

eval3.0ms (0%)

Compiler: Compiled 35 to 16 computations (54.3% saved)

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

localize64.0ms (0.4%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 35 to 13 computations (62.9% saved)

series18.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite182.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

786×	`rational_best-simplify-63`
750×	`rational_best-4`
750×	`rational_best-2`
750×	`rational_best-3`
750×	`rational_best-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	35
1	88	35
2	178	35
3	540	35
4	1881	35

Stop Event

1×	node limit

Counts

1 → 23

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (cos.f64 re) (/.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)) (.f64 (cos.f64 re) (/.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 8) (+.f64 (/.f64 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 8) (.f64 (cos.f64 re) (/.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 8) (/.f64 (/.f64 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 (cos.f64 re) 3/2)) 2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 8) (/.f64 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 (cos.f64 re) 3/2)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (cos.f64 re) (/.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)) (neg.f64 (.f64 (cos.f64 re) (/.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (cos.f64 re) (/.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)) (/.f64 (neg.f64 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (/.f64 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 (cos.f64 re) 3/2)) 2) 2) (/.f64 (neg.f64 (.f64 (cos.f64 re) (/.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 (cos.f64 re) 3/2)) 4) (/.f64 (/.f64 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) -2) 4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (cos.f64 re) (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 (cos.f64 re) 2)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 (cos.f64 re) 4) (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (cos.f64 re) (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 (.f64 (cos.f64 re) 4) (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)) 2) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 (cos.f64 re) 4) (.f64 2 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4) (.f64 2 (.f64 (cos.f64 re) 4))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 2 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)) (.f64 (cos.f64 re) 4)) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 2 (.f64 (cos.f64 re) 4)) (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)) 64)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 1)))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (cos.f64 re) (/.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)) (*.f64 (cos.f64 re) (/.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 8) (+.f64 (/.f64 (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 8) (*.f64 (cos.f64 re) (/.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 8) (/.f64 (/.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 (cos.f64 re) 3/2)) 2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 8) (/.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 (cos.f64 re) 3/2)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (cos.f64 re) (/.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)) (neg.f64 (*.f64 (cos.f64 re) (/.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (cos.f64 re) (/.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)) (/.f64 (neg.f64 (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (/.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 (cos.f64 re) 3/2)) 2) 2) (/.f64 (neg.f64 (*.f64 (cos.f64 re) (/.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 (cos.f64 re) 3/2)) 4) (/.f64 (/.f64 (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) -2) 4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cos.f64 re) (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 (cos.f64 re) 2)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (cos.f64 re) 4) (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (cos.f64 re) (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 (*.f64 (cos.f64 re) 4) (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)) 2) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (cos.f64 re) 4) (*.f64 2 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4) (*.f64 2 (*.f64 (cos.f64 re) 4))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 2 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)) (*.f64 (cos.f64 re) 4)) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 2 (*.f64 (cos.f64 re) 4)) (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)) 64)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 1)))))

simplify428.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

1132×	`rational_best-simplify-3`
930×	`rational_best-simplify-55`
784×	`rational_best-simplify-62`
642×	`rational_best-simplify-63`
576×	`rational_best-simplify-50`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	120	1905
1	300	1905
2	654	1809
3	1587	1781
4	6132	1757

Stop Event

1×	node limit

Counts

47 → 57

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)))))
(+.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 0)
(+.f64 0 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(+.f64 (.f64 (cos.f64 re) (/.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)) (.f64 (cos.f64 re) (/.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)))
(+.f64 (/.f64 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 8) (+.f64 (/.f64 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 8) (*.f64 (cos.f64 re) (/.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4))))
(+.f64 (/.f64 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 8) (/.f64 (/.f64 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 (cos.f64 re) 3/2)) 2) 2))
(+.f64 (/.f64 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 8) (/.f64 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 (cos.f64 re) 3/2)) 4))
(-.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 0)
(-.f64 (.f64 (cos.f64 re) (/.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)) (neg.f64 (.f64 (cos.f64 re) (/.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4))))
(-.f64 (.f64 (cos.f64 re) (/.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)) (/.f64 (neg.f64 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) 4))
(-.f64 (/.f64 (/.f64 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 (cos.f64 re) 3/2)) 2) 2) (/.f64 (neg.f64 (*.f64 (cos.f64 re) (/.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4))) 2))
(-.f64 (/.f64 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 (cos.f64 re) 3/2)) 4) (/.f64 (/.f64 (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) -2) 4))
(/.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 1)
(/.f64 (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 2)
(/.f64 (.f64 (cos.f64 re) (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)) 8)
(/.f64 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 (cos.f64 re) 2)) 4)
(/.f64 (.f64 (.f64 (cos.f64 re) 4) (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)) 32)
(/.f64 (.f64 2 (.f64 (cos.f64 re) (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4))) 16)
(/.f64 (/.f64 (.f64 (.f64 (cos.f64 re) 4) (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)) 2) 16)
(/.f64 (.f64 (.f64 (cos.f64 re) 4) (.f64 2 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4))) 64)
(/.f64 (.f64 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4) (.f64 2 (.f64 (cos.f64 re) 4))) 64)
(/.f64 (.f64 (.f64 2 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)) (.f64 (cos.f64 re) 4)) 64)
(/.f64 (.f64 (.f64 2 (.f64 (cos.f64 re) 4)) (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)) 64)
(pow.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 1)

Outputs
(*.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 (exp.f64 im) (exp.f64 (neg.f64 im))) (*.f64 (pow.f64 re 2) -1/4)))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 1/2 (.f64 -1/4 (pow.f64 re 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)))))))
(+.f64 (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (+.f64 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 (pow.f64 re 2) -1/4)) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (*.f64 (pow.f64 re 4) 1/48))))
(+.f64 (.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 (pow.f64 re 2)) (.f64 1/48 (pow.f64 re 4)))))
(+.f64 (.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/48 (pow.f64 re 4)) (.f64 -1/4 (pow.f64 re 2)))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (-.f64 (+.f64 (.f64 1/48 (pow.f64 re 4)) (*.f64 -1/4 (pow.f64 re 2))) -1/2))
(+.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 (+.f64 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 (pow.f64 re 2) -1/4)) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 (pow.f64 re 4) 1/48))) (+.f64 (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (*.f64 (pow.f64 re 6) -1/1440))))
(+.f64 (+.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/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (.f64 -1/1440 (*.f64 (pow.f64 re 6) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))))
(+.f64 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 1/2 (.f64 -1/4 (pow.f64 re 2)))) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 (.f64 1/48 (pow.f64 re 4)) (*.f64 -1/1440 (pow.f64 re 6)))))
(+.f64 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 1/2 (.f64 -1/4 (pow.f64 re 2)))) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 (.f64 -1/1440 (pow.f64 re 6)) (*.f64 1/48 (pow.f64 re 4)))))
(.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 (cos.f64 re) (.f64 1/2 (+.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 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (.f64 1/2 (+.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 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (.f64 1/2 (+.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 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (.f64 1/2 (+.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 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (.f64 1/2 (+.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 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (.f64 1/2 (+.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 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (.f64 1/2 (+.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 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (.f64 1/2 (+.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 (cos.f64 re) (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))))
(.f64 (cos.f64 re) (-.f64 (.f64 1/2 (pow.f64 im 2)) -1))
(.f64 (cos.f64 re) (+.f64 (.f64 1/2 (pow.f64 im 2)) 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 (cos.f64 re) (+.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 4) 1/24)) (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))))
(+.f64 (cos.f64 re) (+.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))) (.f64 (cos.f64 re) (.f64 1/24 (pow.f64 im 4)))))
(+.f64 (cos.f64 re) (.f64 (cos.f64 re) (+.f64 (.f64 1/2 (pow.f64 im 2)) (*.f64 1/24 (pow.f64 im 4)))))
(+.f64 (cos.f64 re) (.f64 (cos.f64 re) (+.f64 (.f64 1/24 (pow.f64 im 4)) (*.f64 1/2 (pow.f64 im 2)))))
(+.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 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))) (+.f64 (.f64 1/720 (.f64 (cos.f64 re) (pow.f64 im 6))) (+.f64 (cos.f64 re) (.f64 1/24 (.f64 (cos.f64 re) (pow.f64 im 4))))))
(+.f64 (cos.f64 re) (+.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))) (+.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 4) 1/24)) (.f64 (cos.f64 re) (.f64 (pow.f64 im 6) 1/720)))))
(+.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))) (+.f64 (.f64 (cos.f64 re) (.f64 1/24 (pow.f64 im 4))) (+.f64 (cos.f64 re) (.f64 (cos.f64 re) (.f64 1/720 (pow.f64 im 6))))))
(+.f64 (.f64 (cos.f64 re) (-.f64 (.f64 1/2 (pow.f64 im 2)) -1)) (.f64 (cos.f64 re) (+.f64 (.f64 1/24 (pow.f64 im 4)) (*.f64 1/720 (pow.f64 im 6)))))
(+.f64 (.f64 (cos.f64 re) (+.f64 (.f64 1/2 (pow.f64 im 2)) 1)) (.f64 (cos.f64 re) (+.f64 (.f64 1/720 (pow.f64 im 6)) (*.f64 1/24 (pow.f64 im 4)))))
(.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 (cos.f64 re) (.f64 1/2 (+.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 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (.f64 1/2 (+.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 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (.f64 1/2 (+.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 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (.f64 1/2 (+.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 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (.f64 1/2 (+.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 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (.f64 1/2 (+.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 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (.f64 1/2 (+.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 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (.f64 1/2 (+.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 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 0)
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (.f64 1/2 (+.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 0 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (.f64 1/2 (+.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 (.f64 (cos.f64 re) (/.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)) (.f64 (cos.f64 re) (/.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (.f64 1/2 (+.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 (/.f64 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 8) (+.f64 (/.f64 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 8) (*.f64 (cos.f64 re) (/.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4))))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (.f64 1/2 (+.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 (/.f64 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 8) (/.f64 (/.f64 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 (cos.f64 re) 3/2)) 2) 2))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (.f64 1/2 (+.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 (/.f64 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 8) (/.f64 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 (cos.f64 re) 3/2)) 4))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (.f64 1/2 (+.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 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 0)
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (.f64 1/2 (+.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 (.f64 (cos.f64 re) (/.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)) (neg.f64 (.f64 (cos.f64 re) (/.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4))))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (.f64 1/2 (+.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 (.f64 (cos.f64 re) (/.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)) (/.f64 (neg.f64 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) 4))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (.f64 1/2 (+.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 (/.f64 (/.f64 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 (cos.f64 re) 3/2)) 2) 2) (/.f64 (neg.f64 (*.f64 (cos.f64 re) (/.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4))) 2))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (.f64 1/2 (+.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 (/.f64 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 (cos.f64 re) 3/2)) 4) (/.f64 (/.f64 (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) -2) 4))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (.f64 1/2 (+.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 (.f64 (.f64 1/2 (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 (cos.f64 re) (.f64 1/2 (+.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 (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 2)
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (.f64 1/2 (+.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 (.f64 (cos.f64 re) (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)) 8)
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (.f64 1/2 (+.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 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 (cos.f64 re) 2)) 4)
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (.f64 1/2 (+.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 (.f64 (.f64 (cos.f64 re) 4) (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)) 32)
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (.f64 1/2 (+.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 (.f64 2 (.f64 (cos.f64 re) (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4))) 16)
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (.f64 1/2 (+.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 (/.f64 (.f64 (.f64 (cos.f64 re) 4) (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)) 2) 16)
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (.f64 1/2 (+.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 (.f64 (.f64 (cos.f64 re) 4) (.f64 2 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4))) 64)
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (.f64 1/2 (+.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 (.f64 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4) (.f64 2 (.f64 (cos.f64 re) 4))) 64)
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (.f64 1/2 (+.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 (.f64 (.f64 2 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)) (.f64 (cos.f64 re) 4)) 64)
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (.f64 1/2 (+.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 (.f64 (.f64 2 (.f64 (cos.f64 re) 4)) (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4)) 64)
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (.f64 1/2 (+.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)))))
(pow.f64 (.f64 (.f64 1/2 (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 (cos.f64 re) (.f64 1/2 (+.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)))))

eval206.0ms (1.2%)

Compiler: Compiled 1196 to 573 computations (52.1% saved)

prune111.0ms (0.6%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	54	3	57
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	55	3	58

Error

Counts

58 → 3

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.7b	(+.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))) (cos.f64 re))
▶	25.1b	(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
▶	1.0b	(cos.f64 re)

Compiler

Compiled 27 to 20 computations (25.9% saved)

localize5.0ms (0%)

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

localize30.0ms (0.2%)

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

localize42.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 36 to 21 computations (41.7% saved)

series24.0ms (0.1%)

Counts

2 → 8

Calls

12 calls:

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

rewrite419.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1840×	`rational_best-1`
1838×	`rational_best-2`
1838×	`rational_best-3`
1828×	`rational_best-4`
1826×	`exponential-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	40
1	72	40
2	137	40
3	354	40
4	1196	40
5	5155	40

Stop Event

1×	node limit

Counts

2 → 56

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 2) 1/2)) (.f64 (cos.f64 re) (.f64 (pow.f64 im 2) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 2) 1/2)) (neg.f64 (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (cos.f64 re) (pow.f64 im 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 3/2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (-.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 3/2) 2) (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) -2)) (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) (+.f64 (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) -2) (.f64 (cos.f64 re) (.f64 (pow.f64 im 2) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 2) 1/2)) (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) -2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (.f64 (cos.f64 re) (pow.f64 im 2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (-.f64 0 (/.f64 (.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 3/2) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (+.f64 (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) -2) (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) -4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (-.f64 (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) -2) (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (-.f64 0 (.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 3/2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 3/2) 2) (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) -4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) -2)) (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) -4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (cos.f64 re) (pow.f64 im 2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (pow.f64 im 2) (.f64 (cos.f64 re) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (cos.f64 re) (.f64 2 (.f64 (pow.f64 im 2) 4))) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 (pow.f64 im 2) 4) (.f64 (cos.f64 re) 4)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 (cos.f64 re) (.f64 2 (.f64 (pow.f64 im 2) 4))) (.f64 (cos.f64 re) (.f64 2 (.f64 (pow.f64 im 2) 4)))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 (.f64 (pow.f64 im 2) 4) (.f64 (cos.f64 re) 4)) (.f64 (.f64 (pow.f64 im 2) 4) (.f64 (cos.f64 re) 4))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 2 (.f64 (pow.f64 im 2) 4)) (.f64 2 (.f64 (cos.f64 re) 4))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 2 (.f64 (cos.f64 re) 4)) (.f64 2 (.f64 (pow.f64 im 2) 4))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 (cos.f64 0) 2) (.f64 (cos.f64 re) (.f64 2 (.f64 (pow.f64 im 2) 4)))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 1)))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 2) 1/2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (cos.f64 re) (.f64 (pow.f64 im 2) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 8) (+.f64 (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 8) (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 8) (/.f64 (/.f64 (.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 3/2) 2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 8) (/.f64 (.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 3/2) 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 8) (/.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 2) 3)) 8))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 2) 1/2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) -4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 8) (/.f64 (-.f64 0 (.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 3/2)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 8) (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4))) (-.f64 0 (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 8)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (/.f64 (.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 3/2) 2) 2) (/.f64 (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) -4) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 3/2) 4) (/.f64 (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) -2) 4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 2) 3)) 8) (/.f64 (neg.f64 (.f64 (cos.f64 re) (pow.f64 im 2))) 8))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 2) 1/2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (cos.f64 re) (pow.f64 im 2))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (pow.f64 im 2) (.f64 (cos.f64 re) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (cos.f64 re) (.f64 2 (.f64 (pow.f64 im 2) 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 (pow.f64 im 2) 4) (.f64 (cos.f64 re) 4)) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 (.f64 (pow.f64 im 2) 4) (.f64 (cos.f64 re) 4)) 2) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 (cos.f64 re) 4) (.f64 2 (.f64 (pow.f64 im 2) 4))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 (pow.f64 im 2) 4) (.f64 2 (.f64 (cos.f64 re) 4))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 2 (.f64 (pow.f64 im 2) 4)) (.f64 (cos.f64 re) 4)) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 2 (.f64 (cos.f64 re) 4)) (.f64 (pow.f64 im 2) 4)) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 (cos.f64 0) 2) (.f64 (pow.f64 im 2) (.f64 (cos.f64 re) 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (cos.f64 re) (*.f64 (pow.f64 im 2) 1/2)) 1)))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (cos.f64 re) (*.f64 (pow.f64 im 2) 1/2)) (*.f64 (cos.f64 re) (*.f64 (pow.f64 im 2) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (cos.f64 re) (*.f64 (pow.f64 im 2) 1/2)) (neg.f64 (/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (cos.f64 re) (pow.f64 im 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (*.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 3/2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (-.f64 (*.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 3/2) 2) (*.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) -2)) (*.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) (+.f64 (/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) -2) (*.f64 (cos.f64 re) (*.f64 (pow.f64 im 2) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (cos.f64 re) (*.f64 (pow.f64 im 2) 1/2)) (/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) -2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 (cos.f64 re) (pow.f64 im 2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (-.f64 0 (/.f64 (*.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 3/2) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (+.f64 (/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) -2) (/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) -4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (-.f64 (/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) -2) (*.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (-.f64 0 (*.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 3/2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 3/2) 2) (/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) -4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (*.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) -2)) (/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) -4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (cos.f64 re) (pow.f64 im 2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 im 2) (*.f64 (cos.f64 re) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cos.f64 re) (*.f64 2 (*.f64 (pow.f64 im 2) 4))) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (pow.f64 im 2) 4) (*.f64 (cos.f64 re) 4)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (cos.f64 re) (*.f64 2 (*.f64 (pow.f64 im 2) 4))) (*.f64 (cos.f64 re) (*.f64 2 (*.f64 (pow.f64 im 2) 4)))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (*.f64 (pow.f64 im 2) 4) (*.f64 (cos.f64 re) 4)) (*.f64 (*.f64 (pow.f64 im 2) 4) (*.f64 (cos.f64 re) 4))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 2 (*.f64 (pow.f64 im 2) 4)) (*.f64 2 (*.f64 (cos.f64 re) 4))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 2 (*.f64 (cos.f64 re) 4)) (*.f64 2 (*.f64 (pow.f64 im 2) 4))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (cos.f64 0) 2) (*.f64 (cos.f64 re) (*.f64 2 (*.f64 (pow.f64 im 2) 4)))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 1)))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (cos.f64 re) (*.f64 (pow.f64 im 2) 1/2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (cos.f64 re) (*.f64 (pow.f64 im 2) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (*.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 8) (+.f64 (/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 8) (*.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 8) (/.f64 (/.f64 (*.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 3/2) 2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 8) (/.f64 (*.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 3/2) 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 8) (/.f64 (*.f64 (cos.f64 re) (*.f64 (pow.f64 im 2) 3)) 8))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (cos.f64 re) (*.f64 (pow.f64 im 2) 1/2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) -4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 8) (/.f64 (-.f64 0 (*.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 3/2)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 8) (*.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4))) (-.f64 0 (/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 8)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (/.f64 (*.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 3/2) 2) 2) (/.f64 (/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) -4) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 3/2) 4) (/.f64 (/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) -2) 4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 (cos.f64 re) (*.f64 (pow.f64 im 2) 3)) 8) (/.f64 (neg.f64 (*.f64 (cos.f64 re) (pow.f64 im 2))) 8))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cos.f64 re) (*.f64 (pow.f64 im 2) 1/2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (cos.f64 re) (pow.f64 im 2))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 im 2) (*.f64 (cos.f64 re) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cos.f64 re) (*.f64 2 (*.f64 (pow.f64 im 2) 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (pow.f64 im 2) 4) (*.f64 (cos.f64 re) 4)) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 (*.f64 (pow.f64 im 2) 4) (*.f64 (cos.f64 re) 4)) 2) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (cos.f64 re) 4) (*.f64 2 (*.f64 (pow.f64 im 2) 4))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (pow.f64 im 2) 4) (*.f64 2 (*.f64 (cos.f64 re) 4))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 2 (*.f64 (pow.f64 im 2) 4)) (*.f64 (cos.f64 re) 4)) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 2 (*.f64 (cos.f64 re) 4)) (*.f64 (pow.f64 im 2) 4)) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (cos.f64 0) 2) (*.f64 (pow.f64 im 2) (*.f64 (cos.f64 re) 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (cos.f64 re) (*.f64 (pow.f64 im 2) 1/2)) 1)))))

simplify600.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

956×	`rational_best-simplify-55`
862×	`rational_best-simplify-56`
848×	`rational_best-simplify-1`
654×	`rational_best-simplify-40`
592×	`rational_best-simplify-97`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	156	2180
1	390	2082
2	1009	2022
3	3176	2018
4	7317	2018

Stop Event

1×	node limit

Counts

64 → 110

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 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 (*.f64 (cos.f64 re) (pow.f64 im 2)) 0)
(+.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 2) 1/2)) (.f64 (cos.f64 re) (.f64 (pow.f64 im 2) 1/2)))
(+.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 2) 1/2)) (neg.f64 (/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) -2)))
(+.f64 0 (*.f64 (cos.f64 re) (pow.f64 im 2)))
(+.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 3/2) 2))
(+.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (-.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) -2)))
(+.f64 (/.f64 (.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 3/2) 2) (*.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)))
(+.f64 (-.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) -2)) (*.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)))
(-.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 0)
(-.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) (+.f64 (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) -2) (.f64 (cos.f64 re) (.f64 (pow.f64 im 2) 1/2))))
(-.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 2) 1/2)) (/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) -2))
(-.f64 0 (neg.f64 (*.f64 (cos.f64 re) (pow.f64 im 2))))
(-.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (-.f64 0 (/.f64 (.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 3/2) 2)))
(-.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (+.f64 (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) -2) (/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) -4)))
(-.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (-.f64 (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) -2) (*.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4))))
(-.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (-.f64 0 (.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 3/2)) 2))
(-.f64 (/.f64 (.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 3/2) 2) (/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) -4))
(-.f64 (-.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) -2)) (/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) -4))
(/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 1)
(/.f64 (.f64 2 (.f64 (cos.f64 re) (pow.f64 im 2))) 2)
(/.f64 (.f64 (pow.f64 im 2) (.f64 (cos.f64 re) 4)) 4)
(/.f64 (.f64 (cos.f64 re) (.f64 2 (*.f64 (pow.f64 im 2) 4))) 8)
(/.f64 (.f64 (.f64 (pow.f64 im 2) 4) (*.f64 (cos.f64 re) 4)) 16)
(/.f64 (+.f64 (.f64 (cos.f64 re) (.f64 2 (.f64 (pow.f64 im 2) 4))) (.f64 (cos.f64 re) (.f64 2 (.f64 (pow.f64 im 2) 4)))) 16)
(/.f64 (+.f64 (.f64 (.f64 (pow.f64 im 2) 4) (.f64 (cos.f64 re) 4)) (.f64 (.f64 (pow.f64 im 2) 4) (.f64 (cos.f64 re) 4))) 32)
(/.f64 (.f64 (.f64 2 (.f64 (pow.f64 im 2) 4)) (.f64 2 (*.f64 (cos.f64 re) 4))) 64)
(/.f64 (.f64 (.f64 2 (.f64 (cos.f64 re) 4)) (.f64 2 (*.f64 (pow.f64 im 2) 4))) 64)
(/.f64 (.f64 (.f64 (cos.f64 0) 2) (.f64 (cos.f64 re) (.f64 2 (*.f64 (pow.f64 im 2) 4)))) 16)
(pow.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 1)
(+.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 2) 1/2)) 0)
(+.f64 0 (.f64 (cos.f64 re) (.f64 (pow.f64 im 2) 1/2)))
(+.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)))
(+.f64 (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 8) (+.f64 (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 8) (*.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4))))
(+.f64 (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 8) (/.f64 (/.f64 (.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 3/2) 2) 2))
(+.f64 (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 8) (/.f64 (.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 3/2) 4))
(+.f64 (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 8) (/.f64 (.f64 (cos.f64 re) (*.f64 (pow.f64 im 2) 3)) 8))
(-.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 2) 1/2)) 0)
(-.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) -4))
(-.f64 (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 8) (/.f64 (-.f64 0 (.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 3/2)) 4))
(-.f64 (+.f64 (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 8) (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4))) (-.f64 0 (/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 8)))
(-.f64 (/.f64 (/.f64 (.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 3/2) 2) 2) (/.f64 (/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) -4) 2))
(-.f64 (/.f64 (.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 3/2) 4) (/.f64 (/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) -2) 4))
(-.f64 (/.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 2) 3)) 8) (/.f64 (neg.f64 (*.f64 (cos.f64 re) (pow.f64 im 2))) 8))
(/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 2)
(/.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 2) 1/2)) 1)
(/.f64 (.f64 2 (.f64 (cos.f64 re) (pow.f64 im 2))) 4)
(/.f64 (.f64 (pow.f64 im 2) (.f64 (cos.f64 re) 4)) 8)
(/.f64 (.f64 (cos.f64 re) (.f64 2 (*.f64 (pow.f64 im 2) 4))) 16)
(/.f64 (.f64 (.f64 (pow.f64 im 2) 4) (*.f64 (cos.f64 re) 4)) 32)
(/.f64 (/.f64 (.f64 (.f64 (pow.f64 im 2) 4) (*.f64 (cos.f64 re) 4)) 2) 16)
(/.f64 (.f64 (.f64 (cos.f64 re) 4) (.f64 2 (.f64 (pow.f64 im 2) 4))) 64)
(/.f64 (.f64 (.f64 (pow.f64 im 2) 4) (.f64 2 (.f64 (cos.f64 re) 4))) 64)
(/.f64 (.f64 (.f64 2 (.f64 (pow.f64 im 2) 4)) (.f64 (cos.f64 re) 4)) 64)
(/.f64 (.f64 (.f64 2 (.f64 (cos.f64 re) 4)) (.f64 (pow.f64 im 2) 4)) 64)
(/.f64 (.f64 (.f64 (cos.f64 0) 2) (.f64 (pow.f64 im 2) (.f64 (cos.f64 re) 4))) 16)
(pow.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 2) 1/2)) 1)

Outputs
(pow.f64 im 2)
(+.f64 (pow.f64 im 2) (.f64 -1/2 (.f64 (pow.f64 re 2) (pow.f64 im 2))))
(+.f64 (pow.f64 im 2) (.f64 -1/2 (pow.f64 (.f64 re im) 2)))
(+.f64 (pow.f64 im 2) (.f64 -1/2 (pow.f64 (.f64 im re) 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 (pow.f64 im 2) (.f64 -1/2 (pow.f64 (.f64 re im) 2))) (.f64 (pow.f64 im 2) (.f64 (pow.f64 re 4) 1/24)))
(+.f64 (pow.f64 im 2) (+.f64 (.f64 -1/2 (pow.f64 (.f64 im re) 2)) (.f64 (pow.f64 im 2) (.f64 1/24 (pow.f64 re 4)))))
(+.f64 (pow.f64 im 2) (.f64 (pow.f64 im 2) (+.f64 (.f64 -1/2 (pow.f64 re 2)) (*.f64 1/24 (pow.f64 re 4)))))
(+.f64 (pow.f64 im 2) (.f64 (pow.f64 im 2) (+.f64 (.f64 1/24 (pow.f64 re 4)) (*.f64 -1/2 (pow.f64 re 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 (.f64 (pow.f64 im 2) (.f64 (pow.f64 re 4) 1/24)) (+.f64 (pow.f64 im 2) (+.f64 (.f64 -1/2 (pow.f64 (.f64 re im) 2)) (.f64 (pow.f64 im 2) (.f64 (pow.f64 re 6) -1/720)))))
(+.f64 (+.f64 (pow.f64 im 2) (.f64 -1/2 (pow.f64 (.f64 im re) 2))) (+.f64 (.f64 -1/720 (.f64 (pow.f64 im 2) (pow.f64 re 6))) (.f64 (pow.f64 im 2) (.f64 1/24 (pow.f64 re 4)))))
(+.f64 (+.f64 (pow.f64 im 2) (.f64 -1/2 (pow.f64 (.f64 im re) 2))) (.f64 (pow.f64 im 2) (+.f64 (.f64 -1/720 (pow.f64 re 6)) (*.f64 1/24 (pow.f64 re 4)))))
(*.f64 1/2 (pow.f64 im 2))
(*.f64 (pow.f64 im 2) 1/2)
(+.f64 (.f64 1/2 (pow.f64 im 2)) (.f64 -1/4 (*.f64 (pow.f64 re 2) (pow.f64 im 2))))
(+.f64 (.f64 (pow.f64 im 2) 1/2) (.f64 (pow.f64 (*.f64 re im) 2) -1/4))
(+.f64 (.f64 (pow.f64 im 2) 1/2) (.f64 (pow.f64 (*.f64 im re) 2) -1/4))
(.f64 (pow.f64 im 2) (+.f64 1/2 (.f64 (pow.f64 re 2) -1/4)))
(+.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 (pow.f64 im 2) 1/2) (+.f64 (.f64 (pow.f64 (.f64 re im) 2) -1/4) (.f64 (pow.f64 im 2) (*.f64 (pow.f64 re 4) 1/48))))
(+.f64 (.f64 (pow.f64 im 2) 1/2) (+.f64 (.f64 (pow.f64 (.f64 im re) 2) -1/4) (.f64 (pow.f64 im 2) (*.f64 (pow.f64 re 4) 1/48))))
(+.f64 (.f64 (pow.f64 (.f64 im re) 2) -1/4) (.f64 (pow.f64 im 2) (+.f64 1/2 (.f64 (pow.f64 re 4) 1/48))))
(+.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 (+.f64 (.f64 (pow.f64 (.f64 re im) 2) -1/4) (.f64 (pow.f64 im 2) (.f64 (pow.f64 re 4) 1/48))) (+.f64 (.f64 (pow.f64 im 2) 1/2) (.f64 (pow.f64 im 2) (*.f64 (pow.f64 re 6) -1/1440))))
(+.f64 (.f64 (pow.f64 im 2) 1/2) (+.f64 (+.f64 (.f64 (pow.f64 (.f64 im re) 2) -1/4) (.f64 (pow.f64 im 2) (.f64 (pow.f64 re 4) 1/48))) (.f64 (pow.f64 im 2) (*.f64 (pow.f64 re 6) -1/1440))))
(+.f64 (.f64 (pow.f64 im 2) (+.f64 (.f64 (pow.f64 re 2) -1/4) (.f64 (pow.f64 re 4) 1/48))) (.f64 (pow.f64 im 2) (+.f64 1/2 (*.f64 (pow.f64 re 6) -1/1440))))
(+.f64 (.f64 (pow.f64 im 2) (+.f64 (.f64 (pow.f64 re 4) 1/48) (.f64 (pow.f64 re 2) -1/4))) (.f64 (pow.f64 im 2) (+.f64 1/2 (*.f64 (pow.f64 re 6) -1/1440))))
(+.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 0)
(*.f64 (pow.f64 im 2) (cos.f64 re))
(+.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 2) 1/2)) (.f64 (cos.f64 re) (.f64 (pow.f64 im 2) 1/2)))
(*.f64 (pow.f64 im 2) (cos.f64 re))
(+.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 2) 1/2)) (neg.f64 (/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) -2)))
(*.f64 (pow.f64 im 2) (cos.f64 re))
(+.f64 0 (*.f64 (cos.f64 re) (pow.f64 im 2)))
(*.f64 (pow.f64 im 2) (cos.f64 re))
(+.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 3/2) 2))
(+.f64 (.f64 (cos.f64 re) (/.f64 (pow.f64 im 2) 4)) (/.f64 (.f64 (*.f64 (pow.f64 im 2) (cos.f64 re)) 3/2) 2))
(+.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (.f64 (cos.f64 re) (*.f64 (pow.f64 im 2) 3/2)) 2))
(+.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (.f64 (pow.f64 im 2) (*.f64 (cos.f64 re) 3/2)) 2))
(+.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (-.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) -2)))
(+.f64 (.f64 (cos.f64 re) (/.f64 (pow.f64 im 2) 4)) (-.f64 (.f64 (cos.f64 re) (/.f64 (pow.f64 im 2) 4)) (/.f64 (*.f64 (pow.f64 im 2) (cos.f64 re)) -2)))
(+.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (-.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (*.f64 (pow.f64 im 2) (cos.f64 re)) -2)))
(+.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (+.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))))
(+.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (+.f64 (.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re))) (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4))))
(+.f64 (/.f64 (.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 3/2) 2) (*.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)))
(+.f64 (.f64 (cos.f64 re) (/.f64 (pow.f64 im 2) 4)) (/.f64 (.f64 (*.f64 (pow.f64 im 2) (cos.f64 re)) 3/2) 2))
(+.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (.f64 (cos.f64 re) (*.f64 (pow.f64 im 2) 3/2)) 2))
(+.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (.f64 (pow.f64 im 2) (*.f64 (cos.f64 re) 3/2)) 2))
(+.f64 (-.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) -2)) (*.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)))
(+.f64 (.f64 (cos.f64 re) (/.f64 (pow.f64 im 2) 4)) (-.f64 (.f64 (cos.f64 re) (/.f64 (pow.f64 im 2) 4)) (/.f64 (*.f64 (pow.f64 im 2) (cos.f64 re)) -2)))
(+.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (-.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (*.f64 (pow.f64 im 2) (cos.f64 re)) -2)))
(+.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (+.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))))
(+.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (+.f64 (.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re))) (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4))))
(-.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 0)
(*.f64 (pow.f64 im 2) (cos.f64 re))
(-.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) (+.f64 (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) -2) (.f64 (cos.f64 re) (.f64 (pow.f64 im 2) 1/2))))
(*.f64 (pow.f64 im 2) (cos.f64 re))
(-.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 2) 1/2)) (/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) -2))
(*.f64 (pow.f64 im 2) (cos.f64 re))
(-.f64 0 (neg.f64 (*.f64 (cos.f64 re) (pow.f64 im 2))))
(*.f64 (pow.f64 im 2) (cos.f64 re))
(-.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (-.f64 0 (/.f64 (.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 3/2) 2)))
(+.f64 (.f64 (cos.f64 re) (/.f64 (pow.f64 im 2) 4)) (/.f64 (.f64 (*.f64 (pow.f64 im 2) (cos.f64 re)) 3/2) 2))
(+.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (.f64 (cos.f64 re) (*.f64 (pow.f64 im 2) 3/2)) 2))
(+.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (.f64 (pow.f64 im 2) (*.f64 (cos.f64 re) 3/2)) 2))
(-.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (+.f64 (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) -2) (/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) -4)))
(+.f64 (.f64 (cos.f64 re) (/.f64 (pow.f64 im 2) 4)) (/.f64 (.f64 (*.f64 (pow.f64 im 2) (cos.f64 re)) 3/2) 2))
(+.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (.f64 (cos.f64 re) (*.f64 (pow.f64 im 2) 3/2)) 2))
(+.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (.f64 (pow.f64 im 2) (*.f64 (cos.f64 re) 3/2)) 2))
(-.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (-.f64 (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) -2) (*.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4))))
(+.f64 (.f64 (cos.f64 re) (/.f64 (pow.f64 im 2) 4)) (-.f64 (.f64 (cos.f64 re) (/.f64 (pow.f64 im 2) 4)) (/.f64 (*.f64 (pow.f64 im 2) (cos.f64 re)) -2)))
(+.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (-.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (*.f64 (pow.f64 im 2) (cos.f64 re)) -2)))
(+.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (+.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))))
(+.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (+.f64 (.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re))) (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4))))
(-.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (-.f64 0 (.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 3/2)) 2))
(+.f64 (.f64 (cos.f64 re) (/.f64 (pow.f64 im 2) 4)) (/.f64 (.f64 (*.f64 (pow.f64 im 2) (cos.f64 re)) 3/2) 2))
(+.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (.f64 (cos.f64 re) (*.f64 (pow.f64 im 2) 3/2)) 2))
(+.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (.f64 (pow.f64 im 2) (*.f64 (cos.f64 re) 3/2)) 2))
(-.f64 (/.f64 (.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 3/2) 2) (/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) -4))
(*.f64 (pow.f64 im 2) (cos.f64 re))
(-.f64 (-.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) -2)) (/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) -4))
(+.f64 (.f64 (cos.f64 re) (/.f64 (pow.f64 im 2) 4)) (/.f64 (.f64 (*.f64 (pow.f64 im 2) (cos.f64 re)) 3/2) 2))
(+.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (.f64 (cos.f64 re) (*.f64 (pow.f64 im 2) 3/2)) 2))
(+.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (.f64 (pow.f64 im 2) (*.f64 (cos.f64 re) 3/2)) 2))
(/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 1)
(*.f64 (pow.f64 im 2) (cos.f64 re))
(/.f64 (.f64 2 (.f64 (cos.f64 re) (pow.f64 im 2))) 2)
(*.f64 (pow.f64 im 2) (cos.f64 re))
(/.f64 (.f64 (pow.f64 im 2) (.f64 (cos.f64 re) 4)) 4)
(*.f64 (pow.f64 im 2) (cos.f64 re))
(/.f64 (.f64 (cos.f64 re) (.f64 2 (*.f64 (pow.f64 im 2) 4))) 8)
(*.f64 (pow.f64 im 2) (cos.f64 re))
(/.f64 (.f64 (.f64 (pow.f64 im 2) 4) (*.f64 (cos.f64 re) 4)) 16)
(*.f64 (pow.f64 im 2) (cos.f64 re))
(/.f64 (+.f64 (.f64 (cos.f64 re) (.f64 2 (.f64 (pow.f64 im 2) 4))) (.f64 (cos.f64 re) (.f64 2 (.f64 (pow.f64 im 2) 4)))) 16)
(*.f64 (pow.f64 im 2) (cos.f64 re))
(/.f64 (+.f64 (.f64 (.f64 (pow.f64 im 2) 4) (.f64 (cos.f64 re) 4)) (.f64 (.f64 (pow.f64 im 2) 4) (.f64 (cos.f64 re) 4))) 32)
(*.f64 (pow.f64 im 2) (cos.f64 re))
(/.f64 (.f64 (.f64 2 (.f64 (pow.f64 im 2) 4)) (.f64 2 (*.f64 (cos.f64 re) 4))) 64)
(*.f64 (pow.f64 im 2) (cos.f64 re))
(/.f64 (.f64 (.f64 2 (.f64 (cos.f64 re) 4)) (.f64 2 (*.f64 (pow.f64 im 2) 4))) 64)
(*.f64 (pow.f64 im 2) (cos.f64 re))
(/.f64 (.f64 (.f64 (cos.f64 0) 2) (.f64 (cos.f64 re) (.f64 2 (*.f64 (pow.f64 im 2) 4)))) 16)
(/.f64 (.f64 (.f64 (.f64 (pow.f64 im 2) 4) (.f64 2 (cos.f64 re))) (*.f64 2 (cos.f64 0))) 16)
(/.f64 (.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 2) 8)) (.f64 2 (cos.f64 0))) 16)
(/.f64 (.f64 (.f64 (pow.f64 im 2) (*.f64 (cos.f64 re) 16)) (cos.f64 0)) 16)
(/.f64 (.f64 (cos.f64 re) (.f64 (cos.f64 0) (*.f64 (pow.f64 im 2) 16))) 16)
(pow.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 1)
(*.f64 (pow.f64 im 2) (cos.f64 re))
(+.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 2) 1/2)) 0)
(.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re)))
(.f64 (pow.f64 im 2) (.f64 (cos.f64 re) 1/2))
(.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))
(+.f64 0 (.f64 (cos.f64 re) (.f64 (pow.f64 im 2) 1/2)))
(.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re)))
(.f64 (pow.f64 im 2) (.f64 (cos.f64 re) 1/2))
(.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))
(+.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)))
(*.f64 (/.f64 (cos.f64 re) 4) (+.f64 (pow.f64 im 2) (pow.f64 im 2)))
(*.f64 (/.f64 (pow.f64 im 2) 4) (+.f64 (cos.f64 re) (cos.f64 re)))
(*.f64 (pow.f64 im 2) (/.f64 (+.f64 (cos.f64 re) (cos.f64 re)) 4))
(.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) 2)
(+.f64 (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 8) (+.f64 (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 8) (*.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4))))
(+.f64 (.f64 (cos.f64 re) (/.f64 (pow.f64 im 2) 4)) (+.f64 (/.f64 (.f64 (pow.f64 im 2) (cos.f64 re)) 8) (/.f64 (*.f64 (pow.f64 im 2) (cos.f64 re)) 8)))
(+.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (.f64 (pow.f64 im 2) (cos.f64 re)) 4))
(+.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (.f64 (*.f64 (pow.f64 im 2) (cos.f64 re)) 1/4))
(+.f64 (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 8) (/.f64 (/.f64 (.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 3/2) 2) 2))
(.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re)))
(.f64 (pow.f64 im 2) (.f64 (cos.f64 re) 1/2))
(.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))
(+.f64 (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 8) (/.f64 (.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 3/2) 4))
(.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re)))
(.f64 (pow.f64 im 2) (.f64 (cos.f64 re) 1/2))
(.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))
(+.f64 (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 8) (/.f64 (.f64 (cos.f64 re) (*.f64 (pow.f64 im 2) 3)) 8))
(.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re)))
(.f64 (pow.f64 im 2) (.f64 (cos.f64 re) 1/2))
(.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))
(-.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 2) 1/2)) 0)
(.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re)))
(.f64 (pow.f64 im 2) (.f64 (cos.f64 re) 1/2))
(.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))
(-.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) -4))
(+.f64 (.f64 (cos.f64 re) (/.f64 (pow.f64 im 2) 4)) (+.f64 (/.f64 (.f64 (pow.f64 im 2) (cos.f64 re)) 8) (/.f64 (*.f64 (pow.f64 im 2) (cos.f64 re)) 8)))
(+.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (.f64 (pow.f64 im 2) (cos.f64 re)) 4))
(+.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (.f64 (*.f64 (pow.f64 im 2) (cos.f64 re)) 1/4))
(-.f64 (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 8) (/.f64 (-.f64 0 (.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 3/2)) 4))
(.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re)))
(.f64 (pow.f64 im 2) (.f64 (cos.f64 re) 1/2))
(.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))
(-.f64 (+.f64 (/.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 8) (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4))) (-.f64 0 (/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 8)))
(+.f64 (.f64 (cos.f64 re) (/.f64 (pow.f64 im 2) 4)) (+.f64 (/.f64 (.f64 (pow.f64 im 2) (cos.f64 re)) 8) (/.f64 (*.f64 (pow.f64 im 2) (cos.f64 re)) 8)))
(+.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (/.f64 (.f64 (pow.f64 im 2) (cos.f64 re)) 4))
(+.f64 (.f64 (pow.f64 im 2) (/.f64 (cos.f64 re) 4)) (.f64 (*.f64 (pow.f64 im 2) (cos.f64 re)) 1/4))
(-.f64 (/.f64 (/.f64 (.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 3/2) 2) 2) (/.f64 (/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) -4) 2))
(.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re)))
(.f64 (pow.f64 im 2) (.f64 (cos.f64 re) 1/2))
(.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))
(-.f64 (/.f64 (.f64 (.f64 (cos.f64 re) (pow.f64 im 2)) 3/2) 4) (/.f64 (/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) -2) 4))
(.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re)))
(.f64 (pow.f64 im 2) (.f64 (cos.f64 re) 1/2))
(.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))
(-.f64 (/.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 2) 3)) 8) (/.f64 (neg.f64 (*.f64 (cos.f64 re) (pow.f64 im 2))) 8))
(.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re)))
(.f64 (pow.f64 im 2) (.f64 (cos.f64 re) 1/2))
(.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))
(/.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 2)
(.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re)))
(.f64 (pow.f64 im 2) (.f64 (cos.f64 re) 1/2))
(.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))
(/.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 2) 1/2)) 1)
(.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re)))
(.f64 (pow.f64 im 2) (.f64 (cos.f64 re) 1/2))
(.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))
(/.f64 (.f64 2 (.f64 (cos.f64 re) (pow.f64 im 2))) 4)
(.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re)))
(.f64 (pow.f64 im 2) (.f64 (cos.f64 re) 1/2))
(.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))
(/.f64 (.f64 (pow.f64 im 2) (.f64 (cos.f64 re) 4)) 8)
(.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re)))
(.f64 (pow.f64 im 2) (.f64 (cos.f64 re) 1/2))
(.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))
(/.f64 (.f64 (cos.f64 re) (.f64 2 (*.f64 (pow.f64 im 2) 4))) 16)
(.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re)))
(.f64 (pow.f64 im 2) (.f64 (cos.f64 re) 1/2))
(.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))
(/.f64 (.f64 (.f64 (pow.f64 im 2) 4) (*.f64 (cos.f64 re) 4)) 32)
(.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re)))
(.f64 (pow.f64 im 2) (.f64 (cos.f64 re) 1/2))
(.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))
(/.f64 (/.f64 (.f64 (.f64 (pow.f64 im 2) 4) (*.f64 (cos.f64 re) 4)) 2) 16)
(.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re)))
(.f64 (pow.f64 im 2) (.f64 (cos.f64 re) 1/2))
(.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))
(/.f64 (.f64 (.f64 (cos.f64 re) 4) (.f64 2 (.f64 (pow.f64 im 2) 4))) 64)
(.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re)))
(.f64 (pow.f64 im 2) (.f64 (cos.f64 re) 1/2))
(.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))
(/.f64 (.f64 (.f64 (pow.f64 im 2) 4) (.f64 2 (.f64 (cos.f64 re) 4))) 64)
(.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re)))
(.f64 (pow.f64 im 2) (.f64 (cos.f64 re) 1/2))
(.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))
(/.f64 (.f64 (.f64 2 (.f64 (pow.f64 im 2) 4)) (.f64 (cos.f64 re) 4)) 64)
(.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re)))
(.f64 (pow.f64 im 2) (.f64 (cos.f64 re) 1/2))
(.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))
(/.f64 (.f64 (.f64 2 (.f64 (cos.f64 re) 4)) (.f64 (pow.f64 im 2) 4)) 64)
(.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re)))
(.f64 (pow.f64 im 2) (.f64 (cos.f64 re) 1/2))
(.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))
(/.f64 (.f64 (.f64 (cos.f64 0) 2) (.f64 (pow.f64 im 2) (.f64 (cos.f64 re) 4))) 16)
(/.f64 (.f64 (.f64 4 (cos.f64 re)) (.f64 (pow.f64 im 2) (.f64 2 (cos.f64 0)))) 16)
(/.f64 (.f64 (cos.f64 0) (.f64 (cos.f64 re) (*.f64 (pow.f64 im 2) 8))) 16)
(/.f64 (.f64 (.f64 (pow.f64 im 2) (*.f64 (cos.f64 re) 16)) (cos.f64 0)) 32)
(/.f64 (.f64 (pow.f64 im 2) (.f64 (*.f64 (cos.f64 re) 8) (cos.f64 0))) 16)
(pow.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 2) 1/2)) 1)
(.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re)))
(.f64 (pow.f64 im 2) (.f64 (cos.f64 re) 1/2))
(.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))

eval167.0ms (1%)

Compiler: Compiled 2329 to 1573 computations (32.5% saved)

prune45.0ms (0.3%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

Counts

113 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.7b	(+.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))) (cos.f64 re))
✓	25.1b	(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
✓	1.0b	(cos.f64 re)

Compiler

Compiled 27 to 20 computations (25.9% saved)

regimes116.0ms (0.7%)

Counts

4 → 1

Calls

Call 1

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

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

Calls

6 calls:

41.0ms	re
22.0ms	(*.f64 1/2 (cos.f64 re))
18.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
7.0ms	im
6.0ms	(cos.f64 re)

Results

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

Compiler

Compiled 71 to 47 computations (33.8% saved)

regimes63.0ms (0.4%)

Accuracy

Total -26.1b remaining (-667597.8%)

Threshold costs -26.1b (-667597.8%)

Counts

2 → 2

Calls

Call 1

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

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

Calls

3 calls:

30.0ms	re
22.0ms	im
9.0ms	(cos.f64 re)

Results

Error	Segments	Branch
0.0b	3	`re`
1.0b	1	`im`
0.0b	2	`(cos.f64 re)`

Compiler

Compiled 22 to 16 computations (27.3% saved)

bsearch0.0ms (0%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
0.0ms	0.9999984252990805	1.0

Compiler

Compiled 18 to 14 computations (22.2% saved)

simplify21.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	83

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)))
(if (<=.f64 (cos.f64 re) 1) (cos.f64 re) (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(cos.f64 re)

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

Compiler

Compiled 34 to 25 computations (26.5% saved)

soundness0.0ms (0%)

end74.0ms (0.4%)

Compiler: Compiled 30 to 16 computations (46.7% saved)

Details

analyze459.0ms (2.6%)

sample13.7s (78.5%)

preprocess461.0ms (2.6%)

simplify207.0ms (1.2%)

eval3.0ms (0%)

prune4.0ms (0%)

localize64.0ms (0.4%)

series18.0ms (0.1%)

rewrite182.0ms (1%)

simplify428.0ms (2.5%)

eval206.0ms (1.2%)

prune111.0ms (0.6%)

localize5.0ms (0%)

localize30.0ms (0.2%)

localize42.0ms (0.2%)

series24.0ms (0.1%)

rewrite419.0ms (2.4%)

simplify600.0ms (3.4%)

eval167.0ms (1%)

prune45.0ms (0.3%)

regimes116.0ms (0.7%)

regimes63.0ms (0.4%)

bsearch0.0ms (0%)

simplify21.0ms (0.1%)

soundness0.0ms (0%)

end74.0ms (0.4%)

Profiling