Metrics for math.cos on complex, real part

analyze0.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
100%	99.9%	0%	0.1%	0%	0%	0%	1

Compiler

Compiled 14 to 11 computations (21.4% saved)

Precisions

Click to see histograms

Operation ival-neg, total time spent: 0.0ms

Operation ival-mult, total time spent: 0.0ms

Operation ival-exp, total time spent: 0.0ms

Operation ival-cos, total time spent: 0.0ms

Operation ival-add, total time spent: 0.0ms

Operation const, total time spent: 0.0ms

sample2.1s (33.2%)

Results

1.3s	3979×	body	256	infinite
783.0ms	4275×	body	256	valid
1.0ms	2×	body	1024	valid

Precisions

Click to see histograms

Operation ival-neg, total time spent: 43.0ms

Operation ival-mult, total time spent: 141.0ms

Operation ival-exp, total time spent: 189.0ms

Operation ival-cos, total time spent: 254.0ms

Operation ival-add, total time spent: 137.0ms

Operation const, total time spent: 18.0ms

Bogosity

preprocess202.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

1164×	`times-frac`
864×	`div-sub`
828×	`fma-def`
812×	`fma-neg`
784×	`distribute-neg-frac`

Problems

256×

No Errors

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	32	316
1	100	308
2	280	308
3	690	298
4	1413	294
5	4012	294
6	6076	294
7	7976	294

Stop Event

1×	node limit

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

Symmetry

(abs re)

(abs im)

Compiler

Compiled 49 to 24 computations (51% saved)

Precisions

Click to see histograms

Operation ival-neg, total time spent: 1.0ms

Operation ival-mult, total time spent: 8.0ms

Operation ival-exp, total time spent: 4.0ms

Operation ival-cos, total time spent: 8.0ms

Operation ival-add, total time spent: 2.0ms

Operation const, total time spent: 1.0ms

eval1.0ms (0%)

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

prune2.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
▶	100.0%	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

Compiler

Compiled 26 to 20 computations (23.1% saved)

localize68.0ms (1.1%)

Localize:

Found 3 expressions with local error:

New	Accuracy	Program
✓	100.0%	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
✓	100.0%	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
✓	100.0%	(cos.f64 re)

Compiler

Compiled 36 to 14 computations (61.1% saved)

Precisions

Click to see histograms

Operation ival-neg, total time spent: 3.0ms

Operation ival-mult, total time spent: 8.0ms

Operation ival-exp, total time spent: 4.0ms

Operation ival-cos, total time spent: 13.0ms

Operation ival-add, total time spent: 2.0ms

Operation const, total time spent: 1.0ms

series6.0ms (0.1%)

Counts

3 → 40

Calls

12 calls:

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

rewrite164.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

200×	`associate-r`
128×	`associate-l`
90×	`add-exp-log`
90×	`add-log-exp`
90×	`log1p-expm1-u`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	77
1	202	77
2	3299	77

Stop Event

1×

unsound

Counts

3 → 46

Calls

Call 1

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

Outputs
(+.f64 -2 (.f64 -2 (cos.f64 (.f64 -2 re))))
(-.f64 (exp.f64 (log1p.f64 (cos.f64 re))) 1)
(*.f64 (cos.f64 re) (cos.f64 re))
(*.f64 (cos.f64 re) 1)
(*.f64 1 (cos.f64 re))
(/.f64 (+.f64 (cos.f64 (+.f64 re re)) (cos.f64 (-.f64 re re))) -2)
(pow.f64 (cos.f64 re) -2)
(pow.f64 (cos.f64 re) 1)
(pow.f64 (cos.f64 re) 1/3)
(sqrt.f64 (cos.f64 re))
(fabs.f64 (cos.f64 re))
(log.f64 (exp.f64 (cos.f64 re)))
(log.f64 (+.f64 1 (expm1.f64 (cos.f64 re))))
(cbrt.f64 (cos.f64 re))
(expm1.f64 (log1p.f64 (cos.f64 re)))
(exp.f64 (log.f64 (cos.f64 re)))
(exp.f64 (*.f64 (log.f64 (cos.f64 re)) 1))
(log1p.f64 (expm1.f64 (cos.f64 re)))
(+.f64 (cos.f64 re) (cos.f64 re))
(+.f64 (.f64 (cos.f64 re) -2) (.f64 (cos.f64 re) -2))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (cos.f64 re) -2))) 1)
(/.f64 (*.f64 (cos.f64 re) -2) -2)
(/.f64 (*.f64 (cos.f64 re) -2) 1)
(/.f64 (.f64 (cos.f64 re) -2) (+.f64 (.f64 (cos.f64 re) -2) (-.f64 (.f64 (cos.f64 re) -2) (.f64 (cos.f64 re) -2))))
(/.f64 (-.f64 (.f64 (cos.f64 re) -2) (.f64 (cos.f64 re) -2)) (-.f64 (.f64 (cos.f64 re) -2) (.f64 (cos.f64 re) -2)))
(pow.f64 (*.f64 (cos.f64 re) -2) -2)
(pow.f64 (*.f64 (cos.f64 re) -2) 1)
(pow.f64 (*.f64 (cos.f64 re) -2) 1/3)
(sqrt.f64 (*.f64 (cos.f64 re) -2))
(fabs.f64 (*.f64 (cos.f64 re) -2))
(log.f64 (pow.f64 1 (cos.f64 re)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (cos.f64 re) -2))))
(cbrt.f64 (*.f64 (cos.f64 re) -2))
(expm1.f64 (log1p.f64 (*.f64 (cos.f64 re) -2)))
(exp.f64 (log.f64 (*.f64 (cos.f64 re) -2)))
(exp.f64 (.f64 (log.f64 (.f64 (cos.f64 re) -2)) 1))
(exp.f64 (+.f64 (log.f64 (*.f64 (cos.f64 re) -2)) -2))
(log1p.f64 (expm1.f64 (*.f64 (cos.f64 re) -2)))
(fma.f64 1 (.f64 (cos.f64 re) -2) (.f64 (cos.f64 re) -2))
(fma.f64 (.f64 (cos.f64 re) -2) 1 (.f64 (cos.f64 re) -2))
-2
0
1/4
1/2
3/2
2

simplify50.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

214×	`fma-def`
154×	`associate-r`
120×	`associate-l`
108×	`+-commutative`
104×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	152	1637
1	387	1637
2	1867	1637

Stop Event

1×

unsound

Counts

86 → 77

Calls

Call 1

