Details

analyze532.0ms (6.1%)

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 14 to 11 computations (21.4% saved)

sample6.2s (70.6%)

Results

2.9s	4204×	body	1024	valid
1.1s	2075×	body	1024	invalid
887.0ms	2120×	body	512	valid
407.0ms	1019×	body	512	invalid
285.0ms	1058×	body	256	valid
190.0ms	214×	body	2048	valid
136.0ms	545×	body	256	invalid
125.0ms	794×	body	128	invalid
97.0ms	660×	body	128	valid

preprocess41.0ms (0.5%)

Algorithm

2×	egg-herbie

Rules

816×	`fma-def_binary64`
600×	`times-frac_binary64`
456×	`fma-neg_binary64`
228×	`distribute-rgt-neg-in_binary64`
146×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	36
1	39	36
2	93	36
3	247	36
4	557	34
5	1130	34
6	2092	34
7	4019	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 (neg.f64 im)) (exp.f64 im)))
(.f64 (.f64 1/2 (sin.f64 im)) (-.f64 (exp.f64 (neg.f64 re)) (exp.f64 re)))

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

Compiler

Compiled 13 to 10 computations (23.1% saved)

simplify24.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

454×	`fma-def_binary64`
444×	`times-frac_binary64`
365×	`distribute-rgt-neg-in_binary64`
340×	`fma-neg_binary64`
297×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	11	18
1	23	18
2	51	18
3	126	18
4	286	17
5	581	17
6	1384	17
7	2793	17

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

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

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

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

39.5b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	39.5b	(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

Compiler

Compiled 50 to 35 computations (30% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series9.0ms (0.1%)

Counts

2 → 32

Calls

9 calls:

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

rewrite81.0ms (0.9%)

Algorithm

2×	egg-rewrite-iter-limit
2×	egg-rewrite
1×	batch-egg-rewrite

Rules

118×	`add-sqr-sqrt_binary64`
118×	`add-sqr-sqrt_binary64`
113×	`*-un-lft-identity_binary64`
113×	`pow1_binary64`
113×	`*-un-lft-identity_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	20
1	228	20
2	3510	20
0	6	10
1	127	10
2	2085	10
0	6	10
0	11	18
1	228	18
2	3509	18
0	11	18

Stop Event

1×	iter limit
1×	unsound
1×	iter limit
1×	unsound
1×	unsound

Counts

2 → 18

Calls

Call 1

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

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

Outputs

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

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

simplify41.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

371×	`*-commutative_binary64`
362×	`fma-def_binary64`
348×	`unsub-neg_binary64`
320×	`associate-+l+_binary64`
282×	`associate-+r+_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	70	668
1	188	668
2	536	614
3	1927	584
4	4526	584

Stop Event

1×	node limit

Counts

50 → 45

Calls

Call 1

Inputs
(*.f64 -2 im)
(+.f64 (.f64 -2 im) (.f64 -1/3 (pow.f64 im 3)))
(+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (*.f64 -1/3 (pow.f64 im 3))))
(+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))
(-.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))
(-.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))
(-.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))
(-.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))
(.f64 1/2 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) re))
(+.f64 (.f64 -1/12 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (pow.f64 re 3))) (.f64 1/2 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) re)))
(+.f64 (.f64 -1/12 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (pow.f64 re 3))) (+.f64 (.f64 1/2 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) re)) (.f64 1/240 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (pow.f64 re 5)))))
(+.f64 (.f64 -1/12 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (pow.f64 re 3))) (+.f64 (.f64 1/2 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) re)) (+.f64 (.f64 1/240 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (pow.f64 re 5))) (.f64 -1/10080 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (pow.f64 re 7))))))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 -1 (.f64 (sin.f64 re) im))
(+.f64 (.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (sin.f64 re) im)))
(+.f64 (.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3))) (+.f64 (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 -1 (.f64 (sin.f64 re) im))))
(+.f64 (.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7))) (+.f64 (.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3))) (+.f64 (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 -1 (.f64 (sin.f64 re) im)))))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))))

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

prune49.0ms (0.6%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	42	3	45
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	43	3	46

Error

0.1b

Counts

46 → 3

Alt Table

Status	Error	Program
	39.5b	(log1p.f64 (expm1.f64 (.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))
	0.4b	(+.f64 (.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7))) (+.f64 (.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3))) (+.f64 (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 -1 (.f64 (sin.f64 re) im)))))
▶	0.4b	(.f64 (.f64 1/2 (sin.f64 re)) (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))))

Status

Error

Program

39.5b

(log1p.f64 (expm1.f64 (*.f64 1/2 (*.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))

0.4b

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

▶

0.4b

(*.f64 (*.f64 1/2 (sin.f64 re)) (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))))

Compiler

Compiled 972 to 495 computations (49.1% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))
✓	0.1b	(*.f64 -1/60 (pow.f64 im 5))
✓	0.1b	(.f64 (.f64 1/2 (sin.f64 re)) (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))))
✓	0.1b	(fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))

series16.0ms (0.2%)

Counts

4 → 48

Calls

15 calls:

Time	Variable		Point	Expression
4.0ms	re	@	inf	(.f64 (.f64 1/2 (sin.f64 re)) (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))))
3.0ms	re	@	0	(.f64 (.f64 1/2 (sin.f64 re)) (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))))
1.0ms	re	@	-inf	(.f64 (.f64 1/2 (sin.f64 re)) (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))))
1.0ms	im	@	inf	(fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))
1.0ms	im	@	-inf	(fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))

rewrite68.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

237×	`prod-diff_binary64`
210×	`add-sqr-sqrt_binary64`
201×	`add-log-exp_binary64`
201×	`log1p-expm1-u_binary64`
201×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	75
1	448	75
2	4787	75

Stop Event

1×	node limit

Counts

4 → 77

Calls

Call 1

Inputs
(fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))
(.f64 (.f64 1/2 (sin.f64 re)) (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))))
(*.f64 -1/60 (pow.f64 im 5))
(fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))

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

simplify37.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

