Details

analyze546.0ms (7.7%)

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 (64.2%)

Results

1.5s	2032×	body	1024	valid
1.2s	1997×	body	1024	invalid
664.0ms	4661×	body	128	valid
387.0ms	1018×	body	512	invalid
375.0ms	1002×	body	512	valid
153.0ms	531×	body	256	invalid
152.0ms	555×	body	256	valid
124.0ms	800×	body	128	invalid
12.0ms	6×	body	2048	valid

Compiler

Compiled 30 to 24 computations (20% saved)

preprocess43.0ms (0.6%)

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)

simplify35.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%)

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 4 expressions with local error:

New	Error	Program
✓	0.0b	(sin.f64 re)
✓	0.0b	(fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))
✓	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))

series11.0ms (0.1%)

Counts

4 → 44

Calls

15 calls:

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

rewrite55.0ms (0.8%)

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	38
1	182	38
2	2171	38

Stop Event

1×	node limit

Counts

4 → 81

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

simplify42.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

792×	`fma-neg_binary64`
489×	`fma-def_binary64`
337×	`sub-neg_binary64`
226×	`cancel-sign-sub-inv_binary64`
197×	`associate-r_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	94	848
1	283	791
2	900	763
3	3486	759

Stop Event

1×	node limit

Counts

125 → 121

Calls

Call 1

Inputs
1/2
(-.f64 1/2 (*.f64 1/2 im))
(-.f64 (+.f64 1/2 (.f64 1/4 (pow.f64 im 2))) (.f64 1/2 im))
(-.f64 (+.f64 1/2 (.f64 1/4 (pow.f64 im 2))) (+.f64 (.f64 1/12 (pow.f64 im 3)) (*.f64 1/2 im)))
(.f64 (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))) re)
(-.f64 (+.f64 (.f64 1/2 (.f64 re (exp.f64 im))) (.f64 1/2 (/.f64 re (exp.f64 im)))) (+.f64 (.f64 1/12 (.f64 (pow.f64 re 3) (exp.f64 im))) (.f64 1/12 (/.f64 (pow.f64 re 3) (exp.f64 im)))))
(-.f64 (+.f64 (.f64 1/2 (.f64 re (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/240 (/.f64 (pow.f64 re 5) (exp.f64 im)))))) (+.f64 (.f64 1/12 (.f64 (pow.f64 re 3) (exp.f64 im))) (*.f64 1/12 (/.f64 (pow.f64 re 3) (exp.f64 im)))))
(-.f64 (+.f64 (.f64 1/2 (.f64 re (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/240 (/.f64 (pow.f64 re 5) (exp.f64 im)))))) (+.f64 (.f64 1/12 (.f64 (pow.f64 re 3) (exp.f64 im))) (+.f64 (.f64 1/10080 (.f64 (exp.f64 im) (pow.f64 re 7))) (+.f64 (.f64 1/10080 (/.f64 (pow.f64 re 7) (exp.f64 im))) (.f64 1/12 (/.f64 (pow.f64 re 3) (exp.f64 im)))))))
(.f64 (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 (+.f64 (.f64 1/2 (/.f64 1 (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 (.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4))) (+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))))
(+.f64 (.f64 1/720 (.f64 (sin.f64 re) (pow.f64 im 6))) (+.f64 (.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4))) (+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))))
(.f64 (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))) (sin.f64 re))
1
(+.f64 1 (*.f64 1/2 (pow.f64 im 2)))
(+.f64 1 (+.f64 (.f64 1/24 (pow.f64 im 4)) (.f64 1/2 (pow.f64 im 2))))
(+.f64 (.f64 1/720 (pow.f64 im 6)) (+.f64 1 (+.f64 (.f64 1/24 (pow.f64 im 4)) (*.f64 1/2 (pow.f64 im 2)))))
(+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (.f64 1/2 (exp.f64 im)))
(+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (.f64 1/2 (exp.f64 im)))
(+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (.f64 1/2 (exp.f64 im)))
(+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (.f64 1/2 (exp.f64 im)))
(+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (.f64 1/2 (exp.f64 im)))
(+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (.f64 1/2 (exp.f64 im)))
(+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (.f64 1/2 (exp.f64 im)))
(+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (.f64 1/2 (exp.f64 im)))
re
(-.f64 re (*.f64 1/6 (pow.f64 re 3)))
(-.f64 (+.f64 (.f64 1/120 (pow.f64 re 5)) re) (.f64 1/6 (pow.f64 re 3)))
(-.f64 (+.f64 (.f64 1/120 (pow.f64 re 5)) re) (+.f64 (.f64 1/6 (pow.f64 re 3)) (*.f64 1/5040 (pow.f64 re 7))))

Outputs
1/2
(-.f64 1/2 (*.f64 1/2 im))
(+.f64 1/2 (*.f64 -1/2 im))
(+.f64 1/2 (*.f64 im -1/2))
(fma.f64 im -1/2 1/2)
(-.f64 (+.f64 1/2 (.f64 1/4 (pow.f64 im 2))) (.f64 1/2 im))
(+.f64 1/2 (-.f64 (.f64 1/4 (.f64 im im)) (*.f64 1/2 im)))
(+.f64 1/2 (fma.f64 1/4 (.f64 im im) (.f64 im -1/2)))
(fma.f64 im (*.f64 im 1/4) (fma.f64 im -1/2 1/2))
(+.f64 1/2 (*.f64 im (fma.f64 im 1/4 -1/2)))
(-.f64 (+.f64 1/2 (.f64 1/4 (pow.f64 im 2))) (+.f64 (.f64 1/12 (pow.f64 im 3)) (*.f64 1/2 im)))
(+.f64 1/2 (-.f64 (.f64 1/4 (.f64 im im)) (fma.f64 1/12 (pow.f64 im 3) (*.f64 1/2 im))))
(-.f64 (fma.f64 1/4 (.f64 im im) 1/2) (fma.f64 1/2 im (.f64 1/12 (pow.f64 im 3))))
(-.f64 (fma.f64 im (.f64 im 1/4) 1/2) (fma.f64 1/2 im (.f64 1/12 (pow.f64 im 3))))
(fma.f64 (.f64 im im) (+.f64 1/4 (.f64 im -1/12)) (fma.f64 im -1/2 1/2))
(.f64 (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))) re)
(.f64 (.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) re)
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) re)
(-.f64 (+.f64 (.f64 1/2 (.f64 re (exp.f64 im))) (.f64 1/2 (/.f64 re (exp.f64 im)))) (+.f64 (.f64 1/12 (.f64 (pow.f64 re 3) (exp.f64 im))) (.f64 1/12 (/.f64 (pow.f64 re 3) (exp.f64 im)))))
(-.f64 (.f64 1/2 (+.f64 (.f64 (exp.f64 im) re) (/.f64 re (exp.f64 im)))) (.f64 1/12 (+.f64 (.f64 (exp.f64 im) (pow.f64 re 3)) (/.f64 (pow.f64 re 3) (exp.f64 im)))))
(fma.f64 1/2 (fma.f64 (exp.f64 im) re (/.f64 re (exp.f64 im))) (*.f64 -1/12 (fma.f64 (exp.f64 im) (pow.f64 re 3) (/.f64 (pow.f64 re 3) (exp.f64 im)))))
(fma.f64 1/2 (fma.f64 (exp.f64 im) re (/.f64 re (exp.f64 im))) (*.f64 (fma.f64 (exp.f64 im) (pow.f64 re 3) (/.f64 (pow.f64 re 3) (exp.f64 im))) -1/12))
(-.f64 (+.f64 (.f64 1/2 (.f64 re (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/240 (/.f64 (pow.f64 re 5) (exp.f64 im)))))) (+.f64 (.f64 1/12 (.f64 (pow.f64 re 3) (exp.f64 im))) (*.f64 1/12 (/.f64 (pow.f64 re 3) (exp.f64 im)))))
(-.f64 (fma.f64 1/2 (.f64 (exp.f64 im) re) (fma.f64 1/2 (/.f64 re (exp.f64 im)) (.f64 1/240 (+.f64 (.f64 (exp.f64 im) (pow.f64 re 5)) (/.f64 (pow.f64 re 5) (exp.f64 im)))))) (.f64 1/12 (+.f64 (*.f64 (exp.f64 im) (pow.f64 re 3)) (/.f64 (pow.f64 re 3) (exp.f64 im)))))
(+.f64 (fma.f64 1/2 (fma.f64 (exp.f64 im) re (/.f64 re (exp.f64 im))) (.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im))))) (.f64 -1/12 (fma.f64 (exp.f64 im) (pow.f64 re 3) (/.f64 (pow.f64 re 3) (exp.f64 im)))))
(fma.f64 -1/12 (fma.f64 (exp.f64 im) (pow.f64 re 3) (/.f64 (pow.f64 re 3) (exp.f64 im))) (fma.f64 1/2 (fma.f64 (exp.f64 im) re (/.f64 re (exp.f64 im))) (*.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im))))))
(-.f64 (+.f64 (.f64 1/2 (.f64 re (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/240 (/.f64 (pow.f64 re 5) (exp.f64 im)))))) (+.f64 (.f64 1/12 (.f64 (pow.f64 re 3) (exp.f64 im))) (+.f64 (.f64 1/10080 (.f64 (exp.f64 im) (pow.f64 re 7))) (+.f64 (.f64 1/10080 (/.f64 (pow.f64 re 7) (exp.f64 im))) (.f64 1/12 (/.f64 (pow.f64 re 3) (exp.f64 im)))))))
(-.f64 (fma.f64 1/2 (.f64 (exp.f64 im) re) (fma.f64 1/2 (/.f64 re (exp.f64 im)) (.f64 1/240 (+.f64 (.f64 (exp.f64 im) (pow.f64 re 5)) (/.f64 (pow.f64 re 5) (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)) (fma.f64 1/10080 (/.f64 (pow.f64 re 7) (exp.f64 im)) (.f64 1/12 (/.f64 (pow.f64 re 3) (exp.f64 im)))))))
(-.f64 (fma.f64 1/2 (fma.f64 (exp.f64 im) re (/.f64 re (exp.f64 im))) (.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im))))) (+.f64 (.f64 1/10080 (+.f64 (.f64 (exp.f64 im) (pow.f64 re 7)) (/.f64 (pow.f64 re 7) (exp.f64 im)))) (.f64 1/12 (fma.f64 (exp.f64 im) (pow.f64 re 3) (/.f64 (pow.f64 re 3) (exp.f64 im))))))
(-.f64 (fma.f64 -1/12 (fma.f64 (exp.f64 im) (pow.f64 re 3) (/.f64 (pow.f64 re 3) (exp.f64 im))) (fma.f64 1/2 (fma.f64 (exp.f64 im) re (/.f64 re (exp.f64 im))) (.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im)))))) (.f64 1/10080 (fma.f64 (exp.f64 im) (pow.f64 re 7) (/.f64 (pow.f64 re 7) (exp.f64 im)))))
(+.f64 (fma.f64 -1/12 (fma.f64 (exp.f64 im) (pow.f64 re 3) (/.f64 (pow.f64 re 3) (exp.f64 im))) (fma.f64 1/2 (fma.f64 (exp.f64 im) re (/.f64 re (exp.f64 im))) (.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im)))))) (.f64 (fma.f64 (exp.f64 im) (pow.f64 re 7) (/.f64 (pow.f64 re 7) (exp.f64 im))) -1/10080))
(.f64 (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.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 (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.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 (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.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 (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.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 (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.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 (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.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 (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.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 (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.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 (.f64 1/2 (sin.f64 re)) (.f64 im im) (sin.f64 re))
(.f64 (fma.f64 1/2 (.f64 im im) 1) (sin.f64 re))
(+.f64 (.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4))) (+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))))
(fma.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4)) (+.f64 (sin.f64 re) (.f64 1/2 (.f64 (.f64 im im) (sin.f64 re)))))
(fma.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4)) (fma.f64 (.f64 1/2 (sin.f64 re)) (*.f64 im im) (sin.f64 re)))
(+.f64 (sin.f64 re) (.f64 (sin.f64 re) (fma.f64 1/2 (.f64 im im) (*.f64 1/24 (pow.f64 im 4)))))
(+.f64 (.f64 1/720 (.f64 (sin.f64 re) (pow.f64 im 6))) (+.f64 (.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4))) (+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))))
(fma.f64 1/720 (.f64 (sin.f64 re) (pow.f64 im 6)) (fma.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4)) (+.f64 (sin.f64 re) (.f64 1/2 (.f64 (*.f64 im im) (sin.f64 re))))))
(fma.f64 1/720 (.f64 (sin.f64 re) (pow.f64 im 6)) (fma.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4)) (fma.f64 (.f64 1/2 (sin.f64 re)) (.f64 im im) (sin.f64 re))))
(+.f64 (.f64 (fma.f64 1/24 (pow.f64 im 4) 1) (sin.f64 re)) (.f64 (sin.f64 re) (fma.f64 1/2 (.f64 im im) (.f64 1/720 (pow.f64 im 6)))))
(.f64 (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.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 (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.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 (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.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 (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.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 (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.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 (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.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 (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.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 (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.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))
1
(+.f64 1 (*.f64 1/2 (pow.f64 im 2)))
(+.f64 1 (.f64 1/2 (.f64 im im)))
(fma.f64 1/2 (*.f64 im im) 1)
(+.f64 1 (+.f64 (.f64 1/24 (pow.f64 im 4)) (.f64 1/2 (pow.f64 im 2))))
(+.f64 1 (fma.f64 1/24 (pow.f64 im 4) (.f64 1/2 (.f64 im im))))
(+.f64 1 (fma.f64 1/2 (.f64 im im) (.f64 1/24 (pow.f64 im 4))))
(fma.f64 1/24 (pow.f64 im 4) (fma.f64 1/2 (*.f64 im im) 1))
(+.f64 (.f64 1/720 (pow.f64 im 6)) (+.f64 1 (+.f64 (.f64 1/24 (pow.f64 im 4)) (*.f64 1/2 (pow.f64 im 2)))))
(fma.f64 1/720 (pow.f64 im 6) (+.f64 1 (fma.f64 1/24 (pow.f64 im 4) (.f64 1/2 (.f64 im im)))))
(+.f64 (fma.f64 1/2 (.f64 im im) (.f64 1/24 (pow.f64 im 4))) (fma.f64 1/720 (pow.f64 im 6) 1))
(fma.f64 1/720 (pow.f64 im 6) (fma.f64 1/24 (pow.f64 im 4) (fma.f64 1/2 (*.f64 im im) 1)))
(+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (.f64 1/2 (exp.f64 im)))
(*.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))
(+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (.f64 1/2 (exp.f64 im)))
(*.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))
(+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (.f64 1/2 (exp.f64 im)))
(*.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))
(+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (.f64 1/2 (exp.f64 im)))
(*.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))
(+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (.f64 1/2 (exp.f64 im)))
(*.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))
(+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (.f64 1/2 (exp.f64 im)))
(*.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))
(+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (.f64 1/2 (exp.f64 im)))
(*.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))
(+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (.f64 1/2 (exp.f64 im)))
(*.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))
re
(-.f64 re (*.f64 1/6 (pow.f64 re 3)))
(+.f64 re (*.f64 -1/6 (pow.f64 re 3)))
(+.f64 re (*.f64 (pow.f64 re 3) -1/6))
(fma.f64 (pow.f64 re 3) -1/6 re)
(-.f64 (+.f64 (.f64 1/120 (pow.f64 re 5)) re) (.f64 1/6 (pow.f64 re 3)))
(+.f64 (fma.f64 1/120 (pow.f64 re 5) re) (*.f64 -1/6 (pow.f64 re 3)))
(+.f64 (fma.f64 (pow.f64 re 5) 1/120 re) (*.f64 (pow.f64 re 3) -1/6))
(fma.f64 (pow.f64 re 3) -1/6 (fma.f64 (pow.f64 re 5) 1/120 re))
(-.f64 (+.f64 (.f64 1/120 (pow.f64 re 5)) re) (+.f64 (.f64 1/6 (pow.f64 re 3)) (*.f64 1/5040 (pow.f64 re 7))))
(-.f64 (fma.f64 1/120 (pow.f64 re 5) re) (fma.f64 1/6 (pow.f64 re 3) (*.f64 (pow.f64 re 7) 1/5040)))
(-.f64 (fma.f64 (pow.f64 re 5) 1/120 re) (fma.f64 (pow.f64 re 7) 1/5040 (*.f64 (pow.f64 re 3) 1/6)))
(+.f64 (fma.f64 (pow.f64 re 3) -1/6 (fma.f64 (pow.f64 re 5) 1/120 re)) (*.f64 (pow.f64 re 7) -1/5040))

prune96.0ms (1.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	118	3	121
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	118	4	122

Error

Counts

122 → 4

Alt Table

Status	Error	Program
✓	0.0b	(*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
	31.6b	(log.f64 (pow.f64 (exp.f64 (sin.f64 re)) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))))
▶	0.0b	(+.f64 (.f64 (.f64 1/2 (exp.f64 im)) (sin.f64 re)) (*.f64 (/.f64 1/2 (exp.f64 im)) (sin.f64 re)))
	0.2b	(+.f64 (.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4))) (+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))))

Compiler

Compiled 2121 to 1227 computations (42.1% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	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 (.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))

series13.0ms (0.2%)

Counts

3 → 72

Calls

18 calls:

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

rewrite62.0ms (0.9%)

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

Outputs
((#(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 (sin.f64 re)) (/.f64 1/2 (exp.f64 im))))))) (#(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 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 log1p.f64 (expm1.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))))))))
((#(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 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 log1p.f64 (expm1.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re)))))))) (#(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 (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 (sin.f64 re)) (/.f64 1/2 (exp.f64 im))) (+.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 log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 1/2 (.f64 (exp.f64 im) (sin.f64 re))))) (pow.f64 (exp.f64 (sin.f64 re)) (/.f64 1/2 (exp.f64 im)))))))) (#(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 cbrt.f64 (pow.f64 (.f64 (sin.f64 re) (.f64 1/2 (.f64 2 (cosh.f64 im)))) 3))))) (#(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 (exp.f64 im) (sin.f64 re))))))) (#(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 (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 (.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 (.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 (.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 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 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 (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 (/.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 (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 (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 (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 (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 (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 (/.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 (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 (.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 (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 (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 (.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 (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 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 (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 (.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 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 log1p.f64 (expm1.f64 (.f64 (sin.f64 re) (.f64 1/2 (.f64 2 (cosh.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (sin.f64 re) (.f64 1/2 (*.f64 2 (cosh.f64 im))))))))))

Outputs

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

((#(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 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 log1p.f64 (expm1.f64 (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re)))))))) (#(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 (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 (sin.f64 re)) (/.f64 1/2 (exp.f64 im))) (+.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 log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))))) (pow.f64 (exp.f64 (sin.f64 re)) (/.f64 1/2 (exp.f64 im)))))))) (#(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 cbrt.f64 (pow.f64 (*.f64 (sin.f64 re) (*.f64 1/2 (*.f64 2 (cosh.f64 im)))) 3))))) (#(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 (exp.f64 im) (sin.f64 re))))))) (#(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 (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 (*.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 (*.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 (*.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 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 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 (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 (/.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 (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 (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 (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 (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 (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 (/.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 (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 (*.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 (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 (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 (*.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 (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 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 (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 (*.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 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 log1p.f64 (expm1.f64 (*.f64 (sin.f64 re) (*.f64 1/2 (*.f64 2 (cosh.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (sin.f64 re) (*.f64 1/2 (*.f64 2 (cosh.f64 im))))))))))

simplify57.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

728×	`fma-def_binary64`
397×	`sub-neg_binary64`
256×	`cancel-sign-sub-inv_binary64`
232×	`distribute-rgt-neg-in_binary64`
221×	`distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	100	1397
1	332	1308
2	1079	1268
3	4092	1268

