Metrics for math.cos on complex, real part

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

0.2MiB live, 0.2MiB 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 13 to 12 computations (7.7% saved)

sample963.0ms (43.1%)

Memory

23.9MiB live, 586.1MiB allocated; 46ms collecting garbage

Samples

692.0ms

8 256×

valid

Precisions

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

ival-cos: 193.0ms (38.6% of total)

ival-exp: 115.0ms (23% of total)

ival-mult: 105.0ms (21% of total)

ival-add: 38.0ms (7.6% of total)

ival-neg: 37.0ms (7.4% of total)

exact: 7.0ms (1.4% of total)

adjust: 3.0ms (0.6% of total)

ival-assert: 3.0ms (0.6% of total)

Bogosity

explain116.0ms (5.2%)

Memory

-14.7MiB live, 79.1MiB allocated; 7ms collecting garbage

FPErrors

Click to see full error table

Overpredictions	Example	Example	Subexpression
0	-	-	`(exp.f64 im)`
0	-	-	`(neg.f64 im)`
2	(-6.1450412442059515e+127 352.0902893023169)	-	`(exp.f64 (neg.f64 im))`
0	-	-	`(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))`
0	-	-	`(cos.f64 re)`
0	-	-	`im`
0	-	-	`(.f64 (.f64 #s(literal 1/2 binary64) (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))`
0	-	-	`re`
0	-	-	`#s(literal 1/2 binary64)`
0	-	-	`(*.f64 #s(literal 1/2 binary64) (cos.f64 re))`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`exp.f64`	`(exp.f64 (neg.f64 im))`	sensitivity	2	0

Confusion

	Predicted +	Predicted -
+	0	0
-	2	254

Precision

0.0

Recall

0/0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	2	0	254

Precision?

0.0

Recall?

0/0

Freqs

test

number	freq
0	254
1	2

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	1	0	0

Precision?

0.0

Recall?

0/0

Samples

48.0ms

512×

valid

Compiler

Compiled 81 to 34 computations (58% saved)

Precisions

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

ival-cos: 12.0ms (38.3% of total)

ival-exp: 7.0ms (22.3% of total)

ival-mult: 6.0ms (19.2% of total)

ival-add: 2.0ms (6.4% of total)

ival-neg: 2.0ms (6.4% of total)

adjust: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

ival-true: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

preprocess215.0ms (9.6%)

Memory

11.9MiB live, 119.7MiB allocated; 20ms collecting garbage

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	26	68
1	112	66
2	320	66
3	1222	38
4	7324	38
0	10	11
0	17	11
1	44	11
2	127	11
3	534	11
4	2638	5
0	8386	5

Stop Event

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

Calls

Call 1

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

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

Symmetry

(abs re)

(abs im)

Compiler

Compiled 11 to 10 computations (9.1% saved)

eval0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated; 0ms collecting garbage
Compiler: Compiled 0 to 2 computations (-∞% saved)

prune0.0ms (0%)

Memory

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

Alt Table

Click to see full alt table

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

Compiler

Compiled 11 to 10 computations (9.1% saved)

series9.0ms (0.4%)

Memory

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

Counts

10 → 40

Calls

Call 1

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

Outputs
#s(approx (* (* 1/2 (cos re)) (+ (exp (neg im)) (exp im))) #s(hole binary64 (* 1/2 (+ (exp im) (exp (neg im))))))
#s(approx (* (* 1/2 (cos re)) (+ (exp (neg im)) (exp im))) #s(hole binary64 (+ (* -1/4 (* (pow re 2) (+ (exp im) (exp (neg im))))) (* 1/2 (+ (exp im) (exp (neg im)))))))
#s(approx (* (* 1/2 (cos re)) (+ (exp (neg im)) (exp im))) #s(hole binary64 (+ (* 1/2 (+ (exp im) (exp (neg im)))) (* (pow re 2) (+ (* -1/4 (+ (exp im) (exp (neg im)))) (* 1/48 (* (pow re 2) (+ (exp im) (exp (neg im))))))))))
#s(approx (* (* 1/2 (cos re)) (+ (exp (neg im)) (exp im))) #s(hole binary64 (+ (* 1/2 (+ (exp im) (exp (neg im)))) (* (pow re 2) (+ (* -1/4 (+ (exp im) (exp (neg im)))) (* (pow re 2) (+ (* -1/1440 (* (pow re 2) (+ (exp im) (exp (neg im))))) (* 1/48 (+ (exp im) (exp (neg im)))))))))))
#s(approx (* 1/2 (cos re)) #s(hole binary64 1/2))
#s(approx (* 1/2 (cos re)) #s(hole binary64 (+ 1/2 (* -1/4 (pow re 2)))))
#s(approx (* 1/2 (cos re)) #s(hole binary64 (+ 1/2 (* (pow re 2) (- (* 1/48 (pow re 2)) 1/4)))))
#s(approx (* 1/2 (cos re)) #s(hole binary64 (+ 1/2 (* (pow re 2) (- (* (pow re 2) (+ 1/48 (* -1/1440 (pow re 2)))) 1/4)))))
#s(approx (cos re) #s(hole binary64 1))
#s(approx (cos re) #s(hole binary64 (+ 1 (* -1/2 (pow re 2)))))
#s(approx (cos re) #s(hole binary64 (+ 1 (* (pow re 2) (- (* 1/24 (pow re 2)) 1/2)))))
#s(approx (cos re) #s(hole binary64 (+ 1 (* (pow re 2) (- (* (pow re 2) (+ 1/24 (* -1/720 (pow re 2)))) 1/2)))))
#s(approx re #s(hole binary64 re))
#s(approx (* (* 1/2 (cos re)) (+ (exp (neg im)) (exp im))) #s(hole binary64 (* 1/2 (* (cos re) (+ (exp im) (exp (neg im)))))))
#s(approx (* 1/2 (cos re)) #s(hole binary64 (* 1/2 (cos re))))
#s(approx (cos re) #s(hole binary64 (cos re)))
#s(approx (* (* 1/2 (cos re)) (+ (exp (neg im)) (exp im))) #s(hole binary64 (cos re)))
#s(approx (* (* 1/2 (cos re)) (+ (exp (neg im)) (exp im))) #s(hole binary64 (+ (cos re) (* 1/2 (* (pow im 2) (cos re))))))
#s(approx (* (* 1/2 (cos re)) (+ (exp (neg im)) (exp im))) #s(hole binary64 (+ (cos re) (* (pow im 2) (+ (* 1/24 (* (pow im 2) (cos re))) (* 1/2 (cos re)))))))
#s(approx (* (* 1/2 (cos re)) (+ (exp (neg im)) (exp im))) #s(hole binary64 (+ (cos re) (* (pow im 2) (+ (* 1/2 (cos re)) (* (pow im 2) (+ (* 1/720 (* (pow im 2) (cos re))) (* 1/24 (cos re)))))))))
#s(approx (+ (exp (neg im)) (exp im)) #s(hole binary64 2))
#s(approx (+ (exp (neg im)) (exp im)) #s(hole binary64 (+ 2 (pow im 2))))
#s(approx (+ (exp (neg im)) (exp im)) #s(hole binary64 (+ 2 (* (pow im 2) (+ 1 (* 1/12 (pow im 2)))))))
#s(approx (+ (exp (neg im)) (exp im)) #s(hole binary64 (+ 2 (* (pow im 2) (+ 1 (* (pow im 2) (+ 1/12 (* 1/360 (pow im 2)))))))))
#s(approx (exp (neg im)) #s(hole binary64 1))
#s(approx (exp (neg im)) #s(hole binary64 (+ 1 (* -1 im))))
#s(approx (exp (neg im)) #s(hole binary64 (+ 1 (* im (- (* 1/2 im) 1)))))
#s(approx (exp (neg im)) #s(hole binary64 (+ 1 (* im (- (* im (+ 1/2 (* -1/6 im))) 1)))))
#s(approx (neg im) #s(hole binary64 (* -1 im)))
#s(approx im #s(hole binary64 im))
#s(approx (exp im) #s(hole binary64 1))
#s(approx (exp im) #s(hole binary64 (+ 1 im)))
#s(approx (exp im) #s(hole binary64 (+ 1 (* im (+ 1 (* 1/2 im))))))
#s(approx (exp im) #s(hole binary64 (+ 1 (* im (+ 1 (* im (+ 1/2 (* 1/6 im))))))))
#s(approx (+ (exp (neg im)) (exp im)) #s(hole binary64 (+ (exp im) (exp (neg im)))))
#s(approx (exp (neg im)) #s(hole binary64 (exp (neg im))))
#s(approx (exp im) #s(hole binary64 (exp im)))
#s(approx (* (* 1/2 (cos re)) (+ (exp (neg im)) (exp im))) #s(hole binary64 (* 1/2 (* (cos re) (+ (exp im) (exp (* -1 im)))))))
#s(approx (+ (exp (neg im)) (exp im)) #s(hole binary64 (+ (exp im) (exp (* -1 im)))))
#s(approx (exp (neg im)) #s(hole binary64 (exp (* -1 im))))

Calls

6 calls:

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

rewrite164.0ms (7.3%)

Memory

-18.1MiB live, 119.7MiB allocated; 9ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	168	681
0	179	612
1	1020	550
0	8542	512

Stop Event

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

Counts

50 → 132

Calls

Call 1