552×	`fma-def_binary64`
428×	`distribute-lft-in_binary64`
428×	`distribute-rgt-in_binary64`
399×	`associate-l_binary64`
364×	`associate-r_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	68	1264
1	223	1239
2	897	1122

Stop Event

1×	node limit

Counts

125 → 110

Calls

Call 1

Inputs
(*.f64 -1/3 (pow.f64 im 3))
(+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))
(+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))
(+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))
(*.f64 -1/60 (pow.f64 im 5))
(+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))
(+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))
(+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))
(*.f64 -1/60 (pow.f64 im 5))
(+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))
(+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))
(+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))
(.f64 1/2 (.f64 re (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))))
(+.f64 (.f64 -1/12 (.f64 (pow.f64 re 3) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))))) (.f64 1/2 (.f64 re (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))))))
(+.f64 (.f64 -1/12 (.f64 (pow.f64 re 3) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))))) (+.f64 (.f64 1/2 (.f64 re (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))))) (.f64 1/240 (.f64 (pow.f64 re 5) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))))))
(+.f64 (.f64 -1/12 (.f64 (pow.f64 re 3) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))))) (+.f64 (.f64 1/2 (.f64 re (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))))) (+.f64 (.f64 -1/10080 (.f64 (pow.f64 re 7) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))))) (.f64 1/240 (.f64 (pow.f64 re 5) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))))))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))))
(.f64 -1 (.f64 (sin.f64 re) im))
(+.f64 (.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (sin.f64 re) im)))
(+.f64 (.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3))) (+.f64 (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 -1 (.f64 (sin.f64 re) im))))
(+.f64 (.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7))) (+.f64 (.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3))) (+.f64 (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 -1 (.f64 (sin.f64 re) im)))))
(.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7)))
(+.f64 (.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7))) (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))))
(+.f64 (.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7))) (+.f64 (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3)))))
(+.f64 (.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7))) (+.f64 (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (+.f64 (.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (sin.f64 re) im)))))
(.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7)))
(+.f64 (.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7))) (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))))
(+.f64 (.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7))) (+.f64 (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3)))))
(+.f64 (.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7))) (+.f64 (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (+.f64 (.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (sin.f64 re) im)))))
(*.f64 -1/3 (pow.f64 im 3))
(+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))
(+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (*.f64 -1/3 (pow.f64 im 3))))
(+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (*.f64 -1/3 (pow.f64 im 3))))
(*.f64 -1/2520 (pow.f64 im 7))
(+.f64 (.f64 -1/2520 (pow.f64 im 7)) (.f64 -1/60 (pow.f64 im 5)))
(+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (*.f64 -1/3 (pow.f64 im 3))))
(+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (*.f64 -1/3 (pow.f64 im 3))))
(*.f64 -1/2520 (pow.f64 im 7))
(+.f64 (.f64 -1/2520 (pow.f64 im 7)) (.f64 -1/60 (pow.f64 im 5)))
(+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (*.f64 -1/3 (pow.f64 im 3))))
(+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (*.f64 -1/3 (pow.f64 im 3))))

Outputs
(*.f64 -1/3 (pow.f64 im 3))
(+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))
(fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3)))
(fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))
(+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))
(fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3)))
(fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))
(+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))
(fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3)))
(fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))
(*.f64 -1/60 (pow.f64 im 5))
(+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))
(fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3)))
(fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))
(+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))
(fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3)))
(fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))
(+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))
(fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3)))
(fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))
(*.f64 -1/60 (pow.f64 im 5))
(+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))
(fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3)))
(fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))
(+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))
(fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3)))
(fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))
(+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))
(fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3)))
(fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))
(.f64 1/2 (.f64 re (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))))
(.f64 (.f64 1/2 re) (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -2 im (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3))))))
(.f64 1/2 (.f64 re (fma.f64 im -2 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))))))
(.f64 1/2 (.f64 re (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/2520 (pow.f64 im 7)))))))
(+.f64 (.f64 -1/12 (.f64 (pow.f64 re 3) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))))) (.f64 1/2 (.f64 re (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))))))
(fma.f64 -1/12 (.f64 (pow.f64 re 3) (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (.f64 -1/3 (pow.f64 im 3)))))) (.f64 (.f64 1/2 re) (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -2 im (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3)))))))
(fma.f64 1/2 (.f64 re (fma.f64 im -2 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (.f64 -1/60 (pow.f64 im 5)))))) (.f64 -1/12 (.f64 (pow.f64 re 3) (fma.f64 im -2 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))))))
(.f64 (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (fma.f64 -1/60 (pow.f64 im 5) (.f64 -1/2520 (pow.f64 im 7))))) (+.f64 (.f64 1/2 re) (.f64 -1/12 (pow.f64 re 3))))
(+.f64 (.f64 -1/12 (.f64 (pow.f64 re 3) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))))) (+.f64 (.f64 1/2 (.f64 re (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))))) (.f64 1/240 (.f64 (pow.f64 re 5) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))))))
(fma.f64 -1/12 (.f64 (pow.f64 re 3) (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (.f64 -1/3 (pow.f64 im 3)))))) (fma.f64 1/2 (.f64 re (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -2 im (fma.f64 -1/60 (pow.f64 im 5) (.f64 -1/3 (pow.f64 im 3)))))) (.f64 (.f64 1/240 (pow.f64 re 5)) (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3))))))))
(fma.f64 -1/12 (.f64 (pow.f64 re 3) (fma.f64 im -2 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (.f64 -1/60 (pow.f64 im 5)))))) (fma.f64 (.f64 1/2 re) (fma.f64 im -2 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (.f64 -1/60 (pow.f64 im 5))))) (.f64 (fma.f64 im -2 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (.f64 -1/60 (pow.f64 im 5))))) (*.f64 1/240 (pow.f64 re 5)))))
(fma.f64 1/2 (.f64 re (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (fma.f64 -1/60 (pow.f64 im 5) (.f64 -1/2520 (pow.f64 im 7)))))) (.f64 (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (fma.f64 -1/60 (pow.f64 im 5) (.f64 -1/2520 (pow.f64 im 7))))) (+.f64 (.f64 -1/12 (pow.f64 re 3)) (.f64 1/240 (pow.f64 re 5)))))
(+.f64 (.f64 -1/12 (.f64 (pow.f64 re 3) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))))) (+.f64 (.f64 1/2 (.f64 re (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))))) (+.f64 (.f64 -1/10080 (.f64 (pow.f64 re 7) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))))) (.f64 1/240 (.f64 (pow.f64 re 5) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))))))))
(fma.f64 -1/12 (.f64 (pow.f64 re 3) (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (.f64 -1/3 (pow.f64 im 3)))))) (fma.f64 1/2 (.f64 re (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -2 im (fma.f64 -1/60 (pow.f64 im 5) (.f64 -1/3 (pow.f64 im 3)))))) (fma.f64 -1/10080 (.f64 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (.f64 -1/3 (pow.f64 im 3))))) (pow.f64 re 7)) (.f64 (.f64 1/240 (pow.f64 re 5)) (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3)))))))))
(fma.f64 -1/12 (.f64 (pow.f64 re 3) (fma.f64 im -2 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (.f64 -1/60 (pow.f64 im 5)))))) (fma.f64 (.f64 1/2 re) (fma.f64 im -2 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (.f64 -1/60 (pow.f64 im 5))))) (.f64 (fma.f64 im -2 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (.f64 -1/60 (pow.f64 im 5))))) (+.f64 (.f64 1/240 (pow.f64 re 5)) (.f64 -1/10080 (pow.f64 re 7))))))
(fma.f64 1/2 (.f64 re (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (fma.f64 -1/60 (pow.f64 im 5) (.f64 -1/2520 (pow.f64 im 7)))))) (.f64 (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (fma.f64 -1/60 (pow.f64 im 5) (.f64 -1/2520 (pow.f64 im 7))))) (+.f64 (.f64 -1/12 (pow.f64 re 3)) (fma.f64 1/240 (pow.f64 re 5) (.f64 -1/10080 (pow.f64 re 7))))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))))
(.f64 1/2 (.f64 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3))))) (sin.f64 re)))
(.f64 1/2 (.f64 (fma.f64 im -2 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))) (sin.f64 re)))
(.f64 1/2 (.f64 (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/2520 (pow.f64 im 7))))) (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))))
(.f64 1/2 (.f64 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3))))) (sin.f64 re)))
(.f64 1/2 (.f64 (fma.f64 im -2 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))) (sin.f64 re)))
(.f64 1/2 (.f64 (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/2520 (pow.f64 im 7))))) (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))))
(.f64 1/2 (.f64 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3))))) (sin.f64 re)))
(.f64 1/2 (.f64 (fma.f64 im -2 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))) (sin.f64 re)))
(.f64 1/2 (.f64 (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/2520 (pow.f64 im 7))))) (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))))
(.f64 1/2 (.f64 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3))))) (sin.f64 re)))
(.f64 1/2 (.f64 (fma.f64 im -2 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))) (sin.f64 re)))
(.f64 1/2 (.f64 (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/2520 (pow.f64 im 7))))) (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))))
(.f64 1/2 (.f64 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3))))) (sin.f64 re)))
(.f64 1/2 (.f64 (fma.f64 im -2 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))) (sin.f64 re)))
(.f64 1/2 (.f64 (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/2520 (pow.f64 im 7))))) (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))))
(.f64 1/2 (.f64 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3))))) (sin.f64 re)))
(.f64 1/2 (.f64 (fma.f64 im -2 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))) (sin.f64 re)))
(.f64 1/2 (.f64 (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/2520 (pow.f64 im 7))))) (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))))
(.f64 1/2 (.f64 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3))))) (sin.f64 re)))
(.f64 1/2 (.f64 (fma.f64 im -2 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))) (sin.f64 re)))
(.f64 1/2 (.f64 (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/2520 (pow.f64 im 7))))) (sin.f64 re)))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))))
(.f64 1/2 (.f64 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3))))) (sin.f64 re)))
(.f64 1/2 (.f64 (fma.f64 im -2 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))) (sin.f64 re)))
(.f64 1/2 (.f64 (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/2520 (pow.f64 im 7))))) (sin.f64 re)))
(.f64 -1 (.f64 (sin.f64 re) im))
(neg.f64 (*.f64 im (sin.f64 re)))
(*.f64 (sin.f64 re) (neg.f64 im))
(*.f64 im (neg.f64 (sin.f64 re)))
(+.f64 (.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (sin.f64 re) im)))
(fma.f64 -1/6 (.f64 (pow.f64 im 3) (sin.f64 re)) (neg.f64 (.f64 im (sin.f64 re))))
(-.f64 (.f64 (pow.f64 im 3) (.f64 (sin.f64 re) -1/6)) (*.f64 im (sin.f64 re)))
(.f64 (sin.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im))
(+.f64 (.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3))) (+.f64 (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 -1 (.f64 (sin.f64 re) im))))
(fma.f64 -1/6 (.f64 (pow.f64 im 3) (sin.f64 re)) (fma.f64 -1/120 (.f64 (pow.f64 im 5) (sin.f64 re)) (neg.f64 (*.f64 im (sin.f64 re)))))
(-.f64 (fma.f64 -1/6 (.f64 (pow.f64 im 3) (sin.f64 re)) (.f64 (pow.f64 im 5) (.f64 (sin.f64 re) -1/120))) (.f64 im (sin.f64 re)))
(fma.f64 (pow.f64 im 5) (.f64 (sin.f64 re) -1/120) (.f64 (sin.f64 re) (-.f64 (*.f64 (pow.f64 im 3) -1/6) im)))
(+.f64 (.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7))) (+.f64 (.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3))) (+.f64 (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 -1 (.f64 (sin.f64 re) im)))))
(fma.f64 -1/5040 (.f64 (pow.f64 im 7) (sin.f64 re)) (fma.f64 -1/6 (.f64 (pow.f64 im 3) (sin.f64 re)) (fma.f64 -1/120 (.f64 (pow.f64 im 5) (sin.f64 re)) (neg.f64 (.f64 im (sin.f64 re))))))
(fma.f64 -1/5040 (.f64 (pow.f64 im 7) (sin.f64 re)) (-.f64 (fma.f64 -1/6 (.f64 (pow.f64 im 3) (sin.f64 re)) (.f64 (pow.f64 im 5) (.f64 (sin.f64 re) -1/120))) (*.f64 im (sin.f64 re))))
(+.f64 (.f64 (sin.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im)) (.f64 (sin.f64 re) (+.f64 (.f64 (pow.f64 im 5) -1/120) (*.f64 (pow.f64 im 7) -1/5040))))
(.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7)))
(.f64 -1/5040 (.f64 (pow.f64 im 7) (sin.f64 re)))
(.f64 (pow.f64 im 7) (.f64 (sin.f64 re) -1/5040))
(+.f64 (.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7))) (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))))
(fma.f64 -1/5040 (.f64 (pow.f64 im 7) (sin.f64 re)) (.f64 -1/120 (*.f64 (pow.f64 im 5) (sin.f64 re))))
(fma.f64 -1/120 (.f64 (pow.f64 im 5) (sin.f64 re)) (.f64 (pow.f64 im 7) (*.f64 (sin.f64 re) -1/5040)))
(.f64 (sin.f64 re) (+.f64 (.f64 (pow.f64 im 5) -1/120) (*.f64 (pow.f64 im 7) -1/5040)))
(+.f64 (.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7))) (+.f64 (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3)))))
(fma.f64 -1/5040 (.f64 (pow.f64 im 7) (sin.f64 re)) (fma.f64 -1/120 (.f64 (pow.f64 im 5) (sin.f64 re)) (.f64 (.f64 -1/6 (sin.f64 re)) (pow.f64 im 3))))
(fma.f64 -1/5040 (.f64 (pow.f64 im 7) (sin.f64 re)) (fma.f64 -1/6 (.f64 (pow.f64 im 3) (sin.f64 re)) (.f64 (pow.f64 im 5) (.f64 (sin.f64 re) -1/120))))
(fma.f64 (pow.f64 im 5) (.f64 (sin.f64 re) -1/120) (.f64 (sin.f64 re) (+.f64 (.f64 (pow.f64 im 3) -1/6) (.f64 (pow.f64 im 7) -1/5040))))
(+.f64 (.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7))) (+.f64 (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (+.f64 (.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (sin.f64 re) im)))))
(fma.f64 -1/5040 (.f64 (pow.f64 im 7) (sin.f64 re)) (fma.f64 -1/6 (.f64 (pow.f64 im 3) (sin.f64 re)) (fma.f64 -1/120 (.f64 (pow.f64 im 5) (sin.f64 re)) (neg.f64 (.f64 im (sin.f64 re))))))
(fma.f64 -1/5040 (.f64 (pow.f64 im 7) (sin.f64 re)) (-.f64 (fma.f64 -1/6 (.f64 (pow.f64 im 3) (sin.f64 re)) (.f64 (pow.f64 im 5) (.f64 (sin.f64 re) -1/120))) (*.f64 im (sin.f64 re))))
(+.f64 (.f64 (sin.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im)) (.f64 (sin.f64 re) (+.f64 (.f64 (pow.f64 im 5) -1/120) (*.f64 (pow.f64 im 7) -1/5040))))
(.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7)))
(.f64 -1/5040 (.f64 (pow.f64 im 7) (sin.f64 re)))
(.f64 (pow.f64 im 7) (.f64 (sin.f64 re) -1/5040))
(+.f64 (.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7))) (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))))
(fma.f64 -1/5040 (.f64 (pow.f64 im 7) (sin.f64 re)) (.f64 -1/120 (*.f64 (pow.f64 im 5) (sin.f64 re))))
(fma.f64 -1/120 (.f64 (pow.f64 im 5) (sin.f64 re)) (.f64 (pow.f64 im 7) (*.f64 (sin.f64 re) -1/5040)))
(.f64 (sin.f64 re) (+.f64 (.f64 (pow.f64 im 5) -1/120) (*.f64 (pow.f64 im 7) -1/5040)))
(+.f64 (.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7))) (+.f64 (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3)))))
(fma.f64 -1/5040 (.f64 (pow.f64 im 7) (sin.f64 re)) (fma.f64 -1/120 (.f64 (pow.f64 im 5) (sin.f64 re)) (.f64 (.f64 -1/6 (sin.f64 re)) (pow.f64 im 3))))
(fma.f64 -1/5040 (.f64 (pow.f64 im 7) (sin.f64 re)) (fma.f64 -1/6 (.f64 (pow.f64 im 3) (sin.f64 re)) (.f64 (pow.f64 im 5) (.f64 (sin.f64 re) -1/120))))
(fma.f64 (pow.f64 im 5) (.f64 (sin.f64 re) -1/120) (.f64 (sin.f64 re) (+.f64 (.f64 (pow.f64 im 3) -1/6) (.f64 (pow.f64 im 7) -1/5040))))
(+.f64 (.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7))) (+.f64 (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (+.f64 (.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (sin.f64 re) im)))))
(fma.f64 -1/5040 (.f64 (pow.f64 im 7) (sin.f64 re)) (fma.f64 -1/6 (.f64 (pow.f64 im 3) (sin.f64 re)) (fma.f64 -1/120 (.f64 (pow.f64 im 5) (sin.f64 re)) (neg.f64 (.f64 im (sin.f64 re))))))
(fma.f64 -1/5040 (.f64 (pow.f64 im 7) (sin.f64 re)) (-.f64 (fma.f64 -1/6 (.f64 (pow.f64 im 3) (sin.f64 re)) (.f64 (pow.f64 im 5) (.f64 (sin.f64 re) -1/120))) (*.f64 im (sin.f64 re))))
(+.f64 (.f64 (sin.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im)) (.f64 (sin.f64 re) (+.f64 (.f64 (pow.f64 im 5) -1/120) (*.f64 (pow.f64 im 7) -1/5040))))
(*.f64 -1/3 (pow.f64 im 3))
(+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))
(fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3)))
(fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))
(+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (*.f64 -1/3 (pow.f64 im 3))))
(fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3))))
(fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))
(fma.f64 -1/3 (pow.f64 im 3) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/2520 (pow.f64 im 7))))
(+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (*.f64 -1/3 (pow.f64 im 3))))
(fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3))))
(fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))
(fma.f64 -1/3 (pow.f64 im 3) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/2520 (pow.f64 im 7))))
(*.f64 -1/2520 (pow.f64 im 7))
(+.f64 (.f64 -1/2520 (pow.f64 im 7)) (.f64 -1/60 (pow.f64 im 5)))
(fma.f64 -1/2520 (pow.f64 im 7) (*.f64 -1/60 (pow.f64 im 5)))
(fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/2520 (pow.f64 im 7)))
(+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (*.f64 -1/3 (pow.f64 im 3))))
(fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3))))
(fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))
(fma.f64 -1/3 (pow.f64 im 3) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/2520 (pow.f64 im 7))))
(+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (*.f64 -1/3 (pow.f64 im 3))))
(fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3))))
(fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))
(fma.f64 -1/3 (pow.f64 im 3) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/2520 (pow.f64 im 7))))
(*.f64 -1/2520 (pow.f64 im 7))
(+.f64 (.f64 -1/2520 (pow.f64 im 7)) (.f64 -1/60 (pow.f64 im 5)))
(fma.f64 -1/2520 (pow.f64 im 7) (*.f64 -1/60 (pow.f64 im 5)))
(fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/2520 (pow.f64 im 7)))
(+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (*.f64 -1/3 (pow.f64 im 3))))
(fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3))))
(fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))
(fma.f64 -1/3 (pow.f64 im 3) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/2520 (pow.f64 im 7))))
(+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (*.f64 -1/3 (pow.f64 im 3))))
(fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3))))
(fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))
(fma.f64 -1/3 (pow.f64 im 3) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/2520 (pow.f64 im 7))))

prune263.0ms (3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	107	3	110
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	107	6	113

Error

0.1b

Counts

113 → 6

Alt Table

Status	Error	Program
	31.4b	(fma.f64 1/2 (.f64 re (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (fma.f64 -1/60 (pow.f64 im 5) (.f64 -1/2520 (pow.f64 im 7)))))) (.f64 (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (fma.f64 -1/60 (pow.f64 im 5) (.f64 -1/2520 (pow.f64 im 7))))) (+.f64 (.f64 -1/12 (pow.f64 re 3)) (fma.f64 1/240 (pow.f64 re 5) (.f64 -1/10080 (pow.f64 re 7))))))
	39.5b	(log1p.f64 (expm1.f64 (.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))
▶	0.4b	(+.f64 (.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7))) (+.f64 (.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3))) (+.f64 (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 -1 (.f64 (sin.f64 re) im)))))
	30.2b	(cbrt.f64 (.f64 (pow.f64 (.f64 1/2 (sin.f64 re)) 3) (pow.f64 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))) 3)))
	1.3b	(pow.f64 (cbrt.f64 (.f64 (sin.f64 re) (.f64 1/2 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))))))) 3)
✓	0.4b	(.f64 (.f64 1/2 (sin.f64 re)) (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))))

Compiler

Compiled 3449 to 2635 computations (23.6% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 (sin.f64 re) (pow.f64 im 5))
✓	0.1b	(*.f64 (sin.f64 re) (pow.f64 im 3))
✓	0.1b	(*.f64 (sin.f64 re) im)
✓	0.1b	(.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3)))

series23.0ms (0.3%)

Counts

4 → 16

Calls

24 calls:

Time	Variable		Point	Expression
8.0ms	re	@	-inf	(*.f64 (sin.f64 re) (pow.f64 im 5))
4.0ms	re	@	-inf	(*.f64 (sin.f64 re) im)
1.0ms	re	@	0	(.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3)))
1.0ms	re	@	inf	(.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3)))
1.0ms	im	@	0	(.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3)))

rewrite55.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

614×	`log-prod_binary64`
225×	`expm1-udef_binary64`
225×	`log1p-udef_binary64`
191×	`log-pow_binary64`
130×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	36
1	275	36
2	3059	36

Stop Event

1×	node limit

Counts

4 → 70

Calls

Call 1

Inputs
(.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3)))
(*.f64 (sin.f64 re) im)
(*.f64 (sin.f64 re) (pow.f64 im 3))
(*.f64 (sin.f64 re) (pow.f64 im 5))

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

simplify41.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

772×	`unswap-sqr_binary64`
713×	`fma-def_binary64`
516×	`associate-l_binary64`
390×	`associate-r_binary64`
329×	`distribute-rgt-out_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	62	406
1	191	361
2	711	300
3	3307	296
4	4061	296

