Details

analyze50.0ms (0.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
50%	50%	50%	0.1%	0%	0%	0%	2
50%	50%	50%	0.1%	0%	0%	0%	3
75%	74.9%	25%	0.1%	0%	0%	0%	4
75%	74.9%	25%	0.1%	0%	0%	0%	5
80%	74.9%	18.7%	0.1%	6.2%	0%	0%	6
80%	74.9%	18.7%	0.1%	6.2%	0%	0%	7
82.8%	74.9%	15.6%	0.1%	9.4%	0%	0%	8
82.8%	74.9%	15.6%	0.1%	9.4%	0%	0%	9
84.2%	74.9%	14%	0.1%	10.9%	0%	0%	10
84.2%	74.9%	14%	0.1%	10.9%	0%	0%	11
85%	74.9%	13.3%	0.1%	11.7%	0%	0%	12

Compiler

Compiled 8 to 6 computations (25% saved)

sample2.4s (27.4%)

Results

989.0ms	6201×	body	256	valid
611.0ms	1367×	body	1024	valid
344.0ms	688×	body	512	valid
240.0ms	703×	body	1024	infinite
132.0ms	347×	body	512	infinite
49.0ms	458×	body	256	infinite

Bogosity

preprocess102.0ms (1.2%)

Algorithm

2×	egg-herbie

Rules

1296×	`rational.json-simplify-46`
1254×	`rational.json-simplify-59`
1114×	`rational.json-simplify-35`
944×	`rational.json-simplify-1`
772×	`rational.json-simplify-42`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	30
1	17	30
2	29	30
3	47	30
4	87	30
5	160	30
6	369	30
7	875	30
8	2078	30
9	2941	30
10	4143	30
11	6766	30
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

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

Outputs
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (exp.f64 im) (cos.f64 re))

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify486.0ms (5.6%)

Algorithm

1×	egg-herbie

Rules

2524×	`rational.json-simplify-42`
2160×	`rational.json-simplify-35`
2098×	`rational.json-simplify-45`
1716×	`rational.json-simplify-1`
1044×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	15
1	11	15
2	18	15
3	28	15
4	52	15
5	93	15
6	208	15
7	479	15
8	1122	15
9	2615	15
10	3528	15
11	4109	15
12	4656	15
13	4962	15
14	5082	15
15	5203	15
16	5513	15
17	5642	15
18	5758	15
19	5885	15
20	5999	15
21	6113	15
22	6227	15
23	6227	15
24	6227	15

Stop Event

1×	node limit

Counts

1 → 1

Calls

Call 1

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

Outputs
(*.f64 (exp.f64 re) (cos.f64 im))

eval0.0ms (0%)

Compiler: Compiled 7 to 5 computations (28.6% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))

Compiler

Compiled 7 to 5 computations (28.6% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(cos.f64 im)
✓	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))

Compiler

Compiled 13 to 5 computations (61.5% saved)

series3.0ms (0%)

Counts

2 → 12

Calls

9 calls:

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

rewrite82.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1360×	`rational.json-simplify-35`
1350×	`bool.json-1`
1350×	`bool.json-2`
1298×	`rational.json-1`
1298×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	20
1	80	20
2	231	20
3	515	20
4	1069	20
5	2339	20
6	4993	20

Stop Event

1×	node limit

Counts

2 → 32

Calls

Call 1

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

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

Outputs

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

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

simplify247.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

2718×	`rational.json-simplify-2`
2064×	`rational.json-simplify-35`
1536×	`rational.json-simplify-1`
1330×	`rational.json-simplify-51`
990×	`rational.json-simplify-43`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	105	722
1	240	710
2	604	670
3	1997	642
4	3865	642
5	4527	642
6	4737	642
7	4854	642
8	4989	642
9	6305	642
10	6471	642
11	6804	642
12	7601	642

Stop Event

1×	node limit

Counts

44 → 69

Calls

Call 1

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

Outputs
(cos.f64 im)
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(+.f64 (cos.f64 im) (*.f64 (cos.f64 im) re))
(*.f64 (cos.f64 im) (+.f64 re 1))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im)))
(+.f64 (.f64 (cos.f64 im) re) (+.f64 (cos.f64 im) (.f64 (cos.f64 im) (*.f64 (pow.f64 re 2) 1/2))))
(+.f64 (.f64 (cos.f64 im) (+.f64 re 1)) (.f64 (pow.f64 re 2) (*.f64 (cos.f64 im) 1/2)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 1/2 (pow.f64 re 2)))))
(+.f64 (.f64 1/6 (.f64 (cos.f64 im) (pow.f64 re 3))) (+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))))
(+.f64 (.f64 (cos.f64 im) (.f64 (pow.f64 re 2) 1/2)) (+.f64 (+.f64 (cos.f64 im) (.f64 (cos.f64 im) re)) (.f64 (cos.f64 im) (*.f64 (pow.f64 re 3) 1/6))))
(+.f64 (.f64 (cos.f64 im) (+.f64 re 1)) (+.f64 (.f64 (pow.f64 re 3) (.f64 1/6 (cos.f64 im))) (.f64 (pow.f64 re 2) (*.f64 (cos.f64 im) 1/2))))
(+.f64 (.f64 (cos.f64 im) (+.f64 re 1)) (.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (.f64 1/6 (pow.f64 re 3)))))
(.f64 (cos.f64 im) (+.f64 (.f64 1/6 (pow.f64 re 3)) (+.f64 re (+.f64 1 (*.f64 1/2 (pow.f64 re 2))))))
(exp.f64 re)
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (exp.f64 re))
(+.f64 (exp.f64 re) (.f64 (exp.f64 re) (.f64 -1/2 (pow.f64 im 2))))
(+.f64 (exp.f64 re) (.f64 (pow.f64 im 2) (.f64 (exp.f64 re) -1/2)))
(.f64 (exp.f64 re) (+.f64 1 (.f64 -1/2 (pow.f64 im 2))))
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (+.f64 (.f64 1/24 (.f64 (exp.f64 re) (pow.f64 im 4))) (exp.f64 re)))
(+.f64 (.f64 (exp.f64 re) (.f64 1/24 (pow.f64 im 4))) (+.f64 (exp.f64 re) (.f64 (exp.f64 re) (.f64 -1/2 (pow.f64 im 2)))))
(+.f64 (exp.f64 re) (+.f64 (.f64 (exp.f64 re) (.f64 -1/2 (pow.f64 im 2))) (.f64 (exp.f64 re) (.f64 1/24 (pow.f64 im 4)))))
(+.f64 (exp.f64 re) (.f64 (exp.f64 re) (+.f64 (.f64 -1/2 (pow.f64 im 2)) (*.f64 1/24 (pow.f64 im 4)))))
(.f64 (exp.f64 re) (+.f64 (.f64 -1/2 (pow.f64 im 2)) (+.f64 1 (*.f64 1/24 (pow.f64 im 4)))))
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (+.f64 (.f64 1/24 (.f64 (exp.f64 re) (pow.f64 im 4))) (+.f64 (exp.f64 re) (.f64 -1/720 (.f64 (exp.f64 re) (pow.f64 im 6))))))
(+.f64 (.f64 (exp.f64 re) (.f64 -1/2 (pow.f64 im 2))) (+.f64 (exp.f64 re) (+.f64 (.f64 (exp.f64 re) (.f64 -1/720 (pow.f64 im 6))) (.f64 (exp.f64 re) (.f64 1/24 (pow.f64 im 4))))))
(+.f64 (.f64 (exp.f64 re) (.f64 -1/2 (pow.f64 im 2))) (+.f64 (exp.f64 re) (+.f64 (.f64 (exp.f64 re) (.f64 1/24 (pow.f64 im 4))) (.f64 (exp.f64 re) (.f64 -1/720 (pow.f64 im 6))))))
(+.f64 (.f64 (pow.f64 im 2) (.f64 (exp.f64 re) -1/2)) (+.f64 (exp.f64 re) (.f64 (exp.f64 re) (+.f64 (.f64 1/24 (pow.f64 im 4)) (*.f64 -1/720 (pow.f64 im 6))))))
(+.f64 (exp.f64 re) (.f64 (exp.f64 re) (+.f64 (.f64 -1/2 (pow.f64 im 2)) (+.f64 (.f64 1/24 (pow.f64 im 4)) (.f64 -1/720 (pow.f64 im 6))))))
1
(+.f64 1 (*.f64 -1/2 (pow.f64 im 2)))
(+.f64 1 (+.f64 (.f64 -1/2 (pow.f64 im 2)) (.f64 1/24 (pow.f64 im 4))))
(+.f64 (.f64 -1/2 (pow.f64 im 2)) (+.f64 1 (.f64 1/24 (pow.f64 im 4))))
(+.f64 1 (+.f64 (.f64 -1/2 (pow.f64 im 2)) (+.f64 (.f64 1/24 (pow.f64 im 4)) (*.f64 -1/720 (pow.f64 im 6)))))
(+.f64 1 (+.f64 (.f64 -1/720 (pow.f64 im 6)) (+.f64 (.f64 -1/2 (pow.f64 im 2)) (*.f64 1/24 (pow.f64 im 4)))))
(+.f64 (.f64 -1/2 (pow.f64 im 2)) (+.f64 (.f64 -1/720 (pow.f64 im 6)) (+.f64 1 (*.f64 1/24 (pow.f64 im 4)))))
(+.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 0)
(*.f64 (cos.f64 im) (exp.f64 re))
(+.f64 0 (*.f64 (exp.f64 re) (cos.f64 im)))
(*.f64 (cos.f64 im) (exp.f64 re))
(+.f64 (.f64 (exp.f64 re) (.f64 (cos.f64 im) 1/2)) (.f64 (exp.f64 re) (.f64 (cos.f64 im) 1/2)))
(*.f64 (cos.f64 im) (exp.f64 re))
(-.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 0)
(*.f64 (cos.f64 im) (exp.f64 re))
(/.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 1)
(*.f64 (cos.f64 im) (exp.f64 re))
(/.f64 (.f64 (exp.f64 re) (.f64 (cos.f64 im) 2)) 2)
(*.f64 (cos.f64 im) (exp.f64 re))
(/.f64 (.f64 (exp.f64 re) (.f64 (cos.f64 im) 4)) 4)
(*.f64 (cos.f64 im) (exp.f64 re))
(/.f64 (.f64 (.f64 (exp.f64 re) (cos.f64 im)) 8) 8)
(*.f64 (cos.f64 im) (exp.f64 re))
(/.f64 (.f64 2 (.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 8)) 16)
(*.f64 (cos.f64 im) (exp.f64 re))
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 (exp.f64 re) (cos.f64 im)) 8))) 32)
(*.f64 (cos.f64 im) (exp.f64 re))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 (exp.f64 re) (cos.f64 im)) 8))) (.f64 2 (.f64 2 (.f64 (.f64 (exp.f64 re) (cos.f64 im)) 8)))) 64)
(*.f64 (cos.f64 im) (exp.f64 re))
(+.f64 (cos.f64 im) 0)
(cos.f64 im)
(+.f64 0 (cos.f64 im))
(cos.f64 im)
(+.f64 (.f64 (cos.f64 im) 1/2) (.f64 (cos.f64 im) 1/2))
(cos.f64 im)
(-.f64 (cos.f64 im) 0)
(cos.f64 im)
(*.f64 (cos.f64 im) 1)
(cos.f64 im)
(*.f64 1 (cos.f64 im))
(cos.f64 im)
(.f64 2 (.f64 (cos.f64 im) 1/2))
(cos.f64 im)
(.f64 (.f64 (cos.f64 im) 2) 1/2)
(cos.f64 im)
(*.f64 4 (/.f64 (cos.f64 im) 4))
(cos.f64 im)
(.f64 (.f64 (cos.f64 im) 4) 1/4)
(cos.f64 im)
(.f64 1/2 (.f64 (cos.f64 im) 2))
(cos.f64 im)
(.f64 (.f64 (cos.f64 im) 1/2) 2)
(cos.f64 im)
(.f64 1/4 (.f64 (cos.f64 im) 4))
(cos.f64 im)
(*.f64 (/.f64 (cos.f64 im) 4) 4)
(cos.f64 im)
(/.f64 (cos.f64 im) 1)
(cos.f64 im)
(/.f64 (*.f64 (cos.f64 im) 2) 2)
(cos.f64 im)
(/.f64 (*.f64 (cos.f64 im) 4) 4)
(cos.f64 im)
(/.f64 (*.f64 (cos.f64 im) 8) 8)
(cos.f64 im)
(/.f64 (.f64 2 (.f64 (cos.f64 im) 8)) 16)
(cos.f64 im)
(/.f64 (.f64 2 (.f64 2 (*.f64 (cos.f64 im) 8))) 32)
(cos.f64 im)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (cos.f64 im) 8))) (.f64 2 (.f64 2 (.f64 (cos.f64 im) 8)))) 64)
(cos.f64 im)

eval16.0ms (0.2%)

Compiler: Compiled 917 to 540 computations (41.1% saved)