Inputs
1
(+.f64 1 (*.f64 -1/2 (pow.f64 re 2)))
(+.f64 1 (+.f64 (.f64 -1/2 (pow.f64 re 2)) (.f64 1/24 (pow.f64 re 4))))
(+.f64 1 (+.f64 (.f64 -1/2 (pow.f64 re 2)) (+.f64 (.f64 -1/720 (pow.f64 re 6)) (*.f64 1/24 (pow.f64 re 4)))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (+.f64 (.f64 1/48 (.f64 (pow.f64 re 4) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (+.f64 (.f64 -1/1440 (.f64 (pow.f64 re 6) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (+.f64 (.f64 1/48 (.f64 (pow.f64 re 4) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(cos.f64 re)
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(+.f64 (cos.f64 re) (+.f64 (.f64 1/24 (.f64 (pow.f64 im 4) (cos.f64 re))) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re)))))
(+.f64 (cos.f64 re) (+.f64 (.f64 1/720 (.f64 (pow.f64 im 6) (cos.f64 re))) (+.f64 (.f64 1/24 (.f64 (pow.f64 im 4) (cos.f64 re))) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
2
(+.f64 2 (pow.f64 im 2))
(+.f64 2 (+.f64 (*.f64 1/12 (pow.f64 im 4)) (pow.f64 im 2)))
(+.f64 2 (+.f64 (.f64 1/360 (pow.f64 im 6)) (+.f64 (.f64 1/12 (pow.f64 im 4)) (pow.f64 im 2))))
(+.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 -2 (.f64 -2 (cos.f64 (.f64 -2 re))))
(-.f64 (exp.f64 (log1p.f64 (cos.f64 re))) 1)
(*.f64 (cos.f64 re) (cos.f64 re))
(*.f64 (cos.f64 re) 1)
(*.f64 1 (cos.f64 re))
(/.f64 (+.f64 (cos.f64 (+.f64 re re)) (cos.f64 (-.f64 re re))) -2)
(pow.f64 (cos.f64 re) -2)
(pow.f64 (cos.f64 re) 1)
(pow.f64 (cos.f64 re) 1/3)
(sqrt.f64 (cos.f64 re))
(fabs.f64 (cos.f64 re))
(log.f64 (exp.f64 (cos.f64 re)))
(log.f64 (+.f64 1 (expm1.f64 (cos.f64 re))))
(cbrt.f64 (cos.f64 re))
(expm1.f64 (log1p.f64 (cos.f64 re)))
(exp.f64 (log.f64 (cos.f64 re)))
(exp.f64 (*.f64 (log.f64 (cos.f64 re)) 1))
(log1p.f64 (expm1.f64 (cos.f64 re)))
(+.f64 (cos.f64 re) (cos.f64 re))
(+.f64 (.f64 (cos.f64 re) -2) (.f64 (cos.f64 re) -2))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (cos.f64 re) -2))) 1)
(/.f64 (*.f64 (cos.f64 re) -2) -2)
(/.f64 (*.f64 (cos.f64 re) -2) 1)
(/.f64 (.f64 (cos.f64 re) -2) (+.f64 (.f64 (cos.f64 re) -2) (-.f64 (.f64 (cos.f64 re) -2) (.f64 (cos.f64 re) -2))))
(/.f64 (-.f64 (.f64 (cos.f64 re) -2) (.f64 (cos.f64 re) -2)) (-.f64 (.f64 (cos.f64 re) -2) (.f64 (cos.f64 re) -2)))
(pow.f64 (*.f64 (cos.f64 re) -2) -2)
(pow.f64 (*.f64 (cos.f64 re) -2) 1)
(pow.f64 (*.f64 (cos.f64 re) -2) 1/3)
(sqrt.f64 (*.f64 (cos.f64 re) -2))
(fabs.f64 (*.f64 (cos.f64 re) -2))
(log.f64 (pow.f64 1 (cos.f64 re)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (cos.f64 re) -2))))
(cbrt.f64 (*.f64 (cos.f64 re) -2))
(expm1.f64 (log1p.f64 (*.f64 (cos.f64 re) -2)))
(exp.f64 (log.f64 (*.f64 (cos.f64 re) -2)))
(exp.f64 (.f64 (log.f64 (.f64 (cos.f64 re) -2)) 1))
(exp.f64 (+.f64 (log.f64 (*.f64 (cos.f64 re) -2)) -2))
(log1p.f64 (expm1.f64 (*.f64 (cos.f64 re) -2)))
(fma.f64 1 (.f64 (cos.f64 re) -2) (.f64 (cos.f64 re) -2))
(fma.f64 (.f64 (cos.f64 re) -2) 1 (.f64 (cos.f64 re) -2))
-2
0
1/4
1/2
3/2
2

Outputs
1
(+.f64 1 (*.f64 -1/2 (pow.f64 re 2)))
(+.f64 1 (+.f64 (.f64 -1/2 (pow.f64 re 2)) (.f64 1/24 (pow.f64 re 4))))
(+.f64 1 (fma.f64 -1/2 (pow.f64 re 2) (*.f64 1/24 (pow.f64 re 4))))
(+.f64 1 (+.f64 (.f64 -1/2 (pow.f64 re 2)) (+.f64 (.f64 -1/720 (pow.f64 re 6)) (*.f64 1/24 (pow.f64 re 4)))))
(+.f64 1 (fma.f64 -1/2 (pow.f64 re 2) (fma.f64 -1/720 (pow.f64 re 6) (*.f64 1/24 (pow.f64 re 4)))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(fma.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (+.f64 (.f64 1/48 (.f64 (pow.f64 re 4) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))
(fma.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (fma.f64 1/48 (.f64 (pow.f64 re 4) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (+.f64 (.f64 -1/1440 (.f64 (pow.f64 re 6) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (+.f64 (.f64 1/48 (.f64 (pow.f64 re 4) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))))
(fma.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (fma.f64 -1/1440 (.f64 (pow.f64 re 6) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (fma.f64 1/48 (.f64 (pow.f64 re 4) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(cos.f64 re)
1
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))))
(+.f64 (cos.f64 re) (+.f64 (.f64 1/24 (.f64 (pow.f64 im 4) (cos.f64 re))) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re)))))
(+.f64 (cos.f64 re) (fma.f64 1/24 (.f64 (cos.f64 re) (pow.f64 im 4)) (.f64 1/2 (*.f64 (cos.f64 re) (pow.f64 im 2)))))
(+.f64 (cos.f64 re) (+.f64 (.f64 1/720 (.f64 (pow.f64 im 6) (cos.f64 re))) (+.f64 (.f64 1/24 (.f64 (pow.f64 im 4) (cos.f64 re))) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))))
(+.f64 (cos.f64 re) (fma.f64 1/720 (.f64 (cos.f64 re) (pow.f64 im 6)) (fma.f64 1/24 (.f64 (cos.f64 re) (pow.f64 im 4)) (.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2))))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
2
1
(+.f64 2 (pow.f64 im 2))
(+.f64 2 (+.f64 (*.f64 1/12 (pow.f64 im 4)) (pow.f64 im 2)))
(+.f64 2 (fma.f64 1/12 (pow.f64 im 4) (pow.f64 im 2)))
(+.f64 2 (+.f64 (.f64 1/360 (pow.f64 im 6)) (+.f64 (.f64 1/12 (pow.f64 im 4)) (pow.f64 im 2))))
(+.f64 2 (fma.f64 1/360 (pow.f64 im 6) (fma.f64 1/12 (pow.f64 im 4) (pow.f64 im 2))))
(+.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 -2 (.f64 -2 (cos.f64 (.f64 -2 re))))
(+.f64 -2 (.f64 -2 (cos.f64 (.f64 re -2))))
(-.f64 (exp.f64 (log1p.f64 (cos.f64 re))) 1)
1
(*.f64 (cos.f64 re) (cos.f64 re))
1
(*.f64 (cos.f64 re) 1)
1
(*.f64 1 (cos.f64 re))
1
(/.f64 (+.f64 (cos.f64 (+.f64 re re)) (cos.f64 (-.f64 re re))) -2)
(/.f64 (+.f64 (cos.f64 (*.f64 2 re)) (cos.f64 0)) -2)
(pow.f64 (cos.f64 re) -2)
1
(pow.f64 (cos.f64 re) 1)
1
(pow.f64 (cos.f64 re) 1/3)
1
(sqrt.f64 (cos.f64 re))
1
(fabs.f64 (cos.f64 re))
1
(log.f64 (exp.f64 (cos.f64 re)))
1
(log.f64 (+.f64 1 (expm1.f64 (cos.f64 re))))
1
(cbrt.f64 (cos.f64 re))
1
(expm1.f64 (log1p.f64 (cos.f64 re)))
1
(exp.f64 (log.f64 (cos.f64 re)))
1
(exp.f64 (*.f64 (log.f64 (cos.f64 re)) 1))
1
(log1p.f64 (expm1.f64 (cos.f64 re)))
1
(+.f64 (cos.f64 re) (cos.f64 re))
1
(+.f64 (.f64 (cos.f64 re) -2) (.f64 (cos.f64 re) -2))
1
(-.f64 (exp.f64 (log1p.f64 (*.f64 (cos.f64 re) -2))) 1)
1
(/.f64 (*.f64 (cos.f64 re) -2) -2)
1
(/.f64 (*.f64 (cos.f64 re) -2) 1)
1
(/.f64 (.f64 (cos.f64 re) -2) (+.f64 (.f64 (cos.f64 re) -2) (-.f64 (.f64 (cos.f64 re) -2) (.f64 (cos.f64 re) -2))))
1
(/.f64 (-.f64 (.f64 (cos.f64 re) -2) (.f64 (cos.f64 re) -2)) (-.f64 (.f64 (cos.f64 re) -2) (.f64 (cos.f64 re) -2)))
1
(pow.f64 (*.f64 (cos.f64 re) -2) -2)
1
(pow.f64 (*.f64 (cos.f64 re) -2) 1)
1
(pow.f64 (*.f64 (cos.f64 re) -2) 1/3)
1
(sqrt.f64 (*.f64 (cos.f64 re) -2))
1
(fabs.f64 (*.f64 (cos.f64 re) -2))
1
(log.f64 (pow.f64 1 (cos.f64 re)))
1
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (cos.f64 re) -2))))
1
(cbrt.f64 (*.f64 (cos.f64 re) -2))
1
(expm1.f64 (log1p.f64 (*.f64 (cos.f64 re) -2)))
1
(exp.f64 (log.f64 (*.f64 (cos.f64 re) -2)))
1
(exp.f64 (.f64 (log.f64 (.f64 (cos.f64 re) -2)) 1))
1
(exp.f64 (+.f64 (log.f64 (*.f64 (cos.f64 re) -2)) -2))
1
(log1p.f64 (expm1.f64 (*.f64 (cos.f64 re) -2)))
1
(fma.f64 1 (.f64 (cos.f64 re) -2) (.f64 (cos.f64 re) -2))
1
(fma.f64 (.f64 (cos.f64 re) -2) 1 (.f64 (cos.f64 re) -2))
1
-2
1
0
1
1/4
1
1/2
1
3/2
2
1

eval132.0ms (2.1%)

Compiler: Compiled 1071 to 567 computations (47.1% saved)

prune21.0ms (0.3%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	71	6	77
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	71	7	78

Accuracy

100.0%

Counts

78 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	8.8%	(pow.f64 (*.f64 (cos.f64 re) -2) -2)
▶	11.8%	(+.f64 (cos.f64 re) (cos.f64 re))
▶	99.8%	(.f64 (.f64 1/2 (log.f64 (exp.f64 (cos.f64 re)))) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
✓	100.0%	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
	81.2%	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (pow.f64 im 2)))
▶	66.6%	(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
▶	56.2%	(cos.f64 re)
▶	8.8%	(pow.f64 (*.f64 (cos.f64 re) -2) -2)
▶	11.8%	(+.f64 (cos.f64 re) (cos.f64 re))
▶	99.8%	(.f64 (.f64 1/2 (log.f64 (exp.f64 (cos.f64 re)))) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
✓	100.0%	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
	81.2%	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (pow.f64 im 2)))
▶	66.6%	(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
▶	56.2%	(cos.f64 re)

Compiler

Compiled 250 to 196 computations (21.6% saved)

localize185.0ms (3%)

Localize:

Found 9 expressions with local error:

New	Accuracy	Program
✓	100.0%	(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
	100.0%	(cos.f64 re)
✓	99.7%	(pow.f64 (*.f64 (cos.f64 re) -2) -2)
	100.0%	(cos.f64 re)
	100.0%	(cos.f64 re)
✓	100.0%	(.f64 (.f64 1/2 (log.f64 (exp.f64 (cos.f64 re)))) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
	100.0%	(cos.f64 re)
✓	99.9%	(exp.f64 (cos.f64 re))
✓	99.6%	(log.f64 (exp.f64 (cos.f64 re)))

Compiler

Compiled 95 to 28 computations (70.5% saved)

Precisions

Click to see histograms

Operation ival-pow, total time spent: 6.0ms

Operation ival-neg, total time spent: 52.0ms

Operation ival-mult, total time spent: 16.0ms

Operation ival-log, total time spent: 7.0ms

Operation ival-exp, total time spent: 8.0ms

Operation ival-cos, total time spent: 7.0ms

Operation ival-add, total time spent: 4.0ms

Operation const, total time spent: 2.0ms

series6.0ms (0.1%)

Counts

5 → 60

Calls

18 calls:

Time	Variable		Point	Expression
2.0ms	re	@	-inf	(pow.f64 (*.f64 (cos.f64 re) -2) -2)
1.0ms	re	@	inf	(pow.f64 (*.f64 (cos.f64 re) -2) -2)
0.0ms	re	@	0	(exp.f64 (cos.f64 re))
0.0ms	re	@	0	(pow.f64 (*.f64 (cos.f64 re) -2) -2)
0.0ms	re	@	0	(.f64 (.f64 1/2 (log.f64 (exp.f64 (cos.f64 re)))) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

rewrite42.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

266×	`associate-r`
170×	`associate-l`
127×	`add-exp-log`
127×	`add-log-exp`
127×	`log1p-expm1-u`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	50
1	313	50
2	4696	50

Stop Event

1×

unsound

Counts

5 → 93

Calls

Call 1

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

Outputs
(+.f64 -4 (cos.f64 re))
(+.f64 (cos.f64 re) (cos.f64 re))
(-.f64 (cos.f64 re) -4)
(*.f64 -4 (cos.f64 re))
(*.f64 (cos.f64 re) -4)
(*.f64 (cos.f64 re) (cos.f64 re))
(/.f64 -4 (cos.f64 re))
(/.f64 (cos.f64 re) -4)
(/.f64 (cos.f64 re) (+.f64 (cos.f64 re) (-.f64 (cos.f64 re) (cos.f64 re))))
(/.f64 (+.f64 (cos.f64 (+.f64 re re)) (cos.f64 (-.f64 re re))) -4)
(/.f64 (-.f64 (cos.f64 re) (cos.f64 re)) (-.f64 (cos.f64 re) (cos.f64 re)))
(pow.f64 (cos.f64 re) -4)
(pow.f64 (cos.f64 re) 1/3)
(sqrt.f64 (cos.f64 re))
(fabs.f64 (cos.f64 re))
(cbrt.f64 (cos.f64 re))
(cos.f64 re)
(expm1.f64 (log.f64 (cos.f64 re)))
(exp.f64 (log.f64 (cos.f64 re)))
(log1p.f64 (expm1.f64 (cos.f64 re)))
(fma.f64 -4 (cos.f64 re) (cos.f64 re))
(fma.f64 (cos.f64 re) -4 (cos.f64 re))
(-.f64 (exp.f64 (log1p.f64 (exp.f64 (cos.f64 re)))) -4)
(*.f64 (exp.f64 (cos.f64 re)) (exp.f64 (cos.f64 re)))
(*.f64 (exp.f64 (cos.f64 re)) -4)
(*.f64 -4 (exp.f64 (cos.f64 re)))
(pow.f64 (exp.f64 (cos.f64 re)) -4)
(pow.f64 (exp.f64 (cos.f64 re)) (cos.f64 re))
(pow.f64 (exp.f64 (cos.f64 re)) 1/3)
(pow.f64 -4 (cos.f64 re))
(sqrt.f64 (exp.f64 (cos.f64 re)))
(fabs.f64 (exp.f64 (cos.f64 re)))
(log.f64 (exp.f64 (exp.f64 (cos.f64 re))))
(log.f64 (+.f64 -4 (expm1.f64 (exp.f64 (cos.f64 re)))))
(cbrt.f64 (exp.f64 (cos.f64 re)))
(expm1.f64 (log1p.f64 (exp.f64 (cos.f64 re))))
(log1p.f64 (expm1.f64 (exp.f64 (cos.f64 re))))
(+.f64 -4 (cos.f64 re))
(+.f64 (cos.f64 re) (cos.f64 re))
(-.f64 (cos.f64 re) -4)
(/.f64 -4 (cos.f64 re))
(/.f64 (cos.f64 re) -4)
(/.f64 (cos.f64 re) (+.f64 (cos.f64 re) (-.f64 (cos.f64 re) (cos.f64 re))))
(/.f64 (+.f64 (cos.f64 (+.f64 re re)) (cos.f64 (-.f64 re re))) -4)
(/.f64 (-.f64 (cos.f64 re) (cos.f64 re)) (-.f64 (cos.f64 re) (cos.f64 re)))
(pow.f64 (cos.f64 re) -4)
(pow.f64 (cos.f64 re) 1/3)
(sqrt.f64 (cos.f64 re))
(fabs.f64 (cos.f64 re))
(log.f64 (exp.f64 (cos.f64 re)))
(log.f64 (+.f64 -4 (expm1.f64 (cos.f64 re))))
(cbrt.f64 (cos.f64 re))
(cos.f64 re)
(expm1.f64 (log.f64 (cos.f64 re)))
(exp.f64 (log.f64 (cos.f64 re)))
(log1p.f64 (expm1.f64 (cos.f64 re)))
(fma.f64 -4 (cos.f64 re) (cos.f64 re))
(fma.f64 (cos.f64 re) -4 (cos.f64 re))
(+.f64 -4 (cos.f64 re))
(+.f64 (cos.f64 re) (cos.f64 re))
(-.f64 (cos.f64 re) -4)
(*.f64 -4 (cos.f64 re))
(*.f64 (cos.f64 re) -4)
(*.f64 (cos.f64 re) (cos.f64 re))
(/.f64 -4 (cos.f64 re))
(/.f64 (cos.f64 re) -4)
(/.f64 (cos.f64 re) (+.f64 (cos.f64 re) (-.f64 (cos.f64 re) (cos.f64 re))))
(/.f64 (+.f64 (cos.f64 (+.f64 re re)) (cos.f64 (-.f64 re re))) -4)
(/.f64 (-.f64 (cos.f64 re) (cos.f64 re)) (-.f64 (cos.f64 re) (cos.f64 re)))
(sqrt.f64 (cos.f64 re))
(fabs.f64 (cos.f64 re))
(log.f64 (exp.f64 (cos.f64 re)))
(log.f64 (+.f64 -4 (expm1.f64 (cos.f64 re))))
(cbrt.f64 (cos.f64 re))
(cos.f64 re)
(expm1.f64 (log.f64 (cos.f64 re)))
(exp.f64 (log.f64 (cos.f64 re)))
(log1p.f64 (expm1.f64 (cos.f64 re)))
(fma.f64 -4 (cos.f64 re) (cos.f64 re))
(fma.f64 (cos.f64 re) -4 (cos.f64 re))
-4
-2
-1
-1/2
0
1/16
1/4
1/2
1
3/2
2
3
4

simplify90.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

1334×	`fma-def`
1306×	`distribute-lft-in`
1092×	`distribute-rgt-in`
776×	`distribute-lft-out`
682×	`associate-r`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	169	3300
1	402	3047
2	1072	2918
3	4336	2905

Stop Event

1×	node limit

Counts

153 → 146

Calls

Call 1

Inputs
1
(+.f64 1 (*.f64 -1/2 (pow.f64 re 2)))
(+.f64 1 (+.f64 (.f64 -1/2 (pow.f64 re 2)) (.f64 1/24 (pow.f64 re 4))))
(+.f64 1 (+.f64 (.f64 -1/2 (pow.f64 re 2)) (+.f64 (.f64 -1/720 (pow.f64 re 6)) (*.f64 1/24 (pow.f64 re 4)))))
(cos.f64 re)
(cos.f64 re)
(cos.f64 re)
(cos.f64 re)
(cos.f64 re)
(cos.f64 re)
(cos.f64 re)
(cos.f64 re)
(exp.f64 1)
(+.f64 (exp.f64 1) (.f64 -1/2 (.f64 (pow.f64 re 2) (exp.f64 1))))
(+.f64 (exp.f64 1) (+.f64 (.f64 -1/2 (.f64 (pow.f64 re 2) (exp.f64 1))) (.f64 1/6 (.f64 (pow.f64 re 4) (exp.f64 1)))))
(+.f64 (exp.f64 1) (+.f64 (.f64 -1/2 (.f64 (pow.f64 re 2) (exp.f64 1))) (+.f64 (.f64 -31/720 (.f64 (pow.f64 re 6) (exp.f64 1))) (.f64 1/6 (.f64 (pow.f64 re 4) (exp.f64 1))))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (+.f64 (.f64 1/48 (.f64 (pow.f64 re 4) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (+.f64 (.f64 -1/1440 (.f64 (pow.f64 re 6) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (+.f64 (.f64 1/48 (.f64 (pow.f64 re 4) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(cos.f64 re)
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(+.f64 (cos.f64 re) (+.f64 (.f64 1/24 (.f64 (pow.f64 im 4) (cos.f64 re))) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re)))))
(+.f64 (cos.f64 re) (+.f64 (.f64 1/720 (.f64 (pow.f64 im 6) (cos.f64 re))) (+.f64 (.f64 1/24 (.f64 (pow.f64 im 4) (cos.f64 re))) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
1/4
(+.f64 1/4 (*.f64 1/4 (pow.f64 re 2)))
(+.f64 1/4 (+.f64 (.f64 1/6 (pow.f64 re 4)) (.f64 1/4 (pow.f64 re 2))))
(+.f64 1/4 (+.f64 (.f64 17/180 (pow.f64 re 6)) (+.f64 (.f64 1/6 (pow.f64 re 4)) (*.f64 1/4 (pow.f64 re 2)))))
(/.f64 1/4 (pow.f64 (cos.f64 re) 2))
(/.f64 1/4 (pow.f64 (cos.f64 re) 2))
(/.f64 1/4 (pow.f64 (cos.f64 re) 2))
(/.f64 1/4 (pow.f64 (cos.f64 re) 2))
(/.f64 1/4 (pow.f64 (cos.f64 re) 2))
(/.f64 1/4 (pow.f64 (cos.f64 re) 2))
(/.f64 1/4 (pow.f64 (cos.f64 re) 2))
(/.f64 1/4 (pow.f64 (cos.f64 re) 2))
2
(+.f64 2 (pow.f64 im 2))
(+.f64 2 (+.f64 (*.f64 1/12 (pow.f64 im 4)) (pow.f64 im 2)))
(+.f64 2 (+.f64 (.f64 1/360 (pow.f64 im 6)) (+.f64 (.f64 1/12 (pow.f64 im 4)) (pow.f64 im 2))))
(+.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 -4 (cos.f64 re))
(+.f64 (cos.f64 re) (cos.f64 re))
(-.f64 (cos.f64 re) -4)
(*.f64 -4 (cos.f64 re))
(*.f64 (cos.f64 re) -4)
(*.f64 (cos.f64 re) (cos.f64 re))
(/.f64 -4 (cos.f64 re))
(/.f64 (cos.f64 re) -4)
(/.f64 (cos.f64 re) (+.f64 (cos.f64 re) (-.f64 (cos.f64 re) (cos.f64 re))))
(/.f64 (+.f64 (cos.f64 (+.f64 re re)) (cos.f64 (-.f64 re re))) -4)
(/.f64 (-.f64 (cos.f64 re) (cos.f64 re)) (-.f64 (cos.f64 re) (cos.f64 re)))
(pow.f64 (cos.f64 re) -4)
(pow.f64 (cos.f64 re) 1/3)
(sqrt.f64 (cos.f64 re))
(fabs.f64 (cos.f64 re))
(cbrt.f64 (cos.f64 re))
(cos.f64 re)
(expm1.f64 (log.f64 (cos.f64 re)))
(exp.f64 (log.f64 (cos.f64 re)))
(log1p.f64 (expm1.f64 (cos.f64 re)))
(fma.f64 -4 (cos.f64 re) (cos.f64 re))
(fma.f64 (cos.f64 re) -4 (cos.f64 re))
(-.f64 (exp.f64 (log1p.f64 (exp.f64 (cos.f64 re)))) -4)
(*.f64 (exp.f64 (cos.f64 re)) (exp.f64 (cos.f64 re)))
(*.f64 (exp.f64 (cos.f64 re)) -4)
(*.f64 -4 (exp.f64 (cos.f64 re)))
(pow.f64 (exp.f64 (cos.f64 re)) -4)
(pow.f64 (exp.f64 (cos.f64 re)) (cos.f64 re))
(pow.f64 (exp.f64 (cos.f64 re)) 1/3)
(pow.f64 -4 (cos.f64 re))
(sqrt.f64 (exp.f64 (cos.f64 re)))
(fabs.f64 (exp.f64 (cos.f64 re)))
(log.f64 (exp.f64 (exp.f64 (cos.f64 re))))
(log.f64 (+.f64 -4 (expm1.f64 (exp.f64 (cos.f64 re)))))
(cbrt.f64 (exp.f64 (cos.f64 re)))
(expm1.f64 (log1p.f64 (exp.f64 (cos.f64 re))))
(log1p.f64 (expm1.f64 (exp.f64 (cos.f64 re))))
(+.f64 -4 (cos.f64 re))
(+.f64 (cos.f64 re) (cos.f64 re))
(-.f64 (cos.f64 re) -4)
(/.f64 -4 (cos.f64 re))
(/.f64 (cos.f64 re) -4)
(/.f64 (cos.f64 re) (+.f64 (cos.f64 re) (-.f64 (cos.f64 re) (cos.f64 re))))
(/.f64 (+.f64 (cos.f64 (+.f64 re re)) (cos.f64 (-.f64 re re))) -4)
(/.f64 (-.f64 (cos.f64 re) (cos.f64 re)) (-.f64 (cos.f64 re) (cos.f64 re)))
(pow.f64 (cos.f64 re) -4)
(pow.f64 (cos.f64 re) 1/3)
(sqrt.f64 (cos.f64 re))
(fabs.f64 (cos.f64 re))
(log.f64 (exp.f64 (cos.f64 re)))
(log.f64 (+.f64 -4 (expm1.f64 (cos.f64 re))))
(cbrt.f64 (cos.f64 re))
(cos.f64 re)
(expm1.f64 (log.f64 (cos.f64 re)))
(exp.f64 (log.f64 (cos.f64 re)))
(log1p.f64 (expm1.f64 (cos.f64 re)))
(fma.f64 -4 (cos.f64 re) (cos.f64 re))
(fma.f64 (cos.f64 re) -4 (cos.f64 re))
(+.f64 -4 (cos.f64 re))
(+.f64 (cos.f64 re) (cos.f64 re))
(-.f64 (cos.f64 re) -4)
(*.f64 -4 (cos.f64 re))
(*.f64 (cos.f64 re) -4)
(*.f64 (cos.f64 re) (cos.f64 re))
(/.f64 -4 (cos.f64 re))
(/.f64 (cos.f64 re) -4)
(/.f64 (cos.f64 re) (+.f64 (cos.f64 re) (-.f64 (cos.f64 re) (cos.f64 re))))
(/.f64 (+.f64 (cos.f64 (+.f64 re re)) (cos.f64 (-.f64 re re))) -4)
(/.f64 (-.f64 (cos.f64 re) (cos.f64 re)) (-.f64 (cos.f64 re) (cos.f64 re)))
(sqrt.f64 (cos.f64 re))
(fabs.f64 (cos.f64 re))
(log.f64 (exp.f64 (cos.f64 re)))
(log.f64 (+.f64 -4 (expm1.f64 (cos.f64 re))))
(cbrt.f64 (cos.f64 re))
(cos.f64 re)
(expm1.f64 (log.f64 (cos.f64 re)))
(exp.f64 (log.f64 (cos.f64 re)))
(log1p.f64 (expm1.f64 (cos.f64 re)))
(fma.f64 -4 (cos.f64 re) (cos.f64 re))
(fma.f64 (cos.f64 re) -4 (cos.f64 re))
-4
-2
-1
-1/2
0
1/16
1/4
1/2
1
3/2
2
3
4

Outputs
1
(+.f64 1 (*.f64 -1/2 (pow.f64 re 2)))
(fma.f64 -1/2 (pow.f64 re 2) 1)
(+.f64 1 (+.f64 (.f64 -1/2 (pow.f64 re 2)) (.f64 1/24 (pow.f64 re 4))))
(+.f64 1 (fma.f64 -1/2 (pow.f64 re 2) (*.f64 1/24 (pow.f64 re 4))))
(fma.f64 -1/2 (pow.f64 re 2) (fma.f64 1/24 (pow.f64 re 4) 1))
(+.f64 1 (+.f64 (.f64 -1/2 (pow.f64 re 2)) (+.f64 (.f64 -1/720 (pow.f64 re 6)) (*.f64 1/24 (pow.f64 re 4)))))
(+.f64 1 (fma.f64 -1/2 (pow.f64 re 2) (fma.f64 -1/720 (pow.f64 re 6) (*.f64 1/24 (pow.f64 re 4)))))
(+.f64 1 (fma.f64 -1/2 (pow.f64 re 2) (fma.f64 1/24 (pow.f64 re 4) (*.f64 -1/720 (pow.f64 re 6)))))
(+.f64 (fma.f64 -1/2 (pow.f64 re 2) 1) (fma.f64 1/24 (pow.f64 re 4) (*.f64 -1/720 (pow.f64 re 6))))
(cos.f64 re)
(cos.f64 re)
(cos.f64 re)
(cos.f64 re)
(cos.f64 re)
(cos.f64 re)
(cos.f64 re)
(cos.f64 re)
(exp.f64 1)
(E.f64)
(+.f64 (exp.f64 1) (.f64 -1/2 (.f64 (pow.f64 re 2) (exp.f64 1))))
(+.f64 (E.f64) (.f64 -1/2 (.f64 (pow.f64 re 2) (E.f64))))
(*.f64 (fma.f64 -1/2 (pow.f64 re 2) 1) (E.f64))
(+.f64 (exp.f64 1) (+.f64 (.f64 -1/2 (.f64 (pow.f64 re 2) (exp.f64 1))) (.f64 1/6 (.f64 (pow.f64 re 4) (exp.f64 1)))))
(+.f64 (E.f64) (fma.f64 -1/2 (.f64 (pow.f64 re 2) (E.f64)) (.f64 1/6 (*.f64 (pow.f64 re 4) (E.f64)))))
(+.f64 (E.f64) (.f64 (E.f64) (+.f64 (.f64 -1/2 (pow.f64 re 2)) (*.f64 (pow.f64 re 4) 1/6))))
(fma.f64 (E.f64) (fma.f64 -1/2 (pow.f64 re 2) (*.f64 (pow.f64 re 4) 1/6)) (E.f64))
(+.f64 (exp.f64 1) (+.f64 (.f64 -1/2 (.f64 (pow.f64 re 2) (exp.f64 1))) (+.f64 (.f64 -31/720 (.f64 (pow.f64 re 6) (exp.f64 1))) (.f64 1/6 (.f64 (pow.f64 re 4) (exp.f64 1))))))
(+.f64 (E.f64) (fma.f64 -1/2 (.f64 (pow.f64 re 2) (E.f64)) (fma.f64 -31/720 (.f64 (pow.f64 re 6) (E.f64)) (.f64 1/6 (.f64 (pow.f64 re 4) (E.f64))))))
(+.f64 (.f64 (fma.f64 -1/2 (pow.f64 re 2) 1) (E.f64)) (.f64 (E.f64) (+.f64 (.f64 (pow.f64 re 4) 1/6) (.f64 (pow.f64 re 6) -31/720))))
(fma.f64 (E.f64) (fma.f64 (pow.f64 re 4) 1/6 (.f64 (pow.f64 re 6) -31/720)) (.f64 (fma.f64 -1/2 (pow.f64 re 2) 1) (E.f64)))
(.f64 (E.f64) (+.f64 (fma.f64 -1/2 (pow.f64 re 2) 1) (fma.f64 (pow.f64 re 4) 1/6 (.f64 (pow.f64 re 6) -31/720))))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(fma.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 1/2 (.f64 (pow.f64 re 2) -1/4)))
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (fma.f64 (pow.f64 re 2) -1/4 1/2))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (+.f64 (.f64 1/48 (.f64 (pow.f64 re 4) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))
(fma.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (fma.f64 1/48 (.f64 (pow.f64 re 4) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))
(fma.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 1/2 (*.f64 (pow.f64 re 4) 1/48))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 1/2 (fma.f64 (pow.f64 re 2) -1/4 (.f64 (pow.f64 re 4) 1/48))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 (.f64 (pow.f64 re 2) -1/4) (fma.f64 (pow.f64 re 4) 1/48 1/2)))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (+.f64 (.f64 -1/1440 (.f64 (pow.f64 re 6) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (+.f64 (.f64 1/48 (.f64 (pow.f64 re 4) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))) (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))))
(fma.f64 -1/4 (.f64 (pow.f64 re 2) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (fma.f64 -1/1440 (.f64 (pow.f64 re 6) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (fma.f64 1/48 (.f64 (pow.f64 re 4) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))))
(+.f64 (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 1/2 (.f64 (pow.f64 re 4) 1/48))) (.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 (.f64 (pow.f64 re 2) -1/4) (*.f64 (pow.f64 re 6) -1/1440))))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 (fma.f64 (pow.f64 re 2) -1/4 (.f64 (pow.f64 re 6) -1/1440)) (fma.f64 (pow.f64 re 4) 1/48 1/2)))
(.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 (fma.f64 (pow.f64 re 4) 1/48 1/2) (fma.f64 (pow.f64 re 2) -1/4 (.f64 (pow.f64 re 6) -1/1440))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(cos.f64 re)
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(+.f64 (cos.f64 re) (.f64 (.f64 1/2 (pow.f64 im 2)) (cos.f64 re)))
(.f64 (+.f64 (.f64 1/2 (pow.f64 im 2)) 1) (cos.f64 re))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(+.f64 (cos.f64 re) (+.f64 (.f64 1/24 (.f64 (pow.f64 im 4) (cos.f64 re))) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re)))))
(+.f64 (cos.f64 re) (fma.f64 1/24 (.f64 (cos.f64 re) (pow.f64 im 4)) (.f64 (*.f64 1/2 (pow.f64 im 2)) (cos.f64 re))))
(+.f64 (cos.f64 re) (.f64 (cos.f64 re) (+.f64 (.f64 1/2 (pow.f64 im 2)) (*.f64 1/24 (pow.f64 im 4)))))
(.f64 (cos.f64 re) (+.f64 (.f64 1/2 (pow.f64 im 2)) (fma.f64 1/24 (pow.f64 im 4) 1)))
(+.f64 (cos.f64 re) (+.f64 (.f64 1/720 (.f64 (pow.f64 im 6) (cos.f64 re))) (+.f64 (.f64 1/24 (.f64 (pow.f64 im 4) (cos.f64 re))) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))))
(+.f64 (cos.f64 re) (fma.f64 1/720 (.f64 (cos.f64 re) (pow.f64 im 6)) (fma.f64 1/24 (.f64 (cos.f64 re) (pow.f64 im 4)) (.f64 (.f64 1/2 (pow.f64 im 2)) (cos.f64 re)))))
(+.f64 (.f64 (cos.f64 re) (+.f64 (.f64 1/2 (pow.f64 im 2)) (.f64 1/24 (pow.f64 im 4)))) (.f64 (+.f64 (*.f64 1/720 (pow.f64 im 6)) 1) (cos.f64 re)))
(fma.f64 (cos.f64 re) (fma.f64 1/24 (pow.f64 im 4) (.f64 1/2 (pow.f64 im 2))) (.f64 (cos.f64 re) (fma.f64 1/720 (pow.f64 im 6) 1)))
(.f64 (cos.f64 re) (+.f64 (fma.f64 1/24 (pow.f64 im 4) (.f64 1/2 (pow.f64 im 2))) (fma.f64 1/720 (pow.f64 im 6) 1)))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (*.f64 -1 im)))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
1/4
(+.f64 1/4 (*.f64 1/4 (pow.f64 re 2)))
(+.f64 1/4 (*.f64 (pow.f64 re 2) 1/4))
(fma.f64 (pow.f64 re 2) 1/4 1/4)
(+.f64 1/4 (+.f64 (.f64 1/6 (pow.f64 re 4)) (.f64 1/4 (pow.f64 re 2))))
(+.f64 1/4 (fma.f64 1/6 (pow.f64 re 4) (*.f64 (pow.f64 re 2) 1/4)))
(+.f64 1/4 (fma.f64 (pow.f64 re 2) 1/4 (*.f64 (pow.f64 re 4) 1/6)))
(fma.f64 (pow.f64 re 2) 1/4 (fma.f64 (pow.f64 re 4) 1/6 1/4))
(+.f64 1/4 (+.f64 (.f64 17/180 (pow.f64 re 6)) (+.f64 (.f64 1/6 (pow.f64 re 4)) (*.f64 1/4 (pow.f64 re 2)))))
(+.f64 1/4 (fma.f64 17/180 (pow.f64 re 6) (fma.f64 1/6 (pow.f64 re 4) (*.f64 (pow.f64 re 2) 1/4))))
(+.f64 (fma.f64 (pow.f64 re 6) 17/180 (*.f64 (pow.f64 re 4) 1/6)) (fma.f64 (pow.f64 re 2) 1/4 1/4))
(fma.f64 (pow.f64 re 6) 17/180 (fma.f64 (pow.f64 re 2) 1/4 (fma.f64 (pow.f64 re 4) 1/6 1/4)))
(/.f64 1/4 (pow.f64 (cos.f64 re) 2))
(/.f64 1/4 (pow.f64 (cos.f64 re) 2))
(/.f64 1/4 (pow.f64 (cos.f64 re) 2))
(/.f64 1/4 (pow.f64 (cos.f64 re) 2))
(/.f64 1/4 (pow.f64 (cos.f64 re) 2))
(/.f64 1/4 (pow.f64 (cos.f64 re) 2))
(/.f64 1/4 (pow.f64 (cos.f64 re) 2))
(/.f64 1/4 (pow.f64 (cos.f64 re) 2))
2
(+.f64 2 (pow.f64 im 2))
(fma.f64 im im 2)
(+.f64 2 (+.f64 (*.f64 1/12 (pow.f64 im 4)) (pow.f64 im 2)))
(+.f64 2 (fma.f64 1/12 (pow.f64 im 4) (pow.f64 im 2)))
(+.f64 2 (fma.f64 (pow.f64 im 4) 1/12 (pow.f64 im 2)))
(fma.f64 im im (fma.f64 (pow.f64 im 4) 1/12 2))
(+.f64 2 (+.f64 (.f64 1/360 (pow.f64 im 6)) (+.f64 (.f64 1/12 (pow.f64 im 4)) (pow.f64 im 2))))
(+.f64 2 (fma.f64 1/360 (pow.f64 im 6) (fma.f64 1/12 (pow.f64 im 4) (pow.f64 im 2))))
(+.f64 2 (fma.f64 (pow.f64 im 6) 1/360 (fma.f64 (pow.f64 im 4) 1/12 (pow.f64 im 2))))
(fma.f64 (pow.f64 im 6) 1/360 (fma.f64 im im (fma.f64 (pow.f64 im 4) 1/12 2)))
(+.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 -4 (cos.f64 re))
(+.f64 (cos.f64 re) -4)
(+.f64 (cos.f64 re) (cos.f64 re))
(*.f64 2 (cos.f64 re))
(-.f64 (cos.f64 re) -4)
(+.f64 (cos.f64 re) 4)
(+.f64 4 (cos.f64 re))
(*.f64 -4 (cos.f64 re))
(*.f64 (cos.f64 re) -4)
(*.f64 (cos.f64 re) -4)
(*.f64 (cos.f64 re) (cos.f64 re))
(pow.f64 (cos.f64 re) 2)
(/.f64 -4 (cos.f64 re))
(/.f64 (cos.f64 re) -4)
(/.f64 (cos.f64 re) (+.f64 (cos.f64 re) (-.f64 (cos.f64 re) (cos.f64 re))))
1
(/.f64 (+.f64 (cos.f64 (+.f64 re re)) (cos.f64 (-.f64 re re))) -4)
(/.f64 (+.f64 (cos.f64 (*.f64 2 re)) (cos.f64 0)) -4)
(/.f64 (+.f64 1 (cos.f64 (*.f64 re 2))) -4)
(/.f64 (-.f64 (cos.f64 re) (cos.f64 re)) (-.f64 (cos.f64 re) (cos.f64 re)))
1
(pow.f64 (cos.f64 re) -4)
(pow.f64 (cos.f64 re) 1/3)
(cbrt.f64 (cos.f64 re))
(sqrt.f64 (cos.f64 re))
(fabs.f64 (cos.f64 re))
(cos.f64 re)
(cbrt.f64 (cos.f64 re))
(cos.f64 re)
(expm1.f64 (log.f64 (cos.f64 re)))
(exp.f64 (log.f64 (cos.f64 re)))
(cos.f64 re)
(log1p.f64 (expm1.f64 (cos.f64 re)))
(cos.f64 re)
(fma.f64 -4 (cos.f64 re) (cos.f64 re))
(fma.f64 (cos.f64 re) -4 (cos.f64 re))
(*.f64 -3 (cos.f64 re))
(*.f64 (cos.f64 re) -3)
(fma.f64 (cos.f64 re) -4 (cos.f64 re))
(*.f64 -3 (cos.f64 re))
(*.f64 (cos.f64 re) -3)
(-.f64 (exp.f64 (log1p.f64 (exp.f64 (cos.f64 re)))) -4)
(+.f64 (exp.f64 (log1p.f64 (exp.f64 (cos.f64 re)))) 4)
(+.f64 4 (exp.f64 (log1p.f64 (exp.f64 (cos.f64 re)))))
(*.f64 (exp.f64 (cos.f64 re)) (exp.f64 (cos.f64 re)))
(exp.f64 (*.f64 2 (cos.f64 re)))
(pow.f64 (exp.f64 2) (cos.f64 re))
(pow.f64 (exp.f64 (cos.f64 re)) 2)
(*.f64 (exp.f64 (cos.f64 re)) -4)
(*.f64 -4 (exp.f64 (cos.f64 re)))
(*.f64 -4 (exp.f64 (cos.f64 re)))
(pow.f64 (exp.f64 (cos.f64 re)) -4)
(pow.f64 (exp.f64 (cos.f64 re)) (cos.f64 re))
(pow.f64 (exp.f64 (cos.f64 re)) 1/3)
(cbrt.f64 (exp.f64 (cos.f64 re)))
(pow.f64 -4 (cos.f64 re))
(sqrt.f64 (exp.f64 (cos.f64 re)))
(fabs.f64 (exp.f64 (cos.f64 re)))
(log.f64 (exp.f64 (exp.f64 (cos.f64 re))))
(exp.f64 (cos.f64 re))
(log.f64 (+.f64 -4 (expm1.f64 (exp.f64 (cos.f64 re)))))
(cbrt.f64 (exp.f64 (cos.f64 re)))
(expm1.f64 (log1p.f64 (exp.f64 (cos.f64 re))))
(exp.f64 (cos.f64 re))
(log1p.f64 (expm1.f64 (exp.f64 (cos.f64 re))))
(exp.f64 (cos.f64 re))
(+.f64 -4 (cos.f64 re))
(+.f64 (cos.f64 re) -4)
(+.f64 (cos.f64 re) (cos.f64 re))
(*.f64 2 (cos.f64 re))
(-.f64 (cos.f64 re) -4)
(+.f64 (cos.f64 re) 4)
(+.f64 4 (cos.f64 re))
(/.f64 -4 (cos.f64 re))
(/.f64 (cos.f64 re) -4)
(/.f64 (cos.f64 re) (+.f64 (cos.f64 re) (-.f64 (cos.f64 re) (cos.f64 re))))
1
(/.f64 (+.f64 (cos.f64 (+.f64 re re)) (cos.f64 (-.f64 re re))) -4)
(/.f64 (+.f64 (cos.f64 (*.f64 2 re)) (cos.f64 0)) -4)
(/.f64 (+.f64 1 (cos.f64 (*.f64 re 2))) -4)
(/.f64 (-.f64 (cos.f64 re) (cos.f64 re)) (-.f64 (cos.f64 re) (cos.f64 re)))
1
(pow.f64 (cos.f64 re) -4)
(pow.f64 (cos.f64 re) 1/3)
(cbrt.f64 (cos.f64 re))
(sqrt.f64 (cos.f64 re))
(fabs.f64 (cos.f64 re))
(cos.f64 re)
(log.f64 (exp.f64 (cos.f64 re)))
(cos.f64 re)
(log.f64 (+.f64 -4 (expm1.f64 (cos.f64 re))))
(cbrt.f64 (cos.f64 re))
(cos.f64 re)
(expm1.f64 (log.f64 (cos.f64 re)))
(exp.f64 (log.f64 (cos.f64 re)))
(cos.f64 re)
(log1p.f64 (expm1.f64 (cos.f64 re)))
(cos.f64 re)
(fma.f64 -4 (cos.f64 re) (cos.f64 re))
(fma.f64 (cos.f64 re) -4 (cos.f64 re))
(*.f64 -3 (cos.f64 re))
(*.f64 (cos.f64 re) -3)
(fma.f64 (cos.f64 re) -4 (cos.f64 re))
(*.f64 -3 (cos.f64 re))
(*.f64 (cos.f64 re) -3)
(+.f64 -4 (cos.f64 re))
(+.f64 (cos.f64 re) -4)
(+.f64 (cos.f64 re) (cos.f64 re))
(*.f64 2 (cos.f64 re))
(-.f64 (cos.f64 re) -4)
(+.f64 (cos.f64 re) 4)
(+.f64 4 (cos.f64 re))
(*.f64 -4 (cos.f64 re))
(*.f64 (cos.f64 re) -4)
(*.f64 (cos.f64 re) -4)
(*.f64 (cos.f64 re) (cos.f64 re))
(pow.f64 (cos.f64 re) 2)
(/.f64 -4 (cos.f64 re))
(/.f64 (cos.f64 re) -4)
(/.f64 (cos.f64 re) (+.f64 (cos.f64 re) (-.f64 (cos.f64 re) (cos.f64 re))))
1
(/.f64 (+.f64 (cos.f64 (+.f64 re re)) (cos.f64 (-.f64 re re))) -4)
(/.f64 (+.f64 (cos.f64 (*.f64 2 re)) (cos.f64 0)) -4)
(/.f64 (+.f64 1 (cos.f64 (*.f64 re 2))) -4)
(/.f64 (-.f64 (cos.f64 re) (cos.f64 re)) (-.f64 (cos.f64 re) (cos.f64 re)))
1
(sqrt.f64 (cos.f64 re))
(fabs.f64 (cos.f64 re))
(cos.f64 re)
(log.f64 (exp.f64 (cos.f64 re)))
(cos.f64 re)
(log.f64 (+.f64 -4 (expm1.f64 (cos.f64 re))))
(cbrt.f64 (cos.f64 re))
(cos.f64 re)
(expm1.f64 (log.f64 (cos.f64 re)))
(exp.f64 (log.f64 (cos.f64 re)))
(cos.f64 re)
(log1p.f64 (expm1.f64 (cos.f64 re)))
(cos.f64 re)
(fma.f64 -4 (cos.f64 re) (cos.f64 re))
(fma.f64 (cos.f64 re) -4 (cos.f64 re))
(*.f64 -3 (cos.f64 re))
(*.f64 (cos.f64 re) -3)
(fma.f64 (cos.f64 re) -4 (cos.f64 re))
(*.f64 -3 (cos.f64 re))
(*.f64 (cos.f64 re) -3)
-4
-2
-1
-1/2
0
1/16
1/4
1/2
1
3/2
2
3
4

eval171.0ms (2.7%)

Compiler: Compiled 7947 to 4309 computations (45.8% saved)

prune150.0ms (2.4%)

Pruning

17 alts after pruning (13 fresh and 4 done)

	Pruned	Kept	Total
New	653	13	666
Fresh	1	0	1
Picked	2	3	5
Done	0	1	1
Total	656	17	673

Accuracy

100.0%

Counts

673 → 17

Alt Table

Click to see full alt table

Status	Accuracy	Program
	38.5%	(+.f64 1 (*.f64 -1/2 (pow.f64 re 2)))
	11.0%	(+.f64 1/4 (*.f64 (pow.f64 re 2) 1/4))
▶	81.2%	(.f64 (+.f64 (.f64 1/2 (pow.f64 im 2)) 1) (cos.f64 re))
✓	99.8%	(.f64 (.f64 1/2 (log.f64 (exp.f64 (cos.f64 re)))) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
✓	100.0%	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
	52.3%	(*.f64 1/2 (fma.f64 im im 2))
✓	66.6%	(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
▶	9.2%	(*.f64 1/2 4)
	10.1%	(*.f64 1/2 3/2)
▶	7.9%	(*.f64 1/2 1/16)
	3.5%	(*.f64 1/2 -1/2)
▶	3.7%	(*.f64 1/2 -1)
	3.9%	(*.f64 1/2 -2)
▶	3.4%	(*.f64 1/2 -4)
✓	56.2%	(cos.f64 re)
	34.8%	1
	8.9%	1/4
	38.5%	(+.f64 1 (*.f64 -1/2 (pow.f64 re 2)))
	11.0%	(+.f64 1/4 (*.f64 (pow.f64 re 2) 1/4))
▶	81.2%	(.f64 (+.f64 (.f64 1/2 (pow.f64 im 2)) 1) (cos.f64 re))
✓	99.8%	(.f64 (.f64 1/2 (log.f64 (exp.f64 (cos.f64 re)))) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
✓	100.0%	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
	52.3%	(*.f64 1/2 (fma.f64 im im 2))
✓	66.6%	(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
▶	9.2%	(*.f64 1/2 4)
	10.1%	(*.f64 1/2 3/2)
▶	7.9%	(*.f64 1/2 1/16)
	3.5%	(*.f64 1/2 -1/2)
▶	3.7%	(*.f64 1/2 -1)
	3.9%	(*.f64 1/2 -2)
▶	3.4%	(*.f64 1/2 -4)
✓	56.2%	(cos.f64 re)
	34.8%	1
	8.9%	1/4

Compiler

Compiled 388 to 346 computations (10.8% saved)

localize142.0ms (2.3%)

Localize:

Found 3 expressions with local error:

New	Accuracy	Program
	100.0%	(cos.f64 re)
✓	100.0%	(*.f64 1/2 (pow.f64 im 2))
✓	99.9%	(.f64 (+.f64 (.f64 1/2 (pow.f64 im 2)) 1) (cos.f64 re))

Compiler

Compiled 55 to 46 computations (16.4% saved)

Precisions

Click to see histograms

Operation ival-pow, total time spent: 11.0ms

Operation ival-mult, total time spent: 14.0ms

Operation ival-cos, total time spent: 39.0ms

Operation ival-add, total time spent: 3.0ms

Operation const, total time spent: 6.0ms

series4.0ms (0.1%)

Counts

2 → 24

Calls

9 calls:

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

rewrite93.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1062×	`unpow-prod-down`
732×	`log-prod`
669×	`log1p-expm1-u`
669×	`expm1-log1p-u`
514×	`pow-prod-down`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	47
1	167	47
2	1914	47

Stop Event

1×	node limit

Counts

2 → 67

Calls

Call 1

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

Outputs
(+.f64 (cos.f64 re) (.f64 (cos.f64 re) (.f64 1/2 (pow.f64 im 2))))
(+.f64 (cos.f64 re) (.f64 (.f64 1/2 (pow.f64 im 2)) (cos.f64 re)))
(+.f64 0 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)))
(+.f64 (.f64 (cos.f64 re) (.f64 1/2 (pow.f64 im 2))) (cos.f64 re))
(+.f64 (.f64 (.f64 1/2 (pow.f64 im 2)) (cos.f64 re)) (cos.f64 re))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (cos.f64 re)) (fma.f64 1/2 (pow.f64 im 2) 1))) (cbrt.f64 (pow.f64 (exp.f64 (cos.f64 re)) (fma.f64 1/2 (pow.f64 im 2) 1))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (cos.f64 re)) (fma.f64 1/2 (pow.f64 im 2) 1)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (cos.f64 re)) (fma.f64 1/2 (pow.f64 im 2) 1)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (cos.f64 re)) (fma.f64 1/2 (pow.f64 im 2) 1)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)))) 1)
(/.f64 (.f64 (cos.f64 re) (fma.f64 (pow.f64 im 6) 1/8 1)) (-.f64 (fma.f64 (pow.f64 im 4) 1/4 1) (.f64 1/2 (pow.f64 im 2))))
(/.f64 (*.f64 (cos.f64 re) (fma.f64 (pow.f64 im 4) 1/4 -1)) (fma.f64 1/2 (pow.f64 im 2) -1))
(/.f64 (.f64 (fma.f64 (pow.f64 im 6) 1/8 1) (cos.f64 re)) (-.f64 (fma.f64 (pow.f64 im 4) 1/4 1) (.f64 1/2 (pow.f64 im 2))))
(/.f64 (*.f64 (fma.f64 (pow.f64 im 4) 1/4 -1) (cos.f64 re)) (fma.f64 1/2 (pow.f64 im 2) -1))
(pow.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)) 1)
(pow.f64 (cbrt.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))) 3)
(pow.f64 (pow.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))) 2)
(sqrt.f64 (pow.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)) 2))
(log.f64 (pow.f64 (exp.f64 (cos.f64 re)) (fma.f64 1/2 (pow.f64 im 2) 1)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)))))
(cbrt.f64 (pow.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)) 3))
(expm1.f64 (log1p.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))))
(exp.f64 (log.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))))
(exp.f64 (.f64 (log.f64 (.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)))) 2))
(log1p.f64 (expm1.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))))
(fma.f64 (*.f64 1/2 (pow.f64 im 2)) (cos.f64 re) (cos.f64 re))
(fma.f64 1 (cos.f64 re) (.f64 (cos.f64 re) (.f64 1/2 (pow.f64 im 2))))
(fma.f64 1 (cos.f64 re) (.f64 (.f64 1/2 (pow.f64 im 2)) (cos.f64 re)))
(fma.f64 (cos.f64 re) (*.f64 1/2 (pow.f64 im 2)) (cos.f64 re))
(fma.f64 (cos.f64 re) 1 (.f64 (cos.f64 re) (.f64 1/2 (pow.f64 im 2))))
(fma.f64 (cos.f64 re) 1 (.f64 (.f64 1/2 (pow.f64 im 2)) (cos.f64 re)))
(fma.f64 (cbrt.f64 (cos.f64 re)) (pow.f64 (cbrt.f64 (cos.f64 re)) 2) (.f64 (cos.f64 re) (.f64 1/2 (pow.f64 im 2))))
(fma.f64 (cbrt.f64 (cos.f64 re)) (pow.f64 (cbrt.f64 (cos.f64 re)) 2) (.f64 (.f64 1/2 (pow.f64 im 2)) (cos.f64 re)))
(fma.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 2) (cbrt.f64 (cos.f64 re)) (.f64 (cos.f64 re) (.f64 1/2 (pow.f64 im 2))))
(fma.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 2) (cbrt.f64 (cos.f64 re)) (.f64 (.f64 1/2 (pow.f64 im 2)) (cos.f64 re)))
(fma.f64 (sqrt.f64 (cos.f64 re)) (sqrt.f64 (cos.f64 re)) (.f64 (cos.f64 re) (.f64 1/2 (pow.f64 im 2))))
(fma.f64 (sqrt.f64 (cos.f64 re)) (sqrt.f64 (cos.f64 re)) (.f64 (.f64 1/2 (pow.f64 im 2)) (cos.f64 re)))
(+.f64 0 (*.f64 1/2 (pow.f64 im 2)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 1/2) (pow.f64 im 2))) (cbrt.f64 (pow.f64 (exp.f64 1/2) (pow.f64 im 2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 1/2) (pow.f64 im 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 1/2) (pow.f64 im 2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 1/2) (pow.f64 im 2)))))
(-.f64 (fma.f64 1/2 (pow.f64 im 2) 1) 1)
(pow.f64 (*.f64 1/2 (pow.f64 im 2)) 1)
(pow.f64 (cbrt.f64 (*.f64 1/2 (pow.f64 im 2))) 3)
(pow.f64 (*.f64 (pow.f64 im 4) 1/4) 1/2)
(pow.f64 (*.f64 (pow.f64 im 6) 1/8) 1/3)
(pow.f64 (*.f64 im (sqrt.f64 1/2)) 2)
(sqrt.f64 (*.f64 (pow.f64 im 4) 1/4))
(log.f64 (pow.f64 (exp.f64 1/2) (pow.f64 im 2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 1/2 (pow.f64 im 2)))))
(cbrt.f64 (*.f64 (pow.f64 im 6) 1/8))
(expm1.f64 (log1p.f64 (*.f64 1/2 (pow.f64 im 2))))
(exp.f64 (fma.f64 2 (log.f64 im) (log.f64 1/2)))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 1/2 (pow.f64 im 2)))) 3))
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 im 6) 1/8)) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 im (sqrt.f64 1/2))) 2))
(log1p.f64 (expm1.f64 (*.f64 1/2 (pow.f64 im 2))))
(fma.f64 1 (fma.f64 1/2 (pow.f64 im 2) 1) -1)
(fma.f64 (fma.f64 1/2 (pow.f64 im 2) 1) 1 -1)
(fma.f64 (cbrt.f64 (fma.f64 1/2 (pow.f64 im 2) 1)) (pow.f64 (cbrt.f64 (fma.f64 1/2 (pow.f64 im 2) 1)) 2) -1)
(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 1/2 (pow.f64 im 2) 1)) 2) (cbrt.f64 (fma.f64 1/2 (pow.f64 im 2) 1)) -1)
(fma.f64 (hypot.f64 1 (.f64 im (sqrt.f64 1/2))) (hypot.f64 1 (.f64 im (sqrt.f64 1/2))) -1)
(fma.f64 (fma.f64 (pow.f64 im 6) 1/8 1) (/.f64 1 (-.f64 (fma.f64 (pow.f64 im 4) 1/4 1) (*.f64 1/2 (pow.f64 im 2)))) -1)
(fma.f64 (fma.f64 (pow.f64 im 4) 1/4 -1) (/.f64 1 (fma.f64 1/2 (pow.f64 im 2) -1)) -1)

