Details

analyze538.0ms (7.4%)

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

Results

1.4s	2075×	body	1024	valid
1.0s	1979×	body	1024	invalid
746.0ms	4613×	body	128	valid
434.0ms	1048×	body	512	valid
377.0ms	977×	body	512	invalid
157.0ms	503×	body	256	invalid
151.0ms	517×	body	256	valid
144.0ms	779×	body	128	invalid
6.0ms	3×	body	2048	valid

preprocess38.0ms (0.5%)

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)

simplify36.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

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.0b	(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))

Compiler

Compiled 53 to 38 computations (28.3% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series10.0ms (0.1%)

Counts

2 → 36

Calls

9 calls:

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

rewrite44.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

635×	`prod-diff_binary64`
176×	`log1p-udef_binary64`
131×	`add-sqr-sqrt_binary64`
128×	`pow1_binary64`
127×	`*-un-lft-identity_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	28
1	257	20
2	3673	20

Stop Event

1×	node limit

Counts

2 → 56

Calls

Call 1

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

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

Outputs

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

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

simplify46.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

554×	`associate-+l+_binary64`
399×	`*-commutative_binary64`
388×	`associate-+r+_binary64`
364×	`fma-def_binary64`
237×	`associate-l_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	68	683
1	205	637
2	670	598
3	2340	593
4	4949	593

Stop Event

1×	node limit

Counts

92 → 83

Calls

Call 1

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

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

prune161.0ms (2.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	80	3	83
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	81	3	84

Error

0.0b

Counts

84 → 3

Alt Table

Status	Error	Program
▶	0.3b	(.f64 (.f64 1/2 (sin.f64 re)) (cbrt.f64 (pow.f64 (*.f64 2 (cosh.f64 im)) 3)))
	1.4b	(pow.f64 (cbrt.f64 (.f64 1/2 (.f64 (sin.f64 re) (*.f64 2 (cosh.f64 im))))) 3)
	1.2b	(+.f64 (sin.f64 re) (.f64 (sin.f64 re) (+.f64 (.f64 1/2 (.f64 im im)) (+.f64 (.f64 1/720 (pow.f64 im 6)) (*.f64 1/24 (pow.f64 im 4))))))

Status

Error

Program

▶

0.3b

(*.f64 (*.f64 1/2 (sin.f64 re)) (cbrt.f64 (pow.f64 (*.f64 2 (cosh.f64 im)) 3)))

1.4b

(pow.f64 (cbrt.f64 (*.f64 1/2 (*.f64 (sin.f64 re) (*.f64 2 (cosh.f64 im))))) 3)

1.2b

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

Compiler

Compiled 1521 to 795 computations (47.7% saved)

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 (.f64 1/2 (sin.f64 re)) (cbrt.f64 (pow.f64 (*.f64 2 (cosh.f64 im)) 3)))
✓	0.0b	(pow.f64 (*.f64 2 (cosh.f64 im)) 3)
✓	0.3b	(cbrt.f64 (pow.f64 (*.f64 2 (cosh.f64 im)) 3))

series16.0ms (0.2%)

Counts

3 → 48

Calls

12 calls:

Time	Variable		Point	Expression
5.0ms	re	@	0	(.f64 (.f64 1/2 (sin.f64 re)) (cbrt.f64 (pow.f64 (*.f64 2 (cosh.f64 im)) 3)))
2.0ms	im	@	-inf	(cbrt.f64 (pow.f64 (*.f64 2 (cosh.f64 im)) 3))
1.0ms	re	@	inf	(.f64 (.f64 1/2 (sin.f64 re)) (cbrt.f64 (pow.f64 (*.f64 2 (cosh.f64 im)) 3)))
1.0ms	im	@	inf	(cbrt.f64 (pow.f64 (*.f64 2 (cosh.f64 im)) 3))
1.0ms	im	@	inf	(pow.f64 (*.f64 2 (cosh.f64 im)) 3)

rewrite47.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

566×	`log-prod_binary64`
208×	`expm1-udef_binary64`
208×	`log1p-udef_binary64`
185×	`pow3_binary64`
173×	`log-pow_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	29
1	275	23
2	2905	23

Stop Event

1×	node limit

Counts

3 → 92

Calls

Call 1

Inputs
(cbrt.f64 (pow.f64 (*.f64 2 (cosh.f64 im)) 3))
(pow.f64 (*.f64 2 (cosh.f64 im)) 3)
(.f64 (.f64 1/2 (sin.f64 re)) (cbrt.f64 (pow.f64 (*.f64 2 (cosh.f64 im)) 3)))

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

Outputs

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

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

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

simplify43.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

451×	`associate-+l+_binary64`
420×	`fma-def_binary64`
407×	`associate-+r+_binary64`
290×	`distribute-rgt-in_binary64`
286×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	74	837
1	210	823
2	692	761
3	2478	732

Stop Event

1×	node limit

Counts

140 → 127

Calls

Call 1

Inputs
2
(+.f64 2 (*.f64 1 (pow.f64 im 2)))
(+.f64 2 (+.f64 (.f64 1 (pow.f64 im 2)) (.f64 6004799503160661/72057594037927936 (pow.f64 im 4))))
(+.f64 2 (+.f64 (.f64 1 (pow.f64 im 2)) (+.f64 (.f64 6405119470038039/2305843009213693952 (pow.f64 im 6)) (*.f64 6004799503160661/72057594037927936 (pow.f64 im 4)))))
(*.f64 1 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)))
(*.f64 1 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)))
(*.f64 1 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)))
(*.f64 1 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)))
(*.f64 1 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)))
(*.f64 1 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)))
(*.f64 1 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)))
(*.f64 1 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)))
8
(+.f64 (*.f64 12 (pow.f64 im 2)) 8)
(+.f64 (.f64 12 (pow.f64 im 2)) (+.f64 8 (.f64 7 (pow.f64 im 4))))
(+.f64 (.f64 12 (pow.f64 im 2)) (+.f64 8 (+.f64 (.f64 61/30 (pow.f64 im 6)) (*.f64 7 (pow.f64 im 4)))))
(pow.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) 3)
(pow.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) 3)
(pow.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) 3)
(pow.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) 3)
(pow.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) 3)
(pow.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) 3)
(pow.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) 3)
(pow.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) 3)
(.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) re))
(+.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) re)) (.f64 -6004799503160661/72057594037927936 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (pow.f64 re 3))))
(+.f64 (.f64 4803839602528529/1152921504606846976 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (pow.f64 re 5))) (+.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) re)) (.f64 -6004799503160661/72057594037927936 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (pow.f64 re 3)))))
(+.f64 (.f64 -3660068268593165/36893488147419103232 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (pow.f64 re 7))) (+.f64 (.f64 4803839602528529/1152921504606846976 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (pow.f64 re 5))) (+.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) re)) (.f64 -6004799503160661/72057594037927936 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (pow.f64 re 3))))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(*.f64 1 (sin.f64 re))
(+.f64 (.f64 1 (sin.f64 re)) (.f64 1/2 (*.f64 (sin.f64 re) (pow.f64 im 2))))
(+.f64 (.f64 6004799503160661/144115188075855872 (.f64 (sin.f64 re) (pow.f64 im 4))) (+.f64 (.f64 1 (sin.f64 re)) (.f64 1/2 (*.f64 (sin.f64 re) (pow.f64 im 2)))))
(+.f64 (.f64 6405119470038039/4611686018427387904 (.f64 (sin.f64 re) (pow.f64 im 6))) (+.f64 (.f64 6004799503160661/144115188075855872 (.f64 (sin.f64 re) (pow.f64 im 4))) (+.f64 (.f64 1 (sin.f64 re)) (.f64 1/2 (*.f64 (sin.f64 re) (pow.f64 im 2))))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))

Outputs
2
(+.f64 2 (*.f64 1 (pow.f64 im 2)))
(+.f64 2 (*.f64 im im))
(fma.f64 im im 2)
(+.f64 2 (+.f64 (.f64 1 (pow.f64 im 2)) (.f64 6004799503160661/72057594037927936 (pow.f64 im 4))))
(+.f64 (+.f64 2 (.f64 im im)) (.f64 6004799503160661/72057594037927936 (pow.f64 im 4)))
(+.f64 (*.f64 6004799503160661/72057594037927936 (pow.f64 im 4)) (fma.f64 im im 2))
(fma.f64 im im (fma.f64 6004799503160661/72057594037927936 (pow.f64 im 4) 2))
(fma.f64 6004799503160661/72057594037927936 (pow.f64 im 4) (fma.f64 im im 2))
(+.f64 2 (+.f64 (.f64 1 (pow.f64 im 2)) (+.f64 (.f64 6405119470038039/2305843009213693952 (pow.f64 im 6)) (*.f64 6004799503160661/72057594037927936 (pow.f64 im 4)))))
(+.f64 2 (+.f64 (.f64 im im) (fma.f64 6405119470038039/2305843009213693952 (pow.f64 im 6) (.f64 6004799503160661/72057594037927936 (pow.f64 im 4)))))
(+.f64 2 (fma.f64 im im (fma.f64 6004799503160661/72057594037927936 (pow.f64 im 4) (*.f64 6405119470038039/2305843009213693952 (pow.f64 im 6)))))
(+.f64 2 (fma.f64 6004799503160661/72057594037927936 (pow.f64 im 4) (fma.f64 im im (*.f64 6405119470038039/2305843009213693952 (pow.f64 im 6)))))
(*.f64 1 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(*.f64 1 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(*.f64 1 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(*.f64 1 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(*.f64 1 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(*.f64 1 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(*.f64 1 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(*.f64 1 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
8
(+.f64 (*.f64 12 (pow.f64 im 2)) 8)
(fma.f64 12 (*.f64 im im) 8)
(fma.f64 (*.f64 im im) 12 8)
(fma.f64 im (*.f64 im 12) 8)
(+.f64 (.f64 12 (pow.f64 im 2)) (+.f64 8 (.f64 7 (pow.f64 im 4))))
(+.f64 (fma.f64 12 (.f64 im im) 8) (.f64 (pow.f64 im 4) 7))
(fma.f64 (*.f64 im im) 12 (fma.f64 (pow.f64 im 4) 7 8))
(fma.f64 im (*.f64 im 12) (fma.f64 (pow.f64 im 4) 7 8))
(+.f64 (.f64 12 (pow.f64 im 2)) (+.f64 8 (+.f64 (.f64 61/30 (pow.f64 im 6)) (*.f64 7 (pow.f64 im 4)))))
(+.f64 (fma.f64 12 (.f64 im im) 8) (fma.f64 61/30 (pow.f64 im 6) (.f64 (pow.f64 im 4) 7)))
(+.f64 (fma.f64 (pow.f64 im 4) 7 (.f64 (pow.f64 im 6) 61/30)) (fma.f64 (.f64 im im) 12 8))
(fma.f64 im (*.f64 im 12) (fma.f64 (pow.f64 im 4) 7 (fma.f64 (pow.f64 im 6) 61/30 8)))
(pow.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) 3)
(pow.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) 3)
(pow.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) 3)
(pow.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) 3)
(pow.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) 3)
(pow.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) 3)
(pow.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) 3)
(pow.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) 3)
(pow.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) 3)
(pow.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) 3)
(pow.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) 3)
(pow.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) 3)
(pow.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) 3)
(pow.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) 3)
(pow.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) 3)
(pow.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) 3)
(.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) re))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 re 1/2))
(*.f64 re (fma.f64 (exp.f64 im) 1/2 (/.f64 1/2 (exp.f64 im))))
(+.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) re)) (.f64 -6004799503160661/72057594037927936 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (pow.f64 re 3))))
(fma.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) (.f64 -6004799503160661/72057594037927936 (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 3))))
(fma.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (*.f64 (pow.f64 re 3) -6004799503160661/72057594037927936)))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 (.f64 1/2 re) (*.f64 -6004799503160661/72057594037927936 (pow.f64 re 3))))
(.f64 (fma.f64 (exp.f64 im) re (/.f64 re (exp.f64 im))) (+.f64 (.f64 -6004799503160661/72057594037927936 (*.f64 re re)) 1/2))
(+.f64 (.f64 4803839602528529/1152921504606846976 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (pow.f64 re 5))) (+.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) re)) (.f64 -6004799503160661/72057594037927936 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (pow.f64 re 3)))))
(fma.f64 4803839602528529/1152921504606846976 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 5)) (fma.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) (.f64 -6004799503160661/72057594037927936 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 3)))))
(fma.f64 4803839602528529/1152921504606846976 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 5)) (fma.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 (pow.f64 re 3) -6004799503160661/72057594037927936))))
(fma.f64 re (fma.f64 (exp.f64 im) 1/2 (/.f64 1/2 (exp.f64 im))) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 (.f64 -6004799503160661/72057594037927936 (pow.f64 re 3)) (*.f64 4803839602528529/1152921504606846976 (pow.f64 re 5)))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 (.f64 re (+.f64 (.f64 (.f64 re re) -6004799503160661/72057594037927936) 1/2)) (*.f64 4803839602528529/1152921504606846976 (pow.f64 re 5))))
(+.f64 (.f64 -3660068268593165/36893488147419103232 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (pow.f64 re 7))) (+.f64 (.f64 4803839602528529/1152921504606846976 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (pow.f64 re 5))) (+.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) re)) (.f64 -6004799503160661/72057594037927936 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (pow.f64 re 3))))))
(fma.f64 -3660068268593165/36893488147419103232 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 7)) (fma.f64 4803839602528529/1152921504606846976 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 5)) (fma.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) (.f64 -6004799503160661/72057594037927936 (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 3))))))
(fma.f64 -3660068268593165/36893488147419103232 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 7)) (fma.f64 4803839602528529/1152921504606846976 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 5)) (fma.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (*.f64 (pow.f64 re 3) -6004799503160661/72057594037927936)))))
(+.f64 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 (.f64 1/2 re) (.f64 -6004799503160661/72057594037927936 (pow.f64 re 3)))) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 (.f64 4803839602528529/1152921504606846976 (pow.f64 re 5)) (.f64 -3660068268593165/36893488147419103232 (pow.f64 re 7)))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 (+.f64 (.f64 1/2 re) (.f64 -6004799503160661/72057594037927936 (pow.f64 re 3))) (+.f64 (.f64 4803839602528529/1152921504606846976 (pow.f64 re 5)) (*.f64 -3660068268593165/36893488147419103232 (pow.f64 re 7)))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(*.f64 (sin.f64 re) (fma.f64 (exp.f64 im) 1/2 (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(*.f64 (sin.f64 re) (fma.f64 (exp.f64 im) 1/2 (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(*.f64 (sin.f64 re) (fma.f64 (exp.f64 im) 1/2 (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(*.f64 (sin.f64 re) (fma.f64 (exp.f64 im) 1/2 (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(*.f64 (sin.f64 re) (fma.f64 (exp.f64 im) 1/2 (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(*.f64 (sin.f64 re) (fma.f64 (exp.f64 im) 1/2 (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(*.f64 (sin.f64 re) (fma.f64 (exp.f64 im) 1/2 (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(*.f64 (sin.f64 re) (fma.f64 (exp.f64 im) 1/2 (/.f64 1/2 (exp.f64 im))))
(*.f64 1 (sin.f64 re))
(sin.f64 re)
(+.f64 (.f64 1 (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))
(.f64 (sin.f64 re) (+.f64 (.f64 im (*.f64 im 1/2)) 1))
(.f64 (sin.f64 re) (+.f64 1 (.f64 im (*.f64 im 1/2))))
(+.f64 (.f64 6004799503160661/144115188075855872 (.f64 (sin.f64 re) (pow.f64 im 4))) (+.f64 (.f64 1 (sin.f64 re)) (.f64 1/2 (*.f64 (sin.f64 re) (pow.f64 im 2)))))
(fma.f64 6004799503160661/144115188075855872 (.f64 (pow.f64 im 4) (sin.f64 re)) (+.f64 (sin.f64 re) (.f64 1/2 (.f64 (.f64 im im) (sin.f64 re)))))
(fma.f64 (.f64 (sin.f64 re) 6004799503160661/144115188075855872) (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 (pow.f64 im 4) 6004799503160661/144115188075855872) (.f64 im (.f64 im 1/2)))))
(.f64 (sin.f64 re) (+.f64 (.f64 im (.f64 im 1/2)) (+.f64 1 (.f64 (pow.f64 im 4) 6004799503160661/144115188075855872))))
(+.f64 (.f64 6405119470038039/4611686018427387904 (.f64 (sin.f64 re) (pow.f64 im 6))) (+.f64 (.f64 6004799503160661/144115188075855872 (.f64 (sin.f64 re) (pow.f64 im 4))) (+.f64 (.f64 1 (sin.f64 re)) (.f64 1/2 (*.f64 (sin.f64 re) (pow.f64 im 2))))))
(fma.f64 6405119470038039/4611686018427387904 (.f64 (pow.f64 im 6) (sin.f64 re)) (fma.f64 6004799503160661/144115188075855872 (.f64 (pow.f64 im 4) (sin.f64 re)) (+.f64 (sin.f64 re) (.f64 1/2 (.f64 (*.f64 im im) (sin.f64 re))))))
(fma.f64 6405119470038039/4611686018427387904 (.f64 (pow.f64 im 6) (sin.f64 re)) (fma.f64 (.f64 (sin.f64 re) 6004799503160661/144115188075855872) (pow.f64 im 4) (fma.f64 1/2 (.f64 (.f64 im im) (sin.f64 re)) (sin.f64 re))))
(+.f64 (fma.f64 (pow.f64 im 4) (.f64 (sin.f64 re) 6004799503160661/144115188075855872) (sin.f64 re)) (.f64 (sin.f64 re) (+.f64 (.f64 im (.f64 im 1/2)) (*.f64 (pow.f64 im 6) 6405119470038039/4611686018427387904))))
(.f64 (sin.f64 re) (+.f64 (+.f64 1 (.f64 im (.f64 im 1/2))) (+.f64 (.f64 (pow.f64 im 6) 6405119470038039/4611686018427387904) (*.f64 (pow.f64 im 4) 6004799503160661/144115188075855872))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(*.f64 (sin.f64 re) (fma.f64 (exp.f64 im) 1/2 (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(*.f64 (sin.f64 re) (fma.f64 (exp.f64 im) 1/2 (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(*.f64 (sin.f64 re) (fma.f64 (exp.f64 im) 1/2 (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(*.f64 (sin.f64 re) (fma.f64 (exp.f64 im) 1/2 (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(*.f64 (sin.f64 re) (fma.f64 (exp.f64 im) 1/2 (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(*.f64 (sin.f64 re) (fma.f64 (exp.f64 im) 1/2 (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(*.f64 (sin.f64 re) (fma.f64 (exp.f64 im) 1/2 (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 1/2 (sin.f64 re)))
(*.f64 (sin.f64 re) (fma.f64 (exp.f64 im) 1/2 (/.f64 1/2 (exp.f64 im))))

prune421.0ms (5.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	125	2	127
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	126	4	130

Error

Counts

130 → 4

Alt Table

Status	Error	Program
	1.4b	(pow.f64 (cbrt.f64 (*.f64 (cosh.f64 im) (sin.f64 re))) 3)
✓	0.3b	(.f64 (.f64 1/2 (sin.f64 re)) (cbrt.f64 (pow.f64 (*.f64 2 (cosh.f64 im)) 3)))
▶	0.0b	(.f64 (.f64 1/2 (sin.f64 re)) (.f64 (sqrt.f64 (cosh.f64 im)) (.f64 (sqrt.f64 (cosh.f64 im)) 2)))
	1.2b	(+.f64 (sin.f64 re) (.f64 (sin.f64 re) (+.f64 (.f64 1/2 (.f64 im im)) (+.f64 (.f64 1/720 (pow.f64 im 6)) (*.f64 1/24 (pow.f64 im 4))))))

Compiler

Compiled 2074 to 1268 computations (38.9% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(sqrt.f64 (cosh.f64 im))
✓	0.0b	(.f64 (sqrt.f64 (cosh.f64 im)) (.f64 (sqrt.f64 (cosh.f64 im)) 2))
✓	0.0b	(.f64 (.f64 1/2 (sin.f64 re)) (.f64 (sqrt.f64 (cosh.f64 im)) (.f64 (sqrt.f64 (cosh.f64 im)) 2)))

series7.0ms (0.1%)

Counts

3 → 48

Calls

12 calls:

Time	Variable		Point	Expression
3.0ms	im	@	-inf	(sqrt.f64 (cosh.f64 im))
1.0ms	re	@	0	(.f64 (.f64 1/2 (sin.f64 re)) (.f64 (sqrt.f64 (cosh.f64 im)) (.f64 (sqrt.f64 (cosh.f64 im)) 2)))
1.0ms	im	@	inf	(sqrt.f64 (cosh.f64 im))
0.0ms	im	@	0	(sqrt.f64 (cosh.f64 im))
0.0ms	re	@	inf	(.f64 (.f64 1/2 (sin.f64 re)) (.f64 (sqrt.f64 (cosh.f64 im)) (.f64 (sqrt.f64 (cosh.f64 im)) 2)))

rewrite51.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

622×	`log-prod_binary64`
213×	`expm1-udef_binary64`
213×	`log1p-udef_binary64`
180×	`log-pow_binary64`
121×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	25
1	246	19
2	2916	19

Stop Event

1×	node limit

Counts

3 → 76

Calls

Call 1

Inputs
(.f64 (.f64 1/2 (sin.f64 re)) (.f64 (sqrt.f64 (cosh.f64 im)) (.f64 (sqrt.f64 (cosh.f64 im)) 2)))
(.f64 (sqrt.f64 (cosh.f64 im)) (.f64 (sqrt.f64 (cosh.f64 im)) 2))
(sqrt.f64 (cosh.f64 im))

Outputs

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

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

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

simplify43.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

468×	`associate-+l+_binary64`
437×	`fma-def_binary64`
398×	`associate-+r+_binary64`
358×	`*-commutative_binary64`
183×	`unswap-sqr_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	78	871
1	200	861
2	597	795
3	2022	768
4	4449	768

Stop Event

1×	node limit

Counts

124 → 110

Calls

Call 1

Inputs
(.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) re))
(+.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) re)) (.f64 -1/12 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (pow.f64 re 3))))
(+.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) re)) (+.f64 (.f64 -1/12 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (pow.f64 re 3))) (.f64 1/240 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (pow.f64 re 5)))))
(+.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) re)) (+.f64 (.f64 -1/10080 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (pow.f64 re 7))) (+.f64 (.f64 -1/12 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (pow.f64 re 3))) (.f64 1/240 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (pow.f64 re 5))))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(sin.f64 re)
(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))
(+.f64 (sin.f64 re) (+.f64 (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))) (.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4)))))
(+.f64 (sin.f64 re) (+.f64 (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))) (+.f64 (.f64 1/720 (.f64 (sin.f64 re) (pow.f64 im 6))) (.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4))))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
2
(+.f64 2 (pow.f64 im 2))
(+.f64 2 (+.f64 (pow.f64 im 2) (*.f64 1/12 (pow.f64 im 4))))
(+.f64 2 (+.f64 (pow.f64 im 2) (+.f64 (.f64 1/12 (pow.f64 im 4)) (.f64 1/360 (pow.f64 im 6)))))
(+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))
(+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))
(+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))
(+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))
(+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))
(+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))
(+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))
(+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))
1
(+.f64 1 (*.f64 1/4 (pow.f64 im 2)))
(+.f64 1 (+.f64 (.f64 1/4 (pow.f64 im 2)) (.f64 -1/96 (pow.f64 im 4))))
(+.f64 1 (+.f64 (.f64 1/4 (pow.f64 im 2)) (+.f64 (.f64 -1/96 (pow.f64 im 4)) (*.f64 19/5760 (pow.f64 im 6)))))
(*.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(*.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(*.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(*.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(*.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(*.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(*.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(*.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))

Outputs
(.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) re))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re))
(*.f64 re (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(*.f64 1/2 (fma.f64 (exp.f64 im) re (/.f64 re (exp.f64 im))))
(+.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) re)) (.f64 -1/12 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (pow.f64 re 3))))
(fma.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) (.f64 -1/12 (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 3))))
(fma.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (*.f64 (pow.f64 re 3) -1/12)))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 (.f64 1/2 re) (*.f64 -1/12 (pow.f64 re 3))))
(.f64 (fma.f64 (exp.f64 im) re (/.f64 re (exp.f64 im))) (+.f64 1/2 (.f64 -1/12 (*.f64 re re))))
(+.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) re)) (+.f64 (.f64 -1/12 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (pow.f64 re 3))) (.f64 1/240 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (pow.f64 re 5)))))
(fma.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) (fma.f64 -1/12 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 3)) (.f64 1/240 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 5)))))
(fma.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) (fma.f64 -1/12 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 3)) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (.f64 (pow.f64 re 5) 1/240))))
(fma.f64 (pow.f64 re 3) (fma.f64 (exp.f64 im) -1/12 (/.f64 -1/12 (exp.f64 im))) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 (.f64 1/240 (pow.f64 re 5)) (*.f64 1/2 re))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 (.f64 1/240 (pow.f64 re 5)) (+.f64 (.f64 -1/12 (pow.f64 re 3)) (.f64 1/2 re))))
(+.f64 (.f64 1/2 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) re)) (+.f64 (.f64 -1/10080 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (pow.f64 re 7))) (+.f64 (.f64 -1/12 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (pow.f64 re 3))) (.f64 1/240 (.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im)) (pow.f64 re 5))))))
(fma.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) (fma.f64 -1/10080 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 7)) (fma.f64 -1/12 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 3)) (.f64 1/240 (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 5))))))
(fma.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) re) (fma.f64 -1/10080 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 7)) (fma.f64 -1/12 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 3)) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (*.f64 (pow.f64 re 5) 1/240)))))
(+.f64 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 (.f64 -1/12 (pow.f64 re 3)) (.f64 1/240 (pow.f64 re 5)))) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 (.f64 1/2 re) (.f64 -1/10080 (pow.f64 re 7)))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 (+.f64 (.f64 -1/12 (pow.f64 re 3)) (.f64 1/2 re)) (+.f64 (.f64 1/240 (pow.f64 re 5)) (*.f64 -1/10080 (pow.f64 re 7)))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(sin.f64 re)
(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))))
(+.f64 (sin.f64 re) (.f64 1/2 (.f64 (sin.f64 re) (*.f64 im im))))
(fma.f64 1/2 (.f64 (sin.f64 re) (.f64 im im)) (sin.f64 re))
(.f64 (+.f64 (.f64 1/2 (*.f64 im im)) 1) (sin.f64 re))
(fma.f64 1/2 (.f64 im (.f64 im (sin.f64 re))) (sin.f64 re))
(+.f64 (sin.f64 re) (+.f64 (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))) (.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4)))))
(+.f64 (sin.f64 re) (fma.f64 1/2 (.f64 (sin.f64 re) (.f64 im im)) (.f64 (.f64 1/24 (sin.f64 re)) (pow.f64 im 4))))
(+.f64 (fma.f64 1/2 (.f64 (sin.f64 re) (.f64 im im)) (sin.f64 re)) (.f64 (sin.f64 re) (.f64 (pow.f64 im 4) 1/24)))
(+.f64 (sin.f64 re) (.f64 (sin.f64 re) (+.f64 (.f64 1/2 (.f64 im im)) (.f64 1/24 (pow.f64 im 4)))))
(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (.f64 im im)) (+.f64 1 (.f64 1/24 (pow.f64 im 4)))))
(+.f64 (sin.f64 re) (+.f64 (.f64 1/2 (.f64 (sin.f64 re) (pow.f64 im 2))) (+.f64 (.f64 1/720 (.f64 (sin.f64 re) (pow.f64 im 6))) (.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4))))))
(+.f64 (sin.f64 re) (fma.f64 1/2 (.f64 (sin.f64 re) (.f64 im im)) (fma.f64 1/720 (.f64 (sin.f64 re) (pow.f64 im 6)) (.f64 (*.f64 1/24 (sin.f64 re)) (pow.f64 im 4)))))
(+.f64 (sin.f64 re) (fma.f64 1/2 (.f64 (sin.f64 re) (.f64 im im)) (fma.f64 1/24 (.f64 (sin.f64 re) (pow.f64 im 4)) (.f64 (sin.f64 re) (*.f64 (pow.f64 im 6) 1/720)))))
(+.f64 (sin.f64 re) (fma.f64 (sin.f64 re) (.f64 1/24 (pow.f64 im 4)) (.f64 (sin.f64 re) (+.f64 (.f64 1/2 (.f64 im im)) (*.f64 1/720 (pow.f64 im 6))))))
(+.f64 (sin.f64 re) (.f64 (sin.f64 re) (+.f64 (.f64 1/2 (.f64 im im)) (+.f64 (.f64 1/720 (pow.f64 im 6)) (*.f64 1/24 (pow.f64 im 4))))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
(*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
2
(+.f64 2 (pow.f64 im 2))
(+.f64 2 (*.f64 im im))
(fma.f64 im im 2)
(+.f64 2 (+.f64 (pow.f64 im 2) (*.f64 1/12 (pow.f64 im 4))))
(+.f64 (+.f64 2 (.f64 im im)) (.f64 (pow.f64 im 4) 1/12))
(+.f64 2 (fma.f64 im im (*.f64 (pow.f64 im 4) 1/12)))
(fma.f64 im im (fma.f64 (pow.f64 im 4) 1/12 2))
(+.f64 2 (+.f64 (pow.f64 im 2) (+.f64 (.f64 1/12 (pow.f64 im 4)) (.f64 1/360 (pow.f64 im 6)))))
(+.f64 (+.f64 2 (.f64 im im)) (fma.f64 1/12 (pow.f64 im 4) (.f64 (pow.f64 im 6) 1/360)))
(+.f64 (fma.f64 im im 2) (fma.f64 (pow.f64 im 4) 1/12 (*.f64 (pow.f64 im 6) 1/360)))
(+.f64 (fma.f64 (pow.f64 im 6) 1/360 (*.f64 im im)) (fma.f64 (pow.f64 im 4) 1/12 2))
(+.f64 2 (fma.f64 im im (fma.f64 (pow.f64 im 4) 1/12 (*.f64 (pow.f64 im 6) 1/360))))
(+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
1
(+.f64 1 (*.f64 1/4 (pow.f64 im 2)))
(+.f64 1 (.f64 (.f64 im im) 1/4))
(fma.f64 (*.f64 im im) 1/4 1)
(+.f64 1 (+.f64 (.f64 1/4 (pow.f64 im 2)) (.f64 -1/96 (pow.f64 im 4))))
(+.f64 1 (fma.f64 1/4 (.f64 im im) (.f64 (pow.f64 im 4) -1/96)))
(+.f64 1 (fma.f64 (pow.f64 im 4) -1/96 (.f64 im (.f64 im 1/4))))
(fma.f64 im (*.f64 im 1/4) (fma.f64 (pow.f64 im 4) -1/96 1))
(fma.f64 (pow.f64 im 4) -1/96 (fma.f64 (*.f64 im im) 1/4 1))
(+.f64 1 (+.f64 (.f64 1/4 (pow.f64 im 2)) (+.f64 (.f64 -1/96 (pow.f64 im 4)) (*.f64 19/5760 (pow.f64 im 6)))))
(+.f64 1 (fma.f64 1/4 (.f64 im im) (fma.f64 -1/96 (pow.f64 im 4) (.f64 (pow.f64 im 6) 19/5760))))
(+.f64 1 (fma.f64 (.f64 im im) 1/4 (fma.f64 (pow.f64 im 4) -1/96 (.f64 (pow.f64 im 6) 19/5760))))
(+.f64 1 (fma.f64 (pow.f64 im 4) -1/96 (fma.f64 im (.f64 im 1/4) (.f64 (pow.f64 im 6) 19/5760))))
(+.f64 1 (fma.f64 im (.f64 im 1/4) (fma.f64 (pow.f64 im 4) -1/96 (.f64 (pow.f64 im 6) 19/5760))))
(*.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(*.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(*.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(*.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(*.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(*.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(*.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(*.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 (/.f64 1 (exp.f64 im)) (exp.f64 im))))
(*.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))

prune583.0ms (8%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	145	1	146
Fresh	1	1	2
Picked	0	1	1
Done	0	1	1
Total	146	4	150

Error

Counts

150 → 4

Alt Table

Status	Error	Program
✓	0.3b	(.f64 (.f64 1/2 (sin.f64 re)) (cbrt.f64 (pow.f64 (*.f64 2 (cosh.f64 im)) 3)))
	1.4b	(pow.f64 (cbrt.f64 (*.f64 (cosh.f64 im) (sin.f64 re))) 3)
✓	0.0b	(.f64 (.f64 1/2 (sin.f64 re)) (.f64 (sqrt.f64 (cosh.f64 im)) (.f64 (sqrt.f64 (cosh.f64 im)) 2)))
▶	1.2b	(+.f64 (sin.f64 re) (.f64 (sin.f64 re) (+.f64 (.f64 1/2 (.f64 im im)) (+.f64 (.f64 1/720 (pow.f64 im 6)) (*.f64 1/24 (pow.f64 im 4))))))

Compiler

Compiled 2552 to 1362 computations (46.6% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series12.0ms (0.2%)

Counts

4 → 36

Calls

15 calls:

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

rewrite47.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

195×	`add-sqr-sqrt_binary64`
187×	`add-log-exp_binary64`
187×	`pow1_binary64`
187×	`log1p-expm1-u_binary64`
187×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	61
1	402	61

Stop Event

1×	node limit

Counts

4 → 98

Calls

Call 1

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

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

simplify47.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

569×	`distribute-rgt-in_binary64`
551×	`distribute-lft-in_binary64`
476×	`*-commutative_binary64`
276×	`fma-def_binary64`
234×	`distribute-lft-out_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	50	937
1	140	927
2	455	840
3	2280	796
4	4528	796

Stop Event

1×	node limit

Counts

134 → 125

Calls

Call 1

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

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

prune503.0ms (6.9%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	125	0	125
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	125	4	129

Error

Counts

129 → 4

Alt Table

Status	Error	Program
✓	0.3b	(.f64 (.f64 1/2 (sin.f64 re)) (cbrt.f64 (pow.f64 (*.f64 2 (cosh.f64 im)) 3)))
	1.4b	(pow.f64 (cbrt.f64 (*.f64 (cosh.f64 im) (sin.f64 re))) 3)
✓	0.0b	(.f64 (.f64 1/2 (sin.f64 re)) (.f64 (sqrt.f64 (cosh.f64 im)) (.f64 (sqrt.f64 (cosh.f64 im)) 2)))
✓	1.2b	(+.f64 (sin.f64 re) (.f64 (sin.f64 re) (+.f64 (.f64 1/2 (.f64 im im)) (+.f64 (.f64 1/720 (pow.f64 im 6)) (*.f64 1/24 (pow.f64 im 4))))))

Compiler

Compiled 3921 to 2559 computations (34.7% saved)

regimes35.0ms (0.5%)

Accuracy

Total -2.5b remaining (-9102.7%)

Threshold costs -2.5b (-9102.7%)

Counts

7 → 1

Calls

Call 1

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

Results

8.0ms	0.0b	`re`
5.0ms	0.0b	`im`
5.0ms	0.0b	`(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))`
7.0ms	0.0b	`(*.f64 1/2 (sin.f64 re))`
5.0ms	0.0b	`(sin.f64 re)`
2.0ms	0.0b	`(+.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im))`

Compiler

Compiled 130 to 86 computations (33.8% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
2×	`+-commutative_binary64`
1×	`sub0-neg_binary64`
1×	`sub-neg_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	18
1	18	18
2	21	18
3	22	18

Stop Event

1×

saturated

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

end18.0ms (0.2%)

Stop Event

1×

fuel

Compiler

Compiled 26 to 20 computations (23.1% saved)

Details

analyze538.0ms (7.4%)

sample4.5s (61.6%)

preprocess38.0ms (0.5%)

simplify36.0ms (0.5%)

prune3.0ms (0%)

localize8.0ms (0.1%)

series10.0ms (0.1%)

rewrite44.0ms (0.6%)

simplify46.0ms (0.6%)

prune161.0ms (2.2%)

localize10.0ms (0.1%)

series16.0ms (0.2%)

rewrite47.0ms (0.6%)

simplify43.0ms (0.6%)

prune421.0ms (5.8%)

localize8.0ms (0.1%)

series7.0ms (0.1%)

rewrite51.0ms (0.7%)

simplify43.0ms (0.6%)

prune583.0ms (8%)

localize16.0ms (0.2%)

series12.0ms (0.2%)

rewrite47.0ms (0.6%)

simplify47.0ms (0.6%)

prune503.0ms (6.9%)

regimes35.0ms (0.5%)

simplify2.0ms (0%)

end18.0ms (0.2%)

Profiling