Details

analyze534.0ms (9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
50%	50%	0.1%	5
50%	50%	0.1%	6
50%	40.6%	9.5%	7
50%	39%	11%	8
50%	33.6%	16.5%	9
50%	32.4%	17.7%	10
50%	29.5%	20.6%	11
50%	28.8%	21.3%	12
50%	27.3%	22.8%	13
50%	26.9%	23.1%	14

Compiler

Compiled 15 to 12 computations (20% saved)

sample4.5s (76%)

Results

1.4s	2062×	body	1024	valid
1.0s	2061×	body	1024	invalid
772.0ms	4723×	body	128	valid
429.0ms	977×	body	512	valid
429.0ms	1026×	body	512	invalid
149.0ms	490×	body	256	invalid
141.0ms	827×	body	128	invalid
140.0ms	484×	body	256	valid
12.0ms	10×	body	2048	valid

preprocess46.0ms (0.8%)

Algorithm

2×	egg-herbie

Rules

692×	`times-frac_binary64`
480×	`fma-def_binary64`
341×	`associate-/r/_binary64`
306×	`associate-/l/_binary64`
305×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	36
1	50	36
2	135	36
3	273	34
4	361	34
5	489	34
6	837	34
7	2180	34
8	4821	34
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

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

Outputs
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(.f64 (sin.f64 re) (.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(.f64 (.f64 1/2 (sin.f64 im)) (+.f64 (exp.f64 (-.f64 0 re)) (exp.f64 re)))
(.f64 (.f64 1/2 (sin.f64 im)) (+.f64 (exp.f64 (neg.f64 re)) (exp.f64 re)))
(.f64 1/2 (.f64 (sin.f64 im) (+.f64 (exp.f64 (neg.f64 re)) (exp.f64 re))))
(*.f64 (sin.f64 im) (fma.f64 1/2 (exp.f64 re) (/.f64 1/2 (exp.f64 re))))

Compiler

Compiled 14 to 11 computations (21.4% saved)

simplify32.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

778×	`unswap-sqr_binary64`
455×	`associate-/r*_binary64`
357×	`associate-/l*_binary64`
346×	`times-frac_binary64`
315×	`fma-def_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	12	18
1	28	18
2	71	18
3	140	17
4	185	17
5	252	17
6	430	17
7	1107	17
8	3311	17
9	3702	17
10	4192	17

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

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

Outputs
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(.f64 (sin.f64 re) (.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.0b	(*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))

Compiler

Compiled 51 to 34 computations (33.3% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
✓	0.0b	(/.f64 1/2 (exp.f64 im))

series28.0ms (0.5%)

Counts

2 → 28

Calls

9 calls:

Time	Variable		Point	Expression
20.0ms	re	@	inf	(*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
1.0ms	im	@	0	(*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
1.0ms	re	@	0	(*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
1.0ms	im	@	inf	(*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
1.0ms	im	@	-inf	(*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))

rewrite40.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

804×	`log1p-expm1-u_binary64`
804×	`expm1-log1p-u_binary64`
92×	`add-sqr-sqrt_binary64`
89×	`*-un-lft-identity_binary64`
89×	`pow1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	182	23
2	2171	23

Stop Event

1×	node limit

Counts

2 → 39

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 1/2 (exp.f64 im)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (exp.f64 (neg.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1/2 (exp.f64 im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 1/2 (exp.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (/.f64 1/2 (exp.f64 im))) (pow.f64 (cbrt.f64 (/.f64 1/2 (exp.f64 im))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (/.f64 1/2 (exp.f64 im))) 2) (cbrt.f64 (/.f64 1/2 (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (/.f64 1/2 (exp.f64 im))) (sqrt.f64 (/.f64 1/2 (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1/2 (/.f64 1 (neg.f64 (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (exp.f64 (neg.f64 im)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 1/2 (exp.f64 im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 1/2 (exp.f64 im)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 1/2 (exp.f64 im))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 1/2 (exp.f64 im))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (exp.f64 im) 2) -1)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (/.f64 1/4 (pow.f64 (exp.f64 im) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 1/2 (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 1/2 (exp.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 1/2 (exp.f64 im)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 1/2 (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (-.f64 (log.f64 1/2) im))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (-.f64 (log.f64 1/2) im) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 1/2 (exp.f64 im))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 1/2 (exp.f64 im)) (sin.f64 re)) (.f64 (/.f64 1/2 (exp.f64 im)) (sin.f64 re)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (sin.f64 re) (.f64 1/2 (exp.f64 im))) (.f64 (sin.f64 re) (/.f64 1/2 (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (sin.f64 re)) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (sin.f64 re) 3) (pow.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) 3) (pow.f64 (sin.f64 re) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 1/2 (exp.f64 im)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (exp.f64 (neg.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1/2 (exp.f64 im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 1/2 (exp.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 1/2 (exp.f64 im))) (pow.f64 (cbrt.f64 (/.f64 1/2 (exp.f64 im))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (/.f64 1/2 (exp.f64 im))) 2) (cbrt.f64 (/.f64 1/2 (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 1/2 (exp.f64 im))) (sqrt.f64 (/.f64 1/2 (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1/2 (/.f64 1 (neg.f64 (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (exp.f64 (neg.f64 im)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 1/2 (exp.f64 im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 1/2 (exp.f64 im)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 1/2 (exp.f64 im))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 1/2 (exp.f64 im))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (exp.f64 im) 2) -1)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (/.f64 1/4 (pow.f64 (exp.f64 im) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 1/2 (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 1/2 (exp.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 1/2 (exp.f64 im)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 1/2 (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (-.f64 (log.f64 1/2) im))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (-.f64 (log.f64 1/2) im) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 1/2 (exp.f64 im))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 1/2 (exp.f64 im)) (sin.f64 re)) (*.f64 (/.f64 1/2 (exp.f64 im)) (sin.f64 re)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (sin.f64 re) (*.f64 1/2 (exp.f64 im))) (*.f64 (sin.f64 re) (/.f64 1/2 (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (sin.f64 re)) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (sin.f64 re) 3) (pow.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) 3) (pow.f64 (sin.f64 re) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))))))))

simplify35.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

572×	`distribute-lft-out_binary64`
504×	`fma-def_binary64`
424×	`distribute-rgt-out_binary64`
380×	`associate-l_binary64`
330×	`associate-r_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	66	617
1	206	541
2	753	500
3	3240	494

Stop Event

1×	node limit

Counts

67 → 63

Calls

Call 1

Inputs
1/2
(+.f64 1/2 (*.f64 -1/2 im))
(+.f64 1/2 (+.f64 (.f64 1/4 (pow.f64 im 2)) (.f64 -1/2 im)))
(+.f64 1/2 (+.f64 (.f64 1/4 (pow.f64 im 2)) (+.f64 (.f64 -1/2 im) (*.f64 -1/12 (pow.f64 im 3)))))
(.f64 re (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))))
(+.f64 (.f64 re (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (.f64 1/2 (exp.f64 im)))) (.f64 -1/6 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))))))
(+.f64 (.f64 re (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (.f64 1/2 (exp.f64 im)))) (+.f64 (.f64 -1/6 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (.f64 1/2 (exp.f64 im))))) (.f64 1/120 (.f64 (pow.f64 re 5) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im)))))))
(+.f64 (.f64 re (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (.f64 1/2 (exp.f64 im)))) (+.f64 (.f64 -1/5040 (.f64 (pow.f64 re 7) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (.f64 1/2 (exp.f64 im))))) (+.f64 (.f64 -1/6 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (.f64 1/2 (exp.f64 im))))) (.f64 1/120 (.f64 (pow.f64 re 5) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))))))))
(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))))
(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))))
(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))))
(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))))
(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))))
(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))))
(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))))
(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))))
(sin.f64 re)
(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))
(+.f64 (sin.f64 re) (+.f64 (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))) (.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4)))))
(+.f64 (sin.f64 re) (+.f64 (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))) (+.f64 (.f64 1/720 (.f64 (sin.f64 re) (pow.f64 im 6))) (.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4))))))
(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))))
(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))))
(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))))
(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))))
(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))))
(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))))
(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))))
(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))))

Outputs
1/2
(+.f64 1/2 (*.f64 -1/2 im))
(fma.f64 -1/2 im 1/2)
(+.f64 1/2 (+.f64 (.f64 1/4 (pow.f64 im 2)) (.f64 -1/2 im)))
(+.f64 1/2 (fma.f64 1/4 (.f64 im im) (.f64 -1/2 im)))
(+.f64 1/2 (fma.f64 -1/2 im (.f64 im (.f64 im 1/4))))
(fma.f64 im (*.f64 im 1/4) (fma.f64 -1/2 im 1/2))
(+.f64 1/2 (+.f64 (.f64 1/4 (pow.f64 im 2)) (+.f64 (.f64 -1/2 im) (*.f64 -1/12 (pow.f64 im 3)))))
(+.f64 1/2 (fma.f64 1/4 (.f64 im im) (fma.f64 -1/2 im (.f64 -1/12 (pow.f64 im 3)))))
(+.f64 1/2 (fma.f64 -1/2 im (.f64 (.f64 im im) (+.f64 1/4 (*.f64 im -1/12)))))
(+.f64 1/2 (.f64 im (+.f64 -1/2 (.f64 im (+.f64 1/4 (*.f64 im -1/12))))))
(.f64 re (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))))
(.f64 re (.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(*.f64 re (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(+.f64 (.f64 re (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (.f64 1/2 (exp.f64 im)))) (.f64 -1/6 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))))))
(fma.f64 re (.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (.f64 -1/6 (.f64 (.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (pow.f64 re 3))))
(.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (+.f64 re (.f64 -1/6 (pow.f64 re 3))))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (fma.f64 -1/6 (pow.f64 re 3) re))
(+.f64 (.f64 re (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (.f64 1/2 (exp.f64 im)))) (+.f64 (.f64 -1/6 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (.f64 1/2 (exp.f64 im))))) (.f64 1/120 (.f64 (pow.f64 re 5) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im)))))))
(fma.f64 re (.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (fma.f64 -1/6 (.f64 (.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (pow.f64 re 3)) (.f64 (.f64 1/120 (pow.f64 re 5)) (.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))
(fma.f64 re (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (+.f64 (.f64 -1/6 (pow.f64 re 3)) (*.f64 1/120 (pow.f64 re 5)))))
(.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (+.f64 re (fma.f64 -1/6 (pow.f64 re 3) (.f64 1/120 (pow.f64 re 5)))))
(+.f64 (.f64 re (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (.f64 1/2 (exp.f64 im)))) (+.f64 (.f64 -1/5040 (.f64 (pow.f64 re 7) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (.f64 1/2 (exp.f64 im))))) (+.f64 (.f64 -1/6 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (.f64 1/2 (exp.f64 im))))) (.f64 1/120 (.f64 (pow.f64 re 5) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))))))))
(fma.f64 re (.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (fma.f64 -1/5040 (.f64 (.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (pow.f64 re 7)) (fma.f64 -1/6 (.f64 (.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (pow.f64 re 3)) (.f64 (.f64 1/120 (pow.f64 re 5)) (.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))))
(+.f64 (.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (+.f64 (.f64 -1/6 (pow.f64 re 3)) (.f64 1/120 (pow.f64 re 5)))) (.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (+.f64 re (*.f64 -1/5040 (pow.f64 re 7)))))
(.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (+.f64 (fma.f64 -1/6 (pow.f64 re 3) (.f64 1/120 (pow.f64 re 5))) (+.f64 re (*.f64 -1/5040 (pow.f64 re 7)))))
(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))))
(.f64 (.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sin.f64 re))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))))
(.f64 (.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sin.f64 re))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))))
(.f64 (.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sin.f64 re))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))))
(.f64 (.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sin.f64 re))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))))
(.f64 (.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sin.f64 re))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))))
(.f64 (.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sin.f64 re))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))))
(.f64 (.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sin.f64 re))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))))
(.f64 (.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sin.f64 re))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(sin.f64 re)
(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))
(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (*.f64 im im) (sin.f64 re))))
(fma.f64 1/2 (.f64 im (.f64 im (sin.f64 re))) (sin.f64 re))
(+.f64 (sin.f64 re) (+.f64 (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))) (.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4)))))
(+.f64 (sin.f64 re) (fma.f64 1/2 (.f64 (.f64 im im) (sin.f64 re)) (.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4)))))
(+.f64 (sin.f64 re) (fma.f64 1/2 (.f64 im (.f64 im (sin.f64 re))) (.f64 (sin.f64 re) (.f64 (pow.f64 im 4) 1/24))))
(+.f64 (sin.f64 re) (.f64 (sin.f64 re) (+.f64 (.f64 1/2 (.f64 im im)) (.f64 1/24 (pow.f64 im 4)))))
(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (.f64 im im)) (+.f64 (.f64 1/24 (pow.f64 im 4)) 1)))
(+.f64 (sin.f64 re) (+.f64 (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))) (+.f64 (.f64 1/720 (.f64 (sin.f64 re) (pow.f64 im 6))) (.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4))))))
(+.f64 (sin.f64 re) (fma.f64 1/2 (.f64 (.f64 im im) (sin.f64 re)) (fma.f64 1/720 (.f64 (sin.f64 re) (pow.f64 im 6)) (.f64 1/24 (*.f64 (sin.f64 re) (pow.f64 im 4))))))
(+.f64 (sin.f64 re) (fma.f64 1/2 (.f64 im (.f64 im (sin.f64 re))) (fma.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4)) (.f64 1/720 (*.f64 (sin.f64 re) (pow.f64 im 6))))))
(+.f64 (fma.f64 1/2 (.f64 im (.f64 im (sin.f64 re))) (sin.f64 re)) (.f64 (sin.f64 re) (+.f64 (.f64 1/24 (pow.f64 im 4)) (*.f64 1/720 (pow.f64 im 6)))))
(+.f64 (sin.f64 re) (.f64 (sin.f64 re) (+.f64 (.f64 1/2 (.f64 im im)) (+.f64 (.f64 1/24 (pow.f64 im 4)) (*.f64 1/720 (pow.f64 im 6))))))
(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))))
(.f64 (.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sin.f64 re))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))))
(.f64 (.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sin.f64 re))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))))
(.f64 (.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sin.f64 re))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))))
(.f64 (.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sin.f64 re))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))))
(.f64 (.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sin.f64 re))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))))
(.f64 (.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sin.f64 re))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))))
(.f64 (.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sin.f64 re))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))))
(.f64 (.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sin.f64 re))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (sin.f64 re))

prune118.0ms (2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	61	2	63
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	62	2	64

Error

Counts

64 → 2

Alt Table

Status	Error	Program
▶	0.0b	(+.f64 (.f64 (.f64 1/2 (exp.f64 im)) (sin.f64 re)) (*.f64 (/.f64 1/2 (exp.f64 im)) (sin.f64 re)))
	0.9b	(fma.f64 1/2 (.f64 im (.f64 im (sin.f64 re))) (sin.f64 re))

Compiler

Compiled 1095 to 658 computations (39.9% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series15.0ms (0.3%)

Counts

3 → 72

Calls

18 calls:

Time	Variable		Point	Expression
3.0ms	re	@	inf	(+.f64 (.f64 (.f64 1/2 (exp.f64 im)) (sin.f64 re)) (*.f64 (/.f64 1/2 (exp.f64 im)) (sin.f64 re)))
2.0ms	re	@	inf	(.f64 (.f64 1/2 (exp.f64 im)) (sin.f64 re))
1.0ms	im	@	0	(+.f64 (.f64 (.f64 1/2 (exp.f64 im)) (sin.f64 re)) (*.f64 (/.f64 1/2 (exp.f64 im)) (sin.f64 re)))
1.0ms	re	@	-inf	(+.f64 (.f64 (.f64 1/2 (exp.f64 im)) (sin.f64 re)) (*.f64 (/.f64 1/2 (exp.f64 im)) (sin.f64 re)))
1.0ms	im	@	-inf	(+.f64 (.f64 (.f64 1/2 (exp.f64 im)) (sin.f64 re)) (*.f64 (/.f64 1/2 (exp.f64 im)) (sin.f64 re)))

rewrite60.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

448×	`fma-def_binary64`
222×	`fma-neg_binary64`
218×	`expm1-udef_binary64`
218×	`log1p-udef_binary64`
182×	`log-pow_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	11	41
1	239	39
2	3247	36

Stop Event

1×	node limit

Counts

3 → 114

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 1/8 (pow.f64 (.f64 (exp.f64 im) (sin.f64 re)) 3)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 1/2) (.f64 (exp.f64 im) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 1/8 (pow.f64 (.f64 (exp.f64 im) (sin.f64 re)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (+.f64 (log.f64 1/2) (+.f64 im (log.f64 (sin.f64 re)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (+.f64 (log.f64 1/2) (+.f64 im (log.f64 (sin.f64 re)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re)))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 (sin.f64 re) (.f64 1/2 (.f64 2 (cosh.f64 im)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))) 2) (.f64 (sin.f64 re) (-.f64 (.f64 1/2 (exp.f64 im)) (/.f64 1/2 (exp.f64 im))))) (/.f64 (pow.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) 2) (.f64 (sin.f64 re) (-.f64 (.f64 1/2 (exp.f64 im)) (/.f64 1/2 (exp.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sin.f64 re) (.f64 1/2 (.f64 2 (cosh.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (sin.f64 re) (.f64 1/2 (.f64 2 (cosh.f64 im)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (.f64 (sin.f64 re) (.f64 1/2 (.f64 2 (cosh.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (sin.f64 re) (.f64 1/2 (.f64 2 (cosh.f64 im))))) (pow.f64 (cbrt.f64 (.f64 (sin.f64 re) (.f64 1/2 (.f64 2 (cosh.f64 im))))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (.f64 (sin.f64 re) (.f64 1/2 (.f64 2 (cosh.f64 im))))) 2) (cbrt.f64 (.f64 (sin.f64 re) (.f64 1/2 (.f64 2 (cosh.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (sin.f64 re)) 2) (.f64 (cbrt.f64 (sin.f64 re)) (.f64 1/2 (.f64 2 (cosh.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (.f64 (sin.f64 re) (.f64 1/2 (.f64 2 (cosh.f64 im))))) (sqrt.f64 (.f64 (sin.f64 re) (.f64 1/2 (.f64 2 (cosh.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (sin.f64 re)) (.f64 (sqrt.f64 (sin.f64 re)) (.f64 1/2 (.f64 2 (cosh.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 1/8 (pow.f64 (.f64 (exp.f64 im) (sin.f64 re)) 3) (pow.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) 3)) (/.f64 1 (fma.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) (-.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re)))) (pow.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (pow.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))) 2) (pow.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) 2)) (/.f64 1 (.f64 (sin.f64 re) (-.f64 (.f64 1/2 (exp.f64 im)) (/.f64 1/2 (exp.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 1/2 (.f64 2 (cosh.f64 im))) (sin.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) (-.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re)))) (pow.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))) 2)) (fma.f64 1/8 (pow.f64 (.f64 (exp.f64 im) (sin.f64 re)) 3) (pow.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (.f64 (sin.f64 re) (-.f64 (.f64 1/2 (exp.f64 im)) (/.f64 1/2 (exp.f64 im)))) (-.f64 (pow.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))) 2) (pow.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 1/8 (pow.f64 (.f64 (exp.f64 im) (sin.f64 re)) 3) (pow.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) 3)) (fma.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) (-.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re)))) (pow.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 1/8 (pow.f64 (.f64 (exp.f64 im) (sin.f64 re)) 3) (pow.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) 3)) (+.f64 (pow.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) 2) (-.f64 (pow.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))) 2) (.f64 (sin.f64 re) (.f64 (.f64 1/2 (exp.f64 im)) (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))) 2) (pow.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) 2)) (.f64 (sin.f64 re) (-.f64 (.f64 1/2 (exp.f64 im)) (/.f64 1/2 (exp.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (fma.f64 1/8 (pow.f64 (.f64 (exp.f64 im) (sin.f64 re)) 3) (pow.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) 3))) (neg.f64 (fma.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) (-.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re)))) (pow.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))) 2) (pow.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) 2))) (neg.f64 (.f64 (sin.f64 re) (-.f64 (.f64 1/2 (exp.f64 im)) (/.f64 1/2 (exp.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) 2) (pow.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))) 2)) (-.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (sin.f64 re) (.f64 1/2 (.f64 2 (cosh.f64 im)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (sin.f64 re) (.f64 1/2 (.f64 2 (cosh.f64 im)))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 (sin.f64 re) (.f64 1/2 (.f64 2 (cosh.f64 im))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 (sin.f64 re) (.f64 1/2 (.f64 2 (cosh.f64 im))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 (sin.f64 re) (.f64 1/2 (.f64 2 (cosh.f64 im)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (sin.f64 re)) (.f64 1/2 (.f64 2 (cosh.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 (sin.f64 re) (.f64 1/2 (.f64 2 (cosh.f64 im)))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))))) (pow.f64 (exp.f64 (/.f64 1/2 (exp.f64 im))) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (pow.f64 (exp.f64 1/2) (.f64 (exp.f64 im) (sin.f64 re))) (+.f64 1 (expm1.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))))) (+.f64 1 (expm1.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))) (pow.f64 (exp.f64 1/2) (.f64 (exp.f64 im) (sin.f64 re)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (pow.f64 (exp.f64 (/.f64 1/2 (exp.f64 im))) (sin.f64 re)) (+.f64 1 (expm1.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re)))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))) (+.f64 1 (expm1.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re)))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 (sin.f64 re) (.f64 1/2 (.f64 2 (cosh.f64 im)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (sin.f64 re) (.f64 1/2 (.f64 2 (cosh.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 (sin.f64 re) (.f64 1/2 (.f64 2 (cosh.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 (sin.f64 re) (.f64 1/2 (.f64 2 (cosh.f64 im))))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (sin.f64 re) (.f64 1/2 (.f64 2 (cosh.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re)) (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)) (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1/2 (.f64 (exp.f64 (neg.f64 im)) (sin.f64 re)) (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (exp.f64 im) (.f64 1/2 (sin.f64 re)) (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 1/2 (exp.f64 im)) (sin.f64 re) (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sin.f64 re) (.f64 1/2 (exp.f64 im)) (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sin.f64 re) (/.f64 1/2 (exp.f64 im)) (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))) 1 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 1/2 (exp.f64 im)) (sin.f64 re) (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) 1 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))) (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re)))) (pow.f64 (cbrt.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re)))) 2) (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re)))) 2) (cbrt.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re)))) (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (.f64 1/2 (exp.f64 im))) 2) (.f64 (cbrt.f64 (.f64 1/2 (exp.f64 im))) (sin.f64 re)) (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (/.f64 1/2 (exp.f64 im))) 2) (.f64 (cbrt.f64 (/.f64 1/2 (exp.f64 im))) (sin.f64 re)) (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))) (pow.f64 (cbrt.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))) 2) (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))) 2) (cbrt.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))) (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (sin.f64 re)) 2) (.f64 (cbrt.f64 (sin.f64 re)) (.f64 1/2 (exp.f64 im))) (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (sin.f64 re)) 2) (.f64 (cbrt.f64 (sin.f64 re)) (/.f64 1/2 (exp.f64 im))) (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re)))) (sqrt.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re)))) (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (.f64 1/2 (exp.f64 im))) (.f64 (sqrt.f64 (.f64 1/2 (exp.f64 im))) (sin.f64 re)) (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (/.f64 1/2 (exp.f64 im))) (.f64 (sqrt.f64 (/.f64 1/2 (exp.f64 im))) (sin.f64 re)) (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))) (sqrt.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))) (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (sin.f64 re)) (.f64 (sqrt.f64 (sin.f64 re)) (.f64 1/2 (exp.f64 im))) (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (sin.f64 re)) (.f64 (sqrt.f64 (sin.f64 re)) (/.f64 1/2 (exp.f64 im))) (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 1/2 (sin.f64 re)) (exp.f64 im) (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 1/2 (sin.f64 re)) (exp.f64 (neg.f64 im)) (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (exp.f64 im) (sin.f64 re)) 1/2 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 1/2 (pow.f64 (cbrt.f64 (exp.f64 im)) 2)) (/.f64 (sin.f64 re) (cbrt.f64 (exp.f64 im))) (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 1/2 (sqrt.f64 (exp.f64 im))) (/.f64 (sin.f64 re) (sqrt.f64 (exp.f64 im))) (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (.f64 1/2 (exp.f64 im)) (pow.f64 (cbrt.f64 (sin.f64 re)) 2)) (cbrt.f64 (sin.f64 re)) (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (.f64 1/2 (exp.f64 im)) (sqrt.f64 (sin.f64 re))) (sqrt.f64 (sin.f64 re)) (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (sin.f64 re) (pow.f64 (cbrt.f64 (.f64 1/2 (exp.f64 im))) 2)) (cbrt.f64 (.f64 1/2 (exp.f64 im))) (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (sin.f64 re) (sqrt.f64 (.f64 1/2 (exp.f64 im)))) (sqrt.f64 (.f64 1/2 (exp.f64 im))) (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (sin.f64 re) (pow.f64 (cbrt.f64 (/.f64 1/2 (exp.f64 im))) 2)) (cbrt.f64 (/.f64 1/2 (exp.f64 im))) (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (sin.f64 re) (sqrt.f64 (/.f64 1/2 (exp.f64 im)))) (sqrt.f64 (/.f64 1/2 (exp.f64 im))) (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (/.f64 1/2 (exp.f64 im)) (pow.f64 (cbrt.f64 (sin.f64 re)) 2)) (cbrt.f64 (sin.f64 re)) (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (/.f64 1/2 (exp.f64 im)) (sqrt.f64 (sin.f64 re))) (sqrt.f64 (sin.f64 re)) (.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1/2 (/.f64 (exp.f64 im) (sin.f64 re)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sin.f64 re) (.f64 (exp.f64 im) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (exp.f64 im) (.f64 1/2 (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 1/2 (sin.f64 re)) (exp.f64 im))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (.f64 1/2 (sin.f64 re))) (neg.f64 (exp.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 1/2 (sin.f64 re)) 1) (exp.f64 im))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 1/2 (sin.f64 re)) (pow.f64 (cbrt.f64 (exp.f64 im)) 2)) (cbrt.f64 (exp.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 1/2 (sin.f64 re)) (sqrt.f64 (exp.f64 im))) (sqrt.f64 (exp.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 -1/2 (sin.f64 re)) (neg.f64 (exp.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (sin.f64 re) -1/2) (neg.f64 (exp.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (/.f64 1/2 (exp.f64 im))) (sin.f64 re)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (-.f64 (log.f64 (.f64 1/2 (sin.f64 re))) im))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (-.f64 (log.f64 (.f64 1/2 (sin.f64 re))) im) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1/8 (pow.f64 (*.f64 (exp.f64 im) (sin.f64 re)) 3)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 1/2) (*.f64 (exp.f64 im) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 1/8 (pow.f64 (*.f64 (exp.f64 im) (sin.f64 re)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (+.f64 (log.f64 1/2) (+.f64 im (log.f64 (sin.f64 re)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (+.f64 (log.f64 1/2) (+.f64 im (log.f64 (sin.f64 re)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re)))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (sin.f64 re) (*.f64 1/2 (*.f64 2 (cosh.f64 im)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))) 2) (*.f64 (sin.f64 re) (-.f64 (*.f64 1/2 (exp.f64 im)) (/.f64 1/2 (exp.f64 im))))) (/.f64 (pow.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) 2) (*.f64 (sin.f64 re) (-.f64 (*.f64 1/2 (exp.f64 im)) (/.f64 1/2 (exp.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sin.f64 re) (*.f64 1/2 (*.f64 2 (cosh.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sin.f64 re) (*.f64 1/2 (*.f64 2 (cosh.f64 im)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 (sin.f64 re) (*.f64 1/2 (*.f64 2 (cosh.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (sin.f64 re) (*.f64 1/2 (*.f64 2 (cosh.f64 im))))) (pow.f64 (cbrt.f64 (*.f64 (sin.f64 re) (*.f64 1/2 (*.f64 2 (cosh.f64 im))))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 (sin.f64 re) (*.f64 1/2 (*.f64 2 (cosh.f64 im))))) 2) (cbrt.f64 (*.f64 (sin.f64 re) (*.f64 1/2 (*.f64 2 (cosh.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (sin.f64 re)) 2) (*.f64 (cbrt.f64 (sin.f64 re)) (*.f64 1/2 (*.f64 2 (cosh.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 (sin.f64 re) (*.f64 1/2 (*.f64 2 (cosh.f64 im))))) (sqrt.f64 (*.f64 (sin.f64 re) (*.f64 1/2 (*.f64 2 (cosh.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (sin.f64 re)) (*.f64 (sqrt.f64 (sin.f64 re)) (*.f64 1/2 (*.f64 2 (cosh.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 1/8 (pow.f64 (*.f64 (exp.f64 im) (sin.f64 re)) 3) (pow.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) 3)) (/.f64 1 (fma.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) (-.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re)))) (pow.f64 (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))) 2) (pow.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) 2)) (/.f64 1 (*.f64 (sin.f64 re) (-.f64 (*.f64 1/2 (exp.f64 im)) (/.f64 1/2 (exp.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 1/2 (*.f64 2 (cosh.f64 im))) (sin.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) (-.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re)))) (pow.f64 (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))) 2)) (fma.f64 1/8 (pow.f64 (*.f64 (exp.f64 im) (sin.f64 re)) 3) (pow.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (*.f64 (sin.f64 re) (-.f64 (*.f64 1/2 (exp.f64 im)) (/.f64 1/2 (exp.f64 im)))) (-.f64 (pow.f64 (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))) 2) (pow.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 1/8 (pow.f64 (*.f64 (exp.f64 im) (sin.f64 re)) 3) (pow.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) 3)) (fma.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) (-.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re)))) (pow.f64 (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 1/8 (pow.f64 (*.f64 (exp.f64 im) (sin.f64 re)) 3) (pow.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) 3)) (+.f64 (pow.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) 2) (-.f64 (pow.f64 (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))) 2) (*.f64 (sin.f64 re) (*.f64 (*.f64 1/2 (exp.f64 im)) (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))) 2) (pow.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) 2)) (*.f64 (sin.f64 re) (-.f64 (*.f64 1/2 (exp.f64 im)) (/.f64 1/2 (exp.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (fma.f64 1/8 (pow.f64 (*.f64 (exp.f64 im) (sin.f64 re)) 3) (pow.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) 3))) (neg.f64 (fma.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) (-.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re)))) (pow.f64 (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))) 2) (pow.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) 2))) (neg.f64 (*.f64 (sin.f64 re) (-.f64 (*.f64 1/2 (exp.f64 im)) (/.f64 1/2 (exp.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) 2) (pow.f64 (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))) 2)) (-.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (sin.f64 re) (*.f64 1/2 (*.f64 2 (cosh.f64 im)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (sin.f64 re) (*.f64 1/2 (*.f64 2 (cosh.f64 im)))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (sin.f64 re) (*.f64 1/2 (*.f64 2 (cosh.f64 im))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (sin.f64 re) (*.f64 1/2 (*.f64 2 (cosh.f64 im))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 (sin.f64 re) (*.f64 1/2 (*.f64 2 (cosh.f64 im)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (sin.f64 re)) (*.f64 1/2 (*.f64 2 (cosh.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (sin.f64 re) (*.f64 1/2 (*.f64 2 (cosh.f64 im)))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))))) (pow.f64 (exp.f64 (/.f64 1/2 (exp.f64 im))) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (pow.f64 (exp.f64 1/2) (*.f64 (exp.f64 im) (sin.f64 re))) (+.f64 1 (expm1.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))))) (+.f64 1 (expm1.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))) (pow.f64 (exp.f64 1/2) (*.f64 (exp.f64 im) (sin.f64 re)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (pow.f64 (exp.f64 (/.f64 1/2 (exp.f64 im))) (sin.f64 re)) (+.f64 1 (expm1.f64 (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re)))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))) (+.f64 1 (expm1.f64 (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re)))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (sin.f64 re) (*.f64 1/2 (*.f64 2 (cosh.f64 im)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (sin.f64 re) (*.f64 1/2 (*.f64 2 (cosh.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (sin.f64 re) (*.f64 1/2 (*.f64 2 (cosh.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (sin.f64 re) (*.f64 1/2 (*.f64 2 (cosh.f64 im))))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (sin.f64 re) (*.f64 1/2 (*.f64 2 (cosh.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re)) (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)) (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1/2 (*.f64 (exp.f64 (neg.f64 im)) (sin.f64 re)) (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re)) (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 1/2 (exp.f64 im)) (sin.f64 re) (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sin.f64 re) (*.f64 1/2 (exp.f64 im)) (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sin.f64 re) (/.f64 1/2 (exp.f64 im)) (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))) 1 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 1/2 (exp.f64 im)) (sin.f64 re) (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) 1 (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))) (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re)))) (pow.f64 (cbrt.f64 (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re)))) 2) (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re)))) 2) (cbrt.f64 (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re)))) (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (*.f64 1/2 (exp.f64 im))) 2) (*.f64 (cbrt.f64 (*.f64 1/2 (exp.f64 im))) (sin.f64 re)) (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (/.f64 1/2 (exp.f64 im))) 2) (*.f64 (cbrt.f64 (/.f64 1/2 (exp.f64 im))) (sin.f64 re)) (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))) (pow.f64 (cbrt.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))) 2) (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))) 2) (cbrt.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))) (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (sin.f64 re)) 2) (*.f64 (cbrt.f64 (sin.f64 re)) (*.f64 1/2 (exp.f64 im))) (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (sin.f64 re)) 2) (*.f64 (cbrt.f64 (sin.f64 re)) (/.f64 1/2 (exp.f64 im))) (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re)))) (sqrt.f64 (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re)))) (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 1/2 (exp.f64 im))) (*.f64 (sqrt.f64 (*.f64 1/2 (exp.f64 im))) (sin.f64 re)) (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (/.f64 1/2 (exp.f64 im))) (*.f64 (sqrt.f64 (/.f64 1/2 (exp.f64 im))) (sin.f64 re)) (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))) (sqrt.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))) (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (sin.f64 re)) (*.f64 (sqrt.f64 (sin.f64 re)) (*.f64 1/2 (exp.f64 im))) (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (sin.f64 re)) (*.f64 (sqrt.f64 (sin.f64 re)) (/.f64 1/2 (exp.f64 im))) (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im) (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 (neg.f64 im)) (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (exp.f64 im) (sin.f64 re)) 1/2 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 1/2 (pow.f64 (cbrt.f64 (exp.f64 im)) 2)) (/.f64 (sin.f64 re) (cbrt.f64 (exp.f64 im))) (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 1/2 (sqrt.f64 (exp.f64 im))) (/.f64 (sin.f64 re) (sqrt.f64 (exp.f64 im))) (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (*.f64 1/2 (exp.f64 im)) (pow.f64 (cbrt.f64 (sin.f64 re)) 2)) (cbrt.f64 (sin.f64 re)) (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (*.f64 1/2 (exp.f64 im)) (sqrt.f64 (sin.f64 re))) (sqrt.f64 (sin.f64 re)) (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (sin.f64 re) (pow.f64 (cbrt.f64 (*.f64 1/2 (exp.f64 im))) 2)) (cbrt.f64 (*.f64 1/2 (exp.f64 im))) (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (sin.f64 re) (sqrt.f64 (*.f64 1/2 (exp.f64 im)))) (sqrt.f64 (*.f64 1/2 (exp.f64 im))) (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (sin.f64 re) (pow.f64 (cbrt.f64 (/.f64 1/2 (exp.f64 im))) 2)) (cbrt.f64 (/.f64 1/2 (exp.f64 im))) (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (sin.f64 re) (sqrt.f64 (/.f64 1/2 (exp.f64 im)))) (sqrt.f64 (/.f64 1/2 (exp.f64 im))) (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (/.f64 1/2 (exp.f64 im)) (pow.f64 (cbrt.f64 (sin.f64 re)) 2)) (cbrt.f64 (sin.f64 re)) (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (/.f64 1/2 (exp.f64 im)) (sqrt.f64 (sin.f64 re))) (sqrt.f64 (sin.f64 re)) (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1/2 (/.f64 (exp.f64 im) (sin.f64 re)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sin.f64 re) (*.f64 (exp.f64 im) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 1/2 (sin.f64 re))) (neg.f64 (exp.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 1/2 (sin.f64 re)) 1) (exp.f64 im))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 1/2 (sin.f64 re)) (pow.f64 (cbrt.f64 (exp.f64 im)) 2)) (cbrt.f64 (exp.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 1/2 (sin.f64 re)) (sqrt.f64 (exp.f64 im))) (sqrt.f64 (exp.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -1/2 (sin.f64 re)) (neg.f64 (exp.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sin.f64 re) -1/2) (neg.f64 (exp.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (/.f64 1/2 (exp.f64 im))) (sin.f64 re)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (-.f64 (log.f64 (*.f64 1/2 (sin.f64 re))) im))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 1/2 (sin.f64 re))) im) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))))))))