prune13.0ms (0.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	64	5	69
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	64	6	70

Error

0.0b

Counts

70 → 6

Alt Table

Click to see full alt table

Status	Error	Program
▶	20.8b	(+.f64 (.f64 (cos.f64 im) (+.f64 re 1)) (.f64 (pow.f64 re 2) (*.f64 (cos.f64 im) 1/2)))
✓	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))
▶	20.8b	(.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 1/2 (pow.f64 re 2)))))
▶	20.8b	(*.f64 (cos.f64 im) (+.f64 re 1))
▶	17.3b	(exp.f64 re)
▶	21.0b	(cos.f64 im)

Compiler

Compiled 101 to 75 computations (25.7% saved)

localize2.0ms (0%)

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

localize3.0ms (0%)

Local error

Found 1 expressions with local error:

New	Error	Program
	0.0b	(cos.f64 im)

Compiler

Compiled 5 to 3 computations (40% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 16 to 9 computations (43.8% saved)

series8.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite82.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1554×	`rational.json-simplify-35`
1344×	`bool.json-1`
1344×	`bool.json-2`
1286×	`rational.json-1`
1286×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	17
1	97	17
2	283	17
3	579	17
4	1203	17
5	2671	17
6	5448	17

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

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

Outputs

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

simplify488.0ms (5.6%)

Algorithm

1×	egg-herbie

Rules

3188×	`rational.json-simplify-35`
2192×	`rational.json-simplify-2`
1398×	`rational.json-simplify-1`
836×	`rational.json-simplify-53`
798×	`rational.json-simplify-41`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	62	747
1	148	747
2	298	735
3	584	723
4	2038	723
5	3764	723
6	4681	723
7	5090	723
8	5409	723
9	5679	723
10	6011	723
11	6832	723
12	6993	723
13	7095	723
14	7178	723
15	7247	723
16	7489	723
17	7734	723
18	7978	723

Stop Event

1×	node limit

Counts

35 → 36

Calls

Call 1

Inputs
(+.f64 1 re)
(+.f64 1 (+.f64 re (.f64 -1/2 (.f64 (+.f64 1 re) (pow.f64 im 2)))))
(+.f64 (.f64 1/24 (.f64 (+.f64 1 re) (pow.f64 im 4))) (+.f64 1 (+.f64 re (.f64 -1/2 (.f64 (+.f64 1 re) (pow.f64 im 2))))))
(+.f64 (.f64 1/24 (.f64 (+.f64 1 re) (pow.f64 im 4))) (+.f64 (.f64 -1/720 (.f64 (+.f64 1 re) (pow.f64 im 6))) (+.f64 1 (+.f64 re (.f64 -1/2 (.f64 (+.f64 1 re) (pow.f64 im 2)))))))
(*.f64 (cos.f64 im) (+.f64 1 re))
(*.f64 (cos.f64 im) (+.f64 1 re))
(*.f64 (cos.f64 im) (+.f64 1 re))
(*.f64 (cos.f64 im) (+.f64 1 re))
(*.f64 (+.f64 1 re) (cos.f64 im))
(*.f64 (+.f64 1 re) (cos.f64 im))
(*.f64 (+.f64 1 re) (cos.f64 im))
(*.f64 (+.f64 1 re) (cos.f64 im))
(cos.f64 im)
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(*.f64 (cos.f64 im) re)
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(*.f64 (cos.f64 im) re)
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(+.f64 (*.f64 (cos.f64 im) (+.f64 re 1)) 0)
(+.f64 0 (*.f64 (cos.f64 im) (+.f64 re 1)))
(+.f64 (.f64 (cos.f64 im) (.f64 (+.f64 re 1) 1/2)) (.f64 (cos.f64 im) (.f64 (+.f64 re 1) 1/2)))
(-.f64 (*.f64 (cos.f64 im) (+.f64 re 1)) 0)
(/.f64 (*.f64 (cos.f64 im) (+.f64 re 1)) 1)
(/.f64 (*.f64 (cos.f64 im) (+.f64 re (+.f64 re 2))) 2)
(/.f64 (.f64 (cos.f64 im) (.f64 (+.f64 re 1) 4)) 4)
(/.f64 (.f64 (.f64 (cos.f64 im) (+.f64 re 1)) 8) 8)
(/.f64 (.f64 2 (.f64 (*.f64 (cos.f64 im) (+.f64 re 1)) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 (cos.f64 im) (+.f64 re 1)) 8))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 (cos.f64 im) (+.f64 re 1)) 8))) (.f64 2 (.f64 2 (.f64 (.f64 (cos.f64 im) (+.f64 re 1)) 8)))) 64)

Outputs
(+.f64 1 re)
(+.f64 1 (+.f64 re (.f64 -1/2 (.f64 (+.f64 1 re) (pow.f64 im 2)))))
(+.f64 (.f64 (+.f64 1 re) (.f64 -1/2 (pow.f64 im 2))) (+.f64 1 re))
(+.f64 (+.f64 1 re) (.f64 (+.f64 1 re) (.f64 -1/2 (pow.f64 im 2))))
(+.f64 1 (+.f64 re (.f64 (+.f64 1 re) (.f64 -1/2 (pow.f64 im 2)))))
(+.f64 (.f64 1/24 (.f64 (+.f64 1 re) (pow.f64 im 4))) (+.f64 1 (+.f64 re (.f64 -1/2 (.f64 (+.f64 1 re) (pow.f64 im 2))))))
(+.f64 1 (+.f64 (+.f64 re (.f64 -1/2 (.f64 (+.f64 1 re) (pow.f64 im 2)))) (.f64 1/24 (.f64 (+.f64 1 re) (pow.f64 im 4)))))
(+.f64 (+.f64 re (.f64 (+.f64 1 re) (.f64 -1/2 (pow.f64 im 2)))) (+.f64 (.f64 (+.f64 1 re) (.f64 1/24 (pow.f64 im 4))) 1))
(+.f64 (+.f64 re (.f64 (+.f64 1 re) (.f64 -1/2 (pow.f64 im 2)))) (+.f64 1 (.f64 (+.f64 1 re) (.f64 1/24 (pow.f64 im 4)))))
(+.f64 re (+.f64 (.f64 (+.f64 1 re) (+.f64 (.f64 1/24 (pow.f64 im 4)) (*.f64 -1/2 (pow.f64 im 2)))) 1))
(+.f64 (+.f64 1 re) (.f64 (+.f64 1 re) (+.f64 (.f64 1/24 (pow.f64 im 4)) (*.f64 -1/2 (pow.f64 im 2)))))
(+.f64 re (+.f64 1 (.f64 (+.f64 1 re) (+.f64 (.f64 1/24 (pow.f64 im 4)) (*.f64 -1/2 (pow.f64 im 2))))))
(+.f64 (.f64 1/24 (.f64 (+.f64 1 re) (pow.f64 im 4))) (+.f64 (.f64 -1/720 (.f64 (+.f64 1 re) (pow.f64 im 6))) (+.f64 1 (+.f64 re (.f64 -1/2 (.f64 (+.f64 1 re) (pow.f64 im 2)))))))
(+.f64 (.f64 1/24 (.f64 (+.f64 1 re) (pow.f64 im 4))) (+.f64 1 (+.f64 (+.f64 re (.f64 -1/2 (.f64 (+.f64 1 re) (pow.f64 im 2)))) (.f64 (+.f64 1 re) (.f64 (pow.f64 im 6) -1/720)))))
(+.f64 (+.f64 (+.f64 re (.f64 (+.f64 1 re) (.f64 -1/2 (pow.f64 im 2)))) (+.f64 (.f64 (+.f64 1 re) (.f64 1/24 (pow.f64 im 4))) 1)) (.f64 (+.f64 1 re) (.f64 -1/720 (pow.f64 im 6))))
(+.f64 (+.f64 (+.f64 1 re) (.f64 (+.f64 1 re) (.f64 -1/2 (pow.f64 im 2)))) (.f64 (+.f64 1 re) (+.f64 (.f64 -1/720 (pow.f64 im 6)) (*.f64 1/24 (pow.f64 im 4)))))
(+.f64 re (+.f64 (.f64 (+.f64 1 re) (.f64 -1/2 (pow.f64 im 2))) (+.f64 1 (.f64 (+.f64 1 re) (+.f64 (.f64 -1/720 (pow.f64 im 6)) (*.f64 1/24 (pow.f64 im 4)))))))
(+.f64 (+.f64 1 (+.f64 re (.f64 (+.f64 1 re) (.f64 -1/2 (pow.f64 im 2))))) (.f64 (+.f64 1 re) (+.f64 (.f64 -1/720 (pow.f64 im 6)) (*.f64 1/24 (pow.f64 im 4)))))
(*.f64 (cos.f64 im) (+.f64 1 re))
(*.f64 (+.f64 1 re) (cos.f64 im))
(*.f64 (cos.f64 im) (+.f64 1 re))
(*.f64 (+.f64 1 re) (cos.f64 im))
(*.f64 (cos.f64 im) (+.f64 1 re))
(*.f64 (+.f64 1 re) (cos.f64 im))
(*.f64 (cos.f64 im) (+.f64 1 re))
(*.f64 (+.f64 1 re) (cos.f64 im))
(*.f64 (+.f64 1 re) (cos.f64 im))
(*.f64 (+.f64 1 re) (cos.f64 im))
(*.f64 (+.f64 1 re) (cos.f64 im))
(*.f64 (+.f64 1 re) (cos.f64 im))
(cos.f64 im)
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(+.f64 (cos.f64 im) (*.f64 re (cos.f64 im)))
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(+.f64 (cos.f64 im) (*.f64 re (cos.f64 im)))
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(+.f64 (cos.f64 im) (*.f64 re (cos.f64 im)))
(*.f64 (cos.f64 im) re)
(*.f64 re (cos.f64 im))
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(+.f64 (cos.f64 im) (*.f64 re (cos.f64 im)))
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(+.f64 (cos.f64 im) (*.f64 re (cos.f64 im)))
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(+.f64 (cos.f64 im) (*.f64 re (cos.f64 im)))
(*.f64 (cos.f64 im) re)
(*.f64 re (cos.f64 im))
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(+.f64 (cos.f64 im) (*.f64 re (cos.f64 im)))
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(+.f64 (cos.f64 im) (*.f64 re (cos.f64 im)))
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(+.f64 (cos.f64 im) (*.f64 re (cos.f64 im)))
(+.f64 (*.f64 (cos.f64 im) (+.f64 re 1)) 0)
(*.f64 (+.f64 1 re) (cos.f64 im))
(+.f64 0 (*.f64 (cos.f64 im) (+.f64 re 1)))
(*.f64 (+.f64 1 re) (cos.f64 im))
(+.f64 (.f64 (cos.f64 im) (.f64 (+.f64 re 1) 1/2)) (.f64 (cos.f64 im) (.f64 (+.f64 re 1) 1/2)))
(*.f64 (+.f64 1 re) (cos.f64 im))
(-.f64 (*.f64 (cos.f64 im) (+.f64 re 1)) 0)
(*.f64 (+.f64 1 re) (cos.f64 im))
(/.f64 (*.f64 (cos.f64 im) (+.f64 re 1)) 1)
(*.f64 (+.f64 1 re) (cos.f64 im))
(/.f64 (*.f64 (cos.f64 im) (+.f64 re (+.f64 re 2))) 2)
(*.f64 (+.f64 1 re) (cos.f64 im))
(/.f64 (.f64 (cos.f64 im) (.f64 (+.f64 re 1) 4)) 4)
(*.f64 (+.f64 1 re) (cos.f64 im))
(/.f64 (.f64 (.f64 (cos.f64 im) (+.f64 re 1)) 8) 8)
(*.f64 (+.f64 1 re) (cos.f64 im))
(/.f64 (.f64 2 (.f64 (*.f64 (cos.f64 im) (+.f64 re 1)) 8)) 16)
(*.f64 (+.f64 1 re) (cos.f64 im))
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 (cos.f64 im) (+.f64 re 1)) 8))) 32)
(*.f64 (+.f64 1 re) (cos.f64 im))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 (cos.f64 im) (+.f64 re 1)) 8))) (.f64 2 (.f64 2 (.f64 (.f64 (cos.f64 im) (+.f64 re 1)) 8)))) 64)
(*.f64 (+.f64 1 re) (cos.f64 im))

localize18.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 45 to 33 computations (26.7% saved)

series2.0ms (0%)

Counts

2 → 36

Calls

9 calls:

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

