Details

analyze138.0ms (2.4%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
50%	50%	50%	0.1%	0%	0%	0%	5
50%	50%	50%	0.1%	0%	0%	0%	6
57.1%	50%	37.5%	0.1%	12.5%	0%	0%	7
57.1%	50%	37.5%	0.1%	12.5%	0%	0%	8
61.5%	50%	31.2%	0.1%	18.7%	0%	0%	9
61.5%	50%	31.2%	0.1%	18.7%	0%	0%	10
64%	50%	28.1%	0.1%	21.9%	0%	0%	11
64%	50%	28.1%	0.1%	21.9%	0%	0%	12

Compiler

Compiled 14 to 11 computations (21.4% saved)

sample4.4s (77.2%)

Results

1.3s	2029×	body	1024	valid
1.2s	5145×	body	256	valid
894.0ms	2026×	body	1024	infinite
488.0ms	1078×	body	512	valid
303.0ms	1019×	body	512	infinite
242.0ms	1478×	body	256	infinite
4.0ms	4×	body	2048	valid

Bogosity

preprocess128.0ms (2.2%)

Algorithm

2×	egg-herbie

Rules

1424×	`times-frac`
1136×	`fma-def`
838×	`associate-r`
824×	`sqr-pow`
632×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	70
1	51	70
2	128	70
3	217	66
4	410	66
5	771	66
6	1605	66
7	2662	66
8	3700	66
9	4436	66
10	5063	66
11	6071	66
12	7652	66
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 (neg.f64 im)) (exp.f64 im)))
(.f64 (.f64 1/2 (cos.f64 im)) (+.f64 (exp.f64 (neg.f64 re)) (exp.f64 re)))

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

Compiler

Compiled 15 to 12 computations (20% saved)

simplify107.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

1068×	`associate-/l*`
904×	`unswap-sqr`
890×	`fma-def`
728×	`associate-*r/`
712×	`associate-/r/`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	13	35
1	30	35
2	70	35
3	113	33
4	212	33
5	392	33
6	823	33
7	1357	33
8	3918	33
9	4348	33
10	5453	33
11	6144	33
12	7172	33

Stop Event

1×	node limit

Counts

1 → 3

Calls

Call 1

Inputs
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

Outputs

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

eval1.0ms (0%)