Inputs
(.f64 (.f64 #s(literal 1/2 binary64) (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(*.f64 #s(literal 1/2 binary64) (cos.f64 re))
#s(literal 1/2 binary64)
(cos.f64 re)
re
(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
(exp.f64 (neg.f64 im))
(neg.f64 im)
im
(exp.f64 im)
#s(approx (* (* 1/2 (cos re)) (+ (exp (neg im)) (exp im))) #s(hole binary64 (* 1/2 (+ (exp im) (exp (neg im))))))
#s(approx (* (* 1/2 (cos re)) (+ (exp (neg im)) (exp im))) #s(hole binary64 (+ (* -1/4 (* (pow re 2) (+ (exp im) (exp (neg im))))) (* 1/2 (+ (exp im) (exp (neg im)))))))
#s(approx (* (* 1/2 (cos re)) (+ (exp (neg im)) (exp im))) #s(hole binary64 (+ (* 1/2 (+ (exp im) (exp (neg im)))) (* (pow re 2) (+ (* -1/4 (+ (exp im) (exp (neg im)))) (* 1/48 (* (pow re 2) (+ (exp im) (exp (neg im))))))))))
#s(approx (* (* 1/2 (cos re)) (+ (exp (neg im)) (exp im))) #s(hole binary64 (+ (* 1/2 (+ (exp im) (exp (neg im)))) (* (pow re 2) (+ (* -1/4 (+ (exp im) (exp (neg im)))) (* (pow re 2) (+ (* -1/1440 (* (pow re 2) (+ (exp im) (exp (neg im))))) (* 1/48 (+ (exp im) (exp (neg im)))))))))))
#s(approx (* 1/2 (cos re)) #s(hole binary64 1/2))
#s(approx (* 1/2 (cos re)) #s(hole binary64 (+ 1/2 (* -1/4 (pow re 2)))))
#s(approx (* 1/2 (cos re)) #s(hole binary64 (+ 1/2 (* (pow re 2) (- (* 1/48 (pow re 2)) 1/4)))))
#s(approx (* 1/2 (cos re)) #s(hole binary64 (+ 1/2 (* (pow re 2) (- (* (pow re 2) (+ 1/48 (* -1/1440 (pow re 2)))) 1/4)))))
#s(approx (cos re) #s(hole binary64 1))
#s(approx (cos re) #s(hole binary64 (+ 1 (* -1/2 (pow re 2)))))
#s(approx (cos re) #s(hole binary64 (+ 1 (* (pow re 2) (- (* 1/24 (pow re 2)) 1/2)))))
#s(approx (cos re) #s(hole binary64 (+ 1 (* (pow re 2) (- (* (pow re 2) (+ 1/24 (* -1/720 (pow re 2)))) 1/2)))))
#s(approx re #s(hole binary64 re))
#s(approx (* (* 1/2 (cos re)) (+ (exp (neg im)) (exp im))) #s(hole binary64 (* 1/2 (* (cos re) (+ (exp im) (exp (neg im)))))))
#s(approx (* 1/2 (cos re)) #s(hole binary64 (* 1/2 (cos re))))
#s(approx (cos re) #s(hole binary64 (cos re)))
#s(approx (* (* 1/2 (cos re)) (+ (exp (neg im)) (exp im))) #s(hole binary64 (cos re)))
#s(approx (* (* 1/2 (cos re)) (+ (exp (neg im)) (exp im))) #s(hole binary64 (+ (cos re) (* 1/2 (* (pow im 2) (cos re))))))
#s(approx (* (* 1/2 (cos re)) (+ (exp (neg im)) (exp im))) #s(hole binary64 (+ (cos re) (* (pow im 2) (+ (* 1/24 (* (pow im 2) (cos re))) (* 1/2 (cos re)))))))
#s(approx (* (* 1/2 (cos re)) (+ (exp (neg im)) (exp im))) #s(hole binary64 (+ (cos re) (* (pow im 2) (+ (* 1/2 (cos re)) (* (pow im 2) (+ (* 1/720 (* (pow im 2) (cos re))) (* 1/24 (cos re)))))))))
#s(approx (+ (exp (neg im)) (exp im)) #s(hole binary64 2))
#s(approx (+ (exp (neg im)) (exp im)) #s(hole binary64 (+ 2 (pow im 2))))
#s(approx (+ (exp (neg im)) (exp im)) #s(hole binary64 (+ 2 (* (pow im 2) (+ 1 (* 1/12 (pow im 2)))))))
#s(approx (+ (exp (neg im)) (exp im)) #s(hole binary64 (+ 2 (* (pow im 2) (+ 1 (* (pow im 2) (+ 1/12 (* 1/360 (pow im 2)))))))))
#s(approx (exp (neg im)) #s(hole binary64 1))
#s(approx (exp (neg im)) #s(hole binary64 (+ 1 (* -1 im))))
#s(approx (exp (neg im)) #s(hole binary64 (+ 1 (* im (- (* 1/2 im) 1)))))
#s(approx (exp (neg im)) #s(hole binary64 (+ 1 (* im (- (* im (+ 1/2 (* -1/6 im))) 1)))))
#s(approx (neg im) #s(hole binary64 (* -1 im)))
#s(approx im #s(hole binary64 im))
#s(approx (exp im) #s(hole binary64 1))
#s(approx (exp im) #s(hole binary64 (+ 1 im)))
#s(approx (exp im) #s(hole binary64 (+ 1 (* im (+ 1 (* 1/2 im))))))
#s(approx (exp im) #s(hole binary64 (+ 1 (* im (+ 1 (* im (+ 1/2 (* 1/6 im))))))))
#s(approx (+ (exp (neg im)) (exp im)) #s(hole binary64 (+ (exp im) (exp (neg im)))))
#s(approx (exp (neg im)) #s(hole binary64 (exp (neg im))))
#s(approx (exp im) #s(hole binary64 (exp im)))
#s(approx (* (* 1/2 (cos re)) (+ (exp (neg im)) (exp im))) #s(hole binary64 (* 1/2 (* (cos re) (+ (exp im) (exp (* -1 im)))))))
#s(approx (+ (exp (neg im)) (exp im)) #s(hole binary64 (+ (exp im) (exp (* -1 im)))))
#s(approx (exp (neg im)) #s(hole binary64 (exp (* -1 im))))

Outputs
(.f64 (.f64 (*.f64 (cos.f64 re) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (cosh.f64 im))
(.f64 (.f64 (*.f64 (cos.f64 re) #s(literal 2 binary64)) (cosh.f64 im)) #s(literal 1/2 binary64))
(.f64 (.f64 #s(literal 1 binary64) (cosh.f64 im)) (cos.f64 re))
(.f64 (.f64 #s(literal 2 binary64) (cosh.f64 im)) (*.f64 (cos.f64 re) #s(literal 1/2 binary64)))
(.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (*.f64 #s(literal 2 binary64) (cosh.f64 im)))
(.f64 #s(literal 1/2 binary64) (.f64 (*.f64 (cos.f64 re) #s(literal 2 binary64)) (cosh.f64 im)))
(/.f64 (-.f64 (.f64 (.f64 (exp.f64 (neg.f64 im)) (.f64 (cos.f64 re) #s(literal 1/2 binary64))) (.f64 (exp.f64 (neg.f64 im)) (.f64 (cos.f64 re) #s(literal 1/2 binary64)))) (.f64 (.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)) (.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)))) (-.f64 (.f64 (exp.f64 (neg.f64 im)) (.f64 (cos.f64 re) #s(literal 1/2 binary64))) (.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im))) (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im)))) (.f64 (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 im)) (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 im)))) (-.f64 (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im))) (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 im))))
(/.f64 (+.f64 (pow.f64 (.f64 (exp.f64 (neg.f64 im)) (.f64 (cos.f64 re) #s(literal 1/2 binary64))) #s(literal 3 binary64)) (pow.f64 (.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)) #s(literal 3 binary64))) (fma.f64 (.f64 (exp.f64 (neg.f64 im)) (.f64 (cos.f64 re) #s(literal 1/2 binary64))) (.f64 (exp.f64 (neg.f64 im)) (.f64 (cos.f64 re) #s(literal 1/2 binary64))) (-.f64 (.f64 (.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)) (.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re))) (.f64 (.f64 (exp.f64 (neg.f64 im)) (.f64 (cos.f64 re) #s(literal 1/2 binary64))) (.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re))))))
(/.f64 (+.f64 (pow.f64 (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im))) #s(literal 3 binary64)) (pow.f64 (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 im)) #s(literal 3 binary64))) (fma.f64 (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im))) (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im))) (-.f64 (.f64 (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 im)) (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 im))) (.f64 (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im))) (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 im))))))
(neg.f64 (.f64 (.f64 (*.f64 (cos.f64 re) #s(literal 2 binary64)) (cosh.f64 im)) #s(literal -1/2 binary64)))
(neg.f64 (.f64 #s(literal -1/2 binary64) (.f64 (*.f64 (cos.f64 re) #s(literal 2 binary64)) (cosh.f64 im))))
(fma.f64 (.f64 (exp.f64 (neg.f64 im)) #s(literal 1/2 binary64)) (cos.f64 re) (.f64 (*.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)))
(fma.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re) (.f64 (exp.f64 (neg.f64 im)) (*.f64 (cos.f64 re) #s(literal 1/2 binary64))))
(fma.f64 (.f64 (exp.f64 (neg.f64 im)) (cos.f64 re)) #s(literal 1/2 binary64) (.f64 (*.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)))
(fma.f64 (.f64 (exp.f64 im) (cos.f64 re)) #s(literal 1/2 binary64) (.f64 (exp.f64 (neg.f64 im)) (*.f64 (cos.f64 re) #s(literal 1/2 binary64))))
(fma.f64 (.f64 (cos.f64 re) (exp.f64 im)) #s(literal 1/2 binary64) (.f64 (*.f64 (cos.f64 re) (exp.f64 (neg.f64 im))) #s(literal 1/2 binary64)))
(fma.f64 (exp.f64 im) (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (.f64 (exp.f64 (neg.f64 im)) (*.f64 (cos.f64 re) #s(literal 1/2 binary64))))
(fma.f64 (exp.f64 (neg.f64 im)) (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (.f64 (*.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)))
(fma.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 im) (.f64 (*.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im))))
(fma.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im)) (.f64 (*.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 im)))
(fma.f64 #s(literal 1/2 binary64) (.f64 (exp.f64 im) (cos.f64 re)) (.f64 #s(literal 1/2 binary64) (*.f64 (exp.f64 (neg.f64 im)) (cos.f64 re))))
(fma.f64 #s(literal 1/2 binary64) (.f64 (cos.f64 re) (exp.f64 im)) (.f64 #s(literal 1/2 binary64) (*.f64 (cos.f64 re) (exp.f64 (neg.f64 im)))))
(-.f64 (.f64 (exp.f64 (neg.f64 im)) (.f64 (cos.f64 re) #s(literal 1/2 binary64))) (.f64 (neg.f64 (exp.f64 im)) (.f64 (cos.f64 re) #s(literal 1/2 binary64))))
(-.f64 (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im))) (.f64 (.f64 #s(literal -1/2 binary64) (cos.f64 re)) (exp.f64 im)))
(+.f64 (.f64 (.f64 (cos.f64 re) (exp.f64 im)) #s(literal 1/2 binary64)) (.f64 (.f64 (cos.f64 re) (exp.f64 (neg.f64 im))) #s(literal 1/2 binary64)))
(+.f64 (.f64 #s(literal 1/2 binary64) (.f64 (exp.f64 im) (cos.f64 re))) (.f64 #s(literal 1/2 binary64) (.f64 (exp.f64 (neg.f64 im)) (cos.f64 re))))
(+.f64 (.f64 #s(literal 1/2 binary64) (.f64 (cos.f64 re) (exp.f64 im))) (.f64 #s(literal 1/2 binary64) (.f64 (cos.f64 re) (exp.f64 (neg.f64 im)))))
(+.f64 (.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)) (.f64 (exp.f64 (neg.f64 im)) (.f64 (cos.f64 re) #s(literal 1/2 binary64))))
(+.f64 (.f64 (exp.f64 (neg.f64 im)) (.f64 (cos.f64 re) #s(literal 1/2 binary64))) (.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)))
(+.f64 (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 im)) (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im))))
(+.f64 (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im))) (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 im)))
(*.f64 (cos.f64 re) #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) (cos.f64 re))
(neg.f64 (*.f64 (cos.f64 re) #s(literal -1/2 binary64)))
(neg.f64 (*.f64 #s(literal -1/2 binary64) (cos.f64 re)))
#s(literal 1/2 binary64)
(fma.f64 (sin.f64 re) (cos.f64 (/.f64 (PI.f64) #s(literal 2 binary64))) (*.f64 (cos.f64 re) (sin.f64 (/.f64 (PI.f64) #s(literal 2 binary64)))))
(sin.f64 (+.f64 (neg.f64 re) (/.f64 (PI.f64) #s(literal 2 binary64))))
(sin.f64 (+.f64 re (/.f64 (PI.f64) #s(literal 2 binary64))))
(cos.f64 (neg.f64 (neg.f64 re)))
(cos.f64 (neg.f64 re))
(cos.f64 re)
(+.f64 (.f64 (sin.f64 re) (cos.f64 (/.f64 (PI.f64) #s(literal 2 binary64)))) (.f64 (cos.f64 re) (sin.f64 (/.f64 (PI.f64) #s(literal 2 binary64)))))
re
(*.f64 #s(literal 2 binary64) (cosh.f64 im))
(/.f64 (neg.f64 (-.f64 (exp.f64 (*.f64 (neg.f64 im) #s(literal 2 binary64))) (pow.f64 (exp.f64 im) #s(literal 2 binary64)))) (neg.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(/.f64 (neg.f64 (.f64 (.f64 #s(literal 2 binary64) (cosh.f64 im)) (.f64 #s(literal 2 binary64) (sinh.f64 im)))) (neg.f64 (.f64 #s(literal 2 binary64) (sinh.f64 im))))
(/.f64 (neg.f64 (+.f64 (exp.f64 (.f64 (neg.f64 im) #s(literal 3 binary64))) (pow.f64 (exp.f64 im) #s(literal 3 binary64)))) (neg.f64 (+.f64 (exp.f64 (.f64 (neg.f64 im) #s(literal 2 binary64))) (expm1.f64 (*.f64 im #s(literal 2 binary64))))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (exp.f64 im) #s(literal 3 binary64)) (exp.f64 (.f64 (neg.f64 im) #s(literal 3 binary64))))) (neg.f64 (fma.f64 (exp.f64 im) (exp.f64 im) (expm1.f64 (.f64 (neg.f64 im) #s(literal 2 binary64))))))
(/.f64 (-.f64 (exp.f64 (*.f64 (neg.f64 im) #s(literal 2 binary64))) (pow.f64 (exp.f64 im) #s(literal 2 binary64))) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(/.f64 (.f64 (.f64 #s(literal 2 binary64) (cosh.f64 im)) (.f64 #s(literal 2 binary64) (sinh.f64 im))) (.f64 #s(literal 2 binary64) (sinh.f64 im)))
(/.f64 (+.f64 (exp.f64 (.f64 (neg.f64 im) #s(literal 3 binary64))) (pow.f64 (exp.f64 im) #s(literal 3 binary64))) (+.f64 (exp.f64 (.f64 (neg.f64 im) #s(literal 2 binary64))) (expm1.f64 (*.f64 im #s(literal 2 binary64)))))
(/.f64 (+.f64 (pow.f64 (exp.f64 im) #s(literal 3 binary64)) (exp.f64 (.f64 (neg.f64 im) #s(literal 3 binary64)))) (fma.f64 (exp.f64 im) (exp.f64 im) (expm1.f64 (.f64 (neg.f64 im) #s(literal 2 binary64)))))
(fma.f64 (pow.f64 (exp.f64 #s(literal -1 binary64)) (/.f64 im #s(literal 2 binary64))) (pow.f64 (exp.f64 #s(literal -1 binary64)) (/.f64 im #s(literal 2 binary64))) (exp.f64 im))
(-.f64 (+.f64 (exp.f64 im) (cosh.f64 im)) (sinh.f64 im))
(-.f64 (/.f64 (exp.f64 (*.f64 (neg.f64 im) #s(literal 2 binary64))) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (/.f64 (pow.f64 (exp.f64 im) #s(literal 2 binary64)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(-.f64 (/.f64 (pow.f64 (exp.f64 im) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) (sinh.f64 im))) (/.f64 (exp.f64 (.f64 (neg.f64 im) #s(literal 2 binary64))) (*.f64 #s(literal 2 binary64) (sinh.f64 im))))
(-.f64 (cosh.f64 im) (-.f64 (sinh.f64 im) (exp.f64 im)))
(+.f64 (+.f64 (exp.f64 im) (cosh.f64 im)) (sinh.f64 (neg.f64 im)))
(+.f64 (+.f64 (exp.f64 (neg.f64 im)) (cosh.f64 im)) (sinh.f64 im))
(+.f64 (/.f64 (exp.f64 (.f64 (neg.f64 im) #s(literal 3 binary64))) (+.f64 (exp.f64 (.f64 (neg.f64 im) #s(literal 2 binary64))) (expm1.f64 (.f64 im #s(literal 2 binary64))))) (/.f64 (pow.f64 (exp.f64 im) #s(literal 3 binary64)) (+.f64 (exp.f64 (.f64 (neg.f64 im) #s(literal 2 binary64))) (expm1.f64 (*.f64 im #s(literal 2 binary64))))))
(+.f64 (/.f64 (pow.f64 (exp.f64 im) #s(literal 3 binary64)) (fma.f64 (exp.f64 im) (exp.f64 im) (expm1.f64 (.f64 (neg.f64 im) #s(literal 2 binary64))))) (/.f64 (exp.f64 (.f64 (neg.f64 im) #s(literal 3 binary64))) (fma.f64 (exp.f64 im) (exp.f64 im) (expm1.f64 (*.f64 (neg.f64 im) #s(literal 2 binary64))))))
(+.f64 (cosh.f64 im) (+.f64 (sinh.f64 im) (exp.f64 (neg.f64 im))))
(+.f64 (cosh.f64 im) (+.f64 (sinh.f64 (neg.f64 im)) (exp.f64 im)))
(+.f64 (cosh.f64 im) (cosh.f64 im))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
(*.f64 (pow.f64 (exp.f64 #s(literal -1 binary64)) (/.f64 im #s(literal 2 binary64))) (pow.f64 (exp.f64 #s(literal -1 binary64)) (/.f64 im #s(literal 2 binary64))))
(pow.f64 (exp.f64 #s(literal -1 binary64)) im)
(pow.f64 (exp.f64 im) #s(literal -1 binary64))
(/.f64 (-.f64 (.f64 (cosh.f64 im) (cosh.f64 im)) (.f64 (sinh.f64 (neg.f64 im)) (sinh.f64 (neg.f64 im)))) (-.f64 (cosh.f64 im) (sinh.f64 (neg.f64 im))))
(/.f64 (-.f64 (pow.f64 (cosh.f64 im) #s(literal 3 binary64)) (pow.f64 (sinh.f64 im) #s(literal 3 binary64))) (fma.f64 (cosh.f64 im) (cosh.f64 im) (fma.f64 (sinh.f64 im) (sinh.f64 im) (*.f64 (cosh.f64 im) (sinh.f64 im)))))
(/.f64 (+.f64 (pow.f64 (cosh.f64 im) #s(literal 3 binary64)) (pow.f64 (sinh.f64 (neg.f64 im)) #s(literal 3 binary64))) (fma.f64 (cosh.f64 im) (cosh.f64 im) (-.f64 (.f64 (sinh.f64 (neg.f64 im)) (sinh.f64 (neg.f64 im))) (.f64 (cosh.f64 im) (sinh.f64 (neg.f64 im))))))
(/.f64 #s(literal -1 binary64) (neg.f64 (exp.f64 im)))
(/.f64 #s(literal 1 binary64) (exp.f64 im))
(neg.f64 (/.f64 #s(literal -1 binary64) (exp.f64 im)))
(-.f64 (cosh.f64 im) (sinh.f64 im))
(+.f64 (cosh.f64 im) (sinh.f64 (neg.f64 im)))
(exp.f64 (-.f64 #s(literal 0 binary64) im))
(exp.f64 (*.f64 (log.f64 (exp.f64 #s(literal -1 binary64))) im))
(exp.f64 (neg.f64 im))
(*.f64 #s(literal -1 binary64) im)
(*.f64 #s(literal 1 binary64) (neg.f64 im))
(*.f64 im #s(literal -1 binary64))
(neg.f64 (*.f64 #s(literal -1 binary64) (neg.f64 im)))
(neg.f64 im)
im
(/.f64 (+.f64 (pow.f64 (cosh.f64 im) #s(literal 3 binary64)) (pow.f64 (sinh.f64 im) #s(literal 3 binary64))) (fma.f64 (cosh.f64 im) (cosh.f64 im) (-.f64 (.f64 (sinh.f64 im) (sinh.f64 im)) (.f64 (cosh.f64 im) (sinh.f64 im)))))
(/.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 im)))
(+.f64 (cosh.f64 im) (sinh.f64 im))
(exp.f64 im)
#s(approx (* (* 1/2 (cos re)) (+ (exp (neg im)) (exp im))) (*.f64 #s(literal 1 binary64) (cosh.f64 im)))
#s(approx (* (* 1/2 (cos re)) (+ (exp (neg im)) (exp im))) (.f64 (.f64 #s(literal 2 binary64) (cosh.f64 im)) (fma.f64 (*.f64 re re) #s(literal -1/4 binary64) #s(literal 1/2 binary64))))
#s(approx (* (* 1/2 (cos re)) (+ (exp (neg im)) (exp im))) (fma.f64 #s(literal 1 binary64) (cosh.f64 im) (.f64 (.f64 (.f64 #s(literal 2 binary64) (cosh.f64 im)) (fma.f64 #s(literal 1/48 binary64) (.f64 re re) #s(literal -1/4 binary64))) (*.f64 re re))))
#s(approx (* (* 1/2 (cos re)) (+ (exp (neg im)) (exp im))) (fma.f64 #s(literal 1 binary64) (cosh.f64 im) (.f64 (fma.f64 #s(literal -1/2 binary64) (cosh.f64 im) (.f64 (.f64 (.f64 #s(literal 2 binary64) (cosh.f64 im)) (fma.f64 #s(literal -1/1440 binary64) (.f64 re re) #s(literal 1/48 binary64))) (.f64 re re))) (*.f64 re re))))
#s(approx (* 1/2 (cos re)) #s(literal 1/2 binary64))
#s(approx (* 1/2 (cos re)) (fma.f64 (*.f64 re re) #s(literal -1/4 binary64) #s(literal 1/2 binary64)))
#s(approx (* 1/2 (cos re)) (fma.f64 (fma.f64 #s(literal 1/48 binary64) (.f64 re re) #s(literal -1/4 binary64)) (.f64 re re) #s(literal 1/2 binary64)))
#s(approx (* 1/2 (cos re)) (fma.f64 (fma.f64 (fma.f64 #s(literal -1/1440 binary64) (.f64 re re) #s(literal 1/48 binary64)) (.f64 re re) #s(literal -1/4 binary64)) (*.f64 re re) #s(literal 1/2 binary64)))
#s(approx (cos re) #s(literal 1 binary64))
#s(approx (cos re) (fma.f64 #s(literal -1/2 binary64) (*.f64 re re) #s(literal 1 binary64)))
#s(approx (cos re) (fma.f64 (-.f64 (.f64 #s(literal 1/24 binary64) (.f64 re re)) #s(literal 1/2 binary64)) (*.f64 re re) #s(literal 1 binary64)))
#s(approx (cos re) (fma.f64 (-.f64 (.f64 (.f64 (fma.f64 #s(literal -1/720 binary64) (.f64 re re) #s(literal 1/24 binary64)) re) re) #s(literal 1/2 binary64)) (.f64 re re) #s(literal 1 binary64)))
#s(approx re re)
#s(approx (* (* 1/2 (cos re)) (+ (exp (neg im)) (exp im))) (.f64 (.f64 #s(literal 1 binary64) (cosh.f64 im)) (cos.f64 re)))
#s(approx (* 1/2 (cos re)) (*.f64 (cos.f64 re) #s(literal 1/2 binary64)))
#s(approx (cos re) (cos.f64 re))
#s(approx (* (* 1/2 (cos re)) (+ (exp (neg im)) (exp im))) (cos.f64 re))
#s(approx (* (* 1/2 (cos re)) (+ (exp (neg im)) (exp im))) (.f64 (fma.f64 (.f64 im #s(literal 1/2 binary64)) im #s(literal 1 binary64)) (cos.f64 re)))
#s(approx (* (* 1/2 (cos re)) (+ (exp (neg im)) (exp im))) (fma.f64 (.f64 (cos.f64 re) (fma.f64 #s(literal 1/24 binary64) (.f64 im im) #s(literal 1/2 binary64))) (*.f64 im im) (cos.f64 re)))
#s(approx (* (* 1/2 (cos re)) (+ (exp (neg im)) (exp im))) (fma.f64 (fma.f64 (.f64 im #s(literal 1/2 binary64)) im #s(literal 1 binary64)) (cos.f64 re) (.f64 (pow.f64 im #s(literal 4 binary64)) (.f64 (cos.f64 re) (fma.f64 #s(literal 1/720 binary64) (.f64 im im) #s(literal 1/24 binary64))))))
#s(approx (+ (exp (neg im)) (exp im)) #s(literal 2 binary64))
#s(approx (+ (exp (neg im)) (exp im)) (fma.f64 im im #s(literal 2 binary64)))
#s(approx (+ (exp (neg im)) (exp im)) (fma.f64 im im (fma.f64 (pow.f64 im #s(literal 4 binary64)) #s(literal 1/12 binary64) #s(literal 2 binary64))))
#s(approx (+ (exp (neg im)) (exp im)) (fma.f64 im im (fma.f64 (pow.f64 im #s(literal 4 binary64)) (fma.f64 #s(literal 1/360 binary64) (*.f64 im im) #s(literal 1/12 binary64)) #s(literal 2 binary64))))
#s(approx (exp (neg im)) #s(literal 1 binary64))
#s(approx (exp (neg im)) (-.f64 #s(literal 1 binary64) im))
#s(approx (exp (neg im)) (fma.f64 (fma.f64 im #s(literal 1/2 binary64) #s(literal -1 binary64)) im #s(literal 1 binary64)))
#s(approx (exp (neg im)) (fma.f64 (fma.f64 (fma.f64 #s(literal -1/6 binary64) im #s(literal 1/2 binary64)) im #s(literal -1 binary64)) im #s(literal 1 binary64)))
#s(approx (neg im) (neg.f64 im))
#s(approx im im)
#s(approx (exp im) #s(literal 1 binary64))
#s(approx (exp im) (-.f64 im #s(literal -1 binary64)))
#s(approx (exp im) (fma.f64 (fma.f64 im #s(literal 1/2 binary64) #s(literal 1 binary64)) im #s(literal 1 binary64)))
#s(approx (exp im) (fma.f64 (fma.f64 (fma.f64 #s(literal 1/6 binary64) im #s(literal 1/2 binary64)) im #s(literal 1 binary64)) im #s(literal 1 binary64)))
#s(approx (+ (exp (neg im)) (exp im)) (*.f64 #s(literal 2 binary64) (cosh.f64 im)))
#s(approx (exp (neg im)) (exp.f64 (neg.f64 im)))
#s(approx (exp im) (exp.f64 im))
#s(approx (* (* 1/2 (cos re)) (+ (exp (neg im)) (exp im))) (.f64 (.f64 #s(literal 1 binary64) (cosh.f64 im)) (cos.f64 re)))
#s(approx (+ (exp (neg im)) (exp im)) (*.f64 #s(literal 2 binary64) (cosh.f64 im)))
#s(approx (exp (neg im)) (exp.f64 (neg.f64 im)))

eval13.0ms (0.6%)

Memory: 14.1MiB live, 14.1MiB allocated; 0ms collecting garbage
Compiler: Compiled 2 405 to 470 computations (80.5% saved)

prune114.0ms (5.1%)

Memory

-31.8MiB live, 73.0MiB allocated; 5ms collecting garbage

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	129	2	131
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	130	2	132

Accuracy

100.0%

Counts

132 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
	100.0%	(fma.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re) (.f64 (exp.f64 (neg.f64 im)) (*.f64 (cos.f64 re) #s(literal 1/2 binary64))))
▶	100.0%	(.f64 (.f64 (*.f64 (cos.f64 re) #s(literal 2 binary64)) (cosh.f64 im)) #s(literal 1/2 binary64))

Status

Accuracy

Program

100.0%

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

▶

100.0%

(*.f64 (*.f64 (*.f64 (cos.f64 re) #s(literal 2 binary64)) (cosh.f64 im)) #s(literal 1/2 binary64))

Compiler

Compiled 24 to 20 computations (16.7% saved)

series10.0ms (0.5%)

Memory

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

Counts

9 → 35

Calls

Call 1

Inputs
(.f64 (.f64 (*.f64 (cos.f64 re) #s(literal 2 binary64)) (cosh.f64 im)) #s(literal 1/2 binary64))
(.f64 (.f64 (cos.f64 re) #s(literal 2 binary64)) (cosh.f64 im))
(*.f64 (cos.f64 re) #s(literal 2 binary64))
(cos.f64 re)
re
#s(literal 2 binary64)
(cosh.f64 im)
im
#s(literal 1/2 binary64)

Outputs
#s(approx (* (* (* (cos re) 2) (cosh im)) 1/2) #s(hole binary64 (* 1/2 (+ (exp im) (/ 1 (exp im))))))
#s(approx (* (* (* (cos re) 2) (cosh im)) 1/2) #s(hole binary64 (+ (* -1/4 (* (pow re 2) (+ (exp im) (/ 1 (exp im))))) (* 1/2 (+ (exp im) (/ 1 (exp im)))))))
#s(approx (* (* (* (cos re) 2) (cosh im)) 1/2) #s(hole binary64 (+ (* 1/2 (+ (exp im) (/ 1 (exp im)))) (* (pow re 2) (+ (* -1/4 (+ (exp im) (/ 1 (exp im)))) (* 1/48 (* (pow re 2) (+ (exp im) (/ 1 (exp im))))))))))
#s(approx (* (* (* (cos re) 2) (cosh im)) 1/2) #s(hole binary64 (+ (* 1/2 (+ (exp im) (/ 1 (exp im)))) (* (pow re 2) (+ (* -1/4 (+ (exp im) (/ 1 (exp im)))) (* (pow re 2) (+ (* -1/1440 (* (pow re 2) (+ (exp im) (/ 1 (exp im))))) (* 1/48 (+ (exp im) (/ 1 (exp im)))))))))))
#s(approx (* (* (cos re) 2) (cosh im)) #s(hole binary64 (+ (exp im) (/ 1 (exp im)))))
#s(approx (* (* (cos re) 2) (cosh im)) #s(hole binary64 (+ (exp im) (+ (* -1/2 (* (pow re 2) (+ (exp im) (/ 1 (exp im))))) (/ 1 (exp im))))))
#s(approx (* (* (cos re) 2) (cosh im)) #s(hole binary64 (+ (exp im) (+ (* (pow re 2) (+ (* -1/2 (+ (exp im) (/ 1 (exp im)))) (* 1/24 (* (pow re 2) (+ (exp im) (/ 1 (exp im))))))) (/ 1 (exp im))))))
#s(approx (* (* (cos re) 2) (cosh im)) #s(hole binary64 (+ (exp im) (+ (* (pow re 2) (+ (* -1/2 (+ (exp im) (/ 1 (exp im)))) (* (pow re 2) (+ (* -1/720 (* (pow re 2) (+ (exp im) (/ 1 (exp im))))) (* 1/24 (+ (exp im) (/ 1 (exp im)))))))) (/ 1 (exp im))))))
#s(approx (* (cos re) 2) #s(hole binary64 2))
#s(approx (* (cos re) 2) #s(hole binary64 (+ 2 (* -1 (pow re 2)))))
#s(approx (* (cos re) 2) #s(hole binary64 (+ 2 (* (pow re 2) (- (* 1/12 (pow re 2)) 1)))))
#s(approx (* (cos re) 2) #s(hole binary64 (+ 2 (* (pow re 2) (- (* (pow re 2) (+ 1/12 (* -1/360 (pow re 2)))) 1)))))
#s(approx (cos re) #s(hole binary64 1))
#s(approx (cos re) #s(hole binary64 (+ 1 (* -1/2 (pow re 2)))))
#s(approx (cos re) #s(hole binary64 (+ 1 (* (pow re 2) (- (* 1/24 (pow re 2)) 1/2)))))
#s(approx (cos re) #s(hole binary64 (+ 1 (* (pow re 2) (- (* (pow re 2) (+ 1/24 (* -1/720 (pow re 2)))) 1/2)))))
#s(approx re #s(hole binary64 re))
#s(approx (* (* (* (cos re) 2) (cosh im)) 1/2) #s(hole binary64 (* 1/2 (* (cos re) (+ (exp im) (/ 1 (exp im)))))))
#s(approx (* (* (cos re) 2) (cosh im)) #s(hole binary64 (* (cos re) (+ (exp im) (/ 1 (exp im))))))
#s(approx (* (cos re) 2) #s(hole binary64 (* 2 (cos re))))
#s(approx (cos re) #s(hole binary64 (cos re)))
#s(approx (* (* (* (cos re) 2) (cosh im)) 1/2) #s(hole binary64 (cos re)))
#s(approx (* (* (* (cos re) 2) (cosh im)) 1/2) #s(hole binary64 (+ (cos re) (* 1/2 (* (pow im 2) (cos re))))))
#s(approx (* (* (* (cos re) 2) (cosh im)) 1/2) #s(hole binary64 (+ (cos re) (* (pow im 2) (+ (* 1/24 (* (pow im 2) (cos re))) (* 1/2 (cos re)))))))
#s(approx (* (* (* (cos re) 2) (cosh im)) 1/2) #s(hole binary64 (+ (cos re) (* (pow im 2) (+ (* 1/2 (cos re)) (* (pow im 2) (+ (* 1/720 (* (pow im 2) (cos re))) (* 1/24 (cos re)))))))))
#s(approx (* (* (cos re) 2) (cosh im)) #s(hole binary64 (* 2 (cos re))))
#s(approx (* (* (cos re) 2) (cosh im)) #s(hole binary64 (+ (* 2 (cos re)) (* (pow im 2) (cos re)))))
#s(approx (* (* (cos re) 2) (cosh im)) #s(hole binary64 (+ (* 2 (cos re)) (* (pow im 2) (+ (cos re) (* 1/12 (* (pow im 2) (cos re))))))))
#s(approx (* (* (cos re) 2) (cosh im)) #s(hole binary64 (+ (* 2 (cos re)) (* (pow im 2) (+ (cos re) (* (pow im 2) (+ (* 1/360 (* (pow im 2) (cos re))) (* 1/12 (cos re)))))))))
#s(approx (cosh im) #s(hole binary64 1))
#s(approx (cosh im) #s(hole binary64 (+ 1 (* 1/2 (pow im 2)))))
#s(approx (cosh im) #s(hole binary64 (+ 1 (* (pow im 2) (+ 1/2 (* 1/24 (pow im 2)))))))
#s(approx (cosh im) #s(hole binary64 (+ 1 (* (pow im 2) (+ 1/2 (* (pow im 2) (+ 1/24 (* 1/720 (pow im 2)))))))))
#s(approx im #s(hole binary64 im))
#s(approx (cosh im) #s(hole binary64 (* 1/2 (+ (exp im) (/ 1 (exp im))))))

Calls

6 calls:

Time	Variable		Point	Expression
2.0ms	re	@	0	((* (* (* (cos re) 2) (cosh im)) 1/2) (* (* (cos re) 2) (cosh im)) (* (cos re) 2) (cos re) re 2 (cosh im) im 1/2)
2.0ms	im	@	inf	((* (* (* (cos re) 2) (cosh im)) 1/2) (* (* (cos re) 2) (cosh im)) (* (cos re) 2) (cos re) re 2 (cosh im) im 1/2)
2.0ms	im	@	-inf	((* (* (* (cos re) 2) (cosh im)) 1/2) (* (* (cos re) 2) (cosh im)) (* (cos re) 2) (cos re) re 2 (cosh im) im 1/2)
2.0ms	re	@	inf	((* (* (* (cos re) 2) (cosh im)) 1/2) (* (* (cos re) 2) (cosh im)) (* (cos re) 2) (cos re) re 2 (cosh im) im 1/2)
1.0ms	re	@	-inf	((* (* (* (cos re) 2) (cosh im)) 1/2) (* (* (cos re) 2) (cosh im)) (* (cos re) 2) (cos re) re 2 (cosh im) im 1/2)

rewrite151.0ms (6.8%)

Memory

16.6MiB live, 110.3MiB allocated; 3ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	165	766
0	173	739
1	1063	699
0	8178	660

Stop Event

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

Counts

44 → 111

Calls

Call 1

Inputs
(.f64 (.f64 (*.f64 (cos.f64 re) #s(literal 2 binary64)) (cosh.f64 im)) #s(literal 1/2 binary64))
(.f64 (.f64 (cos.f64 re) #s(literal 2 binary64)) (cosh.f64 im))
(*.f64 (cos.f64 re) #s(literal 2 binary64))
(cos.f64 re)
re
#s(literal 2 binary64)
(cosh.f64 im)
im
#s(literal 1/2 binary64)
#s(approx (* (* (* (cos re) 2) (cosh im)) 1/2) #s(hole binary64 (* 1/2 (+ (exp im) (/ 1 (exp im))))))
#s(approx (* (* (* (cos re) 2) (cosh im)) 1/2) #s(hole binary64 (+ (* -1/4 (* (pow re 2) (+ (exp im) (/ 1 (exp im))))) (* 1/2 (+ (exp im) (/ 1 (exp im)))))))
#s(approx (* (* (* (cos re) 2) (cosh im)) 1/2) #s(hole binary64 (+ (* 1/2 (+ (exp im) (/ 1 (exp im)))) (* (pow re 2) (+ (* -1/4 (+ (exp im) (/ 1 (exp im)))) (* 1/48 (* (pow re 2) (+ (exp im) (/ 1 (exp im))))))))))
#s(approx (* (* (* (cos re) 2) (cosh im)) 1/2) #s(hole binary64 (+ (* 1/2 (+ (exp im) (/ 1 (exp im)))) (* (pow re 2) (+ (* -1/4 (+ (exp im) (/ 1 (exp im)))) (* (pow re 2) (+ (* -1/1440 (* (pow re 2) (+ (exp im) (/ 1 (exp im))))) (* 1/48 (+ (exp im) (/ 1 (exp im)))))))))))
#s(approx (* (* (cos re) 2) (cosh im)) #s(hole binary64 (+ (exp im) (/ 1 (exp im)))))
#s(approx (* (* (cos re) 2) (cosh im)) #s(hole binary64 (+ (exp im) (+ (* -1/2 (* (pow re 2) (+ (exp im) (/ 1 (exp im))))) (/ 1 (exp im))))))
#s(approx (* (* (cos re) 2) (cosh im)) #s(hole binary64 (+ (exp im) (+ (* (pow re 2) (+ (* -1/2 (+ (exp im) (/ 1 (exp im)))) (* 1/24 (* (pow re 2) (+ (exp im) (/ 1 (exp im))))))) (/ 1 (exp im))))))
#s(approx (* (* (cos re) 2) (cosh im)) #s(hole binary64 (+ (exp im) (+ (* (pow re 2) (+ (* -1/2 (+ (exp im) (/ 1 (exp im)))) (* (pow re 2) (+ (* -1/720 (* (pow re 2) (+ (exp im) (/ 1 (exp im))))) (* 1/24 (+ (exp im) (/ 1 (exp im)))))))) (/ 1 (exp im))))))
#s(approx (* (cos re) 2) #s(hole binary64 2))
#s(approx (* (cos re) 2) #s(hole binary64 (+ 2 (* -1 (pow re 2)))))
#s(approx (* (cos re) 2) #s(hole binary64 (+ 2 (* (pow re 2) (- (* 1/12 (pow re 2)) 1)))))
#s(approx (* (cos re) 2) #s(hole binary64 (+ 2 (* (pow re 2) (- (* (pow re 2) (+ 1/12 (* -1/360 (pow re 2)))) 1)))))
#s(approx (cos re) #s(hole binary64 1))
#s(approx (cos re) #s(hole binary64 (+ 1 (* -1/2 (pow re 2)))))
#s(approx (cos re) #s(hole binary64 (+ 1 (* (pow re 2) (- (* 1/24 (pow re 2)) 1/2)))))
#s(approx (cos re) #s(hole binary64 (+ 1 (* (pow re 2) (- (* (pow re 2) (+ 1/24 (* -1/720 (pow re 2)))) 1/2)))))
#s(approx re #s(hole binary64 re))
#s(approx (* (* (* (cos re) 2) (cosh im)) 1/2) #s(hole binary64 (* 1/2 (* (cos re) (+ (exp im) (/ 1 (exp im)))))))
#s(approx (* (* (cos re) 2) (cosh im)) #s(hole binary64 (* (cos re) (+ (exp im) (/ 1 (exp im))))))
#s(approx (* (cos re) 2) #s(hole binary64 (* 2 (cos re))))
#s(approx (cos re) #s(hole binary64 (cos re)))
#s(approx (* (* (* (cos re) 2) (cosh im)) 1/2) #s(hole binary64 (cos re)))
#s(approx (* (* (* (cos re) 2) (cosh im)) 1/2) #s(hole binary64 (+ (cos re) (* 1/2 (* (pow im 2) (cos re))))))
#s(approx (* (* (* (cos re) 2) (cosh im)) 1/2) #s(hole binary64 (+ (cos re) (* (pow im 2) (+ (* 1/24 (* (pow im 2) (cos re))) (* 1/2 (cos re)))))))
#s(approx (* (* (* (cos re) 2) (cosh im)) 1/2) #s(hole binary64 (+ (cos re) (* (pow im 2) (+ (* 1/2 (cos re)) (* (pow im 2) (+ (* 1/720 (* (pow im 2) (cos re))) (* 1/24 (cos re)))))))))
#s(approx (* (* (cos re) 2) (cosh im)) #s(hole binary64 (* 2 (cos re))))
#s(approx (* (* (cos re) 2) (cosh im)) #s(hole binary64 (+ (* 2 (cos re)) (* (pow im 2) (cos re)))))
#s(approx (* (* (cos re) 2) (cosh im)) #s(hole binary64 (+ (* 2 (cos re)) (* (pow im 2) (+ (cos re) (* 1/12 (* (pow im 2) (cos re))))))))
#s(approx (* (* (cos re) 2) (cosh im)) #s(hole binary64 (+ (* 2 (cos re)) (* (pow im 2) (+ (cos re) (* (pow im 2) (+ (* 1/360 (* (pow im 2) (cos re))) (* 1/12 (cos re)))))))))
#s(approx (cosh im) #s(hole binary64 1))
#s(approx (cosh im) #s(hole binary64 (+ 1 (* 1/2 (pow im 2)))))
#s(approx (cosh im) #s(hole binary64 (+ 1 (* (pow im 2) (+ 1/2 (* 1/24 (pow im 2)))))))
#s(approx (cosh im) #s(hole binary64 (+ 1 (* (pow im 2) (+ 1/2 (* (pow im 2) (+ 1/24 (* 1/720 (pow im 2)))))))))
#s(approx im #s(hole binary64 im))
#s(approx (cosh im) #s(hole binary64 (* 1/2 (+ (exp im) (/ 1 (exp im))))))

Outputs
(.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (*.f64 #s(literal 2 binary64) (cosh.f64 im)))
(.f64 (.f64 (cos.f64 re) #s(literal 2 binary64)) (*.f64 (cosh.f64 im) #s(literal 1/2 binary64)))
(.f64 (.f64 (*.f64 (cos.f64 re) #s(literal 2 binary64)) (cosh.f64 im)) #s(literal 1/2 binary64))
(.f64 #s(literal 1/2 binary64) (.f64 (*.f64 (cos.f64 re) #s(literal 2 binary64)) (cosh.f64 im)))
(neg.f64 (.f64 (.f64 (*.f64 (cos.f64 re) #s(literal 2 binary64)) (cosh.f64 im)) #s(literal -1/2 binary64)))
(neg.f64 (.f64 #s(literal -1/2 binary64) (.f64 (*.f64 (cos.f64 re) #s(literal 2 binary64)) (cosh.f64 im))))
(fma.f64 (.f64 (exp.f64 im) (cos.f64 re)) #s(literal 1/2 binary64) (.f64 (*.f64 (exp.f64 (neg.f64 im)) (cos.f64 re)) #s(literal 1/2 binary64)))
(fma.f64 (.f64 (cos.f64 re) (exp.f64 im)) #s(literal 1/2 binary64) (.f64 (*.f64 (cos.f64 re) (exp.f64 (neg.f64 im))) #s(literal 1/2 binary64)))
(fma.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im)) (.f64 (*.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 im)))
(fma.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 im) (.f64 (*.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im))))
(fma.f64 (exp.f64 (neg.f64 im)) (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (.f64 (exp.f64 im) (*.f64 (cos.f64 re) #s(literal 1/2 binary64))))
(fma.f64 (exp.f64 im) (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (.f64 (exp.f64 (neg.f64 im)) (*.f64 (cos.f64 re) #s(literal 1/2 binary64))))
(fma.f64 #s(literal 1/2 binary64) (.f64 (exp.f64 im) (cos.f64 re)) (.f64 #s(literal 1/2 binary64) (*.f64 (exp.f64 (neg.f64 im)) (cos.f64 re))))
(fma.f64 #s(literal 1/2 binary64) (.f64 (cos.f64 re) (exp.f64 im)) (.f64 #s(literal 1/2 binary64) (*.f64 (cos.f64 re) (exp.f64 (neg.f64 im)))))
(+.f64 (.f64 (exp.f64 (neg.f64 im)) (.f64 (cos.f64 re) #s(literal 1/2 binary64))) (.f64 (exp.f64 im) (.f64 (cos.f64 re) #s(literal 1/2 binary64))))
(+.f64 (.f64 (exp.f64 im) (.f64 (cos.f64 re) #s(literal 1/2 binary64))) (.f64 (exp.f64 (neg.f64 im)) (.f64 (cos.f64 re) #s(literal 1/2 binary64))))
(+.f64 (.f64 (.f64 (exp.f64 im) (cos.f64 re)) #s(literal 1/2 binary64)) (.f64 (.f64 (exp.f64 (neg.f64 im)) (cos.f64 re)) #s(literal 1/2 binary64)))
(+.f64 (.f64 (.f64 (cos.f64 re) (exp.f64 im)) #s(literal 1/2 binary64)) (.f64 (.f64 (cos.f64 re) (exp.f64 (neg.f64 im))) #s(literal 1/2 binary64)))
(+.f64 (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im))) (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 im)))
(+.f64 (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 im)) (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im))))
(+.f64 (.f64 #s(literal 1/2 binary64) (.f64 (exp.f64 im) (cos.f64 re))) (.f64 #s(literal 1/2 binary64) (.f64 (exp.f64 (neg.f64 im)) (cos.f64 re))))
(+.f64 (.f64 #s(literal 1/2 binary64) (.f64 (cos.f64 re) (exp.f64 im))) (.f64 #s(literal 1/2 binary64) (.f64 (cos.f64 re) (exp.f64 (neg.f64 im)))))
(.f64 (.f64 (cos.f64 re) #s(literal 2 binary64)) (cosh.f64 im))
(.f64 (.f64 #s(literal 2 binary64) (cosh.f64 im)) (cos.f64 re))
(.f64 (cosh.f64 im) (.f64 (cos.f64 re) #s(literal 2 binary64)))
(.f64 (cos.f64 re) (.f64 #s(literal 2 binary64) (cosh.f64 im)))
(/.f64 (-.f64 (.f64 (.f64 (exp.f64 im) (cos.f64 re)) (.f64 (exp.f64 im) (cos.f64 re))) (.f64 (.f64 (exp.f64 (neg.f64 im)) (cos.f64 re)) (.f64 (exp.f64 (neg.f64 im)) (cos.f64 re)))) (-.f64 (.f64 (exp.f64 im) (cos.f64 re)) (.f64 (exp.f64 (neg.f64 im)) (cos.f64 re))))
(/.f64 (-.f64 (.f64 (.f64 (cos.f64 re) (exp.f64 im)) (.f64 (cos.f64 re) (exp.f64 im))) (.f64 (.f64 (cos.f64 re) (exp.f64 (neg.f64 im))) (.f64 (cos.f64 re) (exp.f64 (neg.f64 im))))) (-.f64 (.f64 (cos.f64 re) (exp.f64 im)) (.f64 (cos.f64 re) (exp.f64 (neg.f64 im)))))
(/.f64 (+.f64 (pow.f64 (.f64 (exp.f64 im) (cos.f64 re)) #s(literal 3 binary64)) (pow.f64 (.f64 (exp.f64 (neg.f64 im)) (cos.f64 re)) #s(literal 3 binary64))) (fma.f64 (.f64 (exp.f64 im) (cos.f64 re)) (.f64 (exp.f64 im) (cos.f64 re)) (-.f64 (.f64 (.f64 (exp.f64 (neg.f64 im)) (cos.f64 re)) (.f64 (exp.f64 (neg.f64 im)) (cos.f64 re))) (.f64 (.f64 (exp.f64 im) (cos.f64 re)) (.f64 (exp.f64 (neg.f64 im)) (cos.f64 re))))))
(/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 re) (exp.f64 im)) #s(literal 3 binary64)) (pow.f64 (.f64 (cos.f64 re) (exp.f64 (neg.f64 im))) #s(literal 3 binary64))) (fma.f64 (.f64 (cos.f64 re) (exp.f64 im)) (.f64 (cos.f64 re) (exp.f64 im)) (-.f64 (.f64 (.f64 (cos.f64 re) (exp.f64 (neg.f64 im))) (.f64 (cos.f64 re) (exp.f64 (neg.f64 im)))) (.f64 (.f64 (cos.f64 re) (exp.f64 im)) (.f64 (cos.f64 re) (exp.f64 (neg.f64 im)))))))
(fma.f64 (exp.f64 (neg.f64 im)) (cos.f64 re) (*.f64 (exp.f64 im) (cos.f64 re)))
(fma.f64 (exp.f64 im) (cos.f64 re) (*.f64 (exp.f64 (neg.f64 im)) (cos.f64 re)))
(fma.f64 (cosh.f64 im) (cos.f64 re) (*.f64 (cosh.f64 im) (cos.f64 re)))
(fma.f64 (cos.f64 re) (exp.f64 (neg.f64 im)) (*.f64 (cos.f64 re) (exp.f64 im)))
(fma.f64 (cos.f64 re) (exp.f64 im) (*.f64 (cos.f64 re) (exp.f64 (neg.f64 im))))
(fma.f64 (cos.f64 re) (cosh.f64 im) (*.f64 (cos.f64 re) (cosh.f64 im)))
(-.f64 (.f64 (exp.f64 im) (cos.f64 re)) (.f64 (neg.f64 (exp.f64 (neg.f64 im))) (cos.f64 re)))
(-.f64 (.f64 (cos.f64 re) (exp.f64 im)) (.f64 (neg.f64 (cos.f64 re)) (exp.f64 (neg.f64 im))))
(+.f64 (.f64 (cos.f64 re) (cosh.f64 im)) (.f64 (cos.f64 re) (cosh.f64 im)))
(+.f64 (.f64 (cosh.f64 im) (cos.f64 re)) (.f64 (cosh.f64 im) (cos.f64 re)))
(+.f64 (.f64 (exp.f64 (neg.f64 im)) (cos.f64 re)) (.f64 (exp.f64 im) (cos.f64 re)))
(+.f64 (.f64 (exp.f64 im) (cos.f64 re)) (.f64 (exp.f64 (neg.f64 im)) (cos.f64 re)))
(+.f64 (.f64 (cos.f64 re) (exp.f64 (neg.f64 im))) (.f64 (cos.f64 re) (exp.f64 im)))
(+.f64 (.f64 (cos.f64 re) (exp.f64 im)) (.f64 (cos.f64 re) (exp.f64 (neg.f64 im))))
(*.f64 (cos.f64 re) #s(literal 2 binary64))
(.f64 #s(literal 2 binary64) (.f64 (cos.f64 (/.f64 (+.f64 (neg.f64 re) (neg.f64 re)) #s(literal 2 binary64))) (cos.f64 (/.f64 (-.f64 (neg.f64 re) (neg.f64 re)) #s(literal 2 binary64)))))
(.f64 #s(literal 2 binary64) (.f64 (cos.f64 (/.f64 (+.f64 (neg.f64 re) re) #s(literal 2 binary64))) (cos.f64 (/.f64 (-.f64 (neg.f64 re) re) #s(literal 2 binary64)))))
(.f64 #s(literal 2 binary64) (.f64 (cos.f64 (/.f64 (+.f64 re (neg.f64 re)) #s(literal 2 binary64))) (cos.f64 (/.f64 (-.f64 re (neg.f64 re)) #s(literal 2 binary64)))))
(.f64 #s(literal 2 binary64) (.f64 (cos.f64 (/.f64 (+.f64 re re) #s(literal 2 binary64))) (cos.f64 (/.f64 (-.f64 re re) #s(literal 2 binary64)))))
(.f64 #s(literal 2 binary64) (.f64 (sin.f64 (/.f64 (+.f64 (+.f64 re (/.f64 (PI.f64) #s(literal 2 binary64))) (+.f64 re (/.f64 (PI.f64) #s(literal 2 binary64)))) #s(literal 2 binary64))) (cos.f64 (/.f64 (-.f64 (+.f64 re (/.f64 (PI.f64) #s(literal 2 binary64))) (+.f64 re (/.f64 (PI.f64) #s(literal 2 binary64)))) #s(literal 2 binary64)))))
(*.f64 #s(literal 2 binary64) (cos.f64 re))
(/.f64 (-.f64 (pow.f64 (cos.f64 re) #s(literal 2 binary64)) (pow.f64 (cos.f64 re) #s(literal 2 binary64))) (-.f64 (cos.f64 re) (cos.f64 re)))
(/.f64 (+.f64 (pow.f64 (cos.f64 re) #s(literal 3 binary64)) (pow.f64 (cos.f64 re) #s(literal 3 binary64))) (fma.f64 (cos.f64 re) (cos.f64 re) (-.f64 (pow.f64 (cos.f64 re) #s(literal 2 binary64)) (pow.f64 (cos.f64 re) #s(literal 2 binary64)))))
(fma.f64 #s(literal 1 binary64) (cos.f64 re) (*.f64 #s(literal 1 binary64) (cos.f64 re)))
(fma.f64 (cos.f64 re) #s(literal 1 binary64) (*.f64 (cos.f64 re) #s(literal 1 binary64)))
(+.f64 (.f64 #s(literal 1 binary64) (cos.f64 re)) (.f64 #s(literal 1 binary64) (cos.f64 re)))
(+.f64 (.f64 (cos.f64 re) #s(literal 1 binary64)) (.f64 (cos.f64 re) #s(literal 1 binary64)))
(+.f64 (cos.f64 re) (cos.f64 re))
(fma.f64 (sin.f64 re) (cos.f64 (/.f64 (PI.f64) #s(literal 2 binary64))) (*.f64 (cos.f64 re) (sin.f64 (/.f64 (PI.f64) #s(literal 2 binary64)))))
(sin.f64 (+.f64 (neg.f64 re) (/.f64 (PI.f64) #s(literal 2 binary64))))
(sin.f64 (+.f64 re (/.f64 (PI.f64) #s(literal 2 binary64))))
(cos.f64 (neg.f64 (neg.f64 re)))
(cos.f64 (neg.f64 re))
(cos.f64 re)
(+.f64 (.f64 (sin.f64 re) (cos.f64 (/.f64 (PI.f64) #s(literal 2 binary64)))) (.f64 (cos.f64 re) (sin.f64 (/.f64 (PI.f64) #s(literal 2 binary64)))))
re
#s(literal 2 binary64)
(/.f64 (neg.f64 (*.f64 #s(literal 2 binary64) (cosh.f64 im))) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) (cosh.f64 im)) #s(literal 2 binary64))
(cosh.f64 (neg.f64 (neg.f64 im)))
(cosh.f64 (neg.f64 im))
(cosh.f64 im)
(+.f64 (/.f64 (exp.f64 (neg.f64 im)) #s(literal 2 binary64)) (/.f64 (exp.f64 im) #s(literal 2 binary64)))
(+.f64 (/.f64 (exp.f64 im) #s(literal 2 binary64)) (/.f64 (exp.f64 (neg.f64 im)) #s(literal 2 binary64)))
im
#s(literal 1/2 binary64)
#s(approx (* (* (* (cos re) 2) (cosh im)) 1/2) (.f64 (.f64 #s(literal 2 binary64) (cosh.f64 im)) #s(literal 1/2 binary64)))
#s(approx (* (* (* (cos re) 2) (cosh im)) 1/2) (fma.f64 (.f64 #s(literal -1/4 binary64) (.f64 re re)) (.f64 #s(literal 2 binary64) (cosh.f64 im)) (.f64 (*.f64 #s(literal 2 binary64) (cosh.f64 im)) #s(literal 1/2 binary64))))
#s(approx (* (* (* (cos re) 2) (cosh im)) 1/2) (fma.f64 (fma.f64 (.f64 #s(literal 1/48 binary64) (.f64 re re)) (.f64 #s(literal 2 binary64) (cosh.f64 im)) (.f64 #s(literal -1/4 binary64) (.f64 #s(literal 2 binary64) (cosh.f64 im)))) (.f64 re re) (.f64 (.f64 #s(literal 2 binary64) (cosh.f64 im)) #s(literal 1/2 binary64))))
#s(approx (* (* (* (cos re) 2) (cosh im)) 1/2) (fma.f64 (fma.f64 (fma.f64 (.f64 #s(literal -1/1440 binary64) (.f64 re re)) (.f64 #s(literal 2 binary64) (cosh.f64 im)) (.f64 #s(literal 1/48 binary64) (.f64 #s(literal 2 binary64) (cosh.f64 im)))) (.f64 re re) (.f64 #s(literal -1/4 binary64) (.f64 #s(literal 2 binary64) (cosh.f64 im)))) (.f64 re re) (.f64 (*.f64 #s(literal 2 binary64) (cosh.f64 im)) #s(literal 1/2 binary64))))
#s(approx (* (* (cos re) 2) (cosh im)) (*.f64 #s(literal 2 binary64) (cosh.f64 im)))
#s(approx (* (* (cos re) 2) (cosh im)) (+.f64 (fma.f64 (.f64 #s(literal -1/2 binary64) (.f64 re re)) (*.f64 #s(literal 2 binary64) (cosh.f64 im)) (exp.f64 (neg.f64 im))) (exp.f64 im)))
#s(approx (* (* (cos re) 2) (cosh im)) (+.f64 (fma.f64 (fma.f64 (.f64 #s(literal 1/24 binary64) (.f64 re re)) (.f64 #s(literal 2 binary64) (cosh.f64 im)) (.f64 #s(literal -1/2 binary64) (.f64 #s(literal 2 binary64) (cosh.f64 im)))) (.f64 re re) (exp.f64 (neg.f64 im))) (exp.f64 im)))
#s(approx (* (* (cos re) 2) (cosh im)) (+.f64 (fma.f64 (fma.f64 (fma.f64 (.f64 #s(literal -1/720 binary64) (.f64 re re)) (.f64 #s(literal 2 binary64) (cosh.f64 im)) (.f64 #s(literal 1/24 binary64) (.f64 #s(literal 2 binary64) (cosh.f64 im)))) (.f64 re re) (.f64 #s(literal -1/2 binary64) (.f64 #s(literal 2 binary64) (cosh.f64 im)))) (*.f64 re re) (exp.f64 (neg.f64 im))) (exp.f64 im)))
#s(approx (* (cos re) 2) #s(literal 2 binary64))
#s(approx (* (cos re) 2) (fma.f64 (neg.f64 re) re #s(literal 2 binary64)))
#s(approx (* (cos re) 2) (fma.f64 (fma.f64 #s(literal 1/12 binary64) (.f64 re re) #s(literal -1 binary64)) (.f64 re re) #s(literal 2 binary64)))
#s(approx (* (cos re) 2) (fma.f64 (fma.f64 (fma.f64 #s(literal -1/360 binary64) (.f64 re re) #s(literal 1/12 binary64)) (.f64 re re) #s(literal -1 binary64)) (*.f64 re re) #s(literal 2 binary64)))
#s(approx (cos re) #s(literal 1 binary64))
#s(approx (cos re) (fma.f64 #s(literal -1/2 binary64) (*.f64 re re) #s(literal 1 binary64)))
#s(approx (cos re) (fma.f64 (-.f64 (.f64 #s(literal 1/24 binary64) (.f64 re re)) #s(literal 1/2 binary64)) (*.f64 re re) #s(literal 1 binary64)))
#s(approx (cos re) (fma.f64 (-.f64 (.f64 (fma.f64 #s(literal -1/720 binary64) (.f64 re re) #s(literal 1/24 binary64)) (.f64 re re)) #s(literal 1/2 binary64)) (.f64 re re) #s(literal 1 binary64)))
#s(approx re re)
#s(approx (* (* (* (cos re) 2) (cosh im)) 1/2) (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (*.f64 #s(literal 2 binary64) (cosh.f64 im))))
#s(approx (* (* (cos re) 2) (cosh im)) (.f64 (.f64 (cos.f64 re) #s(literal 2 binary64)) (cosh.f64 im)))
#s(approx (* (cos re) 2) (*.f64 (cos.f64 re) #s(literal 2 binary64)))
#s(approx (cos re) (cos.f64 re))
#s(approx (* (* (* (cos re) 2) (cosh im)) 1/2) (cos.f64 re))
#s(approx (* (* (* (cos re) 2) (cosh im)) 1/2) (fma.f64 (.f64 (.f64 im im) #s(literal 1/2 binary64)) (cos.f64 re) (cos.f64 re)))
#s(approx (* (* (* (cos re) 2) (cosh im)) 1/2) (fma.f64 (fma.f64 (.f64 (.f64 im im) #s(literal 1/24 binary64)) (cos.f64 re) (.f64 (cos.f64 re) #s(literal 1/2 binary64))) (.f64 im im) (cos.f64 re)))
#s(approx (* (* (* (cos re) 2) (cosh im)) 1/2) (fma.f64 (fma.f64 (fma.f64 (.f64 #s(literal 1/720 binary64) (.f64 im im)) (cos.f64 re) (.f64 #s(literal 1/24 binary64) (cos.f64 re))) (.f64 im im) (.f64 (cos.f64 re) #s(literal 1/2 binary64))) (.f64 im im) (cos.f64 re)))
#s(approx (* (* (cos re) 2) (cosh im)) (*.f64 (cos.f64 re) #s(literal 2 binary64)))
#s(approx (* (* (cos re) 2) (cosh im)) (.f64 (cos.f64 re) (+.f64 #s(literal 2 binary64) (.f64 im im))))
#s(approx (* (* (cos re) 2) (cosh im)) (fma.f64 (fma.f64 (.f64 #s(literal 1/12 binary64) (.f64 im im)) (cos.f64 re) (cos.f64 re)) (.f64 im im) (.f64 (cos.f64 re) #s(literal 2 binary64))))
#s(approx (* (* (cos re) 2) (cosh im)) (fma.f64 (fma.f64 (fma.f64 (.f64 #s(literal 1/360 binary64) (.f64 im im)) (cos.f64 re) (.f64 #s(literal 1/12 binary64) (cos.f64 re))) (.f64 im im) (cos.f64 re)) (.f64 im im) (.f64 (cos.f64 re) #s(literal 2 binary64))))
#s(approx (cosh im) #s(literal 1 binary64))
#s(approx (cosh im) (fma.f64 (*.f64 im im) #s(literal 1/2 binary64) #s(literal 1 binary64)))
#s(approx (cosh im) (fma.f64 (fma.f64 (.f64 im im) #s(literal 1/24 binary64) #s(literal 1/2 binary64)) (.f64 im im) #s(literal 1 binary64)))
#s(approx (cosh im) (fma.f64 (fma.f64 (fma.f64 #s(literal 1/720 binary64) (.f64 im im) #s(literal 1/24 binary64)) (.f64 im im) #s(literal 1/2 binary64)) (*.f64 im im) #s(literal 1 binary64)))
#s(approx im im)
#s(approx (cosh im) (.f64 (.f64 #s(literal 2 binary64) (cosh.f64 im)) #s(literal 1/2 binary64)))

eval17.0ms (0.8%)

Memory: -32.8MiB live, 17.9MiB allocated; 3ms collecting garbage
Compiler: Compiled 1 963 to 435 computations (77.8% saved)

prune86.0ms (3.9%)

Memory

24.8MiB live, 72.4MiB allocated; 1ms collecting garbage

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	111	0	111
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	111	2	113

Accuracy

100.0%

Counts

113 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(fma.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re) (.f64 (exp.f64 (neg.f64 im)) (*.f64 (cos.f64 re) #s(literal 1/2 binary64))))
✓	100.0%	(.f64 (.f64 (*.f64 (cos.f64 re) #s(literal 2 binary64)) (cosh.f64 im)) #s(literal 1/2 binary64))

Status

Accuracy

Program

▶

100.0%

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

✓

100.0%

(*.f64 (*.f64 (*.f64 (cos.f64 re) #s(literal 2 binary64)) (cosh.f64 im)) #s(literal 1/2 binary64))

Compiler

Compiled 24 to 20 computations (16.7% saved)

series12.0ms (0.6%)

Memory

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

Counts

11 → 49

Calls

Call 1

Inputs
(fma.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re) (.f64 (exp.f64 (neg.f64 im)) (*.f64 (cos.f64 re) #s(literal 1/2 binary64))))
(*.f64 (exp.f64 im) #s(literal 1/2 binary64))
(exp.f64 im)
im
#s(literal 1/2 binary64)
(cos.f64 re)
re
(.f64 (exp.f64 (neg.f64 im)) (.f64 (cos.f64 re) #s(literal 1/2 binary64)))
(exp.f64 (neg.f64 im))
(neg.f64 im)
(*.f64 (cos.f64 re) #s(literal 1/2 binary64))

Outputs
#s(approx (+ (* (* (exp im) 1/2) (cos re)) (* (exp (neg im)) (* (cos re) 1/2))) #s(hole binary64 (+ (* 1/2 (exp im)) (* 1/2 (exp (neg im))))))
#s(approx (+ (* (* (exp im) 1/2) (cos re)) (* (exp (neg im)) (* (cos re) 1/2))) #s(hole binary64 (+ (* 1/2 (exp im)) (+ (* 1/2 (exp (neg im))) (* (pow re 2) (+ (* -1/4 (exp im)) (* -1/4 (exp (neg im)))))))))
#s(approx (+ (* (* (exp im) 1/2) (cos re)) (* (exp (neg im)) (* (cos re) 1/2))) #s(hole binary64 (+ (* 1/2 (exp im)) (+ (* 1/2 (exp (neg im))) (* (pow re 2) (+ (* -1/4 (exp im)) (+ (* -1/4 (exp (neg im))) (* (pow re 2) (+ (* 1/48 (exp im)) (* 1/48 (exp (neg im))))))))))))
#s(approx (+ (* (* (exp im) 1/2) (cos re)) (* (exp (neg im)) (* (cos re) 1/2))) #s(hole binary64 (+ (* 1/2 (exp im)) (+ (* 1/2 (exp (neg im))) (* (pow re 2) (+ (* -1/4 (exp im)) (+ (* -1/4 (exp (neg im))) (* (pow re 2) (+ (* 1/48 (exp im)) (+ (* 1/48 (exp (neg im))) (* (pow re 2) (+ (* -1/1440 (exp im)) (* -1/1440 (exp (neg im)))))))))))))))
#s(approx (cos re) #s(hole binary64 1))
#s(approx (cos re) #s(hole binary64 (+ 1 (* -1/2 (pow re 2)))))
#s(approx (cos re) #s(hole binary64 (+ 1 (* (pow re 2) (- (* 1/24 (pow re 2)) 1/2)))))
#s(approx (cos re) #s(hole binary64 (+ 1 (* (pow re 2) (- (* (pow re 2) (+ 1/24 (* -1/720 (pow re 2)))) 1/2)))))
#s(approx re #s(hole binary64 re))
#s(approx (* (exp (neg im)) (* (cos re) 1/2)) #s(hole binary64 (* 1/2 (exp (neg im)))))
#s(approx (* (exp (neg im)) (* (cos re) 1/2)) #s(hole binary64 (+ (* -1/4 (* (pow re 2) (exp (neg im)))) (* 1/2 (exp (neg im))))))
#s(approx (* (exp (neg im)) (* (cos re) 1/2)) #s(hole binary64 (+ (* 1/2 (exp (neg im))) (* (pow re 2) (+ (* -1/4 (exp (neg im))) (* 1/48 (* (pow re 2) (exp (neg im)))))))))
#s(approx (* (exp (neg im)) (* (cos re) 1/2)) #s(hole binary64 (+ (* 1/2 (exp (neg im))) (* (pow re 2) (+ (* -1/4 (exp (neg im))) (* (pow re 2) (+ (* -1/1440 (* (pow re 2) (exp (neg im)))) (* 1/48 (exp (neg im))))))))))
#s(approx (* (cos re) 1/2) #s(hole binary64 1/2))
#s(approx (* (cos re) 1/2) #s(hole binary64 (+ 1/2 (* -1/4 (pow re 2)))))
#s(approx (* (cos re) 1/2) #s(hole binary64 (+ 1/2 (* (pow re 2) (- (* 1/48 (pow re 2)) 1/4)))))
#s(approx (* (cos re) 1/2) #s(hole binary64 (+ 1/2 (* (pow re 2) (- (* (pow re 2) (+ 1/48 (* -1/1440 (pow re 2)))) 1/4)))))
#s(approx (+ (* (* (exp im) 1/2) (cos re)) (* (exp (neg im)) (* (cos re) 1/2))) #s(hole binary64 (+ (* 1/2 (* (cos re) (exp im))) (* 1/2 (* (cos re) (exp (neg im)))))))
#s(approx (cos re) #s(hole binary64 (cos re)))
#s(approx (* (exp (neg im)) (* (cos re) 1/2)) #s(hole binary64 (* 1/2 (* (cos re) (exp (neg im))))))
#s(approx (* (cos re) 1/2) #s(hole binary64 (* 1/2 (cos re))))
#s(approx (+ (* (* (exp im) 1/2) (cos re)) (* (exp (neg im)) (* (cos re) 1/2))) #s(hole binary64 (cos re)))
#s(approx (+ (* (* (exp im) 1/2) (cos re)) (* (exp (neg im)) (* (cos re) 1/2))) #s(hole binary64 (+ (cos re) (* im (+ (* -1/2 (cos re)) (* 1/2 (cos re)))))))
#s(approx (+ (* (* (exp im) 1/2) (cos re)) (* (exp (neg im)) (* (cos re) 1/2))) #s(hole binary64 (+ (cos re) (* im (+ (* -1/2 (cos re)) (+ (* 1/2 (cos re)) (* 1/2 (* im (cos re)))))))))
#s(approx (+ (* (* (exp im) 1/2) (cos re)) (* (exp (neg im)) (* (cos re) 1/2))) #s(hole binary64 (+ (cos re) (* im (+ (* -1/2 (cos re)) (+ (* 1/2 (cos re)) (* im (+ (* 1/2 (cos re)) (* im (+ (* -1/12 (cos re)) (* 1/12 (cos re))))))))))))
#s(approx (* (exp im) 1/2) #s(hole binary64 1/2))
#s(approx (* (exp im) 1/2) #s(hole binary64 (+ 1/2 (* 1/2 im))))
#s(approx (* (exp im) 1/2) #s(hole binary64 (+ 1/2 (* im (+ 1/2 (* 1/4 im))))))
#s(approx (* (exp im) 1/2) #s(hole binary64 (+ 1/2 (* im (+ 1/2 (* im (+ 1/4 (* 1/12 im))))))))
#s(approx (exp im) #s(hole binary64 1))
#s(approx (exp im) #s(hole binary64 (+ 1 im)))
#s(approx (exp im) #s(hole binary64 (+ 1 (* im (+ 1 (* 1/2 im))))))
#s(approx (exp im) #s(hole binary64 (+ 1 (* im (+ 1 (* im (+ 1/2 (* 1/6 im))))))))
#s(approx im #s(hole binary64 im))
#s(approx (* (exp (neg im)) (* (cos re) 1/2)) #s(hole binary64 (* 1/2 (cos re))))
#s(approx (* (exp (neg im)) (* (cos re) 1/2)) #s(hole binary64 (+ (* -1/2 (* im (cos re))) (* 1/2 (cos re)))))
#s(approx (* (exp (neg im)) (* (cos re) 1/2)) #s(hole binary64 (+ (* 1/2 (cos re)) (* im (+ (* -1/2 (cos re)) (* 1/4 (* im (cos re))))))))
#s(approx (* (exp (neg im)) (* (cos re) 1/2)) #s(hole binary64 (+ (* 1/2 (cos re)) (* im (+ (* -1/2 (cos re)) (* im (+ (* -1/12 (* im (cos re))) (* 1/4 (cos re)))))))))
#s(approx (exp (neg im)) #s(hole binary64 1))
#s(approx (exp (neg im)) #s(hole binary64 (+ 1 (* -1 im))))
#s(approx (exp (neg im)) #s(hole binary64 (+ 1 (* im (- (* 1/2 im) 1)))))
#s(approx (exp (neg im)) #s(hole binary64 (+ 1 (* im (- (* im (+ 1/2 (* -1/6 im))) 1)))))
#s(approx (neg im) #s(hole binary64 (* -1 im)))
#s(approx (* (exp im) 1/2) #s(hole binary64 (* 1/2 (exp im))))
#s(approx (exp im) #s(hole binary64 (exp im)))
#s(approx (exp (neg im)) #s(hole binary64 (exp (neg im))))
#s(approx (+ (* (* (exp im) 1/2) (cos re)) (* (exp (neg im)) (* (cos re) 1/2))) #s(hole binary64 (+ (* 1/2 (* (cos re) (exp im))) (* 1/2 (* (cos re) (exp (* -1 im)))))))
#s(approx (* (exp (neg im)) (* (cos re) 1/2)) #s(hole binary64 (* 1/2 (* (cos re) (exp (* -1 im))))))
#s(approx (exp (neg im)) #s(hole binary64 (exp (* -1 im))))

Calls

6 calls:

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

rewrite157.0ms (7%)

Memory

6.2MiB live, 98.1MiB allocated; 6ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	227	978
0	242	929
1	1468	909
0	8472	861

Stop Event

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

Counts

60 → 107

Calls

Call 1

Inputs
(fma.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re) (.f64 (exp.f64 (neg.f64 im)) (*.f64 (cos.f64 re) #s(literal 1/2 binary64))))
(*.f64 (exp.f64 im) #s(literal 1/2 binary64))
(exp.f64 im)
im
#s(literal 1/2 binary64)
(cos.f64 re)
re
(.f64 (exp.f64 (neg.f64 im)) (.f64 (cos.f64 re) #s(literal 1/2 binary64)))
(exp.f64 (neg.f64 im))
(neg.f64 im)
(*.f64 (cos.f64 re) #s(literal 1/2 binary64))
#s(approx (+ (* (* (exp im) 1/2) (cos re)) (* (exp (neg im)) (* (cos re) 1/2))) #s(hole binary64 (+ (* 1/2 (exp im)) (* 1/2 (exp (neg im))))))
#s(approx (+ (* (* (exp im) 1/2) (cos re)) (* (exp (neg im)) (* (cos re) 1/2))) #s(hole binary64 (+ (* 1/2 (exp im)) (+ (* 1/2 (exp (neg im))) (* (pow re 2) (+ (* -1/4 (exp im)) (* -1/4 (exp (neg im)))))))))
#s(approx (+ (* (* (exp im) 1/2) (cos re)) (* (exp (neg im)) (* (cos re) 1/2))) #s(hole binary64 (+ (* 1/2 (exp im)) (+ (* 1/2 (exp (neg im))) (* (pow re 2) (+ (* -1/4 (exp im)) (+ (* -1/4 (exp (neg im))) (* (pow re 2) (+ (* 1/48 (exp im)) (* 1/48 (exp (neg im))))))))))))
#s(approx (+ (* (* (exp im) 1/2) (cos re)) (* (exp (neg im)) (* (cos re) 1/2))) #s(hole binary64 (+ (* 1/2 (exp im)) (+ (* 1/2 (exp (neg im))) (* (pow re 2) (+ (* -1/4 (exp im)) (+ (* -1/4 (exp (neg im))) (* (pow re 2) (+ (* 1/48 (exp im)) (+ (* 1/48 (exp (neg im))) (* (pow re 2) (+ (* -1/1440 (exp im)) (* -1/1440 (exp (neg im)))))))))))))))
#s(approx (cos re) #s(hole binary64 1))
#s(approx (cos re) #s(hole binary64 (+ 1 (* -1/2 (pow re 2)))))
#s(approx (cos re) #s(hole binary64 (+ 1 (* (pow re 2) (- (* 1/24 (pow re 2)) 1/2)))))
#s(approx (cos re) #s(hole binary64 (+ 1 (* (pow re 2) (- (* (pow re 2) (+ 1/24 (* -1/720 (pow re 2)))) 1/2)))))
#s(approx re #s(hole binary64 re))
#s(approx (* (exp (neg im)) (* (cos re) 1/2)) #s(hole binary64 (* 1/2 (exp (neg im)))))
#s(approx (* (exp (neg im)) (* (cos re) 1/2)) #s(hole binary64 (+ (* -1/4 (* (pow re 2) (exp (neg im)))) (* 1/2 (exp (neg im))))))
#s(approx (* (exp (neg im)) (* (cos re) 1/2)) #s(hole binary64 (+ (* 1/2 (exp (neg im))) (* (pow re 2) (+ (* -1/4 (exp (neg im))) (* 1/48 (* (pow re 2) (exp (neg im)))))))))
#s(approx (* (exp (neg im)) (* (cos re) 1/2)) #s(hole binary64 (+ (* 1/2 (exp (neg im))) (* (pow re 2) (+ (* -1/4 (exp (neg im))) (* (pow re 2) (+ (* -1/1440 (* (pow re 2) (exp (neg im)))) (* 1/48 (exp (neg im))))))))))
#s(approx (* (cos re) 1/2) #s(hole binary64 1/2))
#s(approx (* (cos re) 1/2) #s(hole binary64 (+ 1/2 (* -1/4 (pow re 2)))))
#s(approx (* (cos re) 1/2) #s(hole binary64 (+ 1/2 (* (pow re 2) (- (* 1/48 (pow re 2)) 1/4)))))
#s(approx (* (cos re) 1/2) #s(hole binary64 (+ 1/2 (* (pow re 2) (- (* (pow re 2) (+ 1/48 (* -1/1440 (pow re 2)))) 1/4)))))
#s(approx (+ (* (* (exp im) 1/2) (cos re)) (* (exp (neg im)) (* (cos re) 1/2))) #s(hole binary64 (+ (* 1/2 (* (cos re) (exp im))) (* 1/2 (* (cos re) (exp (neg im)))))))
#s(approx (cos re) #s(hole binary64 (cos re)))
#s(approx (* (exp (neg im)) (* (cos re) 1/2)) #s(hole binary64 (* 1/2 (* (cos re) (exp (neg im))))))
#s(approx (* (cos re) 1/2) #s(hole binary64 (* 1/2 (cos re))))
#s(approx (+ (* (* (exp im) 1/2) (cos re)) (* (exp (neg im)) (* (cos re) 1/2))) #s(hole binary64 (cos re)))
#s(approx (+ (* (* (exp im) 1/2) (cos re)) (* (exp (neg im)) (* (cos re) 1/2))) #s(hole binary64 (+ (cos re) (* im (+ (* -1/2 (cos re)) (* 1/2 (cos re)))))))
#s(approx (+ (* (* (exp im) 1/2) (cos re)) (* (exp (neg im)) (* (cos re) 1/2))) #s(hole binary64 (+ (cos re) (* im (+ (* -1/2 (cos re)) (+ (* 1/2 (cos re)) (* 1/2 (* im (cos re)))))))))
#s(approx (+ (* (* (exp im) 1/2) (cos re)) (* (exp (neg im)) (* (cos re) 1/2))) #s(hole binary64 (+ (cos re) (* im (+ (* -1/2 (cos re)) (+ (* 1/2 (cos re)) (* im (+ (* 1/2 (cos re)) (* im (+ (* -1/12 (cos re)) (* 1/12 (cos re))))))))))))
#s(approx (* (exp im) 1/2) #s(hole binary64 1/2))
#s(approx (* (exp im) 1/2) #s(hole binary64 (+ 1/2 (* 1/2 im))))
#s(approx (* (exp im) 1/2) #s(hole binary64 (+ 1/2 (* im (+ 1/2 (* 1/4 im))))))
#s(approx (* (exp im) 1/2) #s(hole binary64 (+ 1/2 (* im (+ 1/2 (* im (+ 1/4 (* 1/12 im))))))))
#s(approx (exp im) #s(hole binary64 1))
#s(approx (exp im) #s(hole binary64 (+ 1 im)))
#s(approx (exp im) #s(hole binary64 (+ 1 (* im (+ 1 (* 1/2 im))))))
#s(approx (exp im) #s(hole binary64 (+ 1 (* im (+ 1 (* im (+ 1/2 (* 1/6 im))))))))
#s(approx im #s(hole binary64 im))
#s(approx (* (exp (neg im)) (* (cos re) 1/2)) #s(hole binary64 (* 1/2 (cos re))))
#s(approx (* (exp (neg im)) (* (cos re) 1/2)) #s(hole binary64 (+ (* -1/2 (* im (cos re))) (* 1/2 (cos re)))))
#s(approx (* (exp (neg im)) (* (cos re) 1/2)) #s(hole binary64 (+ (* 1/2 (cos re)) (* im (+ (* -1/2 (cos re)) (* 1/4 (* im (cos re))))))))
#s(approx (* (exp (neg im)) (* (cos re) 1/2)) #s(hole binary64 (+ (* 1/2 (cos re)) (* im (+ (* -1/2 (cos re)) (* im (+ (* -1/12 (* im (cos re))) (* 1/4 (cos re)))))))))
#s(approx (exp (neg im)) #s(hole binary64 1))
#s(approx (exp (neg im)) #s(hole binary64 (+ 1 (* -1 im))))
#s(approx (exp (neg im)) #s(hole binary64 (+ 1 (* im (- (* 1/2 im) 1)))))
#s(approx (exp (neg im)) #s(hole binary64 (+ 1 (* im (- (* im (+ 1/2 (* -1/6 im))) 1)))))
#s(approx (neg im) #s(hole binary64 (* -1 im)))
#s(approx (* (exp im) 1/2) #s(hole binary64 (* 1/2 (exp im))))
#s(approx (exp im) #s(hole binary64 (exp im)))
#s(approx (exp (neg im)) #s(hole binary64 (exp (neg im))))
#s(approx (+ (* (* (exp im) 1/2) (cos re)) (* (exp (neg im)) (* (cos re) 1/2))) #s(hole binary64 (+ (* 1/2 (* (cos re) (exp im))) (* 1/2 (* (cos re) (exp (* -1 im)))))))
#s(approx (* (exp (neg im)) (* (cos re) 1/2)) #s(hole binary64 (* 1/2 (* (cos re) (exp (* -1 im))))))
#s(approx (exp (neg im)) #s(hole binary64 (exp (* -1 im))))

Outputs
(/.f64 (-.f64 (pow.f64 (.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)) #s(literal 2 binary64)) (.f64 (.f64 (neg.f64 (exp.f64 (neg.f64 im))) (.f64 (cos.f64 re) #s(literal 1/2 binary64))) (.f64 (neg.f64 (exp.f64 (neg.f64 im))) (.f64 (cos.f64 re) #s(literal 1/2 binary64))))) (fma.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re) (.f64 (neg.f64 (exp.f64 (neg.f64 im))) (.f64 (cos.f64 re) #s(literal 1/2 binary64)))))
(/.f64 (-.f64 (pow.f64 (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im))) #s(literal 2 binary64)) (pow.f64 (.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)) #s(literal 2 binary64))) (-.f64 (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im))) (.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re))))
(/.f64 (-.f64 (pow.f64 (.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)) #s(literal 3 binary64)) (pow.f64 (.f64 (neg.f64 (exp.f64 (neg.f64 im))) (.f64 (cos.f64 re) #s(literal 1/2 binary64))) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)) #s(literal 2 binary64)) (fma.f64 (.f64 (neg.f64 (exp.f64 (neg.f64 im))) (.f64 (cos.f64 re) #s(literal 1/2 binary64))) (.f64 (neg.f64 (exp.f64 (neg.f64 im))) (.f64 (cos.f64 re) #s(literal 1/2 binary64))) (.f64 (.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)) (.f64 (neg.f64 (exp.f64 (neg.f64 im))) (*.f64 (cos.f64 re) #s(literal 1/2 binary64)))))))
(/.f64 (fma.f64 (pow.f64 (.f64 (exp.f64 (neg.f64 im)) (cos.f64 re)) #s(literal 3 binary64)) #s(literal 1/8 binary64) (pow.f64 (.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im))) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)) #s(literal 2 binary64)) (.f64 (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im))) (.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)) #s(literal 2 binary64)) (pow.f64 (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im))) #s(literal 2 binary64)))) (neg.f64 (-.f64 (.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)) (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im))))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)) #s(literal 3 binary64)) (pow.f64 (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im))) #s(literal 3 binary64)))) (neg.f64 (+.f64 (pow.f64 (.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im))) #s(literal 2 binary64)) (.f64 (.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)) (.f64 (*.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im))))))))
(/.f64 (-.f64 (pow.f64 (.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)) #s(literal 2 binary64)) (pow.f64 (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im))) #s(literal 2 binary64))) (-.f64 (.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)) (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im)))))
(/.f64 (+.f64 (pow.f64 (.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)) #s(literal 3 binary64)) (pow.f64 (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im))) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im))) #s(literal 2 binary64)) (.f64 (.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)) (.f64 (*.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im)))))))
(fma.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im)) (.f64 (*.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)))
(fma.f64 (.f64 (exp.f64 (neg.f64 im)) (cos.f64 re)) #s(literal 1/2 binary64) (.f64 (*.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)))
(fma.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re) (.f64 (*.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im))))
(fma.f64 (exp.f64 (neg.f64 im)) (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (.f64 (*.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)))
(fma.f64 (cos.f64 re) (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (.f64 (*.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im))))
(fma.f64 (exp.f64 im) (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (.f64 (*.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im))))
(fma.f64 #s(literal 1/2 binary64) (.f64 (exp.f64 (neg.f64 im)) (cos.f64 re)) (.f64 (*.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)))
(-.f64 (/.f64 (pow.f64 (.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)) #s(literal 2 binary64)) (-.f64 (.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)) (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im))))) (/.f64 (pow.f64 (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im))) #s(literal 2 binary64)) (-.f64 (.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)) (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im))))))
(-.f64 (.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)) (.f64 (neg.f64 (exp.f64 (neg.f64 im))) (.f64 (cos.f64 re) #s(literal 1/2 binary64))))
(+.f64 (/.f64 (pow.f64 (.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)) #s(literal 3 binary64)) (+.f64 (pow.f64 (.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im))) #s(literal 2 binary64)) (.f64 (.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)) (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im))))))) (/.f64 (pow.f64 (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im))) #s(literal 3 binary64)) (+.f64 (pow.f64 (.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im))) #s(literal 2 binary64)) (.f64 (.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)) (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im))))))))
(+.f64 (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im))) (.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)))
(+.f64 (.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re)) (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im))))
(*.f64 (exp.f64 im) #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) (exp.f64 im))
(/.f64 (-.f64 (.f64 (cosh.f64 im) (cosh.f64 im)) (.f64 (sinh.f64 im) (sinh.f64 im))) (exp.f64 (neg.f64 im)))
(/.f64 (+.f64 (pow.f64 (cosh.f64 im) #s(literal 3 binary64)) (pow.f64 (sinh.f64 im) #s(literal 3 binary64))) (fma.f64 (cosh.f64 im) (cosh.f64 im) (-.f64 (.f64 (sinh.f64 im) (sinh.f64 im)) (.f64 (cosh.f64 im) (sinh.f64 im)))))
(+.f64 (cosh.f64 im) (sinh.f64 im))
(exp.f64 im)
im
#s(literal 1/2 binary64)
(fma.f64 (sin.f64 re) (cos.f64 (/.f64 (PI.f64) #s(literal 2 binary64))) (*.f64 (cos.f64 re) (sin.f64 (/.f64 (PI.f64) #s(literal 2 binary64)))))
(sin.f64 (+.f64 (neg.f64 re) (/.f64 (PI.f64) #s(literal 2 binary64))))
(sin.f64 (+.f64 re (/.f64 (PI.f64) #s(literal 2 binary64))))
(cos.f64 (neg.f64 (neg.f64 re)))
(cos.f64 (neg.f64 re))
(cos.f64 re)
(+.f64 (.f64 (sin.f64 re) (cos.f64 (/.f64 (PI.f64) #s(literal 2 binary64)))) (.f64 (cos.f64 re) (sin.f64 (/.f64 (PI.f64) #s(literal 2 binary64)))))
re
(.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im)))
(.f64 (.f64 (exp.f64 (neg.f64 im)) (cos.f64 re)) #s(literal 1/2 binary64))
(.f64 (exp.f64 (neg.f64 im)) (.f64 (cos.f64 re) #s(literal 1/2 binary64)))
(.f64 #s(literal 1/2 binary64) (.f64 (exp.f64 (neg.f64 im)) (cos.f64 re)))
(pow.f64 (exp.f64 #s(literal -1 binary64)) im)
(pow.f64 (exp.f64 im) #s(literal -1 binary64))
(/.f64 (-.f64 (.f64 (cosh.f64 im) (cosh.f64 im)) (.f64 (sinh.f64 (neg.f64 im)) (sinh.f64 (neg.f64 im)))) (-.f64 (cosh.f64 im) (sinh.f64 (neg.f64 im))))
(/.f64 (-.f64 (.f64 (cosh.f64 im) (cosh.f64 im)) (.f64 (sinh.f64 im) (sinh.f64 im))) (exp.f64 im))
(/.f64 (-.f64 (pow.f64 (cosh.f64 im) #s(literal 3 binary64)) (pow.f64 (sinh.f64 im) #s(literal 3 binary64))) (fma.f64 (cosh.f64 im) (cosh.f64 im) (fma.f64 (sinh.f64 im) (sinh.f64 im) (*.f64 (cosh.f64 im) (sinh.f64 im)))))
(/.f64 (+.f64 (pow.f64 (cosh.f64 im) #s(literal 3 binary64)) (pow.f64 (sinh.f64 (neg.f64 im)) #s(literal 3 binary64))) (fma.f64 (cosh.f64 im) (cosh.f64 im) (-.f64 (.f64 (sinh.f64 (neg.f64 im)) (sinh.f64 (neg.f64 im))) (.f64 (cosh.f64 im) (sinh.f64 (neg.f64 im))))))
(/.f64 #s(literal -1 binary64) (neg.f64 (exp.f64 im)))
(/.f64 #s(literal 1 binary64) (exp.f64 im))
(-.f64 (cosh.f64 im) (sinh.f64 im))
(+.f64 (cosh.f64 im) (sinh.f64 (neg.f64 im)))
(exp.f64 (-.f64 #s(literal 0 binary64) im))
(exp.f64 (*.f64 (log.f64 (exp.f64 #s(literal -1 binary64))) im))
(exp.f64 (neg.f64 im))
(*.f64 #s(literal -1 binary64) im)
(*.f64 im #s(literal -1 binary64))
(neg.f64 im)
(*.f64 (cos.f64 re) #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) (cos.f64 re))
#s(approx (+ (* (* (exp im) 1/2) (cos re)) (* (exp (neg im)) (* (cos re) 1/2))) (.f64 #s(literal 1/2 binary64) (.f64 #s(literal 2 binary64) (cosh.f64 im))))
#s(approx (+ (* (* (exp im) 1/2) (cos re)) (* (exp (neg im)) (* (cos re) 1/2))) (fma.f64 #s(literal 1/2 binary64) (.f64 #s(literal 2 binary64) (cosh.f64 im)) (.f64 (.f64 #s(literal -1/4 binary64) (.f64 #s(literal 2 binary64) (cosh.f64 im))) (*.f64 re re))))
#s(approx (+ (* (* (exp im) 1/2) (cos re)) (* (exp (neg im)) (* (cos re) 1/2))) (fma.f64 #s(literal 1/2 binary64) (.f64 #s(literal 2 binary64) (cosh.f64 im)) (.f64 (fma.f64 #s(literal -1/4 binary64) (.f64 #s(literal 2 binary64) (cosh.f64 im)) (.f64 (.f64 #s(literal 1/48 binary64) (.f64 #s(literal 2 binary64) (cosh.f64 im))) (.f64 re re))) (.f64 re re))))
#s(approx (+ (* (* (exp im) 1/2) (cos re)) (* (exp (neg im)) (* (cos re) 1/2))) (fma.f64 #s(literal 1/2 binary64) (.f64 #s(literal 2 binary64) (cosh.f64 im)) (.f64 (fma.f64 #s(literal -1/4 binary64) (.f64 #s(literal 2 binary64) (cosh.f64 im)) (.f64 (fma.f64 #s(literal 1/48 binary64) (.f64 #s(literal 2 binary64) (cosh.f64 im)) (.f64 (.f64 #s(literal -1/1440 binary64) (.f64 #s(literal 2 binary64) (cosh.f64 im))) (.f64 re re))) (.f64 re re))) (*.f64 re re))))
#s(approx (cos re) #s(literal 1 binary64))
#s(approx (cos re) (fma.f64 #s(literal -1/2 binary64) (*.f64 re re) #s(literal 1 binary64)))
#s(approx (cos re) (fma.f64 (-.f64 (.f64 #s(literal 1/24 binary64) (.f64 re re)) #s(literal 1/2 binary64)) (*.f64 re re) #s(literal 1 binary64)))
#s(approx (cos re) (fma.f64 (-.f64 (.f64 (fma.f64 #s(literal -1/720 binary64) (.f64 re re) #s(literal 1/24 binary64)) (.f64 re re)) #s(literal 1/2 binary64)) (.f64 re re) #s(literal 1 binary64)))
#s(approx re re)
#s(approx (* (exp (neg im)) (* (cos re) 1/2)) (*.f64 (exp.f64 (neg.f64 im)) #s(literal 1/2 binary64)))
#s(approx (* (exp (neg im)) (* (cos re) 1/2)) (fma.f64 (.f64 #s(literal -1/4 binary64) (.f64 re re)) (exp.f64 (neg.f64 im)) (*.f64 (exp.f64 (neg.f64 im)) #s(literal 1/2 binary64))))
#s(approx (* (exp (neg im)) (* (cos re) 1/2)) (fma.f64 (fma.f64 (.f64 #s(literal 1/48 binary64) (.f64 re re)) (exp.f64 (neg.f64 im)) (.f64 #s(literal -1/4 binary64) (exp.f64 (neg.f64 im)))) (.f64 re re) (*.f64 (exp.f64 (neg.f64 im)) #s(literal 1/2 binary64))))
#s(approx (* (exp (neg im)) (* (cos re) 1/2)) (fma.f64 (fma.f64 (fma.f64 (.f64 #s(literal -1/1440 binary64) (.f64 re re)) (exp.f64 (neg.f64 im)) (.f64 #s(literal 1/48 binary64) (exp.f64 (neg.f64 im)))) (.f64 re re) (.f64 #s(literal -1/4 binary64) (exp.f64 (neg.f64 im)))) (.f64 re re) (*.f64 (exp.f64 (neg.f64 im)) #s(literal 1/2 binary64))))
#s(approx (* (cos re) 1/2) #s(literal 1/2 binary64))
#s(approx (* (cos re) 1/2) (fma.f64 #s(literal -1/4 binary64) (*.f64 re re) #s(literal 1/2 binary64)))
#s(approx (* (cos re) 1/2) (fma.f64 (-.f64 (.f64 #s(literal 1/48 binary64) (.f64 re re)) #s(literal 1/4 binary64)) (*.f64 re re) #s(literal 1/2 binary64)))
#s(approx (* (cos re) 1/2) (fma.f64 (-.f64 (.f64 (fma.f64 #s(literal -1/1440 binary64) (.f64 re re) #s(literal 1/48 binary64)) (.f64 re re)) #s(literal 1/4 binary64)) (.f64 re re) #s(literal 1/2 binary64)))
#s(approx (+ (* (* (exp im) 1/2) (cos re)) (* (exp (neg im)) (* (cos re) 1/2))) (.f64 #s(literal 1/2 binary64) (fma.f64 (cos.f64 re) (exp.f64 im) (.f64 (exp.f64 (neg.f64 im)) (cos.f64 re)))))
#s(approx (cos re) (cos.f64 re))
#s(approx (* (exp (neg im)) (* (cos re) 1/2)) (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im))))
#s(approx (* (cos re) 1/2) (*.f64 (cos.f64 re) #s(literal 1/2 binary64)))
#s(approx (+ (* (* (exp im) 1/2) (cos re)) (* (exp (neg im)) (* (cos re) 1/2))) (cos.f64 re))
#s(approx (+ (* (* (exp im) 1/2) (cos re)) (* (exp (neg im)) (* (cos re) 1/2))) (fma.f64 (*.f64 (cos.f64 re) #s(literal 0 binary64)) im (cos.f64 re)))
#s(approx (+ (* (* (exp im) 1/2) (cos re)) (* (exp (neg im)) (* (cos re) 1/2))) (fma.f64 (fma.f64 (cos.f64 re) #s(literal 0 binary64) (.f64 (.f64 (cos.f64 re) im) #s(literal 1/2 binary64))) im (cos.f64 re)))
#s(approx (+ (* (* (exp im) 1/2) (cos re)) (* (exp (neg im)) (* (cos re) 1/2))) (fma.f64 (fma.f64 (cos.f64 re) #s(literal 0 binary64) (.f64 (fma.f64 (.f64 (cos.f64 re) #s(literal 0 binary64)) im (*.f64 (cos.f64 re) #s(literal 1/2 binary64))) im)) im (cos.f64 re)))
#s(approx (* (exp im) 1/2) #s(literal 1/2 binary64))
#s(approx (* (exp im) 1/2) (fma.f64 #s(literal 1/2 binary64) im #s(literal 1/2 binary64)))
#s(approx (* (exp im) 1/2) (fma.f64 (fma.f64 #s(literal 1/4 binary64) im #s(literal 1/2 binary64)) im #s(literal 1/2 binary64)))
#s(approx (* (exp im) 1/2) (fma.f64 (fma.f64 (fma.f64 #s(literal 1/12 binary64) im #s(literal 1/4 binary64)) im #s(literal 1/2 binary64)) im #s(literal 1/2 binary64)))
#s(approx (exp im) #s(literal 1 binary64))
#s(approx (exp im) (+.f64 #s(literal 1 binary64) im))
#s(approx (exp im) (fma.f64 (fma.f64 #s(literal 1/2 binary64) im #s(literal 1 binary64)) im #s(literal 1 binary64)))
#s(approx (exp im) (fma.f64 (fma.f64 (fma.f64 #s(literal 1/6 binary64) im #s(literal 1/2 binary64)) im #s(literal 1 binary64)) im #s(literal 1 binary64)))
#s(approx im im)
#s(approx (* (exp (neg im)) (* (cos re) 1/2)) (*.f64 (cos.f64 re) #s(literal 1/2 binary64)))
#s(approx (* (exp (neg im)) (* (cos re) 1/2)) (fma.f64 (.f64 (cos.f64 re) im) #s(literal -1/2 binary64) (.f64 (cos.f64 re) #s(literal 1/2 binary64))))
#s(approx (* (exp (neg im)) (* (cos re) 1/2)) (fma.f64 (fma.f64 (.f64 (cos.f64 re) im) #s(literal 1/4 binary64) (.f64 #s(literal -1/2 binary64) (cos.f64 re))) im (*.f64 (cos.f64 re) #s(literal 1/2 binary64))))
#s(approx (* (exp (neg im)) (* (cos re) 1/2)) (fma.f64 (fma.f64 (fma.f64 #s(literal -1/12 binary64) (.f64 (cos.f64 re) im) (.f64 #s(literal 1/4 binary64) (cos.f64 re))) im (.f64 #s(literal -1/2 binary64) (cos.f64 re))) im (.f64 (cos.f64 re) #s(literal 1/2 binary64))))
#s(approx (exp (neg im)) #s(literal 1 binary64))
#s(approx (exp (neg im)) (fma.f64 #s(literal -1 binary64) im #s(literal 1 binary64)))
#s(approx (exp (neg im)) (fma.f64 (-.f64 (*.f64 #s(literal 1/2 binary64) im) #s(literal 1 binary64)) im #s(literal 1 binary64)))
#s(approx (exp (neg im)) (fma.f64 (-.f64 (*.f64 (fma.f64 #s(literal -1/6 binary64) im #s(literal 1/2 binary64)) im) #s(literal 1 binary64)) im #s(literal 1 binary64)))
#s(approx (neg im) (neg.f64 im))
#s(approx (* (exp im) 1/2) (*.f64 (exp.f64 im) #s(literal 1/2 binary64)))
#s(approx (exp im) (exp.f64 im))
#s(approx (exp (neg im)) (exp.f64 (neg.f64 im)))
#s(approx (+ (* (* (exp im) 1/2) (cos re)) (* (exp (neg im)) (* (cos re) 1/2))) (.f64 #s(literal 1/2 binary64) (fma.f64 (cos.f64 re) (exp.f64 im) (.f64 (exp.f64 (neg.f64 im)) (cos.f64 re)))))
#s(approx (* (exp (neg im)) (* (cos re) 1/2)) (.f64 (.f64 (cos.f64 re) #s(literal 1/2 binary64)) (exp.f64 (neg.f64 im))))
#s(approx (exp (neg im)) (exp.f64 (neg.f64 im)))

eval19.0ms (0.8%)

Memory: -39.5MiB live, 12.7MiB allocated; 2ms collecting garbage
Compiler: Compiled 2 963 to 437 computations (85.3% saved)

prune101.0ms (4.5%)

Memory

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

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	121	0	121
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	121	2	123

Accuracy

100.0%

Counts

123 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 (.f64 (exp.f64 im) #s(literal 1/2 binary64)) (cos.f64 re) (.f64 (exp.f64 (neg.f64 im)) (*.f64 (cos.f64 re) #s(literal 1/2 binary64))))
✓	100.0%	(.f64 (.f64 (*.f64 (cos.f64 re) #s(literal 2 binary64)) (cosh.f64 im)) #s(literal 1/2 binary64))

Status

Accuracy

Program

✓

100.0%

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

✓

100.0%

(*.f64 (*.f64 (*.f64 (cos.f64 re) #s(literal 2 binary64)) (cosh.f64 im)) #s(literal 1/2 binary64))

Compiler

Compiled 59 to 39 computations (33.9% saved)

regimes9.0ms (0.4%)

Memory

-37.9MiB live, 9.8MiB allocated; 1ms collecting garbage

Accuracy

Total -0.0b remaining (-100%)

Threshold costs -0b (-100%)

Counts

3 → 1

Calls

Call 1

Inputs

(*.f64 (*.f64 (*.f64 (cos.f64 re) #s(literal 2 binary64)) (cosh.f64 im)) #s(literal 1/2 binary64))

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

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

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

Calls

6 calls:

2.0ms	im
1.0ms	re
1.0ms	(*.f64 #s(literal 1/2 binary64) (cos.f64 re))
1.0ms	(cos.f64 re)
1.0ms	(.f64 (.f64 #s(literal 1/2 binary64) (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

Results

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

Compiler

Compiled 25 to 28 computations (-12% saved)

simplify35.0ms (1.6%)

Memory

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	9
1	11	9
2	14	9
3	20	9
4	52	9
5	372	9
6	3471	9

Stop Event

1×	node limit

Calls

Call 1

Inputs
(.f64 (.f64 (*.f64 (cos.f64 re) #s(literal 2 binary64)) (cosh.f64 im)) #s(literal 1/2 binary64))

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

derivations28.0ms (1.2%)

Memory

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

Stop Event

1×

done

Compiler

Compiled 9 to 9 computations (0% saved)

preprocess14.0ms (0.6%)

Memory

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

Remove

(abs im)

(abs re)

Compiler

Compiled 76 to 74 computations (2.6% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample963.0ms (43.1%)

explain116.0ms (5.2%)

preprocess215.0ms (9.6%)

eval0.0ms (0%)

prune0.0ms (0%)

series9.0ms (0.4%)

rewrite164.0ms (7.3%)

eval13.0ms (0.6%)

prune114.0ms (5.1%)

series10.0ms (0.5%)

rewrite151.0ms (6.8%)

eval17.0ms (0.8%)

prune86.0ms (3.9%)

series12.0ms (0.6%)

rewrite157.0ms (7%)

eval19.0ms (0.8%)

prune101.0ms (4.5%)

regimes9.0ms (0.4%)

simplify35.0ms (1.6%)

derivations28.0ms (1.2%)

preprocess14.0ms (0.6%)

end0.0ms (0%)

Profiling