simplify90.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

1552×	`fma-def`
968×	`times-frac`
720×	`distribute-lft-in`
688×	`distribute-rgt-in`
680×	`associate-+r+`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	188	3054
1	431	2959
2	1317	2797
3	5700	2797

Stop Event

1×	node limit

Counts

91 → 104

Calls

Call 1

Inputs
(cos.f64 re)
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re)))
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re)))
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(+.f64 1 (*.f64 1/2 (pow.f64 im 2)))
(+.f64 1 (+.f64 (.f64 -1/2 (.f64 (pow.f64 re 2) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))) (.f64 1/2 (pow.f64 im 2))))
(+.f64 1 (+.f64 (.f64 -1/2 (.f64 (pow.f64 re 2) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))) (+.f64 (.f64 1/24 (.f64 (pow.f64 re 4) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))) (*.f64 1/2 (pow.f64 im 2)))))
(+.f64 1 (+.f64 (.f64 -1/2 (.f64 (pow.f64 re 2) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))) (+.f64 (.f64 -1/720 (.f64 (pow.f64 re 6) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))) (+.f64 (.f64 1/24 (.f64 (pow.f64 re 4) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))) (.f64 1/2 (pow.f64 im 2))))))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(+.f64 (cos.f64 re) (.f64 (cos.f64 re) (.f64 1/2 (pow.f64 im 2))))
(+.f64 (cos.f64 re) (.f64 (.f64 1/2 (pow.f64 im 2)) (cos.f64 re)))
(+.f64 0 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)))
(+.f64 (.f64 (cos.f64 re) (.f64 1/2 (pow.f64 im 2))) (cos.f64 re))
(+.f64 (.f64 (.f64 1/2 (pow.f64 im 2)) (cos.f64 re)) (cos.f64 re))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (cos.f64 re)) (fma.f64 1/2 (pow.f64 im 2) 1))) (cbrt.f64 (pow.f64 (exp.f64 (cos.f64 re)) (fma.f64 1/2 (pow.f64 im 2) 1))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (cos.f64 re)) (fma.f64 1/2 (pow.f64 im 2) 1)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (cos.f64 re)) (fma.f64 1/2 (pow.f64 im 2) 1)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (cos.f64 re)) (fma.f64 1/2 (pow.f64 im 2) 1)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)))) 1)
(/.f64 (.f64 (cos.f64 re) (fma.f64 (pow.f64 im 6) 1/8 1)) (-.f64 (fma.f64 (pow.f64 im 4) 1/4 1) (.f64 1/2 (pow.f64 im 2))))
(/.f64 (*.f64 (cos.f64 re) (fma.f64 (pow.f64 im 4) 1/4 -1)) (fma.f64 1/2 (pow.f64 im 2) -1))
(/.f64 (.f64 (fma.f64 (pow.f64 im 6) 1/8 1) (cos.f64 re)) (-.f64 (fma.f64 (pow.f64 im 4) 1/4 1) (.f64 1/2 (pow.f64 im 2))))
(/.f64 (*.f64 (fma.f64 (pow.f64 im 4) 1/4 -1) (cos.f64 re)) (fma.f64 1/2 (pow.f64 im 2) -1))
(pow.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)) 1)
(pow.f64 (cbrt.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))) 3)
(pow.f64 (pow.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))) 2)
(sqrt.f64 (pow.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)) 2))
(log.f64 (pow.f64 (exp.f64 (cos.f64 re)) (fma.f64 1/2 (pow.f64 im 2) 1)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)))))
(cbrt.f64 (pow.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)) 3))
(expm1.f64 (log1p.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))))
(exp.f64 (log.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))))
(exp.f64 (.f64 (log.f64 (.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)))) 2))
(log1p.f64 (expm1.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))))
(fma.f64 (*.f64 1/2 (pow.f64 im 2)) (cos.f64 re) (cos.f64 re))
(fma.f64 1 (cos.f64 re) (.f64 (cos.f64 re) (.f64 1/2 (pow.f64 im 2))))
(fma.f64 1 (cos.f64 re) (.f64 (.f64 1/2 (pow.f64 im 2)) (cos.f64 re)))
(fma.f64 (cos.f64 re) (*.f64 1/2 (pow.f64 im 2)) (cos.f64 re))
(fma.f64 (cos.f64 re) 1 (.f64 (cos.f64 re) (.f64 1/2 (pow.f64 im 2))))
(fma.f64 (cos.f64 re) 1 (.f64 (.f64 1/2 (pow.f64 im 2)) (cos.f64 re)))
(fma.f64 (cbrt.f64 (cos.f64 re)) (pow.f64 (cbrt.f64 (cos.f64 re)) 2) (.f64 (cos.f64 re) (.f64 1/2 (pow.f64 im 2))))
(fma.f64 (cbrt.f64 (cos.f64 re)) (pow.f64 (cbrt.f64 (cos.f64 re)) 2) (.f64 (.f64 1/2 (pow.f64 im 2)) (cos.f64 re)))
(fma.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 2) (cbrt.f64 (cos.f64 re)) (.f64 (cos.f64 re) (.f64 1/2 (pow.f64 im 2))))
(fma.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 2) (cbrt.f64 (cos.f64 re)) (.f64 (.f64 1/2 (pow.f64 im 2)) (cos.f64 re)))
(fma.f64 (sqrt.f64 (cos.f64 re)) (sqrt.f64 (cos.f64 re)) (.f64 (cos.f64 re) (.f64 1/2 (pow.f64 im 2))))
(fma.f64 (sqrt.f64 (cos.f64 re)) (sqrt.f64 (cos.f64 re)) (.f64 (.f64 1/2 (pow.f64 im 2)) (cos.f64 re)))
(+.f64 0 (*.f64 1/2 (pow.f64 im 2)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 1/2) (pow.f64 im 2))) (cbrt.f64 (pow.f64 (exp.f64 1/2) (pow.f64 im 2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 1/2) (pow.f64 im 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 1/2) (pow.f64 im 2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 1/2) (pow.f64 im 2)))))
(-.f64 (fma.f64 1/2 (pow.f64 im 2) 1) 1)
(pow.f64 (*.f64 1/2 (pow.f64 im 2)) 1)
(pow.f64 (cbrt.f64 (*.f64 1/2 (pow.f64 im 2))) 3)
(pow.f64 (*.f64 (pow.f64 im 4) 1/4) 1/2)
(pow.f64 (*.f64 (pow.f64 im 6) 1/8) 1/3)
(pow.f64 (*.f64 im (sqrt.f64 1/2)) 2)
(sqrt.f64 (*.f64 (pow.f64 im 4) 1/4))
(log.f64 (pow.f64 (exp.f64 1/2) (pow.f64 im 2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 1/2 (pow.f64 im 2)))))
(cbrt.f64 (*.f64 (pow.f64 im 6) 1/8))
(expm1.f64 (log1p.f64 (*.f64 1/2 (pow.f64 im 2))))
(exp.f64 (fma.f64 2 (log.f64 im) (log.f64 1/2)))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 1/2 (pow.f64 im 2)))) 3))
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 im 6) 1/8)) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 im (sqrt.f64 1/2))) 2))
(log1p.f64 (expm1.f64 (*.f64 1/2 (pow.f64 im 2))))
(fma.f64 1 (fma.f64 1/2 (pow.f64 im 2) 1) -1)
(fma.f64 (fma.f64 1/2 (pow.f64 im 2) 1) 1 -1)
(fma.f64 (cbrt.f64 (fma.f64 1/2 (pow.f64 im 2) 1)) (pow.f64 (cbrt.f64 (fma.f64 1/2 (pow.f64 im 2) 1)) 2) -1)
(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 1/2 (pow.f64 im 2) 1)) 2) (cbrt.f64 (fma.f64 1/2 (pow.f64 im 2) 1)) -1)
(fma.f64 (hypot.f64 1 (.f64 im (sqrt.f64 1/2))) (hypot.f64 1 (.f64 im (sqrt.f64 1/2))) -1)
(fma.f64 (fma.f64 (pow.f64 im 6) 1/8 1) (/.f64 1 (-.f64 (fma.f64 (pow.f64 im 4) 1/4 1) (*.f64 1/2 (pow.f64 im 2)))) -1)
(fma.f64 (fma.f64 (pow.f64 im 4) 1/4 -1) (/.f64 1 (fma.f64 1/2 (pow.f64 im 2) -1)) -1)