Stop Event

1×	node limit

Counts

86 → 98

Calls

Call 1

Inputs
(.f64 -1/6 (.f64 re (pow.f64 im 3)))
(+.f64 (.f64 1/36 (.f64 (pow.f64 re 3) (pow.f64 im 3))) (.f64 -1/6 (.f64 re (pow.f64 im 3))))
(+.f64 (.f64 1/36 (.f64 (pow.f64 re 3) (pow.f64 im 3))) (+.f64 (.f64 -1/720 (.f64 (pow.f64 re 5) (pow.f64 im 3))) (.f64 -1/6 (.f64 re (pow.f64 im 3)))))
(+.f64 (.f64 1/36 (.f64 (pow.f64 re 3) (pow.f64 im 3))) (+.f64 (.f64 -1/720 (.f64 (pow.f64 re 5) (pow.f64 im 3))) (+.f64 (.f64 1/30240 (.f64 (pow.f64 re 7) (pow.f64 im 3))) (.f64 -1/6 (.f64 re (pow.f64 im 3))))))
(*.f64 re im)
(+.f64 (.f64 -1/6 (.f64 (pow.f64 re 3) im)) (*.f64 re im))
(+.f64 (.f64 1/120 (.f64 (pow.f64 re 5) im)) (+.f64 (.f64 -1/6 (.f64 (pow.f64 re 3) im)) (*.f64 re im)))
(+.f64 (.f64 1/120 (.f64 (pow.f64 re 5) im)) (+.f64 (.f64 -1/5040 (.f64 (pow.f64 re 7) im)) (+.f64 (.f64 -1/6 (.f64 (pow.f64 re 3) im)) (*.f64 re im))))
(*.f64 re (pow.f64 im 3))
(+.f64 (.f64 re (pow.f64 im 3)) (.f64 -1/6 (*.f64 (pow.f64 re 3) (pow.f64 im 3))))
(+.f64 (.f64 re (pow.f64 im 3)) (+.f64 (.f64 -1/6 (.f64 (pow.f64 re 3) (pow.f64 im 3))) (.f64 1/120 (*.f64 (pow.f64 re 5) (pow.f64 im 3)))))
(+.f64 (.f64 re (pow.f64 im 3)) (+.f64 (.f64 -1/5040 (.f64 (pow.f64 re 7) (pow.f64 im 3))) (+.f64 (.f64 -1/6 (.f64 (pow.f64 re 3) (pow.f64 im 3))) (.f64 1/120 (*.f64 (pow.f64 re 5) (pow.f64 im 3))))))
(*.f64 re (pow.f64 im 5))
(+.f64 (.f64 re (pow.f64 im 5)) (.f64 -1/6 (*.f64 (pow.f64 re 3) (pow.f64 im 5))))
(+.f64 (.f64 re (pow.f64 im 5)) (+.f64 (.f64 -1/6 (.f64 (pow.f64 re 3) (pow.f64 im 5))) (.f64 1/120 (*.f64 (pow.f64 re 5) (pow.f64 im 5)))))
(+.f64 (.f64 re (pow.f64 im 5)) (+.f64 (.f64 -1/5040 (.f64 (pow.f64 re 7) (pow.f64 im 5))) (+.f64 (.f64 -1/6 (.f64 (pow.f64 re 3) (pow.f64 im 5))) (.f64 1/120 (*.f64 (pow.f64 re 5) (pow.f64 im 5))))))

