Details

analyze144.0ms (1.8%)

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)

sample4.1s (50.2%)

Results

1.7s	6152×	body	256	valid
1.1s	1400×	body	1024	valid
792.0ms	700×	body	512	valid
294.0ms	690×	body	1024	infinite
75.0ms	364×	body	512	infinite
62.0ms	514×	body	256	infinite
3.0ms	4×	body	2048	valid

Bogosity

preprocess164.0ms (2%)

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)

simplify134.0ms (1.7%)

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)

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

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

rewrite90.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1574×	`rational.json-1`
1574×	`rational.json-2`
1574×	`rational.json-3`
1570×	`rational.json-4`
1048×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	15
1	55	15
2	133	15
3	285	15
4	540	15
5	1220	15
6	3435	15
7	6855	15

Stop Event

1×	node limit

Counts

1 → 12

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

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

simplify192.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

2580×	`rational.json-simplify-2`
1358×	`rational.json-simplify-53`
1282×	`rational.json-simplify-35`
994×	`rational.json-simplify-48`
968×	`rational.json-simplify-1`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	77	784
1	181	734
2	342	704
3	714	694
4	2075	694
5	3613	694
6	4286	694
7	4475	694
8	4894	694
9	5775	694
10	6216	694
11	7143	694

Stop Event

1×	node limit

Counts

36 → 40

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 (sin.f64 im) (.f64 (exp.f64 re) 4)) 4)
(/.f64 (.f64 (exp.f64 re) (.f64 (sin.f64 im) 8)) 8)
(/.f64 (.f64 2 (.f64 (exp.f64 re) (*.f64 (sin.f64 im) 8))) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (exp.f64 re) (.f64 (sin.f64 im) 8)))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (exp.f64 re) (.f64 (sin.f64 im) 8)))) (.f64 2 (.f64 2 (.f64 (exp.f64 re) (.f64 (sin.f64 im) 8))))) 64)
(pow.f64 (*.f64 (exp.f64 re) (sin.f64 im)) 1)

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

eval10.0ms (0.1%)

Compiler: Compiled 617 to 354 computations (42.6% saved)

prune100.0ms (1.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	37	3	40
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	37	4	41

Error

0.0b

Counts

41 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	21.6b	(+.f64 (sin.f64 im) (*.f64 (sin.f64 im) re))
✓	0.0b	(*.f64 (exp.f64 re) (sin.f64 im))
▶	24.7b	(*.f64 (exp.f64 re) im)
▶	21.9b	(sin.f64 im)

Compiler

Compiled 26 to 17 computations (34.6% saved)

localize3.0ms (0%)

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

localize4.0ms (0.1%)

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)

series201.0ms (2.5%)

Counts

1 → 4

Calls

6 calls:

Time	Variable		Point	Expression
200.0ms	im	@	inf	(*.f64 (exp.f64 re) im)
0.0ms	im	@	0	(*.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)