Outputs
(cos.f64 re)
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 (cos.f64 re) (.f64 1/2 (pow.f64 im 2)))
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re)))
(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
(.f64 (cos.f64 re) (.f64 1/2 (pow.f64 im 2)))
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(+.f64 (cos.f64 re) (.f64 1/2 (.f64 (pow.f64 im 2) (cos.f64 re))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(+.f64 1 (*.f64 1/2 (pow.f64 im 2)))
(fma.f64 1/2 (pow.f64 im 2) 1)
(+.f64 1 (+.f64 (.f64 -1/2 (.f64 (pow.f64 re 2) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))) (.f64 1/2 (pow.f64 im 2))))
(+.f64 1 (fma.f64 -1/2 (.f64 (pow.f64 re 2) (fma.f64 1/2 (pow.f64 im 2) 1)) (.f64 1/2 (pow.f64 im 2))))
(+.f64 (.f64 (pow.f64 re 2) (.f64 (fma.f64 1/2 (pow.f64 im 2) 1) -1/2)) (fma.f64 1/2 (pow.f64 im 2) 1))
(.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (+.f64 (.f64 -1/2 (pow.f64 re 2)) 1))
(+.f64 1 (+.f64 (.f64 -1/2 (.f64 (pow.f64 re 2) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))) (+.f64 (.f64 1/24 (.f64 (pow.f64 re 4) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))) (*.f64 1/2 (pow.f64 im 2)))))
(+.f64 1 (fma.f64 -1/2 (.f64 (pow.f64 re 2) (fma.f64 1/2 (pow.f64 im 2) 1)) (fma.f64 1/24 (.f64 (pow.f64 re 4) (fma.f64 1/2 (pow.f64 im 2) 1)) (*.f64 1/2 (pow.f64 im 2)))))
(+.f64 (.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (+.f64 (.f64 -1/2 (pow.f64 re 2)) (*.f64 1/24 (pow.f64 re 4)))) (fma.f64 1/2 (pow.f64 im 2) 1))
(.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (+.f64 (fma.f64 -1/2 (pow.f64 re 2) (.f64 1/24 (pow.f64 re 4))) 1))
(+.f64 1 (+.f64 (.f64 -1/2 (.f64 (pow.f64 re 2) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))) (+.f64 (.f64 -1/720 (.f64 (pow.f64 re 6) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))) (+.f64 (.f64 1/24 (.f64 (pow.f64 re 4) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))) (.f64 1/2 (pow.f64 im 2))))))
(+.f64 1 (fma.f64 -1/2 (.f64 (pow.f64 re 2) (fma.f64 1/2 (pow.f64 im 2) 1)) (fma.f64 -1/720 (.f64 (pow.f64 re 6) (fma.f64 1/2 (pow.f64 im 2) 1)) (fma.f64 1/24 (.f64 (pow.f64 re 4) (fma.f64 1/2 (pow.f64 im 2) 1)) (.f64 1/2 (pow.f64 im 2))))))
(+.f64 (+.f64 (.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (+.f64 (.f64 -1/2 (pow.f64 re 2)) (.f64 1/24 (pow.f64 re 4)))) (fma.f64 1/2 (pow.f64 im 2) 1)) (.f64 (pow.f64 re 6) (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) -1/720)))
(+.f64 (.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (+.f64 (fma.f64 -1/2 (pow.f64 re 2) (.f64 -1/720 (pow.f64 re 6))) (*.f64 1/24 (pow.f64 re 4)))) (fma.f64 1/2 (pow.f64 im 2) 1))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(.f64 (cos.f64 re) (+.f64 1 (.f64 1/2 (pow.f64 im 2))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(+.f64 (cos.f64 re) (.f64 (cos.f64 re) (.f64 1/2 (pow.f64 im 2))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(+.f64 (cos.f64 re) (.f64 (.f64 1/2 (pow.f64 im 2)) (cos.f64 re)))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(+.f64 0 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(+.f64 (.f64 (cos.f64 re) (.f64 1/2 (pow.f64 im 2))) (cos.f64 re))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(+.f64 (.f64 (.f64 1/2 (pow.f64 im 2)) (cos.f64 re)) (cos.f64 re))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (cos.f64 re)) (fma.f64 1/2 (pow.f64 im 2) 1))) (cbrt.f64 (pow.f64 (exp.f64 (cos.f64 re)) (fma.f64 1/2 (pow.f64 im 2) 1))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (cos.f64 re)) (fma.f64 1/2 (pow.f64 im 2) 1)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (cos.f64 re)) (fma.f64 1/2 (pow.f64 im 2) 1))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (cos.f64 re)) (fma.f64 1/2 (pow.f64 im 2) 1)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (cos.f64 re)) (fma.f64 1/2 (pow.f64 im 2) 1)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (cos.f64 re)) (fma.f64 1/2 (pow.f64 im 2) 1)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (cos.f64 re)) (fma.f64 1/2 (pow.f64 im 2) 1)))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)))) 1)
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(/.f64 (.f64 (cos.f64 re) (fma.f64 (pow.f64 im 6) 1/8 1)) (-.f64 (fma.f64 (pow.f64 im 4) 1/4 1) (.f64 1/2 (pow.f64 im 2))))
(/.f64 (.f64 (cos.f64 re) (fma.f64 (pow.f64 im 6) 1/8 1)) (+.f64 (fma.f64 (pow.f64 im 4) 1/4 1) (.f64 -1/2 (pow.f64 im 2))))
(.f64 (/.f64 (cos.f64 re) (+.f64 (fma.f64 (pow.f64 im 4) 1/4 1) (.f64 (pow.f64 im 2) -1/2))) (fma.f64 (pow.f64 im 6) 1/8 1))
(/.f64 (*.f64 (cos.f64 re) (fma.f64 (pow.f64 im 6) 1/8 1)) (fma.f64 (pow.f64 im 2) -1/2 (fma.f64 (pow.f64 im 4) 1/4 1)))
(*.f64 (fma.f64 (pow.f64 im 6) 1/8 1) (/.f64 (cos.f64 re) (fma.f64 (pow.f64 im 2) -1/2 (fma.f64 (pow.f64 im 4) 1/4 1))))
(/.f64 (*.f64 (cos.f64 re) (fma.f64 (pow.f64 im 4) 1/4 -1)) (fma.f64 1/2 (pow.f64 im 2) -1))
(/.f64 (cos.f64 re) (/.f64 (fma.f64 1/2 (pow.f64 im 2) -1) (fma.f64 (pow.f64 im 4) 1/4 -1)))
(*.f64 (/.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) -1)) (fma.f64 (pow.f64 im 4) 1/4 -1))
(*.f64 (cos.f64 re) (/.f64 (fma.f64 (pow.f64 im 4) 1/4 -1) (fma.f64 1/2 (pow.f64 im 2) -1)))
(/.f64 (.f64 (fma.f64 (pow.f64 im 6) 1/8 1) (cos.f64 re)) (-.f64 (fma.f64 (pow.f64 im 4) 1/4 1) (.f64 1/2 (pow.f64 im 2))))
(/.f64 (.f64 (cos.f64 re) (fma.f64 (pow.f64 im 6) 1/8 1)) (+.f64 (fma.f64 (pow.f64 im 4) 1/4 1) (.f64 -1/2 (pow.f64 im 2))))
(.f64 (/.f64 (cos.f64 re) (+.f64 (fma.f64 (pow.f64 im 4) 1/4 1) (.f64 (pow.f64 im 2) -1/2))) (fma.f64 (pow.f64 im 6) 1/8 1))
(/.f64 (*.f64 (cos.f64 re) (fma.f64 (pow.f64 im 6) 1/8 1)) (fma.f64 (pow.f64 im 2) -1/2 (fma.f64 (pow.f64 im 4) 1/4 1)))
(*.f64 (fma.f64 (pow.f64 im 6) 1/8 1) (/.f64 (cos.f64 re) (fma.f64 (pow.f64 im 2) -1/2 (fma.f64 (pow.f64 im 4) 1/4 1))))
(/.f64 (*.f64 (fma.f64 (pow.f64 im 4) 1/4 -1) (cos.f64 re)) (fma.f64 1/2 (pow.f64 im 2) -1))
(/.f64 (cos.f64 re) (/.f64 (fma.f64 1/2 (pow.f64 im 2) -1) (fma.f64 (pow.f64 im 4) 1/4 -1)))
(*.f64 (/.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) -1)) (fma.f64 (pow.f64 im 4) 1/4 -1))
(*.f64 (cos.f64 re) (/.f64 (fma.f64 (pow.f64 im 4) 1/4 -1) (fma.f64 1/2 (pow.f64 im 2) -1)))
(pow.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)) 1)
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(pow.f64 (cbrt.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))) 3)
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(pow.f64 (pow.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)) 2) 1/2)
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(pow.f64 (pow.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)) 3) 1/3)
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(pow.f64 (sqrt.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))) 2)
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(sqrt.f64 (pow.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)) 2))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(log.f64 (pow.f64 (exp.f64 (cos.f64 re)) (fma.f64 1/2 (pow.f64 im 2) 1)))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(cbrt.f64 (pow.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)) 3))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(expm1.f64 (log1p.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(exp.f64 (log.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(exp.f64 (.f64 (log.f64 (.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))) 1))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))) 1) 1))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)))) 3))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)))) 1/3))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)))) 2))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(log1p.f64 (expm1.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(fma.f64 (*.f64 1/2 (pow.f64 im 2)) (cos.f64 re) (cos.f64 re))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(fma.f64 1 (cos.f64 re) (.f64 (cos.f64 re) (.f64 1/2 (pow.f64 im 2))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(fma.f64 1 (cos.f64 re) (.f64 (.f64 1/2 (pow.f64 im 2)) (cos.f64 re)))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(fma.f64 (cos.f64 re) (*.f64 1/2 (pow.f64 im 2)) (cos.f64 re))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(fma.f64 (cos.f64 re) 1 (.f64 (cos.f64 re) (.f64 1/2 (pow.f64 im 2))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(fma.f64 (cos.f64 re) 1 (.f64 (.f64 1/2 (pow.f64 im 2)) (cos.f64 re)))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(fma.f64 (cbrt.f64 (cos.f64 re)) (pow.f64 (cbrt.f64 (cos.f64 re)) 2) (.f64 (cos.f64 re) (.f64 1/2 (pow.f64 im 2))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(fma.f64 (cbrt.f64 (cos.f64 re)) (pow.f64 (cbrt.f64 (cos.f64 re)) 2) (.f64 (.f64 1/2 (pow.f64 im 2)) (cos.f64 re)))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(fma.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 2) (cbrt.f64 (cos.f64 re)) (.f64 (cos.f64 re) (.f64 1/2 (pow.f64 im 2))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(fma.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 2) (cbrt.f64 (cos.f64 re)) (.f64 (.f64 1/2 (pow.f64 im 2)) (cos.f64 re)))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(fma.f64 (sqrt.f64 (cos.f64 re)) (sqrt.f64 (cos.f64 re)) (.f64 (cos.f64 re) (.f64 1/2 (pow.f64 im 2))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(fma.f64 (sqrt.f64 (cos.f64 re)) (sqrt.f64 (cos.f64 re)) (.f64 (.f64 1/2 (pow.f64 im 2)) (cos.f64 re)))
(*.f64 (cos.f64 re) (fma.f64 1/2 (pow.f64 im 2) 1))
(+.f64 0 (*.f64 1/2 (pow.f64 im 2)))
(*.f64 1/2 (pow.f64 im 2))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 1/2) (pow.f64 im 2))) (cbrt.f64 (pow.f64 (exp.f64 1/2) (pow.f64 im 2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 1/2) (pow.f64 im 2)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 1/2) (pow.f64 im 2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 1/2) (pow.f64 im 2)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 1/2) (pow.f64 im 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 1/2) (pow.f64 im 2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 1/2) (pow.f64 im 2)))))
(*.f64 1/2 (pow.f64 im 2))
(-.f64 (fma.f64 1/2 (pow.f64 im 2) 1) 1)
(*.f64 1/2 (pow.f64 im 2))
(pow.f64 (*.f64 1/2 (pow.f64 im 2)) 1)
(*.f64 1/2 (pow.f64 im 2))
(pow.f64 (cbrt.f64 (*.f64 1/2 (pow.f64 im 2))) 3)
(*.f64 1/2 (pow.f64 im 2))
(pow.f64 (*.f64 (pow.f64 im 4) 1/4) 1/2)
(sqrt.f64 (*.f64 (pow.f64 im 4) 1/4))
(pow.f64 (*.f64 (pow.f64 im 6) 1/8) 1/3)
(cbrt.f64 (*.f64 (pow.f64 im 6) 1/8))
(pow.f64 (*.f64 im (sqrt.f64 1/2)) 2)
(*.f64 1/2 (pow.f64 im 2))
(sqrt.f64 (*.f64 (pow.f64 im 4) 1/4))
(log.f64 (pow.f64 (exp.f64 1/2) (pow.f64 im 2)))
(*.f64 1/2 (pow.f64 im 2))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 1/2 (pow.f64 im 2)))))
(*.f64 1/2 (pow.f64 im 2))
(cbrt.f64 (*.f64 (pow.f64 im 6) 1/8))
(expm1.f64 (log1p.f64 (*.f64 1/2 (pow.f64 im 2))))
(*.f64 1/2 (pow.f64 im 2))
(exp.f64 (fma.f64 2 (log.f64 im) (log.f64 1/2)))
(*.f64 1/2 (pow.f64 im 2))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 1/2 (pow.f64 im 2)))) 3))
(*.f64 1/2 (pow.f64 im 2))
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 im 6) 1/8)) 1/3))
(cbrt.f64 (*.f64 (pow.f64 im 6) 1/8))
(exp.f64 (.f64 (log.f64 (.f64 im (sqrt.f64 1/2))) 2))
(*.f64 1/2 (pow.f64 im 2))
(log1p.f64 (expm1.f64 (*.f64 1/2 (pow.f64 im 2))))
(*.f64 1/2 (pow.f64 im 2))
(fma.f64 1 (fma.f64 1/2 (pow.f64 im 2) 1) -1)
(*.f64 1/2 (pow.f64 im 2))
(fma.f64 (fma.f64 1/2 (pow.f64 im 2) 1) 1 -1)
(*.f64 1/2 (pow.f64 im 2))
(fma.f64 (cbrt.f64 (fma.f64 1/2 (pow.f64 im 2) 1)) (pow.f64 (cbrt.f64 (fma.f64 1/2 (pow.f64 im 2) 1)) 2) -1)
(*.f64 1/2 (pow.f64 im 2))
(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 1/2 (pow.f64 im 2) 1)) 2) (cbrt.f64 (fma.f64 1/2 (pow.f64 im 2) 1)) -1)
(*.f64 1/2 (pow.f64 im 2))
(fma.f64 (hypot.f64 1 (.f64 im (sqrt.f64 1/2))) (hypot.f64 1 (.f64 im (sqrt.f64 1/2))) -1)
(fma.f64 (fma.f64 (pow.f64 im 6) 1/8 1) (/.f64 1 (-.f64 (fma.f64 (pow.f64 im 4) 1/4 1) (*.f64 1/2 (pow.f64 im 2)))) -1)
(fma.f64 (fma.f64 (pow.f64 im 6) 1/8 1) (/.f64 1 (+.f64 (fma.f64 (pow.f64 im 4) 1/4 1) (*.f64 -1/2 (pow.f64 im 2)))) -1)
(fma.f64 (fma.f64 (pow.f64 im 6) 1/8 1) (/.f64 1 (+.f64 (fma.f64 (pow.f64 im 4) 1/4 1) (*.f64 (pow.f64 im 2) -1/2))) -1)
(+.f64 -1 (/.f64 (fma.f64 (pow.f64 im 6) 1/8 1) (fma.f64 (pow.f64 im 2) -1/2 (fma.f64 (pow.f64 im 4) 1/4 1))))
(fma.f64 (fma.f64 (pow.f64 im 4) 1/4 -1) (/.f64 1 (fma.f64 1/2 (pow.f64 im 2) -1)) -1)
(+.f64 -1 (/.f64 (fma.f64 (pow.f64 im 4) 1/4 -1) (fma.f64 1/2 (pow.f64 im 2) -1)))