rewrite93.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1642×	`bool.json-1`
1642×	`bool.json-2`
1592×	`rational.json-1`
1592×	`rational.json-2`
1070×	`bool.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	60
1	147	60
2	390	60
3	778	60
4	1655	60
5	3551	60
6	6436	60

Stop Event

1×	node limit

Counts

2 → 32

Calls

Call 1

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

Outputs

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

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 re (+.f64 1 (*.f64 1/2 (pow.f64 re 2)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 re (*.f64 1/2 (pow.f64 re 2))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 re (+.f64 1 (*.f64 1/2 (pow.f64 re 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 re (+.f64 re (+.f64 2 (pow.f64 re 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (+.f64 2 (pow.f64 re 2)) (+.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (+.f64 re re) (+.f64 2 (pow.f64 re 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 1/2 (+.f64 re (+.f64 1 (*.f64 1/2 (pow.f64 re 2))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (+.f64 (/.f64 (+.f64 2 (pow.f64 re 2)) 4) (*.f64 re 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (+.f64 (*.f64 re 1/2) (/.f64 (+.f64 2 (pow.f64 re 2)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 re (+.f64 1 (*.f64 1/2 (pow.f64 re 2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (+.f64 re (+.f64 1 (*.f64 1/2 (pow.f64 re 2)))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 re (+.f64 re (+.f64 2 (pow.f64 re 2)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 re (+.f64 1 (*.f64 1/2 (pow.f64 re 2)))) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 1/2 (+.f64 re (+.f64 1 (*.f64 1/2 (pow.f64 re 2))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (+.f64 re (+.f64 1 (*.f64 1/2 (pow.f64 re 2)))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 re (+.f64 1 (*.f64 1/2 (pow.f64 re 2)))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 re (+.f64 1 (*.f64 1/2 (pow.f64 re 2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 re (+.f64 re (+.f64 2 (pow.f64 re 2)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 re (+.f64 1 (*.f64 1/2 (pow.f64 re 2)))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 re (+.f64 1 (*.f64 1/2 (pow.f64 re 2)))) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 re (+.f64 1 (*.f64 1/2 (pow.f64 re 2)))) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 (+.f64 re (+.f64 1 (*.f64 1/2 (pow.f64 re 2)))) 8)) (*.f64 2 (*.f64 (+.f64 re (+.f64 1 (*.f64 1/2 (pow.f64 re 2)))) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (+.f64 re (+.f64 1 (*.f64 1/2 (pow.f64 re 2))))))))) (#(struct:change #<rule egg-rr> (2) ((x and (+.f64 re (+.f64 1 (*.f64 1/2 (pow.f64 re 2)))) (+.f64 re (+.f64 1 (*.f64 1/2 (pow.f64 re 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 re (+.f64 1 (*.f64 1/2 (pow.f64 re 2)))) (+.f64 re (+.f64 1 (*.f64 1/2 (pow.f64 re 2)))))))))

simplify249.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

1920×	`rational.json-simplify-51`
1718×	`rational.json-simplify-35`
1706×	`rational.json-simplify-2`
1396×	`rational.json-simplify-53`
906×	`rational.json-simplify-1`

Iterations

Useful iterations: 9 (0.0ms)

Iter	Nodes	Cost
0	109	2174
1	247	2154
2	574	2070
3	1835	2012
4	3228	2012
5	3560	2012
6	3782	2012
7	3995	2012
8	4182	2012
9	4367	1988
10	6834	1988
11	7529	1988
12	7741	1988

Stop Event

1×	node limit

Counts

68 → 76

Calls

Call 1

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

Outputs
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 1 re))
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re 1))
(+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 1 (+.f64 (.f64 -1/2 (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 1 re)) (pow.f64 im 2))) re)))
(+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 (.f64 -1/2 (.f64 (pow.f64 im 2) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))) (+.f64 re 1)))
(+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 (+.f64 re 1) (.f64 -1/2 (.f64 (pow.f64 im 2) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1))))))
(.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)) (+.f64 1 (*.f64 -1/2 (pow.f64 im 2))))
(.f64 (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)) (+.f64 1 (*.f64 -1/2 (pow.f64 im 2))))
(+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 1 (+.f64 (.f64 -1/2 (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 1 re)) (pow.f64 im 2))) (+.f64 re (.f64 1/24 (.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 1 re)) (pow.f64 im 4)))))))
(+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 1 (+.f64 (.f64 -1/2 (.f64 (pow.f64 im 2) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))) (+.f64 re (.f64 1/24 (.f64 (pow.f64 im 4) (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))))))))
(+.f64 (.f64 -1/2 (.f64 (pow.f64 im 2) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))) (+.f64 (+.f64 1 (+.f64 re (.f64 1/24 (.f64 (pow.f64 im 4) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))))) (*.f64 1/2 (pow.f64 re 2))))
(+.f64 (+.f64 re (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)) (+.f64 (.f64 1/24 (pow.f64 im 4)) (.f64 -1/2 (pow.f64 im 2))))) (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))
(.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)) (+.f64 1 (+.f64 (.f64 1/24 (pow.f64 im 4)) (.f64 -1/2 (pow.f64 im 2)))))
(.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)) (+.f64 (.f64 1/24 (pow.f64 im 4)) (+.f64 1 (.f64 -1/2 (pow.f64 im 2)))))
(.f64 (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)) (+.f64 (.f64 1/24 (pow.f64 im 4)) (+.f64 1 (.f64 -1/2 (pow.f64 im 2)))))
(+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 (.f64 -1/720 (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 1 re)) (pow.f64 im 6))) (+.f64 1 (+.f64 (.f64 -1/2 (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 1 re)) (pow.f64 im 2))) (+.f64 re (.f64 1/24 (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 1 re)) (pow.f64 im 4))))))))
(+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 1 (+.f64 (+.f64 (.f64 -1/2 (.f64 (pow.f64 im 2) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))) (+.f64 re (.f64 1/24 (.f64 (pow.f64 im 4) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))))) (.f64 -1/720 (.f64 (pow.f64 im 6) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))))))
(+.f64 (+.f64 (.f64 -1/2 (.f64 (pow.f64 im 2) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))) (+.f64 (+.f64 1 (+.f64 re (.f64 1/24 (.f64 (pow.f64 im 4) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))))) (.f64 1/2 (pow.f64 re 2)))) (.f64 -1/720 (.f64 (pow.f64 im 6) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))))
(+.f64 1 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 (+.f64 re (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)) (+.f64 (.f64 1/24 (pow.f64 im 4)) (.f64 -1/2 (pow.f64 im 2))))) (.f64 -1/720 (.f64 (pow.f64 im 6) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))))))
(+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)) (+.f64 (.f64 -1/720 (pow.f64 im 6)) (+.f64 (.f64 1/24 (pow.f64 im 4)) (.f64 -1/2 (pow.f64 im 2))))) (+.f64 re 1)))
(+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 (+.f64 re 1) (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)) (+.f64 (.f64 -1/720 (pow.f64 im 6)) (+.f64 (.f64 1/24 (pow.f64 im 4)) (.f64 -1/2 (pow.f64 im 2)))))))
(.f64 (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)) (+.f64 (.f64 -1/720 (pow.f64 im 6)) (+.f64 (.f64 1/24 (pow.f64 im 4)) (+.f64 1 (*.f64 -1/2 (pow.f64 im 2))))))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 1 re)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 1 re)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 1 re)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 1 re)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 1 re)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 1 re)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 1 re)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 1 re)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(cos.f64 im)
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(+.f64 (cos.f64 im) (*.f64 re (cos.f64 im)))
(*.f64 (cos.f64 im) (+.f64 re 1))
(*.f64 (+.f64 re 1) (cos.f64 im))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(.f64 1/2 (.f64 (pow.f64 re 2) (cos.f64 im)))
(.f64 (pow.f64 re 2) (.f64 1/2 (cos.f64 im)))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) re))
(+.f64 (.f64 re (cos.f64 im)) (.f64 1/2 (*.f64 (pow.f64 re 2) (cos.f64 im))))
(.f64 (cos.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2))))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(.f64 1/2 (.f64 (pow.f64 re 2) (cos.f64 im)))
(.f64 (pow.f64 re 2) (.f64 1/2 (cos.f64 im)))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) re))
(+.f64 (.f64 re (cos.f64 im)) (.f64 1/2 (*.f64 (pow.f64 re 2) (cos.f64 im))))
(.f64 (cos.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2))))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
1
(+.f64 1 re)
(+.f64 re 1)
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 1 re))
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re 1))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 1 re))
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re 1))
(*.f64 1/2 (pow.f64 re 2))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) re)
(+.f64 re (*.f64 1/2 (pow.f64 re 2)))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 1 re))
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re 1))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 1 re))
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re 1))
(*.f64 1/2 (pow.f64 re 2))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) re)
(+.f64 re (*.f64 1/2 (pow.f64 re 2)))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 1 re))
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re 1))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 1 re))
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re 1))
(+.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 1/2 (pow.f64 re 2))))) 0)
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(+.f64 0 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 1/2 (pow.f64 re 2))))))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 1/2 (pow.f64 re 2)))))) (.f64 1/2 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 1/2 (pow.f64 re 2)))))))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(-.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 1/2 (pow.f64 re 2))))) 0)
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(/.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 1/2 (pow.f64 re 2))))) 1)
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(/.f64 (*.f64 (cos.f64 im) (+.f64 re (+.f64 re (+.f64 2 (pow.f64 re 2))))) 2)
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(/.f64 (.f64 (+.f64 re (+.f64 1 (.f64 1/2 (pow.f64 re 2)))) (*.f64 (cos.f64 im) 4)) 4)
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(/.f64 (.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (*.f64 1/2 (pow.f64 re 2))))) 8) 8)
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(/.f64 (.f64 2 (.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 1/2 (pow.f64 re 2))))) 8)) 16)
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(/.f64 (+.f64 (.f64 2 (.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 1/2 (pow.f64 re 2))))) 8)) (.f64 2 (.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 1/2 (pow.f64 re 2))))) 8))) 32)
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(-.f64 (+.f64 re (+.f64 1 (*.f64 1/2 (pow.f64 re 2)))) 0)
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re 1))
(-.f64 (+.f64 re (*.f64 1/2 (pow.f64 re 2))) -1)
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re 1))
(.f64 1 (+.f64 re (+.f64 1 (.f64 1/2 (pow.f64 re 2)))))
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re 1))
(*.f64 1/2 (+.f64 re (+.f64 re (+.f64 2 (pow.f64 re 2)))))
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re 1))
(*.f64 1/2 (+.f64 (+.f64 2 (pow.f64 re 2)) (+.f64 re re)))
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re 1))
(*.f64 1/2 (+.f64 (+.f64 re re) (+.f64 2 (pow.f64 re 2))))
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re 1))
(.f64 2 (.f64 1/2 (+.f64 re (+.f64 1 (*.f64 1/2 (pow.f64 re 2))))))
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re 1))
(.f64 2 (+.f64 (/.f64 (+.f64 2 (pow.f64 re 2)) 4) (.f64 re 1/2)))
(.f64 2 (+.f64 (/.f64 (+.f64 2 (pow.f64 re 2)) 4) (.f64 1/2 re)))
(.f64 2 (+.f64 (.f64 re 1/2) (/.f64 (+.f64 2 (pow.f64 re 2)) 4)))
(.f64 2 (+.f64 (/.f64 (+.f64 2 (pow.f64 re 2)) 4) (.f64 1/2 re)))
(.f64 (+.f64 re (+.f64 1 (.f64 1/2 (pow.f64 re 2)))) 1)
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re 1))
(.f64 4 (/.f64 (+.f64 re (+.f64 1 (.f64 1/2 (pow.f64 re 2)))) 4))
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re 1))
(*.f64 (+.f64 re (+.f64 re (+.f64 2 (pow.f64 re 2)))) 1/2)
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re 1))
(.f64 (.f64 (+.f64 re (+.f64 1 (*.f64 1/2 (pow.f64 re 2)))) 4) 1/4)
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re 1))
(.f64 (.f64 1/2 (+.f64 re (+.f64 1 (*.f64 1/2 (pow.f64 re 2))))) 2)
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re 1))
(.f64 1/4 (.f64 (+.f64 re (+.f64 1 (*.f64 1/2 (pow.f64 re 2)))) 4))
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re 1))
(.f64 (/.f64 (+.f64 re (+.f64 1 (.f64 1/2 (pow.f64 re 2)))) 4) 4)
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re 1))
(/.f64 (+.f64 re (+.f64 1 (*.f64 1/2 (pow.f64 re 2)))) 1)
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re 1))
(/.f64 (+.f64 re (+.f64 re (+.f64 2 (pow.f64 re 2)))) 2)
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re 1))
(/.f64 (.f64 (+.f64 re (+.f64 1 (.f64 1/2 (pow.f64 re 2)))) 4) 4)
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re 1))
(/.f64 (.f64 (+.f64 re (+.f64 1 (.f64 1/2 (pow.f64 re 2)))) 8) 8)
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re 1))
(/.f64 (.f64 2 (.f64 (+.f64 re (+.f64 1 (*.f64 1/2 (pow.f64 re 2)))) 8)) 16)
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re 1))
(/.f64 (+.f64 (.f64 2 (.f64 (+.f64 re (+.f64 1 (.f64 1/2 (pow.f64 re 2)))) 8)) (.f64 2 (.f64 (+.f64 re (+.f64 1 (.f64 1/2 (pow.f64 re 2)))) 8))) 32)
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re 1))

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 48 to 29 computations (39.6% saved)

series5.0ms (0.1%)

Counts

2 → 48

Calls

12 calls:

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

rewrite101.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

2002×	`bool.json-1`
1218×	`bool.json-2`
1196×	`rational.json-simplify-2`
1178×	`rational.json-1`
1178×	`rational.json-2`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	68
1	155	58
2	404	58
3	832	58
4	1746	58
5	4079	58
6	7908	58

Stop Event

1×	node limit

Counts

2 → 49

Calls

Call 1

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

Outputs

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

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

simplify438.0ms (5.1%)

Algorithm

1×	egg-herbie

Rules

2356×	`rational.json-simplify-2`
2046×	`rational.json-simplify-35`
1814×	`rational.json-simplify-1`
1026×	`rational.json-simplify-51`
926×	`rational.json-simplify-48`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	161	3845
1	383	3259
2	804	3235
3	1962	3219
4	3976	3219
5	4612	3219
6	4819	3219
7	4980	3219
8	5126	3219
9	5298	3219
10	6643	3219
11	7316	3219
12	7607	3219
13	7774	3219
14	7908	3219
15	7910	3219
16	7910	3219
17	7910	3219

Stop Event

1×	node limit

Counts

97 → 101

Calls

Call 1

Inputs
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(*.f64 1/2 (pow.f64 re 2))
(+.f64 (.f64 1/2 (pow.f64 re 2)) (.f64 -1/4 (*.f64 (pow.f64 re 2) (pow.f64 im 2))))
(+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 (.f64 1/48 (.f64 (pow.f64 re 2) (pow.f64 im 4))) (.f64 -1/4 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))))
(+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 (.f64 -1/1440 (.f64 (pow.f64 re 2) (pow.f64 im 6))) (+.f64 (.f64 1/48 (.f64 (pow.f64 re 2) (pow.f64 im 4))) (.f64 -1/4 (*.f64 (pow.f64 re 2) (pow.f64 im 2))))))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 1 re))
(+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 1 (+.f64 (.f64 (+.f64 (.f64 -1/2 (+.f64 1 re)) (.f64 -1/4 (pow.f64 re 2))) (pow.f64 im 2)) re)))
(+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 1 (+.f64 (.f64 (+.f64 (.f64 -1/2 (+.f64 1 re)) (.f64 -1/4 (pow.f64 re 2))) (pow.f64 im 2)) (+.f64 (.f64 (+.f64 (.f64 1/48 (pow.f64 re 2)) (*.f64 1/24 (+.f64 1 re))) (pow.f64 im 4)) re))))
(+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 1 (+.f64 (.f64 (+.f64 (.f64 -1/2 (+.f64 1 re)) (.f64 -1/4 (pow.f64 re 2))) (pow.f64 im 2)) (+.f64 (.f64 (+.f64 (.f64 1/48 (pow.f64 re 2)) (.f64 1/24 (+.f64 1 re))) (pow.f64 im 4)) (+.f64 (.f64 (+.f64 (.f64 -1/720 (+.f64 1 re)) (.f64 -1/1440 (pow.f64 re 2))) (pow.f64 im 6)) re)))))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (+.f64 1 re) (cos.f64 im)))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (+.f64 1 re) (cos.f64 im)))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (+.f64 1 re) (cos.f64 im)))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (+.f64 1 re) (cos.f64 im)))
(+.f64 (.f64 (cos.f64 im) (+.f64 1 re)) (.f64 1/2 (*.f64 (cos.f64 im) (pow.f64 re 2))))
(+.f64 (.f64 (cos.f64 im) (+.f64 1 re)) (.f64 1/2 (*.f64 (cos.f64 im) (pow.f64 re 2))))
(+.f64 (.f64 (cos.f64 im) (+.f64 1 re)) (.f64 1/2 (*.f64 (cos.f64 im) (pow.f64 re 2))))
(+.f64 (.f64 (cos.f64 im) (+.f64 1 re)) (.f64 1/2 (*.f64 (cos.f64 im) (pow.f64 re 2))))
(cos.f64 im)
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im)))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im)))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) re))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im)))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im)))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) re))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im)))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im)))
(+.f64 (.f64 (pow.f64 re 2) (.f64 (cos.f64 im) 1/2)) 0)
(+.f64 0 (.f64 (pow.f64 re 2) (.f64 (cos.f64 im) 1/2)))
(+.f64 (.f64 (pow.f64 re 2) (.f64 (cos.f64 im) 1/4)) (.f64 (pow.f64 re 2) (.f64 (cos.f64 im) 1/4)))
(-.f64 (.f64 (pow.f64 re 2) (.f64 (cos.f64 im) 1/2)) 0)
(/.f64 (.f64 (pow.f64 re 2) (.f64 (cos.f64 im) 1/2)) 1)
(/.f64 (*.f64 (pow.f64 re 2) (cos.f64 im)) 2)
(/.f64 (.f64 (pow.f64 re 2) (.f64 2 (cos.f64 im))) 4)
(/.f64 (.f64 (pow.f64 re 2) (.f64 (cos.f64 im) 4)) 8)
(/.f64 (.f64 2 (.f64 (pow.f64 re 2) (*.f64 (cos.f64 im) 4))) 16)
(/.f64 (+.f64 (.f64 2 (.f64 (pow.f64 re 2) (.f64 (cos.f64 im) 4))) (.f64 2 (.f64 (pow.f64 re 2) (.f64 (cos.f64 im) 4)))) 32)
(-.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2)))) 0)
(.f64 2 (.f64 (cos.f64 im) (.f64 1/2 (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2))))))
(.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2))))
(.f64 (cos.f64 im) (.f64 1/2 (.f64 2 (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2))))))
(.f64 1/2 (.f64 2 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2))))))
(.f64 1/2 (+.f64 (.f64 (cos.f64 im) (+.f64 2 (+.f64 re re))) (*.f64 (pow.f64 re 2) (cos.f64 im))))
(.f64 (.f64 (cos.f64 im) 1/2) (.f64 2 (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2)))))
(.f64 (.f64 (cos.f64 im) 1/2) (+.f64 (pow.f64 re 2) (+.f64 2 (+.f64 re re))))
(.f64 1 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (*.f64 (pow.f64 re 2) 1/2)))))
(.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (*.f64 (pow.f64 re 2) 1/2)))) 1)
(.f64 (.f64 2 (cos.f64 im)) (.f64 1/2 (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2)))))
(.f64 (.f64 2 (cos.f64 im)) (.f64 (.f64 2 (+.f64 re (+.f64 1 (*.f64 (pow.f64 re 2) 1/2)))) 1/4))
(.f64 (.f64 2 (cos.f64 im)) (/.f64 (+.f64 re (+.f64 1 (*.f64 (pow.f64 re 2) 1/2))) 2))
(.f64 4 (.f64 (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2))) (.f64 (cos.f64 im) 1/4)))
(.f64 4 (/.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (*.f64 (pow.f64 re 2) 1/2)))) 4))
(.f64 (.f64 2 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2))))) 1/2)
(.f64 (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2))) (cos.f64 im))
(.f64 (.f64 (cos.f64 im) 4) (.f64 (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2))) 1/4))
(.f64 8 (.f64 (/.f64 (cos.f64 im) 8) (+.f64 re (+.f64 1 (*.f64 (pow.f64 re 2) 1/2)))))
(.f64 (.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2)))) 4) 1/4)
(.f64 (.f64 2 (.f64 (cos.f64 im) 4)) (.f64 1/8 (+.f64 re (+.f64 1 (*.f64 (pow.f64 re 2) 1/2)))))
(.f64 (.f64 (cos.f64 im) (.f64 1/2 (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2))))) 2)
(.f64 (.f64 2 (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2)))) (.f64 (cos.f64 im) 1/2))
(.f64 1/4 (.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2)))) 4))
(.f64 (.f64 1/2 (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2)))) (.f64 2 (cos.f64 im)))
(.f64 (.f64 1/2 (.f64 2 (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2))))) (cos.f64 im))
(.f64 (.f64 (.f64 2 (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2)))) 1/4) (*.f64 2 (cos.f64 im)))
(.f64 (.f64 (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2))) (.f64 (cos.f64 im) 1/4)) 4)
(.f64 (.f64 (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2))) 1/4) (.f64 (cos.f64 im) 4))
(.f64 (/.f64 (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2))) 2) (*.f64 2 (cos.f64 im)))
(.f64 (/.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (*.f64 (pow.f64 re 2) 1/2)))) 4) 4)
(.f64 (+.f64 (pow.f64 re 2) (+.f64 2 (+.f64 re re))) (.f64 (cos.f64 im) 1/2))
(.f64 (+.f64 (.f64 (cos.f64 im) (+.f64 2 (+.f64 re re))) (*.f64 (pow.f64 re 2) (cos.f64 im))) 1/2)
(/.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2)))) 1)
(/.f64 (.f64 2 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (*.f64 (pow.f64 re 2) 1/2))))) 2)
(/.f64 (.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (*.f64 (pow.f64 re 2) 1/2)))) 4) 4)
(/.f64 (.f64 2 (.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2)))) 4)) 8)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (*.f64 (pow.f64 re 2) 1/2)))) 4))) 16)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2)))) 4))) (.f64 2 (.f64 2 (.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2)))) 4)))) 32)

Outputs
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(*.f64 (cos.f64 im) (/.f64 (pow.f64 re 2) 2))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(*.f64 (cos.f64 im) (/.f64 (pow.f64 re 2) 2))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(*.f64 (cos.f64 im) (/.f64 (pow.f64 re 2) 2))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(*.f64 (cos.f64 im) (/.f64 (pow.f64 re 2) 2))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(*.f64 (cos.f64 im) (/.f64 (pow.f64 re 2) 2))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(*.f64 (cos.f64 im) (/.f64 (pow.f64 re 2) 2))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(*.f64 (cos.f64 im) (/.f64 (pow.f64 re 2) 2))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(*.f64 (cos.f64 im) (/.f64 (pow.f64 re 2) 2))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(*.f64 (cos.f64 im) (/.f64 (pow.f64 re 2) 2))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(*.f64 (cos.f64 im) (/.f64 (pow.f64 re 2) 2))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(*.f64 (cos.f64 im) (/.f64 (pow.f64 re 2) 2))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(*.f64 (cos.f64 im) (/.f64 (pow.f64 re 2) 2))
(*.f64 1/2 (pow.f64 re 2))
(+.f64 (.f64 1/2 (pow.f64 re 2)) (.f64 -1/4 (*.f64 (pow.f64 re 2) (pow.f64 im 2))))
(+.f64 (.f64 1/2 (pow.f64 re 2)) (.f64 (pow.f64 re 2) (*.f64 (pow.f64 im 2) -1/4)))
(.f64 (pow.f64 re 2) (+.f64 1/2 (.f64 -1/4 (pow.f64 im 2))))
(+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 (.f64 1/48 (.f64 (pow.f64 re 2) (pow.f64 im 4))) (.f64 -1/4 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))))
(+.f64 (.f64 (pow.f64 re 2) (.f64 (pow.f64 im 4) 1/48)) (+.f64 (.f64 1/2 (pow.f64 re 2)) (.f64 (pow.f64 re 2) (*.f64 (pow.f64 im 2) -1/4))))
(+.f64 (.f64 (pow.f64 re 2) (+.f64 1/2 (.f64 -1/4 (pow.f64 im 2)))) (.f64 (pow.f64 re 2) (.f64 1/48 (pow.f64 im 4))))
(.f64 (pow.f64 re 2) (+.f64 (.f64 1/48 (pow.f64 im 4)) (+.f64 1/2 (*.f64 -1/4 (pow.f64 im 2)))))
(.f64 (pow.f64 re 2) (+.f64 1/2 (+.f64 (.f64 1/48 (pow.f64 im 4)) (*.f64 -1/4 (pow.f64 im 2)))))
(+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 (.f64 -1/1440 (.f64 (pow.f64 re 2) (pow.f64 im 6))) (+.f64 (.f64 1/48 (.f64 (pow.f64 re 2) (pow.f64 im 4))) (.f64 -1/4 (*.f64 (pow.f64 re 2) (pow.f64 im 2))))))
(+.f64 (.f64 (pow.f64 re 2) (.f64 (pow.f64 im 6) -1/1440)) (+.f64 (.f64 (pow.f64 re 2) (.f64 (pow.f64 im 4) 1/48)) (+.f64 (.f64 1/2 (pow.f64 re 2)) (.f64 (pow.f64 re 2) (*.f64 (pow.f64 im 2) -1/4)))))
(+.f64 (+.f64 (.f64 (pow.f64 re 2) (+.f64 1/2 (.f64 -1/4 (pow.f64 im 2)))) (.f64 (pow.f64 re 2) (.f64 1/48 (pow.f64 im 4)))) (.f64 (pow.f64 re 2) (.f64 -1/1440 (pow.f64 im 6))))
(+.f64 (.f64 (pow.f64 re 2) (+.f64 1/2 (.f64 -1/4 (pow.f64 im 2)))) (.f64 (pow.f64 re 2) (+.f64 (.f64 1/48 (pow.f64 im 4)) (*.f64 -1/1440 (pow.f64 im 6)))))
(.f64 (pow.f64 re 2) (+.f64 (.f64 -1/1440 (pow.f64 im 6)) (+.f64 1/2 (+.f64 (.f64 1/48 (pow.f64 im 4)) (.f64 -1/4 (pow.f64 im 2))))))
(.f64 (pow.f64 re 2) (+.f64 (.f64 1/48 (pow.f64 im 4)) (+.f64 1/2 (+.f64 (.f64 -1/4 (pow.f64 im 2)) (.f64 -1/1440 (pow.f64 im 6))))))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(*.f64 (cos.f64 im) (/.f64 (pow.f64 re 2) 2))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(*.f64 (cos.f64 im) (/.f64 (pow.f64 re 2) 2))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(*.f64 (cos.f64 im) (/.f64 (pow.f64 re 2) 2))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(*.f64 (cos.f64 im) (/.f64 (pow.f64 re 2) 2))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(*.f64 (cos.f64 im) (/.f64 (pow.f64 re 2) 2))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(*.f64 (cos.f64 im) (/.f64 (pow.f64 re 2) 2))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(*.f64 (cos.f64 im) (/.f64 (pow.f64 re 2) 2))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(*.f64 (cos.f64 im) (/.f64 (pow.f64 re 2) 2))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 1 re))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re 1))
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))
(+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 1 (+.f64 (.f64 (+.f64 (.f64 -1/2 (+.f64 1 re)) (.f64 -1/4 (pow.f64 re 2))) (pow.f64 im 2)) re)))
(+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 (.f64 (pow.f64 im 2) (+.f64 (.f64 (+.f64 re 1) -1/2) (.f64 (pow.f64 re 2) -1/4))) (+.f64 re 1)))
(+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (+.f64 (.f64 (pow.f64 im 2) (+.f64 (.f64 (+.f64 re 1) -1/2) (.f64 (pow.f64 re 2) -1/4))) 1)))
(+.f64 re (+.f64 (+.f64 1 (.f64 (pow.f64 im 2) (+.f64 (.f64 (+.f64 re 1) -1/2) (.f64 (pow.f64 re 2) -1/4)))) (.f64 1/2 (pow.f64 re 2))))
(+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 1 (.f64 (pow.f64 im 2) (+.f64 (.f64 (+.f64 re 1) -1/2) (.f64 (pow.f64 re 2) -1/4))))))
(+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 1 (+.f64 (.f64 (+.f64 (.f64 -1/2 (+.f64 1 re)) (.f64 -1/4 (pow.f64 re 2))) (pow.f64 im 2)) (+.f64 (.f64 (+.f64 (.f64 1/48 (pow.f64 re 2)) (*.f64 1/24 (+.f64 1 re))) (pow.f64 im 4)) re))))
(+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 1 (+.f64 (.f64 (pow.f64 im 2) (+.f64 (.f64 (+.f64 re 1) -1/2) (.f64 (pow.f64 re 2) -1/4))) (+.f64 re (.f64 (pow.f64 im 4) (+.f64 (.f64 (pow.f64 re 2) 1/48) (*.f64 (+.f64 re 1) 1/24)))))))
(+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 1 (+.f64 re (+.f64 (.f64 (pow.f64 im 2) (+.f64 (.f64 (+.f64 re 1) -1/2) (.f64 (pow.f64 re 2) -1/4))) (.f64 (pow.f64 im 4) (+.f64 (.f64 (pow.f64 re 2) 1/48) (*.f64 (+.f64 re 1) 1/24)))))))
(+.f64 1 (+.f64 (.f64 (pow.f64 im 4) (+.f64 (.f64 (pow.f64 re 2) 1/48) (.f64 (+.f64 re 1) 1/24))) (+.f64 (.f64 (pow.f64 im 2) (+.f64 (.f64 (+.f64 re 1) -1/2) (.f64 (pow.f64 re 2) -1/4))) (+.f64 re (*.f64 1/2 (pow.f64 re 2))))))
(+.f64 re (+.f64 (+.f64 (.f64 (pow.f64 im 2) (+.f64 (.f64 (+.f64 re 1) -1/2) (.f64 (pow.f64 re 2) -1/4))) (.f64 (pow.f64 im 4) (+.f64 (.f64 (pow.f64 re 2) 1/48) (.f64 (+.f64 re 1) 1/24)))) (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1)))
(+.f64 1 (+.f64 (+.f64 re (.f64 (pow.f64 im 2) (+.f64 (.f64 (+.f64 re 1) -1/2) (.f64 (pow.f64 re 2) -1/4)))) (+.f64 (.f64 1/2 (pow.f64 re 2)) (.f64 (pow.f64 im 4) (+.f64 (.f64 (pow.f64 re 2) 1/48) (*.f64 (+.f64 re 1) 1/24))))))
(+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 1 (+.f64 (.f64 (+.f64 (.f64 -1/2 (+.f64 1 re)) (.f64 -1/4 (pow.f64 re 2))) (pow.f64 im 2)) (+.f64 (.f64 (+.f64 (.f64 1/48 (pow.f64 re 2)) (.f64 1/24 (+.f64 1 re))) (pow.f64 im 4)) (+.f64 (.f64 (+.f64 (.f64 -1/720 (+.f64 1 re)) (.f64 -1/1440 (pow.f64 re 2))) (pow.f64 im 6)) re)))))
(+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 1 (+.f64 (.f64 (pow.f64 im 2) (+.f64 (.f64 (+.f64 re 1) -1/2) (.f64 (pow.f64 re 2) -1/4))) (+.f64 (.f64 (pow.f64 im 4) (+.f64 (.f64 (pow.f64 re 2) 1/48) (.f64 (+.f64 re 1) 1/24))) (+.f64 re (.f64 (pow.f64 im 6) (+.f64 (.f64 (+.f64 re 1) -1/720) (.f64 (pow.f64 re 2) -1/1440))))))))
(+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 1 (+.f64 (.f64 (pow.f64 im 2) (+.f64 (.f64 (+.f64 re 1) -1/2) (.f64 (pow.f64 re 2) -1/4))) (+.f64 re (+.f64 (.f64 (pow.f64 im 4) (+.f64 (.f64 (pow.f64 re 2) 1/48) (.f64 (+.f64 re 1) 1/24))) (.f64 (pow.f64 im 6) (+.f64 (.f64 (+.f64 re 1) -1/720) (.f64 (pow.f64 re 2) -1/1440))))))))
(+.f64 (+.f64 re (+.f64 (+.f64 (.f64 (pow.f64 im 2) (+.f64 (.f64 (+.f64 re 1) -1/2) (.f64 (pow.f64 re 2) -1/4))) (.f64 (pow.f64 im 4) (+.f64 (.f64 (pow.f64 re 2) 1/48) (.f64 (+.f64 re 1) 1/24)))) (.f64 (pow.f64 im 6) (+.f64 (.f64 (+.f64 re 1) -1/720) (.f64 (pow.f64 re 2) -1/1440))))) (+.f64 (.f64 1/2 (pow.f64 re 2)) 1))
(+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 (+.f64 (+.f64 re 1) (.f64 (pow.f64 im 2) (+.f64 (.f64 (+.f64 re 1) -1/2) (.f64 (pow.f64 re 2) -1/4)))) (+.f64 (.f64 (pow.f64 im 4) (+.f64 (.f64 (pow.f64 re 2) 1/48) (.f64 (+.f64 re 1) 1/24))) (.f64 (pow.f64 im 6) (+.f64 (.f64 (+.f64 re 1) -1/720) (.f64 (pow.f64 re 2) -1/1440))))))
(+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 (+.f64 re (.f64 (pow.f64 im 2) (+.f64 (.f64 (+.f64 re 1) -1/2) (.f64 (pow.f64 re 2) -1/4)))) (+.f64 (.f64 (pow.f64 im 4) (+.f64 (.f64 (pow.f64 re 2) 1/48) (.f64 (+.f64 re 1) 1/24))) (+.f64 1 (.f64 (pow.f64 im 6) (+.f64 (.f64 (+.f64 re 1) -1/720) (.f64 (pow.f64 re 2) -1/1440)))))))
(+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 (+.f64 re 1) (+.f64 (.f64 (pow.f64 im 4) (+.f64 (.f64 (pow.f64 re 2) 1/48) (.f64 (+.f64 re 1) 1/24))) (+.f64 (.f64 (pow.f64 im 2) (+.f64 (.f64 (+.f64 re 1) -1/2) (.f64 (pow.f64 re 2) -1/4))) (.f64 (pow.f64 im 6) (+.f64 (.f64 (+.f64 re 1) -1/720) (.f64 (pow.f64 re 2) -1/1440)))))))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (+.f64 1 re) (cos.f64 im)))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (+.f64 1 re) (cos.f64 im)))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (+.f64 1 re) (cos.f64 im)))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (+.f64 1 re) (cos.f64 im)))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(+.f64 (.f64 (cos.f64 im) (+.f64 1 re)) (.f64 1/2 (*.f64 (cos.f64 im) (pow.f64 re 2))))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(+.f64 (.f64 (cos.f64 im) (+.f64 1 re)) (.f64 1/2 (*.f64 (cos.f64 im) (pow.f64 re 2))))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(+.f64 (.f64 (cos.f64 im) (+.f64 1 re)) (.f64 1/2 (*.f64 (cos.f64 im) (pow.f64 re 2))))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(+.f64 (.f64 (cos.f64 im) (+.f64 1 re)) (.f64 1/2 (*.f64 (cos.f64 im) (pow.f64 re 2))))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(cos.f64 im)
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(+.f64 (cos.f64 im) (*.f64 (cos.f64 im) re))
(*.f64 (cos.f64 im) (+.f64 re 1))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im)))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im)))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(*.f64 (cos.f64 im) (/.f64 (pow.f64 re 2) 2))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) re))
(.f64 (cos.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2))))
(*.f64 (cos.f64 im) (+.f64 re (/.f64 (pow.f64 re 2) 2)))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im)))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im)))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(*.f64 (cos.f64 im) (/.f64 (pow.f64 re 2) 2))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) re))
(.f64 (cos.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2))))
(*.f64 (cos.f64 im) (+.f64 re (/.f64 (pow.f64 re 2) 2)))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im)))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im)))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(+.f64 (.f64 (pow.f64 re 2) (.f64 (cos.f64 im) 1/2)) 0)
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(*.f64 (cos.f64 im) (/.f64 (pow.f64 re 2) 2))
(+.f64 0 (.f64 (pow.f64 re 2) (.f64 (cos.f64 im) 1/2)))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(*.f64 (cos.f64 im) (/.f64 (pow.f64 re 2) 2))
(+.f64 (.f64 (pow.f64 re 2) (.f64 (cos.f64 im) 1/4)) (.f64 (pow.f64 re 2) (.f64 (cos.f64 im) 1/4)))
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(*.f64 (cos.f64 im) (/.f64 (pow.f64 re 2) 2))
(-.f64 (.f64 (pow.f64 re 2) (.f64 (cos.f64 im) 1/2)) 0)
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(*.f64 (cos.f64 im) (/.f64 (pow.f64 re 2) 2))
(/.f64 (.f64 (pow.f64 re 2) (.f64 (cos.f64 im) 1/2)) 1)
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(*.f64 (cos.f64 im) (/.f64 (pow.f64 re 2) 2))
(/.f64 (*.f64 (pow.f64 re 2) (cos.f64 im)) 2)
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(*.f64 (cos.f64 im) (/.f64 (pow.f64 re 2) 2))
(/.f64 (.f64 (pow.f64 re 2) (.f64 2 (cos.f64 im))) 4)
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(*.f64 (cos.f64 im) (/.f64 (pow.f64 re 2) 2))
(/.f64 (.f64 (pow.f64 re 2) (.f64 (cos.f64 im) 4)) 8)
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(*.f64 (cos.f64 im) (/.f64 (pow.f64 re 2) 2))
(/.f64 (.f64 2 (.f64 (pow.f64 re 2) (*.f64 (cos.f64 im) 4))) 16)
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(*.f64 (cos.f64 im) (/.f64 (pow.f64 re 2) 2))
(/.f64 (+.f64 (.f64 2 (.f64 (pow.f64 re 2) (.f64 (cos.f64 im) 4))) (.f64 2 (.f64 (pow.f64 re 2) (.f64 (cos.f64 im) 4)))) 32)
(.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2)))
(*.f64 (cos.f64 im) (/.f64 (pow.f64 re 2) 2))
(-.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2)))) 0)
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 2 (.f64 (cos.f64 im) (.f64 1/2 (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2))))))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2))))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (cos.f64 im) (.f64 1/2 (.f64 2 (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2))))))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 1/2 (.f64 2 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2))))))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 1/2 (+.f64 (.f64 (cos.f64 im) (+.f64 2 (+.f64 re re))) (*.f64 (pow.f64 re 2) (cos.f64 im))))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (.f64 (cos.f64 im) 1/2) (.f64 2 (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2)))))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (.f64 (cos.f64 im) 1/2) (+.f64 (pow.f64 re 2) (+.f64 2 (+.f64 re re))))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 1 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (*.f64 (pow.f64 re 2) 1/2)))))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (*.f64 (pow.f64 re 2) 1/2)))) 1)
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (.f64 2 (cos.f64 im)) (.f64 1/2 (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2)))))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (.f64 2 (cos.f64 im)) (.f64 (.f64 2 (+.f64 re (+.f64 1 (*.f64 (pow.f64 re 2) 1/2)))) 1/4))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (.f64 2 (cos.f64 im)) (/.f64 (+.f64 re (+.f64 1 (*.f64 (pow.f64 re 2) 1/2))) 2))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 4 (.f64 (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2))) (.f64 (cos.f64 im) 1/4)))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 4 (/.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (*.f64 (pow.f64 re 2) 1/2)))) 4))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (.f64 2 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2))))) 1/2)
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2))) (cos.f64 im))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (.f64 (cos.f64 im) 4) (.f64 (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2))) 1/4))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 8 (.f64 (/.f64 (cos.f64 im) 8) (+.f64 re (+.f64 1 (*.f64 (pow.f64 re 2) 1/2)))))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2)))) 4) 1/4)
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (.f64 2 (.f64 (cos.f64 im) 4)) (.f64 1/8 (+.f64 re (+.f64 1 (*.f64 (pow.f64 re 2) 1/2)))))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (.f64 (cos.f64 im) (.f64 1/2 (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2))))) 2)
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (.f64 2 (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2)))) (.f64 (cos.f64 im) 1/2))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 1/4 (.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2)))) 4))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (.f64 1/2 (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2)))) (.f64 2 (cos.f64 im)))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (.f64 1/2 (.f64 2 (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2))))) (cos.f64 im))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (.f64 (.f64 2 (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2)))) 1/4) (*.f64 2 (cos.f64 im)))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (.f64 (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2))) (.f64 (cos.f64 im) 1/4)) 4)
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (.f64 (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2))) 1/4) (.f64 (cos.f64 im) 4))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (/.f64 (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2))) 2) (*.f64 2 (cos.f64 im)))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (/.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (*.f64 (pow.f64 re 2) 1/2)))) 4) 4)
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (+.f64 (pow.f64 re 2) (+.f64 2 (+.f64 re re))) (.f64 (cos.f64 im) 1/2))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (+.f64 (.f64 (cos.f64 im) (+.f64 2 (+.f64 re re))) (*.f64 (pow.f64 re 2) (cos.f64 im))) 1/2)
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(/.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2)))) 1)
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(/.f64 (.f64 2 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (*.f64 (pow.f64 re 2) 1/2))))) 2)
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(/.f64 (.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (*.f64 (pow.f64 re 2) 1/2)))) 4) 4)
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(/.f64 (.f64 2 (.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2)))) 4)) 8)
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (*.f64 (pow.f64 re 2) 1/2)))) 4))) 16)
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2)))) 4))) (.f64 2 (.f64 2 (.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 (pow.f64 re 2) 1/2)))) 4)))) 32)
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(*.f64 (cos.f64 im) (+.f64 (/.f64 (pow.f64 re 2) 2) (+.f64 re 1)))
(.f64 (cos.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))

eval520.0ms (6%)

Compiler: Compiled 7349 to 5375 computations (26.9% saved)

prune126.0ms (1.5%)

Pruning

10 alts after pruning (4 fresh and 6 done)

	Pruned	Kept	Total
New	385	4	389
Fresh	0	0	0
Picked	0	1	1
Done	0	5	5
Total	385	10	395

Error

0.0b

Counts

395 → 10

Alt Table

Click to see full alt table

Status	Error	Program
▶	20.8b	(/.f64 (*.f64 (cos.f64 im) (+.f64 re (+.f64 re 2))) 2)
✓	20.8b	(+.f64 (.f64 (cos.f64 im) (+.f64 re 1)) (.f64 (pow.f64 re 2) (*.f64 (cos.f64 im) 1/2)))
▶	37.3b	(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re 1))
▶	37.1b	(+.f64 1 re)
✓	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))
✓	20.8b	(.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 1/2 (pow.f64 re 2)))))
✓	20.8b	(*.f64 (cos.f64 im) (+.f64 re 1))
✓	17.3b	(exp.f64 re)
✓	21.0b	(cos.f64 im)
	37.1b	1

Compiler

Compiled 85 to 65 computations (23.5% saved)

localize3.0ms (0%)

Compiler: Compiled 7 to 5 computations (28.6% saved)

localize10.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 26 to 20 computations (23.1% saved)

series0.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite1.4s (15.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1712×	`bool.json-1`
1712×	`bool.json-2`
1666×	`rational.json-1`
1666×	`rational.json-2`
1120×	`bool.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	107	25
2	298	25
3	595	25
4	1224	25
5	2891	25
6	6354	25

