Metrics for math.exp on complex, real part

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated; 0ms collecting garbage

analyze0.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated; 0ms collecting garbage

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 7 to 7 computations (0% saved)

sample835.0ms (29.7%)

Memory

43.8MiB live, 1 260.1MiB allocated; 275ms collecting garbage

Samples

582.0ms

8 256×

valid

Precisions

Click to see histograms. Total time spent on operations: 404.0ms

ival-cos: 228.0ms (56.5% of total)

ival-exp: 123.0ms (30.5% of total)

ival-mult!: 51.0ms (12.6% of total)

adjust: 2.0ms (0.5% of total)

Bogosity

preprocess57.0ms (2%)

Memory

-7.5MiB live, 36.2MiB allocated; 22ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	16	34
1	51	34
2	242	32

Stop Event

1×	iter-limit
1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(*.f64 (exp.f64 re) (cos.f64 im))

Symmetry

(abs im)

Compiler

Compiled 10 to 10 computations (0% saved)

series86.0ms (3%)

Memory

3.4MiB live, 57.0MiB allocated; 67ms collecting garbage

Counts

5 → 18

Calls

Call 1

Inputs
(*.f64 (exp.f64 re) (cos.f64 im))
(exp.f64 re)
re
(cos.f64 im)
im

Outputs
#s(approx (* (exp re) (cos im)) (cos.f64 im))
#s(approx (* (exp re) (cos im)) (+.f64 (cos.f64 im) (*.f64 re (cos.f64 im))))
#s(approx (* (exp re) (cos im)) (+.f64 (cos.f64 im) (.f64 re (+.f64 (cos.f64 im) (.f64 #s(literal 1/2 binary64) (*.f64 re (cos.f64 im)))))))
#s(approx (* (exp re) (cos im)) (+.f64 (cos.f64 im) (.f64 re (+.f64 (cos.f64 im) (.f64 re (fma.f64 #s(literal 1/6 binary64) (.f64 re (cos.f64 im)) (.f64 #s(literal 1/2 binary64) (cos.f64 im))))))))
#s(approx (exp re) #s(literal 1 binary64))
#s(approx (exp re) (+.f64 #s(literal 1 binary64) re))
#s(approx (exp re) (+.f64 #s(literal 1 binary64) (.f64 re (+.f64 #s(literal 1 binary64) (.f64 #s(literal 1/2 binary64) re)))))
#s(approx (exp re) (+.f64 #s(literal 1 binary64) (.f64 re (+.f64 #s(literal 1 binary64) (.f64 re (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1/6 binary64) re)))))))
#s(approx re re)
#s(approx (* (exp re) (cos im)) (*.f64 (cos.f64 im) (exp.f64 re)))
#s(approx (exp re) (exp.f64 re))
#s(approx (* (exp re) (cos im)) (+.f64 (exp.f64 re) (.f64 #s(literal -1/2 binary64) (.f64 (pow.f64 im #s(literal 2 binary64)) (exp.f64 re)))))
#s(approx (* (exp re) (cos im)) (+.f64 (exp.f64 re) (.f64 (pow.f64 im #s(literal 2 binary64)) (fma.f64 #s(literal -1/2 binary64) (exp.f64 re) (.f64 #s(literal 1/24 binary64) (*.f64 (pow.f64 im #s(literal 2 binary64)) (exp.f64 re)))))))
#s(approx (* (exp re) (cos im)) (+.f64 (exp.f64 re) (.f64 (pow.f64 im #s(literal 2 binary64)) (fma.f64 #s(literal -1/2 binary64) (exp.f64 re) (.f64 (pow.f64 im #s(literal 2 binary64)) (fma.f64 #s(literal -1/720 binary64) (.f64 (pow.f64 im #s(literal 2 binary64)) (exp.f64 re)) (.f64 #s(literal 1/24 binary64) (exp.f64 re))))))))
#s(approx (cos im) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 2 binary64)))))
#s(approx (cos im) (+.f64 #s(literal 1 binary64) (.f64 (pow.f64 im #s(literal 2 binary64)) (-.f64 (.f64 #s(literal 1/24 binary64) (pow.f64 im #s(literal 2 binary64))) #s(literal 1/2 binary64)))))
#s(approx (cos im) (+.f64 #s(literal 1 binary64) (.f64 (pow.f64 im #s(literal 2 binary64)) (-.f64 (.f64 (pow.f64 im #s(literal 2 binary64)) (+.f64 #s(literal 1/24 binary64) (*.f64 #s(literal -1/720 binary64) (pow.f64 im #s(literal 2 binary64))))) #s(literal 1/2 binary64)))))
#s(approx im im)

Calls

6 calls:

Time	Variable	Point
1.0ms	re	-inf
1.0ms	re	inf
0.0ms	im	inf
0.0ms	im	0
0.0ms	im	-inf

rewrite136.0ms (4.8%)

Memory

-8.1MiB live, 132.2MiB allocated; 21ms collecting garbage

Counts

5 → 18

Calls

Call 1

Inputs
(*.f64 (exp.f64 re) (cos.f64 im))
(exp.f64 re)
re
(cos.f64 im)
im