Outputs
(.f64 -1/6 (.f64 re (pow.f64 im 3)))
(+.f64 (.f64 1/36 (.f64 (pow.f64 re 3) (pow.f64 im 3))) (.f64 -1/6 (.f64 re (pow.f64 im 3))))
(fma.f64 1/36 (.f64 (pow.f64 im 3) (pow.f64 re 3)) (.f64 -1/6 (*.f64 re (pow.f64 im 3))))
(.f64 (pow.f64 im 3) (+.f64 (.f64 1/36 (pow.f64 re 3)) (*.f64 -1/6 re)))
(.f64 (pow.f64 im 3) (fma.f64 -1/6 re (.f64 1/36 (pow.f64 re 3))))
(.f64 (pow.f64 im 3) (fma.f64 1/36 (pow.f64 re 3) (.f64 -1/6 re)))
(+.f64 (.f64 1/36 (.f64 (pow.f64 re 3) (pow.f64 im 3))) (+.f64 (.f64 -1/720 (.f64 (pow.f64 re 5) (pow.f64 im 3))) (.f64 -1/6 (.f64 re (pow.f64 im 3)))))
(fma.f64 1/36 (.f64 (pow.f64 im 3) (pow.f64 re 3)) (fma.f64 -1/720 (.f64 (pow.f64 im 3) (pow.f64 re 5)) (.f64 -1/6 (.f64 re (pow.f64 im 3)))))
(fma.f64 1/36 (.f64 (pow.f64 im 3) (pow.f64 re 3)) (.f64 (pow.f64 im 3) (+.f64 (.f64 -1/6 re) (.f64 -1/720 (pow.f64 re 5)))))
(.f64 (pow.f64 im 3) (+.f64 (.f64 -1/6 re) (fma.f64 1/36 (pow.f64 re 3) (*.f64 -1/720 (pow.f64 re 5)))))
(.f64 (pow.f64 im 3) (+.f64 (.f64 -1/720 (pow.f64 re 5)) (fma.f64 1/36 (pow.f64 re 3) (*.f64 -1/6 re))))
(+.f64 (.f64 1/36 (.f64 (pow.f64 re 3) (pow.f64 im 3))) (+.f64 (.f64 -1/720 (.f64 (pow.f64 re 5) (pow.f64 im 3))) (+.f64 (.f64 1/30240 (.f64 (pow.f64 re 7) (pow.f64 im 3))) (.f64 -1/6 (.f64 re (pow.f64 im 3))))))
(fma.f64 1/36 (.f64 (pow.f64 im 3) (pow.f64 re 3)) (fma.f64 -1/720 (.f64 (pow.f64 im 3) (pow.f64 re 5)) (fma.f64 1/30240 (.f64 (pow.f64 im 3) (pow.f64 re 7)) (.f64 -1/6 (*.f64 re (pow.f64 im 3))))))
(+.f64 (.f64 (pow.f64 im 3) (+.f64 (.f64 -1/720 (pow.f64 re 5)) (.f64 1/30240 (pow.f64 re 7)))) (.f64 (pow.f64 im 3) (+.f64 (.f64 1/36 (pow.f64 re 3)) (.f64 -1/6 re))))
(.f64 (pow.f64 im 3) (+.f64 (fma.f64 1/30240 (pow.f64 re 7) (.f64 -1/6 re)) (fma.f64 1/36 (pow.f64 re 3) (*.f64 -1/720 (pow.f64 re 5)))))
(*.f64 re im)
(+.f64 (.f64 -1/6 (.f64 (pow.f64 re 3) im)) (*.f64 re im))
(fma.f64 -1/6 (.f64 im (pow.f64 re 3)) (.f64 re im))
(.f64 im (+.f64 re (.f64 -1/6 (pow.f64 re 3))))
(*.f64 im (fma.f64 -1/6 (pow.f64 re 3) re))
(+.f64 (.f64 1/120 (.f64 (pow.f64 re 5) im)) (+.f64 (.f64 -1/6 (.f64 (pow.f64 re 3) im)) (*.f64 re im)))
(fma.f64 1/120 (.f64 im (pow.f64 re 5)) (fma.f64 -1/6 (.f64 im (pow.f64 re 3)) (*.f64 re im)))
(fma.f64 1/120 (.f64 im (pow.f64 re 5)) (.f64 im (+.f64 re (*.f64 -1/6 (pow.f64 re 3)))))
(.f64 im (+.f64 (fma.f64 -1/6 (pow.f64 re 3) re) (.f64 (pow.f64 re 5) 1/120)))
(.f64 im (+.f64 (.f64 (pow.f64 re 5) 1/120) (fma.f64 -1/6 (pow.f64 re 3) re)))
(+.f64 (.f64 1/120 (.f64 (pow.f64 re 5) im)) (+.f64 (.f64 -1/5040 (.f64 (pow.f64 re 7) im)) (+.f64 (.f64 -1/6 (.f64 (pow.f64 re 3) im)) (*.f64 re im))))
(fma.f64 1/120 (.f64 im (pow.f64 re 5)) (fma.f64 -1/5040 (.f64 im (pow.f64 re 7)) (fma.f64 -1/6 (.f64 im (pow.f64 re 3)) (.f64 re im))))
(fma.f64 1/120 (.f64 im (pow.f64 re 5)) (fma.f64 -1/5040 (.f64 im (pow.f64 re 7)) (.f64 im (+.f64 re (.f64 -1/6 (pow.f64 re 3))))))
(.f64 im (+.f64 (fma.f64 -1/6 (pow.f64 re 3) re) (fma.f64 (pow.f64 re 5) 1/120 (.f64 (pow.f64 re 7) -1/5040))))
(*.f64 re (pow.f64 im 3))
(+.f64 (.f64 re (pow.f64 im 3)) (.f64 -1/6 (*.f64 (pow.f64 re 3) (pow.f64 im 3))))
(fma.f64 re (pow.f64 im 3) (.f64 -1/6 (.f64 (pow.f64 im 3) (pow.f64 re 3))))
(.f64 (pow.f64 im 3) (+.f64 re (.f64 -1/6 (pow.f64 re 3))))
(*.f64 (pow.f64 im 3) (fma.f64 -1/6 (pow.f64 re 3) re))
(+.f64 (.f64 re (pow.f64 im 3)) (+.f64 (.f64 -1/6 (.f64 (pow.f64 re 3) (pow.f64 im 3))) (.f64 1/120 (*.f64 (pow.f64 re 5) (pow.f64 im 3)))))
(fma.f64 re (pow.f64 im 3) (fma.f64 -1/6 (.f64 (pow.f64 im 3) (pow.f64 re 3)) (.f64 (*.f64 (pow.f64 im 3) (pow.f64 re 5)) 1/120)))
(fma.f64 re (pow.f64 im 3) (.f64 (pow.f64 im 3) (+.f64 (.f64 (pow.f64 re 5) 1/120) (*.f64 -1/6 (pow.f64 re 3)))))
(.f64 (pow.f64 im 3) (+.f64 re (fma.f64 -1/6 (pow.f64 re 3) (.f64 (pow.f64 re 5) 1/120))))
(.f64 (pow.f64 im 3) (+.f64 (.f64 (pow.f64 re 5) 1/120) (fma.f64 -1/6 (pow.f64 re 3) re)))
(+.f64 (.f64 re (pow.f64 im 3)) (+.f64 (.f64 -1/5040 (.f64 (pow.f64 re 7) (pow.f64 im 3))) (+.f64 (.f64 -1/6 (.f64 (pow.f64 re 3) (pow.f64 im 3))) (.f64 1/120 (*.f64 (pow.f64 re 5) (pow.f64 im 3))))))
(fma.f64 re (pow.f64 im 3) (fma.f64 -1/5040 (.f64 (pow.f64 im 3) (pow.f64 re 7)) (fma.f64 -1/6 (.f64 (pow.f64 im 3) (pow.f64 re 3)) (.f64 (.f64 (pow.f64 im 3) (pow.f64 re 5)) 1/120))))
(+.f64 (.f64 (pow.f64 im 3) (+.f64 (.f64 (pow.f64 re 5) 1/120) (.f64 -1/6 (pow.f64 re 3)))) (.f64 (pow.f64 im 3) (+.f64 re (*.f64 (pow.f64 re 7) -1/5040))))
(.f64 (pow.f64 im 3) (+.f64 (fma.f64 -1/6 (pow.f64 re 3) (.f64 (pow.f64 re 5) 1/120)) (+.f64 re (*.f64 (pow.f64 re 7) -1/5040))))
(.f64 (pow.f64 im 3) (+.f64 (fma.f64 -1/6 (pow.f64 re 3) re) (fma.f64 (pow.f64 re 5) 1/120 (.f64 (pow.f64 re 7) -1/5040))))
(*.f64 re (pow.f64 im 5))
(+.f64 (.f64 re (pow.f64 im 5)) (.f64 -1/6 (*.f64 (pow.f64 re 3) (pow.f64 im 5))))
(fma.f64 re (pow.f64 im 5) (.f64 -1/6 (.f64 (pow.f64 re 3) (pow.f64 im 5))))
(.f64 (pow.f64 im 5) (+.f64 re (.f64 -1/6 (pow.f64 re 3))))
(*.f64 (pow.f64 im 5) (fma.f64 -1/6 (pow.f64 re 3) re))
(+.f64 (.f64 re (pow.f64 im 5)) (+.f64 (.f64 -1/6 (.f64 (pow.f64 re 3) (pow.f64 im 5))) (.f64 1/120 (*.f64 (pow.f64 re 5) (pow.f64 im 5)))))
(fma.f64 re (pow.f64 im 5) (fma.f64 -1/6 (.f64 (pow.f64 re 3) (pow.f64 im 5)) (.f64 1/120 (*.f64 (pow.f64 re 5) (pow.f64 im 5)))))
(fma.f64 re (pow.f64 im 5) (.f64 (pow.f64 im 5) (+.f64 (.f64 (pow.f64 re 5) 1/120) (*.f64 -1/6 (pow.f64 re 3)))))
(.f64 (pow.f64 im 5) (+.f64 re (fma.f64 -1/6 (pow.f64 re 3) (.f64 (pow.f64 re 5) 1/120))))
(.f64 (pow.f64 im 5) (+.f64 (.f64 (pow.f64 re 5) 1/120) (fma.f64 -1/6 (pow.f64 re 3) re)))
(+.f64 (.f64 re (pow.f64 im 5)) (+.f64 (.f64 -1/5040 (.f64 (pow.f64 re 7) (pow.f64 im 5))) (+.f64 (.f64 -1/6 (.f64 (pow.f64 re 3) (pow.f64 im 5))) (.f64 1/120 (*.f64 (pow.f64 re 5) (pow.f64 im 5))))))
(fma.f64 re (pow.f64 im 5) (fma.f64 -1/5040 (.f64 (pow.f64 re 7) (pow.f64 im 5)) (fma.f64 -1/6 (.f64 (pow.f64 re 3) (pow.f64 im 5)) (.f64 1/120 (.f64 (pow.f64 re 5) (pow.f64 im 5))))))
(+.f64 (.f64 (pow.f64 im 5) (+.f64 (.f64 (pow.f64 re 5) 1/120) (.f64 -1/6 (pow.f64 re 3)))) (.f64 (pow.f64 im 5) (+.f64 re (*.f64 (pow.f64 re 7) -1/5040))))
(.f64 (pow.f64 im 5) (+.f64 (fma.f64 -1/6 (pow.f64 re 3) (.f64 (pow.f64 re 5) 1/120)) (+.f64 re (*.f64 (pow.f64 re 7) -1/5040))))
(.f64 (pow.f64 im 5) (+.f64 (fma.f64 -1/6 (pow.f64 re 3) re) (fma.f64 (pow.f64 re 5) 1/120 (.f64 (pow.f64 re 7) -1/5040))))

