Details

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

sample4.4s (60.1%)

Results

1.4s	2047×	body	1024	valid
1.2s	2021×	body	1024	infinite
845.0ms	5158×	body	256	valid
389.0ms	1042×	body	512	valid
289.0ms	1442×	body	256	infinite
242.0ms	1008×	body	512	infinite
7.0ms	9×	body	2048	valid

Bogosity

preprocess97.0ms (1.3%)

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)

simplify526.0ms (7.2%)

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)

localize17.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 35 to 13 computations (62.9% saved)

series4.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite65.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1262×	`rational.json-simplify-35`
1250×	`bool.json-1`
1250×	`bool.json-2`
1206×	`rational.json-1`
1206×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	35
1	132	35
2	355	35
3	791	35
4	1746	35
5	4185	35

Stop Event

1×	node limit

Counts

1 → 10

Calls

Call 1

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

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

Outputs

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

simplify1.1s (14.9%)

Algorithm

1×	egg-herbie

Rules

2174×	`rational.json-simplify-2`
1708×	`rational.json-simplify-35`
1076×	`rational.json-simplify-38`
894×	`rational.json-simplify-1`
706×	`rational.json-simplify-19`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	83	1450
1	191	1450
2	336	1358
3	587	1300
4	1247	1276
5	2586	1276
6	3688	1276
7	3855	1276
8	4024	1276
9	4248	1276
10	4825	1276
11	7580	1276

Stop Event

1×	node limit

Counts

34 → 46

Calls

Call 1

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

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

eval13.0ms (0.2%)

Compiler: Compiled 999 to 502 computations (49.7% saved)

