Details

analyze143.0ms (1.5%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
50%	50%	0.1%	5
50%	50%	0.1%	6
50%	37.5%	12.6%	7
50%	37.5%	12.6%	8
50%	31.2%	18.8%	9
50%	31.2%	18.8%	10
50%	28.1%	22%	11
50%	28.1%	22%	12

Compiler

Compiled 15 to 12 computations (20% saved)

sample7.8s (82.1%)

Results

3.8s	4951×	body	1024	valid
1.2s	2045×	body	1024	invalid
1.0s	1774×	body	512	valid
519.0ms	1075×	body	512	invalid
438.0ms	431×	body	2048	valid
286.0ms	675×	body	256	valid
172.0ms	479×	body	256	invalid
117.0ms	750×	body	64	invalid
85.0ms	349×	body	128	valid
67.0ms	279×	body	128	invalid
10.0ms	76×	body	64	valid

preprocess58.0ms (0.6%)

Algorithm

2×	egg-herbie

Rules

738×	`div-sub_binary64`
692×	`fma-def_binary64`
564×	`times-frac_binary64`
459×	`associate-/r*_binary64`
454×	`fma-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	36
1	40	36
2	95	36
3	255	36
4	539	34
5	912	34
6	1812	34
7	3751	34
8	7327	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 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))
(.f64 (.f64 1/2 (cos.f64 im)) (-.f64 (exp.f64 (-.f64 0 re)) (exp.f64 re)))

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

Compiler

Compiled 14 to 11 computations (21.4% saved)

simplify39.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

623×	`associate-/l*_binary64`
546×	`div-sub_binary64`
462×	`times-frac_binary64`
367×	`associate-/r*_binary64`
358×	`distribute-neg-frac_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	12	18
1	23	18
2	52	18
3	132	18
4	281	17
5	473	17
6	929	17
7	2376	17
8	6224	17

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

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

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

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

59.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	59.0b	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))

Compiler

Compiled 53 to 38 computations (28.3% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series7.0ms (0.1%)

Counts

2 → 36

Calls

9 calls:

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

rewrite138.0ms (1.4%)

Algorithm

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

Rules

557×	`pow1_binary64`
523×	`add-log-exp_binary64`
521×	`log1p-expm1-u_binary64`
521×	`expm1-log1p-u_binary64`
512×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	28
1	252	28
2	3434	28
0	7	10
1	151	8
2	2242	8
0	12	18
1	252	18
2	3434	18
0	12	18

Stop Event

1×	iter limit
1×	node limit
1×	node limit
1×	node limit

Counts

2 → 41

Calls

Call 1

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

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

Outputs

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

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

simplify47.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

469×	`unswap-sqr_binary64`
413×	`distribute-rgt-in_binary64`
354×	`*-commutative_binary64`
335×	`distribute-lft-in_binary64`
334×	`fma-def_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	71	698
1	183	696
2	507	642
3	1865	612
4	4492	612

Stop Event

1×	node limit

Counts

77 → 69

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 (neg.f64 im)) (exp.f64 im))
(-.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))
(-.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 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(+.f64 (.f64 -1/4 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (pow.f64 re 2))) (*.f64 1/2 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(+.f64 (.f64 1/48 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (pow.f64 re 4))) (+.f64 (.f64 -1/4 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (pow.f64 re 2))) (*.f64 1/2 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
(+.f64 (.f64 -1/1440 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (pow.f64 re 6))) (+.f64 (.f64 1/48 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (pow.f64 re 4))) (+.f64 (.f64 -1/4 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (pow.f64 re 2))) (*.f64 1/2 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))
(.f64 1/2 (.f64 (cos.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 -1 (.f64 (cos.f64 re) im))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (cos.f64 re) im)))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (+.f64 (.f64 -1 (.f64 (cos.f64 re) im)) (.f64 -1/120 (.f64 (cos.f64 re) (pow.f64 im 5)))))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (+.f64 (.f64 -1 (.f64 (cos.f64 re) im)) (+.f64 (.f64 -1/120 (.f64 (cos.f64 re) (pow.f64 im 5))) (.f64 -1/5040 (.f64 (cos.f64 re) (pow.f64 im 7))))))
(.f64 1/2 (.f64 (cos.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (-.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (-.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (-.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (cos.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 -1/60 (pow.f64 im 5) (*.f64 -2 im)))
(+.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 -1/60 (pow.f64 im 5) (*.f64 -2 im))))
(-.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))
(-.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 (exp.f64 (*.f64 -1 im)) (exp.f64 im))
(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
(*.f64 1/2 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(*.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 1/2)
(+.f64 (.f64 -1/4 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (pow.f64 re 2))) (*.f64 1/2 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(fma.f64 -1/4 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 re re)) (*.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 1/2))
(.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (+.f64 1/2 (.f64 -1/4 (*.f64 re re))))
(+.f64 (.f64 1/48 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (pow.f64 re 4))) (+.f64 (.f64 -1/4 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (pow.f64 re 2))) (*.f64 1/2 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
(fma.f64 1/48 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (pow.f64 re 4)) (fma.f64 -1/4 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 re re)) (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 1/2)))
(fma.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 -1/4 (.f64 re re)) (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (+.f64 (.f64 1/48 (pow.f64 re 4)) 1/2)))
(.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (+.f64 1/2 (+.f64 (.f64 1/48 (pow.f64 re 4)) (.f64 -1/4 (.f64 re re)))))
(+.f64 (.f64 -1/1440 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (pow.f64 re 6))) (+.f64 (.f64 1/48 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (pow.f64 re 4))) (+.f64 (.f64 -1/4 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (pow.f64 re 2))) (*.f64 1/2 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))
(fma.f64 -1/1440 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (pow.f64 re 6)) (fma.f64 1/48 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (pow.f64 re 4)) (fma.f64 -1/4 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 re re)) (*.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 1/2))))
(+.f64 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (+.f64 1/2 (.f64 -1/4 (.f64 re re)))) (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (+.f64 (.f64 1/48 (pow.f64 re 4)) (.f64 -1/1440 (pow.f64 re 6)))))
(.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (+.f64 (+.f64 1/2 (.f64 -1/4 (.f64 re re))) (+.f64 (.f64 -1/1440 (pow.f64 re 6)) (*.f64 1/48 (pow.f64 re 4)))))
(.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (+.f64 (+.f64 (.f64 1/48 (pow.f64 re 4)) (.f64 -1/4 (.f64 re re))) (+.f64 1/2 (*.f64 -1/1440 (pow.f64 re 6)))))
(.f64 1/2 (.f64 (cos.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 1/2 (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 1/2 (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 1/2 (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 1/2 (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 1/2 (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 1/2 (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 1/2 (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 1/2 (cos.f64 re)))
(.f64 -1 (.f64 (cos.f64 re) im))
(neg.f64 (*.f64 im (cos.f64 re)))
(*.f64 (neg.f64 im) (cos.f64 re))
(*.f64 im (neg.f64 (cos.f64 re)))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (cos.f64 re) im)))
(fma.f64 -1/6 (.f64 (pow.f64 im 3) (cos.f64 re)) (neg.f64 (.f64 im (cos.f64 re))))
(-.f64 (.f64 (pow.f64 im 3) (.f64 (cos.f64 re) -1/6)) (*.f64 im (cos.f64 re)))
(.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (+.f64 (.f64 -1 (.f64 (cos.f64 re) im)) (.f64 -1/120 (.f64 (cos.f64 re) (pow.f64 im 5)))))
(fma.f64 -1/6 (.f64 (pow.f64 im 3) (cos.f64 re)) (fma.f64 -1 (.f64 im (cos.f64 re)) (.f64 -1/120 (.f64 (pow.f64 im 5) (cos.f64 re)))))
(fma.f64 (.f64 (cos.f64 re) -1/6) (pow.f64 im 3) (fma.f64 (.f64 (cos.f64 re) -1/120) (pow.f64 im 5) (*.f64 (neg.f64 im) (cos.f64 re))))
(fma.f64 (pow.f64 im 3) (.f64 (cos.f64 re) -1/6) (.f64 (cos.f64 re) (-.f64 (*.f64 (pow.f64 im 5) -1/120) im)))
(.f64 (cos.f64 re) (+.f64 (-.f64 (.f64 (pow.f64 im 3) -1/6) im) (*.f64 (pow.f64 im 5) -1/120)))
(.f64 (cos.f64 re) (-.f64 (+.f64 (.f64 (pow.f64 im 3) -1/6) (*.f64 (pow.f64 im 5) -1/120)) im))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (+.f64 (.f64 -1 (.f64 (cos.f64 re) im)) (+.f64 (.f64 -1/120 (.f64 (cos.f64 re) (pow.f64 im 5))) (.f64 -1/5040 (.f64 (cos.f64 re) (pow.f64 im 7))))))
(fma.f64 -1/6 (.f64 (pow.f64 im 3) (cos.f64 re)) (fma.f64 -1 (.f64 im (cos.f64 re)) (fma.f64 -1/120 (.f64 (pow.f64 im 5) (cos.f64 re)) (.f64 -1/5040 (*.f64 (pow.f64 im 7) (cos.f64 re))))))
(fma.f64 -1/6 (.f64 (pow.f64 im 3) (cos.f64 re)) (-.f64 (fma.f64 -1/120 (.f64 (pow.f64 im 5) (cos.f64 re)) (.f64 (pow.f64 im 7) (.f64 (cos.f64 re) -1/5040))) (*.f64 im (cos.f64 re))))
(+.f64 (.f64 (cos.f64 re) (+.f64 (.f64 (pow.f64 im 7) -1/5040) (.f64 (pow.f64 im 5) -1/120))) (.f64 (cos.f64 re) (-.f64 (*.f64 (pow.f64 im 3) -1/6) im)))
(.f64 (cos.f64 re) (+.f64 (+.f64 (.f64 (pow.f64 im 7) -1/5040) (.f64 (pow.f64 im 5) -1/120)) (-.f64 (.f64 (pow.f64 im 3) -1/6) im)))
(.f64 (cos.f64 re) (-.f64 (+.f64 (.f64 (pow.f64 im 3) -1/6) (.f64 (pow.f64 im 5) -1/120)) (+.f64 im (.f64 (pow.f64 im 7) 1/5040))))
(.f64 1/2 (.f64 (cos.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 1/2 (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 1/2 (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 1/2 (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 1/2 (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (-.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 1/2 (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (-.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 1/2 (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (-.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 1/2 (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (-.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 1/2 (cos.f64 re)))

prune45.0ms (0.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	68	1	69
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	68	2	70

Error

0.1b

Counts

70 → 2

Alt Table

Status	Error	Program
✓	59.0b	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))
▶	0.4b	(.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im))

Compiler

Compiled 1261 to 593 computations (53% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series8.0ms (0.1%)

Counts

2 → 36

Calls

9 calls:

Time	Variable		Point	Expression
2.0ms	im	@	inf	(.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im))
1.0ms	re	@	inf	(.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im))
1.0ms	re	@	0	(.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im))
1.0ms	im	@	0	(.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im))
0.0ms	im	@	inf	(*.f64 (pow.f64 im 3) -1/6)

rewrite50.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

646×	`prod-diff_binary64`
478×	`log-prod_binary64`
333×	`fma-def_binary64`
312×	`pow-prod-down_binary64`
266×	`pow2_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	22
1	218	22
2	2640	22

Stop Event

1×	node limit

Counts

2 → 48

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 (pow.f64 im 3) -1/6) (cos.f64 re)) (.f64 (neg.f64 im) (cos.f64 re)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 3) -1/6)) (.f64 (cos.f64 re) (neg.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (cos.f64 re)) (-.f64 (.f64 (pow.f64 im 3) -1/6) im))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (cos.f64 re)) (-.f64 (.f64 (pow.f64 im 3) -1/6) im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (cos.f64 re)) (-.f64 (.f64 (pow.f64 im 3) -1/6) im)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (cos.f64 re)) (-.f64 (.f64 (pow.f64 im 3) -1/6) im)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (fma.f64 (pow.f64 im 9) -1/216 (neg.f64 (pow.f64 im 3))) (cos.f64 re)) (fma.f64 im (fma.f64 (pow.f64 im 3) -1/6 im) (.f64 (pow.f64 im 6) 1/36)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (.f64 (pow.f64 im 6) 1/36) (.f64 im im)) (cos.f64 re)) (fma.f64 (pow.f64 im 3) -1/6 im))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (cos.f64 re) (fma.f64 (pow.f64 im 9) -1/216 (neg.f64 (pow.f64 im 3)))) (fma.f64 im (fma.f64 (pow.f64 im 3) -1/6 im) (.f64 (pow.f64 im 6) 1/36)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 6) 1/36) (.f64 im im))) (fma.f64 (pow.f64 im 3) -1/6 im))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (cos.f64 re)) (-.f64 (.f64 (pow.f64 im 3) -1/6) im)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (.f64 3 (log.f64 (.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im)))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cos.f64 re) (.f64 (pow.f64 im 3) -1/6) (.f64 (cos.f64 re) (neg.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (pow.f64 im 3) -1/6) (cos.f64 re) (.f64 (neg.f64 im) (cos.f64 re)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (pow.f64 im 3) -1/6))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (.f64 (pow.f64 im 3) -1/6))) 2)) (log.f64 (cbrt.f64 (exp.f64 (.f64 (pow.f64 im 3) -1/6)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (.f64 (pow.f64 im 3) -1/6)))) (log.f64 (sqrt.f64 (exp.f64 (.f64 (pow.f64 im 3) -1/6)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 (pow.f64 im 3) -1/6))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (pow.f64 im 3) -1/6) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (pow.f64 im 6) 1/36) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 im (cbrt.f64 -1/6)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 im (cbrt.f64 -1/6)) 3/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (pow.f64 im 9) -1/216) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (.f64 (pow.f64 im 6) 1/36))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (.f64 (pow.f64 im 3) -1/6)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 (pow.f64 im 3) -1/6))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 im 9) -1/216))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 (pow.f64 im 3) -1/6)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 (pow.f64 im 3) -1/6)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 im (cbrt.f64 -1/6))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (pow.f64 (.f64 im (cbrt.f64 -1/6)) 3/2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 (pow.f64 im 9) -1/216)) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (pow.f64 im 3) -1/6)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (pow.f64 im 3) -1/6)))))))

