Metrics for Falkner and Boettcher, Appendix B, 1

start0.0ms (0%)

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

analyze266.0ms (5.6%)

Memory

-3.7MiB live, 321.2MiB allocated; 58ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	100%	0%	0%	0%	0%	2
0%	0%	100%	0%	0%	0%	0%	3
0%	0%	100%	0%	0%	0%	0%	4
0%	0%	100%	0%	0%	0%	0%	5
0%	0%	100%	0%	0%	0%	0%	6
0%	0%	100%	0%	0%	0%	0%	7
0%	0%	100%	0%	0%	0%	0%	8
0%	0%	100%	0%	0%	0%	0%	9
0%	0%	100%	0%	0%	0%	0%	10
0%	0%	100%	0%	0%	0%	0%	11
0%	0%	100%	0%	0%	0%	0%	12

Compiler

Compiled 16 to 11 computations (31.3% saved)

sample3.3s (69.9%)

Memory

82.9MiB live, 3 293.8MiB allocated; 1.2s collecting garbage

Samples

1.1s	3 838×	3	valid
719.0ms	2 041×	2	valid
578.0ms	8 244×	0	invalid
260.0ms	2 206×	1	valid
10.0ms	171×	0	valid

Precisions

Click to see histograms. Total time spent on operations: 2.1s

ival-acos: 678.0ms (31.7% of total)

ival-mult!: 605.0ms (28.3% of total)

adjust: 395.0ms (18.5% of total)

ival-div!: 248.0ms (11.6% of total)

ival-sub!: 215.0ms (10% of total)

Bogosity

preprocess71.0ms (1.5%)

Memory

-64.2MiB live, 39.9MiB allocated; 48ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	43
1	86	43
2	321	43
3	1688	43

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.1%	(acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64))))

Symmetry

(abs v)

Compiler

Compiled 22 to 18 computations (18.2% saved)

series4.0ms (0.1%)

Memory

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

Counts

9 → 18

Calls

Call 1