Stop Event

1×	node limit

Counts

186 → 164

Calls

Call 1

Inputs
(*.f64 1/2 (sin.f64 re))
(-.f64 (.f64 1/2 (sin.f64 re)) (.f64 1/2 (*.f64 (sin.f64 re) im)))
(-.f64 (+.f64 (.f64 1/2 (sin.f64 re)) (.f64 1/4 (.f64 (sin.f64 re) (pow.f64 im 2)))) (.f64 1/2 (*.f64 (sin.f64 re) im)))
(-.f64 (+.f64 (.f64 1/2 (sin.f64 re)) (.f64 1/4 (.f64 (sin.f64 re) (pow.f64 im 2)))) (+.f64 (.f64 1/2 (.f64 (sin.f64 re) im)) (.f64 1/12 (*.f64 (sin.f64 re) (pow.f64 im 3)))))
(*.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 (.f64 1/2 (/.f64 re (exp.f64 im))) (.f64 1/240 (/.f64 (pow.f64 re 5) (exp.f64 im)))) (*.f64 1/12 (/.f64 (pow.f64 re 3) (exp.f64 im))))
(-.f64 (+.f64 (.f64 1/2 (/.f64 re (exp.f64 im))) (.f64 1/240 (/.f64 (pow.f64 re 5) (exp.f64 im)))) (+.f64 (.f64 1/10080 (/.f64 (pow.f64 re 7) (exp.f64 im))) (.f64 1/12 (/.f64 (pow.f64 re 3) (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)))
(*.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/2 (sin.f64 re)) (.f64 1/4 (*.f64 (sin.f64 re) (pow.f64 im 2)))))
(+.f64 (.f64 1/2 (.f64 (sin.f64 re) im)) (+.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (.f64 1/12 (.f64 (sin.f64 re) (pow.f64 im 3))) (.f64 1/4 (*.f64 (sin.f64 re) (pow.f64 im 2))))))
(.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 (.f64 1/2 (.f64 re (exp.f64 im))) (.f64 1/240 (.f64 (pow.f64 re 5) (exp.f64 im)))) (.f64 1/12 (.f64 (pow.f64 re 3) (exp.f64 im))))
(-.f64 (+.f64 (.f64 1/2 (.f64 re (exp.f64 im))) (.f64 1/240 (.f64 (pow.f64 re 5) (exp.f64 im)))) (+.f64 (.f64 1/10080 (.f64 (pow.f64 re 7) (exp.f64 im))) (.f64 1/12 (.f64 (pow.f64 re 3) (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)))
(sin.f64 re)
(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))
(+.f64 (.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4))) (+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))))
(+.f64 (.f64 1/720 (.f64 (sin.f64 re) (pow.f64 im 6))) (+.f64 (.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4))) (+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))))
(+.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 (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))) re)
(-.f64 (+.f64 (.f64 1/2 (.f64 re (exp.f64 im))) (.f64 1/2 (/.f64 re (exp.f64 im)))) (+.f64 (.f64 1/12 (.f64 (pow.f64 re 3) (exp.f64 im))) (.f64 1/12 (/.f64 (pow.f64 re 3) (exp.f64 im)))))
(-.f64 (+.f64 (.f64 1/2 (.f64 re (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/240 (/.f64 (pow.f64 re 5) (exp.f64 im)))))) (+.f64 (.f64 1/12 (.f64 (pow.f64 re 3) (exp.f64 im))) (*.f64 1/12 (/.f64 (pow.f64 re 3) (exp.f64 im)))))
(-.f64 (+.f64 (.f64 1/2 (.f64 re (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/240 (/.f64 (pow.f64 re 5) (exp.f64 im)))))) (+.f64 (.f64 1/12 (.f64 (pow.f64 re 3) (exp.f64 im))) (+.f64 (.f64 1/10080 (.f64 (exp.f64 im) (pow.f64 re 7))) (+.f64 (.f64 1/10080 (/.f64 (pow.f64 re 7) (exp.f64 im))) (.f64 1/12 (/.f64 (pow.f64 re 3) (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 (.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 (sin.f64 re)) (.f64 1/2 (*.f64 (sin.f64 re) im)))
(.f64 1/2 (-.f64 (sin.f64 re) (.f64 (sin.f64 re) im)))
(.f64 (sin.f64 re) (-.f64 1/2 (.f64 1/2 im)))
(.f64 (sin.f64 re) (+.f64 1/2 (.f64 im -1/2)))
(-.f64 (+.f64 (.f64 1/2 (sin.f64 re)) (.f64 1/4 (.f64 (sin.f64 re) (pow.f64 im 2)))) (.f64 1/2 (*.f64 (sin.f64 re) im)))
(+.f64 (fma.f64 1/2 (sin.f64 re) (.f64 (.f64 1/4 (sin.f64 re)) (.f64 im im))) (.f64 -1/2 (*.f64 (sin.f64 re) im)))
(fma.f64 1/2 (sin.f64 re) (fma.f64 1/4 (.f64 (sin.f64 re) (.f64 im im)) (.f64 (.f64 (sin.f64 re) im) -1/2)))
(fma.f64 (.f64 (sin.f64 re) -1/2) im (.f64 (sin.f64 re) (+.f64 (.f64 1/4 (.f64 im im)) 1/2)))
(-.f64 (+.f64 (.f64 1/2 (sin.f64 re)) (.f64 1/4 (.f64 (sin.f64 re) (pow.f64 im 2)))) (+.f64 (.f64 1/2 (.f64 (sin.f64 re) im)) (.f64 1/12 (*.f64 (sin.f64 re) (pow.f64 im 3)))))
(-.f64 (fma.f64 1/2 (sin.f64 re) (.f64 (.f64 1/4 (sin.f64 re)) (.f64 im im))) (fma.f64 1/2 (.f64 (sin.f64 re) im) (.f64 (.f64 1/12 (sin.f64 re)) (pow.f64 im 3))))
(+.f64 (fma.f64 1/2 (sin.f64 re) (fma.f64 1/4 (.f64 (sin.f64 re) (.f64 im im)) (.f64 (.f64 (sin.f64 re) im) -1/2))) (.f64 -1/12 (.f64 (sin.f64 re) (pow.f64 im 3))))
(+.f64 (.f64 (sin.f64 re) (+.f64 (.f64 1/4 (.f64 im im)) 1/2)) (.f64 (sin.f64 re) (-.f64 (.f64 im -1/2) (.f64 1/12 (pow.f64 im 3)))))
(+.f64 (.f64 (sin.f64 re) (+.f64 (.f64 1/4 (.f64 im im)) 1/2)) (.f64 (sin.f64 re) (+.f64 (.f64 im -1/2) (.f64 (pow.f64 im 3) -1/12))))
(*.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))))
(+.f64 (/.f64 (.f64 1/2 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 (pow.f64 re 3) (exp.f64 im)) -1/12))
(fma.f64 1/2 (/.f64 re (exp.f64 im)) (/.f64 -1/12 (/.f64 (exp.f64 im) (pow.f64 re 3))))
(-.f64 (+.f64 (.f64 1/2 (/.f64 re (exp.f64 im))) (.f64 1/240 (/.f64 (pow.f64 re 5) (exp.f64 im)))) (*.f64 1/12 (/.f64 (pow.f64 re 3) (exp.f64 im))))
(+.f64 (fma.f64 1/2 (/.f64 re (exp.f64 im)) (/.f64 (.f64 1/240 (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 (pow.f64 re 3) (exp.f64 im)) -1/12)))
(fma.f64 (/.f64 (pow.f64 re 3) (exp.f64 im)) -1/12 (fma.f64 1/2 (/.f64 re (exp.f64 im)) (/.f64 (pow.f64 re 5) (/.f64 (exp.f64 im) 1/240))))
(-.f64 (+.f64 (.f64 1/2 (/.f64 re (exp.f64 im))) (.f64 1/240 (/.f64 (pow.f64 re 5) (exp.f64 im)))) (+.f64 (.f64 1/10080 (/.f64 (pow.f64 re 7) (exp.f64 im))) (.f64 1/12 (/.f64 (pow.f64 re 3) (exp.f64 im)))))
(-.f64 (fma.f64 1/2 (/.f64 re (exp.f64 im)) (/.f64 (.f64 1/240 (pow.f64 re 5)) (exp.f64 im))) (fma.f64 1/10080 (/.f64 (pow.f64 re 7) (exp.f64 im)) (.f64 1/12 (/.f64 (pow.f64 re 3) (exp.f64 im)))))
(-.f64 (fma.f64 1/2 (/.f64 re (exp.f64 im)) (.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)))))
(fma.f64 1/2 (/.f64 re (exp.f64 im)) (fma.f64 1/240 (/.f64 (pow.f64 re 5) (exp.f64 im)) (fma.f64 (/.f64 (pow.f64 re 3) (exp.f64 im)) -1/12 (*.f64 (/.f64 (pow.f64 re 7) (exp.f64 im)) -1/10080))))
(*.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 (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/2 (sin.f64 re)) (.f64 1/4 (*.f64 (sin.f64 re) (pow.f64 im 2)))))
(fma.f64 1/2 (.f64 (sin.f64 re) im) (fma.f64 1/2 (sin.f64 re) (.f64 (.f64 1/4 (sin.f64 re)) (.f64 im im))))
(fma.f64 1/2 (.f64 (+.f64 im 1) (sin.f64 re)) (.f64 (sin.f64 re) (.f64 (.f64 im im) 1/4)))
(fma.f64 1/2 (sin.f64 re) (.f64 (sin.f64 re) (+.f64 (.f64 1/4 (.f64 im im)) (.f64 1/2 im))))
(+.f64 (.f64 1/2 (.f64 (sin.f64 re) im)) (+.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (.f64 1/12 (.f64 (sin.f64 re) (pow.f64 im 3))) (.f64 1/4 (*.f64 (sin.f64 re) (pow.f64 im 2))))))
(fma.f64 1/2 (.f64 (sin.f64 re) im) (fma.f64 1/2 (sin.f64 re) (fma.f64 1/12 (.f64 (sin.f64 re) (pow.f64 im 3)) (.f64 (.f64 1/4 (sin.f64 re)) (*.f64 im im)))))
(fma.f64 1/2 (.f64 (+.f64 im 1) (sin.f64 re)) (fma.f64 1/4 (.f64 (sin.f64 re) (.f64 im im)) (.f64 1/12 (*.f64 (sin.f64 re) (pow.f64 im 3)))))
(fma.f64 1/2 (.f64 (sin.f64 re) (+.f64 im 1)) (.f64 (sin.f64 re) (+.f64 (.f64 1/4 (.f64 im im)) (*.f64 1/12 (pow.f64 im 3)))))
(.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))
(.f64 (sin.f64 re) (.f64 1/2 (exp.f64 im)))
(.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))
(.f64 (sin.f64 re) (.f64 1/2 (exp.f64 im)))
(.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))
(.f64 (sin.f64 re) (.f64 1/2 (exp.f64 im)))
(.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))
(.f64 (sin.f64 re) (.f64 1/2 (exp.f64 im)))
(.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))
(.f64 (sin.f64 re) (.f64 1/2 (exp.f64 im)))
(.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))
(.f64 (sin.f64 re) (.f64 1/2 (exp.f64 im)))
(.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))
(.f64 (sin.f64 re) (.f64 1/2 (exp.f64 im)))
(.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))
(.f64 (sin.f64 re) (.f64 1/2 (exp.f64 im)))
(.f64 1/2 (.f64 re (exp.f64 im)))
(.f64 (.f64 1/2 re) (exp.f64 im))
(.f64 (exp.f64 im) (.f64 1/2 re))
(-.f64 (.f64 1/2 (.f64 re (exp.f64 im))) (.f64 1/12 (.f64 (pow.f64 re 3) (exp.f64 im))))
(+.f64 (.f64 (.f64 1/2 re) (exp.f64 im)) (.f64 -1/12 (.f64 (exp.f64 im) (pow.f64 re 3))))
(.f64 (exp.f64 im) (-.f64 (.f64 1/2 re) (*.f64 1/12 (pow.f64 re 3))))
(.f64 (exp.f64 im) (fma.f64 1/2 re (.f64 (pow.f64 re 3) -1/12)))
(-.f64 (+.f64 (.f64 1/2 (.f64 re (exp.f64 im))) (.f64 1/240 (.f64 (pow.f64 re 5) (exp.f64 im)))) (.f64 1/12 (.f64 (pow.f64 re 3) (exp.f64 im))))
(+.f64 (fma.f64 1/2 (.f64 re (exp.f64 im)) (.f64 1/240 (.f64 (exp.f64 im) (pow.f64 re 5)))) (.f64 -1/12 (*.f64 (exp.f64 im) (pow.f64 re 3))))
(fma.f64 1/2 (.f64 re (exp.f64 im)) (.f64 (exp.f64 im) (-.f64 (.f64 1/240 (pow.f64 re 5)) (.f64 1/12 (pow.f64 re 3)))))
(.f64 (exp.f64 im) (+.f64 (.f64 1/2 re) (fma.f64 1/240 (pow.f64 re 5) (*.f64 (pow.f64 re 3) -1/12))))
(-.f64 (+.f64 (.f64 1/2 (.f64 re (exp.f64 im))) (.f64 1/240 (.f64 (pow.f64 re 5) (exp.f64 im)))) (+.f64 (.f64 1/10080 (.f64 (pow.f64 re 7) (exp.f64 im))) (.f64 1/12 (.f64 (pow.f64 re 3) (exp.f64 im)))))
(-.f64 (fma.f64 1/2 (.f64 re (exp.f64 im)) (.f64 1/240 (.f64 (exp.f64 im) (pow.f64 re 5)))) (fma.f64 1/10080 (.f64 (exp.f64 im) (pow.f64 re 7)) (.f64 1/12 (.f64 (exp.f64 im) (pow.f64 re 3)))))
(-.f64 (.f64 (exp.f64 im) (+.f64 (.f64 1/2 re) (.f64 1/240 (pow.f64 re 5)))) (.f64 (exp.f64 im) (+.f64 (.f64 1/10080 (pow.f64 re 7)) (.f64 1/12 (pow.f64 re 3)))))
(.f64 (exp.f64 im) (-.f64 (fma.f64 1/2 re (.f64 1/240 (pow.f64 re 5))) (fma.f64 1/12 (pow.f64 re 3) (*.f64 1/10080 (pow.f64 re 7)))))
(.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))
(.f64 (sin.f64 re) (.f64 1/2 (exp.f64 im)))
(.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))
(.f64 (sin.f64 re) (.f64 1/2 (exp.f64 im)))
(.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))
(.f64 (sin.f64 re) (.f64 1/2 (exp.f64 im)))
(.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))
(.f64 (sin.f64 re) (.f64 1/2 (exp.f64 im)))
(.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))
(.f64 (sin.f64 re) (.f64 1/2 (exp.f64 im)))
(.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))
(.f64 (sin.f64 re) (.f64 1/2 (exp.f64 im)))
(.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))
(.f64 (sin.f64 re) (.f64 1/2 (exp.f64 im)))
(.f64 1/2 (.f64 (sin.f64 re) (exp.f64 im)))
(.f64 (sin.f64 re) (.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 (sin.f64 re)) (*.f64 im im)))
(fma.f64 1/2 (.f64 (sin.f64 re) (.f64 im im)) (sin.f64 re))
(fma.f64 (sin.f64 re) (.f64 1/2 (.f64 im im)) (sin.f64 re))
(+.f64 (.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4))) (+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))))
(fma.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4)) (+.f64 (sin.f64 re) (.f64 (.f64 1/2 (sin.f64 re)) (.f64 im im))))
(fma.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4)) (fma.f64 1/2 (.f64 (sin.f64 re) (*.f64 im im)) (sin.f64 re)))
(+.f64 (sin.f64 re) (.f64 (sin.f64 re) (+.f64 (.f64 1/24 (pow.f64 im 4)) (.f64 1/2 (.f64 im im)))))
(+.f64 (.f64 1/720 (.f64 (sin.f64 re) (pow.f64 im 6))) (+.f64 (.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4))) (+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))))
(fma.f64 1/720 (.f64 (sin.f64 re) (pow.f64 im 6)) (fma.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4)) (+.f64 (sin.f64 re) (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 im im)))))
(fma.f64 1/720 (.f64 (sin.f64 re) (pow.f64 im 6)) (fma.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4)) (fma.f64 1/2 (.f64 (sin.f64 re) (.f64 im im)) (sin.f64 re))))
(+.f64 (fma.f64 (sin.f64 re) (.f64 1/2 (.f64 im im)) (sin.f64 re)) (.f64 (sin.f64 re) (+.f64 (.f64 1/24 (pow.f64 im 4)) (*.f64 1/720 (pow.f64 im 6)))))
(+.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 (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))) re)
(.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 1/2 (fma.f64 re (exp.f64 im) (/.f64 re (exp.f64 im))))
(-.f64 (+.f64 (.f64 1/2 (.f64 re (exp.f64 im))) (.f64 1/2 (/.f64 re (exp.f64 im)))) (+.f64 (.f64 1/12 (.f64 (pow.f64 re 3) (exp.f64 im))) (.f64 1/12 (/.f64 (pow.f64 re 3) (exp.f64 im)))))
(-.f64 (.f64 1/2 (+.f64 (.f64 re (exp.f64 im)) (/.f64 re (exp.f64 im)))) (.f64 1/12 (+.f64 (.f64 (exp.f64 im) (pow.f64 re 3)) (/.f64 (pow.f64 re 3) (exp.f64 im)))))
(fma.f64 1/2 (fma.f64 re (exp.f64 im) (/.f64 re (exp.f64 im))) (*.f64 -1/12 (fma.f64 (exp.f64 im) (pow.f64 re 3) (/.f64 (pow.f64 re 3) (exp.f64 im)))))
(-.f64 (+.f64 (.f64 1/2 (.f64 re (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/240 (/.f64 (pow.f64 re 5) (exp.f64 im)))))) (+.f64 (.f64 1/12 (.f64 (pow.f64 re 3) (exp.f64 im))) (*.f64 1/12 (/.f64 (pow.f64 re 3) (exp.f64 im)))))
(-.f64 (fma.f64 1/2 (.f64 re (exp.f64 im)) (fma.f64 1/2 (/.f64 re (exp.f64 im)) (.f64 1/240 (+.f64 (.f64 (exp.f64 im) (pow.f64 re 5)) (/.f64 (pow.f64 re 5) (exp.f64 im)))))) (.f64 1/12 (+.f64 (*.f64 (exp.f64 im) (pow.f64 re 3)) (/.f64 (pow.f64 re 3) (exp.f64 im)))))
(+.f64 (fma.f64 1/2 (fma.f64 re (exp.f64 im) (/.f64 re (exp.f64 im))) (.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im))))) (.f64 -1/12 (fma.f64 (exp.f64 im) (pow.f64 re 3) (/.f64 (pow.f64 re 3) (exp.f64 im)))))
(fma.f64 1/2 (fma.f64 re (exp.f64 im) (/.f64 re (exp.f64 im))) (fma.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im))) (*.f64 -1/12 (fma.f64 (exp.f64 im) (pow.f64 re 3) (/.f64 (pow.f64 re 3) (exp.f64 im))))))
(-.f64 (+.f64 (.f64 1/2 (.f64 re (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/240 (/.f64 (pow.f64 re 5) (exp.f64 im)))))) (+.f64 (.f64 1/12 (.f64 (pow.f64 re 3) (exp.f64 im))) (+.f64 (.f64 1/10080 (.f64 (exp.f64 im) (pow.f64 re 7))) (+.f64 (.f64 1/10080 (/.f64 (pow.f64 re 7) (exp.f64 im))) (.f64 1/12 (/.f64 (pow.f64 re 3) (exp.f64 im)))))))
(-.f64 (fma.f64 1/2 (.f64 re (exp.f64 im)) (fma.f64 1/2 (/.f64 re (exp.f64 im)) (.f64 1/240 (+.f64 (.f64 (exp.f64 im) (pow.f64 re 5)) (/.f64 (pow.f64 re 5) (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)) (fma.f64 1/10080 (/.f64 (pow.f64 re 7) (exp.f64 im)) (.f64 1/12 (/.f64 (pow.f64 re 3) (exp.f64 im)))))))
(-.f64 (fma.f64 1/2 (fma.f64 re (exp.f64 im) (/.f64 re (exp.f64 im))) (.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im))))) (+.f64 (.f64 1/10080 (+.f64 (.f64 (exp.f64 im) (pow.f64 re 7)) (/.f64 (pow.f64 re 7) (exp.f64 im)))) (.f64 1/12 (fma.f64 (exp.f64 im) (pow.f64 re 3) (/.f64 (pow.f64 re 3) (exp.f64 im))))))
(-.f64 (fma.f64 1/2 (fma.f64 re (exp.f64 im) (/.f64 re (exp.f64 im))) (.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im))))) (fma.f64 1/10080 (fma.f64 (exp.f64 im) (pow.f64 re 7) (/.f64 (pow.f64 re 7) (exp.f64 im))) (.f64 1/12 (fma.f64 (exp.f64 im) (pow.f64 re 3) (/.f64 (pow.f64 re 3) (exp.f64 im))))))
(+.f64 (fma.f64 1/2 (fma.f64 re (exp.f64 im) (/.f64 re (exp.f64 im))) (fma.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 -1/12 (fma.f64 (exp.f64 im) (pow.f64 re 3) (/.f64 (pow.f64 re 3) (exp.f64 im)))))) (.f64 -1/10080 (fma.f64 (exp.f64 im) (pow.f64 re 7) (/.f64 (pow.f64 re 7) (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 (.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))))

prune173.0ms (2.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	192	1	193
Fresh	1	1	2
Picked	1	0	1
Done	0	1	1
Total	194	3	197

Error

Counts

197 → 3

Alt Table

Status

Error

Program

✓

0.0b

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

31.6b

(log.f64 (pow.f64 (exp.f64 (sin.f64 re)) (*.f64 1/2 (*.f64 2 (cosh.f64 im)))))

▶

0.2b

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

Compiler

Compiled 4118 to 2110 computations (48.8% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))
✓	0.0b	(*.f64 (sin.f64 re) (pow.f64 im 4))
✓	0.1b	(.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4)))
✓	0.1b	(*.f64 (sin.f64 re) (pow.f64 im 2))