rewrite177.0ms (2.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1940×	`rational.json-1`
1218×	`rational.json-simplify-35`
1176×	`exponential.json-3`
1176×	`rational.json-2`
1176×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	45	11
2	102	11
3	217	11
4	374	11
5	805	11
6	1908	11
7	3282	11
8	4289	11
9	5614	11
10	6425	11
11	7797	11

Stop Event

1×	node limit

Counts

1 → 15

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 im (exp.f64 (neg.f64 re)))))) (#(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 (exp.f64 re) (.f64 im 8)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (exp.f64 re) (.f64 im 8))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (exp.f64 re) (.f64 im 8)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (exp.f64 re) (.f64 im 8))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (exp.f64 re) (.f64 im 8)))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (exp.f64 re) (.f64 im 8))))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (exp.f64 re) im) 1)))))

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 im (exp.f64 (neg.f64 re)))))) (#(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 (exp.f64 re) (*.f64 im 8)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (exp.f64 re) (*.f64 im 8))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (exp.f64 re) (*.f64 im 8)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (exp.f64 re) (*.f64 im 8))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (exp.f64 re) (*.f64 im 8)))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (exp.f64 re) (*.f64 im 8))))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (exp.f64 re) im) 1)))))

simplify127.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

1710×	`rational.json-simplify-38`
1464×	`rational.json-simplify-35`
1410×	`rational.json-simplify-2`
884×	`rational.json-simplify-1`
764×	`rational.json-simplify-43`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	61	277
1	158	277
2	305	265
3	646	259
4	2181	259
5	4714	259
6	6008	259
7	6942	259

Stop Event

1×	node limit

Counts

19 → 29

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 im (exp.f64 (neg.f64 re)))
(/.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 (exp.f64 re) (.f64 im 8)) 8)
(/.f64 (.f64 2 (.f64 (exp.f64 re) (*.f64 im 8))) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (exp.f64 re) (.f64 im 8)))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (exp.f64 re) (*.f64 im 8))))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (exp.f64 re) (.f64 im 8)))))) 128)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (exp.f64 re) (*.f64 im 8))))))) 256)
(pow.f64 (*.f64 (exp.f64 re) im) 1)

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 (+.f64 im (.f64 im re)) (.f64 (pow.f64 re 2) (*.f64 im 1/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 (.f64 (pow.f64 re 2) (.f64 im 1/2))) (+.f64 (.f64 im re) (.f64 im (*.f64 1/6 (pow.f64 re 3)))))
(+.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/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3))))))
(+.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 im (exp.f64 (neg.f64 re)))
(*.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 (exp.f64 re) (.f64 im 8)) 8)
(*.f64 im (exp.f64 re))
(/.f64 (.f64 2 (.f64 (exp.f64 re) (*.f64 im 8))) 16)
(*.f64 im (exp.f64 re))
(/.f64 (.f64 2 (.f64 2 (.f64 (exp.f64 re) (.f64 im 8)))) 32)
(*.f64 im (exp.f64 re))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (exp.f64 re) (*.f64 im 8))))) 64)
(*.f64 im (exp.f64 re))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (exp.f64 re) (.f64 im 8)))))) 128)
(*.f64 im (exp.f64 re))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (exp.f64 re) (*.f64 im 8))))))) 256)
(*.f64 im (exp.f64 re))
(pow.f64 (*.f64 (exp.f64 re) im) 1)
(*.f64 im (exp.f64 re))

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 17 to 5 computations (70.6% saved)

series2.0ms (0%)

Counts

2 → 11

Calls

12 calls:

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

