Details

analyze68.0ms (0.7%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
50%	50%	50%	0.1%	0%	0%	0%	2
50%	50%	50%	0.1%	0%	0%	0%	3
75%	74.9%	25%	0.1%	0%	0%	0%	4
75%	74.9%	25%	0.1%	0%	0%	0%	5
80%	74.9%	18.7%	0.1%	6.2%	0%	0%	6
80%	74.9%	18.7%	0.1%	6.2%	0%	0%	7
82.8%	74.9%	15.6%	0.1%	9.4%	0%	0%	8
82.8%	74.9%	15.6%	0.1%	9.4%	0%	0%	9
84.2%	74.9%	14%	0.1%	10.9%	0%	0%	10
84.2%	74.9%	14%	0.1%	10.9%	0%	0%	11
85%	74.9%	13.3%	0.1%	11.7%	0%	0%	12

Compiler

Compiled 8 to 6 computations (25% saved)

sample2.4s (25.5%)

Results

1.2s	6154×	body	256	valid
604.0ms	1396×	body	1024	valid
252.0ms	644×	body	1024	infinite
179.0ms	705×	body	512	valid
114.0ms	342×	body	512	infinite
49.0ms	409×	body	256	infinite
1.0ms	1×	body	2048	valid
0.0ms	1×	body	2048	infinite

Bogosity

preprocess106.0ms (1.1%)

Algorithm

2×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

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

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

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify491.0ms (5.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 1

Calls

Call 1

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

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

eval0.0ms (0%)

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

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 7 to 5 computations (28.6% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 5 computations (61.5% saved)

series2.0ms (0%)

Counts

1 → 8

Calls

6 calls:

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

rewrite78.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

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

Outputs

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

simplify353.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

1904×	`rational.json-simplify-2`
1876×	`rational.json-simplify-35`
1234×	`rational.json-simplify-1`
1172×	`rational.json-simplify-42`
1156×	`rational.json-simplify-53`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	69	505
1	162	505
2	320	465
3	684	445
4	2470	445
5	4120	445
6	4698	445
7	4861	445
8	5000	445
9	5156	445
10	5326	445
11	6227	445
12	6845	445
13	7149	445
14	7302	445
15	7316	445
16	7320	445

Stop Event

1×	node limit

Counts

19 → 43

Calls

Call 1

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

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

eval11.0ms (0.1%)

Compiler: Compiled 669 to 369 computations (44.8% saved)

prune8.0ms (0.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	39	4	43
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	39	5	44

Error

Counts

44 → 5

Alt Table

Click to see full alt table

Status	Error	Program
▶	19.9b	(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
▶	20.0b	(+.f64 (cos.f64 im) (.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) re)))
✓	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))
▶	21.2b	(exp.f64 re)
▶	19.9b	(cos.f64 im)

Compiler

Compiled 39 to 26 computations (33.3% saved)

localize3.0ms (0%)

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

localize2.0ms (0%)

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

localize59.0ms (0.6%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 46 to 29 computations (37% saved)

series4.0ms (0%)

Counts

3 → 27

Calls

12 calls:

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

rewrite200.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1504×	`bool.json-1`
1504×	`bool.json-2`
1438×	`rational.json-1`
1438×	`rational.json-2`
1438×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	61
1	118	61
2	299	61
3	610	61
4	1282	61
5	2871	61
6	5921	61

Stop Event

1×	node limit

Counts

3 → 40

Calls

Call 1

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

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

Outputs

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

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

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

simplify305.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

2100×	`rational.json-simplify-53`
2082×	`rational.json-simplify-41`
1612×	`rational.json-simplify-2`
1410×	`rational.json-simplify-35`
706×	`rational.json-simplify-1`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	111	1741
1	257	1723
2	548	1675
3	1593	1633
4	3287	1633
5	3514	1633
6	3614	1633
7	3705	1633
8	3812	1633
9	5354	1633
10	7218	1633
11	7609	1633

Stop Event

1×	node limit

Counts

67 → 69

Calls

Call 1

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

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

localize62.0ms (0.7%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 17 to 5 computations (70.6% saved)

series2.0ms (0%)

Counts

2 → 11

Calls

12 calls:

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

rewrite97.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

1460×	`bool.json-1`
1460×	`bool.json-2`
1408×	`rational.json-1`
1408×	`rational.json-2`
1408×	`rational.json-4`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	32
1	81	28
2	232	28
3	520	28
4	1127	28
5	2549	28
6	5410	28

Stop Event

1×	node limit

Counts

2 → 43

Calls

Call 1

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

Outputs

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

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

simplify2.0s (20.6%)

Algorithm

1×	egg-herbie

Rules

3346×	`rational.json-simplify-35`
2386×	`rational.json-simplify-2`
1150×	`rational.json-simplify-1`
890×	`rational.json-simplify-53`
740×	`rational.json-simplify-48`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	127	1054
1	280	1054
2	577	1042
3	1532	1036
4	3106	1036
5	3887	1036
6	4356	1036
7	4566	1036
8	4782	1036
9	4996	1036
10	5283	1036
11	6260	1036
12	6561	1036
13	6803	1036
14	7039	1036
15	7084	1036
16	7095	1036
17	7096	1036
18	7250	1036
19	7405	1036
20	7560	1036
21	7715	1036
22	7870	1036

Stop Event

1×	node limit

Counts

54 → 76

Calls

Call 1

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

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

eval257.0ms (2.7%)

Compiler: Compiled 2478 to 1623 computations (34.5% saved)

prune26.0ms (0.3%)

Pruning

8 alts after pruning (3 fresh and 5 done)

	Pruned	Kept	Total
New	142	3	145
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	142	8	150

Error

Counts

150 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	19.9b	(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
✓	20.0b	(+.f64 (cos.f64 im) (.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) re)))
▶	20.0b	(+.f64 re (cos.f64 im))
▶	41.1b	(+.f64 re 1)
▶	19.9b	(*.f64 (+.f64 re 1) (cos.f64 im))
✓	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))
✓	21.2b	(exp.f64 re)
✓	19.9b	(cos.f64 im)