Compiler: Compiled 35 to 18 computations (48.6% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

4 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

Compiler

Compiled 13 to 10 computations (23.1% saved)

localize13.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

Compiler

Compiled 35 to 13 computations (62.9% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	im	@	0	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
0.0ms	im	@	-inf	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
0.0ms	im	@	inf	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

rewrite39.0ms (0.7%)

Algorithm

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

Rules

174×	`add-sqr-sqrt`
168×	`pow1`
168×	`*-un-lft-identity`
164×	`add-exp-log`
162×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	166	19
2	2546	19
0	8	19

Stop Event

1×	iter limit
1×	unsound

Counts

1 → 11

Calls

Call 1

Inputs
(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

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

Outputs

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

simplify78.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

1156×	`times-frac`
998×	`associate-/l*`
772×	`associate-+r-`
650×	`distribute-lft-in`
642×	`*-commutative`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	61	521
1	162	489
2	570	475
3	2113	475
4	7656	475

Stop Event

1×	node limit

Counts

23 → 30

Calls

Call 1

Inputs
2
(+.f64 2 (pow.f64 im 2))
(+.f64 2 (+.f64 (pow.f64 im 2) (*.f64 1/12 (pow.f64 im 4))))
(+.f64 2 (+.f64 (pow.f64 im 2) (+.f64 (.f64 1/12 (pow.f64 im 4)) (.f64 1/360 (pow.f64 im 6)))))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(*.f64 1 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 (.f64 (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(/.f64 (-.f64 (.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (.f64 (exp.f64 im) (exp.f64 im))) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(/.f64 (+.f64 (pow.f64 (exp.f64 (neg.f64 im)) 3) (pow.f64 (exp.f64 im) 3)) (+.f64 (.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (-.f64 (.f64 (exp.f64 im) (exp.f64 im)) (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
(pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 1)
(log.f64 (exp.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(cbrt.f64 (.f64 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(expm1.f64 (log1p.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(exp.f64 (log.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(log1p.f64 (expm1.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))

Outputs
2
(+.f64 2 (pow.f64 im 2))
(+.f64 2 (*.f64 im im))
(fma.f64 im im 2)
(+.f64 2 (+.f64 (pow.f64 im 2) (*.f64 1/12 (pow.f64 im 4))))
(+.f64 2 (+.f64 (.f64 im im) (.f64 1/12 (pow.f64 im 4))))
(+.f64 2 (fma.f64 1/12 (pow.f64 im 4) (*.f64 im im)))
(fma.f64 im im (fma.f64 1/12 (pow.f64 im 4) 2))
(+.f64 2 (+.f64 (pow.f64 im 2) (+.f64 (.f64 1/12 (pow.f64 im 4)) (.f64 1/360 (pow.f64 im 6)))))
(+.f64 2 (+.f64 (.f64 im im) (fma.f64 1/12 (pow.f64 im 4) (.f64 1/360 (pow.f64 im 6)))))
(+.f64 (fma.f64 im im 2) (fma.f64 1/360 (pow.f64 im 6) (*.f64 1/12 (pow.f64 im 4))))
(+.f64 (fma.f64 1/12 (pow.f64 im 4) (*.f64 im im)) (fma.f64 1/360 (pow.f64 im 6) 2))
(+.f64 2 (fma.f64 1/12 (pow.f64 im 4) (fma.f64 im im (*.f64 1/360 (pow.f64 im 6)))))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(*.f64 1 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(.f64 (.f64 (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(/.f64 (-.f64 (.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (.f64 (exp.f64 im) (exp.f64 im))) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(/.f64 (+.f64 (pow.f64 (exp.f64 (neg.f64 im)) 3) (pow.f64 (exp.f64 im) 3)) (+.f64 (.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (-.f64 (.f64 (exp.f64 im) (exp.f64 im)) (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
(/.f64 (+.f64 (pow.f64 (exp.f64 (neg.f64 im)) 3) (pow.f64 (exp.f64 im) 3)) (+.f64 (exp.f64 (+.f64 (neg.f64 im) (neg.f64 im))) (*.f64 (exp.f64 im) (-.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))
(/.f64 (+.f64 (pow.f64 (exp.f64 (neg.f64 im)) 3) (pow.f64 (exp.f64 im) 3)) (+.f64 (exp.f64 (*.f64 im -2)) (fma.f64 (exp.f64 im) (exp.f64 im) -1)))
(/.f64 (+.f64 (exp.f64 (.f64 im -3)) (exp.f64 (.f64 3 im))) (+.f64 (pow.f64 (exp.f64 im) -2) (expm1.f64 (+.f64 im im))))
(/.f64 (+.f64 (exp.f64 (.f64 im -3)) (pow.f64 (exp.f64 im) 3)) (+.f64 (exp.f64 (.f64 im -2)) (expm1.f64 (+.f64 im im))))
(pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 1)
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(log.f64 (exp.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(cbrt.f64 (.f64 (.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(expm1.f64 (log1p.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(exp.f64 (log.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(log1p.f64 (expm1.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))

eval8.0ms (0.1%)

Compiler: Compiled 544 to 278 computations (48.9% saved)

prune8.0ms (0.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	27	3	30
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	27	4	31

Error

Counts

31 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
▶	0.4b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (+.f64 (.f64 im im) (.f64 1/12 (pow.f64 im 4)))))
▶	0.5b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (*.f64 im im)))
▶	0.7b	(.f64 (.f64 1/2 (cos.f64 re)) 2)

Compiler

Compiled 51 to 40 computations (21.6% saved)

localize7.0ms (0.1%)

Compiler: Compiled 17 to 11 computations (35.3% saved)

localize12.0ms (0.2%)

Compiler: Compiled 30 to 15 computations (50% saved)

localize22.0ms (0.4%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 im im) (.f64 1/12 (pow.f64 im 4)))
✓	0.1b	(*.f64 1/12 (pow.f64 im 4))

Compiler

Compiled 61 to 38 computations (37.7% saved)

series2.0ms (0%)

Counts

2 → 12

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	im	@	inf	(+.f64 (.f64 im im) (.f64 1/12 (pow.f64 im 4)))
0.0ms	im	@	0	(*.f64 1/12 (pow.f64 im 4))
0.0ms	im	@	inf	(*.f64 1/12 (pow.f64 im 4))
0.0ms	im	@	0	(+.f64 (.f64 im im) (.f64 1/12 (pow.f64 im 4)))
0.0ms	im	@	-inf	(+.f64 (.f64 im im) (.f64 1/12 (pow.f64 im 4)))

rewrite99.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1844×	`add-sqr-sqrt`
1812×	`*-un-lft-identity`
1710×	`add-cube-cbrt`
1698×	`add-cbrt-cube`
184×	`add-exp-log`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	34
1	200	34
2	2440	34

Stop Event

1×	node limit

Counts

2 → 50

Calls

Call 1

Inputs
(*.f64 1/12 (pow.f64 im 4))
(+.f64 (.f64 im im) (.f64 1/12 (pow.f64 im 4)))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 1/12 (pow.f64 im 4)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 1/12 (pow.f64 im 4)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (.f64 im im) (sqrt.f64 1/12)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 1/12 (pow.f64 im 4))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (.f64 (pow.f64 im 8) 1/144))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (pow.f64 im 4)) 1/12))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 1/12 (pow.f64 im 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 1/12 (pow.f64 im 4))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 1/12 (pow.f64 im 4))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 1/12 (pow.f64 im 4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 1/12 (pow.f64 im 4))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 1/12 (pow.f64 im 4) (.f64 im im)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 im 4) (+.f64 (.f64 im im) (.f64 -1/12 (pow.f64 im 4)))) (/.f64 (.f64 (pow.f64 im 8) 1/144) (+.f64 (.f64 im im) (.f64 -1/12 (pow.f64 im 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 1/12 (pow.f64 im 4) (.f64 im im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (fma.f64 1/12 (pow.f64 im 4) (.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (hypot.f64 im (.f64 (.f64 im im) (sqrt.f64 1/12))) (hypot.f64 im (.f64 (.f64 im im) (sqrt.f64 1/12))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (fma.f64 1/12 (pow.f64 im 4) (.f64 im im))) (pow.f64 (cbrt.f64 (fma.f64 1/12 (pow.f64 im 4) (.f64 im im))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (fma.f64 1/12 (pow.f64 im 4) (.f64 im im))) 2) (cbrt.f64 (fma.f64 1/12 (pow.f64 im 4) (.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (pow.f64 im 4) (.f64 (pow.f64 im 8) 1/144)) (/.f64 1 (+.f64 (.f64 im im) (.f64 -1/12 (pow.f64 im 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (pow.f64 im 6) (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)) (/.f64 1 (+.f64 (pow.f64 im 4) (-.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 (pow.f64 im 6) 1/12)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (.f64 im im) (.f64 -1/12 (pow.f64 im 4))) (-.f64 (pow.f64 im 4) (.f64 (pow.f64 im 8) 1/144))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (pow.f64 im 4) (-.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 (pow.f64 im 6) 1/12))) (+.f64 (pow.f64 im 6) (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 im 4) (.f64 (pow.f64 im 8) 1/144)) (+.f64 (.f64 im im) (.f64 -1/12 (pow.f64 im 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 im 6) (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)) (+.f64 (pow.f64 im 4) (-.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 (pow.f64 im 6) 1/12))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 im 6) (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)) (+.f64 (.f64 (pow.f64 im 8) 1/144) (-.f64 (pow.f64 im 4) (.f64 (pow.f64 im 6) 1/12))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (pow.f64 im 8) 1/144) (pow.f64 im 4)) (-.f64 (.f64 1/12 (pow.f64 im 4)) (.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 im 4) (.f64 (pow.f64 im 8) 1/144))) (neg.f64 (+.f64 (.f64 im im) (.f64 -1/12 (pow.f64 im 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 im 6) (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728))) (neg.f64 (+.f64 (pow.f64 im 4) (-.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 (pow.f64 im 6) 1/12)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 1/12 (pow.f64 im 4) (.f64 im im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (hypot.f64 im (.f64 (.f64 im im) (sqrt.f64 1/12))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 1/12 (pow.f64 im 4) (.f64 im im))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 1/12 (pow.f64 im 4) (.f64 im im)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 1/12 (pow.f64 im 4) (.f64 im im)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 1/12 (pow.f64 im 4) (.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 1/12 (pow.f64 im 4) (.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 1/12 (pow.f64 im 4) (.f64 im im)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 1/12 (pow.f64 im 4) (.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 1/12 (pow.f64 im 4) (.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (fma.f64 1/12 (pow.f64 im 4) (.f64 im im))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 1/12 (pow.f64 im 4) (.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1/12 (pow.f64 im 4) (.f64 im im))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 im im (.f64 1/12 (pow.f64 im 4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 im 4) 1/12 (.f64 im im))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 1/12 (pow.f64 im 4)) (.f64 im im))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 im im) (.f64 1/12 (pow.f64 im 4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (.f64 im im) (sqrt.f64 1/12)) (.f64 (.f64 im im) (sqrt.f64 1/12)) (.f64 im im))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 im 4)) (pow.f64 (cbrt.f64 im) 2) (.f64 1/12 (pow.f64 im 4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 (pow.f64 im 8) 1/144)) (cbrt.f64 (.f64 1/12 (pow.f64 im 4))) (*.f64 im im))))))

Outputs

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

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

simplify70.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

1452×	`associate-+r+`
1446×	`associate-r`
1210×	`associate-+l+`
1160×	`associate-l`
466×	`+-commutative`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	125	1754
1	282	1684
2	927	1640
3	5174	1640

Stop Event

1×	node limit

Counts

62 → 66

Calls

Call 1

Inputs
(pow.f64 im 2)
(+.f64 (*.f64 1/12 (pow.f64 im 4)) (pow.f64 im 2))
(+.f64 (*.f64 1/12 (pow.f64 im 4)) (pow.f64 im 2))
(+.f64 (*.f64 1/12 (pow.f64 im 4)) (pow.f64 im 2))
(*.f64 1/12 (pow.f64 im 4))
(+.f64 (pow.f64 im 2) (*.f64 1/12 (pow.f64 im 4)))
(+.f64 (pow.f64 im 2) (*.f64 1/12 (pow.f64 im 4)))
(+.f64 (pow.f64 im 2) (*.f64 1/12 (pow.f64 im 4)))
(*.f64 1/12 (pow.f64 im 4))
(+.f64 (pow.f64 im 2) (*.f64 1/12 (pow.f64 im 4)))
(+.f64 (pow.f64 im 2) (*.f64 1/12 (pow.f64 im 4)))
(+.f64 (pow.f64 im 2) (*.f64 1/12 (pow.f64 im 4)))
(-.f64 (exp.f64 (log1p.f64 (*.f64 1/12 (pow.f64 im 4)))) 1)
(pow.f64 (*.f64 1/12 (pow.f64 im 4)) 1)
(pow.f64 (.f64 (.f64 im im) (sqrt.f64 1/12)) 2)
(pow.f64 (cbrt.f64 (*.f64 1/12 (pow.f64 im 4))) 3)
(pow.f64 (*.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728) 1/3)
(sqrt.f64 (*.f64 (pow.f64 im 8) 1/144))
(log.f64 (pow.f64 (exp.f64 (pow.f64 im 4)) 1/12))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 1/12 (pow.f64 im 4)))))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728))
(expm1.f64 (log1p.f64 (*.f64 1/12 (pow.f64 im 4))))
(exp.f64 (log.f64 (*.f64 1/12 (pow.f64 im 4))))
(exp.f64 (.f64 (log.f64 (.f64 1/12 (pow.f64 im 4))) 1))
(log1p.f64 (expm1.f64 (*.f64 1/12 (pow.f64 im 4))))
(-.f64 (exp.f64 (log1p.f64 (fma.f64 1/12 (pow.f64 im 4) (*.f64 im im)))) 1)
(-.f64 (/.f64 (pow.f64 im 4) (+.f64 (.f64 im im) (.f64 -1/12 (pow.f64 im 4)))) (/.f64 (.f64 (pow.f64 im 8) 1/144) (+.f64 (.f64 im im) (*.f64 -1/12 (pow.f64 im 4)))))
(.f64 (fma.f64 1/12 (pow.f64 im 4) (.f64 im im)) 1)
(.f64 1 (fma.f64 1/12 (pow.f64 im 4) (.f64 im im)))
(.f64 (hypot.f64 im (.f64 (.f64 im im) (sqrt.f64 1/12))) (hypot.f64 im (.f64 (*.f64 im im) (sqrt.f64 1/12))))
(.f64 (cbrt.f64 (fma.f64 1/12 (pow.f64 im 4) (.f64 im im))) (pow.f64 (cbrt.f64 (fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))) 2))
(.f64 (pow.f64 (cbrt.f64 (fma.f64 1/12 (pow.f64 im 4) (.f64 im im))) 2) (cbrt.f64 (fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))))
(.f64 (-.f64 (pow.f64 im 4) (.f64 (pow.f64 im 8) 1/144)) (/.f64 1 (+.f64 (.f64 im im) (.f64 -1/12 (pow.f64 im 4)))))
(.f64 (+.f64 (pow.f64 im 6) (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)) (/.f64 1 (+.f64 (pow.f64 im 4) (-.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 (pow.f64 im 6) 1/12)))))
(/.f64 1 (/.f64 (+.f64 (.f64 im im) (.f64 -1/12 (pow.f64 im 4))) (-.f64 (pow.f64 im 4) (*.f64 (pow.f64 im 8) 1/144))))
(/.f64 1 (/.f64 (+.f64 (pow.f64 im 4) (-.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 (pow.f64 im 6) 1/12))) (+.f64 (pow.f64 im 6) (*.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728))))
(/.f64 (-.f64 (pow.f64 im 4) (.f64 (pow.f64 im 8) 1/144)) (+.f64 (.f64 im im) (*.f64 -1/12 (pow.f64 im 4))))
(/.f64 (+.f64 (pow.f64 im 6) (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)) (+.f64 (pow.f64 im 4) (-.f64 (.f64 (pow.f64 im 8) 1/144) (*.f64 (pow.f64 im 6) 1/12))))
(/.f64 (+.f64 (pow.f64 im 6) (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)) (+.f64 (.f64 (pow.f64 im 8) 1/144) (-.f64 (pow.f64 im 4) (*.f64 (pow.f64 im 6) 1/12))))
(/.f64 (-.f64 (.f64 (pow.f64 im 8) 1/144) (pow.f64 im 4)) (-.f64 (.f64 1/12 (pow.f64 im 4)) (*.f64 im im)))
(/.f64 (neg.f64 (-.f64 (pow.f64 im 4) (.f64 (pow.f64 im 8) 1/144))) (neg.f64 (+.f64 (.f64 im im) (*.f64 -1/12 (pow.f64 im 4)))))
(/.f64 (neg.f64 (+.f64 (pow.f64 im 6) (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728))) (neg.f64 (+.f64 (pow.f64 im 4) (-.f64 (.f64 (pow.f64 im 8) 1/144) (*.f64 (pow.f64 im 6) 1/12)))))
(pow.f64 (fma.f64 1/12 (pow.f64 im 4) (*.f64 im im)) 1)
(pow.f64 (hypot.f64 im (.f64 (.f64 im im) (sqrt.f64 1/12))) 2)
(pow.f64 (cbrt.f64 (fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))) 3)
(pow.f64 (pow.f64 (fma.f64 1/12 (pow.f64 im 4) (*.f64 im im)) 3) 1/3)
(sqrt.f64 (pow.f64 (fma.f64 1/12 (pow.f64 im 4) (*.f64 im im)) 2))
(log.f64 (exp.f64 (fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 1/12 (pow.f64 im 4) (*.f64 im im)))))
(cbrt.f64 (pow.f64 (fma.f64 1/12 (pow.f64 im 4) (*.f64 im im)) 3))
(expm1.f64 (log1p.f64 (fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))))
(exp.f64 (log.f64 (fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))))
(exp.f64 (.f64 (log.f64 (fma.f64 1/12 (pow.f64 im 4) (.f64 im im))) 1))
(log1p.f64 (expm1.f64 (fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))))
(fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))
(fma.f64 im im (*.f64 1/12 (pow.f64 im 4)))
(fma.f64 (pow.f64 im 4) 1/12 (*.f64 im im))
(fma.f64 1 (.f64 1/12 (pow.f64 im 4)) (.f64 im im))
(fma.f64 1 (.f64 im im) (.f64 1/12 (pow.f64 im 4)))
(fma.f64 (.f64 (.f64 im im) (sqrt.f64 1/12)) (.f64 (.f64 im im) (sqrt.f64 1/12)) (*.f64 im im))
(fma.f64 (cbrt.f64 (pow.f64 im 4)) (pow.f64 (cbrt.f64 im) 2) (*.f64 1/12 (pow.f64 im 4)))
(fma.f64 (cbrt.f64 (.f64 (pow.f64 im 8) 1/144)) (cbrt.f64 (.f64 1/12 (pow.f64 im 4))) (*.f64 im im))

Outputs
(pow.f64 im 2)
(*.f64 im im)
(+.f64 (*.f64 1/12 (pow.f64 im 4)) (pow.f64 im 2))
(fma.f64 im im (*.f64 1/12 (pow.f64 im 4)))
(fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))
(+.f64 (*.f64 1/12 (pow.f64 im 4)) (pow.f64 im 2))
(fma.f64 im im (*.f64 1/12 (pow.f64 im 4)))
(fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))
(+.f64 (*.f64 1/12 (pow.f64 im 4)) (pow.f64 im 2))
(fma.f64 im im (*.f64 1/12 (pow.f64 im 4)))
(fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))
(*.f64 1/12 (pow.f64 im 4))
(+.f64 (pow.f64 im 2) (*.f64 1/12 (pow.f64 im 4)))
(fma.f64 im im (*.f64 1/12 (pow.f64 im 4)))
(fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))
(+.f64 (pow.f64 im 2) (*.f64 1/12 (pow.f64 im 4)))
(fma.f64 im im (*.f64 1/12 (pow.f64 im 4)))
(fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))
(+.f64 (pow.f64 im 2) (*.f64 1/12 (pow.f64 im 4)))
(fma.f64 im im (*.f64 1/12 (pow.f64 im 4)))
(fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))
(*.f64 1/12 (pow.f64 im 4))
(+.f64 (pow.f64 im 2) (*.f64 1/12 (pow.f64 im 4)))
(fma.f64 im im (*.f64 1/12 (pow.f64 im 4)))
(fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))
(+.f64 (pow.f64 im 2) (*.f64 1/12 (pow.f64 im 4)))
(fma.f64 im im (*.f64 1/12 (pow.f64 im 4)))
(fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))
(+.f64 (pow.f64 im 2) (*.f64 1/12 (pow.f64 im 4)))
(fma.f64 im im (*.f64 1/12 (pow.f64 im 4)))
(fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))
(-.f64 (exp.f64 (log1p.f64 (*.f64 1/12 (pow.f64 im 4)))) 1)
(*.f64 1/12 (pow.f64 im 4))
(pow.f64 (*.f64 1/12 (pow.f64 im 4)) 1)
(*.f64 1/12 (pow.f64 im 4))
(pow.f64 (.f64 (.f64 im im) (sqrt.f64 1/12)) 2)
(*.f64 1/12 (pow.f64 im 4))
(pow.f64 (cbrt.f64 (*.f64 1/12 (pow.f64 im 4))) 3)
(*.f64 1/12 (pow.f64 im 4))
(pow.f64 (*.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728) 1/3)
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728))
(sqrt.f64 (*.f64 (pow.f64 im 8) 1/144))
(log.f64 (pow.f64 (exp.f64 (pow.f64 im 4)) 1/12))
(*.f64 1/12 (pow.f64 im 4))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 1/12 (pow.f64 im 4)))))
(*.f64 1/12 (pow.f64 im 4))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728))
(expm1.f64 (log1p.f64 (*.f64 1/12 (pow.f64 im 4))))
(*.f64 1/12 (pow.f64 im 4))
(exp.f64 (log.f64 (*.f64 1/12 (pow.f64 im 4))))
(*.f64 1/12 (pow.f64 im 4))
(exp.f64 (.f64 (log.f64 (.f64 1/12 (pow.f64 im 4))) 1))
(*.f64 1/12 (pow.f64 im 4))
(log1p.f64 (expm1.f64 (*.f64 1/12 (pow.f64 im 4))))
(*.f64 1/12 (pow.f64 im 4))
(-.f64 (exp.f64 (log1p.f64 (fma.f64 1/12 (pow.f64 im 4) (*.f64 im im)))) 1)
(fma.f64 im im (*.f64 1/12 (pow.f64 im 4)))
(fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))
(-.f64 (/.f64 (pow.f64 im 4) (+.f64 (.f64 im im) (.f64 -1/12 (pow.f64 im 4)))) (/.f64 (.f64 (pow.f64 im 8) 1/144) (+.f64 (.f64 im im) (*.f64 -1/12 (pow.f64 im 4)))))
(/.f64 (-.f64 (pow.f64 im 4) (.f64 (pow.f64 im 8) 1/144)) (fma.f64 im im (.f64 (pow.f64 im 4) -1/12)))
(/.f64 (+.f64 (pow.f64 im 4) (.f64 (pow.f64 im 8) -1/144)) (fma.f64 im im (.f64 (pow.f64 im 4) -1/12)))
(/.f64 (fma.f64 (pow.f64 im 8) -1/144 (pow.f64 im 4)) (fma.f64 im im (*.f64 (pow.f64 im 4) -1/12)))
(/.f64 (fma.f64 (pow.f64 im 8) -1/144 (pow.f64 im 4)) (fma.f64 (pow.f64 im 4) -1/12 (*.f64 im im)))
(.f64 (fma.f64 1/12 (pow.f64 im 4) (.f64 im im)) 1)
(fma.f64 im im (*.f64 1/12 (pow.f64 im 4)))
(fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))
(.f64 1 (fma.f64 1/12 (pow.f64 im 4) (.f64 im im)))
(fma.f64 im im (*.f64 1/12 (pow.f64 im 4)))
(fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))
(.f64 (hypot.f64 im (.f64 (.f64 im im) (sqrt.f64 1/12))) (hypot.f64 im (.f64 (*.f64 im im) (sqrt.f64 1/12))))
(pow.f64 (hypot.f64 im (.f64 (.f64 im im) (sqrt.f64 1/12))) 2)
(pow.f64 (hypot.f64 im (.f64 im (.f64 im (sqrt.f64 1/12)))) 2)
(.f64 (cbrt.f64 (fma.f64 1/12 (pow.f64 im 4) (.f64 im im))) (pow.f64 (cbrt.f64 (fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))) 2))
(fma.f64 im im (*.f64 1/12 (pow.f64 im 4)))
(fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))
(.f64 (pow.f64 (cbrt.f64 (fma.f64 1/12 (pow.f64 im 4) (.f64 im im))) 2) (cbrt.f64 (fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))))
(fma.f64 im im (*.f64 1/12 (pow.f64 im 4)))
(fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))
(.f64 (-.f64 (pow.f64 im 4) (.f64 (pow.f64 im 8) 1/144)) (/.f64 1 (+.f64 (.f64 im im) (.f64 -1/12 (pow.f64 im 4)))))
(/.f64 (-.f64 (pow.f64 im 4) (.f64 (pow.f64 im 8) 1/144)) (fma.f64 im im (.f64 (pow.f64 im 4) -1/12)))
(/.f64 (+.f64 (pow.f64 im 4) (.f64 (pow.f64 im 8) -1/144)) (fma.f64 im im (.f64 (pow.f64 im 4) -1/12)))
(/.f64 (fma.f64 (pow.f64 im 8) -1/144 (pow.f64 im 4)) (fma.f64 im im (*.f64 (pow.f64 im 4) -1/12)))
(/.f64 (fma.f64 (pow.f64 im 8) -1/144 (pow.f64 im 4)) (fma.f64 (pow.f64 im 4) -1/12 (*.f64 im im)))
(.f64 (+.f64 (pow.f64 im 6) (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)) (/.f64 1 (+.f64 (pow.f64 im 4) (-.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 (pow.f64 im 6) 1/12)))))
(.f64 (+.f64 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728) (pow.f64 im 6)) (/.f64 1 (-.f64 (+.f64 (pow.f64 im 4) (.f64 (pow.f64 im 8) 1/144)) (.f64 1/12 (pow.f64 im 6)))))
(/.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 (pow.f64 im 6)) (+.f64 (pow.f64 im 4) (fma.f64 (pow.f64 im 8) 1/144 (*.f64 -1/12 (pow.f64 im 6)))))
(/.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 (pow.f64 im 6)) (fma.f64 (pow.f64 im 8) 1/144 (fma.f64 -1/12 (pow.f64 im 6) (pow.f64 im 4))))
(/.f64 1 (/.f64 (+.f64 (.f64 im im) (.f64 -1/12 (pow.f64 im 4))) (-.f64 (pow.f64 im 4) (*.f64 (pow.f64 im 8) 1/144))))
(/.f64 (-.f64 (pow.f64 im 4) (.f64 (pow.f64 im 8) 1/144)) (fma.f64 im im (.f64 (pow.f64 im 4) -1/12)))
(/.f64 (+.f64 (pow.f64 im 4) (.f64 (pow.f64 im 8) -1/144)) (fma.f64 im im (.f64 (pow.f64 im 4) -1/12)))
(/.f64 (fma.f64 (pow.f64 im 8) -1/144 (pow.f64 im 4)) (fma.f64 im im (*.f64 (pow.f64 im 4) -1/12)))
(/.f64 (fma.f64 (pow.f64 im 8) -1/144 (pow.f64 im 4)) (fma.f64 (pow.f64 im 4) -1/12 (*.f64 im im)))
(/.f64 1 (/.f64 (+.f64 (pow.f64 im 4) (-.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 (pow.f64 im 6) 1/12))) (+.f64 (pow.f64 im 6) (*.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728))))
(.f64 (+.f64 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728) (pow.f64 im 6)) (/.f64 1 (-.f64 (+.f64 (pow.f64 im 4) (.f64 (pow.f64 im 8) 1/144)) (.f64 1/12 (pow.f64 im 6)))))
(/.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 (pow.f64 im 6)) (+.f64 (pow.f64 im 4) (fma.f64 (pow.f64 im 8) 1/144 (*.f64 -1/12 (pow.f64 im 6)))))
(/.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 (pow.f64 im 6)) (fma.f64 (pow.f64 im 8) 1/144 (fma.f64 -1/12 (pow.f64 im 6) (pow.f64 im 4))))
(/.f64 (-.f64 (pow.f64 im 4) (.f64 (pow.f64 im 8) 1/144)) (+.f64 (.f64 im im) (*.f64 -1/12 (pow.f64 im 4))))
(/.f64 (-.f64 (pow.f64 im 4) (.f64 (pow.f64 im 8) 1/144)) (fma.f64 im im (.f64 (pow.f64 im 4) -1/12)))
(/.f64 (+.f64 (pow.f64 im 4) (.f64 (pow.f64 im 8) -1/144)) (fma.f64 im im (.f64 (pow.f64 im 4) -1/12)))
(/.f64 (fma.f64 (pow.f64 im 8) -1/144 (pow.f64 im 4)) (fma.f64 im im (*.f64 (pow.f64 im 4) -1/12)))
(/.f64 (fma.f64 (pow.f64 im 8) -1/144 (pow.f64 im 4)) (fma.f64 (pow.f64 im 4) -1/12 (*.f64 im im)))
(/.f64 (+.f64 (pow.f64 im 6) (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)) (+.f64 (pow.f64 im 4) (-.f64 (.f64 (pow.f64 im 8) 1/144) (*.f64 (pow.f64 im 6) 1/12))))
(.f64 (+.f64 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728) (pow.f64 im 6)) (/.f64 1 (-.f64 (+.f64 (pow.f64 im 4) (.f64 (pow.f64 im 8) 1/144)) (.f64 1/12 (pow.f64 im 6)))))
(/.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 (pow.f64 im 6)) (+.f64 (pow.f64 im 4) (fma.f64 (pow.f64 im 8) 1/144 (*.f64 -1/12 (pow.f64 im 6)))))
(/.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 (pow.f64 im 6)) (fma.f64 (pow.f64 im 8) 1/144 (fma.f64 -1/12 (pow.f64 im 6) (pow.f64 im 4))))
(/.f64 (+.f64 (pow.f64 im 6) (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)) (+.f64 (.f64 (pow.f64 im 8) 1/144) (-.f64 (pow.f64 im 4) (*.f64 (pow.f64 im 6) 1/12))))
(.f64 (+.f64 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728) (pow.f64 im 6)) (/.f64 1 (-.f64 (+.f64 (pow.f64 im 4) (.f64 (pow.f64 im 8) 1/144)) (.f64 1/12 (pow.f64 im 6)))))
(/.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 (pow.f64 im 6)) (+.f64 (pow.f64 im 4) (fma.f64 (pow.f64 im 8) 1/144 (*.f64 -1/12 (pow.f64 im 6)))))
(/.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 (pow.f64 im 6)) (fma.f64 (pow.f64 im 8) 1/144 (fma.f64 -1/12 (pow.f64 im 6) (pow.f64 im 4))))
(/.f64 (-.f64 (.f64 (pow.f64 im 8) 1/144) (pow.f64 im 4)) (-.f64 (.f64 1/12 (pow.f64 im 4)) (*.f64 im im)))
(/.f64 (-.f64 (pow.f64 im 4) (.f64 (pow.f64 im 8) 1/144)) (fma.f64 im im (.f64 (pow.f64 im 4) -1/12)))
(/.f64 (+.f64 (pow.f64 im 4) (.f64 (pow.f64 im 8) -1/144)) (fma.f64 im im (.f64 (pow.f64 im 4) -1/12)))
(/.f64 (fma.f64 (pow.f64 im 8) -1/144 (pow.f64 im 4)) (fma.f64 im im (*.f64 (pow.f64 im 4) -1/12)))
(/.f64 (fma.f64 (pow.f64 im 8) -1/144 (pow.f64 im 4)) (fma.f64 (pow.f64 im 4) -1/12 (*.f64 im im)))
(/.f64 (neg.f64 (-.f64 (pow.f64 im 4) (.f64 (pow.f64 im 8) 1/144))) (neg.f64 (+.f64 (.f64 im im) (*.f64 -1/12 (pow.f64 im 4)))))
(/.f64 (-.f64 (pow.f64 im 4) (.f64 (pow.f64 im 8) 1/144)) (fma.f64 im im (.f64 (pow.f64 im 4) -1/12)))
(/.f64 (+.f64 (pow.f64 im 4) (.f64 (pow.f64 im 8) -1/144)) (fma.f64 im im (.f64 (pow.f64 im 4) -1/12)))
(/.f64 (fma.f64 (pow.f64 im 8) -1/144 (pow.f64 im 4)) (fma.f64 im im (*.f64 (pow.f64 im 4) -1/12)))
(/.f64 (fma.f64 (pow.f64 im 8) -1/144 (pow.f64 im 4)) (fma.f64 (pow.f64 im 4) -1/12 (*.f64 im im)))
(/.f64 (neg.f64 (+.f64 (pow.f64 im 6) (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728))) (neg.f64 (+.f64 (pow.f64 im 4) (-.f64 (.f64 (pow.f64 im 8) 1/144) (*.f64 (pow.f64 im 6) 1/12)))))
(.f64 (+.f64 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728) (pow.f64 im 6)) (/.f64 1 (-.f64 (+.f64 (pow.f64 im 4) (.f64 (pow.f64 im 8) 1/144)) (.f64 1/12 (pow.f64 im 6)))))
(/.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 (pow.f64 im 6)) (+.f64 (pow.f64 im 4) (fma.f64 (pow.f64 im 8) 1/144 (*.f64 -1/12 (pow.f64 im 6)))))
(/.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 (pow.f64 im 6)) (fma.f64 (pow.f64 im 8) 1/144 (fma.f64 -1/12 (pow.f64 im 6) (pow.f64 im 4))))
(pow.f64 (fma.f64 1/12 (pow.f64 im 4) (*.f64 im im)) 1)
(fma.f64 im im (*.f64 1/12 (pow.f64 im 4)))
(fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))
(pow.f64 (hypot.f64 im (.f64 (.f64 im im) (sqrt.f64 1/12))) 2)
(pow.f64 (hypot.f64 im (.f64 im (.f64 im (sqrt.f64 1/12)))) 2)
(pow.f64 (cbrt.f64 (fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))) 3)
(fma.f64 im im (*.f64 1/12 (pow.f64 im 4)))
(fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))
(pow.f64 (pow.f64 (fma.f64 1/12 (pow.f64 im 4) (*.f64 im im)) 3) 1/3)
(fma.f64 im im (*.f64 1/12 (pow.f64 im 4)))
(fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))
(sqrt.f64 (pow.f64 (fma.f64 1/12 (pow.f64 im 4) (*.f64 im im)) 2))
(fma.f64 im im (*.f64 1/12 (pow.f64 im 4)))
(fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))
(log.f64 (exp.f64 (fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))))
(fma.f64 im im (*.f64 1/12 (pow.f64 im 4)))
(fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 1/12 (pow.f64 im 4) (*.f64 im im)))))
(fma.f64 im im (*.f64 1/12 (pow.f64 im 4)))
(fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))
(cbrt.f64 (pow.f64 (fma.f64 1/12 (pow.f64 im 4) (*.f64 im im)) 3))
(fma.f64 im im (*.f64 1/12 (pow.f64 im 4)))
(fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))
(expm1.f64 (log1p.f64 (fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))))
(fma.f64 im im (*.f64 1/12 (pow.f64 im 4)))
(fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))
(exp.f64 (log.f64 (fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))))
(fma.f64 im im (*.f64 1/12 (pow.f64 im 4)))
(fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))
(exp.f64 (.f64 (log.f64 (fma.f64 1/12 (pow.f64 im 4) (.f64 im im))) 1))
(fma.f64 im im (*.f64 1/12 (pow.f64 im 4)))
(fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))
(log1p.f64 (expm1.f64 (fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))))
(fma.f64 im im (*.f64 1/12 (pow.f64 im 4)))
(fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))
(fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))
(fma.f64 im im (*.f64 1/12 (pow.f64 im 4)))
(fma.f64 im im (*.f64 1/12 (pow.f64 im 4)))
(fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))
(fma.f64 (pow.f64 im 4) 1/12 (*.f64 im im))
(fma.f64 im im (*.f64 1/12 (pow.f64 im 4)))
(fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))
(fma.f64 1 (.f64 1/12 (pow.f64 im 4)) (.f64 im im))
(fma.f64 im im (*.f64 1/12 (pow.f64 im 4)))
(fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))
(fma.f64 1 (.f64 im im) (.f64 1/12 (pow.f64 im 4)))
(fma.f64 im im (*.f64 1/12 (pow.f64 im 4)))
(fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))
(fma.f64 (.f64 (.f64 im im) (sqrt.f64 1/12)) (.f64 (.f64 im im) (sqrt.f64 1/12)) (*.f64 im im))
(fma.f64 im im (*.f64 1/12 (pow.f64 im 4)))
(fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))
(fma.f64 (cbrt.f64 (pow.f64 im 4)) (pow.f64 (cbrt.f64 im) 2) (*.f64 1/12 (pow.f64 im 4)))
(fma.f64 1/12 (pow.f64 im 4) (*.f64 (cbrt.f64 (pow.f64 im 4)) (pow.f64 (cbrt.f64 im) 2)))
(fma.f64 (cbrt.f64 (.f64 (pow.f64 im 8) 1/144)) (cbrt.f64 (.f64 1/12 (pow.f64 im 4))) (*.f64 im im))
(fma.f64 im im (.f64 (cbrt.f64 (.f64 1/12 (pow.f64 im 4))) (cbrt.f64 (*.f64 (pow.f64 im 8) 1/144))))
(fma.f64 (cbrt.f64 (.f64 1/12 (pow.f64 im 4))) (cbrt.f64 (.f64 (pow.f64 im 8) 1/144)) (*.f64 im im))