eval49.0ms (0.8%)

Compiler: Compiled 2107 to 1590 computations (24.5% saved)

prune39.0ms (0.6%)

Pruning

19 alts after pruning (11 fresh and 8 done)

	Pruned	Kept	Total
New	127	3	130
Fresh	0	8	8
Picked	0	5	5
Done	1	3	4
Total	128	19	147

Accuracy

100.0%

Counts

147 → 19

Alt Table

Click to see full alt table

Status	Accuracy	Program
	38.5%	(+.f64 1 (*.f64 -1/2 (pow.f64 re 2)))
▶	11.0%	(+.f64 1/4 (*.f64 (pow.f64 re 2) 1/4))
	54.3%	(.f64 (+.f64 (.f64 1/2 (pow.f64 im 2)) 1) (+.f64 1 (*.f64 -1/2 (pow.f64 re 2))))
▶	81.1%	(.f64 (+.f64 (.f64 1/2 (pow.f64 im 2)) 1) (log.f64 (exp.f64 (cos.f64 re))))
✓	81.2%	(.f64 (+.f64 (.f64 1/2 (pow.f64 im 2)) 1) (cos.f64 re))
✓	100.0%	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
▶	28.5%	(.f64 (cos.f64 re) (.f64 1/2 (pow.f64 im 2)))
	52.3%	(*.f64 1/2 (fma.f64 im im 2))
