Metrics for VandenBroeck and Keller, Equation (6)

start0.0ms (0%)

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

analyze180.0ms (5.9%)

Memory

17.3MiB live, 239.9MiB allocated; 59ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
0%	0%	99.9%	0.1%	0%	0%	0%	5
0%	0%	99.9%	0.1%	0%	0%	0%	6
21.9%	21.9%	78%	0.1%	0%	0%	0%	7
23.4%	23.4%	76.5%	0.1%	0%	0%	0%	8
35.2%	35.1%	64.8%	0.1%	0%	0%	0%	9
36.3%	36.3%	63.6%	0.1%	0%	0%	0%	10
42.4%	42.3%	57.6%	0.1%	0%	0%	0%	11
43.1%	43%	56.9%	0.1%	0%	0%	0%	12

Compiler

Compiled 16 to 12 computations (25% saved)

sample1.1s (36.1%)

Memory

13.4MiB live, 842.0MiB allocated; 932ms collecting garbage

Samples

871.0ms

8 256×

valid

Precisions

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

ival-tanu: 485.0ms (73.4% of total)

ival-mult!: 115.0ms (17.4% of total)

ival-div!: 40.0ms (6.1% of total)

ival-sub!: 19.0ms (2.9% of total)

adjust: 2.0ms (0.3% of total)

Bogosity

preprocess63.0ms (2.1%)

Memory