Compiler

Compiled 58 to 40 computations (31% saved)

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 16 to 9 computations (43.8% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite82.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

Outputs

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

simplify440.0ms (4.6%)

Algorithm

1×	egg-herbie

Rules

2884×	`rational.json-simplify-35`
2196×	`rational.json-simplify-2`
1444×	`rational.json-simplify-1`
838×	`rational.json-simplify-53`
832×	`rational.json-simplify-41`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	62	747
1	147	747
2	296	735
3	583	723
4	2077	723
5	3839	723
6	4779	723
7	5199	723
8	5522	723
9	5786	723
10	6123	723
11	6978	723
12	7140	723
13	7242	723
14	7326	723
15	7396	723
16	7639	723
17	7884	723

Stop Event

1×	node limit

Counts

35 → 38

Calls

Call 1

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

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

localize3.0ms (0%)

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

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 10 to 4 computations (60% saved)

series1.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite101.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1826×	`bool.json-1`
1826×	`bool.json-2`
1324×	`rational.json-simplify-35`
1140×	`rational.json-1`
1140×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	71	11
2	210	11
3	464	11
4	1003	11
5	2234	11
6	4607	11
7	7435	11

Stop Event

1×	node limit

Counts

1 → 20

Calls

Call 1

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

Outputs

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

simplify366.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

2376×	`rational.json-simplify-2`
1898×	`rational.json-simplify-35`
1340×	`rational.json-simplify-49`
1330×	`rational.json-simplify-52`
904×	`rational.json-simplify-51`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	72	568
1	155	568
2	364	568
3	843	568
4	1383	568
5	2253	568
6	2677	568
7	2752	568
8	2832	568
9	2931	568
10	3040	568
11	3325	568
12	3474	568
13	3590	568
14	3686	568
15	3766	568
16	3848	568
17	4871	568
18	5199	568
19	6363	568
20	7001	568
21	7431	568

Stop Event

1×	node limit

Counts

44 → 40

Calls

Call 1

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

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

eval78.0ms (0.8%)

Compiler: Compiled 994 to 704 computations (29.2% saved)

prune237.0ms (2.5%)

Pruning

9 alts after pruning (2 fresh and 7 done)

	Pruned	Kept	Total
New	76	2	78
Fresh	0	0	0
Picked	0	1	1
Done	1	6	7
Total	77	9	86

Error

Counts

86 → 9

Alt Table

Click to see full alt table

Status	Error	Program
▶	19.9b	(/.f64 (*.f64 (cos.f64 im) (+.f64 re (+.f64 re 2))) 2)
✓	20.0b	(+.f64 (cos.f64 im) (.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) re)))
✓	20.0b	(+.f64 re (cos.f64 im))
✓	41.1b	(+.f64 re 1)
✓	19.9b	(*.f64 (+.f64 re 1) (cos.f64 im))
✓	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))
✓	21.2b	(exp.f64 re)
✓	19.9b	(cos.f64 im)
	61.9b	re