rewrite201.0ms (2.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1572×	`rational.json-1`
1572×	`rational.json-2`
1572×	`rational.json-3`
1566×	`exponential.json-3`
1566×	`rational.json-4`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	32
1	56	28
2	134	28
3	291	28
4	588	28
5	1381	28
6	3456	28
7	6383	28

Stop Event

1×	node limit

Counts

2 → 56

Calls

Call 1

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

Outputs

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

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

simplify454.0ms (5.6%)

Algorithm

1×	egg-herbie

Rules

2246×	`rational.json-simplify-2`
2132×	`rational.json-simplify-35`
1348×	`rational.json-simplify-48`
940×	`rational.json-simplify-53`
886×	`rational.json-simplify-1`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	165	1387
1	388	1341
2	809	1329
3	1879	1329
4	3390	1329
5	4339	1329
6	5076	1329
7	5930	1329
8	7135	1329
9	7650	1329

Stop Event

1×	node limit

Counts

67 → 95

Calls

Call 1

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

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

eval31.0ms (0.4%)

Compiler: Compiled 1639 to 1077 computations (34.3% saved)

prune135.0ms (1.7%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	121	3	124
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	121	7	128

Error

0.0b

Counts

128 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	21.6b	(+.f64 (sin.f64 im) (*.f64 (sin.f64 im) re))
▶	21.6b	(*.f64 (+.f64 re 1) (sin.f64 im))
▶	46.4b	(*.f64 (+.f64 1 re) im)
✓	0.0b	(*.f64 (exp.f64 re) (sin.f64 im))
✓	24.7b	(*.f64 (exp.f64 re) im)
✓	21.9b	(sin.f64 im)
	46.1b	im

Compiler

Compiled 44 to 30 computations (31.8% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 8 computations (38.5% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

6 calls:

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

rewrite366.0ms (4.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1672×	`rational.json-simplify-1`
1502×	`rational.json-simplify-35`
1372×	`exponential.json-3`
1372×	`rational.json-1`
1372×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	58	13
2	136	13
3	241	13
4	441	13
5	938	13
6	2379	13
7	4160	13
8	5233	13
9	6760	13
10	7595	13
11	7595	13

Stop Event

1×	node limit

Counts

1 → 14

Calls

Call 1

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

Outputs

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

simplify582.0ms (7.2%)

Algorithm

1×	egg-herbie

Rules

2802×	`rational.json-simplify-2`
2538×	`rational.json-simplify-35`
1518×	`rational.json-simplify-53`
1196×	`rational.json-simplify-1`
1042×	`exponential.json-simplify-26`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	47	314
1	126	314
2	236	314
3	530	314
4	1886	314
5	3651	314
6	4158	314
7	4341	314
8	4528	314
9	4718	314
10	4890	314
11	5888	314
12	6496	314
13	6770	314
14	6770	314
15	6824	314
16	6849	314
17	6932	314
18	6977	314
19	7153	314
20	7297	314
21	7429	314

Stop Event

1×	node limit

Counts

26 → 21

Calls

Call 1

Inputs
im
(+.f64 (*.f64 re im) im)
(+.f64 (*.f64 re im) im)
(+.f64 (*.f64 re im) 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 (+.f64 1 re) im) 0)
(+.f64 0 (*.f64 (+.f64 1 re) im))
(+.f64 (.f64 (+.f64 1 re) (.f64 im 1/2)) (.f64 (+.f64 1 re) (.f64 im 1/2)))
(-.f64 (*.f64 (+.f64 1 re) im) 0)
(/.f64 (*.f64 (+.f64 1 re) im) 1)
(/.f64 (*.f64 (+.f64 1 re) (+.f64 im im)) 2)
(/.f64 (.f64 (+.f64 1 re) (.f64 im 4)) 4)
(/.f64 (.f64 (+.f64 1 re) (.f64 im 8)) 8)
(/.f64 (.f64 2 (.f64 (+.f64 1 re) (*.f64 im 8))) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 1 re) (.f64 im 8)))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 1 re) (*.f64 im 8))))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 1 re) (.f64 im 8)))))) 128)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 1 re) (*.f64 im 8))))))) 256)
(pow.f64 (*.f64 (+.f64 1 re) im) 1)

Outputs
im
(+.f64 (*.f64 re im) im)
(+.f64 im (*.f64 im re))
(+.f64 (*.f64 re im) im)
(+.f64 im (*.f64 im re))
(+.f64 (*.f64 re im) 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 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 (+.f64 1 re) im) 0)
(*.f64 im (+.f64 re 1))
(+.f64 0 (*.f64 (+.f64 1 re) im))
(*.f64 im (+.f64 re 1))
(+.f64 (.f64 (+.f64 1 re) (.f64 im 1/2)) (.f64 (+.f64 1 re) (.f64 im 1/2)))
(*.f64 im (+.f64 re 1))
(-.f64 (*.f64 (+.f64 1 re) im) 0)
(*.f64 im (+.f64 re 1))
(/.f64 (*.f64 (+.f64 1 re) im) 1)
(*.f64 im (+.f64 re 1))
(/.f64 (*.f64 (+.f64 1 re) (+.f64 im im)) 2)
(*.f64 im (+.f64 re 1))
(/.f64 (.f64 (+.f64 1 re) (.f64 im 4)) 4)
(*.f64 im (+.f64 re 1))
(/.f64 (.f64 (+.f64 1 re) (.f64 im 8)) 8)
(*.f64 im (+.f64 re 1))
(/.f64 (.f64 2 (.f64 (+.f64 1 re) (*.f64 im 8))) 16)
(*.f64 im (+.f64 re 1))
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 1 re) (.f64 im 8)))) 32)
(*.f64 im (+.f64 re 1))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 1 re) (*.f64 im 8))))) 64)
(*.f64 im (+.f64 re 1))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 1 re) (.f64 im 8)))))) 128)
(*.f64 im (+.f64 re 1))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 1 re) (*.f64 im 8))))))) 256)
(*.f64 im (+.f64 re 1))
(pow.f64 (*.f64 (+.f64 1 re) im) 1)
(*.f64 im (+.f64 re 1))

