Details

analyze528.0ms (6.5%)

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)

sample6.0s (74.3%)

Results

2.0s	1983×	body	1024	valid
1.5s	2008×	body	1024	invalid
889.0ms	4713×	body	128	valid
566.0ms	1060×	body	512	valid
526.0ms	1066×	body	512	invalid
177.0ms	497×	body	256	invalid
174.0ms	498×	body	256	valid
155.0ms	763×	body	128	invalid
5.0ms	2×	body	2048	valid

Compiler

Compiled 30 to 24 computations (20% saved)

preprocess65.0ms (0.8%)

Algorithm

2×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

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

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

Compiler

Compiled 14 to 11 computations (21.4% saved)

simplify54.0ms (0.7%)

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

prune4.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 51 to 34 computations (33.3% saved)

localize11.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series43.0ms (0.5%)

Counts

2 → 28

Calls

9 calls:

Time	Variable		Point	Expression
8.0ms	im	@	inf	(*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
8.0ms	im	@	-inf	(*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
7.0ms	re	@	inf	(*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
6.0ms	re	@	-inf	(*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
4.0ms	re	@	0	(*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))

rewrite69.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	23
1	182	23
2	2171	23

Stop Event

1×	node limit

Counts

2 → 39

Calls

Call 1

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

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

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

simplify53.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

685×	`fma-neg_binary64`
401×	`fma-def_binary64`
298×	`sub-neg_binary64`
169×	`associate-r_binary64`
166×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	76	640
1	231	593
2	739	581
3	2952	568

Stop Event

1×	node limit

Counts

67 → 63

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

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

prune76.0ms (0.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

Counts

64 → 2

Alt Table

Status	Error	Program
▶	28.3b	(fma.f64 1/2 (fma.f64 (exp.f64 im) re (/.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 (pow.f64 re 3) (-.f64 (.f64 (exp.f64 im) -1/12) (/.f64 1/12 (exp.f64 im))))))
✓	0.0b	(*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))

Status

Error

Program

▶

28.3b

(fma.f64 1/2 (fma.f64 (exp.f64 im) re (/.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 (pow.f64 re 3) (-.f64 (*.f64 (exp.f64 im) -1/12) (/.f64 1/12 (exp.f64 im))))))

✓

0.0b

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

Compiler

Compiled 1175 to 681 computations (42% saved)

localize30.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (exp.f64 im) -1/12)
✓	0.0b	(-.f64 (*.f64 (exp.f64 im) -1/12) (/.f64 1/12 (exp.f64 im)))
✓	0.1b	(.f64 (pow.f64 re 3) (-.f64 (.f64 (exp.f64 im) -1/12) (/.f64 1/12 (exp.f64 im))))
✓	16.6b	(fma.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (-.f64 (.f64 (exp.f64 im) -1/12) (/.f64 1/12 (exp.f64 im)))))

series182.0ms (2.2%)

Counts

4 → 72

Calls

18 calls:

Time	Variable		Point	Expression
31.0ms	im	@	inf	(fma.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (-.f64 (.f64 (exp.f64 im) -1/12) (/.f64 1/12 (exp.f64 im)))))
29.0ms	im	@	-inf	(fma.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (-.f64 (.f64 (exp.f64 im) -1/12) (/.f64 1/12 (exp.f64 im)))))
23.0ms	re	@	0	(fma.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (-.f64 (.f64 (exp.f64 im) -1/12) (/.f64 1/12 (exp.f64 im)))))
12.0ms	im	@	inf	(.f64 (pow.f64 re 3) (-.f64 (.f64 (exp.f64 im) -1/12) (/.f64 1/12 (exp.f64 im))))
12.0ms	im	@	-inf	(.f64 (pow.f64 re 3) (-.f64 (.f64 (exp.f64 im) -1/12) (/.f64 1/12 (exp.f64 im))))

rewrite128.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

328×	`log1p-udef_binary64`
191×	`add-sqr-sqrt_binary64`
181×	`add-log-exp_binary64`
180×	`pow1_binary64`
180×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	18	81
1	395	75
2	4780	75

Stop Event

1×	node limit

Counts

4 → 97

Calls

Call 1