simplify54.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

412×	`fma-neg_binary64`
327×	`associate-l_binary64`
311×	`unsub-neg_binary64`
297×	`associate-+l+_binary64`
290×	`associate-r_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	128	1353
1	415	1266
2	1241	1215
3	3755	1213

Stop Event

1×	node limit

Counts

186 → 163

Calls

Call 1

Inputs
(*.f64 1/2 (sin.f64 re))
(+.f64 (.f64 1/2 (.f64 (sin.f64 re) im)) (*.f64 1/2 (sin.f64 re)))
(+.f64 (.f64 1/2 (.f64 (sin.f64 re) im)) (+.f64 (.f64 1/4 (.f64 (sin.f64 re) (pow.f64 im 2))) (*.f64 1/2 (sin.f64 re))))
(+.f64 (.f64 1/12 (.f64 (sin.f64 re) (pow.f64 im 3))) (+.f64 (.f64 1/2 (.f64 (sin.f64 re) im)) (+.f64 (.f64 1/4 (.f64 (sin.f64 re) (pow.f64 im 2))) (*.f64 1/2 (sin.f64 re)))))
(.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re)))
(.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re)))
(.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re)))
(.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re)))
(.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re)))
(.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re)))
(.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re)))
(.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re)))
(.f64 1/2 (.f64 (exp.f64 im) re))
(+.f64 (.f64 1/2 (.f64 (exp.f64 im) re)) (.f64 -1/12 (.f64 (exp.f64 im) (pow.f64 re 3))))
(+.f64 (.f64 1/2 (.f64 (exp.f64 im) re)) (+.f64 (.f64 -1/12 (.f64 (exp.f64 im) (pow.f64 re 3))) (.f64 1/240 (.f64 (exp.f64 im) (pow.f64 re 5)))))
(+.f64 (.f64 1/2 (.f64 (exp.f64 im) re)) (+.f64 (.f64 -1/12 (.f64 (exp.f64 im) (pow.f64 re 3))) (+.f64 (.f64 -1/10080 (.f64 (exp.f64 im) (pow.f64 re 7))) (.f64 1/240 (.f64 (exp.f64 im) (pow.f64 re 5))))))
(.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))
(sin.f64 re)
(+.f64 (sin.f64 re) (.f64 (+.f64 (.f64 -1/2 (sin.f64 re)) (*.f64 1/2 (sin.f64 re))) im))
(+.f64 (sin.f64 re) (+.f64 (.f64 (+.f64 (.f64 1/4 (sin.f64 re)) (.f64 -1/2 (+.f64 (.f64 -1 (sin.f64 re)) (.f64 1/2 (sin.f64 re))))) (pow.f64 im 2)) (.f64 (+.f64 (.f64 -1/2 (sin.f64 re)) (.f64 1/2 (sin.f64 re))) im)))
(+.f64 (.f64 (+.f64 (.f64 -1/2 (+.f64 (.f64 1/6 (sin.f64 re)) (+.f64 (.f64 -1 (+.f64 (.f64 -1 (sin.f64 re)) (.f64 1/2 (sin.f64 re)))) (.f64 -1/2 (sin.f64 re))))) (.f64 1/12 (sin.f64 re))) (pow.f64 im 3)) (+.f64 (sin.f64 re) (+.f64 (.f64 (+.f64 (.f64 1/4 (sin.f64 re)) (.f64 -1/2 (+.f64 (.f64 -1 (sin.f64 re)) (.f64 1/2 (sin.f64 re))))) (pow.f64 im 2)) (.f64 (+.f64 (.f64 -1/2 (sin.f64 re)) (.f64 1/2 (sin.f64 re))) im))))
(+.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(+.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(+.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(+.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(+.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(+.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(+.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(+.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(.f64 re (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))))
(+.f64 (.f64 re (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (.f64 1/2 (exp.f64 im)))) (.f64 (pow.f64 re 3) (-.f64 (.f64 -1/12 (exp.f64 im)) (.f64 1/12 (/.f64 1 (exp.f64 im))))))
(+.f64 (.f64 re (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (.f64 1/2 (exp.f64 im)))) (+.f64 (.f64 (pow.f64 re 5) (+.f64 (.f64 1/240 (/.f64 1 (exp.f64 im))) (.f64 1/240 (exp.f64 im)))) (.f64 (pow.f64 re 3) (-.f64 (.f64 -1/12 (exp.f64 im)) (*.f64 1/12 (/.f64 1 (exp.f64 im)))))))
(+.f64 (.f64 re (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (.f64 1/2 (exp.f64 im)))) (+.f64 (.f64 (pow.f64 re 5) (+.f64 (.f64 1/240 (/.f64 1 (exp.f64 im))) (.f64 1/240 (exp.f64 im)))) (+.f64 (.f64 (pow.f64 re 3) (-.f64 (.f64 -1/12 (exp.f64 im)) (.f64 1/12 (/.f64 1 (exp.f64 im))))) (.f64 (pow.f64 re 7) (-.f64 (.f64 -1/10080 (exp.f64 im)) (.f64 1/10080 (/.f64 1 (exp.f64 im))))))))
(+.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))) (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))
(+.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))) (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))
(+.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))) (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))
(+.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))) (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))
(+.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))) (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))
(+.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))) (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))
(+.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))) (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))
(+.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))) (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))
(*.f64 1/2 (sin.f64 re))
(+.f64 (.f64 -1/2 (.f64 (sin.f64 re) im)) (*.f64 1/2 (sin.f64 re)))
(+.f64 (.f64 -1/2 (.f64 (+.f64 (.f64 -1 (sin.f64 re)) (.f64 1/2 (sin.f64 re))) (pow.f64 im 2))) (+.f64 (.f64 -1/2 (.f64 (sin.f64 re) im)) (*.f64 1/2 (sin.f64 re))))
(+.f64 (.f64 -1/2 (.f64 (+.f64 (.f64 -1 (sin.f64 re)) (.f64 1/2 (sin.f64 re))) (pow.f64 im 2))) (+.f64 (.f64 -1/2 (.f64 (sin.f64 re) im)) (+.f64 (.f64 -1/2 (.f64 (+.f64 (.f64 -1 (+.f64 (.f64 -1 (sin.f64 re)) (.f64 1/2 (sin.f64 re)))) (+.f64 (.f64 1/6 (sin.f64 re)) (.f64 -1/2 (sin.f64 re)))) (pow.f64 im 3))) (.f64 1/2 (sin.f64 re)))))
(*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))
(*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))
(*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))
(*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))
(*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))
(*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))
(*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))
(*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))
(*.f64 1/2 (/.f64 re (exp.f64 im)))
(+.f64 (.f64 1/2 (/.f64 re (exp.f64 im))) (.f64 -1/12 (/.f64 (pow.f64 re 3) (exp.f64 im))))
(+.f64 (.f64 1/2 (/.f64 re (exp.f64 im))) (+.f64 (.f64 1/240 (/.f64 (pow.f64 re 5) (exp.f64 im))) (*.f64 -1/12 (/.f64 (pow.f64 re 3) (exp.f64 im)))))
(+.f64 (.f64 1/2 (/.f64 re (exp.f64 im))) (+.f64 (.f64 1/240 (/.f64 (pow.f64 re 5) (exp.f64 im))) (+.f64 (.f64 -1/12 (/.f64 (pow.f64 re 3) (exp.f64 im))) (.f64 -1/10080 (/.f64 (pow.f64 re 7) (exp.f64 im))))))
(*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))
(*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))
(*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))
(*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))
(*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))
(*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))
(*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))
(*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))

Outputs
(*.f64 1/2 (sin.f64 re))
(+.f64 (.f64 1/2 (.f64 (sin.f64 re) im)) (*.f64 1/2 (sin.f64 re)))
(.f64 1/2 (+.f64 (.f64 (sin.f64 re) im) (sin.f64 re)))
(.f64 1/2 (.f64 (+.f64 im 1) (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 im 1)))
(+.f64 (.f64 1/2 (.f64 (sin.f64 re) im)) (+.f64 (.f64 1/4 (.f64 (sin.f64 re) (pow.f64 im 2))) (*.f64 1/2 (sin.f64 re))))
(fma.f64 1/2 (.f64 (sin.f64 re) im) (fma.f64 1/4 (.f64 (sin.f64 re) (.f64 im im)) (.f64 1/2 (sin.f64 re))))
(+.f64 (.f64 (sin.f64 re) (.f64 (.f64 im im) 1/4)) (.f64 1/2 (*.f64 (+.f64 im 1) (sin.f64 re))))
(fma.f64 1/2 (.f64 (sin.f64 re) im) (.f64 (sin.f64 re) (+.f64 1/2 (.f64 1/4 (.f64 im im)))))
(fma.f64 (sin.f64 re) (+.f64 (.f64 1/4 (.f64 im im)) (.f64 1/2 im)) (.f64 1/2 (sin.f64 re)))
(+.f64 (.f64 1/12 (.f64 (sin.f64 re) (pow.f64 im 3))) (+.f64 (.f64 1/2 (.f64 (sin.f64 re) im)) (+.f64 (.f64 1/4 (.f64 (sin.f64 re) (pow.f64 im 2))) (*.f64 1/2 (sin.f64 re)))))
(fma.f64 1/12 (.f64 (sin.f64 re) (pow.f64 im 3)) (fma.f64 1/2 (.f64 (sin.f64 re) im) (fma.f64 1/4 (.f64 (sin.f64 re) (.f64 im im)) (*.f64 1/2 (sin.f64 re)))))
(fma.f64 1/12 (.f64 (sin.f64 re) (pow.f64 im 3)) (+.f64 (.f64 (sin.f64 re) (.f64 (.f64 im im) 1/4)) (.f64 1/2 (.f64 (+.f64 im 1) (sin.f64 re)))))
(+.f64 (.f64 (sin.f64 re) (+.f64 1/2 (.f64 1/4 (.f64 im im)))) (.f64 (sin.f64 re) (+.f64 (.f64 1/2 im) (.f64 1/12 (pow.f64 im 3)))))
(.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re)))
(.f64 (.f64 1/2 (sin.f64 re)) (exp.f64 im))
(.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re)))
(.f64 (.f64 1/2 (sin.f64 re)) (exp.f64 im))
(.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re)))
(.f64 (.f64 1/2 (sin.f64 re)) (exp.f64 im))
(.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re)))
(.f64 (.f64 1/2 (sin.f64 re)) (exp.f64 im))
(.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re)))
(.f64 (.f64 1/2 (sin.f64 re)) (exp.f64 im))
(.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re)))
(.f64 (.f64 1/2 (sin.f64 re)) (exp.f64 im))
(.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re)))
(.f64 (.f64 1/2 (sin.f64 re)) (exp.f64 im))
(.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re)))
(.f64 (.f64 1/2 (sin.f64 re)) (exp.f64 im))
(.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))
(.f64 1/2 (.f64 (exp.f64 im) re))
(.f64 (.f64 1/2 (exp.f64 im)) re)
(.f64 (exp.f64 im) (.f64 1/2 re))
(+.f64 (.f64 1/2 (.f64 (exp.f64 im) re)) (.f64 -1/12 (.f64 (exp.f64 im) (pow.f64 re 3))))
(fma.f64 1/2 (.f64 re (exp.f64 im)) (.f64 -1/12 (*.f64 (exp.f64 im) (pow.f64 re 3))))
(fma.f64 -1/12 (.f64 (exp.f64 im) (pow.f64 re 3)) (.f64 (exp.f64 im) (*.f64 1/2 re)))
(.f64 (exp.f64 im) (+.f64 (.f64 1/2 re) (*.f64 -1/12 (pow.f64 re 3))))
(+.f64 (.f64 1/2 (.f64 (exp.f64 im) re)) (+.f64 (.f64 -1/12 (.f64 (exp.f64 im) (pow.f64 re 3))) (.f64 1/240 (.f64 (exp.f64 im) (pow.f64 re 5)))))
(fma.f64 1/2 (.f64 re (exp.f64 im)) (fma.f64 -1/12 (.f64 (exp.f64 im) (pow.f64 re 3)) (.f64 1/240 (.f64 (exp.f64 im) (pow.f64 re 5)))))
(fma.f64 1/2 (.f64 re (exp.f64 im)) (fma.f64 -1/12 (.f64 (exp.f64 im) (pow.f64 re 3)) (.f64 (exp.f64 im) (.f64 1/240 (pow.f64 re 5)))))
(fma.f64 1/2 (.f64 re (exp.f64 im)) (.f64 (exp.f64 im) (+.f64 (.f64 -1/12 (pow.f64 re 3)) (.f64 1/240 (pow.f64 re 5)))))
(+.f64 (.f64 1/2 (.f64 (exp.f64 im) re)) (+.f64 (.f64 -1/12 (.f64 (exp.f64 im) (pow.f64 re 3))) (+.f64 (.f64 -1/10080 (.f64 (exp.f64 im) (pow.f64 re 7))) (.f64 1/240 (.f64 (exp.f64 im) (pow.f64 re 5))))))
(fma.f64 1/2 (.f64 re (exp.f64 im)) (fma.f64 -1/12 (.f64 (exp.f64 im) (pow.f64 re 3)) (fma.f64 -1/10080 (.f64 (exp.f64 im) (pow.f64 re 7)) (.f64 1/240 (*.f64 (exp.f64 im) (pow.f64 re 5))))))
(fma.f64 1/2 (.f64 re (exp.f64 im)) (fma.f64 -1/12 (.f64 (exp.f64 im) (pow.f64 re 3)) (fma.f64 (.f64 (exp.f64 im) 1/240) (pow.f64 re 5) (.f64 (exp.f64 im) (*.f64 -1/10080 (pow.f64 re 7))))))
(+.f64 (.f64 (exp.f64 im) (+.f64 (.f64 1/240 (pow.f64 re 5)) (.f64 -1/10080 (pow.f64 re 7)))) (.f64 (exp.f64 im) (+.f64 (.f64 1/2 re) (.f64 -1/12 (pow.f64 re 3)))))
(.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))
(.f64 (.f64 1/2 (sin.f64 re)) (exp.f64 im))
(.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))
(.f64 (.f64 1/2 (sin.f64 re)) (exp.f64 im))
(.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))
(.f64 (.f64 1/2 (sin.f64 re)) (exp.f64 im))
(.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))
(.f64 (.f64 1/2 (sin.f64 re)) (exp.f64 im))
(.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))
(.f64 (.f64 1/2 (sin.f64 re)) (exp.f64 im))
(.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))
(.f64 (.f64 1/2 (sin.f64 re)) (exp.f64 im))
(.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))
(.f64 (.f64 1/2 (sin.f64 re)) (exp.f64 im))
(.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))
(.f64 (.f64 1/2 (sin.f64 re)) (exp.f64 im))
(sin.f64 re)
(+.f64 (sin.f64 re) (.f64 (+.f64 (.f64 -1/2 (sin.f64 re)) (*.f64 1/2 (sin.f64 re))) im))
(sin.f64 re)
(+.f64 (sin.f64 re) (+.f64 (.f64 (+.f64 (.f64 1/4 (sin.f64 re)) (.f64 -1/2 (+.f64 (.f64 -1 (sin.f64 re)) (.f64 1/2 (sin.f64 re))))) (pow.f64 im 2)) (.f64 (+.f64 (.f64 -1/2 (sin.f64 re)) (.f64 1/2 (sin.f64 re))) im)))
(+.f64 (sin.f64 re) (fma.f64 (fma.f64 1/4 (sin.f64 re) (.f64 -1/2 (.f64 (sin.f64 re) -1/2))) (.f64 im im) (.f64 im (*.f64 (sin.f64 re) 0))))
(+.f64 (sin.f64 re) (fma.f64 im 0 (.f64 im (.f64 im (+.f64 (*.f64 1/2 (sin.f64 re)) 0)))))
(+.f64 (sin.f64 re) (.f64 im (.f64 (sin.f64 re) (*.f64 1/2 im))))
(+.f64 (.f64 (+.f64 (.f64 -1/2 (+.f64 (.f64 1/6 (sin.f64 re)) (+.f64 (.f64 -1 (+.f64 (.f64 -1 (sin.f64 re)) (.f64 1/2 (sin.f64 re)))) (.f64 -1/2 (sin.f64 re))))) (.f64 1/12 (sin.f64 re))) (pow.f64 im 3)) (+.f64 (sin.f64 re) (+.f64 (.f64 (+.f64 (.f64 1/4 (sin.f64 re)) (.f64 -1/2 (+.f64 (.f64 -1 (sin.f64 re)) (.f64 1/2 (sin.f64 re))))) (pow.f64 im 2)) (.f64 (+.f64 (.f64 -1/2 (sin.f64 re)) (.f64 1/2 (sin.f64 re))) im))))
(+.f64 (sin.f64 re) (fma.f64 (fma.f64 1/4 (sin.f64 re) (.f64 -1/2 (.f64 (sin.f64 re) -1/2))) (.f64 im im) (.f64 im (*.f64 (sin.f64 re) 0))))
(+.f64 (sin.f64 re) (fma.f64 im 0 (.f64 im (.f64 im (+.f64 (*.f64 1/2 (sin.f64 re)) 0)))))
(+.f64 (sin.f64 re) (.f64 im (.f64 (sin.f64 re) (*.f64 1/2 im))))
(+.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(.f64 1/2 (+.f64 (.f64 (sin.f64 re) (exp.f64 im)) (/.f64 (sin.f64 re) (exp.f64 im))))
(*.f64 1/2 (fma.f64 (sin.f64 re) (exp.f64 im) (/.f64 (sin.f64 re) (exp.f64 im))))
(+.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(.f64 1/2 (+.f64 (.f64 (sin.f64 re) (exp.f64 im)) (/.f64 (sin.f64 re) (exp.f64 im))))
(*.f64 1/2 (fma.f64 (sin.f64 re) (exp.f64 im) (/.f64 (sin.f64 re) (exp.f64 im))))
(+.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(.f64 1/2 (+.f64 (.f64 (sin.f64 re) (exp.f64 im)) (/.f64 (sin.f64 re) (exp.f64 im))))
(*.f64 1/2 (fma.f64 (sin.f64 re) (exp.f64 im) (/.f64 (sin.f64 re) (exp.f64 im))))
(+.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(.f64 1/2 (+.f64 (.f64 (sin.f64 re) (exp.f64 im)) (/.f64 (sin.f64 re) (exp.f64 im))))
(*.f64 1/2 (fma.f64 (sin.f64 re) (exp.f64 im) (/.f64 (sin.f64 re) (exp.f64 im))))
(+.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(.f64 1/2 (+.f64 (.f64 (sin.f64 re) (exp.f64 im)) (/.f64 (sin.f64 re) (exp.f64 im))))
(*.f64 1/2 (fma.f64 (sin.f64 re) (exp.f64 im) (/.f64 (sin.f64 re) (exp.f64 im))))
(+.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(.f64 1/2 (+.f64 (.f64 (sin.f64 re) (exp.f64 im)) (/.f64 (sin.f64 re) (exp.f64 im))))
(*.f64 1/2 (fma.f64 (sin.f64 re) (exp.f64 im) (/.f64 (sin.f64 re) (exp.f64 im))))
(+.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(.f64 1/2 (+.f64 (.f64 (sin.f64 re) (exp.f64 im)) (/.f64 (sin.f64 re) (exp.f64 im))))
(*.f64 1/2 (fma.f64 (sin.f64 re) (exp.f64 im) (/.f64 (sin.f64 re) (exp.f64 im))))
(+.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))) (.f64 1/2 (*.f64 (sin.f64 re) (exp.f64 im))))
(.f64 1/2 (+.f64 (.f64 (sin.f64 re) (exp.f64 im)) (/.f64 (sin.f64 re) (exp.f64 im))))
(*.f64 1/2 (fma.f64 (sin.f64 re) (exp.f64 im) (/.f64 (sin.f64 re) (exp.f64 im))))
(.f64 re (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))))
(.f64 re (.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(*.f64 re (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(+.f64 (.f64 re (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (.f64 1/2 (exp.f64 im)))) (.f64 (pow.f64 re 3) (-.f64 (.f64 -1/12 (exp.f64 im)) (.f64 1/12 (/.f64 1 (exp.f64 im))))))
(fma.f64 re (.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (.f64 (pow.f64 re 3) (-.f64 (*.f64 (exp.f64 im) -1/12) (/.f64 1/12 (exp.f64 im)))))
(fma.f64 re (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (*.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))))
(fma.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))) (*.f64 re (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))))
(+.f64 (.f64 re (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (.f64 1/2 (exp.f64 im)))) (+.f64 (.f64 (pow.f64 re 5) (+.f64 (.f64 1/240 (/.f64 1 (exp.f64 im))) (.f64 1/240 (exp.f64 im)))) (.f64 (pow.f64 re 3) (-.f64 (.f64 -1/12 (exp.f64 im)) (*.f64 1/12 (/.f64 1 (exp.f64 im)))))))
(fma.f64 re (.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (fma.f64 (pow.f64 re 5) (.f64 1/240 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (.f64 (pow.f64 re 3) (-.f64 (.f64 (exp.f64 im) -1/12) (/.f64 1/12 (exp.f64 im))))))
(fma.f64 re (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (fma.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))) (*.f64 (pow.f64 re 5) (fma.f64 (exp.f64 im) 1/240 (/.f64 1/240 (exp.f64 im))))))
(+.f64 (.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 (.f64 1/240 (pow.f64 re 5)) (.f64 1/2 re))))
(+.f64 (.f64 re (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (.f64 1/2 (exp.f64 im)))) (+.f64 (.f64 (pow.f64 re 5) (+.f64 (.f64 1/240 (/.f64 1 (exp.f64 im))) (.f64 1/240 (exp.f64 im)))) (+.f64 (.f64 (pow.f64 re 3) (-.f64 (.f64 -1/12 (exp.f64 im)) (.f64 1/12 (/.f64 1 (exp.f64 im))))) (.f64 (pow.f64 re 7) (-.f64 (.f64 -1/10080 (exp.f64 im)) (.f64 1/10080 (/.f64 1 (exp.f64 im))))))))
(fma.f64 re (.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (fma.f64 (pow.f64 re 5) (.f64 1/240 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (fma.f64 (pow.f64 re 3) (-.f64 (.f64 (exp.f64 im) -1/12) (/.f64 1/12 (exp.f64 im))) (.f64 (pow.f64 re 7) (-.f64 (*.f64 (exp.f64 im) -1/10080) (/.f64 1/10080 (exp.f64 im)))))))
(fma.f64 re (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (fma.f64 (pow.f64 re 5) (fma.f64 (exp.f64 im) 1/240 (/.f64 1/240 (exp.f64 im))) (fma.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))) (*.f64 (pow.f64 re 7) (fma.f64 (exp.f64 im) -1/10080 (/.f64 -1/10080 (exp.f64 im)))))))
(+.f64 (fma.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))) (.f64 (pow.f64 re 7) (fma.f64 (exp.f64 im) -1/10080 (/.f64 -1/10080 (exp.f64 im))))) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 (.f64 1/240 (pow.f64 re 5)) (.f64 1/2 re))))
(+.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))) (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))
(.f64 1/2 (+.f64 (.f64 (sin.f64 re) (exp.f64 im)) (/.f64 (sin.f64 re) (exp.f64 im))))
(*.f64 1/2 (fma.f64 (sin.f64 re) (exp.f64 im) (/.f64 (sin.f64 re) (exp.f64 im))))
(+.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))) (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))
(.f64 1/2 (+.f64 (.f64 (sin.f64 re) (exp.f64 im)) (/.f64 (sin.f64 re) (exp.f64 im))))
(*.f64 1/2 (fma.f64 (sin.f64 re) (exp.f64 im) (/.f64 (sin.f64 re) (exp.f64 im))))
(+.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))) (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))
(.f64 1/2 (+.f64 (.f64 (sin.f64 re) (exp.f64 im)) (/.f64 (sin.f64 re) (exp.f64 im))))
(*.f64 1/2 (fma.f64 (sin.f64 re) (exp.f64 im) (/.f64 (sin.f64 re) (exp.f64 im))))
(+.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))) (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))
(.f64 1/2 (+.f64 (.f64 (sin.f64 re) (exp.f64 im)) (/.f64 (sin.f64 re) (exp.f64 im))))
(*.f64 1/2 (fma.f64 (sin.f64 re) (exp.f64 im) (/.f64 (sin.f64 re) (exp.f64 im))))
(+.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))) (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))
(.f64 1/2 (+.f64 (.f64 (sin.f64 re) (exp.f64 im)) (/.f64 (sin.f64 re) (exp.f64 im))))
(*.f64 1/2 (fma.f64 (sin.f64 re) (exp.f64 im) (/.f64 (sin.f64 re) (exp.f64 im))))
(+.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))) (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))
(.f64 1/2 (+.f64 (.f64 (sin.f64 re) (exp.f64 im)) (/.f64 (sin.f64 re) (exp.f64 im))))
(*.f64 1/2 (fma.f64 (sin.f64 re) (exp.f64 im) (/.f64 (sin.f64 re) (exp.f64 im))))
(+.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))) (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))
(.f64 1/2 (+.f64 (.f64 (sin.f64 re) (exp.f64 im)) (/.f64 (sin.f64 re) (exp.f64 im))))
(*.f64 1/2 (fma.f64 (sin.f64 re) (exp.f64 im) (/.f64 (sin.f64 re) (exp.f64 im))))
(+.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))) (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))
(.f64 1/2 (+.f64 (.f64 (sin.f64 re) (exp.f64 im)) (/.f64 (sin.f64 re) (exp.f64 im))))
(*.f64 1/2 (fma.f64 (sin.f64 re) (exp.f64 im) (/.f64 (sin.f64 re) (exp.f64 im))))
(*.f64 1/2 (sin.f64 re))
(+.f64 (.f64 -1/2 (.f64 (sin.f64 re) im)) (*.f64 1/2 (sin.f64 re)))
(fma.f64 -1/2 (.f64 (sin.f64 re) im) (.f64 1/2 (sin.f64 re)))
(fma.f64 1/2 (sin.f64 re) (.f64 (sin.f64 re) (.f64 im -1/2)))
(.f64 (sin.f64 re) (+.f64 1/2 (.f64 im -1/2)))
(+.f64 (.f64 -1/2 (.f64 (+.f64 (.f64 -1 (sin.f64 re)) (.f64 1/2 (sin.f64 re))) (pow.f64 im 2))) (+.f64 (.f64 -1/2 (.f64 (sin.f64 re) im)) (*.f64 1/2 (sin.f64 re))))
(fma.f64 -1/2 (.f64 (.f64 im im) (.f64 (sin.f64 re) -1/2)) (fma.f64 -1/2 (.f64 (sin.f64 re) im) (*.f64 1/2 (sin.f64 re))))
(fma.f64 (.f64 (sin.f64 re) 1/4) (.f64 im im) (fma.f64 1/2 (sin.f64 re) (.f64 (sin.f64 re) (.f64 im -1/2))))
(fma.f64 (.f64 (sin.f64 re) 1/4) (.f64 im im) (.f64 (sin.f64 re) (+.f64 1/2 (.f64 im -1/2))))
(.f64 -1/2 (-.f64 (.f64 (sin.f64 re) (+.f64 (.f64 im (.f64 im -1/2)) im)) (sin.f64 re)))
(+.f64 (.f64 -1/2 (.f64 (+.f64 (.f64 -1 (sin.f64 re)) (.f64 1/2 (sin.f64 re))) (pow.f64 im 2))) (+.f64 (.f64 -1/2 (.f64 (sin.f64 re) im)) (+.f64 (.f64 -1/2 (.f64 (+.f64 (.f64 -1 (+.f64 (.f64 -1 (sin.f64 re)) (.f64 1/2 (sin.f64 re)))) (+.f64 (.f64 1/6 (sin.f64 re)) (.f64 -1/2 (sin.f64 re)))) (pow.f64 im 3))) (.f64 1/2 (sin.f64 re)))))
(fma.f64 -1/2 (.f64 (.f64 im im) (.f64 (sin.f64 re) -1/2)) (fma.f64 -1/2 (.f64 (sin.f64 re) im) (fma.f64 -1/2 (.f64 (pow.f64 im 3) (fma.f64 -1 (.f64 (sin.f64 re) -1/2) (.f64 (sin.f64 re) -1/3))) (.f64 1/2 (sin.f64 re)))))
(fma.f64 (.f64 (sin.f64 re) 1/4) (.f64 im im) (fma.f64 (.f64 (sin.f64 re) im) -1/2 (fma.f64 1/2 (sin.f64 re) (.f64 (pow.f64 im 3) (+.f64 0 (*.f64 (sin.f64 re) -1/12))))))
(+.f64 (.f64 (pow.f64 im 3) (.f64 (sin.f64 re) -1/12)) (fma.f64 (.f64 (sin.f64 re) 1/4) (.f64 im im) (.f64 (sin.f64 re) (+.f64 1/2 (.f64 im -1/2)))))
(+.f64 (.f64 (pow.f64 im 3) (.f64 (sin.f64 re) -1/12)) (.f64 -1/2 (-.f64 (.f64 (sin.f64 re) (+.f64 (.f64 im (.f64 im -1/2)) im)) (sin.f64 re))))
(*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))
(/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im))
(*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))
(/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im))
(*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))
(/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im))
(*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))
(/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im))
(*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))
(/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im))
(*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))
(/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im))
(*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))
(/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im))
(*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))
(/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im))
(*.f64 1/2 (/.f64 re (exp.f64 im)))
(/.f64 (*.f64 1/2 re) (exp.f64 im))
(+.f64 (.f64 1/2 (/.f64 re (exp.f64 im))) (.f64 -1/12 (/.f64 (pow.f64 re 3) (exp.f64 im))))
(fma.f64 1/2 (/.f64 re (exp.f64 im)) (/.f64 (*.f64 -1/12 (pow.f64 re 3)) (exp.f64 im)))
(fma.f64 1/2 (/.f64 re (exp.f64 im)) (*.f64 -1/12 (/.f64 (pow.f64 re 3) (exp.f64 im))))
(+.f64 (.f64 1/2 (/.f64 re (exp.f64 im))) (+.f64 (.f64 1/240 (/.f64 (pow.f64 re 5) (exp.f64 im))) (*.f64 -1/12 (/.f64 (pow.f64 re 3) (exp.f64 im)))))
(fma.f64 1/2 (/.f64 re (exp.f64 im)) (fma.f64 1/240 (/.f64 (pow.f64 re 5) (exp.f64 im)) (/.f64 (*.f64 -1/12 (pow.f64 re 3)) (exp.f64 im))))
(fma.f64 1/2 (/.f64 re (exp.f64 im)) (fma.f64 -1/12 (/.f64 (pow.f64 re 3) (exp.f64 im)) (*.f64 1/240 (/.f64 (pow.f64 re 5) (exp.f64 im)))))
(+.f64 (.f64 1/2 (/.f64 re (exp.f64 im))) (+.f64 (.f64 1/240 (/.f64 (pow.f64 re 5) (exp.f64 im))) (+.f64 (.f64 -1/12 (/.f64 (pow.f64 re 3) (exp.f64 im))) (.f64 -1/10080 (/.f64 (pow.f64 re 7) (exp.f64 im))))))
(fma.f64 1/2 (/.f64 re (exp.f64 im)) (fma.f64 1/240 (/.f64 (pow.f64 re 5) (exp.f64 im)) (fma.f64 -1/12 (/.f64 (pow.f64 re 3) (exp.f64 im)) (/.f64 (*.f64 -1/10080 (pow.f64 re 7)) (exp.f64 im)))))
(fma.f64 1/2 (/.f64 re (exp.f64 im)) (fma.f64 1/240 (/.f64 (pow.f64 re 5) (exp.f64 im)) (fma.f64 -1/12 (/.f64 (pow.f64 re 3) (exp.f64 im)) (*.f64 -1/10080 (/.f64 (pow.f64 re 7) (exp.f64 im))))))
(*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))
(/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im))
(*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))
(/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im))
(*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))
(/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im))
(*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))
(/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im))
(*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))
(/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im))
(*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))
(/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im))
(*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))
(/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im))
(*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))
(/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im))

prune165.0ms (2.8%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	191	1	192
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	192	2	194

Error

Counts

194 → 2

Alt Table

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

Compiler

Compiled 4120 to 2132 computations (48.3% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 (sin.f64 re) (exp.f64 im) (/.f64 (sin.f64 re) (exp.f64 im)))
✓	0.0b	(/.f64 (sin.f64 re) (exp.f64 im))

series6.0ms (0.1%)

Counts

2 → 32

Calls

12 calls:

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

rewrite45.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

744×	`pow1_binary64`
684×	`add-log-exp_binary64`
684×	`log1p-expm1-u_binary64`
684×	`expm1-log1p-u_binary64`
73×	`*-un-lft-identity_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	24
1	140	23
2	1807	23