prune261.0ms (3%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	95	3	98
Fresh	1	3	4
Picked	1	0	1
Done	0	1	1
Total	97	7	104

Error

0.0b

Counts

104 → 7

Alt Table

Status	Error	Program
	24.2b	(+.f64 (.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7))) (+.f64 (.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3))) (+.f64 (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 -1 (pow.f64 (sqrt.f64 (.f64 (sin.f64 re) im)) 2)))))
	25.8b	(+.f64 (.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7))) (+.f64 (.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3))) (+.f64 (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 -1 (exp.f64 (log.f64 (.f64 (sin.f64 re) im)))))))
	31.4b	(+.f64 (.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7))) (+.f64 (.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3))) (+.f64 (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 -1 (+.f64 (.f64 1/120 (.f64 (pow.f64 re 5) im)) (+.f64 (.f64 -1/5040 (.f64 (pow.f64 re 7) im)) (+.f64 (.f64 -1/6 (.f64 (pow.f64 re 3) im)) (.f64 re im))))))))
	39.5b	(log1p.f64 (expm1.f64 (.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))
	30.2b	(cbrt.f64 (.f64 (pow.f64 (.f64 1/2 (sin.f64 re)) 3) (pow.f64 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))) 3)))
▶	1.3b	(pow.f64 (cbrt.f64 (.f64 (sin.f64 re) (.f64 1/2 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))))))) 3)
✓	0.4b	(.f64 (.f64 1/2 (sin.f64 re)) (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))))

Compiler

Compiled 4327 to 2859 computations (33.9% saved)

localize27.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (sin.f64 re) (.f64 1/2 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))))))
	0.1b	(fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))
✓	0.5b	(pow.f64 (cbrt.f64 (.f64 (sin.f64 re) (.f64 1/2 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))))))) 3)
✓	18.7b	(cbrt.f64 (.f64 (sin.f64 re) (.f64 1/2 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))))))

series32.0ms (0.4%)

Counts

3 → 40

Calls

18 calls:

Time	Variable		Point	Expression
4.0ms	re	@	inf	(cbrt.f64 (.f64 (sin.f64 re) (.f64 1/2 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))))))
4.0ms	re	@	0	(pow.f64 (cbrt.f64 (.f64 (sin.f64 re) (.f64 1/2 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))))))) 3)
4.0ms	re	@	inf	(pow.f64 (cbrt.f64 (.f64 (sin.f64 re) (.f64 1/2 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))))))) 3)
3.0ms	im	@	inf	(pow.f64 (cbrt.f64 (.f64 (sin.f64 re) (.f64 1/2 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))))))) 3)
3.0ms	re	@	-inf	(cbrt.f64 (.f64 (sin.f64 re) (.f64 1/2 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))))))

rewrite59.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

220×	`add-sqr-sqrt_binary64`
211×	`add-log-exp_binary64`
211×	`log1p-expm1-u_binary64`
211×	`expm1-log1p-u_binary64`
208×	`add-cube-cbrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	101
1	493	101

Stop Event

1×	node limit

Counts

3 → 88

Calls

Call 1

Inputs

(cbrt.f64 (*.f64 (sin.f64 re) (*.f64 1/2 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))))))

(pow.f64 (cbrt.f64 (*.f64 (sin.f64 re) (*.f64 1/2 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))))))) 3)

(*.f64 (sin.f64 re) (*.f64 1/2 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))))))

Outputs

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

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

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

simplify48.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

634×	`distribute-rgt-in_binary64`
632×	`distribute-lft-in_binary64`
608×	`fma-def_binary64`
481×	`associate-l_binary64`
443×	`associate-r_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	78	1744
1	262	1719
2	1063	1386