Outputs

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

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

simplify42.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

727×	`fma-neg_binary64`
642×	`cancel-sign-sub-inv_binary64`
558×	`unsub-neg_binary64`
458×	`associate-+l+_binary64`
348×	`*-commutative_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	40	525
1	109	508
2	343	484
3	1711	466
4	4376	466

Stop Event

1×	node limit

Counts

84 → 64

Calls

Call 1

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

Outputs
(-.f64 (*.f64 -1/6 (pow.f64 im 3)) im)
(fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im))
(-.f64 (+.f64 (.f64 -1/2 (.f64 (pow.f64 re 2) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))) (.f64 -1/6 (pow.f64 im 3))) im)
(-.f64 (fma.f64 -1/2 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (.f64 re re)) (.f64 -1/6 (pow.f64 im 3))) im)
(.f64 (+.f64 (.f64 -1/2 (*.f64 re re)) 1) (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)))
(.f64 (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)) (fma.f64 -1/2 (.f64 re re) 1))
(.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (fma.f64 -1/2 (*.f64 re re) 1))
(-.f64 (+.f64 (.f64 -1/2 (.f64 (pow.f64 re 2) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))) (+.f64 (.f64 -1/6 (pow.f64 im 3)) (.f64 1/24 (.f64 (pow.f64 re 4) (-.f64 (*.f64 -1/6 (pow.f64 im 3)) im))))) im)
(-.f64 (fma.f64 -1/2 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (.f64 re re)) (fma.f64 -1/6 (pow.f64 im 3) (.f64 1/24 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (pow.f64 re 4))))) im)
(fma.f64 -1/2 (.f64 (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)) (.f64 re re)) (-.f64 (fma.f64 -1/6 (pow.f64 im 3) (.f64 (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)) (.f64 1/24 (pow.f64 re 4)))) im))
(-.f64 (fma.f64 -1/6 (pow.f64 im 3) (.f64 (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)) (+.f64 (.f64 -1/2 (.f64 re re)) (.f64 1/24 (pow.f64 re 4))))) im)
(.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (+.f64 (fma.f64 -1/2 (.f64 re re) 1) (.f64 1/24 (pow.f64 re 4))))
(-.f64 (+.f64 (.f64 -1/2 (.f64 (pow.f64 re 2) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))) (+.f64 (.f64 -1/6 (pow.f64 im 3)) (+.f64 (.f64 -1/720 (.f64 (pow.f64 re 6) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))) (.f64 1/24 (.f64 (pow.f64 re 4) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)))))) im)
(-.f64 (fma.f64 -1/2 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (.f64 re re)) (fma.f64 -1/6 (pow.f64 im 3) (fma.f64 -1/720 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (pow.f64 re 6)) (.f64 1/24 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (pow.f64 re 4)))))) im)
(-.f64 (fma.f64 -1/2 (.f64 (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)) (.f64 re re)) (fma.f64 -1/6 (pow.f64 im 3) (.f64 (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)) (+.f64 (.f64 1/24 (pow.f64 re 4)) (*.f64 -1/720 (pow.f64 re 6)))))) im)
(-.f64 (fma.f64 -1/6 (pow.f64 im 3) (.f64 (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)) (+.f64 (fma.f64 1/24 (pow.f64 re 4) (.f64 -1/720 (pow.f64 re 6))) (.f64 -1/2 (.f64 re re))))) im)
(.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (+.f64 (fma.f64 -1/2 (.f64 re re) 1) (fma.f64 1/24 (pow.f64 re 4) (.f64 -1/720 (pow.f64 re 6)))))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (cos.f64 re))
(*.f64 (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)) (cos.f64 re))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (cos.f64 re))
(*.f64 (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)) (cos.f64 re))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (cos.f64 re))
(*.f64 (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)) (cos.f64 re))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (cos.f64 re))
(*.f64 (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)) (cos.f64 re))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (cos.f64 re))
(*.f64 (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)) (cos.f64 re))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (cos.f64 re))
(*.f64 (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)) (cos.f64 re))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (cos.f64 re))
(*.f64 (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)) (cos.f64 re))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (cos.f64 re))
(*.f64 (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)) (cos.f64 re))
(.f64 -1 (.f64 (cos.f64 re) im))
(neg.f64 (*.f64 im (cos.f64 re)))
(*.f64 (cos.f64 re) (neg.f64 im))
(*.f64 im (neg.f64 (cos.f64 re)))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (cos.f64 re) im)))
(.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (cos.f64 re))
(*.f64 (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)) (cos.f64 re))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (cos.f64 re) im)))
(.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (cos.f64 re))
(*.f64 (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)) (cos.f64 re))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (cos.f64 re) im)))
(.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (cos.f64 re))
(*.f64 (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)) (cos.f64 re))
(.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3)))
(.f64 -1/6 (.f64 (pow.f64 im 3) (cos.f64 re)))
(.f64 (pow.f64 im 3) (.f64 -1/6 (cos.f64 re)))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (cos.f64 re) im)))
(.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (cos.f64 re))
(*.f64 (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)) (cos.f64 re))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (cos.f64 re) im)))
(.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (cos.f64 re))
(*.f64 (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)) (cos.f64 re))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (cos.f64 re) im)))
(.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (cos.f64 re))
(*.f64 (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)) (cos.f64 re))
(.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3)))
(.f64 -1/6 (.f64 (pow.f64 im 3) (cos.f64 re)))
(.f64 (pow.f64 im 3) (.f64 -1/6 (cos.f64 re)))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (cos.f64 re) im)))
(.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (cos.f64 re))
(*.f64 (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)) (cos.f64 re))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (cos.f64 re) im)))
(.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (cos.f64 re))
(*.f64 (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)) (cos.f64 re))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (cos.f64 re) im)))
(.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (cos.f64 re))
(*.f64 (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)) (cos.f64 re))
(*.f64 -1/6 (pow.f64 im 3))
(*.f64 -1/6 (pow.f64 im 3))
(*.f64 -1/6 (pow.f64 im 3))
(*.f64 -1/6 (pow.f64 im 3))
(*.f64 -1/6 (pow.f64 im 3))
(*.f64 -1/6 (pow.f64 im 3))
(*.f64 -1/6 (pow.f64 im 3))
(*.f64 -1/6 (pow.f64 im 3))
(*.f64 -1/6 (pow.f64 im 3))
(*.f64 -1/6 (pow.f64 im 3))
(*.f64 -1/6 (pow.f64 im 3))
(*.f64 -1/6 (pow.f64 im 3))

prune90.0ms (0.9%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	59	5	64
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	59	7	66

Error

0.1b

Counts

66 → 7

Alt Table

Status	Error	Program
	30.5b	(-.f64 (+.f64 (.f64 -1/2 (.f64 (pow.f64 re 2) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))) (+.f64 (.f64 -1/6 (pow.f64 im 3)) (+.f64 (.f64 -1/720 (.f64 (pow.f64 re 6) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))) (.f64 1/24 (.f64 (pow.f64 re 4) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)))))) im)
✓	59.0b	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))
	27.3b	(/.f64 (.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 6) 1/36) (*.f64 im im))) (fma.f64 (pow.f64 im 3) -1/6 im))
	38.0b	(cbrt.f64 (pow.f64 (.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im)) 3))
	33.8b	(pow.f64 (sqrt.f64 (.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im))) 2)
▶	1.7b	(pow.f64 (cbrt.f64 (.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im))) 3)
✓	0.4b	(.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im))

Compiler

Compiled 1224 to 855 computations (30.1% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(*.f64 (pow.f64 im 3) -1/6)
	0.1b	(.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im))
✓	0.6b	(cbrt.f64 (.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im)))
✓	0.8b	(pow.f64 (cbrt.f64 (.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im))) 3)

series31.0ms (0.3%)

Counts

2 → 40

Calls

12 calls:

Time	Variable		Point	Expression
12.0ms	im	@	inf	(pow.f64 (cbrt.f64 (.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im))) 3)
4.0ms	re	@	0	(pow.f64 (cbrt.f64 (.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im))) 3)
3.0ms	re	@	-inf	(pow.f64 (cbrt.f64 (.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im))) 3)
3.0ms	re	@	inf	(pow.f64 (cbrt.f64 (.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im))) 3)
3.0ms	im	@	-inf	(pow.f64 (cbrt.f64 (.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im))) 3)

rewrite56.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

646×	`prod-diff_binary64`
536×	`log-prod_binary64`
367×	`pow-prod-down_binary64`
343×	`fma-def_binary64`
286×	`pow2_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	32
1	263	32
2	2934	32

Stop Event

1×	node limit

Counts

2 → 71

Calls

Call 1

Inputs
(pow.f64 (cbrt.f64 (.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im))) 3)
(cbrt.f64 (.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im)))

Outputs

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

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

simplify62.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