Compiler

Compiled 64 to 46 computations (28.1% saved)

localize24.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 33 to 19 computations (42.4% saved)

series2.0ms (0%)

Counts

2 → 36

Calls

9 calls:

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

rewrite102.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

2 → 29

Calls

Call 1

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

Outputs

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

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

simplify652.0ms (6.8%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 3 (0.0ms)

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

Stop Event

1×	node limit

Counts

65 → 62

Calls

Call 1

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

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

eval19.0ms (0.2%)

Compiler: Compiled 1058 to 802 computations (24.2% saved)

prune76.0ms (0.8%)

Pruning

9 alts after pruning (1 fresh and 8 done)

	Pruned	Kept	Total
New	62	0	62
Fresh	0	1	1
Picked	0	1	1
Done	0	7	7
Total	62	9	71

Error

Counts

71 → 9

Alt Table

Click to see full alt table

Status	Error	Program
✓	19.9b	(/.f64 (*.f64 (cos.f64 im) (+.f64 re (+.f64 re 2))) 2)
✓	20.0b	(+.f64 (cos.f64 im) (.f64 (cos.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) re)))
✓	20.0b	(+.f64 re (cos.f64 im))
✓	41.1b	(+.f64 re 1)
✓	19.9b	(*.f64 (+.f64 re 1) (cos.f64 im))
✓	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))
✓	21.2b	(exp.f64 re)
✓	19.9b	(cos.f64 im)
	61.9b	re

Compiler

Compiled 64 to 46 computations (28.1% saved)

regimes213.0ms (2.2%)

Counts

10 → 1

Calls

Call 1

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

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

Calls

5 calls:

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

Results

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

Compiler

Compiled 76 to 41 computations (46.1% saved)

regimes167.0ms (1.8%)

Counts

7 → 2

Calls

Call 1

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

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

Calls

4 calls:

83.0ms	(cos.f64 im)
63.0ms	re
17.0ms	im
3.0ms	(exp.f64 re)

Results

Error	Segments	Branch
0.0b	2	`re`
10.2b	3	`im`
0.0b	2	`(exp.f64 re)`
10.5b	2	`(cos.f64 im)`

Compiler

Compiled 44 to 26 computations (40.9% saved)

bsearch0.0ms (0%)

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	0.999692441078729	0.9999999999999992

Compiler

Compiled 12 to 9 computations (25% saved)

regimes39.0ms (0.4%)

Counts

6 → 2

Calls

Call 1

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

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

Calls

4 calls:

17.0ms	im
9.0ms	re
7.0ms	(cos.f64 im)
4.0ms	(exp.f64 re)

Results

Error	Segments	Branch
0.0b	2	`re`
10.2b	3	`im`
0.0b	2	`(exp.f64 re)`
10.5b	2	`(cos.f64 im)`

Compiler

Compiled 34 to 20 computations (41.2% saved)

bsearch0.0ms (0%)

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	0.999692441078729	0.9999999999999992

Compiler

Compiled 12 to 9 computations (25% saved)