Stop Event

1×	node limit

Counts

1 → 23

Calls

Call 1

Inputs
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re 1))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 re (*.f64 1/2 (pow.f64 re 2))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (+.f64 (pow.f64 re 2) 2) (+.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (/.f64 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (+.f64 (*.f64 1/2 (+.f64 re 1)) (*.f64 (pow.f64 re 2) 1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (+.f64 (*.f64 (pow.f64 re 2) 1/4) (*.f64 1/2 (+.f64 re 1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (+.f64 (*.f64 1/2 re) (/.f64 (+.f64 (pow.f64 re 2) 2) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2))) 8))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2)))) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 2 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (+.f64 (*.f64 (+.f64 re 1) 4) (*.f64 2 (pow.f64 re 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2))) 4) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2))) 8) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2)))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2))) 4) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2))) 4)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2))) 4)) (*.f64 2 (*.f64 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2))) 4))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x and (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1)) (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1)) (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1)))))))

simplify317.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

3004×	`rational.json-simplify-51`
2554×	`rational.json-simplify-48`
2328×	`rational.json-simplify-1`
1422×	`rational.json-simplify-2`
982×	`rational.json-simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	67	845
1	128	845
2	215	845
3	445	845
4	1288	845
5	2122	845
6	2844	845
7	3499	845
8	4053	845
9	4394	845
10	4436	845
11	5452	845
12	5774	845
13	5800	845
14	5826	845
15	6079	845
16	6275	845
17	6359	845
18	6422	845
19	6470	845
20	6514	845
21	6554	845

Stop Event

1×	node limit

Counts

35 → 33

Calls

Call 1

Inputs
1
(+.f64 1 re)
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 1 re))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 1 re))
(*.f64 1/2 (pow.f64 re 2))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) re)
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 1 re))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 1 re))
(*.f64 1/2 (pow.f64 re 2))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) re)
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 1 re))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 1 re))
(-.f64 (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1)) 0)
(-.f64 (+.f64 re (*.f64 1/2 (pow.f64 re 2))) -1)
(*.f64 1/2 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2))))
(*.f64 1/2 (+.f64 (+.f64 (pow.f64 re 2) 2) (+.f64 re re)))
(*.f64 2 (/.f64 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2))) 4))
(.f64 2 (+.f64 (.f64 1/2 (+.f64 re 1)) (*.f64 (pow.f64 re 2) 1/4)))
(.f64 2 (+.f64 (.f64 (pow.f64 re 2) 1/4) (*.f64 1/2 (+.f64 re 1))))
(.f64 2 (+.f64 (.f64 1/2 re) (/.f64 (+.f64 (pow.f64 re 2) 2) 4)))
(.f64 1 (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)) 1)
(*.f64 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2))) 1/2)
(*.f64 4 (/.f64 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2))) 8))
(.f64 (.f64 2 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2)))) 1/4)
(.f64 1/4 (.f64 2 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2)))))
(.f64 1/4 (+.f64 (.f64 (+.f64 re 1) 4) (*.f64 2 (pow.f64 re 2))))
(*.f64 (/.f64 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2))) 4) 2)
(*.f64 (/.f64 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2))) 8) 4)
(/.f64 (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1)) 1)
(/.f64 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2))) 2)
(/.f64 (*.f64 2 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2)))) 4)
(/.f64 (*.f64 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2))) 4) 8)
(/.f64 (.f64 2 (.f64 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2))) 4)) 16)
(/.f64 (+.f64 (.f64 2 (.f64 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2))) 4)) (.f64 2 (.f64 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2))) 4))) 32)

Outputs
1
(+.f64 1 re)
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 1 re))
(+.f64 1 (+.f64 re (*.f64 1/2 (pow.f64 re 2))))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 1 re))
(+.f64 1 (+.f64 re (*.f64 1/2 (pow.f64 re 2))))
(*.f64 1/2 (pow.f64 re 2))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) re)
(+.f64 re (*.f64 1/2 (pow.f64 re 2)))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 1 re))
(+.f64 1 (+.f64 re (*.f64 1/2 (pow.f64 re 2))))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 1 re))
(+.f64 1 (+.f64 re (*.f64 1/2 (pow.f64 re 2))))
(*.f64 1/2 (pow.f64 re 2))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) re)
(+.f64 re (*.f64 1/2 (pow.f64 re 2)))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 1 re))
(+.f64 1 (+.f64 re (*.f64 1/2 (pow.f64 re 2))))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 1 re))
(+.f64 1 (+.f64 re (*.f64 1/2 (pow.f64 re 2))))
(-.f64 (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1)) 0)
(+.f64 1 (+.f64 re (*.f64 1/2 (pow.f64 re 2))))
(-.f64 (+.f64 re (*.f64 1/2 (pow.f64 re 2))) -1)
(+.f64 1 (+.f64 re (*.f64 1/2 (pow.f64 re 2))))
(*.f64 1/2 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2))))
(+.f64 1 (+.f64 re (*.f64 1/2 (pow.f64 re 2))))
(*.f64 1/2 (+.f64 (+.f64 (pow.f64 re 2) 2) (+.f64 re re)))
(+.f64 1 (+.f64 re (*.f64 1/2 (pow.f64 re 2))))
(*.f64 2 (/.f64 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2))) 4))
(+.f64 1 (+.f64 re (*.f64 1/2 (pow.f64 re 2))))
(.f64 2 (+.f64 (.f64 1/2 (+.f64 re 1)) (*.f64 (pow.f64 re 2) 1/4)))
(.f64 2 (+.f64 (.f64 1/2 (+.f64 1 re)) (*.f64 (pow.f64 re 2) 1/4)))
(.f64 2 (+.f64 (.f64 (pow.f64 re 2) 1/4) (*.f64 1/2 (+.f64 re 1))))
(.f64 2 (+.f64 (.f64 1/2 (+.f64 1 re)) (*.f64 (pow.f64 re 2) 1/4)))
(.f64 2 (+.f64 (.f64 1/2 re) (/.f64 (+.f64 (pow.f64 re 2) 2) 4)))
(.f64 2 (+.f64 (.f64 re 1/2) (/.f64 (+.f64 2 (pow.f64 re 2)) 4)))
(.f64 1 (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(+.f64 1 (+.f64 re (*.f64 1/2 (pow.f64 re 2))))
(.f64 (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)) 1)
(+.f64 1 (+.f64 re (*.f64 1/2 (pow.f64 re 2))))
(*.f64 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2))) 1/2)
(+.f64 1 (+.f64 re (*.f64 1/2 (pow.f64 re 2))))
(*.f64 4 (/.f64 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2))) 8))
(+.f64 1 (+.f64 re (*.f64 1/2 (pow.f64 re 2))))
(.f64 (.f64 2 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2)))) 1/4)
(+.f64 1 (+.f64 re (*.f64 1/2 (pow.f64 re 2))))
(.f64 1/4 (.f64 2 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2)))))
(+.f64 1 (+.f64 re (*.f64 1/2 (pow.f64 re 2))))
(.f64 1/4 (+.f64 (.f64 (+.f64 re 1) 4) (*.f64 2 (pow.f64 re 2))))
(.f64 1/4 (+.f64 (.f64 4 (+.f64 1 re)) (*.f64 2 (pow.f64 re 2))))
(*.f64 (/.f64 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2))) 4) 2)
(+.f64 1 (+.f64 re (*.f64 1/2 (pow.f64 re 2))))
(*.f64 (/.f64 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2))) 8) 4)
(+.f64 1 (+.f64 re (*.f64 1/2 (pow.f64 re 2))))
(/.f64 (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1)) 1)
(+.f64 1 (+.f64 re (*.f64 1/2 (pow.f64 re 2))))
(/.f64 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2))) 2)
(+.f64 1 (+.f64 re (*.f64 1/2 (pow.f64 re 2))))
(/.f64 (*.f64 2 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2)))) 4)
(+.f64 1 (+.f64 re (*.f64 1/2 (pow.f64 re 2))))
(/.f64 (*.f64 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2))) 4) 8)
(+.f64 1 (+.f64 re (*.f64 1/2 (pow.f64 re 2))))
(/.f64 (.f64 2 (.f64 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2))) 4)) 16)
(+.f64 1 (+.f64 re (*.f64 1/2 (pow.f64 re 2))))
(/.f64 (+.f64 (.f64 2 (.f64 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2))) 4)) (.f64 2 (.f64 (+.f64 (pow.f64 re 2) (+.f64 re (+.f64 re 2))) 4))) 32)
(+.f64 1 (+.f64 re (*.f64 1/2 (pow.f64 re 2))))

localize136.0ms (1.6%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 33 to 19 computations (42.4% saved)

series2.0ms (0%)

Counts

2 → 36

Calls

9 calls:

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

rewrite82.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1522×	`bool.json-1`
1522×	`bool.json-2`
1470×	`rational.json-1`
1470×	`rational.json-2`
1470×	`rational.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	36
1	100	36
2	266	36
3	558	36
4	1227	36
5	2835	36
6	5953	36

