Details

analyze173.0ms (2%)

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.0s (45.4%)

Results

1.5s	6200×	body	256	valid
1.2s	1331×	body	1024	valid
405.0ms	695×	body	1024	infinite
354.0ms	320×	body	512	infinite
247.0ms	720×	body	512	valid
222.0ms	517×	body	256	infinite
4.0ms	5×	body	2048	valid

Bogosity

preprocess125.0ms (1.4%)

Algorithm

2×	egg-herbie

Rules

1840×	`trig.json-simplify-41`
878×	`rational.json-simplify-2`
778×	`rational.json-simplify-41`
594×	`exponential.json-simplify-1`
528×	`trig.json-simplify-20`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	30
1	19	30
2	23	30
3	30	30
4	42	30
5	62	30
6	153	30
7	684	30
8	1432	30
9	3674	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)

simplify210.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

1342×	`rational.json-simplify-2`
886×	`rational.json-simplify-1`
876×	`trig.json-simplify-41`
866×	`rational.json-simplify-46`
716×	`rational.json-simplify-43`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	15
1	13	15
2	15	15
3	19	15
4	26	15
5	37	15
6	89	15
7	371	15
8	746	15
9	2441	15
10	7072	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))

eval1.0ms (0%)

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

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

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

series5.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite189.0ms (2.2%)

Algorithm

1×	batch-egg-rewrite

Rules