regimes127.0ms (1.3%)

Counts

5 → 2

Calls

Call 1

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

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

Calls

4 calls:

53.0ms	re
53.0ms	(cos.f64 im)
17.0ms	im
3.0ms	(exp.f64 re)

Results

Error	Segments	Branch
0.1b	2	`re`
10.3b	3	`im`
0.1b	2	`(exp.f64 re)`
10.5b	2	`(cos.f64 im)`

Compiler

Compiled 28 to 17 computations (39.3% saved)

bsearch0.0ms (0%)

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	0.999692441078729	0.9999999999999992

Compiler

Compiled 12 to 9 computations (25% saved)

regimes32.0ms (0.3%)

Counts

4 → 2

Calls

Call 1

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

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

Calls

4 calls:

14.0ms	im
8.0ms	re
6.0ms	(cos.f64 im)
4.0ms	(exp.f64 re)

Results

Error	Segments	Branch
0.1b	2	`re`
10.3b	3	`im`
0.1b	2	`(exp.f64 re)`
10.5b	2	`(cos.f64 im)`

Compiler

Compiled 24 to 16 computations (33.3% saved)

bsearch0.0ms (0%)

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	0.999692441078729	0.9999999999999992

Compiler

Compiled 12 to 9 computations (25% saved)

regimes11.0ms (0.1%)

Counts

3 → 1

Calls

Call 1

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

Outputs
(cos.f64 im)

Calls

3 calls:

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

Results

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

Compiler

Compiled 18 to 12 computations (33.3% saved)

regimes58.0ms (0.6%)

Accuracy

Total -21.0b remaining (-51.1%)

Threshold costs -21.0b (-51.1%)

Counts

2 → 1

Calls

Call 1

Inputs
re
(+.f64 re 1)

Outputs
(+.f64 re 1)

Calls

2 calls:

54.0ms	im
3.0ms	re

Results

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

Compiler

Compiled 12 to 8 computations (33.3% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	162

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 77 to 52 computations (32.5% saved)

soundness0.0ms (0%)

end149.0ms (1.6%)

Compiler: Compiled 63 to 29 computations (54% saved)

Details

analyze68.0ms (0.7%)

sample2.4s (25.5%)

preprocess106.0ms (1.1%)

simplify491.0ms (5.2%)

eval0.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0.1%)

series2.0ms (0%)

rewrite78.0ms (0.8%)

simplify353.0ms (3.7%)

eval11.0ms (0.1%)

prune8.0ms (0.1%)

localize3.0ms (0%)

localize2.0ms (0%)

localize59.0ms (0.6%)

series4.0ms (0%)

rewrite200.0ms (2.1%)

simplify305.0ms (3.2%)

localize62.0ms (0.7%)

series2.0ms (0%)

rewrite97.0ms (1%)

simplify2.0s (20.6%)

eval257.0ms (2.7%)

prune26.0ms (0.3%)

localize7.0ms (0.1%)

series2.0ms (0%)

rewrite82.0ms (0.9%)

simplify440.0ms (4.6%)

localize3.0ms (0%)

localize5.0ms (0.1%)

series1.0ms (0%)

rewrite101.0ms (1.1%)

simplify366.0ms (3.8%)

eval78.0ms (0.8%)

prune237.0ms (2.5%)

localize24.0ms (0.3%)

series2.0ms (0%)

rewrite102.0ms (1.1%)

simplify652.0ms (6.8%)

eval19.0ms (0.2%)

prune76.0ms (0.8%)

regimes213.0ms (2.2%)

regimes167.0ms (1.8%)

bsearch0.0ms (0%)

regimes39.0ms (0.4%)

bsearch0.0ms (0%)

regimes127.0ms (1.3%)

bsearch0.0ms (0%)

regimes32.0ms (0.3%)

bsearch0.0ms (0%)

regimes11.0ms (0.1%)

regimes58.0ms (0.6%)

simplify5.0ms (0.1%)

soundness0.0ms (0%)

end149.0ms (1.6%)

Profiling