Inputs
(acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64))))
(/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64)))
(-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))
#s(literal 1 binary64)
(.f64 #s(literal 5 binary64) (.f64 v v))
#s(literal 5 binary64)
(*.f64 v v)
v
(-.f64 (*.f64 v v) #s(literal 1 binary64))

Outputs
#s(approx (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) #s(hole binary64 (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 -1))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (- (* 4 (pow v 2)) 1)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (- (* (pow v 2) (+ 4 (* 4 (pow v 2)))) 1)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (- (* (pow v 2) (+ 4 (* (pow v 2) (+ 4 (* 4 (pow v 2)))))) 1)))
#s(approx (- 1 (* 5 (* v v))) #s(hole binary64 1))
#s(approx (- 1 (* 5 (* v v))) #s(hole binary64 (+ 1 (* -5 (pow v 2)))))
#s(approx (* 5 (* v v)) #s(hole binary64 (* 5 (pow v 2))))
#s(approx (* v v) #s(hole binary64 (pow v 2)))
#s(approx v #s(hole binary64 v))
#s(approx (- (* v v) 1) #s(hole binary64 (- (pow v 2) 1)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 -5))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (* -1 (+ 5 (* 4 (/ 1 (pow v 2)))))))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (- (* -1 (/ (+ 4 (* 4 (/ 1 (pow v 2)))) (pow v 2))) 5)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (- (* -1 (/ (+ 4 (* 4 (/ 1 (pow v 2)))) (pow v 4))) (+ 5 (* 4 (/ 1 (pow v 2)))))))
#s(approx (- 1 (* 5 (* v v))) #s(hole binary64 (* -5 (pow v 2))))
#s(approx (- 1 (* 5 (* v v))) #s(hole binary64 (* (pow v 2) (- (/ 1 (pow v 2)) 5))))
#s(approx (- (* v v) 1) #s(hole binary64 (* (pow v 2) (- 1 (/ 1 (pow v 2))))))

Calls

3 calls:

Time	Variable		Point	Expression
2.0ms	v	@	inf	((acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (- 1 (* 5 (* v v))) 1 (* 5 (* v v)) 5 (* v v) v (- (* v v) 1))
1.0ms	v	@	-inf	((acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (- 1 (* 5 (* v v))) 1 (* 5 (* v v)) 5 (* v v) v (- (* v v) 1))
1.0ms	v	@	0	((acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (- 1 (* 5 (* v v))) 1 (* 5 (* v v)) 5 (* v v) v (- (* v v) 1))

Time

Variable

Point

Expression

2.0ms

inf

((acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (- 1 (* 5 (* v v))) 1 (* 5 (* v v)) 5 (* v v) v (- (* v v) 1))

1.0ms

-inf

((acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (- 1 (* 5 (* v v))) 1 (* 5 (* v v)) 5 (* v v) v (- (* v v) 1))

1.0ms

((acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (- 1 (* 5 (* v v))) 1 (* 5 (* v v)) 5 (* v v) v (- (* v v) 1))

rewrite302.0ms (6.3%)

Memory

12.8MiB live, 197.9MiB allocated; 25ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	69	390
0	80	373
1	426	370
2	3414	370
0	8307	323
1	30131	323

Stop Event

1×	saturated
1×	node-limit
1×	iter-limit

Counts

27 → 164

Calls

Call 1

Inputs
(acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64))))
(/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64)))
(-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))
#s(literal 1 binary64)
(.f64 #s(literal 5 binary64) (.f64 v v))
#s(literal 5 binary64)
(*.f64 v v)
v
(-.f64 (*.f64 v v) #s(literal 1 binary64))
#s(approx (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) #s(hole binary64 (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 -1))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (- (* 4 (pow v 2)) 1)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (- (* (pow v 2) (+ 4 (* 4 (pow v 2)))) 1)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (- (* (pow v 2) (+ 4 (* (pow v 2) (+ 4 (* 4 (pow v 2)))))) 1)))
#s(approx (- 1 (* 5 (* v v))) #s(hole binary64 1))
#s(approx (- 1 (* 5 (* v v))) #s(hole binary64 (+ 1 (* -5 (pow v 2)))))
#s(approx (* 5 (* v v)) #s(hole binary64 (* 5 (pow v 2))))
#s(approx (* v v) #s(hole binary64 (pow v 2)))
#s(approx v #s(hole binary64 v))
#s(approx (- (* v v) 1) #s(hole binary64 (- (pow v 2) 1)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 -5))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (* -1 (+ 5 (* 4 (/ 1 (pow v 2)))))))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (- (* -1 (/ (+ 4 (* 4 (/ 1 (pow v 2)))) (pow v 2))) 5)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (- (* -1 (/ (+ 4 (* 4 (/ 1 (pow v 2)))) (pow v 4))) (+ 5 (* 4 (/ 1 (pow v 2)))))))
#s(approx (- 1 (* 5 (* v v))) #s(hole binary64 (* -5 (pow v 2))))
#s(approx (- 1 (* 5 (* v v))) #s(hole binary64 (* (pow v 2) (- (/ 1 (pow v 2)) 5))))
#s(approx (- (* v v) 1) #s(hole binary64 (* (pow v 2) (- 1 (/ 1 (pow v 2))))))

Outputs
(neg.f64 (-.f64 (asin.f64 (/.f64 (fma.f64 (.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)) (fma.f64 v v #s(literal -1 binary64)))) (.f64 (PI.f64) #s(literal 1/2 binary64))))
(fma.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) #s(literal 2 binary64) (asin.f64 (neg.f64 (/.f64 (fma.f64 (*.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)) (fma.f64 v v #s(literal -1 binary64))))))
(fma.f64 (PI.f64) #s(literal 1/2 binary64) (asin.f64 (neg.f64 (/.f64 (fma.f64 (*.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)) (fma.f64 v v #s(literal -1 binary64))))))
(-.f64 (.f64 (PI.f64) #s(literal 1/2 binary64)) (asin.f64 (/.f64 (fma.f64 (.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)) (fma.f64 v v #s(literal -1 binary64)))))
(-.f64 (PI.f64) (acos.f64 (.f64 (fma.f64 (.f64 v v) #s(literal 5 binary64) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (fma.f64 v v #s(literal -1 binary64))))))
(-.f64 (PI.f64) (acos.f64 (/.f64 (fma.f64 (*.f64 v v) #s(literal 5 binary64) #s(literal -1 binary64)) (fma.f64 v v #s(literal -1 binary64)))))
(-.f64 (PI.f64) (acos.f64 (/.f64 (fma.f64 (.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)) (-.f64 #s(literal 1 binary64) (.f64 v v)))))
(-.f64 (PI.f64) (acos.f64 (-.f64 (.f64 (.f64 v #s(literal 5 binary64)) (/.f64 v (fma.f64 v v #s(literal -1 binary64)))) (/.f64 #s(literal 1 binary64) (fma.f64 v v #s(literal -1 binary64))))))
(+.f64 (.f64 (PI.f64) #s(literal 1/2 binary64)) (asin.f64 (neg.f64 (/.f64 (fma.f64 (.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)) (fma.f64 v v #s(literal -1 binary64))))))
(acos.f64 (/.f64 (fma.f64 (*.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)) (fma.f64 v v #s(literal -1 binary64))))
(.f64 (/.f64 #s(literal 1 binary64) (fma.f64 v v #s(literal -1 binary64))) (fma.f64 (.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)))
(.f64 (fma.f64 (.f64 v v) #s(literal 5 binary64) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (*.f64 v v))))
(.f64 (fma.f64 (.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (fma.f64 v v #s(literal -1 binary64))))
(.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)) (fma.f64 v v #s(literal -1 binary64))))
(/.f64 (.f64 (fma.f64 (.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)) #s(literal 1 binary64)) (fma.f64 v v #s(literal -1 binary64)))
(/.f64 (/.f64 (fma.f64 (*.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)) (-.f64 v #s(literal -1 binary64))) (-.f64 v #s(literal 1 binary64)))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (fma.f64 v v #s(literal -1 binary64))) (.f64 (fma.f64 v v #s(literal -1 binary64)) (.f64 (.f64 v #s(literal 5 binary64)) v))) (*.f64 (fma.f64 v v #s(literal -1 binary64)) (fma.f64 v v #s(literal -1 binary64))))
(/.f64 (fma.f64 (.f64 v v) #s(literal 5 binary64) #s(literal -1 binary64)) (-.f64 #s(literal 1 binary64) (.f64 v v)))
(/.f64 (fma.f64 (*.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)) (fma.f64 v v #s(literal -1 binary64)))
(neg.f64 (.f64 (fma.f64 (.f64 v v) #s(literal 5 binary64) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (fma.f64 v v #s(literal -1 binary64)))))
(neg.f64 (/.f64 (fma.f64 (*.f64 v v) #s(literal 5 binary64) #s(literal -1 binary64)) (fma.f64 v v #s(literal -1 binary64))))
(neg.f64 (/.f64 (fma.f64 (.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)) (-.f64 #s(literal 1 binary64) (.f64 v v))))
(neg.f64 (-.f64 (.f64 (.f64 v #s(literal 5 binary64)) (/.f64 v (fma.f64 v v #s(literal -1 binary64)))) (/.f64 #s(literal 1 binary64) (fma.f64 v v #s(literal -1 binary64)))))
(fma.f64 (/.f64 #s(literal 1 binary64) (-.f64 v #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 v #s(literal 1 binary64))) (neg.f64 (.f64 (.f64 v #s(literal 5 binary64)) (/.f64 v (fma.f64 v v #s(literal -1 binary64))))))
(fma.f64 (/.f64 #s(literal 1 binary64) (-.f64 v #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 v #s(literal 1 binary64))) (/.f64 (.f64 #s(literal -5 binary64) (.f64 v v)) (fma.f64 v v #s(literal -1 binary64))))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (fma.f64 v v #s(literal -1 binary64))) (neg.f64 (.f64 (.f64 v #s(literal 5 binary64)) (/.f64 v (fma.f64 v v #s(literal -1 binary64))))))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (fma.f64 v v #s(literal -1 binary64))) (/.f64 (.f64 #s(literal -5 binary64) (.f64 v v)) (fma.f64 v v #s(literal -1 binary64))))
(-.f64 (/.f64 #s(literal 1 binary64) (fma.f64 v v #s(literal -1 binary64))) (.f64 (.f64 v #s(literal 5 binary64)) (/.f64 v (fma.f64 v v #s(literal -1 binary64)))))
(+.f64 (/.f64 (.f64 #s(literal -5 binary64) (.f64 v v)) (fma.f64 v v #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 v v #s(literal -1 binary64))))
(+.f64 (/.f64 #s(literal 1 binary64) (fma.f64 v v #s(literal -1 binary64))) (neg.f64 (.f64 (.f64 v #s(literal 5 binary64)) (/.f64 v (fma.f64 v v #s(literal -1 binary64))))))
(+.f64 (/.f64 #s(literal 1 binary64) (fma.f64 v v #s(literal -1 binary64))) (/.f64 (.f64 #s(literal -5 binary64) (.f64 v v)) (fma.f64 v v #s(literal -1 binary64))))
(.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 v v)) #s(literal 5 binary64)) (fabs.f64 v)) (fabs.f64 v))
(.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 v v)) #s(literal 5 binary64)) (neg.f64 v)) (neg.f64 v))
(.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 v v)) #s(literal 5 binary64)) v) v)
(.f64 (fabs.f64 v) (.f64 (fabs.f64 v) (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 v v)) #s(literal 5 binary64))))
(.f64 (neg.f64 v) (.f64 (neg.f64 v) (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 v v)) #s(literal 5 binary64))))
(.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 v v)) #s(literal 5 binary64)) (*.f64 v v))
(.f64 (.f64 v v) (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 v v)) #s(literal 5 binary64)))
(.f64 v (.f64 v (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 v v)) #s(literal 5 binary64))))
(neg.f64 (.f64 (-.f64 #s(literal 5 binary64) (/.f64 #s(literal 1 binary64) (.f64 v v))) (*.f64 v v)))
(neg.f64 (.f64 (.f64 v v) (-.f64 #s(literal 5 binary64) (/.f64 #s(literal 1 binary64) (*.f64 v v)))))
(neg.f64 (fma.f64 (*.f64 v v) #s(literal 5 binary64) #s(literal -1 binary64)))
(fma.f64 (*.f64 #s(literal -5 binary64) (fabs.f64 v)) (fabs.f64 v) #s(literal 1 binary64))
(fma.f64 (*.f64 #s(literal -5 binary64) (neg.f64 v)) (neg.f64 v) #s(literal 1 binary64))
(fma.f64 (*.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64))
(fma.f64 (neg.f64 (*.f64 v #s(literal 5 binary64))) v #s(literal 1 binary64))
(fma.f64 (.f64 (.f64 v v) #s(literal -1 binary64)) #s(literal 5 binary64) #s(literal 1 binary64))
(fma.f64 (*.f64 v #s(literal 5 binary64)) (neg.f64 v) #s(literal 1 binary64))
(fma.f64 (*.f64 (neg.f64 v) v) #s(literal 5 binary64) #s(literal 1 binary64))
(fma.f64 (fabs.f64 v) (*.f64 (fabs.f64 v) #s(literal -5 binary64)) #s(literal 1 binary64))
(fma.f64 (neg.f64 v) (*.f64 (neg.f64 v) #s(literal -5 binary64)) #s(literal 1 binary64))
(fma.f64 (.f64 #s(literal -5 binary64) (.f64 v v)) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -5 binary64) (*.f64 v v) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) (.f64 (.f64 v #s(literal 5 binary64)) v) #s(literal 1 binary64))
(fma.f64 (*.f64 v v) #s(literal -5 binary64) #s(literal 1 binary64))
(fma.f64 (.f64 (.f64 v #s(literal 5 binary64)) v) #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 v (*.f64 v #s(literal -5 binary64)) #s(literal 1 binary64))
(fma.f64 #s(literal 5 binary64) (.f64 #s(literal -1 binary64) (.f64 v v)) #s(literal 1 binary64))
(fma.f64 #s(literal 5 binary64) (*.f64 (neg.f64 v) v) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) (.f64 #s(literal -5 binary64) (.f64 v v)) #s(literal 1 binary64))
(-.f64 (.f64 #s(literal -5 binary64) (.f64 v v)) #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) (.f64 (.f64 v #s(literal 5 binary64)) v))
(+.f64 (.f64 #s(literal -5 binary64) (.f64 v v)) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (.f64 #s(literal -5 binary64) (.f64 v v)))
#s(literal 1 binary64)
(.f64 (.f64 #s(literal 1 binary64) (*.f64 v #s(literal 5 binary64))) v)
(.f64 (.f64 #s(literal 5 binary64) (fabs.f64 v)) (fabs.f64 v))
(.f64 (.f64 #s(literal 5 binary64) (neg.f64 v)) (neg.f64 v))
(.f64 (.f64 v #s(literal 5 binary64)) v)
(.f64 (.f64 (neg.f64 v) v) #s(literal -5 binary64))
(.f64 (fabs.f64 v) (.f64 (fabs.f64 v) #s(literal 5 binary64)))
(.f64 (neg.f64 v) (.f64 (neg.f64 v) #s(literal 5 binary64)))
(.f64 #s(literal -5 binary64) (.f64 (neg.f64 v) v))
(.f64 (.f64 v v) #s(literal 5 binary64))
(.f64 (.f64 (*.f64 v #s(literal 5 binary64)) v) #s(literal 1 binary64))
(.f64 v (.f64 v #s(literal 5 binary64)))
(.f64 #s(literal 5 binary64) (.f64 v v))
(.f64 #s(literal 1 binary64) (.f64 (*.f64 v #s(literal 5 binary64)) v))
(/.f64 (.f64 #s(literal 2 binary64) (.f64 (*.f64 v #s(literal 5 binary64)) v)) #s(literal 2 binary64))
(neg.f64 (.f64 #s(literal -5 binary64) (.f64 v v)))
#s(literal 5 binary64)
(.f64 (.f64 (fabs.f64 v) #s(literal 1 binary64)) (*.f64 (fabs.f64 v) #s(literal 1 binary64)))
(.f64 (.f64 (neg.f64 v) #s(literal 1 binary64)) (*.f64 (neg.f64 v) #s(literal 1 binary64)))
(.f64 (.f64 v #s(literal 1 binary64)) (*.f64 v #s(literal 1 binary64)))
(*.f64 (fabs.f64 (fabs.f64 v)) (fabs.f64 (fabs.f64 v)))
(*.f64 (neg.f64 (fabs.f64 v)) (neg.f64 (fabs.f64 v)))
(*.f64 (neg.f64 (neg.f64 v)) (neg.f64 (neg.f64 v)))
(.f64 (fabs.f64 v) (.f64 (fabs.f64 v) #s(literal 1 binary64)))
(*.f64 (fabs.f64 v) (fabs.f64 v))
(.f64 (neg.f64 v) (.f64 (neg.f64 v) #s(literal 1 binary64)))
(*.f64 (neg.f64 v) (neg.f64 v))
(.f64 (.f64 v v) #s(literal 1 binary64))
(.f64 v (.f64 v #s(literal 1 binary64)))
(*.f64 v v)
(.f64 #s(literal 1 binary64) (.f64 v v))
(pow.f64 (neg.f64 (fabs.f64 (fabs.f64 v))) #s(literal 2 binary64))
(pow.f64 (neg.f64 (neg.f64 (fabs.f64 v))) #s(literal 2 binary64))
(pow.f64 (neg.f64 (neg.f64 (neg.f64 v))) #s(literal 2 binary64))
(pow.f64 (*.f64 (fabs.f64 (fabs.f64 v)) #s(literal 1 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 (neg.f64 (fabs.f64 v)) #s(literal 1 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 (neg.f64 (neg.f64 v)) #s(literal 1 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 (fabs.f64 v))) #s(literal 2 binary64))
(pow.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (fabs.f64 v))) #s(literal 2 binary64))
(pow.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (neg.f64 v))) #s(literal 2 binary64))
(pow.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 v)) #s(literal 2 binary64))
(pow.f64 (*.f64 #s(literal 1 binary64) (neg.f64 v)) #s(literal 2 binary64))
(pow.f64 (*.f64 #s(literal 1 binary64) v) #s(literal 2 binary64))
(pow.f64 (*.f64 (fabs.f64 v) #s(literal 1 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 (neg.f64 v) #s(literal 1 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 v #s(literal 1 binary64)) #s(literal 2 binary64))
(pow.f64 (fabs.f64 (fabs.f64 v)) #s(literal 2 binary64))
(pow.f64 (neg.f64 (fabs.f64 v)) #s(literal 2 binary64))
(pow.f64 (neg.f64 (neg.f64 v)) #s(literal 2 binary64))
(pow.f64 (fabs.f64 v) #s(literal 2 binary64))
(pow.f64 (neg.f64 v) #s(literal 2 binary64))
(pow.f64 (.f64 (.f64 (*.f64 v v) v) v) #s(literal 1/2 binary64))
(pow.f64 v #s(literal 2 binary64))
(/.f64 (.f64 (.f64 v v) #s(literal 2 binary64)) #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 v) v))
(sqrt.f64 (.f64 (.f64 (*.f64 v v) v) v))
(fabs.f64 (*.f64 (neg.f64 v) v))
(fabs.f64 (*.f64 v v))
(+.f64 (/.f64 (fma.f64 v v (/.f64 #s(literal 1 binary64) (.f64 v v))) #s(literal 2 binary64)) (/.f64 (-.f64 (.f64 v v) (/.f64 #s(literal 1 binary64) (*.f64 v v))) #s(literal 2 binary64)))
v
(*.f64 (+.f64 (fabs.f64 v) #s(literal 1 binary64)) (-.f64 (fabs.f64 v) #s(literal 1 binary64)))
(*.f64 (+.f64 (neg.f64 v) #s(literal 1 binary64)) (-.f64 (neg.f64 v) #s(literal 1 binary64)))
(*.f64 (-.f64 v #s(literal 1 binary64)) (-.f64 v #s(literal -1 binary64)))
(*.f64 (-.f64 v #s(literal -1 binary64)) (-.f64 v #s(literal 1 binary64)))
(neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 v v)))
(fma.f64 (.f64 (fabs.f64 v) #s(literal 1 binary64)) (.f64 (fabs.f64 v) #s(literal 1 binary64)) #s(literal -1 binary64))
(fma.f64 (.f64 (neg.f64 v) #s(literal 1 binary64)) (.f64 (neg.f64 v) #s(literal 1 binary64)) #s(literal -1 binary64))
(fma.f64 (.f64 v #s(literal 1 binary64)) (.f64 v #s(literal 1 binary64)) #s(literal -1 binary64))
(fma.f64 (fabs.f64 (fabs.f64 v)) (fabs.f64 (fabs.f64 v)) #s(literal -1 binary64))
(fma.f64 (neg.f64 (fabs.f64 v)) (neg.f64 (fabs.f64 v)) #s(literal -1 binary64))
(fma.f64 (neg.f64 (neg.f64 v)) (neg.f64 (neg.f64 v)) #s(literal -1 binary64))
(fma.f64 (fabs.f64 v) (*.f64 (fabs.f64 v) #s(literal 1 binary64)) #s(literal -1 binary64))
(fma.f64 (fabs.f64 v) (fabs.f64 v) #s(literal -1 binary64))
(fma.f64 (neg.f64 v) (*.f64 (neg.f64 v) #s(literal 1 binary64)) #s(literal -1 binary64))
(fma.f64 (neg.f64 v) (neg.f64 v) #s(literal -1 binary64))
(fma.f64 (*.f64 v v) #s(literal 1 binary64) #s(literal -1 binary64))
(fma.f64 v (*.f64 v #s(literal 1 binary64)) #s(literal -1 binary64))
(fma.f64 v v #s(literal -1 binary64))
(fma.f64 #s(literal 1 binary64) (*.f64 v v) #s(literal -1 binary64))
(-.f64 (*.f64 v v) #s(literal 1 binary64))
(+.f64 #s(literal -1 binary64) (*.f64 v v))
(+.f64 (*.f64 v v) #s(literal -1 binary64))
#s(approx (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (acos.f64 (/.f64 (fma.f64 (*.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)) (fma.f64 v v #s(literal -1 binary64)))))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(literal -1 binary64))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 #s(literal 4 binary64) (*.f64 v v) #s(literal -1 binary64)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 (fma.f64 #s(literal 4 binary64) (.f64 v v) #s(literal 4 binary64)) (.f64 v v) #s(literal -1 binary64)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 (.f64 (fma.f64 (fma.f64 #s(literal 4 binary64) (.f64 v v) #s(literal 4 binary64)) (*.f64 v v) #s(literal 4 binary64)) v) v #s(literal -1 binary64)))
#s(approx (- 1 (* 5 (* v v))) #s(literal 1 binary64))
#s(approx (- 1 (* 5 (* v v))) (fma.f64 (*.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)))
#s(approx (* 5 (* v v)) (.f64 (.f64 v #s(literal 5 binary64)) v))
#s(approx (* v v) (*.f64 v v))
#s(approx v v)
#s(approx (- (* v v) 1) (fma.f64 v v #s(literal -1 binary64)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(literal -5 binary64))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (-.f64 #s(literal -5 binary64) (/.f64 #s(literal 4 binary64) (*.f64 v v))))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (-.f64 (/.f64 (-.f64 #s(literal -4 binary64) (/.f64 #s(literal 4 binary64) (.f64 v v))) (.f64 v v)) #s(literal 5 binary64)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (-.f64 (/.f64 (-.f64 #s(literal -4 binary64) (/.f64 #s(literal 4 binary64) (.f64 v v))) (.f64 (.f64 (.f64 v v) v) v)) (-.f64 (/.f64 #s(literal 4 binary64) (*.f64 v v)) #s(literal -5 binary64))))
#s(approx (- 1 (* 5 (* v v))) (.f64 #s(literal -5 binary64) (.f64 v v)))
#s(approx (- 1 (* 5 (* v v))) (fma.f64 (*.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)))
#s(approx (- (* v v) 1) (.f64 (.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (*.f64 v v))) v) v))

eval19.0ms (0.4%)

Memory: -5.1MiB live, 40.5MiB allocated; 4ms collecting garbage
Compiler: Compiled 1 322 to 692 computations (47.7% saved)

prune3.0ms (0.1%)

Memory

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

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	153	4	157
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	154	4	158

Accuracy

99.1%

Counts

158 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.1%	(acos.f64 (/.f64 (fma.f64 (*.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)) (fma.f64 v v #s(literal -1 binary64))))
▶	98.7%	(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 (fma.f64 #s(literal 4 binary64) (.f64 v v) #s(literal 4 binary64)) (.f64 v v) #s(literal -1 binary64))))
▶	98.6%	(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 #s(literal 4 binary64) (*.f64 v v) #s(literal -1 binary64))))
▶	98.2%	(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(literal -1 binary64)))

Compiler

Compiled 53 to 49 computations (7.5% saved)

series6.0ms (0.1%)

Memory

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

Counts

20 → 27

Calls

Call 1

Inputs
(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(literal -1 binary64)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(literal -1 binary64))
#s(literal -1 binary64)
(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 #s(literal 4 binary64) (*.f64 v v) #s(literal -1 binary64))))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 #s(literal 4 binary64) (*.f64 v v) #s(literal -1 binary64)))
(fma.f64 #s(literal 4 binary64) (*.f64 v v) #s(literal -1 binary64))
#s(literal 4 binary64)
(*.f64 v v)
v
(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 (fma.f64 #s(literal 4 binary64) (.f64 v v) #s(literal 4 binary64)) (.f64 v v) #s(literal -1 binary64))))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 (fma.f64 #s(literal 4 binary64) (.f64 v v) #s(literal 4 binary64)) (.f64 v v) #s(literal -1 binary64)))
(fma.f64 (fma.f64 #s(literal 4 binary64) (.f64 v v) #s(literal 4 binary64)) (.f64 v v) #s(literal -1 binary64))
(fma.f64 #s(literal 4 binary64) (*.f64 v v) #s(literal 4 binary64))
(acos.f64 (/.f64 (fma.f64 (*.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)) (fma.f64 v v #s(literal -1 binary64))))
(/.f64 (fma.f64 (*.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)) (fma.f64 v v #s(literal -1 binary64)))
(fma.f64 (*.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64))
(*.f64 #s(literal -5 binary64) v)
#s(literal -5 binary64)
#s(literal 1 binary64)
(fma.f64 v v #s(literal -1 binary64))

Outputs
#s(approx (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) #s(hole binary64 (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 -1))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (- (* 4 (pow v 2)) 1)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (- (* (pow v 2) (+ 4 (* 4 (pow v 2)))) 1)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (- (* (pow v 2) (+ 4 (* (pow v 2) (+ 4 (* 4 (pow v 2)))))) 1)))
#s(approx (* v v) #s(hole binary64 (pow v 2)))
#s(approx v #s(hole binary64 v))
#s(approx (+ (* 4 (* v v)) 4) #s(hole binary64 4))
#s(approx (+ (* 4 (* v v)) 4) #s(hole binary64 (+ 4 (* 4 (pow v 2)))))
#s(approx (acos (/ (+ (* (* -5 v) v) 1) (+ (* v v) -1))) #s(hole binary64 (acos (/ (+ 1 (* -5 (pow v 2))) (- (pow v 2) 1)))))
#s(approx (+ (* (* -5 v) v) 1) #s(hole binary64 1))
#s(approx (+ (* (* -5 v) v) 1) #s(hole binary64 (+ 1 (* -5 (pow v 2)))))
#s(approx (* -5 v) #s(hole binary64 (* -5 v)))
#s(approx (+ (* v v) -1) #s(hole binary64 (- (pow v 2) 1)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 -5))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (* -1 (+ 5 (* 4 (/ 1 (pow v 2)))))))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (- (* -1 (/ (+ 4 (* 4 (/ 1 (pow v 2)))) (pow v 2))) 5)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (- (* -1 (/ (+ 4 (* 4 (/ 1 (pow v 2)))) (pow v 4))) (+ 5 (* 4 (/ 1 (pow v 2)))))))
#s(approx (+ (* 4 (* v v)) -1) #s(hole binary64 (* 4 (pow v 2))))
#s(approx (+ (* 4 (* v v)) -1) #s(hole binary64 (* (pow v 2) (- 4 (/ 1 (pow v 2))))))
#s(approx (+ (* (+ (* 4 (* v v)) 4) (* v v)) -1) #s(hole binary64 (* 4 (pow v 4))))
#s(approx (+ (* (+ (* 4 (* v v)) 4) (* v v)) -1) #s(hole binary64 (* (pow v 4) (+ 4 (* 4 (/ 1 (pow v 2)))))))
#s(approx (+ (* (+ (* 4 (* v v)) 4) (* v v)) -1) #s(hole binary64 (* (pow v 4) (- (+ 4 (* 4 (/ 1 (pow v 2)))) (/ 1 (pow v 4))))))
#s(approx (+ (* 4 (* v v)) 4) #s(hole binary64 (* (pow v 2) (+ 4 (* 4 (/ 1 (pow v 2)))))))
#s(approx (+ (* (* -5 v) v) 1) #s(hole binary64 (* -5 (pow v 2))))
#s(approx (+ (* (* -5 v) v) 1) #s(hole binary64 (* (pow v 2) (- (/ 1 (pow v 2)) 5))))
#s(approx (+ (* v v) -1) #s(hole binary64 (* (pow v 2) (- 1 (/ 1 (pow v 2))))))

Calls

3 calls:

Time	Variable		Point	Expression
2.0ms	v	@	inf	((acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) -1 (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (+ (* 4 (* v v)) -1) 4 (* v v) v (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (+ (* (+ (* 4 (* v v)) 4) (* v v)) -1) (+ (* 4 (* v v)) 4) (acos (/ (+ (* (* -5 v) v) 1) (+ (* v v) -1))) (/ (+ (* (* -5 v) v) 1) (+ (* v v) -1)) (+ (* (* -5 v) v) 1) (* -5 v) -5 1 (+ (* v v) -1))
1.0ms	v	@	-inf	((acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) -1 (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (+ (* 4 (* v v)) -1) 4 (* v v) v (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (+ (* (+ (* 4 (* v v)) 4) (* v v)) -1) (+ (* 4 (* v v)) 4) (acos (/ (+ (* (* -5 v) v) 1) (+ (* v v) -1))) (/ (+ (* (* -5 v) v) 1) (+ (* v v) -1)) (+ (* (* -5 v) v) 1) (* -5 v) -5 1 (+ (* v v) -1))
1.0ms	v	@	0	((acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) -1 (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (+ (* 4 (* v v)) -1) 4 (* v v) v (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (+ (* (+ (* 4 (* v v)) 4) (* v v)) -1) (+ (* 4 (* v v)) 4) (acos (/ (+ (* (* -5 v) v) 1) (+ (* v v) -1))) (/ (+ (* (* -5 v) v) 1) (+ (* v v) -1)) (+ (* (* -5 v) v) 1) (* -5 v) -5 1 (+ (* v v) -1))

Time

Variable

Point

Expression

2.0ms

inf

((acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) -1 (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (+ (* 4 (* v v)) -1) 4 (* v v) v (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (+ (* (+ (* 4 (* v v)) 4) (* v v)) -1) (+ (* 4 (* v v)) 4) (acos (/ (+ (* (* -5 v) v) 1) (+ (* v v) -1))) (/ (+ (* (* -5 v) v) 1) (+ (* v v) -1)) (+ (* (* -5 v) v) 1) (* -5 v) -5 1 (+ (* v v) -1))

1.0ms

-inf

((acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) -1 (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (+ (* 4 (* v v)) -1) 4 (* v v) v (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (+ (* (+ (* 4 (* v v)) 4) (* v v)) -1) (+ (* 4 (* v v)) 4) (acos (/ (+ (* (* -5 v) v) 1) (+ (* v v) -1))) (/ (+ (* (* -5 v) v) 1) (+ (* v v) -1)) (+ (* (* -5 v) v) 1) (* -5 v) -5 1 (+ (* v v) -1))

1.0ms

((acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) -1 (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (+ (* 4 (* v v)) -1) 4 (* v v) v (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (+ (* (+ (* 4 (* v v)) 4) (* v v)) -1) (+ (* 4 (* v v)) 4) (acos (/ (+ (* (* -5 v) v) 1) (+ (* v v) -1))) (/ (+ (* (* -5 v) v) 1) (+ (* v v) -1)) (+ (* (* -5 v) v) 1) (* -5 v) -5 1 (+ (* v v) -1))

rewrite205.0ms (4.3%)

Memory

8.1MiB live, 242.1MiB allocated; 25ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	107	692
0	124	618
1	661	615
2	4769	614
0	8323	605
1	27813	605

Stop Event

1×	saturated
1×	node-limit
1×	iter-limit

Counts

47 → 341

Calls

Call 1

Inputs
(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(literal -1 binary64)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(literal -1 binary64))
#s(literal -1 binary64)
(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 #s(literal 4 binary64) (*.f64 v v) #s(literal -1 binary64))))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 #s(literal 4 binary64) (*.f64 v v) #s(literal -1 binary64)))
(fma.f64 #s(literal 4 binary64) (*.f64 v v) #s(literal -1 binary64))
#s(literal 4 binary64)
(*.f64 v v)
v
(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 (fma.f64 #s(literal 4 binary64) (.f64 v v) #s(literal 4 binary64)) (.f64 v v) #s(literal -1 binary64))))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 (fma.f64 #s(literal 4 binary64) (.f64 v v) #s(literal 4 binary64)) (.f64 v v) #s(literal -1 binary64)))
(fma.f64 (fma.f64 #s(literal 4 binary64) (.f64 v v) #s(literal 4 binary64)) (.f64 v v) #s(literal -1 binary64))
(fma.f64 #s(literal 4 binary64) (*.f64 v v) #s(literal 4 binary64))
(acos.f64 (/.f64 (fma.f64 (*.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)) (fma.f64 v v #s(literal -1 binary64))))
(/.f64 (fma.f64 (*.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)) (fma.f64 v v #s(literal -1 binary64)))
(fma.f64 (*.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64))
(*.f64 #s(literal -5 binary64) v)
#s(literal -5 binary64)
#s(literal 1 binary64)
(fma.f64 v v #s(literal -1 binary64))
#s(approx (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) #s(hole binary64 (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 -1))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (- (* 4 (pow v 2)) 1)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (- (* (pow v 2) (+ 4 (* 4 (pow v 2)))) 1)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (- (* (pow v 2) (+ 4 (* (pow v 2) (+ 4 (* 4 (pow v 2)))))) 1)))
#s(approx (* v v) #s(hole binary64 (pow v 2)))
#s(approx v #s(hole binary64 v))
#s(approx (+ (* 4 (* v v)) 4) #s(hole binary64 4))
#s(approx (+ (* 4 (* v v)) 4) #s(hole binary64 (+ 4 (* 4 (pow v 2)))))
#s(approx (acos (/ (+ (* (* -5 v) v) 1) (+ (* v v) -1))) #s(hole binary64 (acos (/ (+ 1 (* -5 (pow v 2))) (- (pow v 2) 1)))))
#s(approx (+ (* (* -5 v) v) 1) #s(hole binary64 1))
#s(approx (+ (* (* -5 v) v) 1) #s(hole binary64 (+ 1 (* -5 (pow v 2)))))
#s(approx (* -5 v) #s(hole binary64 (* -5 v)))
#s(approx (+ (* v v) -1) #s(hole binary64 (- (pow v 2) 1)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 -5))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (* -1 (+ 5 (* 4 (/ 1 (pow v 2)))))))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (- (* -1 (/ (+ 4 (* 4 (/ 1 (pow v 2)))) (pow v 2))) 5)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (- (* -1 (/ (+ 4 (* 4 (/ 1 (pow v 2)))) (pow v 4))) (+ 5 (* 4 (/ 1 (pow v 2)))))))
#s(approx (+ (* 4 (* v v)) -1) #s(hole binary64 (* 4 (pow v 2))))
#s(approx (+ (* 4 (* v v)) -1) #s(hole binary64 (* (pow v 2) (- 4 (/ 1 (pow v 2))))))
#s(approx (+ (* (+ (* 4 (* v v)) 4) (* v v)) -1) #s(hole binary64 (* 4 (pow v 4))))
#s(approx (+ (* (+ (* 4 (* v v)) 4) (* v v)) -1) #s(hole binary64 (* (pow v 4) (+ 4 (* 4 (/ 1 (pow v 2)))))))
#s(approx (+ (* (+ (* 4 (* v v)) 4) (* v v)) -1) #s(hole binary64 (* (pow v 4) (- (+ 4 (* 4 (/ 1 (pow v 2)))) (/ 1 (pow v 4))))))
#s(approx (+ (* 4 (* v v)) 4) #s(hole binary64 (* (pow v 2) (+ 4 (* 4 (/ 1 (pow v 2)))))))
#s(approx (+ (* (* -5 v) v) 1) #s(hole binary64 (* -5 (pow v 2))))
#s(approx (+ (* (* -5 v) v) 1) #s(hole binary64 (* (pow v 2) (- (/ 1 (pow v 2)) 5))))
#s(approx (+ (* v v) -1) #s(hole binary64 (* (pow v 2) (- 1 (/ 1 (pow v 2))))))

Outputs
(neg.f64 (-.f64 (asin.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(literal -1 binary64))) (*.f64 (PI.f64) #s(literal 1/2 binary64))))
(fma.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) #s(literal 2 binary64) (asin.f64 (neg.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(literal -1 binary64)))))
(fma.f64 (PI.f64) #s(literal 1/2 binary64) (asin.f64 (neg.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(literal -1 binary64)))))
(-.f64 (.f64 (PI.f64) #s(literal 1/2 binary64)) (asin.f64 #s(approx (/ (- 1 ( 5 (* v v))) (- (* v v) 1)) #s(literal -1 binary64))))
(+.f64 (.f64 (PI.f64) #s(literal 1/2 binary64)) (asin.f64 (neg.f64 #s(approx (/ (- 1 ( 5 (* v v))) (- (* v v) 1)) #s(literal -1 binary64)))))
(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(literal -1 binary64)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(literal -1 binary64))
#s(literal -1 binary64)
(neg.f64 (-.f64 (asin.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 #s(literal 4 binary64) (.f64 v v) #s(literal -1 binary64)))) (.f64 (PI.f64) #s(literal 1/2 binary64))))
(fma.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) #s(literal 2 binary64) (asin.f64 (neg.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 #s(literal 4 binary64) (*.f64 v v) #s(literal -1 binary64))))))
(fma.f64 (PI.f64) #s(literal 1/2 binary64) (asin.f64 (neg.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 #s(literal 4 binary64) (*.f64 v v) #s(literal -1 binary64))))))
(-.f64 (.f64 (PI.f64) #s(literal 1/2 binary64)) (asin.f64 #s(approx (/ (- 1 ( 5 (* v v))) (- (* v v) 1)) (fma.f64 #s(literal 4 binary64) (*.f64 v v) #s(literal -1 binary64)))))
(+.f64 (.f64 (PI.f64) #s(literal 1/2 binary64)) (asin.f64 (neg.f64 #s(approx (/ (- 1 ( 5 (* v v))) (- (* v v) 1)) (fma.f64 #s(literal 4 binary64) (*.f64 v v) #s(literal -1 binary64))))))
(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 #s(literal 4 binary64) (*.f64 v v) #s(literal -1 binary64))))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 #s(literal 4 binary64) (*.f64 v v) #s(literal -1 binary64)))
(neg.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 4 binary64) (.f64 v v))))
(fma.f64 (*.f64 #s(literal 4 binary64) (fabs.f64 v)) (fabs.f64 v) #s(literal -1 binary64))
(fma.f64 (*.f64 #s(literal 4 binary64) (neg.f64 v)) (neg.f64 v) #s(literal -1 binary64))
(fma.f64 (.f64 #s(literal 4 binary64) v) (.f64 v #s(literal 1 binary64)) #s(literal -1 binary64))
(fma.f64 (*.f64 #s(literal 4 binary64) v) v #s(literal -1 binary64))
(fma.f64 (.f64 (.f64 (.f64 #s(literal 4 binary64) (.f64 v v)) v) v) (/.f64 #s(literal 1 binary64) (*.f64 v v)) #s(literal -1 binary64))
(fma.f64 (.f64 #s(literal -4 binary64) (.f64 v v)) #s(literal -1 binary64) #s(literal -1 binary64))
(fma.f64 (fabs.f64 v) (*.f64 (fabs.f64 v) #s(literal 4 binary64)) #s(literal -1 binary64))
(fma.f64 (neg.f64 v) (*.f64 (neg.f64 v) #s(literal 4 binary64)) #s(literal -1 binary64))
(fma.f64 (.f64 (.f64 (.f64 v v) v) v) (/.f64 #s(literal 4 binary64) (.f64 v v)) #s(literal -1 binary64))
(fma.f64 (/.f64 #s(literal 4 binary64) (.f64 v v)) (.f64 (.f64 (.f64 v v) v) v) #s(literal -1 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) (.f64 v v)) (.f64 (.f64 (.f64 #s(literal 4 binary64) (*.f64 v v)) v) v) #s(literal -1 binary64))
(fma.f64 (.f64 #s(literal 4 binary64) (.f64 v v)) #s(literal 1 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal 4 binary64) (*.f64 v v) #s(literal -1 binary64))
(fma.f64 (*.f64 v v) #s(literal 4 binary64) #s(literal -1 binary64))
(fma.f64 v (*.f64 #s(literal 4 binary64) v) #s(literal -1 binary64))
(fma.f64 #s(literal 1 binary64) (.f64 #s(literal 4 binary64) (.f64 v v)) #s(literal -1 binary64))
(-.f64 (.f64 #s(literal 4 binary64) (.f64 v v)) #s(literal 1 binary64))
(-.f64 #s(literal -1 binary64) (.f64 #s(literal -4 binary64) (.f64 v v)))
(+.f64 (.f64 #s(literal 4 binary64) (.f64 v v)) #s(literal -1 binary64))
(+.f64 #s(literal -1 binary64) (.f64 #s(literal 4 binary64) (.f64 v v)))
#s(literal 4 binary64)
(.f64 (.f64 (fabs.f64 v) #s(literal -1 binary64)) (*.f64 (fabs.f64 v) #s(literal -1 binary64)))
(.f64 (.f64 (fabs.f64 v) #s(literal 1 binary64)) (*.f64 (fabs.f64 v) #s(literal 1 binary64)))
(.f64 (.f64 (neg.f64 v) #s(literal -1 binary64)) (*.f64 (neg.f64 v) #s(literal -1 binary64)))
(.f64 (.f64 (neg.f64 v) #s(literal 1 binary64)) (*.f64 (neg.f64 v) #s(literal 1 binary64)))
(.f64 (.f64 v #s(literal -1 binary64)) (*.f64 v #s(literal -1 binary64)))
(.f64 (.f64 v #s(literal 1 binary64)) (*.f64 v #s(literal 1 binary64)))
(*.f64 (fabs.f64 (fabs.f64 v)) (fabs.f64 (fabs.f64 v)))
(*.f64 (neg.f64 (fabs.f64 v)) (neg.f64 (fabs.f64 v)))
(*.f64 (neg.f64 (neg.f64 v)) (neg.f64 (neg.f64 v)))
(.f64 (.f64 (neg.f64 v) v) #s(literal -1 binary64))
(.f64 (fabs.f64 v) (.f64 (fabs.f64 v) #s(literal 1 binary64)))
(*.f64 (fabs.f64 v) (fabs.f64 v))
(.f64 (neg.f64 v) (.f64 (neg.f64 v) #s(literal 1 binary64)))
(*.f64 (neg.f64 v) (neg.f64 v))
(.f64 (.f64 (.f64 (.f64 v v) v) v) (/.f64 #s(literal 1 binary64) (*.f64 v v)))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 v v)) (.f64 (.f64 (*.f64 v v) v) v))
(.f64 (.f64 v v) #s(literal 1 binary64))
(.f64 v (.f64 v #s(literal 1 binary64)))
(*.f64 v v)
(.f64 #s(literal 1 binary64) (.f64 v v))
(pow.f64 (neg.f64 (fabs.f64 (fabs.f64 v))) #s(literal 2 binary64))
(pow.f64 (neg.f64 (neg.f64 (fabs.f64 v))) #s(literal 2 binary64))
(pow.f64 (neg.f64 (neg.f64 (neg.f64 v))) #s(literal 2 binary64))
(pow.f64 (*.f64 (fabs.f64 (fabs.f64 v)) #s(literal -1 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 (neg.f64 (fabs.f64 v)) #s(literal -1 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 (neg.f64 (neg.f64 v)) #s(literal -1 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 (fabs.f64 (fabs.f64 v)) #s(literal 1 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 (neg.f64 (fabs.f64 v)) #s(literal 1 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 (neg.f64 (neg.f64 v)) #s(literal 1 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 #s(literal -1 binary64) (fabs.f64 (fabs.f64 v))) #s(literal 2 binary64))
(pow.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 (fabs.f64 v))) #s(literal 2 binary64))
(pow.f64 (*.f64 #s(literal -1 binary64) (neg.f64 (fabs.f64 v))) #s(literal 2 binary64))
(pow.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (fabs.f64 v))) #s(literal 2 binary64))
(pow.f64 (*.f64 #s(literal -1 binary64) (neg.f64 (neg.f64 v))) #s(literal 2 binary64))
(pow.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (neg.f64 v))) #s(literal 2 binary64))
(pow.f64 (*.f64 #s(literal -1 binary64) (fabs.f64 v)) #s(literal 2 binary64))
(pow.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 v)) #s(literal 2 binary64))
(pow.f64 (*.f64 #s(literal -1 binary64) (neg.f64 v)) #s(literal 2 binary64))
(pow.f64 (*.f64 #s(literal 1 binary64) (neg.f64 v)) #s(literal 2 binary64))
(pow.f64 (*.f64 #s(literal 1 binary64) v) #s(literal 2 binary64))
(pow.f64 (*.f64 #s(literal -1 binary64) v) #s(literal 2 binary64))
(pow.f64 (*.f64 (fabs.f64 v) #s(literal -1 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 (fabs.f64 v) #s(literal 1 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 (neg.f64 v) #s(literal -1 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 (neg.f64 v) #s(literal 1 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 v #s(literal -1 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 v #s(literal 1 binary64)) #s(literal 2 binary64))
(pow.f64 (fabs.f64 (fabs.f64 v)) #s(literal 2 binary64))
(pow.f64 (neg.f64 (fabs.f64 v)) #s(literal 2 binary64))
(pow.f64 (neg.f64 (neg.f64 v)) #s(literal 2 binary64))
(pow.f64 (fabs.f64 v) #s(literal 2 binary64))
(pow.f64 (neg.f64 v) #s(literal 2 binary64))
(pow.f64 (.f64 (.f64 (*.f64 v v) v) v) #s(literal 1/2 binary64))
(pow.f64 (*.f64 v v) #s(literal 1 binary64))
(pow.f64 v #s(literal 2 binary64))
(/.f64 (.f64 (.f64 v v) #s(literal 2 binary64)) #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 v) v))
(sqrt.f64 (.f64 (.f64 (*.f64 v v) v) v))
(fabs.f64 (*.f64 (neg.f64 v) v))
(fabs.f64 (*.f64 v v))
(+.f64 (/.f64 (fma.f64 v v (/.f64 #s(literal 1 binary64) (.f64 v v))) #s(literal 2 binary64)) (/.f64 (-.f64 (.f64 v v) (/.f64 #s(literal 1 binary64) (*.f64 v v))) #s(literal 2 binary64)))
v
(neg.f64 (-.f64 (asin.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 (fma.f64 #s(literal 4 binary64) (.f64 v v) #s(literal 4 binary64)) (.f64 v v) #s(literal -1 binary64)))) (*.f64 (PI.f64) #s(literal 1/2 binary64))))
(fma.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) #s(literal 2 binary64) (asin.f64 (neg.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 (fma.f64 #s(literal 4 binary64) (.f64 v v) #s(literal 4 binary64)) (.f64 v v) #s(literal -1 binary64))))))
(fma.f64 (PI.f64) #s(literal 1/2 binary64) (asin.f64 (neg.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 (fma.f64 #s(literal 4 binary64) (.f64 v v) #s(literal 4 binary64)) (.f64 v v) #s(literal -1 binary64))))))
(-.f64 (.f64 (PI.f64) #s(literal 1/2 binary64)) (asin.f64 #s(approx (/ (- 1 ( 5 (* v v))) (- (* v v) 1)) (fma.f64 (fma.f64 #s(literal 4 binary64) (.f64 v v) #s(literal 4 binary64)) (.f64 v v) #s(literal -1 binary64)))))
(+.f64 (.f64 (PI.f64) #s(literal 1/2 binary64)) (asin.f64 (neg.f64 #s(approx (/ (- 1 ( 5 (* v v))) (- (* v v) 1)) (fma.f64 (fma.f64 #s(literal 4 binary64) (.f64 v v) #s(literal 4 binary64)) (.f64 v v) #s(literal -1 binary64))))))
(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 (fma.f64 #s(literal 4 binary64) (.f64 v v) #s(literal 4 binary64)) (.f64 v v) #s(literal -1 binary64))))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 (fma.f64 #s(literal 4 binary64) (.f64 v v) #s(literal 4 binary64)) (.f64 v v) #s(literal -1 binary64)))
(neg.f64 (-.f64 #s(literal 1 binary64) (.f64 (.f64 (fma.f64 #s(literal 4 binary64) (*.f64 v v) #s(literal 4 binary64)) v) v)))
(fma.f64 (.f64 #s(literal 4 binary64) (fabs.f64 v)) (fabs.f64 v) (fma.f64 (.f64 (.f64 #s(literal 4 binary64) (.f64 v v)) v) v #s(literal -1 binary64)))
(fma.f64 (.f64 #s(literal 4 binary64) (fabs.f64 v)) (fabs.f64 v) (-.f64 (.f64 (.f64 (.f64 #s(literal 4 binary64) (*.f64 v v)) v) v) #s(literal 1 binary64)))
(fma.f64 (.f64 #s(literal 4 binary64) (neg.f64 v)) (neg.f64 v) (fma.f64 (.f64 (.f64 #s(literal 4 binary64) (.f64 v v)) v) v #s(literal -1 binary64)))
(fma.f64 (.f64 #s(literal 4 binary64) (neg.f64 v)) (neg.f64 v) (-.f64 (.f64 (.f64 (.f64 #s(literal 4 binary64) (*.f64 v v)) v) v) #s(literal 1 binary64)))
(fma.f64 (.f64 (fma.f64 #s(literal 4 binary64) (.f64 v v) #s(literal 4 binary64)) (fabs.f64 v)) (fabs.f64 v) #s(literal -1 binary64))
(fma.f64 (.f64 (fma.f64 #s(literal 4 binary64) (.f64 v v) #s(literal 4 binary64)) (neg.f64 v)) (neg.f64 v) #s(literal -1 binary64))
(fma.f64 (.f64 (fma.f64 #s(literal 4 binary64) (.f64 v v) #s(literal 4 binary64)) v) (*.f64 v #s(literal 1 binary64)) #s(literal -1 binary64))
(fma.f64 (.f64 (fma.f64 #s(literal 4 binary64) (.f64 v v) #s(literal 4 binary64)) v) v #s(literal -1 binary64))
(fma.f64 (.f64 #s(literal 4 binary64) v) (.f64 v #s(literal 1 binary64)) (fma.f64 (.f64 (.f64 #s(literal 4 binary64) (*.f64 v v)) v) v #s(literal -1 binary64)))
(fma.f64 (.f64 #s(literal 4 binary64) v) (.f64 v #s(literal 1 binary64)) (-.f64 (.f64 (.f64 (.f64 #s(literal 4 binary64) (.f64 v v)) v) v) #s(literal 1 binary64)))
(fma.f64 (.f64 #s(literal 4 binary64) v) v (fma.f64 (.f64 (.f64 #s(literal 4 binary64) (.f64 v v)) v) v #s(literal -1 binary64)))
(fma.f64 (.f64 #s(literal 4 binary64) v) v (-.f64 (.f64 (.f64 (.f64 #s(literal 4 binary64) (*.f64 v v)) v) v) #s(literal 1 binary64)))
(fma.f64 (.f64 (.f64 (.f64 #s(literal 4 binary64) (.f64 v v)) v) v) (/.f64 #s(literal 1 binary64) (.f64 v v)) (fma.f64 (.f64 (.f64 #s(literal 4 binary64) (.f64 v v)) v) v #s(literal -1 binary64)))
(fma.f64 (.f64 (.f64 (.f64 #s(literal 4 binary64) (.f64 v v)) v) v) (/.f64 #s(literal 1 binary64) (.f64 v v)) (-.f64 (.f64 (.f64 (.f64 #s(literal 4 binary64) (*.f64 v v)) v) v) #s(literal 1 binary64)))
(fma.f64 (.f64 #s(literal -4 binary64) (.f64 v v)) #s(literal -1 binary64) (fma.f64 (.f64 (.f64 #s(literal 4 binary64) (*.f64 v v)) v) v #s(literal -1 binary64)))
(fma.f64 (.f64 #s(literal -4 binary64) (.f64 v v)) #s(literal -1 binary64) (-.f64 (.f64 (.f64 (.f64 #s(literal 4 binary64) (.f64 v v)) v) v) #s(literal 1 binary64)))
(fma.f64 (.f64 (.f64 (fma.f64 #s(literal 4 binary64) (*.f64 v v) #s(literal 4 binary64)) v) (neg.f64 v)) #s(literal -1 binary64) #s(literal -1 binary64))
(fma.f64 (fma.f64 v v #s(literal 1 binary64)) (.f64 #s(literal 4 binary64) (.f64 v v)) #s(literal -1 binary64))
(fma.f64 (fabs.f64 v) (.f64 (fabs.f64 v) #s(literal 4 binary64)) (fma.f64 (.f64 (.f64 #s(literal 4 binary64) (.f64 v v)) v) v #s(literal -1 binary64)))
(fma.f64 (fabs.f64 v) (.f64 (fabs.f64 v) #s(literal 4 binary64)) (-.f64 (.f64 (.f64 (.f64 #s(literal 4 binary64) (*.f64 v v)) v) v) #s(literal 1 binary64)))
(fma.f64 (fabs.f64 v) (.f64 (fabs.f64 v) (fma.f64 #s(literal 4 binary64) (.f64 v v) #s(literal 4 binary64))) #s(literal -1 binary64))
(fma.f64 (neg.f64 v) (.f64 (neg.f64 v) #s(literal 4 binary64)) (fma.f64 (.f64 (.f64 #s(literal 4 binary64) (.f64 v v)) v) v #s(literal -1 binary64)))
(fma.f64 (neg.f64 v) (.f64 (neg.f64 v) #s(literal 4 binary64)) (-.f64 (.f64 (.f64 (.f64 #s(literal 4 binary64) (*.f64 v v)) v) v) #s(literal 1 binary64)))
(fma.f64 (neg.f64 v) (.f64 (neg.f64 v) (fma.f64 #s(literal 4 binary64) (.f64 v v) #s(literal 4 binary64))) #s(literal -1 binary64))
(fma.f64 (.f64 (.f64 (.f64 v v) v) v) (-.f64 (/.f64 #s(literal 4 binary64) (.f64 v v)) #s(literal -4 binary64)) #s(literal -1 binary64))
(fma.f64 (.f64 (.f64 (.f64 v v) v) v) (/.f64 #s(literal 4 binary64) (.f64 v v)) (fma.f64 (.f64 (.f64 #s(literal 4 binary64) (*.f64 v v)) v) v #s(literal -1 binary64)))
(fma.f64 (.f64 (.f64 (.f64 v v) v) v) (/.f64 #s(literal 4 binary64) (.f64 v v)) (-.f64 (.f64 (.f64 (.f64 #s(literal 4 binary64) (.f64 v v)) v) v) #s(literal 1 binary64)))
(fma.f64 (-.f64 (/.f64 #s(literal 4 binary64) (.f64 v v)) #s(literal -4 binary64)) (.f64 (.f64 (.f64 v v) v) v) #s(literal -1 binary64))
(fma.f64 (/.f64 #s(literal 4 binary64) (.f64 v v)) (.f64 (.f64 (.f64 v v) v) v) (fma.f64 (.f64 (.f64 #s(literal 4 binary64) (*.f64 v v)) v) v #s(literal -1 binary64)))
(fma.f64 (/.f64 #s(literal 4 binary64) (.f64 v v)) (.f64 (.f64 (.f64 v v) v) v) (-.f64 (.f64 (.f64 (.f64 #s(literal 4 binary64) (.f64 v v)) v) v) #s(literal 1 binary64)))
(fma.f64 (/.f64 #s(literal 1 binary64) (.f64 v v)) (.f64 (.f64 (.f64 #s(literal 4 binary64) (.f64 v v)) v) v) (fma.f64 (.f64 (.f64 #s(literal 4 binary64) (.f64 v v)) v) v #s(literal -1 binary64)))
(fma.f64 (/.f64 #s(literal 1 binary64) (.f64 v v)) (.f64 (.f64 (.f64 #s(literal 4 binary64) (.f64 v v)) v) v) (-.f64 (.f64 (.f64 (.f64 #s(literal 4 binary64) (*.f64 v v)) v) v) #s(literal 1 binary64)))
(fma.f64 (fma.f64 #s(literal 4 binary64) (.f64 v v) #s(literal 4 binary64)) (.f64 v v) #s(literal -1 binary64))
(fma.f64 (.f64 #s(literal 4 binary64) (.f64 v v)) #s(literal 1 binary64) (fma.f64 (.f64 (.f64 #s(literal 4 binary64) (*.f64 v v)) v) v #s(literal -1 binary64)))
(fma.f64 (.f64 #s(literal 4 binary64) (.f64 v v)) #s(literal 1 binary64) (-.f64 (.f64 (.f64 (.f64 #s(literal 4 binary64) (.f64 v v)) v) v) #s(literal 1 binary64)))
(fma.f64 (.f64 (.f64 (fma.f64 #s(literal 4 binary64) (*.f64 v v) #s(literal 4 binary64)) v) v) #s(literal 1 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal 4 binary64) (.f64 v v) (fma.f64 (.f64 (.f64 #s(literal 4 binary64) (.f64 v v)) v) v #s(literal -1 binary64)))
(fma.f64 #s(literal 4 binary64) (.f64 v v) (-.f64 (.f64 (.f64 (.f64 #s(literal 4 binary64) (*.f64 v v)) v) v) #s(literal 1 binary64)))
(fma.f64 (.f64 v v) (.f64 (fma.f64 #s(literal 4 binary64) (*.f64 v v) #s(literal 4 binary64)) #s(literal 1 binary64)) #s(literal -1 binary64))
(fma.f64 (.f64 v v) (fma.f64 #s(literal 4 binary64) (.f64 v v) #s(literal 4 binary64)) #s(literal -1 binary64))
(fma.f64 (.f64 v v) #s(literal 4 binary64) (fma.f64 (.f64 (.f64 #s(literal 4 binary64) (.f64 v v)) v) v #s(literal -1 binary64)))
(fma.f64 (.f64 v v) #s(literal 4 binary64) (-.f64 (.f64 (.f64 (.f64 #s(literal 4 binary64) (*.f64 v v)) v) v) #s(literal 1 binary64)))
(fma.f64 v (.f64 (fma.f64 #s(literal 4 binary64) (.f64 v v) #s(literal 4 binary64)) v) #s(literal -1 binary64))
(fma.f64 v (.f64 #s(literal 4 binary64) v) (fma.f64 (.f64 (.f64 #s(literal 4 binary64) (.f64 v v)) v) v #s(literal -1 binary64)))
(fma.f64 v (.f64 #s(literal 4 binary64) v) (-.f64 (.f64 (.f64 (.f64 #s(literal 4 binary64) (*.f64 v v)) v) v) #s(literal 1 binary64)))
(fma.f64 #s(literal 1 binary64) (.f64 #s(literal 4 binary64) (.f64 v v)) (fma.f64 (.f64 (.f64 #s(literal 4 binary64) (*.f64 v v)) v) v #s(literal -1 binary64)))
(fma.f64 #s(literal 1 binary64) (.f64 #s(literal 4 binary64) (.f64 v v)) (-.f64 (.f64 (.f64 (.f64 #s(literal 4 binary64) (.f64 v v)) v) v) #s(literal 1 binary64)))
(fma.f64 #s(literal 1 binary64) (.f64 (.f64 (fma.f64 #s(literal 4 binary64) (*.f64 v v) #s(literal 4 binary64)) v) v) #s(literal -1 binary64))
(-.f64 (.f64 (.f64 (fma.f64 #s(literal 4 binary64) (*.f64 v v) #s(literal 4 binary64)) v) v) #s(literal 1 binary64))
(-.f64 #s(literal -1 binary64) (.f64 (.f64 (fma.f64 #s(literal 4 binary64) (*.f64 v v) #s(literal 4 binary64)) v) (neg.f64 v)))
(+.f64 (fma.f64 #s(literal 4 binary64) (.f64 v v) #s(literal -1 binary64)) (.f64 (.f64 (.f64 #s(literal 4 binary64) (*.f64 v v)) v) v))
(+.f64 (.f64 #s(literal 4 binary64) (.f64 v v)) (fma.f64 (.f64 (.f64 #s(literal 4 binary64) (*.f64 v v)) v) v #s(literal -1 binary64)))
(+.f64 (.f64 #s(literal 4 binary64) (.f64 v v)) (-.f64 (.f64 (.f64 (.f64 #s(literal 4 binary64) (.f64 v v)) v) v) #s(literal 1 binary64)))
(+.f64 (.f64 (.f64 (fma.f64 #s(literal 4 binary64) (*.f64 v v) #s(literal 4 binary64)) v) v) #s(literal -1 binary64))
(+.f64 #s(literal -1 binary64) (.f64 (.f64 (fma.f64 #s(literal 4 binary64) (*.f64 v v) #s(literal 4 binary64)) v) v))
(.f64 (.f64 (-.f64 (/.f64 #s(literal 4 binary64) (*.f64 v v)) #s(literal -4 binary64)) (fabs.f64 v)) (fabs.f64 v))
(.f64 (.f64 (-.f64 (/.f64 #s(literal 4 binary64) (*.f64 v v)) #s(literal -4 binary64)) (neg.f64 v)) (neg.f64 v))
(.f64 (.f64 (-.f64 (/.f64 #s(literal 4 binary64) (*.f64 v v)) #s(literal -4 binary64)) v) v)
(*.f64 (fma.f64 v v #s(literal 1 binary64)) #s(literal 4 binary64))
(.f64 (fabs.f64 v) (.f64 (fabs.f64 v) (-.f64 (/.f64 #s(literal 4 binary64) (*.f64 v v)) #s(literal -4 binary64))))
(.f64 (neg.f64 v) (.f64 (neg.f64 v) (-.f64 (/.f64 #s(literal 4 binary64) (*.f64 v v)) #s(literal -4 binary64))))
(.f64 (-.f64 (/.f64 #s(literal 4 binary64) (.f64 v v)) #s(literal -4 binary64)) (*.f64 v v))
(*.f64 #s(literal 4 binary64) (fma.f64 v v #s(literal 1 binary64)))
(.f64 (.f64 v v) (-.f64 (/.f64 #s(literal 4 binary64) (*.f64 v v)) #s(literal -4 binary64)))
(.f64 v (.f64 v (-.f64 (/.f64 #s(literal 4 binary64) (*.f64 v v)) #s(literal -4 binary64))))
(neg.f64 (-.f64 #s(literal -4 binary64) (.f64 #s(literal 4 binary64) (.f64 v v))))
(neg.f64 (-.f64 (.f64 #s(literal -4 binary64) (.f64 v v)) #s(literal 4 binary64)))
(fma.f64 (*.f64 #s(literal 4 binary64) (fabs.f64 v)) (fabs.f64 v) #s(literal 4 binary64))
(fma.f64 (*.f64 #s(literal 4 binary64) (neg.f64 v)) (neg.f64 v) #s(literal 4 binary64))
(fma.f64 (.f64 #s(literal 4 binary64) v) (.f64 v #s(literal 1 binary64)) #s(literal 4 binary64))
(fma.f64 (*.f64 #s(literal 4 binary64) v) v #s(literal 4 binary64))
(fma.f64 (.f64 (.f64 (.f64 #s(literal 4 binary64) (.f64 v v)) v) v) (/.f64 #s(literal 1 binary64) (*.f64 v v)) #s(literal 4 binary64))
(fma.f64 (.f64 #s(literal -4 binary64) (.f64 v v)) #s(literal -1 binary64) #s(literal 4 binary64))
(fma.f64 (fabs.f64 v) (*.f64 (fabs.f64 v) #s(literal 4 binary64)) #s(literal 4 binary64))
(fma.f64 (neg.f64 v) (*.f64 (neg.f64 v) #s(literal 4 binary64)) #s(literal 4 binary64))
(fma.f64 (.f64 (.f64 (.f64 v v) v) v) (/.f64 #s(literal 4 binary64) (.f64 v v)) #s(literal 4 binary64))
(fma.f64 (/.f64 #s(literal 4 binary64) (.f64 v v)) (.f64 (.f64 (.f64 v v) v) v) #s(literal 4 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) (.f64 v v)) (.f64 (.f64 (.f64 #s(literal 4 binary64) (*.f64 v v)) v) v) #s(literal 4 binary64))
(fma.f64 (.f64 #s(literal 4 binary64) (.f64 v v)) #s(literal 1 binary64) #s(literal 4 binary64))
(fma.f64 #s(literal 4 binary64) (*.f64 v v) #s(literal 4 binary64))
(fma.f64 (*.f64 v v) #s(literal 4 binary64) #s(literal 4 binary64))
(fma.f64 v (*.f64 #s(literal 4 binary64) v) #s(literal 4 binary64))
(fma.f64 #s(literal 1 binary64) (.f64 #s(literal 4 binary64) (.f64 v v)) #s(literal 4 binary64))
(-.f64 (.f64 #s(literal 4 binary64) (.f64 v v)) (.f64 (.f64 (neg.f64 v) v) (/.f64 #s(literal 4 binary64) (*.f64 v v))))
(-.f64 (.f64 #s(literal 4 binary64) (.f64 v v)) (.f64 (/.f64 #s(literal -4 binary64) (.f64 v v)) (*.f64 v v)))
(-.f64 (.f64 #s(literal 4 binary64) (.f64 v v)) #s(literal -4 binary64))
(-.f64 #s(literal 4 binary64) (.f64 #s(literal -4 binary64) (.f64 v v)))
(+.f64 (.f64 #s(literal 4 binary64) (.f64 v v)) #s(literal 4 binary64))
(+.f64 #s(literal 4 binary64) (.f64 #s(literal 4 binary64) (.f64 v v)))
(neg.f64 (-.f64 (asin.f64 (/.f64 (fma.f64 (.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)) (fma.f64 v v #s(literal -1 binary64)))) (.f64 (PI.f64) #s(literal 1/2 binary64))))
(fma.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) #s(literal 2 binary64) (asin.f64 (neg.f64 (/.f64 (fma.f64 (*.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)) (fma.f64 v v #s(literal -1 binary64))))))
(fma.f64 (PI.f64) #s(literal 1/2 binary64) (asin.f64 (neg.f64 (/.f64 (fma.f64 (*.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)) (fma.f64 v v #s(literal -1 binary64))))))
(-.f64 (.f64 (PI.f64) #s(literal 1/2 binary64)) (asin.f64 (/.f64 (fma.f64 (.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)) (fma.f64 v v #s(literal -1 binary64)))))
(-.f64 (PI.f64) (acos.f64 (.f64 (fma.f64 (.f64 v v) #s(literal 5 binary64) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (fma.f64 v v #s(literal -1 binary64))))))
(-.f64 (PI.f64) (acos.f64 (/.f64 (fma.f64 (*.f64 v v) #s(literal 5 binary64) #s(literal -1 binary64)) (fma.f64 v v #s(literal -1 binary64)))))
(-.f64 (PI.f64) (acos.f64 (/.f64 (fma.f64 (.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)) (-.f64 #s(literal 1 binary64) (.f64 v v)))))
(-.f64 (PI.f64) (acos.f64 (-.f64 (.f64 (.f64 v #s(literal 5 binary64)) (/.f64 v (fma.f64 v v #s(literal -1 binary64)))) (/.f64 #s(literal 1 binary64) (fma.f64 v v #s(literal -1 binary64))))))
(+.f64 (.f64 (PI.f64) #s(literal 1/2 binary64)) (asin.f64 (neg.f64 (/.f64 (fma.f64 (.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)) (fma.f64 v v #s(literal -1 binary64))))))
(acos.f64 (/.f64 (fma.f64 (*.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)) (fma.f64 v v #s(literal -1 binary64))))
(.f64 (/.f64 #s(literal 1 binary64) (fma.f64 v v #s(literal -1 binary64))) (fma.f64 (.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)))
(.f64 (fma.f64 (.f64 v v) #s(literal 5 binary64) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (*.f64 v v))))
(.f64 (fma.f64 (.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (fma.f64 v v #s(literal -1 binary64))))
(.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)) (fma.f64 v v #s(literal -1 binary64))))
(/.f64 (.f64 (fma.f64 (.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)) #s(literal 1 binary64)) (fma.f64 v v #s(literal -1 binary64)))
(/.f64 (/.f64 (fma.f64 (*.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)) (-.f64 v #s(literal -1 binary64))) (-.f64 v #s(literal 1 binary64)))
(/.f64 (fma.f64 #s(literal 1 binary64) (fma.f64 v v #s(literal -1 binary64)) (.f64 (fma.f64 v v #s(literal -1 binary64)) (.f64 (.f64 #s(literal -5 binary64) v) v))) (.f64 (fma.f64 v v #s(literal -1 binary64)) (fma.f64 v v #s(literal -1 binary64))))
(/.f64 (fma.f64 (.f64 (.f64 #s(literal -5 binary64) v) v) (fma.f64 v v #s(literal -1 binary64)) (.f64 (fma.f64 v v #s(literal -1 binary64)) #s(literal 1 binary64))) (.f64 (fma.f64 v v #s(literal -1 binary64)) (fma.f64 v v #s(literal -1 binary64))))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (fma.f64 v v #s(literal -1 binary64))) (.f64 (fma.f64 v v #s(literal -1 binary64)) (.f64 (.f64 v v) #s(literal 5 binary64)))) (*.f64 (fma.f64 v v #s(literal -1 binary64)) (fma.f64 v v #s(literal -1 binary64))))
(/.f64 (fma.f64 (.f64 v v) #s(literal 5 binary64) #s(literal -1 binary64)) (-.f64 #s(literal 1 binary64) (.f64 v v)))
(/.f64 (fma.f64 (*.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)) (fma.f64 v v #s(literal -1 binary64)))
(neg.f64 (.f64 (fma.f64 (.f64 v v) #s(literal 5 binary64) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (fma.f64 v v #s(literal -1 binary64)))))
(neg.f64 (/.f64 (fma.f64 (*.f64 v v) #s(literal 5 binary64) #s(literal -1 binary64)) (fma.f64 v v #s(literal -1 binary64))))
(neg.f64 (/.f64 (fma.f64 (.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)) (-.f64 #s(literal 1 binary64) (.f64 v v))))
(neg.f64 (-.f64 (.f64 (.f64 v #s(literal 5 binary64)) (/.f64 v (fma.f64 v v #s(literal -1 binary64)))) (/.f64 #s(literal 1 binary64) (fma.f64 v v #s(literal -1 binary64)))))
(fma.f64 (/.f64 (*.f64 #s(literal -5 binary64) v) (-.f64 v #s(literal -1 binary64))) (/.f64 v (-.f64 v #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 v v #s(literal -1 binary64))))
(fma.f64 (/.f64 #s(literal -5 binary64) (-.f64 v #s(literal -1 binary64))) (/.f64 (*.f64 v v) (-.f64 v #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 v v #s(literal -1 binary64))))
(fma.f64 (/.f64 v (-.f64 v #s(literal -1 binary64))) (/.f64 (*.f64 #s(literal -5 binary64) v) (-.f64 v #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 v v #s(literal -1 binary64))))
(fma.f64 (/.f64 (*.f64 v v) (-.f64 v #s(literal -1 binary64))) (/.f64 #s(literal -5 binary64) (-.f64 v #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 v v #s(literal -1 binary64))))
(fma.f64 (/.f64 #s(literal -1 binary64) (-.f64 v #s(literal -1 binary64))) (/.f64 #s(literal -1 binary64) (-.f64 v #s(literal 1 binary64))) (.f64 (.f64 #s(literal -5 binary64) v) (/.f64 v (fma.f64 v v #s(literal -1 binary64)))))
(fma.f64 (/.f64 #s(literal 1 binary64) (-.f64 v #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 v #s(literal 1 binary64))) (.f64 (.f64 #s(literal -5 binary64) v) (/.f64 v (fma.f64 v v #s(literal -1 binary64)))))
(fma.f64 (.f64 (.f64 #s(literal -5 binary64) v) v) (/.f64 #s(literal 1 binary64) (fma.f64 v v #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 v v #s(literal -1 binary64))))
(fma.f64 (*.f64 #s(literal -5 binary64) v) (/.f64 v (fma.f64 v v #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 v v #s(literal -1 binary64))))
(fma.f64 #s(literal -5 binary64) (/.f64 (*.f64 v v) (fma.f64 v v #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 v v #s(literal -1 binary64))))
(fma.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (fma.f64 v v #s(literal -1 binary64))) (.f64 (.f64 #s(literal -5 binary64) v) (/.f64 v (fma.f64 v v #s(literal -1 binary64)))))
(fma.f64 (*.f64 v v) (/.f64 #s(literal -5 binary64) (fma.f64 v v #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 v v #s(literal -1 binary64))))
(fma.f64 v (/.f64 (*.f64 #s(literal -5 binary64) v) (fma.f64 v v #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 v v #s(literal -1 binary64))))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (fma.f64 v v #s(literal -1 binary64))) (.f64 (.f64 #s(literal -5 binary64) v) (/.f64 v (fma.f64 v v #s(literal -1 binary64)))))
(-.f64 (/.f64 #s(literal 1 binary64) (fma.f64 v v #s(literal -1 binary64))) (.f64 (.f64 v #s(literal 5 binary64)) (/.f64 v (fma.f64 v v #s(literal -1 binary64)))))
(-.f64 (.f64 (.f64 #s(literal -5 binary64) v) (/.f64 v (fma.f64 v v #s(literal -1 binary64)))) (neg.f64 (/.f64 #s(literal 1 binary64) (fma.f64 v v #s(literal -1 binary64)))))
(-.f64 (.f64 (.f64 #s(literal -5 binary64) v) (/.f64 v (fma.f64 v v #s(literal -1 binary64)))) (/.f64 #s(literal -1 binary64) (fma.f64 v v #s(literal -1 binary64))))
(+.f64 (/.f64 #s(literal 1 binary64) (fma.f64 v v #s(literal -1 binary64))) (.f64 (.f64 #s(literal -5 binary64) v) (/.f64 v (fma.f64 v v #s(literal -1 binary64)))))
(+.f64 (.f64 (.f64 #s(literal -5 binary64) v) (/.f64 v (fma.f64 v v #s(literal -1 binary64)))) (/.f64 #s(literal 1 binary64) (fma.f64 v v #s(literal -1 binary64))))
(.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 v v)) #s(literal 5 binary64)) (fabs.f64 v)) (fabs.f64 v))
(.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 v v)) #s(literal 5 binary64)) (neg.f64 v)) (neg.f64 v))
(.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 v v)) #s(literal 5 binary64)) v) v)
(.f64 (fabs.f64 v) (.f64 (fabs.f64 v) (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 v v)) #s(literal 5 binary64))))
(.f64 (neg.f64 v) (.f64 (neg.f64 v) (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 v v)) #s(literal 5 binary64))))
(.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 v v)) #s(literal 5 binary64)) (*.f64 v v))
(.f64 (.f64 v v) (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 v v)) #s(literal 5 binary64)))
(.f64 v (.f64 v (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 v v)) #s(literal 5 binary64))))
(neg.f64 (.f64 (-.f64 #s(literal 5 binary64) (/.f64 #s(literal 1 binary64) (.f64 v v))) (*.f64 v v)))
(neg.f64 (.f64 (.f64 v v) (-.f64 #s(literal 5 binary64) (/.f64 #s(literal 1 binary64) (*.f64 v v)))))
(neg.f64 (fma.f64 (*.f64 v v) #s(literal 5 binary64) #s(literal -1 binary64)))
(fma.f64 (*.f64 #s(literal -5 binary64) (fabs.f64 v)) (fabs.f64 v) #s(literal 1 binary64))
(fma.f64 (*.f64 #s(literal -5 binary64) (neg.f64 v)) (neg.f64 v) #s(literal 1 binary64))
(fma.f64 (.f64 #s(literal 1 binary64) (.f64 #s(literal -5 binary64) v)) v #s(literal 1 binary64))
(fma.f64 (.f64 #s(literal 1 binary64) v) (.f64 #s(literal -5 binary64) v) #s(literal 1 binary64))
(fma.f64 (.f64 (.f64 (*.f64 #s(literal -5 binary64) v) v) #s(literal -1 binary64)) #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 (*.f64 v #s(literal 5 binary64)) (neg.f64 v) #s(literal 1 binary64))
(fma.f64 (*.f64 (neg.f64 v) v) #s(literal 5 binary64) #s(literal 1 binary64))
(fma.f64 (fabs.f64 v) (*.f64 (fabs.f64 v) #s(literal -5 binary64)) #s(literal 1 binary64))
(fma.f64 (neg.f64 v) (*.f64 (neg.f64 v) #s(literal -5 binary64)) #s(literal 1 binary64))
(fma.f64 (.f64 (.f64 #s(literal -5 binary64) v) v) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 (.f64 #s(literal -5 binary64) v) (.f64 v #s(literal 1 binary64)) #s(literal 1 binary64))
(fma.f64 (*.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64))
(fma.f64 #s(literal -5 binary64) (*.f64 v v) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) (.f64 (.f64 v v) #s(literal 5 binary64)) #s(literal 1 binary64))
(fma.f64 (.f64 (.f64 v v) #s(literal 5 binary64)) #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 (*.f64 v v) #s(literal -5 binary64) #s(literal 1 binary64))
(fma.f64 v (.f64 (.f64 #s(literal -5 binary64) v) #s(literal 1 binary64)) #s(literal 1 binary64))
(fma.f64 v (*.f64 #s(literal -5 binary64) v) #s(literal 1 binary64))
(fma.f64 #s(literal 5 binary64) (*.f64 (neg.f64 v) v) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) (.f64 (.f64 #s(literal -5 binary64) v) v) #s(literal 1 binary64))
(-.f64 (.f64 (.f64 #s(literal -5 binary64) v) v) #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) (.f64 (.f64 v v) #s(literal 5 binary64)))
(+.f64 (.f64 (.f64 #s(literal -5 binary64) v) v) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (.f64 (.f64 #s(literal -5 binary64) v) v))
(.f64 (.f64 v #s(literal -1 binary64)) #s(literal 5 binary64))
(.f64 (.f64 v #s(literal 5 binary64)) #s(literal -1 binary64))
(*.f64 #s(literal -5 binary64) v)
(.f64 #s(literal -1 binary64) (.f64 v #s(literal 5 binary64)))
(*.f64 v #s(literal -5 binary64))
(.f64 #s(literal 5 binary64) (.f64 #s(literal -1 binary64) v))
(neg.f64 (*.f64 v #s(literal 5 binary64)))
#s(literal -5 binary64)
#s(literal 1 binary64)
(*.f64 (+.f64 (fabs.f64 v) #s(literal -1 binary64)) (-.f64 (fabs.f64 v) #s(literal -1 binary64)))
(*.f64 (+.f64 (neg.f64 v) #s(literal -1 binary64)) (-.f64 (neg.f64 v) #s(literal -1 binary64)))
(*.f64 (+.f64 (fabs.f64 v) #s(literal 1 binary64)) (-.f64 (fabs.f64 v) #s(literal 1 binary64)))
(*.f64 (+.f64 (neg.f64 v) #s(literal 1 binary64)) (-.f64 (neg.f64 v) #s(literal 1 binary64)))
(*.f64 (-.f64 v #s(literal 1 binary64)) (-.f64 v #s(literal -1 binary64)))
(*.f64 (-.f64 v #s(literal -1 binary64)) (-.f64 v #s(literal 1 binary64)))
(neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 v v)))
(fma.f64 (.f64 (fabs.f64 v) #s(literal -1 binary64)) (.f64 (fabs.f64 v) #s(literal -1 binary64)) #s(literal -1 binary64))
(fma.f64 (.f64 (fabs.f64 v) #s(literal 1 binary64)) (.f64 (fabs.f64 v) #s(literal 1 binary64)) #s(literal -1 binary64))
(fma.f64 (.f64 (neg.f64 v) #s(literal -1 binary64)) (.f64 (neg.f64 v) #s(literal -1 binary64)) #s(literal -1 binary64))
(fma.f64 (.f64 (neg.f64 v) #s(literal 1 binary64)) (.f64 (neg.f64 v) #s(literal 1 binary64)) #s(literal -1 binary64))
(fma.f64 (.f64 v #s(literal -1 binary64)) (.f64 v #s(literal -1 binary64)) #s(literal -1 binary64))
(fma.f64 (.f64 v #s(literal 1 binary64)) (.f64 v #s(literal 1 binary64)) #s(literal -1 binary64))
(fma.f64 (fabs.f64 (fabs.f64 v)) (fabs.f64 (fabs.f64 v)) #s(literal -1 binary64))
(fma.f64 (neg.f64 (fabs.f64 v)) (neg.f64 (fabs.f64 v)) #s(literal -1 binary64))
(fma.f64 (neg.f64 (neg.f64 v)) (neg.f64 (neg.f64 v)) #s(literal -1 binary64))
(fma.f64 (*.f64 (neg.f64 v) v) #s(literal -1 binary64) #s(literal -1 binary64))
(fma.f64 (fabs.f64 v) (*.f64 (fabs.f64 v) #s(literal 1 binary64)) #s(literal -1 binary64))
(fma.f64 (fabs.f64 v) (fabs.f64 v) #s(literal -1 binary64))
(fma.f64 (neg.f64 v) (*.f64 (neg.f64 v) #s(literal 1 binary64)) #s(literal -1 binary64))
(fma.f64 (neg.f64 v) (neg.f64 v) #s(literal -1 binary64))
(fma.f64 (.f64 (.f64 (.f64 v v) v) v) (/.f64 #s(literal 1 binary64) (.f64 v v)) #s(literal -1 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) (.f64 v v)) (.f64 (.f64 (.f64 v v) v) v) #s(literal -1 binary64))
(fma.f64 (*.f64 v v) #s(literal 1 binary64) #s(literal -1 binary64))
(fma.f64 v (*.f64 v #s(literal 1 binary64)) #s(literal -1 binary64))
(fma.f64 v v #s(literal -1 binary64))
(fma.f64 #s(literal 1 binary64) (*.f64 v v) #s(literal -1 binary64))
(-.f64 #s(literal -1 binary64) (*.f64 (neg.f64 v) v))
(-.f64 (*.f64 v v) #s(literal 1 binary64))
(+.f64 #s(literal -1 binary64) (*.f64 v v))
(+.f64 (*.f64 v v) #s(literal -1 binary64))
#s(approx (acos (/ (+ (* (* -5 v) v) 1) (+ (* v v) -1))) (acos.f64 (/.f64 (fma.f64 (*.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)) (fma.f64 v v #s(literal -1 binary64)))))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(literal -1 binary64))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 #s(literal 4 binary64) (*.f64 v v) #s(literal -1 binary64)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 (fma.f64 #s(literal 4 binary64) (.f64 v v) #s(literal 4 binary64)) (.f64 v v) #s(literal -1 binary64)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 (.f64 (fma.f64 (.f64 (fma.f64 #s(literal 4 binary64) (*.f64 v v) #s(literal 4 binary64)) v) v #s(literal 4 binary64)) v) v #s(literal -1 binary64)))
#s(approx (* v v) (*.f64 v v))
#s(approx v v)
#s(approx (+ (* 4 (* v v)) 4) #s(literal 4 binary64))
#s(approx (+ (* 4 (* v v)) 4) (fma.f64 #s(literal 4 binary64) (*.f64 v v) #s(literal 4 binary64)))
#s(approx (acos (/ (+ (* (* -5 v) v) 1) (+ (* v v) -1))) (acos.f64 (/.f64 (fma.f64 (*.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)) (fma.f64 v v #s(literal -1 binary64)))))
#s(approx (+ (* (* -5 v) v) 1) #s(literal 1 binary64))
#s(approx (+ (* (* -5 v) v) 1) (fma.f64 (*.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)))
#s(approx (* -5 v) (*.f64 #s(literal -5 binary64) v))
#s(approx (+ (* v v) -1) (fma.f64 v v #s(literal -1 binary64)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(literal -5 binary64))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (-.f64 #s(literal -5 binary64) (/.f64 #s(literal 4 binary64) (*.f64 v v))))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (-.f64 (/.f64 (-.f64 #s(literal -4 binary64) (/.f64 #s(literal 4 binary64) (.f64 v v))) (.f64 v v)) #s(literal 5 binary64)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (-.f64 (/.f64 (-.f64 #s(literal -4 binary64) (/.f64 #s(literal 4 binary64) (.f64 v v))) (.f64 (.f64 (.f64 v v) v) v)) (-.f64 (/.f64 #s(literal 4 binary64) (*.f64 v v)) #s(literal -5 binary64))))
#s(approx (+ (* 4 (* v v)) -1) (.f64 #s(literal 4 binary64) (.f64 v v)))
#s(approx (+ (* 4 (* v v)) -1) (.f64 (.f64 (-.f64 #s(literal 4 binary64) (/.f64 #s(literal 1 binary64) (*.f64 v v))) v) v))
#s(approx (+ (* (+ (* 4 (* v v)) 4) (* v v)) -1) (.f64 (.f64 (.f64 #s(literal 4 binary64) (.f64 v v)) v) v))
#s(approx (+ (* (+ (* 4 (* v v)) 4) (* v v)) -1) (.f64 (.f64 (fma.f64 #s(literal 4 binary64) (*.f64 v v) #s(literal 4 binary64)) v) v))
#s(approx (+ (* (+ (* 4 (* v v)) 4) (* v v)) -1) (.f64 (-.f64 (-.f64 (/.f64 #s(literal 4 binary64) (.f64 v v)) #s(literal -4 binary64)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 v v) v) v))) (.f64 (.f64 (.f64 v v) v) v)))
#s(approx (+ (* 4 (* v v)) 4) (fma.f64 #s(literal 4 binary64) (*.f64 v v) #s(literal 4 binary64)))
#s(approx (+ (* (* -5 v) v) 1) (.f64 (.f64 #s(literal -5 binary64) v) v))
#s(approx (+ (* (* -5 v) v) 1) (fma.f64 (*.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)))
#s(approx (+ (* v v) -1) (.f64 (.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (*.f64 v v))) v) v))

eval50.0ms (1%)

Memory: 0.6MiB live, 98.2MiB allocated; 16ms collecting garbage
Compiler: Compiled 3 145 to 1 444 computations (54.1% saved)

prune10.0ms (0.2%)

Memory

-25.8MiB live, 20.5MiB allocated; 4ms collecting garbage

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	377	1	378
Fresh	0	0	0
Picked	0	4	4
Done	0	0	0
Total	377	5	382

Accuracy

99.1%

Counts

382 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.1%	(acos.f64 (/.f64 (fma.f64 (*.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)) (fma.f64 v v #s(literal -1 binary64))))
✓	98.7%	(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 (fma.f64 #s(literal 4 binary64) (.f64 v v) #s(literal 4 binary64)) (.f64 v v) #s(literal -1 binary64))))
✓	98.6%	(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 #s(literal 4 binary64) (*.f64 v v) #s(literal -1 binary64))))
▶	42.4%	(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(approx (+ (* 4 (* v v)) -1) (.f64 (.f64 (-.f64 #s(literal 4 binary64) (/.f64 #s(literal 1 binary64) (*.f64 v v))) v) v))))
✓	98.2%	(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(literal -1 binary64)))

Compiler

Compiled 77 to 71 computations (7.8% saved)

series4.0ms (0.1%)

Memory

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

Counts

11 → 23

Calls

Call 1

Inputs
(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(approx (+ (* 4 (* v v)) -1) (.f64 (.f64 (-.f64 #s(literal 4 binary64) (/.f64 #s(literal 1 binary64) (*.f64 v v))) v) v))))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(approx (+ (* 4 (* v v)) -1) (.f64 (.f64 (-.f64 #s(literal 4 binary64) (/.f64 #s(literal 1 binary64) (*.f64 v v))) v) v)))
#s(approx (+ (* 4 (* v v)) -1) (.f64 (.f64 (-.f64 #s(literal 4 binary64) (/.f64 #s(literal 1 binary64) (*.f64 v v))) v) v))
(.f64 (.f64 (-.f64 #s(literal 4 binary64) (/.f64 #s(literal 1 binary64) (*.f64 v v))) v) v)
(.f64 (-.f64 #s(literal 4 binary64) (/.f64 #s(literal 1 binary64) (.f64 v v))) v)
(-.f64 #s(literal 4 binary64) (/.f64 #s(literal 1 binary64) (*.f64 v v)))
#s(literal 4 binary64)
(/.f64 #s(literal 1 binary64) (*.f64 v v))
#s(literal 1 binary64)
(*.f64 v v)
v

Outputs
#s(approx (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) #s(hole binary64 (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 -1))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (- (* 4 (pow v 2)) 1)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (- (* (pow v 2) (+ 4 (* 4 (pow v 2)))) 1)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (- (* (pow v 2) (+ 4 (* (pow v 2) (+ 4 (* 4 (pow v 2)))))) 1)))
#s(approx (* (- 4 (/ 1 (* v v))) v) #s(hole binary64 (/ -1 v)))
#s(approx (* (- 4 (/ 1 (* v v))) v) #s(hole binary64 (/ (- (* 4 (pow v 2)) 1) v)))
#s(approx (- 4 (/ 1 (* v v))) #s(hole binary64 (/ -1 (pow v 2))))
#s(approx (- 4 (/ 1 (* v v))) #s(hole binary64 (/ (- (* 4 (pow v 2)) 1) (pow v 2))))
#s(approx (/ 1 (* v v)) #s(hole binary64 (/ 1 (pow v 2))))
#s(approx (* v v) #s(hole binary64 (pow v 2)))
#s(approx v #s(hole binary64 v))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 -5))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (* -1 (+ 5 (* 4 (/ 1 (pow v 2)))))))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (- (* -1 (/ (+ 4 (* 4 (/ 1 (pow v 2)))) (pow v 2))) 5)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (- (* -1 (/ (+ 4 (* 4 (/ 1 (pow v 2)))) (pow v 4))) (+ 5 (* 4 (/ 1 (pow v 2)))))))
#s(approx (+ (* 4 (* v v)) -1) #s(hole binary64 (* 4 (pow v 2))))
#s(approx (+ (* 4 (* v v)) -1) #s(hole binary64 (* (pow v 2) (- 4 (/ 1 (pow v 2))))))
#s(approx (* (- 4 (/ 1 (* v v))) v) #s(hole binary64 (* 4 v)))
#s(approx (* (- 4 (/ 1 (* v v))) v) #s(hole binary64 (* v (- 4 (/ 1 (pow v 2))))))
#s(approx (- 4 (/ 1 (* v v))) #s(hole binary64 4))
#s(approx (- 4 (/ 1 (* v v))) #s(hole binary64 (- 4 (/ 1 (pow v 2)))))
#s(approx (* (- 4 (/ 1 (* v v))) v) #s(hole binary64 (* -1 (* v (- (/ 1 (pow v 2)) 4)))))

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	v	@	-inf	((acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (+ (* 4 (* v v)) -1) (* (* (- 4 (/ 1 (* v v))) v) v) (* (- 4 (/ 1 (* v v))) v) (- 4 (/ 1 (* v v))) 4 (/ 1 (* v v)) 1 (* v v) v)
1.0ms	v	@	inf	((acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (+ (* 4 (* v v)) -1) (* (* (- 4 (/ 1 (* v v))) v) v) (* (- 4 (/ 1 (* v v))) v) (- 4 (/ 1 (* v v))) 4 (/ 1 (* v v)) 1 (* v v) v)
1.0ms	v	@	0	((acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (+ (* 4 (* v v)) -1) (* (* (- 4 (/ 1 (* v v))) v) v) (* (- 4 (/ 1 (* v v))) v) (- 4 (/ 1 (* v v))) 4 (/ 1 (* v v)) 1 (* v v) v)

Time

Variable

Point

Expression

1.0ms

-inf

((acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (+ (* 4 (* v v)) -1) (* (* (- 4 (/ 1 (* v v))) v) v) (* (- 4 (/ 1 (* v v))) v) (- 4 (/ 1 (* v v))) 4 (/ 1 (* v v)) 1 (* v v) v)

1.0ms

inf

((acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (+ (* 4 (* v v)) -1) (* (* (- 4 (/ 1 (* v v))) v) v) (* (- 4 (/ 1 (* v v))) v) (- 4 (/ 1 (* v v))) 4 (/ 1 (* v v)) 1 (* v v) v)

1.0ms

((acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (+ (* 4 (* v v)) -1) (* (* (- 4 (/ 1 (* v v))) v) v) (* (- 4 (/ 1 (* v v))) v) (- 4 (/ 1 (* v v))) 4 (/ 1 (* v v)) 1 (* v v) v)

rewrite154.0ms (3.2%)

Memory

15.0MiB live, 154.0MiB allocated; 35ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	86	553
0	95	496
1	501	492
0	3707	449
1	12719	449

Stop Event

1×	saturated
1×	iter-limit
1×	node-limit
1×	iter-limit

Counts

34 → 154

Calls

Call 1

Inputs
(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(approx (+ (* 4 (* v v)) -1) (.f64 (.f64 (-.f64 #s(literal 4 binary64) (/.f64 #s(literal 1 binary64) (*.f64 v v))) v) v))))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(approx (+ (* 4 (* v v)) -1) (.f64 (.f64 (-.f64 #s(literal 4 binary64) (/.f64 #s(literal 1 binary64) (*.f64 v v))) v) v)))
#s(approx (+ (* 4 (* v v)) -1) (.f64 (.f64 (-.f64 #s(literal 4 binary64) (/.f64 #s(literal 1 binary64) (*.f64 v v))) v) v))
(.f64 (.f64 (-.f64 #s(literal 4 binary64) (/.f64 #s(literal 1 binary64) (*.f64 v v))) v) v)
(.f64 (-.f64 #s(literal 4 binary64) (/.f64 #s(literal 1 binary64) (.f64 v v))) v)
(-.f64 #s(literal 4 binary64) (/.f64 #s(literal 1 binary64) (*.f64 v v)))
#s(literal 4 binary64)
(/.f64 #s(literal 1 binary64) (*.f64 v v))
#s(literal 1 binary64)
(*.f64 v v)
v
#s(approx (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) #s(hole binary64 (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 -1))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (- (* 4 (pow v 2)) 1)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (- (* (pow v 2) (+ 4 (* 4 (pow v 2)))) 1)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (- (* (pow v 2) (+ 4 (* (pow v 2) (+ 4 (* 4 (pow v 2)))))) 1)))
#s(approx (* (- 4 (/ 1 (* v v))) v) #s(hole binary64 (/ -1 v)))
#s(approx (* (- 4 (/ 1 (* v v))) v) #s(hole binary64 (/ (- (* 4 (pow v 2)) 1) v)))
#s(approx (- 4 (/ 1 (* v v))) #s(hole binary64 (/ -1 (pow v 2))))
#s(approx (- 4 (/ 1 (* v v))) #s(hole binary64 (/ (- (* 4 (pow v 2)) 1) (pow v 2))))
#s(approx (/ 1 (* v v)) #s(hole binary64 (/ 1 (pow v 2))))
#s(approx (* v v) #s(hole binary64 (pow v 2)))
#s(approx v #s(hole binary64 v))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 -5))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (* -1 (+ 5 (* 4 (/ 1 (pow v 2)))))))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (- (* -1 (/ (+ 4 (* 4 (/ 1 (pow v 2)))) (pow v 2))) 5)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (- (* -1 (/ (+ 4 (* 4 (/ 1 (pow v 2)))) (pow v 4))) (+ 5 (* 4 (/ 1 (pow v 2)))))))
#s(approx (+ (* 4 (* v v)) -1) #s(hole binary64 (* 4 (pow v 2))))
#s(approx (+ (* 4 (* v v)) -1) #s(hole binary64 (* (pow v 2) (- 4 (/ 1 (pow v 2))))))
#s(approx (* (- 4 (/ 1 (* v v))) v) #s(hole binary64 (* 4 v)))
#s(approx (* (- 4 (/ 1 (* v v))) v) #s(hole binary64 (* v (- 4 (/ 1 (pow v 2))))))
#s(approx (- 4 (/ 1 (* v v))) #s(hole binary64 4))
#s(approx (- 4 (/ 1 (* v v))) #s(hole binary64 (- 4 (/ 1 (pow v 2)))))
#s(approx (* (- 4 (/ 1 (* v v))) v) #s(hole binary64 (* -1 (* v (- (/ 1 (pow v 2)) 4)))))

Outputs
(neg.f64 (-.f64 (asin.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(approx (+ (* 4 (* v v)) -1) (.f64 (-.f64 (/.f64 #s(literal -1 binary64) (.f64 v v)) #s(literal -4 binary64)) (.f64 v v))))) (.f64 (PI.f64) #s(literal 1/2 binary64))))
(fma.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) #s(literal 2 binary64) (neg.f64 (asin.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(approx (+ (* 4 (* v v)) -1) (.f64 (-.f64 (/.f64 #s(literal -1 binary64) (.f64 v v)) #s(literal -4 binary64)) (*.f64 v v)))))))
(fma.f64 (PI.f64) #s(literal 1/2 binary64) (neg.f64 (asin.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(approx (+ (* 4 (* v v)) -1) (.f64 (-.f64 (/.f64 #s(literal -1 binary64) (.f64 v v)) #s(literal -4 binary64)) (*.f64 v v)))))))
(-.f64 (.f64 (PI.f64) #s(literal 1/2 binary64)) (asin.f64 #s(approx (/ (- 1 ( 5 (* v v))) (- (* v v) 1)) #s(approx (+ (* 4 (* v v)) -1) (.f64 (-.f64 (/.f64 #s(literal -1 binary64) (.f64 v v)) #s(literal -4 binary64)) (*.f64 v v))))))
(+.f64 (.f64 (PI.f64) #s(literal 1/2 binary64)) (neg.f64 (asin.f64 #s(approx (/ (- 1 ( 5 (* v v))) (- (* v v) 1)) #s(approx (+ (* 4 (* v v)) -1) (.f64 (-.f64 (/.f64 #s(literal -1 binary64) (.f64 v v)) #s(literal -4 binary64)) (*.f64 v v)))))))
(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(approx (+ (* 4 (* v v)) -1) (.f64 (-.f64 (/.f64 #s(literal -1 binary64) (.f64 v v)) #s(literal -4 binary64)) (*.f64 v v)))))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(approx (+ (* 4 (* v v)) -1) (.f64 (-.f64 (/.f64 #s(literal -1 binary64) (.f64 v v)) #s(literal -4 binary64)) (*.f64 v v))))
#s(approx (+ (* 4 (* v v)) -1) (.f64 (-.f64 (/.f64 #s(literal -1 binary64) (.f64 v v)) #s(literal -4 binary64)) (*.f64 v v)))
(.f64 (.f64 (-.f64 (/.f64 #s(literal -1 binary64) (*.f64 v v)) #s(literal -4 binary64)) (fabs.f64 v)) (fabs.f64 v))
(.f64 (.f64 (-.f64 (/.f64 #s(literal -1 binary64) (*.f64 v v)) #s(literal -4 binary64)) (neg.f64 v)) (neg.f64 v))
(.f64 (fabs.f64 v) (.f64 (fabs.f64 v) (-.f64 (/.f64 #s(literal -1 binary64) (*.f64 v v)) #s(literal -4 binary64))))
(.f64 (neg.f64 v) (.f64 (neg.f64 v) (-.f64 (/.f64 #s(literal -1 binary64) (*.f64 v v)) #s(literal -4 binary64))))
(.f64 (.f64 (-.f64 (/.f64 #s(literal -1 binary64) (*.f64 v v)) #s(literal -4 binary64)) v) v)
(.f64 (-.f64 (/.f64 #s(literal -1 binary64) (.f64 v v)) #s(literal -4 binary64)) (*.f64 v v))
(.f64 (.f64 v v) (-.f64 (/.f64 #s(literal -1 binary64) (*.f64 v v)) #s(literal -4 binary64)))
(.f64 v (.f64 (-.f64 (/.f64 #s(literal -1 binary64) (*.f64 v v)) #s(literal -4 binary64)) v))
(neg.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 v v)) #s(literal 4 binary64)) (*.f64 v v)))
(neg.f64 (.f64 (.f64 v v) (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 v v)) #s(literal 4 binary64))))
(fma.f64 (.f64 #s(literal 4 binary64) (fabs.f64 v)) (fabs.f64 v) (.f64 (.f64 v v) (/.f64 #s(literal -1 binary64) (.f64 v v))))
(fma.f64 (.f64 #s(literal 4 binary64) (fabs.f64 v)) (fabs.f64 v) (.f64 (/.f64 #s(literal -1 binary64) (.f64 v v)) (.f64 v v)))
(fma.f64 (.f64 #s(literal 4 binary64) (neg.f64 v)) (neg.f64 v) (.f64 (.f64 v v) (/.f64 #s(literal -1 binary64) (.f64 v v))))
(fma.f64 (.f64 #s(literal 4 binary64) (neg.f64 v)) (neg.f64 v) (.f64 (/.f64 #s(literal -1 binary64) (.f64 v v)) (.f64 v v)))
(fma.f64 (.f64 #s(literal -4 binary64) (.f64 v v)) #s(literal -1 binary64) (.f64 (.f64 v v) (/.f64 #s(literal -1 binary64) (*.f64 v v))))
(fma.f64 (.f64 #s(literal -4 binary64) (.f64 v v)) #s(literal -1 binary64) (.f64 (/.f64 #s(literal -1 binary64) (.f64 v v)) (*.f64 v v)))
(fma.f64 (fabs.f64 v) (.f64 (fabs.f64 v) #s(literal 4 binary64)) (.f64 (.f64 v v) (/.f64 #s(literal -1 binary64) (.f64 v v))))
(fma.f64 (fabs.f64 v) (.f64 (fabs.f64 v) #s(literal 4 binary64)) (.f64 (/.f64 #s(literal -1 binary64) (.f64 v v)) (.f64 v v)))
(fma.f64 (neg.f64 v) (.f64 (neg.f64 v) #s(literal 4 binary64)) (.f64 (.f64 v v) (/.f64 #s(literal -1 binary64) (.f64 v v))))
(fma.f64 (neg.f64 v) (.f64 (neg.f64 v) #s(literal 4 binary64)) (.f64 (/.f64 #s(literal -1 binary64) (.f64 v v)) (.f64 v v)))
(fma.f64 (.f64 #s(literal 4 binary64) v) (.f64 v #s(literal 1 binary64)) (.f64 (.f64 v v) (/.f64 #s(literal -1 binary64) (*.f64 v v))))
(fma.f64 (.f64 #s(literal 4 binary64) v) (.f64 v #s(literal 1 binary64)) (.f64 (/.f64 #s(literal -1 binary64) (.f64 v v)) (*.f64 v v)))
(fma.f64 (.f64 #s(literal 4 binary64) v) v (.f64 (.f64 v v) (/.f64 #s(literal -1 binary64) (.f64 v v))))
(fma.f64 (.f64 #s(literal 4 binary64) v) v (.f64 (/.f64 #s(literal -1 binary64) (.f64 v v)) (.f64 v v)))
(fma.f64 (.f64 (.f64 v v) #s(literal 4 binary64)) #s(literal 1 binary64) (.f64 (.f64 v v) (/.f64 #s(literal -1 binary64) (*.f64 v v))))
(fma.f64 (.f64 (.f64 v v) #s(literal 4 binary64)) #s(literal 1 binary64) (.f64 (/.f64 #s(literal -1 binary64) (.f64 v v)) (*.f64 v v)))
(fma.f64 (.f64 v v) #s(literal 4 binary64) (.f64 (.f64 v v) (/.f64 #s(literal -1 binary64) (.f64 v v))))
(fma.f64 (.f64 v v) #s(literal 4 binary64) (.f64 (/.f64 #s(literal -1 binary64) (.f64 v v)) (.f64 v v)))
(fma.f64 #s(literal 4 binary64) (.f64 v v) (.f64 (.f64 v v) (/.f64 #s(literal -1 binary64) (.f64 v v))))
(fma.f64 #s(literal 4 binary64) (.f64 v v) (.f64 (/.f64 #s(literal -1 binary64) (.f64 v v)) (.f64 v v)))
(fma.f64 v (.f64 #s(literal 4 binary64) v) (.f64 (.f64 v v) (/.f64 #s(literal -1 binary64) (.f64 v v))))
(fma.f64 v (.f64 #s(literal 4 binary64) v) (.f64 (/.f64 #s(literal -1 binary64) (.f64 v v)) (.f64 v v)))
(fma.f64 #s(literal 1 binary64) (.f64 (.f64 v v) #s(literal 4 binary64)) (.f64 (.f64 v v) (/.f64 #s(literal -1 binary64) (*.f64 v v))))
(fma.f64 #s(literal 1 binary64) (.f64 (.f64 v v) #s(literal 4 binary64)) (.f64 (/.f64 #s(literal -1 binary64) (.f64 v v)) (*.f64 v v)))
(+.f64 (.f64 (.f64 v v) #s(literal 4 binary64)) (.f64 (.f64 v v) (/.f64 #s(literal -1 binary64) (*.f64 v v))))
(+.f64 (.f64 (.f64 v v) #s(literal 4 binary64)) (.f64 (/.f64 #s(literal -1 binary64) (.f64 v v)) (*.f64 v v)))
(.f64 (.f64 #s(literal -1 binary64) (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 v v)) #s(literal 4 binary64))) v)
(.f64 (neg.f64 v) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 v v)) #s(literal 4 binary64)))
(.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 v v)) #s(literal 4 binary64)) v) #s(literal -1 binary64))
(.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 v v)) #s(literal 4 binary64)) (neg.f64 v))
(.f64 (-.f64 (/.f64 #s(literal -1 binary64) (.f64 v v)) #s(literal -4 binary64)) v)
(.f64 #s(literal -1 binary64) (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 v v)) #s(literal 4 binary64)) v))
(.f64 v (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 v v)) #s(literal 4 binary64)) #s(literal -1 binary64)))
(.f64 v (-.f64 (/.f64 #s(literal -1 binary64) (.f64 v v)) #s(literal -4 binary64)))
(neg.f64 (.f64 (neg.f64 v) (-.f64 (/.f64 #s(literal -1 binary64) (.f64 v v)) #s(literal -4 binary64))))
(neg.f64 (.f64 #s(literal 1 binary64) (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 v v)) #s(literal 4 binary64)) v)))
(neg.f64 (.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 v v)) #s(literal 4 binary64)) v) #s(literal 1 binary64)))
(neg.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 v v)) #s(literal 4 binary64)) v))
(fma.f64 (neg.f64 v) (/.f64 #s(literal 1 binary64) (.f64 v v)) (.f64 (neg.f64 v) #s(literal -4 binary64)))
(fma.f64 (.f64 #s(literal 4 binary64) v) #s(literal 1 binary64) (.f64 v (/.f64 #s(literal -1 binary64) (*.f64 v v))))
(fma.f64 (.f64 #s(literal 4 binary64) v) #s(literal 1 binary64) (.f64 (/.f64 #s(literal -1 binary64) (*.f64 v v)) v))
(fma.f64 (/.f64 #s(literal 1 binary64) (.f64 v v)) (neg.f64 v) (.f64 #s(literal -4 binary64) (neg.f64 v)))
(fma.f64 #s(literal 4 binary64) (.f64 #s(literal 1 binary64) v) (.f64 v (/.f64 #s(literal -1 binary64) (*.f64 v v))))
(fma.f64 #s(literal 4 binary64) (.f64 #s(literal 1 binary64) v) (.f64 (/.f64 #s(literal -1 binary64) (*.f64 v v)) v))
(fma.f64 #s(literal 4 binary64) v (.f64 v (/.f64 #s(literal -1 binary64) (.f64 v v))))
(fma.f64 #s(literal 4 binary64) v (.f64 (/.f64 #s(literal -1 binary64) (.f64 v v)) v))
(fma.f64 v #s(literal 4 binary64) (.f64 v (/.f64 #s(literal -1 binary64) (.f64 v v))))
(fma.f64 v #s(literal 4 binary64) (.f64 (/.f64 #s(literal -1 binary64) (.f64 v v)) v))
(+.f64 (.f64 (neg.f64 v) (/.f64 #s(literal 1 binary64) (.f64 v v))) (*.f64 (neg.f64 v) #s(literal -4 binary64)))
(+.f64 (.f64 (/.f64 #s(literal 1 binary64) (.f64 v v)) (neg.f64 v)) (*.f64 #s(literal -4 binary64) (neg.f64 v)))
(+.f64 (.f64 #s(literal 4 binary64) v) (.f64 v (/.f64 #s(literal -1 binary64) (*.f64 v v))))
(+.f64 (.f64 #s(literal 4 binary64) v) (.f64 (/.f64 #s(literal -1 binary64) (*.f64 v v)) v))
(neg.f64 (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 v v)) #s(literal 4 binary64)))
(fma.f64 (/.f64 #s(literal 1 binary64) (*.f64 v v)) #s(literal -1 binary64) #s(literal 4 binary64))
(fma.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (*.f64 v v)) #s(literal 4 binary64))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) (*.f64 v v)) #s(literal 4 binary64))
(-.f64 (/.f64 #s(literal -1 binary64) (*.f64 v v)) #s(literal -4 binary64))
(-.f64 #s(literal 4 binary64) (/.f64 #s(literal 1 binary64) (*.f64 v v)))
(+.f64 (/.f64 #s(literal -1 binary64) (*.f64 v v)) #s(literal 4 binary64))
(+.f64 #s(literal 4 binary64) (/.f64 #s(literal -1 binary64) (*.f64 v v)))
#s(literal 4 binary64)
(*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 v)) (/.f64 #s(literal 1 binary64) (fabs.f64 v)))
(*.f64 (/.f64 #s(literal -1 binary64) (fabs.f64 v)) (/.f64 #s(literal -1 binary64) (fabs.f64 v)))
(*.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) v))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 v v)) #s(literal 1 binary64))
(*.f64 (/.f64 #s(literal -1 binary64) v) (/.f64 #s(literal -1 binary64) v))
(.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (.f64 v v)))
(.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 v v)))
(pow.f64 (fabs.f64 v) #s(literal -2 binary64))
(pow.f64 (neg.f64 v) #s(literal -2 binary64))
(pow.f64 (*.f64 v v) #s(literal -1 binary64))
(pow.f64 v #s(literal -2 binary64))
(/.f64 (.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) (.f64 v v))) #s(literal 2 binary64))
(/.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 v)) (fabs.f64 v))
(/.f64 (.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) v)) (.f64 #s(literal 2 binary64) v))
(/.f64 (/.f64 #s(literal 1 binary64) v) v)
(/.f64 #s(literal -2 binary64) (.f64 #s(literal 2 binary64) (.f64 (neg.f64 v) v)))
(/.f64 (/.f64 #s(literal -1 binary64) v) (neg.f64 v))
(/.f64 #s(literal 2 binary64) (.f64 #s(literal 2 binary64) (.f64 v v)))
(/.f64 #s(literal -1 binary64) (*.f64 (neg.f64 v) v))
(/.f64 #s(literal 1 binary64) (*.f64 v v))
(neg.f64 (/.f64 #s(literal -1 binary64) (*.f64 v v)))
#s(literal 1 binary64)
(.f64 (.f64 (fabs.f64 v) #s(literal -1 binary64)) (*.f64 (fabs.f64 v) #s(literal -1 binary64)))
(.f64 (.f64 (fabs.f64 v) #s(literal 1 binary64)) (*.f64 (fabs.f64 v) #s(literal 1 binary64)))
(.f64 (.f64 (neg.f64 v) #s(literal -1 binary64)) (*.f64 (neg.f64 v) #s(literal -1 binary64)))
(.f64 (.f64 (neg.f64 v) #s(literal 1 binary64)) (*.f64 (neg.f64 v) #s(literal 1 binary64)))
(.f64 (.f64 v #s(literal 1 binary64)) (*.f64 v #s(literal 1 binary64)))
(.f64 (.f64 (*.f64 v v) #s(literal -1 binary64)) #s(literal -1 binary64))
(*.f64 (fabs.f64 (fabs.f64 v)) (fabs.f64 (fabs.f64 v)))
(*.f64 (neg.f64 (fabs.f64 v)) (neg.f64 (fabs.f64 v)))
(*.f64 (neg.f64 (neg.f64 v)) (neg.f64 (neg.f64 v)))
(.f64 (fabs.f64 v) (.f64 (fabs.f64 v) #s(literal 1 binary64)))
(*.f64 (fabs.f64 v) (fabs.f64 v))
(.f64 (neg.f64 v) (.f64 (neg.f64 v) #s(literal 1 binary64)))
(*.f64 (neg.f64 v) (neg.f64 v))
(.f64 (.f64 v v) #s(literal 1 binary64))
(.f64 v (.f64 v #s(literal 1 binary64)))
(*.f64 v v)
(.f64 #s(literal 1 binary64) (.f64 v v))
(pow.f64 (fabs.f64 (fabs.f64 v)) #s(literal 2 binary64))
(pow.f64 (neg.f64 (fabs.f64 v)) #s(literal 2 binary64))
(pow.f64 (neg.f64 (neg.f64 v)) #s(literal 2 binary64))
(pow.f64 (fabs.f64 v) #s(literal 2 binary64))
(pow.f64 (neg.f64 v) #s(literal 2 binary64))
(pow.f64 v #s(literal 2 binary64))
(/.f64 (.f64 (.f64 v v) #s(literal 2 binary64)) #s(literal 2 binary64))
(neg.f64 (.f64 (.f64 v v) #s(literal -1 binary64)))
(neg.f64 (*.f64 (neg.f64 v) v))
(sqrt.f64 (.f64 (.f64 (*.f64 v v) v) v))
(fabs.f64 (*.f64 (neg.f64 v) v))
(fabs.f64 (*.f64 v v))
v
#s(approx (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (acos.f64 (/.f64 (fma.f64 #s(literal -5 binary64) (*.f64 v v) #s(literal 1 binary64)) (fma.f64 v v #s(literal -1 binary64)))))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(literal -1 binary64))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 (*.f64 v v) #s(literal 4 binary64) #s(literal -1 binary64)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 (fma.f64 (.f64 v v) #s(literal 4 binary64) #s(literal 4 binary64)) (.f64 v v) #s(literal -1 binary64)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 (.f64 (fma.f64 (fma.f64 (.f64 v v) #s(literal 4 binary64) #s(literal 4 binary64)) (*.f64 v v) #s(literal 4 binary64)) v) v #s(literal -1 binary64)))
#s(approx (* (- 4 (/ 1 (* v v))) v) (/.f64 #s(literal -1 binary64) v))
#s(approx (* (- 4 (/ 1 (* v v))) v) (/.f64 (fma.f64 (*.f64 v v) #s(literal 4 binary64) #s(literal -1 binary64)) v))
#s(approx (- 4 (/ 1 (* v v))) (/.f64 #s(literal -1 binary64) (*.f64 v v)))
#s(approx (- 4 (/ 1 (* v v))) (/.f64 (fma.f64 (.f64 v v) #s(literal 4 binary64) #s(literal -1 binary64)) (.f64 v v)))
#s(approx (/ 1 (* v v)) (/.f64 #s(literal 1 binary64) (*.f64 v v)))
#s(approx (* v v) (*.f64 v v))
#s(approx v v)
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(literal -5 binary64))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (-.f64 #s(literal -5 binary64) (/.f64 #s(literal 4 binary64) (*.f64 v v))))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (-.f64 (/.f64 (-.f64 #s(literal -4 binary64) (/.f64 #s(literal 4 binary64) (.f64 v v))) (.f64 v v)) #s(literal 5 binary64)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (-.f64 (/.f64 (-.f64 #s(literal -4 binary64) (/.f64 #s(literal 4 binary64) (.f64 v v))) (.f64 (.f64 (.f64 v v) v) v)) (-.f64 (/.f64 #s(literal 4 binary64) (*.f64 v v)) #s(literal -5 binary64))))
#s(approx (+ (* 4 (* v v)) -1) (.f64 (.f64 v v) #s(literal 4 binary64)))
#s(approx (+ (* 4 (* v v)) -1) (.f64 (-.f64 (/.f64 #s(literal -1 binary64) (.f64 v v)) #s(literal -4 binary64)) (*.f64 v v)))
#s(approx (* (- 4 (/ 1 (* v v))) v) (*.f64 #s(literal 4 binary64) v))
#s(approx (* (- 4 (/ 1 (* v v))) v) (.f64 (-.f64 (/.f64 #s(literal -1 binary64) (.f64 v v)) #s(literal -4 binary64)) v))
#s(approx (- 4 (/ 1 (* v v))) #s(literal 4 binary64))
#s(approx (- 4 (/ 1 (* v v))) (-.f64 (/.f64 #s(literal -1 binary64) (*.f64 v v)) #s(literal -4 binary64)))
#s(approx (* (- 4 (/ 1 (* v v))) v) (.f64 (-.f64 (/.f64 #s(literal -1 binary64) (.f64 v v)) #s(literal -4 binary64)) v))

eval15.0ms (0.3%)

Memory: -12.2MiB live, 32.7MiB allocated; 6ms collecting garbage
Compiler: Compiled 1 518 to 868 computations (42.8% saved)

prune4.0ms (0.1%)

Memory

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

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	144	1	145
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	144	6	150

Accuracy

99.1%

Counts

150 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.1%	(acos.f64 (/.f64 (fma.f64 (*.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)) (fma.f64 v v #s(literal -1 binary64))))
✓	98.7%	(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 (fma.f64 #s(literal 4 binary64) (.f64 v v) #s(literal 4 binary64)) (.f64 v v) #s(literal -1 binary64))))
✓	98.6%	(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 #s(literal 4 binary64) (*.f64 v v) #s(literal -1 binary64))))
✓	42.4%	(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(approx (+ (* 4 (* v v)) -1) (.f64 (.f64 (-.f64 #s(literal 4 binary64) (/.f64 #s(literal 1 binary64) (*.f64 v v))) v) v))))
▶	93.1%	(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(approx (+ (* 4 (* v v)) -1) (.f64 #s(approx ( (- 4 (/ 1 (* v v))) v) (/.f64 #s(literal -1 binary64) v)) v))))
✓	98.2%	(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(literal -1 binary64)))

Compiler

Compiled 102 to 93 computations (8.8% saved)

series3.0ms (0.1%)

Memory

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

Counts

8 → 17

Calls

Call 1

Inputs
(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(approx (+ (* 4 (* v v)) -1) (.f64 #s(approx ( (- 4 (/ 1 (* v v))) v) (/.f64 #s(literal -1 binary64) v)) v))))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(approx (+ (* 4 (* v v)) -1) (.f64 #s(approx ( (- 4 (/ 1 (* v v))) v) (/.f64 #s(literal -1 binary64) v)) v)))
#s(approx (+ (* 4 (* v v)) -1) (.f64 #s(approx ( (- 4 (/ 1 (* v v))) v) (/.f64 #s(literal -1 binary64) v)) v))
(.f64 #s(approx ( (- 4 (/ 1 (* v v))) v) (/.f64 #s(literal -1 binary64) v)) v)
#s(approx (* (- 4 (/ 1 (* v v))) v) (/.f64 #s(literal -1 binary64) v))
(/.f64 #s(literal -1 binary64) v)
#s(literal -1 binary64)
v

Outputs
#s(approx (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) #s(hole binary64 (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 -1))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (- (* 4 (pow v 2)) 1)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (- (* (pow v 2) (+ 4 (* 4 (pow v 2)))) 1)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (- (* (pow v 2) (+ 4 (* (pow v 2) (+ 4 (* 4 (pow v 2)))))) 1)))
#s(approx (* (- 4 (/ 1 (* v v))) v) #s(hole binary64 (/ -1 v)))
#s(approx (* (- 4 (/ 1 (* v v))) v) #s(hole binary64 (/ (- (* 4 (pow v 2)) 1) v)))
#s(approx v #s(hole binary64 v))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 -5))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (* -1 (+ 5 (* 4 (/ 1 (pow v 2)))))))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (- (* -1 (/ (+ 4 (* 4 (/ 1 (pow v 2)))) (pow v 2))) 5)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (- (* -1 (/ (+ 4 (* 4 (/ 1 (pow v 2)))) (pow v 4))) (+ 5 (* 4 (/ 1 (pow v 2)))))))
#s(approx (+ (* 4 (* v v)) -1) #s(hole binary64 (* 4 (pow v 2))))
#s(approx (+ (* 4 (* v v)) -1) #s(hole binary64 (* (pow v 2) (- 4 (/ 1 (pow v 2))))))
#s(approx (* (- 4 (/ 1 (* v v))) v) #s(hole binary64 (* 4 v)))
#s(approx (* (- 4 (/ 1 (* v v))) v) #s(hole binary64 (* v (- 4 (/ 1 (pow v 2))))))
#s(approx (* (- 4 (/ 1 (* v v))) v) #s(hole binary64 (* -1 (* v (- (/ 1 (pow v 2)) 4)))))

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	v	@	inf	((acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (+ (* 4 (* v v)) -1) (* (* (- 4 (/ 1 (* v v))) v) v) (* (- 4 (/ 1 (* v v))) v) (/ -1 v) -1 v)
1.0ms	v	@	-inf	((acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (+ (* 4 (* v v)) -1) (* (* (- 4 (/ 1 (* v v))) v) v) (* (- 4 (/ 1 (* v v))) v) (/ -1 v) -1 v)
1.0ms	v	@	0	((acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (+ (* 4 (* v v)) -1) (* (* (- 4 (/ 1 (* v v))) v) v) (* (- 4 (/ 1 (* v v))) v) (/ -1 v) -1 v)

Time

Variable

Point

Expression

1.0ms

inf

((acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (+ (* 4 (* v v)) -1) (* (* (- 4 (/ 1 (* v v))) v) v) (* (- 4 (/ 1 (* v v))) v) (/ -1 v) -1 v)

1.0ms

-inf

((acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (+ (* 4 (* v v)) -1) (* (* (- 4 (/ 1 (* v v))) v) v) (* (- 4 (/ 1 (* v v))) v) (/ -1 v) -1 v)

1.0ms

((acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (+ (* 4 (* v v)) -1) (* (* (- 4 (/ 1 (* v v))) v) v) (* (- 4 (/ 1 (* v v))) v) (/ -1 v) -1 v)

rewrite130.0ms (2.7%)

Memory

-10.0MiB live, 134.8MiB allocated; 11ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	76	486
0	78	447
1	467	444
0	3559	402
1	12288	402

Stop Event

1×	saturated
1×	iter-limit
1×	node-limit
1×	iter-limit

Counts

25 → 39

Calls

Call 1

Inputs
(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(approx (+ (* 4 (* v v)) -1) (.f64 #s(approx ( (- 4 (/ 1 (* v v))) v) (/.f64 #s(literal -1 binary64) v)) v))))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(approx (+ (* 4 (* v v)) -1) (.f64 #s(approx ( (- 4 (/ 1 (* v v))) v) (/.f64 #s(literal -1 binary64) v)) v)))
#s(approx (+ (* 4 (* v v)) -1) (.f64 #s(approx ( (- 4 (/ 1 (* v v))) v) (/.f64 #s(literal -1 binary64) v)) v))
(.f64 #s(approx ( (- 4 (/ 1 (* v v))) v) (/.f64 #s(literal -1 binary64) v)) v)
#s(approx (* (- 4 (/ 1 (* v v))) v) (/.f64 #s(literal -1 binary64) v))
(/.f64 #s(literal -1 binary64) v)
#s(literal -1 binary64)
v
#s(approx (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) #s(hole binary64 (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 -1))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (- (* 4 (pow v 2)) 1)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (- (* (pow v 2) (+ 4 (* 4 (pow v 2)))) 1)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (- (* (pow v 2) (+ 4 (* (pow v 2) (+ 4 (* 4 (pow v 2)))))) 1)))
#s(approx (* (- 4 (/ 1 (* v v))) v) #s(hole binary64 (/ -1 v)))
#s(approx (* (- 4 (/ 1 (* v v))) v) #s(hole binary64 (/ (- (* 4 (pow v 2)) 1) v)))
#s(approx v #s(hole binary64 v))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 -5))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (* -1 (+ 5 (* 4 (/ 1 (pow v 2)))))))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (- (* -1 (/ (+ 4 (* 4 (/ 1 (pow v 2)))) (pow v 2))) 5)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(hole binary64 (- (* -1 (/ (+ 4 (* 4 (/ 1 (pow v 2)))) (pow v 4))) (+ 5 (* 4 (/ 1 (pow v 2)))))))
#s(approx (+ (* 4 (* v v)) -1) #s(hole binary64 (* 4 (pow v 2))))
#s(approx (+ (* 4 (* v v)) -1) #s(hole binary64 (* (pow v 2) (- 4 (/ 1 (pow v 2))))))
#s(approx (* (- 4 (/ 1 (* v v))) v) #s(hole binary64 (* 4 v)))
#s(approx (* (- 4 (/ 1 (* v v))) v) #s(hole binary64 (* v (- 4 (/ 1 (pow v 2))))))
#s(approx (* (- 4 (/ 1 (* v v))) v) #s(hole binary64 (* -1 (* v (- (/ 1 (pow v 2)) 4)))))

Outputs
(neg.f64 (-.f64 (asin.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(approx (+ (* 4 (* v v)) -1) (.f64 #s(approx ( (- 4 (/ 1 (* v v))) v) (/.f64 #s(literal -1 binary64) v)) v)))) (*.f64 (PI.f64) #s(literal 1/2 binary64))))
(fma.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) #s(literal 2 binary64) (neg.f64 (asin.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(approx (+ (* 4 (* v v)) -1) (.f64 #s(approx ( (- 4 (/ 1 (* v v))) v) (/.f64 #s(literal -1 binary64) v)) v))))))
(fma.f64 (PI.f64) #s(literal 1/2 binary64) (neg.f64 (asin.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(approx (+ (* 4 (* v v)) -1) (.f64 #s(approx ( (- 4 (/ 1 (* v v))) v) (/.f64 #s(literal -1 binary64) v)) v))))))
(-.f64 (.f64 (PI.f64) #s(literal 1/2 binary64)) (asin.f64 #s(approx (/ (- 1 ( 5 (* v v))) (- (* v v) 1)) #s(approx (+ (* 4 (* v v)) -1) (.f64 #s(approx ( (- 4 (/ 1 (* v v))) v) (/.f64 #s(literal -1 binary64) v)) v)))))
(+.f64 (.f64 (PI.f64) #s(literal 1/2 binary64)) (neg.f64 (asin.f64 #s(approx (/ (- 1 ( 5 (* v v))) (- (* v v) 1)) #s(approx (+ (* 4 (* v v)) -1) (.f64 #s(approx ( (- 4 (/ 1 (* v v))) v) (/.f64 #s(literal -1 binary64) v)) v))))))
(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(approx (+ (* 4 (* v v)) -1) (.f64 #s(approx ( (- 4 (/ 1 (* v v))) v) (/.f64 #s(literal -1 binary64) v)) v))))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(approx (+ (* 4 (* v v)) -1) (.f64 #s(approx ( (- 4 (/ 1 (* v v))) v) (/.f64 #s(literal -1 binary64) v)) v)))
#s(approx (+ (* 4 (* v v)) -1) (.f64 #s(approx ( (- 4 (/ 1 (* v v))) v) (/.f64 #s(literal -1 binary64) v)) v))
(.f64 #s(approx ( (- 4 (/ 1 (* v v))) v) (/.f64 #s(literal -1 binary64) v)) v)
(.f64 v #s(approx ( (- 4 (/ 1 (* v v))) v) (/.f64 #s(literal -1 binary64) v)))
#s(approx (* (- 4 (/ 1 (* v v))) v) (/.f64 #s(literal -1 binary64) v))
(*.f64 (/.f64 #s(literal 1 binary64) v) #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) v))
(*.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) v))
(pow.f64 (neg.f64 v) #s(literal -1 binary64))
(/.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) (neg.f64 v)))
(/.f64 #s(literal -1 binary64) (neg.f64 (neg.f64 v)))
(/.f64 #s(literal -1 binary64) v)
(/.f64 #s(literal 1 binary64) (neg.f64 v))
(neg.f64 (/.f64 #s(literal 1 binary64) v))
#s(literal -1 binary64)
v
#s(approx (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (acos.f64 (/.f64 (fma.f64 #s(literal -5 binary64) (*.f64 v v) #s(literal 1 binary64)) (fma.f64 v v #s(literal -1 binary64)))))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(literal -1 binary64))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 (*.f64 v v) #s(literal 4 binary64) #s(literal -1 binary64)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 (fma.f64 (.f64 v v) #s(literal 4 binary64) #s(literal 4 binary64)) (.f64 v v) #s(literal -1 binary64)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 (.f64 (fma.f64 (fma.f64 (.f64 v v) #s(literal 4 binary64) #s(literal 4 binary64)) (*.f64 v v) #s(literal 4 binary64)) v) v #s(literal -1 binary64)))
#s(approx (* (- 4 (/ 1 (* v v))) v) (/.f64 #s(literal -1 binary64) v))
#s(approx (* (- 4 (/ 1 (* v v))) v) (/.f64 (fma.f64 (*.f64 v v) #s(literal 4 binary64) #s(literal -1 binary64)) v))
#s(approx v v)
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(literal -5 binary64))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (-.f64 #s(literal -5 binary64) (/.f64 #s(literal 4 binary64) (*.f64 v v))))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (-.f64 (/.f64 (-.f64 #s(literal -4 binary64) (/.f64 #s(literal 4 binary64) (.f64 v v))) (.f64 v v)) #s(literal 5 binary64)))
#s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (-.f64 (/.f64 (-.f64 #s(literal -4 binary64) (/.f64 #s(literal 4 binary64) (.f64 v v))) (.f64 (.f64 (.f64 v v) v) v)) (-.f64 (/.f64 #s(literal 4 binary64) (*.f64 v v)) #s(literal -5 binary64))))
#s(approx (+ (* 4 (* v v)) -1) (.f64 (.f64 v v) #s(literal 4 binary64)))
#s(approx (+ (* 4 (* v v)) -1) (.f64 (-.f64 #s(literal 4 binary64) (/.f64 #s(literal 1 binary64) (.f64 v v))) (*.f64 v v)))
#s(approx (* (- 4 (/ 1 (* v v))) v) (*.f64 #s(literal 4 binary64) v))
#s(approx (* (- 4 (/ 1 (* v v))) v) (.f64 (-.f64 #s(literal 4 binary64) (/.f64 #s(literal 1 binary64) (.f64 v v))) v))
#s(approx (* (- 4 (/ 1 (* v v))) v) (.f64 (-.f64 #s(literal 4 binary64) (/.f64 #s(literal 1 binary64) (.f64 v v))) v))

eval3.0ms (0.1%)

Memory: 9.4MiB live, 9.4MiB allocated; 0ms collecting garbage
Compiler: Compiled 370 to 167 computations (54.9% saved)

prune3.0ms (0.1%)

Memory

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

Pruning

6 alts after pruning (0 fresh and 6 done)

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

Accuracy

99.1%

Counts

34 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.1%	(acos.f64 (/.f64 (fma.f64 (*.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)) (fma.f64 v v #s(literal -1 binary64))))
✓	98.7%	(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 (fma.f64 #s(literal 4 binary64) (.f64 v v) #s(literal 4 binary64)) (.f64 v v) #s(literal -1 binary64))))
✓	98.6%	(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 #s(literal 4 binary64) (*.f64 v v) #s(literal -1 binary64))))
✓	42.4%	(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(approx (+ (* 4 (* v v)) -1) (.f64 (.f64 (-.f64 #s(literal 4 binary64) (/.f64 #s(literal 1 binary64) (*.f64 v v))) v) v))))
✓	93.1%	(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(approx (+ (* 4 (* v v)) -1) (.f64 #s(approx ( (- 4 (/ 1 (* v v))) v) (/.f64 #s(literal -1 binary64) v)) v))))
✓	98.2%	(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(literal -1 binary64)))

Compiler

Compiled 177 to 146 computations (17.5% saved)

regimes9.0ms (0.2%)

Memory

-24.9MiB live, 21.5MiB allocated; 3ms collecting garbage

Counts

7 → 1

Calls

Call 1

Inputs
(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(literal -1 binary64)))
(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(approx (+ (* 4 (* v v)) -1) (.f64 #s(approx ( (- 4 (/ 1 (* v v))) v) (/.f64 #s(literal -1 binary64) v)) v))))
(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 #s(literal 4 binary64) (*.f64 v v) #s(literal -1 binary64))))
(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(approx (+ (* 4 (* v v)) -1) (.f64 (.f64 (-.f64 #s(literal 4 binary64) (/.f64 #s(literal 1 binary64) (*.f64 v v))) v) v))))
(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 (fma.f64 #s(literal 4 binary64) (.f64 v v) #s(literal 4 binary64)) (.f64 v v) #s(literal -1 binary64))))
(acos.f64 (/.f64 (fma.f64 (*.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)) (fma.f64 v v #s(literal -1 binary64))))
(acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64))))

Outputs
(acos.f64 (/.f64 (fma.f64 (*.f64 #s(literal -5 binary64) v) v #s(literal 1 binary64)) (fma.f64 v v #s(literal -1 binary64))))

Calls

4 calls:

3.0ms	(/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64)))
2.0ms	v
2.0ms	(*.f64 v v)
2.0ms	(acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64))))

Results

Accuracy	Segments	Branch
99.1%	1	`(*.f64 v v)`
99.1%	1	`(/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64)))`
99.1%	1	`(acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64))))`
99.1%	1	`v`

Compiler

Compiled 24 to 20 computations (16.7% saved)

regimes7.0ms (0.1%)

Memory

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

Counts

5 → 1

Calls

Call 1

Inputs
(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(literal -1 binary64)))
(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(approx (+ (* 4 (* v v)) -1) (.f64 #s(approx ( (- 4 (/ 1 (* v v))) v) (/.f64 #s(literal -1 binary64) v)) v))))
(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 #s(literal 4 binary64) (*.f64 v v) #s(literal -1 binary64))))
(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(approx (+ (* 4 (* v v)) -1) (.f64 (.f64 (-.f64 #s(literal 4 binary64) (/.f64 #s(literal 1 binary64) (*.f64 v v))) v) v))))
(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 (fma.f64 #s(literal 4 binary64) (.f64 v v) #s(literal 4 binary64)) (.f64 v v) #s(literal -1 binary64))))

Outputs
(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 (fma.f64 #s(literal 4 binary64) (.f64 v v) #s(literal 4 binary64)) (.f64 v v) #s(literal -1 binary64))))

Calls

4 calls:

2.0ms	v
1.0ms	(*.f64 v v)
1.0ms	(acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64))))
1.0ms	(/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64)))

Results

Accuracy	Segments	Branch
98.7%	1	`(*.f64 v v)`
98.7%	1	`(/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64)))`
98.7%	1	`(acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64))))`
98.7%	1	`v`

Compiler

Compiled 24 to 20 computations (16.7% saved)

regimes6.0ms (0.1%)

Memory

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

Counts

4 → 1

Calls

Call 1

Inputs
(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(literal -1 binary64)))
(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(approx (+ (* 4 (* v v)) -1) (.f64 #s(approx ( (- 4 (/ 1 (* v v))) v) (/.f64 #s(literal -1 binary64) v)) v))))
(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 #s(literal 4 binary64) (*.f64 v v) #s(literal -1 binary64))))
(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(approx (+ (* 4 (* v v)) -1) (.f64 (.f64 (-.f64 #s(literal 4 binary64) (/.f64 #s(literal 1 binary64) (*.f64 v v))) v) v))))

Outputs
(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (fma.f64 #s(literal 4 binary64) (*.f64 v v) #s(literal -1 binary64))))

Calls

4 calls:

2.0ms	v
1.0ms	(*.f64 v v)
1.0ms	(acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64))))
1.0ms	(/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64)))

Results

Accuracy	Segments	Branch
98.6%	1	`(*.f64 v v)`
98.6%	1	`(/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64)))`
98.6%	1	`(acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64))))`
98.6%	1	`v`

Compiler

Compiled 24 to 20 computations (16.7% saved)

regimes5.0ms (0.1%)

Memory

-35.2MiB live, 11.6MiB allocated; 1ms collecting garbage

Accuracy

Total -3.3b remaining (-294%)

Threshold costs -3.3b (-294%)

Counts

2 → 1

Calls

Call 1

Inputs

(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(literal -1 binary64)))

(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(approx (+ (* 4 (* v v)) -1) (*.f64 #s(approx (* (- 4 (/ 1 (* v v))) v) (/.f64 #s(literal -1 binary64) v)) v))))

Outputs
(acos.f64 #s(approx (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) #s(literal -1 binary64)))

Calls

4 calls:

2.0ms	(acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64))))
1.0ms	v
1.0ms	(*.f64 v v)
1.0ms	(/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64)))

Results

Accuracy	Segments	Branch
98.2%	1	`(*.f64 v v)`
98.2%	1	`(/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64)))`
98.2%	1	`(acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64))))`
98.2%	1	`v`

Compiler

Compiled 24 to 20 computations (16.7% saved)

derivations130.0ms (2.7%)

Memory

-2.9MiB live, 188.3MiB allocated; 8ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 42 to 27 computations (35.7% saved)

preprocess31.0ms (0.6%)

Memory: 42.9MiB live, 85.3MiB allocated; 5ms collecting garbage
Remove: (abs v)
Compiler: Compiled 159 to 134 computations (15.7% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze266.0ms (5.6%)

sample3.3s (69.9%)

preprocess71.0ms (1.5%)

series4.0ms (0.1%)

rewrite302.0ms (6.3%)

eval19.0ms (0.4%)

prune3.0ms (0.1%)

series6.0ms (0.1%)

rewrite205.0ms (4.3%)

eval50.0ms (1%)

prune10.0ms (0.2%)

series4.0ms (0.1%)

rewrite154.0ms (3.2%)

eval15.0ms (0.3%)

prune4.0ms (0.1%)

series3.0ms (0.1%)

rewrite130.0ms (2.7%)

eval3.0ms (0.1%)

prune3.0ms (0.1%)

regimes9.0ms (0.2%)

regimes7.0ms (0.1%)

regimes6.0ms (0.1%)

regimes5.0ms (0.1%)

derivations130.0ms (2.7%)

preprocess31.0ms (0.6%)

end0.0ms (0%)

Profiling