Stop Event

1×	node limit

Counts

2 → 29

Calls

Call 1

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

Outputs

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

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 re (+.f64 re 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (+.f64 re (+.f64 re 2)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (+.f64 (*.f64 (+.f64 re 2) 1/2) (*.f64 re 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (+.f64 (*.f64 re 1/2) (*.f64 (+.f64 re 2) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 re (+.f64 re 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 re (+.f64 re 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (+.f64 re 4) (*.f64 re 3)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (+.f64 re (+.f64 re 2)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 re (+.f64 re 2)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (+.f64 re 4) (*.f64 re 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 re (+.f64 re 2)) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (+.f64 re (+.f64 re 2)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 re (+.f64 re 2)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 re (+.f64 re 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (+.f64 re 4) (*.f64 re 3)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 re (+.f64 re 2)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 re (+.f64 re 2)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 re (+.f64 re 2)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 (+.f64 re (+.f64 re 2)) 8)) (*.f64 2 (*.f64 (+.f64 re (+.f64 re 2)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (+.f64 re (+.f64 re 2))))))) (#(struct:change #<rule egg-rr> (2) ((x and (+.f64 re (+.f64 re 2)) (+.f64 re (+.f64 re 2)))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 re (+.f64 re 2)) (+.f64 re (+.f64 re 2)))))))

simplify397.0ms (4.6%)

Algorithm

1×	egg-herbie

Rules

1864×	`rational.json-simplify-35`
1746×	`rational.json-simplify-2`
1370×	`rational.json-simplify-1`
794×	`rational.json-simplify-38`
710×	`rational.json-simplify-48`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	97	1349
1	209	1349
2	517	1313
3	1466	1295
4	2896	1295
5	3330	1295
6	3454	1295
7	3549	1295
8	3652	1295
9	3773	1295
10	4308	1295
11	4602	1295
12	5359	1295
13	5655	1295
14	5886	1295
15	6230	1295
16	6443	1295
17	6647	1295
18	7105	1295

Stop Event

1×	node limit

Counts

65 → 62

Calls

Call 1

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

Outputs
(+.f64 2 (*.f64 2 re))
(+.f64 2 (+.f64 (.f64 2 re) (.f64 -1/2 (.f64 (+.f64 2 (.f64 2 re)) (pow.f64 im 2)))))
(+.f64 2 (+.f64 (.f64 2 re) (.f64 (+.f64 2 (.f64 2 re)) (.f64 (pow.f64 im 2) -1/2))))
(+.f64 (.f64 (+.f64 2 (.f64 2 re)) (.f64 -1/2 (pow.f64 im 2))) (+.f64 2 (.f64 2 re)))
(+.f64 2 (+.f64 (.f64 2 re) (.f64 (+.f64 2 (.f64 2 re)) (.f64 -1/2 (pow.f64 im 2)))))
(+.f64 (+.f64 2 (.f64 2 re)) (.f64 (+.f64 2 (.f64 2 re)) (.f64 -1/2 (pow.f64 im 2))))
(+.f64 2 (+.f64 (.f64 2 re) (+.f64 (.f64 -1/2 (.f64 (+.f64 2 (.f64 2 re)) (pow.f64 im 2))) (.f64 1/24 (.f64 (+.f64 2 (*.f64 2 re)) (pow.f64 im 4))))))
(+.f64 2 (+.f64 (.f64 2 re) (+.f64 (.f64 (+.f64 2 (.f64 2 re)) (.f64 (pow.f64 im 2) -1/2)) (.f64 (+.f64 2 (.f64 2 re)) (*.f64 (pow.f64 im 4) 1/24)))))
(+.f64 2 (+.f64 (.f64 (+.f64 2 (.f64 2 re)) (.f64 -1/2 (pow.f64 im 2))) (+.f64 (.f64 2 re) (.f64 (+.f64 2 (.f64 2 re)) (*.f64 1/24 (pow.f64 im 4))))))
(+.f64 2 (+.f64 (.f64 2 re) (.f64 (+.f64 2 (.f64 2 re)) (+.f64 (.f64 1/24 (pow.f64 im 4)) (*.f64 -1/2 (pow.f64 im 2))))))
(+.f64 (+.f64 2 (.f64 2 re)) (.f64 (+.f64 2 (.f64 2 re)) (+.f64 (.f64 -1/2 (pow.f64 im 2)) (*.f64 1/24 (pow.f64 im 4)))))
(+.f64 2 (+.f64 (.f64 2 re) (.f64 (+.f64 2 (.f64 2 re)) (+.f64 (.f64 -1/2 (pow.f64 im 2)) (*.f64 1/24 (pow.f64 im 4))))))
(+.f64 2 (+.f64 (.f64 -1/720 (.f64 (+.f64 2 (.f64 2 re)) (pow.f64 im 6))) (+.f64 (.f64 2 re) (+.f64 (.f64 -1/2 (.f64 (+.f64 2 (.f64 2 re)) (pow.f64 im 2))) (.f64 1/24 (.f64 (+.f64 2 (.f64 2 re)) (pow.f64 im 4)))))))
(+.f64 2 (+.f64 (.f64 2 re) (+.f64 (+.f64 (.f64 (+.f64 2 (.f64 2 re)) (.f64 (pow.f64 im 2) -1/2)) (.f64 (+.f64 2 (.f64 2 re)) (.f64 (pow.f64 im 4) 1/24))) (.f64 -1/720 (.f64 (+.f64 2 (.f64 2 re)) (pow.f64 im 6))))))
(+.f64 2 (+.f64 (+.f64 (.f64 (+.f64 2 (.f64 2 re)) (.f64 -1/2 (pow.f64 im 2))) (+.f64 (.f64 2 re) (.f64 (+.f64 2 (.f64 2 re)) (.f64 1/24 (pow.f64 im 4))))) (.f64 (+.f64 2 (.f64 2 re)) (.f64 -1/720 (pow.f64 im 6)))))
(+.f64 2 (+.f64 (.f64 2 re) (+.f64 (.f64 (+.f64 2 (.f64 2 re)) (+.f64 (.f64 1/24 (pow.f64 im 4)) (.f64 -1/2 (pow.f64 im 2)))) (.f64 (+.f64 2 (.f64 2 re)) (.f64 -1/720 (pow.f64 im 6))))))
(+.f64 (.f64 2 re) (+.f64 2 (.f64 (+.f64 2 (.f64 2 re)) (+.f64 (.f64 -1/720 (pow.f64 im 6)) (+.f64 (.f64 -1/2 (pow.f64 im 2)) (.f64 1/24 (pow.f64 im 4)))))))
(.f64 (+.f64 2 (.f64 2 re)) (cos.f64 im))
(.f64 (.f64 2 (cos.f64 im)) (+.f64 re 1))
(.f64 2 (.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (+.f64 2 (.f64 2 re)) (cos.f64 im))
(.f64 (.f64 2 (cos.f64 im)) (+.f64 re 1))
(.f64 2 (.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (+.f64 2 (.f64 2 re)) (cos.f64 im))
(.f64 (.f64 2 (cos.f64 im)) (+.f64 re 1))
(.f64 2 (.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (+.f64 2 (.f64 2 re)) (cos.f64 im))
(.f64 (.f64 2 (cos.f64 im)) (+.f64 re 1))
(.f64 2 (.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (+.f64 2 (.f64 2 re)) (cos.f64 im))
(.f64 (.f64 2 (cos.f64 im)) (+.f64 re 1))
(.f64 2 (.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (+.f64 2 (.f64 2 re)) (cos.f64 im))
(.f64 (.f64 2 (cos.f64 im)) (+.f64 re 1))
(.f64 2 (.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (+.f64 2 (.f64 2 re)) (cos.f64 im))
(.f64 (.f64 2 (cos.f64 im)) (+.f64 re 1))
(.f64 2 (.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 (+.f64 2 (.f64 2 re)) (cos.f64 im))
(.f64 (.f64 2 (cos.f64 im)) (+.f64 re 1))
(.f64 2 (.f64 (cos.f64 im) (+.f64 re 1)))
(*.f64 2 (cos.f64 im))
(+.f64 (.f64 2 (.f64 (cos.f64 im) re)) (*.f64 2 (cos.f64 im)))
(.f64 (+.f64 2 (.f64 2 re)) (cos.f64 im))
(.f64 (.f64 2 (cos.f64 im)) (+.f64 re 1))
(.f64 2 (.f64 (cos.f64 im) (+.f64 re 1)))
(+.f64 (.f64 2 (.f64 (cos.f64 im) re)) (*.f64 2 (cos.f64 im)))
(.f64 (+.f64 2 (.f64 2 re)) (cos.f64 im))
(.f64 (.f64 2 (cos.f64 im)) (+.f64 re 1))
(.f64 2 (.f64 (cos.f64 im) (+.f64 re 1)))
(+.f64 (.f64 2 (.f64 (cos.f64 im) re)) (*.f64 2 (cos.f64 im)))
(.f64 (+.f64 2 (.f64 2 re)) (cos.f64 im))
(.f64 (.f64 2 (cos.f64 im)) (+.f64 re 1))
(.f64 2 (.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 2 (.f64 (cos.f64 im) re))
(.f64 2 (.f64 re (cos.f64 im)))
(.f64 re (.f64 2 (cos.f64 im)))
(+.f64 (.f64 2 (.f64 (cos.f64 im) re)) (*.f64 2 (cos.f64 im)))
(.f64 (+.f64 2 (.f64 2 re)) (cos.f64 im))
(.f64 (.f64 2 (cos.f64 im)) (+.f64 re 1))
(.f64 2 (.f64 (cos.f64 im) (+.f64 re 1)))
(+.f64 (.f64 2 (.f64 (cos.f64 im) re)) (*.f64 2 (cos.f64 im)))
(.f64 (+.f64 2 (.f64 2 re)) (cos.f64 im))
(.f64 (.f64 2 (cos.f64 im)) (+.f64 re 1))
(.f64 2 (.f64 (cos.f64 im) (+.f64 re 1)))
(+.f64 (.f64 2 (.f64 (cos.f64 im) re)) (*.f64 2 (cos.f64 im)))
(.f64 (+.f64 2 (.f64 2 re)) (cos.f64 im))
(.f64 (.f64 2 (cos.f64 im)) (+.f64 re 1))
(.f64 2 (.f64 (cos.f64 im) (+.f64 re 1)))
(.f64 2 (.f64 (cos.f64 im) re))
(.f64 2 (.f64 re (cos.f64 im)))
(.f64 re (.f64 2 (cos.f64 im)))
(+.f64 (.f64 2 (.f64 (cos.f64 im) re)) (*.f64 2 (cos.f64 im)))
(.f64 (+.f64 2 (.f64 2 re)) (cos.f64 im))
(.f64 (.f64 2 (cos.f64 im)) (+.f64 re 1))
(.f64 2 (.f64 (cos.f64 im) (+.f64 re 1)))
(+.f64 (.f64 2 (.f64 (cos.f64 im) re)) (*.f64 2 (cos.f64 im)))
(.f64 (+.f64 2 (.f64 2 re)) (cos.f64 im))
(.f64 (.f64 2 (cos.f64 im)) (+.f64 re 1))
(.f64 2 (.f64 (cos.f64 im) (+.f64 re 1)))
(+.f64 (.f64 2 (.f64 (cos.f64 im) re)) (*.f64 2 (cos.f64 im)))
(.f64 (+.f64 2 (.f64 2 re)) (cos.f64 im))
(.f64 (.f64 2 (cos.f64 im)) (+.f64 re 1))
(.f64 2 (.f64 (cos.f64 im) (+.f64 re 1)))
2
(+.f64 2 (*.f64 2 re))
(+.f64 2 (*.f64 2 re))
(+.f64 2 (*.f64 2 re))
(*.f64 2 re)
(+.f64 2 (*.f64 2 re))
(+.f64 2 (*.f64 2 re))
(+.f64 2 (*.f64 2 re))
(*.f64 2 re)
(+.f64 2 (*.f64 2 re))
(+.f64 2 (*.f64 2 re))
(+.f64 2 (*.f64 2 re))
(+.f64 (*.f64 (cos.f64 im) (+.f64 re (+.f64 re 2))) 0)
(*.f64 (cos.f64 im) (+.f64 re (+.f64 2 re)))
(*.f64 (cos.f64 im) (+.f64 2 (+.f64 re re)))
(+.f64 0 (*.f64 (cos.f64 im) (+.f64 re (+.f64 re 2))))
(*.f64 (cos.f64 im) (+.f64 re (+.f64 2 re)))
(*.f64 (cos.f64 im) (+.f64 2 (+.f64 re re)))
(+.f64 (.f64 (+.f64 re (+.f64 re 2)) (.f64 (cos.f64 im) 1/2)) (.f64 (+.f64 re (+.f64 re 2)) (.f64 (cos.f64 im) 1/2)))
(*.f64 (cos.f64 im) (+.f64 re (+.f64 2 re)))
(*.f64 (cos.f64 im) (+.f64 2 (+.f64 re re)))
(-.f64 (*.f64 (cos.f64 im) (+.f64 re (+.f64 re 2))) 0)
(*.f64 (cos.f64 im) (+.f64 re (+.f64 2 re)))
(*.f64 (cos.f64 im) (+.f64 2 (+.f64 re re)))
(/.f64 (*.f64 (cos.f64 im) (+.f64 re (+.f64 re 2))) 1)
(*.f64 (cos.f64 im) (+.f64 re (+.f64 2 re)))
(*.f64 (cos.f64 im) (+.f64 2 (+.f64 re re)))
(/.f64 (.f64 (+.f64 re (+.f64 re 2)) (.f64 (cos.f64 im) 2)) 2)
(*.f64 (cos.f64 im) (+.f64 re (+.f64 2 re)))
(*.f64 (cos.f64 im) (+.f64 2 (+.f64 re re)))
(/.f64 (.f64 (+.f64 re (+.f64 re 2)) (.f64 (cos.f64 im) 4)) 4)
(*.f64 (cos.f64 im) (+.f64 re (+.f64 2 re)))
(*.f64 (cos.f64 im) (+.f64 2 (+.f64 re re)))
(/.f64 (.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 re 2))) 8) 8)
(*.f64 (cos.f64 im) (+.f64 re (+.f64 2 re)))
(*.f64 (cos.f64 im) (+.f64 2 (+.f64 re re)))
(/.f64 (.f64 2 (.f64 (*.f64 (cos.f64 im) (+.f64 re (+.f64 re 2))) 8)) 16)
(*.f64 (cos.f64 im) (+.f64 re (+.f64 2 re)))
(*.f64 (cos.f64 im) (+.f64 2 (+.f64 re re)))
(/.f64 (+.f64 (.f64 2 (.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 re 2))) 8)) (.f64 2 (.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 re 2))) 8))) 32)
(*.f64 (cos.f64 im) (+.f64 re (+.f64 2 re)))
(*.f64 (cos.f64 im) (+.f64 2 (+.f64 re re)))
(-.f64 (+.f64 re (+.f64 re 2)) 0)
(+.f64 re (+.f64 2 re))
(+.f64 2 (+.f64 re re))
(.f64 2 (.f64 (+.f64 re (+.f64 re 2)) 1/2))
(+.f64 re (+.f64 2 re))
(+.f64 2 (+.f64 re re))
(.f64 2 (+.f64 (.f64 (+.f64 re 2) 1/2) (*.f64 re 1/2)))
(+.f64 re (+.f64 2 re))
(+.f64 2 (+.f64 re re))
(.f64 2 (+.f64 (.f64 re 1/2) (*.f64 (+.f64 re 2) 1/2)))
(+.f64 re (+.f64 2 re))
(+.f64 2 (+.f64 re re))
(*.f64 (+.f64 re (+.f64 re 2)) 1)
(+.f64 re (+.f64 2 re))
(+.f64 2 (+.f64 re re))
(*.f64 1 (+.f64 re (+.f64 re 2)))
(+.f64 re (+.f64 2 re))
(+.f64 2 (+.f64 re re))
(.f64 (+.f64 (+.f64 re 4) (.f64 re 3)) 1/2)
(.f64 1/2 (+.f64 (+.f64 re 4) (.f64 re 3)))
(.f64 1/2 (+.f64 re (+.f64 4 (.f64 re 3))))
(*.f64 4 (/.f64 (+.f64 re (+.f64 re 2)) 4))
(+.f64 re (+.f64 2 re))
(+.f64 2 (+.f64 re re))
(.f64 (.f64 (+.f64 re (+.f64 re 2)) 4) 1/4)
(+.f64 re (+.f64 2 re))
(+.f64 2 (+.f64 re re))
(.f64 1/2 (+.f64 (+.f64 re 4) (.f64 re 3)))
(.f64 1/2 (+.f64 re (+.f64 4 (.f64 re 3))))
(.f64 (.f64 (+.f64 re (+.f64 re 2)) 1/2) 2)
(+.f64 re (+.f64 2 re))
(+.f64 2 (+.f64 re re))
(.f64 1/4 (.f64 (+.f64 re (+.f64 re 2)) 4))
(+.f64 re (+.f64 2 re))
(+.f64 2 (+.f64 re re))
(*.f64 (/.f64 (+.f64 re (+.f64 re 2)) 4) 4)
(+.f64 re (+.f64 2 re))
(+.f64 2 (+.f64 re re))
(/.f64 (+.f64 re (+.f64 re 2)) 1)
(+.f64 re (+.f64 2 re))
(+.f64 2 (+.f64 re re))
(/.f64 (+.f64 (+.f64 re 4) (*.f64 re 3)) 2)
(/.f64 (+.f64 re (+.f64 4 (*.f64 re 3))) 2)
(/.f64 (*.f64 (+.f64 re (+.f64 re 2)) 4) 4)
(+.f64 re (+.f64 2 re))
(+.f64 2 (+.f64 re re))
(/.f64 (*.f64 (+.f64 re (+.f64 re 2)) 8) 8)
(+.f64 re (+.f64 2 re))
(+.f64 2 (+.f64 re re))
(/.f64 (.f64 2 (.f64 (+.f64 re (+.f64 re 2)) 8)) 16)
(+.f64 re (+.f64 2 re))
(+.f64 2 (+.f64 re re))
(/.f64 (+.f64 (.f64 2 (.f64 (+.f64 re (+.f64 re 2)) 8)) (.f64 2 (.f64 (+.f64 re (+.f64 re 2)) 8))) 32)
(+.f64 re (+.f64 2 re))
(+.f64 2 (+.f64 re re))

eval35.0ms (0.4%)

Compiler: Compiled 1886 to 1434 computations (24% saved)

prune73.0ms (0.8%)

Pruning

10 alts after pruning (1 fresh and 9 done)

	Pruned	Kept	Total
New	123	0	123
Fresh	0	1	1
Picked	0	1	1
Done	0	8	8
Total	123	10	133

Error

0.0b

Counts

133 → 10

Alt Table

Click to see full alt table

Status	Error	Program
✓	20.8b	(/.f64 (*.f64 (cos.f64 im) (+.f64 re (+.f64 re 2))) 2)
✓	20.8b	(+.f64 (.f64 (cos.f64 im) (+.f64 re 1)) (.f64 (pow.f64 re 2) (*.f64 (cos.f64 im) 1/2)))
✓	37.3b	(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re 1))
✓	37.1b	(+.f64 1 re)
✓	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))
✓	20.8b	(.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 1/2 (pow.f64 re 2)))))
✓	20.8b	(*.f64 (cos.f64 im) (+.f64 re 1))
✓	17.3b	(exp.f64 re)
✓	21.0b	(cos.f64 im)
	37.1b	1

Compiler

Compiled 85 to 65 computations (23.5% saved)

eval0.0ms (0%)

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

prune4.0ms (0%)

Pruning

10 alts after pruning (1 fresh and 9 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	9	9
Total	10	10

Error

0.0b

Counts

10 → 10

Alt Table

Click to see full alt table

Status	Error	Program
✓	20.8b	(/.f64 (*.f64 (cos.f64 im) (+.f64 re (+.f64 re 2))) 2)
✓	20.8b	(+.f64 (.f64 (cos.f64 im) (+.f64 re 1)) (.f64 (pow.f64 re 2) (*.f64 (cos.f64 im) 1/2)))
✓	37.3b	(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re 1))
✓	37.1b	(+.f64 1 re)
✓	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))
✓	20.8b	(.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 1/2 (pow.f64 re 2)))))
✓	20.8b	(*.f64 (cos.f64 im) (+.f64 re 1))
✓	17.3b	(exp.f64 re)
✓	21.0b	(cos.f64 im)
	37.1b	1