Stop Event

1×	node limit

Counts

2 → 55

Calls

Call 1

Inputs
(/.f64 (sin.f64 re) (exp.f64 im))
(fma.f64 (sin.f64 re) (exp.f64 im) (/.f64 (sin.f64 re) (exp.f64 im)))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (sin.f64 re) (exp.f64 im)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sin.f64 re) (exp.f64 (neg.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sin.f64 re) (exp.f64 im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (sin.f64 re) (exp.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 (sin.f64 re) (exp.f64 im))) (pow.f64 (cbrt.f64 (/.f64 (sin.f64 re) (exp.f64 im))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (/.f64 (sin.f64 re) (exp.f64 im))) 2) (cbrt.f64 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (sin.f64 re)) 2) (*.f64 (cbrt.f64 (sin.f64 re)) (exp.f64 (neg.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 (sin.f64 re) (exp.f64 im))) (sqrt.f64 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (sin.f64 re)) (*.f64 (sqrt.f64 (sin.f64 re)) (exp.f64 (neg.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (sin.f64 re)) (/.f64 1 (neg.f64 (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (exp.f64 (neg.f64 im)) (sin.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (sin.f64 re)) 2) 1) (/.f64 (cbrt.f64 (sin.f64 re)) (exp.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (sin.f64 re)) 1) (/.f64 (sqrt.f64 (sin.f64 re)) (exp.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (pow.f64 (cbrt.f64 (exp.f64 im)) 2)) (/.f64 (sin.f64 re) (cbrt.f64 (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (sin.f64 re)) 2) (pow.f64 (cbrt.f64 (exp.f64 im)) 2)) (cbrt.f64 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (sin.f64 re)) (pow.f64 (cbrt.f64 (exp.f64 im)) 2)) (/.f64 (sqrt.f64 (sin.f64 re)) (cbrt.f64 (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (sqrt.f64 (exp.f64 im))) (/.f64 (sin.f64 re) (sqrt.f64 (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (sin.f64 re)) 2) (sqrt.f64 (exp.f64 im))) (/.f64 (cbrt.f64 (sin.f64 re)) (sqrt.f64 (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (sin.f64 re) (exp.f64 im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (sin.f64 re) (exp.f64 im)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (sin.f64 re) (exp.f64 im))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (sin.f64 re) (exp.f64 im))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (exp.f64 im) (sin.f64 re)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (sin.f64 re) (neg.f64 (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (sin.f64 re) (exp.f64 im)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (sin.f64 re) (exp.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (sin.f64 re) (exp.f64 im)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (sin.f64 re) 3) (pow.f64 (exp.f64 im) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (-.f64 (log.f64 (sin.f64 re)) im))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (sin.f64 re) (exp.f64 im))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (sin.f64 re) (exp.f64 im)) (*.f64 (sin.f64 re) (exp.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (sin.f64 re) (exp.f64 im)) (/.f64 (sin.f64 re) (exp.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (sin.f64 re) (exp.f64 im)) 1) (/.f64 (sin.f64 re) (exp.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (pow.f64 (cbrt.f64 (*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) 2) (cbrt.f64 (*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (sqrt.f64 (*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 (sin.f64 re) (exp.f64 im)) 3) (pow.f64 (/.f64 (sin.f64 re) (exp.f64 im)) 3)) (+.f64 (*.f64 (*.f64 (sin.f64 re) (exp.f64 im)) (*.f64 (sin.f64 re) (exp.f64 im))) (-.f64 (pow.f64 (/.f64 (sin.f64 re) (exp.f64 im)) 2) (*.f64 (*.f64 (sin.f64 re) (exp.f64 im)) (/.f64 (sin.f64 re) (exp.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (*.f64 (sin.f64 re) (exp.f64 im)) (*.f64 (sin.f64 re) (exp.f64 im))) (pow.f64 (/.f64 (sin.f64 re) (exp.f64 im)) 2)) (-.f64 (*.f64 (sin.f64 re) (exp.f64 im)) (/.f64 (sin.f64 re) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))))))

simplify28.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

794×	`fma-def_binary64`
284×	`associate-+l+_binary64`
282×	`associate-l_binary64`
257×	`associate-r_binary64`
251×	`associate-+r+_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	98	770
1	314	703
2	1052	633

Stop Event

1×	node limit

Counts

87 → 87

Calls

Call 1

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

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

prune83.0ms (1.4%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	87	0	87
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	87	2	89

Error

Counts

89 → 2

Alt Table

Status	Error	Program
✓	0.0b	(+.f64 (.f64 (.f64 1/2 (exp.f64 im)) (sin.f64 re)) (*.f64 (/.f64 1/2 (exp.f64 im)) (sin.f64 re)))
✓	0.0b	(*.f64 1/2 (fma.f64 (sin.f64 re) (exp.f64 im) (/.f64 (sin.f64 re) (exp.f64 im))))

Compiler

Compiled 1798 to 799 computations (55.6% saved)

regimes80.0ms (1.3%)

Accuracy

Total -61.1b remaining (-781884.9%)

Threshold costs -61.1b (-781884.9%)

Counts

21 → 1

Calls

Call 1

Inputs
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (fma.f64 (sin.f64 re) (exp.f64 im) (.f64 (sin.f64 re) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 2 (sin.f64 re)))
(.f64 1/2 (+.f64 (.f64 (exp.f64 im) (sin.f64 re)) (/.f64 (sin.f64 re) (exp.f64 im))))
(.f64 1/2 (.f64 re (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 1/2 (fma.f64 (sin.f64 re) (exp.f64 im) (sin.f64 re)))
(*.f64 1/2 (fma.f64 (sin.f64 re) (exp.f64 im) (/.f64 re (exp.f64 im))))
(fma.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re)) (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))
(.f64 (sin.f64 re) (.f64 1/2 (*.f64 2 (cosh.f64 im))))
(-.f64 (exp.f64 (log1p.f64 (.f64 (sin.f64 re) (.f64 1/2 (*.f64 2 (cosh.f64 im)))))) 1)
(*.f64 1/2 (fma.f64 (sin.f64 re) (exp.f64 im) (/.f64 (sin.f64 re) (exp.f64 im))))
(+.f64 (.f64 1/2 (.f64 (exp.f64 im) re)) (*.f64 (/.f64 1/2 (exp.f64 im)) (sin.f64 re)))
(pow.f64 (cbrt.f64 (*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))) 3)
(+.f64 (.f64 (.f64 1/2 (exp.f64 im)) (sin.f64 re)) (*.f64 (/.f64 1/2 (exp.f64 im)) (sin.f64 re)))
(fma.f64 1/2 (.f64 im (.f64 im (sin.f64 re))) (sin.f64 re))
(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))
(sin.f64 re)
(*.f64 re (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) 1/2))
(*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))

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

Results

10.0ms	0.0b	`re`
11.0ms	0.0b	`im`
13.0ms	0.0b	`(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))`
11.0ms	0.0b	`(*.f64 1/2 (sin.f64 re))`
18.0ms	0.0b	`(sin.f64 re)`
4.0ms	0.0b	`(+.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im))`
3.0ms	0.0b	`(+.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im))`

Compiler

Compiled 278 to 145 computations (47.8% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	21
1	13	21

Stop Event

1×

saturated

Calls

Call 1

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

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

end17.0ms (0.3%)

Stop Event

1×

done

Compiler

Compiled 30 to 18 computations (40% saved)

Details

analyze534.0ms (9%)

sample4.5s (76%)

preprocess46.0ms (0.8%)

simplify32.0ms (0.5%)

prune3.0ms (0.1%)

localize7.0ms (0.1%)

series28.0ms (0.5%)

rewrite40.0ms (0.7%)

simplify35.0ms (0.6%)

prune118.0ms (2%)

localize11.0ms (0.2%)

series15.0ms (0.3%)

rewrite60.0ms (1%)

simplify54.0ms (0.9%)

prune165.0ms (2.8%)

localize7.0ms (0.1%)

series6.0ms (0.1%)

rewrite45.0ms (0.8%)

simplify28.0ms (0.5%)

prune83.0ms (1.4%)

regimes80.0ms (1.3%)

simplify2.0ms (0%)

end17.0ms (0.3%)

Profiling