Stop Event

1×	node limit

Counts

128 → 104

Calls

Call 1

Inputs
(.f64 (pow.f64 (.f64 (sin.f64 re) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))) 1/3) (cbrt.f64 1/2))
(.f64 (pow.f64 (.f64 (sin.f64 re) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))) 1/3) (cbrt.f64 1/2))
(.f64 (pow.f64 (.f64 (sin.f64 re) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))) 1/3) (cbrt.f64 1/2))
(.f64 (pow.f64 (.f64 (sin.f64 re) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))) 1/3) (cbrt.f64 1/2))
(.f64 (pow.f64 (.f64 (sin.f64 re) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))) 1/3) (cbrt.f64 1/2))
(.f64 (pow.f64 (.f64 (sin.f64 re) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))) 1/3) (cbrt.f64 1/2))
(.f64 (pow.f64 (.f64 (sin.f64 re) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))) 1/3) (cbrt.f64 1/2))
(.f64 (pow.f64 (.f64 (sin.f64 re) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))) 1/3) (cbrt.f64 1/2))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 (.f64 (pow.f64 (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))) 2) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (*.f64 -1/3 (pow.f64 im 3)))))) 1/3)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 (.f64 (pow.f64 (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))) 2) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (*.f64 -1/3 (pow.f64 im 3)))))) 1/3)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 (.f64 (pow.f64 (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))) 2) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (*.f64 -1/3 (pow.f64 im 3)))))) 1/3)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 (.f64 (pow.f64 (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))) 2) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (*.f64 -1/3 (pow.f64 im 3)))))) 1/3)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 (.f64 (pow.f64 (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))) 2) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (*.f64 -1/3 (pow.f64 im 3)))))) 1/3)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 (.f64 (pow.f64 (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))) 2) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (*.f64 -1/3 (pow.f64 im 3)))))) 1/3)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 (.f64 (pow.f64 (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))) 2) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (*.f64 -1/3 (pow.f64 im 3)))))) 1/3)))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 (.f64 (pow.f64 (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))) 2) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (*.f64 -1/3 (pow.f64 im 3)))))) 1/3)))
(.f64 1/2 (.f64 re (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))))
(+.f64 (.f64 -1/12 (.f64 (pow.f64 re 3) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))))) (.f64 1/2 (.f64 re (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))))))
(+.f64 (.f64 -1/12 (.f64 (pow.f64 re 3) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))))) (+.f64 (.f64 1/2 (.f64 re (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))))) (.f64 1/240 (.f64 (pow.f64 re 5) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))))))
(+.f64 (.f64 -1/12 (.f64 (pow.f64 re 3) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))))) (+.f64 (.f64 1/2 (.f64 re (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))))) (+.f64 (.f64 -1/10080 (.f64 (pow.f64 re 7) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))))) (.f64 1/240 (.f64 (pow.f64 re 5) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))))))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))))
(.f64 -1 (.f64 (sin.f64 re) im))
(+.f64 (.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (sin.f64 re) im)))
(+.f64 (.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3))) (+.f64 (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 -1 (.f64 (sin.f64 re) im))))
(+.f64 (.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7))) (+.f64 (.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3))) (+.f64 (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 -1 (.f64 (sin.f64 re) im)))))
(.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7)))
(+.f64 (.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7))) (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))))
(+.f64 (.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7))) (+.f64 (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3)))))
(+.f64 (.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7))) (+.f64 (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (+.f64 (.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (sin.f64 re) im)))))
(.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7)))
(+.f64 (.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7))) (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))))
(+.f64 (.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7))) (+.f64 (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3)))))
(+.f64 (.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7))) (+.f64 (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (+.f64 (.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (sin.f64 re) im)))))