series18.0ms (0.3%)

Counts

4 → 16

Calls

24 calls:

Time	Variable		Point	Expression
4.0ms	re	@	inf	(.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4)))
1.0ms	re	@	0	(.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4)))
1.0ms	re	@	0	(*.f64 (sin.f64 re) (pow.f64 im 2))
1.0ms	im	@	0	(.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4)))
1.0ms	re	@	0	(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))

rewrite50.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

618×	`log-prod_binary64`
228×	`expm1-udef_binary64`
228×	`log1p-udef_binary64`
191×	`log-pow_binary64`
133×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	42
1	289	42
2	3100	42

Stop Event

1×	node limit

Counts

4 → 68

Calls

Call 1

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

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

simplify35.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

520×	`associate-l_binary64`
491×	`associate-r_binary64`
468×	`fma-def_binary64`
346×	`cancel-sign-sub-inv_binary64`
316×	`unswap-sqr_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	66	472
1	217	392
2	841	324
3	4338	324

Stop Event

1×	node limit

Counts

84 → 99

Calls

Call 1

Inputs
(*.f64 re (pow.f64 im 2))
(-.f64 (.f64 re (pow.f64 im 2)) (.f64 1/6 (*.f64 (pow.f64 re 3) (pow.f64 im 2))))
(-.f64 (+.f64 (.f64 re (pow.f64 im 2)) (.f64 1/120 (.f64 (pow.f64 re 5) (pow.f64 im 2)))) (.f64 1/6 (*.f64 (pow.f64 re 3) (pow.f64 im 2))))
(-.f64 (+.f64 (.f64 re (pow.f64 im 2)) (.f64 1/120 (.f64 (pow.f64 re 5) (pow.f64 im 2)))) (+.f64 (.f64 1/5040 (.f64 (pow.f64 re 7) (pow.f64 im 2))) (.f64 1/6 (*.f64 (pow.f64 re 3) (pow.f64 im 2)))))
(.f64 1/24 (.f64 re (pow.f64 im 4)))
(-.f64 (.f64 1/24 (.f64 re (pow.f64 im 4))) (.f64 1/144 (.f64 (pow.f64 re 3) (pow.f64 im 4))))
(-.f64 (+.f64 (.f64 1/24 (.f64 re (pow.f64 im 4))) (.f64 1/2880 (.f64 (pow.f64 re 5) (pow.f64 im 4)))) (.f64 1/144 (.f64 (pow.f64 re 3) (pow.f64 im 4))))
(-.f64 (+.f64 (.f64 1/24 (.f64 re (pow.f64 im 4))) (.f64 1/2880 (.f64 (pow.f64 re 5) (pow.f64 im 4)))) (+.f64 (.f64 1/120960 (.f64 (pow.f64 re 7) (pow.f64 im 4))) (.f64 1/144 (.f64 (pow.f64 re 3) (pow.f64 im 4)))))
(*.f64 re (pow.f64 im 4))
(-.f64 (.f64 re (pow.f64 im 4)) (.f64 1/6 (*.f64 (pow.f64 re 3) (pow.f64 im 4))))
(-.f64 (+.f64 (.f64 re (pow.f64 im 4)) (.f64 1/120 (.f64 (pow.f64 re 5) (pow.f64 im 4)))) (.f64 1/6 (*.f64 (pow.f64 re 3) (pow.f64 im 4))))
(-.f64 (+.f64 (.f64 re (pow.f64 im 4)) (.f64 1/120 (.f64 (pow.f64 re 5) (pow.f64 im 4)))) (+.f64 (.f64 1/5040 (.f64 (pow.f64 re 7) (pow.f64 im 4))) (.f64 1/6 (*.f64 (pow.f64 re 3) (pow.f64 im 4)))))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(-.f64 (.f64 1/2 (.f64 re (pow.f64 im 2))) (.f64 1/12 (.f64 (pow.f64 re 3) (pow.f64 im 2))))
(-.f64 (+.f64 (.f64 1/2 (.f64 re (pow.f64 im 2))) (.f64 1/240 (.f64 (pow.f64 re 5) (pow.f64 im 2)))) (.f64 1/12 (.f64 (pow.f64 re 3) (pow.f64 im 2))))
(-.f64 (+.f64 (.f64 1/2 (.f64 re (pow.f64 im 2))) (.f64 1/240 (.f64 (pow.f64 re 5) (pow.f64 im 2)))) (+.f64 (.f64 1/10080 (.f64 (pow.f64 re 7) (pow.f64 im 2))) (.f64 1/12 (.f64 (pow.f64 re 3) (pow.f64 im 2)))))

Outputs
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(-.f64 (.f64 re (pow.f64 im 2)) (.f64 1/6 (*.f64 (pow.f64 re 3) (pow.f64 im 2))))
(+.f64 (.f64 re (.f64 im im)) (.f64 -1/6 (.f64 (*.f64 im im) (pow.f64 re 3))))
(.f64 (.f64 im im) (-.f64 re (*.f64 1/6 (pow.f64 re 3))))
(.f64 (.f64 im im) (+.f64 re (*.f64 (pow.f64 re 3) -1/6)))
(-.f64 (+.f64 (.f64 re (pow.f64 im 2)) (.f64 1/120 (.f64 (pow.f64 re 5) (pow.f64 im 2)))) (.f64 1/6 (*.f64 (pow.f64 re 3) (pow.f64 im 2))))
(+.f64 (fma.f64 re (.f64 im im) (.f64 1/120 (.f64 (.f64 im im) (pow.f64 re 5)))) (.f64 -1/6 (.f64 (*.f64 im im) (pow.f64 re 3))))
(fma.f64 re (.f64 im im) (.f64 (.f64 im im) (-.f64 (.f64 1/120 (pow.f64 re 5)) (*.f64 1/6 (pow.f64 re 3)))))
(.f64 (.f64 im im) (-.f64 (fma.f64 1/120 (pow.f64 re 5) re) (*.f64 1/6 (pow.f64 re 3))))
(.f64 (.f64 im im) (+.f64 (fma.f64 1/120 (pow.f64 re 5) re) (*.f64 (pow.f64 re 3) -1/6)))
(-.f64 (+.f64 (.f64 re (pow.f64 im 2)) (.f64 1/120 (.f64 (pow.f64 re 5) (pow.f64 im 2)))) (+.f64 (.f64 1/5040 (.f64 (pow.f64 re 7) (pow.f64 im 2))) (.f64 1/6 (*.f64 (pow.f64 re 3) (pow.f64 im 2)))))
(-.f64 (fma.f64 re (.f64 im im) (.f64 1/120 (.f64 (.f64 im im) (pow.f64 re 5)))) (fma.f64 1/5040 (.f64 (.f64 im im) (pow.f64 re 7)) (.f64 1/6 (.f64 (*.f64 im im) (pow.f64 re 3)))))
(-.f64 (.f64 (.f64 im im) (+.f64 (.f64 1/120 (pow.f64 re 5)) re)) (.f64 (.f64 im im) (+.f64 (.f64 1/6 (pow.f64 re 3)) (*.f64 1/5040 (pow.f64 re 7)))))
(.f64 (.f64 im im) (-.f64 (fma.f64 1/120 (pow.f64 re 5) re) (fma.f64 1/6 (pow.f64 re 3) (*.f64 1/5040 (pow.f64 re 7)))))
(.f64 1/24 (.f64 re (pow.f64 im 4)))
(.f64 (.f64 1/24 re) (pow.f64 im 4))
(.f64 re (.f64 1/24 (pow.f64 im 4)))
(-.f64 (.f64 1/24 (.f64 re (pow.f64 im 4))) (.f64 1/144 (.f64 (pow.f64 re 3) (pow.f64 im 4))))
(+.f64 (.f64 (.f64 1/24 re) (pow.f64 im 4)) (.f64 -1/144 (.f64 (pow.f64 re 3) (pow.f64 im 4))))
(.f64 (pow.f64 im 4) (-.f64 (.f64 re 1/24) (*.f64 (pow.f64 re 3) 1/144)))
(.f64 (pow.f64 im 4) (fma.f64 re 1/24 (.f64 (pow.f64 re 3) -1/144)))
(-.f64 (+.f64 (.f64 1/24 (.f64 re (pow.f64 im 4))) (.f64 1/2880 (.f64 (pow.f64 re 5) (pow.f64 im 4)))) (.f64 1/144 (.f64 (pow.f64 re 3) (pow.f64 im 4))))
(+.f64 (fma.f64 1/24 (.f64 re (pow.f64 im 4)) (.f64 (.f64 1/2880 (pow.f64 re 5)) (pow.f64 im 4))) (.f64 -1/144 (*.f64 (pow.f64 re 3) (pow.f64 im 4))))
(fma.f64 1/24 (.f64 re (pow.f64 im 4)) (.f64 (pow.f64 im 4) (-.f64 (.f64 (pow.f64 re 5) 1/2880) (.f64 (pow.f64 re 3) 1/144))))
(.f64 (pow.f64 im 4) (+.f64 (.f64 re 1/24) (fma.f64 (pow.f64 re 5) 1/2880 (*.f64 (pow.f64 re 3) -1/144))))
(-.f64 (+.f64 (.f64 1/24 (.f64 re (pow.f64 im 4))) (.f64 1/2880 (.f64 (pow.f64 re 5) (pow.f64 im 4)))) (+.f64 (.f64 1/120960 (.f64 (pow.f64 re 7) (pow.f64 im 4))) (.f64 1/144 (.f64 (pow.f64 re 3) (pow.f64 im 4)))))
(-.f64 (fma.f64 1/24 (.f64 re (pow.f64 im 4)) (.f64 (.f64 1/2880 (pow.f64 re 5)) (pow.f64 im 4))) (fma.f64 1/120960 (.f64 (pow.f64 re 7) (pow.f64 im 4)) (.f64 1/144 (.f64 (pow.f64 re 3) (pow.f64 im 4)))))
(-.f64 (.f64 (pow.f64 im 4) (+.f64 (.f64 re 1/24) (.f64 (pow.f64 re 5) 1/2880))) (.f64 (pow.f64 im 4) (+.f64 (.f64 (pow.f64 re 3) 1/144) (.f64 (pow.f64 re 7) 1/120960))))
(.f64 (pow.f64 im 4) (-.f64 (fma.f64 re 1/24 (.f64 (pow.f64 re 5) 1/2880)) (fma.f64 (pow.f64 re 3) 1/144 (*.f64 (pow.f64 re 7) 1/120960))))
(*.f64 re (pow.f64 im 4))
(-.f64 (.f64 re (pow.f64 im 4)) (.f64 1/6 (*.f64 (pow.f64 re 3) (pow.f64 im 4))))
(+.f64 (.f64 re (pow.f64 im 4)) (.f64 -1/6 (*.f64 (pow.f64 re 3) (pow.f64 im 4))))
(.f64 (pow.f64 im 4) (-.f64 re (.f64 1/6 (pow.f64 re 3))))
(.f64 (pow.f64 im 4) (+.f64 re (.f64 (pow.f64 re 3) -1/6)))
(-.f64 (+.f64 (.f64 re (pow.f64 im 4)) (.f64 1/120 (.f64 (pow.f64 re 5) (pow.f64 im 4)))) (.f64 1/6 (*.f64 (pow.f64 re 3) (pow.f64 im 4))))
(+.f64 (fma.f64 re (pow.f64 im 4) (.f64 1/120 (.f64 (pow.f64 re 5) (pow.f64 im 4)))) (.f64 -1/6 (.f64 (pow.f64 re 3) (pow.f64 im 4))))
(fma.f64 re (pow.f64 im 4) (.f64 (pow.f64 im 4) (-.f64 (.f64 1/120 (pow.f64 re 5)) (*.f64 1/6 (pow.f64 re 3)))))
(.f64 (pow.f64 im 4) (-.f64 (fma.f64 1/120 (pow.f64 re 5) re) (.f64 1/6 (pow.f64 re 3))))
(.f64 (pow.f64 im 4) (+.f64 (fma.f64 1/120 (pow.f64 re 5) re) (.f64 (pow.f64 re 3) -1/6)))
(-.f64 (+.f64 (.f64 re (pow.f64 im 4)) (.f64 1/120 (.f64 (pow.f64 re 5) (pow.f64 im 4)))) (+.f64 (.f64 1/5040 (.f64 (pow.f64 re 7) (pow.f64 im 4))) (.f64 1/6 (*.f64 (pow.f64 re 3) (pow.f64 im 4)))))
(-.f64 (fma.f64 re (pow.f64 im 4) (.f64 1/120 (.f64 (pow.f64 re 5) (pow.f64 im 4)))) (fma.f64 1/5040 (.f64 (pow.f64 re 7) (pow.f64 im 4)) (.f64 1/6 (*.f64 (pow.f64 re 3) (pow.f64 im 4)))))
(-.f64 (.f64 (pow.f64 im 4) (+.f64 (.f64 1/120 (pow.f64 re 5)) re)) (.f64 (pow.f64 im 4) (+.f64 (.f64 1/6 (pow.f64 re 3)) (*.f64 1/5040 (pow.f64 re 7)))))
(.f64 (pow.f64 im 4) (-.f64 (fma.f64 1/120 (pow.f64 re 5) re) (fma.f64 1/6 (pow.f64 re 3) (.f64 1/5040 (pow.f64 re 7)))))
(.f64 1/2 (.f64 re (pow.f64 im 2)))
(.f64 (.f64 re (*.f64 im im)) 1/2)
(.f64 (.f64 im im) (*.f64 re 1/2))
(.f64 im (.f64 im (*.f64 re 1/2)))
(-.f64 (.f64 1/2 (.f64 re (pow.f64 im 2))) (.f64 1/12 (.f64 (pow.f64 re 3) (pow.f64 im 2))))
(-.f64 (.f64 (.f64 re (.f64 im im)) 1/2) (.f64 (.f64 (.f64 im im) (pow.f64 re 3)) 1/12))
(.f64 (.f64 im im) (-.f64 (.f64 re 1/2) (.f64 (pow.f64 re 3) 1/12)))
(.f64 im (.f64 im (fma.f64 re 1/2 (*.f64 (pow.f64 re 3) -1/12))))
(-.f64 (+.f64 (.f64 1/2 (.f64 re (pow.f64 im 2))) (.f64 1/240 (.f64 (pow.f64 re 5) (pow.f64 im 2)))) (.f64 1/12 (.f64 (pow.f64 re 3) (pow.f64 im 2))))
(+.f64 (fma.f64 1/2 (.f64 re (.f64 im im)) (.f64 (.f64 (.f64 im im) (pow.f64 re 5)) 1/240)) (.f64 -1/12 (.f64 (.f64 im im) (pow.f64 re 3))))
(fma.f64 (.f64 re (.f64 im im)) 1/2 (.f64 (.f64 im im) (-.f64 (.f64 (pow.f64 re 5) 1/240) (.f64 (pow.f64 re 3) 1/12))))
(.f64 (.f64 im im) (-.f64 (fma.f64 (pow.f64 re 5) 1/240 (.f64 re 1/2)) (.f64 (pow.f64 re 3) 1/12)))
(.f64 (.f64 im im) (+.f64 (fma.f64 (pow.f64 re 5) 1/240 (.f64 re 1/2)) (.f64 (pow.f64 re 3) -1/12)))
(-.f64 (+.f64 (.f64 1/2 (.f64 re (pow.f64 im 2))) (.f64 1/240 (.f64 (pow.f64 re 5) (pow.f64 im 2)))) (+.f64 (.f64 1/10080 (.f64 (pow.f64 re 7) (pow.f64 im 2))) (.f64 1/12 (.f64 (pow.f64 re 3) (pow.f64 im 2)))))
(-.f64 (fma.f64 1/2 (.f64 re (.f64 im im)) (.f64 (.f64 (.f64 im im) (pow.f64 re 5)) 1/240)) (fma.f64 1/10080 (.f64 (.f64 im im) (pow.f64 re 7)) (.f64 (.f64 (.f64 im im) (pow.f64 re 3)) 1/12)))
(-.f64 (.f64 (.f64 im im) (+.f64 (.f64 re 1/2) (.f64 (pow.f64 re 5) 1/240))) (.f64 (.f64 im im) (+.f64 (.f64 (pow.f64 re 7) 1/10080) (.f64 (pow.f64 re 3) 1/12))))
(.f64 (.f64 im im) (-.f64 (fma.f64 (pow.f64 re 5) 1/240 (.f64 re 1/2)) (fma.f64 (pow.f64 re 3) 1/12 (.f64 (pow.f64 re 7) 1/10080))))

prune101.0ms (1.4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	99	0	99
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	99	3	102

Error

Counts

102 → 3

Alt Table

Status

Error

Program

✓

0.0b

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

▶

31.6b

(log.f64 (pow.f64 (exp.f64 (sin.f64 re)) (*.f64 1/2 (*.f64 2 (cosh.f64 im)))))

✓

0.2b

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

Compiler

Compiled 2706 to 1692 computations (37.5% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(pow.f64 (exp.f64 (sin.f64 re)) (.f64 1/2 (.f64 2 (cosh.f64 im))))
	0.0b	(sin.f64 re)
✓	0.1b	(exp.f64 (sin.f64 re))
✓	3.8b	(log.f64 (pow.f64 (exp.f64 (sin.f64 re)) (.f64 1/2 (.f64 2 (cosh.f64 im)))))

series195.0ms (2.8%)

Counts

3 → 52

Calls

15 calls:

Time	Variable		Point	Expression
61.0ms	re	@	-inf	(log.f64 (pow.f64 (exp.f64 (sin.f64 re)) (.f64 1/2 (.f64 2 (cosh.f64 im)))))
54.0ms	re	@	inf	(log.f64 (pow.f64 (exp.f64 (sin.f64 re)) (.f64 1/2 (.f64 2 (cosh.f64 im)))))
33.0ms	im	@	-inf	(log.f64 (pow.f64 (exp.f64 (sin.f64 re)) (.f64 1/2 (.f64 2 (cosh.f64 im)))))
29.0ms	im	@	inf	(log.f64 (pow.f64 (exp.f64 (sin.f64 re)) (.f64 1/2 (.f64 2 (cosh.f64 im)))))
12.0ms	re	@	0	(log.f64 (pow.f64 (exp.f64 (sin.f64 re)) (.f64 1/2 (.f64 2 (cosh.f64 im)))))

rewrite48.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

507×	`log-prod_binary64`
275×	`pow2_binary64`
191×	`expm1-udef_binary64`
191×	`log1p-udef_binary64`
190×	`pow1/3_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	23
1	246	23
2	2613	23