Compiler

Compiled 85 to 65 computations (23.5% saved)

regimes253.0ms (2.9%)

Counts

10 → 1

Calls

Call 1

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

Outputs
(*.f64 (exp.f64 re) (cos.f64 im))

Calls

5 calls:

231.0ms	(exp.f64 re)
6.0ms	re
6.0ms	im
5.0ms	(cos.f64 im)
4.0ms	(*.f64 (exp.f64 re) (cos.f64 im))

Results

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

Compiler

Compiled 88 to 56 computations (36.4% saved)

regimes117.0ms (1.3%)

Counts

7 → 2

Calls

Call 1

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

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

Calls

4 calls:

92.0ms	im
10.0ms	(cos.f64 im)
9.0ms	re
3.0ms	(exp.f64 re)

Results

Error	Segments	Branch
1.1b	2	`re`
9.0b	5	`im`
1.1b	2	`(exp.f64 re)`
9.8b	2	`(cos.f64 im)`

Compiler

Compiled 49 to 33 computations (32.7% saved)

bsearch0.0ms (0%)

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	0.9997881659818147	0.9999984539022314

Compiler

Compiled 12 to 9 computations (25% saved)

regimes196.0ms (2.3%)

Counts

4 → 2

Calls

Call 1

Inputs
1
(+.f64 1 re)
(cos.f64 im)
(exp.f64 re)