eval27.0ms (0.5%)

Compiler: Compiled 1431 to 1001 computations (30% saved)

prune12.0ms (0.2%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	65	1	66
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	65	5	70

Error

Counts

70 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
✓	0.4b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (+.f64 (.f64 im im) (.f64 1/12 (pow.f64 im 4)))))
✓	0.5b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (*.f64 im im)))
▶	0.7b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (*.f64 1/12 (pow.f64 im 4))))
✓	0.7b	(.f64 (.f64 1/2 (cos.f64 re)) 2)

Compiler

Compiled 65 to 52 computations (20% saved)

localize16.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (*.f64 1/12 (pow.f64 im 4))))
	0.1b	(*.f64 1/12 (pow.f64 im 4))

Compiler

Compiled 41 to 30 computations (26.8% saved)

series8.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
4.0ms	re	@	-inf	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (*.f64 1/12 (pow.f64 im 4))))
1.0ms	re	@	inf	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (*.f64 1/12 (pow.f64 im 4))))
1.0ms	im	@	0	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (*.f64 1/12 (pow.f64 im 4))))
1.0ms	re	@	0	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (*.f64 1/12 (pow.f64 im 4))))
0.0ms	im	@	inf	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (*.f64 1/12 (pow.f64 im 4))))

rewrite82.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

918×	`swap-sqr`
778×	`associate-*r/`
684×	`distribute-rgt-in`
646×	`distribute-lft-in`
588×	`associate-*l/`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	35
1	320	31
2	3909	31

Stop Event

1×	node limit

Counts

1 → 79

Calls

Call 1

Inputs
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (*.f64 1/12 (pow.f64 im 4))))

Outputs

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

simplify89.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

1050×	`associate-/l/`
996×	`distribute-lft-in`
994×	`associate-/r/`
990×	`associate-*r/`
968×	`distribute-rgt-in`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	261	5661
1	759	5271
2	3217	5159

Stop Event

1×	node limit

Counts

103 → 135

Calls

Call 1