Outputs
(.f64 (pow.f64 (.f64 (sin.f64 re) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))) 1/3) (cbrt.f64 1/2))
(.f64 (cbrt.f64 (.f64 (sin.f64 re) (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -2 im (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3))))))) (cbrt.f64 1/2))
(.f64 (cbrt.f64 (.f64 (sin.f64 re) (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))))) (cbrt.f64 1/2))
(.f64 (pow.f64 (.f64 (sin.f64 re) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))) 1/3) (cbrt.f64 1/2))
(.f64 (cbrt.f64 (.f64 (sin.f64 re) (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -2 im (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3))))))) (cbrt.f64 1/2))
(.f64 (cbrt.f64 (.f64 (sin.f64 re) (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))))) (cbrt.f64 1/2))
(.f64 (pow.f64 (.f64 (sin.f64 re) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))) 1/3) (cbrt.f64 1/2))
(.f64 (cbrt.f64 (.f64 (sin.f64 re) (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -2 im (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3))))))) (cbrt.f64 1/2))
(.f64 (cbrt.f64 (.f64 (sin.f64 re) (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))))) (cbrt.f64 1/2))
(.f64 (pow.f64 (.f64 (sin.f64 re) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))) 1/3) (cbrt.f64 1/2))
(.f64 (cbrt.f64 (.f64 (sin.f64 re) (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -2 im (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3))))))) (cbrt.f64 1/2))
(.f64 (cbrt.f64 (.f64 (sin.f64 re) (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))))) (cbrt.f64 1/2))
(.f64 (pow.f64 (.f64 (sin.f64 re) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))) 1/3) (cbrt.f64 1/2))
(.f64 (cbrt.f64 (.f64 (sin.f64 re) (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -2 im (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3))))))) (cbrt.f64 1/2))
(.f64 (cbrt.f64 (.f64 (sin.f64 re) (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))))) (cbrt.f64 1/2))
(.f64 (pow.f64 (.f64 (sin.f64 re) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))) 1/3) (cbrt.f64 1/2))
(.f64 (cbrt.f64 (.f64 (sin.f64 re) (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -2 im (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3))))))) (cbrt.f64 1/2))
(.f64 (cbrt.f64 (.f64 (sin.f64 re) (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))))) (cbrt.f64 1/2))
(.f64 (pow.f64 (.f64 (sin.f64 re) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))) 1/3) (cbrt.f64 1/2))
(.f64 (cbrt.f64 (.f64 (sin.f64 re) (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -2 im (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3))))))) (cbrt.f64 1/2))
(.f64 (cbrt.f64 (.f64 (sin.f64 re) (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))))) (cbrt.f64 1/2))
(.f64 (pow.f64 (.f64 (sin.f64 re) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))) 1/3) (cbrt.f64 1/2))
(.f64 (cbrt.f64 (.f64 (sin.f64 re) (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -2 im (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3))))))) (cbrt.f64 1/2))
(.f64 (cbrt.f64 (.f64 (sin.f64 re) (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))))) (cbrt.f64 1/2))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 (.f64 (pow.f64 (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))) 2) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (*.f64 -1/3 (pow.f64 im 3)))))) 1/3)))
(.f64 1/2 (.f64 (sin.f64 re) (cbrt.f64 (.f64 (pow.f64 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -2 im (fma.f64 -1/60 (pow.f64 im 5) (.f64 -1/3 (pow.f64 im 3))))) 2) (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3)))))))))
(.f64 (sin.f64 re) (.f64 (cbrt.f64 (.f64 (pow.f64 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (.f64 -1/60 (pow.f64 im 5))))) 2) (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))))) 1/2))
(.f64 (sin.f64 re) (.f64 (cbrt.f64 (pow.f64 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))) 3)) 1/2))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 (.f64 (pow.f64 (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))) 2) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (*.f64 -1/3 (pow.f64 im 3)))))) 1/3)))
(.f64 1/2 (.f64 (sin.f64 re) (cbrt.f64 (.f64 (pow.f64 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -2 im (fma.f64 -1/60 (pow.f64 im 5) (.f64 -1/3 (pow.f64 im 3))))) 2) (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3)))))))))
(.f64 (sin.f64 re) (.f64 (cbrt.f64 (.f64 (pow.f64 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (.f64 -1/60 (pow.f64 im 5))))) 2) (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))))) 1/2))
(.f64 (sin.f64 re) (.f64 (cbrt.f64 (pow.f64 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))) 3)) 1/2))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 (.f64 (pow.f64 (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))) 2) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (*.f64 -1/3 (pow.f64 im 3)))))) 1/3)))
(.f64 1/2 (.f64 (sin.f64 re) (cbrt.f64 (.f64 (pow.f64 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -2 im (fma.f64 -1/60 (pow.f64 im 5) (.f64 -1/3 (pow.f64 im 3))))) 2) (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3)))))))))
(.f64 (sin.f64 re) (.f64 (cbrt.f64 (.f64 (pow.f64 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (.f64 -1/60 (pow.f64 im 5))))) 2) (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))))) 1/2))
(.f64 (sin.f64 re) (.f64 (cbrt.f64 (pow.f64 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))) 3)) 1/2))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 (.f64 (pow.f64 (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))) 2) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (*.f64 -1/3 (pow.f64 im 3)))))) 1/3)))
(.f64 1/2 (.f64 (sin.f64 re) (cbrt.f64 (.f64 (pow.f64 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -2 im (fma.f64 -1/60 (pow.f64 im 5) (.f64 -1/3 (pow.f64 im 3))))) 2) (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3)))))))))
(.f64 (sin.f64 re) (.f64 (cbrt.f64 (.f64 (pow.f64 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (.f64 -1/60 (pow.f64 im 5))))) 2) (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))))) 1/2))
(.f64 (sin.f64 re) (.f64 (cbrt.f64 (pow.f64 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))) 3)) 1/2))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 (.f64 (pow.f64 (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))) 2) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (*.f64 -1/3 (pow.f64 im 3)))))) 1/3)))
(.f64 1/2 (.f64 (sin.f64 re) (cbrt.f64 (.f64 (pow.f64 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -2 im (fma.f64 -1/60 (pow.f64 im 5) (.f64 -1/3 (pow.f64 im 3))))) 2) (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3)))))))))
(.f64 (sin.f64 re) (.f64 (cbrt.f64 (.f64 (pow.f64 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (.f64 -1/60 (pow.f64 im 5))))) 2) (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))))) 1/2))
(.f64 (sin.f64 re) (.f64 (cbrt.f64 (pow.f64 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))) 3)) 1/2))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 (.f64 (pow.f64 (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))) 2) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (*.f64 -1/3 (pow.f64 im 3)))))) 1/3)))
(.f64 1/2 (.f64 (sin.f64 re) (cbrt.f64 (.f64 (pow.f64 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -2 im (fma.f64 -1/60 (pow.f64 im 5) (.f64 -1/3 (pow.f64 im 3))))) 2) (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3)))))))))
(.f64 (sin.f64 re) (.f64 (cbrt.f64 (.f64 (pow.f64 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (.f64 -1/60 (pow.f64 im 5))))) 2) (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))))) 1/2))
(.f64 (sin.f64 re) (.f64 (cbrt.f64 (pow.f64 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))) 3)) 1/2))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 (.f64 (pow.f64 (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))) 2) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (*.f64 -1/3 (pow.f64 im 3)))))) 1/3)))
(.f64 1/2 (.f64 (sin.f64 re) (cbrt.f64 (.f64 (pow.f64 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -2 im (fma.f64 -1/60 (pow.f64 im 5) (.f64 -1/3 (pow.f64 im 3))))) 2) (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3)))))))))
(.f64 (sin.f64 re) (.f64 (cbrt.f64 (.f64 (pow.f64 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (.f64 -1/60 (pow.f64 im 5))))) 2) (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))))) 1/2))
(.f64 (sin.f64 re) (.f64 (cbrt.f64 (pow.f64 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))) 3)) 1/2))
(.f64 1/2 (.f64 (sin.f64 re) (pow.f64 (.f64 (pow.f64 (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))) 2) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (*.f64 -1/3 (pow.f64 im 3)))))) 1/3)))
(.f64 1/2 (.f64 (sin.f64 re) (cbrt.f64 (.f64 (pow.f64 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -2 im (fma.f64 -1/60 (pow.f64 im 5) (.f64 -1/3 (pow.f64 im 3))))) 2) (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3)))))))))
(.f64 (sin.f64 re) (.f64 (cbrt.f64 (.f64 (pow.f64 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (.f64 -1/60 (pow.f64 im 5))))) 2) (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))))) 1/2))
(.f64 (sin.f64 re) (.f64 (cbrt.f64 (pow.f64 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))) 3)) 1/2))
(.f64 1/2 (.f64 re (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))))
(.f64 (.f64 1/2 re) (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -2 im (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3))))))
(.f64 re (.f64 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))) 1/2))
(+.f64 (.f64 -1/12 (.f64 (pow.f64 re 3) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))))) (.f64 1/2 (.f64 re (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))))))
(fma.f64 -1/12 (.f64 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (.f64 -1/3 (pow.f64 im 3))))) (pow.f64 re 3)) (.f64 (.f64 1/2 re) (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -2 im (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3)))))))
(fma.f64 1/2 (.f64 re (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (.f64 -1/60 (pow.f64 im 5)))))) (.f64 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (.f64 -1/60 (pow.f64 im 5))))) (*.f64 -1/12 (pow.f64 re 3))))
(.f64 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (.f64 -1/60 (pow.f64 im 5))))) (+.f64 (.f64 re 1/2) (.f64 -1/12 (pow.f64 re 3))))
(+.f64 (.f64 -1/12 (.f64 (pow.f64 re 3) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))))) (+.f64 (.f64 1/2 (.f64 re (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))))) (.f64 1/240 (.f64 (pow.f64 re 5) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))))))
(fma.f64 -1/12 (.f64 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (.f64 -1/3 (pow.f64 im 3))))) (pow.f64 re 3)) (fma.f64 1/2 (.f64 re (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -2 im (fma.f64 -1/60 (pow.f64 im 5) (.f64 -1/3 (pow.f64 im 3)))))) (.f64 1/240 (.f64 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3))))) (pow.f64 re 5)))))
(fma.f64 -1/12 (.f64 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (.f64 -1/60 (pow.f64 im 5))))) (pow.f64 re 3)) (fma.f64 1/2 (.f64 re (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (.f64 -1/60 (pow.f64 im 5)))))) (.f64 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (.f64 -1/60 (pow.f64 im 5))))) (*.f64 1/240 (pow.f64 re 5)))))
(fma.f64 re (.f64 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (.f64 -1/60 (pow.f64 im 5))))) 1/2) (.f64 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (.f64 -1/60 (pow.f64 im 5))))) (+.f64 (.f64 1/240 (pow.f64 re 5)) (.f64 -1/12 (pow.f64 re 3)))))
(+.f64 (.f64 -1/12 (.f64 (pow.f64 re 3) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))))) (+.f64 (.f64 1/2 (.f64 re (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))))) (+.f64 (.f64 -1/10080 (.f64 (pow.f64 re 7) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))))) (.f64 1/240 (.f64 (pow.f64 re 5) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3))))))))))
(fma.f64 -1/12 (.f64 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (.f64 -1/3 (pow.f64 im 3))))) (pow.f64 re 3)) (fma.f64 1/2 (.f64 re (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -2 im (fma.f64 -1/60 (pow.f64 im 5) (.f64 -1/3 (pow.f64 im 3)))))) (fma.f64 -1/10080 (.f64 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (.f64 -1/3 (pow.f64 im 3))))) (pow.f64 re 7)) (.f64 1/240 (.f64 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3))))) (pow.f64 re 5))))))
(fma.f64 -1/12 (.f64 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (.f64 -1/60 (pow.f64 im 5))))) (pow.f64 re 3)) (fma.f64 1/2 (.f64 re (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (.f64 -1/60 (pow.f64 im 5)))))) (.f64 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (.f64 -1/60 (pow.f64 im 5))))) (+.f64 (.f64 1/240 (pow.f64 re 5)) (.f64 -1/10080 (pow.f64 re 7))))))
(fma.f64 1/2 (.f64 re (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (.f64 -1/60 (pow.f64 im 5)))))) (.f64 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (.f64 -1/60 (pow.f64 im 5))))) (+.f64 (fma.f64 1/240 (pow.f64 re 5) (.f64 -1/10080 (pow.f64 re 7))) (.f64 -1/12 (pow.f64 re 3)))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))))
(.f64 (.f64 1/2 (sin.f64 re)) (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3))))))
(.f64 (.f64 (sin.f64 re) (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))))) 1/2)
(.f64 (sin.f64 re) (.f64 1/2 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))))
(.f64 (.f64 1/2 (sin.f64 re)) (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3))))))
(.f64 (.f64 (sin.f64 re) (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))))) 1/2)
(.f64 (sin.f64 re) (.f64 1/2 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))))
(.f64 (.f64 1/2 (sin.f64 re)) (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3))))))
(.f64 (.f64 (sin.f64 re) (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))))) 1/2)
(.f64 (sin.f64 re) (.f64 1/2 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))))
(.f64 (.f64 1/2 (sin.f64 re)) (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3))))))
(.f64 (.f64 (sin.f64 re) (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))))) 1/2)
(.f64 (sin.f64 re) (.f64 1/2 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))))
(.f64 (.f64 1/2 (sin.f64 re)) (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3))))))
(.f64 (.f64 (sin.f64 re) (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))))) 1/2)
(.f64 (sin.f64 re) (.f64 1/2 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))))
(.f64 (.f64 1/2 (sin.f64 re)) (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3))))))
(.f64 (.f64 (sin.f64 re) (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))))) 1/2)
(.f64 (sin.f64 re) (.f64 1/2 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))))
(.f64 (.f64 1/2 (sin.f64 re)) (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3))))))
(.f64 (.f64 (sin.f64 re) (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))))) 1/2)
(.f64 (sin.f64 re) (.f64 1/2 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))))))
(.f64 1/2 (.f64 (sin.f64 re) (+.f64 (.f64 -2 im) (+.f64 (.f64 -1/2520 (pow.f64 im 7)) (+.f64 (.f64 -1/60 (pow.f64 im 5)) (.f64 -1/3 (pow.f64 im 3)))))))
(.f64 (.f64 1/2 (sin.f64 re)) (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/60 (pow.f64 im 5) (*.f64 -1/3 (pow.f64 im 3))))))
(.f64 (.f64 (sin.f64 re) (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))))) 1/2)
(.f64 (sin.f64 re) (.f64 1/2 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))))))
(.f64 -1 (.f64 (sin.f64 re) im))
(neg.f64 (*.f64 (sin.f64 re) im))
(*.f64 (sin.f64 re) (neg.f64 im))
(+.f64 (.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (sin.f64 re) im)))
(fma.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3)) (neg.f64 (.f64 (sin.f64 re) im)))
(-.f64 (.f64 (sin.f64 re) (.f64 (pow.f64 im 3) -1/6)) (*.f64 (sin.f64 re) im))
(.f64 (sin.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(+.f64 (.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3))) (+.f64 (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 -1 (.f64 (sin.f64 re) im))))
(fma.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3)) (fma.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5)) (neg.f64 (*.f64 (sin.f64 re) im))))
(-.f64 (fma.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3)) (.f64 (sin.f64 re) (.f64 (pow.f64 im 5) -1/120))) (.f64 (sin.f64 re) im))
(fma.f64 (sin.f64 re) (.f64 (pow.f64 im 3) -1/6) (.f64 (sin.f64 re) (-.f64 (*.f64 -1/120 (pow.f64 im 5)) im)))
(+.f64 (.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7))) (+.f64 (.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3))) (+.f64 (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 -1 (.f64 (sin.f64 re) im)))))
(fma.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7)) (fma.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3)) (fma.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5)) (neg.f64 (.f64 (sin.f64 re) im)))))
(fma.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7)) (-.f64 (fma.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3)) (.f64 (sin.f64 re) (.f64 (pow.f64 im 5) -1/120))) (*.f64 (sin.f64 re) im)))
(+.f64 (.f64 (sin.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 (sin.f64 re) (+.f64 (.f64 -1/120 (pow.f64 im 5)) (*.f64 -1/5040 (pow.f64 im 7)))))
(.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7)))
(.f64 (sin.f64 re) (.f64 (pow.f64 im 7) -1/5040))
(+.f64 (.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7))) (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))))
(fma.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7)) (.f64 -1/120 (*.f64 (sin.f64 re) (pow.f64 im 5))))
(fma.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5)) (.f64 (sin.f64 re) (*.f64 (pow.f64 im 7) -1/5040)))
(.f64 (sin.f64 re) (+.f64 (.f64 -1/120 (pow.f64 im 5)) (*.f64 -1/5040 (pow.f64 im 7))))
(+.f64 (.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7))) (+.f64 (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3)))))
(fma.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7)) (fma.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5)) (.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3)))))
(fma.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7)) (fma.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3)) (.f64 (sin.f64 re) (.f64 (pow.f64 im 5) -1/120))))
(fma.f64 (sin.f64 re) (.f64 (pow.f64 im 3) -1/6) (.f64 (sin.f64 re) (+.f64 (.f64 -1/120 (pow.f64 im 5)) (.f64 -1/5040 (pow.f64 im 7)))))
(+.f64 (.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7))) (+.f64 (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (+.f64 (.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (sin.f64 re) im)))))
(fma.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7)) (fma.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3)) (fma.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5)) (neg.f64 (.f64 (sin.f64 re) im)))))
(fma.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7)) (-.f64 (fma.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3)) (.f64 (sin.f64 re) (.f64 (pow.f64 im 5) -1/120))) (*.f64 (sin.f64 re) im)))
(+.f64 (.f64 (sin.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 (sin.f64 re) (+.f64 (.f64 -1/120 (pow.f64 im 5)) (*.f64 -1/5040 (pow.f64 im 7)))))
(.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7)))
(.f64 (sin.f64 re) (.f64 (pow.f64 im 7) -1/5040))
(+.f64 (.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7))) (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))))
(fma.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7)) (.f64 -1/120 (*.f64 (sin.f64 re) (pow.f64 im 5))))
(fma.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5)) (.f64 (sin.f64 re) (*.f64 (pow.f64 im 7) -1/5040)))
(.f64 (sin.f64 re) (+.f64 (.f64 -1/120 (pow.f64 im 5)) (*.f64 -1/5040 (pow.f64 im 7))))
(+.f64 (.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7))) (+.f64 (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3)))))
(fma.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7)) (fma.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5)) (.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3)))))
(fma.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7)) (fma.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3)) (.f64 (sin.f64 re) (.f64 (pow.f64 im 5) -1/120))))
(fma.f64 (sin.f64 re) (.f64 (pow.f64 im 3) -1/6) (.f64 (sin.f64 re) (+.f64 (.f64 -1/120 (pow.f64 im 5)) (.f64 -1/5040 (pow.f64 im 7)))))
(+.f64 (.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7))) (+.f64 (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (+.f64 (.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (sin.f64 re) im)))))
(fma.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7)) (fma.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3)) (fma.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5)) (neg.f64 (.f64 (sin.f64 re) im)))))
(fma.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7)) (-.f64 (fma.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3)) (.f64 (sin.f64 re) (.f64 (pow.f64 im 5) -1/120))) (*.f64 (sin.f64 re) im)))
(+.f64 (.f64 (sin.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 (sin.f64 re) (+.f64 (.f64 -1/120 (pow.f64 im 5)) (*.f64 -1/5040 (pow.f64 im 7)))))

prune331.0ms (3.8%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	123	7	130
Fresh	2	3	5
Picked	1	0	1
Done	0	1	1
Total	126	11	137

Error

0.0b

Counts

137 → 11

Alt Table

Status	Error	Program
	24.8b	(.f64 (sin.f64 re) (.f64 (cbrt.f64 (pow.f64 (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 im -2 (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))) 3)) 1/2))
	29.8b	(.f64 (sqrt.f64 (sin.f64 re)) (.f64 (sqrt.f64 (sin.f64 re)) (.f64 1/2 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (.f64 -1/60 (pow.f64 im 5))))))))
	23.8b	(.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (.f64 -1/60 (pow.f64 im 5))))) (.f64 1/2 (sin.f64 re))) 2))) (.f64 (cbrt.f64 (cbrt.f64 (.f64 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (.f64 -1/60 (pow.f64 im 5))))) (.f64 1/2 (sin.f64 re))))) (cbrt.f64 (pow.f64 (.f64 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (.f64 -1/60 (pow.f64 im 5))))) (*.f64 1/2 (sin.f64 re))) 2))))
	30.1b	(.f64 (.f64 (.f64 (sin.f64 re) 1/2) (sqrt.f64 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (.f64 -1/60 (pow.f64 im 5))))))) (sqrt.f64 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5)))))))
	24.2b	(+.f64 (.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7))) (+.f64 (.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3))) (+.f64 (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 -1 (pow.f64 (sqrt.f64 (.f64 (sin.f64 re) im)) 2)))))
	31.4b	(+.f64 (.f64 -1/5040 (.f64 (sin.f64 re) (pow.f64 im 7))) (+.f64 (.f64 -1/6 (.f64 (sin.f64 re) (pow.f64 im 3))) (+.f64 (.f64 -1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 -1 (+.f64 (.f64 1/120 (.f64 (pow.f64 re 5) im)) (+.f64 (.f64 -1/5040 (.f64 (pow.f64 re 7) im)) (+.f64 (.f64 -1/6 (.f64 (pow.f64 re 3) im)) (.f64 re im))))))))
	39.5b	(log1p.f64 (expm1.f64 (.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))
	1.1b	(.f64 (.f64 (.f64 1/2 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (.f64 -1/60 (pow.f64 im 5)))))) (pow.f64 (cbrt.f64 (sin.f64 re)) 2)) (cbrt.f64 (sin.f64 re)))
	1.3b	(.f64 (.f64 (sin.f64 re) (pow.f64 (cbrt.f64 (.f64 1/2 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (.f64 -1/60 (pow.f64 im 5))))))) 2)) (cbrt.f64 (.f64 1/2 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (.f64 -1/60 (pow.f64 im 5))))))))
	1.3b	(.f64 (pow.f64 (cbrt.f64 (.f64 1/2 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (.f64 -1/60 (pow.f64 im 5))))))) 2) (.f64 (cbrt.f64 (.f64 1/2 (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (.f64 -1/60 (pow.f64 im 5))))))) (sin.f64 re)))