-10.3MiB live, 35.3MiB allocated; 5ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	28	88
1	130	72
2	635	72
3	3908	72

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	78.1%	(-.f64 (.f64 (PI.f64) l) (.f64 (/.f64 #s(literal 1 binary64) (.f64 F F)) (tan.f64 (.f64 (PI.f64) l))))

Symmetry

(abs F)

(negabs l)

Compiler

Compiled 28 to 20 computations (28.6% saved)

series126.0ms (4.2%)

Memory

6.1MiB live, 100.9MiB allocated; 22ms collecting garbage

Counts

10 → 23

Calls

Call 1

Inputs
(-.f64 (.f64 (PI.f64) l) (.f64 (/.f64 #s(literal 1 binary64) (.f64 F F)) (tan.f64 (.f64 (PI.f64) l))))
(*.f64 (PI.f64) l)
(PI.f64)
l
(.f64 (/.f64 #s(literal 1 binary64) (.f64 F F)) (tan.f64 (*.f64 (PI.f64) l)))
(/.f64 #s(literal 1 binary64) (*.f64 F F))
#s(literal 1 binary64)
(*.f64 F F)
F
(tan.f64 (*.f64 (PI.f64) l))

Outputs
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (.f64 #s(literal -1 binary64) (/.f64 (sin.f64 (.f64 l (PI.f64))) (.f64 (pow.f64 F #s(literal 2 binary64)) (cos.f64 (.f64 l (PI.f64)))))))
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (/.f64 (-.f64 (.f64 (pow.f64 F #s(literal 2 binary64)) (.f64 l (PI.f64))) (/.f64 (sin.f64 (.f64 l (PI.f64))) (cos.f64 (.f64 l (PI.f64))))) (pow.f64 F #s(literal 2 binary64))))
#s(approx (* (/ 1 (* F F)) (tan (* (PI) l))) (/.f64 (sin.f64 (.f64 l (PI.f64))) (.f64 (pow.f64 F #s(literal 2 binary64)) (cos.f64 (*.f64 l (PI.f64))))))
#s(approx (/ 1 (* F F)) (/.f64 #s(literal 1 binary64) (pow.f64 F #s(literal 2 binary64))))
#s(approx (* F F) (pow.f64 F #s(literal 2 binary64)))
#s(approx F F)
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (*.f64 l (PI.f64)))
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (fma.f64 #s(literal -1 binary64) (/.f64 (sin.f64 (.f64 l (PI.f64))) (.f64 (pow.f64 F #s(literal 2 binary64)) (cos.f64 (.f64 l (PI.f64))))) (.f64 l (PI.f64))))
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (*.f64 l (-.f64 (PI.f64) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))))
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (.f64 l (-.f64 (+.f64 (PI.f64) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/2 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64)))) (.f64 #s(literal -1/6 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64))))))) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))))
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (.f64 l (-.f64 (+.f64 (PI.f64) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/2 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64))) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/2 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (pow.f64 F #s(literal 2 binary64))) (.f64 #s(literal 1/24 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) (pow.f64 F #s(literal 2 binary64))))) (.f64 #s(literal 1/120 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) (pow.f64 F #s(literal 2 binary64))))))) (*.f64 #s(literal -1/6 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64))))))) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))))
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (.f64 l (-.f64 (+.f64 (PI.f64) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/2 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64))) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/2 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (pow.f64 F #s(literal 2 binary64))) (fma.f64 #s(literal 1/24 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) (pow.f64 F #s(literal 2 binary64))) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/2 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal 1/120 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64))) (fma.f64 #s(literal -1/2 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (.f64 #s(literal 1/24 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64)))))) (pow.f64 F #s(literal 2 binary64))) (fma.f64 #s(literal -1/720 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 7 binary64)) (pow.f64 F #s(literal 2 binary64))) (.f64 #s(literal 1/24 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 4 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (pow.f64 F #s(literal 2 binary64)))))) (.f64 #s(literal -1/5040 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 7 binary64)) (pow.f64 F #s(literal 2 binary64)))))))) (.f64 #s(literal 1/120 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) (pow.f64 F #s(literal 2 binary64))))))) (.f64 #s(literal -1/6 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64))))))) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))))
#s(approx l l)
#s(approx (* (/ 1 (* F F)) (tan (* (PI) l))) (/.f64 (*.f64 l (PI.f64)) (pow.f64 F #s(literal 2 binary64))))
#s(approx (* (/ 1 (* F F)) (tan (* (PI) l))) (.f64 l (fma.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64)))) (*.f64 #s(literal -1/2 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64))))) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))))
#s(approx (* (/ 1 (* F F)) (tan (* (PI) l))) (.f64 l (fma.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/6 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64))) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (.f64 #s(literal 1/120 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) (pow.f64 F #s(literal 2 binary64)))) (fma.f64 #s(literal -1/2 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (pow.f64 F #s(literal 2 binary64))) (.f64 #s(literal 1/24 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) (pow.f64 F #s(literal 2 binary64)))))))) (.f64 #s(literal -1/2 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64))))) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))))
#s(approx (* (/ 1 (* F F)) (tan (* (PI) l))) (.f64 l (fma.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/6 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64))) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal 1/120 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) (pow.f64 F #s(literal 2 binary64))) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/5040 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 7 binary64)) (pow.f64 F #s(literal 2 binary64)))) (fma.f64 #s(literal -1/2 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal 1/120 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64))) (fma.f64 #s(literal -1/2 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (.f64 #s(literal 1/24 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64)))))) (pow.f64 F #s(literal 2 binary64))) (fma.f64 #s(literal -1/720 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 7 binary64)) (pow.f64 F #s(literal 2 binary64))) (.f64 #s(literal 1/24 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 4 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (pow.f64 F #s(literal 2 binary64))))))))) (fma.f64 #s(literal -1/2 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (pow.f64 F #s(literal 2 binary64))) (.f64 #s(literal 1/24 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) (pow.f64 F #s(literal 2 binary64)))))))) (*.f64 #s(literal -1/2 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64))))) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))))
#s(approx (tan (* (PI) l)) (.f64 l (+.f64 (PI.f64) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))))))
#s(approx (tan (* (PI) l)) (.f64 l (+.f64 (PI.f64) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64)) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (.f64 #s(literal 1/120 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64))) (fma.f64 #s(literal -1/2 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (.f64 #s(literal 1/24 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64))))))) (*.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))))))
#s(approx (tan (* (PI) l)) (.f64 l (+.f64 (PI.f64) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64)) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal 1/120 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64)) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/5040 binary64) (pow.f64 (PI.f64) #s(literal 7 binary64))) (fma.f64 #s(literal -1/2 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal 1/120 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64))) (fma.f64 #s(literal -1/2 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (.f64 #s(literal 1/24 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64)))))) (fma.f64 #s(literal -1/720 binary64) (pow.f64 (PI.f64) #s(literal 7 binary64)) (.f64 #s(literal 1/24 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 4 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))))))))) (fma.f64 #s(literal -1/2 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (.f64 #s(literal 1/24 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64))))))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))))))
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (.f64 l (+.f64 (PI.f64) (.f64 #s(literal -1 binary64) (/.f64 (sin.f64 (.f64 l (PI.f64))) (.f64 (pow.f64 F #s(literal 2 binary64)) (.f64 l (cos.f64 (.f64 l (PI.f64))))))))))
#s(approx (tan (* (PI) l)) (/.f64 (sin.f64 (.f64 l (PI.f64))) (cos.f64 (.f64 l (PI.f64)))))
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (.f64 #s(literal -1 binary64) (.f64 l (fma.f64 #s(literal -1 binary64) (PI.f64) (/.f64 (sin.f64 (.f64 l (PI.f64))) (.f64 (pow.f64 F #s(literal 2 binary64)) (.f64 l (cos.f64 (.f64 l (PI.f64))))))))))

Calls

6 calls:

Time	Variable	Point
3.0ms	l	0
3.0ms	F	0
2.0ms	l	inf
2.0ms	F	inf
2.0ms	l	-inf

rewrite132.0ms (4.4%)

Memory

1.9MiB live, 91.4MiB allocated; 17ms collecting garbage

Counts

10 → 31

Calls

Call 1

Inputs
(-.f64 (.f64 (PI.f64) l) (.f64 (/.f64 #s(literal 1 binary64) (.f64 F F)) (tan.f64 (.f64 (PI.f64) l))))
(*.f64 (PI.f64) l)
(PI.f64)
l
(.f64 (/.f64 #s(literal 1 binary64) (.f64 F F)) (tan.f64 (*.f64 (PI.f64) l)))
(/.f64 #s(literal 1 binary64) (*.f64 F F))
#s(literal 1 binary64)
(*.f64 F F)
F
(tan.f64 (*.f64 (PI.f64) l))

Outputs
(+.f64 (.f64 (PI.f64) l) (neg.f64 (.f64 (/.f64 #s(literal 1 binary64) (.f64 F F)) (tan.f64 (.f64 (PI.f64) l)))))
(+.f64 (.f64 (PI.f64) l) (.f64 (neg.f64 (/.f64 #s(literal 1 binary64) (.f64 F F))) (tan.f64 (.f64 (PI.f64) l))))
(-.f64 (.f64 (PI.f64) l) (.f64 (/.f64 #s(literal 1 binary64) (.f64 F F)) (tan.f64 (.f64 (PI.f64) l))))
(fma.f64 (PI.f64) l (neg.f64 (.f64 (/.f64 #s(literal 1 binary64) (.f64 F F)) (tan.f64 (*.f64 (PI.f64) l)))))
(fma.f64 l (PI.f64) (neg.f64 (.f64 (/.f64 #s(literal 1 binary64) (.f64 F F)) (tan.f64 (*.f64 (PI.f64) l)))))
(fma.f64 (PI.f64) l (.f64 (neg.f64 (/.f64 #s(literal 1 binary64) (.f64 F F))) (tan.f64 (*.f64 (PI.f64) l))))
(fma.f64 l (PI.f64) (.f64 (neg.f64 (/.f64 #s(literal 1 binary64) (.f64 F F))) (tan.f64 (*.f64 (PI.f64) l))))
(neg.f64 (-.f64 (.f64 (/.f64 #s(literal 1 binary64) (.f64 F F)) (tan.f64 (.f64 (PI.f64) l))) (.f64 (PI.f64) l)))
(*.f64 (PI.f64) l)
(*.f64 l (PI.f64))
(PI.f64)
l
(.f64 (/.f64 #s(literal 1 binary64) (.f64 F F)) (tan.f64 (*.f64 (PI.f64) l)))
(.f64 (tan.f64 (.f64 (PI.f64) l)) (/.f64 #s(literal 1 binary64) (*.f64 F F)))
(/.f64 (.f64 #s(literal 1 binary64) (tan.f64 (.f64 (PI.f64) l))) (*.f64 F F))
(.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 F F)))
(/.f64 #s(literal 1 binary64) (*.f64 F F))
(/.f64 (/.f64 #s(literal 1 binary64) F) F)
(/.f64 #s(literal -1 binary64) (neg.f64 (*.f64 F F)))
(pow.f64 (*.f64 F F) #s(literal -1 binary64))
#s(literal 1 binary64)
(cosh.f64 #s(literal 0 binary64))
(exp.f64 #s(literal 0 binary64))
(*.f64 F F)
(*.f64 (fabs.f64 F) (fabs.f64 F))
(*.f64 (neg.f64 F) (neg.f64 F))
(pow.f64 F #s(literal 2 binary64))
F
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l)))
(tan.f64 (*.f64 (PI.f64) l))
(tan.f64 (fma.f64 (PI.f64) l (PI.f64)))

eval6.0ms (0.2%)

Memory: 9.4MiB live, 9.4MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 525 to 264 computations (82.7% saved)

prune3.0ms (0.1%)

Memory

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

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	40	4	44
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	40	5	45

Accuracy

94.1%

Counts

45 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	78.1%	(-.f64 (.f64 (PI.f64) l) (.f64 (/.f64 (/.f64 #s(literal 1 binary64) F) F) (tan.f64 (*.f64 (PI.f64) l))))
✓	78.1%	(-.f64 (.f64 (PI.f64) l) (.f64 (/.f64 #s(literal 1 binary64) (.f64 F F)) (tan.f64 (.f64 (PI.f64) l))))
▶	73.4%	(-.f64 (.f64 (PI.f64) l) #s(approx ( (/ 1 (* F F)) (tan (* (PI) l))) (/.f64 (*.f64 l (PI.f64)) (pow.f64 F #s(literal 2 binary64)))))
▶	72.9%	#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (*.f64 l (-.f64 (PI.f64) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))))
▶	71.8%	#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (*.f64 l (PI.f64)))

Compiler

Compiled 92 to 67 computations (27.2% saved)

series165.0ms (5.5%)

Memory

-25.4MiB live, 83.3MiB allocated; 72ms collecting garbage

Counts

21 → 32

Calls

Call 1

Inputs
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (*.f64 l (PI.f64)))
(*.f64 l (PI.f64))
l
(PI.f64)
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (*.f64 l (-.f64 (PI.f64) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))))
(*.f64 l (-.f64 (PI.f64) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64)))))
(-.f64 (PI.f64) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))
(/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64)))
(pow.f64 F #s(literal 2 binary64))
F
#s(literal 2 binary64)
(-.f64 (.f64 (PI.f64) l) #s(approx ( (/ 1 (* F F)) (tan (* (PI) l))) (/.f64 (*.f64 l (PI.f64)) (pow.f64 F #s(literal 2 binary64)))))
(*.f64 (PI.f64) l)
#s(approx (* (/ 1 (* F F)) (tan (* (PI) l))) (/.f64 (*.f64 l (PI.f64)) (pow.f64 F #s(literal 2 binary64))))
(/.f64 (*.f64 l (PI.f64)) (pow.f64 F #s(literal 2 binary64)))
(-.f64 (.f64 (PI.f64) l) (.f64 (/.f64 (/.f64 #s(literal 1 binary64) F) F) (tan.f64 (*.f64 (PI.f64) l))))
(.f64 (/.f64 (/.f64 #s(literal 1 binary64) F) F) (tan.f64 (.f64 (PI.f64) l)))
(/.f64 (/.f64 #s(literal 1 binary64) F) F)
(/.f64 #s(literal 1 binary64) F)
#s(literal 1 binary64)
(tan.f64 (*.f64 (PI.f64) l))

Outputs
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (.f64 #s(literal -1 binary64) (/.f64 (sin.f64 (.f64 l (PI.f64))) (.f64 (pow.f64 F #s(literal 2 binary64)) (cos.f64 (.f64 l (PI.f64)))))))
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (/.f64 (-.f64 (.f64 (pow.f64 F #s(literal 2 binary64)) (.f64 l (PI.f64))) (/.f64 (sin.f64 (.f64 l (PI.f64))) (cos.f64 (.f64 l (PI.f64))))) (pow.f64 F #s(literal 2 binary64))))
#s(approx (* l (- (PI) (/ (PI) (pow F 2)))) (.f64 #s(literal -1 binary64) (/.f64 (.f64 l (PI.f64)) (pow.f64 F #s(literal 2 binary64)))))
#s(approx (* l (- (PI) (/ (PI) (pow F 2)))) (/.f64 (fma.f64 #s(literal -1 binary64) (.f64 l (PI.f64)) (.f64 (pow.f64 F #s(literal 2 binary64)) (*.f64 l (PI.f64)))) (pow.f64 F #s(literal 2 binary64))))
#s(approx (- (PI) (/ (PI) (pow F 2))) (*.f64 #s(literal -1 binary64) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64)))))
#s(approx (- (PI) (/ (PI) (pow F 2))) (/.f64 (-.f64 (*.f64 (pow.f64 F #s(literal 2 binary64)) (PI.f64)) (PI.f64)) (pow.f64 F #s(literal 2 binary64))))
#s(approx (/ (PI) (pow F 2)) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))
#s(approx (pow F 2) (pow.f64 F #s(literal 2 binary64)))
#s(approx F F)
#s(approx (* (/ 1 (* F F)) (tan (* (PI) l))) (/.f64 (sin.f64 (.f64 l (PI.f64))) (.f64 (pow.f64 F #s(literal 2 binary64)) (cos.f64 (*.f64 l (PI.f64))))))
#s(approx (/ (* l (PI)) (pow F 2)) (/.f64 (*.f64 l (PI.f64)) (pow.f64 F #s(literal 2 binary64))))
#s(approx (/ (/ 1 F) F) (/.f64 #s(literal 1 binary64) (pow.f64 F #s(literal 2 binary64))))
#s(approx (/ 1 F) (/.f64 #s(literal 1 binary64) F))
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (*.f64 l (PI.f64)))
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (fma.f64 #s(literal -1 binary64) (/.f64 (sin.f64 (.f64 l (PI.f64))) (.f64 (pow.f64 F #s(literal 2 binary64)) (cos.f64 (.f64 l (PI.f64))))) (.f64 l (PI.f64))))
#s(approx (* l (- (PI) (/ (PI) (pow F 2)))) (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 l (PI.f64)) (pow.f64 F #s(literal 2 binary64))) (.f64 l (PI.f64))))
#s(approx (- (PI) (/ (PI) (pow F 2))) (PI.f64))
#s(approx (- (PI) (/ (PI) (pow F 2))) (+.f64 (PI.f64) (*.f64 #s(literal -1 binary64) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))))
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (*.f64 l (-.f64 (PI.f64) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))))
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (.f64 l (-.f64 (+.f64 (PI.f64) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/2 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64)))) (.f64 #s(literal -1/6 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64))))))) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))))
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (.f64 l (-.f64 (+.f64 (PI.f64) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/2 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64))) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/2 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (pow.f64 F #s(literal 2 binary64))) (.f64 #s(literal 1/24 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) (pow.f64 F #s(literal 2 binary64))))) (.f64 #s(literal 1/120 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) (pow.f64 F #s(literal 2 binary64))))))) (*.f64 #s(literal -1/6 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64))))))) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))))
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (.f64 l (-.f64 (+.f64 (PI.f64) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/2 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64))) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/2 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (pow.f64 F #s(literal 2 binary64))) (fma.f64 #s(literal 1/24 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) (pow.f64 F #s(literal 2 binary64))) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/2 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal 1/120 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64))) (fma.f64 #s(literal -1/2 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (.f64 #s(literal 1/24 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64)))))) (pow.f64 F #s(literal 2 binary64))) (fma.f64 #s(literal -1/720 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 7 binary64)) (pow.f64 F #s(literal 2 binary64))) (.f64 #s(literal 1/24 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 4 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (pow.f64 F #s(literal 2 binary64)))))) (.f64 #s(literal -1/5040 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 7 binary64)) (pow.f64 F #s(literal 2 binary64)))))))) (.f64 #s(literal 1/120 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) (pow.f64 F #s(literal 2 binary64))))))) (.f64 #s(literal -1/6 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64))))))) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))))
#s(approx l l)
#s(approx (* (/ 1 (* F F)) (tan (* (PI) l))) (.f64 l (fma.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64)))) (*.f64 #s(literal -1/2 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64))))) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))))
#s(approx (* (/ 1 (* F F)) (tan (* (PI) l))) (.f64 l (fma.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/6 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64))) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (.f64 #s(literal 1/120 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) (pow.f64 F #s(literal 2 binary64)))) (fma.f64 #s(literal -1/2 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (pow.f64 F #s(literal 2 binary64))) (.f64 #s(literal 1/24 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) (pow.f64 F #s(literal 2 binary64)))))))) (.f64 #s(literal -1/2 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64))))) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))))
#s(approx (* (/ 1 (* F F)) (tan (* (PI) l))) (.f64 l (fma.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/6 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64))) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal 1/120 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) (pow.f64 F #s(literal 2 binary64))) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/5040 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 7 binary64)) (pow.f64 F #s(literal 2 binary64)))) (fma.f64 #s(literal -1/2 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal 1/120 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64))) (fma.f64 #s(literal -1/2 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (.f64 #s(literal 1/24 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64)))))) (pow.f64 F #s(literal 2 binary64))) (fma.f64 #s(literal -1/720 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 7 binary64)) (pow.f64 F #s(literal 2 binary64))) (.f64 #s(literal 1/24 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 4 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (pow.f64 F #s(literal 2 binary64))))))))) (fma.f64 #s(literal -1/2 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (pow.f64 F #s(literal 2 binary64))) (.f64 #s(literal 1/24 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) (pow.f64 F #s(literal 2 binary64)))))))) (*.f64 #s(literal -1/2 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64))))) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))))
#s(approx (tan (* (PI) l)) (.f64 l (+.f64 (PI.f64) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))))))
#s(approx (tan (* (PI) l)) (.f64 l (+.f64 (PI.f64) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64)) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (.f64 #s(literal 1/120 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64))) (fma.f64 #s(literal -1/2 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (.f64 #s(literal 1/24 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64))))))) (*.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))))))
#s(approx (tan (* (PI) l)) (.f64 l (+.f64 (PI.f64) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64)) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal 1/120 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64)) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/5040 binary64) (pow.f64 (PI.f64) #s(literal 7 binary64))) (fma.f64 #s(literal -1/2 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal 1/120 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64))) (fma.f64 #s(literal -1/2 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (.f64 #s(literal 1/24 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64)))))) (fma.f64 #s(literal -1/720 binary64) (pow.f64 (PI.f64) #s(literal 7 binary64)) (.f64 #s(literal 1/24 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 4 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))))))))) (fma.f64 #s(literal -1/2 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (.f64 #s(literal 1/24 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64))))))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))))))
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (.f64 l (+.f64 (PI.f64) (.f64 #s(literal -1 binary64) (/.f64 (sin.f64 (.f64 l (PI.f64))) (.f64 (pow.f64 F #s(literal 2 binary64)) (.f64 l (cos.f64 (.f64 l (PI.f64))))))))))
#s(approx (tan (* (PI) l)) (/.f64 (sin.f64 (.f64 l (PI.f64))) (cos.f64 (.f64 l (PI.f64)))))
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (.f64 #s(literal -1 binary64) (.f64 l (fma.f64 #s(literal -1 binary64) (PI.f64) (/.f64 (sin.f64 (.f64 l (PI.f64))) (.f64 (pow.f64 F #s(literal 2 binary64)) (.f64 l (cos.f64 (.f64 l (PI.f64))))))))))

Calls

6 calls:

Time	Variable	Point
15.0ms	l	0
4.0ms	F	0
3.0ms	l	-inf
3.0ms	l	inf
2.0ms	F	-inf

rewrite138.0ms (4.6%)

Memory

5.9MiB live, 97.9MiB allocated; 10ms collecting garbage

Counts

21 → 59

Calls

Call 1

Inputs
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (*.f64 l (PI.f64)))
(*.f64 l (PI.f64))
l
(PI.f64)
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (*.f64 l (-.f64 (PI.f64) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))))
(*.f64 l (-.f64 (PI.f64) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64)))))
(-.f64 (PI.f64) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))
(/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64)))
(pow.f64 F #s(literal 2 binary64))
F
#s(literal 2 binary64)
(-.f64 (.f64 (PI.f64) l) #s(approx ( (/ 1 (* F F)) (tan (* (PI) l))) (/.f64 (*.f64 l (PI.f64)) (pow.f64 F #s(literal 2 binary64)))))
(*.f64 (PI.f64) l)
#s(approx (* (/ 1 (* F F)) (tan (* (PI) l))) (/.f64 (*.f64 l (PI.f64)) (pow.f64 F #s(literal 2 binary64))))
(/.f64 (*.f64 l (PI.f64)) (pow.f64 F #s(literal 2 binary64)))
(-.f64 (.f64 (PI.f64) l) (.f64 (/.f64 (/.f64 #s(literal 1 binary64) F) F) (tan.f64 (*.f64 (PI.f64) l))))
(.f64 (/.f64 (/.f64 #s(literal 1 binary64) F) F) (tan.f64 (.f64 (PI.f64) l)))
(/.f64 (/.f64 #s(literal 1 binary64) F) F)
(/.f64 #s(literal 1 binary64) F)
#s(literal 1 binary64)
(tan.f64 (*.f64 (PI.f64) l))

Outputs
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (*.f64 l (PI.f64)))
(*.f64 l (PI.f64))
(*.f64 (PI.f64) l)
l
(PI.f64)
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (.f64 (-.f64 (PI.f64) (/.f64 (PI.f64) (.f64 F F))) l))
(.f64 (-.f64 (PI.f64) (/.f64 (PI.f64) (.f64 F F))) l)
(.f64 l (-.f64 (PI.f64) (/.f64 (PI.f64) (.f64 F F))))
(+.f64 (PI.f64) (neg.f64 (/.f64 (PI.f64) (*.f64 F F))))
(-.f64 (PI.f64) (/.f64 (PI.f64) (*.f64 F F)))
(/.f64 (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64)) (*.f64 F F))
(neg.f64 (-.f64 (/.f64 (PI.f64) (*.f64 F F)) (PI.f64)))
(.f64 (PI.f64) (/.f64 #s(literal 1 binary64) (.f64 F F)))
(/.f64 (PI.f64) (*.f64 F F))
(/.f64 (neg.f64 (PI.f64)) (neg.f64 (*.f64 F F)))
(*.f64 F F)
(*.f64 (fabs.f64 F) (fabs.f64 F))
(*.f64 (neg.f64 F) (neg.f64 F))
(pow.f64 F #s(literal 2 binary64))
F
#s(literal 2 binary64)
(+.f64 #s(literal 1 binary64) #s(literal 1 binary64))
(-.f64 (.f64 l (PI.f64)) #s(approx ( (/ (/ 1 F) F) (tan (* (PI) l))) (/.f64 (.f64 l (PI.f64)) (.f64 F F))))
(*.f64 l (PI.f64))
(*.f64 (PI.f64) l)
#s(approx (* (/ (/ 1 F) F) (tan (* (PI) l))) (/.f64 (.f64 l (PI.f64)) (.f64 F F)))
(.f64 (.f64 l (PI.f64)) (/.f64 #s(literal 1 binary64) (*.f64 F F)))
(.f64 l (/.f64 (PI.f64) (.f64 F F)))
(/.f64 (.f64 l (PI.f64)) (.f64 F F))
(/.f64 (neg.f64 (.f64 l (PI.f64))) (neg.f64 (.f64 F F)))
(+.f64 (.f64 l (PI.f64)) (neg.f64 (.f64 (/.f64 #s(literal 1 binary64) (.f64 F F)) (tan.f64 (.f64 l (PI.f64))))))
(+.f64 (.f64 l (PI.f64)) (.f64 (neg.f64 (/.f64 #s(literal 1 binary64) (.f64 F F))) (tan.f64 (.f64 l (PI.f64)))))
(-.f64 (.f64 l (PI.f64)) (.f64 (/.f64 #s(literal 1 binary64) (.f64 F F)) (tan.f64 (.f64 l (PI.f64)))))
(fma.f64 (PI.f64) l (neg.f64 (.f64 (/.f64 #s(literal 1 binary64) (.f64 F F)) (tan.f64 (*.f64 l (PI.f64))))))
(fma.f64 l (PI.f64) (neg.f64 (.f64 (/.f64 #s(literal 1 binary64) (.f64 F F)) (tan.f64 (*.f64 l (PI.f64))))))
(fma.f64 (PI.f64) l (.f64 (neg.f64 (/.f64 #s(literal 1 binary64) (.f64 F F))) (tan.f64 (*.f64 l (PI.f64)))))
(fma.f64 l (PI.f64) (.f64 (neg.f64 (/.f64 #s(literal 1 binary64) (.f64 F F))) (tan.f64 (*.f64 l (PI.f64)))))
(neg.f64 (-.f64 (.f64 (/.f64 #s(literal 1 binary64) (.f64 F F)) (tan.f64 (.f64 l (PI.f64)))) (.f64 l (PI.f64))))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 F F)) (tan.f64 (*.f64 l (PI.f64))))
(.f64 (tan.f64 (.f64 l (PI.f64))) (/.f64 #s(literal 1 binary64) (*.f64 F F)))
(/.f64 (.f64 #s(literal 1 binary64) (tan.f64 (.f64 l (PI.f64)))) (*.f64 F F))
(/.f64 (.f64 (/.f64 #s(literal 1 binary64) F) (tan.f64 (.f64 l (PI.f64)))) F)
(*.f64 (/.f64 #s(literal 1 binary64) F) (/.f64 #s(literal 1 binary64) F))
(.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 F F)))
(/.f64 (/.f64 #s(literal 1 binary64) F) F)
(/.f64 #s(literal 1 binary64) (*.f64 F F))
(/.f64 (neg.f64 (/.f64 #s(literal 1 binary64) F)) (neg.f64 F))
(/.f64 #s(literal -1 binary64) (neg.f64 (*.f64 F F)))
(pow.f64 (*.f64 F F) #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) F))
(/.f64 #s(literal 1 binary64) F)
(/.f64 #s(literal -1 binary64) (neg.f64 F))
(pow.f64 F #s(literal -1 binary64))
#s(literal 1 binary64)
(cosh.f64 #s(literal 0 binary64))
(exp.f64 #s(literal 0 binary64))
(/.f64 (sin.f64 (.f64 l (PI.f64))) (cos.f64 (.f64 l (PI.f64))))
(tan.f64 (*.f64 l (PI.f64)))
(tan.f64 (fma.f64 (PI.f64) l (PI.f64)))

eval14.0ms (0.5%)

Memory: 17.5MiB live, 17.5MiB allocated; 0ms collecting garbage
Compiler: Compiled 2 636 to 413 computations (84.3% saved)

prune7.0ms (0.2%)

Memory

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

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	83	5	88
Fresh	0	0	0
Picked	3	1	4
Done	0	1	1
Total	86	7	93

Accuracy

99.1%

Counts

93 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	83.6%	(-.f64 (.f64 (PI.f64) l) (/.f64 (.f64 (/.f64 #s(literal 1 binary64) F) (tan.f64 (*.f64 l (PI.f64)))) F))
✓	78.1%	(-.f64 (.f64 (PI.f64) l) (.f64 (/.f64 #s(literal 1 binary64) (.f64 F F)) (tan.f64 (.f64 (PI.f64) l))))
▶	73.4%	(-.f64 (.f64 (PI.f64) l) #s(approx ( (/ (/ 1 F) F) (tan (* (PI) l))) (/.f64 (.f64 l (PI.f64)) (.f64 F F))))
▶	72.9%	(-.f64 (.f64 (PI.f64) l) #s(approx ( (/ 1 (* F F)) (tan (* (PI) l))) (.f64 (.f64 l (PI.f64)) (/.f64 #s(literal 1 binary64) (*.f64 F F)))))
▶	72.9%	#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (.f64 (-.f64 (PI.f64) (/.f64 (PI.f64) (.f64 F F))) l))
▶	47.2%	#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (.f64 l (/.f64 (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64)) (.f64 F F))))
✓	71.8%	#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (*.f64 l (PI.f64)))

Compiler

Compiled 256 to 179 computations (30.1% saved)

series131.0ms (4.3%)

Memory

-8.4MiB live, 86.1MiB allocated; 21ms collecting garbage

Counts

28 → 43

Calls

Call 1

Inputs
(-.f64 (.f64 (PI.f64) l) (/.f64 (.f64 (/.f64 #s(literal 1 binary64) F) (tan.f64 (*.f64 l (PI.f64)))) F))
(*.f64 (PI.f64) l)
(PI.f64)
l
(/.f64 (.f64 (/.f64 #s(literal 1 binary64) F) (tan.f64 (.f64 l (PI.f64)))) F)
(.f64 (/.f64 #s(literal 1 binary64) F) (tan.f64 (.f64 l (PI.f64))))
(/.f64 #s(literal 1 binary64) F)
#s(literal 1 binary64)
F
(tan.f64 (*.f64 l (PI.f64)))
(*.f64 l (PI.f64))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (.f64 (-.f64 (PI.f64) (/.f64 (PI.f64) (.f64 F F))) l))
(.f64 (-.f64 (PI.f64) (/.f64 (PI.f64) (.f64 F F))) l)
(-.f64 (PI.f64) (/.f64 (PI.f64) (*.f64 F F)))
(/.f64 (PI.f64) (*.f64 F F))
(*.f64 F F)
(-.f64 (.f64 (PI.f64) l) #s(approx ( (/ (/ 1 F) F) (tan (* (PI) l))) (/.f64 (.f64 l (PI.f64)) (.f64 F F))))
#s(approx (* (/ (/ 1 F) F) (tan (* (PI) l))) (/.f64 (.f64 l (PI.f64)) (.f64 F F)))
(/.f64 (.f64 l (PI.f64)) (.f64 F F))
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (.f64 l (/.f64 (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64)) (.f64 F F))))
(.f64 l (/.f64 (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64)) (.f64 F F)))
(/.f64 (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64)) (*.f64 F F))
(-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64))
(.f64 (PI.f64) (.f64 F F))
(-.f64 (.f64 (PI.f64) l) #s(approx ( (/ 1 (* F F)) (tan (* (PI) l))) (.f64 (.f64 l (PI.f64)) (/.f64 #s(literal 1 binary64) (*.f64 F F)))))
#s(approx (* (/ 1 (* F F)) (tan (* (PI) l))) (.f64 (.f64 l (PI.f64)) (/.f64 #s(literal 1 binary64) (*.f64 F F))))
(.f64 (.f64 l (PI.f64)) (/.f64 #s(literal 1 binary64) (*.f64 F F)))
(/.f64 #s(literal 1 binary64) (*.f64 F F))

Outputs
#s(approx (- (* (PI) l) (/ (* (/ 1 F) (tan (* l (PI)))) F)) (.f64 #s(literal -1 binary64) (/.f64 (sin.f64 (.f64 l (PI.f64))) (.f64 (pow.f64 F #s(literal 2 binary64)) (cos.f64 (.f64 l (PI.f64)))))))
#s(approx (- (* (PI) l) (/ (* (/ 1 F) (tan (* l (PI)))) F)) (/.f64 (-.f64 (.f64 (pow.f64 F #s(literal 2 binary64)) (.f64 l (PI.f64))) (/.f64 (sin.f64 (.f64 l (PI.f64))) (cos.f64 (.f64 l (PI.f64))))) (pow.f64 F #s(literal 2 binary64))))
#s(approx (/ (* (/ 1 F) (tan (* l (PI)))) F) (/.f64 (sin.f64 (.f64 l (PI.f64))) (.f64 (pow.f64 F #s(literal 2 binary64)) (cos.f64 (*.f64 l (PI.f64))))))
#s(approx (* (/ 1 F) (tan (* l (PI)))) (/.f64 (sin.f64 (.f64 l (PI.f64))) (.f64 F (cos.f64 (*.f64 l (PI.f64))))))
#s(approx (/ 1 F) (/.f64 #s(literal 1 binary64) F))
#s(approx F F)
#s(approx (* (- (PI) (/ (PI) (* F F))) l) (.f64 #s(literal -1 binary64) (/.f64 (.f64 l (PI.f64)) (pow.f64 F #s(literal 2 binary64)))))
#s(approx (* (- (PI) (/ (PI) (* F F))) l) (/.f64 (fma.f64 #s(literal -1 binary64) (.f64 l (PI.f64)) (.f64 (pow.f64 F #s(literal 2 binary64)) (*.f64 l (PI.f64)))) (pow.f64 F #s(literal 2 binary64))))
#s(approx (- (PI) (/ (PI) (* F F))) (*.f64 #s(literal -1 binary64) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64)))))
#s(approx (- (PI) (/ (PI) (* F F))) (/.f64 (-.f64 (*.f64 (pow.f64 F #s(literal 2 binary64)) (PI.f64)) (PI.f64)) (pow.f64 F #s(literal 2 binary64))))
#s(approx (/ (PI) (* F F)) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))
#s(approx (* F F) (pow.f64 F #s(literal 2 binary64)))
#s(approx (/ (* l (PI)) (* F F)) (/.f64 (*.f64 l (PI.f64)) (pow.f64 F #s(literal 2 binary64))))
#s(approx (/ (- (* (PI) (* F F)) (PI)) (* F F)) (/.f64 (fma.f64 #s(literal -1 binary64) (PI.f64) (*.f64 (pow.f64 F #s(literal 2 binary64)) (PI.f64))) (pow.f64 F #s(literal 2 binary64))))
#s(approx (- (* (PI) (* F F)) (PI)) (*.f64 #s(literal -1 binary64) (PI.f64)))
#s(approx (- (* (PI) (* F F)) (PI)) (-.f64 (*.f64 (pow.f64 F #s(literal 2 binary64)) (PI.f64)) (PI.f64)))
#s(approx (* (PI) (* F F)) (*.f64 (pow.f64 F #s(literal 2 binary64)) (PI.f64)))
#s(approx (/ 1 (* F F)) (/.f64 #s(literal 1 binary64) (pow.f64 F #s(literal 2 binary64))))
#s(approx (- (* (PI) l) (/ (* (/ 1 F) (tan (* l (PI)))) F)) (*.f64 l (PI.f64)))
#s(approx (- (* (PI) l) (/ (* (/ 1 F) (tan (* l (PI)))) F)) (fma.f64 #s(literal -1 binary64) (/.f64 (sin.f64 (.f64 l (PI.f64))) (.f64 (pow.f64 F #s(literal 2 binary64)) (cos.f64 (.f64 l (PI.f64))))) (.f64 l (PI.f64))))
#s(approx (* (- (PI) (/ (PI) (* F F))) l) (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 l (PI.f64)) (pow.f64 F #s(literal 2 binary64))) (.f64 l (PI.f64))))
#s(approx (- (PI) (/ (PI) (* F F))) (PI.f64))
#s(approx (- (PI) (/ (PI) (* F F))) (+.f64 (PI.f64) (*.f64 #s(literal -1 binary64) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))))
#s(approx (- (* (PI) (* F F)) (PI)) (.f64 (pow.f64 F #s(literal 2 binary64)) (+.f64 (PI.f64) (.f64 #s(literal -1 binary64) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64)))))))
#s(approx (- (* (PI) l) (/ (* (/ 1 F) (tan (* l (PI)))) F)) (*.f64 l (-.f64 (PI.f64) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))))
#s(approx (- (* (PI) l) (/ (* (/ 1 F) (tan (* l (PI)))) F)) (.f64 l (-.f64 (+.f64 (PI.f64) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/2 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64)))) (.f64 #s(literal -1/6 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64))))))) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))))
#s(approx (- (* (PI) l) (/ (* (/ 1 F) (tan (* l (PI)))) F)) (.f64 l (-.f64 (+.f64 (PI.f64) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/2 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64))) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/2 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (pow.f64 F #s(literal 2 binary64))) (.f64 #s(literal 1/24 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) (pow.f64 F #s(literal 2 binary64))))) (.f64 #s(literal 1/120 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) (pow.f64 F #s(literal 2 binary64))))))) (*.f64 #s(literal -1/6 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64))))))) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))))
#s(approx (- (* (PI) l) (/ (* (/ 1 F) (tan (* l (PI)))) F)) (.f64 l (-.f64 (+.f64 (PI.f64) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/2 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64))) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/2 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (pow.f64 F #s(literal 2 binary64))) (fma.f64 #s(literal 1/24 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) (pow.f64 F #s(literal 2 binary64))) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/2 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal 1/120 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64))) (fma.f64 #s(literal -1/2 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (.f64 #s(literal 1/24 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64)))))) (pow.f64 F #s(literal 2 binary64))) (fma.f64 #s(literal -1/720 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 7 binary64)) (pow.f64 F #s(literal 2 binary64))) (.f64 #s(literal 1/24 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 4 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (pow.f64 F #s(literal 2 binary64)))))) (.f64 #s(literal -1/5040 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 7 binary64)) (pow.f64 F #s(literal 2 binary64)))))))) (.f64 #s(literal 1/120 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) (pow.f64 F #s(literal 2 binary64))))))) (.f64 #s(literal -1/6 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64))))))) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))))
#s(approx l l)
#s(approx (/ (* (/ 1 F) (tan (* l (PI)))) F) (.f64 l (fma.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64)))) (*.f64 #s(literal -1/2 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64))))) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))))
#s(approx (/ (* (/ 1 F) (tan (* l (PI)))) F) (.f64 l (fma.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/6 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64))) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (.f64 #s(literal 1/120 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) (pow.f64 F #s(literal 2 binary64)))) (fma.f64 #s(literal -1/2 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (pow.f64 F #s(literal 2 binary64))) (.f64 #s(literal 1/24 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) (pow.f64 F #s(literal 2 binary64)))))))) (.f64 #s(literal -1/2 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64))))) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))))
#s(approx (/ (* (/ 1 F) (tan (* l (PI)))) F) (.f64 l (fma.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/6 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64))) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal 1/120 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) (pow.f64 F #s(literal 2 binary64))) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/5040 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 7 binary64)) (pow.f64 F #s(literal 2 binary64)))) (fma.f64 #s(literal -1/2 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal 1/120 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64))) (fma.f64 #s(literal -1/2 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (.f64 #s(literal 1/24 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64)))))) (pow.f64 F #s(literal 2 binary64))) (fma.f64 #s(literal -1/720 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 7 binary64)) (pow.f64 F #s(literal 2 binary64))) (.f64 #s(literal 1/24 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 4 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (pow.f64 F #s(literal 2 binary64))))))))) (fma.f64 #s(literal -1/2 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (pow.f64 F #s(literal 2 binary64))) (.f64 #s(literal 1/24 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) (pow.f64 F #s(literal 2 binary64)))))))) (*.f64 #s(literal -1/2 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64))))) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))))
#s(approx (* (/ 1 F) (tan (* l (PI)))) (/.f64 (*.f64 l (PI.f64)) F))
#s(approx (* (/ 1 F) (tan (* l (PI)))) (.f64 l (fma.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) F)) (*.f64 #s(literal -1/2 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) F))) (/.f64 (PI.f64) F))))
#s(approx (* (/ 1 F) (tan (* l (PI)))) (.f64 l (fma.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/6 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) F) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (.f64 #s(literal 1/120 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) F)) (fma.f64 #s(literal -1/2 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) F) (.f64 #s(literal 1/24 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) F)))))) (.f64 #s(literal -1/2 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) F))) (/.f64 (PI.f64) F))))
#s(approx (* (/ 1 F) (tan (* l (PI)))) (.f64 l (fma.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/6 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) F) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal 1/120 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) F) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/5040 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 7 binary64)) F)) (fma.f64 #s(literal -1/2 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal 1/120 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64))) (fma.f64 #s(literal -1/2 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (.f64 #s(literal 1/24 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64)))))) F) (fma.f64 #s(literal -1/720 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 7 binary64)) F) (.f64 #s(literal 1/24 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 4 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) F))))))) (fma.f64 #s(literal -1/2 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) F) (.f64 #s(literal 1/24 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) F)))))) (*.f64 #s(literal -1/2 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) F))) (/.f64 (PI.f64) F))))
#s(approx (tan (* l (PI))) (.f64 l (+.f64 (PI.f64) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))))))
#s(approx (tan (* l (PI))) (.f64 l (+.f64 (PI.f64) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64)) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (.f64 #s(literal 1/120 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64))) (fma.f64 #s(literal -1/2 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (.f64 #s(literal 1/24 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64))))))) (*.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))))))
#s(approx (tan (* l (PI))) (.f64 l (+.f64 (PI.f64) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64)) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal 1/120 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64)) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/5040 binary64) (pow.f64 (PI.f64) #s(literal 7 binary64))) (fma.f64 #s(literal -1/2 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal 1/120 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64))) (fma.f64 #s(literal -1/2 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (.f64 #s(literal 1/24 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64)))))) (fma.f64 #s(literal -1/720 binary64) (pow.f64 (PI.f64) #s(literal 7 binary64)) (.f64 #s(literal 1/24 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 4 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))))))))) (fma.f64 #s(literal -1/2 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (.f64 #s(literal 1/24 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64))))))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))))))
#s(approx (* l (/ (- (* (PI) (* F F)) (PI)) (* F F))) (/.f64 (.f64 l (-.f64 (.f64 (pow.f64 F #s(literal 2 binary64)) (PI.f64)) (PI.f64))) (pow.f64 F #s(literal 2 binary64))))
#s(approx (- (* (PI) l) (/ (* (/ 1 F) (tan (* l (PI)))) F)) (.f64 l (+.f64 (PI.f64) (.f64 #s(literal -1 binary64) (/.f64 (sin.f64 (.f64 l (PI.f64))) (.f64 (pow.f64 F #s(literal 2 binary64)) (.f64 l (cos.f64 (.f64 l (PI.f64))))))))))
#s(approx (tan (* l (PI))) (/.f64 (sin.f64 (.f64 l (PI.f64))) (cos.f64 (.f64 l (PI.f64)))))
#s(approx (- (* (PI) l) (/ (* (/ 1 F) (tan (* l (PI)))) F)) (.f64 #s(literal -1 binary64) (.f64 l (fma.f64 #s(literal -1 binary64) (PI.f64) (/.f64 (sin.f64 (.f64 l (PI.f64))) (.f64 (pow.f64 F #s(literal 2 binary64)) (.f64 l (cos.f64 (.f64 l (PI.f64))))))))))

Calls

6 calls:

Time	Variable	Point
6.0ms	l	0
4.0ms	F	0
4.0ms	F	-inf
4.0ms	F	inf
3.0ms	l	-inf

rewrite159.0ms (5.2%)

Memory

-2.7MiB live, 88.5MiB allocated; 12ms collecting garbage

Counts

28 → 104

Calls

Call 1

Inputs
(-.f64 (.f64 (PI.f64) l) (/.f64 (.f64 (/.f64 #s(literal 1 binary64) F) (tan.f64 (*.f64 l (PI.f64)))) F))
(*.f64 (PI.f64) l)
(PI.f64)
l
(/.f64 (.f64 (/.f64 #s(literal 1 binary64) F) (tan.f64 (.f64 l (PI.f64)))) F)
(.f64 (/.f64 #s(literal 1 binary64) F) (tan.f64 (.f64 l (PI.f64))))
(/.f64 #s(literal 1 binary64) F)
#s(literal 1 binary64)
F
(tan.f64 (*.f64 l (PI.f64)))
(*.f64 l (PI.f64))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (.f64 (-.f64 (PI.f64) (/.f64 (PI.f64) (.f64 F F))) l))
(.f64 (-.f64 (PI.f64) (/.f64 (PI.f64) (.f64 F F))) l)
(-.f64 (PI.f64) (/.f64 (PI.f64) (*.f64 F F)))
(/.f64 (PI.f64) (*.f64 F F))
(*.f64 F F)
(-.f64 (.f64 (PI.f64) l) #s(approx ( (/ (/ 1 F) F) (tan (* (PI) l))) (/.f64 (.f64 l (PI.f64)) (.f64 F F))))
#s(approx (* (/ (/ 1 F) F) (tan (* (PI) l))) (/.f64 (.f64 l (PI.f64)) (.f64 F F)))
(/.f64 (.f64 l (PI.f64)) (.f64 F F))
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (.f64 l (/.f64 (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64)) (.f64 F F))))
(.f64 l (/.f64 (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64)) (.f64 F F)))
(/.f64 (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64)) (*.f64 F F))
(-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64))
(.f64 (PI.f64) (.f64 F F))
(-.f64 (.f64 (PI.f64) l) #s(approx ( (/ 1 (* F F)) (tan (* (PI) l))) (.f64 (.f64 l (PI.f64)) (/.f64 #s(literal 1 binary64) (*.f64 F F)))))
#s(approx (* (/ 1 (* F F)) (tan (* (PI) l))) (.f64 (.f64 l (PI.f64)) (/.f64 #s(literal 1 binary64) (*.f64 F F))))
(.f64 (.f64 l (PI.f64)) (/.f64 #s(literal 1 binary64) (*.f64 F F)))
(/.f64 #s(literal 1 binary64) (*.f64 F F))

Outputs
(+.f64 (.f64 (PI.f64) l) (neg.f64 (.f64 (/.f64 #s(literal 1 binary64) (.f64 F F)) (tan.f64 (.f64 (PI.f64) l)))))
(+.f64 (.f64 (PI.f64) l) (.f64 (neg.f64 (/.f64 #s(literal 1 binary64) (.f64 F F))) (tan.f64 (.f64 (PI.f64) l))))
(-.f64 (.f64 (PI.f64) l) (.f64 (/.f64 #s(literal 1 binary64) (.f64 F F)) (tan.f64 (.f64 (PI.f64) l))))
(/.f64 (-.f64 (.f64 (.f64 (PI.f64) l) F) (.f64 (/.f64 #s(literal 1 binary64) F) (tan.f64 (.f64 (PI.f64) l)))) F)
(fma.f64 (PI.f64) l (neg.f64 (.f64 (/.f64 #s(literal 1 binary64) (.f64 F F)) (tan.f64 (*.f64 (PI.f64) l)))))
(fma.f64 l (PI.f64) (neg.f64 (.f64 (/.f64 #s(literal 1 binary64) (.f64 F F)) (tan.f64 (*.f64 (PI.f64) l)))))
(fma.f64 (PI.f64) l (.f64 (neg.f64 (/.f64 #s(literal 1 binary64) (.f64 F F))) (tan.f64 (*.f64 (PI.f64) l))))
(fma.f64 l (PI.f64) (.f64 (neg.f64 (/.f64 #s(literal 1 binary64) (.f64 F F))) (tan.f64 (*.f64 (PI.f64) l))))
(neg.f64 (-.f64 (.f64 (/.f64 #s(literal 1 binary64) (.f64 F F)) (tan.f64 (.f64 (PI.f64) l))) (.f64 (PI.f64) l)))
(*.f64 (PI.f64) l)
(*.f64 l (PI.f64))
(PI.f64)
l
(.f64 (/.f64 #s(literal 1 binary64) (.f64 F F)) (tan.f64 (*.f64 (PI.f64) l)))
(.f64 (tan.f64 (.f64 (PI.f64) l)) (/.f64 #s(literal 1 binary64) (*.f64 F F)))
(.f64 (.f64 (/.f64 #s(literal 1 binary64) F) (tan.f64 (*.f64 (PI.f64) l))) (/.f64 #s(literal 1 binary64) F))
(.f64 (/.f64 #s(literal 1 binary64) F) (/.f64 (tan.f64 (.f64 (PI.f64) l)) F))
(/.f64 (.f64 (/.f64 #s(literal 1 binary64) F) (tan.f64 (.f64 (PI.f64) l))) F)
(/.f64 (.f64 #s(literal 1 binary64) (tan.f64 (.f64 (PI.f64) l))) (*.f64 F F))
(/.f64 (neg.f64 (.f64 (/.f64 #s(literal 1 binary64) F) (tan.f64 (.f64 (PI.f64) l)))) (neg.f64 F))
(.f64 (/.f64 #s(literal 1 binary64) F) (tan.f64 (.f64 (PI.f64) l)))
(.f64 (tan.f64 (.f64 (PI.f64) l)) (/.f64 #s(literal 1 binary64) F))
(/.f64 (.f64 #s(literal 1 binary64) (tan.f64 (.f64 (PI.f64) l))) F)
(*.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) F))
(/.f64 #s(literal 1 binary64) F)
(/.f64 #s(literal -1 binary64) (neg.f64 F))
(pow.f64 F #s(literal -1 binary64))
#s(literal 1 binary64)
(cosh.f64 #s(literal 0 binary64))
(exp.f64 #s(literal 0 binary64))
F
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l)))
(tan.f64 (*.f64 (PI.f64) l))
(tan.f64 (fma.f64 (PI.f64) l (PI.f64)))
(*.f64 (PI.f64) l)
(*.f64 l (PI.f64))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (.f64 (-.f64 (PI.f64) (/.f64 (PI.f64) (.f64 F F))) l))
(.f64 (-.f64 (PI.f64) (/.f64 (PI.f64) (.f64 F F))) l)
(.f64 l (-.f64 (PI.f64) (/.f64 (PI.f64) (.f64 F F))))
(/.f64 (.f64 l (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64))) (.f64 F F))
(.f64 (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64)) (/.f64 #s(literal 1 binary64) (.f64 F F)))
(+.f64 (PI.f64) (neg.f64 (/.f64 (PI.f64) (*.f64 F F))))
(-.f64 (PI.f64) (/.f64 (PI.f64) (*.f64 F F)))
(-.f64 (/.f64 (.f64 (PI.f64) (.f64 F F)) (.f64 F F)) (/.f64 (PI.f64) (.f64 F F)))
(/.f64 (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64)) (*.f64 F F))
(/.f64 (/.f64 (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64)) F) F)
(/.f64 (neg.f64 (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64))) (neg.f64 (*.f64 F F)))
(neg.f64 (-.f64 (/.f64 (PI.f64) (*.f64 F F)) (PI.f64)))
(.f64 (PI.f64) (/.f64 #s(literal 1 binary64) (.f64 F F)))
(/.f64 (PI.f64) (*.f64 F F))
(/.f64 (/.f64 (PI.f64) F) F)
(/.f64 (neg.f64 (PI.f64)) (neg.f64 (*.f64 F F)))
(*.f64 F F)
(*.f64 (fabs.f64 F) (fabs.f64 F))
(*.f64 (neg.f64 F) (neg.f64 F))
(pow.f64 F #s(literal 2 binary64))
(-.f64 (.f64 (PI.f64) l) #s(approx ( (/ (/ 1 F) F) (tan (* (PI) l))) (/.f64 (.f64 (PI.f64) l) (.f64 F F))))
#s(approx (* (/ (/ 1 F) F) (tan (* (PI) l))) (/.f64 (.f64 (PI.f64) l) (.f64 F F)))
(*.f64 (/.f64 l F) (/.f64 (PI.f64) F))
(.f64 (.f64 (PI.f64) l) (/.f64 #s(literal 1 binary64) (*.f64 F F)))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 F F)) (*.f64 (PI.f64) l))
(.f64 l (/.f64 (PI.f64) (.f64 F F)))
(/.f64 (.f64 (PI.f64) l) (.f64 F F))
(/.f64 (.f64 (.f64 (PI.f64) l) #s(literal 1 binary64)) (*.f64 F F))
(/.f64 (/.f64 (*.f64 (PI.f64) l) F) F)
(/.f64 (neg.f64 (.f64 (PI.f64) l)) (neg.f64 (.f64 F F)))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (.f64 (-.f64 (PI.f64) (/.f64 (PI.f64) (.f64 F F))) l))
(.f64 (-.f64 (PI.f64) (/.f64 (PI.f64) (.f64 F F))) l)
(.f64 l (-.f64 (PI.f64) (/.f64 (PI.f64) (.f64 F F))))
(/.f64 (.f64 l (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64))) (.f64 F F))
(.f64 (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64)) (/.f64 #s(literal 1 binary64) (.f64 F F)))
(+.f64 (PI.f64) (neg.f64 (/.f64 (PI.f64) (*.f64 F F))))
(-.f64 (PI.f64) (/.f64 (PI.f64) (*.f64 F F)))
(-.f64 (/.f64 (.f64 (PI.f64) (.f64 F F)) (.f64 F F)) (/.f64 (PI.f64) (.f64 F F)))
(/.f64 (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64)) (*.f64 F F))
(/.f64 (/.f64 (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64)) F) F)
(/.f64 (neg.f64 (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64))) (neg.f64 (*.f64 F F)))
(neg.f64 (-.f64 (/.f64 (PI.f64) (*.f64 F F)) (PI.f64)))
(+.f64 (.f64 (PI.f64) (.f64 F F)) (neg.f64 (PI.f64)))
(-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64))
(fma.f64 (*.f64 (PI.f64) F) F (neg.f64 (PI.f64)))
(fma.f64 (*.f64 F F) (PI.f64) (neg.f64 (PI.f64)))
(fma.f64 (PI.f64) (*.f64 F F) (neg.f64 (PI.f64)))
(neg.f64 (-.f64 (PI.f64) (.f64 (PI.f64) (.f64 F F))))
(.f64 (PI.f64) (.f64 F F))
(.f64 (.f64 F F) (PI.f64))
(.f64 (.f64 (PI.f64) F) F)
(-.f64 (.f64 (PI.f64) l) #s(approx ( (/ (/ 1 F) F) (tan (* (PI) l))) (/.f64 (.f64 (PI.f64) l) (.f64 F F))))
#s(approx (* (/ (/ 1 F) F) (tan (* (PI) l))) (/.f64 (.f64 (PI.f64) l) (.f64 F F)))
(*.f64 (/.f64 l F) (/.f64 (PI.f64) F))
(.f64 (.f64 (PI.f64) l) (/.f64 #s(literal 1 binary64) (*.f64 F F)))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 F F)) (*.f64 (PI.f64) l))
(.f64 l (/.f64 (PI.f64) (.f64 F F)))
(/.f64 (.f64 (PI.f64) l) (.f64 F F))
(/.f64 (.f64 (.f64 (PI.f64) l) #s(literal 1 binary64)) (*.f64 F F))
(/.f64 (/.f64 (*.f64 (PI.f64) l) F) F)
(/.f64 (neg.f64 (.f64 (PI.f64) l)) (neg.f64 (.f64 F F)))
(*.f64 (/.f64 #s(literal 1 binary64) F) (/.f64 #s(literal 1 binary64) F))
(.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 F F)))
(/.f64 #s(literal 1 binary64) (*.f64 F F))
(/.f64 (/.f64 #s(literal 1 binary64) F) F)
(/.f64 (neg.f64 (/.f64 #s(literal 1 binary64) F)) (neg.f64 F))
(/.f64 #s(literal -1 binary64) (neg.f64 (*.f64 F F)))
(pow.f64 (*.f64 F F) #s(literal -1 binary64))

eval15.0ms (0.5%)

Memory: 19.8MiB live, 19.8MiB allocated; 0ms collecting garbage
Compiler: Compiled 4 084 to 652 computations (84% saved)

prune10.0ms (0.3%)

Memory

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

Pruning

16 alts after pruning (9 fresh and 7 done)

	Pruned	Kept	Total
New	122	9	131
Fresh	0	0	0
Picked	0	5	5
Done	0	2	2
Total	122	16	138

Accuracy

99.2%

Counts

138 → 16

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	70.8%	(/.f64 (-.f64 (.f64 (.f64 (PI.f64) l) F) (.f64 (/.f64 #s(literal 1 binary64) F) (tan.f64 (.f64 (PI.f64) l)))) F)
✓	83.6%	(-.f64 (.f64 (PI.f64) l) (/.f64 (.f64 (/.f64 #s(literal 1 binary64) F) (tan.f64 (*.f64 l (PI.f64)))) F))
▶	78.4%	(-.f64 (.f64 (PI.f64) l) (/.f64 #s(approx ( (/ 1 F) (tan (* l (PI)))) (/.f64 (*.f64 l (PI.f64)) F)) F))
	63.2%	(-.f64 (.f64 (PI.f64) l) (/.f64 #s(approx ( (/ 1 F) (tan (* l (PI)))) (.f64 l (fma.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) F)) (*.f64 #s(literal -1/2 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) F))) (/.f64 (PI.f64) F)))) F))
✓	78.1%	(-.f64 (.f64 (PI.f64) l) (.f64 (/.f64 #s(literal 1 binary64) (.f64 F F)) (tan.f64 (.f64 (PI.f64) l))))
▶	83.6%	(-.f64 (.f64 (PI.f64) l) (.f64 (/.f64 #s(literal 1 binary64) F) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)))
✓	73.4%	(-.f64 (.f64 (PI.f64) l) #s(approx ( (/ (/ 1 F) F) (tan (* (PI) l))) (/.f64 (.f64 l (PI.f64)) (.f64 F F))))
	78.4%	(-.f64 (.f64 (PI.f64) l) #s(approx ( (/ (/ 1 F) F) (tan (* (PI) l))) (*.f64 (/.f64 l F) (/.f64 (PI.f64) F))))
✓	72.9%	(-.f64 (.f64 (PI.f64) l) #s(approx ( (/ 1 (* F F)) (tan (* (PI) l))) (.f64 (.f64 l (PI.f64)) (/.f64 #s(literal 1 binary64) (*.f64 F F)))))
▶	41.1%	#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (/.f64 (.f64 l (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64))) (.f64 F F)))
▶	72.9%	#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (*.f64 (-.f64 (PI.f64) (/.f64 (/.f64 (PI.f64) F) F)) l))
✓	72.9%	#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (.f64 (-.f64 (PI.f64) (/.f64 (PI.f64) (.f64 F F))) l))
	47.1%	#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (.f64 (.f64 (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64)) (/.f64 #s(literal 1 binary64) (*.f64 F F))) l))
	47.1%	#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (.f64 l (/.f64 (-.f64 (.f64 (.f64 (PI.f64) F) F) (PI.f64)) (.f64 F F))))
✓	47.2%	#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (.f64 l (/.f64 (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64)) (.f64 F F))))
✓	71.8%	#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (*.f64 l (PI.f64)))

Compiler

Compiled 586 to 397 computations (32.3% saved)

series191.0ms (6.3%)

Memory

-5.8MiB live, 220.0MiB allocated; 57ms collecting garbage

Counts

30 → 60

Calls

Call 1

Inputs
(-.f64 (.f64 (PI.f64) l) (.f64 (/.f64 #s(literal 1 binary64) F) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)))
(*.f64 (PI.f64) l)
(PI.f64)
l
(.f64 (/.f64 #s(literal 1 binary64) F) (/.f64 (tan.f64 (.f64 (PI.f64) l)) F))
(/.f64 #s(literal 1 binary64) F)
#s(literal 1 binary64)
F
(/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)
(tan.f64 (*.f64 (PI.f64) l))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (*.f64 (-.f64 (PI.f64) (/.f64 (/.f64 (PI.f64) F) F)) l))
(*.f64 (-.f64 (PI.f64) (/.f64 (/.f64 (PI.f64) F) F)) l)
(-.f64 (PI.f64) (/.f64 (/.f64 (PI.f64) F) F))
(/.f64 (/.f64 (PI.f64) F) F)
(/.f64 (PI.f64) F)
(-.f64 (.f64 (PI.f64) l) (/.f64 #s(approx ( (/ 1 F) (tan (* l (PI)))) (/.f64 (*.f64 l (PI.f64)) F)) F))
(/.f64 #s(approx (* (/ 1 F) (tan (* l (PI)))) (/.f64 (*.f64 l (PI.f64)) F)) F)
#s(approx (* (/ 1 F) (tan (* l (PI)))) (/.f64 (*.f64 l (PI.f64)) F))
(/.f64 (*.f64 l (PI.f64)) F)
(*.f64 l (PI.f64))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (/.f64 (.f64 l (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64))) (.f64 F F)))
(/.f64 (.f64 l (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64))) (.f64 F F))
(.f64 l (-.f64 (.f64 (PI.f64) (*.f64 F F)) (PI.f64)))
(-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64))
(.f64 (PI.f64) (.f64 F F))
(*.f64 F F)
(/.f64 (-.f64 (.f64 (.f64 (PI.f64) l) F) (.f64 (/.f64 #s(literal 1 binary64) F) (tan.f64 (.f64 (PI.f64) l)))) F)
(-.f64 (.f64 (.f64 (PI.f64) l) F) (.f64 (/.f64 #s(literal 1 binary64) F) (tan.f64 (.f64 (PI.f64) l))))
(.f64 (.f64 (PI.f64) l) F)
(.f64 (/.f64 #s(literal 1 binary64) F) (tan.f64 (.f64 (PI.f64) l)))

Outputs
#s(approx (- (* (PI) l) (* (/ 1 F) (/ (tan (* (PI) l)) F))) (.f64 #s(literal -1 binary64) (/.f64 (sin.f64 (.f64 l (PI.f64))) (.f64 (pow.f64 F #s(literal 2 binary64)) (cos.f64 (.f64 l (PI.f64)))))))
#s(approx (- (* (PI) l) (* (/ 1 F) (/ (tan (* (PI) l)) F))) (/.f64 (-.f64 (.f64 (pow.f64 F #s(literal 2 binary64)) (.f64 l (PI.f64))) (/.f64 (sin.f64 (.f64 l (PI.f64))) (cos.f64 (.f64 l (PI.f64))))) (pow.f64 F #s(literal 2 binary64))))
#s(approx (* (/ 1 F) (/ (tan (* (PI) l)) F)) (/.f64 (sin.f64 (.f64 l (PI.f64))) (.f64 (pow.f64 F #s(literal 2 binary64)) (cos.f64 (*.f64 l (PI.f64))))))
#s(approx (/ 1 F) (/.f64 #s(literal 1 binary64) F))
#s(approx F F)
#s(approx (/ (tan (* (PI) l)) F) (/.f64 (sin.f64 (.f64 l (PI.f64))) (.f64 F (cos.f64 (*.f64 l (PI.f64))))))
#s(approx (* (- (PI) (/ (/ (PI) F) F)) l) (.f64 #s(literal -1 binary64) (/.f64 (.f64 l (PI.f64)) (pow.f64 F #s(literal 2 binary64)))))
#s(approx (* (- (PI) (/ (/ (PI) F) F)) l) (/.f64 (fma.f64 #s(literal -1 binary64) (.f64 l (PI.f64)) (.f64 (pow.f64 F #s(literal 2 binary64)) (*.f64 l (PI.f64)))) (pow.f64 F #s(literal 2 binary64))))
#s(approx (- (PI) (/ (/ (PI) F) F)) (*.f64 #s(literal -1 binary64) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64)))))
#s(approx (- (PI) (/ (/ (PI) F) F)) (/.f64 (-.f64 (*.f64 (pow.f64 F #s(literal 2 binary64)) (PI.f64)) (PI.f64)) (pow.f64 F #s(literal 2 binary64))))
#s(approx (/ (/ (PI) F) F) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))
#s(approx (/ (PI) F) (/.f64 (PI.f64) F))
#s(approx (/ (* l (PI)) F) (/.f64 (*.f64 l (PI.f64)) F))
#s(approx (* l (- (* (PI) (* F F)) (PI))) (.f64 #s(literal -1 binary64) (.f64 l (PI.f64))))
#s(approx (* l (- (* (PI) (* F F)) (PI))) (fma.f64 #s(literal -1 binary64) (.f64 l (PI.f64)) (.f64 (pow.f64 F #s(literal 2 binary64)) (*.f64 l (PI.f64)))))
#s(approx (- (* (PI) (* F F)) (PI)) (*.f64 #s(literal -1 binary64) (PI.f64)))
#s(approx (- (* (PI) (* F F)) (PI)) (-.f64 (*.f64 (pow.f64 F #s(literal 2 binary64)) (PI.f64)) (PI.f64)))
#s(approx (* (PI) (* F F)) (*.f64 (pow.f64 F #s(literal 2 binary64)) (PI.f64)))
#s(approx (* F F) (pow.f64 F #s(literal 2 binary64)))
#s(approx (/ (- (* (* (PI) l) F) (* (/ 1 F) (tan (* (PI) l)))) F) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (sin.f64 (.f64 l (PI.f64))) (cos.f64 (.f64 l (PI.f64)))) (.f64 (pow.f64 F #s(literal 2 binary64)) (.f64 l (PI.f64)))) (pow.f64 F #s(literal 2 binary64))))
#s(approx (- (* (* (PI) l) F) (* (/ 1 F) (tan (* (PI) l)))) (.f64 #s(literal -1 binary64) (/.f64 (sin.f64 (.f64 l (PI.f64))) (.f64 F (cos.f64 (.f64 l (PI.f64)))))))
#s(approx (- (* (* (PI) l) F) (* (/ 1 F) (tan (* (PI) l)))) (/.f64 (-.f64 (.f64 (pow.f64 F #s(literal 2 binary64)) (.f64 l (PI.f64))) (/.f64 (sin.f64 (.f64 l (PI.f64))) (cos.f64 (.f64 l (PI.f64))))) F))
#s(approx (* (* (PI) l) F) (.f64 F (.f64 l (PI.f64))))
#s(approx (- (* (PI) l) (* (/ 1 F) (/ (tan (* (PI) l)) F))) (*.f64 l (PI.f64)))
#s(approx (- (* (PI) l) (* (/ 1 F) (/ (tan (* (PI) l)) F))) (fma.f64 #s(literal -1 binary64) (/.f64 (sin.f64 (.f64 l (PI.f64))) (.f64 (pow.f64 F #s(literal 2 binary64)) (cos.f64 (.f64 l (PI.f64))))) (.f64 l (PI.f64))))
#s(approx (* (- (PI) (/ (/ (PI) F) F)) l) (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 l (PI.f64)) (pow.f64 F #s(literal 2 binary64))) (.f64 l (PI.f64))))
#s(approx (- (PI) (/ (/ (PI) F) F)) (PI.f64))
#s(approx (- (PI) (/ (/ (PI) F) F)) (+.f64 (PI.f64) (*.f64 #s(literal -1 binary64) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))))
#s(approx (* l (- (* (PI) (* F F)) (PI))) (.f64 (pow.f64 F #s(literal 2 binary64)) (.f64 l (PI.f64))))
#s(approx (* l (- (* (PI) (* F F)) (PI))) (.f64 (pow.f64 F #s(literal 2 binary64)) (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 l (PI.f64)) (pow.f64 F #s(literal 2 binary64))) (*.f64 l (PI.f64)))))
#s(approx (- (* (PI) (* F F)) (PI)) (.f64 (pow.f64 F #s(literal 2 binary64)) (+.f64 (PI.f64) (.f64 #s(literal -1 binary64) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64)))))))
#s(approx (- (* (* (PI) l) F) (* (/ 1 F) (tan (* (PI) l)))) (.f64 F (fma.f64 #s(literal -1 binary64) (/.f64 (sin.f64 (.f64 l (PI.f64))) (.f64 (pow.f64 F #s(literal 2 binary64)) (cos.f64 (.f64 l (PI.f64))))) (*.f64 l (PI.f64)))))
#s(approx (- (* (* (PI) l) F) (* (/ 1 F) (tan (* (PI) l)))) (.f64 #s(literal -1 binary64) (.f64 F (fma.f64 #s(literal -1 binary64) (.f64 l (PI.f64)) (/.f64 (sin.f64 (.f64 l (PI.f64))) (.f64 (pow.f64 F #s(literal 2 binary64)) (cos.f64 (.f64 l (PI.f64)))))))))
#s(approx (- (* (PI) l) (* (/ 1 F) (/ (tan (* (PI) l)) F))) (*.f64 l (-.f64 (PI.f64) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))))
#s(approx (- (* (PI) l) (* (/ 1 F) (/ (tan (* (PI) l)) F))) (.f64 l (-.f64 (+.f64 (PI.f64) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/2 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64)))) (.f64 #s(literal -1/6 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64))))))) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))))
#s(approx (- (* (PI) l) (* (/ 1 F) (/ (tan (* (PI) l)) F))) (.f64 l (-.f64 (+.f64 (PI.f64) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/2 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64))) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/2 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (pow.f64 F #s(literal 2 binary64))) (.f64 #s(literal 1/24 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) (pow.f64 F #s(literal 2 binary64))))) (.f64 #s(literal 1/120 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) (pow.f64 F #s(literal 2 binary64))))))) (*.f64 #s(literal -1/6 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64))))))) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))))
#s(approx (- (* (PI) l) (* (/ 1 F) (/ (tan (* (PI) l)) F))) (.f64 l (-.f64 (+.f64 (PI.f64) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/2 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64))) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/2 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (pow.f64 F #s(literal 2 binary64))) (fma.f64 #s(literal 1/24 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) (pow.f64 F #s(literal 2 binary64))) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/2 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal 1/120 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64))) (fma.f64 #s(literal -1/2 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (.f64 #s(literal 1/24 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64)))))) (pow.f64 F #s(literal 2 binary64))) (fma.f64 #s(literal -1/720 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 7 binary64)) (pow.f64 F #s(literal 2 binary64))) (.f64 #s(literal 1/24 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 4 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (pow.f64 F #s(literal 2 binary64)))))) (.f64 #s(literal -1/5040 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 7 binary64)) (pow.f64 F #s(literal 2 binary64)))))))) (.f64 #s(literal 1/120 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) (pow.f64 F #s(literal 2 binary64))))))) (.f64 #s(literal -1/6 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64))))))) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))))
#s(approx l l)
#s(approx (* (/ 1 F) (/ (tan (* (PI) l)) F)) (/.f64 (*.f64 l (PI.f64)) (pow.f64 F #s(literal 2 binary64))))
#s(approx (* (/ 1 F) (/ (tan (* (PI) l)) F)) (.f64 l (fma.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64)))) (*.f64 #s(literal -1/2 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64))))) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))))
#s(approx (* (/ 1 F) (/ (tan (* (PI) l)) F)) (.f64 l (fma.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/6 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64))) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (.f64 #s(literal 1/120 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) (pow.f64 F #s(literal 2 binary64)))) (fma.f64 #s(literal -1/2 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (pow.f64 F #s(literal 2 binary64))) (.f64 #s(literal 1/24 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) (pow.f64 F #s(literal 2 binary64)))))))) (.f64 #s(literal -1/2 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64))))) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))))
#s(approx (* (/ 1 F) (/ (tan (* (PI) l)) F)) (.f64 l (fma.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/6 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64))) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal 1/120 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) (pow.f64 F #s(literal 2 binary64))) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/5040 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 7 binary64)) (pow.f64 F #s(literal 2 binary64)))) (fma.f64 #s(literal -1/2 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal 1/120 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64))) (fma.f64 #s(literal -1/2 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (.f64 #s(literal 1/24 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64)))))) (pow.f64 F #s(literal 2 binary64))) (fma.f64 #s(literal -1/720 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 7 binary64)) (pow.f64 F #s(literal 2 binary64))) (.f64 #s(literal 1/24 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 4 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (pow.f64 F #s(literal 2 binary64))))))))) (fma.f64 #s(literal -1/2 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (pow.f64 F #s(literal 2 binary64))) (.f64 #s(literal 1/24 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) (pow.f64 F #s(literal 2 binary64)))))))) (*.f64 #s(literal -1/2 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 F #s(literal 2 binary64))))) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))))
#s(approx (/ (tan (* (PI) l)) F) (.f64 l (fma.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) F)) (*.f64 #s(literal -1/2 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) F))) (/.f64 (PI.f64) F))))
#s(approx (/ (tan (* (PI) l)) F) (.f64 l (fma.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/6 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) F) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (.f64 #s(literal 1/120 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) F)) (fma.f64 #s(literal -1/2 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) F) (.f64 #s(literal 1/24 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) F)))))) (.f64 #s(literal -1/2 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) F))) (/.f64 (PI.f64) F))))
#s(approx (/ (tan (* (PI) l)) F) (.f64 l (fma.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/6 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) F) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal 1/120 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) F) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/5040 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 7 binary64)) F)) (fma.f64 #s(literal -1/2 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal 1/120 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64))) (fma.f64 #s(literal -1/2 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (.f64 #s(literal 1/24 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64)))))) F) (fma.f64 #s(literal -1/720 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 7 binary64)) F) (.f64 #s(literal 1/24 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 4 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) F))))))) (fma.f64 #s(literal -1/2 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) F) (.f64 #s(literal 1/24 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) F)))))) (*.f64 #s(literal -1/2 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) F))) (/.f64 (PI.f64) F))))
#s(approx (tan (* (PI) l)) (.f64 l (+.f64 (PI.f64) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))))))
#s(approx (tan (* (PI) l)) (.f64 l (+.f64 (PI.f64) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64)) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (.f64 #s(literal 1/120 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64))) (fma.f64 #s(literal -1/2 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (.f64 #s(literal 1/24 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64))))))) (*.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))))))
#s(approx (tan (* (PI) l)) (.f64 l (+.f64 (PI.f64) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64)) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal 1/120 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64)) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/5040 binary64) (pow.f64 (PI.f64) #s(literal 7 binary64))) (fma.f64 #s(literal -1/2 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal 1/120 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64))) (fma.f64 #s(literal -1/2 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (.f64 #s(literal 1/24 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64)))))) (fma.f64 #s(literal -1/720 binary64) (pow.f64 (PI.f64) #s(literal 7 binary64)) (.f64 #s(literal 1/24 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 4 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))))))))) (fma.f64 #s(literal -1/2 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (.f64 #s(literal 1/24 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64))))))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))))))
#s(approx (/ (* l (- (* (PI) (* F F)) (PI))) (* F F)) (/.f64 (.f64 l (-.f64 (.f64 (pow.f64 F #s(literal 2 binary64)) (PI.f64)) (PI.f64))) (pow.f64 F #s(literal 2 binary64))))
#s(approx (* l (- (* (PI) (* F F)) (PI))) (.f64 l (-.f64 (.f64 (pow.f64 F #s(literal 2 binary64)) (PI.f64)) (PI.f64))))
#s(approx (/ (- (* (* (PI) l) F) (* (/ 1 F) (tan (* (PI) l)))) F) (/.f64 (.f64 l (-.f64 (.f64 F (PI.f64)) (/.f64 (PI.f64) F))) F))
#s(approx (- (* (* (PI) l) F) (* (/ 1 F) (tan (* (PI) l)))) (.f64 l (-.f64 (.f64 F (PI.f64)) (/.f64 (PI.f64) F))))
#s(approx (- (* (* (PI) l) F) (* (/ 1 F) (tan (* (PI) l)))) (.f64 l (-.f64 (fma.f64 F (PI.f64) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/2 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) F)) (.f64 #s(literal -1/6 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) F))))) (/.f64 (PI.f64) F))))
#s(approx (- (* (* (PI) l) F) (* (/ 1 F) (tan (* (PI) l)))) (.f64 l (-.f64 (fma.f64 F (PI.f64) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/2 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) F) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/2 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) F) (.f64 #s(literal 1/24 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) F))) (.f64 #s(literal 1/120 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) F))))) (*.f64 #s(literal -1/6 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) F))))) (/.f64 (PI.f64) F))))
#s(approx (- (* (* (PI) l) F) (* (/ 1 F) (tan (* (PI) l)))) (.f64 l (-.f64 (fma.f64 F (PI.f64) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/2 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) F) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/2 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) F) (fma.f64 #s(literal 1/24 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) F) (.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1/2 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal 1/120 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64))) (fma.f64 #s(literal -1/2 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (.f64 #s(literal 1/24 binary64) (pow.f64 (PI.f64) #s(literal 5 binary64)))))) F) (fma.f64 #s(literal -1/720 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 7 binary64)) F) (.f64 #s(literal 1/24 binary64) (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 4 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 #s(literal -1/2 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) F)))) (.f64 #s(literal -1/5040 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 7 binary64)) F)))))) (.f64 #s(literal 1/120 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) F))))) (.f64 #s(literal -1/6 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) F))))) (/.f64 (PI.f64) F))))
#s(approx (- (* (PI) l) (* (/ 1 F) (/ (tan (* (PI) l)) F))) (.f64 l (+.f64 (PI.f64) (.f64 #s(literal -1 binary64) (/.f64 (sin.f64 (.f64 l (PI.f64))) (.f64 (pow.f64 F #s(literal 2 binary64)) (.f64 l (cos.f64 (.f64 l (PI.f64))))))))))
#s(approx (tan (* (PI) l)) (/.f64 (sin.f64 (.f64 l (PI.f64))) (cos.f64 (.f64 l (PI.f64)))))
#s(approx (- (* (* (PI) l) F) (* (/ 1 F) (tan (* (PI) l)))) (.f64 l (fma.f64 #s(literal -1 binary64) (/.f64 (sin.f64 (.f64 l (PI.f64))) (.f64 F (.f64 l (cos.f64 (.f64 l (PI.f64)))))) (.f64 F (PI.f64)))))
#s(approx (- (* (PI) l) (* (/ 1 F) (/ (tan (* (PI) l)) F))) (.f64 #s(literal -1 binary64) (.f64 l (fma.f64 #s(literal -1 binary64) (PI.f64) (/.f64 (sin.f64 (.f64 l (PI.f64))) (.f64 (pow.f64 F #s(literal 2 binary64)) (.f64 l (cos.f64 (.f64 l (PI.f64))))))))))
#s(approx (- (* (* (PI) l) F) (* (/ 1 F) (tan (* (PI) l)))) (.f64 #s(literal -1 binary64) (.f64 l (fma.f64 #s(literal -1 binary64) (.f64 F (PI.f64)) (/.f64 (sin.f64 (.f64 l (PI.f64))) (.f64 F (.f64 l (cos.f64 (*.f64 l (PI.f64))))))))))

Calls

6 calls:

Time	Variable	Point
6.0ms	F	inf
5.0ms	F	0
5.0ms	F	-inf
4.0ms	l	-inf
4.0ms	l	inf

rewrite199.0ms (6.6%)

Memory

23.9MiB live, 209.9MiB allocated; 55ms collecting garbage

Counts

30 → 121

Calls

Call 1

Inputs
(-.f64 (.f64 (PI.f64) l) (.f64 (/.f64 #s(literal 1 binary64) F) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)))
(*.f64 (PI.f64) l)
(PI.f64)
l
(.f64 (/.f64 #s(literal 1 binary64) F) (/.f64 (tan.f64 (.f64 (PI.f64) l)) F))
(/.f64 #s(literal 1 binary64) F)
#s(literal 1 binary64)
F
(/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)
(tan.f64 (*.f64 (PI.f64) l))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (*.f64 (-.f64 (PI.f64) (/.f64 (/.f64 (PI.f64) F) F)) l))
(*.f64 (-.f64 (PI.f64) (/.f64 (/.f64 (PI.f64) F) F)) l)
(-.f64 (PI.f64) (/.f64 (/.f64 (PI.f64) F) F))
(/.f64 (/.f64 (PI.f64) F) F)
(/.f64 (PI.f64) F)
(-.f64 (.f64 (PI.f64) l) (/.f64 #s(approx ( (/ 1 F) (tan (* l (PI)))) (/.f64 (*.f64 l (PI.f64)) F)) F))
(/.f64 #s(approx (* (/ 1 F) (tan (* l (PI)))) (/.f64 (*.f64 l (PI.f64)) F)) F)
#s(approx (* (/ 1 F) (tan (* l (PI)))) (/.f64 (*.f64 l (PI.f64)) F))
(/.f64 (*.f64 l (PI.f64)) F)
(*.f64 l (PI.f64))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (/.f64 (.f64 l (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64))) (.f64 F F)))
(/.f64 (.f64 l (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64))) (.f64 F F))
(.f64 l (-.f64 (.f64 (PI.f64) (*.f64 F F)) (PI.f64)))
(-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64))
(.f64 (PI.f64) (.f64 F F))
(*.f64 F F)
(/.f64 (-.f64 (.f64 (.f64 (PI.f64) l) F) (.f64 (/.f64 #s(literal 1 binary64) F) (tan.f64 (.f64 (PI.f64) l)))) F)
(-.f64 (.f64 (.f64 (PI.f64) l) F) (.f64 (/.f64 #s(literal 1 binary64) F) (tan.f64 (.f64 (PI.f64) l))))
(.f64 (.f64 (PI.f64) l) F)
(.f64 (/.f64 #s(literal 1 binary64) F) (tan.f64 (.f64 (PI.f64) l)))

Outputs
(.f64 (-.f64 (.f64 (.f64 (PI.f64) l) F) (/.f64 (tan.f64 (.f64 (PI.f64) l)) F)) (/.f64 #s(literal 1 binary64) F))
(+.f64 (.f64 (PI.f64) l) (neg.f64 (/.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F) F)))
(+.f64 (.f64 (PI.f64) l) (.f64 (neg.f64 (/.f64 #s(literal 1 binary64) F)) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)))
(+.f64 (.f64 (PI.f64) l) (.f64 (neg.f64 (/.f64 #s(literal 1 binary64) (.f64 F F))) (tan.f64 (.f64 (PI.f64) l))))
(-.f64 (.f64 (PI.f64) l) (/.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F) F))
(-.f64 (/.f64 (.f64 (.f64 (PI.f64) l) F) F) (/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F))
(/.f64 (-.f64 (.f64 (.f64 (PI.f64) l) F) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)) F)
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 (PI.f64) l) F) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F))) (neg.f64 F))
(fma.f64 (PI.f64) l (neg.f64 (/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F)))
(fma.f64 l (PI.f64) (neg.f64 (/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F)))
(fma.f64 (PI.f64) l (.f64 (neg.f64 (/.f64 #s(literal 1 binary64) F)) (/.f64 (tan.f64 (.f64 (PI.f64) l)) F)))
(fma.f64 l (PI.f64) (.f64 (neg.f64 (/.f64 #s(literal 1 binary64) F)) (/.f64 (tan.f64 (.f64 (PI.f64) l)) F)))
(fma.f64 (PI.f64) l (.f64 (neg.f64 (/.f64 #s(literal 1 binary64) (.f64 F F))) (tan.f64 (*.f64 (PI.f64) l))))
(fma.f64 l (PI.f64) (.f64 (neg.f64 (/.f64 #s(literal 1 binary64) (.f64 F F))) (tan.f64 (*.f64 (PI.f64) l))))
(neg.f64 (-.f64 (/.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F) F) (.f64 (PI.f64) l)))
(*.f64 (PI.f64) l)
(*.f64 l (PI.f64))
(PI.f64)
l
(.f64 (/.f64 #s(literal 1 binary64) (.f64 F F)) (tan.f64 (*.f64 (PI.f64) l)))
(.f64 (tan.f64 (.f64 (PI.f64) l)) (/.f64 #s(literal 1 binary64) (*.f64 F F)))
(.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F) (/.f64 #s(literal 1 binary64) F))
(.f64 (/.f64 #s(literal 1 binary64) F) (/.f64 (tan.f64 (.f64 (PI.f64) l)) F))
(/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F)
(/.f64 (.f64 #s(literal 1 binary64) (tan.f64 (.f64 (PI.f64) l))) (*.f64 F F))
(/.f64 (.f64 #s(literal 1 binary64) (/.f64 (tan.f64 (.f64 (PI.f64) l)) F)) F)
(/.f64 (neg.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)) (neg.f64 F))
(*.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) F))
(/.f64 #s(literal 1 binary64) F)
(/.f64 #s(literal -1 binary64) (neg.f64 F))
(pow.f64 F #s(literal -1 binary64))
#s(literal 1 binary64)
(cosh.f64 #s(literal 0 binary64))
(exp.f64 #s(literal 0 binary64))
F
(.f64 (/.f64 #s(literal 1 binary64) F) (tan.f64 (.f64 (PI.f64) l)))
(.f64 (tan.f64 (.f64 (PI.f64) l)) (/.f64 #s(literal 1 binary64) F))
(/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)
(/.f64 (.f64 #s(literal 1 binary64) (tan.f64 (.f64 (PI.f64) l))) F)
(/.f64 (neg.f64 (tan.f64 (*.f64 (PI.f64) l))) (neg.f64 F))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l)))
(tan.f64 (*.f64 (PI.f64) l))
(tan.f64 (fma.f64 (PI.f64) l (PI.f64)))
#s(approx (- (* (PI) l) (/ (/ (tan (* (PI) l)) F) F)) (.f64 (-.f64 (PI.f64) (/.f64 (PI.f64) (.f64 F F))) l))
(.f64 (-.f64 (PI.f64) (/.f64 (PI.f64) (.f64 F F))) l)
(.f64 l (-.f64 (PI.f64) (/.f64 (PI.f64) (.f64 F F))))
(+.f64 (PI.f64) (neg.f64 (/.f64 (PI.f64) (*.f64 F F))))
(-.f64 (PI.f64) (/.f64 (PI.f64) (*.f64 F F)))
(/.f64 (-.f64 (*.f64 (PI.f64) F) (/.f64 (PI.f64) F)) F)
(neg.f64 (-.f64 (/.f64 (PI.f64) (*.f64 F F)) (PI.f64)))
(*.f64 (/.f64 (PI.f64) F) (/.f64 #s(literal 1 binary64) F))
(/.f64 (/.f64 (PI.f64) F) F)
(/.f64 (PI.f64) (*.f64 F F))
(/.f64 (neg.f64 (/.f64 (PI.f64) F)) (neg.f64 F))
(*.f64 (PI.f64) (/.f64 #s(literal 1 binary64) F))
(/.f64 (PI.f64) F)
(/.f64 (neg.f64 (PI.f64)) (neg.f64 F))
(-.f64 (.f64 (PI.f64) l) (/.f64 #s(approx (/ (tan ( (PI) l)) F) (/.f64 (*.f64 (PI.f64) l) F)) F))
(/.f64 #s(approx (/ (tan (* (PI) l)) F) (/.f64 (*.f64 (PI.f64) l) F)) F)
#s(approx (/ (tan (* (PI) l)) F) (/.f64 (*.f64 (PI.f64) l) F))
(.f64 (.f64 (PI.f64) l) (/.f64 #s(literal 1 binary64) F))
(*.f64 l (/.f64 (PI.f64) F))
(/.f64 (*.f64 (PI.f64) l) F)
(/.f64 (neg.f64 (*.f64 (PI.f64) l)) (neg.f64 F))
(*.f64 (PI.f64) l)
(*.f64 l (PI.f64))
#s(approx (- (* (PI) l) (/ (/ (tan (* (PI) l)) F) F)) (.f64 l (/.f64 (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64)) (.f64 F F))))
(.f64 (.f64 l (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64))) (/.f64 #s(literal 1 binary64) (*.f64 F F)))
(.f64 (/.f64 l F) (/.f64 (-.f64 (.f64 (PI.f64) (*.f64 F F)) (PI.f64)) F))
(.f64 l (/.f64 (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64)) (.f64 F F)))
(/.f64 (.f64 l (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64))) (.f64 F F))
(/.f64 (/.f64 (.f64 l (-.f64 (.f64 (PI.f64) (*.f64 F F)) (PI.f64))) F) F)
(/.f64 (neg.f64 (.f64 l (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64)))) (neg.f64 (.f64 F F)))
(.f64 l (-.f64 (.f64 (PI.f64) (*.f64 F F)) (PI.f64)))
(.f64 (-.f64 (.f64 (PI.f64) (*.f64 F F)) (PI.f64)) l)
(+.f64 (.f64 (PI.f64) (.f64 F F)) (neg.f64 (PI.f64)))
(-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64))
(fma.f64 (*.f64 (PI.f64) F) F (neg.f64 (PI.f64)))
(fma.f64 (*.f64 F F) (PI.f64) (neg.f64 (PI.f64)))
(fma.f64 (PI.f64) (*.f64 F F) (neg.f64 (PI.f64)))
(neg.f64 (-.f64 (PI.f64) (.f64 (PI.f64) (.f64 F F))))
(.f64 (PI.f64) (.f64 F F))
(.f64 (.f64 F F) (PI.f64))
(.f64 (.f64 (PI.f64) F) F)
(*.f64 F F)
(*.f64 (fabs.f64 F) (fabs.f64 F))
(*.f64 (neg.f64 F) (neg.f64 F))
(pow.f64 F #s(literal 2 binary64))
(.f64 (-.f64 (.f64 (.f64 (PI.f64) l) F) (/.f64 (tan.f64 (.f64 (PI.f64) l)) F)) (/.f64 #s(literal 1 binary64) F))
(+.f64 (.f64 (PI.f64) l) (neg.f64 (/.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F) F)))
(+.f64 (.f64 (PI.f64) l) (.f64 (neg.f64 (/.f64 #s(literal 1 binary64) F)) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)))
(+.f64 (.f64 (PI.f64) l) (.f64 (neg.f64 (/.f64 #s(literal 1 binary64) (.f64 F F))) (tan.f64 (.f64 (PI.f64) l))))
(-.f64 (.f64 (PI.f64) l) (/.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F) F))
(-.f64 (/.f64 (.f64 (.f64 (PI.f64) l) F) F) (/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F))
(/.f64 (-.f64 (.f64 (.f64 (PI.f64) l) F) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)) F)
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 (PI.f64) l) F) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F))) (neg.f64 F))
(fma.f64 (PI.f64) l (neg.f64 (/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F)))
(fma.f64 l (PI.f64) (neg.f64 (/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F)))
(fma.f64 (PI.f64) l (.f64 (neg.f64 (/.f64 #s(literal 1 binary64) F)) (/.f64 (tan.f64 (.f64 (PI.f64) l)) F)))
(fma.f64 l (PI.f64) (.f64 (neg.f64 (/.f64 #s(literal 1 binary64) F)) (/.f64 (tan.f64 (.f64 (PI.f64) l)) F)))
(fma.f64 (PI.f64) l (.f64 (neg.f64 (/.f64 #s(literal 1 binary64) (.f64 F F))) (tan.f64 (*.f64 (PI.f64) l))))
(fma.f64 l (PI.f64) (.f64 (neg.f64 (/.f64 #s(literal 1 binary64) (.f64 F F))) (tan.f64 (*.f64 (PI.f64) l))))
(neg.f64 (-.f64 (/.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F) F) (.f64 (PI.f64) l)))
(+.f64 (.f64 (.f64 (PI.f64) l) F) (.f64 (neg.f64 (/.f64 #s(literal 1 binary64) F)) (tan.f64 (.f64 (PI.f64) l))))
(+.f64 (.f64 (.f64 (PI.f64) l) F) (neg.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)))
(-.f64 (.f64 (.f64 (PI.f64) l) F) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F))
(fma.f64 (.f64 (PI.f64) l) F (.f64 (neg.f64 (/.f64 #s(literal 1 binary64) F)) (tan.f64 (*.f64 (PI.f64) l))))
(fma.f64 (PI.f64) (.f64 l F) (.f64 (neg.f64 (/.f64 #s(literal 1 binary64) F)) (tan.f64 (*.f64 (PI.f64) l))))
(fma.f64 F (.f64 (PI.f64) l) (.f64 (neg.f64 (/.f64 #s(literal 1 binary64) F)) (tan.f64 (*.f64 (PI.f64) l))))
(fma.f64 (.f64 (PI.f64) l) F (neg.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F)))
(fma.f64 (PI.f64) (.f64 l F) (neg.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F)))
(fma.f64 F (.f64 (PI.f64) l) (neg.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F)))
(neg.f64 (-.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F) (.f64 (*.f64 (PI.f64) l) F)))
(.f64 (.f64 (PI.f64) l) F)
(.f64 F (.f64 (PI.f64) l))
(.f64 (PI.f64) (.f64 l F))
(.f64 (/.f64 #s(literal 1 binary64) F) (tan.f64 (.f64 (PI.f64) l)))
(.f64 (tan.f64 (.f64 (PI.f64) l)) (/.f64 #s(literal 1 binary64) F))
(/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)
(/.f64 (.f64 #s(literal 1 binary64) (tan.f64 (.f64 (PI.f64) l))) F)
(/.f64 (neg.f64 (tan.f64 (*.f64 (PI.f64) l))) (neg.f64 F))

eval78.0ms (2.6%)

Memory: -29.6MiB live, 39.1MiB allocated; 34ms collecting garbage
Compiler: Compiled 5 011 to 751 computations (85% saved)

prune24.0ms (0.8%)

Memory

-27.7MiB live, 17.7MiB allocated; 5ms collecting garbage

Pruning

21 alts after pruning (13 fresh and 8 done)

	Pruned	Kept	Total
New	148	12	160
Fresh	3	1	4
Picked	2	3	5
Done	2	5	7
Total	155	21	176

Accuracy

99.3%

Counts

176 → 21

Alt Table

Click to see full alt table

Status	Accuracy	Program
	70.8%	(/.f64 (fma.f64 (PI.f64) (.f64 l F) (neg.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F))) F)
	62.9%	(/.f64 #s(approx (- (* (* (PI) l) F) (* (/ 1 F) (tan (* (PI) l)))) (.f64 l (fma.f64 #s(literal -1 binary64) (/.f64 (sin.f64 (.f64 l (PI.f64))) (.f64 F (.f64 l (cos.f64 (.f64 l (PI.f64)))))) (.f64 F (PI.f64))))) F)
	65.5%	(/.f64 #s(approx (- (* (* (PI) l) F) (* (/ 1 F) (tan (* (PI) l)))) (.f64 l (-.f64 (.f64 F (PI.f64)) (/.f64 (PI.f64) F)))) F)
	83.6%	(-.f64 (.f64 (PI.f64) l) (/.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F) F))
	78.4%	(-.f64 (.f64 (PI.f64) l) (/.f64 #s(approx ( (/ 1 F) (tan (* l (PI)))) (.f64 (.f64 (PI.f64) l) (/.f64 #s(literal 1 binary64) F))) F))
✓	78.1%	(-.f64 (.f64 (PI.f64) l) (.f64 (/.f64 #s(literal 1 binary64) (.f64 F F)) (tan.f64 (.f64 (PI.f64) l))))
✓	83.6%	(-.f64 (.f64 (PI.f64) l) (.f64 (/.f64 #s(literal 1 binary64) F) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)))
✓	73.4%	(-.f64 (.f64 (PI.f64) l) #s(approx ( (/ (/ 1 F) F) (tan (* (PI) l))) (/.f64 (.f64 l (PI.f64)) (.f64 F F))))
	78.4%	(-.f64 (.f64 (PI.f64) l) #s(approx ( (/ (/ 1 F) F) (tan (* (PI) l))) (*.f64 (/.f64 l F) (/.f64 (PI.f64) F))))
	70.7%	(.f64 (-.f64 (.f64 (.f64 (PI.f64) l) F) (/.f64 (tan.f64 (.f64 (PI.f64) l)) F)) (/.f64 #s(literal 1 binary64) F))
	41.1%	#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (/.f64 (.f64 l (-.f64 (.f64 (.f64 (PI.f64) F) F) (PI.f64))) (.f64 F F)))
✓	41.1%	#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (/.f64 (.f64 l (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64))) (.f64 F F)))
	24.4%	#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (/.f64 (.f64 l #s(approx (- ( (PI) (* F F)) (PI)) (.f64 #s(literal -1 binary64) (PI.f64)))) (.f64 F F)))
	72.9%	#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (.f64 (/.f64 (-.f64 (.f64 (PI.f64) F) (/.f64 (PI.f64) F)) F) l))
	51.1%	#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (.f64 (/.f64 l F) (/.f64 (-.f64 (.f64 (PI.f64) (*.f64 F F)) (PI.f64)) F)))
✓	72.9%	#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (*.f64 (-.f64 (PI.f64) (/.f64 (/.f64 (PI.f64) F) F)) l))
	72.9%	#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (.f64 (-.f64 (PI.f64) (/.f64 (.f64 (PI.f64) (/.f64 #s(literal 1 binary64) F)) F)) l))
✓	72.9%	#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (.f64 (-.f64 (PI.f64) (/.f64 (PI.f64) (.f64 F F))) l))
	40.7%	#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (.f64 (.f64 l (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64))) (/.f64 #s(literal 1 binary64) (*.f64 F F))))
✓	47.2%	#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (.f64 l (/.f64 (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64)) (.f64 F F))))
✓	71.8%	#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (*.f64 l (PI.f64)))

Compiler

Compiled 491 to 327 computations (33.4% saved)

regimes137.0ms (4.5%)

Memory

36.8MiB live, 127.4MiB allocated; 11ms collecting garbage

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

4 → 2

7 → 2

21 → 2

23 → 2

31 → 2

Calls

Call 1

Inputs
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (*.f64 l (PI.f64)))

Outputs
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (*.f64 l (PI.f64)))

Call 2

Inputs
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (*.f64 l (PI.f64)))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (.f64 (-.f64 (PI.f64) (/.f64 (PI.f64) (.f64 F F))) l))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (/.f64 (.f64 l #s(approx (- ( (PI) (* F F)) (PI)) (.f64 #s(literal -1 binary64) (PI.f64)))) (.f64 F F)))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (*.f64 (-.f64 (PI.f64) (/.f64 (/.f64 (PI.f64) F) F)) l))

Outputs
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (.f64 (-.f64 (PI.f64) (/.f64 (PI.f64) (.f64 F F))) l))
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (*.f64 l (PI.f64)))

Call 3

Inputs
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (*.f64 l (PI.f64)))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (.f64 (-.f64 (PI.f64) (/.f64 (PI.f64) (.f64 F F))) l))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (/.f64 (.f64 l #s(approx (- ( (PI) (* F F)) (PI)) (.f64 #s(literal -1 binary64) (PI.f64)))) (.f64 F F)))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (*.f64 (-.f64 (PI.f64) (/.f64 (/.f64 (PI.f64) F) F)) l))
(-.f64 (.f64 (PI.f64) l) #s(approx ( (/ (/ 1 F) F) (tan (* (PI) l))) (/.f64 (.f64 l (PI.f64)) (.f64 F F))))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (.f64 (-.f64 (PI.f64) (/.f64 (.f64 (PI.f64) (/.f64 #s(literal 1 binary64) F)) F)) l))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (.f64 (/.f64 (-.f64 (.f64 (PI.f64) F) (/.f64 (PI.f64) F)) F) l))

Outputs
(-.f64 (.f64 (PI.f64) l) #s(approx ( (/ (/ 1 F) F) (tan (* (PI) l))) (/.f64 (.f64 l (PI.f64)) (.f64 F F))))
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (*.f64 l (PI.f64)))

Call 4

Inputs
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (*.f64 l (PI.f64)))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (.f64 (-.f64 (PI.f64) (/.f64 (PI.f64) (.f64 F F))) l))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (/.f64 (.f64 l #s(approx (- ( (PI) (* F F)) (PI)) (.f64 #s(literal -1 binary64) (PI.f64)))) (.f64 F F)))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (*.f64 (-.f64 (PI.f64) (/.f64 (/.f64 (PI.f64) F) F)) l))
(-.f64 (.f64 (PI.f64) l) #s(approx ( (/ (/ 1 F) F) (tan (* (PI) l))) (/.f64 (.f64 l (PI.f64)) (.f64 F F))))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (.f64 (-.f64 (PI.f64) (/.f64 (.f64 (PI.f64) (/.f64 #s(literal 1 binary64) F)) F)) l))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (.f64 (/.f64 (-.f64 (.f64 (PI.f64) F) (/.f64 (PI.f64) F)) F) l))
(-.f64 (.f64 (PI.f64) l) #s(approx ( (/ (/ 1 F) F) (tan (* (PI) l))) (*.f64 (/.f64 l F) (/.f64 (PI.f64) F))))
(-.f64 (.f64 (PI.f64) l) (/.f64 #s(approx ( (/ 1 F) (tan (* l (PI)))) (/.f64 (*.f64 l (PI.f64)) F)) F))
(/.f64 #s(approx (- (* (* (PI) l) F) (* (/ 1 F) (tan (* (PI) l)))) (.f64 l (-.f64 (.f64 F (PI.f64)) (/.f64 (PI.f64) F)))) F)
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (.f64 l (/.f64 (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64)) (.f64 F F))))
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (.f64 l (/.f64 (-.f64 (.f64 (.f64 (PI.f64) F) F) (PI.f64)) (.f64 F F))))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (/.f64 (.f64 l (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64))) (.f64 F F)))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (/.f64 (.f64 l (-.f64 (.f64 (.f64 (PI.f64) F) F) (PI.f64))) (.f64 F F)))
(-.f64 (.f64 (PI.f64) l) #s(approx ( (/ 1 (* F F)) (tan (* (PI) l))) (.f64 (.f64 l (PI.f64)) (/.f64 #s(literal 1 binary64) (*.f64 F F)))))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (.f64 (/.f64 l F) (/.f64 (-.f64 (.f64 (PI.f64) (*.f64 F F)) (PI.f64)) F)))
(-.f64 (.f64 (PI.f64) l) (/.f64 #s(approx ( (/ 1 F) (tan (* l (PI)))) (.f64 (.f64 (PI.f64) l) (/.f64 #s(literal 1 binary64) F))) F))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (.f64 (.f64 (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64)) (/.f64 #s(literal 1 binary64) (*.f64 F F))) l))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (.f64 (.f64 l (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64))) (/.f64 #s(literal 1 binary64) (*.f64 F F))))
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (*.f64 l (-.f64 (PI.f64) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))))
(-.f64 (.f64 (PI.f64) l) #s(approx ( (/ 1 (* F F)) (tan (* (PI) l))) (/.f64 (*.f64 l (PI.f64)) (pow.f64 F #s(literal 2 binary64)))))

Outputs
(-.f64 (.f64 (PI.f64) l) #s(approx ( (/ (/ 1 F) F) (tan (* (PI) l))) (*.f64 (/.f64 l F) (/.f64 (PI.f64) F))))
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (*.f64 l (PI.f64)))

Call 5

Inputs
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (*.f64 l (PI.f64)))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (.f64 (-.f64 (PI.f64) (/.f64 (PI.f64) (.f64 F F))) l))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (/.f64 (.f64 l #s(approx (- ( (PI) (* F F)) (PI)) (.f64 #s(literal -1 binary64) (PI.f64)))) (.f64 F F)))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (*.f64 (-.f64 (PI.f64) (/.f64 (/.f64 (PI.f64) F) F)) l))
(-.f64 (.f64 (PI.f64) l) #s(approx ( (/ (/ 1 F) F) (tan (* (PI) l))) (/.f64 (.f64 l (PI.f64)) (.f64 F F))))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (.f64 (-.f64 (PI.f64) (/.f64 (.f64 (PI.f64) (/.f64 #s(literal 1 binary64) F)) F)) l))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (.f64 (/.f64 (-.f64 (.f64 (PI.f64) F) (/.f64 (PI.f64) F)) F) l))
(-.f64 (.f64 (PI.f64) l) #s(approx ( (/ (/ 1 F) F) (tan (* (PI) l))) (*.f64 (/.f64 l F) (/.f64 (PI.f64) F))))
(-.f64 (.f64 (PI.f64) l) (/.f64 #s(approx ( (/ 1 F) (tan (* l (PI)))) (/.f64 (*.f64 l (PI.f64)) F)) F))
(/.f64 #s(approx (- (* (* (PI) l) F) (* (/ 1 F) (tan (* (PI) l)))) (.f64 l (-.f64 (.f64 F (PI.f64)) (/.f64 (PI.f64) F)))) F)
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (.f64 l (/.f64 (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64)) (.f64 F F))))
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (.f64 l (/.f64 (-.f64 (.f64 (.f64 (PI.f64) F) F) (PI.f64)) (.f64 F F))))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (/.f64 (.f64 l (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64))) (.f64 F F)))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (/.f64 (.f64 l (-.f64 (.f64 (.f64 (PI.f64) F) F) (PI.f64))) (.f64 F F)))
(-.f64 (.f64 (PI.f64) l) #s(approx ( (/ 1 (* F F)) (tan (* (PI) l))) (.f64 (.f64 l (PI.f64)) (/.f64 #s(literal 1 binary64) (*.f64 F F)))))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (.f64 (/.f64 l F) (/.f64 (-.f64 (.f64 (PI.f64) (*.f64 F F)) (PI.f64)) F)))
(-.f64 (.f64 (PI.f64) l) (/.f64 #s(approx ( (/ 1 F) (tan (* l (PI)))) (.f64 (.f64 (PI.f64) l) (/.f64 #s(literal 1 binary64) F))) F))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (.f64 (.f64 (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64)) (/.f64 #s(literal 1 binary64) (*.f64 F F))) l))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (.f64 (.f64 l (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64))) (/.f64 #s(literal 1 binary64) (*.f64 F F))))
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (*.f64 l (-.f64 (PI.f64) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))))
(-.f64 (.f64 (PI.f64) l) #s(approx ( (/ 1 (* F F)) (tan (* (PI) l))) (/.f64 (*.f64 l (PI.f64)) (pow.f64 F #s(literal 2 binary64)))))
(-.f64 (.f64 (PI.f64) l) (/.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F) F))
(-.f64 (.f64 (PI.f64) l) (.f64 (/.f64 #s(literal 1 binary64) (.f64 F F)) (tan.f64 (.f64 (PI.f64) l))))

Outputs
(-.f64 (.f64 (PI.f64) l) (/.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F) F))
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (*.f64 l (PI.f64)))

Call 6

Inputs
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (*.f64 l (PI.f64)))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (.f64 (-.f64 (PI.f64) (/.f64 (PI.f64) (.f64 F F))) l))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (/.f64 (.f64 l #s(approx (- ( (PI) (* F F)) (PI)) (.f64 #s(literal -1 binary64) (PI.f64)))) (.f64 F F)))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (*.f64 (-.f64 (PI.f64) (/.f64 (/.f64 (PI.f64) F) F)) l))
(-.f64 (.f64 (PI.f64) l) #s(approx ( (/ (/ 1 F) F) (tan (* (PI) l))) (/.f64 (.f64 l (PI.f64)) (.f64 F F))))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (.f64 (-.f64 (PI.f64) (/.f64 (.f64 (PI.f64) (/.f64 #s(literal 1 binary64) F)) F)) l))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (.f64 (/.f64 (-.f64 (.f64 (PI.f64) F) (/.f64 (PI.f64) F)) F) l))
(-.f64 (.f64 (PI.f64) l) #s(approx ( (/ (/ 1 F) F) (tan (* (PI) l))) (*.f64 (/.f64 l F) (/.f64 (PI.f64) F))))
(-.f64 (.f64 (PI.f64) l) (/.f64 #s(approx ( (/ 1 F) (tan (* l (PI)))) (/.f64 (*.f64 l (PI.f64)) F)) F))
(/.f64 #s(approx (- (* (* (PI) l) F) (* (/ 1 F) (tan (* (PI) l)))) (.f64 l (-.f64 (.f64 F (PI.f64)) (/.f64 (PI.f64) F)))) F)
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (.f64 l (/.f64 (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64)) (.f64 F F))))
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (.f64 l (/.f64 (-.f64 (.f64 (.f64 (PI.f64) F) F) (PI.f64)) (.f64 F F))))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (/.f64 (.f64 l (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64))) (.f64 F F)))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (/.f64 (.f64 l (-.f64 (.f64 (.f64 (PI.f64) F) F) (PI.f64))) (.f64 F F)))
(-.f64 (.f64 (PI.f64) l) #s(approx ( (/ 1 (* F F)) (tan (* (PI) l))) (.f64 (.f64 l (PI.f64)) (/.f64 #s(literal 1 binary64) (*.f64 F F)))))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (.f64 (/.f64 l F) (/.f64 (-.f64 (.f64 (PI.f64) (*.f64 F F)) (PI.f64)) F)))
(-.f64 (.f64 (PI.f64) l) (/.f64 #s(approx ( (/ 1 F) (tan (* l (PI)))) (.f64 (.f64 (PI.f64) l) (/.f64 #s(literal 1 binary64) F))) F))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (.f64 (.f64 (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64)) (/.f64 #s(literal 1 binary64) (*.f64 F F))) l))
#s(approx (- (* (PI) l) (* (/ (/ 1 F) F) (tan (* (PI) l)))) (.f64 (.f64 l (-.f64 (.f64 (PI.f64) (.f64 F F)) (PI.f64))) (/.f64 #s(literal 1 binary64) (*.f64 F F))))
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (*.f64 l (-.f64 (PI.f64) (/.f64 (PI.f64) (pow.f64 F #s(literal 2 binary64))))))
(-.f64 (.f64 (PI.f64) l) #s(approx ( (/ 1 (* F F)) (tan (* (PI) l))) (/.f64 (*.f64 l (PI.f64)) (pow.f64 F #s(literal 2 binary64)))))
(-.f64 (.f64 (PI.f64) l) (/.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F) F))
(-.f64 (.f64 (PI.f64) l) (.f64 (/.f64 #s(literal 1 binary64) (.f64 F F)) (tan.f64 (.f64 (PI.f64) l))))
(-.f64 (.f64 (PI.f64) l) (.f64 (/.f64 #s(literal 1 binary64) F) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)))
(-.f64 (.f64 (PI.f64) l) (.f64 (/.f64 (/.f64 #s(literal 1 binary64) F) F) (tan.f64 (*.f64 (PI.f64) l))))
(-.f64 (.f64 (PI.f64) l) (/.f64 (.f64 (/.f64 #s(literal 1 binary64) F) (tan.f64 (*.f64 l (PI.f64)))) F))
(/.f64 (fma.f64 (PI.f64) (.f64 l F) (neg.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F))) F)
(.f64 (-.f64 (.f64 (.f64 (PI.f64) l) F) (/.f64 (tan.f64 (.f64 (PI.f64) l)) F)) (/.f64 #s(literal 1 binary64) F))
(/.f64 (-.f64 (.f64 (.f64 (PI.f64) l) F) (.f64 (/.f64 #s(literal 1 binary64) F) (tan.f64 (.f64 (PI.f64) l)))) F)
(-.f64 (.f64 (PI.f64) l) (/.f64 #s(approx ( (/ 1 F) (tan (* l (PI)))) (.f64 l (fma.f64 (pow.f64 l #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1/6 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) F)) (*.f64 #s(literal -1/2 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) F))) (/.f64 (PI.f64) F)))) F))
(/.f64 #s(approx (- (* (* (PI) l) F) (* (/ 1 F) (tan (* (PI) l)))) (.f64 l (fma.f64 #s(literal -1 binary64) (/.f64 (sin.f64 (.f64 l (PI.f64))) (.f64 F (.f64 l (cos.f64 (.f64 l (PI.f64)))))) (.f64 F (PI.f64))))) F)

Outputs
(-.f64 (.f64 (PI.f64) l) (.f64 (/.f64 #s(literal 1 binary64) F) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)))
#s(approx (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (*.f64 l (PI.f64)))

Calls

20 calls:

21.0ms	(*.f64 F F)
20.0ms	(/.f64 #s(literal 1 binary64) (*.f64 F F))
11.0ms	(*.f64 (PI.f64) l)
11.0ms	(*.f64 (PI.f64) l)
9.0ms	l

Results

Accuracy	Segments	Branch
71.8%	1	`(*.f64 F F)`
71.8%	1	`(/.f64 #s(literal 1 binary64) (*.f64 F F))`
71.8%	1	`F`
71.8%	1	`(-.f64 (.f64 (PI.f64) l) (.f64 (/.f64 #s(literal 1 binary64) (.f64 F F)) (tan.f64 (.f64 (PI.f64) l))))`
71.8%	1	`(*.f64 (PI.f64) l)`
71.8%	1	`l`
93.5%	2	`(*.f64 (PI.f64) l)`
93.5%	2	`l`
94.0%	2	`(*.f64 (PI.f64) l)`
94.0%	2	`l`
98.9%	2	`(*.f64 (PI.f64) l)`
98.9%	2	`l`
99.0%	2	`(*.f64 (PI.f64) l)`
99.0%	2	`l`
83.6%	1	`(*.f64 F F)`
83.6%	1	`(/.f64 #s(literal 1 binary64) (*.f64 F F))`
99.0%	2	`(*.f64 (PI.f64) l)`
90.5%	2	`(-.f64 (.f64 (PI.f64) l) (.f64 (/.f64 #s(literal 1 binary64) (.f64 F F)) (tan.f64 (.f64 (PI.f64) l))))`
83.6%	1	`F`
99.0%	2	`l`

Compiler

Compiled 792 to 235 computations (70.3% saved)

bsearch7.0ms (0.2%)

Memory

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

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
6.0ms	818468314978297.3	1051256936005079.9

Samples

4.0ms

48×

valid

Compiler

Compiled 113 to 90 computations (20.4% saved)

Precisions

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

ival-tanu: 2.0ms (61.4% of total)

ival-mult!: 1.0ms (30.7% of total)

ival-sub!: 0.0ms (0% of total)

adjust: 0.0ms (0% of total)

ival-div!: 0.0ms (0% of total)

bsearch1.0ms (0%)

Memory

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

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
0.0ms	818468314978297.3	1051256936005079.9

Compiler

Compiled 107 to 84 computations (21.5% saved)

bsearch1.0ms (0%)

Memory

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

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
0.0ms	818468314978297.3	1051256936005079.9

Compiler

Compiled 137 to 108 computations (21.2% saved)

bsearch1.0ms (0%)

Memory

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

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
0.0ms	818468314978297.3	1051256936005079.9

Compiler

Compiled 137 to 108 computations (21.2% saved)

bsearch1.0ms (0%)

Memory

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

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
0.0ms	818468314978297.3	1051256936005079.9

Compiler

Compiled 143 to 108 computations (24.5% saved)

derivations2.0ms (0.1%)

Memory

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

Stop Event

1×

fuel

Compiler

Compiled 222 to 46 computations (79.3% saved)

preprocess147.0ms (4.8%)

Memory

-19.0MiB live, 122.6MiB allocated; 29ms collecting garbage

Remove

(negabs l)

(abs F)

Compiler

Compiled 1 532 to 816 computations (46.7% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze180.0ms (5.9%)

sample1.1s (36.1%)

preprocess63.0ms (2.1%)

series126.0ms (4.2%)

rewrite132.0ms (4.4%)

eval6.0ms (0.2%)

prune3.0ms (0.1%)

series165.0ms (5.5%)

rewrite138.0ms (4.6%)

eval14.0ms (0.5%)

prune7.0ms (0.2%)

series131.0ms (4.3%)

rewrite159.0ms (5.2%)

eval15.0ms (0.5%)

prune10.0ms (0.3%)

series191.0ms (6.3%)

rewrite199.0ms (6.6%)

eval78.0ms (2.6%)

prune24.0ms (0.8%)

regimes137.0ms (4.5%)

bsearch7.0ms (0.2%)

bsearch1.0ms (0%)

bsearch1.0ms (0%)

bsearch1.0ms (0%)

bsearch1.0ms (0%)

derivations2.0ms (0.1%)

preprocess147.0ms (4.8%)

end0.0ms (0%)

Profiling