✓	66.6%	(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
✓	9.2%	(*.f64 1/2 4)
▶	10.1%	(*.f64 1/2 3/2)
✓	7.9%	(*.f64 1/2 1/16)
	3.5%	(*.f64 1/2 -1/2)
✓	3.7%	(*.f64 1/2 -1)
▶	3.9%	(*.f64 1/2 -2)
✓	3.4%	(*.f64 1/2 -4)
✓	56.2%	(cos.f64 re)
	34.8%	1
	8.9%	1/4
	38.5%	(+.f64 1 (*.f64 -1/2 (pow.f64 re 2)))
▶	11.0%	(+.f64 1/4 (*.f64 (pow.f64 re 2) 1/4))
	54.3%	(.f64 (+.f64 (.f64 1/2 (pow.f64 im 2)) 1) (+.f64 1 (*.f64 -1/2 (pow.f64 re 2))))
▶	81.1%	(.f64 (+.f64 (.f64 1/2 (pow.f64 im 2)) 1) (log.f64 (exp.f64 (cos.f64 re))))
✓	81.2%	(.f64 (+.f64 (.f64 1/2 (pow.f64 im 2)) 1) (cos.f64 re))
✓	100.0%	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
▶	28.5%	(.f64 (cos.f64 re) (.f64 1/2 (pow.f64 im 2)))
	52.3%	(*.f64 1/2 (fma.f64 im im 2))
✓	66.6%	(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
✓	9.2%	(*.f64 1/2 4)
▶	10.1%	(*.f64 1/2 3/2)
✓	7.9%	(*.f64 1/2 1/16)
	3.5%	(*.f64 1/2 -1/2)
✓	3.7%	(*.f64 1/2 -1)
▶	3.9%	(*.f64 1/2 -2)
✓	3.4%	(*.f64 1/2 -4)
✓	56.2%	(cos.f64 re)
	34.8%	1
	8.9%	1/4

Compiler

Compiled 458 to 402 computations (12.2% saved)

localize190.0ms (3.1%)

Localize:

Found 7 expressions with local error:

New	Accuracy	Program
	100.0%	(cos.f64 re)
	100.0%	(*.f64 1/2 (pow.f64 im 2))
✓	99.8%	(.f64 (cos.f64 re) (.f64 1/2 (pow.f64 im 2)))
	100.0%	(*.f64 1/2 (pow.f64 im 2))
✓	99.9%	(.f64 (+.f64 (.f64 1/2 (pow.f64 im 2)) 1) (log.f64 (exp.f64 (cos.f64 re))))
	99.9%	(exp.f64 (cos.f64 re))
	99.6%	(log.f64 (exp.f64 (cos.f64 re)))

Compiler

Compiled 94 to 65 computations (30.9% saved)

Precisions

Click to see histograms

Operation ival-pow, total time spent: 28.0ms

Operation ival-mult, total time spent: 21.0ms

Operation ival-log, total time spent: 7.0ms

Operation ival-exp, total time spent: 4.0ms

Operation ival-cos, total time spent: 9.0ms

Operation ival-add, total time spent: 6.0ms

Operation const, total time spent: 8.0ms

series5.0ms (0.1%)

Counts

2 → 48

Calls

12 calls:

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

rewrite107.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

980×	`log-prod`
842×	`log1p-expm1-u`
842×	`expm1-log1p-u`
470×	`prod-diff`
446×	`fma-def`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	60
1	214	60
2	2392	60

Stop Event

1×	node limit

Counts

2 → 85

Calls

Call 1

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

Outputs
(+.f64 (cos.f64 re) (.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re))))
(+.f64 (.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re))) (cos.f64 re))
(+.f64 0 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (cos.f64 re)) (fma.f64 1/2 (pow.f64 im 2) 1))) (cbrt.f64 (pow.f64 (exp.f64 (cos.f64 re)) (fma.f64 1/2 (pow.f64 im 2) 1))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (cos.f64 re)) (fma.f64 1/2 (pow.f64 im 2) 1)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (cos.f64 re)) (fma.f64 1/2 (pow.f64 im 2) 1)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (cos.f64 re)) (fma.f64 1/2 (pow.f64 im 2) 1)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)))) 1)
(/.f64 (.f64 (cos.f64 re) (fma.f64 (pow.f64 (pow.f64 im 2) 3) 1/8 1)) (-.f64 (fma.f64 (pow.f64 im 4) 1/4 1) (.f64 1/2 (pow.f64 im 2))))
(/.f64 (*.f64 (cos.f64 re) (fma.f64 (pow.f64 im 4) 1/4 -1)) (fma.f64 1/2 (pow.f64 im 2) -1))
(/.f64 (.f64 (fma.f64 (pow.f64 (pow.f64 im 2) 3) 1/8 1) (cos.f64 re)) (-.f64 (fma.f64 (pow.f64 im 4) 1/4 1) (.f64 1/2 (pow.f64 im 2))))
(/.f64 (*.f64 (fma.f64 (pow.f64 im 4) 1/4 -1) (cos.f64 re)) (fma.f64 1/2 (pow.f64 im 2) -1))
(pow.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)) 1)
(pow.f64 (cbrt.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))) 3)
(pow.f64 (pow.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))) 2)
(sqrt.f64 (pow.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)) 2))
(log.f64 (pow.f64 (exp.f64 (cos.f64 re)) (fma.f64 1/2 (pow.f64 im 2) 1)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)))))
(log.f64 (*.f64 (exp.f64 (cos.f64 re)) (pow.f64 (sqrt.f64 (exp.f64 (cos.f64 re))) (pow.f64 im 2))))
(log.f64 (.f64 (exp.f64 (cos.f64 re)) (+.f64 1 (expm1.f64 (.f64 (pow.f64 im 2) (*.f64 1/2 (cos.f64 re)))))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (cos.f64 re))) (pow.f64 (sqrt.f64 (exp.f64 (cos.f64 re))) (pow.f64 im 2))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (cos.f64 re))) (+.f64 1 (expm1.f64 (.f64 (pow.f64 im 2) (*.f64 1/2 (cos.f64 re)))))))
(log.f64 (*.f64 (pow.f64 (sqrt.f64 (exp.f64 (cos.f64 re))) (pow.f64 im 2)) (exp.f64 (cos.f64 re))))
(log.f64 (*.f64 (pow.f64 (sqrt.f64 (exp.f64 (cos.f64 re))) (pow.f64 im 2)) (+.f64 1 (expm1.f64 (cos.f64 re)))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 (pow.f64 im 2) (*.f64 1/2 (cos.f64 re))))) (exp.f64 (cos.f64 re))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 (pow.f64 im 2) (*.f64 1/2 (cos.f64 re))))) (+.f64 1 (expm1.f64 (cos.f64 re)))))
(cbrt.f64 (pow.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)) 3))
(cbrt.f64 (*.f64 (pow.f64 (fma.f64 1/2 (pow.f64 im 2) 1) 3) (pow.f64 (cos.f64 re) 3)))
(cbrt.f64 (*.f64 (pow.f64 (cos.f64 re) 3) (pow.f64 (fma.f64 1/2 (pow.f64 im 2) 1) 3)))
(expm1.f64 (log1p.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))))
(exp.f64 (log.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))))
(exp.f64 (.f64 (log.f64 (.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re)))) 2))
(log1p.f64 (expm1.f64 (*.f64 (fma.f64 1/2 (pow.f64 im 2) 1) (cos.f64 re))))
(fma.f64 1/2 (*.f64 (pow.f64 im 2) (cos.f64 re)) (cos.f64 re))
(fma.f64 (pow.f64 im 2) (*.f64 1/2 (cos.f64 re)) (cos.f64 re))
(fma.f64 (*.f64 1/2 (pow.f64 im 2)) (cos.f64 re) (cos.f64 re))
(fma.f64 1 (cos.f64 re) (.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re))))
(fma.f64 1 (.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re))) (cos.f64 re))
(fma.f64 (cos.f64 re) (*.f64 1/2 (pow.f64 im 2)) (cos.f64 re))
(fma.f64 (cos.f64 re) 1 (.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re))))
(fma.f64 (.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re))) 1 (cos.f64 re))
(fma.f64 (cbrt.f64 (cos.f64 re)) (pow.f64 (cbrt.f64 (cos.f64 re)) 2) (.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re))))
(fma.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 2) (cbrt.f64 (cos.f64 re)) (.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re))))
(fma.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 2) (.f64 (cbrt.f64 (cos.f64 re)) (.f64 1/2 (pow.f64 im 2))) (cos.f64 re))
(fma.f64 (cbrt.f64 (.f64 (pow.f64 im 4) 1/4)) (.f64 (cbrt.f64 (*.f64 1/2 (pow.f64 im 2))) (cos.f64 re)) (cos.f64 re))
(fma.f64 (cbrt.f64 (.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))) (pow.f64 (cbrt.f64 (.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))) 2) (cos.f64 re))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))) 2) (cbrt.f64 (.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))) (cos.f64 re))
(fma.f64 (sqrt.f64 (cos.f64 re)) (sqrt.f64 (cos.f64 re)) (.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re))))
(fma.f64 (sqrt.f64 (cos.f64 re)) (.f64 (sqrt.f64 (cos.f64 re)) (.f64 1/2 (pow.f64 im 2))) (cos.f64 re))
(fma.f64 (.f64 im (sqrt.f64 1/2)) (.f64 (*.f64 im (sqrt.f64 1/2)) (cos.f64 re)) (cos.f64 re))
(fma.f64 (.f64 (sqrt.f64 (.f64 1/2 (cos.f64 re))) im) (.f64 (sqrt.f64 (.f64 1/2 (cos.f64 re))) im) (cos.f64 re))
(fma.f64 (*.f64 1/2 (cos.f64 re)) (pow.f64 im 2) (cos.f64 re))
(fma.f64 (.f64 (.f64 1/2 (pow.f64 im 2)) (pow.f64 (cbrt.f64 (cos.f64 re)) 2)) (cbrt.f64 (cos.f64 re)) (cos.f64 re))
(fma.f64 (.f64 (.f64 1/2 (pow.f64 im 2)) (sqrt.f64 (cos.f64 re))) (sqrt.f64 (cos.f64 re)) (cos.f64 re))
(fma.f64 (*.f64 (cos.f64 re) (pow.f64 im 2)) 1/2 (cos.f64 re))
(fma.f64 (.f64 (cos.f64 re) (cbrt.f64 (.f64 (pow.f64 im 4) 1/4))) (cbrt.f64 (*.f64 1/2 (pow.f64 im 2))) (cos.f64 re))
(fma.f64 (.f64 (cos.f64 re) (.f64 im (sqrt.f64 1/2))) (*.f64 im (sqrt.f64 1/2)) (cos.f64 re))
(fma.f64 (.f64 (.f64 1/2 (cos.f64 re)) im) im (cos.f64 re))
(fma.f64 (.f64 (.f64 1/2 (cos.f64 re)) 1) (pow.f64 im 2) (cos.f64 re))
(fma.f64 (.f64 (.f64 1/2 (cos.f64 re)) (cbrt.f64 (pow.f64 im 4))) (pow.f64 (cbrt.f64 im) 2) (cos.f64 re))
(+.f64 0 (.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re))))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (exp.f64 (cos.f64 re))) (pow.f64 im 2))) (cbrt.f64 (pow.f64 (sqrt.f64 (exp.f64 (cos.f64 re))) (pow.f64 im 2))))) (log.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (exp.f64 (cos.f64 re))) (pow.f64 im 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (sqrt.f64 (exp.f64 (cos.f64 re))) (pow.f64 im 2)))) (log.f64 (sqrt.f64 (pow.f64 (sqrt.f64 (exp.f64 (cos.f64 re))) (pow.f64 im 2)))))
(-.f64 (exp.f64 (log1p.f64 (.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re))))) 1)
(pow.f64 (.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re))) 1)
(pow.f64 (cbrt.f64 (.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))) 3)
(pow.f64 (pow.f64 (.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re))) 3) 1/3)
(pow.f64 (.f64 (sqrt.f64 (.f64 1/2 (cos.f64 re))) im) 2)
(sqrt.f64 (.f64 (pow.f64 (cos.f64 re) 2) (.f64 (pow.f64 im 4) 1/4)))
(log.f64 (pow.f64 (sqrt.f64 (exp.f64 (cos.f64 re))) (pow.f64 im 2)))
(log.f64 (+.f64 1 (expm1.f64 (.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re))))))
(cbrt.f64 (pow.f64 (.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re))) 3))
(cbrt.f64 (.f64 (.f64 (pow.f64 (pow.f64 im 2) 3) 1/8) (pow.f64 (cos.f64 re) 3)))
(cbrt.f64 (.f64 (pow.f64 (cos.f64 re) 3) (.f64 (pow.f64 (pow.f64 im 2) 3) 1/8)))
(expm1.f64 (log1p.f64 (.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))))
(exp.f64 (log.f64 (.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))))
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 im 2) (*.f64 1/2 (cos.f64 re)))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (pow.f64 im 2) (*.f64 1/2 (cos.f64 re))))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re))))) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 (*.f64 1/2 (cos.f64 re))) im)) 2))
(log1p.f64 (expm1.f64 (.f64 (pow.f64 im 2) (.f64 1/2 (cos.f64 re)))))