950×	`rational.json-simplify-2`
894×	`rational.json-simplify-79`
544×	`rational.json-simplify-47`
496×	`rational.json-5`
494×	`exponential.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	15
1	71	15
2	262	15
3	1023	15
4	4136	15

Stop Event

1×	node limit

Counts

1 → 9

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

simplify423.0ms (4.9%)

Algorithm

1×	egg-herbie

Rules

844×	`rational.json-simplify-111`
836×	`rational.json-simplify-2`
746×	`rational.json-simplify-1`
708×	`rational.json-simplify-104`
580×	`rational.json-simplify-79`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	63	739
1	132	689
2	265	659
3	579	649
4	1691	649
5	3967	649
6	5926	649
7	7913	649

Stop Event

1×	node limit

Counts

33 → 35

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) (sin.f64 im)) 0)
(-.f64 0 (neg.f64 (*.f64 (exp.f64 re) (sin.f64 im))))
(-.f64 (-.f64 0 (-.f64 -1 (*.f64 (exp.f64 re) (sin.f64 im)))) 1)
(/.f64 (*.f64 (exp.f64 re) (sin.f64 im)) 1)
(/.f64 (.f64 (exp.f64 re) (sin.f64 im)) (/.f64 (.f64 (exp.f64 re) (sin.f64 im)) (*.f64 (exp.f64 re) (sin.f64 im))))
(pow.f64 (*.f64 (exp.f64 re) (sin.f64 im)) 1)
(neg.f64 (neg.f64 (*.f64 (exp.f64 re) (sin.f64 im))))

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 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/6 (pow.f64 im 3))) (+.f64 (.f64 (exp.f64 re) (.f64 1/120 (pow.f64 im 5))) (.f64 (exp.f64 re) (+.f64 im (.f64 -1/5040 (pow.f64 im 7))))))
(+.f64 (.f64 (exp.f64 re) (.f64 -1/6 (pow.f64 im 3))) (.f64 (exp.f64 re) (+.f64 (.f64 -1/5040 (pow.f64 im 7)) (+.f64 im (*.f64 1/120 (pow.f64 im 5))))))
(.f64 (exp.f64 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 (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 (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) (sin.f64 im)) 0)
(*.f64 (sin.f64 im) (exp.f64 re))
(-.f64 0 (neg.f64 (*.f64 (exp.f64 re) (sin.f64 im))))
(*.f64 (sin.f64 im) (exp.f64 re))
(-.f64 (-.f64 0 (-.f64 -1 (*.f64 (exp.f64 re) (sin.f64 im)))) 1)
(*.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) (sin.f64 im)) (/.f64 (.f64 (exp.f64 re) (sin.f64 im)) (*.f64 (exp.f64 re) (sin.f64 im))))
(*.f64 (sin.f64 im) (exp.f64 re))
(pow.f64 (*.f64 (exp.f64 re) (sin.f64 im)) 1)
(*.f64 (sin.f64 im) (exp.f64 re))
(neg.f64 (neg.f64 (*.f64 (exp.f64 re) (sin.f64 im))))
(*.f64 (sin.f64 im) (exp.f64 re))

eval23.0ms (0.3%)

Compiler: Compiled 531 to 288 computations (45.8% saved)

prune13.0ms (0.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	32	3	35
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	32	4	36

Error

0.0b

Counts

36 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	24.8b	(+.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))))))
✓	0.0b	(*.f64 (exp.f64 re) (sin.f64 im))
▶	19.1b	(*.f64 (exp.f64 re) im)
▶	24.6b	(sin.f64 im)

Compiler

Compiled 38 to 27 computations (28.9% saved)

localize6.0ms (0.1%)

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

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

series3.0ms (0%)

Counts

1 → 4

Calls

6 calls:

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

rewrite139.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1538×	`rational.json-5`
1536×	`exponential.json-3`
1536×	`rational.json-1`
1536×	`rational.json-2`
1536×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	59	11
2	205	11
3	769	11
4	2965	11

Stop Event

1×	node limit

Counts

1 → 9

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

simplify355.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

844×	`rational.json-simplify-111`
810×	`rational.json-simplify-76`
776×	`rational.json-simplify-2`
708×	`rational.json-simplify-104`
606×	`rational.json-simplify-1`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	38	211
1	77	211
2	168	199
3	422	193
4	1481	193
5	3696	193
6	5569	193
7	7310	193

Stop Event

1×	node limit

Counts

13 → 24

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) im) 0)
(-.f64 0 (neg.f64 (*.f64 (exp.f64 re) im)))
(-.f64 (-.f64 0 (-.f64 -1 (*.f64 (exp.f64 re) im))) 1)
(/.f64 (*.f64 (exp.f64 re) im) 1)
(/.f64 (.f64 (exp.f64 re) im) (/.f64 (.f64 (exp.f64 re) im) (*.f64 (exp.f64 re) im)))
(pow.f64 (*.f64 (exp.f64 re) im) 1)
(neg.f64 (neg.f64 (*.f64 (exp.f64 re) im)))

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 re) (+.f64 im (.f64 im (*.f64 1/2 (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 im (.f64 1/2 (pow.f64 re 2)))) (.f64 1/6 (*.f64 im (pow.f64 re 3)))))
(+.f64 (+.f64 im (.f64 im (.f64 1/2 (pow.f64 re 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 im (.f64 im (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.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) im) 0)
(*.f64 im (exp.f64 re))
(-.f64 0 (neg.f64 (*.f64 (exp.f64 re) im)))
(*.f64 im (exp.f64 re))
(-.f64 (-.f64 0 (-.f64 -1 (*.f64 (exp.f64 re) im))) 1)
(*.f64 im (exp.f64 re))
(/.f64 (*.f64 (exp.f64 re) im) 1)
(*.f64 im (exp.f64 re))
(/.f64 (.f64 (exp.f64 re) im) (/.f64 (.f64 (exp.f64 re) im) (*.f64 (exp.f64 re) im)))
(*.f64 im (exp.f64 re))
(pow.f64 (*.f64 (exp.f64 re) im) 1)
(*.f64 im (exp.f64 re))
(neg.f64 (neg.f64 (*.f64 (exp.f64 re) im)))
(*.f64 im (exp.f64 re))

localize62.0ms (0.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.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))))))
✓	0.1b	(*.f64 1/6 (pow.f64 re 3))
✓	2.3b	(.f64 (sin.f64 im) (+.f64 (.f64 1/6 (pow.f64 re 3)) (+.f64 re (*.f64 1/2 (pow.f64 re 2)))))
✓	13.5b	(+.f64 (.f64 1/6 (pow.f64 re 3)) (+.f64 re (.f64 1/2 (pow.f64 re 2))))

Compiler

Compiled 81 to 57 computations (29.6% saved)

series17.0ms (0.2%)

Counts

4 → 60

Calls

18 calls:

Time	Variable		Point	Expression
8.0ms	im	@	inf	(.f64 (sin.f64 im) (+.f64 (.f64 1/6 (pow.f64 re 3)) (+.f64 re (*.f64 1/2 (pow.f64 re 2)))))
2.0ms	re	@	-inf	(*.f64 1/6 (pow.f64 re 3))
1.0ms	im	@	0	(.f64 (sin.f64 im) (+.f64 (.f64 1/6 (pow.f64 re 3)) (+.f64 re (*.f64 1/2 (pow.f64 re 2)))))
1.0ms	im	@	0	(+.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))))))
1.0ms	re	@	0	(*.f64 1/6 (pow.f64 re 3))

rewrite248.0ms (2.9%)

Algorithm

1×	batch-egg-rewrite

Rules

948×	`rational.json-simplify-1`
842×	`rational.json-5`
840×	`exponential.json-3`
840×	`rational.json-1`
840×	`rational.json-2`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	18	154
1	154	150
2	473	150
3	1785	150
4	7277	150

Stop Event

1×	node limit

Counts

4 → 57

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 re (-.f64 (neg.f64 (.f64 1/6 (pow.f64 re 3))) (.f64 1/2 (pow.f64 re 2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 1/6 (pow.f64 re 3)) (-.f64 (neg.f64 re) (.f64 1/2 (pow.f64 re 2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 1/2 (pow.f64 re 2)) (neg.f64 (+.f64 re (.f64 1/6 (pow.f64 re 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 1/2 (pow.f64 re 2)) (-.f64 (neg.f64 (.f64 1/6 (pow.f64 re 3))) re))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 1/2 (pow.f64 re 2)) (-.f64 (neg.f64 (+.f64 re (.f64 1/6 (pow.f64 re 3)))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 re (.f64 1/2 (pow.f64 re 2))) (neg.f64 (.f64 1/6 (pow.f64 re 3))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (-.f64 (-.f64 (neg.f64 (.f64 1/6 (pow.f64 re 3))) (.f64 1/2 (pow.f64 re 2))) re))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 1/6 (pow.f64 re 3)) (.f64 1/2 (pow.f64 re 2))) (neg.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 re (.f64 1/6 (pow.f64 re 3))) (neg.f64 (.f64 1/2 (pow.f64 re 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) (/.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3))))) (/.f64 1 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3))))) (.f64 (/.f64 1 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3))))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3))))) (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3))))))) (/.f64 (/.f64 1 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3))))) (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) (/.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (-.f64 (neg.f64 (.f64 1/6 (pow.f64 re 3))) (*.f64 1/2 (pow.f64 re 2))) re))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) (sin.f64 im)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) (sin.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) (sin.f64 im)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) (sin.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) (sin.f64 im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) (sin.f64 im)) (/.f64 (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) (sin.f64 im)) (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) (sin.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) (sin.f64 im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) (sin.f64 im))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 1/6 (pow.f64 re 3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 1/6 (pow.f64 re 3)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 1/6 (pow.f64 re 3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (.f64 1/6 (pow.f64 re 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 1/6 (pow.f64 re 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 1/6 (pow.f64 re 3)) (/.f64 (.f64 1/6 (pow.f64 re 3)) (.f64 1/6 (pow.f64 re 3))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 1/6 (pow.f64 re 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (.f64 1/6 (pow.f64 re 3))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (sin.f64 im) (neg.f64 (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) (sin.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) (sin.f64 im)) (neg.f64 (sin.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (sin.f64 im) (+.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) 1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (.f64 (sin.f64 im) (+.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sin.f64 im) (+.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sin.f64 im) (+.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (sin.f64 im) (+.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) 1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (sin.f64 im) (+.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) 1)) (/.f64 (.f64 (sin.f64 im) (+.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) 1)) (.f64 (sin.f64 im) (+.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (.f64 (sin.f64 im) (+.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) 1) (sin.f64 im))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (sin.f64 im)) (-.f64 -1 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (sin.f64 im) (sin.f64 im)) (.f64 (/.f64 1 (sin.f64 im)) (+.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 (sin.f64 im) (+.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) 1)) (.f64 (sin.f64 im) (+.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) 1))) (/.f64 1 (.f64 (sin.f64 im) (+.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 (sin.f64 im) (+.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) 1)) (.f64 (sin.f64 im) (+.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) 1))) (.f64 (/.f64 1 (.f64 (sin.f64 im) (+.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) 1))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (.f64 (sin.f64 im) (+.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) 1))) (.f64 (.f64 (sin.f64 im) (+.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) 1)) (.f64 (sin.f64 im) (+.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (sin.f64 im) (.f64 (.f64 (sin.f64 im) (.f64 (+.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) 1) (+.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) 1))) (.f64 (.f64 (sin.f64 im) (+.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) 1)) (.f64 (sin.f64 im) (+.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) 1))))) (/.f64 (/.f64 1 (.f64 (sin.f64 im) (+.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) 1))) (.f64 (.f64 (sin.f64 im) (+.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) 1)) (.f64 (sin.f64 im) (+.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (sin.f64 im) (+.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) 1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (sin.f64 im) (+.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) 1)) (/.f64 (.f64 (sin.f64 im) (+.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) 1)) (.f64 (sin.f64 im) (+.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (sin.f64 im) (+.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (.f64 1/6 (pow.f64 re 3)))) 1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (.f64 (sin.f64 im) (+.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) 1))))))))

simplify332.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

1182×	`rational.json-simplify-49`
1134×	`rational.json-simplify-54`
724×	`rational.json-simplify-50`
680×	`rational.json-simplify-1`
660×	`rational.json-simplify-2`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	173	5727
1	409	5581
2	1110	5305
3	3042	5305
4	7730	5305

Stop Event

1×	node limit

Counts

117 → 131

Calls

Call 1

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

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

eval87.0ms (1%)

Compiler: Compiled 4251 to 3001 computations (29.4% saved)

prune26.0ms (0.3%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	153	2	155
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	153	6	159

Error

0.0b

Counts

159 → 6

Alt Table

Click to see full alt table

Status	Error	Program
▶	43.4b	(+.f64 (*.f64 re im) im)
✓	24.8b	(+.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))))))
✓	0.0b	(*.f64 (exp.f64 re) (sin.f64 im))
✓	19.1b	(*.f64 (exp.f64 re) im)
✓	24.6b	(sin.f64 im)
	43.2b	im

Compiler

Compiled 48 to 33 computations (31.3% saved)

localize5.0ms (0.1%)

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)

series5.0ms (0.1%)

Counts

1 → 21

Calls

6 calls:

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

rewrite81.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1426×	`rational.json-5`
1424×	`exponential.json-3`
1424×	`rational.json-1`
1424×	`rational.json-2`
1424×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	52	13
2	182	13
3	688	13
4	2737	13

Stop Event

1×	node limit

Counts

1 → 32

Calls

Call 1

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

Outputs

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

simplify174.0ms (2%)

Algorithm

1×	egg-herbie

Rules

1274×	`rational.json-simplify-49`
1236×	`rational.json-simplify-2`
784×	`rational.json-simplify-43`
746×	`rational.json-simplify-54`
726×	`rational.json-simplify-1`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	82	731
1	185	731
2	466	731
3	2033	731
4	6272	719

Stop Event

1×	node limit

Counts

53 → 44

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 im (neg.f64 (*.f64 re im)))
(-.f64 (*.f64 re im) (neg.f64 im))
(-.f64 (+.f64 im (*.f64 re im)) 0)
(-.f64 0 (*.f64 im (-.f64 -1 re)))
(-.f64 (-.f64 im (-.f64 -1 (*.f64 re im))) 1)
(-.f64 (-.f64 (*.f64 re im) (-.f64 -1 im)) 1)
(-.f64 (-.f64 0 (-.f64 -1 (*.f64 re im))) (-.f64 1 im))
(-.f64 (-.f64 0 (-.f64 -1 im)) (-.f64 1 (*.f64 re im)))
(-.f64 (-.f64 0 (-.f64 -1 (+.f64 im (*.f64 re im)))) 1)
(*.f64 im (+.f64 re 1))
(*.f64 im (+.f64 re (/.f64 im im)))
(.f64 (+.f64 im (.f64 re im)) 1)
(.f64 (+.f64 im (.f64 re im)) (/.f64 (+.f64 im (.f64 re im)) (+.f64 im (.f64 re im))))
(.f64 1 (+.f64 im (.f64 re im)))
(.f64 (/.f64 (+.f64 im (.f64 re im)) (+.f64 im (.f64 re im))) (+.f64 im (.f64 re im)))
(*.f64 (+.f64 re 1) im)
(*.f64 (+.f64 re 1) (-.f64 -1 (-.f64 -1 im)))
(*.f64 (neg.f64 im) (-.f64 -1 re))
(.f64 (.f64 im im) (*.f64 (+.f64 re 1) (/.f64 1 im)))
(.f64 (.f64 im im) (+.f64 (/.f64 1 im) (*.f64 re (/.f64 1 im))))
(.f64 (.f64 (+.f64 im (.f64 re im)) (+.f64 im (.f64 re im))) (/.f64 1 (+.f64 im (*.f64 re im))))
(.f64 (.f64 (+.f64 im (.f64 re im)) (+.f64 im (.f64 re im))) (/.f64 (/.f64 (+.f64 im (.f64 re im)) (+.f64 im (.f64 re im))) (+.f64 im (*.f64 re im))))
(.f64 (/.f64 1 (+.f64 im (.f64 re im))) (.f64 (+.f64 im (.f64 re im)) (+.f64 im (*.f64 re im))))
(.f64 (.f64 im (.f64 (.f64 (+.f64 im (.f64 re im)) (+.f64 im (.f64 re im))) (.f64 im (.f64 (+.f64 re 1) (+.f64 re 1))))) (/.f64 (/.f64 1 (+.f64 im (.f64 re im))) (.f64 (+.f64 im (.f64 re im)) (+.f64 im (.f64 re im)))))
(.f64 (.f64 (+.f64 re 1) (/.f64 1 im)) (*.f64 im im))
(*.f64 (-.f64 -1 re) (neg.f64 im))
(.f64 (/.f64 (/.f64 1 (+.f64 im (.f64 re im))) (.f64 (+.f64 im (.f64 re im)) (+.f64 im (.f64 re im)))) (.f64 im (.f64 (.f64 (+.f64 im (.f64 re im)) (+.f64 im (.f64 re im))) (.f64 im (.f64 (+.f64 re 1) (+.f64 re 1))))))
(.f64 (.f64 (.f64 im (.f64 (.f64 (+.f64 im (.f64 re im)) (+.f64 im (.f64 re im))) (.f64 im (.f64 (+.f64 re 1) (+.f64 re 1))))) (.f64 im (.f64 (.f64 (+.f64 im (.f64 re im)) (+.f64 im (.f64 re im))) (.f64 im (.f64 (+.f64 re 1) (+.f64 re 1)))))) (/.f64 (/.f64 (/.f64 1 (+.f64 im (.f64 re im))) (.f64 (+.f64 im (.f64 re im)) (+.f64 im (.f64 re im)))) (.f64 im (.f64 (.f64 (+.f64 im (.f64 re im)) (+.f64 im (.f64 re im))) (.f64 im (*.f64 (+.f64 re 1) (+.f64 re 1)))))))
(/.f64 (+.f64 im (*.f64 re im)) 1)
(/.f64 (+.f64 im (.f64 re im)) (/.f64 (+.f64 im (.f64 re im)) (+.f64 im (*.f64 re im))))
(pow.f64 (+.f64 im (*.f64 re im)) 1)
(neg.f64 (*.f64 im (-.f64 -1 re)))

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 im re))
(*.f64 (+.f64 1 re) im)
(+.f64 im (*.f64 im re))
(*.f64 (+.f64 1 re) im)
(+.f64 im (*.f64 im re))
(*.f64 (+.f64 1 re) im)
(+.f64 im (*.f64 im re))
(*.f64 (+.f64 1 re) im)
(+.f64 im (*.f64 im re))
(*.f64 (+.f64 1 re) im)
(+.f64 im (*.f64 im re))
(*.f64 (+.f64 1 re) im)
(+.f64 im (*.f64 im re))
(*.f64 (+.f64 1 re) im)
(+.f64 im (*.f64 im re))
(.f64 -1 (.f64 im (-.f64 (*.f64 -1 re) 1)))
(+.f64 im (*.f64 im re))
(.f64 -1 (.f64 im (-.f64 (*.f64 -1 re) 1)))
(+.f64 im (*.f64 im re))
(.f64 -1 (.f64 im (-.f64 (*.f64 -1 re) 1)))
(+.f64 im (*.f64 im re))
(.f64 -1 (.f64 im (-.f64 (*.f64 -1 re) 1)))
(+.f64 im (*.f64 im re))
(-.f64 im (neg.f64 (*.f64 re im)))
(+.f64 im (*.f64 im re))
(-.f64 (*.f64 re im) (neg.f64 im))
(+.f64 im (*.f64 im re))
(-.f64 (+.f64 im (*.f64 re im)) 0)
(+.f64 im (*.f64 im re))
(-.f64 0 (*.f64 im (-.f64 -1 re)))
(+.f64 im (*.f64 im re))
(-.f64 (-.f64 im (-.f64 -1 (*.f64 re im))) 1)
(+.f64 im (*.f64 im re))
(-.f64 (-.f64 (*.f64 re im) (-.f64 -1 im)) 1)
(+.f64 im (*.f64 im re))
(-.f64 (-.f64 0 (-.f64 -1 (*.f64 re im))) (-.f64 1 im))
(+.f64 im (*.f64 im re))
(-.f64 (-.f64 0 (-.f64 -1 im)) (-.f64 1 (*.f64 re im)))
(+.f64 im (*.f64 im re))
(-.f64 (-.f64 0 (-.f64 -1 (+.f64 im (*.f64 re im)))) 1)
(+.f64 im (*.f64 im re))
(*.f64 im (+.f64 re 1))
(+.f64 im (*.f64 im re))
(*.f64 im (+.f64 re (/.f64 im im)))
(.f64 (+.f64 im (.f64 re im)) 1)
(+.f64 im (*.f64 im re))
(.f64 (+.f64 im (.f64 re im)) (/.f64 (+.f64 im (.f64 re im)) (+.f64 im (.f64 re im))))
(+.f64 im (*.f64 im re))
(.f64 1 (+.f64 im (.f64 re im)))
(+.f64 im (*.f64 im re))
(.f64 (/.f64 (+.f64 im (.f64 re im)) (+.f64 im (.f64 re im))) (+.f64 im (.f64 re im)))
(+.f64 im (*.f64 im re))
(*.f64 (+.f64 re 1) im)
(+.f64 im (*.f64 im re))
(*.f64 (+.f64 re 1) (-.f64 -1 (-.f64 -1 im)))
(+.f64 im (*.f64 im re))
(*.f64 (neg.f64 im) (-.f64 -1 re))
(+.f64 im (*.f64 im re))
(.f64 (.f64 im im) (*.f64 (+.f64 re 1) (/.f64 1 im)))
(.f64 im (.f64 im (*.f64 (+.f64 re 1) (/.f64 1 im))))
(.f64 im (.f64 (+.f64 im (*.f64 im re)) (/.f64 1 im)))
(.f64 (+.f64 re 1) (.f64 (/.f64 im im) (*.f64 im 1)))
(.f64 (+.f64 re 1) (.f64 im (/.f64 im im)))
(.f64 (.f64 im im) (+.f64 (/.f64 1 im) (*.f64 re (/.f64 1 im))))
(.f64 im (.f64 im (+.f64 (/.f64 1 im) (*.f64 re (/.f64 1 im)))))
(.f64 (.f64 (+.f64 im (.f64 re im)) (+.f64 im (.f64 re im))) (/.f64 1 (+.f64 im (*.f64 re im))))
(+.f64 im (*.f64 im re))
(.f64 (.f64 (+.f64 im (.f64 re im)) (+.f64 im (.f64 re im))) (/.f64 (/.f64 (+.f64 im (.f64 re im)) (+.f64 im (.f64 re im))) (+.f64 im (*.f64 re im))))
(+.f64 im (*.f64 im re))
(.f64 (/.f64 1 (+.f64 im (.f64 re im))) (.f64 (+.f64 im (.f64 re im)) (+.f64 im (*.f64 re im))))
(+.f64 im (*.f64 im re))
(.f64 (.f64 im (.f64 (.f64 (+.f64 im (.f64 re im)) (+.f64 im (.f64 re im))) (.f64 im (.f64 (+.f64 re 1) (+.f64 re 1))))) (/.f64 (/.f64 1 (+.f64 im (.f64 re im))) (.f64 (+.f64 im (.f64 re im)) (+.f64 im (.f64 re im)))))
(+.f64 im (*.f64 im re))
(.f64 (.f64 (+.f64 re 1) (/.f64 1 im)) (*.f64 im im))
(.f64 (.f64 im im) (*.f64 (+.f64 re 1) (/.f64 1 im)))
(.f64 im (.f64 im (*.f64 (+.f64 re 1) (/.f64 1 im))))
(.f64 im (.f64 (+.f64 im (*.f64 im re)) (/.f64 1 im)))
(.f64 (+.f64 re 1) (.f64 (/.f64 im im) (*.f64 im 1)))
(.f64 (+.f64 re 1) (.f64 im (/.f64 im im)))
(*.f64 (-.f64 -1 re) (neg.f64 im))
(+.f64 im (*.f64 im re))
(.f64 (/.f64 (/.f64 1 (+.f64 im (.f64 re im))) (.f64 (+.f64 im (.f64 re im)) (+.f64 im (.f64 re im)))) (.f64 im (.f64 (.f64 (+.f64 im (.f64 re im)) (+.f64 im (.f64 re im))) (.f64 im (.f64 (+.f64 re 1) (+.f64 re 1))))))
(+.f64 im (*.f64 im re))
(.f64 (.f64 (.f64 im (.f64 (.f64 (+.f64 im (.f64 re im)) (+.f64 im (.f64 re im))) (.f64 im (.f64 (+.f64 re 1) (+.f64 re 1))))) (.f64 im (.f64 (.f64 (+.f64 im (.f64 re im)) (+.f64 im (.f64 re im))) (.f64 im (.f64 (+.f64 re 1) (+.f64 re 1)))))) (/.f64 (/.f64 (/.f64 1 (+.f64 im (.f64 re im))) (.f64 (+.f64 im (.f64 re im)) (+.f64 im (.f64 re im)))) (.f64 im (.f64 (.f64 (+.f64 im (.f64 re im)) (+.f64 im (.f64 re im))) (.f64 im (*.f64 (+.f64 re 1) (+.f64 re 1)))))))
(+.f64 im (*.f64 im re))
(/.f64 (+.f64 im (*.f64 re im)) 1)
(+.f64 im (*.f64 im re))
(/.f64 (+.f64 im (.f64 re im)) (/.f64 (+.f64 im (.f64 re im)) (+.f64 im (*.f64 re im))))
(+.f64 im (*.f64 im re))
(pow.f64 (+.f64 im (*.f64 re im)) 1)
(+.f64 im (*.f64 im re))
(neg.f64 (*.f64 im (-.f64 -1 re)))
(+.f64 im (*.f64 im re))

eval7.0ms (0.1%)

Compiler: Compiled 567 to 207 computations (63.5% saved)

prune19.0ms (0.2%)

Pruning

12 alts after pruning (7 fresh and 5 done)

	Pruned	Kept	Total
New	38	6	44
Fresh	0	1	1
Picked	0	1	1
Done	0	4	4
Total	38	12	50

Error

0.0b

Counts

50 → 12

Alt Table

Click to see full alt table

Status	Error	Program
✓	43.4b	(+.f64 (*.f64 re im) im)
✓	24.8b	(+.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))))))
	57.7b	(.f64 (/.f64 (/.f64 1 (+.f64 im (.f64 re im))) (.f64 (+.f64 im (.f64 re im)) (+.f64 im (.f64 re im)))) (.f64 im (.f64 (.f64 (+.f64 im (.f64 re im)) (+.f64 im (.f64 re im))) (.f64 im (.f64 (+.f64 re 1) (+.f64 re 1))))))
▶	51.1b	(*.f64 (+.f64 re 1) (-.f64 -1 (-.f64 -1 im)))
▶	43.4b	(*.f64 (+.f64 re 1) im)
▶	51.3b	(.f64 (.f64 (+.f64 re 1) (/.f64 1 im)) (*.f64 im im))
✓	0.0b	(*.f64 (exp.f64 re) (sin.f64 im))
✓	19.1b	(*.f64 (exp.f64 re) im)
▶	61.5b	(*.f64 re im)
▶	43.4b	(.f64 im (.f64 (+.f64 im (*.f64 im re)) (/.f64 1 im)))
✓	24.6b	(sin.f64 im)
	43.2b	im

Compiler

Compiled 236 to 135 computations (42.8% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 8 computations (38.5% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite74.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1414×	`rational.json-5`
1412×	`exponential.json-3`
1412×	`rational.json-1`
1412×	`rational.json-2`
1412×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	60	13
2	192	13
3	708	13
4	2749	13

Stop Event

1×	node limit

Counts

1 → 9

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 re 1) im) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (+.f64 re 1) im))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (+.f64 re 1) im) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 (+.f64 re 1) im)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (*.f64 (+.f64 re 1) im))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 re 1) im) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 re 1) im) (/.f64 (*.f64 (+.f64 re 1) im) (*.f64 (+.f64 re 1) im)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (+.f64 re 1) im) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 (+.f64 re 1) im)))))))

simplify227.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

940×	`rational.json-simplify-111`
754×	`rational.json-simplify-2`
748×	`rational.json-simplify-104`
608×	`rational.json-simplify-1`
596×	`rational.json-simplify-79`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	405
1	54	405
2	121	405
3	362	405
4	1438	405
5	3760	405
6	5820	405
7	7675	405

Stop Event

1×	node limit

Counts

33 → 17

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 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 (+.f64 1 re) im)
(*.f64 (+.f64 1 re) im)
(*.f64 (+.f64 1 re) im)
(*.f64 (+.f64 1 re) im)
(+.f64 (*.f64 (+.f64 re 1) im) 0)
(+.f64 0 (*.f64 (+.f64 re 1) im))
(-.f64 (*.f64 (+.f64 re 1) im) 0)
(-.f64 0 (neg.f64 (*.f64 (+.f64 re 1) im)))
(-.f64 (-.f64 0 (-.f64 -1 (*.f64 (+.f64 re 1) im))) 1)
(/.f64 (*.f64 (+.f64 re 1) im) 1)
(/.f64 (.f64 (+.f64 re 1) im) (/.f64 (.f64 (+.f64 re 1) im) (*.f64 (+.f64 re 1) im)))
(pow.f64 (*.f64 (+.f64 re 1) im) 1)
(neg.f64 (neg.f64 (*.f64 (+.f64 re 1) im)))

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 1 re) im)
(*.f64 im (+.f64 re 1))
(*.f64 (+.f64 1 re) im)
(*.f64 im (+.f64 re 1))
(*.f64 (+.f64 1 re) im)
(*.f64 im (+.f64 re 1))
(*.f64 (+.f64 1 re) im)
(*.f64 im (+.f64 re 1))
(*.f64 (+.f64 1 re) im)
(*.f64 im (+.f64 re 1))
(*.f64 (+.f64 1 re) im)
(*.f64 im (+.f64 re 1))
(*.f64 (+.f64 1 re) im)
(*.f64 im (+.f64 re 1))
(*.f64 (+.f64 1 re) im)
(*.f64 im (+.f64 re 1))
(*.f64 (+.f64 1 re) im)
(*.f64 im (+.f64 re 1))
(*.f64 (+.f64 1 re) im)
(*.f64 im (+.f64 re 1))
(*.f64 (+.f64 1 re) im)
(*.f64 im (+.f64 re 1))
(*.f64 (+.f64 1 re) im)
(*.f64 im (+.f64 re 1))
(+.f64 (*.f64 (+.f64 re 1) im) 0)
(*.f64 im (+.f64 re 1))
(+.f64 0 (*.f64 (+.f64 re 1) im))
(*.f64 im (+.f64 re 1))
(-.f64 (*.f64 (+.f64 re 1) im) 0)
(*.f64 im (+.f64 re 1))
(-.f64 0 (neg.f64 (*.f64 (+.f64 re 1) im)))
(*.f64 im (+.f64 re 1))
(-.f64 (-.f64 0 (-.f64 -1 (*.f64 (+.f64 re 1) im))) 1)
(*.f64 im (+.f64 re 1))
(/.f64 (*.f64 (+.f64 re 1) im) 1)
(*.f64 im (+.f64 re 1))
(/.f64 (.f64 (+.f64 re 1) im) (/.f64 (.f64 (+.f64 re 1) im) (*.f64 (+.f64 re 1) im)))
(*.f64 im (+.f64 re 1))
(pow.f64 (*.f64 (+.f64 re 1) im) 1)
(*.f64 im (+.f64 re 1))
(neg.f64 (neg.f64 (*.f64 (+.f64 re 1) im)))
(*.f64 im (+.f64 re 1))

localize3.0ms (0%)

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

localize10.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 26 to 19 computations (26.9% saved)

series1.0ms (0%)

Counts

2 → 36

Calls

9 calls:

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

rewrite90.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

1668×	`rational.json-5`
1666×	`exponential.json-3`
1666×	`rational.json-1`
1666×	`rational.json-2`
1666×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	14
1	89	14
2	260	14
3	864	14
4	3304	14

Stop Event

1×	node limit

Counts

2 → 27

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (+.f64 im 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 im 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (+.f64 -1 im))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 im)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 im 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 -1 im) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (neg.f64 im))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 im 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 im (/.f64 im im))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 im)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 im im) im)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 im) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 im im) (/.f64 1 im))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 im) (*.f64 im im))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 im (*.f64 im (*.f64 im im))) (/.f64 (/.f64 1 im) (*.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 im) (*.f64 im im)) (*.f64 im (*.f64 im (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 im 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 im (/.f64 im im))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 im) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 im 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 im))))) (#(struct:change #<rule egg-rr> (2) ((x . im)))))

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

simplify171.0ms (2%)

Algorithm

1×	egg-herbie

Rules

1264×	`rational.json-simplify-2`
1194×	`rational.json-simplify-49`
920×	`rational.json-simplify-42`
894×	`rational.json-simplify-43`
838×	`rational.json-simplify-50`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	52	399
1	84	399
2	331	399
3	1784	399
4	5943	399

Stop Event

1×	node limit

Counts

63 → 34

Calls

Call 1

Inputs
im
im
im
im
im
im
im
im
im
im
im
im
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 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 (+.f64 1 re) im)
(*.f64 (+.f64 1 re) im)
(*.f64 (+.f64 1 re) im)
(*.f64 (+.f64 1 re) im)
(+.f64 -1 (+.f64 im 1))
(+.f64 im 0)
(+.f64 1 (+.f64 -1 im))
(+.f64 0 im)
(+.f64 (+.f64 im 1) -1)
(+.f64 (+.f64 -1 im) 1)
(*.f64 -1 (neg.f64 im))
(*.f64 im 1)
(*.f64 im (/.f64 im im))
(*.f64 1 im)
(*.f64 (/.f64 im im) im)
(*.f64 (neg.f64 im) -1)
(.f64 (.f64 im im) (/.f64 1 im))
(.f64 (/.f64 1 im) (.f64 im im))
(.f64 (.f64 im (.f64 im (.f64 im im))) (/.f64 (/.f64 1 im) (*.f64 im im)))
(.f64 (/.f64 (/.f64 1 im) (.f64 im im)) (.f64 im (.f64 im (*.f64 im im))))
(/.f64 im 1)
(/.f64 im (/.f64 im im))
(/.f64 (neg.f64 im) -1)
(pow.f64 im 1)
(neg.f64 (neg.f64 im))
(+.f64 (*.f64 im (+.f64 re 1)) 0)
(+.f64 0 (*.f64 im (+.f64 re 1)))
(-.f64 (*.f64 im (+.f64 re 1)) 0)
(/.f64 (*.f64 im (+.f64 re 1)) 1)
(/.f64 (.f64 im (+.f64 re 1)) (/.f64 (.f64 im (+.f64 re 1)) (*.f64 im (+.f64 re 1))))
(pow.f64 (*.f64 im (+.f64 re 1)) 1)

Outputs
im
im
im
im
im
im
im
im
im
im
im
im
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 1 re) im)
(+.f64 im (*.f64 im re))
(*.f64 (+.f64 1 re) im)
(+.f64 im (*.f64 im re))
(*.f64 (+.f64 1 re) im)
(+.f64 im (*.f64 im re))
(*.f64 (+.f64 1 re) im)
(+.f64 im (*.f64 im re))
(*.f64 (+.f64 1 re) im)
(+.f64 im (*.f64 im re))
(*.f64 (+.f64 1 re) im)
(+.f64 im (*.f64 im re))
(*.f64 (+.f64 1 re) im)
(+.f64 im (*.f64 im re))
(*.f64 (+.f64 1 re) im)
(+.f64 im (*.f64 im re))
(*.f64 (+.f64 1 re) im)
(+.f64 im (*.f64 im re))
(*.f64 (+.f64 1 re) im)
(+.f64 im (*.f64 im re))
(*.f64 (+.f64 1 re) im)
(+.f64 im (*.f64 im re))
(*.f64 (+.f64 1 re) im)
(+.f64 im (*.f64 im re))
(+.f64 -1 (+.f64 im 1))
im
(+.f64 im 0)
im
(+.f64 1 (+.f64 -1 im))
im
(+.f64 0 im)
im
(+.f64 (+.f64 im 1) -1)
im
(+.f64 (+.f64 -1 im) 1)
im
(*.f64 -1 (neg.f64 im))
im
(*.f64 im 1)
im
(*.f64 im (/.f64 im im))
im
(*.f64 1 im)
im
(*.f64 (/.f64 im im) im)
im
(*.f64 (neg.f64 im) -1)
im
(.f64 (.f64 im im) (/.f64 1 im))
im
(.f64 (/.f64 1 im) (.f64 im im))
im
(.f64 (.f64 im (.f64 im (.f64 im im))) (/.f64 (/.f64 1 im) (*.f64 im im)))
im
(.f64 (/.f64 (/.f64 1 im) (.f64 im im)) (.f64 im (.f64 im (*.f64 im im))))
im
(/.f64 im 1)
im
(/.f64 im (/.f64 im im))
im
(/.f64 (neg.f64 im) -1)
im
(pow.f64 im 1)
im
(neg.f64 (neg.f64 im))
im
(+.f64 (*.f64 im (+.f64 re 1)) 0)
(+.f64 im (*.f64 im re))
(+.f64 0 (*.f64 im (+.f64 re 1)))
(+.f64 im (*.f64 im re))
(-.f64 (*.f64 im (+.f64 re 1)) 0)
(+.f64 im (*.f64 im re))
(/.f64 (*.f64 im (+.f64 re 1)) 1)
(+.f64 im (*.f64 im re))
(/.f64 (.f64 im (+.f64 re 1)) (/.f64 (.f64 im (+.f64 re 1)) (*.f64 im (+.f64 re 1))))
(+.f64 im (*.f64 im re))
(pow.f64 (*.f64 im (+.f64 re 1)) 1)
(+.f64 im (*.f64 im re))

localize12.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 36 to 14 computations (61.1% saved)

series3.0ms (0%)

Counts

3 → 72

Calls

18 calls:

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

rewrite119.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

908×	`rational.json-simplify-49`
796×	`rational.json-simplify-47`
742×	`rational.json-simplify-50`
534×	`rational.json-simplify-76`
516×	`rational.json-5`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	10	69
1	88	69
2	283	57
3	1088	57
4	4649	57

Stop Event

1×	node limit

Counts

3 → 50

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 im (/.f64 (+.f64 re 1) im)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 im (/.f64 (+.f64 re 1) im)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 im (/.f64 (+.f64 re 1) im)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 im (/.f64 (+.f64 re 1) im))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (*.f64 im (/.f64 (+.f64 re 1) im)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 im (/.f64 (+.f64 re 1) im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 im (/.f64 (+.f64 re 1) im)) (/.f64 (*.f64 im (/.f64 (+.f64 re 1) im)) (*.f64 im (/.f64 (+.f64 re 1) im))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 im (/.f64 (+.f64 re 1) im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 im (/.f64 (+.f64 re 1) im))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 im (*.f64 im (/.f64 (+.f64 re 1) im))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 im (*.f64 im (/.f64 (+.f64 re 1) im))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 im (*.f64 im (/.f64 (+.f64 re 1) im))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 im (*.f64 im (/.f64 (+.f64 re 1) im)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (*.f64 im (*.f64 im (/.f64 (+.f64 re 1) im))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 im (*.f64 im (/.f64 (+.f64 re 1) im))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 im (*.f64 im (/.f64 (+.f64 re 1) im))) (/.f64 (*.f64 im (*.f64 im (/.f64 (+.f64 re 1) im))) (*.f64 im (*.f64 im (/.f64 (+.f64 re 1) im)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 im (*.f64 im (/.f64 (+.f64 re 1) im))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 im (*.f64 im (/.f64 (+.f64 re 1) im)))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 im (neg.f64 (*.f64 im re)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 im re) (neg.f64 im))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 im (+.f64 re 1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (*.f64 im (-.f64 -1 re)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 im (-.f64 -1 (*.f64 im re))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 im)) (-.f64 1 (*.f64 im re)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (*.f64 im re))) (-.f64 1 im))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (*.f64 im (+.f64 re 1)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (*.f64 im re) (-.f64 -1 im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 im (+.f64 re 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 im (+.f64 re (/.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 im (+.f64 re 1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 im (+.f64 re 1)) (/.f64 (*.f64 im (+.f64 re 1)) (*.f64 im (+.f64 re 1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 im (+.f64 re 1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 im (+.f64 re 1)) (*.f64 im (+.f64 re 1))) (*.f64 im (+.f64 re 1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 re 1) im)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 re 1) (-.f64 -1 (-.f64 -1 im)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 im) (-.f64 -1 re))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 im (*.f64 (*.f64 im (+.f64 re 1)) (+.f64 re 1))) (/.f64 1 (*.f64 im (+.f64 re 1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 im (*.f64 (*.f64 im (+.f64 re 1)) (+.f64 re 1))) (*.f64 (/.f64 1 (*.f64 im (+.f64 re 1))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 im (*.f64 (*.f64 im (+.f64 re 1)) (+.f64 re 1))) (/.f64 (/.f64 (*.f64 im (+.f64 re 1)) (*.f64 im (+.f64 re 1))) (*.f64 im (+.f64 re 1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 im im) (*.f64 (/.f64 1 im) (+.f64 re 1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 im im) (+.f64 (/.f64 1 im) (*.f64 re (/.f64 1 im))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 1 im) (+.f64 re 1)) (*.f64 im im))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (*.f64 im (+.f64 re 1))) (*.f64 im (*.f64 (*.f64 im (+.f64 re 1)) (+.f64 re 1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 im (*.f64 (*.f64 im (+.f64 re 1)) (+.f64 re 1))) (*.f64 im (*.f64 (*.f64 im (+.f64 re 1)) (+.f64 re 1)))) (/.f64 (/.f64 1 (*.f64 im (+.f64 re 1))) (*.f64 im (*.f64 (*.f64 im (+.f64 re 1)) (+.f64 re 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 im (*.f64 (*.f64 im (+.f64 re 1)) (+.f64 re 1))) (*.f64 im (*.f64 (*.f64 im (+.f64 re 1)) (+.f64 re 1)))) (/.f64 (*.f64 (/.f64 1 (*.f64 im (+.f64 re 1))) 1) (*.f64 im (*.f64 (*.f64 im (+.f64 re 1)) (+.f64 re 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (*.f64 im (*.f64 (*.f64 im (+.f64 re 1)) (+.f64 re 1))) (*.f64 im (*.f64 (*.f64 im (+.f64 re 1)) (+.f64 re 1)))) (*.f64 (*.f64 im (*.f64 (*.f64 im (+.f64 re 1)) (+.f64 re 1))) (*.f64 im (*.f64 (*.f64 im (+.f64 re 1)) (+.f64 re 1))))) (/.f64 (/.f64 (/.f64 1 (*.f64 im (+.f64 re 1))) (*.f64 im (*.f64 (*.f64 im (+.f64 re 1)) (+.f64 re 1)))) (*.f64 (*.f64 im (*.f64 (*.f64 im (+.f64 re 1)) (+.f64 re 1))) (*.f64 im (*.f64 (*.f64 im (+.f64 re 1)) (+.f64 re 1))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 im (+.f64 re 1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 im (+.f64 re 1)) (/.f64 (*.f64 im (+.f64 re 1)) (*.f64 im (+.f64 re 1))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 im (+.f64 re 1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 im (-.f64 -1 re)))))))

simplify195.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

1432×	`rational.json-simplify-2`
1246×	`rational.json-simplify-47`
982×	`rational.json-simplify-1`
916×	`rational.json-simplify-54`
782×	`rational.json-simplify-43`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	114	1460
1	269	1460
2	628	1460
3	2226	1460
4	7259	1460

Stop Event

1×	node limit

Counts

122 → 63

Calls

Call 1

Inputs
(+.f64 1 re)
(+.f64 1 re)
(+.f64 1 re)
(+.f64 1 re)
(+.f64 1 re)
(+.f64 1 re)
(+.f64 1 re)
(+.f64 1 re)
(.f64 -1 (-.f64 (.f64 -1 re) 1))
(.f64 -1 (-.f64 (.f64 -1 re) 1))
(.f64 -1 (-.f64 (.f64 -1 re) 1))
(.f64 -1 (-.f64 (.f64 -1 re) 1))
1
(+.f64 1 re)
(+.f64 1 re)
(+.f64 1 re)
re
(+.f64 1 re)
(+.f64 1 re)
(+.f64 1 re)
re
(+.f64 1 re)
(+.f64 1 re)
(+.f64 1 re)
(*.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)))
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 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)))
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 im (/.f64 (+.f64 re 1) im)) 0)
(+.f64 0 (*.f64 im (/.f64 (+.f64 re 1) im)))
(-.f64 (*.f64 im (/.f64 (+.f64 re 1) im)) 0)
(-.f64 0 (neg.f64 (*.f64 im (/.f64 (+.f64 re 1) im))))
(-.f64 (-.f64 0 (-.f64 -1 (*.f64 im (/.f64 (+.f64 re 1) im)))) 1)
(/.f64 (*.f64 im (/.f64 (+.f64 re 1) im)) 1)
(/.f64 (.f64 im (/.f64 (+.f64 re 1) im)) (/.f64 (.f64 im (/.f64 (+.f64 re 1) im)) (*.f64 im (/.f64 (+.f64 re 1) im))))
(pow.f64 (*.f64 im (/.f64 (+.f64 re 1) im)) 1)
(neg.f64 (neg.f64 (*.f64 im (/.f64 (+.f64 re 1) im))))
(+.f64 (.f64 im (.f64 im (/.f64 (+.f64 re 1) im))) 0)
(+.f64 0 (.f64 im (.f64 im (/.f64 (+.f64 re 1) im))))
(-.f64 (.f64 im (.f64 im (/.f64 (+.f64 re 1) im))) 0)
(-.f64 0 (neg.f64 (.f64 im (.f64 im (/.f64 (+.f64 re 1) im)))))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 im (.f64 im (/.f64 (+.f64 re 1) im))))) 1)
(/.f64 (.f64 im (.f64 im (/.f64 (+.f64 re 1) im))) 1)
(/.f64 (.f64 im (.f64 im (/.f64 (+.f64 re 1) im))) (/.f64 (.f64 im (.f64 im (/.f64 (+.f64 re 1) im))) (.f64 im (.f64 im (/.f64 (+.f64 re 1) im)))))
(pow.f64 (.f64 im (.f64 im (/.f64 (+.f64 re 1) im))) 1)
(neg.f64 (neg.f64 (.f64 im (.f64 im (/.f64 (+.f64 re 1) im)))))
(-.f64 im (neg.f64 (*.f64 im re)))
(-.f64 (*.f64 im re) (neg.f64 im))
(-.f64 (*.f64 im (+.f64 re 1)) 0)
(-.f64 0 (*.f64 im (-.f64 -1 re)))
(-.f64 (-.f64 im (-.f64 -1 (*.f64 im re))) 1)
(-.f64 (-.f64 0 (-.f64 -1 im)) (-.f64 1 (*.f64 im re)))
(-.f64 (-.f64 0 (-.f64 -1 (*.f64 im re))) (-.f64 1 im))
(-.f64 (-.f64 0 (-.f64 -1 (*.f64 im (+.f64 re 1)))) 1)
(-.f64 (-.f64 (*.f64 im re) (-.f64 -1 im)) 1)
(*.f64 im (+.f64 re 1))
(*.f64 im (+.f64 re (/.f64 im im)))
(.f64 (.f64 im (+.f64 re 1)) 1)
(.f64 (.f64 im (+.f64 re 1)) (/.f64 (.f64 im (+.f64 re 1)) (.f64 im (+.f64 re 1))))
(.f64 1 (.f64 im (+.f64 re 1)))
(.f64 (/.f64 (.f64 im (+.f64 re 1)) (.f64 im (+.f64 re 1))) (.f64 im (+.f64 re 1)))
(*.f64 (+.f64 re 1) im)
(*.f64 (+.f64 re 1) (-.f64 -1 (-.f64 -1 im)))
(*.f64 (neg.f64 im) (-.f64 -1 re))
(.f64 (.f64 im (.f64 (.f64 im (+.f64 re 1)) (+.f64 re 1))) (/.f64 1 (*.f64 im (+.f64 re 1))))
(.f64 (.f64 im (.f64 (.f64 im (+.f64 re 1)) (+.f64 re 1))) (.f64 (/.f64 1 (.f64 im (+.f64 re 1))) 1))
(.f64 (.f64 im (.f64 (.f64 im (+.f64 re 1)) (+.f64 re 1))) (/.f64 (/.f64 (.f64 im (+.f64 re 1)) (.f64 im (+.f64 re 1))) (*.f64 im (+.f64 re 1))))
(.f64 (.f64 im im) (*.f64 (/.f64 1 im) (+.f64 re 1)))
(.f64 (.f64 im im) (+.f64 (/.f64 1 im) (*.f64 re (/.f64 1 im))))
(.f64 (.f64 (/.f64 1 im) (+.f64 re 1)) (*.f64 im im))
(.f64 (/.f64 1 (.f64 im (+.f64 re 1))) (.f64 im (.f64 (*.f64 im (+.f64 re 1)) (+.f64 re 1))))
(.f64 (.f64 (.f64 im (.f64 (.f64 im (+.f64 re 1)) (+.f64 re 1))) (.f64 im (.f64 (.f64 im (+.f64 re 1)) (+.f64 re 1)))) (/.f64 (/.f64 1 (.f64 im (+.f64 re 1))) (.f64 im (.f64 (.f64 im (+.f64 re 1)) (+.f64 re 1)))))
(.f64 (.f64 (.f64 im (.f64 (.f64 im (+.f64 re 1)) (+.f64 re 1))) (.f64 im (.f64 (.f64 im (+.f64 re 1)) (+.f64 re 1)))) (/.f64 (.f64 (/.f64 1 (.f64 im (+.f64 re 1))) 1) (.f64 im (.f64 (*.f64 im (+.f64 re 1)) (+.f64 re 1)))))
(.f64 (.f64 (.f64 (.f64 im (.f64 (.f64 im (+.f64 re 1)) (+.f64 re 1))) (.f64 im (.f64 (.f64 im (+.f64 re 1)) (+.f64 re 1)))) (.f64 (.f64 im (.f64 (.f64 im (+.f64 re 1)) (+.f64 re 1))) (.f64 im (.f64 (.f64 im (+.f64 re 1)) (+.f64 re 1))))) (/.f64 (/.f64 (/.f64 1 (.f64 im (+.f64 re 1))) (.f64 im (.f64 (.f64 im (+.f64 re 1)) (+.f64 re 1)))) (.f64 (.f64 im (.f64 (.f64 im (+.f64 re 1)) (+.f64 re 1))) (.f64 im (.f64 (*.f64 im (+.f64 re 1)) (+.f64 re 1))))))
(/.f64 (*.f64 im (+.f64 re 1)) 1)
(/.f64 (.f64 im (+.f64 re 1)) (/.f64 (.f64 im (+.f64 re 1)) (*.f64 im (+.f64 re 1))))
(pow.f64 (*.f64 im (+.f64 re 1)) 1)
(neg.f64 (*.f64 im (-.f64 -1 re)))

Outputs
(+.f64 1 re)
(+.f64 1 re)
(+.f64 1 re)
(+.f64 1 re)
(+.f64 1 re)
(+.f64 1 re)
(+.f64 1 re)
(+.f64 1 re)
(.f64 -1 (-.f64 (.f64 -1 re) 1))
(+.f64 1 re)
(.f64 -1 (-.f64 (.f64 -1 re) 1))
(+.f64 1 re)
(.f64 -1 (-.f64 (.f64 -1 re) 1))
(+.f64 1 re)
(.f64 -1 (-.f64 (.f64 -1 re) 1))
(+.f64 1 re)
1
(+.f64 1 re)
(+.f64 1 re)
(+.f64 1 re)
re
(+.f64 1 re)
(+.f64 1 re)
(+.f64 1 re)
re
(+.f64 1 re)
(+.f64 1 re)
(+.f64 1 re)
(*.f64 (+.f64 1 re) im)
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(*.f64 (+.f64 1 re) im)
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(*.f64 (+.f64 1 re) im)
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(*.f64 (+.f64 1 re) im)
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(*.f64 (+.f64 1 re) im)
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(*.f64 (+.f64 1 re) im)
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(*.f64 (+.f64 1 re) im)
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(*.f64 (+.f64 1 re) im)
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(.f64 -1 (.f64 im (-.f64 (*.f64 -1 re) 1)))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(.f64 -1 (.f64 im (-.f64 (*.f64 -1 re) 1)))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(.f64 -1 (.f64 im (-.f64 (*.f64 -1 re) 1)))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(.f64 -1 (.f64 im (-.f64 (*.f64 -1 re) 1)))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
im
(+.f64 (*.f64 re im) im)
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(+.f64 (*.f64 re im) im)
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(+.f64 (*.f64 re im) im)
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(*.f64 re im)
(+.f64 im (*.f64 re im))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(*.f64 im (+.f64 1 re))
(*.f64 re im)
(+.f64 im (*.f64 re im))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(*.f64 im (+.f64 1 re))
(*.f64 (+.f64 1 re) im)
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(*.f64 (+.f64 1 re) im)
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(*.f64 (+.f64 1 re) im)
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(*.f64 (+.f64 1 re) im)
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(*.f64 (+.f64 1 re) im)
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(*.f64 (+.f64 1 re) im)
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(*.f64 (+.f64 1 re) im)
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(*.f64 (+.f64 1 re) im)
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(.f64 -1 (.f64 im (-.f64 (*.f64 -1 re) 1)))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(.f64 -1 (.f64 im (-.f64 (*.f64 -1 re) 1)))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(.f64 -1 (.f64 im (-.f64 (*.f64 -1 re) 1)))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(.f64 -1 (.f64 im (-.f64 (*.f64 -1 re) 1)))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
im
(+.f64 (*.f64 re im) im)
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(+.f64 (*.f64 re im) im)
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(+.f64 (*.f64 re im) im)
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(*.f64 re im)
(+.f64 im (*.f64 re im))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(*.f64 im (+.f64 1 re))
(*.f64 re im)
(+.f64 im (*.f64 re im))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(*.f64 im (+.f64 1 re))
(+.f64 (*.f64 im (/.f64 (+.f64 re 1) im)) 0)
(*.f64 im (/.f64 (+.f64 1 re) im))
(+.f64 0 (*.f64 im (/.f64 (+.f64 re 1) im)))
(*.f64 im (/.f64 (+.f64 1 re) im))
(-.f64 (*.f64 im (/.f64 (+.f64 re 1) im)) 0)
(*.f64 im (/.f64 (+.f64 1 re) im))
(-.f64 0 (neg.f64 (*.f64 im (/.f64 (+.f64 re 1) im))))
(*.f64 im (/.f64 (+.f64 1 re) im))
(-.f64 (-.f64 0 (-.f64 -1 (*.f64 im (/.f64 (+.f64 re 1) im)))) 1)
(*.f64 im (/.f64 (+.f64 1 re) im))
(/.f64 (*.f64 im (/.f64 (+.f64 re 1) im)) 1)
(*.f64 im (/.f64 (+.f64 1 re) im))
(/.f64 (.f64 im (/.f64 (+.f64 re 1) im)) (/.f64 (.f64 im (/.f64 (+.f64 re 1) im)) (*.f64 im (/.f64 (+.f64 re 1) im))))
(*.f64 im (/.f64 (+.f64 1 re) im))
(pow.f64 (*.f64 im (/.f64 (+.f64 re 1) im)) 1)
(*.f64 im (/.f64 (+.f64 1 re) im))
(neg.f64 (neg.f64 (*.f64 im (/.f64 (+.f64 re 1) im))))
(*.f64 im (/.f64 (+.f64 1 re) im))
(+.f64 (.f64 im (.f64 im (/.f64 (+.f64 re 1) im))) 0)
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(+.f64 0 (.f64 im (.f64 im (/.f64 (+.f64 re 1) im))))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(-.f64 (.f64 im (.f64 im (/.f64 (+.f64 re 1) im))) 0)
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(-.f64 0 (neg.f64 (.f64 im (.f64 im (/.f64 (+.f64 re 1) im)))))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 im (.f64 im (/.f64 (+.f64 re 1) im))))) 1)
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(/.f64 (.f64 im (.f64 im (/.f64 (+.f64 re 1) im))) 1)
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(/.f64 (.f64 im (.f64 im (/.f64 (+.f64 re 1) im))) (/.f64 (.f64 im (.f64 im (/.f64 (+.f64 re 1) im))) (.f64 im (.f64 im (/.f64 (+.f64 re 1) im)))))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(pow.f64 (.f64 im (.f64 im (/.f64 (+.f64 re 1) im))) 1)
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(neg.f64 (neg.f64 (.f64 im (.f64 im (/.f64 (+.f64 re 1) im)))))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(-.f64 im (neg.f64 (*.f64 im re)))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(-.f64 (*.f64 im re) (neg.f64 im))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(-.f64 (*.f64 im (+.f64 re 1)) 0)
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(-.f64 0 (*.f64 im (-.f64 -1 re)))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(-.f64 (-.f64 im (-.f64 -1 (*.f64 im re))) 1)
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(-.f64 (-.f64 0 (-.f64 -1 im)) (-.f64 1 (*.f64 im re)))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(-.f64 (-.f64 0 (-.f64 -1 (*.f64 im re))) (-.f64 1 im))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(-.f64 (-.f64 0 (-.f64 -1 (*.f64 im (+.f64 re 1)))) 1)
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(-.f64 (-.f64 (*.f64 im re) (-.f64 -1 im)) 1)
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(*.f64 im (+.f64 re 1))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(*.f64 im (+.f64 re (/.f64 im im)))
(.f64 (.f64 im (+.f64 re 1)) 1)
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(.f64 (.f64 im (+.f64 re 1)) (/.f64 (.f64 im (+.f64 re 1)) (.f64 im (+.f64 re 1))))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(.f64 1 (.f64 im (+.f64 re 1)))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(.f64 (/.f64 (.f64 im (+.f64 re 1)) (.f64 im (+.f64 re 1))) (.f64 im (+.f64 re 1)))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(*.f64 (+.f64 re 1) im)
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(*.f64 (+.f64 re 1) (-.f64 -1 (-.f64 -1 im)))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(*.f64 (neg.f64 im) (-.f64 -1 re))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(.f64 (.f64 im (.f64 (.f64 im (+.f64 re 1)) (+.f64 re 1))) (/.f64 1 (*.f64 im (+.f64 re 1))))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(.f64 (.f64 im (.f64 (.f64 im (+.f64 re 1)) (+.f64 re 1))) (.f64 (/.f64 1 (.f64 im (+.f64 re 1))) 1))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(.f64 (.f64 im (.f64 (.f64 im (+.f64 re 1)) (+.f64 re 1))) (/.f64 (/.f64 (.f64 im (+.f64 re 1)) (.f64 im (+.f64 re 1))) (*.f64 im (+.f64 re 1))))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(.f64 (.f64 im im) (*.f64 (/.f64 1 im) (+.f64 re 1)))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(.f64 (.f64 im im) (+.f64 (/.f64 1 im) (*.f64 re (/.f64 1 im))))
(.f64 im (.f64 im (+.f64 (/.f64 1 im) (*.f64 re (/.f64 1 im)))))
(.f64 (.f64 (/.f64 1 im) (+.f64 re 1)) (*.f64 im im))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(.f64 (/.f64 1 (.f64 im (+.f64 re 1))) (.f64 im (.f64 (*.f64 im (+.f64 re 1)) (+.f64 re 1))))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(.f64 (.f64 (.f64 im (.f64 (.f64 im (+.f64 re 1)) (+.f64 re 1))) (.f64 im (.f64 (.f64 im (+.f64 re 1)) (+.f64 re 1)))) (/.f64 (/.f64 1 (.f64 im (+.f64 re 1))) (.f64 im (.f64 (.f64 im (+.f64 re 1)) (+.f64 re 1)))))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(.f64 (.f64 (.f64 im (.f64 (.f64 im (+.f64 re 1)) (+.f64 re 1))) (.f64 im (.f64 (.f64 im (+.f64 re 1)) (+.f64 re 1)))) (/.f64 (.f64 (/.f64 1 (.f64 im (+.f64 re 1))) 1) (.f64 im (.f64 (*.f64 im (+.f64 re 1)) (+.f64 re 1)))))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(.f64 (.f64 (.f64 (.f64 im (.f64 (.f64 im (+.f64 re 1)) (+.f64 re 1))) (.f64 im (.f64 (.f64 im (+.f64 re 1)) (+.f64 re 1)))) (.f64 (.f64 im (.f64 (.f64 im (+.f64 re 1)) (+.f64 re 1))) (.f64 im (.f64 (.f64 im (+.f64 re 1)) (+.f64 re 1))))) (/.f64 (/.f64 (/.f64 1 (.f64 im (+.f64 re 1))) (.f64 im (.f64 (.f64 im (+.f64 re 1)) (+.f64 re 1)))) (.f64 (.f64 im (.f64 (.f64 im (+.f64 re 1)) (+.f64 re 1))) (.f64 im (.f64 (*.f64 im (+.f64 re 1)) (+.f64 re 1))))))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(/.f64 (*.f64 im (+.f64 re 1)) 1)
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(/.f64 (.f64 im (+.f64 re 1)) (/.f64 (.f64 im (+.f64 re 1)) (*.f64 im (+.f64 re 1))))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(pow.f64 (*.f64 im (+.f64 re 1)) 1)
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))
(neg.f64 (*.f64 im (-.f64 -1 re)))
(*.f64 im (+.f64 1 re))
(+.f64 im (*.f64 re im))

localize12.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 32 to 19 computations (40.6% saved)

series4.0ms (0.1%)

Counts

2 → 48

Calls

12 calls:

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

rewrite112.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1298×	`rational.json-simplify-49`
1006×	`rational.json-simplify-47`
674×	`rational.json-simplify-58`
578×	`rational.json-simplify-55`
570×	`rational.json-simplify-43`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	10	50
1	88	50
2	294	32
3	1154	32
4	5015	32

Stop Event

1×	node limit

Counts

2 → 18

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 re 1) im) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (+.f64 re 1) im))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (+.f64 re 1) im) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 (+.f64 re 1) im)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (*.f64 (+.f64 re 1) im))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 re 1) im) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 re 1) im) (/.f64 (*.f64 (+.f64 re 1) im) (*.f64 (+.f64 re 1) im)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (+.f64 re 1) im) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 (+.f64 re 1) im)))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 re 1) (/.f64 1 im)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (+.f64 re 1) (/.f64 1 im)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (+.f64 re 1) (/.f64 1 im)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 (+.f64 re 1) (/.f64 1 im))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (*.f64 (+.f64 re 1) (/.f64 1 im)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 re 1) (/.f64 1 im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 re 1) (/.f64 1 im)) (/.f64 (*.f64 (+.f64 re 1) (/.f64 1 im)) (*.f64 (+.f64 re 1) (/.f64 1 im))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (+.f64 re 1) (/.f64 1 im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 (+.f64 re 1) (/.f64 1 im))))))))

simplify151.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

1232×	`rational.json-simplify-49`
854×	`rational.json-simplify-54`
778×	`rational.json-simplify-111`
740×	`rational.json-simplify-43`
700×	`rational.json-simplify-47`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	46	924
1	93	924
2	215	924
3	671	924
4	2767	924
5	7435	924

Stop Event

1×	node limit

Counts

66 → 33

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 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 (+.f64 1 re) im)
(*.f64 (+.f64 1 re) im)
(*.f64 (+.f64 1 re) im)
(*.f64 (+.f64 1 re) im)
(/.f64 1 im)
(+.f64 (/.f64 re im) (/.f64 1 im))
(+.f64 (/.f64 re im) (/.f64 1 im))
(+.f64 (/.f64 re im) (/.f64 1 im))
(/.f64 re im)
(+.f64 (/.f64 re im) (/.f64 1 im))
(+.f64 (/.f64 re im) (/.f64 1 im))
(+.f64 (/.f64 re im) (/.f64 1 im))
(/.f64 re im)
(+.f64 (/.f64 re im) (/.f64 1 im))
(+.f64 (/.f64 re im) (/.f64 1 im))
(+.f64 (/.f64 re im) (/.f64 1 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 (+.f64 1 re) im)
(/.f64 (+.f64 1 re) im)
(/.f64 (+.f64 1 re) im)
(/.f64 (+.f64 1 re) im)
(+.f64 (*.f64 (+.f64 re 1) im) 0)
(+.f64 0 (*.f64 (+.f64 re 1) im))
(-.f64 (*.f64 (+.f64 re 1) im) 0)
(-.f64 0 (neg.f64 (*.f64 (+.f64 re 1) im)))
(-.f64 (-.f64 0 (-.f64 -1 (*.f64 (+.f64 re 1) im))) 1)
(/.f64 (*.f64 (+.f64 re 1) im) 1)
(/.f64 (.f64 (+.f64 re 1) im) (/.f64 (.f64 (+.f64 re 1) im) (*.f64 (+.f64 re 1) im)))
(pow.f64 (*.f64 (+.f64 re 1) im) 1)
(neg.f64 (neg.f64 (*.f64 (+.f64 re 1) im)))
(+.f64 (*.f64 (+.f64 re 1) (/.f64 1 im)) 0)
(+.f64 0 (*.f64 (+.f64 re 1) (/.f64 1 im)))
(-.f64 (*.f64 (+.f64 re 1) (/.f64 1 im)) 0)
(-.f64 0 (neg.f64 (*.f64 (+.f64 re 1) (/.f64 1 im))))
(-.f64 (-.f64 0 (-.f64 -1 (*.f64 (+.f64 re 1) (/.f64 1 im)))) 1)
(/.f64 (*.f64 (+.f64 re 1) (/.f64 1 im)) 1)
(/.f64 (.f64 (+.f64 re 1) (/.f64 1 im)) (/.f64 (.f64 (+.f64 re 1) (/.f64 1 im)) (*.f64 (+.f64 re 1) (/.f64 1 im))))
(pow.f64 (*.f64 (+.f64 re 1) (/.f64 1 im)) 1)
(neg.f64 (neg.f64 (*.f64 (+.f64 re 1) (/.f64 1 im))))

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 1 re) im)
(*.f64 im (+.f64 re 1))
(*.f64 (+.f64 1 re) im)
(*.f64 im (+.f64 re 1))
(*.f64 (+.f64 1 re) im)
(*.f64 im (+.f64 re 1))
(*.f64 (+.f64 1 re) im)
(*.f64 im (+.f64 re 1))
(*.f64 (+.f64 1 re) im)
(*.f64 im (+.f64 re 1))
(*.f64 (+.f64 1 re) im)
(*.f64 im (+.f64 re 1))
(*.f64 (+.f64 1 re) im)
(*.f64 im (+.f64 re 1))
(*.f64 (+.f64 1 re) im)
(*.f64 im (+.f64 re 1))
(*.f64 (+.f64 1 re) im)
(*.f64 im (+.f64 re 1))
(*.f64 (+.f64 1 re) im)
(*.f64 im (+.f64 re 1))
(*.f64 (+.f64 1 re) im)
(*.f64 im (+.f64 re 1))
(*.f64 (+.f64 1 re) im)
(*.f64 im (+.f64 re 1))
(/.f64 1 im)
(+.f64 (/.f64 re im) (/.f64 1 im))
(+.f64 (/.f64 1 im) (/.f64 re im))
(+.f64 (/.f64 re im) (/.f64 1 im))
(+.f64 (/.f64 1 im) (/.f64 re im))
(+.f64 (/.f64 re im) (/.f64 1 im))
(+.f64 (/.f64 1 im) (/.f64 re im))
(/.f64 re im)
(+.f64 (/.f64 re im) (/.f64 1 im))
(+.f64 (/.f64 1 im) (/.f64 re im))
(+.f64 (/.f64 re im) (/.f64 1 im))
(+.f64 (/.f64 1 im) (/.f64 re im))
(+.f64 (/.f64 re im) (/.f64 1 im))
(+.f64 (/.f64 1 im) (/.f64 re im))
(/.f64 re im)
(+.f64 (/.f64 re im) (/.f64 1 im))
(+.f64 (/.f64 1 im) (/.f64 re im))
(+.f64 (/.f64 re im) (/.f64 1 im))
(+.f64 (/.f64 1 im) (/.f64 re im))
(+.f64 (/.f64 re im) (/.f64 1 im))
(+.f64 (/.f64 1 im) (/.f64 re im))
(/.f64 (+.f64 1 re) im)
(/.f64 (+.f64 re 1) im)
(/.f64 (+.f64 1 re) im)
(/.f64 (+.f64 re 1) im)
(/.f64 (+.f64 1 re) im)
(/.f64 (+.f64 re 1) im)
(/.f64 (+.f64 1 re) im)
(/.f64 (+.f64 re 1) im)
(/.f64 (+.f64 1 re) im)
(/.f64 (+.f64 re 1) im)
(/.f64 (+.f64 1 re) im)
(/.f64 (+.f64 re 1) im)
(/.f64 (+.f64 1 re) im)
(/.f64 (+.f64 re 1) im)
(/.f64 (+.f64 1 re) im)
(/.f64 (+.f64 re 1) im)
(/.f64 (+.f64 1 re) im)
(/.f64 (+.f64 re 1) im)
(/.f64 (+.f64 1 re) im)
(/.f64 (+.f64 re 1) im)
(/.f64 (+.f64 1 re) im)
(/.f64 (+.f64 re 1) im)
(/.f64 (+.f64 1 re) im)
(/.f64 (+.f64 re 1) im)
(+.f64 (*.f64 (+.f64 re 1) im) 0)
(*.f64 im (+.f64 re 1))
(+.f64 0 (*.f64 (+.f64 re 1) im))
(*.f64 im (+.f64 re 1))
(-.f64 (*.f64 (+.f64 re 1) im) 0)
(*.f64 im (+.f64 re 1))
(-.f64 0 (neg.f64 (*.f64 (+.f64 re 1) im)))
(*.f64 im (+.f64 re 1))
(-.f64 (-.f64 0 (-.f64 -1 (*.f64 (+.f64 re 1) im))) 1)
(*.f64 im (+.f64 re 1))
(/.f64 (*.f64 (+.f64 re 1) im) 1)
(*.f64 im (+.f64 re 1))
(/.f64 (.f64 (+.f64 re 1) im) (/.f64 (.f64 (+.f64 re 1) im) (*.f64 (+.f64 re 1) im)))
(*.f64 im (+.f64 re 1))
(pow.f64 (*.f64 (+.f64 re 1) im) 1)
(*.f64 im (+.f64 re 1))
(neg.f64 (neg.f64 (*.f64 (+.f64 re 1) im)))
(*.f64 im (+.f64 re 1))
(+.f64 (*.f64 (+.f64 re 1) (/.f64 1 im)) 0)
(*.f64 (/.f64 1 im) (+.f64 re 1))
(+.f64 0 (*.f64 (+.f64 re 1) (/.f64 1 im)))
(*.f64 (/.f64 1 im) (+.f64 re 1))
(-.f64 (*.f64 (+.f64 re 1) (/.f64 1 im)) 0)
(*.f64 (/.f64 1 im) (+.f64 re 1))
(-.f64 0 (neg.f64 (*.f64 (+.f64 re 1) (/.f64 1 im))))
(*.f64 (/.f64 1 im) (+.f64 re 1))
(-.f64 (-.f64 0 (-.f64 -1 (*.f64 (+.f64 re 1) (/.f64 1 im)))) 1)
(*.f64 (/.f64 1 im) (+.f64 re 1))
(/.f64 (*.f64 (+.f64 re 1) (/.f64 1 im)) 1)
(*.f64 (/.f64 1 im) (+.f64 re 1))
(/.f64 (.f64 (+.f64 re 1) (/.f64 1 im)) (/.f64 (.f64 (+.f64 re 1) (/.f64 1 im)) (*.f64 (+.f64 re 1) (/.f64 1 im))))
(*.f64 (/.f64 1 im) (+.f64 re 1))
(pow.f64 (*.f64 (+.f64 re 1) (/.f64 1 im)) 1)
(*.f64 (/.f64 1 im) (+.f64 re 1))
(neg.f64 (neg.f64 (*.f64 (+.f64 re 1) (/.f64 1 im))))
(*.f64 (/.f64 1 im) (+.f64 re 1))

eval31.0ms (0.4%)

Compiler: Compiled 1711 to 1052 computations (38.5% saved)

prune36.0ms (0.4%)

Pruning

19 alts after pruning (10 fresh and 9 done)

	Pruned	Kept	Total
New	138	9	147
Fresh	1	1	2
Picked	1	0	1
Done	0	9	9
Total	140	19	159

Error

0.0b

Counts

159 → 19

Alt Table

Click to see full alt table

Status	Error	Program
✓	43.4b	(+.f64 (*.f64 re im) im)
✓	24.8b	(+.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))))))
	51.3b	(.f64 (/.f64 (+.f64 re 1) im) (.f64 im im))
	61.5b	(.f64 (/.f64 re im) (.f64 im im))
	48.4b	(.f64 (/.f64 1 im) (.f64 im im))
	49.9b	(.f64 (-.f64 (-.f64 0 (-.f64 -1 (.f64 (+.f64 re 1) (/.f64 1 im)))) 1) (*.f64 im im))
✓	51.1b	(*.f64 (+.f64 re 1) (-.f64 -1 (-.f64 -1 im)))
	57.1b	(.f64 (+.f64 re 1) (.f64 (/.f64 (/.f64 1 im) (.f64 im im)) (.f64 im (.f64 im (.f64 im im)))))
✓	43.4b	(*.f64 (+.f64 re 1) im)
✓	0.0b	(*.f64 (exp.f64 re) (sin.f64 im))
✓	19.1b	(*.f64 (exp.f64 re) im)
✓	61.5b	(*.f64 re im)
	57.2b	(.f64 im (.f64 (-.f64 (-.f64 (*.f64 im re) (-.f64 -1 im)) 1) (/.f64 1 im)))
✓	43.4b	(.f64 im (.f64 (+.f64 im (*.f64 im re)) (/.f64 1 im)))
	51.3b	(.f64 im (.f64 (.f64 (.f64 (/.f64 1 im) (+.f64 re 1)) (*.f64 im im)) (/.f64 1 im)))
	43.6b	(.f64 im (.f64 (.f64 im (.f64 im (+.f64 (/.f64 1 im) (*.f64 re (/.f64 1 im))))) (/.f64 1 im)))
	43.5b	(.f64 im (.f64 im (/.f64 (+.f64 1 re) im)))
✓	24.6b	(sin.f64 im)
	43.2b	im

Compiler

Compiled 221 to 149 computations (32.6% saved)

regimes65.0ms (0.7%)

Counts

21 → 1

Calls

Call 1

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

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

Calls

5 calls:

17.0ms	(sin.f64 im)
15.0ms	im
15.0ms	re
8.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 260 to 138 computations (46.9% saved)

regimes136.0ms (1.6%)

Counts

19 → 2

Calls

Call 1

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

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

Calls

4 calls:

66.0ms	im
35.0ms	(sin.f64 im)
24.0ms	re
5.0ms	(exp.f64 re)

Results

Error	Segments	Branch
1.0b	2	`re`
10.4b	5	`im`
1.0b	2	`(exp.f64 re)`
13.2b	3	`(sin.f64 im)`

Compiler

Compiled 229 to 120 computations (47.6% saved)

bsearch0.0ms (0%)

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	0.0	0.9955679820912403

Compiler

Compiled 12 to 9 computations (25% saved)

regimes119.0ms (1.4%)

Counts

18 → 4

Calls

Call 1

Inputs
im
(*.f64 re im)
(*.f64 (+.f64 re 1) im)
(+.f64 (*.f64 re im) im)
(.f64 (/.f64 1 im) (.f64 im im))
(.f64 (/.f64 re im) (.f64 im im))
(.f64 im (.f64 im (/.f64 (+.f64 1 re) im)))
(*.f64 (+.f64 re 1) (-.f64 -1 (-.f64 -1 im)))
(.f64 (/.f64 (+.f64 re 1) im) (.f64 im im))
(.f64 im (.f64 (+.f64 im (*.f64 im re)) (/.f64 1 im)))
(.f64 (.f64 (+.f64 re 1) (/.f64 1 im)) (*.f64 im im))
(.f64 im (.f64 (-.f64 (-.f64 (*.f64 im re) (-.f64 -1 im)) 1) (/.f64 1 im)))
(.f64 im (.f64 (.f64 (.f64 (/.f64 1 im) (+.f64 re 1)) (*.f64 im im)) (/.f64 1 im)))
(.f64 (-.f64 (-.f64 0 (-.f64 -1 (.f64 (+.f64 re 1) (/.f64 1 im)))) 1) (*.f64 im im))
(.f64 im (.f64 (.f64 im (.f64 im (+.f64 (/.f64 1 im) (*.f64 re (/.f64 1 im))))) (/.f64 1 im)))
(.f64 (+.f64 re 1) (.f64 (/.f64 (/.f64 1 im) (.f64 im im)) (.f64 im (.f64 im (.f64 im im)))))
(.f64 (/.f64 (/.f64 1 (+.f64 im (.f64 re im))) (.f64 (+.f64 im (.f64 re im)) (+.f64 im (.f64 re im)))) (.f64 im (.f64 (.f64 (+.f64 im (.f64 re im)) (+.f64 im (.f64 re im))) (.f64 im (.f64 (+.f64 re 1) (+.f64 re 1))))))
(sin.f64 im)

Outputs
(*.f64 (+.f64 re 1) (-.f64 -1 (-.f64 -1 im)))
(.f64 (-.f64 (-.f64 0 (-.f64 -1 (.f64 (+.f64 re 1) (/.f64 1 im)))) 1) (*.f64 im im))
(*.f64 (+.f64 re 1) (-.f64 -1 (-.f64 -1 im)))
(sin.f64 im)

Calls

3 calls:

43.0ms	re
36.0ms	im
34.0ms	(sin.f64 im)

Results

Error	Segments	Branch
14.1b	4	`re`
23.4b	3	`im`
23.4b	3	`(sin.f64 im)`

Compiler

Compiled 221 to 115 computations (48% saved)

bsearch78.0ms (0.9%)

Algorithm

3×	binary-search

Steps

Time	Left	Right
16.0ms	-461703013.55017775	-3079063.6371545903
41.0ms	-5.4013980983931985e+41	-1.1865827738082607e+36
20.0ms	-2.534874852434499e+75	-6.795696808423768e+69

Results

49.0ms

400×

body

256

valid

Compiler

Compiled 707 to 575 computations (18.7% saved)

regimes79.0ms (0.9%)

Counts

17 → 4

Calls

Call 1

Inputs
im
(*.f64 re im)
(*.f64 (+.f64 re 1) im)
(+.f64 (*.f64 re im) im)
(.f64 (/.f64 1 im) (.f64 im im))
(.f64 (/.f64 re im) (.f64 im im))
(.f64 im (.f64 im (/.f64 (+.f64 1 re) im)))
(*.f64 (+.f64 re 1) (-.f64 -1 (-.f64 -1 im)))
(.f64 (/.f64 (+.f64 re 1) im) (.f64 im im))
(.f64 im (.f64 (+.f64 im (*.f64 im re)) (/.f64 1 im)))
(.f64 (.f64 (+.f64 re 1) (/.f64 1 im)) (*.f64 im im))
(.f64 im (.f64 (-.f64 (-.f64 (*.f64 im re) (-.f64 -1 im)) 1) (/.f64 1 im)))
(.f64 im (.f64 (.f64 (.f64 (/.f64 1 im) (+.f64 re 1)) (*.f64 im im)) (/.f64 1 im)))
(.f64 (-.f64 (-.f64 0 (-.f64 -1 (.f64 (+.f64 re 1) (/.f64 1 im)))) 1) (*.f64 im im))
(.f64 im (.f64 (.f64 im (.f64 im (+.f64 (/.f64 1 im) (*.f64 re (/.f64 1 im))))) (/.f64 1 im)))
(.f64 (+.f64 re 1) (.f64 (/.f64 (/.f64 1 im) (.f64 im im)) (.f64 im (.f64 im (.f64 im im)))))
(.f64 (/.f64 (/.f64 1 (+.f64 im (.f64 re im))) (.f64 (+.f64 im (.f64 re im)) (+.f64 im (.f64 re im)))) (.f64 im (.f64 (.f64 (+.f64 im (.f64 re im)) (+.f64 im (.f64 re im))) (.f64 im (.f64 (+.f64 re 1) (+.f64 re 1))))))

Outputs
(*.f64 (+.f64 re 1) (-.f64 -1 (-.f64 -1 im)))
(.f64 (-.f64 (-.f64 0 (-.f64 -1 (.f64 (+.f64 re 1) (/.f64 1 im)))) 1) (*.f64 im im))
(*.f64 (+.f64 re 1) (-.f64 -1 (-.f64 -1 im)))
(+.f64 (*.f64 re im) im)

Calls

2 calls:

39.0ms	re
32.0ms	im

Results

Error	Segments	Branch
32.4b	4	`re`
41.8b	3	`im`

Compiler

Compiled 215 to 111 computations (48.4% saved)

bsearch62.0ms (0.7%)

Algorithm

3×	binary-search

Steps

Time	Left	Right
20.0ms	-461703013.55017775	-3079063.6371545903
22.0ms	-5.4013980983931985e+41	-1.1865827738082607e+36
20.0ms	-2.534874852434499e+75	-6.795696808423768e+69

Results

55.0ms

400×

body

256

valid

Compiler

Compiled 728 to 582 computations (20.1% saved)

regimes44.0ms (0.5%)

Counts

13 → 2

Calls

Call 1

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

Outputs
(*.f64 (+.f64 re 1) (-.f64 -1 (-.f64 -1 im)))
(+.f64 (*.f64 re im) im)

Calls

2 calls:

23.0ms	im
17.0ms	re

Results

Error	Segments	Branch
33.7b	2	`re`
42.0b	3	`im`

Compiler

Compiled 117 to 64 computations (45.3% saved)

bsearch16.0ms (0.2%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
16.0ms	-461703013.55017775	-3079063.6371545903

Results

14.0ms

112×

body

256

valid

Compiler

Compiled 152 to 114 computations (25% saved)

regimes21.0ms (0.2%)

Counts

7 → 2

Calls

Call 1

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

Outputs
(.f64 (/.f64 1 im) (.f64 im im))
(+.f64 (*.f64 re im) im)

Calls

2 calls:

10.0ms	im
9.0ms	re

Results

Error	Segments	Branch
40.1b	2	`re`
43.2b	1	`im`

Compiler

Compiled 45 to 22 computations (51.1% saved)

bsearch19.0ms (0.2%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
19.0ms	-461703013.55017775	-3079063.6371545903

Results

17.0ms

112×

body

256

valid

Compiler

Compiled 138 to 93 computations (32.6% saved)

regimes9.0ms (0.1%)

Accuracy

Total -18.7b remaining (-43.2%)

Threshold costs -18.7b (-43.2%)

Counts

4 → 1

Calls

Call 1

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

Outputs
im

Calls

2 calls:

4.0ms	im
4.0ms	re

Results

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

Compiler

Compiled 22 to 11 computations (50% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	48	403

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) (sin.f64 im))
(if (<=.f64 re -6799999999999999726965996961454369678703432410441757488154267965456384) (.f64 (+.f64 re 1) (-.f64 -1 (-.f64 -1 im))) (if (<=.f64 re -314999999999999993248761330653121648525312) (.f64 (-.f64 (-.f64 0 (-.f64 -1 (.f64 (+.f64 re 1) (/.f64 1 im)))) 1) (.f64 im im)) (if (<=.f64 re -3100000) (*.f64 (+.f64 re 1) (-.f64 -1 (-.f64 -1 im))) (sin.f64 im))))
(if (<=.f64 re -6799999999999999726965996961454369678703432410441757488154267965456384) (.f64 (+.f64 re 1) (-.f64 -1 (-.f64 -1 im))) (if (<=.f64 re -101999999999999991734714785577923160047616) (.f64 (-.f64 (-.f64 0 (-.f64 -1 (.f64 (+.f64 re 1) (/.f64 1 im)))) 1) (.f64 im im)) (if (<=.f64 re -3100000) (.f64 (+.f64 re 1) (-.f64 -1 (-.f64 -1 im))) (+.f64 (.f64 re im) im))))
(if (<=.f64 re -3100000) (.f64 (+.f64 re 1) (-.f64 -1 (-.f64 -1 im))) (+.f64 (.f64 re im) im))
(if (<=.f64 re -4100000) (.f64 (/.f64 1 im) (.f64 im im)) (+.f64 (*.f64 re im) im))
im

Outputs
(*.f64 (exp.f64 re) (sin.f64 im))
(if (<=.f64 (exp.f64 re) 0) (*.f64 (exp.f64 re) im) (sin.f64 im))
(if (<=.f64 re -6799999999999999726965996961454369678703432410441757488154267965456384) (.f64 (+.f64 re 1) (-.f64 -1 (-.f64 -1 im))) (if (<=.f64 re -314999999999999993248761330653121648525312) (.f64 (-.f64 (-.f64 0 (-.f64 -1 (.f64 (+.f64 re 1) (/.f64 1 im)))) 1) (.f64 im im)) (if (<=.f64 re -3100000) (*.f64 (+.f64 re 1) (-.f64 -1 (-.f64 -1 im))) (sin.f64 im))))
(if (<=.f64 re -6799999999999999726965996961454369678703432410441757488154267965456384) (.f64 (+.f64 re 1) (-.f64 -1 (-.f64 -1 im))) (if (<=.f64 re -101999999999999991734714785577923160047616) (.f64 (-.f64 (-.f64 0 (-.f64 -1 (.f64 (+.f64 re 1) (/.f64 1 im)))) 1) (.f64 im im)) (if (<=.f64 re -3100000) (.f64 (+.f64 re 1) (-.f64 -1 (-.f64 -1 im))) (+.f64 (.f64 re im) im))))
(if (<=.f64 re -3100000) (.f64 (+.f64 re 1) (-.f64 -1 (-.f64 -1 im))) (+.f64 (.f64 re im) im))
(if (<=.f64 re -4100000) (.f64 (/.f64 1 im) (.f64 im im)) (+.f64 (*.f64 re im) im))
im

Compiler

Compiled 166 to 119 computations (28.3% saved)

soundness0.0ms (0%)

end80.0ms (0.9%)

Compiler: Compiled 154 to 98 computations (36.4% saved)

Details

analyze173.0ms (2%)

sample4.0s (45.4%)

preprocess125.0ms (1.4%)

simplify210.0ms (2.4%)

eval1.0ms (0%)

prune2.0ms (0%)

localize13.0ms (0.1%)

series5.0ms (0.1%)

rewrite189.0ms (2.2%)

simplify423.0ms (4.9%)

eval23.0ms (0.3%)

prune13.0ms (0.2%)

localize6.0ms (0.1%)

localize7.0ms (0.1%)

series3.0ms (0%)

rewrite139.0ms (1.6%)

simplify355.0ms (4.1%)

localize62.0ms (0.7%)

series17.0ms (0.2%)

rewrite248.0ms (2.9%)

simplify332.0ms (3.8%)

eval87.0ms (1%)

prune26.0ms (0.3%)

localize5.0ms (0.1%)

series5.0ms (0.1%)

rewrite81.0ms (0.9%)

simplify174.0ms (2%)

eval7.0ms (0.1%)

prune19.0ms (0.2%)

localize5.0ms (0.1%)

series2.0ms (0%)

rewrite74.0ms (0.9%)

simplify227.0ms (2.6%)

localize3.0ms (0%)

localize10.0ms (0.1%)

series1.0ms (0%)

rewrite90.0ms (1%)

simplify171.0ms (2%)

localize12.0ms (0.1%)

series3.0ms (0%)

rewrite119.0ms (1.4%)

simplify195.0ms (2.2%)

localize12.0ms (0.1%)

series4.0ms (0.1%)

rewrite112.0ms (1.3%)

simplify151.0ms (1.7%)

eval31.0ms (0.4%)

prune36.0ms (0.4%)

regimes65.0ms (0.7%)

regimes136.0ms (1.6%)

bsearch0.0ms (0%)

regimes119.0ms (1.4%)

bsearch78.0ms (0.9%)

regimes79.0ms (0.9%)

bsearch62.0ms (0.7%)

regimes44.0ms (0.5%)

bsearch16.0ms (0.2%)

regimes21.0ms (0.2%)

bsearch19.0ms (0.2%)

regimes9.0ms (0.1%)

simplify8.0ms (0.1%)

soundness0.0ms (0%)

end80.0ms (0.9%)

Profiling