Outputs
(exp.f64 re)
(cos.f64 im)

Calls

4 calls:

175.0ms	im
9.0ms	(cos.f64 im)
8.0ms	re
3.0ms	(exp.f64 re)

Results

Error	Segments	Branch
1.4b	2	`re`
9.2b	5	`im`
1.4b	2	`(exp.f64 re)`
10.0b	2	`(cos.f64 im)`

Compiler

Compiled 24 to 17 computations (29.2% saved)

bsearch0.0ms (0%)

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	0.9997881659818147	0.9999984539022314

Compiler

Compiled 12 to 9 computations (25% saved)

regimes11.0ms (0.1%)

Counts

3 → 1

Calls

Call 1

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

Outputs
(cos.f64 im)

Calls

3 calls:

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

Results

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

Compiler

Compiled 18 to 13 computations (27.8% saved)

regimes6.0ms (0.1%)

Accuracy

Total -0.2b remaining (-0.5%)

Threshold costs -0.2b (-0.5%)

Counts

2 → 1

Calls

Call 1

Inputs
1
(+.f64 1 re)

Outputs
1

Calls

2 calls:

3.0ms	im
3.0ms	re

Results

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

Compiler

Compiled 12 to 9 computations (25% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	79

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(*.f64 (exp.f64 re) (cos.f64 im))
(if (<=.f64 (exp.f64 re) 2251349453722511/2251799813685248) (exp.f64 re) (*.f64 (cos.f64 im) (+.f64 re 1)))
(if (<=.f64 (exp.f64 re) 2251349453722511/2251799813685248) (exp.f64 re) (cos.f64 im))
(cos.f64 im)
1

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

Compiler

Compiled 40 to 28 computations (30% saved)

soundness0.0ms (0%)

end105.0ms (1.2%)

Compiler: Compiled 32 to 15 computations (53.1% saved)

Details

analyze50.0ms (0.6%)

sample2.4s (27.4%)

preprocess102.0ms (1.2%)

simplify486.0ms (5.6%)

eval0.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0.1%)

