Details

analyze60.0ms (0.6%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
50%	50%	50%	0.1%	0%	0%	0%	2
50%	50%	50%	0.1%	0%	0%	0%	3
75%	74.9%	25%	0.1%	0%	0%	0%	4
75%	74.9%	25%	0.1%	0%	0%	0%	5
77.4%	74.9%	21.9%	0.1%	3.1%	0%	0%	6
78.7%	74.9%	20.3%	0.1%	4.7%	0%	0%	7
80.7%	74.9%	18%	0.1%	7%	0%	0%	8
81.7%	74.9%	16.8%	0.1%	8.2%	0%	0%	9
82.9%	74.9%	15.4%	0.1%	9.6%	0%	0%	10
83.6%	74.9%	14.7%	0.1%	10.2%	0%	0%	11
84.3%	74.9%	14%	0.1%	11%	0%	0%	12

Compiler

Compiled 8 to 6 computations (25% saved)

sample3.5s (36.6%)

Results

2.0s	6157×	body	256	valid
632.0ms	1391×	body	1024	valid
346.0ms	681×	body	1024	infinite
260.0ms	705×	body	512	valid
138.0ms	339×	body	512	infinite
124.0ms	477×	body	256	infinite
2.0ms	3×	body	2048	valid

Bogosity

preprocess49.0ms (0.5%)

Algorithm

2×	egg-herbie

Rules

1408×	`rational.json-simplify-46`
1126×	`rational.json-simplify-1`
1004×	`rational.json-simplify-2`
1004×	`rational.json-simplify-49`
894×	`rational.json-simplify-61`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	30
1	19	30
2	23	30
3	30	30
4	41	30
5	57	30
6	103	30
7	274	30
8	972	30
9	1894	30
10	3834	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) (sin.f64 im))
(*.f64 (exp.f64 im) (sin.f64 re))

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

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify123.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

2150×	`rational.json-simplify-1`
1522×	`rational.json-simplify-35`
1458×	`rational.json-simplify-26`
1008×	`rational.json-simplify-51`
918×	`rational.json-simplify-48`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	15
1	13	15
2	15	15
3	19	15
4	25	15
5	34	15
6	61	15
7	152	15
8	548	15
9	1547	15
10	2596	15
11	3374	15
12	5617	15
13	6252	15
14	7263	15
15	7467	15

Stop Event

1×	node limit

Counts

1 → 1

Calls

Call 1

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

Outputs
(*.f64 (exp.f64 re) (sin.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) (sin.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) (sin.f64 im))

Compiler

Compiled 13 to 5 computations (61.5% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite146.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1392×	`bool.json-1`
1392×	`bool.json-2`
1354×	`rational.json-1`
1354×	`rational.json-2`
1354×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	15
1	82	15
2	245	15
3	531	15
4	1090	15
5	2403	15
6	5269	15

Stop Event

1×	node limit

Counts

1 → 10

Calls

Call 1

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

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

Outputs

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

simplify218.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

2116×	`rational.json-simplify-2`
1766×	`rational.json-simplify-35`
1306×	`rational.json-simplify-53`
938×	`rational.json-simplify-43`
898×	`rational.json-simplify-48`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	72	754
1	169	704
2	327	674
3	712	664
4	2468	664
5	3489	664
6	4328	664
7	4538	664
8	5002	664
9	5882	664
10	7021	664
11	7288	664
12	7942	664

Stop Event

1×	node limit

Counts

34 → 36

Calls

Call 1

Inputs
(sin.f64 im)
(+.f64 (sin.f64 im) (*.f64 (sin.f64 im) re))
(+.f64 (sin.f64 im) (+.f64 (.f64 (sin.f64 im) re) (.f64 1/2 (*.f64 (sin.f64 im) (pow.f64 re 2)))))
(+.f64 (sin.f64 im) (+.f64 (.f64 (sin.f64 im) re) (+.f64 (.f64 1/6 (.f64 (sin.f64 im) (pow.f64 re 3))) (.f64 1/2 (*.f64 (sin.f64 im) (pow.f64 re 2))))))
(*.f64 (sin.f64 im) (exp.f64 re))
(*.f64 (sin.f64 im) (exp.f64 re))
(*.f64 (sin.f64 im) (exp.f64 re))
(*.f64 (sin.f64 im) (exp.f64 re))
(*.f64 (sin.f64 im) (exp.f64 re))
(*.f64 (sin.f64 im) (exp.f64 re))
(*.f64 (sin.f64 im) (exp.f64 re))
(*.f64 (sin.f64 im) (exp.f64 re))
(*.f64 (exp.f64 re) im)
(+.f64 (.f64 -1/6 (.f64 (exp.f64 re) (pow.f64 im 3))) (*.f64 (exp.f64 re) im))
(+.f64 (.f64 -1/6 (.f64 (exp.f64 re) (pow.f64 im 3))) (+.f64 (.f64 1/120 (.f64 (exp.f64 re) (pow.f64 im 5))) (*.f64 (exp.f64 re) im)))
(+.f64 (.f64 -1/6 (.f64 (exp.f64 re) (pow.f64 im 3))) (+.f64 (.f64 1/120 (.f64 (exp.f64 re) (pow.f64 im 5))) (+.f64 (.f64 -1/5040 (.f64 (exp.f64 re) (pow.f64 im 7))) (*.f64 (exp.f64 re) im))))
(*.f64 (sin.f64 im) (exp.f64 re))
(*.f64 (sin.f64 im) (exp.f64 re))
(*.f64 (sin.f64 im) (exp.f64 re))
(*.f64 (sin.f64 im) (exp.f64 re))
(*.f64 (sin.f64 im) (exp.f64 re))
(*.f64 (sin.f64 im) (exp.f64 re))
(*.f64 (sin.f64 im) (exp.f64 re))
(*.f64 (sin.f64 im) (exp.f64 re))
(+.f64 (*.f64 (exp.f64 re) (sin.f64 im)) 0)
(+.f64 0 (*.f64 (exp.f64 re) (sin.f64 im)))
(+.f64 (.f64 (exp.f64 re) (.f64 (sin.f64 im) 1/2)) (.f64 (exp.f64 re) (.f64 (sin.f64 im) 1/2)))
(-.f64 (*.f64 (exp.f64 re) (sin.f64 im)) 0)
(/.f64 (*.f64 (exp.f64 re) (sin.f64 im)) 1)
(/.f64 (.f64 (exp.f64 re) (.f64 (sin.f64 im) 2)) 2)
(/.f64 (.f64 (exp.f64 re) (.f64 (sin.f64 im) 4)) 4)
(/.f64 (.f64 (.f64 (exp.f64 re) (sin.f64 im)) 8) 8)
(/.f64 (.f64 2 (.f64 (*.f64 (exp.f64 re) (sin.f64 im)) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 (exp.f64 re) (sin.f64 im)) 8))) 32)

Outputs
(sin.f64 im)
(+.f64 (sin.f64 im) (*.f64 (sin.f64 im) re))
(+.f64 (sin.f64 im) (+.f64 (.f64 (sin.f64 im) re) (.f64 1/2 (*.f64 (sin.f64 im) (pow.f64 re 2)))))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(+.f64 (sin.f64 im) (+.f64 (.f64 (sin.f64 im) re) (+.f64 (.f64 1/6 (.f64 (sin.f64 im) (pow.f64 re 3))) (.f64 1/2 (*.f64 (sin.f64 im) (pow.f64 re 2))))))
(+.f64 (sin.f64 im) (+.f64 (.f64 (sin.f64 im) re) (+.f64 (.f64 1/2 (.f64 (sin.f64 im) (pow.f64 re 2))) (.f64 1/6 (*.f64 (sin.f64 im) (pow.f64 re 3))))))
(+.f64 (sin.f64 im) (+.f64 (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))) (.f64 (pow.f64 re 3) (.f64 1/6 (sin.f64 im)))))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 (.f64 1/6 (pow.f64 re 3)) (+.f64 re (*.f64 1/2 (pow.f64 re 2))))))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (+.f64 (.f64 1/6 (pow.f64 re 3)) (*.f64 1/2 (pow.f64 re 2))))))
(*.f64 (sin.f64 im) (exp.f64 re))
(*.f64 (sin.f64 im) (exp.f64 re))
(*.f64 (sin.f64 im) (exp.f64 re))
(*.f64 (sin.f64 im) (exp.f64 re))
(*.f64 (sin.f64 im) (exp.f64 re))
(*.f64 (sin.f64 im) (exp.f64 re))
(*.f64 (sin.f64 im) (exp.f64 re))
(*.f64 (sin.f64 im) (exp.f64 re))
(*.f64 (exp.f64 re) im)
(*.f64 im (exp.f64 re))
(+.f64 (.f64 -1/6 (.f64 (exp.f64 re) (pow.f64 im 3))) (*.f64 (exp.f64 re) im))
(+.f64 (.f64 im (exp.f64 re)) (.f64 (exp.f64 re) (*.f64 (pow.f64 im 3) -1/6)))
(.f64 (exp.f64 re) (+.f64 im (.f64 -1/6 (pow.f64 im 3))))
(+.f64 (.f64 -1/6 (.f64 (exp.f64 re) (pow.f64 im 3))) (+.f64 (.f64 1/120 (.f64 (exp.f64 re) (pow.f64 im 5))) (*.f64 (exp.f64 re) im)))
(+.f64 (.f64 (exp.f64 re) (.f64 (pow.f64 im 3) -1/6)) (+.f64 (.f64 im (exp.f64 re)) (.f64 (exp.f64 re) (*.f64 (pow.f64 im 5) 1/120))))
(+.f64 (.f64 (exp.f64 re) (.f64 -1/6 (pow.f64 im 3))) (.f64 (exp.f64 re) (+.f64 im (.f64 1/120 (pow.f64 im 5)))))
(.f64 (exp.f64 re) (+.f64 (.f64 -1/6 (pow.f64 im 3)) (+.f64 im (*.f64 1/120 (pow.f64 im 5)))))
(.f64 (exp.f64 re) (+.f64 im (+.f64 (.f64 -1/6 (pow.f64 im 3)) (*.f64 1/120 (pow.f64 im 5)))))
(+.f64 (.f64 -1/6 (.f64 (exp.f64 re) (pow.f64 im 3))) (+.f64 (.f64 1/120 (.f64 (exp.f64 re) (pow.f64 im 5))) (+.f64 (.f64 -1/5040 (.f64 (exp.f64 re) (pow.f64 im 7))) (*.f64 (exp.f64 re) im))))
(+.f64 (.f64 (exp.f64 re) (.f64 (pow.f64 im 3) -1/6)) (+.f64 (.f64 (exp.f64 re) (.f64 (pow.f64 im 5) 1/120)) (+.f64 (.f64 im (exp.f64 re)) (.f64 (exp.f64 re) (*.f64 (pow.f64 im 7) -1/5040)))))
(+.f64 (.f64 (exp.f64 re) (.f64 -1/6 (pow.f64 im 3))) (+.f64 (.f64 (exp.f64 re) (+.f64 im (.f64 1/120 (pow.f64 im 5)))) (.f64 (exp.f64 re) (.f64 -1/5040 (pow.f64 im 7)))))
(+.f64 (.f64 (exp.f64 re) (+.f64 (.f64 -1/6 (pow.f64 im 3)) (+.f64 im (.f64 1/120 (pow.f64 im 5))))) (.f64 -1/5040 (*.f64 (exp.f64 re) (pow.f64 im 7))))
(.f64 (exp.f64 re) (+.f64 (.f64 -1/5040 (pow.f64 im 7)) (+.f64 im (+.f64 (.f64 -1/6 (pow.f64 im 3)) (.f64 1/120 (pow.f64 im 5))))))
(.f64 (exp.f64 re) (+.f64 (.f64 -1/6 (pow.f64 im 3)) (+.f64 (.f64 1/120 (pow.f64 im 5)) (+.f64 im (.f64 -1/5040 (pow.f64 im 7))))))
(*.f64 (sin.f64 im) (exp.f64 re))
(*.f64 (sin.f64 im) (exp.f64 re))
(*.f64 (sin.f64 im) (exp.f64 re))
(*.f64 (sin.f64 im) (exp.f64 re))
(*.f64 (sin.f64 im) (exp.f64 re))
(*.f64 (sin.f64 im) (exp.f64 re))
(*.f64 (sin.f64 im) (exp.f64 re))
(*.f64 (sin.f64 im) (exp.f64 re))
(+.f64 (*.f64 (exp.f64 re) (sin.f64 im)) 0)
(*.f64 (sin.f64 im) (exp.f64 re))
(+.f64 0 (*.f64 (exp.f64 re) (sin.f64 im)))
(*.f64 (sin.f64 im) (exp.f64 re))
(+.f64 (.f64 (exp.f64 re) (.f64 (sin.f64 im) 1/2)) (.f64 (exp.f64 re) (.f64 (sin.f64 im) 1/2)))
(*.f64 (sin.f64 im) (exp.f64 re))
(-.f64 (*.f64 (exp.f64 re) (sin.f64 im)) 0)
(*.f64 (sin.f64 im) (exp.f64 re))
(/.f64 (*.f64 (exp.f64 re) (sin.f64 im)) 1)
(*.f64 (sin.f64 im) (exp.f64 re))
(/.f64 (.f64 (exp.f64 re) (.f64 (sin.f64 im) 2)) 2)
(*.f64 (sin.f64 im) (exp.f64 re))
(/.f64 (.f64 (exp.f64 re) (.f64 (sin.f64 im) 4)) 4)
(*.f64 (sin.f64 im) (exp.f64 re))
(/.f64 (.f64 (.f64 (exp.f64 re) (sin.f64 im)) 8) 8)
(*.f64 (sin.f64 im) (exp.f64 re))
(/.f64 (.f64 2 (.f64 (*.f64 (exp.f64 re) (sin.f64 im)) 8)) 16)
(*.f64 (sin.f64 im) (exp.f64 re))
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 (exp.f64 re) (sin.f64 im)) 8))) 32)
(*.f64 (sin.f64 im) (exp.f64 re))