Inputs
(.f64 1/2 (+.f64 2 (.f64 1/12 (pow.f64 im 4))))
(+.f64 (.f64 1/2 (+.f64 2 (.f64 1/12 (pow.f64 im 4)))) (.f64 -1/4 (.f64 (+.f64 2 (*.f64 1/12 (pow.f64 im 4))) (pow.f64 re 2))))
(+.f64 (.f64 1/2 (+.f64 2 (.f64 1/12 (pow.f64 im 4)))) (+.f64 (.f64 -1/4 (.f64 (+.f64 2 (.f64 1/12 (pow.f64 im 4))) (pow.f64 re 2))) (.f64 1/48 (.f64 (+.f64 2 (.f64 1/12 (pow.f64 im 4))) (pow.f64 re 4)))))
(+.f64 (.f64 -1/1440 (.f64 (+.f64 2 (.f64 1/12 (pow.f64 im 4))) (pow.f64 re 6))) (+.f64 (.f64 1/2 (+.f64 2 (.f64 1/12 (pow.f64 im 4)))) (+.f64 (.f64 -1/4 (.f64 (+.f64 2 (.f64 1/12 (pow.f64 im 4))) (pow.f64 re 2))) (.f64 1/48 (.f64 (+.f64 2 (*.f64 1/12 (pow.f64 im 4))) (pow.f64 re 4))))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 2 (*.f64 1/12 (pow.f64 im 4)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 2 (*.f64 1/12 (pow.f64 im 4)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 2 (*.f64 1/12 (pow.f64 im 4)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 2 (*.f64 1/12 (pow.f64 im 4)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 2 (*.f64 1/12 (pow.f64 im 4)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 2 (*.f64 1/12 (pow.f64 im 4)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 2 (*.f64 1/12 (pow.f64 im 4)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 2 (*.f64 1/12 (pow.f64 im 4)))))
(cos.f64 re)
(+.f64 (cos.f64 re) (.f64 1/24 (.f64 (cos.f64 re) (pow.f64 im 4))))
(+.f64 (cos.f64 re) (.f64 1/24 (.f64 (cos.f64 re) (pow.f64 im 4))))
(+.f64 (cos.f64 re) (.f64 1/24 (.f64 (cos.f64 re) (pow.f64 im 4))))
(.f64 1/24 (.f64 (cos.f64 re) (pow.f64 im 4)))
(+.f64 (cos.f64 re) (.f64 1/24 (.f64 (cos.f64 re) (pow.f64 im 4))))
(+.f64 (cos.f64 re) (.f64 1/24 (.f64 (cos.f64 re) (pow.f64 im 4))))
(+.f64 (cos.f64 re) (.f64 1/24 (.f64 (cos.f64 re) (pow.f64 im 4))))
(.f64 1/24 (.f64 (cos.f64 re) (pow.f64 im 4)))
(+.f64 (cos.f64 re) (.f64 1/24 (.f64 (cos.f64 re) (pow.f64 im 4))))
(+.f64 (cos.f64 re) (.f64 1/24 (.f64 (cos.f64 re) (pow.f64 im 4))))
(+.f64 (cos.f64 re) (.f64 1/24 (.f64 (cos.f64 re) (pow.f64 im 4))))
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (cos.f64 re) (*.f64 1/12 (pow.f64 im 4)))))
(+.f64 (cos.f64 re) (.f64 (.f64 1/2 (.f64 (cos.f64 re) (.f64 1/12 (pow.f64 im 4)))) 1))
(+.f64 (cos.f64 re) (.f64 1 (.f64 (.f64 1/2 (.f64 (cos.f64 re) (*.f64 1/12 (pow.f64 im 4)))) 1)))
(+.f64 (cos.f64 re) (.f64 (.f64 (.f64 1/2 (.f64 (cos.f64 re) (*.f64 1/12 (pow.f64 im 4)))) 1) 1))
(+.f64 (.f64 1/2 (.f64 (cos.f64 re) (*.f64 1/12 (pow.f64 im 4)))) (cos.f64 re))
(+.f64 (.f64 (.f64 1/2 (.f64 (cos.f64 re) (.f64 1/12 (pow.f64 im 4)))) 1) (cos.f64 re))
(+.f64 (.f64 1/2 (.f64 2 (cos.f64 re))) (.f64 1/2 (.f64 (*.f64 1/12 (pow.f64 im 4)) (cos.f64 re))))
(+.f64 (.f64 1/2 (.f64 (.f64 1/12 (pow.f64 im 4)) (cos.f64 re))) (.f64 1/2 (*.f64 2 (cos.f64 re))))
(+.f64 (.f64 (.f64 (cos.f64 re) 2) 1/2) (.f64 (.f64 (cos.f64 re) (*.f64 1/12 (pow.f64 im 4))) 1/2))
(+.f64 (.f64 (.f64 (cos.f64 re) (.f64 1/12 (pow.f64 im 4))) 1/2) (.f64 (*.f64 (cos.f64 re) 2) 1/2))
(-.f64 (exp.f64 (log1p.f64 (cos.f64 re))) (-.f64 1 (.f64 1/2 (.f64 (cos.f64 re) (*.f64 1/12 (pow.f64 im 4))))))
(-.f64 (exp.f64 (log1p.f64 (cos.f64 re))) (-.f64 1 (.f64 (.f64 1/2 (.f64 (cos.f64 re) (.f64 1/12 (pow.f64 im 4)))) 1)))
(-.f64 (exp.f64 (log1p.f64 (.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re))))) 1)
(-.f64 (+.f64 (.f64 1/2 (.f64 (cos.f64 re) (*.f64 1/12 (pow.f64 im 4)))) (exp.f64 (log1p.f64 (cos.f64 re)))) 1)
(/.f64 (*.f64 1/2 (cos.f64 re)) (/.f64 1 (fma.f64 1/12 (pow.f64 im 4) 2)))
(/.f64 (+.f64 4 (.f64 (pow.f64 im 8) -1/144)) (/.f64 (-.f64 2 (.f64 1/12 (pow.f64 im 4))) (*.f64 1/2 (cos.f64 re))))
(/.f64 (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)) (/.f64 (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 -1/6 (pow.f64 im 4)))) (.f64 1/2 (cos.f64 re))))
(/.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 4 (.f64 (pow.f64 im 8) -1/144))) (-.f64 2 (.f64 1/12 (pow.f64 im 4))))
(/.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728))) (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (*.f64 -1/6 (pow.f64 im 4)))))
(/.f64 (.f64 (+.f64 4 (.f64 (pow.f64 im 8) -1/144)) (.f64 1/2 (cos.f64 re))) (-.f64 2 (.f64 1/12 (pow.f64 im 4))))
(/.f64 (.f64 (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)) (.f64 1/2 (cos.f64 re))) (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (*.f64 -1/6 (pow.f64 im 4)))))
(/.f64 (-.f64 (pow.f64 (cos.f64 re) 2) (.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 (pow.f64 (cos.f64 re) 2) 1/4))) (.f64 (.f64 1/2 (cos.f64 re)) (-.f64 2 (.f64 1/12 (pow.f64 im 4)))))
(/.f64 (+.f64 (pow.f64 (cos.f64 re) 3) (pow.f64 (.f64 1/2 (.f64 (cos.f64 re) (.f64 1/12 (pow.f64 im 4)))) 3)) (+.f64 (pow.f64 (cos.f64 re) 2) (.f64 (.f64 1/2 (.f64 (cos.f64 re) (.f64 1/12 (pow.f64 im 4)))) (-.f64 (.f64 1/2 (.f64 (cos.f64 re) (.f64 1/12 (pow.f64 im 4)))) (cos.f64 re)))))
(/.f64 (.f64 1/2 (.f64 (cos.f64 re) (+.f64 4 (.f64 (pow.f64 im 8) -1/144)))) (-.f64 2 (.f64 1/12 (pow.f64 im 4))))
(/.f64 (.f64 1/2 (.f64 (cos.f64 re) (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)))) (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (*.f64 -1/6 (pow.f64 im 4)))))
(/.f64 (.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (.f64 (pow.f64 im 8) 1/144) 4)) (-.f64 (.f64 1/12 (pow.f64 im 4)) 2))
(/.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 -4 (neg.f64 (.f64 (pow.f64 im 8) -1/144)))) (neg.f64 (-.f64 2 (.f64 1/12 (pow.f64 im 4)))))
(/.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 -8 (neg.f64 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)))) (+.f64 -4 (neg.f64 (+.f64 (.f64 (pow.f64 im 8) 1/144) (*.f64 -1/6 (pow.f64 im 4))))))
(/.f64 (.f64 1 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 4 (.f64 (pow.f64 im 8) -1/144)))) (-.f64 2 (*.f64 1/12 (pow.f64 im 4))))
(/.f64 (.f64 1 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)))) (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 -1/6 (pow.f64 im 4)))))
(/.f64 (.f64 1 (.f64 (+.f64 4 (.f64 (pow.f64 im 8) -1/144)) (.f64 1/2 (cos.f64 re)))) (-.f64 2 (*.f64 1/12 (pow.f64 im 4))))
(/.f64 (.f64 1 (.f64 (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)) (.f64 1/2 (cos.f64 re)))) (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 -1/6 (pow.f64 im 4)))))
(/.f64 (.f64 1 (-.f64 (pow.f64 (cos.f64 re) 2) (.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 (pow.f64 (cos.f64 re) 2) 1/4)))) (.f64 (.f64 1/2 (cos.f64 re)) (-.f64 2 (*.f64 1/12 (pow.f64 im 4)))))
(/.f64 (.f64 1 (+.f64 (pow.f64 (cos.f64 re) 3) (pow.f64 (.f64 1/2 (.f64 (cos.f64 re) (.f64 1/12 (pow.f64 im 4)))) 3))) (+.f64 (pow.f64 (cos.f64 re) 2) (.f64 (.f64 1/2 (.f64 (cos.f64 re) (.f64 1/12 (pow.f64 im 4)))) (-.f64 (.f64 1/2 (.f64 (cos.f64 re) (*.f64 1/12 (pow.f64 im 4)))) (cos.f64 re)))))
(/.f64 (.f64 (.f64 (.f64 1/2 (cos.f64 re)) (sqrt.f64 (fma.f64 1/12 (pow.f64 im 4) 2))) (sqrt.f64 (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)))) (sqrt.f64 (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 -1/6 (pow.f64 im 4))))))
(/.f64 (.f64 (.f64 (.f64 1/2 (cos.f64 re)) (sqrt.f64 (fma.f64 1/12 (pow.f64 im 4) 2))) (sqrt.f64 (+.f64 4 (.f64 (pow.f64 im 8) -1/144)))) (sqrt.f64 (-.f64 2 (*.f64 1/12 (pow.f64 im 4)))))
(/.f64 (.f64 (.f64 (.f64 1/2 (cos.f64 re)) (pow.f64 (cbrt.f64 (fma.f64 1/12 (pow.f64 im 4) 2)) 2)) (cbrt.f64 (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)))) (cbrt.f64 (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 -1/6 (pow.f64 im 4))))))
(/.f64 (.f64 (.f64 (.f64 1/2 (cos.f64 re)) (pow.f64 (cbrt.f64 (fma.f64 1/12 (pow.f64 im 4) 2)) 2)) (cbrt.f64 (+.f64 4 (.f64 (pow.f64 im 8) -1/144)))) (cbrt.f64 (-.f64 2 (*.f64 1/12 (pow.f64 im 4)))))
(/.f64 (.f64 (-.f64 (.f64 (pow.f64 im 8) 1/144) 4) (.f64 1/2 (cos.f64 re))) (-.f64 (.f64 1/12 (pow.f64 im 4)) 2))
(/.f64 (.f64 (+.f64 -4 (neg.f64 (.f64 (pow.f64 im 8) -1/144))) (.f64 1/2 (cos.f64 re))) (neg.f64 (-.f64 2 (.f64 1/12 (pow.f64 im 4)))))
(/.f64 (.f64 (+.f64 -8 (neg.f64 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728))) (.f64 1/2 (cos.f64 re))) (+.f64 -4 (neg.f64 (+.f64 (.f64 (pow.f64 im 8) 1/144) (*.f64 -1/6 (pow.f64 im 4))))))
(/.f64 (.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 4 (.f64 (pow.f64 im 8) -1/144))) 1) (-.f64 2 (*.f64 1/12 (pow.f64 im 4))))
(/.f64 (.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728))) 1) (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 -1/6 (pow.f64 im 4)))))
(/.f64 (.f64 (.f64 (+.f64 4 (.f64 (pow.f64 im 8) -1/144)) (.f64 1/2 (cos.f64 re))) 1) (-.f64 2 (*.f64 1/12 (pow.f64 im 4))))
(/.f64 (.f64 (.f64 (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)) (.f64 1/2 (cos.f64 re))) 1) (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 -1/6 (pow.f64 im 4)))))
(/.f64 (.f64 (-.f64 (pow.f64 (cos.f64 re) 2) (.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 (pow.f64 (cos.f64 re) 2) 1/4))) 1) (.f64 (.f64 1/2 (cos.f64 re)) (-.f64 2 (*.f64 1/12 (pow.f64 im 4)))))
(/.f64 (.f64 (+.f64 (pow.f64 (cos.f64 re) 3) (pow.f64 (.f64 1/2 (.f64 (cos.f64 re) (.f64 1/12 (pow.f64 im 4)))) 3)) 1) (+.f64 (pow.f64 (cos.f64 re) 2) (.f64 (.f64 1/2 (.f64 (cos.f64 re) (.f64 1/12 (pow.f64 im 4)))) (-.f64 (.f64 1/2 (.f64 (cos.f64 re) (*.f64 1/12 (pow.f64 im 4)))) (cos.f64 re)))))
(/.f64 (.f64 (sqrt.f64 (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728))) (.f64 (sqrt.f64 (fma.f64 1/12 (pow.f64 im 4) 2)) (.f64 1/2 (cos.f64 re)))) (sqrt.f64 (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 -1/6 (pow.f64 im 4))))))
(/.f64 (.f64 (sqrt.f64 (+.f64 4 (.f64 (pow.f64 im 8) -1/144))) (.f64 (sqrt.f64 (fma.f64 1/12 (pow.f64 im 4) 2)) (.f64 1/2 (cos.f64 re)))) (sqrt.f64 (-.f64 2 (*.f64 1/12 (pow.f64 im 4)))))
(/.f64 (.f64 (.f64 (cos.f64 re) (+.f64 4 (.f64 (pow.f64 im 8) -1/144))) 1/2) (-.f64 2 (.f64 1/12 (pow.f64 im 4))))
(/.f64 (.f64 (.f64 (cos.f64 re) (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728))) 1/2) (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (*.f64 -1/6 (pow.f64 im 4)))))
(/.f64 (/.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 4 (.f64 (pow.f64 im 8) -1/144))) 1) (-.f64 2 (.f64 1/12 (pow.f64 im 4))))
(/.f64 (/.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 4 (.f64 (pow.f64 im 8) -1/144))) (sqrt.f64 (-.f64 2 (.f64 1/12 (pow.f64 im 4))))) (sqrt.f64 (-.f64 2 (*.f64 1/12 (pow.f64 im 4)))))
(/.f64 (/.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 4 (.f64 (pow.f64 im 8) -1/144))) (.f64 (cbrt.f64 (-.f64 2 (.f64 1/12 (pow.f64 im 4)))) (cbrt.f64 (-.f64 2 (.f64 1/12 (pow.f64 im 4)))))) (cbrt.f64 (-.f64 2 (*.f64 1/12 (pow.f64 im 4)))))
(/.f64 (/.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728))) 1) (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (*.f64 -1/6 (pow.f64 im 4)))))
(/.f64 (/.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728))) (sqrt.f64 (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 -1/6 (pow.f64 im 4)))))) (sqrt.f64 (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (*.f64 -1/6 (pow.f64 im 4))))))
(/.f64 (/.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728))) (.f64 (cbrt.f64 (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 -1/6 (pow.f64 im 4))))) (cbrt.f64 (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 -1/6 (pow.f64 im 4))))))) (cbrt.f64 (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 -1/6 (pow.f64 im 4))))))
(/.f64 (/.f64 (.f64 (+.f64 4 (.f64 (pow.f64 im 8) -1/144)) (.f64 1/2 (cos.f64 re))) 1) (-.f64 2 (.f64 1/12 (pow.f64 im 4))))
(/.f64 (/.f64 (.f64 (+.f64 4 (.f64 (pow.f64 im 8) -1/144)) (.f64 1/2 (cos.f64 re))) (sqrt.f64 (-.f64 2 (.f64 1/12 (pow.f64 im 4))))) (sqrt.f64 (-.f64 2 (*.f64 1/12 (pow.f64 im 4)))))
(/.f64 (/.f64 (.f64 (+.f64 4 (.f64 (pow.f64 im 8) -1/144)) (.f64 1/2 (cos.f64 re))) (.f64 (cbrt.f64 (-.f64 2 (.f64 1/12 (pow.f64 im 4)))) (cbrt.f64 (-.f64 2 (.f64 1/12 (pow.f64 im 4)))))) (cbrt.f64 (-.f64 2 (*.f64 1/12 (pow.f64 im 4)))))
(/.f64 (/.f64 (.f64 (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)) (.f64 1/2 (cos.f64 re))) 1) (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (*.f64 -1/6 (pow.f64 im 4)))))
(/.f64 (/.f64 (.f64 (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)) (.f64 1/2 (cos.f64 re))) (sqrt.f64 (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 -1/6 (pow.f64 im 4)))))) (sqrt.f64 (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (*.f64 -1/6 (pow.f64 im 4))))))
(/.f64 (/.f64 (.f64 (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)) (.f64 1/2 (cos.f64 re))) (.f64 (cbrt.f64 (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 -1/6 (pow.f64 im 4))))) (cbrt.f64 (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 -1/6 (pow.f64 im 4))))))) (cbrt.f64 (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 -1/6 (pow.f64 im 4))))))
(pow.f64 (.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re))) 1)
(pow.f64 (sqrt.f64 (.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))) 2)
(pow.f64 (cbrt.f64 (.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))) 3)
(pow.f64 (pow.f64 (.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re))) 3) 1/3)
(sqrt.f64 (pow.f64 (.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re))) 2))
(log.f64 (pow.f64 (exp.f64 1/2) (*.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re))))))
(cbrt.f64 (pow.f64 (.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re))) 3))
(cbrt.f64 (.f64 (pow.f64 (.f64 1/2 (cos.f64 re)) 3) (pow.f64 (fma.f64 1/12 (pow.f64 im 4) 2) 3)))
(cbrt.f64 (.f64 (pow.f64 (fma.f64 1/12 (pow.f64 im 4) 2) 3) (pow.f64 (.f64 1/2 (cos.f64 re)) 3)))
(expm1.f64 (log1p.f64 (.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))))
(exp.f64 (log.f64 (.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))))
(exp.f64 (.f64 (log.f64 (.f64 1/2 (*.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))) 1))
(log1p.f64 (expm1.f64 (.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))))
(fma.f64 (.f64 1/2 (cos.f64 re)) 2 (.f64 1/2 (.f64 (cos.f64 re) (.f64 1/12 (pow.f64 im 4)))))
(fma.f64 2 (.f64 1/2 (cos.f64 re)) (.f64 1/2 (.f64 (cos.f64 re) (.f64 1/12 (pow.f64 im 4)))))