series3.0ms (0%)

rewrite82.0ms (0.9%)

simplify247.0ms (2.8%)

eval16.0ms (0.2%)

prune13.0ms (0.2%)

localize2.0ms (0%)

localize3.0ms (0%)

localize7.0ms (0.1%)

series8.0ms (0.1%)

rewrite82.0ms (0.9%)

simplify488.0ms (5.6%)

localize18.0ms (0.2%)

series2.0ms (0%)

rewrite93.0ms (1.1%)

simplify249.0ms (2.9%)

localize19.0ms (0.2%)

series5.0ms (0.1%)

rewrite101.0ms (1.2%)

simplify438.0ms (5.1%)

eval520.0ms (6%)

prune126.0ms (1.5%)

localize3.0ms (0%)

localize10.0ms (0.1%)

series0.0ms (0%)

rewrite1.4s (15.9%)

simplify317.0ms (3.7%)

localize136.0ms (1.6%)

series2.0ms (0%)

rewrite82.0ms (0.9%)

simplify397.0ms (4.6%)

eval35.0ms (0.4%)

prune73.0ms (0.8%)

eval0.0ms (0%)

prune4.0ms (0%)

regimes253.0ms (2.9%)

regimes117.0ms (1.3%)

bsearch0.0ms (0%)

regimes196.0ms (2.3%)

bsearch0.0ms (0%)

regimes11.0ms (0.1%)

regimes6.0ms (0.1%)

simplify4.0ms (0%)

soundness0.0ms (0%)

end105.0ms (1.2%)

Profiling