eval8.0ms (0.1%)

Compiler: Compiled 547 to 309 computations (43.5% saved)

prune7.0ms (0.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	33	3	36
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	33	4	37

Error

0.0b

Counts

37 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	21.0b	(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
✓	0.0b	(*.f64 (exp.f64 re) (sin.f64 im))
▶	22.9b	(*.f64 (exp.f64 re) im)
▶	20.7b	(sin.f64 im)

Compiler

Compiled 32 to 22 computations (31.3% saved)

localize3.0ms (0%)

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

localize4.0ms (0%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 10 to 4 computations (60% saved)

series58.0ms (0.6%)

Counts

1 → 4

Calls

6 calls:

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

rewrite95.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

1626×	`bool.json-1`
1626×	`bool.json-2`
1592×	`rational.json-1`
1592×	`rational.json-2`
1142×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	69	11
2	196	11
3	420	11
4	826	11
5	1756	11
6	3732	11
7	6693	11

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

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

Outputs

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

simplify1.3s (14%)

Algorithm

1×	egg-herbie

Rules

7730×	`rational.json-simplify-41`
3778×	`rational.json-simplify-35`
2882×	`rational.json-simplify-2`
1822×	`rational.json-simplify-53`
816×	`rational.json-simplify-1`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	51	233
1	116	233
2	231	221
3	472	215
4	1369	215
5	2621	215
6	3577	215
7	3700	215
8	3787	215
9	3872	215
10	3954	215
11	4036	215
12	4542	215
13	4767	215
14	4907	215
15	4989	215
16	5071	215
17	5071	215
18	5071	215
19	5153	215
20	5378	215
21	5661	215
22	5796	215
23	5903	215
24	5989	215
25	6071	215
26	6153	215
27	6235	215
28	6317	215
29	6399	215
30	6481	215
31	6862	215
32	6944	215
33	6944	215

Stop Event

1×	node limit

Counts

15 → 25

Calls

Call 1

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

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

localize544.0ms (5.7%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 46 to 29 computations (37% saved)

series5.0ms (0.1%)

Counts

4 → 60

Calls

18 calls:

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

rewrite109.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1880×	`bool.json-1`
1880×	`bool.json-2`
1186×	`bool.json-3`
1032×	`rational.json-1`
1032×	`rational.json-2`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	100
1	130	96
2	335	96
3	688	96
4	1479	96
5	3405	96
6	7140	96

Stop Event

1×	node limit

Counts

4 → 64

Calls

Call 1

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

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

simplify372.0ms (3.9%)

Algorithm

1×	egg-herbie

Rules

2548×	`rational.json-simplify-2`
1870×	`rational.json-simplify-35`
1686×	`rational.json-simplify-53`
948×	`rational.json-simplify-1`
864×	`rational.json-simplify-51`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	168	3944
1	380	3872
2	849	3824
3	1885	3640
4	3292	3640
5	4198	3640
6	4460	3640
7	4805	3640
8	5390	3640
9	5708	3640
10	6790	3640
11	7548	3640
12	7740	3640

Stop Event

1×	node limit

Counts

124 → 115

Calls

Call 1

Inputs
(.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) re) im)
(+.f64 (.f64 -1/6 (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) re) (pow.f64 im 3))) (.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) re) im))
(+.f64 (.f64 -1/6 (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) re) (pow.f64 im 3))) (+.f64 (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) re) im) (.f64 1/120 (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) re) (pow.f64 im 5)))))
(+.f64 (.f64 -1/6 (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) re) (pow.f64 im 3))) (+.f64 (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) re) im) (+.f64 (.f64 -1/5040 (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) re) (pow.f64 im 7))) (.f64 1/120 (.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) re) (pow.f64 im 5))))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) re))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) re))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) re))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) re))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) re))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) re))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) re))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) re))
(*.f64 (sin.f64 im) re)
(+.f64 (.f64 (sin.f64 im) re) (.f64 1/2 (*.f64 (sin.f64 im) (pow.f64 re 2))))
(+.f64 (.f64 (sin.f64 im) re) (.f64 1/2 (*.f64 (sin.f64 im) (pow.f64 re 2))))
(+.f64 (.f64 (sin.f64 im) re) (.f64 1/2 (*.f64 (sin.f64 im) (pow.f64 re 2))))
(.f64 1/2 (.f64 (sin.f64 im) (pow.f64 re 2)))
(+.f64 (.f64 (sin.f64 im) re) (.f64 1/2 (*.f64 (sin.f64 im) (pow.f64 re 2))))
(+.f64 (.f64 (sin.f64 im) re) (.f64 1/2 (*.f64 (sin.f64 im) (pow.f64 re 2))))
(+.f64 (.f64 (sin.f64 im) re) (.f64 1/2 (*.f64 (sin.f64 im) (pow.f64 re 2))))
(.f64 1/2 (.f64 (sin.f64 im) (pow.f64 re 2)))
(+.f64 (.f64 (sin.f64 im) re) (.f64 1/2 (*.f64 (sin.f64 im) (pow.f64 re 2))))
(+.f64 (.f64 (sin.f64 im) re) (.f64 1/2 (*.f64 (sin.f64 im) (pow.f64 re 2))))
(+.f64 (.f64 (sin.f64 im) re) (.f64 1/2 (*.f64 (sin.f64 im) (pow.f64 re 2))))
re
(+.f64 (*.f64 1/2 (pow.f64 re 2)) re)
(+.f64 (*.f64 1/2 (pow.f64 re 2)) re)
(+.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)
(+.f64 (*.f64 1/2 (pow.f64 re 2)) re)
(+.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)
(+.f64 (*.f64 1/2 (pow.f64 re 2)) re)
(+.f64 (*.f64 1/2 (pow.f64 re 2)) re)
(.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 1 re)) im)
(+.f64 (.f64 (-.f64 (.f64 -1/6 (+.f64 (.f64 1/2 (pow.f64 re 2)) re)) 1/6) (pow.f64 im 3)) (.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 1 re)) im))
(+.f64 (.f64 (+.f64 1/120 (.f64 1/120 (+.f64 (.f64 1/2 (pow.f64 re 2)) re))) (pow.f64 im 5)) (+.f64 (.f64 (-.f64 (.f64 -1/6 (+.f64 (.f64 1/2 (pow.f64 re 2)) re)) 1/6) (pow.f64 im 3)) (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 1 re)) im)))
(+.f64 (.f64 (+.f64 1/120 (.f64 1/120 (+.f64 (.f64 1/2 (pow.f64 re 2)) re))) (pow.f64 im 5)) (+.f64 (.f64 (-.f64 (.f64 -1/6 (+.f64 (.f64 1/2 (pow.f64 re 2)) re)) 1/6) (pow.f64 im 3)) (+.f64 (.f64 (-.f64 (.f64 -1/5040 (+.f64 (.f64 1/2 (pow.f64 re 2)) re)) 1/5040) (pow.f64 im 7)) (.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 1 re)) im))))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) re)))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) re)))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) re)))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) re)))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) re)))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) re)))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) re)))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) re)))
(sin.f64 im)
(+.f64 (sin.f64 im) (*.f64 (sin.f64 im) re))
(+.f64 (sin.f64 im) (+.f64 (.f64 (sin.f64 im) re) (.f64 1/2 (*.f64 (sin.f64 im) (pow.f64 re 2)))))
(+.f64 (sin.f64 im) (+.f64 (.f64 (sin.f64 im) re) (.f64 1/2 (*.f64 (sin.f64 im) (pow.f64 re 2)))))
(.f64 1/2 (.f64 (sin.f64 im) (pow.f64 re 2)))
(+.f64 (.f64 (sin.f64 im) re) (.f64 1/2 (*.f64 (sin.f64 im) (pow.f64 re 2))))
(+.f64 (sin.f64 im) (+.f64 (.f64 (sin.f64 im) re) (.f64 1/2 (*.f64 (sin.f64 im) (pow.f64 re 2)))))
(+.f64 (sin.f64 im) (+.f64 (.f64 (sin.f64 im) re) (.f64 1/2 (*.f64 (sin.f64 im) (pow.f64 re 2)))))
(.f64 1/2 (.f64 (sin.f64 im) (pow.f64 re 2)))
(+.f64 (.f64 (sin.f64 im) re) (.f64 1/2 (*.f64 (sin.f64 im) (pow.f64 re 2))))
(+.f64 (sin.f64 im) (+.f64 (.f64 (sin.f64 im) re) (.f64 1/2 (*.f64 (sin.f64 im) (pow.f64 re 2)))))
(+.f64 (sin.f64 im) (+.f64 (.f64 (sin.f64 im) re) (.f64 1/2 (*.f64 (sin.f64 im) (pow.f64 re 2)))))
(+.f64 (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))) 0)
(+.f64 0 (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(+.f64 (.f64 (sin.f64 im) (.f64 1/2 (+.f64 re (.f64 1/2 (pow.f64 re 2))))) (.f64 (sin.f64 im) (.f64 1/2 (+.f64 re (.f64 1/2 (pow.f64 re 2))))))
(-.f64 (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))) 0)
(/.f64 (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))) 1)
(/.f64 (*.f64 (sin.f64 im) (+.f64 re (+.f64 re (pow.f64 re 2)))) 2)
(/.f64 (.f64 (sin.f64 im) (.f64 (+.f64 re (*.f64 1/2 (pow.f64 re 2))) 4)) 4)
(/.f64 (.f64 2 (.f64 (sin.f64 im) (.f64 (+.f64 re (.f64 1/2 (pow.f64 re 2))) 4))) 8)
(/.f64 (.f64 2 (.f64 2 (.f64 (sin.f64 im) (.f64 (+.f64 re (*.f64 1/2 (pow.f64 re 2))) 4)))) 16)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (sin.f64 im) (.f64 (+.f64 re (.f64 1/2 (pow.f64 re 2))) 4)))) (.f64 2 (.f64 2 (.f64 (sin.f64 im) (.f64 (+.f64 re (.f64 1/2 (pow.f64 re 2))) 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 2 (.f64 (pow.f64 re 2) 4)) 16)
(/.f64 (.f64 2 (.f64 2 (*.f64 (pow.f64 re 2) 4))) 32)
(-.f64 (+.f64 re (*.f64 1/2 (pow.f64 re 2))) 0)
(*.f64 1/2 (+.f64 re (+.f64 re (pow.f64 re 2))))
(*.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 (+.f64 re (.f64 1/2 (pow.f64 re 2))) 1)
(.f64 1 (+.f64 re (.f64 1/2 (pow.f64 re 2))))
(*.f64 (+.f64 re (+.f64 re (pow.f64 re 2))) 1/2)
(.f64 4 (/.f64 (+.f64 re (.f64 1/2 (pow.f64 re 2))) 4))
(.f64 (.f64 (+.f64 re (*.f64 1/2 (pow.f64 re 2))) 4) 1/4)
(.f64 (.f64 1/2 (+.f64 re (*.f64 1/2 (pow.f64 re 2)))) 2)
(.f64 1/4 (.f64 (+.f64 re (*.f64 1/2 (pow.f64 re 2))) 4))
(.f64 (/.f64 (+.f64 re (.f64 1/2 (pow.f64 re 2))) 4) 4)
(*.f64 (+.f64 (pow.f64 re 2) (+.f64 re re)) 1/2)
(/.f64 (+.f64 re (*.f64 1/2 (pow.f64 re 2))) 1)
(/.f64 (+.f64 re (+.f64 re (pow.f64 re 2))) 2)
(/.f64 (.f64 (+.f64 re (.f64 1/2 (pow.f64 re 2))) 4) 4)
(/.f64 (.f64 2 (.f64 (+.f64 re (*.f64 1/2 (pow.f64 re 2))) 4)) 8)
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 re (.f64 1/2 (pow.f64 re 2))) 4))) 16)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (+.f64 re (.f64 1/2 (pow.f64 re 2))) 4))) (.f64 2 (.f64 2 (.f64 (+.f64 re (.f64 1/2 (pow.f64 re 2))) 4)))) 32)
(-.f64 (.f64 (sin.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1))) 0)
(.f64 (sin.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(.f64 1/2 (.f64 (sin.f64 im) (.f64 2 (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))))
(.f64 2 (.f64 (sin.f64 im) (/.f64 (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1)) 2)))
(.f64 (.f64 (sin.f64 im) (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))) 1)
(.f64 1 (.f64 (sin.f64 im) (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))))
(.f64 (.f64 (sin.f64 im) 2) (.f64 1/2 (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1))))
(.f64 (.f64 (sin.f64 im) 2) (/.f64 (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1)) 2))
(.f64 (.f64 (sin.f64 im) (.f64 2 (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))) 1/2)
(.f64 (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)) (sin.f64 im))
(.f64 4 (/.f64 (.f64 (sin.f64 im) (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))) 4))
(.f64 (.f64 (.f64 (sin.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1))) 4) 1/4)
(.f64 (.f64 2 (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1))) (.f64 (sin.f64 im) 1/2))
(.f64 (.f64 (sin.f64 im) 1/2) (.f64 2 (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1))))
(.f64 (.f64 (sin.f64 im) (/.f64 (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1)) 2)) 2)
(.f64 1/4 (.f64 (.f64 (sin.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1))) 4))
(.f64 (.f64 1/2 (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1))) (.f64 (sin.f64 im) 2))
(.f64 (/.f64 (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)) 2) (*.f64 (sin.f64 im) 2))
(.f64 (/.f64 (.f64 (sin.f64 im) (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))) 4) 4)
(/.f64 (.f64 (sin.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1))) 1)
(/.f64 (.f64 (sin.f64 im) (.f64 2 (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1)))) 2)
(/.f64 (.f64 (.f64 (sin.f64 im) (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))) 4) 4)
(/.f64 (.f64 2 (.f64 (.f64 (sin.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1))) 4)) 8)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 (sin.f64 im) (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))) 4))) 16)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 (sin.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1))) 4))) (.f64 2 (.f64 2 (.f64 (.f64 (sin.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1))) 4)))) 32)