prune83.0ms (1.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	43	3	46
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	43	4	47

Error

Counts

47 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(+.f64 (cos.f64 re) (.f64 (cos.f64 re) (+.f64 (.f64 1/24 (pow.f64 im 4)) (*.f64 1/2 (pow.f64 im 2)))))
✓	0.0b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
▶	27.5b	(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
▶	0.4b	(cos.f64 re)

Compiler

Compiled 46 to 35 computations (23.9% saved)

localize3.0ms (0%)

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

localize9.0ms (0.1%)

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

localize26.0ms (0.4%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 68 to 49 computations (27.9% saved)

series5.0ms (0.1%)

Counts

3 → 24

Calls

12 calls:

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

rewrite227.0ms (3.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1582×	`bool.json-1`
1582×	`bool.json-2`
1528×	`rational.json-1`
1528×	`rational.json-2`
1528×	`rational.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	67
1	155	67
2	369	67
3	725	67
4	1510	67
5	3370	67
6	6277	67

Stop Event

1×	node limit

Counts

3 → 30

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 1/24 (pow.f64 im 4)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 1/24 (pow.f64 im 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (pow.f64 im 4) 1/48) (.f64 (pow.f64 im 4) 1/48))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 1/24 (pow.f64 im 4)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 1/24 (pow.f64 im 4)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (pow.f64 im 4) 1/12) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (pow.f64 im 4) 1/6) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (pow.f64 im 4) 1/6)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (pow.f64 im 4) 1/6))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (pow.f64 im 4) 1/6))) (.f64 2 (.f64 2 (.f64 (pow.f64 im 4) 1/6)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (.f64 1/24 (pow.f64 im 4))))))) (#(struct:change #<rule egg-rr> (2) ((x and (.f64 1/24 (pow.f64 im 4)) (.f64 1/24 (pow.f64 im 4)))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 1/24 (pow.f64 im 4)) (.f64 1/24 (pow.f64 im 4)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (cos.f64 re) (+.f64 (.f64 1/24 (pow.f64 im 4)) (.f64 1/2 (pow.f64 im 2)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (cos.f64 re) (+.f64 (.f64 1/24 (pow.f64 im 4)) (.f64 1/2 (pow.f64 im 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (.f64 (+.f64 (pow.f64 im 2) (.f64 (pow.f64 im 4) 1/12)) (cos.f64 re)) 4) (/.f64 (.f64 (+.f64 (pow.f64 im 2) (.f64 (pow.f64 im 4) 1/12)) (cos.f64 re)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (cos.f64 re) (+.f64 (.f64 1/24 (pow.f64 im 4)) (.f64 1/2 (pow.f64 im 2)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (cos.f64 re) (+.f64 (.f64 1/24 (pow.f64 im 4)) (.f64 1/2 (pow.f64 im 2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (pow.f64 im 2) (.f64 (pow.f64 im 4) 1/12)) (cos.f64 re)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (+.f64 (pow.f64 im 2) (.f64 (pow.f64 im 4) 1/12)) (cos.f64 re))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (pow.f64 im 2) (.f64 (pow.f64 im 4) 1/12)) (cos.f64 re)))) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (pow.f64 im 2) (.f64 (pow.f64 im 4) 1/12)) (cos.f64 re))))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (pow.f64 im 2) (.f64 (pow.f64 im 4) 1/12)) (cos.f64 re))))) (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (pow.f64 im 2) (.f64 (pow.f64 im 4) 1/12)) (cos.f64 re)))))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (.f64 (cos.f64 re) (+.f64 (.f64 1/24 (pow.f64 im 4)) (.f64 1/2 (pow.f64 im 2))))))))) (#(struct:change #<rule egg-rr> (2) ((x and (.f64 (cos.f64 re) (+.f64 (.f64 1/24 (pow.f64 im 4)) (.f64 1/2 (pow.f64 im 2)))) (.f64 (cos.f64 re) (+.f64 (.f64 1/24 (pow.f64 im 4)) (.f64 1/2 (pow.f64 im 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 (cos.f64 re) (+.f64 (.f64 1/24 (pow.f64 im 4)) (.f64 1/2 (pow.f64 im 2)))) (.f64 (cos.f64 re) (+.f64 (.f64 1/24 (pow.f64 im 4)) (*.f64 1/2 (pow.f64 im 2)))))))))
((#(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 4 (pow.f64 im 2)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 4 (pow.f64 im 2))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 4 (pow.f64 im 2)))) 32)))) (#(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)))))))

Outputs

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

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

((#(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 4 (pow.f64 im 2)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 4 (pow.f64 im 2))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 4 (pow.f64 im 2)))) 32)))) (#(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)))))))

simplify407.0ms (5.6%)

Algorithm

1×	egg-herbie

Rules

2632×	`rational.json-simplify-53`
2016×	`rational.json-simplify-35`
1634×	`rational.json-simplify-1`
1572×	`rational.json-simplify-2`
1212×	`rational.json-simplify-42`

Iterations

Useful iterations: 11 (0.0ms)

Iter	Nodes	Cost
0	99	1884
1	227	1884
2	478	1848
3	1084	1776
4	2734	1776
5	3785	1776
6	4032	1776
7	4232	1776
8	4401	1776
9	4581	1776
10	4779	1776
11	6311	1774
12	7500	1774
13	7766	1774
14	7809	1774
15	7813	1774
16	7817	1774

Stop Event

1×	node limit

Counts

54 → 60

Calls

Call 1

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

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

eval56.0ms (0.8%)

Compiler: Compiled 1633 to 1210 computations (25.9% saved)

prune14.0ms (0.2%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	60	0	60
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	60	4	64

Error

Counts

64 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (cos.f64 re) (.f64 (cos.f64 re) (+.f64 (.f64 1/24 (pow.f64 im 4)) (*.f64 1/2 (pow.f64 im 2)))))
✓	0.0b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
✓	27.5b	(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
✓	0.4b	(cos.f64 re)

Compiler

Compiled 46 to 35 computations (23.9% saved)

regimes23.0ms (0.3%)

Counts

4 → 1

Calls

Call 1

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

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

Calls

6 calls:

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

Results

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

Compiler

Compiled 77 to 52 computations (32.5% saved)

regimes13.0ms (0.2%)

Accuracy

Total -27.4b remaining (-7591.8%)

Threshold costs -27.4b (-7591.8%)

Counts

2 → 1

Calls

Call 1

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

Outputs
(cos.f64 re)

Calls

3 calls:

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

Results

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

Compiler

Compiled 22 to 16 computations (27.3% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	40

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)))
(cos.f64 re)

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

Compiler

Compiled 17 to 13 computations (23.5% saved)

soundness0.0ms (0%)

end17.0ms (0.2%)

Compiler: Compiled 15 to 10 computations (33.3% saved)

Details

analyze221.0ms (3%)

sample4.4s (60.1%)

preprocess97.0ms (1.3%)

simplify526.0ms (7.2%)

eval1.0ms (0%)

prune1.0ms (0%)

localize17.0ms (0.2%)

series4.0ms (0.1%)

rewrite65.0ms (0.9%)

simplify1.1s (14.9%)

eval13.0ms (0.2%)

prune83.0ms (1.1%)

localize3.0ms (0%)

localize9.0ms (0.1%)

localize26.0ms (0.4%)

series5.0ms (0.1%)

rewrite227.0ms (3.1%)

simplify407.0ms (5.6%)

eval56.0ms (0.8%)

prune14.0ms (0.2%)

regimes23.0ms (0.3%)

regimes13.0ms (0.2%)

simplify2.0ms (0%)

soundness0.0ms (0%)

end17.0ms (0.2%)

Profiling