localize14.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 16 to 9 computations (43.8% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite81.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

1462×	`rational.json-1`
1462×	`rational.json-2`
1462×	`rational.json-3`
1458×	`exponential.json-3`
1458×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	17
1	69	17
2	155	17
3	309	17
4	602	17
5	1379	17
6	3344	17
7	6082	17

Stop Event

1×	node limit

Counts

1 → 12

Calls

Call 1

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

Outputs

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

simplify201.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

2118×	`rational.json-simplify-2`
1826×	`rational.json-simplify-35`
1252×	`rational.json-simplify-48`
974×	`rational.json-simplify-1`
752×	`rational.json-simplify-53`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	65	788
1	156	752
2	300	728
3	565	716
4	2061	716
5	4190	716
6	5059	716
7	5546	716
8	6199	716
9	7199	716
10	7721	716

Stop Event

1×	node limit

Counts

36 → 33

Calls

Call 1

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

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

eval14.0ms (0.2%)

Compiler: Compiled 676 to 488 computations (27.8% saved)

prune10.0ms (0.1%)

Pruning

9 alts after pruning (3 fresh and 6 done)

	Pruned	Kept	Total
New	52	2	54
Fresh	0	1	1
Picked	0	1	1
Done	0	5	5
Total	52	9	61

Error

0.0b

Counts

61 → 9

Alt Table

Click to see full alt table

Status	Error	Program
▶	21.6b	(/.f64 (*.f64 (sin.f64 im) (+.f64 re (+.f64 re 2))) 2)
✓	21.6b	(+.f64 (sin.f64 im) (*.f64 (sin.f64 im) re))
✓	21.6b	(*.f64 (+.f64 re 1) (sin.f64 im))
✓	46.4b	(*.f64 (+.f64 1 re) im)
✓	0.0b	(*.f64 (exp.f64 re) (sin.f64 im))
✓	24.7b	(*.f64 (exp.f64 re) im)
▶	61.6b	(*.f64 re im)
✓	21.9b	(sin.f64 im)
	46.1b	im

Compiler

Compiled 61 to 42 computations (31.1% saved)

localize3.0ms (0%)

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

localize14.0ms (0.2%)

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)

series4.0ms (0%)

Counts

2 → 36

Calls

9 calls:

Time	Variable		Point	Expression
2.0ms	im	@	-inf	(*.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	re	@	0	(*.f64 (sin.f64 im) (+.f64 re (+.f64 re 2)))

rewrite87.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1526×	`rational.json-1`
1526×	`rational.json-2`
1526×	`rational.json-3`
1522×	`exponential.json-3`
1522×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	36
1	69	36
2	150	36
3	305	36
4	633	36
5	1537	36
6	3689	36
7	6418	36

Stop Event

1×	node limit

Counts

2 → 33

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

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

simplify210.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

1764×	`rational.json-simplify-2`
1508×	`rational.json-simplify-35`
1502×	`rational.json-simplify-53`
952×	`rational.json-simplify-48`
930×	`rational.json-simplify-1`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	101	1409
1	223	1355
2	594	1319
3	1904	1301
4	3883	1301
5	4387	1301
6	4614	1301
7	4810	1301
8	5302	1301
9	6201	1301
10	7985	1301

Stop Event

1×	node limit

Counts

69 → 61

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 2 (+.f64 re re))) 0)
(+.f64 0 (*.f64 (sin.f64 im) (+.f64 2 (+.f64 re re))))
(+.f64 (.f64 (sin.f64 im) (.f64 (+.f64 2 (+.f64 re re)) 1/2)) (.f64 (sin.f64 im) (.f64 (+.f64 2 (+.f64 re re)) 1/2)))
(-.f64 (*.f64 (sin.f64 im) (+.f64 2 (+.f64 re re))) 0)
(/.f64 (*.f64 (sin.f64 im) (+.f64 2 (+.f64 re re))) 1)
(/.f64 (.f64 (sin.f64 im) (.f64 2 (+.f64 2 (+.f64 re re)))) 2)
(/.f64 (.f64 (sin.f64 im) (.f64 (+.f64 2 (+.f64 re re)) 4)) 4)
(/.f64 (.f64 (.f64 (sin.f64 im) (+.f64 2 (+.f64 re re))) 8) 8)
(/.f64 (.f64 2 (.f64 (*.f64 (sin.f64 im) (+.f64 2 (+.f64 re re))) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 (sin.f64 im) (+.f64 2 (+.f64 re re))) 8))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 (sin.f64 im) (+.f64 2 (+.f64 re re))) 8))) (.f64 2 (.f64 2 (.f64 (.f64 (sin.f64 im) (+.f64 2 (+.f64 re re))) 8)))) 64)
(pow.f64 (*.f64 (sin.f64 im) (+.f64 2 (+.f64 re re))) 1)
(-.f64 (+.f64 2 (+.f64 re re)) 0)
(.f64 2 (.f64 (+.f64 2 (+.f64 re re)) 1/2))
(.f64 2 (+.f64 (.f64 re 1/2) (*.f64 (+.f64 re 2) 1/2)))
(*.f64 (+.f64 2 (+.f64 re re)) 1)
(*.f64 1 (+.f64 2 (+.f64 re re)))
(.f64 (.f64 2 (+.f64 2 (+.f64 re re))) 1/2)
(.f64 4 (.f64 (+.f64 2 (+.f64 re re)) 1/4))
(.f64 (.f64 (+.f64 2 (+.f64 re re)) 4) 1/4)
(.f64 1/2 (.f64 2 (+.f64 2 (+.f64 re re))))
(.f64 (.f64 (+.f64 2 (+.f64 re re)) 8) 1/8)
(.f64 (.f64 (+.f64 2 (+.f64 re re)) 1/2) 2)
(.f64 1/4 (.f64 (+.f64 2 (+.f64 re re)) 4))
(.f64 (.f64 (+.f64 2 (+.f64 re re)) 1/4) 4)
(/.f64 (+.f64 2 (+.f64 re re)) 1)
(/.f64 (*.f64 2 (+.f64 2 (+.f64 re re))) 2)
(/.f64 (*.f64 (+.f64 2 (+.f64 re re)) 4) 4)
(/.f64 (*.f64 (+.f64 2 (+.f64 re re)) 8) 8)
(/.f64 (.f64 2 (.f64 (+.f64 2 (+.f64 re re)) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (*.f64 (+.f64 2 (+.f64 re re)) 8))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (+.f64 2 (+.f64 re re)) 8))) (.f64 2 (.f64 2 (.f64 (+.f64 2 (+.f64 re re)) 8)))) 64)
(pow.f64 (+.f64 2 (+.f64 re re)) 1)

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

eval18.0ms (0.2%)

Compiler: Compiled 1036 to 740 computations (28.6% saved)

prune27.0ms (0.3%)

Pruning

9 alts after pruning (1 fresh and 8 done)

	Pruned	Kept	Total
New	61	0	61
Fresh	0	1	1
Picked	0	1	1
Done	0	7	7
Total	61	9	70

Error

0.0b

Counts

70 → 9

Alt Table

Click to see full alt table

Status	Error	Program
✓	21.6b	(/.f64 (*.f64 (sin.f64 im) (+.f64 re (+.f64 re 2))) 2)
✓	21.6b	(+.f64 (sin.f64 im) (*.f64 (sin.f64 im) re))
✓	21.6b	(*.f64 (+.f64 re 1) (sin.f64 im))
✓	46.4b	(*.f64 (+.f64 1 re) im)
✓	0.0b	(*.f64 (exp.f64 re) (sin.f64 im))
✓	24.7b	(*.f64 (exp.f64 re) im)
✓	61.6b	(*.f64 re im)
✓	21.9b	(sin.f64 im)
	46.1b	im

Compiler

Compiled 61 to 42 computations (31.1% saved)

regimes33.0ms (0.4%)

Counts

9 → 1

Calls

Call 1

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

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

Calls

5 calls:

9.0ms	re
9.0ms	im
6.0ms	(sin.f64 im)
4.0ms	(*.f64 (exp.f64 re) (sin.f64 im))
3.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 66 to 36 computations (45.5% saved)

regimes60.0ms (0.7%)

Counts

7 → 2

Calls

Call 1

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

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

Calls

4 calls:

23.0ms	(sin.f64 im)
23.0ms	im
9.0ms	re
3.0ms	(exp.f64 re)