784×	`associate-/l*_binary64`
761×	`associate-/r*_binary64`
550×	`distribute-rgt-in_binary64`
547×	`distribute-lft-in_binary64`
310×	`fma-def_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	256	2250
1	834	2028
2	3529	1900

Stop Event

1×	node limit

Counts

111 → 118

Calls

Call 1

Inputs
(-.f64 (*.f64 -1/6 (pow.f64 im 3)) im)
(-.f64 (+.f64 (.f64 (pow.f64 re 2) (+.f64 (.f64 -1/3 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 -1/6 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)))) (.f64 -1/6 (pow.f64 im 3))) im)
(-.f64 (+.f64 (.f64 (pow.f64 re 2) (+.f64 (.f64 -1/3 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 -1/6 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)))) (+.f64 (.f64 (pow.f64 re 4) (+.f64 (.f64 (+.f64 (.f64 1/36 (pow.f64 (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 2) 1/3)) (.f64 2/3 (.f64 (-.f64 (.f64 1/24 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 1/12 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))) (pow.f64 (/.f64 1 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) 1/3)))) (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 1/3)) (+.f64 (.f64 1/18 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 1/3 (-.f64 (.f64 1/24 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 1/12 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))))))) (*.f64 -1/6 (pow.f64 im 3)))) im)
(-.f64 (+.f64 (.f64 (pow.f64 re 2) (+.f64 (.f64 -1/3 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 -1/6 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)))) (+.f64 (.f64 (pow.f64 re 4) (+.f64 (.f64 (+.f64 (.f64 1/36 (pow.f64 (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 2) 1/3)) (.f64 2/3 (.f64 (-.f64 (.f64 1/24 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 1/12 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))) (pow.f64 (/.f64 1 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) 1/3)))) (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 1/3)) (+.f64 (.f64 1/18 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 1/3 (-.f64 (.f64 1/24 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 1/12 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))))))) (+.f64 (.f64 -1/6 (pow.f64 im 3)) (.f64 (+.f64 (.f64 -1/6 (.f64 (+.f64 (.f64 1/36 (pow.f64 (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 2) 1/3)) (.f64 2/3 (.f64 (-.f64 (.f64 1/24 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 1/12 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))) (pow.f64 (/.f64 1 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) 1/3)))) (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 1/3))) (+.f64 (.f64 -1/9 (-.f64 (.f64 1/24 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 1/12 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)))) (+.f64 (.f64 (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 1/3) (+.f64 (.f64 2/3 (.f64 (-.f64 (.f64 -1/720 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (+.f64 (.f64 -1/216 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 -1/3 (-.f64 (.f64 1/24 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 1/12 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)))))) (pow.f64 (/.f64 1 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) 1/3))) (.f64 -1/9 (.f64 (-.f64 (.f64 1/24 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 1/12 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))) (pow.f64 (/.f64 1 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) 1/3))))) (.f64 1/3 (-.f64 (.f64 -1/720 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (+.f64 (.f64 -1/216 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 -1/3 (-.f64 (.f64 1/24 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 1/12 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)))))))))) (pow.f64 re 6))))) im)
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3)))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (.f64 (+.f64 (.f64 -1/3 (cos.f64 re)) (*.f64 -2/3 (cos.f64 re))) im))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (+.f64 (.f64 2/3 (/.f64 (cos.f64 re) im)) (+.f64 (.f64 (+.f64 (.f64 -1/3 (cos.f64 re)) (.f64 -2/3 (cos.f64 re))) im) (+.f64 (.f64 (pow.f64 (cos.f64 re) 1/3) (/.f64 (.f64 (cbrt.f64 -1) (.f64 (+.f64 (.f64 1/9 (.f64 (pow.f64 (pow.f64 (cos.f64 re) 2) 1/3) (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/6) 4)))) (.f64 -2/9 (.f64 (pow.f64 (pow.f64 (cos.f64 re) 2) 1/3) (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/6) 4))))) (cbrt.f64 1/6))) im)) (.f64 -4/3 (/.f64 (cos.f64 re) im))))))
(+.f64 (.f64 (pow.f64 (cos.f64 re) 1/3) (/.f64 (.f64 (cbrt.f64 -1) (.f64 (+.f64 (.f64 -2/3 (.f64 (pow.f64 (/.f64 1 (cos.f64 re)) 1/3) (/.f64 (.f64 (pow.f64 (cbrt.f64 -1) 2) (+.f64 (.f64 1/27 (/.f64 (cos.f64 re) (pow.f64 (cbrt.f64 1/6) 6))) (.f64 -2/9 (/.f64 (cos.f64 re) (pow.f64 (cbrt.f64 1/6) 6))))) (cbrt.f64 1/6)))) (.f64 -2/27 (.f64 (pow.f64 (pow.f64 (cos.f64 re) 2) 1/3) (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/6) 7))))) (cbrt.f64 1/6))) (pow.f64 im 3))) (+.f64 (.f64 (+.f64 (.f64 -1/3 (cos.f64 re)) (.f64 -2/3 (cos.f64 re))) im) (+.f64 (.f64 (pow.f64 (cos.f64 re) 1/3) (/.f64 (.f64 (cbrt.f64 -1) (.f64 (+.f64 (.f64 1/9 (.f64 (pow.f64 (pow.f64 (cos.f64 re) 2) 1/3) (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/6) 4)))) (.f64 -2/9 (.f64 (pow.f64 (pow.f64 (cos.f64 re) 2) 1/3) (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/6) 4))))) (cbrt.f64 1/6))) im)) (+.f64 (.f64 2/27 (/.f64 (cos.f64 re) (.f64 (pow.f64 im 3) (pow.f64 (cbrt.f64 1/6) 6)))) (+.f64 (.f64 1/3 (.f64 (pow.f64 (cos.f64 re) 1/3) (/.f64 (.f64 (cbrt.f64 -1) (+.f64 (.f64 1/9 (.f64 (pow.f64 (pow.f64 (cos.f64 re) 2) 1/3) (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/6) 4)))) (.f64 -2/9 (.f64 (pow.f64 (pow.f64 (cos.f64 re) 2) 1/3) (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/6) 4)))))) (.f64 (pow.f64 im 3) (pow.f64 (cbrt.f64 1/6) 2))))) (+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (+.f64 (.f64 2/3 (/.f64 (cos.f64 re) im)) (+.f64 (.f64 -4/3 (/.f64 (cos.f64 re) im)) (.f64 1/3 (/.f64 (+.f64 (.f64 1/27 (/.f64 (cos.f64 re) (pow.f64 (cbrt.f64 1/6) 6))) (*.f64 -2/9 (/.f64 (cos.f64 re) (pow.f64 (cbrt.f64 1/6) 6)))) (pow.f64 im 3)))))))))))
(.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3)))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (+.f64 (.f64 2/3 (cos.f64 re)) (.f64 1/3 (cos.f64 re))) im)))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 4/3 (cos.f64 re)) (+.f64 (.f64 (pow.f64 (cos.f64 re) 1/3) (.f64 (+.f64 (.f64 -2/9 (.f64 (pow.f64 (pow.f64 (cos.f64 re) 2) 1/3) (/.f64 1 (pow.f64 (cbrt.f64 1/6) 4)))) (.f64 1/9 (.f64 (pow.f64 (pow.f64 (cos.f64 re) 2) 1/3) (/.f64 1 (pow.f64 (cbrt.f64 1/6) 4))))) (cbrt.f64 1/6))) (.f64 -2/3 (cos.f64 re)))) im)) (.f64 -1 (.f64 (+.f64 (.f64 2/3 (cos.f64 re)) (*.f64 1/3 (cos.f64 re))) im))))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 4/3 (cos.f64 re)) (+.f64 (.f64 (pow.f64 (cos.f64 re) 1/3) (.f64 (+.f64 (.f64 -2/9 (.f64 (pow.f64 (pow.f64 (cos.f64 re) 2) 1/3) (/.f64 1 (pow.f64 (cbrt.f64 1/6) 4)))) (.f64 1/9 (.f64 (pow.f64 (pow.f64 (cos.f64 re) 2) 1/3) (/.f64 1 (pow.f64 (cbrt.f64 1/6) 4))))) (cbrt.f64 1/6))) (.f64 -2/3 (cos.f64 re)))) im)) (+.f64 (.f64 -1 (.f64 (+.f64 (.f64 2/3 (cos.f64 re)) (.f64 1/3 (cos.f64 re))) im)) (.f64 -1 (/.f64 (+.f64 (.f64 -1/3 (+.f64 (.f64 1/27 (/.f64 (cos.f64 re) (pow.f64 (cbrt.f64 1/6) 6))) (.f64 -2/9 (/.f64 (cos.f64 re) (pow.f64 (cbrt.f64 1/6) 6))))) (+.f64 (.f64 1/3 (.f64 (pow.f64 (cos.f64 re) 1/3) (/.f64 (+.f64 (.f64 -2/9 (.f64 (pow.f64 (pow.f64 (cos.f64 re) 2) 1/3) (/.f64 1 (pow.f64 (cbrt.f64 1/6) 4)))) (.f64 1/9 (.f64 (pow.f64 (pow.f64 (cos.f64 re) 2) 1/3) (/.f64 1 (pow.f64 (cbrt.f64 1/6) 4))))) (pow.f64 (cbrt.f64 1/6) 2)))) (+.f64 (.f64 -2/27 (/.f64 (cos.f64 re) (pow.f64 (cbrt.f64 1/6) 6))) (.f64 (pow.f64 (cos.f64 re) 1/3) (.f64 (+.f64 (.f64 -2/27 (.f64 (pow.f64 (pow.f64 (cos.f64 re) 2) 1/3) (/.f64 1 (pow.f64 (cbrt.f64 1/6) 7)))) (.f64 -2/3 (.f64 (pow.f64 (/.f64 1 (cos.f64 re)) 1/3) (/.f64 (+.f64 (.f64 1/27 (/.f64 (cos.f64 re) (pow.f64 (cbrt.f64 1/6) 6))) (.f64 -2/9 (/.f64 (cos.f64 re) (pow.f64 (cbrt.f64 1/6) 6)))) (cbrt.f64 1/6))))) (cbrt.f64 1/6)))))) (pow.f64 im 3))))))
(pow.f64 (-.f64 (*.f64 -1/6 (pow.f64 im 3)) im) 1/3)
(+.f64 (.f64 -1/6 (.f64 (pow.f64 re 2) (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 1/3))) (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 1/3))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 re 2) (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 1/3))) (+.f64 (.f64 1/3 (.f64 (.f64 (-.f64 (.f64 1/24 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 1/12 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))) (pow.f64 re 4)) (pow.f64 (/.f64 1 (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 2)) 1/3))) (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 1/3)))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 re 2) (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 1/3))) (+.f64 (.f64 1/3 (.f64 (.f64 (-.f64 (.f64 1/24 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 1/12 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))) (pow.f64 re 4)) (pow.f64 (/.f64 1 (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 2)) 1/3))) (+.f64 (.f64 1/3 (.f64 (.f64 (-.f64 (.f64 -1/720 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (+.f64 (.f64 -1/216 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 -1/3 (-.f64 (.f64 1/24 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 1/12 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)))))) (pow.f64 re 6)) (pow.f64 (/.f64 1 (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 2)) 1/3))) (pow.f64 (-.f64 (*.f64 -1/6 (pow.f64 im 3)) im) 1/3))))
(pow.f64 (.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) 1/3)
(pow.f64 (.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) 1/3)
(pow.f64 (.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) 1/3)
(pow.f64 (.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) 1/3)
(pow.f64 (.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) 1/3)
(pow.f64 (.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) 1/3)
(pow.f64 (.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) 1/3)
(pow.f64 (.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) 1/3)
(.f64 (pow.f64 (cos.f64 re) 1/3) (.f64 (cbrt.f64 -1) (*.f64 (cbrt.f64 1/6) im)))
(+.f64 (.f64 (pow.f64 (cos.f64 re) 1/3) (.f64 (cbrt.f64 -1) (.f64 (cbrt.f64 1/6) im))) (.f64 1/3 (.f64 (pow.f64 (cos.f64 re) 1/3) (/.f64 (cbrt.f64 -1) (.f64 im (pow.f64 (cbrt.f64 1/6) 2))))))
(+.f64 (.f64 (pow.f64 (cos.f64 re) 1/3) (.f64 (cbrt.f64 -1) (.f64 (cbrt.f64 1/6) im))) (+.f64 (.f64 -1/9 (.f64 (pow.f64 (cos.f64 re) 1/3) (/.f64 (cbrt.f64 -1) (.f64 (pow.f64 im 3) (pow.f64 (cbrt.f64 1/6) 5))))) (.f64 1/3 (.f64 (pow.f64 (cos.f64 re) 1/3) (/.f64 (cbrt.f64 -1) (*.f64 im (pow.f64 (cbrt.f64 1/6) 2)))))))
(+.f64 (.f64 -1/3 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cos.f64 re) 2)) 1/3) (/.f64 (.f64 (cbrt.f64 -1) (+.f64 (.f64 1/27 (/.f64 (cos.f64 re) (pow.f64 (cbrt.f64 1/6) 6))) (.f64 -2/9 (/.f64 (cos.f64 re) (pow.f64 (cbrt.f64 1/6) 6))))) (.f64 (pow.f64 im 5) (pow.f64 (cbrt.f64 1/6) 2))))) (+.f64 (.f64 (pow.f64 (cos.f64 re) 1/3) (.f64 (cbrt.f64 -1) (.f64 (cbrt.f64 1/6) im))) (+.f64 (.f64 -1/9 (.f64 (pow.f64 (cos.f64 re) 1/3) (/.f64 (cbrt.f64 -1) (.f64 (pow.f64 im 3) (pow.f64 (cbrt.f64 1/6) 5))))) (.f64 1/3 (.f64 (pow.f64 (cos.f64 re) 1/3) (/.f64 (cbrt.f64 -1) (*.f64 im (pow.f64 (cbrt.f64 1/6) 2))))))))
(.f64 -1 (.f64 (pow.f64 (cos.f64 re) 1/3) (*.f64 (cbrt.f64 1/6) im)))
(+.f64 (.f64 -1 (.f64 (pow.f64 (cos.f64 re) 1/3) (.f64 (cbrt.f64 1/6) im))) (.f64 -1/3 (.f64 (pow.f64 (cos.f64 re) 1/3) (/.f64 1 (.f64 im (pow.f64 (cbrt.f64 1/6) 2))))))
(+.f64 (.f64 -1 (.f64 (pow.f64 (cos.f64 re) 1/3) (.f64 (cbrt.f64 1/6) im))) (+.f64 (.f64 1/9 (.f64 (pow.f64 (cos.f64 re) 1/3) (/.f64 1 (.f64 (pow.f64 im 3) (pow.f64 (cbrt.f64 1/6) 5))))) (.f64 -1/3 (.f64 (pow.f64 (cos.f64 re) 1/3) (/.f64 1 (*.f64 im (pow.f64 (cbrt.f64 1/6) 2)))))))
(+.f64 (.f64 -1 (.f64 (pow.f64 (cos.f64 re) 1/3) (.f64 (cbrt.f64 1/6) im))) (+.f64 (.f64 1/9 (.f64 (pow.f64 (cos.f64 re) 1/3) (/.f64 1 (.f64 (pow.f64 im 3) (pow.f64 (cbrt.f64 1/6) 5))))) (+.f64 (.f64 -1/3 (.f64 (pow.f64 (cos.f64 re) 1/3) (/.f64 1 (.f64 im (pow.f64 (cbrt.f64 1/6) 2))))) (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cos.f64 re) 2)) 1/3) (/.f64 (+.f64 (.f64 1/27 (/.f64 (cos.f64 re) (pow.f64 (cbrt.f64 1/6) 6))) (.f64 -2/9 (/.f64 (cos.f64 re) (pow.f64 (cbrt.f64 1/6) 6)))) (.f64 (pow.f64 im 5) (pow.f64 (cbrt.f64 1/6) 2))))))))

Outputs
(-.f64 (*.f64 -1/6 (pow.f64 im 3)) im)
(-.f64 (+.f64 (.f64 (pow.f64 re 2) (+.f64 (.f64 -1/3 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 -1/6 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)))) (.f64 -1/6 (pow.f64 im 3))) im)
(-.f64 (fma.f64 (.f64 re re) (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -1/2) (.f64 -1/6 (pow.f64 im 3))) im)
(fma.f64 (.f64 re re) (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -1/2) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(-.f64 (fma.f64 -1/6 (pow.f64 im 3) (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (.f64 -1/2 (.f64 re re)))) im)
(-.f64 (+.f64 (.f64 (pow.f64 re 2) (+.f64 (.f64 -1/3 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 -1/6 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)))) (+.f64 (.f64 (pow.f64 re 4) (+.f64 (.f64 (+.f64 (.f64 1/36 (pow.f64 (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 2) 1/3)) (.f64 2/3 (.f64 (-.f64 (.f64 1/24 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 1/12 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))) (pow.f64 (/.f64 1 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) 1/3)))) (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 1/3)) (+.f64 (.f64 1/18 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 1/3 (-.f64 (.f64 1/24 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 1/12 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))))))) (*.f64 -1/6 (pow.f64 im 3)))) im)
(-.f64 (fma.f64 (.f64 re re) (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -1/2) (fma.f64 (pow.f64 re 4) (fma.f64 (fma.f64 1/36 (cbrt.f64 (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 2)) (.f64 2/3 (.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -1/24) (cbrt.f64 (/.f64 1 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)))))) (cbrt.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (fma.f64 1/18 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (.f64 1/3 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -1/24)))) (*.f64 -1/6 (pow.f64 im 3)))) im)
(-.f64 (fma.f64 (.f64 re re) (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -1/2) (fma.f64 -1/6 (pow.f64 im 3) (.f64 (pow.f64 re 4) (fma.f64 (fma.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 2)) 1/36 (.f64 2/3 (.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -1/24) (cbrt.f64 (/.f64 1 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)))))) (cbrt.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (fma.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 1/18 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -1/72)))))) im)
(-.f64 (fma.f64 (.f64 re re) (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -1/2) (fma.f64 -1/6 (pow.f64 im 3) (.f64 (pow.f64 re 4) (fma.f64 (fma.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 2)) 1/36 (.f64 2/3 (.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -1/24) (cbrt.f64 (/.f64 1 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)))))) (cbrt.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 (-.f64 (*.f64 -1/6 (pow.f64 im 3)) im) 1/24))))) im)
(-.f64 (+.f64 (.f64 (pow.f64 re 2) (+.f64 (.f64 -1/3 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 -1/6 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)))) (+.f64 (.f64 (pow.f64 re 4) (+.f64 (.f64 (+.f64 (.f64 1/36 (pow.f64 (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 2) 1/3)) (.f64 2/3 (.f64 (-.f64 (.f64 1/24 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 1/12 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))) (pow.f64 (/.f64 1 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) 1/3)))) (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 1/3)) (+.f64 (.f64 1/18 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 1/3 (-.f64 (.f64 1/24 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 1/12 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))))))) (+.f64 (.f64 -1/6 (pow.f64 im 3)) (.f64 (+.f64 (.f64 -1/6 (.f64 (+.f64 (.f64 1/36 (pow.f64 (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 2) 1/3)) (.f64 2/3 (.f64 (-.f64 (.f64 1/24 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 1/12 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))) (pow.f64 (/.f64 1 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) 1/3)))) (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 1/3))) (+.f64 (.f64 -1/9 (-.f64 (.f64 1/24 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 1/12 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)))) (+.f64 (.f64 (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 1/3) (+.f64 (.f64 2/3 (.f64 (-.f64 (.f64 -1/720 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (+.f64 (.f64 -1/216 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 -1/3 (-.f64 (.f64 1/24 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 1/12 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)))))) (pow.f64 (/.f64 1 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) 1/3))) (.f64 -1/9 (.f64 (-.f64 (.f64 1/24 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 1/12 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))) (pow.f64 (/.f64 1 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) 1/3))))) (.f64 1/3 (-.f64 (.f64 -1/720 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (+.f64 (.f64 -1/216 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 -1/3 (-.f64 (.f64 1/24 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 1/12 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)))))))))) (pow.f64 re 6))))) im)
(-.f64 (fma.f64 (.f64 re re) (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -1/2) (fma.f64 (pow.f64 re 4) (fma.f64 (fma.f64 1/36 (cbrt.f64 (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 2)) (.f64 2/3 (.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -1/24) (cbrt.f64 (/.f64 1 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)))))) (cbrt.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (fma.f64 1/18 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (.f64 1/3 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -1/24)))) (fma.f64 -1/6 (pow.f64 im 3) (.f64 (fma.f64 -1/6 (.f64 (fma.f64 1/36 (cbrt.f64 (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 2)) (.f64 2/3 (.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -1/24) (cbrt.f64 (/.f64 1 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)))))) (cbrt.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))) (fma.f64 -1/9 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -1/24) (fma.f64 (cbrt.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (fma.f64 2/3 (.f64 (cbrt.f64 (/.f64 1 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))) (-.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -1/720) (fma.f64 -1/216 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (.f64 -1/3 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -1/24))))) (.f64 (.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -1/24) (cbrt.f64 (/.f64 1 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)))) -1/9)) (.f64 1/3 (-.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -1/720) (fma.f64 -1/216 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (.f64 -1/3 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -1/24)))))))) (pow.f64 re 6))))) im)
(-.f64 (fma.f64 (.f64 re re) (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -1/2) (fma.f64 (pow.f64 re 4) (fma.f64 (fma.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 2)) 1/36 (.f64 2/3 (.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -1/24) (cbrt.f64 (/.f64 1 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)))))) (cbrt.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (fma.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 1/18 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -1/72))) (fma.f64 (+.f64 (fma.f64 1/3 (+.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 7/2160) (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -1/72)) (.f64 (cbrt.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 (cbrt.f64 (/.f64 1 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))) (+.f64 (.f64 2/3 (+.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 7/2160) (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -1/72))) (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 1/216))))) (fma.f64 -1/6 (.f64 (fma.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 2)) 1/36 (.f64 2/3 (.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -1/24) (cbrt.f64 (/.f64 1 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)))))) (cbrt.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))) (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 1/216))) (pow.f64 re 6) (*.f64 -1/6 (pow.f64 im 3))))) im)
(-.f64 (fma.f64 (.f64 re re) (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -1/2) (fma.f64 (pow.f64 re 4) (fma.f64 (fma.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 2)) 1/36 (.f64 2/3 (.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -1/24) (cbrt.f64 (/.f64 1 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)))))) (cbrt.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 1/24)) (fma.f64 (+.f64 (fma.f64 1/3 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -23/2160) (.f64 (.f64 (cbrt.f64 (/.f64 1 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))) (cbrt.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))) (+.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 1/216) (.f64 2/3 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -23/2160))))) (fma.f64 -1/6 (.f64 (fma.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 2)) 1/36 (.f64 2/3 (.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -1/24) (cbrt.f64 (/.f64 1 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)))))) (cbrt.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))) (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 1/216))) (pow.f64 re 6) (.f64 -1/6 (pow.f64 im 3))))) im)
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (cos.f64 re))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (cos.f64 re))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (cos.f64 re))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (cos.f64 re))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (cos.f64 re))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (cos.f64 re))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (cos.f64 re))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (cos.f64 re))
(.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3)))
(.f64 -1/6 (.f64 (pow.f64 im 3) (cos.f64 re)))
(.f64 (pow.f64 im 3) (.f64 -1/6 (cos.f64 re)))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (.f64 (+.f64 (.f64 -1/3 (cos.f64 re)) (*.f64 -2/3 (cos.f64 re))) im))
(.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (cos.f64 re))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (+.f64 (.f64 2/3 (/.f64 (cos.f64 re) im)) (+.f64 (.f64 (+.f64 (.f64 -1/3 (cos.f64 re)) (.f64 -2/3 (cos.f64 re))) im) (+.f64 (.f64 (pow.f64 (cos.f64 re) 1/3) (/.f64 (.f64 (cbrt.f64 -1) (.f64 (+.f64 (.f64 1/9 (.f64 (pow.f64 (pow.f64 (cos.f64 re) 2) 1/3) (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/6) 4)))) (.f64 -2/9 (.f64 (pow.f64 (pow.f64 (cos.f64 re) 2) 1/3) (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/6) 4))))) (cbrt.f64 1/6))) im)) (.f64 -4/3 (/.f64 (cos.f64 re) im))))))
(fma.f64 -1/6 (.f64 (pow.f64 im 3) (cos.f64 re)) (fma.f64 2/3 (/.f64 (cos.f64 re) im) (fma.f64 (.f64 (cos.f64 re) -1) im (fma.f64 (cbrt.f64 (cos.f64 re)) (/.f64 (cbrt.f64 -1) (/.f64 im (.f64 (cbrt.f64 1/6) (.f64 (.f64 (cbrt.f64 (pow.f64 (cos.f64 re) 2)) (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/6) 4))) -1/9)))) (/.f64 (.f64 -4/3 (cos.f64 re)) im)))))
(fma.f64 -1/6 (.f64 (pow.f64 im 3) (cos.f64 re)) (+.f64 (fma.f64 im (neg.f64 (cos.f64 re)) (.f64 (cbrt.f64 (cos.f64 re)) (.f64 (/.f64 (cbrt.f64 -1) im) (.f64 (cbrt.f64 1/6) (.f64 -1/9 (.f64 (cbrt.f64 (pow.f64 (cos.f64 re) 2)) (/.f64 (pow.f64 (cbrt.f64 -1) 2) (.f64 1/6 (cbrt.f64 1/6))))))))) (.f64 (/.f64 (cos.f64 re) im) -2/3)))
(fma.f64 -1/6 (.f64 (pow.f64 im 3) (cos.f64 re)) (+.f64 (-.f64 (.f64 (cbrt.f64 (cos.f64 re)) (/.f64 (cbrt.f64 -1) (/.f64 (/.f64 (/.f64 im (cbrt.f64 1/6)) (/.f64 (pow.f64 (cbrt.f64 -1) 2) (.f64 1/6 (cbrt.f64 1/6)))) (.f64 (cbrt.f64 (pow.f64 (cos.f64 re) 2)) -1/9)))) (.f64 im (cos.f64 re))) (.f64 (/.f64 (cos.f64 re) im) -2/3)))
(+.f64 (.f64 (pow.f64 (cos.f64 re) 1/3) (/.f64 (.f64 (cbrt.f64 -1) (.f64 (+.f64 (.f64 -2/3 (.f64 (pow.f64 (/.f64 1 (cos.f64 re)) 1/3) (/.f64 (.f64 (pow.f64 (cbrt.f64 -1) 2) (+.f64 (.f64 1/27 (/.f64 (cos.f64 re) (pow.f64 (cbrt.f64 1/6) 6))) (.f64 -2/9 (/.f64 (cos.f64 re) (pow.f64 (cbrt.f64 1/6) 6))))) (cbrt.f64 1/6)))) (.f64 -2/27 (.f64 (pow.f64 (pow.f64 (cos.f64 re) 2) 1/3) (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/6) 7))))) (cbrt.f64 1/6))) (pow.f64 im 3))) (+.f64 (.f64 (+.f64 (.f64 -1/3 (cos.f64 re)) (.f64 -2/3 (cos.f64 re))) im) (+.f64 (.f64 (pow.f64 (cos.f64 re) 1/3) (/.f64 (.f64 (cbrt.f64 -1) (.f64 (+.f64 (.f64 1/9 (.f64 (pow.f64 (pow.f64 (cos.f64 re) 2) 1/3) (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/6) 4)))) (.f64 -2/9 (.f64 (pow.f64 (pow.f64 (cos.f64 re) 2) 1/3) (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/6) 4))))) (cbrt.f64 1/6))) im)) (+.f64 (.f64 2/27 (/.f64 (cos.f64 re) (.f64 (pow.f64 im 3) (pow.f64 (cbrt.f64 1/6) 6)))) (+.f64 (.f64 1/3 (.f64 (pow.f64 (cos.f64 re) 1/3) (/.f64 (.f64 (cbrt.f64 -1) (+.f64 (.f64 1/9 (.f64 (pow.f64 (pow.f64 (cos.f64 re) 2) 1/3) (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/6) 4)))) (.f64 -2/9 (.f64 (pow.f64 (pow.f64 (cos.f64 re) 2) 1/3) (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/6) 4)))))) (.f64 (pow.f64 im 3) (pow.f64 (cbrt.f64 1/6) 2))))) (+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (+.f64 (.f64 2/3 (/.f64 (cos.f64 re) im)) (+.f64 (.f64 -4/3 (/.f64 (cos.f64 re) im)) (.f64 1/3 (/.f64 (+.f64 (.f64 1/27 (/.f64 (cos.f64 re) (pow.f64 (cbrt.f64 1/6) 6))) (*.f64 -2/9 (/.f64 (cos.f64 re) (pow.f64 (cbrt.f64 1/6) 6)))) (pow.f64 im 3)))))))))))
(fma.f64 (cbrt.f64 (cos.f64 re)) (/.f64 (cbrt.f64 -1) (/.f64 (pow.f64 im 3) (.f64 (cbrt.f64 1/6) (fma.f64 -2/3 (.f64 (cbrt.f64 (/.f64 1 (cos.f64 re))) (/.f64 (pow.f64 (cbrt.f64 -1) 2) (/.f64 (cbrt.f64 1/6) (.f64 (/.f64 (cos.f64 re) (pow.f64 (cbrt.f64 1/6) 6)) -5/27)))) (.f64 -2/27 (.f64 (cbrt.f64 (pow.f64 (cos.f64 re) 2)) (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/6) 7)))))))) (fma.f64 (.f64 (cos.f64 re) -1) im (fma.f64 (cbrt.f64 (cos.f64 re)) (/.f64 (cbrt.f64 -1) (/.f64 im (.f64 (cbrt.f64 1/6) (.f64 (.f64 (cbrt.f64 (pow.f64 (cos.f64 re) 2)) (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/6) 4))) -1/9)))) (fma.f64 2/27 (/.f64 (cos.f64 re) (.f64 (pow.f64 im 3) (pow.f64 (cbrt.f64 1/6) 6))) (fma.f64 1/3 (.f64 (cbrt.f64 (cos.f64 re)) (.f64 (/.f64 (cbrt.f64 -1) (pow.f64 im 3)) (/.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (cos.f64 re) 2)) (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/6) 4))) -1/9) (pow.f64 (cbrt.f64 1/6) 2)))) (fma.f64 -1/6 (.f64 (pow.f64 im 3) (cos.f64 re)) (fma.f64 2/3 (/.f64 (cos.f64 re) im) (fma.f64 -4/3 (/.f64 (cos.f64 re) im) (.f64 1/3 (/.f64 (*.f64 (/.f64 (cos.f64 re) (pow.f64 (cbrt.f64 1/6) 6)) -5/27) (pow.f64 im 3)))))))))))
(fma.f64 (cbrt.f64 (cos.f64 re)) (.f64 (/.f64 (cbrt.f64 -1) (pow.f64 im 3)) (.f64 (cbrt.f64 1/6) (fma.f64 -2/3 (/.f64 (.f64 (.f64 (.f64 (cbrt.f64 (/.f64 1 (cos.f64 re))) (/.f64 (cos.f64 re) 1/36)) -5/27) (pow.f64 (cbrt.f64 -1) 2)) (cbrt.f64 1/6)) (.f64 -2/27 (.f64 (cbrt.f64 (pow.f64 (cos.f64 re) 2)) (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/6) 7))))))) (fma.f64 im (neg.f64 (cos.f64 re)) (+.f64 (fma.f64 1/3 (.f64 (/.f64 (cbrt.f64 (cos.f64 re)) (pow.f64 (cbrt.f64 1/6) 2)) (/.f64 (.f64 -1/9 (.f64 (cbrt.f64 (pow.f64 (cos.f64 re) 2)) (/.f64 (pow.f64 (cbrt.f64 -1) 2) (.f64 1/6 (cbrt.f64 1/6))))) (/.f64 (pow.f64 im 3) (cbrt.f64 -1)))) (fma.f64 -1/6 (.f64 (pow.f64 im 3) (cos.f64 re)) (+.f64 (.f64 1/3 (/.f64 (/.f64 (cos.f64 re) 1/36) (/.f64 (pow.f64 im 3) -5/27))) (.f64 (/.f64 (cos.f64 re) im) -2/3)))) (fma.f64 (cbrt.f64 (cos.f64 re)) (.f64 (/.f64 (cbrt.f64 -1) im) (.f64 (cbrt.f64 1/6) (.f64 -1/9 (.f64 (cbrt.f64 (pow.f64 (cos.f64 re) 2)) (/.f64 (pow.f64 (cbrt.f64 -1) 2) (.f64 1/6 (cbrt.f64 1/6))))))) (.f64 8/3 (/.f64 (cos.f64 re) (pow.f64 im 3)))))))
(fma.f64 (cbrt.f64 (cos.f64 re)) (.f64 (/.f64 (cbrt.f64 -1) (pow.f64 im 3)) (.f64 (cbrt.f64 1/6) (fma.f64 -2/3 (.f64 (cbrt.f64 (/.f64 1 (cos.f64 re))) (.f64 (/.f64 (/.f64 (cos.f64 re) -3/20) (cbrt.f64 1/6)) (pow.f64 (cbrt.f64 -1) 2))) (.f64 (cbrt.f64 (pow.f64 (cos.f64 re) 2)) (.f64 (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/6) 7)) -2/27))))) (+.f64 (fma.f64 (cbrt.f64 (cos.f64 re)) (/.f64 (cbrt.f64 -1) (/.f64 (/.f64 (/.f64 im (cbrt.f64 1/6)) (/.f64 (pow.f64 (cbrt.f64 -1) 2) (.f64 1/6 (cbrt.f64 1/6)))) (.f64 (cbrt.f64 (pow.f64 (cos.f64 re) 2)) -1/9))) (.f64 8/3 (/.f64 (cos.f64 re) (pow.f64 im 3)))) (-.f64 (fma.f64 1/3 (.f64 (cbrt.f64 (cos.f64 re)) (.f64 (/.f64 -1/9 (/.f64 (/.f64 (pow.f64 im 3) (/.f64 (pow.f64 (cbrt.f64 -1) 2) (.f64 1/6 (cbrt.f64 1/6)))) (cbrt.f64 (pow.f64 (cos.f64 re) 2)))) (/.f64 (cbrt.f64 -1) (pow.f64 (cbrt.f64 1/6) 2)))) (fma.f64 -1/6 (.f64 (pow.f64 im 3) (cos.f64 re)) (+.f64 (.f64 1/3 (/.f64 (/.f64 (cos.f64 re) -3/20) (pow.f64 im 3))) (.f64 (/.f64 (cos.f64 re) im) -2/3)))) (.f64 im (cos.f64 re)))))
(.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3)))
(.f64 -1/6 (.f64 (pow.f64 im 3) (cos.f64 re)))
(.f64 (pow.f64 im 3) (.f64 -1/6 (cos.f64 re)))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (+.f64 (.f64 2/3 (cos.f64 re)) (.f64 1/3 (cos.f64 re))) im)))
(.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (cos.f64 re))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 4/3 (cos.f64 re)) (+.f64 (.f64 (pow.f64 (cos.f64 re) 1/3) (.f64 (+.f64 (.f64 -2/9 (.f64 (pow.f64 (pow.f64 (cos.f64 re) 2) 1/3) (/.f64 1 (pow.f64 (cbrt.f64 1/6) 4)))) (.f64 1/9 (.f64 (pow.f64 (pow.f64 (cos.f64 re) 2) 1/3) (/.f64 1 (pow.f64 (cbrt.f64 1/6) 4))))) (cbrt.f64 1/6))) (.f64 -2/3 (cos.f64 re)))) im)) (.f64 -1 (.f64 (+.f64 (.f64 2/3 (cos.f64 re)) (*.f64 1/3 (cos.f64 re))) im))))
(fma.f64 -1/6 (.f64 (pow.f64 im 3) (cos.f64 re)) (fma.f64 -1 (/.f64 (fma.f64 4/3 (cos.f64 re) (fma.f64 (cbrt.f64 (cos.f64 re)) (.f64 (cbrt.f64 1/6) (.f64 (.f64 (cbrt.f64 (pow.f64 (cos.f64 re) 2)) (/.f64 1 (pow.f64 (cbrt.f64 1/6) 4))) -1/9)) (.f64 (cos.f64 re) -2/3))) im) (neg.f64 (.f64 im (*.f64 (cos.f64 re) 1)))))
(+.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (cos.f64 re)) (neg.f64 (/.f64 (fma.f64 (cos.f64 re) 4/3 (fma.f64 (cos.f64 re) -2/3 (.f64 (cbrt.f64 (cos.f64 re)) (.f64 (cbrt.f64 1/6) (/.f64 (.f64 (cbrt.f64 (pow.f64 (cos.f64 re) 2)) -1/9) (.f64 1/6 (cbrt.f64 1/6))))))) im)))
(-.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (cos.f64 re)) (/.f64 (+.f64 (.f64 2/3 (cos.f64 re)) (.f64 (cbrt.f64 (cos.f64 re)) (.f64 (cbrt.f64 1/6) (.f64 (/.f64 6 (cbrt.f64 1/6)) (*.f64 (cbrt.f64 (pow.f64 (cos.f64 re) 2)) -1/9))))) im))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 4/3 (cos.f64 re)) (+.f64 (.f64 (pow.f64 (cos.f64 re) 1/3) (.f64 (+.f64 (.f64 -2/9 (.f64 (pow.f64 (pow.f64 (cos.f64 re) 2) 1/3) (/.f64 1 (pow.f64 (cbrt.f64 1/6) 4)))) (.f64 1/9 (.f64 (pow.f64 (pow.f64 (cos.f64 re) 2) 1/3) (/.f64 1 (pow.f64 (cbrt.f64 1/6) 4))))) (cbrt.f64 1/6))) (.f64 -2/3 (cos.f64 re)))) im)) (+.f64 (.f64 -1 (.f64 (+.f64 (.f64 2/3 (cos.f64 re)) (.f64 1/3 (cos.f64 re))) im)) (.f64 -1 (/.f64 (+.f64 (.f64 -1/3 (+.f64 (.f64 1/27 (/.f64 (cos.f64 re) (pow.f64 (cbrt.f64 1/6) 6))) (.f64 -2/9 (/.f64 (cos.f64 re) (pow.f64 (cbrt.f64 1/6) 6))))) (+.f64 (.f64 1/3 (.f64 (pow.f64 (cos.f64 re) 1/3) (/.f64 (+.f64 (.f64 -2/9 (.f64 (pow.f64 (pow.f64 (cos.f64 re) 2) 1/3) (/.f64 1 (pow.f64 (cbrt.f64 1/6) 4)))) (.f64 1/9 (.f64 (pow.f64 (pow.f64 (cos.f64 re) 2) 1/3) (/.f64 1 (pow.f64 (cbrt.f64 1/6) 4))))) (pow.f64 (cbrt.f64 1/6) 2)))) (+.f64 (.f64 -2/27 (/.f64 (cos.f64 re) (pow.f64 (cbrt.f64 1/6) 6))) (.f64 (pow.f64 (cos.f64 re) 1/3) (.f64 (+.f64 (.f64 -2/27 (.f64 (pow.f64 (pow.f64 (cos.f64 re) 2) 1/3) (/.f64 1 (pow.f64 (cbrt.f64 1/6) 7)))) (.f64 -2/3 (.f64 (pow.f64 (/.f64 1 (cos.f64 re)) 1/3) (/.f64 (+.f64 (.f64 1/27 (/.f64 (cos.f64 re) (pow.f64 (cbrt.f64 1/6) 6))) (.f64 -2/9 (/.f64 (cos.f64 re) (pow.f64 (cbrt.f64 1/6) 6)))) (cbrt.f64 1/6))))) (cbrt.f64 1/6)))))) (pow.f64 im 3))))))
(fma.f64 -1/6 (.f64 (pow.f64 im 3) (cos.f64 re)) (fma.f64 -1 (/.f64 (fma.f64 4/3 (cos.f64 re) (fma.f64 (cbrt.f64 (cos.f64 re)) (.f64 (cbrt.f64 1/6) (.f64 (.f64 (cbrt.f64 (pow.f64 (cos.f64 re) 2)) (/.f64 1 (pow.f64 (cbrt.f64 1/6) 4))) -1/9)) (.f64 (cos.f64 re) -2/3))) im) (.f64 -1 (+.f64 (.f64 im (.f64 (cos.f64 re) 1)) (/.f64 (fma.f64 -1/3 (.f64 (/.f64 (cos.f64 re) (pow.f64 (cbrt.f64 1/6) 6)) -5/27) (fma.f64 1/3 (.f64 (cbrt.f64 (cos.f64 re)) (/.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (cos.f64 re) 2)) (/.f64 1 (pow.f64 (cbrt.f64 1/6) 4))) -1/9) (pow.f64 (cbrt.f64 1/6) 2))) (fma.f64 -2/27 (/.f64 (cos.f64 re) (pow.f64 (cbrt.f64 1/6) 6)) (.f64 (cbrt.f64 (cos.f64 re)) (.f64 (cbrt.f64 1/6) (fma.f64 -2/27 (.f64 (cbrt.f64 (pow.f64 (cos.f64 re) 2)) (/.f64 1 (pow.f64 (cbrt.f64 1/6) 7))) (.f64 -2/3 (.f64 (cbrt.f64 (/.f64 1 (cos.f64 re))) (/.f64 (.f64 (/.f64 (cos.f64 re) (pow.f64 (cbrt.f64 1/6) 6)) -5/27) (cbrt.f64 1/6)))))))))) (pow.f64 im 3))))))
(fma.f64 -1/6 (.f64 (pow.f64 im 3) (cos.f64 re)) (-.f64 (neg.f64 (fma.f64 im (cos.f64 re) (/.f64 (+.f64 (.f64 (/.f64 (cos.f64 re) 1/36) 5/81) (fma.f64 1/3 (/.f64 (.f64 (cbrt.f64 (cos.f64 re)) (/.f64 (.f64 (cbrt.f64 (pow.f64 (cos.f64 re) 2)) -1/9) (.f64 1/6 (cbrt.f64 1/6)))) (pow.f64 (cbrt.f64 1/6) 2)) (fma.f64 (cbrt.f64 (cos.f64 re)) (.f64 (cbrt.f64 1/6) (fma.f64 -2/27 (/.f64 (cbrt.f64 (pow.f64 (cos.f64 re) 2)) (pow.f64 (cbrt.f64 1/6) 7)) (/.f64 (.f64 (.f64 (.f64 (cbrt.f64 (/.f64 1 (cos.f64 re))) (/.f64 (cos.f64 re) 1/36)) -5/27) -2/3) (cbrt.f64 1/6)))) (.f64 (/.f64 (cos.f64 re) 1/36) -2/27)))) (pow.f64 im 3)))) (/.f64 (fma.f64 (cos.f64 re) 4/3 (fma.f64 (cos.f64 re) -2/3 (.f64 (cbrt.f64 (cos.f64 re)) (.f64 (cbrt.f64 1/6) (/.f64 (.f64 (cbrt.f64 (pow.f64 (cos.f64 re) 2)) -1/9) (.f64 1/6 (cbrt.f64 1/6))))))) im)))
(-.f64 (-.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (cos.f64 re)) (/.f64 (+.f64 (.f64 2/3 (cos.f64 re)) (.f64 (cbrt.f64 (cos.f64 re)) (.f64 (cbrt.f64 1/6) (.f64 (/.f64 6 (cbrt.f64 1/6)) (.f64 (cbrt.f64 (pow.f64 (cos.f64 re) 2)) -1/9))))) im)) (/.f64 (fma.f64 -1/3 (/.f64 (cos.f64 re) -3/20) (+.f64 (.f64 -8/3 (cos.f64 re)) (.f64 (cbrt.f64 (cos.f64 re)) (+.f64 (.f64 (cbrt.f64 1/6) (fma.f64 -2/3 (.f64 (cbrt.f64 (/.f64 1 (cos.f64 re))) (/.f64 (/.f64 (cos.f64 re) -3/20) (cbrt.f64 1/6))) (.f64 -2/27 (/.f64 (cbrt.f64 (pow.f64 (cos.f64 re) 2)) (pow.f64 (cbrt.f64 1/6) 7))))) (.f64 (/.f64 (/.f64 6 (cbrt.f64 1/6)) (/.f64 (pow.f64 (cbrt.f64 1/6) 2) (.f64 (cbrt.f64 (pow.f64 (cos.f64 re) 2)) -1/9))) 1/3))))) (pow.f64 im 3)))
(pow.f64 (-.f64 (*.f64 -1/6 (pow.f64 im 3)) im) 1/3)
(cbrt.f64 (-.f64 (*.f64 -1/6 (pow.f64 im 3)) im))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 re 2) (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 1/3))) (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 1/3))
(fma.f64 -1/6 (.f64 (.f64 re re) (cbrt.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))) (cbrt.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)))
(.f64 (+.f64 (.f64 (.f64 -1/6 re) re) 1) (cbrt.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)))
(.f64 (+.f64 (.f64 -1/6 (.f64 re re)) 1) (cbrt.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 re 2) (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 1/3))) (+.f64 (.f64 1/3 (.f64 (.f64 (-.f64 (.f64 1/24 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 1/12 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))) (pow.f64 re 4)) (pow.f64 (/.f64 1 (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 2)) 1/3))) (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 1/3)))
(fma.f64 -1/6 (.f64 (.f64 re re) (cbrt.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))) (fma.f64 1/3 (.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -1/24) (.f64 (pow.f64 re 4) (cbrt.f64 (/.f64 1 (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 2))))) (cbrt.f64 (-.f64 (*.f64 -1/6 (pow.f64 im 3)) im))))
(+.f64 (.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -1/72) (.f64 (pow.f64 re 4) (cbrt.f64 (/.f64 1 (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 2))))) (.f64 (+.f64 (.f64 (.f64 -1/6 re) re) 1) (cbrt.f64 (-.f64 (*.f64 -1/6 (pow.f64 im 3)) im))))
(+.f64 (.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -1/72) (.f64 (pow.f64 re 4) (cbrt.f64 (/.f64 1 (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 2))))) (.f64 (+.f64 (.f64 -1/6 (.f64 re re)) 1) (cbrt.f64 (-.f64 (*.f64 -1/6 (pow.f64 im 3)) im))))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 re 2) (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 1/3))) (+.f64 (.f64 1/3 (.f64 (.f64 (-.f64 (.f64 1/24 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 1/12 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))) (pow.f64 re 4)) (pow.f64 (/.f64 1 (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 2)) 1/3))) (+.f64 (.f64 1/3 (.f64 (.f64 (-.f64 (.f64 -1/720 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (+.f64 (.f64 -1/216 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 -1/3 (-.f64 (.f64 1/24 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 1/12 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)))))) (pow.f64 re 6)) (pow.f64 (/.f64 1 (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 2)) 1/3))) (pow.f64 (-.f64 (*.f64 -1/6 (pow.f64 im 3)) im) 1/3))))
(fma.f64 -1/6 (.f64 (.f64 re re) (cbrt.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))) (fma.f64 1/3 (.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -1/24) (.f64 (pow.f64 re 4) (cbrt.f64 (/.f64 1 (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 2))))) (fma.f64 1/3 (.f64 (-.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -1/720) (fma.f64 -1/216 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (.f64 -1/3 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -1/24)))) (.f64 (pow.f64 re 6) (cbrt.f64 (/.f64 1 (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 2))))) (cbrt.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)))))
(+.f64 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 2))) (+.f64 (.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -1/72) (pow.f64 re 4)) (.f64 (.f64 1/3 (pow.f64 re 6)) (+.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 7/2160) (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -1/72))))) (.f64 (+.f64 (.f64 (.f64 -1/6 re) re) 1) (cbrt.f64 (-.f64 (*.f64 -1/6 (pow.f64 im 3)) im))))
(+.f64 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) 2))) (+.f64 (.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -1/72) (pow.f64 re 4)) (.f64 (.f64 1/3 (pow.f64 re 6)) (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) -23/2160)))) (.f64 (+.f64 (.f64 -1/6 (.f64 re re)) 1) (cbrt.f64 (-.f64 (*.f64 -1/6 (pow.f64 im 3)) im))))
(pow.f64 (.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) 1/3)
(cbrt.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (cos.f64 re)))
(pow.f64 (.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) 1/3)
(cbrt.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (cos.f64 re)))
(pow.f64 (.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) 1/3)
(cbrt.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (cos.f64 re)))
(pow.f64 (.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) 1/3)
(cbrt.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (cos.f64 re)))
(pow.f64 (.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) 1/3)
(cbrt.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (cos.f64 re)))
(pow.f64 (.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) 1/3)
(cbrt.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (cos.f64 re)))
(pow.f64 (.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) 1/3)
(cbrt.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (cos.f64 re)))
(pow.f64 (.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) 1/3)
(cbrt.f64 (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (cos.f64 re)))
(.f64 (pow.f64 (cos.f64 re) 1/3) (.f64 (cbrt.f64 -1) (*.f64 (cbrt.f64 1/6) im)))
(.f64 (cbrt.f64 (cos.f64 re)) (.f64 (cbrt.f64 -1) (*.f64 im (cbrt.f64 1/6))))
(+.f64 (.f64 (pow.f64 (cos.f64 re) 1/3) (.f64 (cbrt.f64 -1) (.f64 (cbrt.f64 1/6) im))) (.f64 1/3 (.f64 (pow.f64 (cos.f64 re) 1/3) (/.f64 (cbrt.f64 -1) (.f64 im (pow.f64 (cbrt.f64 1/6) 2))))))
(fma.f64 (cbrt.f64 (cos.f64 re)) (.f64 (cbrt.f64 -1) (.f64 im (cbrt.f64 1/6))) (.f64 1/3 (.f64 (cbrt.f64 (cos.f64 re)) (/.f64 (cbrt.f64 -1) (*.f64 im (pow.f64 (cbrt.f64 1/6) 2))))))
(fma.f64 1/3 (.f64 (cbrt.f64 (cos.f64 re)) (/.f64 (cbrt.f64 -1) (.f64 im (pow.f64 (cbrt.f64 1/6) 2)))) (.f64 (cbrt.f64 (cos.f64 re)) (.f64 (cbrt.f64 -1) (*.f64 im (cbrt.f64 1/6)))))
(.f64 (cbrt.f64 (cos.f64 re)) (+.f64 (.f64 (cbrt.f64 -1) (.f64 im (cbrt.f64 1/6))) (.f64 1/3 (/.f64 (cbrt.f64 -1) (*.f64 im (pow.f64 (cbrt.f64 1/6) 2))))))
(+.f64 (.f64 (pow.f64 (cos.f64 re) 1/3) (.f64 (cbrt.f64 -1) (.f64 (cbrt.f64 1/6) im))) (+.f64 (.f64 -1/9 (.f64 (pow.f64 (cos.f64 re) 1/3) (/.f64 (cbrt.f64 -1) (.f64 (pow.f64 im 3) (pow.f64 (cbrt.f64 1/6) 5))))) (.f64 1/3 (.f64 (pow.f64 (cos.f64 re) 1/3) (/.f64 (cbrt.f64 -1) (*.f64 im (pow.f64 (cbrt.f64 1/6) 2)))))))
(fma.f64 (cbrt.f64 (cos.f64 re)) (.f64 (cbrt.f64 -1) (.f64 im (cbrt.f64 1/6))) (fma.f64 -1/9 (.f64 (cbrt.f64 (cos.f64 re)) (/.f64 (cbrt.f64 -1) (.f64 (pow.f64 im 3) (pow.f64 (cbrt.f64 1/6) 5)))) (.f64 1/3 (.f64 (cbrt.f64 (cos.f64 re)) (/.f64 (cbrt.f64 -1) (*.f64 im (pow.f64 (cbrt.f64 1/6) 2)))))))
(fma.f64 (cbrt.f64 (cos.f64 re)) (.f64 (cbrt.f64 -1) (.f64 im (cbrt.f64 1/6))) (fma.f64 1/3 (.f64 (cbrt.f64 (cos.f64 re)) (/.f64 (cbrt.f64 -1) (.f64 im (pow.f64 (cbrt.f64 1/6) 2)))) (.f64 -1/9 (.f64 (cbrt.f64 (cos.f64 re)) (/.f64 (cbrt.f64 -1) (*.f64 (pow.f64 im 3) (pow.f64 (cbrt.f64 1/6) 5)))))))
(fma.f64 (cbrt.f64 (cos.f64 re)) (.f64 (cbrt.f64 -1) (.f64 im (cbrt.f64 1/6))) (.f64 (cbrt.f64 (cos.f64 re)) (+.f64 (.f64 (/.f64 (cbrt.f64 -1) (.f64 im (pow.f64 (cbrt.f64 1/6) 2))) 1/3) (.f64 (/.f64 (cbrt.f64 -1) (*.f64 (pow.f64 im 3) (pow.f64 (cbrt.f64 1/6) 5))) -1/9))))
(+.f64 (.f64 -1/3 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cos.f64 re) 2)) 1/3) (/.f64 (.f64 (cbrt.f64 -1) (+.f64 (.f64 1/27 (/.f64 (cos.f64 re) (pow.f64 (cbrt.f64 1/6) 6))) (.f64 -2/9 (/.f64 (cos.f64 re) (pow.f64 (cbrt.f64 1/6) 6))))) (.f64 (pow.f64 im 5) (pow.f64 (cbrt.f64 1/6) 2))))) (+.f64 (.f64 (pow.f64 (cos.f64 re) 1/3) (.f64 (cbrt.f64 -1) (.f64 (cbrt.f64 1/6) im))) (+.f64 (.f64 -1/9 (.f64 (pow.f64 (cos.f64 re) 1/3) (/.f64 (cbrt.f64 -1) (.f64 (pow.f64 im 3) (pow.f64 (cbrt.f64 1/6) 5))))) (.f64 1/3 (.f64 (pow.f64 (cos.f64 re) 1/3) (/.f64 (cbrt.f64 -1) (*.f64 im (pow.f64 (cbrt.f64 1/6) 2))))))))
(fma.f64 -1/3 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cos.f64 re) 2))) (.f64 (/.f64 (cbrt.f64 -1) (pow.f64 im 5)) (/.f64 (.f64 (/.f64 (cos.f64 re) (pow.f64 (cbrt.f64 1/6) 6)) -5/27) (pow.f64 (cbrt.f64 1/6) 2)))) (fma.f64 (cbrt.f64 (cos.f64 re)) (.f64 (cbrt.f64 -1) (.f64 im (cbrt.f64 1/6))) (fma.f64 -1/9 (.f64 (cbrt.f64 (cos.f64 re)) (/.f64 (cbrt.f64 -1) (.f64 (pow.f64 im 3) (pow.f64 (cbrt.f64 1/6) 5)))) (.f64 1/3 (.f64 (cbrt.f64 (cos.f64 re)) (/.f64 (cbrt.f64 -1) (.f64 im (pow.f64 (cbrt.f64 1/6) 2))))))))
(fma.f64 -1/3 (.f64 (/.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cos.f64 re) 2))) (pow.f64 im 5)) (/.f64 (.f64 (/.f64 (cos.f64 re) 1/36) (.f64 -5/27 (cbrt.f64 -1))) (pow.f64 (cbrt.f64 1/6) 2))) (fma.f64 (cbrt.f64 (cos.f64 re)) (.f64 (cbrt.f64 -1) (.f64 im (cbrt.f64 1/6))) (fma.f64 1/3 (.f64 (cbrt.f64 (cos.f64 re)) (/.f64 (cbrt.f64 -1) (.f64 im (pow.f64 (cbrt.f64 1/6) 2)))) (.f64 -1/9 (.f64 (cbrt.f64 (cos.f64 re)) (/.f64 (cbrt.f64 -1) (.f64 (pow.f64 im 3) (pow.f64 (cbrt.f64 1/6) 5))))))))
(fma.f64 -1/3 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cos.f64 re) 2))) (.f64 (/.f64 (/.f64 (cos.f64 re) -3/20) (.f64 (pow.f64 (cbrt.f64 1/6) 2) (pow.f64 im 5))) (cbrt.f64 -1))) (fma.f64 (cbrt.f64 (cos.f64 re)) (.f64 (cbrt.f64 -1) (.f64 im (cbrt.f64 1/6))) (.f64 (cbrt.f64 (cos.f64 re)) (+.f64 (.f64 (/.f64 (cbrt.f64 -1) (.f64 im (pow.f64 (cbrt.f64 1/6) 2))) 1/3) (.f64 (/.f64 (cbrt.f64 -1) (.f64 (pow.f64 im 3) (pow.f64 (cbrt.f64 1/6) 5))) -1/9)))))
(.f64 -1 (.f64 (pow.f64 (cos.f64 re) 1/3) (*.f64 (cbrt.f64 1/6) im)))
(neg.f64 (.f64 (cbrt.f64 (cos.f64 re)) (.f64 im (cbrt.f64 1/6))))
(.f64 (cbrt.f64 (cos.f64 re)) (neg.f64 (.f64 im (cbrt.f64 1/6))))
(.f64 im (.f64 (cbrt.f64 (cos.f64 re)) (neg.f64 (cbrt.f64 1/6))))
(+.f64 (.f64 -1 (.f64 (pow.f64 (cos.f64 re) 1/3) (.f64 (cbrt.f64 1/6) im))) (.f64 -1/3 (.f64 (pow.f64 (cos.f64 re) 1/3) (/.f64 1 (.f64 im (pow.f64 (cbrt.f64 1/6) 2))))))
(fma.f64 -1 (.f64 (cbrt.f64 (cos.f64 re)) (.f64 im (cbrt.f64 1/6))) (.f64 -1/3 (.f64 (cbrt.f64 (cos.f64 re)) (/.f64 (/.f64 1 im) (pow.f64 (cbrt.f64 1/6) 2)))))
(-.f64 (.f64 -1/3 (/.f64 (cbrt.f64 (cos.f64 re)) (.f64 im (pow.f64 (cbrt.f64 1/6) 2)))) (.f64 im (.f64 (cbrt.f64 (cos.f64 re)) (cbrt.f64 1/6))))
(.f64 (cbrt.f64 (cos.f64 re)) (-.f64 (.f64 -1/3 (/.f64 (/.f64 1 im) (pow.f64 (cbrt.f64 1/6) 2))) (*.f64 im (cbrt.f64 1/6))))
(+.f64 (.f64 -1 (.f64 (pow.f64 (cos.f64 re) 1/3) (.f64 (cbrt.f64 1/6) im))) (+.f64 (.f64 1/9 (.f64 (pow.f64 (cos.f64 re) 1/3) (/.f64 1 (.f64 (pow.f64 im 3) (pow.f64 (cbrt.f64 1/6) 5))))) (.f64 -1/3 (.f64 (pow.f64 (cos.f64 re) 1/3) (/.f64 1 (*.f64 im (pow.f64 (cbrt.f64 1/6) 2)))))))
(fma.f64 -1 (.f64 (cbrt.f64 (cos.f64 re)) (.f64 im (cbrt.f64 1/6))) (fma.f64 1/9 (.f64 (cbrt.f64 (cos.f64 re)) (/.f64 1 (.f64 (pow.f64 im 3) (pow.f64 (cbrt.f64 1/6) 5)))) (.f64 -1/3 (.f64 (cbrt.f64 (cos.f64 re)) (/.f64 (/.f64 1 im) (pow.f64 (cbrt.f64 1/6) 2))))))
(-.f64 (fma.f64 -1/3 (/.f64 (cbrt.f64 (cos.f64 re)) (.f64 im (pow.f64 (cbrt.f64 1/6) 2))) (.f64 1/9 (/.f64 (cbrt.f64 (cos.f64 re)) (.f64 (pow.f64 im 3) (pow.f64 (cbrt.f64 1/6) 5))))) (.f64 im (*.f64 (cbrt.f64 (cos.f64 re)) (cbrt.f64 1/6))))
(+.f64 (.f64 1/9 (/.f64 (cbrt.f64 (cos.f64 re)) (.f64 (pow.f64 im 3) (pow.f64 (cbrt.f64 1/6) 5)))) (.f64 (cbrt.f64 (cos.f64 re)) (-.f64 (.f64 -1/3 (/.f64 (/.f64 1 im) (pow.f64 (cbrt.f64 1/6) 2))) (*.f64 im (cbrt.f64 1/6)))))
(+.f64 (.f64 -1 (.f64 (pow.f64 (cos.f64 re) 1/3) (.f64 (cbrt.f64 1/6) im))) (+.f64 (.f64 1/9 (.f64 (pow.f64 (cos.f64 re) 1/3) (/.f64 1 (.f64 (pow.f64 im 3) (pow.f64 (cbrt.f64 1/6) 5))))) (+.f64 (.f64 -1/3 (.f64 (pow.f64 (cos.f64 re) 1/3) (/.f64 1 (.f64 im (pow.f64 (cbrt.f64 1/6) 2))))) (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cos.f64 re) 2)) 1/3) (/.f64 (+.f64 (.f64 1/27 (/.f64 (cos.f64 re) (pow.f64 (cbrt.f64 1/6) 6))) (.f64 -2/9 (/.f64 (cos.f64 re) (pow.f64 (cbrt.f64 1/6) 6)))) (.f64 (pow.f64 im 5) (pow.f64 (cbrt.f64 1/6) 2))))))))
(fma.f64 -1 (.f64 (cbrt.f64 (cos.f64 re)) (.f64 im (cbrt.f64 1/6))) (fma.f64 1/9 (.f64 (cbrt.f64 (cos.f64 re)) (/.f64 1 (.f64 (pow.f64 im 3) (pow.f64 (cbrt.f64 1/6) 5)))) (fma.f64 -1/3 (.f64 (cbrt.f64 (cos.f64 re)) (/.f64 (/.f64 1 im) (pow.f64 (cbrt.f64 1/6) 2))) (.f64 1/3 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cos.f64 re) 2))) (/.f64 (.f64 (/.f64 (cos.f64 re) (pow.f64 (cbrt.f64 1/6) 6)) -5/27) (*.f64 (pow.f64 (cbrt.f64 1/6) 2) (pow.f64 im 5))))))))
(-.f64 (fma.f64 1/9 (/.f64 (cbrt.f64 (cos.f64 re)) (.f64 (pow.f64 im 3) (pow.f64 (cbrt.f64 1/6) 5))) (fma.f64 -1/3 (/.f64 (cbrt.f64 (cos.f64 re)) (.f64 im (pow.f64 (cbrt.f64 1/6) 2))) (.f64 1/3 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cos.f64 re) 2))) (.f64 (/.f64 (/.f64 (cos.f64 re) 1/36) (pow.f64 (cbrt.f64 1/6) 2)) (/.f64 -5/27 (pow.f64 im 5))))))) (.f64 im (*.f64 (cbrt.f64 (cos.f64 re)) (cbrt.f64 1/6))))
(+.f64 (fma.f64 -1/3 (/.f64 (cbrt.f64 (cos.f64 re)) (.f64 im (pow.f64 (cbrt.f64 1/6) 2))) (.f64 1/3 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cos.f64 re) 2))) (/.f64 (/.f64 (cos.f64 re) -3/20) (.f64 (pow.f64 (cbrt.f64 1/6) 2) (pow.f64 im 5)))))) (.f64 (cbrt.f64 (cos.f64 re)) (+.f64 (.f64 (cbrt.f64 1/6) (neg.f64 im)) (*.f64 (/.f64 (/.f64 1 (pow.f64 im 3)) (pow.f64 (cbrt.f64 1/6) 5)) 1/9))))

prune250.0ms (2.6%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	176	6	182
Fresh	4	0	4
Picked	0	1	1
Done	0	2	2
Total	180	9	189

Error

0.0b

Counts

189 → 9

Alt Table

Status	Error	Program
	39.9b	(/.f64 (.f64 (cos.f64 re) (fma.f64 (pow.f64 im 9) -1/216 (neg.f64 (pow.f64 im 3)))) (fma.f64 im (fma.f64 (pow.f64 im 3) -1/6 im) (.f64 (pow.f64 im 6) 1/36)))
✓	59.0b	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))
	35.7b	(.f64 (.f64 (cos.f64 re) (sqrt.f64 (-.f64 (.f64 (pow.f64 im 3) -1/6) im))) (sqrt.f64 (-.f64 (.f64 (pow.f64 im 3) -1/6) im)))
✓	1.7b	(pow.f64 (cbrt.f64 (.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im))) 3)
▶	0.9b	(.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 2) (.f64 (cbrt.f64 (cos.f64 re)) (-.f64 (*.f64 (pow.f64 im 3) -1/6) im)))
	27.3b	(/.f64 (.f64 (-.f64 (.f64 (pow.f64 im 6) 1/36) (*.f64 im im)) (cos.f64 re)) (fma.f64 (pow.f64 im 3) -1/6 im))
	14.8b	(.f64 (.f64 (-.f64 (*.f64 (pow.f64 im 3) -1/6) im) (sqrt.f64 (cos.f64 re))) (sqrt.f64 (cos.f64 re)))
	1.7b	(.f64 (.f64 (cos.f64 re) (pow.f64 (cbrt.f64 (-.f64 (.f64 (pow.f64 im 3) -1/6) im)) 2)) (cbrt.f64 (-.f64 (.f64 (pow.f64 im 3) -1/6) im)))
✓	0.4b	(.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im))

Compiler

Compiled 5703 to 4250 computations (25.5% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(*.f64 (pow.f64 im 3) -1/6)
✓	0.1b	(.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 2) (.f64 (cbrt.f64 (cos.f64 re)) (-.f64 (*.f64 (pow.f64 im 3) -1/6) im)))
✓	0.2b	(pow.f64 (cbrt.f64 (cos.f64 re)) 2)
✓	0.3b	(cbrt.f64 (cos.f64 re))

series9.0ms (0.1%)

Counts

3 → 48

Calls

12 calls:

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

rewrite61.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

646×	`prod-diff_binary64`
638×	`log-prod_binary64`
364×	`fma-def_binary64`
341×	`pow2_binary64`
240×	`pow1/3_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	28
1	301	28
2	3498	28

