Details

analyze382.0ms (3.3%)

Algorithm

1×

Search

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

Compiler

Compiled 14 to 11 computations (21.4% saved)

sample8.4s (73.2%)

Results

3.5s	2057×	body	1024	valid
1.5s	5170×	body	256	valid
1.3s	2155×	body	1024	infinite
883.0ms	1025×	body	512	valid
803.0ms	1032×	body	512	infinite
482.0ms	1494×	body	256	infinite
3.0ms	4×	body	2048	valid

Bogosity

preprocess131.0ms (1.1%)

Algorithm

2×	egg-herbie

Rules

1268×	`rational.json-simplify-46`
896×	`rational.json-simplify-59`
882×	`rational.json-simplify-35`
868×	`rational.json-simplify-2`
828×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	70
1	39	70
2	65	70
3	95	70
4	154	70
5	266	70
6	611	70
7	1503	70
8	2530	70
9	3826	70
10	5882	70
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

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

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

Compiler

Compiled 15 to 12 computations (20% saved)

simplify516.0ms (4.5%)

Algorithm

1×	egg-herbie

Rules

2312×	`rational.json-simplify-35`
1800×	`rational.json-simplify-2`
1792×	`rational.json-simplify-1`
1510×	`rational.json-simplify-52`
780×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	35
1	25	35
2	43	35
3	63	35
4	95	35
5	151	35
6	310	35
7	700	35
8	1738	35
9	2736	35
10	3220	35
11	4129	35
12	4532	35
13	4744	35
14	4882	35
15	4998	35
16	5459	35
17	6645	35
18	6823	35
19	6949	35
20	7063	35
21	7177	35
22	7177	35
23	7694	35
24	7739	35
25	7890	35

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

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

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

eval1.0ms (0%)