Outputs
(.f64 1/2 (+.f64 2 (.f64 1/12 (pow.f64 im 4))))
(*.f64 1/2 (fma.f64 1/12 (pow.f64 im 4) 2))
(+.f64 1 (*.f64 (pow.f64 im 4) 1/24))
(+.f64 (.f64 1/2 (+.f64 2 (.f64 1/12 (pow.f64 im 4)))) (.f64 -1/4 (.f64 (+.f64 2 (*.f64 1/12 (pow.f64 im 4))) (pow.f64 re 2))))
(fma.f64 1/2 (fma.f64 1/12 (pow.f64 im 4) 2) (.f64 -1/4 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (*.f64 re re))))
(fma.f64 -1/4 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (.f64 re re)) (+.f64 1 (*.f64 (pow.f64 im 4) 1/24)))
(.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (+.f64 1/2 (.f64 (*.f64 re re) -1/4)))
(+.f64 (.f64 1/2 (+.f64 2 (.f64 1/12 (pow.f64 im 4)))) (+.f64 (.f64 -1/4 (.f64 (+.f64 2 (.f64 1/12 (pow.f64 im 4))) (pow.f64 re 2))) (.f64 1/48 (.f64 (+.f64 2 (.f64 1/12 (pow.f64 im 4))) (pow.f64 re 4)))))
(fma.f64 1/2 (fma.f64 1/12 (pow.f64 im 4) 2) (fma.f64 -1/4 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (.f64 re re)) (.f64 (.f64 1/48 (fma.f64 1/12 (pow.f64 im 4) 2)) (pow.f64 re 4))))
(fma.f64 1/2 (fma.f64 1/12 (pow.f64 im 4) 2) (fma.f64 -1/4 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (.f64 re re)) (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (.f64 (pow.f64 re 4) 1/48))))
(fma.f64 1/2 (fma.f64 1/12 (pow.f64 im 4) 2) (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (+.f64 (.f64 (.f64 re re) -1/4) (.f64 (pow.f64 re 4) 1/48))))
(+.f64 (.f64 -1/1440 (.f64 (+.f64 2 (.f64 1/12 (pow.f64 im 4))) (pow.f64 re 6))) (+.f64 (.f64 1/2 (+.f64 2 (.f64 1/12 (pow.f64 im 4)))) (+.f64 (.f64 -1/4 (.f64 (+.f64 2 (.f64 1/12 (pow.f64 im 4))) (pow.f64 re 2))) (.f64 1/48 (.f64 (+.f64 2 (*.f64 1/12 (pow.f64 im 4))) (pow.f64 re 4))))))
(fma.f64 -1/1440 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (pow.f64 re 6)) (fma.f64 1/2 (fma.f64 1/12 (pow.f64 im 4) 2) (fma.f64 -1/4 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (.f64 re re)) (.f64 (*.f64 1/48 (fma.f64 1/12 (pow.f64 im 4) 2)) (pow.f64 re 4)))))
(fma.f64 -1/1440 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (pow.f64 re 6)) (fma.f64 1/2 (fma.f64 1/12 (pow.f64 im 4) 2) (fma.f64 -1/4 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (.f64 re re)) (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (*.f64 (pow.f64 re 4) 1/48)))))
(+.f64 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (+.f64 1/2 (.f64 (.f64 re re) -1/4))) (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (+.f64 (.f64 (pow.f64 re 4) 1/48) (.f64 (pow.f64 re 6) -1/1440))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 2 (*.f64 1/12 (pow.f64 im 4)))))
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 2 (*.f64 1/12 (pow.f64 im 4)))))
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 2 (*.f64 1/12 (pow.f64 im 4)))))
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 2 (*.f64 1/12 (pow.f64 im 4)))))
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 2 (*.f64 1/12 (pow.f64 im 4)))))
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 2 (*.f64 1/12 (pow.f64 im 4)))))
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 2 (*.f64 1/12 (pow.f64 im 4)))))
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 2 (*.f64 1/12 (pow.f64 im 4)))))
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(cos.f64 re)
(+.f64 (cos.f64 re) (.f64 1/24 (.f64 (cos.f64 re) (pow.f64 im 4))))
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(+.f64 (cos.f64 re) (.f64 1/24 (.f64 (cos.f64 re) (pow.f64 im 4))))
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(+.f64 (cos.f64 re) (.f64 1/24 (.f64 (cos.f64 re) (pow.f64 im 4))))
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(.f64 1/24 (.f64 (cos.f64 re) (pow.f64 im 4)))
(.f64 (.f64 1/24 (cos.f64 re)) (pow.f64 im 4))
(.f64 (cos.f64 re) (.f64 (pow.f64 im 4) 1/24))
(.f64 (pow.f64 im 4) (.f64 (cos.f64 re) 1/24))
(+.f64 (cos.f64 re) (.f64 1/24 (.f64 (cos.f64 re) (pow.f64 im 4))))
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(+.f64 (cos.f64 re) (.f64 1/24 (.f64 (cos.f64 re) (pow.f64 im 4))))
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(+.f64 (cos.f64 re) (.f64 1/24 (.f64 (cos.f64 re) (pow.f64 im 4))))
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(.f64 1/24 (.f64 (cos.f64 re) (pow.f64 im 4)))
(.f64 (.f64 1/24 (cos.f64 re)) (pow.f64 im 4))
(.f64 (cos.f64 re) (.f64 (pow.f64 im 4) 1/24))
(.f64 (pow.f64 im 4) (.f64 (cos.f64 re) 1/24))
(+.f64 (cos.f64 re) (.f64 1/24 (.f64 (cos.f64 re) (pow.f64 im 4))))
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(+.f64 (cos.f64 re) (.f64 1/24 (.f64 (cos.f64 re) (pow.f64 im 4))))
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(+.f64 (cos.f64 re) (.f64 1/24 (.f64 (cos.f64 re) (pow.f64 im 4))))
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (cos.f64 re) (*.f64 1/12 (pow.f64 im 4)))))
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(+.f64 (cos.f64 re) (.f64 (.f64 1/2 (.f64 (cos.f64 re) (.f64 1/12 (pow.f64 im 4)))) 1))
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(+.f64 (cos.f64 re) (.f64 1 (.f64 (.f64 1/2 (.f64 (cos.f64 re) (*.f64 1/12 (pow.f64 im 4)))) 1)))
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(+.f64 (cos.f64 re) (.f64 (.f64 (.f64 1/2 (.f64 (cos.f64 re) (*.f64 1/12 (pow.f64 im 4)))) 1) 1))
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(+.f64 (.f64 1/2 (.f64 (cos.f64 re) (*.f64 1/12 (pow.f64 im 4)))) (cos.f64 re))
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(+.f64 (.f64 (.f64 1/2 (.f64 (cos.f64 re) (.f64 1/12 (pow.f64 im 4)))) 1) (cos.f64 re))
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(+.f64 (.f64 1/2 (.f64 2 (cos.f64 re))) (.f64 1/2 (.f64 (*.f64 1/12 (pow.f64 im 4)) (cos.f64 re))))
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(+.f64 (.f64 1/2 (.f64 (.f64 1/12 (pow.f64 im 4)) (cos.f64 re))) (.f64 1/2 (*.f64 2 (cos.f64 re))))
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(+.f64 (.f64 (.f64 (cos.f64 re) 2) 1/2) (.f64 (.f64 (cos.f64 re) (*.f64 1/12 (pow.f64 im 4))) 1/2))
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(+.f64 (.f64 (.f64 (cos.f64 re) (.f64 1/12 (pow.f64 im 4))) 1/2) (.f64 (*.f64 (cos.f64 re) 2) 1/2))
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(-.f64 (exp.f64 (log1p.f64 (cos.f64 re))) (-.f64 1 (.f64 1/2 (.f64 (cos.f64 re) (*.f64 1/12 (pow.f64 im 4))))))
(+.f64 (-.f64 (exp.f64 (log1p.f64 (cos.f64 re))) 1) (.f64 1/2 (.f64 (*.f64 1/12 (pow.f64 im 4)) (cos.f64 re))))
(fma.f64 (cos.f64 re) (*.f64 (pow.f64 im 4) 1/24) (expm1.f64 (log1p.f64 (cos.f64 re))))
(-.f64 (exp.f64 (log1p.f64 (cos.f64 re))) (-.f64 1 (.f64 (.f64 1/2 (.f64 (cos.f64 re) (.f64 1/12 (pow.f64 im 4)))) 1)))
(+.f64 (-.f64 (exp.f64 (log1p.f64 (cos.f64 re))) 1) (.f64 1/2 (.f64 (*.f64 1/12 (pow.f64 im 4)) (cos.f64 re))))
(fma.f64 (cos.f64 re) (*.f64 (pow.f64 im 4) 1/24) (expm1.f64 (log1p.f64 (cos.f64 re))))
(-.f64 (exp.f64 (log1p.f64 (.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re))))) 1)
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(-.f64 (+.f64 (.f64 1/2 (.f64 (cos.f64 re) (*.f64 1/12 (pow.f64 im 4)))) (exp.f64 (log1p.f64 (cos.f64 re)))) 1)
(+.f64 (-.f64 (exp.f64 (log1p.f64 (cos.f64 re))) 1) (.f64 1/2 (.f64 (*.f64 1/12 (pow.f64 im 4)) (cos.f64 re))))
(fma.f64 (cos.f64 re) (*.f64 (pow.f64 im 4) 1/24) (expm1.f64 (log1p.f64 (cos.f64 re))))
(/.f64 (*.f64 1/2 (cos.f64 re)) (/.f64 1 (fma.f64 1/12 (pow.f64 im 4) 2)))
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(/.f64 (+.f64 4 (.f64 (pow.f64 im 8) -1/144)) (/.f64 (-.f64 2 (.f64 1/12 (pow.f64 im 4))) (*.f64 1/2 (cos.f64 re))))
(.f64 (/.f64 (+.f64 4 (.f64 (pow.f64 im 8) -1/144)) (+.f64 2 (.f64 -1/12 (pow.f64 im 4)))) (.f64 1/2 (cos.f64 re)))
(.f64 (/.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (*.f64 (pow.f64 im 4) -1/12))) (fma.f64 (pow.f64 im 8) -1/144 4))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 im 8) -1/144 4) (+.f64 2 (*.f64 (pow.f64 im 4) -1/12))))
(/.f64 (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)) (/.f64 (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 -1/6 (pow.f64 im 4)))) (.f64 1/2 (cos.f64 re))))
(.f64 (/.f64 (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)) (+.f64 4 (fma.f64 (pow.f64 im 8) 1/144 (.f64 (pow.f64 im 4) -1/6)))) (.f64 1/2 (cos.f64 re)))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 8) (+.f64 4 (fma.f64 (pow.f64 im 8) 1/144 (*.f64 (pow.f64 im 4) -1/6)))))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 8) (+.f64 4 (fma.f64 (pow.f64 im 4) -1/6 (*.f64 (pow.f64 im 8) 1/144)))))
(/.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 4 (.f64 (pow.f64 im 8) -1/144))) (-.f64 2 (.f64 1/12 (pow.f64 im 4))))
(.f64 (/.f64 (+.f64 4 (.f64 (pow.f64 im 8) -1/144)) (+.f64 2 (.f64 -1/12 (pow.f64 im 4)))) (.f64 1/2 (cos.f64 re)))
(.f64 (/.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (*.f64 (pow.f64 im 4) -1/12))) (fma.f64 (pow.f64 im 8) -1/144 4))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 im 8) -1/144 4) (+.f64 2 (*.f64 (pow.f64 im 4) -1/12))))
(/.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728))) (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (*.f64 -1/6 (pow.f64 im 4)))))
(.f64 (/.f64 (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)) (+.f64 4 (fma.f64 (pow.f64 im 8) 1/144 (.f64 (pow.f64 im 4) -1/6)))) (.f64 1/2 (cos.f64 re)))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 8) (+.f64 4 (fma.f64 (pow.f64 im 8) 1/144 (*.f64 (pow.f64 im 4) -1/6)))))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 8) (+.f64 4 (fma.f64 (pow.f64 im 4) -1/6 (*.f64 (pow.f64 im 8) 1/144)))))
(/.f64 (.f64 (+.f64 4 (.f64 (pow.f64 im 8) -1/144)) (.f64 1/2 (cos.f64 re))) (-.f64 2 (.f64 1/12 (pow.f64 im 4))))
(.f64 (/.f64 (+.f64 4 (.f64 (pow.f64 im 8) -1/144)) (+.f64 2 (.f64 -1/12 (pow.f64 im 4)))) (.f64 1/2 (cos.f64 re)))
(.f64 (/.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (*.f64 (pow.f64 im 4) -1/12))) (fma.f64 (pow.f64 im 8) -1/144 4))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 im 8) -1/144 4) (+.f64 2 (*.f64 (pow.f64 im 4) -1/12))))
(/.f64 (.f64 (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)) (.f64 1/2 (cos.f64 re))) (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (*.f64 -1/6 (pow.f64 im 4)))))
(.f64 (/.f64 (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)) (+.f64 4 (fma.f64 (pow.f64 im 8) 1/144 (.f64 (pow.f64 im 4) -1/6)))) (.f64 1/2 (cos.f64 re)))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 8) (+.f64 4 (fma.f64 (pow.f64 im 8) 1/144 (*.f64 (pow.f64 im 4) -1/6)))))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 8) (+.f64 4 (fma.f64 (pow.f64 im 4) -1/6 (*.f64 (pow.f64 im 8) 1/144)))))
(/.f64 (-.f64 (pow.f64 (cos.f64 re) 2) (.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 (pow.f64 (cos.f64 re) 2) 1/4))) (.f64 (.f64 1/2 (cos.f64 re)) (-.f64 2 (.f64 1/12 (pow.f64 im 4)))))
(/.f64 (-.f64 (pow.f64 (cos.f64 re) 2) (.f64 (pow.f64 im 8) (.f64 1/144 (.f64 (pow.f64 (cos.f64 re) 2) 1/4)))) (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (.f64 -1/12 (pow.f64 im 4)))))
(/.f64 (-.f64 (pow.f64 (cos.f64 re) 2) (.f64 (pow.f64 im 8) (.f64 1/576 (pow.f64 (cos.f64 re) 2)))) (+.f64 (cos.f64 re) (.f64 -1/24 (.f64 (pow.f64 im 4) (cos.f64 re)))))
(/.f64 (.f64 (+.f64 (.f64 (.f64 (pow.f64 im 8) -1/144) 1/4) 1) (pow.f64 (cos.f64 re) 2)) (.f64 (cos.f64 re) (+.f64 1 (*.f64 -1/24 (pow.f64 im 4)))))
(/.f64 (+.f64 (pow.f64 (cos.f64 re) 3) (pow.f64 (.f64 1/2 (.f64 (cos.f64 re) (.f64 1/12 (pow.f64 im 4)))) 3)) (+.f64 (pow.f64 (cos.f64 re) 2) (.f64 (.f64 1/2 (.f64 (cos.f64 re) (.f64 1/12 (pow.f64 im 4)))) (-.f64 (.f64 1/2 (.f64 (cos.f64 re) (.f64 1/12 (pow.f64 im 4)))) (cos.f64 re)))))
(/.f64 (+.f64 (pow.f64 (cos.f64 re) 3) (.f64 1/8 (pow.f64 (.f64 (.f64 1/12 (pow.f64 im 4)) (cos.f64 re)) 3))) (+.f64 (pow.f64 (cos.f64 re) 2) (.f64 (.f64 1/2 (.f64 (.f64 1/12 (pow.f64 im 4)) (cos.f64 re))) (fma.f64 1/2 (.f64 (*.f64 1/12 (pow.f64 im 4)) (cos.f64 re)) (neg.f64 (cos.f64 re))))))
(/.f64 (+.f64 (pow.f64 (cos.f64 re) 3) (pow.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 4) 1/24)) 3)) (fma.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 4) 1/24)) (-.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re)) (pow.f64 (cos.f64 re) 2)))
(/.f64 (.f64 (pow.f64 (cos.f64 re) 3) (+.f64 1 (pow.f64 (.f64 (pow.f64 im 4) 1/24) 3))) (.f64 (cos.f64 re) (+.f64 (cos.f64 re) (.f64 (.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 4) 1/24) 1)) (*.f64 (pow.f64 im 4) 1/24)))))
(/.f64 (.f64 1/2 (.f64 (cos.f64 re) (+.f64 4 (.f64 (pow.f64 im 8) -1/144)))) (-.f64 2 (.f64 1/12 (pow.f64 im 4))))
(.f64 (/.f64 (+.f64 4 (.f64 (pow.f64 im 8) -1/144)) (+.f64 2 (.f64 -1/12 (pow.f64 im 4)))) (.f64 1/2 (cos.f64 re)))
(.f64 (/.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (*.f64 (pow.f64 im 4) -1/12))) (fma.f64 (pow.f64 im 8) -1/144 4))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 im 8) -1/144 4) (+.f64 2 (*.f64 (pow.f64 im 4) -1/12))))
(/.f64 (.f64 1/2 (.f64 (cos.f64 re) (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)))) (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (*.f64 -1/6 (pow.f64 im 4)))))
(.f64 (/.f64 (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)) (+.f64 4 (fma.f64 (pow.f64 im 8) 1/144 (.f64 (pow.f64 im 4) -1/6)))) (.f64 1/2 (cos.f64 re)))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 8) (+.f64 4 (fma.f64 (pow.f64 im 8) 1/144 (*.f64 (pow.f64 im 4) -1/6)))))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 8) (+.f64 4 (fma.f64 (pow.f64 im 4) -1/6 (*.f64 (pow.f64 im 8) 1/144)))))
(/.f64 (.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (.f64 (pow.f64 im 8) 1/144) 4)) (-.f64 (.f64 1/12 (pow.f64 im 4)) 2))
(/.f64 (fma.f64 (pow.f64 im 8) 1/144 -4) (/.f64 (fma.f64 1/12 (pow.f64 im 4) -2) (*.f64 1/2 (cos.f64 re))))
(.f64 (/.f64 (.f64 1/2 (cos.f64 re)) (fma.f64 1/12 (pow.f64 im 4) -2)) (fma.f64 (pow.f64 im 8) 1/144 -4))
(.f64 (/.f64 (cos.f64 re) (.f64 (fma.f64 1/12 (pow.f64 im 4) -2) 2)) (fma.f64 (pow.f64 im 8) 1/144 -4))
(/.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 -4 (neg.f64 (.f64 (pow.f64 im 8) -1/144)))) (neg.f64 (-.f64 2 (.f64 1/12 (pow.f64 im 4)))))
(/.f64 (fma.f64 (pow.f64 im 8) 1/144 -4) (/.f64 (fma.f64 1/12 (pow.f64 im 4) -2) (*.f64 1/2 (cos.f64 re))))
(.f64 (/.f64 (.f64 1/2 (cos.f64 re)) (fma.f64 1/12 (pow.f64 im 4) -2)) (fma.f64 (pow.f64 im 8) 1/144 -4))
(.f64 (/.f64 (cos.f64 re) (.f64 (fma.f64 1/12 (pow.f64 im 4) -2) 2)) (fma.f64 (pow.f64 im 8) 1/144 -4))
(/.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 -8 (neg.f64 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)))) (+.f64 -4 (neg.f64 (+.f64 (.f64 (pow.f64 im 8) 1/144) (*.f64 -1/6 (pow.f64 im 4))))))
(/.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 -8 (.f64 (pow.f64 (pow.f64 im 4) 3) -1/1728))) (-.f64 -4 (fma.f64 (pow.f64 im 8) 1/144 (.f64 (pow.f64 im 4) -1/6))))
(.f64 (/.f64 (.f64 1/2 (cos.f64 re)) (-.f64 -4 (fma.f64 (pow.f64 im 8) 1/144 (*.f64 (pow.f64 im 4) -1/6)))) (fma.f64 (pow.f64 (pow.f64 im 4) 3) -1/1728 -8))
(.f64 (/.f64 (.f64 1/2 (cos.f64 re)) (-.f64 -4 (fma.f64 (pow.f64 im 4) -1/6 (*.f64 (pow.f64 im 8) 1/144)))) (fma.f64 (pow.f64 (pow.f64 im 4) 3) -1/1728 -8))
(/.f64 (.f64 1 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 4 (.f64 (pow.f64 im 8) -1/144)))) (-.f64 2 (*.f64 1/12 (pow.f64 im 4))))
(.f64 (/.f64 (+.f64 4 (.f64 (pow.f64 im 8) -1/144)) (+.f64 2 (.f64 -1/12 (pow.f64 im 4)))) (.f64 1/2 (cos.f64 re)))
(.f64 (/.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (*.f64 (pow.f64 im 4) -1/12))) (fma.f64 (pow.f64 im 8) -1/144 4))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 im 8) -1/144 4) (+.f64 2 (*.f64 (pow.f64 im 4) -1/12))))
(/.f64 (.f64 1 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)))) (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 -1/6 (pow.f64 im 4)))))
(.f64 (/.f64 (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)) (+.f64 4 (fma.f64 (pow.f64 im 8) 1/144 (.f64 (pow.f64 im 4) -1/6)))) (.f64 1/2 (cos.f64 re)))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 8) (+.f64 4 (fma.f64 (pow.f64 im 8) 1/144 (*.f64 (pow.f64 im 4) -1/6)))))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 8) (+.f64 4 (fma.f64 (pow.f64 im 4) -1/6 (*.f64 (pow.f64 im 8) 1/144)))))
(/.f64 (.f64 1 (.f64 (+.f64 4 (.f64 (pow.f64 im 8) -1/144)) (.f64 1/2 (cos.f64 re)))) (-.f64 2 (*.f64 1/12 (pow.f64 im 4))))
(.f64 (/.f64 (+.f64 4 (.f64 (pow.f64 im 8) -1/144)) (+.f64 2 (.f64 -1/12 (pow.f64 im 4)))) (.f64 1/2 (cos.f64 re)))
(.f64 (/.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (*.f64 (pow.f64 im 4) -1/12))) (fma.f64 (pow.f64 im 8) -1/144 4))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 im 8) -1/144 4) (+.f64 2 (*.f64 (pow.f64 im 4) -1/12))))
(/.f64 (.f64 1 (.f64 (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)) (.f64 1/2 (cos.f64 re)))) (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 -1/6 (pow.f64 im 4)))))
(.f64 (/.f64 (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)) (+.f64 4 (fma.f64 (pow.f64 im 8) 1/144 (.f64 (pow.f64 im 4) -1/6)))) (.f64 1/2 (cos.f64 re)))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 8) (+.f64 4 (fma.f64 (pow.f64 im 8) 1/144 (*.f64 (pow.f64 im 4) -1/6)))))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 8) (+.f64 4 (fma.f64 (pow.f64 im 4) -1/6 (*.f64 (pow.f64 im 8) 1/144)))))
(/.f64 (.f64 1 (-.f64 (pow.f64 (cos.f64 re) 2) (.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 (pow.f64 (cos.f64 re) 2) 1/4)))) (.f64 (.f64 1/2 (cos.f64 re)) (-.f64 2 (*.f64 1/12 (pow.f64 im 4)))))
(/.f64 (-.f64 (pow.f64 (cos.f64 re) 2) (.f64 (pow.f64 im 8) (.f64 1/144 (.f64 (pow.f64 (cos.f64 re) 2) 1/4)))) (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (.f64 -1/12 (pow.f64 im 4)))))
(/.f64 (-.f64 (pow.f64 (cos.f64 re) 2) (.f64 (pow.f64 im 8) (.f64 1/576 (pow.f64 (cos.f64 re) 2)))) (+.f64 (cos.f64 re) (.f64 -1/24 (.f64 (pow.f64 im 4) (cos.f64 re)))))
(/.f64 (.f64 (+.f64 (.f64 (.f64 (pow.f64 im 8) -1/144) 1/4) 1) (pow.f64 (cos.f64 re) 2)) (.f64 (cos.f64 re) (+.f64 1 (*.f64 -1/24 (pow.f64 im 4)))))
(/.f64 (.f64 1 (+.f64 (pow.f64 (cos.f64 re) 3) (pow.f64 (.f64 1/2 (.f64 (cos.f64 re) (.f64 1/12 (pow.f64 im 4)))) 3))) (+.f64 (pow.f64 (cos.f64 re) 2) (.f64 (.f64 1/2 (.f64 (cos.f64 re) (.f64 1/12 (pow.f64 im 4)))) (-.f64 (.f64 1/2 (.f64 (cos.f64 re) (*.f64 1/12 (pow.f64 im 4)))) (cos.f64 re)))))
(/.f64 (+.f64 (pow.f64 (cos.f64 re) 3) (.f64 1/8 (pow.f64 (.f64 (.f64 1/12 (pow.f64 im 4)) (cos.f64 re)) 3))) (+.f64 (pow.f64 (cos.f64 re) 2) (.f64 (.f64 1/2 (.f64 (.f64 1/12 (pow.f64 im 4)) (cos.f64 re))) (fma.f64 1/2 (.f64 (*.f64 1/12 (pow.f64 im 4)) (cos.f64 re)) (neg.f64 (cos.f64 re))))))
(/.f64 (+.f64 (pow.f64 (cos.f64 re) 3) (pow.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 4) 1/24)) 3)) (fma.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 4) 1/24)) (-.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re)) (pow.f64 (cos.f64 re) 2)))
(/.f64 (.f64 (pow.f64 (cos.f64 re) 3) (+.f64 1 (pow.f64 (.f64 (pow.f64 im 4) 1/24) 3))) (.f64 (cos.f64 re) (+.f64 (cos.f64 re) (.f64 (.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 4) 1/24) 1)) (*.f64 (pow.f64 im 4) 1/24)))))
(/.f64 (.f64 (.f64 (.f64 1/2 (cos.f64 re)) (sqrt.f64 (fma.f64 1/12 (pow.f64 im 4) 2))) (sqrt.f64 (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)))) (sqrt.f64 (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 -1/6 (pow.f64 im 4))))))
(/.f64 (.f64 (.f64 1/2 (cos.f64 re)) (sqrt.f64 (fma.f64 1/12 (pow.f64 im 4) 2))) (/.f64 (sqrt.f64 (+.f64 4 (fma.f64 (pow.f64 im 8) 1/144 (.f64 (pow.f64 im 4) -1/6)))) (sqrt.f64 (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)))))
(.f64 (/.f64 (.f64 1/2 (.f64 (cos.f64 re) (sqrt.f64 (fma.f64 1/12 (pow.f64 im 4) 2)))) (sqrt.f64 (+.f64 4 (fma.f64 (pow.f64 im 8) 1/144 (.f64 (pow.f64 im 4) -1/6))))) (sqrt.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 8)))
(.f64 (/.f64 (.f64 1/2 (cos.f64 re)) (sqrt.f64 (+.f64 4 (fma.f64 (pow.f64 im 4) -1/6 (.f64 (pow.f64 im 8) 1/144))))) (.f64 (sqrt.f64 (fma.f64 1/12 (pow.f64 im 4) 2)) (sqrt.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 8))))
(/.f64 (.f64 (.f64 (.f64 1/2 (cos.f64 re)) (sqrt.f64 (fma.f64 1/12 (pow.f64 im 4) 2))) (sqrt.f64 (+.f64 4 (.f64 (pow.f64 im 8) -1/144)))) (sqrt.f64 (-.f64 2 (*.f64 1/12 (pow.f64 im 4)))))
(/.f64 (.f64 (.f64 1/2 (cos.f64 re)) (sqrt.f64 (fma.f64 1/12 (pow.f64 im 4) 2))) (/.f64 (sqrt.f64 (+.f64 2 (.f64 -1/12 (pow.f64 im 4)))) (sqrt.f64 (+.f64 4 (.f64 (pow.f64 im 8) -1/144)))))
(.f64 (/.f64 (.f64 1/2 (.f64 (cos.f64 re) (sqrt.f64 (fma.f64 1/12 (pow.f64 im 4) 2)))) (sqrt.f64 (+.f64 2 (.f64 (pow.f64 im 4) -1/12)))) (sqrt.f64 (fma.f64 (pow.f64 im 8) -1/144 4)))
(/.f64 (.f64 (.f64 (.f64 1/2 (cos.f64 re)) (pow.f64 (cbrt.f64 (fma.f64 1/12 (pow.f64 im 4) 2)) 2)) (cbrt.f64 (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)))) (cbrt.f64 (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 -1/6 (pow.f64 im 4))))))
(/.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 (cbrt.f64 (fma.f64 1/12 (pow.f64 im 4) 2)) 2))) (/.f64 (cbrt.f64 (+.f64 4 (fma.f64 (pow.f64 im 8) 1/144 (.f64 (pow.f64 im 4) -1/6)))) (cbrt.f64 (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)))))
(.f64 (/.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 (cbrt.f64 (fma.f64 1/12 (pow.f64 im 4) 2)) 2))) (cbrt.f64 (+.f64 4 (fma.f64 (pow.f64 im 8) 1/144 (.f64 (pow.f64 im 4) -1/6))))) (cbrt.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 8)))
(.f64 (/.f64 1/2 (/.f64 (cbrt.f64 (+.f64 4 (fma.f64 (pow.f64 im 4) -1/6 (.f64 (pow.f64 im 8) 1/144)))) (cos.f64 re))) (*.f64 (pow.f64 (cbrt.f64 (fma.f64 1/12 (pow.f64 im 4) 2)) 2) (cbrt.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 8))))
(/.f64 (.f64 (.f64 (.f64 1/2 (cos.f64 re)) (pow.f64 (cbrt.f64 (fma.f64 1/12 (pow.f64 im 4) 2)) 2)) (cbrt.f64 (+.f64 4 (.f64 (pow.f64 im 8) -1/144)))) (cbrt.f64 (-.f64 2 (*.f64 1/12 (pow.f64 im 4)))))
(/.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 (cbrt.f64 (fma.f64 1/12 (pow.f64 im 4) 2)) 2))) (/.f64 (cbrt.f64 (+.f64 2 (.f64 -1/12 (pow.f64 im 4)))) (cbrt.f64 (+.f64 4 (.f64 (pow.f64 im 8) -1/144)))))
(.f64 (/.f64 (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 (cbrt.f64 (fma.f64 1/12 (pow.f64 im 4) 2)) 2))) (cbrt.f64 (+.f64 2 (.f64 (pow.f64 im 4) -1/12)))) (cbrt.f64 (fma.f64 (pow.f64 im 8) -1/144 4)))
(.f64 (/.f64 (cos.f64 re) (.f64 (cbrt.f64 (+.f64 2 (.f64 (pow.f64 im 4) -1/12))) 2)) (.f64 (pow.f64 (cbrt.f64 (fma.f64 1/12 (pow.f64 im 4) 2)) 2) (cbrt.f64 (fma.f64 (pow.f64 im 8) -1/144 4))))
(/.f64 (.f64 (-.f64 (.f64 (pow.f64 im 8) 1/144) 4) (.f64 1/2 (cos.f64 re))) (-.f64 (.f64 1/12 (pow.f64 im 4)) 2))
(/.f64 (fma.f64 (pow.f64 im 8) 1/144 -4) (/.f64 (fma.f64 1/12 (pow.f64 im 4) -2) (*.f64 1/2 (cos.f64 re))))
(.f64 (/.f64 (.f64 1/2 (cos.f64 re)) (fma.f64 1/12 (pow.f64 im 4) -2)) (fma.f64 (pow.f64 im 8) 1/144 -4))
(.f64 (/.f64 (cos.f64 re) (.f64 (fma.f64 1/12 (pow.f64 im 4) -2) 2)) (fma.f64 (pow.f64 im 8) 1/144 -4))
(/.f64 (.f64 (+.f64 -4 (neg.f64 (.f64 (pow.f64 im 8) -1/144))) (.f64 1/2 (cos.f64 re))) (neg.f64 (-.f64 2 (.f64 1/12 (pow.f64 im 4)))))
(/.f64 (fma.f64 (pow.f64 im 8) 1/144 -4) (/.f64 (fma.f64 1/12 (pow.f64 im 4) -2) (*.f64 1/2 (cos.f64 re))))
(.f64 (/.f64 (.f64 1/2 (cos.f64 re)) (fma.f64 1/12 (pow.f64 im 4) -2)) (fma.f64 (pow.f64 im 8) 1/144 -4))
(.f64 (/.f64 (cos.f64 re) (.f64 (fma.f64 1/12 (pow.f64 im 4) -2) 2)) (fma.f64 (pow.f64 im 8) 1/144 -4))
(/.f64 (.f64 (+.f64 -8 (neg.f64 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728))) (.f64 1/2 (cos.f64 re))) (+.f64 -4 (neg.f64 (+.f64 (.f64 (pow.f64 im 8) 1/144) (*.f64 -1/6 (pow.f64 im 4))))))
(/.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 -8 (.f64 (pow.f64 (pow.f64 im 4) 3) -1/1728))) (-.f64 -4 (fma.f64 (pow.f64 im 8) 1/144 (.f64 (pow.f64 im 4) -1/6))))
(.f64 (/.f64 (.f64 1/2 (cos.f64 re)) (-.f64 -4 (fma.f64 (pow.f64 im 8) 1/144 (*.f64 (pow.f64 im 4) -1/6)))) (fma.f64 (pow.f64 (pow.f64 im 4) 3) -1/1728 -8))
(.f64 (/.f64 (.f64 1/2 (cos.f64 re)) (-.f64 -4 (fma.f64 (pow.f64 im 4) -1/6 (*.f64 (pow.f64 im 8) 1/144)))) (fma.f64 (pow.f64 (pow.f64 im 4) 3) -1/1728 -8))
(/.f64 (.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 4 (.f64 (pow.f64 im 8) -1/144))) 1) (-.f64 2 (*.f64 1/12 (pow.f64 im 4))))
(.f64 (/.f64 (+.f64 4 (.f64 (pow.f64 im 8) -1/144)) (+.f64 2 (.f64 -1/12 (pow.f64 im 4)))) (.f64 1/2 (cos.f64 re)))
(.f64 (/.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (*.f64 (pow.f64 im 4) -1/12))) (fma.f64 (pow.f64 im 8) -1/144 4))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 im 8) -1/144 4) (+.f64 2 (*.f64 (pow.f64 im 4) -1/12))))
(/.f64 (.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728))) 1) (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 -1/6 (pow.f64 im 4)))))
(.f64 (/.f64 (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)) (+.f64 4 (fma.f64 (pow.f64 im 8) 1/144 (.f64 (pow.f64 im 4) -1/6)))) (.f64 1/2 (cos.f64 re)))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 8) (+.f64 4 (fma.f64 (pow.f64 im 8) 1/144 (*.f64 (pow.f64 im 4) -1/6)))))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 8) (+.f64 4 (fma.f64 (pow.f64 im 4) -1/6 (*.f64 (pow.f64 im 8) 1/144)))))
(/.f64 (.f64 (.f64 (+.f64 4 (.f64 (pow.f64 im 8) -1/144)) (.f64 1/2 (cos.f64 re))) 1) (-.f64 2 (*.f64 1/12 (pow.f64 im 4))))
(.f64 (/.f64 (+.f64 4 (.f64 (pow.f64 im 8) -1/144)) (+.f64 2 (.f64 -1/12 (pow.f64 im 4)))) (.f64 1/2 (cos.f64 re)))
(.f64 (/.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (*.f64 (pow.f64 im 4) -1/12))) (fma.f64 (pow.f64 im 8) -1/144 4))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 im 8) -1/144 4) (+.f64 2 (*.f64 (pow.f64 im 4) -1/12))))
(/.f64 (.f64 (.f64 (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)) (.f64 1/2 (cos.f64 re))) 1) (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 -1/6 (pow.f64 im 4)))))
(.f64 (/.f64 (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)) (+.f64 4 (fma.f64 (pow.f64 im 8) 1/144 (.f64 (pow.f64 im 4) -1/6)))) (.f64 1/2 (cos.f64 re)))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 8) (+.f64 4 (fma.f64 (pow.f64 im 8) 1/144 (*.f64 (pow.f64 im 4) -1/6)))))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 8) (+.f64 4 (fma.f64 (pow.f64 im 4) -1/6 (*.f64 (pow.f64 im 8) 1/144)))))
(/.f64 (.f64 (-.f64 (pow.f64 (cos.f64 re) 2) (.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 (pow.f64 (cos.f64 re) 2) 1/4))) 1) (.f64 (.f64 1/2 (cos.f64 re)) (-.f64 2 (*.f64 1/12 (pow.f64 im 4)))))
(/.f64 (-.f64 (pow.f64 (cos.f64 re) 2) (.f64 (pow.f64 im 8) (.f64 1/144 (.f64 (pow.f64 (cos.f64 re) 2) 1/4)))) (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (.f64 -1/12 (pow.f64 im 4)))))
(/.f64 (-.f64 (pow.f64 (cos.f64 re) 2) (.f64 (pow.f64 im 8) (.f64 1/576 (pow.f64 (cos.f64 re) 2)))) (+.f64 (cos.f64 re) (.f64 -1/24 (.f64 (pow.f64 im 4) (cos.f64 re)))))
(/.f64 (.f64 (+.f64 (.f64 (.f64 (pow.f64 im 8) -1/144) 1/4) 1) (pow.f64 (cos.f64 re) 2)) (.f64 (cos.f64 re) (+.f64 1 (*.f64 -1/24 (pow.f64 im 4)))))
(/.f64 (.f64 (+.f64 (pow.f64 (cos.f64 re) 3) (pow.f64 (.f64 1/2 (.f64 (cos.f64 re) (.f64 1/12 (pow.f64 im 4)))) 3)) 1) (+.f64 (pow.f64 (cos.f64 re) 2) (.f64 (.f64 1/2 (.f64 (cos.f64 re) (.f64 1/12 (pow.f64 im 4)))) (-.f64 (.f64 1/2 (.f64 (cos.f64 re) (*.f64 1/12 (pow.f64 im 4)))) (cos.f64 re)))))
(/.f64 (+.f64 (pow.f64 (cos.f64 re) 3) (.f64 1/8 (pow.f64 (.f64 (.f64 1/12 (pow.f64 im 4)) (cos.f64 re)) 3))) (+.f64 (pow.f64 (cos.f64 re) 2) (.f64 (.f64 1/2 (.f64 (.f64 1/12 (pow.f64 im 4)) (cos.f64 re))) (fma.f64 1/2 (.f64 (*.f64 1/12 (pow.f64 im 4)) (cos.f64 re)) (neg.f64 (cos.f64 re))))))
(/.f64 (+.f64 (pow.f64 (cos.f64 re) 3) (pow.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 4) 1/24)) 3)) (fma.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 4) 1/24)) (-.f64 (.f64 (cos.f64 re) (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re)) (pow.f64 (cos.f64 re) 2)))
(/.f64 (.f64 (pow.f64 (cos.f64 re) 3) (+.f64 1 (pow.f64 (.f64 (pow.f64 im 4) 1/24) 3))) (.f64 (cos.f64 re) (+.f64 (cos.f64 re) (.f64 (.f64 (cos.f64 re) (-.f64 (.f64 (pow.f64 im 4) 1/24) 1)) (*.f64 (pow.f64 im 4) 1/24)))))
(/.f64 (.f64 (sqrt.f64 (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728))) (.f64 (sqrt.f64 (fma.f64 1/12 (pow.f64 im 4) 2)) (.f64 1/2 (cos.f64 re)))) (sqrt.f64 (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 -1/6 (pow.f64 im 4))))))
(/.f64 (.f64 (.f64 1/2 (cos.f64 re)) (sqrt.f64 (fma.f64 1/12 (pow.f64 im 4) 2))) (/.f64 (sqrt.f64 (+.f64 4 (fma.f64 (pow.f64 im 8) 1/144 (.f64 (pow.f64 im 4) -1/6)))) (sqrt.f64 (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)))))
(.f64 (/.f64 (.f64 1/2 (.f64 (cos.f64 re) (sqrt.f64 (fma.f64 1/12 (pow.f64 im 4) 2)))) (sqrt.f64 (+.f64 4 (fma.f64 (pow.f64 im 8) 1/144 (.f64 (pow.f64 im 4) -1/6))))) (sqrt.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 8)))
(.f64 (/.f64 (.f64 1/2 (cos.f64 re)) (sqrt.f64 (+.f64 4 (fma.f64 (pow.f64 im 4) -1/6 (.f64 (pow.f64 im 8) 1/144))))) (.f64 (sqrt.f64 (fma.f64 1/12 (pow.f64 im 4) 2)) (sqrt.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 8))))
(/.f64 (.f64 (sqrt.f64 (+.f64 4 (.f64 (pow.f64 im 8) -1/144))) (.f64 (sqrt.f64 (fma.f64 1/12 (pow.f64 im 4) 2)) (.f64 1/2 (cos.f64 re)))) (sqrt.f64 (-.f64 2 (*.f64 1/12 (pow.f64 im 4)))))
(/.f64 (.f64 (.f64 1/2 (cos.f64 re)) (sqrt.f64 (fma.f64 1/12 (pow.f64 im 4) 2))) (/.f64 (sqrt.f64 (+.f64 2 (.f64 -1/12 (pow.f64 im 4)))) (sqrt.f64 (+.f64 4 (.f64 (pow.f64 im 8) -1/144)))))
(.f64 (/.f64 (.f64 1/2 (.f64 (cos.f64 re) (sqrt.f64 (fma.f64 1/12 (pow.f64 im 4) 2)))) (sqrt.f64 (+.f64 2 (.f64 (pow.f64 im 4) -1/12)))) (sqrt.f64 (fma.f64 (pow.f64 im 8) -1/144 4)))
(/.f64 (.f64 (.f64 (cos.f64 re) (+.f64 4 (.f64 (pow.f64 im 8) -1/144))) 1/2) (-.f64 2 (.f64 1/12 (pow.f64 im 4))))
(.f64 (/.f64 (+.f64 4 (.f64 (pow.f64 im 8) -1/144)) (+.f64 2 (.f64 -1/12 (pow.f64 im 4)))) (.f64 1/2 (cos.f64 re)))
(.f64 (/.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (*.f64 (pow.f64 im 4) -1/12))) (fma.f64 (pow.f64 im 8) -1/144 4))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 im 8) -1/144 4) (+.f64 2 (*.f64 (pow.f64 im 4) -1/12))))
(/.f64 (.f64 (.f64 (cos.f64 re) (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728))) 1/2) (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (*.f64 -1/6 (pow.f64 im 4)))))
(.f64 (/.f64 (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)) (+.f64 4 (fma.f64 (pow.f64 im 8) 1/144 (.f64 (pow.f64 im 4) -1/6)))) (.f64 1/2 (cos.f64 re)))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 8) (+.f64 4 (fma.f64 (pow.f64 im 8) 1/144 (*.f64 (pow.f64 im 4) -1/6)))))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 8) (+.f64 4 (fma.f64 (pow.f64 im 4) -1/6 (*.f64 (pow.f64 im 8) 1/144)))))
(/.f64 (/.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 4 (.f64 (pow.f64 im 8) -1/144))) 1) (-.f64 2 (.f64 1/12 (pow.f64 im 4))))
(.f64 (/.f64 (+.f64 4 (.f64 (pow.f64 im 8) -1/144)) (+.f64 2 (.f64 -1/12 (pow.f64 im 4)))) (.f64 1/2 (cos.f64 re)))
(.f64 (/.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (*.f64 (pow.f64 im 4) -1/12))) (fma.f64 (pow.f64 im 8) -1/144 4))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 im 8) -1/144 4) (+.f64 2 (*.f64 (pow.f64 im 4) -1/12))))
(/.f64 (/.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 4 (.f64 (pow.f64 im 8) -1/144))) (sqrt.f64 (-.f64 2 (.f64 1/12 (pow.f64 im 4))))) (sqrt.f64 (-.f64 2 (*.f64 1/12 (pow.f64 im 4)))))
(.f64 (/.f64 (+.f64 4 (.f64 (pow.f64 im 8) -1/144)) (+.f64 2 (.f64 -1/12 (pow.f64 im 4)))) (.f64 1/2 (cos.f64 re)))
(.f64 (/.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (*.f64 (pow.f64 im 4) -1/12))) (fma.f64 (pow.f64 im 8) -1/144 4))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 im 8) -1/144 4) (+.f64 2 (*.f64 (pow.f64 im 4) -1/12))))
(/.f64 (/.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 4 (.f64 (pow.f64 im 8) -1/144))) (.f64 (cbrt.f64 (-.f64 2 (.f64 1/12 (pow.f64 im 4)))) (cbrt.f64 (-.f64 2 (.f64 1/12 (pow.f64 im 4)))))) (cbrt.f64 (-.f64 2 (*.f64 1/12 (pow.f64 im 4)))))
(.f64 (/.f64 (+.f64 4 (.f64 (pow.f64 im 8) -1/144)) (+.f64 2 (.f64 -1/12 (pow.f64 im 4)))) (.f64 1/2 (cos.f64 re)))
(.f64 (/.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (*.f64 (pow.f64 im 4) -1/12))) (fma.f64 (pow.f64 im 8) -1/144 4))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 im 8) -1/144 4) (+.f64 2 (*.f64 (pow.f64 im 4) -1/12))))
(/.f64 (/.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728))) 1) (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (*.f64 -1/6 (pow.f64 im 4)))))
(.f64 (/.f64 (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)) (+.f64 4 (fma.f64 (pow.f64 im 8) 1/144 (.f64 (pow.f64 im 4) -1/6)))) (.f64 1/2 (cos.f64 re)))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 8) (+.f64 4 (fma.f64 (pow.f64 im 8) 1/144 (*.f64 (pow.f64 im 4) -1/6)))))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 8) (+.f64 4 (fma.f64 (pow.f64 im 4) -1/6 (*.f64 (pow.f64 im 8) 1/144)))))
(/.f64 (/.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728))) (sqrt.f64 (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 -1/6 (pow.f64 im 4)))))) (sqrt.f64 (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (*.f64 -1/6 (pow.f64 im 4))))))
(.f64 (/.f64 (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)) (+.f64 4 (fma.f64 (pow.f64 im 8) 1/144 (.f64 (pow.f64 im 4) -1/6)))) (.f64 1/2 (cos.f64 re)))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 8) (+.f64 4 (fma.f64 (pow.f64 im 8) 1/144 (*.f64 (pow.f64 im 4) -1/6)))))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 8) (+.f64 4 (fma.f64 (pow.f64 im 4) -1/6 (*.f64 (pow.f64 im 8) 1/144)))))
(/.f64 (/.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728))) (.f64 (cbrt.f64 (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 -1/6 (pow.f64 im 4))))) (cbrt.f64 (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 -1/6 (pow.f64 im 4))))))) (cbrt.f64 (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 -1/6 (pow.f64 im 4))))))
(.f64 (/.f64 (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)) (+.f64 4 (fma.f64 (pow.f64 im 8) 1/144 (.f64 (pow.f64 im 4) -1/6)))) (.f64 1/2 (cos.f64 re)))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 8) (+.f64 4 (fma.f64 (pow.f64 im 8) 1/144 (*.f64 (pow.f64 im 4) -1/6)))))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 8) (+.f64 4 (fma.f64 (pow.f64 im 4) -1/6 (*.f64 (pow.f64 im 8) 1/144)))))
(/.f64 (/.f64 (.f64 (+.f64 4 (.f64 (pow.f64 im 8) -1/144)) (.f64 1/2 (cos.f64 re))) 1) (-.f64 2 (.f64 1/12 (pow.f64 im 4))))
(.f64 (/.f64 (+.f64 4 (.f64 (pow.f64 im 8) -1/144)) (+.f64 2 (.f64 -1/12 (pow.f64 im 4)))) (.f64 1/2 (cos.f64 re)))
(.f64 (/.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (*.f64 (pow.f64 im 4) -1/12))) (fma.f64 (pow.f64 im 8) -1/144 4))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 im 8) -1/144 4) (+.f64 2 (*.f64 (pow.f64 im 4) -1/12))))
(/.f64 (/.f64 (.f64 (+.f64 4 (.f64 (pow.f64 im 8) -1/144)) (.f64 1/2 (cos.f64 re))) (sqrt.f64 (-.f64 2 (.f64 1/12 (pow.f64 im 4))))) (sqrt.f64 (-.f64 2 (*.f64 1/12 (pow.f64 im 4)))))
(.f64 (/.f64 (+.f64 4 (.f64 (pow.f64 im 8) -1/144)) (+.f64 2 (.f64 -1/12 (pow.f64 im 4)))) (.f64 1/2 (cos.f64 re)))
(.f64 (/.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (*.f64 (pow.f64 im 4) -1/12))) (fma.f64 (pow.f64 im 8) -1/144 4))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 im 8) -1/144 4) (+.f64 2 (*.f64 (pow.f64 im 4) -1/12))))
(/.f64 (/.f64 (.f64 (+.f64 4 (.f64 (pow.f64 im 8) -1/144)) (.f64 1/2 (cos.f64 re))) (.f64 (cbrt.f64 (-.f64 2 (.f64 1/12 (pow.f64 im 4)))) (cbrt.f64 (-.f64 2 (.f64 1/12 (pow.f64 im 4)))))) (cbrt.f64 (-.f64 2 (*.f64 1/12 (pow.f64 im 4)))))
(.f64 (/.f64 (+.f64 4 (.f64 (pow.f64 im 8) -1/144)) (+.f64 2 (.f64 -1/12 (pow.f64 im 4)))) (.f64 1/2 (cos.f64 re)))
(.f64 (/.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (*.f64 (pow.f64 im 4) -1/12))) (fma.f64 (pow.f64 im 8) -1/144 4))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 im 8) -1/144 4) (+.f64 2 (*.f64 (pow.f64 im 4) -1/12))))
(/.f64 (/.f64 (.f64 (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)) (.f64 1/2 (cos.f64 re))) 1) (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (*.f64 -1/6 (pow.f64 im 4)))))
(.f64 (/.f64 (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)) (+.f64 4 (fma.f64 (pow.f64 im 8) 1/144 (.f64 (pow.f64 im 4) -1/6)))) (.f64 1/2 (cos.f64 re)))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 8) (+.f64 4 (fma.f64 (pow.f64 im 8) 1/144 (*.f64 (pow.f64 im 4) -1/6)))))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 8) (+.f64 4 (fma.f64 (pow.f64 im 4) -1/6 (*.f64 (pow.f64 im 8) 1/144)))))
(/.f64 (/.f64 (.f64 (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)) (.f64 1/2 (cos.f64 re))) (sqrt.f64 (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 -1/6 (pow.f64 im 4)))))) (sqrt.f64 (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (*.f64 -1/6 (pow.f64 im 4))))))
(.f64 (/.f64 (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)) (+.f64 4 (fma.f64 (pow.f64 im 8) 1/144 (.f64 (pow.f64 im 4) -1/6)))) (.f64 1/2 (cos.f64 re)))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 8) (+.f64 4 (fma.f64 (pow.f64 im 8) 1/144 (*.f64 (pow.f64 im 4) -1/6)))))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 8) (+.f64 4 (fma.f64 (pow.f64 im 4) -1/6 (*.f64 (pow.f64 im 8) 1/144)))))
(/.f64 (/.f64 (.f64 (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)) (.f64 1/2 (cos.f64 re))) (.f64 (cbrt.f64 (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 -1/6 (pow.f64 im 4))))) (cbrt.f64 (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 -1/6 (pow.f64 im 4))))))) (cbrt.f64 (+.f64 4 (+.f64 (.f64 (pow.f64 im 8) 1/144) (.f64 -1/6 (pow.f64 im 4))))))
(.f64 (/.f64 (+.f64 8 (.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728)) (+.f64 4 (fma.f64 (pow.f64 im 8) 1/144 (.f64 (pow.f64 im 4) -1/6)))) (.f64 1/2 (cos.f64 re)))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 8) (+.f64 4 (fma.f64 (pow.f64 im 8) 1/144 (*.f64 (pow.f64 im 4) -1/6)))))
(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (fma.f64 (pow.f64 (pow.f64 im 4) 3) 1/1728 8) (+.f64 4 (fma.f64 (pow.f64 im 4) -1/6 (*.f64 (pow.f64 im 8) 1/144)))))
(pow.f64 (.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re))) 1)
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(pow.f64 (sqrt.f64 (.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))) 2)
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(pow.f64 (cbrt.f64 (.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))) 3)
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(pow.f64 (pow.f64 (.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re))) 3) 1/3)
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(sqrt.f64 (pow.f64 (.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re))) 2))
(fabs.f64 (.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re)))
(log.f64 (pow.f64 (exp.f64 1/2) (*.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re))))
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(log.f64 (+.f64 1 (expm1.f64 (.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re))))))
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(cbrt.f64 (pow.f64 (.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re))) 3))
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(cbrt.f64 (.f64 (pow.f64 (.f64 1/2 (cos.f64 re)) 3) (pow.f64 (fma.f64 1/12 (pow.f64 im 4) 2) 3)))
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(cbrt.f64 (.f64 (pow.f64 (fma.f64 1/12 (pow.f64 im 4) 2) 3) (pow.f64 (.f64 1/2 (cos.f64 re)) 3)))
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(expm1.f64 (log1p.f64 (.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))))
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(exp.f64 (log.f64 (.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))))
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(exp.f64 (.f64 (log.f64 (.f64 1/2 (*.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))) 1))
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(log1p.f64 (expm1.f64 (.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))))
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(fma.f64 (.f64 1/2 (cos.f64 re)) 2 (.f64 1/2 (.f64 (cos.f64 re) (.f64 1/12 (pow.f64 im 4)))))
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))
(fma.f64 2 (.f64 1/2 (cos.f64 re)) (.f64 1/2 (.f64 (cos.f64 re) (.f64 1/12 (pow.f64 im 4)))))
(.f64 1/2 (.f64 (fma.f64 1/12 (pow.f64 im 4) 2) (cos.f64 re)))
(.f64 (+.f64 1 (.f64 (pow.f64 im 4) 1/24)) (cos.f64 re))

