Details

analyze58.0ms (1.1%)

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.6s (51.4%)

Results

1.2s	6154×	body	256	valid
648.0ms	1388×	body	1024	valid
390.0ms	692×	body	1024	infinite
237.0ms	709×	body	512	valid
65.0ms	340×	body	512	infinite
48.0ms	432×	body	256	infinite
4.0ms	5×	body	2048	valid

Bogosity

preprocess98.0ms (1.9%)

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)

simplify487.0ms (9.5%)

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.1%)

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

rewrite128.0ms (2.5%)

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

simplify249.0ms (4.9%)

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)

eval15.0ms (0.3%)

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

prune10.0ms (0.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	66	3	69
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	66	4	70

Error

0.0b

Counts

70 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))
▶	18.8b	(*.f64 (cos.f64 im) (+.f64 re 1))
▶	20.7b	(exp.f64 re)
▶	19.1b	(cos.f64 im)

Compiler

Compiled 23 to 17 computations (26.1% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
	0.0b	(cos.f64 im)

Compiler

Compiled 5 to 3 computations (40% saved)

localize2.0ms (0%)

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

localize55.0ms (1.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)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
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	im	@	-inf	(*.f64 (cos.f64 im) (+.f64 re 1))
0.0ms	re	@	inf	(*.f64 (cos.f64 im) (+.f64 re 1))

rewrite82.0ms (1.6%)

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

simplify536.0ms (10.5%)

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

eval22.0ms (0.4%)

Compiler: Compiled 1126 to 829 computations (26.4% saved)

prune15.0ms (0.3%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	89	3	92
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	89	7	96

Error

0.0b

Counts

96 → 7

Alt Table

Click to see full alt table

Status	Error	Program
▶	18.8b	(/.f64 (*.f64 (cos.f64 im) (+.f64 re (+.f64 re 2))) 2)
▶	39.3b	(+.f64 1 re)
✓	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))
✓	18.8b	(*.f64 (cos.f64 im) (+.f64 re 1))
✓	20.7b	(exp.f64 re)
✓	19.1b	(cos.f64 im)
	39.4b	1

Compiler

Compiled 43 to 33 computations (23.3% saved)

localize3.0ms (0.1%)

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

localize14.0ms (0.3%)

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

rewrite85.0ms (1.7%)

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

simplify396.0ms (7.7%)

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

eval30.0ms (0.6%)

Compiler: Compiled 1509 to 1137 computations (24.7% saved)

prune15.0ms (0.3%)

Pruning

7 alts after pruning (1 fresh and 6 done)

	Pruned	Kept	Total
New	90	0	90
Fresh	0	1	1
Picked	0	1	1
Done	0	5	5
Total	90	7	97

Error

0.0b

Counts

97 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	18.8b	(/.f64 (*.f64 (cos.f64 im) (+.f64 re (+.f64 re 2))) 2)
✓	39.3b	(+.f64 1 re)
✓	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))
✓	18.8b	(*.f64 (cos.f64 im) (+.f64 re 1))
✓	20.7b	(exp.f64 re)
✓	19.1b	(cos.f64 im)
	39.4b	1

Compiler

Compiled 43 to 33 computations (23.3% saved)

eval0.0ms (0%)

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

prune3.0ms (0%)

Pruning

7 alts after pruning (1 fresh and 6 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	6	6
Total	7	7

Error

0.0b

Counts

7 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	18.8b	(/.f64 (*.f64 (cos.f64 im) (+.f64 re (+.f64 re 2))) 2)
✓	39.3b	(+.f64 1 re)
✓	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))
✓	18.8b	(*.f64 (cos.f64 im) (+.f64 re 1))
✓	20.7b	(exp.f64 re)
✓	19.1b	(cos.f64 im)
	39.4b	1

Compiler

Compiled 43 to 33 computations (23.3% saved)

regimes22.0ms (0.4%)

Counts

7 → 1

Calls

Call 1

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

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

Calls

5 calls:

6.0ms	im
5.0ms	(cos.f64 im)
5.0ms	re
3.0ms	(*.f64 (exp.f64 re) (cos.f64 im))
2.0ms	(exp.f64 re)

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 52 to 32 computations (38.5% saved)

regimes46.0ms (0.9%)

Counts

6 → 2

Calls

Call 1

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

22.0ms	im
12.0ms	re
8.0ms	(cos.f64 im)
3.0ms	(exp.f64 re)

Results

Error	Segments	Branch
0.3b	2	`re`
7.2b	5	`im`
0.3b	2	`(exp.f64 re)`
8.2b	2	`(cos.f64 im)`

Compiler

Compiled 40 to 26 computations (35% saved)

bsearch0.0ms (0%)

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	0.9995114881372362	0.999999973943205

Compiler

Compiled 12 to 9 computations (25% saved)

regimes37.0ms (0.7%)

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:

16.0ms	im
10.0ms	re
6.0ms	(cos.f64 im)
4.0ms	(exp.f64 re)

Results

Error	Segments	Branch
0.7b	2	`re`
7.4b	5	`im`
0.7b	2	`(exp.f64 re)`
8.4b	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.9995114881372362	0.999999973943205

Compiler

Compiled 12 to 9 computations (25% saved)

regimes11.0ms (0.2%)

Counts

3 → 1

Calls

Call 1

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

Outputs
(cos.f64 im)

Calls

3 calls:

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

Results

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

Compiler

Compiled 18 to 13 computations (27.8% saved)

regimes7.0ms (0.1%)

Accuracy

Total -0.2b remaining (-0.6%)

Threshold costs -0.2b (-0.6%)

Counts

2 → 1

Calls

Call 1

Inputs
1
(+.f64 1 re)

Outputs
(+.f64 1 re)

Calls

2 calls:

4.0ms	re
3.0ms	im

Results

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

Compiler

Compiled 12 to 9 computations (25% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	86

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 45 to 32 computations (28.9% saved)

soundness0.0ms (0%)

end39.0ms (0.8%)

Compiler: Compiled 35 to 17 computations (51.4% saved)

Details

analyze58.0ms (1.1%)

sample2.6s (51.4%)

preprocess98.0ms (1.9%)

simplify487.0ms (9.5%)

eval0.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0.1%)

series3.0ms (0.1%)

rewrite128.0ms (2.5%)

simplify249.0ms (4.9%)

eval15.0ms (0.3%)

prune10.0ms (0.2%)

localize3.0ms (0.1%)

localize2.0ms (0%)

localize55.0ms (1.1%)

series2.0ms (0%)

rewrite82.0ms (1.6%)

simplify536.0ms (10.5%)

eval22.0ms (0.4%)

prune15.0ms (0.3%)

localize3.0ms (0.1%)

localize14.0ms (0.3%)

series2.0ms (0%)

rewrite85.0ms (1.7%)

simplify396.0ms (7.7%)

eval30.0ms (0.6%)

prune15.0ms (0.3%)

eval0.0ms (0%)

prune3.0ms (0%)

regimes22.0ms (0.4%)

regimes46.0ms (0.9%)

bsearch0.0ms (0%)

regimes37.0ms (0.7%)

bsearch0.0ms (0%)

regimes11.0ms (0.2%)

regimes7.0ms (0.1%)

simplify3.0ms (0.1%)

soundness0.0ms (0%)

end39.0ms (0.8%)

Profiling