Stop Event

1×	node limit

Counts

3 → 74

Calls

Call 1

Inputs
(cbrt.f64 (cos.f64 re))
(pow.f64 (cbrt.f64 (cos.f64 re)) 2)
(.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 2) (.f64 (cbrt.f64 (cos.f64 re)) (-.f64 (*.f64 (pow.f64 im 3) -1/6) im)))

Outputs

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

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

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

simplify49.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

736×	`fma-neg_binary64`
652×	`cancel-sign-sub-inv_binary64`
561×	`unsub-neg_binary64`
510×	`associate-+l+_binary64`
474×	`*-commutative_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	66	649
1	176	624
2	509	596
3	2280	578
4	5325	578

Stop Event

1×	node limit

Counts

122 → 103

Calls

Call 1

Inputs
1
(+.f64 1 (*.f64 -1/6 (pow.f64 re 2)))
(+.f64 (.f64 -1/72 (pow.f64 re 4)) (+.f64 1 (.f64 -1/6 (pow.f64 re 2))))
(+.f64 (.f64 -23/6480 (pow.f64 re 6)) (+.f64 (.f64 -1/72 (pow.f64 re 4)) (+.f64 1 (*.f64 -1/6 (pow.f64 re 2)))))
(pow.f64 (cos.f64 re) 1/3)
(pow.f64 (cos.f64 re) 1/3)
(pow.f64 (cos.f64 re) 1/3)
(pow.f64 (cos.f64 re) 1/3)
(pow.f64 (cos.f64 re) 1/3)
(pow.f64 (cos.f64 re) 1/3)
(pow.f64 (cos.f64 re) 1/3)
(pow.f64 (cos.f64 re) 1/3)
1
(+.f64 1 (*.f64 -1/3 (pow.f64 re 2)))
(+.f64 1 (+.f64 (.f64 -1/3 (pow.f64 re 2)) (.f64 -1/405 (pow.f64 re 6))))
(+.f64 1 (+.f64 (.f64 -1/1701 (pow.f64 re 8)) (+.f64 (.f64 -1/3 (pow.f64 re 2)) (*.f64 -1/405 (pow.f64 re 6)))))
(pow.f64 (pow.f64 (cos.f64 re) 2) 1/3)
(pow.f64 (pow.f64 (cos.f64 re) 2) 1/3)
(pow.f64 (pow.f64 (cos.f64 re) 2) 1/3)
(pow.f64 (pow.f64 (cos.f64 re) 2) 1/3)
(pow.f64 (pow.f64 (cos.f64 re) 2) 1/3)
(pow.f64 (pow.f64 (cos.f64 re) 2) 1/3)
(pow.f64 (pow.f64 (cos.f64 re) 2) 1/3)
(pow.f64 (pow.f64 (cos.f64 re) 2) 1/3)
(-.f64 (*.f64 -1/6 (pow.f64 im 3)) im)
(-.f64 (+.f64 (.f64 -1/2 (.f64 (pow.f64 re 2) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))) (.f64 -1/6 (pow.f64 im 3))) im)
(-.f64 (+.f64 (.f64 -1/2 (.f64 (pow.f64 re 2) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))) (+.f64 (.f64 -1/6 (pow.f64 im 3)) (.f64 1/24 (.f64 (pow.f64 re 4) (-.f64 (*.f64 -1/6 (pow.f64 im 3)) im))))) im)
(-.f64 (+.f64 (.f64 -1/2 (.f64 (pow.f64 re 2) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))) (+.f64 (.f64 -1/6 (pow.f64 im 3)) (+.f64 (.f64 -1/720 (.f64 (pow.f64 re 6) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))) (.f64 1/24 (.f64 (pow.f64 re 4) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)))))) im)
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 -1 (.f64 (cos.f64 re) im))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (cos.f64 re) im)))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (cos.f64 re) im)))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (cos.f64 re) im)))
(.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3)))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (cos.f64 re) im)))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (cos.f64 re) im)))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (cos.f64 re) im)))
(.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3)))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (cos.f64 re) im)))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (cos.f64 re) im)))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (cos.f64 re) im)))

Outputs
1
(+.f64 1 (*.f64 -1/6 (pow.f64 re 2)))
(+.f64 1 (.f64 -1/6 (.f64 re re)))
(fma.f64 -1/6 (*.f64 re re) 1)
(+.f64 (.f64 -1/72 (pow.f64 re 4)) (+.f64 1 (.f64 -1/6 (pow.f64 re 2))))
(fma.f64 -1/72 (pow.f64 re 4) (+.f64 1 (.f64 -1/6 (.f64 re re))))
(fma.f64 -1/72 (pow.f64 re 4) (fma.f64 -1/6 (*.f64 re re) 1))
(fma.f64 -1/6 (*.f64 re re) (fma.f64 -1/72 (pow.f64 re 4) 1))
(+.f64 (.f64 -23/6480 (pow.f64 re 6)) (+.f64 (.f64 -1/72 (pow.f64 re 4)) (+.f64 1 (*.f64 -1/6 (pow.f64 re 2)))))
(fma.f64 -23/6480 (pow.f64 re 6) (fma.f64 -1/72 (pow.f64 re 4) (+.f64 1 (.f64 -1/6 (.f64 re re)))))
(fma.f64 -23/6480 (pow.f64 re 6) (fma.f64 -1/72 (pow.f64 re 4) (fma.f64 -1/6 (*.f64 re re) 1)))
(fma.f64 -23/6480 (pow.f64 re 6) (fma.f64 -1/6 (*.f64 re re) (fma.f64 -1/72 (pow.f64 re 4) 1)))
(pow.f64 (cos.f64 re) 1/3)
(cbrt.f64 (cos.f64 re))
(pow.f64 (cos.f64 re) 1/3)
(cbrt.f64 (cos.f64 re))
(pow.f64 (cos.f64 re) 1/3)
(cbrt.f64 (cos.f64 re))
(pow.f64 (cos.f64 re) 1/3)
(cbrt.f64 (cos.f64 re))
(pow.f64 (cos.f64 re) 1/3)
(cbrt.f64 (cos.f64 re))
(pow.f64 (cos.f64 re) 1/3)
(cbrt.f64 (cos.f64 re))
(pow.f64 (cos.f64 re) 1/3)
(cbrt.f64 (cos.f64 re))
(pow.f64 (cos.f64 re) 1/3)
(cbrt.f64 (cos.f64 re))
1
(+.f64 1 (*.f64 -1/3 (pow.f64 re 2)))
(+.f64 1 (.f64 (.f64 re re) -1/3))
(fma.f64 (*.f64 re re) -1/3 1)
(fma.f64 re (*.f64 re -1/3) 1)
(+.f64 1 (+.f64 (.f64 -1/3 (pow.f64 re 2)) (.f64 -1/405 (pow.f64 re 6))))
(+.f64 1 (fma.f64 -1/3 (.f64 re re) (.f64 (pow.f64 re 6) -1/405)))
(+.f64 1 (fma.f64 (pow.f64 re 6) -1/405 (.f64 re (.f64 re -1/3))))
(fma.f64 re (*.f64 re -1/3) (fma.f64 (pow.f64 re 6) -1/405 1))
(+.f64 1 (+.f64 (.f64 -1/1701 (pow.f64 re 8)) (+.f64 (.f64 -1/3 (pow.f64 re 2)) (*.f64 -1/405 (pow.f64 re 6)))))
(+.f64 1 (fma.f64 -1/1701 (pow.f64 re 8) (fma.f64 -1/3 (.f64 re re) (.f64 (pow.f64 re 6) -1/405))))
(+.f64 1 (fma.f64 -1/1701 (pow.f64 re 8) (fma.f64 (pow.f64 re 6) -1/405 (.f64 re (.f64 re -1/3)))))
(fma.f64 -1/1701 (pow.f64 re 8) (fma.f64 re (*.f64 re -1/3) (fma.f64 (pow.f64 re 6) -1/405 1)))
(pow.f64 (pow.f64 (cos.f64 re) 2) 1/3)
(cbrt.f64 (pow.f64 (cos.f64 re) 2))
(pow.f64 (pow.f64 (cos.f64 re) 2) 1/3)
(cbrt.f64 (pow.f64 (cos.f64 re) 2))
(pow.f64 (pow.f64 (cos.f64 re) 2) 1/3)
(cbrt.f64 (pow.f64 (cos.f64 re) 2))
(pow.f64 (pow.f64 (cos.f64 re) 2) 1/3)
(cbrt.f64 (pow.f64 (cos.f64 re) 2))
(pow.f64 (pow.f64 (cos.f64 re) 2) 1/3)
(cbrt.f64 (pow.f64 (cos.f64 re) 2))
(pow.f64 (pow.f64 (cos.f64 re) 2) 1/3)
(cbrt.f64 (pow.f64 (cos.f64 re) 2))
(pow.f64 (pow.f64 (cos.f64 re) 2) 1/3)
(cbrt.f64 (pow.f64 (cos.f64 re) 2))
(pow.f64 (pow.f64 (cos.f64 re) 2) 1/3)
(cbrt.f64 (pow.f64 (cos.f64 re) 2))
(-.f64 (*.f64 -1/6 (pow.f64 im 3)) im)
(fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im))
(-.f64 (+.f64 (.f64 -1/2 (.f64 (pow.f64 re 2) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))) (.f64 -1/6 (pow.f64 im 3))) im)
(-.f64 (fma.f64 -1/2 (.f64 (.f64 re re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 -1/6 (pow.f64 im 3))) im)
(.f64 (+.f64 (.f64 (.f64 re re) -1/2) 1) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(.f64 (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)) (fma.f64 (.f64 re re) -1/2 1))
(.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (fma.f64 (*.f64 re re) -1/2 1))
(-.f64 (+.f64 (.f64 -1/2 (.f64 (pow.f64 re 2) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))) (+.f64 (.f64 -1/6 (pow.f64 im 3)) (.f64 1/24 (.f64 (pow.f64 re 4) (-.f64 (*.f64 -1/6 (pow.f64 im 3)) im))))) im)
(-.f64 (fma.f64 -1/2 (.f64 (.f64 re re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (fma.f64 -1/6 (pow.f64 im 3) (.f64 1/24 (.f64 (pow.f64 re 4) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))))) im)
(-.f64 (fma.f64 -1/2 (.f64 re (.f64 re (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))) (fma.f64 1/24 (.f64 (pow.f64 re 4) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 -1/6 (pow.f64 im 3)))) im)
(-.f64 (fma.f64 -1/6 (pow.f64 im 3) (.f64 (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)) (+.f64 (.f64 (pow.f64 re 4) 1/24) (.f64 re (.f64 re -1/2))))) im)
(.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (+.f64 (.f64 (pow.f64 re 4) 1/24) (fma.f64 (.f64 re re) -1/2 1)))
(-.f64 (+.f64 (.f64 -1/2 (.f64 (pow.f64 re 2) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))) (+.f64 (.f64 -1/6 (pow.f64 im 3)) (+.f64 (.f64 -1/720 (.f64 (pow.f64 re 6) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))) (.f64 1/24 (.f64 (pow.f64 re 4) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)))))) im)
(-.f64 (fma.f64 -1/2 (.f64 (.f64 re re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (fma.f64 -1/6 (pow.f64 im 3) (fma.f64 -1/720 (.f64 (pow.f64 re 6) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)) (.f64 1/24 (.f64 (pow.f64 re 4) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)))))) im)
(-.f64 (fma.f64 -1/2 (.f64 re (.f64 re (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))) (fma.f64 -1/6 (pow.f64 im 3) (.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (+.f64 (.f64 (pow.f64 re 6) -1/720) (*.f64 (pow.f64 re 4) 1/24))))) im)
(-.f64 (fma.f64 -1/6 (pow.f64 im 3) (.f64 (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)) (+.f64 (.f64 re (.f64 re -1/2)) (fma.f64 (pow.f64 re 4) 1/24 (.f64 (pow.f64 re 6) -1/720))))) im)
(.f64 (-.f64 (.f64 -1/6 (pow.f64 im 3)) im) (+.f64 (fma.f64 (pow.f64 re 6) -1/720 (.f64 (pow.f64 re 4) 1/24)) (fma.f64 (.f64 re re) -1/2 1)))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(*.f64 (cos.f64 re) (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(*.f64 (cos.f64 re) (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(*.f64 (cos.f64 re) (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(*.f64 (cos.f64 re) (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(*.f64 (cos.f64 re) (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(*.f64 (cos.f64 re) (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(*.f64 (cos.f64 re) (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(*.f64 (cos.f64 re) (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)))
(.f64 -1 (.f64 (cos.f64 re) im))
(neg.f64 (*.f64 (cos.f64 re) im))
(*.f64 (cos.f64 re) (neg.f64 im))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (cos.f64 re) im)))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(*.f64 (cos.f64 re) (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (cos.f64 re) im)))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(*.f64 (cos.f64 re) (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (cos.f64 re) im)))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(*.f64 (cos.f64 re) (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)))
(.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3)))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (cos.f64 re) im)))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(*.f64 (cos.f64 re) (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (cos.f64 re) im)))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(*.f64 (cos.f64 re) (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (cos.f64 re) im)))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(*.f64 (cos.f64 re) (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)))
(.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3)))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (cos.f64 re) im)))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(*.f64 (cos.f64 re) (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (cos.f64 re) im)))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(*.f64 (cos.f64 re) (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)))
(+.f64 (.f64 -1/6 (.f64 (cos.f64 re) (pow.f64 im 3))) (.f64 -1 (.f64 (cos.f64 re) im)))
(.f64 (cos.f64 re) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))
(*.f64 (cos.f64 re) (fma.f64 -1/6 (pow.f64 im 3) (neg.f64 im)))

prune404.0ms (4.3%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	153	4	157
Fresh	3	2	5
Picked	1	0	1
Done	0	3	3
Total	157	9	166

Error

Counts

166 → 9

Alt Table

Status	Error	Program
	27.3b	(/.f64 (.f64 (-.f64 (.f64 (pow.f64 im 6) 1/36) (*.f64 im im)) (cos.f64 re)) (fma.f64 (pow.f64 im 3) -1/6 im))
	1.0b	(.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cos.f64 re))) 2) (.f64 (cbrt.f64 (cbrt.f64 (cos.f64 re))) (cbrt.f64 (cos.f64 re)))) (.f64 (cbrt.f64 (cos.f64 re)) (-.f64 (*.f64 (pow.f64 im 3) -1/6) im)))
✓	1.7b	(pow.f64 (cbrt.f64 (.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im))) 3)
	0.5b	(.f64 (pow.f64 (pow.f64 (cos.f64 re) 2) 1/3) (.f64 (cbrt.f64 (cos.f64 re)) (-.f64 (*.f64 (pow.f64 im 3) -1/6) im)))
	15.0b	(.f64 (pow.f64 (pow.f64 (pow.f64 (cos.f64 re) 1/6) 2) 2) (.f64 (cbrt.f64 (cos.f64 re)) (-.f64 (*.f64 (pow.f64 im 3) -1/6) im)))
✓	59.0b	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))
	14.8b	(.f64 (.f64 (-.f64 (*.f64 (pow.f64 im 3) -1/6) im) (sqrt.f64 (cos.f64 re))) (sqrt.f64 (cos.f64 re)))
	0.7b	(.f64 (cbrt.f64 (pow.f64 (cos.f64 re) 2)) (.f64 (cbrt.f64 (cos.f64 re)) (-.f64 (*.f64 (pow.f64 im 3) -1/6) im)))
✓	0.4b	(.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im))

Compiler

Compiled 3335 to 2037 computations (38.9% saved)

regimes51.0ms (0.5%)

Accuracy

Total -62.9b remaining (-17875.4%)

Threshold costs -62.9b (-17875.4%)

Counts

17 → 1

Calls

Call 1

Inputs
(.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cos.f64 re))) 2) (.f64 (cbrt.f64 (cbrt.f64 (cos.f64 re))) (cbrt.f64 (cos.f64 re)))) (.f64 (cbrt.f64 (cos.f64 re)) (-.f64 (*.f64 (pow.f64 im 3) -1/6) im)))
(.f64 (pow.f64 (pow.f64 (cos.f64 re) 2) 1/3) (.f64 (cbrt.f64 (cos.f64 re)) (-.f64 (*.f64 (pow.f64 im 3) -1/6) im)))
(.f64 (pow.f64 (pow.f64 (pow.f64 (cos.f64 re) 1/6) 2) 2) (.f64 (cbrt.f64 (cos.f64 re)) (-.f64 (*.f64 (pow.f64 im 3) -1/6) im)))
(.f64 (cbrt.f64 (pow.f64 (cos.f64 re) 2)) (.f64 (cbrt.f64 (cos.f64 re)) (-.f64 (*.f64 (pow.f64 im 3) -1/6) im)))
(/.f64 (.f64 (cos.f64 re) (fma.f64 (pow.f64 im 9) -1/216 (neg.f64 (pow.f64 im 3)))) (fma.f64 im (fma.f64 (pow.f64 im 3) -1/6 im) (.f64 (pow.f64 im 6) 1/36)))
(.f64 (.f64 (cos.f64 re) (sqrt.f64 (-.f64 (.f64 (pow.f64 im 3) -1/6) im))) (sqrt.f64 (-.f64 (.f64 (pow.f64 im 3) -1/6) im)))
(.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 2) (.f64 (cbrt.f64 (cos.f64 re)) (-.f64 (*.f64 (pow.f64 im 3) -1/6) im)))
(/.f64 (.f64 (-.f64 (.f64 (pow.f64 im 6) 1/36) (*.f64 im im)) (cos.f64 re)) (fma.f64 (pow.f64 im 3) -1/6 im))
(.f64 (.f64 (-.f64 (*.f64 (pow.f64 im 3) -1/6) im) (sqrt.f64 (cos.f64 re))) (sqrt.f64 (cos.f64 re)))
(.f64 (.f64 (cos.f64 re) (pow.f64 (cbrt.f64 (-.f64 (.f64 (pow.f64 im 3) -1/6) im)) 2)) (cbrt.f64 (-.f64 (.f64 (pow.f64 im 3) -1/6) im)))
(-.f64 (+.f64 (.f64 -1/2 (.f64 (pow.f64 re 2) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))) (+.f64 (.f64 -1/6 (pow.f64 im 3)) (+.f64 (.f64 -1/720 (.f64 (pow.f64 re 6) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im))) (.f64 1/24 (.f64 (pow.f64 re 4) (-.f64 (.f64 -1/6 (pow.f64 im 3)) im)))))) im)
(/.f64 (.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 6) 1/36) (*.f64 im im))) (fma.f64 (pow.f64 im 3) -1/6 im))
(cbrt.f64 (pow.f64 (.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im)) 3))
(pow.f64 (sqrt.f64 (.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im))) 2)
(pow.f64 (cbrt.f64 (.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im))) 3)
(.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im))
(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))

Outputs
(.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im))

Results

9.0ms	0.4b	`re`
10.0ms	0.4b	`im`
3.0ms	0.4b	`(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))`
7.0ms	0.4b	`(*.f64 1/2 (cos.f64 re))`
9.0ms	0.4b	`(cos.f64 re)`
3.0ms	0.4b	`(-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im))`

Compiler

Compiled 371 to 247 computations (33.4% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
2×	`+-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	10	15
1	14	15
2	19	15
3	21	15
4	22	15

Stop Event

1×

saturated

Calls

Call 1

Inputs
(.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im))

Outputs
(.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 3) -1/6) im))

end21.0ms (0.2%)

Stop Event

1×

fuel

Compiler

Compiled 24 to 18 computations (25% saved)

Details

analyze143.0ms (1.5%)

sample7.8s (82.1%)

preprocess58.0ms (0.6%)

simplify39.0ms (0.4%)

prune4.0ms (0%)

localize8.0ms (0.1%)

series7.0ms (0.1%)

rewrite138.0ms (1.4%)

simplify47.0ms (0.5%)

prune45.0ms (0.5%)

localize8.0ms (0.1%)

series8.0ms (0.1%)

rewrite50.0ms (0.5%)

simplify42.0ms (0.4%)

prune90.0ms (0.9%)

localize9.0ms (0.1%)

series31.0ms (0.3%)

rewrite56.0ms (0.6%)

simplify62.0ms (0.6%)

prune250.0ms (2.6%)

localize11.0ms (0.1%)

series9.0ms (0.1%)

rewrite61.0ms (0.6%)

simplify49.0ms (0.5%)

prune404.0ms (4.3%)

regimes51.0ms (0.5%)

simplify2.0ms (0%)

end21.0ms (0.2%)

Profiling