simplify369.0ms (5.9%)

Algorithm

1×	egg-herbie

Rules

1496×	`log-prod`
964×	`distribute-lft-in`
938×	`distribute-rgt-in`
914×	`unswap-sqr`
816×	`*-commutative`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	255	5426
1	635	4826
2	2003	4598
3	6856	4598

Stop Event

1×	node limit

Counts

133 → 141

Calls

Call 1

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

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

eval229.0ms (3.7%)

Compiler: Compiled 6455 to 4685 computations (27.4% saved)

prune187.0ms (3%)

Pruning

21 alts after pruning (8 fresh and 13 done)

	Pruned	Kept	Total
New	399	2	401
Fresh	0	6	6
Picked	0	5	5
Done	0	8	8
Total	399	21	420

Accuracy

100.0%

Counts

420 → 21

Alt Table

Click to see full alt table

Status	Accuracy	Program
	38.5%	(+.f64 1 (*.f64 -1/2 (pow.f64 re 2)))
✓	11.0%	(+.f64 1/4 (*.f64 (pow.f64 re 2) 1/4))
	24.2%	(.f64 (pow.f64 im 2) (+.f64 1/2 (.f64 (pow.f64 re 2) -1/4)))
	54.3%	(.f64 (+.f64 (.f64 1/2 (pow.f64 im 2)) 1) (+.f64 1 (*.f64 -1/2 (pow.f64 re 2))))
✓	81.1%	(.f64 (+.f64 (.f64 1/2 (pow.f64 im 2)) 1) (log.f64 (exp.f64 (cos.f64 re))))
✓	81.2%	(.f64 (+.f64 (.f64 1/2 (pow.f64 im 2)) 1) (cos.f64 re))
✓	100.0%	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
✓	28.5%	(.f64 (cos.f64 re) (.f64 1/2 (pow.f64 im 2)))
	52.3%	(*.f64 1/2 (fma.f64 im im 2))
	20.7%	(*.f64 1/2 (pow.f64 im 2))
✓	66.6%	(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
✓	9.2%	(*.f64 1/2 4)
✓	10.1%	(*.f64 1/2 3/2)
✓	7.9%	(*.f64 1/2 1/16)
	3.5%	(*.f64 1/2 -1/2)
✓	3.7%	(*.f64 1/2 -1)
✓	3.9%	(*.f64 1/2 -2)
✓	3.4%	(*.f64 1/2 -4)
✓	56.2%	(cos.f64 re)
	34.8%	1
	8.9%	1/4

Compiler

Compiled 328 to 260 computations (20.7% saved)

regimes148.0ms (2.4%)

Counts

25 → 1

Calls

Call 1

Inputs
1/4
1
(*.f64 1/2 -4)
(*.f64 1/2 -2)
(*.f64 1/2 -1)
(*.f64 1/2 -1/2)
(*.f64 1/2 1/16)
(*.f64 1/2 3/2)
(*.f64 1/2 4)
(cos.f64 re)
(*.f64 1/2 (pow.f64 im 2))
(*.f64 1/2 (fma.f64 im im 2))
(+.f64 1/4 (*.f64 (pow.f64 re 2) 1/4))
(+.f64 1 (*.f64 -1/2 (pow.f64 re 2)))
(+.f64 (cos.f64 re) (cos.f64 re))
(pow.f64 (*.f64 (cos.f64 re) -2) -2)
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (.f64 1/2 (pow.f64 im 2)))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (pow.f64 im 2)))
(.f64 (+.f64 (.f64 1/2 (pow.f64 im 2)) 1) (cos.f64 re))
(.f64 (pow.f64 im 2) (+.f64 1/2 (.f64 (pow.f64 re 2) -1/4)))
(.f64 (+.f64 (.f64 1/2 (pow.f64 im 2)) 1) (+.f64 1 (*.f64 -1/2 (pow.f64 re 2))))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(.f64 (+.f64 (.f64 1/2 (pow.f64 im 2)) 1) (log.f64 (exp.f64 (cos.f64 re))))
(.f64 (.f64 1/2 (log.f64 (exp.f64 (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:

48.0ms	(cos.f64 re)
31.0ms	im
18.0ms	re
11.0ms	(*.f64 1/2 (cos.f64 re))
7.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

Results

Accuracy	Segments	Branch
100.0%	1	`re`
100.0%	1	`im`
100.0%	1	`(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))`
100.0%	1	`(*.f64 1/2 (cos.f64 re))`
100.0%	1	`(cos.f64 re)`
100.0%	1	`(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))`

Compiler

Compiled 198 to 142 computations (28.3% saved)

regimes103.0ms (1.6%)

Counts

22 → 3

Calls

Call 1

Inputs
1/4
1
(*.f64 1/2 -4)
(*.f64 1/2 -2)
(*.f64 1/2 -1)
(*.f64 1/2 -1/2)
(*.f64 1/2 1/16)
(*.f64 1/2 3/2)
(*.f64 1/2 4)
(cos.f64 re)
(*.f64 1/2 (pow.f64 im 2))
(*.f64 1/2 (fma.f64 im im 2))
(+.f64 1/4 (*.f64 (pow.f64 re 2) 1/4))
(+.f64 1 (*.f64 -1/2 (pow.f64 re 2)))
(+.f64 (cos.f64 re) (cos.f64 re))
(pow.f64 (*.f64 (cos.f64 re) -2) -2)
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (.f64 1/2 (pow.f64 im 2)))
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (pow.f64 im 2)))
(.f64 (+.f64 (.f64 1/2 (pow.f64 im 2)) 1) (cos.f64 re))
(.f64 (pow.f64 im 2) (+.f64 1/2 (.f64 (pow.f64 re 2) -1/4)))
(.f64 (+.f64 (.f64 1/2 (pow.f64 im 2)) 1) (+.f64 1 (*.f64 -1/2 (pow.f64 re 2))))

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

Calls

4 calls:

36.0ms	im
23.0ms	re
19.0ms	(*.f64 1/2 (cos.f64 re))
19.0ms	(cos.f64 re)

Results

Accuracy	Segments	Branch
91.1%	2	`re`
95.3%	3	`im`
91.1%	2	`(*.f64 1/2 (cos.f64 re))`
91.1%	2	`(cos.f64 re)`

Compiler

Compiled 141 to 110 computations (22% saved)

regimes36.0ms (0.6%)

Counts

18 → 3

Calls

Call 1

Inputs
1/4
1
(*.f64 1/2 -4)
(*.f64 1/2 -2)
(*.f64 1/2 -1)
(*.f64 1/2 -1/2)
(*.f64 1/2 1/16)
(*.f64 1/2 3/2)
(*.f64 1/2 4)
(cos.f64 re)
(*.f64 1/2 (pow.f64 im 2))
(*.f64 1/2 (fma.f64 im im 2))
(+.f64 1/4 (*.f64 (pow.f64 re 2) 1/4))
(+.f64 1 (*.f64 -1/2 (pow.f64 re 2)))
(+.f64 (cos.f64 re) (cos.f64 re))
(pow.f64 (*.f64 (cos.f64 re) -2) -2)
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (.f64 1/2 (pow.f64 im 2)))

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

Calls

1 calls:

30.0ms

im

Results

Accuracy	Segments	Branch
95.1%	3	`im`

Compiler

Compiled 82 to 64 computations (22% saved)

regimes69.0ms (1.1%)

Counts

17 → 2

Calls

Call 1

Inputs
1/4
1
(*.f64 1/2 -4)
(*.f64 1/2 -2)
(*.f64 1/2 -1)
(*.f64 1/2 -1/2)
(*.f64 1/2 1/16)
(*.f64 1/2 3/2)
(*.f64 1/2 4)
(cos.f64 re)
(*.f64 1/2 (pow.f64 im 2))
(*.f64 1/2 (fma.f64 im im 2))
(+.f64 1/4 (*.f64 (pow.f64 re 2) 1/4))
(+.f64 1 (*.f64 -1/2 (pow.f64 re 2)))
(+.f64 (cos.f64 re) (cos.f64 re))
(pow.f64 (*.f64 (cos.f64 re) -2) -2)
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))

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

Calls

3 calls:

24.0ms	(cos.f64 re)
20.0ms	re
20.0ms	im

Results

Accuracy	Segments	Branch
78.3%	2	`re`
79.3%	2	`(cos.f64 re)`
87.7%	2	`im`

Compiler

Compiled 81 to 64 computations (21% saved)

regimes72.0ms (1.2%)

Counts

16 → 3

Calls

Call 1