eval73.0ms (1.3%)

Compiler: Compiled 3520 to 2773 computations (21.2% saved)

prune22.0ms (0.4%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	146	2	148
Fresh	0	0	0
Picked	1	0	1
Done	1	3	4
Total	148	5	153

Error

Counts

153 → 5

Alt Table

Click to see full alt table

Status	Error	Program
▶	29.9b	(+.f64 1 (*.f64 (pow.f64 im 4) 1/24))
✓	0.0b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
✓	0.4b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (+.f64 (.f64 im im) (.f64 1/12 (pow.f64 im 4)))))
✓	0.5b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (*.f64 im im)))
▶	0.7b	(cos.f64 re)

Compiler

Compiled 56 to 44 computations (21.4% saved)

localize3.0ms (0.1%)

Compiler: Compiled 5 to 3 computations (40% saved)

localize9.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 21 to 17 computations (19% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	im	@	inf	(*.f64 (pow.f64 im 4) 1/24)
0.0ms	im	@	0	(*.f64 (pow.f64 im 4) 1/24)
0.0ms	im	@	-inf	(*.f64 (pow.f64 im 4) 1/24)

rewrite53.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1212×	`add-sqr-sqrt`
1190×	`*-un-lft-identity`
1132×	`pow1`
1120×	`add-cube-cbrt`
1108×	`add-cbrt-cube`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	146	13
2	1588	13

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

Outputs

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

simplify58.0ms (1%)

Algorithm

1×	egg-herbie

Rules

1288×	`distribute-rgt-in`
1264×	`distribute-lft-in`
1000×	`log-prod`
690×	`associate-r`
638×	`associate-+r+`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	299
1	92	299
2	329	299
3	1814	299
4	7801	299

Stop Event

1×	node limit

Counts

23 → 12

Calls

Call 1

Inputs
(*.f64 1/24 (pow.f64 im 4))
(*.f64 1/24 (pow.f64 im 4))
(*.f64 1/24 (pow.f64 im 4))
(*.f64 1/24 (pow.f64 im 4))
(*.f64 1/24 (pow.f64 im 4))
(*.f64 1/24 (pow.f64 im 4))
(*.f64 1/24 (pow.f64 im 4))
(*.f64 1/24 (pow.f64 im 4))
(*.f64 1/24 (pow.f64 im 4))
(*.f64 1/24 (pow.f64 im 4))
(*.f64 1/24 (pow.f64 im 4))
(*.f64 1/24 (pow.f64 im 4))
(-.f64 (+.f64 1 (*.f64 (pow.f64 im 4) 1/24)) 1)
(pow.f64 (*.f64 (pow.f64 im 4) 1/24) 1)
(pow.f64 (.f64 (sqrt.f64 1/24) (.f64 im im)) 2)
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 im 4) 1/24)) 3)
(pow.f64 (pow.f64 (*.f64 (pow.f64 im 4) 1/24) 3) 1/3)
(sqrt.f64 (*.f64 1/576 (pow.f64 im 8)))
(log.f64 (pow.f64 (exp.f64 1/24) (pow.f64 im 4)))
(cbrt.f64 (pow.f64 (*.f64 (pow.f64 im 4) 1/24) 3))
(expm1.f64 (log1p.f64 (*.f64 (pow.f64 im 4) 1/24)))
(exp.f64 (log.f64 (*.f64 (pow.f64 im 4) 1/24)))
(log1p.f64 (expm1.f64 (*.f64 (pow.f64 im 4) 1/24)))