✓	0.4b	(.f64 (.f64 1/2 (sin.f64 re)) (fma.f64 -2 im (fma.f64 -1/2520 (pow.f64 im 7) (fma.f64 -1/3 (pow.f64 im 3) (*.f64 -1/60 (pow.f64 im 5))))))

Compiler

Compiled 4946 to 3827 computations (22.6% saved)

regimes186.0ms (2.1%)

Accuracy

Total -59.8b remaining (-7560.5%)

Threshold costs -59.8b (-7560.5%)

Counts

45 → 1

Compiler

Compiled 1273 to 904 computations (29% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative_binary64`
4×	`+-commutative_binary64`
2×	`sub-neg_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	38
1	30	38
2	35	38
3	37	38
4	38	38

Stop Event

1×

saturated

Calls

Call 1

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

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

end297.0ms (3.4%)

Stop Event

1×

fuel

Compiler

Compiled 486 to 361 computations (25.7% saved)

Details

analyze532.0ms (6.1%)

sample6.2s (70.6%)

preprocess41.0ms (0.5%)

simplify24.0ms (0.3%)

prune2.0ms (0%)

localize8.0ms (0.1%)

series9.0ms (0.1%)

rewrite81.0ms (0.9%)

simplify41.0ms (0.5%)

prune49.0ms (0.6%)

localize15.0ms (0.2%)

series16.0ms (0.2%)

rewrite68.0ms (0.8%)

simplify37.0ms (0.4%)

prune263.0ms (3%)

localize18.0ms (0.2%)

series23.0ms (0.3%)

rewrite55.0ms (0.6%)

simplify41.0ms (0.5%)

prune261.0ms (3%)

localize27.0ms (0.3%)

series32.0ms (0.4%)

rewrite59.0ms (0.7%)

simplify48.0ms (0.5%)

prune331.0ms (3.8%)

regimes186.0ms (2.1%)

simplify3.0ms (0%)

end297.0ms (3.4%)

Profiling