Outputs
(.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) re) im)
(.f64 im (+.f64 re (.f64 1/2 (pow.f64 re 2))))
(+.f64 (.f64 -1/6 (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) re) (pow.f64 im 3))) (.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) re) im))
(+.f64 (.f64 im (+.f64 re (.f64 1/2 (pow.f64 re 2)))) (.f64 -1/6 (.f64 (pow.f64 im 3) (+.f64 re (*.f64 1/2 (pow.f64 re 2))))))
(.f64 (+.f64 re (.f64 1/2 (pow.f64 re 2))) (+.f64 im (*.f64 -1/6 (pow.f64 im 3))))
(+.f64 (.f64 -1/6 (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) re) (pow.f64 im 3))) (+.f64 (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) re) im) (.f64 1/120 (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) re) (pow.f64 im 5)))))
(+.f64 (.f64 im (+.f64 re (.f64 1/2 (pow.f64 re 2)))) (+.f64 (.f64 1/120 (.f64 (pow.f64 im 5) (+.f64 re (.f64 1/2 (pow.f64 re 2))))) (.f64 -1/6 (.f64 (pow.f64 im 3) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))))
(+.f64 (.f64 (+.f64 re (.f64 1/2 (pow.f64 re 2))) (.f64 1/120 (pow.f64 im 5))) (.f64 (+.f64 re (.f64 1/2 (pow.f64 re 2))) (+.f64 im (.f64 -1/6 (pow.f64 im 3)))))
(.f64 (+.f64 re (.f64 1/2 (pow.f64 re 2))) (+.f64 (.f64 -1/6 (pow.f64 im 3)) (+.f64 im (.f64 1/120 (pow.f64 im 5)))))
(+.f64 (.f64 -1/6 (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) re) (pow.f64 im 3))) (+.f64 (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) re) im) (+.f64 (.f64 -1/5040 (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) re) (pow.f64 im 7))) (.f64 1/120 (.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) re) (pow.f64 im 5))))))
(+.f64 (.f64 im (+.f64 re (.f64 1/2 (pow.f64 re 2)))) (+.f64 (+.f64 (.f64 1/120 (.f64 (pow.f64 im 5) (+.f64 re (.f64 1/2 (pow.f64 re 2))))) (.f64 -1/5040 (.f64 (pow.f64 im 7) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))) (.f64 -1/6 (.f64 (pow.f64 im 3) (+.f64 re (*.f64 1/2 (pow.f64 re 2)))))))
(+.f64 (.f64 (pow.f64 im 7) (.f64 -1/5040 (+.f64 re (.f64 1/2 (pow.f64 re 2))))) (+.f64 (.f64 (+.f64 re (.f64 1/2 (pow.f64 re 2))) (.f64 1/120 (pow.f64 im 5))) (.f64 (+.f64 re (.f64 1/2 (pow.f64 re 2))) (+.f64 im (*.f64 -1/6 (pow.f64 im 3))))))
(+.f64 (.f64 (+.f64 re (.f64 1/2 (pow.f64 re 2))) (+.f64 im (.f64 -1/6 (pow.f64 im 3)))) (.f64 (+.f64 re (.f64 1/2 (pow.f64 re 2))) (+.f64 (.f64 -1/5040 (pow.f64 im 7)) (*.f64 1/120 (pow.f64 im 5)))))
(.f64 (+.f64 re (.f64 1/2 (pow.f64 re 2))) (+.f64 (.f64 -1/5040 (pow.f64 im 7)) (+.f64 (.f64 -1/6 (pow.f64 im 3)) (+.f64 im (*.f64 1/120 (pow.f64 im 5))))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) re))
(.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) re))
(.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) re))
(.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) re))
(.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) re))
(.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) re))
(.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) re))
(.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) re))
(.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2))))
(*.f64 (sin.f64 im) re)
(*.f64 re (sin.f64 im))
(+.f64 (.f64 (sin.f64 im) re) (.f64 1/2 (*.f64 (sin.f64 im) (pow.f64 re 2))))
(.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2))))
(+.f64 (.f64 (sin.f64 im) re) (.f64 1/2 (*.f64 (sin.f64 im) (pow.f64 re 2))))
(.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2))))
(+.f64 (.f64 (sin.f64 im) re) (.f64 1/2 (*.f64 (sin.f64 im) (pow.f64 re 2))))
(.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2))))
(.f64 1/2 (.f64 (sin.f64 im) (pow.f64 re 2)))
(.f64 (sin.f64 im) (.f64 1/2 (pow.f64 re 2)))
(.f64 1/2 (.f64 (pow.f64 re 2) (sin.f64 im)))
(.f64 (pow.f64 re 2) (.f64 1/2 (sin.f64 im)))
(+.f64 (.f64 (sin.f64 im) re) (.f64 1/2 (*.f64 (sin.f64 im) (pow.f64 re 2))))
(.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2))))
(+.f64 (.f64 (sin.f64 im) re) (.f64 1/2 (*.f64 (sin.f64 im) (pow.f64 re 2))))
(.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2))))
(+.f64 (.f64 (sin.f64 im) re) (.f64 1/2 (*.f64 (sin.f64 im) (pow.f64 re 2))))
(.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2))))
(.f64 1/2 (.f64 (sin.f64 im) (pow.f64 re 2)))
(.f64 (sin.f64 im) (.f64 1/2 (pow.f64 re 2)))
(.f64 1/2 (.f64 (pow.f64 re 2) (sin.f64 im)))
(.f64 (pow.f64 re 2) (.f64 1/2 (sin.f64 im)))
(+.f64 (.f64 (sin.f64 im) re) (.f64 1/2 (*.f64 (sin.f64 im) (pow.f64 re 2))))
(.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2))))
(+.f64 (.f64 (sin.f64 im) re) (.f64 1/2 (*.f64 (sin.f64 im) (pow.f64 re 2))))
(.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2))))
(+.f64 (.f64 (sin.f64 im) re) (.f64 1/2 (*.f64 (sin.f64 im) (pow.f64 re 2))))
(.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2))))
re
(+.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)) re)
(+.f64 re (*.f64 1/2 (pow.f64 re 2)))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) re)
(+.f64 re (*.f64 1/2 (pow.f64 re 2)))
(*.f64 1/2 (pow.f64 re 2))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) re)
(+.f64 re (*.f64 1/2 (pow.f64 re 2)))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) re)
(+.f64 re (*.f64 1/2 (pow.f64 re 2)))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) re)
(+.f64 re (*.f64 1/2 (pow.f64 re 2)))
(*.f64 1/2 (pow.f64 re 2))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) re)
(+.f64 re (*.f64 1/2 (pow.f64 re 2)))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) re)
(+.f64 re (*.f64 1/2 (pow.f64 re 2)))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) re)
(+.f64 re (*.f64 1/2 (pow.f64 re 2)))
(.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 1 re)) im)
(.f64 im (+.f64 1 (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 im (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(+.f64 (.f64 (-.f64 (.f64 -1/6 (+.f64 (.f64 1/2 (pow.f64 re 2)) re)) 1/6) (pow.f64 im 3)) (.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 1 re)) im))
(+.f64 (.f64 im (+.f64 1 (+.f64 re (.f64 1/2 (pow.f64 re 2))))) (.f64 (pow.f64 im 3) (-.f64 (.f64 -1/6 (+.f64 re (*.f64 1/2 (pow.f64 re 2)))) 1/6)))
(+.f64 (.f64 im (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1))) (.f64 (pow.f64 im 3) (-.f64 (.f64 -1/6 (+.f64 re (*.f64 1/2 (pow.f64 re 2)))) 1/6)))
(+.f64 (.f64 (+.f64 1/120 (.f64 1/120 (+.f64 (.f64 1/2 (pow.f64 re 2)) re))) (pow.f64 im 5)) (+.f64 (.f64 (-.f64 (.f64 -1/6 (+.f64 (.f64 1/2 (pow.f64 re 2)) re)) 1/6) (pow.f64 im 3)) (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 1 re)) im)))
(+.f64 (.f64 (pow.f64 im 3) (-.f64 (.f64 -1/6 (+.f64 re (.f64 1/2 (pow.f64 re 2)))) 1/6)) (+.f64 (.f64 im (+.f64 1 (+.f64 re (.f64 1/2 (pow.f64 re 2))))) (.f64 (pow.f64 im 5) (+.f64 1/120 (.f64 1/120 (+.f64 re (.f64 1/2 (pow.f64 re 2))))))))
(+.f64 (.f64 im (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1))) (+.f64 (.f64 (pow.f64 im 5) (+.f64 1/120 (.f64 1/120 (+.f64 re (.f64 1/2 (pow.f64 re 2)))))) (.f64 (pow.f64 im 3) (-.f64 (.f64 -1/6 (+.f64 re (.f64 1/2 (pow.f64 re 2)))) 1/6))))
(+.f64 (.f64 im (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1))) (+.f64 (.f64 (pow.f64 im 3) (-.f64 (.f64 -1/6 (+.f64 re (.f64 1/2 (pow.f64 re 2)))) 1/6)) (.f64 (pow.f64 im 5) (+.f64 1/120 (.f64 1/120 (+.f64 re (.f64 1/2 (pow.f64 re 2))))))))
(+.f64 (.f64 (+.f64 1/120 (.f64 1/120 (+.f64 (.f64 1/2 (pow.f64 re 2)) re))) (pow.f64 im 5)) (+.f64 (.f64 (-.f64 (.f64 -1/6 (+.f64 (.f64 1/2 (pow.f64 re 2)) re)) 1/6) (pow.f64 im 3)) (+.f64 (.f64 (-.f64 (.f64 -1/5040 (+.f64 (.f64 1/2 (pow.f64 re 2)) re)) 1/5040) (pow.f64 im 7)) (.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 1 re)) im))))
(+.f64 (.f64 (pow.f64 im 5) (+.f64 1/120 (.f64 1/120 (+.f64 re (.f64 1/2 (pow.f64 re 2)))))) (+.f64 (.f64 (pow.f64 im 3) (-.f64 (.f64 -1/6 (+.f64 re (.f64 1/2 (pow.f64 re 2)))) 1/6)) (+.f64 (.f64 im (+.f64 1 (+.f64 re (.f64 1/2 (pow.f64 re 2))))) (.f64 (pow.f64 im 7) (-.f64 (.f64 -1/5040 (+.f64 re (*.f64 1/2 (pow.f64 re 2)))) 1/5040)))))
(+.f64 (.f64 (pow.f64 im 5) (+.f64 1/120 (.f64 1/120 (+.f64 re (.f64 1/2 (pow.f64 re 2)))))) (+.f64 (.f64 (pow.f64 im 3) (-.f64 (.f64 -1/6 (+.f64 re (.f64 1/2 (pow.f64 re 2)))) 1/6)) (+.f64 (.f64 im (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1))) (.f64 (pow.f64 im 7) (-.f64 (.f64 -1/5040 (+.f64 re (*.f64 1/2 (pow.f64 re 2)))) 1/5040)))))
(+.f64 (.f64 im (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1))) (+.f64 (+.f64 (.f64 (pow.f64 im 3) (-.f64 (.f64 -1/6 (+.f64 re (.f64 1/2 (pow.f64 re 2)))) 1/6)) (.f64 (pow.f64 im 5) (+.f64 1/120 (.f64 1/120 (+.f64 re (.f64 1/2 (pow.f64 re 2))))))) (.f64 (pow.f64 im 7) (-.f64 (.f64 -1/5040 (+.f64 re (*.f64 1/2 (pow.f64 re 2)))) 1/5040))))
(+.f64 (.f64 im (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1))) (+.f64 (.f64 (pow.f64 im 7) (-.f64 (.f64 -1/5040 (+.f64 re (.f64 1/2 (pow.f64 re 2)))) 1/5040)) (+.f64 (.f64 (pow.f64 im 3) (-.f64 (.f64 -1/6 (+.f64 re (.f64 1/2 (pow.f64 re 2)))) 1/6)) (.f64 (pow.f64 im 5) (+.f64 1/120 (.f64 1/120 (+.f64 re (*.f64 1/2 (pow.f64 re 2)))))))))
(+.f64 (.f64 im (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1))) (+.f64 (.f64 (pow.f64 im 5) (+.f64 1/120 (.f64 1/120 (+.f64 re (.f64 1/2 (pow.f64 re 2)))))) (+.f64 (.f64 (pow.f64 im 3) (-.f64 (.f64 -1/6 (+.f64 re (.f64 1/2 (pow.f64 re 2)))) 1/6)) (.f64 (pow.f64 im 7) (-.f64 (.f64 -1/5040 (+.f64 re (*.f64 1/2 (pow.f64 re 2)))) 1/5040)))))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) re)))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) re)))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) re)))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) re)))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) re)))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) re)))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) re)))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) re)))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(sin.f64 im)
(+.f64 (sin.f64 im) (*.f64 (sin.f64 im) re))
(+.f64 (sin.f64 im) (*.f64 re (sin.f64 im)))
(*.f64 (sin.f64 im) (+.f64 re 1))
(+.f64 (sin.f64 im) (+.f64 (.f64 (sin.f64 im) re) (.f64 1/2 (*.f64 (sin.f64 im) (pow.f64 re 2)))))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(+.f64 (sin.f64 im) (+.f64 (.f64 (sin.f64 im) re) (.f64 1/2 (*.f64 (sin.f64 im) (pow.f64 re 2)))))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(.f64 1/2 (.f64 (sin.f64 im) (pow.f64 re 2)))
(.f64 (sin.f64 im) (.f64 1/2 (pow.f64 re 2)))
(.f64 1/2 (.f64 (pow.f64 re 2) (sin.f64 im)))
(.f64 (pow.f64 re 2) (.f64 1/2 (sin.f64 im)))
(+.f64 (.f64 (sin.f64 im) re) (.f64 1/2 (*.f64 (sin.f64 im) (pow.f64 re 2))))
(.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2))))
(+.f64 (sin.f64 im) (+.f64 (.f64 (sin.f64 im) re) (.f64 1/2 (*.f64 (sin.f64 im) (pow.f64 re 2)))))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(+.f64 (sin.f64 im) (+.f64 (.f64 (sin.f64 im) re) (.f64 1/2 (*.f64 (sin.f64 im) (pow.f64 re 2)))))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(.f64 1/2 (.f64 (sin.f64 im) (pow.f64 re 2)))
(.f64 (sin.f64 im) (.f64 1/2 (pow.f64 re 2)))
(.f64 1/2 (.f64 (pow.f64 re 2) (sin.f64 im)))
(.f64 (pow.f64 re 2) (.f64 1/2 (sin.f64 im)))
(+.f64 (.f64 (sin.f64 im) re) (.f64 1/2 (*.f64 (sin.f64 im) (pow.f64 re 2))))
(.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2))))
(+.f64 (sin.f64 im) (+.f64 (.f64 (sin.f64 im) re) (.f64 1/2 (*.f64 (sin.f64 im) (pow.f64 re 2)))))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(+.f64 (sin.f64 im) (+.f64 (.f64 (sin.f64 im) re) (.f64 1/2 (*.f64 (sin.f64 im) (pow.f64 re 2)))))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(+.f64 (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))) 0)
(.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2))))
(+.f64 0 (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2))))
(+.f64 (.f64 (sin.f64 im) (.f64 1/2 (+.f64 re (.f64 1/2 (pow.f64 re 2))))) (.f64 (sin.f64 im) (.f64 1/2 (+.f64 re (.f64 1/2 (pow.f64 re 2))))))
(.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2))))
(-.f64 (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))) 0)
(.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2))))
(/.f64 (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))) 1)
(.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2))))
(/.f64 (*.f64 (sin.f64 im) (+.f64 re (+.f64 re (pow.f64 re 2)))) 2)
(.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2))))
(/.f64 (.f64 (sin.f64 im) (.f64 (+.f64 re (*.f64 1/2 (pow.f64 re 2))) 4)) 4)
(.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2))))
(/.f64 (.f64 2 (.f64 (sin.f64 im) (.f64 (+.f64 re (.f64 1/2 (pow.f64 re 2))) 4))) 8)
(.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2))))
(/.f64 (.f64 2 (.f64 2 (.f64 (sin.f64 im) (.f64 (+.f64 re (*.f64 1/2 (pow.f64 re 2))) 4)))) 16)
(.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2))))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (sin.f64 im) (.f64 (+.f64 re (.f64 1/2 (pow.f64 re 2))) 4)))) (.f64 2 (.f64 2 (.f64 (sin.f64 im) (.f64 (+.f64 re (.f64 1/2 (pow.f64 re 2))) 4))))) 32)
(.f64 (sin.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 2 (.f64 (pow.f64 re 2) 4)) 16)
(*.f64 1/2 (pow.f64 re 2))
(/.f64 (.f64 2 (.f64 2 (*.f64 (pow.f64 re 2) 4))) 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 re (+.f64 re (pow.f64 re 2))))
(+.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 (+.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 re (+.f64 re (pow.f64 re 2))) 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 (+.f64 re (*.f64 1/2 (pow.f64 re 2))) 4) 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 (+.f64 re (*.f64 1/2 (pow.f64 re 2))) 4))
(+.f64 re (*.f64 1/2 (pow.f64 re 2)))
(.f64 (/.f64 (+.f64 re (.f64 1/2 (pow.f64 re 2))) 4) 4)
(+.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 (+.f64 re (*.f64 1/2 (pow.f64 re 2))) 1)
(+.f64 re (*.f64 1/2 (pow.f64 re 2)))
(/.f64 (+.f64 re (+.f64 re (pow.f64 re 2))) 2)
(+.f64 re (*.f64 1/2 (pow.f64 re 2)))
(/.f64 (.f64 (+.f64 re (.f64 1/2 (pow.f64 re 2))) 4) 4)
(+.f64 re (*.f64 1/2 (pow.f64 re 2)))
(/.f64 (.f64 2 (.f64 (+.f64 re (*.f64 1/2 (pow.f64 re 2))) 4)) 8)
(+.f64 re (*.f64 1/2 (pow.f64 re 2)))
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 re (.f64 1/2 (pow.f64 re 2))) 4))) 16)
(+.f64 re (*.f64 1/2 (pow.f64 re 2)))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (+.f64 re (.f64 1/2 (pow.f64 re 2))) 4))) (.f64 2 (.f64 2 (.f64 (+.f64 re (.f64 1/2 (pow.f64 re 2))) 4)))) 32)
(+.f64 re (*.f64 1/2 (pow.f64 re 2)))
(-.f64 (.f64 (sin.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1))) 0)
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(.f64 (sin.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(.f64 1/2 (.f64 (sin.f64 im) (.f64 2 (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(.f64 2 (.f64 (sin.f64 im) (/.f64 (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1)) 2)))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(.f64 (.f64 (sin.f64 im) (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))) 1)
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(.f64 1 (.f64 (sin.f64 im) (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(.f64 (.f64 (sin.f64 im) 2) (.f64 1/2 (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1))))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(.f64 (.f64 (sin.f64 im) 2) (/.f64 (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1)) 2))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(.f64 (.f64 (sin.f64 im) (.f64 2 (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)))) 1/2)
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(.f64 (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)) (sin.f64 im))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(.f64 4 (/.f64 (.f64 (sin.f64 im) (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))) 4))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(.f64 (.f64 (.f64 (sin.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1))) 4) 1/4)
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(.f64 (.f64 2 (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1))) (.f64 (sin.f64 im) 1/2))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(.f64 (.f64 (sin.f64 im) 1/2) (.f64 2 (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1))))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(.f64 (.f64 (sin.f64 im) (/.f64 (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1)) 2)) 2)
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(.f64 1/4 (.f64 (.f64 (sin.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1))) 4))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(.f64 (.f64 1/2 (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1))) (.f64 (sin.f64 im) 2))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(.f64 (/.f64 (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1)) 2) (*.f64 (sin.f64 im) 2))
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(.f64 (/.f64 (.f64 (sin.f64 im) (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))) 4) 4)
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(/.f64 (.f64 (sin.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1))) 1)
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(/.f64 (.f64 (sin.f64 im) (.f64 2 (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1)))) 2)
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(/.f64 (.f64 (.f64 (sin.f64 im) (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))) 4) 4)
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(/.f64 (.f64 2 (.f64 (.f64 (sin.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1))) 4)) 8)
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 (sin.f64 im) (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) 1))) 4))) 16)
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 (sin.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1))) 4))) (.f64 2 (.f64 2 (.f64 (.f64 (sin.f64 im) (+.f64 re (+.f64 (.f64 1/2 (pow.f64 re 2)) 1))) 4)))) 32)
(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
(.f64 (sin.f64 im) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re 1)))