Compiler: Compiled 24 to 13 computations (45.8% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

3 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 13 to 10 computations (23.1% saved)

localize13.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 35 to 13 computations (62.9% saved)

series2.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite88.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1980×	`bool.json-1`
1980×	`bool.json-2`
1426×	`bool.json-3`
946×	`rational.json-simplify-35`
872×	`rational.json-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	83	19
2	242	19
3	545	19
4	1202	19
5	2880	19
6	6912	19

Stop Event

1×	node limit

Counts

1 → 28

Calls

Call 1

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

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

Outputs

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

simplify92.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

1226×	`rational.json-simplify-1`
1068×	`rational.json-simplify-2`
994×	`rational.json-simplify-61`
840×	`rational.json-simplify-35`
834×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	92	934
1	170	934
2	364	934
3	805	934
4	1298	934
5	2940	934
6	5984	934

Stop Event

1×	node limit

Counts

40 → 44

Calls

Call 1

Inputs
2
(+.f64 2 (pow.f64 im 2))
(+.f64 2 (+.f64 (pow.f64 im 2) (*.f64 1/12 (pow.f64 im 4))))
(+.f64 2 (+.f64 (pow.f64 im 2) (+.f64 (.f64 1/12 (pow.f64 im 4)) (.f64 1/360 (pow.f64 im 6)))))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(-.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 0)
(*.f64 (exp.f64 (neg.f64 im)) (+.f64 1 (exp.f64 (+.f64 im im))))
(.f64 (exp.f64 im) (+.f64 1 (exp.f64 (.f64 im -2))))
(.f64 (exp.f64 im) (+.f64 (exp.f64 (.f64 im -2)) 1))
(*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 1)
(*.f64 1 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(.f64 2 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 1/2))
(.f64 2 (+.f64 (.f64 (exp.f64 im) 1/2) (/.f64 1/2 (exp.f64 im))))
(.f64 2 (+.f64 (/.f64 1/2 (exp.f64 im)) (.f64 (exp.f64 im) 1/2)))
(.f64 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 2) 1/2)
(.f64 (.f64 (exp.f64 im) 2) (+.f64 1/2 (/.f64 1/2 (exp.f64 (+.f64 im im)))))
(*.f64 4 (/.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4))
(.f64 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4) 1/4)
(.f64 1/2 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 2))
(.f64 1/2 (+.f64 (.f64 (exp.f64 im) 2) (/.f64 2 (exp.f64 im))))
(.f64 1/2 (+.f64 (/.f64 2 (exp.f64 im)) (.f64 (exp.f64 im) 2)))
(.f64 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 1/2) 2)
(.f64 (.f64 (exp.f64 im) 1/2) (+.f64 2 (/.f64 2 (exp.f64 (+.f64 im im)))))
(.f64 (.f64 (exp.f64 im) 1/2) (+.f64 (/.f64 2 (exp.f64 (+.f64 im im))) 2))
(*.f64 (+.f64 1 (exp.f64 (+.f64 im im))) (exp.f64 (neg.f64 im)))
(.f64 1/4 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4))
(*.f64 (/.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4) 4)
(/.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 1)
(/.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 2) 2)
(/.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4) 4)
(/.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 8) 8)
(/.f64 (.f64 2 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 8)) 16)
(/.f64 (+.f64 (.f64 2 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 8)) (.f64 2 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 8))) 32)

Outputs
2
(+.f64 2 (pow.f64 im 2))
(+.f64 2 (+.f64 (pow.f64 im 2) (*.f64 1/12 (pow.f64 im 4))))
(+.f64 (*.f64 1/12 (pow.f64 im 4)) (+.f64 2 (pow.f64 im 2)))
(+.f64 (+.f64 2 (pow.f64 im 2)) (*.f64 1/12 (pow.f64 im 4)))
(+.f64 2 (+.f64 (pow.f64 im 2) (+.f64 (.f64 1/12 (pow.f64 im 4)) (.f64 1/360 (pow.f64 im 6)))))
(+.f64 2 (+.f64 (.f64 1/360 (pow.f64 im 6)) (+.f64 (pow.f64 im 2) (.f64 1/12 (pow.f64 im 4)))))
(+.f64 2 (+.f64 (+.f64 (pow.f64 im 2) (.f64 1/12 (pow.f64 im 4))) (.f64 1/360 (pow.f64 im 6))))
(+.f64 (+.f64 2 (pow.f64 im 2)) (+.f64 (.f64 1/12 (pow.f64 im 4)) (.f64 1/360 (pow.f64 im 6))))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(-.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 0)
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(*.f64 (exp.f64 (neg.f64 im)) (+.f64 1 (exp.f64 (+.f64 im im))))
(.f64 (exp.f64 im) (+.f64 1 (exp.f64 (.f64 im -2))))
(.f64 (exp.f64 im) (+.f64 (exp.f64 (.f64 im -2)) 1))
(.f64 (exp.f64 im) (+.f64 1 (exp.f64 (.f64 im -2))))
(*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 1)
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(*.f64 1 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(.f64 2 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 1/2))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(.f64 2 (+.f64 (.f64 (exp.f64 im) 1/2) (/.f64 1/2 (exp.f64 im))))
(.f64 2 (+.f64 (/.f64 1/2 (exp.f64 im)) (.f64 (exp.f64 im) 1/2)))
(.f64 2 (+.f64 (.f64 (exp.f64 im) 1/2) (/.f64 1/2 (exp.f64 im))))
(.f64 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 2) 1/2)
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(.f64 (.f64 (exp.f64 im) 2) (+.f64 1/2 (/.f64 1/2 (exp.f64 (+.f64 im im)))))
(.f64 (.f64 2 (exp.f64 im)) (+.f64 1/2 (/.f64 1/2 (exp.f64 (+.f64 im im)))))
(.f64 2 (.f64 (exp.f64 im) (+.f64 1/2 (/.f64 1/2 (exp.f64 (+.f64 im im))))))
(.f64 (exp.f64 im) (.f64 2 (+.f64 1/2 (/.f64 1/2 (exp.f64 (+.f64 im im))))))
(*.f64 4 (/.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(.f64 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4) 1/4)
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(.f64 1/2 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 2))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(.f64 1/2 (+.f64 (.f64 (exp.f64 im) 2) (/.f64 2 (exp.f64 im))))
(.f64 1/2 (+.f64 (.f64 2 (exp.f64 im)) (/.f64 2 (exp.f64 im))))
(.f64 1/2 (+.f64 (/.f64 2 (exp.f64 im)) (.f64 (exp.f64 im) 2)))
(.f64 1/2 (+.f64 (.f64 2 (exp.f64 im)) (/.f64 2 (exp.f64 im))))
(.f64 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 1/2) 2)
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(.f64 (.f64 (exp.f64 im) 1/2) (+.f64 2 (/.f64 2 (exp.f64 (+.f64 im im)))))
(.f64 (exp.f64 im) (.f64 1/2 (+.f64 2 (/.f64 2 (exp.f64 (+.f64 im im))))))
(.f64 (.f64 (exp.f64 im) 1/2) (+.f64 (/.f64 2 (exp.f64 (+.f64 im im))) 2))
(.f64 (.f64 (exp.f64 im) 1/2) (+.f64 2 (/.f64 2 (exp.f64 (+.f64 im im)))))
(.f64 (exp.f64 im) (.f64 1/2 (+.f64 2 (/.f64 2 (exp.f64 (+.f64 im im))))))
(*.f64 (+.f64 1 (exp.f64 (+.f64 im im))) (exp.f64 (neg.f64 im)))
(*.f64 (exp.f64 (neg.f64 im)) (+.f64 1 (exp.f64 (+.f64 im im))))
(.f64 1/4 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(*.f64 (/.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4) 4)
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(/.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 1)
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(/.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 2) 2)
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(/.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 4) 4)
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(/.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 8) 8)
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(/.f64 (.f64 2 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 8)) 16)
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(/.f64 (+.f64 (.f64 2 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 8)) (.f64 2 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 8))) 32)
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))

eval12.0ms (0.1%)

Compiler: Compiled 703 to 405 computations (42.4% saved)

prune7.0ms (0.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	42	2	44
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	42	3	45

Error

Counts

45 → 3

Alt Table

Click to see full alt table

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

Compiler

Compiled 33 to 27 computations (18.2% saved)

localize7.0ms (0.1%)

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

localize13.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 30 to 20 computations (33.3% saved)

series4.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite82.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1548×	`bool.json-1`
1548×	`bool.json-2`
1482×	`rational.json-1`
1482×	`rational.json-2`
1482×	`rational.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	29
1	118	29
2	304	29
3	642	29
4	1361	29
5	3093	29
6	6224	29

Stop Event

1×	node limit

Counts

1 → 10

Calls

Call 1

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

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

Outputs

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

simplify338.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

2130×	`rational.json-simplify-35`
1924×	`rational.json-simplify-1`
1844×	`rational.json-simplify-2`
1312×	`rational.json-simplify-48`
1210×	`rational.json-simplify-42`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	59	1162
1	134	1126
2	266	1072
3	523	1054
4	1189	1054
5	2153	1054
6	2775	1054
7	3164	1054
8	3607	1054
9	3976	1054
10	4255	1054
11	4806	1054
12	5025	1054
13	5268	1054
14	5429	1054
15	5608	1054
16	5646	1054
17	7487	1054

Stop Event

1×	node limit

Counts

34 → 36

Calls

Call 1

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

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

eval12.0ms (0.1%)

Compiler: Compiled 637 to 499 computations (21.7% saved)

prune9.0ms (0.1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	33	3	36
Fresh	0	0	0
Picked	0	1	1
Done	1	1	2
Total	34	5	39

Error

Counts

39 → 5

Alt Table

Click to see full alt table

Status	Error	Program
▶	61.2b	(.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))
✓	0.0b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
✓	1.3b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (pow.f64 im 2)))
▶	31.7b	(*.f64 1/2 (+.f64 2 (pow.f64 im 2)))
▶	1.7b	(cos.f64 re)