Outputs
(*.f64 1/24 (pow.f64 im 4))
(*.f64 1/24 (pow.f64 im 4))
(*.f64 1/24 (pow.f64 im 4))
(*.f64 1/24 (pow.f64 im 4))
(*.f64 1/24 (pow.f64 im 4))
(*.f64 1/24 (pow.f64 im 4))
(*.f64 1/24 (pow.f64 im 4))
(*.f64 1/24 (pow.f64 im 4))
(*.f64 1/24 (pow.f64 im 4))
(*.f64 1/24 (pow.f64 im 4))
(*.f64 1/24 (pow.f64 im 4))
(*.f64 1/24 (pow.f64 im 4))
(-.f64 (+.f64 1 (*.f64 (pow.f64 im 4) 1/24)) 1)
(*.f64 1/24 (pow.f64 im 4))
(pow.f64 (*.f64 (pow.f64 im 4) 1/24) 1)
(*.f64 1/24 (pow.f64 im 4))
(pow.f64 (.f64 (sqrt.f64 1/24) (.f64 im im)) 2)
(*.f64 1/24 (pow.f64 im 4))
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 im 4) 1/24)) 3)
(*.f64 1/24 (pow.f64 im 4))
(pow.f64 (pow.f64 (*.f64 (pow.f64 im 4) 1/24) 3) 1/3)
(*.f64 1/24 (pow.f64 im 4))
(sqrt.f64 (*.f64 1/576 (pow.f64 im 8)))
(*.f64 1/24 (pow.f64 im 4))
(log.f64 (pow.f64 (exp.f64 1/24) (pow.f64 im 4)))
(*.f64 1/24 (pow.f64 im 4))
(cbrt.f64 (pow.f64 (*.f64 (pow.f64 im 4) 1/24) 3))
(*.f64 1/24 (pow.f64 im 4))
(expm1.f64 (log1p.f64 (*.f64 (pow.f64 im 4) 1/24)))
(*.f64 1/24 (pow.f64 im 4))
(exp.f64 (log.f64 (*.f64 (pow.f64 im 4) 1/24)))
(*.f64 1/24 (pow.f64 im 4))
(log1p.f64 (expm1.f64 (*.f64 (pow.f64 im 4) 1/24)))
(*.f64 1/24 (pow.f64 im 4))