Stop Event

1×	node limit

Counts

3 → 95

Calls

Call 1

Inputs
(log.f64 (pow.f64 (exp.f64 (sin.f64 re)) (.f64 1/2 (.f64 2 (cosh.f64 im)))))
(exp.f64 (sin.f64 re))
(pow.f64 (exp.f64 (sin.f64 re)) (.f64 1/2 (.f64 2 (cosh.f64 im))))

Outputs

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

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

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

simplify37.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

636×	`associate-l_binary64`
548×	`associate-r_binary64`
265×	`associate--l+_binary64`
248×	`cancel-sign-sub-inv_binary64`
167×	`fma-def_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	133	1366
1	437	1262
2	1600	1227

Stop Event

1×	node limit

Counts

147 → 133

Calls

Call 1

Inputs
(.f64 (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))) re)
(-.f64 (+.f64 (.f64 1/2 (.f64 re (exp.f64 im))) (.f64 1/2 (/.f64 re (exp.f64 im)))) (+.f64 (.f64 1/12 (.f64 (exp.f64 im) (pow.f64 re 3))) (.f64 1/12 (/.f64 (pow.f64 re 3) (exp.f64 im)))))
(-.f64 (+.f64 (.f64 1/2 (.f64 re (exp.f64 im))) (+.f64 (.f64 1/2 (/.f64 re (exp.f64 im))) (+.f64 (.f64 1/240 (.f64 (exp.f64 im) (pow.f64 re 5))) (.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/12 (*.f64 (exp.f64 im) (pow.f64 re 3)))))
(-.f64 (+.f64 (.f64 1/2 (.f64 re (exp.f64 im))) (+.f64 (.f64 1/2 (/.f64 re (exp.f64 im))) (+.f64 (.f64 1/240 (.f64 (exp.f64 im) (pow.f64 re 5))) (.f64 1/240 (/.f64 (pow.f64 re 5) (exp.f64 im)))))) (+.f64 (.f64 1/10080 (.f64 (exp.f64 im) (pow.f64 re 7))) (+.f64 (.f64 1/10080 (/.f64 (pow.f64 re 7) (exp.f64 im))) (+.f64 (.f64 1/12 (/.f64 (pow.f64 re 3) (exp.f64 im))) (.f64 1/12 (.f64 (exp.f64 im) (pow.f64 re 3)))))))
(.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re)))
(.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re)))
(.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re)))
(.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re)))
(.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re)))
(.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re)))
(.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re)))
(.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (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 (.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4))) (+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))))
(+.f64 (.f64 1/720 (.f64 (sin.f64 re) (pow.f64 im 6))) (+.f64 (.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4))) (+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))))
(.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re)))
(.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re)))
(.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re)))
(.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re)))
(.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re)))
(.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re)))
(.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re)))
(.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re)))
1
(+.f64 1 re)
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 1 re))
(-.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 1 re)) (.f64 1/8 (pow.f64 re 4)))
1
(+.f64 (.f64 1/2 (.f64 re (exp.f64 im))) (+.f64 (*.f64 1/2 (/.f64 re (exp.f64 im))) 1))
(+.f64 (.f64 1/2 (/.f64 re (exp.f64 im))) (+.f64 (.f64 1/2 (.f64 re (exp.f64 im))) (+.f64 (.f64 1/8 (.f64 (pow.f64 re 2) (pow.f64 (exp.f64 im) 2))) (+.f64 (.f64 1/4 (pow.f64 re 2)) (+.f64 1 (*.f64 1/8 (/.f64 (pow.f64 re 2) (pow.f64 (exp.f64 im) 2))))))))
(-.f64 (+.f64 (.f64 1/2 (/.f64 re (exp.f64 im))) (+.f64 1 (+.f64 (.f64 1/8 (/.f64 (pow.f64 re 2) (pow.f64 (exp.f64 im) 2))) (+.f64 (.f64 1/2 (.f64 re (exp.f64 im))) (+.f64 (.f64 1/8 (.f64 (pow.f64 re 2) (pow.f64 (exp.f64 im) 2))) (+.f64 (.f64 1/4 (pow.f64 re 2)) (+.f64 (.f64 1/48 (.f64 (pow.f64 re 3) (pow.f64 (exp.f64 im) 3))) (.f64 1/48 (/.f64 (pow.f64 re 3) (pow.f64 (exp.f64 im) 3)))))))))) (+.f64 (.f64 1/48 (.f64 (pow.f64 re 3) (exp.f64 im))) (*.f64 1/48 (/.f64 (pow.f64 re 3) (exp.f64 im)))))
(exp.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re))))
(exp.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re))))
(exp.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re))))
(exp.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re))))
(exp.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re))))
(exp.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re))))
(exp.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re))))
(exp.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re))))
(exp.f64 (sin.f64 re))
(+.f64 (exp.f64 (sin.f64 re)) (.f64 1/2 (.f64 (sin.f64 re) (*.f64 (exp.f64 (sin.f64 re)) (pow.f64 im 2)))))
(+.f64 (.f64 1/8 (.f64 (pow.f64 (sin.f64 re) 2) (.f64 (exp.f64 (sin.f64 re)) (pow.f64 im 4)))) (+.f64 (.f64 1/24 (.f64 (sin.f64 re) (.f64 (exp.f64 (sin.f64 re)) (pow.f64 im 4)))) (+.f64 (exp.f64 (sin.f64 re)) (.f64 1/2 (.f64 (sin.f64 re) (*.f64 (exp.f64 (sin.f64 re)) (pow.f64 im 2)))))))
(+.f64 (.f64 1/48 (.f64 (pow.f64 (sin.f64 re) 2) (.f64 (exp.f64 (sin.f64 re)) (pow.f64 im 6)))) (+.f64 (.f64 1/48 (.f64 (pow.f64 (sin.f64 re) 3) (.f64 (exp.f64 (sin.f64 re)) (pow.f64 im 6)))) (+.f64 (.f64 1/720 (.f64 (sin.f64 re) (.f64 (exp.f64 (sin.f64 re)) (pow.f64 im 6)))) (+.f64 (.f64 1/8 (.f64 (pow.f64 (sin.f64 re) 2) (.f64 (exp.f64 (sin.f64 re)) (pow.f64 im 4)))) (+.f64 (.f64 1/24 (.f64 (sin.f64 re) (.f64 (exp.f64 (sin.f64 re)) (pow.f64 im 4)))) (+.f64 (exp.f64 (sin.f64 re)) (.f64 1/2 (.f64 (sin.f64 re) (.f64 (exp.f64 (sin.f64 re)) (pow.f64 im 2))))))))))
(exp.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re))))
(exp.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re))))
(exp.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re))))
(exp.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re))))
(exp.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re))))
(exp.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re))))
(exp.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re))))
(exp.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re))))

Outputs
(.f64 (+.f64 (.f64 1/2 (/.f64 1 (exp.f64 im))) (*.f64 1/2 (exp.f64 im))) re)
(.f64 (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) re)
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) re)
(-.f64 (+.f64 (.f64 1/2 (.f64 re (exp.f64 im))) (.f64 1/2 (/.f64 re (exp.f64 im)))) (+.f64 (.f64 1/12 (.f64 (exp.f64 im) (pow.f64 re 3))) (.f64 1/12 (/.f64 (pow.f64 re 3) (exp.f64 im)))))
(-.f64 (.f64 1/2 (+.f64 (.f64 (exp.f64 im) re) (/.f64 re (exp.f64 im)))) (.f64 1/12 (+.f64 (/.f64 (pow.f64 re 3) (exp.f64 im)) (.f64 (exp.f64 im) (pow.f64 re 3)))))
(fma.f64 1/2 (fma.f64 (exp.f64 im) re (/.f64 re (exp.f64 im))) (*.f64 -1/12 (fma.f64 (exp.f64 im) (pow.f64 re 3) (/.f64 (pow.f64 re 3) (exp.f64 im)))))
(fma.f64 1/2 (fma.f64 (exp.f64 im) re (/.f64 re (exp.f64 im))) (*.f64 (fma.f64 (exp.f64 im) (pow.f64 re 3) (/.f64 (pow.f64 re 3) (exp.f64 im))) -1/12))
(-.f64 (+.f64 (.f64 1/2 (.f64 re (exp.f64 im))) (+.f64 (.f64 1/2 (/.f64 re (exp.f64 im))) (+.f64 (.f64 1/240 (.f64 (exp.f64 im) (pow.f64 re 5))) (.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/12 (*.f64 (exp.f64 im) (pow.f64 re 3)))))
(-.f64 (fma.f64 1/2 (.f64 (exp.f64 im) re) (fma.f64 1/2 (/.f64 re (exp.f64 im)) (.f64 1/240 (+.f64 (.f64 (exp.f64 im) (pow.f64 re 5)) (/.f64 (pow.f64 re 5) (exp.f64 im)))))) (.f64 1/12 (+.f64 (/.f64 (pow.f64 re 3) (exp.f64 im)) (*.f64 (exp.f64 im) (pow.f64 re 3)))))
(+.f64 (fma.f64 1/2 (fma.f64 (exp.f64 im) re (/.f64 re (exp.f64 im))) (.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im))))) (.f64 -1/12 (fma.f64 (exp.f64 im) (pow.f64 re 3) (/.f64 (pow.f64 re 3) (exp.f64 im)))))
(+.f64 (fma.f64 1/2 (fma.f64 (exp.f64 im) re (/.f64 re (exp.f64 im))) (.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im))))) (.f64 (fma.f64 (exp.f64 im) (pow.f64 re 3) (/.f64 (pow.f64 re 3) (exp.f64 im))) -1/12))
(-.f64 (+.f64 (.f64 1/2 (.f64 re (exp.f64 im))) (+.f64 (.f64 1/2 (/.f64 re (exp.f64 im))) (+.f64 (.f64 1/240 (.f64 (exp.f64 im) (pow.f64 re 5))) (.f64 1/240 (/.f64 (pow.f64 re 5) (exp.f64 im)))))) (+.f64 (.f64 1/10080 (.f64 (exp.f64 im) (pow.f64 re 7))) (+.f64 (.f64 1/10080 (/.f64 (pow.f64 re 7) (exp.f64 im))) (+.f64 (.f64 1/12 (/.f64 (pow.f64 re 3) (exp.f64 im))) (.f64 1/12 (.f64 (exp.f64 im) (pow.f64 re 3)))))))
(-.f64 (fma.f64 1/2 (.f64 (exp.f64 im) re) (fma.f64 1/2 (/.f64 re (exp.f64 im)) (.f64 1/240 (+.f64 (.f64 (exp.f64 im) (pow.f64 re 5)) (/.f64 (pow.f64 re 5) (exp.f64 im)))))) (fma.f64 1/10080 (.f64 (exp.f64 im) (pow.f64 re 7)) (fma.f64 1/10080 (/.f64 (pow.f64 re 7) (exp.f64 im)) (.f64 1/12 (+.f64 (/.f64 (pow.f64 re 3) (exp.f64 im)) (.f64 (exp.f64 im) (pow.f64 re 3)))))))
(-.f64 (fma.f64 1/2 (fma.f64 (exp.f64 im) re (/.f64 re (exp.f64 im))) (.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im))))) (fma.f64 1/10080 (.f64 (exp.f64 im) (pow.f64 re 7)) (fma.f64 1/12 (fma.f64 (exp.f64 im) (pow.f64 re 3) (/.f64 (pow.f64 re 3) (exp.f64 im))) (*.f64 1/10080 (/.f64 (pow.f64 re 7) (exp.f64 im))))))
(-.f64 (fma.f64 1/2 (fma.f64 (exp.f64 im) re (/.f64 re (exp.f64 im))) (.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im))))) (fma.f64 1/10080 (.f64 (exp.f64 im) (pow.f64 re 7)) (fma.f64 1/12 (fma.f64 (exp.f64 im) (pow.f64 re 3) (/.f64 (pow.f64 re 3) (exp.f64 im))) (*.f64 (/.f64 1/10080 (exp.f64 im)) (pow.f64 re 7)))))
(.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re)))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re)))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re)))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re)))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re)))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re)))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re)))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re)))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.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 (.f64 1/2 (sin.f64 re)) (*.f64 im im)))
(fma.f64 1/2 (.f64 im (.f64 im (sin.f64 re))) (sin.f64 re))
(.f64 (+.f64 (.f64 (*.f64 1/2 im) im) 1) (sin.f64 re))
(+.f64 (.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4))) (+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2)))))
(fma.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4)) (+.f64 (sin.f64 re) (.f64 (.f64 1/2 (sin.f64 re)) (.f64 im im))))
(fma.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4)) (fma.f64 1/2 (.f64 im (*.f64 im (sin.f64 re))) (sin.f64 re)))
(+.f64 (sin.f64 re) (.f64 (sin.f64 re) (+.f64 (.f64 (.f64 1/2 im) im) (.f64 1/24 (pow.f64 im 4)))))
(+.f64 (.f64 1/720 (.f64 (sin.f64 re) (pow.f64 im 6))) (+.f64 (.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4))) (+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))))
(fma.f64 1/720 (.f64 (sin.f64 re) (pow.f64 im 6)) (fma.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4)) (+.f64 (sin.f64 re) (.f64 (.f64 1/2 (sin.f64 re)) (*.f64 im im)))))
(fma.f64 1/720 (.f64 (sin.f64 re) (pow.f64 im 6)) (fma.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4)) (fma.f64 1/2 (.f64 im (.f64 im (sin.f64 re))) (sin.f64 re))))
(+.f64 (.f64 (+.f64 (.f64 (.f64 1/2 im) im) 1) (sin.f64 re)) (.f64 (sin.f64 re) (+.f64 (.f64 1/24 (pow.f64 im 4)) (.f64 1/720 (pow.f64 im 6)))))
(.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re)))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re)))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re)))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re)))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re)))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re)))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re)))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re)))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
1
(+.f64 1 re)
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 1 re))
(fma.f64 1/2 (*.f64 re re) (+.f64 1 re))
(+.f64 re (fma.f64 1/2 (*.f64 re re) 1))
(-.f64 (+.f64 (.f64 1/2 (pow.f64 re 2)) (+.f64 1 re)) (.f64 1/8 (pow.f64 re 4)))
(+.f64 (fma.f64 1/2 (.f64 re re) (+.f64 1 re)) (.f64 -1/8 (pow.f64 re 4)))
(fma.f64 1/2 (.f64 re re) (+.f64 (+.f64 1 re) (.f64 (pow.f64 re 4) -1/8)))
(+.f64 re (-.f64 (fma.f64 1/2 (.f64 re re) 1) (.f64 1/8 (pow.f64 re 4))))
1
(+.f64 (.f64 1/2 (.f64 re (exp.f64 im))) (+.f64 (*.f64 1/2 (/.f64 re (exp.f64 im))) 1))
(fma.f64 1/2 (*.f64 (exp.f64 im) re) (fma.f64 1/2 (/.f64 re (exp.f64 im)) 1))
(fma.f64 1/2 (fma.f64 (exp.f64 im) re (/.f64 re (exp.f64 im))) 1)
(+.f64 (.f64 1/2 (/.f64 re (exp.f64 im))) (+.f64 (.f64 1/2 (.f64 re (exp.f64 im))) (+.f64 (.f64 1/8 (.f64 (pow.f64 re 2) (pow.f64 (exp.f64 im) 2))) (+.f64 (.f64 1/4 (pow.f64 re 2)) (+.f64 1 (*.f64 1/8 (/.f64 (pow.f64 re 2) (pow.f64 (exp.f64 im) 2))))))))
(fma.f64 1/2 (/.f64 re (exp.f64 im)) (fma.f64 1/2 (.f64 (exp.f64 im) re) (fma.f64 1/8 (.f64 (.f64 re re) (pow.f64 (exp.f64 im) 2)) (fma.f64 1/4 (.f64 re re) (+.f64 1 (/.f64 (.f64 1/8 (.f64 re re)) (pow.f64 (exp.f64 im) 2)))))))
(fma.f64 1/2 (fma.f64 (exp.f64 im) re (/.f64 re (exp.f64 im))) (fma.f64 1/8 (.f64 re (.f64 re (pow.f64 (exp.f64 im) 2))) (fma.f64 (.f64 re re) 1/4 (fma.f64 1/8 (/.f64 (.f64 re re) (pow.f64 (exp.f64 im) 2)) 1))))
(fma.f64 1/2 (fma.f64 (exp.f64 im) re (/.f64 re (exp.f64 im))) (+.f64 (fma.f64 1/8 (.f64 (/.f64 re (pow.f64 (exp.f64 im) 2)) re) 1) (.f64 (.f64 re re) (+.f64 1/4 (.f64 1/8 (pow.f64 (exp.f64 im) 2))))))
(-.f64 (+.f64 (.f64 1/2 (/.f64 re (exp.f64 im))) (+.f64 1 (+.f64 (.f64 1/8 (/.f64 (pow.f64 re 2) (pow.f64 (exp.f64 im) 2))) (+.f64 (.f64 1/2 (.f64 re (exp.f64 im))) (+.f64 (.f64 1/8 (.f64 (pow.f64 re 2) (pow.f64 (exp.f64 im) 2))) (+.f64 (.f64 1/4 (pow.f64 re 2)) (+.f64 (.f64 1/48 (.f64 (pow.f64 re 3) (pow.f64 (exp.f64 im) 3))) (.f64 1/48 (/.f64 (pow.f64 re 3) (pow.f64 (exp.f64 im) 3)))))))))) (+.f64 (.f64 1/48 (.f64 (pow.f64 re 3) (exp.f64 im))) (*.f64 1/48 (/.f64 (pow.f64 re 3) (exp.f64 im)))))
(-.f64 (+.f64 (fma.f64 1/2 (/.f64 re (exp.f64 im)) 1) (fma.f64 1/8 (/.f64 (.f64 re re) (pow.f64 (exp.f64 im) 2)) (fma.f64 1/2 (.f64 (exp.f64 im) re) (fma.f64 1/8 (.f64 (.f64 re re) (pow.f64 (exp.f64 im) 2)) (fma.f64 1/4 (.f64 re re) (.f64 1/48 (+.f64 (.f64 (pow.f64 re 3) (pow.f64 (exp.f64 im) 3)) (/.f64 (pow.f64 re 3) (pow.f64 (exp.f64 im) 3))))))))) (.f64 1/48 (+.f64 (*.f64 (exp.f64 im) (pow.f64 re 3)) (/.f64 (pow.f64 re 3) (exp.f64 im)))))
(fma.f64 1/2 (/.f64 re (exp.f64 im)) (+.f64 (fma.f64 1/8 (/.f64 (.f64 re re) (pow.f64 (exp.f64 im) 2)) 1) (-.f64 (fma.f64 1/2 (.f64 (exp.f64 im) re) (fma.f64 1/8 (.f64 re (.f64 re (pow.f64 (exp.f64 im) 2))) (fma.f64 1/48 (fma.f64 (pow.f64 re 3) (pow.f64 (exp.f64 im) 3) (/.f64 (pow.f64 re 3) (pow.f64 (exp.f64 im) 3))) (.f64 re (.f64 re 1/4))))) (*.f64 1/48 (fma.f64 (exp.f64 im) (pow.f64 re 3) (/.f64 (pow.f64 re 3) (exp.f64 im)))))))
(+.f64 (fma.f64 1/2 (/.f64 re (exp.f64 im)) 1) (+.f64 (fma.f64 1/8 (.f64 (/.f64 re (pow.f64 (exp.f64 im) 2)) re) (fma.f64 1/2 (.f64 (exp.f64 im) re) (+.f64 (.f64 1/48 (fma.f64 (pow.f64 re 3) (pow.f64 (exp.f64 im) 3) (pow.f64 (/.f64 re (exp.f64 im)) 3))) (.f64 (.f64 re re) (+.f64 1/4 (.f64 1/8 (pow.f64 (exp.f64 im) 2))))))) (*.f64 (fma.f64 (exp.f64 im) (pow.f64 re 3) (/.f64 (pow.f64 re 3) (exp.f64 im))) -1/48)))
(exp.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re))))
(pow.f64 (exp.f64 1/2) (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(pow.f64 (exp.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))) (sin.f64 re))
(pow.f64 (exp.f64 (sin.f64 re)) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(exp.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re))))
(pow.f64 (exp.f64 1/2) (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(pow.f64 (exp.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))) (sin.f64 re))
(pow.f64 (exp.f64 (sin.f64 re)) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(exp.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re))))
(pow.f64 (exp.f64 1/2) (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(pow.f64 (exp.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))) (sin.f64 re))
(pow.f64 (exp.f64 (sin.f64 re)) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(exp.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re))))
(pow.f64 (exp.f64 1/2) (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(pow.f64 (exp.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))) (sin.f64 re))
(pow.f64 (exp.f64 (sin.f64 re)) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(exp.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re))))
(pow.f64 (exp.f64 1/2) (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(pow.f64 (exp.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))) (sin.f64 re))
(pow.f64 (exp.f64 (sin.f64 re)) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(exp.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re))))
(pow.f64 (exp.f64 1/2) (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(pow.f64 (exp.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))) (sin.f64 re))
(pow.f64 (exp.f64 (sin.f64 re)) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(exp.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re))))
(pow.f64 (exp.f64 1/2) (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(pow.f64 (exp.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))) (sin.f64 re))
(pow.f64 (exp.f64 (sin.f64 re)) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(exp.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re))))
(pow.f64 (exp.f64 1/2) (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(pow.f64 (exp.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))) (sin.f64 re))
(pow.f64 (exp.f64 (sin.f64 re)) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(exp.f64 (sin.f64 re))
(+.f64 (exp.f64 (sin.f64 re)) (.f64 1/2 (.f64 (sin.f64 re) (*.f64 (exp.f64 (sin.f64 re)) (pow.f64 im 2)))))
(+.f64 (exp.f64 (sin.f64 re)) (.f64 (.f64 1/2 (sin.f64 re)) (.f64 (.f64 im im) (exp.f64 (sin.f64 re)))))
(fma.f64 1/2 (.f64 (sin.f64 re) (.f64 im (*.f64 im (exp.f64 (sin.f64 re))))) (exp.f64 (sin.f64 re)))
(.f64 (+.f64 (.f64 1/2 (.f64 im (.f64 im (sin.f64 re)))) 1) (exp.f64 (sin.f64 re)))
(+.f64 (.f64 1/8 (.f64 (pow.f64 (sin.f64 re) 2) (.f64 (exp.f64 (sin.f64 re)) (pow.f64 im 4)))) (+.f64 (.f64 1/24 (.f64 (sin.f64 re) (.f64 (exp.f64 (sin.f64 re)) (pow.f64 im 4)))) (+.f64 (exp.f64 (sin.f64 re)) (.f64 1/2 (.f64 (sin.f64 re) (*.f64 (exp.f64 (sin.f64 re)) (pow.f64 im 2)))))))
(fma.f64 1/8 (.f64 (pow.f64 (sin.f64 re) 2) (.f64 (pow.f64 im 4) (exp.f64 (sin.f64 re)))) (fma.f64 1/24 (.f64 (.f64 (sin.f64 re) (exp.f64 (sin.f64 re))) (pow.f64 im 4)) (+.f64 (exp.f64 (sin.f64 re)) (.f64 (.f64 1/2 (sin.f64 re)) (.f64 (.f64 im im) (exp.f64 (sin.f64 re)))))))
(+.f64 (fma.f64 1/2 (.f64 (sin.f64 re) (.f64 im (.f64 im (exp.f64 (sin.f64 re))))) (exp.f64 (sin.f64 re))) (.f64 (.f64 (pow.f64 im 4) (exp.f64 (sin.f64 re))) (+.f64 (.f64 1/8 (pow.f64 (sin.f64 re) 2)) (*.f64 (sin.f64 re) 1/24))))
(+.f64 (.f64 (+.f64 (.f64 1/2 (.f64 im (.f64 im (sin.f64 re)))) 1) (exp.f64 (sin.f64 re))) (.f64 (pow.f64 im 4) (.f64 (exp.f64 (sin.f64 re)) (.f64 (sin.f64 re) (+.f64 (.f64 1/8 (sin.f64 re)) 1/24)))))
(+.f64 (.f64 1/48 (.f64 (pow.f64 (sin.f64 re) 2) (.f64 (exp.f64 (sin.f64 re)) (pow.f64 im 6)))) (+.f64 (.f64 1/48 (.f64 (pow.f64 (sin.f64 re) 3) (.f64 (exp.f64 (sin.f64 re)) (pow.f64 im 6)))) (+.f64 (.f64 1/720 (.f64 (sin.f64 re) (.f64 (exp.f64 (sin.f64 re)) (pow.f64 im 6)))) (+.f64 (.f64 1/8 (.f64 (pow.f64 (sin.f64 re) 2) (.f64 (exp.f64 (sin.f64 re)) (pow.f64 im 4)))) (+.f64 (.f64 1/24 (.f64 (sin.f64 re) (.f64 (exp.f64 (sin.f64 re)) (pow.f64 im 4)))) (+.f64 (exp.f64 (sin.f64 re)) (.f64 1/2 (.f64 (sin.f64 re) (.f64 (exp.f64 (sin.f64 re)) (pow.f64 im 2))))))))))
(fma.f64 1/48 (.f64 (pow.f64 (sin.f64 re) 2) (.f64 (pow.f64 im 6) (exp.f64 (sin.f64 re)))) (fma.f64 1/48 (.f64 (.f64 (pow.f64 im 6) (exp.f64 (sin.f64 re))) (pow.f64 (sin.f64 re) 3)) (fma.f64 1/720 (.f64 (sin.f64 re) (.f64 (pow.f64 im 6) (exp.f64 (sin.f64 re)))) (fma.f64 1/8 (.f64 (pow.f64 (sin.f64 re) 2) (.f64 (pow.f64 im 4) (exp.f64 (sin.f64 re)))) (fma.f64 1/24 (.f64 (.f64 (sin.f64 re) (exp.f64 (sin.f64 re))) (pow.f64 im 4)) (+.f64 (exp.f64 (sin.f64 re)) (.f64 (.f64 1/2 (sin.f64 re)) (.f64 (.f64 im im) (exp.f64 (sin.f64 re))))))))))
(fma.f64 1/48 (.f64 (pow.f64 im 6) (.f64 (exp.f64 (sin.f64 re)) (pow.f64 (sin.f64 re) 2))) (+.f64 (+.f64 (.f64 (.f64 (pow.f64 im 6) (exp.f64 (sin.f64 re))) (+.f64 (.f64 1/48 (pow.f64 (sin.f64 re) 3)) (.f64 (sin.f64 re) 1/720))) (.f64 (.f64 (pow.f64 im 4) (exp.f64 (sin.f64 re))) (+.f64 (.f64 1/8 (pow.f64 (sin.f64 re) 2)) (.f64 (sin.f64 re) 1/24)))) (fma.f64 1/2 (.f64 (sin.f64 re) (.f64 im (*.f64 im (exp.f64 (sin.f64 re))))) (exp.f64 (sin.f64 re)))))
(+.f64 (.f64 (.f64 (pow.f64 im 6) (exp.f64 (sin.f64 re))) (+.f64 (.f64 (pow.f64 (sin.f64 re) 2) (+.f64 1/48 (.f64 1/48 (sin.f64 re)))) (.f64 (sin.f64 re) 1/720))) (+.f64 (.f64 (+.f64 (.f64 1/2 (.f64 im (.f64 im (sin.f64 re)))) 1) (exp.f64 (sin.f64 re))) (.f64 (pow.f64 im 4) (.f64 (exp.f64 (sin.f64 re)) (.f64 (sin.f64 re) (+.f64 (*.f64 1/8 (sin.f64 re)) 1/24))))))
(exp.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re))))
(pow.f64 (exp.f64 1/2) (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(pow.f64 (exp.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))) (sin.f64 re))
(pow.f64 (exp.f64 (sin.f64 re)) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(exp.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re))))
(pow.f64 (exp.f64 1/2) (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(pow.f64 (exp.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))) (sin.f64 re))
(pow.f64 (exp.f64 (sin.f64 re)) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(exp.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re))))
(pow.f64 (exp.f64 1/2) (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(pow.f64 (exp.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))) (sin.f64 re))
(pow.f64 (exp.f64 (sin.f64 re)) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(exp.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re))))
(pow.f64 (exp.f64 1/2) (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(pow.f64 (exp.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))) (sin.f64 re))
(pow.f64 (exp.f64 (sin.f64 re)) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(exp.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re))))
(pow.f64 (exp.f64 1/2) (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(pow.f64 (exp.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))) (sin.f64 re))
(pow.f64 (exp.f64 (sin.f64 re)) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(exp.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re))))
(pow.f64 (exp.f64 1/2) (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(pow.f64 (exp.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))) (sin.f64 re))
(pow.f64 (exp.f64 (sin.f64 re)) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(exp.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re))))
(pow.f64 (exp.f64 1/2) (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(pow.f64 (exp.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))) (sin.f64 re))
(pow.f64 (exp.f64 (sin.f64 re)) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(exp.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (sin.f64 re))))
(pow.f64 (exp.f64 1/2) (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(pow.f64 (exp.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))) (sin.f64 re))
(pow.f64 (exp.f64 (sin.f64 re)) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))

prune117.0ms (1.7%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

Counts

161 → 3

Alt Table

Status

Error

Program

✓

0.0b

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

✓

31.6b

(log.f64 (pow.f64 (exp.f64 (sin.f64 re)) (*.f64 1/2 (*.f64 2 (cosh.f64 im)))))

✓

0.2b

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

Compiler

Compiled 2656 to 1420 computations (46.5% saved)

regimes686.0ms (9.7%)

Accuracy

Total 0.0b remaining (6.3%)

Threshold costs 0.0b (6.3%)

Counts

142 → 1

Compiler

Compiled 1927 to 924 computations (52% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	22
1	12	22

Stop Event

1×

saturated

Calls

Call 1

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

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

end67.0ms (0.9%)

Stop Event

1×

done

Compiler

Compiled 80 to 55 computations (31.3% saved)

Details

analyze546.0ms (7.7%)

sample4.5s (64.2%)

preprocess43.0ms (0.6%)

simplify35.0ms (0.5%)

prune3.0ms (0%)

localize7.0ms (0.1%)

series11.0ms (0.1%)

rewrite55.0ms (0.8%)

simplify42.0ms (0.6%)

prune96.0ms (1.4%)

localize10.0ms (0.1%)

series13.0ms (0.2%)

rewrite62.0ms (0.9%)

simplify57.0ms (0.8%)

prune173.0ms (2.4%)

localize11.0ms (0.2%)

series18.0ms (0.3%)

rewrite50.0ms (0.7%)

simplify35.0ms (0.5%)

prune101.0ms (1.4%)

localize11.0ms (0.2%)

series195.0ms (2.8%)

rewrite48.0ms (0.7%)

simplify37.0ms (0.5%)

prune117.0ms (1.7%)

regimes686.0ms (9.7%)

simplify2.0ms (0%)

end67.0ms (0.9%)

Profiling