Compiler

Compiled 48 to 39 computations (18.8% saved)

localize3.0ms (0%)

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

localize8.0ms (0.1%)

Compiler: Compiled 20 to 16 computations (20% saved)

localize10.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 23 to 14 computations (39.1% saved)

series3.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite89.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1382×	`bool.json-1`
1382×	`bool.json-2`
1316×	`rational.json-1`
1316×	`rational.json-2`
1316×	`rational.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	23
1	110	23
2	297	23
3	627	23
4	1273	23
5	2914	23
6	5701	23

Stop Event

1×	node limit

Counts

1 → 10

Calls

Call 1

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

Outputs

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

simplify319.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

2214×	`rational.json-simplify-35`
1706×	`rational.json-simplify-2`
1542×	`rational.json-simplify-1`
1286×	`rational.json-simplify-48`
1236×	`rational.json-simplify-42`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	52	922
1	115	922
2	241	886
3	486	862
4	1157	862
5	1939	862
6	2546	862
7	2940	862
8	3372	862
9	3702	862
10	3977	862
11	4547	862
12	4835	862
13	5019	862
14	5165	862
15	5335	862
16	5374	862
17	7144	862

Stop Event

1×	node limit

Counts

34 → 29

Calls

Call 1

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

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

eval12.0ms (0.1%)

Compiler: Compiled 538 to 421 computations (21.7% saved)

prune6.0ms (0.1%)

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	28	1	29
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	28	6	34

Error

Counts

34 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	61.2b	(.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))
✓	0.0b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
✓	1.3b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (pow.f64 im 2)))
▶	61.5b	(*.f64 1/2 (pow.f64 im 2))
✓	31.7b	(*.f64 1/2 (+.f64 2 (pow.f64 im 2)))
✓	1.7b	(cos.f64 re)

Compiler

Compiled 55 to 45 computations (18.2% saved)

localize5.0ms (0%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 10 computations (23.1% saved)

series1.0ms (0%)

Counts

1 → 0

Calls

3 calls:

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

rewrite84.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1478×	`bool.json-1`
1478×	`bool.json-2`
1428×	`rational.json-1`
1428×	`rational.json-2`
1428×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	69	13
2	187	13
3	372	13
4	718	13
5	1504	13
6	3451	13
7	6307	13

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

Outputs

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

simplify742.0ms (6.4%)

Algorithm

1×	egg-herbie

Rules

6144×	`rational.json-simplify-41`
2666×	`rational.json-simplify-51`
2356×	`rational.json-simplify-2`
2076×	`rational.json-simplify-35`
706×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	143
1	75	143
2	139	143
3	307	143
4	725	143
5	1721	143
6	2399	143
7	2501	143
8	2557	143
9	2604	143
10	2646	143
11	2686	143
12	2725	143
13	2764	143
14	2803	143
15	2842	143
16	2881	143
17	2920	143
18	2959	143
19	2998	143
20	3037	143
21	4821	143
22	4880	143
23	4925	143
24	4965	143
25	5000	143
26	5035	143
27	5861	143
28	5896	143
29	5931	143
30	5966	143
31	6001	143
32	6036	143
33	6036	143
34	6071	143
35	6106	143

Stop Event

1×	node limit

Counts

11 → 12

Calls

Call 1

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

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

eval3.0ms (0%)

Compiler: Compiled 92 to 79 computations (14.1% saved)

prune4.0ms (0%)

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	12	0	12
Fresh	0	0	0
Picked	0	1	1
Done	0	5	5
Total	12	6	18

Error

Counts

18 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	61.2b	(.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))
✓	0.0b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
✓	1.3b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (pow.f64 im 2)))
✓	61.5b	(*.f64 1/2 (pow.f64 im 2))
✓	31.7b	(*.f64 1/2 (+.f64 2 (pow.f64 im 2)))
✓	1.7b	(cos.f64 re)

Compiler

Compiled 55 to 45 computations (18.2% saved)

regimes27.0ms (0.2%)

Counts

7 → 1

Calls

Call 1

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

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

Calls

6 calls:

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

Results

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

Compiler

Compiled 88 to 64 computations (27.3% saved)

regimes19.0ms (0.2%)

Counts

6 → 1

Calls

Call 1

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

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

Calls

4 calls:

5.0ms	im
4.0ms	re
4.0ms	(*.f64 1/2 (cos.f64 re))
4.0ms	(cos.f64 re)

Results

Error	Segments	Branch
1.3b	1	`re`
1.3b	1	`im`
1.3b	1	`(*.f64 1/2 (cos.f64 re))`
1.3b	1	`(cos.f64 re)`

Compiler

Compiled 56 to 41 computations (26.8% saved)

regimes17.0ms (0.2%)

Accuracy

Total -60.0b remaining (-3528.6%)

Threshold costs -60.0b (-3528.6%)

Counts

5 → 1

Calls

Call 1

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

Outputs
(cos.f64 re)

Calls

4 calls:

5.0ms	im
4.0ms	re
4.0ms	(*.f64 1/2 (cos.f64 re))
4.0ms	(cos.f64 re)

Results

Error	Segments	Branch
1.7b	1	`re`
1.7b	1	`im`
1.7b	1	`(*.f64 1/2 (cos.f64 re))`
1.7b	1	`(cos.f64 re)`

Compiler

Compiled 46 to 34 computations (26.1% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	69

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 29 to 23 computations (20.7% saved)

soundness0.0ms (0%)

end22.0ms (0.2%)

Compiler: Compiled 25 to 17 computations (32% saved)

Details

analyze382.0ms (3.3%)

sample8.4s (73.2%)

preprocess131.0ms (1.1%)

simplify516.0ms (4.5%)

eval1.0ms (0%)

prune1.0ms (0%)

localize13.0ms (0.1%)

series2.0ms (0%)

rewrite88.0ms (0.8%)

simplify92.0ms (0.8%)

eval12.0ms (0.1%)

prune7.0ms (0.1%)

localize7.0ms (0.1%)

localize13.0ms (0.1%)

series4.0ms (0%)

rewrite82.0ms (0.7%)

simplify338.0ms (2.9%)

eval12.0ms (0.1%)

prune9.0ms (0.1%)

localize3.0ms (0%)

localize8.0ms (0.1%)

localize10.0ms (0.1%)

series3.0ms (0%)

rewrite89.0ms (0.8%)

simplify319.0ms (2.8%)

eval12.0ms (0.1%)

prune6.0ms (0.1%)

localize5.0ms (0%)

series1.0ms (0%)

rewrite84.0ms (0.7%)

simplify742.0ms (6.4%)

eval3.0ms (0%)

prune4.0ms (0%)

regimes27.0ms (0.2%)

regimes19.0ms (0.2%)

regimes17.0ms (0.2%)

simplify2.0ms (0%)

soundness0.0ms (0%)

end22.0ms (0.2%)

Profiling