Inputs
1/4
1
(*.f64 1/2 -4)
(*.f64 1/2 -2)
(*.f64 1/2 -1)
(*.f64 1/2 -1/2)
(*.f64 1/2 1/16)
(*.f64 1/2 3/2)
(*.f64 1/2 4)
(cos.f64 re)
(*.f64 1/2 (pow.f64 im 2))
(*.f64 1/2 (fma.f64 im im 2))
(+.f64 1/4 (*.f64 (pow.f64 re 2) 1/4))
(+.f64 1 (*.f64 -1/2 (pow.f64 re 2)))
(+.f64 (cos.f64 re) (cos.f64 re))
(pow.f64 (*.f64 (cos.f64 re) -2) -2)

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

Calls

3 calls:

29.0ms	im
25.0ms	re
14.0ms	(cos.f64 re)

Results

Accuracy	Segments	Branch
68.1%	2	`re`
67.6%	2	`(cos.f64 re)`
75.2%	3	`im`

Compiler

Compiled 73 to 58 computations (20.5% saved)

regimes26.0ms (0.4%)

Counts

13 → 3

Calls

Call 1

Inputs
1/4
1
(*.f64 1/2 -4)
(*.f64 1/2 -2)
(*.f64 1/2 -1)
(*.f64 1/2 -1/2)
(*.f64 1/2 1/16)
(*.f64 1/2 3/2)
(*.f64 1/2 4)
(cos.f64 re)
(*.f64 1/2 (pow.f64 im 2))
(*.f64 1/2 (fma.f64 im im 2))
(+.f64 1/4 (*.f64 (pow.f64 re 2) 1/4))

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

Calls

1 calls:

23.0ms

im

Results

Accuracy	Segments	Branch
75.1%	3	`im`

Compiler

Compiled 48 to 42 computations (12.5% saved)

regimes17.0ms (0.3%)

Counts

12 → 2

Calls

Call 1

Inputs
1/4
1
(*.f64 1/2 -4)
(*.f64 1/2 -2)
(*.f64 1/2 -1)
(*.f64 1/2 -1/2)
(*.f64 1/2 1/16)
(*.f64 1/2 3/2)
(*.f64 1/2 4)
(cos.f64 re)
(*.f64 1/2 (pow.f64 im 2))
(*.f64 1/2 (fma.f64 im im 2))

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

Calls

1 calls:

15.0ms

im

Results

Accuracy	Segments	Branch
73.3%	2	`im`

Compiler

Compiled 41 to 36 computations (12.2% saved)

regimes16.0ms (0.3%)

Counts

11 → 2

Calls

Call 1

Inputs
1/4
1
(*.f64 1/2 -4)
(*.f64 1/2 -2)
(*.f64 1/2 -1)
(*.f64 1/2 -1/2)
(*.f64 1/2 1/16)
(*.f64 1/2 3/2)
(*.f64 1/2 4)
(cos.f64 re)
(*.f64 1/2 (pow.f64 im 2))

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

Calls

1 calls:

14.0ms

im

Results

Accuracy	Segments	Branch
73.2%	2	`im`

Compiler

Compiled 35 to 32 computations (8.6% saved)

regimes21.0ms (0.3%)

Counts

10 → 1

Calls

Call 1

Inputs
1/4
1
(*.f64 1/2 -4)
(*.f64 1/2 -2)
(*.f64 1/2 -1)
(*.f64 1/2 -1/2)
(*.f64 1/2 1/16)
(*.f64 1/2 3/2)
(*.f64 1/2 4)
(cos.f64 re)

Outputs
(cos.f64 re)

Calls

3 calls:

7.0ms	re
6.0ms	im
5.0ms	(cos.f64 re)

Results

Accuracy	Segments	Branch
56.2%	1	`(cos.f64 re)`
56.2%	1	`re`
56.2%	1	`im`

Compiler

Compiled 37 to 33 computations (10.8% saved)

regimes16.0ms (0.3%)

Counts

9 → 1

Calls

Call 1

Inputs
1/4
1
(*.f64 1/2 -4)
(*.f64 1/2 -2)
(*.f64 1/2 -1)
(*.f64 1/2 -1/2)
(*.f64 1/2 1/16)
(*.f64 1/2 3/2)
(*.f64 1/2 4)

Outputs
1

Calls

2 calls:

8.0ms	re
6.0ms	im

Results

Accuracy	Segments	Branch
34.8%	1	`im`
34.8%	1	`re`

Compiler

Compiled 31 to 29 computations (6.5% saved)

regimes7.0ms (0.1%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
1/4

Outputs
1/4

Calls

2 calls:

4.0ms	re
3.0ms	im

Results

Accuracy	Segments	Branch
8.9%	1	`im`
8.9%	1	`re`

Compiler

Compiled 9 to 7 computations (22.2% saved)

bsearch41.0ms (0.7%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
23.0ms	2.726712035911707e+150	5.624391949339803e+152
18.0ms	1.962265456874638e-5	4.4520474414426994e-5

Results

21.0ms	112×	body	256	infinite
17.0ms	80×	body	256	valid

Compiler

Compiled 292 to 240 computations (17.8% saved)

Precisions

Click to see histograms

Operation ival-neg, total time spent: 1.0ms

Operation ival-mult, total time spent: 3.0ms

Operation ival-exp, total time spent: 5.0ms

Operation ival-cos, total time spent: 5.0ms

Operation ival-add, total time spent: 3.0ms

Operation const, total time spent: 0.0ms

bsearch41.0ms (0.7%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
22.0ms	2.726712035911707e+150	5.624391949339803e+152
18.0ms	1.962265456874638e-5	4.4520474414426994e-5

Results

21.0ms	112×	body	256	infinite
17.0ms	80×	body	256	valid

Compiler

Compiled 252 to 205 computations (18.7% saved)

Precisions

Click to see histograms

Operation ival-neg, total time spent: 1.0ms

Operation ival-mult, total time spent: 3.0ms

Operation ival-exp, total time spent: 6.0ms

Operation ival-cos, total time spent: 5.0ms

Operation ival-add, total time spent: 1.0ms

Operation const, total time spent: 0.0ms

bsearch16.0ms (0.3%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
15.0ms	1.962265456874638e-5	4.4520474414426994e-5

Results

14.0ms

80×

body

256

valid

Compiler

Compiled 98 to 79 computations (19.4% saved)

Precisions

Click to see histograms

Operation ival-neg, total time spent: 0.0ms

Operation ival-mult, total time spent: 1.0ms

Operation ival-exp, total time spent: 2.0ms

Operation ival-cos, total time spent: 2.0ms

Operation ival-add, total time spent: 0.0ms

Operation const, total time spent: 0.0ms

bsearch53.0ms (0.9%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
26.0ms	5.624391949339803e+152	9.381032037055947e+156
27.0ms	1970053015077124.5	1270172713803537400.0

Results

49.0ms

256×

body

256

infinite

Compiler

Compiled 290 to 246 computations (15.2% saved)

Precisions

Click to see histograms

Operation ival-neg, total time spent: 1.0ms

Operation ival-mult, total time spent: 4.0ms

Operation ival-exp, total time spent: 5.0ms

Operation ival-cos, total time spent: 7.0ms

Operation ival-add, total time spent: 2.0ms

Operation const, total time spent: 1.0ms

bsearch38.0ms (0.6%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
25.0ms	5.481079891516838e+83	3.340566345891205e+87
13.0ms	6.956257439496666e+43	1.3379105622414988e+44

Results

35.0ms

192×

body

256

infinite

Compiler

Compiled 230 to 194 computations (15.7% saved)

Precisions

Click to see histograms

Operation ival-neg, total time spent: 1.0ms

Operation ival-mult, total time spent: 3.0ms

Operation ival-exp, total time spent: 2.0ms

Operation ival-cos, total time spent: 5.0ms

Operation ival-add, total time spent: 1.0ms

Operation const, total time spent: 0.0ms

bsearch16.0ms (0.3%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
16.0ms	1.962265456874638e-5	4.4520474414426994e-5

Results

14.0ms

80×

body

256

valid

Compiler

Compiled 88 to 69 computations (21.6% saved)

Precisions

Click to see histograms

Operation ival-neg, total time spent: 0.0ms

Operation ival-mult, total time spent: 1.0ms

Operation ival-exp, total time spent: 2.0ms

Operation ival-cos, total time spent: 2.0ms

Operation ival-add, total time spent: 0.0ms

Operation const, total time spent: 0.0ms

bsearch19.0ms (0.3%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
15.0ms	6.956257439496666e+43	1.3379105622414988e+44

Results

14.0ms

64×

body

256

infinite

Compiler

Compiled 70 to 58 computations (17.1% saved)

Precisions

Click to see histograms

Operation ival-neg, total time spent: 0.0ms

Operation ival-mult, total time spent: 1.0ms

Operation ival-exp, total time spent: 1.0ms

Operation ival-cos, total time spent: 2.0ms

Operation ival-add, total time spent: 0.0ms

Operation const, total time spent: 0.0ms

simplify14.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

20×	`*-commutative`
10×	`+-commutative`
3×	`1-exp`
2×	`sub-neg`
2×	`neg-mul-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	66	543
1	87	543
2	89	543
3	90	543

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(if (<=.f64 im 3246626956972881/73786976294838206464) (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (pow.f64 im 2))) (if (<=.f64 im 549999999999999990549835981283966360639201719548682137730602686615732152134258519407922979909018518568772709217042151333455650191563889071830257876598784) (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (.f64 (cos.f64 re) (*.f64 1/2 (pow.f64 im 2)))))
(if (<=.f64 im 5902958103587057/147573952589676412928) (cos.f64 re) (if (<=.f64 im 549999999999999990549835981283966360639201719548682137730602686615732152134258519407922979909018518568772709217042151333455650191563889071830257876598784) (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (.f64 (cos.f64 re) (*.f64 1/2 (pow.f64 im 2)))))
(if (<=.f64 im 700976274800963/18446744073709551616) (cos.f64 re) (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(if (<=.f64 im 10000000000000000) (cos.f64 re) (if (<=.f64 im 12500000000000000089702894261377103801007685148645038975839096518281332710061042516033325873072023666298321726662095267032510191778683653244091706709639168) (+.f64 1 (.f64 -1/2 (pow.f64 re 2))) (.f64 1/2 (fma.f64 im im 2))))
(if (<=.f64 im 70000000000000002213544858001278968814108672) (cos.f64 re) (if (<=.f64 im 42999999999999999248770625560906782844760676022775077058758469414223932630294528524288) (+.f64 1/4 (.f64 (pow.f64 re 2) 1/4)) (.f64 1/2 (fma.f64 im im 2))))
(if (<=.f64 im 3246626956972881/73786976294838206464) (cos.f64 re) (*.f64 1/2 (fma.f64 im im 2)))
(if (<=.f64 im 74999999999999996712500739696774781333405696) (cos.f64 re) (*.f64 1/2 (pow.f64 im 2)))
(cos.f64 re)
1
1/4

Outputs
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(if (<=.f64 im 3246626956972881/73786976294838206464) (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (pow.f64 im 2))) (if (<=.f64 im 549999999999999990549835981283966360639201719548682137730602686615732152134258519407922979909018518568772709217042151333455650191563889071830257876598784) (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (.f64 (cos.f64 re) (*.f64 1/2 (pow.f64 im 2)))))
(if (<=.f64 im 3246626956972881/73786976294838206464) (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 2 (pow.f64 im 2))) (if (<=.f64 im 549999999999999990549835981283966360639201719548682137730602686615732152134258519407922979909018518568772709217042151333455650191563889071830257876598784) (.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (.f64 (cos.f64 re) (*.f64 1/2 (pow.f64 im 2)))))
(if (<=.f64 im 5902958103587057/147573952589676412928) (cos.f64 re) (if (<=.f64 im 549999999999999990549835981283966360639201719548682137730602686615732152134258519407922979909018518568772709217042151333455650191563889071830257876598784) (.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (.f64 (cos.f64 re) (*.f64 1/2 (pow.f64 im 2)))))
(if (<=.f64 im 5902958103587057/147573952589676412928) (cos.f64 re) (if (<=.f64 im 549999999999999990549835981283966360639201719548682137730602686615732152134258519407922979909018518568772709217042151333455650191563889071830257876598784) (.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (.f64 (cos.f64 re) (*.f64 1/2 (pow.f64 im 2)))))
(if (<=.f64 im 700976274800963/18446744073709551616) (cos.f64 re) (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(if (<=.f64 im 700976274800963/18446744073709551616) (cos.f64 re) (*.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(if (<=.f64 im 10000000000000000) (cos.f64 re) (if (<=.f64 im 12500000000000000089702894261377103801007685148645038975839096518281332710061042516033325873072023666298321726662095267032510191778683653244091706709639168) (+.f64 1 (.f64 -1/2 (pow.f64 re 2))) (.f64 1/2 (fma.f64 im im 2))))
(if (<=.f64 im 70000000000000002213544858001278968814108672) (cos.f64 re) (if (<=.f64 im 42999999999999999248770625560906782844760676022775077058758469414223932630294528524288) (+.f64 1/4 (.f64 (pow.f64 re 2) 1/4)) (.f64 1/2 (fma.f64 im im 2))))
(if (<=.f64 im 3246626956972881/73786976294838206464) (cos.f64 re) (*.f64 1/2 (fma.f64 im im 2)))
(if (<=.f64 im 74999999999999996712500739696774781333405696) (cos.f64 re) (*.f64 1/2 (pow.f64 im 2)))
(cos.f64 re)
1
1/4

Compiler

Compiled 180 to 136 computations (24.4% saved)

soundness473.0ms (7.6%)

Rules

1552×	`fma-def`
1334×	`fma-def`
1334×	`fma-def`
1334×	`fma-def`
1306×	`distribute-lft-in`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	77
1	202	77
2	3299	77
0	16	77
1	202	77
2	3299	77
0	169	3300
1	402	3047
2	1072	2918
3	4336	2905
0	188	3054
1	431	2959
2	1317	2797
3	5700	2797
0	169	3300
1	402	3047
2	1072	2918
3	4336	2905
0	169	3300
1	402	3047
2	1072	2918
3	4336	2905

Stop Event

1×	node limit
1×	node limit
1×	node limit
1×	node limit
1×	unsound
1×	unsound

Compiler

Compiled 105 to 77 computations (26.7% saved)

end0.0ms (0%)

preprocess122.0ms (2%)

Remove

(abs im)

(abs re)

Compiler

Compiled 606 to 412 computations (32% saved)

analyze0.0ms (0%)

sample2.1s (33.2%)

preprocess202.0ms (3.3%)

eval1.0ms (0%)

prune2.0ms (0%)

localize68.0ms (1.1%)

series6.0ms (0.1%)

rewrite164.0ms (2.6%)

simplify50.0ms (0.8%)

eval132.0ms (2.1%)

prune21.0ms (0.3%)

localize185.0ms (3%)

series6.0ms (0.1%)

rewrite42.0ms (0.7%)

simplify90.0ms (1.4%)

eval171.0ms (2.7%)

prune150.0ms (2.4%)

localize142.0ms (2.3%)

series4.0ms (0.1%)

rewrite93.0ms (1.5%)

simplify90.0ms (1.5%)

eval49.0ms (0.8%)

prune39.0ms (0.6%)

localize190.0ms (3.1%)

series5.0ms (0.1%)

rewrite107.0ms (1.7%)

simplify369.0ms (5.9%)

eval229.0ms (3.7%)

prune187.0ms (3%)

regimes148.0ms (2.4%)

regimes103.0ms (1.6%)

regimes36.0ms (0.6%)

regimes69.0ms (1.1%)

regimes72.0ms (1.2%)

regimes26.0ms (0.4%)

regimes17.0ms (0.3%)

regimes16.0ms (0.3%)

regimes21.0ms (0.3%)

regimes16.0ms (0.3%)

regimes7.0ms (0.1%)

bsearch41.0ms (0.7%)

bsearch41.0ms (0.7%)

bsearch16.0ms (0.3%)

bsearch53.0ms (0.9%)

bsearch38.0ms (0.6%)

bsearch16.0ms (0.3%)

bsearch19.0ms (0.3%)

simplify14.0ms (0.2%)

soundness473.0ms (7.6%)

end0.0ms (0%)

preprocess122.0ms (2%)

Profiling