Results

Error	Segments	Branch
0.0b	2	`re`
11.3b	4	`im`
0.0b	2	`(exp.f64 re)`
12.8b	3	`(sin.f64 im)`

Compiler

Compiled 47 to 28 computations (40.4% saved)

bsearch0.0ms (0%)

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	0.9999722260736387	0.9999999022147752

Compiler

Compiled 12 to 9 computations (25% saved)

regimes48.0ms (0.6%)

Counts

5 → 2

Calls

Call 1

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

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

Calls

4 calls:

19.0ms	im
16.0ms	(sin.f64 im)
8.0ms	re
3.0ms	(exp.f64 re)

Results

Error	Segments	Branch
0.6b	2	`re`
11.7b	4	`im`
0.6b	2	`(exp.f64 re)`
13.2b	3	`(sin.f64 im)`

Compiler

Compiled 31 to 19 computations (38.7% saved)

bsearch0.0ms (0%)

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	0.9999722260736387	0.9999999022147752

Compiler

Compiled 12 to 9 computations (25% saved)

regimes19.0ms (0.2%)

Counts

4 → 1

Calls

Call 1

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

Outputs
(sin.f64 im)

Calls

3 calls:

9.0ms	(sin.f64 im)
5.0ms	re
4.0ms	im

Results

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

Compiler

Compiled 23 to 14 computations (39.1% saved)

regimes7.0ms (0.1%)

Accuracy

Total -16.1b remaining (-34.9%)

Threshold costs -16.1b (-34.9%)

Counts

3 → 1

Calls

Call 1

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

Outputs
im

Calls

2 calls:

3.0ms	im
3.0ms	re

Results

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

Compiler

Compiled 17 to 10 computations (41.2% 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) 9007019110755897/9007199254740992) (.f64 (exp.f64 re) im) (.f64 (+.f64 re 1) (sin.f64 im)))
(if (<=.f64 (exp.f64 re) 9007019110755897/9007199254740992) (*.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) 9007019110755897/9007199254740992) (.f64 (exp.f64 re) im) (.f64 (+.f64 re 1) (sin.f64 im)))
(if (<=.f64 (exp.f64 re) 9007019110755897/9007199254740992) (*.f64 (exp.f64 re) im) (sin.f64 im))
(sin.f64 im)
im

Compiler

Compiled 44 to 29 computations (34.1% saved)

soundness0.0ms (0%)

end28.0ms (0.3%)

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

Details

analyze144.0ms (1.8%)

sample4.1s (50.2%)

preprocess164.0ms (2%)

simplify134.0ms (1.7%)

eval0.0ms (0%)

prune1.0ms (0%)

localize7.0ms (0.1%)

series3.0ms (0%)

rewrite90.0ms (1.1%)

simplify192.0ms (2.4%)

eval10.0ms (0.1%)

prune100.0ms (1.2%)

localize3.0ms (0%)

localize4.0ms (0.1%)

series201.0ms (2.5%)

rewrite177.0ms (2.2%)

simplify127.0ms (1.6%)

localize7.0ms (0.1%)

series2.0ms (0%)

rewrite201.0ms (2.5%)

simplify454.0ms (5.6%)

eval31.0ms (0.4%)

prune135.0ms (1.7%)

localize5.0ms (0.1%)

series1.0ms (0%)

rewrite366.0ms (4.5%)

simplify582.0ms (7.2%)

localize14.0ms (0.2%)

series2.0ms (0%)

rewrite81.0ms (1%)

simplify201.0ms (2.5%)

eval14.0ms (0.2%)

prune10.0ms (0.1%)

localize3.0ms (0%)

localize14.0ms (0.2%)

series4.0ms (0%)

rewrite87.0ms (1.1%)

simplify210.0ms (2.6%)

eval18.0ms (0.2%)

prune27.0ms (0.3%)

regimes33.0ms (0.4%)

regimes60.0ms (0.7%)

bsearch0.0ms (0%)

regimes48.0ms (0.6%)

bsearch0.0ms (0%)

regimes19.0ms (0.2%)

regimes7.0ms (0.1%)

simplify3.0ms (0%)

soundness0.0ms (0%)

end28.0ms (0.3%)

Profiling