eval528.0ms (5.5%)

Compiler: Compiled 2699 to 1848 computations (31.5% saved)

prune346.0ms (3.6%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	137	3	140
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	137	7	144

Error

0.0b

Counts

144 → 7

Alt Table

Click to see full alt table

Status	Error	Program
▶	43.8b	(+.f64 (*.f64 re im) im)
✓	21.0b	(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
▶	20.8b	(*.f64 (sin.f64 im) (+.f64 re 1))
✓	0.0b	(*.f64 (exp.f64 re) (sin.f64 im))
✓	22.9b	(*.f64 (exp.f64 re) im)
✓	20.7b	(sin.f64 im)
	43.5b	im

Compiler

Compiled 50 to 34 computations (32% saved)

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 (sin.f64 im) (+.f64 re 1))

Compiler

Compiled 16 to 9 computations (43.8% saved)

series1.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite81.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1608×	`bool.json-1`
1608×	`bool.json-2`
1564×	`rational.json-1`
1564×	`rational.json-2`
1068×	`bool.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	17
1	97	17
2	282	17
3	583	17
4	1204	17
5	2699	17
6	6015	17

Stop Event

1×	node limit

Counts

1 → 10

Calls

Call 1

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

Outputs

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

simplify273.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

2054×	`rational.json-simplify-2`
1920×	`rational.json-simplify-1`
1772×	`rational.json-simplify-35`
1240×	`rational.json-simplify-48`
744×	`rational.json-simplify-53`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	61	754
1	142	718
2	267	694
3	508	682
4	1641	682
5	2961	682
6	3796	682
7	4237	682
8	4878	682
9	5894	682
10	6402	682
11	6642	682
12	7044	682
13	7376	682

Stop Event

1×	node limit

Counts

34 → 32

Calls

Call 1

Inputs
(*.f64 (+.f64 1 re) im)
(+.f64 (.f64 -1/6 (.f64 (+.f64 1 re) (pow.f64 im 3))) (*.f64 (+.f64 1 re) im))
(+.f64 (.f64 1/120 (.f64 (+.f64 1 re) (pow.f64 im 5))) (+.f64 (.f64 -1/6 (.f64 (+.f64 1 re) (pow.f64 im 3))) (*.f64 (+.f64 1 re) im)))
(+.f64 (.f64 1/120 (.f64 (+.f64 1 re) (pow.f64 im 5))) (+.f64 (.f64 -1/6 (.f64 (+.f64 1 re) (pow.f64 im 3))) (+.f64 (.f64 (+.f64 1 re) im) (.f64 -1/5040 (*.f64 (+.f64 1 re) (pow.f64 im 7))))))
(*.f64 (sin.f64 im) (+.f64 1 re))
(*.f64 (sin.f64 im) (+.f64 1 re))
(*.f64 (sin.f64 im) (+.f64 1 re))
(*.f64 (sin.f64 im) (+.f64 1 re))
(*.f64 (sin.f64 im) (+.f64 1 re))
(*.f64 (sin.f64 im) (+.f64 1 re))
(*.f64 (sin.f64 im) (+.f64 1 re))
(*.f64 (sin.f64 im) (+.f64 1 re))
(sin.f64 im)
(+.f64 (sin.f64 im) (*.f64 (sin.f64 im) re))
(+.f64 (sin.f64 im) (*.f64 (sin.f64 im) re))
(+.f64 (sin.f64 im) (*.f64 (sin.f64 im) re))
(*.f64 (sin.f64 im) re)
(+.f64 (sin.f64 im) (*.f64 (sin.f64 im) re))
(+.f64 (sin.f64 im) (*.f64 (sin.f64 im) re))
(+.f64 (sin.f64 im) (*.f64 (sin.f64 im) re))
(*.f64 (sin.f64 im) re)
(+.f64 (sin.f64 im) (*.f64 (sin.f64 im) re))
(+.f64 (sin.f64 im) (*.f64 (sin.f64 im) re))
(+.f64 (sin.f64 im) (*.f64 (sin.f64 im) re))
(+.f64 (*.f64 (sin.f64 im) (+.f64 re 1)) 0)
(+.f64 0 (*.f64 (sin.f64 im) (+.f64 re 1)))
(+.f64 (.f64 (sin.f64 im) (.f64 (+.f64 re 1) 1/2)) (.f64 (sin.f64 im) (.f64 (+.f64 re 1) 1/2)))
(-.f64 (*.f64 (sin.f64 im) (+.f64 re 1)) 0)
(/.f64 (*.f64 (sin.f64 im) (+.f64 re 1)) 1)
(/.f64 (*.f64 (sin.f64 im) (+.f64 re (+.f64 re 2))) 2)
(/.f64 (.f64 (sin.f64 im) (.f64 (+.f64 re 1) 4)) 4)
(/.f64 (.f64 (.f64 (sin.f64 im) (+.f64 re 1)) 8) 8)
(/.f64 (.f64 2 (.f64 (*.f64 (sin.f64 im) (+.f64 re 1)) 8)) 16)
(/.f64 (+.f64 (.f64 2 (.f64 (.f64 (sin.f64 im) (+.f64 re 1)) 8)) (.f64 2 (.f64 (.f64 (sin.f64 im) (+.f64 re 1)) 8))) 32)

Outputs
(*.f64 (+.f64 1 re) im)
(+.f64 (.f64 -1/6 (.f64 (+.f64 1 re) (pow.f64 im 3))) (*.f64 (+.f64 1 re) im))
(+.f64 (.f64 (+.f64 1 re) im) (.f64 (+.f64 1 re) (*.f64 (pow.f64 im 3) -1/6)))
(.f64 (+.f64 1 re) (+.f64 im (.f64 -1/6 (pow.f64 im 3))))
(+.f64 (.f64 1/120 (.f64 (+.f64 1 re) (pow.f64 im 5))) (+.f64 (.f64 -1/6 (.f64 (+.f64 1 re) (pow.f64 im 3))) (*.f64 (+.f64 1 re) im)))
(+.f64 (.f64 (+.f64 1 re) (.f64 (pow.f64 im 3) -1/6)) (+.f64 (.f64 (+.f64 1 re) im) (.f64 1/120 (*.f64 (+.f64 1 re) (pow.f64 im 5)))))
(+.f64 (.f64 (+.f64 1 re) (+.f64 im (.f64 -1/6 (pow.f64 im 3)))) (.f64 (pow.f64 im 5) (.f64 (+.f64 1 re) 1/120)))
(.f64 (+.f64 1 re) (+.f64 (.f64 1/120 (pow.f64 im 5)) (+.f64 im (*.f64 -1/6 (pow.f64 im 3)))))
(+.f64 (.f64 1/120 (.f64 (+.f64 1 re) (pow.f64 im 5))) (+.f64 (.f64 -1/6 (.f64 (+.f64 1 re) (pow.f64 im 3))) (+.f64 (.f64 (+.f64 1 re) im) (.f64 -1/5040 (*.f64 (+.f64 1 re) (pow.f64 im 7))))))
(+.f64 (.f64 1/120 (.f64 (+.f64 1 re) (pow.f64 im 5))) (+.f64 (.f64 (+.f64 1 re) (.f64 (pow.f64 im 3) -1/6)) (+.f64 (.f64 (+.f64 1 re) im) (.f64 -1/5040 (*.f64 (+.f64 1 re) (pow.f64 im 7))))))
(+.f64 (.f64 (pow.f64 im 5) (.f64 (+.f64 1 re) 1/120)) (+.f64 (.f64 (+.f64 1 re) (.f64 -1/5040 (pow.f64 im 7))) (.f64 (+.f64 1 re) (+.f64 im (.f64 -1/6 (pow.f64 im 3))))))
(+.f64 (.f64 (+.f64 1 re) (.f64 -1/6 (pow.f64 im 3))) (.f64 (+.f64 1 re) (+.f64 (.f64 1/120 (pow.f64 im 5)) (+.f64 im (*.f64 -1/5040 (pow.f64 im 7))))))
(.f64 (+.f64 1 re) (+.f64 (.f64 1/120 (pow.f64 im 5)) (+.f64 im (+.f64 (.f64 -1/5040 (pow.f64 im 7)) (.f64 -1/6 (pow.f64 im 3))))))
(.f64 (+.f64 1 re) (+.f64 (.f64 -1/5040 (pow.f64 im 7)) (+.f64 (.f64 1/120 (pow.f64 im 5)) (+.f64 im (.f64 -1/6 (pow.f64 im 3))))))
(.f64 (+.f64 1 re) (+.f64 im (+.f64 (.f64 -1/5040 (pow.f64 im 7)) (+.f64 (.f64 1/120 (pow.f64 im 5)) (.f64 -1/6 (pow.f64 im 3))))))
(*.f64 (sin.f64 im) (+.f64 1 re))
(*.f64 (+.f64 1 re) (sin.f64 im))
(*.f64 (sin.f64 im) (+.f64 1 re))
(*.f64 (+.f64 1 re) (sin.f64 im))
(*.f64 (sin.f64 im) (+.f64 1 re))
(*.f64 (+.f64 1 re) (sin.f64 im))
(*.f64 (sin.f64 im) (+.f64 1 re))
(*.f64 (+.f64 1 re) (sin.f64 im))
(*.f64 (sin.f64 im) (+.f64 1 re))
(*.f64 (+.f64 1 re) (sin.f64 im))
(*.f64 (sin.f64 im) (+.f64 1 re))
(*.f64 (+.f64 1 re) (sin.f64 im))
(*.f64 (sin.f64 im) (+.f64 1 re))
(*.f64 (+.f64 1 re) (sin.f64 im))
(*.f64 (sin.f64 im) (+.f64 1 re))
(*.f64 (+.f64 1 re) (sin.f64 im))
(sin.f64 im)
(+.f64 (sin.f64 im) (*.f64 (sin.f64 im) re))
(+.f64 (sin.f64 im) (*.f64 re (sin.f64 im)))
(+.f64 (sin.f64 im) (*.f64 (sin.f64 im) re))
(+.f64 (sin.f64 im) (*.f64 re (sin.f64 im)))
(+.f64 (sin.f64 im) (*.f64 (sin.f64 im) re))
(+.f64 (sin.f64 im) (*.f64 re (sin.f64 im)))
(*.f64 (sin.f64 im) re)
(*.f64 re (sin.f64 im))
(+.f64 (sin.f64 im) (*.f64 (sin.f64 im) re))
(+.f64 (sin.f64 im) (*.f64 re (sin.f64 im)))
(+.f64 (sin.f64 im) (*.f64 (sin.f64 im) re))
(+.f64 (sin.f64 im) (*.f64 re (sin.f64 im)))
(+.f64 (sin.f64 im) (*.f64 (sin.f64 im) re))
(+.f64 (sin.f64 im) (*.f64 re (sin.f64 im)))
(*.f64 (sin.f64 im) re)
(*.f64 re (sin.f64 im))
(+.f64 (sin.f64 im) (*.f64 (sin.f64 im) re))
(+.f64 (sin.f64 im) (*.f64 re (sin.f64 im)))
(+.f64 (sin.f64 im) (*.f64 (sin.f64 im) re))
(+.f64 (sin.f64 im) (*.f64 re (sin.f64 im)))
(+.f64 (sin.f64 im) (*.f64 (sin.f64 im) re))
(+.f64 (sin.f64 im) (*.f64 re (sin.f64 im)))
(+.f64 (*.f64 (sin.f64 im) (+.f64 re 1)) 0)
(*.f64 (+.f64 1 re) (sin.f64 im))
(+.f64 0 (*.f64 (sin.f64 im) (+.f64 re 1)))
(*.f64 (+.f64 1 re) (sin.f64 im))
(+.f64 (.f64 (sin.f64 im) (.f64 (+.f64 re 1) 1/2)) (.f64 (sin.f64 im) (.f64 (+.f64 re 1) 1/2)))
(*.f64 (+.f64 1 re) (sin.f64 im))
(-.f64 (*.f64 (sin.f64 im) (+.f64 re 1)) 0)
(*.f64 (+.f64 1 re) (sin.f64 im))
(/.f64 (*.f64 (sin.f64 im) (+.f64 re 1)) 1)
(*.f64 (+.f64 1 re) (sin.f64 im))
(/.f64 (*.f64 (sin.f64 im) (+.f64 re (+.f64 re 2))) 2)
(*.f64 (+.f64 1 re) (sin.f64 im))
(/.f64 (.f64 (sin.f64 im) (.f64 (+.f64 re 1) 4)) 4)
(*.f64 (+.f64 1 re) (sin.f64 im))
(/.f64 (.f64 (.f64 (sin.f64 im) (+.f64 re 1)) 8) 8)
(*.f64 (+.f64 1 re) (sin.f64 im))
(/.f64 (.f64 2 (.f64 (*.f64 (sin.f64 im) (+.f64 re 1)) 8)) 16)
(*.f64 (+.f64 1 re) (sin.f64 im))
(/.f64 (+.f64 (.f64 2 (.f64 (.f64 (sin.f64 im) (+.f64 re 1)) 8)) (.f64 2 (.f64 (.f64 (sin.f64 im) (+.f64 re 1)) 8))) 32)
(*.f64 (+.f64 1 re) (sin.f64 im))

localize4.0ms (0%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 12 to 4 computations (66.7% saved)

series2.0ms (0%)

Counts

1 → 21

Calls

6 calls:

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

rewrite97.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

1810×	`bool.json-1`
1810×	`bool.json-2`
1776×	`rational.json-1`
1144×	`bool.json-3`
1100×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	61	13
2	179	13
3	399	13
4	838	13
5	1850	13
6	3968	13
7	6886	13

Stop Event

1×	node limit

Counts

1 → 31

Calls

Call 1

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

Outputs

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

simplify616.0ms (6.5%)

Algorithm

1×	egg-herbie

Rules

2032×	`rational.json-simplify-2`
1934×	`rational.json-simplify-1`
1474×	`rational.json-simplify-35`
1286×	`rational.json-simplify-41`
1134×	`rational.json-simplify-53`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	79	652
1	166	652
2	355	652
3	855	652
4	1724	652
5	3603	652
6	3865	652
7	4078	652
8	4298	652
9	4571	652
10	5036	652
11	6401	652
12	6754	652
13	7092	652
14	7421	652
15	7765	652

Stop Event

1×	node limit

Counts

52 → 39

Calls

Call 1

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

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

eval15.0ms (0.2%)

Compiler: Compiled 808 to 518 computations (35.9% saved)

prune13.0ms (0.1%)

Pruning

9 alts after pruning (3 fresh and 6 done)

	Pruned	Kept	Total
New	69	2	71
Fresh	0	1	1
Picked	0	1	1
Done	0	5	5
Total	69	9	78

Error

0.0b

Counts

78 → 9

Alt Table

Click to see full alt table

Status	Error	Program
▶	20.8b	(/.f64 (*.f64 (sin.f64 im) (+.f64 re (+.f64 re 2))) 2)
✓	43.8b	(+.f64 (*.f64 re im) im)
✓	21.0b	(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
✓	20.8b	(*.f64 (sin.f64 im) (+.f64 re 1))
✓	0.0b	(*.f64 (exp.f64 re) (sin.f64 im))
✓	22.9b	(*.f64 (exp.f64 re) im)
▶	61.2b	(*.f64 re im)
✓	20.7b	(sin.f64 im)
	43.5b	im

Compiler

Compiled 67 to 46 computations (31.3% saved)

localize3.0ms (0%)

Compiler: Compiled 7 to 3 computations (57.1% saved)

localize14.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 33 to 19 computations (42.4% saved)

series3.0ms (0%)

Counts

2 → 36

Calls

9 calls:

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

rewrite84.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1762×	`bool.json-1`
1762×	`bool.json-2`
1724×	`rational.json-1`
1166×	`bool.json-3`
878×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	36
1	102	36
2	280	36
3	574	36
4	1247	36
5	2904	36
6	6546	36

Stop Event

1×	node limit

Counts

2 → 29

Calls

Call 1

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

Outputs

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

simplify310.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

2714×	`rational.json-simplify-2`
1930×	`rational.json-simplify-35`
1284×	`rational.json-simplify-53`
932×	`rational.json-simplify-1`
910×	`rational.json-simplify-48`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	95	1385
1	201	1331
2	450	1295
3	1394	1277
4	2826	1277
5	3550	1277
6	3754	1277
7	3951	1277
8	4405	1277
9	5283	1277
10	6473	1277
11	7423	1277
12	7816	1277

Stop Event

1×	node limit

Counts

65 → 68

Calls

Call 1

Inputs
(.f64 (+.f64 2 (.f64 2 re)) im)
(+.f64 (.f64 -1/6 (.f64 (+.f64 2 (.f64 2 re)) (pow.f64 im 3))) (.f64 (+.f64 2 (*.f64 2 re)) im))
(+.f64 (.f64 1/120 (.f64 (+.f64 2 (.f64 2 re)) (pow.f64 im 5))) (+.f64 (.f64 -1/6 (.f64 (+.f64 2 (.f64 2 re)) (pow.f64 im 3))) (.f64 (+.f64 2 (.f64 2 re)) im)))
(+.f64 (.f64 1/120 (.f64 (+.f64 2 (.f64 2 re)) (pow.f64 im 5))) (+.f64 (.f64 -1/6 (.f64 (+.f64 2 (.f64 2 re)) (pow.f64 im 3))) (+.f64 (.f64 (+.f64 2 (.f64 2 re)) im) (.f64 -1/5040 (.f64 (+.f64 2 (*.f64 2 re)) (pow.f64 im 7))))))
(.f64 (+.f64 2 (.f64 2 re)) (sin.f64 im))
(.f64 (+.f64 2 (.f64 2 re)) (sin.f64 im))
(.f64 (+.f64 2 (.f64 2 re)) (sin.f64 im))
(.f64 (+.f64 2 (.f64 2 re)) (sin.f64 im))
(.f64 (sin.f64 im) (+.f64 2 (.f64 2 re)))
(.f64 (sin.f64 im) (+.f64 2 (.f64 2 re)))
(.f64 (sin.f64 im) (+.f64 2 (.f64 2 re)))
(.f64 (sin.f64 im) (+.f64 2 (.f64 2 re)))
(*.f64 2 (sin.f64 im))
(+.f64 (.f64 2 (sin.f64 im)) (.f64 2 (*.f64 (sin.f64 im) re)))
(+.f64 (.f64 2 (sin.f64 im)) (.f64 2 (*.f64 (sin.f64 im) re)))
(+.f64 (.f64 2 (sin.f64 im)) (.f64 2 (*.f64 (sin.f64 im) re)))
(.f64 2 (.f64 (sin.f64 im) re))
(+.f64 (.f64 2 (sin.f64 im)) (.f64 2 (*.f64 (sin.f64 im) re)))
(+.f64 (.f64 2 (sin.f64 im)) (.f64 2 (*.f64 (sin.f64 im) re)))
(+.f64 (.f64 2 (sin.f64 im)) (.f64 2 (*.f64 (sin.f64 im) re)))
(.f64 2 (.f64 (sin.f64 im) re))
(+.f64 (.f64 2 (sin.f64 im)) (.f64 2 (*.f64 (sin.f64 im) re)))
(+.f64 (.f64 2 (sin.f64 im)) (.f64 2 (*.f64 (sin.f64 im) re)))
(+.f64 (.f64 2 (sin.f64 im)) (.f64 2 (*.f64 (sin.f64 im) re)))
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 (sin.f64 im) (+.f64 re (+.f64 re 2))) 0)
(+.f64 0 (*.f64 (sin.f64 im) (+.f64 re (+.f64 re 2))))
(+.f64 (.f64 (sin.f64 im) (.f64 (+.f64 re (+.f64 re 2)) 1/2)) (.f64 (sin.f64 im) (.f64 (+.f64 re (+.f64 re 2)) 1/2)))
(-.f64 (*.f64 (sin.f64 im) (+.f64 re (+.f64 re 2))) 0)
(/.f64 (*.f64 (sin.f64 im) (+.f64 re (+.f64 re 2))) 1)
(/.f64 (.f64 (sin.f64 im) (+.f64 (+.f64 re 4) (.f64 re 3))) 2)
(/.f64 (.f64 (sin.f64 im) (.f64 (+.f64 re (+.f64 re 2)) 4)) 4)
(/.f64 (.f64 (.f64 (sin.f64 im) (+.f64 re (+.f64 re 2))) 8) 8)
(/.f64 (.f64 2 (.f64 (*.f64 (sin.f64 im) (+.f64 re (+.f64 re 2))) 8)) 16)
(/.f64 (+.f64 (.f64 2 (.f64 (.f64 (sin.f64 im) (+.f64 re (+.f64 re 2))) 8)) (.f64 2 (.f64 (.f64 (sin.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 (+.f64 2 (.f64 2 re)) im)
(+.f64 (.f64 -1/6 (.f64 (+.f64 2 (.f64 2 re)) (pow.f64 im 3))) (.f64 (+.f64 2 (*.f64 2 re)) im))
(+.f64 (.f64 (+.f64 2 (.f64 2 re)) im) (.f64 -1/6 (.f64 (+.f64 2 (*.f64 2 re)) (pow.f64 im 3))))
(.f64 (+.f64 2 (.f64 2 re)) (+.f64 im (*.f64 -1/6 (pow.f64 im 3))))
(+.f64 (.f64 1/120 (.f64 (+.f64 2 (.f64 2 re)) (pow.f64 im 5))) (+.f64 (.f64 -1/6 (.f64 (+.f64 2 (.f64 2 re)) (pow.f64 im 3))) (.f64 (+.f64 2 (.f64 2 re)) im)))
(+.f64 (.f64 -1/6 (.f64 (+.f64 2 (.f64 2 re)) (pow.f64 im 3))) (+.f64 (.f64 (+.f64 2 (.f64 2 re)) im) (.f64 (+.f64 2 (.f64 2 re)) (.f64 (pow.f64 im 5) 1/120))))
(+.f64 (.f64 (+.f64 2 (.f64 2 re)) (+.f64 im (.f64 -1/6 (pow.f64 im 3)))) (.f64 (+.f64 2 (.f64 2 re)) (.f64 1/120 (pow.f64 im 5))))
(.f64 (+.f64 2 (.f64 2 re)) (+.f64 (.f64 1/120 (pow.f64 im 5)) (+.f64 im (.f64 -1/6 (pow.f64 im 3)))))
(.f64 (+.f64 2 (.f64 2 re)) (+.f64 im (+.f64 (.f64 1/120 (pow.f64 im 5)) (.f64 -1/6 (pow.f64 im 3)))))
(+.f64 (.f64 1/120 (.f64 (+.f64 2 (.f64 2 re)) (pow.f64 im 5))) (+.f64 (.f64 -1/6 (.f64 (+.f64 2 (.f64 2 re)) (pow.f64 im 3))) (+.f64 (.f64 (+.f64 2 (.f64 2 re)) im) (.f64 -1/5040 (.f64 (+.f64 2 (*.f64 2 re)) (pow.f64 im 7))))))
(+.f64 (.f64 -1/6 (.f64 (+.f64 2 (.f64 2 re)) (pow.f64 im 3))) (+.f64 (+.f64 (.f64 (+.f64 2 (.f64 2 re)) im) (.f64 -1/5040 (.f64 (+.f64 2 (.f64 2 re)) (pow.f64 im 7)))) (.f64 (+.f64 2 (.f64 2 re)) (*.f64 (pow.f64 im 5) 1/120))))
(+.f64 (.f64 (+.f64 2 (.f64 2 re)) (.f64 -1/6 (pow.f64 im 3))) (+.f64 (.f64 (+.f64 2 (.f64 2 re)) (.f64 1/120 (pow.f64 im 5))) (.f64 (+.f64 2 (.f64 2 re)) (+.f64 im (*.f64 -1/5040 (pow.f64 im 7))))))
(+.f64 (.f64 -1/5040 (.f64 (+.f64 2 (.f64 2 re)) (pow.f64 im 7))) (.f64 (+.f64 2 (.f64 2 re)) (+.f64 (.f64 1/120 (pow.f64 im 5)) (+.f64 im (*.f64 -1/6 (pow.f64 im 3))))))
(.f64 (+.f64 2 (.f64 2 re)) (+.f64 (.f64 -1/6 (pow.f64 im 3)) (+.f64 (.f64 -1/5040 (pow.f64 im 7)) (+.f64 im (*.f64 1/120 (pow.f64 im 5))))))
(.f64 (+.f64 2 (.f64 2 re)) (+.f64 (.f64 1/120 (pow.f64 im 5)) (+.f64 im (+.f64 (.f64 -1/5040 (pow.f64 im 7)) (*.f64 -1/6 (pow.f64 im 3))))))
(.f64 (+.f64 2 (.f64 2 re)) (sin.f64 im))
(.f64 2 (.f64 (sin.f64 im) (+.f64 re 1)))
(.f64 (+.f64 2 (.f64 2 re)) (sin.f64 im))
(.f64 2 (.f64 (sin.f64 im) (+.f64 re 1)))
(.f64 (+.f64 2 (.f64 2 re)) (sin.f64 im))
(.f64 2 (.f64 (sin.f64 im) (+.f64 re 1)))
(.f64 (+.f64 2 (.f64 2 re)) (sin.f64 im))
(.f64 2 (.f64 (sin.f64 im) (+.f64 re 1)))
(.f64 (sin.f64 im) (+.f64 2 (.f64 2 re)))
(.f64 (+.f64 2 (.f64 2 re)) (sin.f64 im))
(.f64 2 (.f64 (sin.f64 im) (+.f64 re 1)))
(.f64 (sin.f64 im) (+.f64 2 (.f64 2 re)))
(.f64 (+.f64 2 (.f64 2 re)) (sin.f64 im))
(.f64 2 (.f64 (sin.f64 im) (+.f64 re 1)))
(.f64 (sin.f64 im) (+.f64 2 (.f64 2 re)))
(.f64 (+.f64 2 (.f64 2 re)) (sin.f64 im))
(.f64 2 (.f64 (sin.f64 im) (+.f64 re 1)))
(.f64 (sin.f64 im) (+.f64 2 (.f64 2 re)))
(.f64 (+.f64 2 (.f64 2 re)) (sin.f64 im))
(.f64 2 (.f64 (sin.f64 im) (+.f64 re 1)))
(*.f64 2 (sin.f64 im))
(+.f64 (.f64 2 (sin.f64 im)) (.f64 2 (*.f64 (sin.f64 im) re)))
(.f64 (+.f64 2 (.f64 2 re)) (sin.f64 im))
(.f64 2 (.f64 (sin.f64 im) (+.f64 re 1)))
(+.f64 (.f64 2 (sin.f64 im)) (.f64 2 (*.f64 (sin.f64 im) re)))
(.f64 (+.f64 2 (.f64 2 re)) (sin.f64 im))
(.f64 2 (.f64 (sin.f64 im) (+.f64 re 1)))
(+.f64 (.f64 2 (sin.f64 im)) (.f64 2 (*.f64 (sin.f64 im) re)))
(.f64 (+.f64 2 (.f64 2 re)) (sin.f64 im))
(.f64 2 (.f64 (sin.f64 im) (+.f64 re 1)))
(.f64 2 (.f64 (sin.f64 im) re))
(.f64 2 (.f64 re (sin.f64 im)))
(.f64 (.f64 2 re) (sin.f64 im))
(+.f64 (.f64 2 (sin.f64 im)) (.f64 2 (*.f64 (sin.f64 im) re)))
(.f64 (+.f64 2 (.f64 2 re)) (sin.f64 im))
(.f64 2 (.f64 (sin.f64 im) (+.f64 re 1)))
(+.f64 (.f64 2 (sin.f64 im)) (.f64 2 (*.f64 (sin.f64 im) re)))
(.f64 (+.f64 2 (.f64 2 re)) (sin.f64 im))
(.f64 2 (.f64 (sin.f64 im) (+.f64 re 1)))
(+.f64 (.f64 2 (sin.f64 im)) (.f64 2 (*.f64 (sin.f64 im) re)))
(.f64 (+.f64 2 (.f64 2 re)) (sin.f64 im))
(.f64 2 (.f64 (sin.f64 im) (+.f64 re 1)))
(.f64 2 (.f64 (sin.f64 im) re))
(.f64 2 (.f64 re (sin.f64 im)))
(.f64 (.f64 2 re) (sin.f64 im))
(+.f64 (.f64 2 (sin.f64 im)) (.f64 2 (*.f64 (sin.f64 im) re)))
(.f64 (+.f64 2 (.f64 2 re)) (sin.f64 im))
(.f64 2 (.f64 (sin.f64 im) (+.f64 re 1)))
(+.f64 (.f64 2 (sin.f64 im)) (.f64 2 (*.f64 (sin.f64 im) re)))
(.f64 (+.f64 2 (.f64 2 re)) (sin.f64 im))
(.f64 2 (.f64 (sin.f64 im) (+.f64 re 1)))
(+.f64 (.f64 2 (sin.f64 im)) (.f64 2 (*.f64 (sin.f64 im) re)))
(.f64 (+.f64 2 (.f64 2 re)) (sin.f64 im))
(.f64 2 (.f64 (sin.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 (sin.f64 im) (+.f64 re (+.f64 re 2))) 0)
(*.f64 (sin.f64 im) (+.f64 re (+.f64 2 re)))
(*.f64 (sin.f64 im) (+.f64 2 (+.f64 re re)))
(+.f64 0 (*.f64 (sin.f64 im) (+.f64 re (+.f64 re 2))))
(*.f64 (sin.f64 im) (+.f64 re (+.f64 2 re)))
(*.f64 (sin.f64 im) (+.f64 2 (+.f64 re re)))
(+.f64 (.f64 (sin.f64 im) (.f64 (+.f64 re (+.f64 re 2)) 1/2)) (.f64 (sin.f64 im) (.f64 (+.f64 re (+.f64 re 2)) 1/2)))
(*.f64 (sin.f64 im) (+.f64 re (+.f64 2 re)))
(*.f64 (sin.f64 im) (+.f64 2 (+.f64 re re)))
(-.f64 (*.f64 (sin.f64 im) (+.f64 re (+.f64 re 2))) 0)
(*.f64 (sin.f64 im) (+.f64 re (+.f64 2 re)))
(*.f64 (sin.f64 im) (+.f64 2 (+.f64 re re)))
(/.f64 (*.f64 (sin.f64 im) (+.f64 re (+.f64 re 2))) 1)
(*.f64 (sin.f64 im) (+.f64 re (+.f64 2 re)))
(*.f64 (sin.f64 im) (+.f64 2 (+.f64 re re)))
(/.f64 (.f64 (sin.f64 im) (+.f64 (+.f64 re 4) (.f64 re 3))) 2)
(.f64 (+.f64 (+.f64 re 4) (.f64 re 3)) (/.f64 (sin.f64 im) 2))
(.f64 (+.f64 4 (+.f64 re (.f64 re 3))) (/.f64 (sin.f64 im) 2))
(.f64 (sin.f64 im) (/.f64 (+.f64 4 (+.f64 re (.f64 re 3))) 2))
(.f64 (+.f64 re (+.f64 4 (.f64 re 3))) (/.f64 (sin.f64 im) 2))
(.f64 (sin.f64 im) (/.f64 (+.f64 (+.f64 re 4) (.f64 re 3)) 2))
(/.f64 (.f64 (sin.f64 im) (.f64 (+.f64 re (+.f64 re 2)) 4)) 4)
(*.f64 (sin.f64 im) (+.f64 re (+.f64 2 re)))
(*.f64 (sin.f64 im) (+.f64 2 (+.f64 re re)))
(/.f64 (.f64 (.f64 (sin.f64 im) (+.f64 re (+.f64 re 2))) 8) 8)
(*.f64 (sin.f64 im) (+.f64 re (+.f64 2 re)))
(*.f64 (sin.f64 im) (+.f64 2 (+.f64 re re)))
(/.f64 (.f64 2 (.f64 (*.f64 (sin.f64 im) (+.f64 re (+.f64 re 2))) 8)) 16)
(*.f64 (sin.f64 im) (+.f64 re (+.f64 2 re)))
(*.f64 (sin.f64 im) (+.f64 2 (+.f64 re re)))
(/.f64 (+.f64 (.f64 2 (.f64 (.f64 (sin.f64 im) (+.f64 re (+.f64 re 2))) 8)) (.f64 2 (.f64 (.f64 (sin.f64 im) (+.f64 re (+.f64 re 2))) 8))) 32)
(*.f64 (sin.f64 im) (+.f64 re (+.f64 2 re)))
(*.f64 (sin.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 4 (+.f64 re (.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 4 (+.f64 re (.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 4 (+.f64 re (*.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))

eval73.0ms (0.8%)

Compiler: Compiled 1116 to 827 computations (25.9% saved)

prune12.0ms (0.1%)

Pruning

9 alts after pruning (1 fresh and 8 done)

	Pruned	Kept	Total
New	68	0	68
Fresh	0	1	1
Picked	0	1	1
Done	0	7	7
Total	68	9	77

Error

0.0b

Counts

77 → 9

Alt Table

Click to see full alt table

Status	Error	Program
✓	20.8b	(/.f64 (*.f64 (sin.f64 im) (+.f64 re (+.f64 re 2))) 2)
✓	43.8b	(+.f64 (*.f64 re im) im)
✓	21.0b	(+.f64 (sin.f64 im) (.f64 (sin.f64 im) (+.f64 re (.f64 1/2 (pow.f64 re 2)))))
✓	20.8b	(*.f64 (sin.f64 im) (+.f64 re 1))
✓	0.0b	(*.f64 (exp.f64 re) (sin.f64 im))
✓	22.9b	(*.f64 (exp.f64 re) im)
✓	61.2b	(*.f64 re im)
✓	20.7b	(sin.f64 im)
	43.5b	im

Compiler

Compiled 67 to 46 computations (31.3% saved)

regimes28.0ms (0.3%)

Counts

9 → 1

Calls

Call 1

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

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

Calls

5 calls:

6.0ms	re
6.0ms	(*.f64 (exp.f64 re) (sin.f64 im))
6.0ms	(sin.f64 im)
6.0ms	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) (sin.f64 im))`
0.0b	1	`(exp.f64 re)`
0.0b	1	`(sin.f64 im)`

Compiler

Compiled 72 to 39 computations (45.8% saved)

regimes139.0ms (1.5%)

Counts

7 → 2

Calls

Call 1

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

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

Calls

4 calls:

64.0ms	im
60.0ms	(sin.f64 im)
10.0ms	re
3.0ms	(exp.f64 re)

Results

Error	Segments	Branch
0.4b	2	`re`
10.5b	3	`im`
0.4b	2	`(exp.f64 re)`
9.8b	3	`(sin.f64 im)`

Compiler

Compiled 47 to 26 computations (44.7% saved)

bsearch0.0ms (0%)

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	0.0	0.9999999999889818

Compiler

Compiled 12 to 9 computations (25% saved)

regimes93.0ms (1%)

Counts

5 → 2

Calls

Call 1

Inputs
im
(*.f64 re im)
(+.f64 (*.f64 re im) im)
(sin.f64 im)
(*.f64 (exp.f64 re) im)

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

Calls

4 calls:

67.0ms	im
13.0ms	(sin.f64 im)
9.0ms	re
3.0ms	(exp.f64 re)

Results

Error	Segments	Branch
0.6b	2	`re`
10.5b	3	`im`
0.6b	2	`(exp.f64 re)`
9.9b	3	`(sin.f64 im)`

Compiler

Compiled 31 to 17 computations (45.2% saved)

bsearch0.0ms (0%)

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	0.0	0.9999999999889818

Compiler

Compiled 12 to 9 computations (25% saved)

regimes121.0ms (1.3%)

Counts

4 → 1

Calls

Call 1

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

Outputs
(sin.f64 im)

Calls

3 calls:

113.0ms	im
4.0ms	(sin.f64 im)
4.0ms	re

Results

Error	Segments	Branch
20.7b	1	`re`
20.7b	1	`im`
20.7b	1	`(sin.f64 im)`

Compiler

Compiled 23 to 12 computations (47.8% saved)

regimes8.0ms (0.1%)

Accuracy

Total -18.3b remaining (-42%)

Threshold costs -18.3b (-42%)

Counts

3 → 1

Calls

Call 1

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

Outputs
im

Calls

2 calls:

4.0ms	re
3.0ms	im

Results

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

Compiler

Compiled 17 to 8 computations (52.9% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	91

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(*.f64 (exp.f64 re) (sin.f64 im))
(if (<=.f64 (exp.f64 re) 0) (.f64 (exp.f64 re) im) (.f64 (sin.f64 im) (+.f64 re 1)))
(if (<=.f64 (exp.f64 re) 0) (*.f64 (exp.f64 re) im) (sin.f64 im))
(sin.f64 im)
im

Outputs
(*.f64 (exp.f64 re) (sin.f64 im))
(if (<=.f64 (exp.f64 re) 0) (.f64 (exp.f64 re) im) (.f64 (sin.f64 im) (+.f64 re 1)))
(if (<=.f64 (exp.f64 re) 0) (*.f64 (exp.f64 re) im) (sin.f64 im))
(sin.f64 im)
im

Compiler

Compiled 44 to 29 computations (34.1% saved)

soundness0.0ms (0%)

end30.0ms (0.3%)

Compiler: Compiled 36 to 15 computations (58.3% saved)

Details

analyze60.0ms (0.6%)

sample3.5s (36.6%)

preprocess49.0ms (0.5%)

simplify123.0ms (1.3%)

eval0.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0.1%)

series2.0ms (0%)

rewrite146.0ms (1.5%)

simplify218.0ms (2.3%)

eval8.0ms (0.1%)

prune7.0ms (0.1%)

localize3.0ms (0%)

localize4.0ms (0%)

series58.0ms (0.6%)

rewrite95.0ms (1%)

simplify1.3s (14%)

localize544.0ms (5.7%)

series5.0ms (0.1%)

rewrite109.0ms (1.1%)

simplify372.0ms (3.9%)

eval528.0ms (5.5%)

prune346.0ms (3.6%)

localize7.0ms (0.1%)

series1.0ms (0%)

rewrite81.0ms (0.8%)

simplify273.0ms (2.9%)

localize4.0ms (0%)

series2.0ms (0%)

rewrite97.0ms (1%)

simplify616.0ms (6.5%)

eval15.0ms (0.2%)

prune13.0ms (0.1%)

localize3.0ms (0%)

localize14.0ms (0.1%)

series3.0ms (0%)

rewrite84.0ms (0.9%)

simplify310.0ms (3.3%)

eval73.0ms (0.8%)

prune12.0ms (0.1%)

regimes28.0ms (0.3%)

regimes139.0ms (1.5%)

bsearch0.0ms (0%)

regimes93.0ms (1%)

bsearch0.0ms (0%)

regimes121.0ms (1.3%)

regimes8.0ms (0.1%)

simplify3.0ms (0%)

soundness0.0ms (0%)

end30.0ms (0.3%)

Profiling