Outputs
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (cos.f64 im) (exp.f64 re))
(+.f64 (.f64 (cos.f64 im) (cosh.f64 re)) (.f64 (cos.f64 im) (sinh.f64 re)))
(+.f64 (.f64 (cos.f64 im) (sinh.f64 re)) (.f64 (cos.f64 im) (cosh.f64 re)))
(+.f64 (.f64 (exp.f64 re) (.f64 (sin.f64 im) #s(literal 0 binary64))) (.f64 (exp.f64 re) (.f64 (cos.f64 im) #s(literal 1 binary64))))
(+.f64 (cosh.f64 re) (sinh.f64 re))
(+.f64 (sinh.f64 re) (cosh.f64 re))
(+.f64 (/.f64 (pow.f64 (cosh.f64 re) #s(literal 3 binary64)) (fma.f64 (sinh.f64 re) (-.f64 (sinh.f64 re) (cosh.f64 re)) (.f64 (cosh.f64 re) (cosh.f64 re)))) (/.f64 (pow.f64 (sinh.f64 re) #s(literal 3 binary64)) (fma.f64 (sinh.f64 re) (-.f64 (sinh.f64 re) (cosh.f64 re)) (.f64 (cosh.f64 re) (cosh.f64 re)))))
(-.f64 (/.f64 (.f64 (cosh.f64 re) (cosh.f64 re)) (exp.f64 (neg.f64 re))) (/.f64 (.f64 (sinh.f64 re) (sinh.f64 re)) (exp.f64 (neg.f64 re))))
(/.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 re)))
re
(+.f64 (.f64 (cos.f64 im) #s(literal 1 binary64)) (.f64 (sin.f64 im) #s(literal 0 binary64)))
(+.f64 (.f64 (sin.f64 im) #s(literal 0 binary64)) (.f64 (cos.f64 im) #s(literal 1 binary64)))
(+.f64 (.f64 (sin.f64 (neg.f64 im)) #s(literal 0 binary64)) (.f64 (cos.f64 im) #s(literal 1 binary64)))
(-.f64 (.f64 (sin.f64 im) #s(literal 0 binary64)) (.f64 (neg.f64 (cos.f64 im)) #s(literal 1 binary64)))
(/.f64 (-.f64 (.f64 (.f64 (sin.f64 im) #s(literal 0 binary64)) (.f64 (sin.f64 im) #s(literal 0 binary64))) (.f64 (.f64 (cos.f64 im) #s(literal 1 binary64)) (.f64 (cos.f64 im) #s(literal 1 binary64)))) (-.f64 (.f64 (sin.f64 im) #s(literal 0 binary64)) (.f64 (cos.f64 im) #s(literal 1 binary64))))
im
(neg.f64 (neg.f64 im))

eval4.0ms (0.1%)

Memory: 7.1MiB live, 7.1MiB allocated; 0ms collecting garbage
Compiler: Compiled 499 to 152 computations (69.5% saved)

prune3.0ms (0.1%)

Memory

6.3MiB live, 6.3MiB allocated; 0ms collecting garbage

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	28	5	33
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	28	6	34

Accuracy

100.0%

Counts

34 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(*.f64 (/.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 re))) (cos.f64 im))
✓	100.0%	(*.f64 (exp.f64 re) (cos.f64 im))
▶	65.9%	(.f64 (exp.f64 re) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 2 binary64))))))
▶	52.7%	(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) (cos.f64 im))
▶	52.7%	#s(approx (* (exp re) (cos im)) (+.f64 (cos.f64 im) (*.f64 re (cos.f64 im))))
▶	52.2%	#s(approx (* (exp re) (cos im)) (cos.f64 im))

Compiler

Compiled 107 to 93 computations (13.1% saved)

series225.0ms (8%)

Memory

-2.1MiB live, 111.2MiB allocated; 195ms collecting garbage

Counts

23 → 46

Calls

Call 1

Inputs
(*.f64 (/.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 re))) (cos.f64 im))
(/.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 re)))
#s(literal 1 binary64)
(exp.f64 (neg.f64 re))
(neg.f64 re)
re
(cos.f64 im)
im
#s(approx (* (exp re) (cos im)) (cos.f64 im))
(.f64 (exp.f64 re) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 2 binary64))))))
(exp.f64 re)
#s(approx (cos im) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 2 binary64)))))
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 2 binary64))))
(*.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 2 binary64)))
#s(literal -1/2 binary64)
(pow.f64 im #s(literal 2 binary64))
#s(literal 2 binary64)
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) (cos.f64 im))
#s(approx (exp re) (+.f64 #s(literal 1 binary64) re))
(+.f64 #s(literal 1 binary64) re)
#s(approx (* (exp re) (cos im)) (+.f64 (cos.f64 im) (*.f64 re (cos.f64 im))))
(+.f64 (cos.f64 im) (*.f64 re (cos.f64 im)))
(*.f64 re (cos.f64 im))

Outputs
#s(approx (* (/ 1 (exp (neg re))) (cos im)) (cos.f64 im))
#s(approx (* (/ 1 (exp (neg re))) (cos im)) (+.f64 (cos.f64 im) (*.f64 re (cos.f64 im))))
#s(approx (* (/ 1 (exp (neg re))) (cos im)) (+.f64 (cos.f64 im) (.f64 re (-.f64 (.f64 #s(literal -1 binary64) (.f64 re (fma.f64 #s(literal -1 binary64) (cos.f64 im) (.f64 #s(literal 1/2 binary64) (cos.f64 im))))) (*.f64 #s(literal -1 binary64) (cos.f64 im))))))
#s(approx (* (/ 1 (exp (neg re))) (cos im)) (+.f64 (cos.f64 im) (.f64 re (-.f64 (.f64 re (-.f64 (.f64 #s(literal -1 binary64) (.f64 re (+.f64 (cos.f64 im) (fma.f64 #s(literal -1 binary64) (cos.f64 im) (.f64 #s(literal -1/6 binary64) (cos.f64 im)))))) (fma.f64 #s(literal -1 binary64) (cos.f64 im) (.f64 #s(literal 1/2 binary64) (cos.f64 im))))) (*.f64 #s(literal -1 binary64) (cos.f64 im))))))
#s(approx (/ 1 (exp (neg re))) #s(literal 1 binary64))
#s(approx (/ 1 (exp (neg re))) (+.f64 #s(literal 1 binary64) re))
#s(approx (/ 1 (exp (neg re))) (+.f64 #s(literal 1 binary64) (.f64 re (+.f64 #s(literal 1 binary64) (.f64 #s(literal 1/2 binary64) re)))))
#s(approx (/ 1 (exp (neg re))) (+.f64 #s(literal 1 binary64) (.f64 re (+.f64 #s(literal 1 binary64) (.f64 re (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1/6 binary64) re)))))))
#s(approx (exp (neg re)) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) re)))
#s(approx (exp (neg re)) (+.f64 #s(literal 1 binary64) (.f64 re (-.f64 (.f64 #s(literal 1/2 binary64) re) #s(literal 1 binary64)))))
#s(approx (exp (neg re)) (+.f64 #s(literal 1 binary64) (.f64 re (-.f64 (.f64 re (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -1/6 binary64) re))) #s(literal 1 binary64)))))
#s(approx (neg re) (*.f64 #s(literal -1 binary64) re))
#s(approx re re)
#s(approx (* (exp re) (cos im)) (+.f64 (cos.f64 im) (.f64 re (+.f64 (cos.f64 im) (.f64 #s(literal 1/2 binary64) (*.f64 re (cos.f64 im)))))))
#s(approx (* (exp re) (cos im)) (+.f64 (cos.f64 im) (.f64 re (+.f64 (cos.f64 im) (.f64 re (fma.f64 #s(literal 1/6 binary64) (.f64 re (cos.f64 im)) (.f64 #s(literal 1/2 binary64) (cos.f64 im))))))))
#s(approx (* re (cos im)) (*.f64 re (cos.f64 im)))
#s(approx (* (/ 1 (exp (neg re))) (cos im)) (/.f64 (cos.f64 im) (exp.f64 (neg.f64 re))))
#s(approx (/ 1 (exp (neg re))) (/.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 re))))
#s(approx (exp (neg re)) (exp.f64 (neg.f64 re)))
#s(approx (* (exp re) (cos im)) (*.f64 (cos.f64 im) (exp.f64 re)))
#s(approx (exp re) (exp.f64 re))
#s(approx (+ 1 re) (*.f64 re (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) re))))
#s(approx (+ (cos im) (* re (cos im))) (*.f64 re (+.f64 (cos.f64 im) (/.f64 (cos.f64 im) re))))
#s(approx (* (/ 1 (exp (neg re))) (cos im)) (/.f64 (cos.f64 im) (exp.f64 (*.f64 #s(literal -1 binary64) re))))
#s(approx (/ 1 (exp (neg re))) (/.f64 #s(literal 1 binary64) (exp.f64 (*.f64 #s(literal -1 binary64) re))))
#s(approx (exp (neg re)) (exp.f64 (*.f64 #s(literal -1 binary64) re)))
#s(approx (+ (cos im) (* re (cos im))) (.f64 #s(literal -1 binary64) (.f64 re (fma.f64 #s(literal -1 binary64) (cos.f64 im) (*.f64 #s(literal -1 binary64) (/.f64 (cos.f64 im) re))))))
#s(approx (* (/ 1 (exp (neg re))) (cos im)) (fma.f64 #s(literal -1/2 binary64) (/.f64 (pow.f64 im #s(literal 2 binary64)) (exp.f64 (neg.f64 re))) (/.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 re)))))
#s(approx (* (/ 1 (exp (neg re))) (cos im)) (fma.f64 (pow.f64 im #s(literal 2 binary64)) (-.f64 (.f64 #s(literal 1/24 binary64) (/.f64 (pow.f64 im #s(literal 2 binary64)) (exp.f64 (neg.f64 re)))) (.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 re))))) (/.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 re)))))
#s(approx (* (/ 1 (exp (neg re))) (cos im)) (fma.f64 (pow.f64 im #s(literal 2 binary64)) (-.f64 (.f64 (pow.f64 im #s(literal 2 binary64)) (fma.f64 #s(literal -1/720 binary64) (/.f64 (pow.f64 im #s(literal 2 binary64)) (exp.f64 (neg.f64 re))) (.f64 #s(literal 1/24 binary64) (/.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 re)))))) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 re))))) (/.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 re)))))
#s(approx (cos im) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 2 binary64)))))
#s(approx (cos im) (+.f64 #s(literal 1 binary64) (.f64 (pow.f64 im #s(literal 2 binary64)) (-.f64 (.f64 #s(literal 1/24 binary64) (pow.f64 im #s(literal 2 binary64))) #s(literal 1/2 binary64)))))
#s(approx (cos im) (+.f64 #s(literal 1 binary64) (.f64 (pow.f64 im #s(literal 2 binary64)) (-.f64 (.f64 (pow.f64 im #s(literal 2 binary64)) (+.f64 #s(literal 1/24 binary64) (*.f64 #s(literal -1/720 binary64) (pow.f64 im #s(literal 2 binary64))))) #s(literal 1/2 binary64)))))
#s(approx im im)
#s(approx (* (exp re) (cos im)) (+.f64 (exp.f64 re) (.f64 #s(literal -1/2 binary64) (.f64 (pow.f64 im #s(literal 2 binary64)) (exp.f64 re)))))
#s(approx (* (exp re) (cos im)) (+.f64 (exp.f64 re) (.f64 (pow.f64 im #s(literal 2 binary64)) (fma.f64 #s(literal -1/2 binary64) (exp.f64 re) (.f64 #s(literal 1/24 binary64) (*.f64 (pow.f64 im #s(literal 2 binary64)) (exp.f64 re)))))))
#s(approx (* (exp re) (cos im)) (+.f64 (exp.f64 re) (.f64 (pow.f64 im #s(literal 2 binary64)) (fma.f64 #s(literal -1/2 binary64) (exp.f64 re) (.f64 (pow.f64 im #s(literal 2 binary64)) (fma.f64 #s(literal -1/720 binary64) (.f64 (pow.f64 im #s(literal 2 binary64)) (exp.f64 re)) (.f64 #s(literal 1/24 binary64) (exp.f64 re))))))))
#s(approx (* -1/2 (pow im 2)) (*.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 2 binary64))))
#s(approx (pow im 2) (pow.f64 im #s(literal 2 binary64)))
#s(approx (+ (cos im) (* re (cos im))) (+.f64 #s(literal 1 binary64) (+.f64 re (.f64 (pow.f64 im #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/2 binary64) re) #s(literal 1/2 binary64))))))
#s(approx (+ (cos im) (* re (cos im))) (+.f64 #s(literal 1 binary64) (+.f64 re (.f64 (pow.f64 im #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/2 binary64) re (.f64 (pow.f64 im #s(literal 2 binary64)) (+.f64 #s(literal 1/24 binary64) (*.f64 #s(literal 1/24 binary64) re)))) #s(literal 1/2 binary64))))))
#s(approx (+ (cos im) (* re (cos im))) (+.f64 #s(literal 1 binary64) (+.f64 re (.f64 (pow.f64 im #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/2 binary64) re (.f64 (pow.f64 im #s(literal 2 binary64)) (+.f64 #s(literal 1/24 binary64) (fma.f64 #s(literal 1/24 binary64) re (.f64 (pow.f64 im #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/720 binary64) re) #s(literal 1/720 binary64))))))) #s(literal 1/2 binary64))))))
#s(approx (* re (cos im)) (+.f64 re (.f64 #s(literal -1/2 binary64) (.f64 (pow.f64 im #s(literal 2 binary64)) re))))
#s(approx (* re (cos im)) (+.f64 re (.f64 (pow.f64 im #s(literal 2 binary64)) (fma.f64 #s(literal -1/2 binary64) re (.f64 #s(literal 1/24 binary64) (*.f64 (pow.f64 im #s(literal 2 binary64)) re))))))
#s(approx (* re (cos im)) (+.f64 re (.f64 (pow.f64 im #s(literal 2 binary64)) (fma.f64 #s(literal -1/2 binary64) re (.f64 (pow.f64 im #s(literal 2 binary64)) (fma.f64 #s(literal -1/720 binary64) (.f64 (pow.f64 im #s(literal 2 binary64)) re) (.f64 #s(literal 1/24 binary64) re)))))))
#s(approx (+ 1 (* -1/2 (pow im 2))) (*.f64 (pow.f64 im #s(literal 2 binary64)) (-.f64 (/.f64 #s(literal 1 binary64) (pow.f64 im #s(literal 2 binary64))) #s(literal 1/2 binary64))))

Calls

6 calls:

Time	Variable	Point
3.0ms	im	0
2.0ms	im	inf
2.0ms	re	-inf
2.0ms	im	-inf
2.0ms	re	0

rewrite171.0ms (6.1%)

Memory

5.3MiB live, 192.0MiB allocated; 39ms collecting garbage

Counts

23 → 91

Calls

Call 1

Inputs
(*.f64 (/.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 re))) (cos.f64 im))
(/.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 re)))
#s(literal 1 binary64)
(exp.f64 (neg.f64 re))
(neg.f64 re)
re
(cos.f64 im)
im
#s(approx (* (exp re) (cos im)) (cos.f64 im))
(.f64 (exp.f64 re) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 2 binary64))))))
(exp.f64 re)
#s(approx (cos im) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 2 binary64)))))
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 2 binary64))))
(*.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 2 binary64)))
#s(literal -1/2 binary64)
(pow.f64 im #s(literal 2 binary64))
#s(literal 2 binary64)
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) (cos.f64 im))
#s(approx (exp re) (+.f64 #s(literal 1 binary64) re))
(+.f64 #s(literal 1 binary64) re)
#s(approx (* (exp re) (cos im)) (+.f64 (cos.f64 im) (*.f64 re (cos.f64 im))))
(+.f64 (cos.f64 im) (*.f64 re (cos.f64 im)))
(*.f64 re (cos.f64 im))

Outputs
(*.f64 #s(literal 1 binary64) (cos.f64 #s(literal 1 binary64)))
(*.f64 (cos.f64 #s(literal 1 binary64)) (cos.f64 #s(literal 1 binary64)))
(*.f64 (cos.f64 #s(literal 1 binary64)) #s(literal 1 binary64))
(*.f64 (sin.f64 #s(literal 1 binary64)) (sin.f64 #s(literal 1 binary64)))
(*.f64 (fabs.f64 (sin.f64 #s(literal 1 binary64))) (fabs.f64 (sin.f64 #s(literal 1 binary64))))
#s(literal 1 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
re
im
#s(literal 1 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
re
im
#s(literal 1 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
re
im
#s(literal 1 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
re
im
#s(literal 1 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
re
im
(*.f64 #s(literal 1 binary64) (cos.f64 #s(literal 1 binary64)))
(*.f64 (cos.f64 #s(literal 1 binary64)) (cos.f64 #s(literal 1 binary64)))
(*.f64 (cos.f64 #s(literal 1 binary64)) #s(literal 1 binary64))
(*.f64 (sin.f64 #s(literal 1 binary64)) (sin.f64 #s(literal 1 binary64)))
(*.f64 (fabs.f64 (sin.f64 #s(literal 1 binary64))) (fabs.f64 (sin.f64 #s(literal 1 binary64))))
#s(literal 1 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
re
im
#s(approx (cos 0) (cos.f64 #s(literal 1 binary64)))
(*.f64 #s(literal 1 binary64) #s(approx (cos 0) (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
#s(literal 1 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
re
im
#s(approx (cos 0) (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64)))
(*.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))
(*.f64 (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64)) (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64)))
(*.f64 (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64)) #s(literal -1/2 binary64))
(*.f64 (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64)) #s(literal 1 binary64))
(*.f64 (fabs.f64 #s(literal -1/2 binary64)) (fabs.f64 #s(literal -1/2 binary64)))
#s(literal -1/2 binary64)
(*.f64 #s(literal -1/2 binary64) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))
(+.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))
(/.f64 #s(literal -1/2 binary64) #s(literal 1 binary64))
#s(literal -1/2 binary64)
(*.f64 #s(literal -1/2 binary64) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))
(+.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))
(/.f64 #s(literal -1/2 binary64) #s(literal 1 binary64))
#s(literal 1 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
re
im
#s(literal 1 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
re
im
(*.f64 #s(approx 0 #s(literal 1 binary64)) (cos.f64 #s(literal 1 binary64)))
#s(approx 0 #s(literal 1 binary64))
#s(literal 1 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
re
im
#s(approx (cos 0) (cos.f64 #s(literal 1 binary64)))
(*.f64 #s(literal 1 binary64) (cos.f64 #s(literal 1 binary64)))
(*.f64 (cos.f64 #s(literal 1 binary64)) (cos.f64 #s(literal 1 binary64)))
(*.f64 (cos.f64 #s(literal 1 binary64)) #s(literal 1 binary64))
(*.f64 (sin.f64 #s(literal 1 binary64)) (sin.f64 #s(literal 1 binary64)))
(*.f64 (fabs.f64 (sin.f64 #s(literal 1 binary64))) (fabs.f64 (sin.f64 #s(literal 1 binary64))))
(*.f64 #s(literal 1 binary64) (cos.f64 #s(literal 1 binary64)))
(*.f64 (cos.f64 #s(literal 1 binary64)) (cos.f64 #s(literal 1 binary64)))
(*.f64 (cos.f64 #s(literal 1 binary64)) #s(literal 1 binary64))
(*.f64 (sin.f64 #s(literal 1 binary64)) (sin.f64 #s(literal 1 binary64)))
(*.f64 (fabs.f64 (sin.f64 #s(literal 1 binary64))) (fabs.f64 (sin.f64 #s(literal 1 binary64))))

eval10.0ms (0.3%)

Memory: -28.7MiB live, 17.5MiB allocated; 3ms collecting garbage
Compiler: Compiled 1 538 to 366 computations (76.2% saved)

prune7.0ms (0.2%)

Memory

17.1MiB live, 17.1MiB allocated; 0ms collecting garbage

Pruning

12 alts after pruning (9 fresh and 3 done)

	Pruned	Kept	Total
New	78	9	87
Fresh	0	0	0
Picked	3	2	5
Done	0	1	1
Total	81	12	93

Accuracy

100.0%

Counts

93 → 12

Alt Table

Click to see full alt table

Status	Accuracy	Program
	52.9%	(.f64 (/.f64 #s(literal 1 binary64) #s(approx (exp (neg re)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) re)))) (cos.f64 im))
✓	100.0%	(*.f64 (exp.f64 re) (cos.f64 im))
▶	30.1%	(*.f64 (exp.f64 re) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (+.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64)))))
▶	51.0%	(*.f64 (exp.f64 re) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
	37.1%	(.f64 (exp.f64 re) #s(approx (cos im) (.f64 (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64)) #s(literal -1/2 binary64))))
	50.4%	(.f64 (exp.f64 re) #s(approx (cos im) (.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))))
	51.2%	(*.f64 (exp.f64 re) #s(approx (cos 0) (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
✓	52.7%	(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) (cos.f64 im))
▶	8.9%	(*.f64 #s(literal 1 binary64) #s(approx (cos 0) (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
▶	100.0%	#s(approx (* (/ 1 (exp (neg re))) (cos im)) (/.f64 (cos.f64 im) (exp.f64 (neg.f64 re))))
✓	52.2%	#s(approx (* (exp re) (cos im)) (cos.f64 im))
▶	31.2%	#s(approx (* (exp re) (cos im)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 2 binary64))))))

Compiler

Compiled 226 to 208 computations (8% saved)

series96.0ms (3.4%)

Memory

-13.2MiB live, 83.3MiB allocated; 17ms collecting garbage

Counts

26 → 35

Calls

Call 1

Inputs
#s(approx (* (/ 1 (exp (neg re))) (cos im)) (/.f64 (cos.f64 im) (exp.f64 (neg.f64 re))))
(/.f64 (cos.f64 im) (exp.f64 (neg.f64 re)))
(cos.f64 im)
im
(exp.f64 (neg.f64 re))
(neg.f64 re)
re
(*.f64 #s(literal 1 binary64) #s(approx (cos 0) (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
#s(literal 1 binary64)
#s(approx (cos 0) (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64)))
(-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))
#s(literal -1/2 binary64)
(*.f64 (exp.f64 re) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(exp.f64 re)
#s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64)))
(+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))
(*.f64 (exp.f64 re) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (+.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64)))))
#s(approx (cos im) (+.f64 #s(literal 1 binary64) (+.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))))
(+.f64 #s(literal 1 binary64) (+.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64)))
(+.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 2 binary64))))))
#s(approx (cos im) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 2 binary64)))))
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 2 binary64))))
(*.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 2 binary64)))
(pow.f64 im #s(literal 2 binary64))
#s(literal 2 binary64)

Outputs
#s(approx (* (/ 1 (exp (neg re))) (cos im)) (cos.f64 im))
#s(approx (* (/ 1 (exp (neg re))) (cos im)) (+.f64 (cos.f64 im) (*.f64 re (cos.f64 im))))
#s(approx (* (/ 1 (exp (neg re))) (cos im)) (+.f64 (cos.f64 im) (.f64 re (-.f64 (.f64 #s(literal -1 binary64) (.f64 re (fma.f64 #s(literal -1 binary64) (cos.f64 im) (.f64 #s(literal 1/2 binary64) (cos.f64 im))))) (*.f64 #s(literal -1 binary64) (cos.f64 im))))))
#s(approx (* (/ 1 (exp (neg re))) (cos im)) (+.f64 (cos.f64 im) (.f64 re (-.f64 (.f64 re (-.f64 (.f64 #s(literal -1 binary64) (.f64 re (+.f64 (cos.f64 im) (fma.f64 #s(literal -1 binary64) (cos.f64 im) (.f64 #s(literal -1/6 binary64) (cos.f64 im)))))) (fma.f64 #s(literal -1 binary64) (cos.f64 im) (.f64 #s(literal 1/2 binary64) (cos.f64 im))))) (*.f64 #s(literal -1 binary64) (cos.f64 im))))))
#s(approx (exp (neg re)) #s(literal 1 binary64))
#s(approx (exp (neg re)) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) re)))
#s(approx (exp (neg re)) (+.f64 #s(literal 1 binary64) (.f64 re (-.f64 (.f64 #s(literal 1/2 binary64) re) #s(literal 1 binary64)))))
#s(approx (exp (neg re)) (+.f64 #s(literal 1 binary64) (.f64 re (-.f64 (.f64 re (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -1/6 binary64) re))) #s(literal 1 binary64)))))
#s(approx (neg re) (*.f64 #s(literal -1 binary64) re))
#s(approx re re)
#s(approx (* (exp re) (cos im)) (+.f64 (cos.f64 im) (.f64 re (+.f64 (cos.f64 im) (.f64 #s(literal 1/2 binary64) (*.f64 re (cos.f64 im)))))))
#s(approx (* (exp re) (cos im)) (+.f64 (cos.f64 im) (.f64 re (+.f64 (cos.f64 im) (.f64 re (fma.f64 #s(literal 1/6 binary64) (.f64 re (cos.f64 im)) (.f64 #s(literal 1/2 binary64) (cos.f64 im))))))))
#s(approx (exp re) (+.f64 #s(literal 1 binary64) re))
#s(approx (exp re) (+.f64 #s(literal 1 binary64) (.f64 re (+.f64 #s(literal 1 binary64) (.f64 #s(literal 1/2 binary64) re)))))
#s(approx (exp re) (+.f64 #s(literal 1 binary64) (.f64 re (+.f64 #s(literal 1 binary64) (.f64 re (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1/6 binary64) re)))))))
#s(approx (* (/ 1 (exp (neg re))) (cos im)) (/.f64 (cos.f64 im) (exp.f64 (neg.f64 re))))
#s(approx (exp (neg re)) (exp.f64 (neg.f64 re)))
#s(approx (* (exp re) (cos im)) (*.f64 (cos.f64 im) (exp.f64 re)))
#s(approx (exp re) (exp.f64 re))
#s(approx (* (/ 1 (exp (neg re))) (cos im)) (/.f64 (cos.f64 im) (exp.f64 (*.f64 #s(literal -1 binary64) re))))
#s(approx (exp (neg re)) (exp.f64 (*.f64 #s(literal -1 binary64) re)))
#s(approx (* (/ 1 (exp (neg re))) (cos im)) (/.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 re))))
#s(approx (* (/ 1 (exp (neg re))) (cos im)) (fma.f64 #s(literal -1/2 binary64) (/.f64 (pow.f64 im #s(literal 2 binary64)) (exp.f64 (neg.f64 re))) (/.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 re)))))
#s(approx (* (/ 1 (exp (neg re))) (cos im)) (fma.f64 (pow.f64 im #s(literal 2 binary64)) (-.f64 (.f64 #s(literal 1/24 binary64) (/.f64 (pow.f64 im #s(literal 2 binary64)) (exp.f64 (neg.f64 re)))) (.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 re))))) (/.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 re)))))
#s(approx (* (/ 1 (exp (neg re))) (cos im)) (fma.f64 (pow.f64 im #s(literal 2 binary64)) (-.f64 (.f64 (pow.f64 im #s(literal 2 binary64)) (fma.f64 #s(literal -1/720 binary64) (/.f64 (pow.f64 im #s(literal 2 binary64)) (exp.f64 (neg.f64 re))) (.f64 #s(literal 1/24 binary64) (/.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 re)))))) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 re))))) (/.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 re)))))
#s(approx (cos im) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 2 binary64)))))
#s(approx (cos im) (+.f64 #s(literal 1 binary64) (.f64 (pow.f64 im #s(literal 2 binary64)) (-.f64 (.f64 #s(literal 1/24 binary64) (pow.f64 im #s(literal 2 binary64))) #s(literal 1/2 binary64)))))
#s(approx (cos im) (+.f64 #s(literal 1 binary64) (.f64 (pow.f64 im #s(literal 2 binary64)) (-.f64 (.f64 (pow.f64 im #s(literal 2 binary64)) (+.f64 #s(literal 1/24 binary64) (*.f64 #s(literal -1/720 binary64) (pow.f64 im #s(literal 2 binary64))))) #s(literal 1/2 binary64)))))
#s(approx im im)
#s(approx (* (exp re) (cos im)) (+.f64 (exp.f64 re) (.f64 #s(literal -1/2 binary64) (.f64 (pow.f64 im #s(literal 2 binary64)) (exp.f64 re)))))
#s(approx (* (exp re) (cos im)) (+.f64 (exp.f64 re) (.f64 (pow.f64 im #s(literal 2 binary64)) (fma.f64 #s(literal -1/2 binary64) (exp.f64 re) (.f64 #s(literal 1/24 binary64) (*.f64 (pow.f64 im #s(literal 2 binary64)) (exp.f64 re)))))))
#s(approx (* (exp re) (cos im)) (+.f64 (exp.f64 re) (.f64 (pow.f64 im #s(literal 2 binary64)) (fma.f64 #s(literal -1/2 binary64) (exp.f64 re) (.f64 (pow.f64 im #s(literal 2 binary64)) (fma.f64 #s(literal -1/720 binary64) (.f64 (pow.f64 im #s(literal 2 binary64)) (exp.f64 re)) (.f64 #s(literal 1/24 binary64) (exp.f64 re))))))))
#s(approx (* -1/2 (pow im 2)) (*.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 2 binary64))))
#s(approx (pow im 2) (pow.f64 im #s(literal 2 binary64)))
#s(approx (+ 1 (* -1/2 (pow im 2))) (*.f64 (pow.f64 im #s(literal 2 binary64)) (-.f64 (/.f64 #s(literal 1 binary64) (pow.f64 im #s(literal 2 binary64))) #s(literal 1/2 binary64))))

Calls

6 calls:

Time	Variable	Point
1.0ms	im	inf
1.0ms	im	-inf
1.0ms	re	-inf
1.0ms	re	inf
1.0ms	im	0

rewrite167.0ms (5.9%)

Memory

19.2MiB live, 207.9MiB allocated; 19ms collecting garbage

Counts

26 → 94

Calls

Call 1

Inputs
#s(approx (* (/ 1 (exp (neg re))) (cos im)) (/.f64 (cos.f64 im) (exp.f64 (neg.f64 re))))
(/.f64 (cos.f64 im) (exp.f64 (neg.f64 re)))
(cos.f64 im)
im
(exp.f64 (neg.f64 re))
(neg.f64 re)
re
(*.f64 #s(literal 1 binary64) #s(approx (cos 0) (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
#s(literal 1 binary64)
#s(approx (cos 0) (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64)))
(-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))
#s(literal -1/2 binary64)
(*.f64 (exp.f64 re) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(exp.f64 re)
#s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64)))
(+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))
(*.f64 (exp.f64 re) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (+.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64)))))
#s(approx (cos im) (+.f64 #s(literal 1 binary64) (+.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))))
(+.f64 #s(literal 1 binary64) (+.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64)))
(+.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 2 binary64))))))
#s(approx (cos im) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 2 binary64)))))
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 2 binary64))))
(*.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 2 binary64)))
(pow.f64 im #s(literal 2 binary64))
#s(literal 2 binary64)

Outputs
#s(approx (cos im) (sin.f64 im))
(*.f64 (sin.f64 im) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (sin.f64 im))
(.f64 #s(literal -2 binary64) (.f64 (sin.f64 im) (sin.f64 im)))
(.f64 #s(literal 1 binary64) (.f64 (sin.f64 im) (sin.f64 im)))
(+.f64 (sin.f64 im) (sin.f64 im))
(*.f64 (sin.f64 im) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (sin.f64 im))
(.f64 #s(literal -2 binary64) (.f64 (sin.f64 im) (sin.f64 im)))
(.f64 #s(literal 1 binary64) (.f64 (sin.f64 im) (sin.f64 im)))
(+.f64 (sin.f64 im) (sin.f64 im))
im
(*.f64 #s(literal 1 binary64) im)
(*.f64 im #s(literal 1 binary64))
(*.f64 im im)
(*.f64 im (/.f64 #s(literal 1 binary64) im))
#s(literal 1 binary64)
#s(literal -1/2 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
re
#s(literal 1 binary64)
#s(literal -1/2 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
re
#s(literal 1 binary64)
#s(literal -1/2 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
re
(*.f64 #s(literal 1 binary64) #s(approx 0 #s(literal 1 binary64)))
#s(literal 1 binary64)
#s(literal -1/2 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
re
#s(approx 0 #s(literal 1 binary64))
#s(literal 1 binary64)
#s(literal -1/2 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
re
#s(literal 1 binary64)
#s(literal -1/2 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
re
(*.f64 #s(literal 1 binary64) #s(approx (cos im) #s(literal 1 binary64)))
#s(literal 1 binary64)
#s(literal -1/2 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
re
#s(approx (cos im) #s(literal 1 binary64))
#s(literal 1 binary64)
#s(literal -1/2 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
re
(*.f64 #s(literal 1 binary64) #s(approx (cos im) #s(literal 1 binary64)))
#s(approx (cos im) #s(literal 1 binary64))
#s(literal 1 binary64)
#s(literal -1/2 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
re
#s(literal 1 binary64)
#s(literal -1/2 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
re
#s(approx (cos im) #s(approx (cos im) im))
#s(approx (cos im) im)
im
(*.f64 #s(literal 1 binary64) im)
(*.f64 im #s(literal 1 binary64))
(*.f64 im im)
(*.f64 im (/.f64 #s(literal 1 binary64) im))
im
(*.f64 #s(literal 1 binary64) im)
(*.f64 im #s(literal 1 binary64))
(*.f64 im im)
(*.f64 im (/.f64 #s(literal 1 binary64) im))
im
(*.f64 #s(literal 1 binary64) im)
(*.f64 im #s(literal 1 binary64))
(*.f64 im im)
(*.f64 im (/.f64 #s(literal 1 binary64) im))
#s(literal 1 binary64)
#s(literal -1/2 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
re

eval6.0ms (0.2%)

Memory: 15.1MiB live, 15.1MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 220 to 286 computations (76.6% saved)

prune11.0ms (0.4%)

Memory

-23.7MiB live, 19.9MiB allocated; 5ms collecting garbage

Pruning

15 alts after pruning (10 fresh and 5 done)

	Pruned	Kept	Total
New	58	8	66
Fresh	2	2	4
Picked	3	2	5
Done	0	3	3
Total	63	15	78

Accuracy

100.0%

Counts

78 → 15

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(*.f64 (exp.f64 re) (cos.f64 im))
	37.1%	(.f64 (exp.f64 re) #s(approx (cos im) (.f64 (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64)) #s(literal -1/2 binary64))))
▶	50.4%	(.f64 (exp.f64 re) #s(approx (cos im) (.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))))
▶	72.4%	(*.f64 (exp.f64 re) #s(approx (cos im) #s(literal 1 binary64)))
✓	52.7%	(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) (cos.f64 im))
	30.4%	(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (+.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64)))))
▶	8.6%	(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
	30.1%	(*.f64 #s(literal 1 binary64) #s(approx (cos im) #s(literal 1 binary64)))
✓	8.9%	(*.f64 #s(literal 1 binary64) #s(approx (cos 0) (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
	52.9%	#s(approx (* (/ 1 (exp (neg re))) (cos im)) (/.f64 (cos.f64 im) #s(approx (exp (neg re)) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) re)))))
✓	52.2%	#s(approx (* (exp re) (cos im)) (cos.f64 im))
▶	8.6%	#s(approx (* (exp re) (cos im)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1/2 binary64) (pow.f64 (.f64 im (/.f64 #s(literal 1 binary64) im)) #s(literal 2 binary64))))))
✓	31.2%	#s(approx (* (exp re) (cos im)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 2 binary64))))))
▶	3.6%	#s(approx (* (exp re) (cos im)) #s(approx (cos im) im))
	5.3%	#s(approx (cos im) (sin.f64 im))

Compiler

Compiled 280 to 236 computations (15.7% saved)

series83.0ms (3%)

Memory

39.1MiB live, 73.1MiB allocated; 33ms collecting garbage

Counts

25 → 22

Calls

Call 1

Inputs
(*.f64 (exp.f64 re) #s(approx (cos im) #s(literal 1 binary64)))
(exp.f64 re)
re
#s(approx (cos im) #s(literal 1 binary64))
#s(literal 1 binary64)
#s(approx (* (exp re) (cos im)) #s(approx (cos im) im))
#s(approx (cos im) im)
im
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
#s(approx (exp re) (+.f64 #s(literal 1 binary64) re))
(+.f64 #s(literal 1 binary64) re)
#s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64)))
(+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))
#s(literal -1/2 binary64)
(.f64 (exp.f64 re) #s(approx (cos im) (.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))))
#s(approx (cos im) (*.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64)))
(*.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1/2 binary64) (pow.f64 (.f64 im (/.f64 #s(literal 1 binary64) im)) #s(literal 2 binary64))))))
#s(approx (cos im) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1/2 binary64) (pow.f64 (.f64 im (/.f64 #s(literal 1 binary64) im)) #s(literal 2 binary64)))))
(+.f64 #s(literal 1 binary64) (.f64 #s(literal -1/2 binary64) (pow.f64 (.f64 im (/.f64 #s(literal 1 binary64) im)) #s(literal 2 binary64))))
(.f64 #s(literal -1/2 binary64) (pow.f64 (.f64 im (/.f64 #s(literal 1 binary64) im)) #s(literal 2 binary64)))
(pow.f64 (*.f64 im (/.f64 #s(literal 1 binary64) im)) #s(literal 2 binary64))
(*.f64 im (/.f64 #s(literal 1 binary64) im))
(/.f64 #s(literal 1 binary64) im)
#s(literal 2 binary64)

Outputs
#s(approx (* (exp re) (cos im)) (cos.f64 im))
#s(approx (* (exp re) (cos im)) (+.f64 (cos.f64 im) (*.f64 re (cos.f64 im))))
#s(approx (* (exp re) (cos im)) (+.f64 (cos.f64 im) (.f64 re (+.f64 (cos.f64 im) (.f64 #s(literal 1/2 binary64) (*.f64 re (cos.f64 im)))))))
#s(approx (* (exp re) (cos im)) (+.f64 (cos.f64 im) (.f64 re (+.f64 (cos.f64 im) (.f64 re (fma.f64 #s(literal 1/6 binary64) (.f64 re (cos.f64 im)) (.f64 #s(literal 1/2 binary64) (cos.f64 im))))))))
#s(approx (exp re) #s(literal 1 binary64))
#s(approx (exp re) (+.f64 #s(literal 1 binary64) re))
#s(approx (exp re) (+.f64 #s(literal 1 binary64) (.f64 re (+.f64 #s(literal 1 binary64) (.f64 #s(literal 1/2 binary64) re)))))
#s(approx (exp re) (+.f64 #s(literal 1 binary64) (.f64 re (+.f64 #s(literal 1 binary64) (.f64 re (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1/6 binary64) re)))))))
#s(approx re re)
#s(approx (* (exp re) (cos im)) (*.f64 (cos.f64 im) (exp.f64 re)))
#s(approx (exp re) (exp.f64 re))
#s(approx (+ 1 re) (*.f64 re (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) re))))
#s(approx (* (exp re) (cos im)) (+.f64 (exp.f64 re) (.f64 #s(literal -1/2 binary64) (.f64 (pow.f64 im #s(literal 2 binary64)) (exp.f64 re)))))
#s(approx (* (exp re) (cos im)) (+.f64 (exp.f64 re) (.f64 (pow.f64 im #s(literal 2 binary64)) (fma.f64 #s(literal -1/2 binary64) (exp.f64 re) (.f64 #s(literal 1/24 binary64) (*.f64 (pow.f64 im #s(literal 2 binary64)) (exp.f64 re)))))))
#s(approx (* (exp re) (cos im)) (+.f64 (exp.f64 re) (.f64 (pow.f64 im #s(literal 2 binary64)) (fma.f64 #s(literal -1/2 binary64) (exp.f64 re) (.f64 (pow.f64 im #s(literal 2 binary64)) (fma.f64 #s(literal -1/720 binary64) (.f64 (pow.f64 im #s(literal 2 binary64)) (exp.f64 re)) (.f64 #s(literal 1/24 binary64) (exp.f64 re))))))))
#s(approx (cos im) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 2 binary64)))))
#s(approx (cos im) (+.f64 #s(literal 1 binary64) (.f64 (pow.f64 im #s(literal 2 binary64)) (-.f64 (.f64 #s(literal 1/24 binary64) (pow.f64 im #s(literal 2 binary64))) #s(literal 1/2 binary64)))))
#s(approx (cos im) (+.f64 #s(literal 1 binary64) (.f64 (pow.f64 im #s(literal 2 binary64)) (-.f64 (.f64 (pow.f64 im #s(literal 2 binary64)) (+.f64 #s(literal 1/24 binary64) (*.f64 #s(literal -1/720 binary64) (pow.f64 im #s(literal 2 binary64))))) #s(literal 1/2 binary64)))))
#s(approx im im)
#s(approx (+ 1 (* -1/2 (pow (* im (/ 1 im)) 2))) #s(literal 1/2 binary64))
#s(approx (* -1/2 (pow (* im (/ 1 im)) 2)) #s(literal -1/2 binary64))
#s(approx (/ 1 im) (/.f64 #s(literal 1 binary64) im))

Calls

6 calls:

Time	Variable	Point
1.0ms	re	-inf
1.0ms	im	-inf
1.0ms	re	inf
1.0ms	im	inf
1.0ms	im	0

rewrite207.0ms (7.4%)

Memory

-36.7MiB live, 166.4MiB allocated; 136ms collecting garbage

Counts

25 → 81

Calls

Call 1

Inputs
(*.f64 (exp.f64 re) #s(approx (cos im) #s(literal 1 binary64)))
(exp.f64 re)
re
#s(approx (cos im) #s(literal 1 binary64))
#s(literal 1 binary64)
#s(approx (* (exp re) (cos im)) #s(approx (cos im) im))
#s(approx (cos im) im)
im
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
#s(approx (exp re) (+.f64 #s(literal 1 binary64) re))
(+.f64 #s(literal 1 binary64) re)
#s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64)))
(+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))
#s(literal -1/2 binary64)
(.f64 (exp.f64 re) #s(approx (cos im) (.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))))
#s(approx (cos im) (*.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64)))
(*.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1/2 binary64) (pow.f64 (.f64 im (/.f64 #s(literal 1 binary64) im)) #s(literal 2 binary64))))))
#s(approx (cos im) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1/2 binary64) (pow.f64 (.f64 im (/.f64 #s(literal 1 binary64) im)) #s(literal 2 binary64)))))
(+.f64 #s(literal 1 binary64) (.f64 #s(literal -1/2 binary64) (pow.f64 (.f64 im (/.f64 #s(literal 1 binary64) im)) #s(literal 2 binary64))))
(.f64 #s(literal -1/2 binary64) (pow.f64 (.f64 im (/.f64 #s(literal 1 binary64) im)) #s(literal 2 binary64)))
(pow.f64 (*.f64 im (/.f64 #s(literal 1 binary64) im)) #s(literal 2 binary64))
(*.f64 im (/.f64 #s(literal 1 binary64) im))
(/.f64 #s(literal 1 binary64) im)
#s(literal 2 binary64)

Outputs
(*.f64 (exp.f64 re) #s(approx (cos 2) #s(literal 1 binary64)))
(+.f64 (cosh.f64 re) (sinh.f64 re))
(+.f64 (sinh.f64 re) (cosh.f64 re))
(+.f64 (/.f64 (pow.f64 (cosh.f64 re) #s(literal 3 binary64)) (fma.f64 (sinh.f64 re) (-.f64 (sinh.f64 re) (cosh.f64 re)) (.f64 (cosh.f64 re) (cosh.f64 re)))) (/.f64 (pow.f64 (sinh.f64 re) #s(literal 3 binary64)) (fma.f64 (sinh.f64 re) (-.f64 (sinh.f64 re) (cosh.f64 re)) (.f64 (cosh.f64 re) (cosh.f64 re)))))
(-.f64 (cosh.f64 re) (sinh.f64 re))
(-.f64 (/.f64 (.f64 (cosh.f64 re) (cosh.f64 re)) (exp.f64 re)) (/.f64 (.f64 (sinh.f64 re) (sinh.f64 re)) (exp.f64 re)))
re
(*.f64 re #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) re)
(+.f64 re re)
(/.f64 re #s(literal 1 binary64))
#s(approx (cos 2) #s(literal 1 binary64))
#s(literal 1 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
im
(*.f64 #s(literal 1 binary64) #s(literal 1 binary64))
#s(approx (* (exp re) (cos 2)) #s(approx (cos 2) #s(literal 1 binary64)))
#s(approx (cos 2) #s(literal 1 binary64))
#s(literal 1 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
im
(*.f64 #s(literal 1 binary64) #s(literal 1 binary64))
(*.f64 #s(approx (exp re) (-.f64 re #s(literal 1 binary64))) #s(approx (cos 2) #s(literal -1/2 binary64)))
#s(approx (exp re) (-.f64 re #s(literal 1 binary64)))
(*.f64 (-.f64 re #s(literal 1 binary64)) (-.f64 re #s(literal 1 binary64)))
(*.f64 (-.f64 re #s(literal 1 binary64)) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (-.f64 re #s(literal 1 binary64)))
(*.f64 (+.f64 (fabs.f64 re) #s(literal 1 binary64)) (-.f64 (fabs.f64 re) #s(literal 1 binary64)))
(*.f64 (+.f64 #s(literal 1 binary64) (fabs.f64 re)) (-.f64 #s(literal 1 binary64) (fabs.f64 re)))
#s(approx (cos 2) #s(literal -1/2 binary64))
#s(literal -1/2 binary64)
(*.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))
(*.f64 #s(literal -1/2 binary64) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))
(*.f64 #s(literal -1/2 binary64) (/.f64 #s(literal 1 binary64) #s(literal -1/2 binary64)))
#s(literal -1/2 binary64)
(*.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))
(*.f64 #s(literal -1/2 binary64) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))
(*.f64 #s(literal -1/2 binary64) (/.f64 #s(literal 1 binary64) #s(literal -1/2 binary64)))
(*.f64 (exp.f64 re) #s(approx (cos 2) #s(literal -1/2 binary64)))
#s(approx (cos 2) #s(literal -1/2 binary64))
#s(literal -1/2 binary64)
(*.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))
(*.f64 #s(literal -1/2 binary64) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))
(*.f64 #s(literal -1/2 binary64) (/.f64 #s(literal 1 binary64) #s(literal -1/2 binary64)))
#s(approx (* (exp re) (cos 2)) #s(approx (cos 2) #s(literal -1/2 binary64)))
#s(approx (cos 2) #s(literal -1/2 binary64))
#s(literal -1/2 binary64)
(*.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))
(*.f64 #s(literal -1/2 binary64) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))
(*.f64 #s(literal -1/2 binary64) (/.f64 #s(literal 1 binary64) #s(literal -1/2 binary64)))
#s(literal -1/2 binary64)
(*.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))
(*.f64 #s(literal -1/2 binary64) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))
(*.f64 #s(literal -1/2 binary64) (/.f64 #s(literal 1 binary64) #s(literal -1/2 binary64)))
#s(literal 1 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
im
(*.f64 #s(literal 1 binary64) #s(literal 1 binary64))
#s(literal 1 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
im
(*.f64 #s(literal 1 binary64) #s(literal 1 binary64))
#s(literal 1 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
im
(*.f64 #s(literal 1 binary64) #s(literal 1 binary64))
#s(literal 1 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
im
(*.f64 #s(literal 1 binary64) #s(literal 1 binary64))

eval7.0ms (0.3%)

Memory: 12.6MiB live, 12.6MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 242 to 303 computations (75.6% saved)

prune9.0ms (0.3%)

Memory

15.2MiB live, 15.2MiB allocated; 0ms collecting garbage

Pruning

24 alts after pruning (17 fresh and 7 done)

	Pruned	Kept	Total
New	68	13	81
Fresh	1	4	5
Picked	3	2	5
Done	0	5	5
Total	72	24	96

Accuracy

100.0%

Counts

96 → 24

Alt Table

Click to see full alt table

Status	Accuracy	Program
	72.4%	(*.f64 (exp.f64 (+.f64 re re)) #s(approx (cos im) #s(literal 1 binary64)))
✓	100.0%	(*.f64 (exp.f64 re) (cos.f64 im))
	37.1%	(.f64 (exp.f64 re) #s(approx (cos im) (.f64 (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64)) #s(literal -1/2 binary64))))
✓	72.4%	(*.f64 (exp.f64 re) #s(approx (cos im) #s(literal 1 binary64)))
	37.0%	(*.f64 (exp.f64 re) #s(approx (cos 2) #s(literal -1/2 binary64)))
	8.2%	(*.f64 #s(approx (exp re) (-.f64 re #s(literal 1 binary64))) #s(approx (cos 2) #s(literal -1/2 binary64)))
	5.0%	(*.f64 #s(approx (exp re) (+.f64 im re)) #s(approx (cos im) (+.f64 im #s(literal -1/2 binary64))))
	8.1%	(*.f64 #s(approx (exp re) (+.f64 #s(literal 2 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 2 binary64) #s(literal -1/2 binary64))))
✓	52.7%	(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) (cos.f64 im))
	30.4%	(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (+.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64)))))
	30.1%	(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) #s(literal 1 binary64)))
	4.4%	(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) #s(literal -1/2 binary64)))
	17.5%	(.f64 #s(approx (exp re) (.f64 (-.f64 re #s(literal 1 binary64)) (-.f64 re #s(literal 1 binary64)))) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
	8.6%	(.f64 #s(approx (exp re) #s(approx (+ 1 re) (.f64 re (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) re))))) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
	8.1%	(.f64 #s(approx (exp re) #s(literal 1 binary64)) #s(approx (cos im) (.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))))
✓	8.9%	(*.f64 #s(literal 1 binary64) #s(approx (cos 0) (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
	52.9%	#s(approx (* (/ 1 (exp (neg re))) (cos im)) (/.f64 (cos.f64 im) #s(approx (exp (neg re)) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) re)))))
✓	52.2%	#s(approx (* (exp re) (cos im)) (cos.f64 im))
✓	31.2%	#s(approx (* (exp re) (cos im)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 2 binary64))))))
	8.6%	#s(approx (* (exp re) (cos im)) #s(approx (cos im) #s(approx (+ 1 (* -1/2 (pow (* im (/ 1 im)) 2))) #s(literal 1/2 binary64))))
✓	3.6%	#s(approx (* (exp re) (cos im)) #s(approx (cos im) im))
	30.1%	#s(approx (* (exp re) (cos 2)) #s(approx (cos 2) #s(literal 1 binary64)))
	4.6%	#s(approx (* (exp re) (cos 2)) #s(approx (cos 2) #s(literal -1/2 binary64)))
	5.3%	#s(approx (cos im) (sin.f64 im))

Compiler

Compiled 281 to 239 computations (14.9% saved)

regimes446.0ms (15.9%)

Memory

-3.0MiB live, 469.1MiB allocated; 128ms collecting garbage

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

7 → 2

8 → 2

12 → 2

13 → 3

14 → 4

15 → 3

20 → 2

23 → 2

27 → 2

29 → 5

30 → 5

32 → 5

33 → 1

36 → 1

Calls

Call 1

Inputs
#s(approx (* (exp re) (cos 2)) #s(approx (cos 2) #s(literal -1/2 binary64)))

Outputs
#s(approx (* (exp re) (cos 2)) #s(approx (cos 2) #s(literal -1/2 binary64)))

Call 2

Inputs
#s(approx (* (exp re) (cos 2)) #s(approx (cos 2) #s(literal -1/2 binary64)))
#s(approx (* (exp re) (cos 2)) #s(approx (cos 2) #s(literal 1 binary64)))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) im))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) #s(approx (+ 1 (* -1/2 (pow (* im (/ 1 im)) 2))) #s(literal 1/2 binary64))))
(*.f64 #s(literal 1 binary64) #s(approx (cos im) #s(literal 1 binary64)))
(*.f64 #s(literal 1 binary64) #s(approx (cos 0) (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (-.f64 re #s(literal 1 binary64))) #s(approx (cos 2) #s(literal -1/2 binary64)))

Outputs
#s(approx (* (exp re) (cos 2)) #s(approx (cos 2) #s(literal -1/2 binary64)))
#s(approx (* (exp re) (cos 2)) #s(approx (cos 2) #s(literal 1 binary64)))

Call 3

Inputs
#s(approx (* (exp re) (cos 2)) #s(approx (cos 2) #s(literal -1/2 binary64)))
#s(approx (* (exp re) (cos 2)) #s(approx (cos 2) #s(literal 1 binary64)))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) im))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) #s(approx (+ 1 (* -1/2 (pow (* im (/ 1 im)) 2))) #s(literal 1/2 binary64))))
(*.f64 #s(literal 1 binary64) #s(approx (cos im) #s(literal 1 binary64)))
(*.f64 #s(literal 1 binary64) #s(approx (cos 0) (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (-.f64 re #s(literal 1 binary64))) #s(approx (cos 2) #s(literal -1/2 binary64)))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) #s(literal -1/2 binary64)))

Outputs
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) #s(literal -1/2 binary64)))
#s(approx (* (exp re) (cos 2)) #s(approx (cos 2) #s(literal 1 binary64)))

Call 4

Inputs
#s(approx (* (exp re) (cos 2)) #s(approx (cos 2) #s(literal -1/2 binary64)))
#s(approx (* (exp re) (cos 2)) #s(approx (cos 2) #s(literal 1 binary64)))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) im))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) #s(approx (+ 1 (* -1/2 (pow (* im (/ 1 im)) 2))) #s(literal 1/2 binary64))))
(*.f64 #s(literal 1 binary64) #s(approx (cos im) #s(literal 1 binary64)))
(*.f64 #s(literal 1 binary64) #s(approx (cos 0) (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (-.f64 re #s(literal 1 binary64))) #s(approx (cos 2) #s(literal -1/2 binary64)))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) #s(literal -1/2 binary64)))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) #s(literal 1 binary64)))
(.f64 #s(approx (exp re) #s(literal 1 binary64)) #s(approx (cos im) (.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 2 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 2 binary64) #s(literal -1/2 binary64))))

Outputs
#s(approx (* (exp re) (cos 2)) #s(approx (cos 2) #s(literal -1/2 binary64)))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) #s(literal 1 binary64)))

Call 5

Inputs
#s(approx (* (exp re) (cos 2)) #s(approx (cos 2) #s(literal -1/2 binary64)))
#s(approx (* (exp re) (cos 2)) #s(approx (cos 2) #s(literal 1 binary64)))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) im))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) #s(approx (+ 1 (* -1/2 (pow (* im (/ 1 im)) 2))) #s(literal 1/2 binary64))))
(*.f64 #s(literal 1 binary64) #s(approx (cos im) #s(literal 1 binary64)))
(*.f64 #s(literal 1 binary64) #s(approx (cos 0) (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (-.f64 re #s(literal 1 binary64))) #s(approx (cos 2) #s(literal -1/2 binary64)))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) #s(literal -1/2 binary64)))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) #s(literal 1 binary64)))
(.f64 #s(approx (exp re) #s(literal 1 binary64)) #s(approx (cos im) (.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 2 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 2 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 im re)) #s(approx (cos im) (+.f64 im #s(literal -1/2 binary64))))

Outputs

(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) #s(literal -1/2 binary64)))

#s(approx (* (exp re) (cos 2)) #s(approx (cos 2) #s(literal 1 binary64)))

(*.f64 #s(approx (exp re) (+.f64 im re)) #s(approx (cos im) (+.f64 im #s(literal -1/2 binary64))))

Call 6

Inputs
#s(approx (* (exp re) (cos 2)) #s(approx (cos 2) #s(literal -1/2 binary64)))
#s(approx (* (exp re) (cos 2)) #s(approx (cos 2) #s(literal 1 binary64)))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) im))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) #s(approx (+ 1 (* -1/2 (pow (* im (/ 1 im)) 2))) #s(literal 1/2 binary64))))
(*.f64 #s(literal 1 binary64) #s(approx (cos im) #s(literal 1 binary64)))
(*.f64 #s(literal 1 binary64) #s(approx (cos 0) (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (-.f64 re #s(literal 1 binary64))) #s(approx (cos 2) #s(literal -1/2 binary64)))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) #s(literal -1/2 binary64)))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) #s(literal 1 binary64)))
(.f64 #s(approx (exp re) #s(literal 1 binary64)) #s(approx (cos im) (.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 2 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 2 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 im re)) #s(approx (cos im) (+.f64 im #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (+.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64)))))

Outputs
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) #s(literal -1/2 binary64)))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (+.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64)))))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) #s(literal 1 binary64)))
(*.f64 #s(approx (exp re) (+.f64 im re)) #s(approx (cos im) (+.f64 im #s(literal -1/2 binary64))))

Call 7

Inputs
#s(approx (* (exp re) (cos 2)) #s(approx (cos 2) #s(literal -1/2 binary64)))
#s(approx (* (exp re) (cos 2)) #s(approx (cos 2) #s(literal 1 binary64)))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) im))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) #s(approx (+ 1 (* -1/2 (pow (* im (/ 1 im)) 2))) #s(literal 1/2 binary64))))
(*.f64 #s(literal 1 binary64) #s(approx (cos im) #s(literal 1 binary64)))
(*.f64 #s(literal 1 binary64) #s(approx (cos 0) (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (-.f64 re #s(literal 1 binary64))) #s(approx (cos 2) #s(literal -1/2 binary64)))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) #s(literal -1/2 binary64)))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) #s(literal 1 binary64)))
(.f64 #s(approx (exp re) #s(literal 1 binary64)) #s(approx (cos im) (.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 2 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 2 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 im re)) #s(approx (cos im) (+.f64 im #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (+.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64)))))
(*.f64 (exp.f64 re) #s(approx (cos 2) #s(literal -1/2 binary64)))

Outputs

(*.f64 (exp.f64 re) #s(approx (cos 2) #s(literal -1/2 binary64)))

(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) #s(literal 1 binary64)))

(*.f64 #s(approx (exp re) (+.f64 im re)) #s(approx (cos im) (+.f64 im #s(literal -1/2 binary64))))

Call 8

Inputs
#s(approx (* (exp re) (cos 2)) #s(approx (cos 2) #s(literal -1/2 binary64)))
#s(approx (* (exp re) (cos 2)) #s(approx (cos 2) #s(literal 1 binary64)))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) im))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) #s(approx (+ 1 (* -1/2 (pow (* im (/ 1 im)) 2))) #s(literal 1/2 binary64))))
(*.f64 #s(literal 1 binary64) #s(approx (cos im) #s(literal 1 binary64)))
(*.f64 #s(literal 1 binary64) #s(approx (cos 0) (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (-.f64 re #s(literal 1 binary64))) #s(approx (cos 2) #s(literal -1/2 binary64)))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) #s(literal -1/2 binary64)))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) #s(literal 1 binary64)))
(.f64 #s(approx (exp re) #s(literal 1 binary64)) #s(approx (cos im) (.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 2 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 2 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 im re)) #s(approx (cos im) (+.f64 im #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (+.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64)))))
(*.f64 (exp.f64 re) #s(approx (cos 2) #s(literal -1/2 binary64)))
(*.f64 (exp.f64 re) #s(approx (cos im) #s(literal 1 binary64)))
(.f64 #s(approx (exp re) (.f64 (-.f64 re #s(literal 1 binary64)) (-.f64 re #s(literal 1 binary64)))) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(.f64 #s(approx (exp re) #s(approx (+ 1 re) (.f64 re (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) re))))) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 (exp.f64 re) #s(approx (cos 0) (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 (exp.f64 re) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))

Outputs
(*.f64 (exp.f64 re) #s(approx (cos 2) #s(literal -1/2 binary64)))
(*.f64 (exp.f64 re) #s(approx (cos im) #s(literal 1 binary64)))

Call 9

Inputs
#s(approx (* (exp re) (cos 2)) #s(approx (cos 2) #s(literal -1/2 binary64)))
#s(approx (* (exp re) (cos 2)) #s(approx (cos 2) #s(literal 1 binary64)))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) im))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) #s(approx (+ 1 (* -1/2 (pow (* im (/ 1 im)) 2))) #s(literal 1/2 binary64))))
(*.f64 #s(literal 1 binary64) #s(approx (cos im) #s(literal 1 binary64)))
(*.f64 #s(literal 1 binary64) #s(approx (cos 0) (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (-.f64 re #s(literal 1 binary64))) #s(approx (cos 2) #s(literal -1/2 binary64)))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) #s(literal -1/2 binary64)))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) #s(literal 1 binary64)))
(.f64 #s(approx (exp re) #s(literal 1 binary64)) #s(approx (cos im) (.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 2 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 2 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 im re)) #s(approx (cos im) (+.f64 im #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (+.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64)))))
(*.f64 (exp.f64 re) #s(approx (cos 2) #s(literal -1/2 binary64)))
(*.f64 (exp.f64 re) #s(approx (cos im) #s(literal 1 binary64)))
(.f64 #s(approx (exp re) (.f64 (-.f64 re #s(literal 1 binary64)) (-.f64 re #s(literal 1 binary64)))) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(.f64 #s(approx (exp re) #s(approx (+ 1 re) (.f64 re (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) re))))) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 (exp.f64 re) #s(approx (cos 0) (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 (exp.f64 re) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 (exp.f64 (+.f64 re re)) #s(approx (cos im) #s(literal 1 binary64)))
(.f64 (exp.f64 re) #s(approx (cos im) (.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))))
(*.f64 (exp.f64 re) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (+.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64)))))

Outputs
(*.f64 (exp.f64 re) #s(approx (cos 2) #s(literal -1/2 binary64)))
(*.f64 (exp.f64 (+.f64 re re)) #s(approx (cos im) #s(literal 1 binary64)))

Call 10

Inputs
#s(approx (* (exp re) (cos 2)) #s(approx (cos 2) #s(literal -1/2 binary64)))
#s(approx (* (exp re) (cos 2)) #s(approx (cos 2) #s(literal 1 binary64)))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) im))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) #s(approx (+ 1 (* -1/2 (pow (* im (/ 1 im)) 2))) #s(literal 1/2 binary64))))
(*.f64 #s(literal 1 binary64) #s(approx (cos im) #s(literal 1 binary64)))
(*.f64 #s(literal 1 binary64) #s(approx (cos 0) (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (-.f64 re #s(literal 1 binary64))) #s(approx (cos 2) #s(literal -1/2 binary64)))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) #s(literal -1/2 binary64)))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) #s(literal 1 binary64)))
(.f64 #s(approx (exp re) #s(literal 1 binary64)) #s(approx (cos im) (.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 2 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 2 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 im re)) #s(approx (cos im) (+.f64 im #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (+.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64)))))
(*.f64 (exp.f64 re) #s(approx (cos 2) #s(literal -1/2 binary64)))
(*.f64 (exp.f64 re) #s(approx (cos im) #s(literal 1 binary64)))
(.f64 #s(approx (exp re) (.f64 (-.f64 re #s(literal 1 binary64)) (-.f64 re #s(literal 1 binary64)))) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(.f64 #s(approx (exp re) #s(approx (+ 1 re) (.f64 re (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) re))))) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 (exp.f64 re) #s(approx (cos 0) (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 (exp.f64 re) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 (exp.f64 (+.f64 re re)) #s(approx (cos im) #s(literal 1 binary64)))
(.f64 (exp.f64 re) #s(approx (cos im) (.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))))
(*.f64 (exp.f64 re) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (+.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64)))))
(.f64 (exp.f64 re) #s(approx (cos im) (.f64 (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64)) #s(literal -1/2 binary64))))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 2 binary64))))))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1/2 binary64) (pow.f64 (.f64 im (/.f64 #s(literal 1 binary64) im)) #s(literal 2 binary64))))))
#s(approx (cos im) (sin.f64 im))

Outputs

(*.f64 (exp.f64 re) #s(approx (cos im) (*.f64 (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64)) #s(literal -1/2 binary64))))

(*.f64 (exp.f64 (+.f64 re re)) #s(approx (cos im) #s(literal 1 binary64)))

Call 11

Inputs
#s(approx (* (exp re) (cos 2)) #s(approx (cos 2) #s(literal -1/2 binary64)))
#s(approx (* (exp re) (cos 2)) #s(approx (cos 2) #s(literal 1 binary64)))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) im))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) #s(approx (+ 1 (* -1/2 (pow (* im (/ 1 im)) 2))) #s(literal 1/2 binary64))))
(*.f64 #s(literal 1 binary64) #s(approx (cos im) #s(literal 1 binary64)))
(*.f64 #s(literal 1 binary64) #s(approx (cos 0) (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (-.f64 re #s(literal 1 binary64))) #s(approx (cos 2) #s(literal -1/2 binary64)))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) #s(literal -1/2 binary64)))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) #s(literal 1 binary64)))
(.f64 #s(approx (exp re) #s(literal 1 binary64)) #s(approx (cos im) (.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 2 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 2 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 im re)) #s(approx (cos im) (+.f64 im #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (+.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64)))))
(*.f64 (exp.f64 re) #s(approx (cos 2) #s(literal -1/2 binary64)))
(*.f64 (exp.f64 re) #s(approx (cos im) #s(literal 1 binary64)))
(.f64 #s(approx (exp re) (.f64 (-.f64 re #s(literal 1 binary64)) (-.f64 re #s(literal 1 binary64)))) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(.f64 #s(approx (exp re) #s(approx (+ 1 re) (.f64 re (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) re))))) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 (exp.f64 re) #s(approx (cos 0) (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 (exp.f64 re) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 (exp.f64 (+.f64 re re)) #s(approx (cos im) #s(literal 1 binary64)))
(.f64 (exp.f64 re) #s(approx (cos im) (.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))))
(*.f64 (exp.f64 re) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (+.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64)))))
(.f64 (exp.f64 re) #s(approx (cos im) (.f64 (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64)) #s(literal -1/2 binary64))))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 2 binary64))))))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1/2 binary64) (pow.f64 (.f64 im (/.f64 #s(literal 1 binary64) im)) #s(literal 2 binary64))))))
#s(approx (cos im) (sin.f64 im))
#s(approx (* (exp re) (cos im)) (cos.f64 im))
(.f64 (exp.f64 re) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 2 binary64))))))

Outputs
(*.f64 (exp.f64 re) #s(approx (cos 2) #s(literal -1/2 binary64)))
#s(approx (* (exp re) (cos im)) (cos.f64 im))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (+.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64)))))
#s(approx (* (exp re) (cos im)) (cos.f64 im))
(*.f64 (exp.f64 re) #s(approx (cos im) #s(literal 1 binary64)))

Call 12

Inputs
#s(approx (* (exp re) (cos 2)) #s(approx (cos 2) #s(literal -1/2 binary64)))
#s(approx (* (exp re) (cos 2)) #s(approx (cos 2) #s(literal 1 binary64)))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) im))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) #s(approx (+ 1 (* -1/2 (pow (* im (/ 1 im)) 2))) #s(literal 1/2 binary64))))
(*.f64 #s(literal 1 binary64) #s(approx (cos im) #s(literal 1 binary64)))
(*.f64 #s(literal 1 binary64) #s(approx (cos 0) (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (-.f64 re #s(literal 1 binary64))) #s(approx (cos 2) #s(literal -1/2 binary64)))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) #s(literal -1/2 binary64)))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) #s(literal 1 binary64)))
(.f64 #s(approx (exp re) #s(literal 1 binary64)) #s(approx (cos im) (.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 2 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 2 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 im re)) #s(approx (cos im) (+.f64 im #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (+.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64)))))
(*.f64 (exp.f64 re) #s(approx (cos 2) #s(literal -1/2 binary64)))
(*.f64 (exp.f64 re) #s(approx (cos im) #s(literal 1 binary64)))
(.f64 #s(approx (exp re) (.f64 (-.f64 re #s(literal 1 binary64)) (-.f64 re #s(literal 1 binary64)))) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(.f64 #s(approx (exp re) #s(approx (+ 1 re) (.f64 re (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) re))))) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 (exp.f64 re) #s(approx (cos 0) (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 (exp.f64 re) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 (exp.f64 (+.f64 re re)) #s(approx (cos im) #s(literal 1 binary64)))
(.f64 (exp.f64 re) #s(approx (cos im) (.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))))
(*.f64 (exp.f64 re) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (+.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64)))))
(.f64 (exp.f64 re) #s(approx (cos im) (.f64 (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64)) #s(literal -1/2 binary64))))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 2 binary64))))))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1/2 binary64) (pow.f64 (.f64 im (/.f64 #s(literal 1 binary64) im)) #s(literal 2 binary64))))))
#s(approx (cos im) (sin.f64 im))
#s(approx (* (exp re) (cos im)) (cos.f64 im))
(.f64 (exp.f64 re) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 2 binary64))))))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) (cos.f64 im))

Outputs
(*.f64 (exp.f64 re) #s(approx (cos 2) #s(literal -1/2 binary64)))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) (cos.f64 im))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (+.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64)))))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) (cos.f64 im))
(*.f64 (exp.f64 re) #s(approx (cos im) #s(literal 1 binary64)))

Call 13

Inputs
#s(approx (* (exp re) (cos 2)) #s(approx (cos 2) #s(literal -1/2 binary64)))
#s(approx (* (exp re) (cos 2)) #s(approx (cos 2) #s(literal 1 binary64)))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) im))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) #s(approx (+ 1 (* -1/2 (pow (* im (/ 1 im)) 2))) #s(literal 1/2 binary64))))
(*.f64 #s(literal 1 binary64) #s(approx (cos im) #s(literal 1 binary64)))
(*.f64 #s(literal 1 binary64) #s(approx (cos 0) (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (-.f64 re #s(literal 1 binary64))) #s(approx (cos 2) #s(literal -1/2 binary64)))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) #s(literal -1/2 binary64)))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) #s(literal 1 binary64)))
(.f64 #s(approx (exp re) #s(literal 1 binary64)) #s(approx (cos im) (.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 2 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 2 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 im re)) #s(approx (cos im) (+.f64 im #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (+.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64)))))
(*.f64 (exp.f64 re) #s(approx (cos 2) #s(literal -1/2 binary64)))
(*.f64 (exp.f64 re) #s(approx (cos im) #s(literal 1 binary64)))
(.f64 #s(approx (exp re) (.f64 (-.f64 re #s(literal 1 binary64)) (-.f64 re #s(literal 1 binary64)))) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(.f64 #s(approx (exp re) #s(approx (+ 1 re) (.f64 re (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) re))))) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 (exp.f64 re) #s(approx (cos 0) (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 (exp.f64 re) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 (exp.f64 (+.f64 re re)) #s(approx (cos im) #s(literal 1 binary64)))
(.f64 (exp.f64 re) #s(approx (cos im) (.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))))
(*.f64 (exp.f64 re) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (+.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64)))))
(.f64 (exp.f64 re) #s(approx (cos im) (.f64 (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64)) #s(literal -1/2 binary64))))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 2 binary64))))))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1/2 binary64) (pow.f64 (.f64 im (/.f64 #s(literal 1 binary64) im)) #s(literal 2 binary64))))))
#s(approx (cos im) (sin.f64 im))
#s(approx (* (exp re) (cos im)) (cos.f64 im))
(.f64 (exp.f64 re) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 2 binary64))))))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) (cos.f64 im))
#s(approx (* (/ 1 (exp (neg re))) (cos im)) (/.f64 (cos.f64 im) #s(approx (exp (neg re)) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) re)))))
(.f64 (/.f64 #s(literal 1 binary64) #s(approx (exp (neg re)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) re)))) (cos.f64 im))

Outputs
(*.f64 (exp.f64 re) #s(approx (cos 2) #s(literal -1/2 binary64)))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) (cos.f64 im))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (+.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64)))))
#s(approx (* (/ 1 (exp (neg re))) (cos im)) (/.f64 (cos.f64 im) #s(approx (exp (neg re)) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) re)))))
(*.f64 (exp.f64 re) #s(approx (cos im) #s(literal 1 binary64)))

Call 14

Inputs
#s(approx (* (exp re) (cos 2)) #s(approx (cos 2) #s(literal -1/2 binary64)))
#s(approx (* (exp re) (cos 2)) #s(approx (cos 2) #s(literal 1 binary64)))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) im))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) #s(approx (+ 1 (* -1/2 (pow (* im (/ 1 im)) 2))) #s(literal 1/2 binary64))))
(*.f64 #s(literal 1 binary64) #s(approx (cos im) #s(literal 1 binary64)))
(*.f64 #s(literal 1 binary64) #s(approx (cos 0) (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (-.f64 re #s(literal 1 binary64))) #s(approx (cos 2) #s(literal -1/2 binary64)))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) #s(literal -1/2 binary64)))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) #s(literal 1 binary64)))
(.f64 #s(approx (exp re) #s(literal 1 binary64)) #s(approx (cos im) (.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 2 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 2 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 im re)) #s(approx (cos im) (+.f64 im #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (+.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64)))))
(*.f64 (exp.f64 re) #s(approx (cos 2) #s(literal -1/2 binary64)))
(*.f64 (exp.f64 re) #s(approx (cos im) #s(literal 1 binary64)))
(.f64 #s(approx (exp re) (.f64 (-.f64 re #s(literal 1 binary64)) (-.f64 re #s(literal 1 binary64)))) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(.f64 #s(approx (exp re) #s(approx (+ 1 re) (.f64 re (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) re))))) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 (exp.f64 re) #s(approx (cos 0) (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 (exp.f64 re) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 (exp.f64 (+.f64 re re)) #s(approx (cos im) #s(literal 1 binary64)))
(.f64 (exp.f64 re) #s(approx (cos im) (.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))))
(*.f64 (exp.f64 re) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (+.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64)))))
(.f64 (exp.f64 re) #s(approx (cos im) (.f64 (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64)) #s(literal -1/2 binary64))))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 2 binary64))))))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1/2 binary64) (pow.f64 (.f64 im (/.f64 #s(literal 1 binary64) im)) #s(literal 2 binary64))))))
#s(approx (cos im) (sin.f64 im))
#s(approx (* (exp re) (cos im)) (cos.f64 im))
(.f64 (exp.f64 re) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 2 binary64))))))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) (cos.f64 im))
#s(approx (* (/ 1 (exp (neg re))) (cos im)) (/.f64 (cos.f64 im) #s(approx (exp (neg re)) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) re)))))
(.f64 (/.f64 #s(literal 1 binary64) #s(approx (exp (neg re)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) re)))) (cos.f64 im))
(*.f64 (exp.f64 re) (cos.f64 im))

Outputs
(*.f64 (exp.f64 re) (cos.f64 im))

Call 15

Inputs
#s(approx (* (exp re) (cos 2)) #s(approx (cos 2) #s(literal -1/2 binary64)))
#s(approx (* (exp re) (cos 2)) #s(approx (cos 2) #s(literal 1 binary64)))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) im))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) #s(approx (+ 1 (* -1/2 (pow (* im (/ 1 im)) 2))) #s(literal 1/2 binary64))))
(*.f64 #s(literal 1 binary64) #s(approx (cos im) #s(literal 1 binary64)))
(*.f64 #s(literal 1 binary64) #s(approx (cos 0) (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (-.f64 re #s(literal 1 binary64))) #s(approx (cos 2) #s(literal -1/2 binary64)))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) #s(literal -1/2 binary64)))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) #s(literal 1 binary64)))
(.f64 #s(approx (exp re) #s(literal 1 binary64)) #s(approx (cos im) (.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 2 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 2 binary64) #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 im re)) #s(approx (cos im) (+.f64 im #s(literal -1/2 binary64))))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (+.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64)))))
(*.f64 (exp.f64 re) #s(approx (cos 2) #s(literal -1/2 binary64)))
(*.f64 (exp.f64 re) #s(approx (cos im) #s(literal 1 binary64)))
(.f64 #s(approx (exp re) (.f64 (-.f64 re #s(literal 1 binary64)) (-.f64 re #s(literal 1 binary64)))) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(.f64 #s(approx (exp re) #s(approx (+ 1 re) (.f64 re (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) re))))) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 (exp.f64 re) #s(approx (cos 0) (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 (exp.f64 re) #s(approx (cos im) (+.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))))
(*.f64 (exp.f64 (+.f64 re re)) #s(approx (cos im) #s(literal 1 binary64)))
(.f64 (exp.f64 re) #s(approx (cos im) (.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))))
(*.f64 (exp.f64 re) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (+.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64)))))
(.f64 (exp.f64 re) #s(approx (cos im) (.f64 (-.f64 #s(literal 1 binary64) #s(literal -1/2 binary64)) #s(literal -1/2 binary64))))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 2 binary64))))))
#s(approx (* (exp re) (cos im)) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1/2 binary64) (pow.f64 (.f64 im (/.f64 #s(literal 1 binary64) im)) #s(literal 2 binary64))))))
#s(approx (cos im) (sin.f64 im))
#s(approx (* (exp re) (cos im)) (cos.f64 im))
(.f64 (exp.f64 re) #s(approx (cos im) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 2 binary64))))))
(*.f64 #s(approx (exp re) (+.f64 #s(literal 1 binary64) re)) (cos.f64 im))
#s(approx (* (/ 1 (exp (neg re))) (cos im)) (/.f64 (cos.f64 im) #s(approx (exp (neg re)) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) re)))))
(.f64 (/.f64 #s(literal 1 binary64) #s(approx (exp (neg re)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) re)))) (cos.f64 im))
(*.f64 (exp.f64 re) (cos.f64 im))
#s(approx (* (/ 1 (exp (neg re))) (cos im)) (/.f64 (cos.f64 im) (exp.f64 (neg.f64 re))))
(*.f64 (/.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 re))) (cos.f64 im))
#s(approx (* (exp re) (cos im)) (+.f64 (cos.f64 im) (*.f64 re (cos.f64 im))))

Outputs
#s(approx (* (/ 1 (exp (neg re))) (cos im)) (/.f64 (cos.f64 im) (exp.f64 (neg.f64 re))))

Calls

49 calls:

26.0ms	re
26.0ms	re
24.0ms	re
23.0ms	(*.f64 (exp.f64 re) (cos.f64 im))
21.0ms	(*.f64 (exp.f64 re) (cos.f64 im))

Results

Accuracy	Segments	Branch
4.6%	1	`re`
4.6%	1	`im`
4.6%	1	`(exp.f64 re)`
4.6%	1	`(cos.f64 im)`
4.6%	1	`(*.f64 (exp.f64 re) (cos.f64 im))`
30.1%	1	`re`
32.8%	2	`(cos.f64 im)`
32.8%	2	`(*.f64 (exp.f64 re) (cos.f64 im))`
32.9%	2	`(cos.f64 im)`
33.0%	2	`(*.f64 (exp.f64 re) (cos.f64 im))`
33.1%	2	`(*.f64 (exp.f64 re) (cos.f64 im))`
31.7%	2	`im`
33.0%	2	`(cos.f64 im)`
32.8%	2	`(exp.f64 re)`
32.9%	2	`re`
35.7%	3	`(*.f64 (exp.f64 re) (cos.f64 im))`
60.4%	3	`(exp.f64 re)`
60.5%	3	`re`
63.4%	4	`(*.f64 (exp.f64 re) (cos.f64 im))`
62.5%	3	`re`
62.4%	3	`(exp.f64 re)`
49.6%	2	`im`
49.6%	2	`(cos.f64 im)`
68.2%	3	`(*.f64 (exp.f64 re) (cos.f64 im))`
80.1%	2	`(cos.f64 im)`
80.1%	2	`(*.f64 (exp.f64 re) (cos.f64 im))`
80.1%	2	`(cos.f64 im)`
80.1%	2	`(*.f64 (exp.f64 re) (cos.f64 im))`
80.2%	2	`(cos.f64 im)`
72.4%	1	`(exp.f64 re)`
72.4%	1	`re`
80.2%	2	`(*.f64 (exp.f64 re) (cos.f64 im))`
99.5%	5	`(*.f64 (exp.f64 re) (cos.f64 im))`
99.8%	5	`(*.f64 (exp.f64 re) (cos.f64 im))`
83.3%	3	`(cos.f64 im)`
95.6%	3	`(exp.f64 re)`
99.8%	5	`(*.f64 (exp.f64 re) (cos.f64 im))`
95.6%	3	`re`
79.5%	2	`im`
100.0%	1	`(cos.f64 im)`
100.0%	1	`(exp.f64 re)`
100.0%	1	`(*.f64 (exp.f64 re) (cos.f64 im))`
100.0%	1	`re`
100.0%	1	`im`
100.0%	1	`(cos.f64 im)`
100.0%	1	`(exp.f64 re)`
100.0%	1	`(*.f64 (exp.f64 re) (cos.f64 im))`
100.0%	1	`re`
100.0%	1	`im`

Compiler

Compiled 549 to 289 computations (47.4% saved)

bsearch1.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated; 0ms collecting garbage

Algorithm

4×	left-value

Steps

Time	Left	Right
0.0ms	0.9999999999999997	1.0
0.0ms	0.0	0.04533368635864256
0.0ms	-0.030297919660720162	0.0
0.0ms	-inf	-0.999267231524905

Compiler

Compiled 8 to 10 computations (-25% saved)

bsearch1.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated; 0ms collecting garbage

Algorithm

4×	left-value

Steps

Time	Left	Right
0.0ms	0.9999999999999997	1.0
0.0ms	0.0	0.04533368635864256
0.0ms	-0.030297919660720162	0.0
0.0ms	-inf	-0.999267231524905

Compiler

Compiled 8 to 10 computations (-25% saved)

bsearch1.0ms (0%)

Memory

1.2MiB live, 1.2MiB allocated; 0ms collecting garbage

Algorithm

4×	left-value

Steps

Time	Left	Right
0.0ms	0.9999999999999997	1.0
0.0ms	0.0	0.04533368635864256
0.0ms	-0.030297919660720162	0.0
0.0ms	-inf	-0.999267231524905

Compiler

Compiled 8 to 10 computations (-25% saved)

bsearch0.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated; 0ms collecting garbage

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-0.030297919660720162	0.0

Compiler

Compiled 8 to 10 computations (-25% saved)

bsearch0.0ms (0%)

Memory

0.3MiB live, 0.3MiB allocated; 0ms collecting garbage

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-0.030297919660720162	0.0

Compiler

Compiled 8 to 10 computations (-25% saved)

bsearch16.0ms (0.6%)

Memory

0.7MiB live, 0.7MiB allocated; 0ms collecting garbage

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-0.030297919660720162	0.0

Compiler

Compiled 8 to 10 computations (-25% saved)

bsearch1.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated; 0ms collecting garbage

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	1.0	+inf
0.0ms	0.0	0.04533368635864256

Compiler

Compiled 8 to 10 computations (-25% saved)

bsearch1.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated; 0ms collecting garbage

Algorithm

3×	left-value

Steps

Time	Left	Right
0.0ms	1.0	+inf
0.0ms	0.0	0.04533368635864256
0.0ms	-0.030297919660720162	0.0

Compiler

Compiled 8 to 10 computations (-25% saved)

bsearch1.0ms (0%)

Memory

1.2MiB live, 1.2MiB allocated; 0ms collecting garbage

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	1.0	+inf
0.0ms	-0.030297919660720162	0.0

Compiler

Compiled 8 to 10 computations (-25% saved)

bsearch0.0ms (0%)

Memory

0.3MiB live, 0.3MiB allocated; 0ms collecting garbage

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	0.0	0.04533368635864256

Compiler

Compiled 8 to 10 computations (-25% saved)

bsearch1.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated; 0ms collecting garbage

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-0.030297919660720162	0.0

Compiler

Compiled 8 to 10 computations (-25% saved)

bsearch0.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated; 0ms collecting garbage

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	0.0	0.04533368635864256

Compiler

Compiled 8 to 10 computations (-25% saved)

derivations14.0ms (0.5%)

Memory

-37.4MiB live, 9.4MiB allocated; 14ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 608 to 92 computations (84.9% saved)

preprocess210.0ms (7.5%)

Memory: 35.0MiB live, 310.6MiB allocated; 112ms collecting garbage
Remove: (abs im)
Compiler: Compiled 1 829 to 789 computations (56.9% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

start0.0ms (0%)

analyze0.0ms (0%)

sample835.0ms (29.7%)

preprocess57.0ms (2%)

series86.0ms (3%)

rewrite136.0ms (4.8%)

eval4.0ms (0.1%)

prune3.0ms (0.1%)

series225.0ms (8%)

rewrite171.0ms (6.1%)

eval10.0ms (0.3%)

prune7.0ms (0.2%)

series96.0ms (3.4%)

rewrite167.0ms (5.9%)

eval6.0ms (0.2%)

prune11.0ms (0.4%)

series83.0ms (3%)

rewrite207.0ms (7.4%)

eval7.0ms (0.3%)

prune9.0ms (0.3%)

regimes446.0ms (15.9%)

bsearch1.0ms (0%)

bsearch1.0ms (0%)

bsearch1.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch16.0ms (0.6%)

bsearch1.0ms (0%)

bsearch1.0ms (0%)

bsearch1.0ms (0%)

bsearch0.0ms (0%)

bsearch1.0ms (0%)

bsearch0.0ms (0%)

derivations14.0ms (0.5%)

preprocess210.0ms (7.5%)

end0.0ms (0%)

Profiling