eval3.0ms (0.1%)

Compiler: Compiled 114 to 101 computations (11.4% saved)

prune4.0ms (0.1%)

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	12	0	12
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	12	5	17

Error

Counts

17 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	29.9b	(+.f64 1 (*.f64 (pow.f64 im 4) 1/24))
✓	0.0b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
✓	0.4b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (+.f64 (.f64 im im) (.f64 1/12 (pow.f64 im 4)))))
✓	0.5b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (*.f64 im im)))
✓	0.7b	(cos.f64 re)

Compiler

Compiled 56 to 44 computations (21.4% saved)

regimes28.0ms (0.5%)

Counts

7 → 1

Calls

Call 1

Inputs
(cos.f64 re)
(.f64 (.f64 1/2 (cos.f64 re)) 2)
(+.f64 1 (*.f64 (pow.f64 im 4) 1/24))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (*.f64 im im)))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (*.f64 1/12 (pow.f64 im 4))))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (+.f64 (.f64 im im) (.f64 1/12 (pow.f64 im 4)))))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

Outputs
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

Calls

6 calls:

5.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
5.0ms	re
5.0ms	im
4.0ms	(*.f64 1/2 (cos.f64 re))
4.0ms	(cos.f64 re)

Results

Error	Segments	Branch
0.0b	1	`re`
0.0b	1	`im`
0.0b	1	`(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))`
0.0b	1	`(*.f64 1/2 (cos.f64 re))`
0.0b	1	`(cos.f64 re)`
0.0b	1	`(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))`

Compiler

Compiled 103 to 73 computations (29.1% saved)

regimes27.0ms (0.5%)

Counts

6 → 1

Calls

Call 1

Inputs
(cos.f64 re)
(.f64 (.f64 1/2 (cos.f64 re)) 2)
(+.f64 1 (*.f64 (pow.f64 im 4) 1/24))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (*.f64 im im)))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (*.f64 1/12 (pow.f64 im 4))))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (+.f64 (.f64 im im) (.f64 1/12 (pow.f64 im 4)))))

Outputs
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (+.f64 (.f64 im im) (.f64 1/12 (pow.f64 im 4)))))

Calls

4 calls:

11.0ms	(cos.f64 re)
6.0ms	im
4.0ms	re
4.0ms	(*.f64 1/2 (cos.f64 re))

Results

Error	Segments	Branch
0.4b	1	`re`
0.4b	1	`im`
0.4b	1	`(*.f64 1/2 (cos.f64 re))`
0.4b	1	`(cos.f64 re)`

Compiler

Compiled 71 to 50 computations (29.6% saved)

regimes17.0ms (0.3%)

Counts

5 → 1

Calls

Call 1

Inputs
(cos.f64 re)
(.f64 (.f64 1/2 (cos.f64 re)) 2)
(+.f64 1 (*.f64 (pow.f64 im 4) 1/24))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (*.f64 im im)))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (*.f64 1/12 (pow.f64 im 4))))

Outputs
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (*.f64 im im)))

Calls

4 calls:

4.0ms	(*.f64 1/2 (cos.f64 re))
4.0ms	re
4.0ms	im
4.0ms	(cos.f64 re)

Results

Error	Segments	Branch
0.5b	1	`re`
0.5b	1	`im`
0.5b	1	`(*.f64 1/2 (cos.f64 re))`
0.5b	1	`(cos.f64 re)`

Compiler

Compiled 55 to 40 computations (27.3% saved)

regimes14.0ms (0.3%)

Accuracy

Total -29.2b remaining (-4120.3%)

Threshold costs -29.2b (-4120.3%)

Counts

3 → 1

Calls

Call 1

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

Outputs
(cos.f64 re)

Calls

4 calls:

4.0ms	(*.f64 1/2 (cos.f64 re))
3.0ms	im
3.0ms	re
3.0ms	(cos.f64 re)

Results

Error	Segments	Branch
0.7b	1	`re`
0.7b	1	`im`
0.7b	1	`(*.f64 1/2 (cos.f64 re))`
0.7b	1	`(cos.f64 re)`

Compiler

Compiled 33 to 25 computations (24.2% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

12×	`*-commutative`
10×	`+-commutative`
2×	`sub-neg`
2×	`neg-mul-1`
2×	`neg-sub0`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	116
1	37	116
2	39	116
3	40	116

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (+.f64 (.f64 im im) (.f64 1/12 (pow.f64 im 4)))))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (*.f64 im im)))
(cos.f64 re)

Outputs
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (+.f64 (.f64 im im) (.f64 1/12 (pow.f64 im 4)))))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (*.f64 im im)))
(cos.f64 re)

Compiler

Compiled 47 to 36 computations (23.4% saved)

soundness0.0ms (0%)

end29.0ms (0.5%)

Compiler: Compiled 41 to 26 computations (36.6% saved)

Details

analyze138.0ms (2.4%)

sample4.4s (77.2%)

preprocess128.0ms (2.2%)

simplify107.0ms (1.9%)

eval1.0ms (0%)

prune1.0ms (0%)

localize13.0ms (0.2%)

series1.0ms (0%)

rewrite39.0ms (0.7%)

simplify78.0ms (1.4%)

eval8.0ms (0.1%)

prune8.0ms (0.1%)

localize7.0ms (0.1%)

localize12.0ms (0.2%)

localize22.0ms (0.4%)

series2.0ms (0%)

rewrite99.0ms (1.7%)

simplify70.0ms (1.2%)

eval27.0ms (0.5%)

prune12.0ms (0.2%)

localize16.0ms (0.3%)

series8.0ms (0.1%)

rewrite82.0ms (1.4%)

simplify89.0ms (1.5%)

eval73.0ms (1.3%)

prune22.0ms (0.4%)

localize3.0ms (0.1%)

localize9.0ms (0.2%)

series1.0ms (0%)

rewrite53.0ms (0.9%)

simplify58.0ms (1%)

eval3.0ms (0.1%)

prune4.0ms (0.1%)

regimes28.0ms (0.5%)

regimes27.0ms (0.5%)

regimes17.0ms (0.3%)

regimes14.0ms (0.3%)

simplify8.0ms (0.1%)

soundness0.0ms (0%)

end29.0ms (0.5%)

Profiling