Inputs
(fma.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (-.f64 (.f64 (exp.f64 im) -1/12) (/.f64 1/12 (exp.f64 im)))))
(.f64 (pow.f64 re 3) (-.f64 (.f64 (exp.f64 im) -1/12) (/.f64 1/12 (exp.f64 im))))
(-.f64 (*.f64 (exp.f64 im) -1/12) (/.f64 1/12 (exp.f64 im)))
(*.f64 (exp.f64 im) -1/12)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))) (.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im)))) (.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im)))) 1) (.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (fma.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (fma.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))))) (pow.f64 (cbrt.f64 (fma.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (fma.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))))) 2) (cbrt.f64 (fma.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (fma.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))))) (sqrt.f64 (fma.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im)))) 3) (pow.f64 (.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))) 3)) (+.f64 (.f64 (.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (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 (pow.f64 re 6) (pow.f64 (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))) 2)) (.f64 (.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im)))) (.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im)))) (.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im))))) (.f64 (pow.f64 re 6) (pow.f64 (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))) 2))) (-.f64 (.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im)))) (.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (fma.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 1/240 (fma.f64 (exp.f64 im) (pow.f64 re 5) (/.f64 (pow.f64 re 5) (exp.f64 im))) (*.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 (exp.f64 im) -1/12) (pow.f64 re 3)) (.f64 (/.f64 -1/12 (exp.f64 im)) (pow.f64 re 3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (pow.f64 re 3) (.f64 (exp.f64 im) -1/12)) (.f64 (pow.f64 re 3) (/.f64 -1/12 (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (.f64 -1/1728 (pow.f64 (exp.f64 im) 3)) (/.f64 1/1728 (pow.f64 (exp.f64 im) 3))) (pow.f64 re 3)) (+.f64 (.f64 1/144 (pow.f64 (exp.f64 im) 2)) (.f64 (/.f64 1/12 (exp.f64 im)) (fma.f64 (exp.f64 im) -1/12 (/.f64 1/12 (exp.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (.f64 1/144 (pow.f64 (exp.f64 im) 2)) (/.f64 1/144 (pow.f64 (exp.f64 im) 2))) (pow.f64 re 3)) (fma.f64 (exp.f64 im) -1/12 (/.f64 1/12 (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (pow.f64 re 3) (-.f64 (.f64 -1/1728 (pow.f64 (exp.f64 im) 3)) (/.f64 1/1728 (pow.f64 (exp.f64 im) 3)))) (+.f64 (.f64 1/144 (pow.f64 (exp.f64 im) 2)) (.f64 (/.f64 1/12 (exp.f64 im)) (fma.f64 (exp.f64 im) -1/12 (/.f64 1/12 (exp.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (pow.f64 re 3) (-.f64 (.f64 1/144 (pow.f64 (exp.f64 im) 2)) (/.f64 1/144 (pow.f64 (exp.f64 im) 2)))) (fma.f64 (exp.f64 im) -1/12 (/.f64 1/12 (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 re (cbrt.f64 (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (sqrt.f64 (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))) (pow.f64 re 3/2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (.f64 (pow.f64 re 6) (pow.f64 (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (pow.f64 re 3)) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (pow.f64 re 3) 3) (pow.f64 (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))) 3) (pow.f64 (pow.f64 re 3) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (exp.f64 im) -1/12) (/.f64 -1/12 (exp.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (exp.f64 im) -1/12) (.f64 (/.f64 -1/12 (exp.f64 im)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))) (fma.f64 (neg.f64 (exp.f64 (neg.f64 im))) 1/12 (/.f64 1/12 (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))) (fma.f64 (/.f64 -1/12 (exp.f64 im)) 1 (/.f64 1/12 (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 1/12 (exp.f64 im)))) (pow.f64 (cbrt.f64 (/.f64 1/12 (exp.f64 im))) 2) (/.f64 1/12 (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))) (fma.f64 (neg.f64 (sqrt.f64 (/.f64 1/12 (exp.f64 im)))) (sqrt.f64 (/.f64 1/12 (exp.f64 im))) (/.f64 1/12 (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 -1/12 (exp.f64 im)) (.f64 (exp.f64 im) -1/12))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))) (pow.f64 (cbrt.f64 (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))) 2) (cbrt.f64 (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))) (sqrt.f64 (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 -1/1728 (pow.f64 (exp.f64 im) 3)) (/.f64 1/1728 (pow.f64 (exp.f64 im) 3))) (/.f64 1 (+.f64 (.f64 1/144 (pow.f64 (exp.f64 im) 2)) (.f64 (/.f64 1/12 (exp.f64 im)) (fma.f64 (exp.f64 im) -1/12 (/.f64 1/12 (exp.f64 im)))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 1/144 (pow.f64 (exp.f64 im) 2)) (/.f64 1/144 (pow.f64 (exp.f64 im) 2))) (/.f64 1 (fma.f64 (exp.f64 im) -1/12 (/.f64 1/12 (exp.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (sqrt.f64 (.f64 (exp.f64 im) -1/12)) (sqrt.f64 (/.f64 1/12 (exp.f64 im)))) (-.f64 (sqrt.f64 (.f64 (exp.f64 im) -1/12)) (sqrt.f64 (/.f64 1/12 (exp.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (.f64 1/144 (pow.f64 (exp.f64 im) 2)) (.f64 (/.f64 1/12 (exp.f64 im)) (fma.f64 (exp.f64 im) -1/12 (/.f64 1/12 (exp.f64 im))))) (-.f64 (.f64 -1/1728 (pow.f64 (exp.f64 im) 3)) (/.f64 1/1728 (pow.f64 (exp.f64 im) 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 (exp.f64 im) -1/12 (/.f64 1/12 (exp.f64 im))) (-.f64 (.f64 1/144 (pow.f64 (exp.f64 im) 2)) (/.f64 1/144 (pow.f64 (exp.f64 im) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 -1/1728 (pow.f64 (exp.f64 im) 3)) (/.f64 1/1728 (pow.f64 (exp.f64 im) 3))) (+.f64 (.f64 1/144 (pow.f64 (exp.f64 im) 2)) (.f64 (/.f64 1/12 (exp.f64 im)) (fma.f64 (exp.f64 im) -1/12 (/.f64 1/12 (exp.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 1/144 (pow.f64 (exp.f64 im) 2)) (/.f64 1/144 (pow.f64 (exp.f64 im) 2))) (fma.f64 (exp.f64 im) -1/12 (/.f64 1/12 (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (.f64 -1/1728 (pow.f64 (exp.f64 im) 3)) (/.f64 1/1728 (pow.f64 (exp.f64 im) 3)))) (neg.f64 (+.f64 (.f64 1/144 (pow.f64 (exp.f64 im) 2)) (.f64 (/.f64 1/12 (exp.f64 im)) (fma.f64 (exp.f64 im) -1/12 (/.f64 1/12 (exp.f64 im)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (.f64 1/144 (pow.f64 (exp.f64 im) 2)) (/.f64 1/144 (pow.f64 (exp.f64 im) 2)))) (neg.f64 (fma.f64 (exp.f64 im) -1/12 (/.f64 1/12 (exp.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 -1/1728 (pow.f64 (exp.f64 im) 3)) (pow.f64 (/.f64 -1/12 (exp.f64 im)) 3)) (+.f64 (.f64 1/144 (pow.f64 (exp.f64 im) 2)) (-.f64 (.f64 (/.f64 -1/12 (exp.f64 im)) (/.f64 -1/12 (exp.f64 im))) (.f64 (.f64 (exp.f64 im) -1/12) (/.f64 -1/12 (exp.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 1/144 (pow.f64 (exp.f64 im) 2)) (.f64 (/.f64 -1/12 (exp.f64 im)) (/.f64 -1/12 (exp.f64 im)))) (-.f64 (.f64 (exp.f64 im) -1/12) (/.f64 -1/12 (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -1/12 (exp.f64 im) (/.f64 -1/12 (exp.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 (exp.f64 im) -1/12) (/.f64 -1/12 (exp.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (.f64 (exp.f64 im) -1/12)) 2) (cbrt.f64 (.f64 (exp.f64 im) -1/12)) (/.f64 -1/12 (exp.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (.f64 (exp.f64 im) -1/12)) (sqrt.f64 (.f64 (exp.f64 im) -1/12)) (/.f64 -1/12 (exp.f64 im)))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 (exp.f64 im) -1/12))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (exp.f64 im) -1/12) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 (exp.f64 im) -1/12)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 (exp.f64 im) -1/12)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 -1/1728 (pow.f64 (exp.f64 im) 3)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (.f64 1/144 (pow.f64 (exp.f64 im) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 -1/12) (exp.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 (exp.f64 im) -1/12))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 -1/1728 (pow.f64 (exp.f64 im) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (+.f64 im (log.f64 -1/12)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (+.f64 im (log.f64 -1/12)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (exp.f64 im) -1/12)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (exp.f64 im) -1/12)))))))

simplify87.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

647×	`fma-def_binary64`
605×	`associate-l_binary64`
537×	`associate-r_binary64`
391×	`cancel-sign-sub-inv_binary64`
173×	`fma-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	112	1902
1	357	1694
2	1340	1529

Stop Event

1×	node limit

Counts

169 → 138

Calls

Call 1

Inputs
(-.f64 (.f64 1/120 (pow.f64 re 5)) (.f64 1/6 (pow.f64 re 3)))
(-.f64 (+.f64 (.f64 1/120 (pow.f64 re 5)) (.f64 1/240 (.f64 (pow.f64 re 5) (pow.f64 im 2)))) (+.f64 (.f64 1/6 (pow.f64 re 3)) (.f64 1/12 (.f64 (pow.f64 re 3) (pow.f64 im 2)))))
(-.f64 (+.f64 (.f64 1/120 (pow.f64 re 5)) (+.f64 (.f64 1/240 (.f64 (pow.f64 re 5) (pow.f64 im 2))) (.f64 1/2880 (.f64 (pow.f64 re 5) (pow.f64 im 4))))) (+.f64 (.f64 1/6 (pow.f64 re 3)) (+.f64 (.f64 1/12 (.f64 (pow.f64 re 3) (pow.f64 im 2))) (.f64 1/144 (.f64 (pow.f64 re 3) (pow.f64 im 4))))))
(-.f64 (+.f64 (.f64 1/86400 (.f64 (pow.f64 re 5) (pow.f64 im 6))) (+.f64 (.f64 1/120 (pow.f64 re 5)) (+.f64 (.f64 1/240 (.f64 (pow.f64 re 5) (pow.f64 im 2))) (.f64 1/2880 (.f64 (pow.f64 re 5) (pow.f64 im 4)))))) (+.f64 (.f64 1/4320 (.f64 (pow.f64 re 3) (pow.f64 im 6))) (+.f64 (.f64 1/6 (pow.f64 re 3)) (+.f64 (.f64 1/12 (.f64 (pow.f64 re 3) (pow.f64 im 2))) (.f64 1/144 (.f64 (pow.f64 re 3) (pow.f64 im 4)))))))
(-.f64 (+.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 (exp.f64 im) (pow.f64 re 3))) (.f64 1/12 (/.f64 (pow.f64 re 3) (exp.f64 im)))))
(-.f64 (+.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 (exp.f64 im) (pow.f64 re 3))) (.f64 1/12 (/.f64 (pow.f64 re 3) (exp.f64 im)))))
(-.f64 (+.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 (exp.f64 im) (pow.f64 re 3))) (.f64 1/12 (/.f64 (pow.f64 re 3) (exp.f64 im)))))
(-.f64 (+.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 (exp.f64 im) (pow.f64 re 3))) (.f64 1/12 (/.f64 (pow.f64 re 3) (exp.f64 im)))))
(-.f64 (+.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/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/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/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 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(-.f64 (+.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/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/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/240 (/.f64 1 (exp.f64 im))) (*.f64 1/240 (exp.f64 im))) (pow.f64 re 5))
(-.f64 (+.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/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/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/240 (/.f64 1 (exp.f64 im))) (*.f64 1/240 (exp.f64 im))) (pow.f64 re 5))
(-.f64 (+.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/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/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 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(.f64 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(.f64 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(.f64 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(.f64 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(.f64 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(.f64 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(.f64 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(.f64 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(.f64 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(.f64 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(.f64 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(*.f64 -1/6 (pow.f64 re 3))
(neg.f64 (+.f64 (.f64 1/6 (pow.f64 re 3)) (.f64 1/12 (*.f64 (pow.f64 re 3) (pow.f64 im 2)))))
(neg.f64 (+.f64 (.f64 1/6 (pow.f64 re 3)) (+.f64 (.f64 1/12 (.f64 (pow.f64 re 3) (pow.f64 im 2))) (.f64 1/144 (*.f64 (pow.f64 re 3) (pow.f64 im 4))))))
(neg.f64 (+.f64 (.f64 1/4320 (.f64 (pow.f64 re 3) (pow.f64 im 6))) (+.f64 (.f64 1/6 (pow.f64 re 3)) (+.f64 (.f64 1/12 (.f64 (pow.f64 re 3) (pow.f64 im 2))) (.f64 1/144 (*.f64 (pow.f64 re 3) (pow.f64 im 4)))))))
(.f64 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(.f64 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(.f64 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(.f64 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(.f64 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(.f64 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(.f64 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(.f64 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
-1/6
(neg.f64 (+.f64 1/6 (*.f64 1/12 (pow.f64 im 2))))
(neg.f64 (+.f64 1/6 (+.f64 (.f64 1/144 (pow.f64 im 4)) (.f64 1/12 (pow.f64 im 2)))))
(neg.f64 (+.f64 (.f64 1/4320 (pow.f64 im 6)) (+.f64 1/6 (+.f64 (.f64 1/144 (pow.f64 im 4)) (*.f64 1/12 (pow.f64 im 2))))))
(.f64 -1 (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (*.f64 1/12 (exp.f64 im))))
(.f64 -1 (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (*.f64 1/12 (exp.f64 im))))
(.f64 -1 (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (*.f64 1/12 (exp.f64 im))))
(.f64 -1 (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (*.f64 1/12 (exp.f64 im))))
(.f64 -1 (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (*.f64 1/12 (exp.f64 im))))
(.f64 -1 (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (*.f64 1/12 (exp.f64 im))))
(.f64 -1 (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (*.f64 1/12 (exp.f64 im))))
(.f64 -1 (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (*.f64 1/12 (exp.f64 im))))
-1/12
(neg.f64 (+.f64 1/12 (*.f64 1/12 im)))
(neg.f64 (+.f64 1/12 (+.f64 (.f64 1/24 (pow.f64 im 2)) (.f64 1/12 im))))
(neg.f64 (+.f64 1/12 (+.f64 (.f64 1/72 (pow.f64 im 3)) (+.f64 (.f64 1/24 (pow.f64 im 2)) (*.f64 1/12 im)))))
(*.f64 -1/12 (exp.f64 im))
(*.f64 -1/12 (exp.f64 im))
(*.f64 -1/12 (exp.f64 im))
(*.f64 -1/12 (exp.f64 im))
(*.f64 -1/12 (exp.f64 im))
(*.f64 -1/12 (exp.f64 im))
(*.f64 -1/12 (exp.f64 im))
(*.f64 -1/12 (exp.f64 im))

Outputs
(-.f64 (.f64 1/120 (pow.f64 re 5)) (.f64 1/6 (pow.f64 re 3)))
(+.f64 (.f64 1/120 (pow.f64 re 5)) (.f64 (pow.f64 re 3) -1/6))
(fma.f64 1/120 (pow.f64 re 5) (*.f64 (pow.f64 re 3) -1/6))
(fma.f64 (pow.f64 re 3) -1/6 (*.f64 1/120 (pow.f64 re 5)))
(-.f64 (+.f64 (.f64 1/120 (pow.f64 re 5)) (.f64 1/240 (.f64 (pow.f64 re 5) (pow.f64 im 2)))) (+.f64 (.f64 1/6 (pow.f64 re 3)) (.f64 1/12 (.f64 (pow.f64 re 3) (pow.f64 im 2)))))
(-.f64 (fma.f64 1/120 (pow.f64 re 5) (.f64 1/240 (.f64 (pow.f64 re 5) (.f64 im im)))) (fma.f64 1/6 (pow.f64 re 3) (.f64 (.f64 1/12 (pow.f64 re 3)) (.f64 im im))))
(fma.f64 1/120 (pow.f64 re 5) (fma.f64 1/240 (.f64 (pow.f64 re 5) (.f64 im im)) (+.f64 (.f64 (pow.f64 re 3) -1/6) (.f64 (.f64 (pow.f64 re 3) (.f64 im im)) -1/12))))
(+.f64 (.f64 (pow.f64 re 5) (+.f64 1/120 (.f64 1/240 (.f64 im im)))) (.f64 (pow.f64 re 3) (fma.f64 (*.f64 im im) -1/12 -1/6)))
(-.f64 (+.f64 (.f64 1/120 (pow.f64 re 5)) (+.f64 (.f64 1/240 (.f64 (pow.f64 re 5) (pow.f64 im 2))) (.f64 1/2880 (.f64 (pow.f64 re 5) (pow.f64 im 4))))) (+.f64 (.f64 1/6 (pow.f64 re 3)) (+.f64 (.f64 1/12 (.f64 (pow.f64 re 3) (pow.f64 im 2))) (.f64 1/144 (.f64 (pow.f64 re 3) (pow.f64 im 4))))))
(-.f64 (fma.f64 1/120 (pow.f64 re 5) (fma.f64 1/240 (.f64 (pow.f64 re 5) (.f64 im im)) (.f64 1/2880 (.f64 (pow.f64 re 5) (pow.f64 im 4))))) (fma.f64 1/6 (pow.f64 re 3) (fma.f64 1/12 (.f64 (pow.f64 re 3) (.f64 im im)) (.f64 (.f64 1/144 (pow.f64 re 3)) (pow.f64 im 4)))))
(fma.f64 1/120 (pow.f64 re 5) (-.f64 (fma.f64 1/240 (.f64 (pow.f64 re 5) (.f64 im im)) (.f64 (pow.f64 re 5) (.f64 (pow.f64 im 4) 1/2880))) (fma.f64 1/6 (pow.f64 re 3) (fma.f64 1/12 (.f64 (pow.f64 re 3) (.f64 im im)) (.f64 (pow.f64 im 4) (.f64 (pow.f64 re 3) 1/144))))))
(-.f64 (fma.f64 (pow.f64 re 5) (.f64 im (.f64 im 1/240)) (.f64 (pow.f64 re 5) (+.f64 (.f64 1/2880 (pow.f64 im 4)) 1/120))) (fma.f64 (pow.f64 re 3) (.f64 (pow.f64 im 4) 1/144) (.f64 (pow.f64 re 3) (fma.f64 im (*.f64 im 1/12) 1/6))))
(-.f64 (+.f64 (.f64 1/86400 (.f64 (pow.f64 re 5) (pow.f64 im 6))) (+.f64 (.f64 1/120 (pow.f64 re 5)) (+.f64 (.f64 1/240 (.f64 (pow.f64 re 5) (pow.f64 im 2))) (.f64 1/2880 (.f64 (pow.f64 re 5) (pow.f64 im 4)))))) (+.f64 (.f64 1/4320 (.f64 (pow.f64 re 3) (pow.f64 im 6))) (+.f64 (.f64 1/6 (pow.f64 re 3)) (+.f64 (.f64 1/12 (.f64 (pow.f64 re 3) (pow.f64 im 2))) (.f64 1/144 (.f64 (pow.f64 re 3) (pow.f64 im 4)))))))
(-.f64 (fma.f64 1/86400 (.f64 (pow.f64 re 5) (pow.f64 im 6)) (fma.f64 1/120 (pow.f64 re 5) (fma.f64 1/240 (.f64 (pow.f64 re 5) (.f64 im im)) (.f64 1/2880 (.f64 (pow.f64 re 5) (pow.f64 im 4)))))) (fma.f64 1/4320 (.f64 (pow.f64 re 3) (pow.f64 im 6)) (fma.f64 1/6 (pow.f64 re 3) (fma.f64 1/12 (.f64 (pow.f64 re 3) (.f64 im im)) (.f64 (.f64 1/144 (pow.f64 re 3)) (pow.f64 im 4))))))
(-.f64 (fma.f64 1/86400 (.f64 (pow.f64 re 5) (pow.f64 im 6)) (fma.f64 1/120 (pow.f64 re 5) (fma.f64 1/240 (.f64 (pow.f64 re 5) (.f64 im im)) (.f64 (pow.f64 re 5) (.f64 (pow.f64 im 4) 1/2880))))) (fma.f64 1/4320 (.f64 (pow.f64 re 3) (pow.f64 im 6)) (fma.f64 1/6 (pow.f64 re 3) (fma.f64 1/12 (.f64 (pow.f64 re 3) (.f64 im im)) (.f64 (pow.f64 im 4) (.f64 (pow.f64 re 3) 1/144))))))
(-.f64 (+.f64 (.f64 (pow.f64 re 5) (+.f64 (.f64 1/240 (.f64 im im)) (.f64 1/2880 (pow.f64 im 4)))) (.f64 (pow.f64 re 5) (+.f64 1/120 (.f64 (pow.f64 im 6) 1/86400)))) (+.f64 (.f64 (pow.f64 re 3) (fma.f64 im (.f64 im 1/12) (.f64 (pow.f64 im 4) 1/144))) (.f64 (pow.f64 re 3) (fma.f64 (pow.f64 im 6) 1/4320 1/6))))
(-.f64 (+.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 (exp.f64 im) (pow.f64 re 3))) (.f64 1/12 (/.f64 (pow.f64 re 3) (exp.f64 im)))))
(-.f64 (.f64 1/240 (+.f64 (.f64 (pow.f64 re 5) (exp.f64 im)) (/.f64 (pow.f64 re 5) (exp.f64 im)))) (.f64 1/12 (+.f64 (/.f64 (pow.f64 re 3) (exp.f64 im)) (.f64 (pow.f64 re 3) (exp.f64 im)))))
(fma.f64 1/240 (fma.f64 (pow.f64 re 5) (exp.f64 im) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))
(fma.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))) (*.f64 (pow.f64 re 5) (fma.f64 1/240 (exp.f64 im) (/.f64 1/240 (exp.f64 im)))))
(-.f64 (+.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 (exp.f64 im) (pow.f64 re 3))) (.f64 1/12 (/.f64 (pow.f64 re 3) (exp.f64 im)))))
(-.f64 (.f64 1/240 (+.f64 (.f64 (pow.f64 re 5) (exp.f64 im)) (/.f64 (pow.f64 re 5) (exp.f64 im)))) (.f64 1/12 (+.f64 (/.f64 (pow.f64 re 3) (exp.f64 im)) (.f64 (pow.f64 re 3) (exp.f64 im)))))
(fma.f64 1/240 (fma.f64 (pow.f64 re 5) (exp.f64 im) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))
(fma.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))) (*.f64 (pow.f64 re 5) (fma.f64 1/240 (exp.f64 im) (/.f64 1/240 (exp.f64 im)))))
(-.f64 (+.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 (exp.f64 im) (pow.f64 re 3))) (.f64 1/12 (/.f64 (pow.f64 re 3) (exp.f64 im)))))
(-.f64 (.f64 1/240 (+.f64 (.f64 (pow.f64 re 5) (exp.f64 im)) (/.f64 (pow.f64 re 5) (exp.f64 im)))) (.f64 1/12 (+.f64 (/.f64 (pow.f64 re 3) (exp.f64 im)) (.f64 (pow.f64 re 3) (exp.f64 im)))))
(fma.f64 1/240 (fma.f64 (pow.f64 re 5) (exp.f64 im) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))
(fma.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))) (*.f64 (pow.f64 re 5) (fma.f64 1/240 (exp.f64 im) (/.f64 1/240 (exp.f64 im)))))
(-.f64 (+.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 (exp.f64 im) (pow.f64 re 3))) (.f64 1/12 (/.f64 (pow.f64 re 3) (exp.f64 im)))))
(-.f64 (.f64 1/240 (+.f64 (.f64 (pow.f64 re 5) (exp.f64 im)) (/.f64 (pow.f64 re 5) (exp.f64 im)))) (.f64 1/12 (+.f64 (/.f64 (pow.f64 re 3) (exp.f64 im)) (.f64 (pow.f64 re 3) (exp.f64 im)))))
(fma.f64 1/240 (fma.f64 (pow.f64 re 5) (exp.f64 im) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))
(fma.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))) (*.f64 (pow.f64 re 5) (fma.f64 1/240 (exp.f64 im) (/.f64 1/240 (exp.f64 im)))))
(-.f64 (+.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 1/240 (+.f64 (.f64 (pow.f64 re 5) (exp.f64 im)) (/.f64 (pow.f64 re 5) (exp.f64 im)))) (.f64 1/12 (+.f64 (/.f64 (pow.f64 re 3) (exp.f64 im)) (.f64 (pow.f64 re 3) (exp.f64 im)))))
(fma.f64 1/240 (fma.f64 (pow.f64 re 5) (exp.f64 im) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))
(fma.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))) (*.f64 (pow.f64 re 5) (fma.f64 1/240 (exp.f64 im) (/.f64 1/240 (exp.f64 im)))))
(-.f64 (+.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 1/240 (+.f64 (.f64 (pow.f64 re 5) (exp.f64 im)) (/.f64 (pow.f64 re 5) (exp.f64 im)))) (.f64 1/12 (+.f64 (/.f64 (pow.f64 re 3) (exp.f64 im)) (.f64 (pow.f64 re 3) (exp.f64 im)))))
(fma.f64 1/240 (fma.f64 (pow.f64 re 5) (exp.f64 im) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))
(fma.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))) (*.f64 (pow.f64 re 5) (fma.f64 1/240 (exp.f64 im) (/.f64 1/240 (exp.f64 im)))))
(-.f64 (+.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 1/240 (+.f64 (.f64 (pow.f64 re 5) (exp.f64 im)) (/.f64 (pow.f64 re 5) (exp.f64 im)))) (.f64 1/12 (+.f64 (/.f64 (pow.f64 re 3) (exp.f64 im)) (.f64 (pow.f64 re 3) (exp.f64 im)))))
(fma.f64 1/240 (fma.f64 (pow.f64 re 5) (exp.f64 im) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))
(fma.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))) (*.f64 (pow.f64 re 5) (fma.f64 1/240 (exp.f64 im) (/.f64 1/240 (exp.f64 im)))))
(-.f64 (+.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 1/240 (+.f64 (.f64 (pow.f64 re 5) (exp.f64 im)) (/.f64 (pow.f64 re 5) (exp.f64 im)))) (.f64 1/12 (+.f64 (/.f64 (pow.f64 re 3) (exp.f64 im)) (.f64 (pow.f64 re 3) (exp.f64 im)))))
(fma.f64 1/240 (fma.f64 (pow.f64 re 5) (exp.f64 im) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))
(fma.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))) (*.f64 (pow.f64 re 5) (fma.f64 1/240 (exp.f64 im) (/.f64 1/240 (exp.f64 im)))))
(.f64 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(neg.f64 (.f64 (pow.f64 re 3) (.f64 1/12 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
(.f64 (pow.f64 re 3) (.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))))
(-.f64 (+.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 1/240 (+.f64 (.f64 (pow.f64 re 5) (exp.f64 im)) (/.f64 (pow.f64 re 5) (exp.f64 im)))) (.f64 1/12 (+.f64 (/.f64 (pow.f64 re 3) (exp.f64 im)) (.f64 (pow.f64 re 3) (exp.f64 im)))))
(fma.f64 1/240 (fma.f64 (pow.f64 re 5) (exp.f64 im) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))
(fma.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))) (*.f64 (pow.f64 re 5) (fma.f64 1/240 (exp.f64 im) (/.f64 1/240 (exp.f64 im)))))
(-.f64 (+.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 1/240 (+.f64 (.f64 (pow.f64 re 5) (exp.f64 im)) (/.f64 (pow.f64 re 5) (exp.f64 im)))) (.f64 1/12 (+.f64 (/.f64 (pow.f64 re 3) (exp.f64 im)) (.f64 (pow.f64 re 3) (exp.f64 im)))))
(fma.f64 1/240 (fma.f64 (pow.f64 re 5) (exp.f64 im) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))
(fma.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))) (*.f64 (pow.f64 re 5) (fma.f64 1/240 (exp.f64 im) (/.f64 1/240 (exp.f64 im)))))
(-.f64 (+.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 1/240 (+.f64 (.f64 (pow.f64 re 5) (exp.f64 im)) (/.f64 (pow.f64 re 5) (exp.f64 im)))) (.f64 1/12 (+.f64 (/.f64 (pow.f64 re 3) (exp.f64 im)) (.f64 (pow.f64 re 3) (exp.f64 im)))))
(fma.f64 1/240 (fma.f64 (pow.f64 re 5) (exp.f64 im) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))
(fma.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))) (*.f64 (pow.f64 re 5) (fma.f64 1/240 (exp.f64 im) (/.f64 1/240 (exp.f64 im)))))
(.f64 (+.f64 (.f64 1/240 (/.f64 1 (exp.f64 im))) (*.f64 1/240 (exp.f64 im))) (pow.f64 re 5))
(.f64 (pow.f64 re 5) (.f64 1/240 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(*.f64 (pow.f64 re 5) (fma.f64 1/240 (exp.f64 im) (/.f64 1/240 (exp.f64 im))))
(-.f64 (+.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 1/240 (+.f64 (.f64 (pow.f64 re 5) (exp.f64 im)) (/.f64 (pow.f64 re 5) (exp.f64 im)))) (.f64 1/12 (+.f64 (/.f64 (pow.f64 re 3) (exp.f64 im)) (.f64 (pow.f64 re 3) (exp.f64 im)))))
(fma.f64 1/240 (fma.f64 (pow.f64 re 5) (exp.f64 im) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))
(fma.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))) (*.f64 (pow.f64 re 5) (fma.f64 1/240 (exp.f64 im) (/.f64 1/240 (exp.f64 im)))))
(-.f64 (+.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 1/240 (+.f64 (.f64 (pow.f64 re 5) (exp.f64 im)) (/.f64 (pow.f64 re 5) (exp.f64 im)))) (.f64 1/12 (+.f64 (/.f64 (pow.f64 re 3) (exp.f64 im)) (.f64 (pow.f64 re 3) (exp.f64 im)))))
(fma.f64 1/240 (fma.f64 (pow.f64 re 5) (exp.f64 im) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))
(fma.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))) (*.f64 (pow.f64 re 5) (fma.f64 1/240 (exp.f64 im) (/.f64 1/240 (exp.f64 im)))))
(-.f64 (+.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 1/240 (+.f64 (.f64 (pow.f64 re 5) (exp.f64 im)) (/.f64 (pow.f64 re 5) (exp.f64 im)))) (.f64 1/12 (+.f64 (/.f64 (pow.f64 re 3) (exp.f64 im)) (.f64 (pow.f64 re 3) (exp.f64 im)))))
(fma.f64 1/240 (fma.f64 (pow.f64 re 5) (exp.f64 im) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))
(fma.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))) (*.f64 (pow.f64 re 5) (fma.f64 1/240 (exp.f64 im) (/.f64 1/240 (exp.f64 im)))))
(.f64 (+.f64 (.f64 1/240 (/.f64 1 (exp.f64 im))) (*.f64 1/240 (exp.f64 im))) (pow.f64 re 5))
(.f64 (pow.f64 re 5) (.f64 1/240 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(*.f64 (pow.f64 re 5) (fma.f64 1/240 (exp.f64 im) (/.f64 1/240 (exp.f64 im))))
(-.f64 (+.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 1/240 (+.f64 (.f64 (pow.f64 re 5) (exp.f64 im)) (/.f64 (pow.f64 re 5) (exp.f64 im)))) (.f64 1/12 (+.f64 (/.f64 (pow.f64 re 3) (exp.f64 im)) (.f64 (pow.f64 re 3) (exp.f64 im)))))
(fma.f64 1/240 (fma.f64 (pow.f64 re 5) (exp.f64 im) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))
(fma.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))) (*.f64 (pow.f64 re 5) (fma.f64 1/240 (exp.f64 im) (/.f64 1/240 (exp.f64 im)))))
(-.f64 (+.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 1/240 (+.f64 (.f64 (pow.f64 re 5) (exp.f64 im)) (/.f64 (pow.f64 re 5) (exp.f64 im)))) (.f64 1/12 (+.f64 (/.f64 (pow.f64 re 3) (exp.f64 im)) (.f64 (pow.f64 re 3) (exp.f64 im)))))
(fma.f64 1/240 (fma.f64 (pow.f64 re 5) (exp.f64 im) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))
(fma.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))) (*.f64 (pow.f64 re 5) (fma.f64 1/240 (exp.f64 im) (/.f64 1/240 (exp.f64 im)))))
(-.f64 (+.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 1/240 (+.f64 (.f64 (pow.f64 re 5) (exp.f64 im)) (/.f64 (pow.f64 re 5) (exp.f64 im)))) (.f64 1/12 (+.f64 (/.f64 (pow.f64 re 3) (exp.f64 im)) (.f64 (pow.f64 re 3) (exp.f64 im)))))
(fma.f64 1/240 (fma.f64 (pow.f64 re 5) (exp.f64 im) (/.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 (pow.f64 re 3) (.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))
(fma.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))) (*.f64 (pow.f64 re 5) (fma.f64 1/240 (exp.f64 im) (/.f64 1/240 (exp.f64 im)))))
(.f64 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(neg.f64 (.f64 (pow.f64 re 3) (.f64 1/12 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
(.f64 (pow.f64 re 3) (.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))))
(.f64 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(neg.f64 (.f64 (pow.f64 re 3) (.f64 1/12 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
(.f64 (pow.f64 re 3) (.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))))
(.f64 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(neg.f64 (.f64 (pow.f64 re 3) (.f64 1/12 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
(.f64 (pow.f64 re 3) (.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))))
(.f64 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(neg.f64 (.f64 (pow.f64 re 3) (.f64 1/12 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
(.f64 (pow.f64 re 3) (.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))))
(.f64 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(neg.f64 (.f64 (pow.f64 re 3) (.f64 1/12 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
(.f64 (pow.f64 re 3) (.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))))
(.f64 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(neg.f64 (.f64 (pow.f64 re 3) (.f64 1/12 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
(.f64 (pow.f64 re 3) (.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))))
(.f64 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(neg.f64 (.f64 (pow.f64 re 3) (.f64 1/12 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
(.f64 (pow.f64 re 3) (.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))))
(.f64 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(neg.f64 (.f64 (pow.f64 re 3) (.f64 1/12 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
(.f64 (pow.f64 re 3) (.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))))
(.f64 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(neg.f64 (.f64 (pow.f64 re 3) (.f64 1/12 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
(.f64 (pow.f64 re 3) (.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))))
(.f64 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(neg.f64 (.f64 (pow.f64 re 3) (.f64 1/12 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
(.f64 (pow.f64 re 3) (.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))))
(.f64 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(neg.f64 (.f64 (pow.f64 re 3) (.f64 1/12 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
(.f64 (pow.f64 re 3) (.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))))
(.f64 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(neg.f64 (.f64 (pow.f64 re 3) (.f64 1/12 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
(.f64 (pow.f64 re 3) (.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))))
(*.f64 -1/6 (pow.f64 re 3))
(*.f64 (pow.f64 re 3) -1/6)
(neg.f64 (+.f64 (.f64 1/6 (pow.f64 re 3)) (.f64 1/12 (*.f64 (pow.f64 re 3) (pow.f64 im 2)))))
(neg.f64 (fma.f64 1/6 (pow.f64 re 3) (.f64 (.f64 1/12 (pow.f64 re 3)) (*.f64 im im))))
(+.f64 (.f64 (pow.f64 re 3) -1/6) (.f64 (.f64 (pow.f64 re 3) (.f64 im im)) -1/12))
(.f64 (pow.f64 re 3) (fma.f64 (.f64 im im) -1/12 -1/6))
(neg.f64 (+.f64 (.f64 1/6 (pow.f64 re 3)) (+.f64 (.f64 1/12 (.f64 (pow.f64 re 3) (pow.f64 im 2))) (.f64 1/144 (*.f64 (pow.f64 re 3) (pow.f64 im 4))))))
(neg.f64 (fma.f64 1/6 (pow.f64 re 3) (fma.f64 1/12 (.f64 (pow.f64 re 3) (.f64 im im)) (.f64 (.f64 1/144 (pow.f64 re 3)) (pow.f64 im 4)))))
(-.f64 (.f64 (pow.f64 re 3) -1/6) (fma.f64 1/12 (.f64 (pow.f64 re 3) (.f64 im im)) (.f64 (pow.f64 im 4) (*.f64 (pow.f64 re 3) 1/144))))
(+.f64 (.f64 (pow.f64 re 3) (fma.f64 (.f64 im im) -1/12 -1/6)) (.f64 (pow.f64 re 3) (.f64 (pow.f64 im 4) -1/144)))
(neg.f64 (+.f64 (.f64 1/4320 (.f64 (pow.f64 re 3) (pow.f64 im 6))) (+.f64 (.f64 1/6 (pow.f64 re 3)) (+.f64 (.f64 1/12 (.f64 (pow.f64 re 3) (pow.f64 im 2))) (.f64 1/144 (*.f64 (pow.f64 re 3) (pow.f64 im 4)))))))
(neg.f64 (fma.f64 1/4320 (.f64 (pow.f64 re 3) (pow.f64 im 6)) (fma.f64 1/6 (pow.f64 re 3) (fma.f64 1/12 (.f64 (pow.f64 re 3) (.f64 im im)) (.f64 (*.f64 1/144 (pow.f64 re 3)) (pow.f64 im 4))))))
(-.f64 (.f64 (.f64 (pow.f64 re 3) (pow.f64 im 6)) -1/4320) (fma.f64 1/6 (pow.f64 re 3) (fma.f64 1/12 (.f64 (pow.f64 re 3) (.f64 im im)) (.f64 (pow.f64 im 4) (.f64 (pow.f64 re 3) 1/144)))))
(-.f64 (.f64 (pow.f64 re 3) (fma.f64 (.f64 im im) -1/12 -1/6)) (.f64 (pow.f64 re 3) (+.f64 (.f64 (pow.f64 im 4) 1/144) (*.f64 (pow.f64 im 6) 1/4320))))
(.f64 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(neg.f64 (.f64 (pow.f64 re 3) (.f64 1/12 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
(.f64 (pow.f64 re 3) (.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))))
(.f64 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(neg.f64 (.f64 (pow.f64 re 3) (.f64 1/12 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
(.f64 (pow.f64 re 3) (.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))))
(.f64 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(neg.f64 (.f64 (pow.f64 re 3) (.f64 1/12 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
(.f64 (pow.f64 re 3) (.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))))
(.f64 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(neg.f64 (.f64 (pow.f64 re 3) (.f64 1/12 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
(.f64 (pow.f64 re 3) (.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))))
(.f64 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(neg.f64 (.f64 (pow.f64 re 3) (.f64 1/12 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
(.f64 (pow.f64 re 3) (.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))))
(.f64 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(neg.f64 (.f64 (pow.f64 re 3) (.f64 1/12 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
(.f64 (pow.f64 re 3) (.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))))
(.f64 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(neg.f64 (.f64 (pow.f64 re 3) (.f64 1/12 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
(.f64 (pow.f64 re 3) (.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))))
(.f64 -1 (.f64 (pow.f64 re 3) (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (.f64 1/12 (exp.f64 im)))))
(neg.f64 (.f64 (pow.f64 re 3) (.f64 1/12 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
(.f64 (pow.f64 re 3) (.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))))
-1/6
(neg.f64 (+.f64 1/6 (*.f64 1/12 (pow.f64 im 2))))
(+.f64 -1/6 (neg.f64 (.f64 (.f64 im im) 1/12)))
(neg.f64 (fma.f64 (*.f64 im im) 1/12 1/6))
(fma.f64 (*.f64 im im) -1/12 -1/6)
(neg.f64 (+.f64 1/6 (+.f64 (.f64 1/144 (pow.f64 im 4)) (.f64 1/12 (pow.f64 im 2)))))
(+.f64 -1/6 (neg.f64 (fma.f64 1/144 (pow.f64 im 4) (.f64 (.f64 im im) 1/12))))
(-.f64 -1/6 (fma.f64 (.f64 im im) 1/12 (.f64 (pow.f64 im 4) 1/144)))
(-.f64 -1/6 (fma.f64 im (.f64 im 1/12) (.f64 (pow.f64 im 4) 1/144)))
(neg.f64 (+.f64 (.f64 1/4320 (pow.f64 im 6)) (+.f64 1/6 (+.f64 (.f64 1/144 (pow.f64 im 4)) (*.f64 1/12 (pow.f64 im 2))))))
(neg.f64 (fma.f64 1/4320 (pow.f64 im 6) (+.f64 1/6 (fma.f64 1/144 (pow.f64 im 4) (.f64 (.f64 im im) 1/12)))))
(-.f64 (.f64 (pow.f64 im 6) -1/4320) (+.f64 (fma.f64 (.f64 im im) 1/12 1/6) (*.f64 (pow.f64 im 4) 1/144)))
(+.f64 (fma.f64 (.f64 im im) -1/12 (.f64 (pow.f64 im 4) -1/144)) (fma.f64 (pow.f64 im 6) -1/4320 -1/6))
(.f64 -1 (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (*.f64 1/12 (exp.f64 im))))
(neg.f64 (*.f64 1/12 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(*.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))
(.f64 -1 (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (*.f64 1/12 (exp.f64 im))))
(neg.f64 (*.f64 1/12 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(*.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))
(.f64 -1 (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (*.f64 1/12 (exp.f64 im))))
(neg.f64 (*.f64 1/12 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(*.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))
(.f64 -1 (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (*.f64 1/12 (exp.f64 im))))
(neg.f64 (*.f64 1/12 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(*.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))
(.f64 -1 (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (*.f64 1/12 (exp.f64 im))))
(neg.f64 (*.f64 1/12 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(*.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))
(.f64 -1 (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (*.f64 1/12 (exp.f64 im))))
(neg.f64 (*.f64 1/12 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(*.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))
(.f64 -1 (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (*.f64 1/12 (exp.f64 im))))
(neg.f64 (*.f64 1/12 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(*.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))
(.f64 -1 (+.f64 (.f64 1/12 (/.f64 1 (exp.f64 im))) (*.f64 1/12 (exp.f64 im))))
(neg.f64 (*.f64 1/12 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(*.f64 -1/12 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im)))
-1/12
(neg.f64 (+.f64 1/12 (*.f64 1/12 im)))
(+.f64 -1/12 (neg.f64 (*.f64 im 1/12)))
(+.f64 -1/12 (*.f64 im -1/12))
(fma.f64 im -1/12 -1/12)
(neg.f64 (+.f64 1/12 (+.f64 (.f64 1/24 (pow.f64 im 2)) (.f64 1/12 im))))
(+.f64 -1/12 (neg.f64 (fma.f64 1/24 (.f64 im im) (.f64 im 1/12))))
(-.f64 -1/12 (fma.f64 im 1/12 (.f64 (.f64 im im) 1/24)))
(-.f64 -1/12 (.f64 im (+.f64 1/12 (.f64 1/24 im))))
(neg.f64 (+.f64 1/12 (+.f64 (.f64 1/72 (pow.f64 im 3)) (+.f64 (.f64 1/24 (pow.f64 im 2)) (*.f64 1/12 im)))))
(+.f64 -1/12 (neg.f64 (fma.f64 1/72 (pow.f64 im 3) (fma.f64 1/24 (.f64 im im) (.f64 im 1/12)))))
(-.f64 -1/12 (fma.f64 1/72 (pow.f64 im 3) (fma.f64 im 1/12 (.f64 (.f64 im im) 1/24))))
(-.f64 -1/12 (fma.f64 im 1/12 (.f64 (.f64 im im) (+.f64 (*.f64 1/72 im) 1/24))))
(*.f64 -1/12 (exp.f64 im))
(*.f64 (exp.f64 im) -1/12)
(*.f64 -1/12 (exp.f64 im))
(*.f64 (exp.f64 im) -1/12)
(*.f64 -1/12 (exp.f64 im))
(*.f64 (exp.f64 im) -1/12)
(*.f64 -1/12 (exp.f64 im))
(*.f64 (exp.f64 im) -1/12)
(*.f64 -1/12 (exp.f64 im))
(*.f64 (exp.f64 im) -1/12)
(*.f64 -1/12 (exp.f64 im))
(*.f64 (exp.f64 im) -1/12)
(*.f64 -1/12 (exp.f64 im))
(*.f64 (exp.f64 im) -1/12)
(*.f64 -1/12 (exp.f64 im))
(*.f64 (exp.f64 im) -1/12)

prune273.0ms (3.4%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	138	0	138
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	138	2	140

Error

Counts

140 → 2

Alt Table

Status

Error

Program

✓

28.3b

(fma.f64 1/2 (fma.f64 (exp.f64 im) re (/.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 (pow.f64 re 3) (-.f64 (*.f64 (exp.f64 im) -1/12) (/.f64 1/12 (exp.f64 im))))))

✓

0.0b

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

Compiler

Compiled 6040 to 3259 computations (46% saved)

regimes366.0ms (4.5%)

Accuracy

Total 0.0b remaining (20.5%)

Threshold costs 0.0b (20.5%)

Counts

27 → 1

Compiler

Compiled 4284 to 2746 computations (35.9% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	17
1	10	17

Stop Event

1×

saturated

Calls

Call 1

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

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

end113.0ms (1.4%)

Stop Event

1×

done

Compiler

Compiled 78 to 50 computations (35.9% saved)

Details

analyze528.0ms (6.5%)

sample6.0s (74.3%)

preprocess65.0ms (0.8%)

simplify54.0ms (0.7%)

prune4.0ms (0.1%)

localize11.0ms (0.1%)

series43.0ms (0.5%)

rewrite69.0ms (0.8%)

simplify53.0ms (0.7%)

prune76.0ms (0.9%)

localize30.0ms (0.4%)

series182.0ms (2.2%)

rewrite128.0ms (1.6%)

simplify87.0ms (1.1%)

prune273.0ms (3.4%)

regimes366.0ms (4.5%)

simplify3.0ms (0%)

end113.0ms (1.4%)

Profiling