Metrics for a parameter of renormalized beta distribution

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

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

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	12.5%	87.5%	0%	0%	0%	0
100%	12.5%	0%	87.5%	0%	0%	0%	1

Compiler

Compiled 23 to 16 computations (30.4% saved)

sample627.0ms (22.7%)

Memory

-14.6MiB live, 872.6MiB allocated; 153ms collecting garbage

Samples

389.0ms

8 256×

valid

Precisions

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

ival-mult!: 77.0ms (37.4% of total)

ival-sub!: 70.0ms (34% of total)

ival-div!: 57.0ms (27.7% of total)

adjust: 1.0ms (0.5% of total)

Bogosity

preprocess43.0ms (1.5%)

Memory

-8.4MiB live, 44.2MiB allocated; 5ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	25	74
1	94	67
2	355	66
3	1423	66

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.8%	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)

Compiler

Compiled 18 to 16 computations (11.1% saved)

series8.0ms (0.3%)

Memory

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

Counts

8 → 32

Calls

Call 1

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

Outputs
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) #s(hole binary64 (* -1 m)))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) #s(hole binary64 (* m (- (/ m v) 1))))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) #s(hole binary64 (* m (- (* m (+ (* -1 (/ m v)) (/ 1 v))) 1))))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 -1))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (- (/ m v) 1)))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (- (* m (+ (* -1 (/ m v)) (/ 1 v))) 1)))
#s(approx (/ (* m (- 1 m)) v) #s(hole binary64 (/ m v)))
#s(approx (/ (* m (- 1 m)) v) #s(hole binary64 (* m (+ (* -1 (/ m v)) (/ 1 v)))))
#s(approx (* m (- 1 m)) #s(hole binary64 m))
#s(approx (* m (- 1 m)) #s(hole binary64 (* m (+ 1 (* -1 m)))))
#s(approx (- 1 m) #s(hole binary64 1))
#s(approx (- 1 m) #s(hole binary64 (+ 1 (* -1 m))))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) #s(hole binary64 (* -1 (/ (pow m 3) v))))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) #s(hole binary64 (* (pow m 3) (- (/ 1 (* m v)) (/ 1 v)))))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) #s(hole binary64 (* (pow m 3) (- (/ 1 (* m v)) (+ (/ 1 v) (/ 1 (pow m 2)))))))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (* -1 (/ (pow m 2) v))))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (* (pow m 2) (- (/ 1 (* m v)) (/ 1 v)))))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (* (pow m 2) (- (/ 1 (* m v)) (+ (/ 1 v) (/ 1 (pow m 2)))))))
#s(approx (* m (- 1 m)) #s(hole binary64 (* -1 (pow m 2))))
#s(approx (* m (- 1 m)) #s(hole binary64 (* (pow m 2) (- (/ 1 m) 1))))
#s(approx (- 1 m) #s(hole binary64 (* m (- (/ 1 m) 1))))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) #s(hole binary64 (* -1 (* (pow m 3) (- (/ 1 v) (/ 1 (* m v)))))))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) #s(hole binary64 (* -1 (* (pow m 3) (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v))))))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (* (pow m 2) (- (* -1 (/ (- (/ 1 m) (/ 1 v)) m)) (/ 1 v)))))
#s(approx (- 1 m) #s(hole binary64 (* -1 (* m (- 1 (/ 1 m))))))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) #s(hole binary64 (/ (* (pow m 2) (- 1 m)) v)))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) #s(hole binary64 (/ (+ (* -1 (* m v)) (* (pow m 2) (- 1 m))) v)))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (/ (* m (- 1 m)) v)))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (/ (+ (* -1 v) (* m (- 1 m))) v)))
#s(approx v #s(hole binary64 v))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) #s(hole binary64 (+ (* -1 m) (/ (* (pow m 2) (- 1 m)) v))))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (- (/ (* m (- 1 m)) v) 1)))

Calls

6 calls:

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

rewrite215.0ms (7.8%)

Memory

16.6MiB live, 153.3MiB allocated; 10ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	107	628
0	115	605
1	567	574
2	5437	573
0	8243	546
1	29050	546

Stop Event

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

Counts

40 → 153

Calls

Call 1

Inputs
(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)
(-.f64 (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64))
(/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) v)
(*.f64 m (-.f64 #s(literal 1 binary64) m))
m
(-.f64 #s(literal 1 binary64) m)
#s(literal 1 binary64)
v
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) #s(hole binary64 (* -1 m)))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) #s(hole binary64 (* m (- (/ m v) 1))))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) #s(hole binary64 (* m (- (* m (+ (* -1 (/ m v)) (/ 1 v))) 1))))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 -1))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (- (/ m v) 1)))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (- (* m (+ (* -1 (/ m v)) (/ 1 v))) 1)))
#s(approx (/ (* m (- 1 m)) v) #s(hole binary64 (/ m v)))
#s(approx (/ (* m (- 1 m)) v) #s(hole binary64 (* m (+ (* -1 (/ m v)) (/ 1 v)))))
#s(approx (* m (- 1 m)) #s(hole binary64 m))
#s(approx (* m (- 1 m)) #s(hole binary64 (* m (+ 1 (* -1 m)))))
#s(approx (- 1 m) #s(hole binary64 1))
#s(approx (- 1 m) #s(hole binary64 (+ 1 (* -1 m))))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) #s(hole binary64 (* -1 (/ (pow m 3) v))))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) #s(hole binary64 (* (pow m 3) (- (/ 1 (* m v)) (/ 1 v)))))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) #s(hole binary64 (* (pow m 3) (- (/ 1 (* m v)) (+ (/ 1 v) (/ 1 (pow m 2)))))))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (* -1 (/ (pow m 2) v))))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (* (pow m 2) (- (/ 1 (* m v)) (/ 1 v)))))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (* (pow m 2) (- (/ 1 (* m v)) (+ (/ 1 v) (/ 1 (pow m 2)))))))
#s(approx (* m (- 1 m)) #s(hole binary64 (* -1 (pow m 2))))
#s(approx (* m (- 1 m)) #s(hole binary64 (* (pow m 2) (- (/ 1 m) 1))))
#s(approx (- 1 m) #s(hole binary64 (* m (- (/ 1 m) 1))))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) #s(hole binary64 (* -1 (* (pow m 3) (- (/ 1 v) (/ 1 (* m v)))))))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) #s(hole binary64 (* -1 (* (pow m 3) (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v))))))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (* (pow m 2) (- (* -1 (/ (- (/ 1 m) (/ 1 v)) m)) (/ 1 v)))))
#s(approx (- 1 m) #s(hole binary64 (* -1 (* m (- 1 (/ 1 m))))))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) #s(hole binary64 (/ (* (pow m 2) (- 1 m)) v)))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) #s(hole binary64 (/ (+ (* -1 (* m v)) (* (pow m 2) (- 1 m))) v)))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (/ (* m (- 1 m)) v)))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (/ (+ (* -1 v) (* m (- 1 m))) v)))
#s(approx v #s(hole binary64 v))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) #s(hole binary64 (+ (* -1 m) (/ (* (pow m 2) (- 1 m)) v))))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (- (/ (* m (- 1 m)) v) 1)))

Outputs
(*.f64 (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)) m)
(*.f64 m (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)))
(neg.f64 (.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v)) m))
(neg.f64 (.f64 m (-.f64 #s(literal 1 binary64) (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v))))
(neg.f64 (-.f64 (/.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (.f64 m m)) v) (neg.f64 m)))
(neg.f64 (+.f64 m (/.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (.f64 m m)) v)))
(fma.f64 (.f64 (.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) m) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v) (neg.f64 m))
(fma.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (.f64 m m)) (/.f64 #s(literal -1 binary64) v) (neg.f64 m))
(fma.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) m) (/.f64 #s(literal 1 binary64) v) (neg.f64 m))
(fma.f64 (*.f64 m m) (/.f64 (-.f64 #s(literal 1 binary64) m) v) (neg.f64 m))
(fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) (*.f64 m m) (neg.f64 m))
(fma.f64 (/.f64 #s(literal 1 binary64) v) (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) m) (neg.f64 m))
(fma.f64 (neg.f64 m) #s(literal 1 binary64) (.f64 m (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v)))
(fma.f64 #s(literal -1 binary64) m (.f64 m (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v)))
(fma.f64 (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v) m (neg.f64 m))
(fma.f64 (-.f64 #s(literal 1 binary64) m) (*.f64 m (/.f64 m v)) (neg.f64 m))
(fma.f64 #s(literal 1 binary64) (.f64 m (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v)) (neg.f64 m))
(fma.f64 #s(literal 1 binary64) (neg.f64 m) (.f64 m (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v)))
(fma.f64 m #s(literal -1 binary64) (.f64 m (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v)))
(fma.f64 m (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v) (neg.f64 m))
(-.f64 (.f64 m (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v)) m)
(-.f64 (neg.f64 m) (/.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (.f64 m m)) v))
(+.f64 (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m) (neg.f64 m))
(+.f64 (.f64 m (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v)) (neg.f64 m))
(+.f64 (neg.f64 m) (.f64 m (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v)))
(/.f64 (-.f64 (.f64 (.f64 (-.f64 m #s(literal 1 binary64)) m) #s(literal 2 binary64)) (.f64 (neg.f64 v) #s(literal 2 binary64))) (.f64 (neg.f64 v) #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) #s(literal 2 binary64)) (.f64 v #s(literal 2 binary64))) (.f64 v #s(literal 2 binary64)))
(neg.f64 (-.f64 #s(literal 1 binary64) (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v)))
(fma.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v) #s(literal -1 binary64))
(fma.f64 (*.f64 (neg.f64 m) m) (/.f64 #s(literal 1 binary64) v) (-.f64 (/.f64 m v) #s(literal 1 binary64)))
(fma.f64 (*.f64 (-.f64 m #s(literal 1 binary64)) m) (/.f64 #s(literal -1 binary64) v) #s(literal -1 binary64))
(fma.f64 (*.f64 m (/.f64 m v)) #s(literal -1 binary64) (-.f64 (/.f64 m v) #s(literal 1 binary64)))
(fma.f64 (.f64 m m) (.f64 (/.f64 #s(literal 1 binary64) v) #s(literal -1 binary64)) (-.f64 (/.f64 m v) #s(literal 1 binary64)))
(fma.f64 (*.f64 m m) (/.f64 #s(literal -1 binary64) v) (-.f64 (/.f64 m v) #s(literal 1 binary64)))
(fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) v) (*.f64 (-.f64 #s(literal 1 binary64) m) m) #s(literal -1 binary64))
(fma.f64 (/.f64 (neg.f64 m) v) m (-.f64 (/.f64 m v) #s(literal 1 binary64)))
(fma.f64 (/.f64 m v) (neg.f64 m) (-.f64 (/.f64 m v) #s(literal 1 binary64)))
(fma.f64 (neg.f64 m) (/.f64 m v) (-.f64 (/.f64 m v) #s(literal 1 binary64)))
(fma.f64 #s(literal -1 binary64) (*.f64 (/.f64 m v) m) (-.f64 (/.f64 m v) #s(literal 1 binary64)))
(fma.f64 #s(literal -1 binary64) (*.f64 m (/.f64 m v)) (-.f64 (/.f64 m v) #s(literal 1 binary64)))
(fma.f64 (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v) #s(literal 1 binary64) #s(literal -1 binary64))
(fma.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) (/.f64 #s(literal 1 binary64) v) #s(literal -1 binary64))
(fma.f64 (-.f64 #s(literal 1 binary64) m) (/.f64 m v) #s(literal -1 binary64))
(fma.f64 #s(literal 1 binary64) (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v) #s(literal -1 binary64))
(fma.f64 m (*.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) #s(literal 1 binary64)) #s(literal -1 binary64))
(fma.f64 m (/.f64 (-.f64 #s(literal 1 binary64) m) v) #s(literal -1 binary64))
(fma.f64 m (/.f64 (neg.f64 m) v) (-.f64 (/.f64 m v) #s(literal 1 binary64)))
(-.f64 (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v) #s(literal 1 binary64))
(+.f64 (*.f64 (/.f64 (neg.f64 m) v) m) (-.f64 (/.f64 m v) #s(literal 1 binary64)))
(+.f64 #s(literal -1 binary64) (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v))
(+.f64 (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v) #s(literal -1 binary64))
(.f64 (.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v))
(.f64 (.f64 (-.f64 m #s(literal 1 binary64)) m) (/.f64 #s(literal -1 binary64) v))
(*.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m)
(.f64 (/.f64 #s(literal 1 binary64) v) (.f64 (-.f64 #s(literal 1 binary64) m) m))
(.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) #s(literal 1 binary64))
(.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) (/.f64 #s(literal 1 binary64) v))
(*.f64 (-.f64 #s(literal 1 binary64) m) (/.f64 m v))
(.f64 #s(literal 1 binary64) (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v))
(.f64 m (.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) #s(literal 1 binary64)))
(*.f64 m (/.f64 (-.f64 #s(literal 1 binary64) m) v))
(/.f64 (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) #s(literal -1 binary64)) (neg.f64 v))
(/.f64 (/.f64 (*.f64 (-.f64 m #s(literal 1 binary64)) m) #s(literal -1 binary64)) v)
(/.f64 (/.f64 (*.f64 (-.f64 m #s(literal 1 binary64)) m) v) #s(literal -1 binary64))
(/.f64 (.f64 (.f64 (-.f64 m #s(literal 1 binary64)) m) #s(literal 2 binary64)) (*.f64 (neg.f64 v) #s(literal 2 binary64)))
(/.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) #s(literal 2 binary64)) (*.f64 v #s(literal 2 binary64)))
(/.f64 (.f64 (.f64 (-.f64 m #s(literal 1 binary64)) m) #s(literal 1 binary64)) (neg.f64 v))
(/.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) #s(literal 1 binary64)) v)
(/.f64 (*.f64 (-.f64 m #s(literal 1 binary64)) m) (neg.f64 v))
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v)
(neg.f64 (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) (neg.f64 v)))
(neg.f64 (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) #s(literal -1 binary64)))
(neg.f64 (/.f64 (*.f64 (-.f64 m #s(literal 1 binary64)) m) v))
(fma.f64 (/.f64 m #s(literal -1 binary64)) (/.f64 #s(literal -1 binary64) v) (*.f64 (/.f64 (neg.f64 m) v) m))
(fma.f64 (/.f64 #s(literal -1 binary64) v) (/.f64 m #s(literal -1 binary64)) (*.f64 (/.f64 (neg.f64 m) v) m))
(fma.f64 (*.f64 (neg.f64 m) m) (/.f64 #s(literal 1 binary64) v) (/.f64 m v))
(fma.f64 (*.f64 m (/.f64 m v)) #s(literal -1 binary64) (/.f64 m v))
(fma.f64 (.f64 m m) (.f64 (/.f64 #s(literal 1 binary64) v) #s(literal -1 binary64)) (/.f64 m v))
(fma.f64 (*.f64 m m) (/.f64 #s(literal -1 binary64) v) (/.f64 m v))
(fma.f64 (/.f64 #s(literal 1 binary64) v) m (*.f64 (/.f64 (neg.f64 m) v) m))
(fma.f64 (/.f64 (neg.f64 m) v) m (/.f64 m v))
(fma.f64 (/.f64 m v) (neg.f64 m) (/.f64 m v))
(fma.f64 (/.f64 m v) #s(literal 1 binary64) (*.f64 (/.f64 (neg.f64 m) v) m))
(fma.f64 (neg.f64 m) (/.f64 #s(literal -1 binary64) v) (*.f64 (/.f64 (neg.f64 m) v) m))
(fma.f64 (neg.f64 m) (/.f64 m v) (/.f64 m v))
(fma.f64 #s(literal -1 binary64) (*.f64 (/.f64 m v) m) (/.f64 m v))
(fma.f64 #s(literal -1 binary64) (*.f64 m (/.f64 m v)) (/.f64 m v))
(fma.f64 #s(literal -1 binary64) (/.f64 (neg.f64 m) v) (*.f64 (/.f64 (neg.f64 m) v) m))
(fma.f64 #s(literal 1 binary64) (/.f64 m v) (*.f64 (/.f64 (neg.f64 m) v) m))
(fma.f64 m (/.f64 #s(literal 1 binary64) v) (*.f64 (/.f64 (neg.f64 m) v) m))
(fma.f64 m (/.f64 (neg.f64 m) v) (/.f64 m v))
(-.f64 (.f64 (/.f64 (neg.f64 m) v) m) (.f64 (/.f64 #s(literal -1 binary64) v) m))
(-.f64 (*.f64 (/.f64 (neg.f64 m) v) m) (/.f64 (neg.f64 m) v))
(+.f64 (*.f64 (/.f64 (neg.f64 m) v) m) (/.f64 m v))
(+.f64 (/.f64 m v) (*.f64 (/.f64 (neg.f64 m) v) m))
(*.f64 (-.f64 #s(literal 1 binary64) m) m)
(*.f64 m (-.f64 #s(literal 1 binary64) m))
(neg.f64 (*.f64 (-.f64 m #s(literal 1 binary64)) m))
(fma.f64 (*.f64 m m) #s(literal -1 binary64) m)
(fma.f64 (neg.f64 m) m m)
(fma.f64 #s(literal -1 binary64) (*.f64 m m) m)
(fma.f64 m (neg.f64 m) m)
(-.f64 m (*.f64 m m))
(+.f64 (*.f64 (neg.f64 m) m) m)
(+.f64 m (*.f64 (neg.f64 m) m))
m
(*.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) m))
(neg.f64 (+.f64 #s(literal -1 binary64) m))
(neg.f64 (-.f64 m #s(literal 1 binary64)))
(fma.f64 (neg.f64 m) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) m #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) (neg.f64 m) #s(literal 1 binary64))
(fma.f64 m #s(literal -1 binary64) #s(literal 1 binary64))
(-.f64 (neg.f64 m) #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) m)
(+.f64 (neg.f64 m) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (neg.f64 m))
#s(literal 1 binary64)
v
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (neg.f64 m))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (*.f64 (-.f64 (/.f64 m v) #s(literal 1 binary64)) m))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (*.f64 (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)) m))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(literal -1 binary64))
#s(approx (- (/ (* m (- 1 m)) v) 1) (-.f64 (/.f64 m v) #s(literal 1 binary64)))
#s(approx (- (/ (* m (- 1 m)) v) 1) (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)))
#s(approx (/ (* m (- 1 m)) v) (/.f64 m v))
#s(approx (/ (* m (- 1 m)) v) (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v))
#s(approx (* m (- 1 m)) m)
#s(approx (* m (- 1 m)) (*.f64 (-.f64 #s(literal 1 binary64) m) m))
#s(approx (- 1 m) #s(literal 1 binary64))
#s(approx (- 1 m) (-.f64 #s(literal 1 binary64) m))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (/.f64 (.f64 (.f64 (neg.f64 m) m) m) v))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 (.f64 (*.f64 m m) (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) v)) m))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 (.f64 (.f64 (-.f64 (/.f64 (-.f64 m v) (.f64 (*.f64 m m) v)) (/.f64 #s(literal 1 binary64) v)) m) m) m))
#s(approx (- (/ (* m (- 1 m)) v) 1) (*.f64 (/.f64 (neg.f64 m) v) m))
#s(approx (- (/ (* m (- 1 m)) v) 1) (.f64 (.f64 m m) (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) v)))
#s(approx (- (/ (* m (- 1 m)) v) 1) (.f64 (.f64 (-.f64 (/.f64 (-.f64 m v) (.f64 (.f64 m m) v)) (/.f64 #s(literal 1 binary64) v)) m) m))
#s(approx (* m (- 1 m)) (*.f64 (neg.f64 m) m))
#s(approx (* m (- 1 m)) (.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) m) m))
#s(approx (- 1 m) (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) m))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 (.f64 (*.f64 m m) (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) v)) m))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 (.f64 (.f64 (-.f64 (/.f64 (-.f64 m v) (.f64 (*.f64 m m) v)) (/.f64 #s(literal 1 binary64) v)) m) m) m))
#s(approx (- (/ (* m (- 1 m)) v) 1) (.f64 (.f64 (-.f64 (/.f64 (-.f64 m v) (.f64 (.f64 m m) v)) (/.f64 #s(literal 1 binary64) v)) m) m))
#s(approx (- 1 m) (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) m))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 m (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v)))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (/.f64 (-.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) m) (*.f64 v m)) v))
#s(approx (- (/ (* m (- 1 m)) v) 1) (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v))
#s(approx (- (/ (* m (- 1 m)) v) 1) (/.f64 (-.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v) v))
#s(approx v v)
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (*.f64 (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)) m))
#s(approx (- (/ (* m (- 1 m)) v) 1) (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)))

eval13.0ms (0.5%)

Memory: 20.3MiB live, 20.3MiB allocated; 0ms collecting garbage
Compiler: Compiled 941 to 439 computations (53.3% saved)

prune34.0ms (1.2%)

Memory

-40.5MiB live, 16.1MiB allocated; 29ms collecting garbage

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	132	10	142
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	133	10	143

Accuracy

100.0%

Counts

143 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	92.5%	(fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) (*.f64 m m) (neg.f64 m))
▶	99.8%	(-.f64 (.f64 m (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v)) m)
	92.5%	(-.f64 (neg.f64 m) (/.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (.f64 m m)) v))
	99.8%	(*.f64 (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)) m)
	99.8%	(.f64 (-.f64 (/.f64 (.f64 m #s(approx (- 1 m) (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) m))) v) #s(literal 1 binary64)) m)
	51.2%	(.f64 (-.f64 (/.f64 #s(approx ( m (- 1 m)) m) v) #s(literal 1 binary64)) m)
▶	77.3%	(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v)) m)
	48.9%	(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 (neg.f64 m) v) m)) m)
▶	49.0%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (/.f64 (.f64 (.f64 (neg.f64 m) m) m) v))
▶	24.6%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (neg.f64 m))

Compiler

Compiled 210 to 208 computations (1% saved)

series16.0ms (0.6%)

Memory

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

Counts

19 → 43

Calls

Call 1

Inputs
(-.f64 (.f64 m (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v)) m)
(.f64 m (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v))
m
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v)
(*.f64 (-.f64 #s(literal 1 binary64) m) m)
(-.f64 #s(literal 1 binary64) m)
#s(literal 1 binary64)
v
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (neg.f64 m))
(neg.f64 m)
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (/.f64 (.f64 (.f64 (neg.f64 m) m) m) v))
(/.f64 (.f64 (.f64 (neg.f64 m) m) m) v)
(.f64 (.f64 (neg.f64 m) m) m)
(*.f64 (neg.f64 m) m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v)) m)
#s(approx (- (/ (* m (- 1 m)) v) 1) (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v))
(fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) (*.f64 m m) (neg.f64 m))
(/.f64 (-.f64 #s(literal 1 binary64) m) v)
(*.f64 m m)

Outputs
#s(approx (- (* m (/ (* (- 1 m) m) v)) m) #s(hole binary64 (* -1 m)))
#s(approx (- (* m (/ (* (- 1 m) m) v)) m) #s(hole binary64 (* m (- (/ m v) 1))))
#s(approx (- (* m (/ (* (- 1 m) m) v)) m) #s(hole binary64 (* m (- (* m (+ (* -1 (/ m v)) (/ 1 v))) 1))))
#s(approx (* m (/ (* (- 1 m) m) v)) #s(hole binary64 (/ (pow m 2) v)))
#s(approx (* m (/ (* (- 1 m) m) v)) #s(hole binary64 (* (pow m 2) (+ (* -1 (/ m v)) (/ 1 v)))))
#s(approx m #s(hole binary64 m))
#s(approx (/ (* (- 1 m) m) v) #s(hole binary64 (/ m v)))
#s(approx (/ (* (- 1 m) m) v) #s(hole binary64 (* m (+ (* -1 (/ m v)) (/ 1 v)))))
#s(approx (* (- 1 m) m) #s(hole binary64 (* m (+ 1 (* -1 m)))))
#s(approx (- 1 m) #s(hole binary64 1))
#s(approx (- 1 m) #s(hole binary64 (+ 1 (* -1 m))))
#s(approx (/ (* (* (neg m) m) m) v) #s(hole binary64 (* -1 (/ (pow m 3) v))))
#s(approx (* (* (neg m) m) m) #s(hole binary64 (* -1 (pow m 3))))
#s(approx (* (neg m) m) #s(hole binary64 (* -1 (pow m 2))))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 -1))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (- (/ m v) 1)))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (- (* m (+ (* -1 (/ m v)) (/ 1 v))) 1)))
#s(approx (/ (- 1 m) v) #s(hole binary64 (/ 1 v)))
#s(approx (/ (- 1 m) v) #s(hole binary64 (+ (* -1 (/ m v)) (/ 1 v))))
#s(approx (* m m) #s(hole binary64 (pow m 2)))
#s(approx (- (* m (/ (* (- 1 m) m) v)) m) #s(hole binary64 (* (pow m 3) (- (/ 1 (* m v)) (/ 1 v)))))
#s(approx (- (* m (/ (* (- 1 m) m) v)) m) #s(hole binary64 (* (pow m 3) (- (/ 1 (* m v)) (+ (/ 1 v) (/ 1 (pow m 2)))))))
#s(approx (/ (* (- 1 m) m) v) #s(hole binary64 (* -1 (/ (pow m 2) v))))
#s(approx (/ (* (- 1 m) m) v) #s(hole binary64 (* (pow m 2) (- (/ 1 (* m v)) (/ 1 v)))))
#s(approx (* (- 1 m) m) #s(hole binary64 (* (pow m 2) (- (/ 1 m) 1))))
#s(approx (- 1 m) #s(hole binary64 (* m (- (/ 1 m) 1))))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (* (pow m 2) (- (/ 1 (* m v)) (+ (/ 1 v) (/ 1 (pow m 2)))))))
#s(approx (/ (- 1 m) v) #s(hole binary64 (* -1 (/ m v))))
#s(approx (/ (- 1 m) v) #s(hole binary64 (* m (- (/ 1 (* m v)) (/ 1 v)))))
#s(approx (- (* m (/ (* (- 1 m) m) v)) m) #s(hole binary64 (* -1 (* (pow m 3) (- (/ 1 v) (/ 1 (* m v)))))))
#s(approx (- (* m (/ (* (- 1 m) m) v)) m) #s(hole binary64 (* -1 (* (pow m 3) (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v))))))
#s(approx (- 1 m) #s(hole binary64 (* -1 (* m (- 1 (/ 1 m))))))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (* (pow m 2) (- (* -1 (/ (- (/ 1 m) (/ 1 v)) m)) (/ 1 v)))))
#s(approx (/ (- 1 m) v) #s(hole binary64 (* -1 (* m (- (/ 1 v) (/ 1 (* m v)))))))
#s(approx (- (* m (/ (* (- 1 m) m) v)) m) #s(hole binary64 (/ (* (pow m 2) (- 1 m)) v)))
#s(approx (- (* m (/ (* (- 1 m) m) v)) m) #s(hole binary64 (/ (+ (* -1 (* m v)) (* (pow m 2) (- 1 m))) v)))
#s(approx (/ (* (- 1 m) m) v) #s(hole binary64 (/ (* m (- 1 m)) v)))
#s(approx v #s(hole binary64 v))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (/ (+ (* -1 v) (* m (- 1 m))) v)))
#s(approx (/ (- 1 m) v) #s(hole binary64 (/ (- 1 m) v)))
#s(approx (- (* m (/ (* (- 1 m) m) v)) m) #s(hole binary64 (- (/ (* (pow m 2) (- 1 m)) v) m)))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) #s(hole binary64 (+ (* -1 m) (/ (* (pow m 2) (- 1 m)) v))))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (- (/ (* m (- 1 m)) v) 1)))

Calls

6 calls:

Time	Variable		Point	Expression
4.0ms	m	@	inf	((- (* m (/ (* (- 1 m) m) v)) m) (* m (/ (* (- 1 m) m) v)) m (/ (* (- 1 m) m) v) (* (- 1 m) m) (- 1 m) 1 v (* (- (/ (* m (- 1 m)) v) 1) m) (neg m) (* (- (/ (* m (- 1 m)) v) 1) m) (/ (* (* (neg m) m) m) v) (* (* (neg m) m) m) (* (neg m) m) (* (- (/ (* m (- 1 m)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (+ (* (/ (- 1 m) v) (* m m)) (neg m)) (/ (- 1 m) v) (* m m))
3.0ms	m	@	-inf	((- (* m (/ (* (- 1 m) m) v)) m) (* m (/ (* (- 1 m) m) v)) m (/ (* (- 1 m) m) v) (* (- 1 m) m) (- 1 m) 1 v (* (- (/ (* m (- 1 m)) v) 1) m) (neg m) (* (- (/ (* m (- 1 m)) v) 1) m) (/ (* (* (neg m) m) m) v) (* (* (neg m) m) m) (* (neg m) m) (* (- (/ (* m (- 1 m)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (+ (* (/ (- 1 m) v) (* m m)) (neg m)) (/ (- 1 m) v) (* m m))
2.0ms	v	@	0	((- (* m (/ (* (- 1 m) m) v)) m) (* m (/ (* (- 1 m) m) v)) m (/ (* (- 1 m) m) v) (* (- 1 m) m) (- 1 m) 1 v (* (- (/ (* m (- 1 m)) v) 1) m) (neg m) (* (- (/ (* m (- 1 m)) v) 1) m) (/ (* (* (neg m) m) m) v) (* (* (neg m) m) m) (* (neg m) m) (* (- (/ (* m (- 1 m)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (+ (* (/ (- 1 m) v) (* m m)) (neg m)) (/ (- 1 m) v) (* m m))
2.0ms	m	@	0	((- (* m (/ (* (- 1 m) m) v)) m) (* m (/ (* (- 1 m) m) v)) m (/ (* (- 1 m) m) v) (* (- 1 m) m) (- 1 m) 1 v (* (- (/ (* m (- 1 m)) v) 1) m) (neg m) (* (- (/ (* m (- 1 m)) v) 1) m) (/ (* (* (neg m) m) m) v) (* (* (neg m) m) m) (* (neg m) m) (* (- (/ (* m (- 1 m)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (+ (* (/ (- 1 m) v) (* m m)) (neg m)) (/ (- 1 m) v) (* m m))
2.0ms	v	@	-inf	((- (* m (/ (* (- 1 m) m) v)) m) (* m (/ (* (- 1 m) m) v)) m (/ (* (- 1 m) m) v) (* (- 1 m) m) (- 1 m) 1 v (* (- (/ (* m (- 1 m)) v) 1) m) (neg m) (* (- (/ (* m (- 1 m)) v) 1) m) (/ (* (* (neg m) m) m) v) (* (* (neg m) m) m) (* (neg m) m) (* (- (/ (* m (- 1 m)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (+ (* (/ (- 1 m) v) (* m m)) (neg m)) (/ (- 1 m) v) (* m m))

rewrite241.0ms (8.8%)

Memory

2.3MiB live, 140.6MiB allocated; 11ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	145	885
0	167	865
1	732	805
2	6244	805
0	8184	776
1	30653	776

Stop Event

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

Counts

62 → 354

Calls

Call 1

Inputs
(-.f64 (.f64 m (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v)) m)
(.f64 m (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v))
m
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v)
(*.f64 (-.f64 #s(literal 1 binary64) m) m)
(-.f64 #s(literal 1 binary64) m)
#s(literal 1 binary64)
v
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (neg.f64 m))
(neg.f64 m)
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (/.f64 (.f64 (.f64 (neg.f64 m) m) m) v))
(/.f64 (.f64 (.f64 (neg.f64 m) m) m) v)
(.f64 (.f64 (neg.f64 m) m) m)
(*.f64 (neg.f64 m) m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v)) m)
#s(approx (- (/ (* m (- 1 m)) v) 1) (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v))
(fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) (*.f64 m m) (neg.f64 m))
(/.f64 (-.f64 #s(literal 1 binary64) m) v)
(*.f64 m m)
#s(approx (- (* m (/ (* (- 1 m) m) v)) m) #s(hole binary64 (* -1 m)))
#s(approx (- (* m (/ (* (- 1 m) m) v)) m) #s(hole binary64 (* m (- (/ m v) 1))))
#s(approx (- (* m (/ (* (- 1 m) m) v)) m) #s(hole binary64 (* m (- (* m (+ (* -1 (/ m v)) (/ 1 v))) 1))))
#s(approx (* m (/ (* (- 1 m) m) v)) #s(hole binary64 (/ (pow m 2) v)))
#s(approx (* m (/ (* (- 1 m) m) v)) #s(hole binary64 (* (pow m 2) (+ (* -1 (/ m v)) (/ 1 v)))))
#s(approx m #s(hole binary64 m))
#s(approx (/ (* (- 1 m) m) v) #s(hole binary64 (/ m v)))
#s(approx (/ (* (- 1 m) m) v) #s(hole binary64 (* m (+ (* -1 (/ m v)) (/ 1 v)))))
#s(approx (* (- 1 m) m) #s(hole binary64 (* m (+ 1 (* -1 m)))))
#s(approx (- 1 m) #s(hole binary64 1))
#s(approx (- 1 m) #s(hole binary64 (+ 1 (* -1 m))))
#s(approx (/ (* (* (neg m) m) m) v) #s(hole binary64 (* -1 (/ (pow m 3) v))))
#s(approx (* (* (neg m) m) m) #s(hole binary64 (* -1 (pow m 3))))
#s(approx (* (neg m) m) #s(hole binary64 (* -1 (pow m 2))))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 -1))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (- (/ m v) 1)))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (- (* m (+ (* -1 (/ m v)) (/ 1 v))) 1)))
#s(approx (/ (- 1 m) v) #s(hole binary64 (/ 1 v)))
#s(approx (/ (- 1 m) v) #s(hole binary64 (+ (* -1 (/ m v)) (/ 1 v))))
#s(approx (* m m) #s(hole binary64 (pow m 2)))
#s(approx (- (* m (/ (* (- 1 m) m) v)) m) #s(hole binary64 (* (pow m 3) (- (/ 1 (* m v)) (/ 1 v)))))
#s(approx (- (* m (/ (* (- 1 m) m) v)) m) #s(hole binary64 (* (pow m 3) (- (/ 1 (* m v)) (+ (/ 1 v) (/ 1 (pow m 2)))))))
#s(approx (/ (* (- 1 m) m) v) #s(hole binary64 (* -1 (/ (pow m 2) v))))
#s(approx (/ (* (- 1 m) m) v) #s(hole binary64 (* (pow m 2) (- (/ 1 (* m v)) (/ 1 v)))))
#s(approx (* (- 1 m) m) #s(hole binary64 (* (pow m 2) (- (/ 1 m) 1))))
#s(approx (- 1 m) #s(hole binary64 (* m (- (/ 1 m) 1))))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (* (pow m 2) (- (/ 1 (* m v)) (+ (/ 1 v) (/ 1 (pow m 2)))))))
#s(approx (/ (- 1 m) v) #s(hole binary64 (* -1 (/ m v))))
#s(approx (/ (- 1 m) v) #s(hole binary64 (* m (- (/ 1 (* m v)) (/ 1 v)))))
#s(approx (- (* m (/ (* (- 1 m) m) v)) m) #s(hole binary64 (* -1 (* (pow m 3) (- (/ 1 v) (/ 1 (* m v)))))))
#s(approx (- (* m (/ (* (- 1 m) m) v)) m) #s(hole binary64 (* -1 (* (pow m 3) (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v))))))
#s(approx (- 1 m) #s(hole binary64 (* -1 (* m (- 1 (/ 1 m))))))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (* (pow m 2) (- (* -1 (/ (- (/ 1 m) (/ 1 v)) m)) (/ 1 v)))))
#s(approx (/ (- 1 m) v) #s(hole binary64 (* -1 (* m (- (/ 1 v) (/ 1 (* m v)))))))
#s(approx (- (* m (/ (* (- 1 m) m) v)) m) #s(hole binary64 (/ (* (pow m 2) (- 1 m)) v)))
#s(approx (- (* m (/ (* (- 1 m) m) v)) m) #s(hole binary64 (/ (+ (* -1 (* m v)) (* (pow m 2) (- 1 m))) v)))
#s(approx (/ (* (- 1 m) m) v) #s(hole binary64 (/ (* m (- 1 m)) v)))
#s(approx v #s(hole binary64 v))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (/ (+ (* -1 v) (* m (- 1 m))) v)))
#s(approx (/ (- 1 m) v) #s(hole binary64 (/ (- 1 m) v)))
#s(approx (- (* m (/ (* (- 1 m) m) v)) m) #s(hole binary64 (- (/ (* (pow m 2) (- 1 m)) v) m)))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) #s(hole binary64 (+ (* -1 m) (/ (* (pow m 2) (- 1 m)) v))))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (- (/ (* m (- 1 m)) v) 1)))

Outputs
(*.f64 (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)) m)
(*.f64 m (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)))
(neg.f64 (.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v)) m))
(neg.f64 (.f64 m (-.f64 #s(literal 1 binary64) (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v))))
(neg.f64 (-.f64 (/.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (.f64 m m)) v) (neg.f64 m)))
(neg.f64 (-.f64 m (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m)))
(fma.f64 (*.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) (fabs.f64 m)) (fabs.f64 m) (neg.f64 m))
(fma.f64 (*.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) (neg.f64 m)) (neg.f64 m) (neg.f64 m))
(fma.f64 (.f64 (.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) m) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v) (neg.f64 m))
(fma.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (.f64 m m)) (/.f64 #s(literal -1 binary64) v) (neg.f64 m))
(fma.f64 (fabs.f64 m) (*.f64 (fabs.f64 m) (/.f64 (-.f64 #s(literal 1 binary64) m) v)) (neg.f64 m))
(fma.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) m) (/.f64 #s(literal 1 binary64) v) (neg.f64 m))
(fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) (*.f64 m m) (neg.f64 m))
(fma.f64 (*.f64 m m) (/.f64 (-.f64 #s(literal 1 binary64) m) v) (neg.f64 m))
(fma.f64 (/.f64 #s(literal 1 binary64) v) (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) m) (neg.f64 m))
(fma.f64 #s(literal -1 binary64) m (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m))
(fma.f64 (neg.f64 m) (*.f64 (neg.f64 m) (/.f64 (-.f64 #s(literal 1 binary64) m) v)) (neg.f64 m))
(fma.f64 (neg.f64 m) #s(literal 1 binary64) (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m))
(fma.f64 (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v) m (neg.f64 m))
(fma.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) (/.f64 m v) (neg.f64 m))
(fma.f64 (-.f64 #s(literal 1 binary64) m) (*.f64 (/.f64 m v) m) (neg.f64 m))
(fma.f64 #s(literal 1 binary64) (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m) (neg.f64 m))
(fma.f64 #s(literal 1 binary64) (neg.f64 m) (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m))
(fma.f64 m #s(literal -1 binary64) (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m))
(fma.f64 m (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v) (neg.f64 m))
(-.f64 (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m) m)
(-.f64 (neg.f64 m) (/.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (.f64 m m)) v))
(+.f64 (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m) (neg.f64 m))
(+.f64 (neg.f64 m) (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m))
(.f64 (.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) (fabs.f64 m)) (fabs.f64 m))
(.f64 (.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) (neg.f64 m)) (neg.f64 m))
(.f64 (.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) m) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v))
(.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (*.f64 m m)) (/.f64 #s(literal -1 binary64) v))
(.f64 (fabs.f64 m) (.f64 (fabs.f64 m) (/.f64 (-.f64 #s(literal 1 binary64) m) v)))
(.f64 (.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) m) (/.f64 #s(literal 1 binary64) v))
(.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) (.f64 m m))
(.f64 (.f64 m m) (/.f64 (-.f64 #s(literal 1 binary64) m) v))
(.f64 (/.f64 #s(literal 1 binary64) v) (.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) m))
(.f64 (neg.f64 m) (.f64 (neg.f64 m) (/.f64 (-.f64 #s(literal 1 binary64) m) v)))
(.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m)
(.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) (/.f64 m v))
(.f64 (-.f64 #s(literal 1 binary64) m) (.f64 (/.f64 m v) m))
(.f64 #s(literal 1 binary64) (.f64 (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v) m))
(.f64 m (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v))
(/.f64 (.f64 (.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) m) #s(literal -1 binary64)) (neg.f64 v))
(/.f64 (.f64 (.f64 (-.f64 m #s(literal 1 binary64)) m) m) (neg.f64 v))
(/.f64 (/.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (.f64 m m)) #s(literal -1 binary64)) v)
(/.f64 (.f64 (.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) m) #s(literal 1 binary64)) v)
(/.f64 (/.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (.f64 m m)) v) #s(literal -1 binary64))
(/.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (.f64 m m)) (neg.f64 v))
(/.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) m) v)
(neg.f64 (/.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (.f64 m m)) v))
(fma.f64 (.f64 (/.f64 (neg.f64 m) v) (fabs.f64 m)) (fabs.f64 m) (.f64 (/.f64 m v) m))
(fma.f64 (.f64 (/.f64 #s(literal 1 binary64) v) (fabs.f64 m)) (fabs.f64 m) (/.f64 (.f64 (*.f64 (neg.f64 m) m) m) v))
(fma.f64 (.f64 (.f64 (.f64 (neg.f64 m) m) m) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v) (.f64 (/.f64 m v) m))
(fma.f64 (.f64 (/.f64 (neg.f64 m) v) (neg.f64 m)) (neg.f64 m) (.f64 (/.f64 m v) m))
(fma.f64 (.f64 (/.f64 #s(literal 1 binary64) v) (neg.f64 m)) (neg.f64 m) (/.f64 (.f64 (*.f64 (neg.f64 m) m) m) v))
(fma.f64 (/.f64 (.f64 m m) #s(literal -1 binary64)) (/.f64 #s(literal -1 binary64) v) (/.f64 (.f64 (*.f64 (neg.f64 m) m) m) v))
(fma.f64 (/.f64 (neg.f64 m) #s(literal -1 binary64)) (/.f64 m v) (/.f64 (.f64 (.f64 (neg.f64 m) m) m) v))
(fma.f64 (/.f64 m #s(literal -1 binary64)) (/.f64 (neg.f64 m) v) (/.f64 (.f64 (.f64 (neg.f64 m) m) m) v))
(fma.f64 (.f64 (/.f64 (neg.f64 m) v) m) m (.f64 (/.f64 m v) m))
(fma.f64 (/.f64 #s(literal -1 binary64) v) (/.f64 (.f64 m m) #s(literal -1 binary64)) (/.f64 (.f64 (*.f64 (neg.f64 m) m) m) v))
(fma.f64 (fabs.f64 m) (.f64 (fabs.f64 m) (/.f64 #s(literal 1 binary64) v)) (/.f64 (.f64 (*.f64 (neg.f64 m) m) m) v))
(fma.f64 (fabs.f64 m) (.f64 (fabs.f64 m) (/.f64 (neg.f64 m) v)) (.f64 (/.f64 m v) m))
(fma.f64 (fabs.f64 m) (/.f64 (fabs.f64 m) v) (/.f64 (.f64 (.f64 (neg.f64 m) m) m) v))
(fma.f64 (.f64 (.f64 (/.f64 m v) m) m) #s(literal -1 binary64) (*.f64 (/.f64 m v) m))
(fma.f64 (.f64 (.f64 m m) m) (.f64 (/.f64 #s(literal 1 binary64) v) #s(literal -1 binary64)) (.f64 (/.f64 m v) m))
(fma.f64 (.f64 (.f64 m m) m) (/.f64 #s(literal -1 binary64) v) (*.f64 (/.f64 m v) m))
(fma.f64 (.f64 (/.f64 m v) m) #s(literal 1 binary64) (/.f64 (.f64 (*.f64 (neg.f64 m) m) m) v))
(fma.f64 (.f64 m m) (/.f64 #s(literal 1 binary64) v) (/.f64 (.f64 (*.f64 (neg.f64 m) m) m) v))
(fma.f64 (.f64 m m) (/.f64 (neg.f64 m) v) (.f64 (/.f64 m v) m))
(fma.f64 (/.f64 #s(literal 1 binary64) v) (.f64 m m) (/.f64 (.f64 (*.f64 (neg.f64 m) m) m) v))
(fma.f64 (/.f64 #s(literal 1 binary64) v) (.f64 (.f64 (neg.f64 m) m) m) (*.f64 (/.f64 m v) m))
(fma.f64 (/.f64 (neg.f64 m) v) (/.f64 m #s(literal -1 binary64)) (/.f64 (.f64 (.f64 (neg.f64 m) m) m) v))
(fma.f64 (/.f64 (neg.f64 m) v) (.f64 m m) (.f64 (/.f64 m v) m))
(fma.f64 (/.f64 m v) (/.f64 (neg.f64 m) #s(literal -1 binary64)) (/.f64 (.f64 (.f64 (neg.f64 m) m) m) v))
(fma.f64 (/.f64 m v) (.f64 (neg.f64 m) m) (.f64 (/.f64 m v) m))
(fma.f64 (/.f64 m v) m (/.f64 (.f64 (.f64 (neg.f64 m) m) m) v))
(fma.f64 #s(literal -1 binary64) (.f64 (/.f64 (neg.f64 m) v) m) (/.f64 (.f64 (*.f64 (neg.f64 m) m) m) v))
(fma.f64 #s(literal -1 binary64) (.f64 (.f64 (/.f64 m v) m) m) (*.f64 (/.f64 m v) m))
(fma.f64 (.f64 (.f64 (neg.f64 m) m) m) (/.f64 #s(literal 1 binary64) v) (*.f64 (/.f64 m v) m))
(fma.f64 (.f64 (neg.f64 m) m) (/.f64 #s(literal -1 binary64) v) (/.f64 (.f64 (*.f64 (neg.f64 m) m) m) v))
(fma.f64 (.f64 (neg.f64 m) m) (/.f64 m v) (.f64 (/.f64 m v) m))
(fma.f64 (neg.f64 m) (.f64 (/.f64 m v) m) (.f64 (/.f64 m v) m))
(fma.f64 (neg.f64 m) (/.f64 (neg.f64 m) v) (/.f64 (.f64 (.f64 (neg.f64 m) m) m) v))
(fma.f64 #s(literal 1 binary64) (.f64 (/.f64 m v) m) (/.f64 (.f64 (*.f64 (neg.f64 m) m) m) v))
(fma.f64 #s(literal 1 binary64) (/.f64 (.f64 (.f64 (neg.f64 m) m) m) v) (*.f64 (/.f64 m v) m))
(fma.f64 m (.f64 (/.f64 (neg.f64 m) v) m) (.f64 (/.f64 m v) m))
(fma.f64 m (/.f64 m v) (/.f64 (.f64 (.f64 (neg.f64 m) m) m) v))
(-.f64 (/.f64 (.f64 (.f64 (neg.f64 m) m) m) v) (.f64 (/.f64 #s(literal -1 binary64) v) (.f64 m m)))
(-.f64 (/.f64 (.f64 (.f64 (neg.f64 m) m) m) v) (*.f64 (/.f64 (neg.f64 m) v) m))
(+.f64 (.f64 (/.f64 m v) m) (/.f64 (.f64 (*.f64 (neg.f64 m) m) m) v))
(+.f64 (/.f64 (.f64 (.f64 (neg.f64 m) m) m) v) (*.f64 (/.f64 m v) m))
m
(.f64 (.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v))
(.f64 (.f64 (-.f64 m #s(literal 1 binary64)) m) (/.f64 #s(literal -1 binary64) v))
(*.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m)
(.f64 (/.f64 #s(literal 1 binary64) v) (.f64 (-.f64 #s(literal 1 binary64) m) m))
(*.f64 (/.f64 m v) (-.f64 #s(literal 1 binary64) m))
(.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) #s(literal 1 binary64))
(.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) (/.f64 #s(literal 1 binary64) v))
(*.f64 (-.f64 #s(literal 1 binary64) m) (/.f64 m v))
(.f64 #s(literal 1 binary64) (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v))
(.f64 m (.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) #s(literal 1 binary64)))
(*.f64 m (/.f64 (-.f64 #s(literal 1 binary64) m) v))
(/.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) #s(literal -1 binary64)) (neg.f64 v))
(/.f64 (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (/.f64 (*.f64 (-.f64 m #s(literal 1 binary64)) m) #s(literal -1 binary64)) v)
(/.f64 (/.f64 (*.f64 (-.f64 m #s(literal 1 binary64)) m) v) #s(literal -1 binary64))
(/.f64 (.f64 (.f64 (-.f64 m #s(literal 1 binary64)) m) #s(literal 1 binary64)) (neg.f64 v))
(/.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) #s(literal 1 binary64)) v)
(/.f64 (.f64 (.f64 (-.f64 m #s(literal 1 binary64)) m) #s(literal 2 binary64)) (*.f64 (neg.f64 v) #s(literal 2 binary64)))
(/.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) #s(literal 2 binary64)) (*.f64 v #s(literal 2 binary64)))
(/.f64 (*.f64 (-.f64 m #s(literal 1 binary64)) m) (neg.f64 v))
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v)
(neg.f64 (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) (neg.f64 v)))
(neg.f64 (*.f64 (-.f64 m #s(literal 1 binary64)) (/.f64 m v)))
(neg.f64 (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) #s(literal -1 binary64)))
(neg.f64 (/.f64 (*.f64 (-.f64 m #s(literal 1 binary64)) m) v))
(fma.f64 (/.f64 m #s(literal -1 binary64)) (/.f64 #s(literal -1 binary64) v) (*.f64 (/.f64 (neg.f64 m) v) m))
(fma.f64 (/.f64 #s(literal -1 binary64) v) (/.f64 m #s(literal -1 binary64)) (*.f64 (/.f64 (neg.f64 m) v) m))
(fma.f64 (*.f64 (/.f64 m v) m) #s(literal -1 binary64) (/.f64 m v))
(fma.f64 (.f64 m m) (.f64 (/.f64 #s(literal 1 binary64) v) #s(literal -1 binary64)) (/.f64 m v))
(fma.f64 (*.f64 m m) (/.f64 #s(literal -1 binary64) v) (/.f64 m v))
(fma.f64 (/.f64 #s(literal 1 binary64) v) m (*.f64 (/.f64 (neg.f64 m) v) m))
(fma.f64 (/.f64 (neg.f64 m) v) m (/.f64 m v))
(fma.f64 (/.f64 m v) (neg.f64 m) (/.f64 m v))
(fma.f64 (/.f64 m v) #s(literal 1 binary64) (*.f64 (/.f64 (neg.f64 m) v) m))
(fma.f64 #s(literal -1 binary64) (*.f64 (/.f64 m v) m) (/.f64 m v))
(fma.f64 #s(literal -1 binary64) (/.f64 (neg.f64 m) v) (*.f64 (/.f64 (neg.f64 m) v) m))
(fma.f64 (*.f64 (neg.f64 m) m) (/.f64 #s(literal 1 binary64) v) (/.f64 m v))
(fma.f64 (neg.f64 m) (/.f64 #s(literal -1 binary64) v) (*.f64 (/.f64 (neg.f64 m) v) m))
(fma.f64 (neg.f64 m) (/.f64 m v) (/.f64 m v))
(fma.f64 #s(literal 1 binary64) (/.f64 m v) (*.f64 (/.f64 (neg.f64 m) v) m))
(fma.f64 m (/.f64 #s(literal 1 binary64) v) (*.f64 (/.f64 (neg.f64 m) v) m))
(fma.f64 m (/.f64 (neg.f64 m) v) (/.f64 m v))
(-.f64 (.f64 (/.f64 (neg.f64 m) v) m) (.f64 (/.f64 #s(literal -1 binary64) v) m))
(-.f64 (*.f64 (/.f64 (neg.f64 m) v) m) (/.f64 (neg.f64 m) v))
(+.f64 (*.f64 (/.f64 (neg.f64 m) v) m) (/.f64 m v))
(+.f64 (/.f64 m v) (*.f64 (/.f64 (neg.f64 m) v) m))
(*.f64 (-.f64 #s(literal 1 binary64) m) m)
(*.f64 m (-.f64 #s(literal 1 binary64) m))
(neg.f64 (*.f64 (-.f64 m #s(literal 1 binary64)) m))
(fma.f64 (*.f64 #s(literal -1 binary64) (fabs.f64 m)) (fabs.f64 m) m)
(fma.f64 (neg.f64 (fabs.f64 m)) (fabs.f64 m) m)
(fma.f64 (fabs.f64 m) (*.f64 (fabs.f64 m) #s(literal -1 binary64)) m)
(fma.f64 (fabs.f64 m) (neg.f64 (fabs.f64 m)) m)
(fma.f64 (*.f64 m m) #s(literal -1 binary64) m)
(fma.f64 #s(literal -1 binary64) (*.f64 m m) m)
(fma.f64 (neg.f64 m) m m)
(fma.f64 m (neg.f64 m) m)
(-.f64 m (*.f64 m m))
(+.f64 (*.f64 (neg.f64 m) m) m)
(+.f64 m (*.f64 (neg.f64 m) m))
(*.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) m))
(neg.f64 (-.f64 m #s(literal 1 binary64)))
(fma.f64 #s(literal -1 binary64) m #s(literal 1 binary64))
(fma.f64 (neg.f64 m) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) (neg.f64 m) #s(literal 1 binary64))
(fma.f64 m #s(literal -1 binary64) #s(literal 1 binary64))
(-.f64 (neg.f64 m) #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) m)
(+.f64 (neg.f64 m) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (neg.f64 m))
#s(literal 1 binary64)
v
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (neg.f64 m))
(*.f64 #s(literal -1 binary64) m)
(*.f64 (neg.f64 m) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (neg.f64 m))
(*.f64 m #s(literal -1 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) (neg.f64 m)) #s(literal 2 binary64))
(neg.f64 m)
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (/.f64 (.f64 (.f64 (neg.f64 m) m) m) v))
(.f64 (.f64 (/.f64 (neg.f64 m) v) (fabs.f64 m)) (fabs.f64 m))
(.f64 (.f64 (.f64 (.f64 (neg.f64 m) m) m) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v))
(.f64 (.f64 (/.f64 (neg.f64 m) v) (neg.f64 m)) (neg.f64 m))
(.f64 (.f64 (/.f64 (neg.f64 m) v) m) m)
(.f64 (fabs.f64 m) (.f64 (fabs.f64 m) (/.f64 (neg.f64 m) v)))
(.f64 (.f64 (*.f64 (/.f64 m v) m) m) #s(literal -1 binary64))
(.f64 (.f64 (.f64 m m) m) (.f64 (/.f64 #s(literal 1 binary64) v) #s(literal -1 binary64)))
(.f64 (.f64 (*.f64 m m) m) (/.f64 #s(literal -1 binary64) v))
(.f64 (.f64 m m) (/.f64 (neg.f64 m) v))
(.f64 (/.f64 #s(literal 1 binary64) v) (.f64 (*.f64 (neg.f64 m) m) m))
(.f64 (/.f64 (neg.f64 m) v) (.f64 m m))
(.f64 (/.f64 m v) (.f64 (neg.f64 m) m))
(.f64 #s(literal -1 binary64) (.f64 (*.f64 (/.f64 m v) m) m))
(.f64 (.f64 (*.f64 (neg.f64 m) m) m) (/.f64 #s(literal 1 binary64) v))
(.f64 (.f64 (neg.f64 m) m) (/.f64 m v))
(.f64 (neg.f64 m) (.f64 (/.f64 m v) m))
(.f64 #s(literal 1 binary64) (/.f64 (.f64 (*.f64 (neg.f64 m) m) m) v))
(.f64 m (.f64 (/.f64 (neg.f64 m) v) m))
(/.f64 (.f64 (.f64 (*.f64 (neg.f64 m) m) m) #s(literal 1 binary64)) v)
(/.f64 (.f64 #s(literal -1 binary64) (.f64 (*.f64 (neg.f64 m) m) m)) (neg.f64 v))
(/.f64 (.f64 (.f64 (*.f64 (neg.f64 m) m) m) #s(literal -1 binary64)) (neg.f64 v))
(/.f64 (/.f64 (.f64 (.f64 m m) m) #s(literal -1 binary64)) v)
(/.f64 (.f64 (.f64 (/.f64 m v) m) m) #s(literal -1 binary64))
(/.f64 (.f64 (.f64 m m) m) (neg.f64 v))
(/.f64 (.f64 (.f64 (neg.f64 m) m) m) v)
(neg.f64 (.f64 (.f64 (/.f64 m v) m) m))
(.f64 (.f64 (neg.f64 m) (fabs.f64 m)) (fabs.f64 m))
(.f64 (.f64 (*.f64 m m) m) #s(literal -1 binary64))
(.f64 (.f64 m m) (neg.f64 m))
(.f64 #s(literal -1 binary64) (.f64 (*.f64 m m) m))
(.f64 (.f64 (neg.f64 m) m) m)
(.f64 (neg.f64 m) (.f64 m m))
(.f64 m (.f64 (neg.f64 m) m))
(pow.f64 (neg.f64 m) #s(literal 3 binary64))
(neg.f64 (.f64 (.f64 (*.f64 m m) m) #s(literal 1 binary64)))
(neg.f64 (.f64 #s(literal 1 binary64) (.f64 (*.f64 m m) m)))
(neg.f64 (.f64 (.f64 m m) m))
(.f64 (.f64 #s(literal -1 binary64) (fabs.f64 m)) (fabs.f64 m))
(*.f64 (neg.f64 (fabs.f64 m)) (fabs.f64 m))
(.f64 (fabs.f64 m) (.f64 (fabs.f64 m) #s(literal -1 binary64)))
(*.f64 (fabs.f64 m) (neg.f64 (fabs.f64 m)))
(.f64 (.f64 m m) #s(literal -1 binary64))
(.f64 #s(literal -1 binary64) (.f64 m m))
(*.f64 (neg.f64 m) m)
(*.f64 m (neg.f64 m))
(neg.f64 (*.f64 m m))
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v)) m)
(.f64 m #s(approx (- (/ ( m (- 1 m)) v) 1) (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v)))
#s(approx (- (/ (* m (- 1 m)) v) 1) (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v))
(*.f64 (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)) m)
(*.f64 m (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)))
(neg.f64 (.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v)) m))
(neg.f64 (.f64 m (-.f64 #s(literal 1 binary64) (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v))))
(neg.f64 (-.f64 (/.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (.f64 m m)) v) (neg.f64 m)))
(neg.f64 (-.f64 m (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m)))
(fma.f64 (*.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) (fabs.f64 m)) (fabs.f64 m) (neg.f64 m))
(fma.f64 (*.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) (neg.f64 m)) (neg.f64 m) (neg.f64 m))
(fma.f64 (.f64 (.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) m) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v) (neg.f64 m))
(fma.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (.f64 m m)) (/.f64 #s(literal -1 binary64) v) (neg.f64 m))
(fma.f64 (fabs.f64 m) (*.f64 (fabs.f64 m) (/.f64 (-.f64 #s(literal 1 binary64) m) v)) (neg.f64 m))
(fma.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) m) (/.f64 #s(literal 1 binary64) v) (neg.f64 m))
(fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) (*.f64 m m) (neg.f64 m))
(fma.f64 (*.f64 m m) (/.f64 (-.f64 #s(literal 1 binary64) m) v) (neg.f64 m))
(fma.f64 (/.f64 #s(literal 1 binary64) v) (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) m) (neg.f64 m))
(fma.f64 #s(literal -1 binary64) m (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m))
(fma.f64 (neg.f64 m) (*.f64 (neg.f64 m) (/.f64 (-.f64 #s(literal 1 binary64) m) v)) (neg.f64 m))
(fma.f64 (neg.f64 m) #s(literal 1 binary64) (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m))
(fma.f64 (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v) m (neg.f64 m))
(fma.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) (/.f64 m v) (neg.f64 m))
(fma.f64 (-.f64 #s(literal 1 binary64) m) (*.f64 (/.f64 m v) m) (neg.f64 m))
(fma.f64 #s(literal 1 binary64) (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m) (neg.f64 m))
(fma.f64 #s(literal 1 binary64) (neg.f64 m) (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m))
(fma.f64 m #s(literal -1 binary64) (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m))
(fma.f64 m (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v) (neg.f64 m))
(-.f64 (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m) m)
(-.f64 (neg.f64 m) (/.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (.f64 m m)) v))
(+.f64 (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m) (neg.f64 m))
(+.f64 (neg.f64 m) (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m))
(.f64 (.f64 (-.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v))
(*.f64 (-.f64 m #s(literal 1 binary64)) (/.f64 #s(literal -1 binary64) v))
(*.f64 (/.f64 #s(literal 1 binary64) v) (-.f64 #s(literal 1 binary64) m))
(*.f64 (-.f64 #s(literal 1 binary64) m) (/.f64 #s(literal 1 binary64) v))
(*.f64 #s(literal 1 binary64) (/.f64 (-.f64 #s(literal 1 binary64) m) v))
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) #s(literal -1 binary64)) (neg.f64 v))
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) v)
(/.f64 (/.f64 (-.f64 m #s(literal 1 binary64)) #s(literal -1 binary64)) v)
(/.f64 (/.f64 (-.f64 m #s(literal 1 binary64)) v) #s(literal -1 binary64))
(/.f64 (+.f64 (neg.f64 v) (.f64 (neg.f64 v) (neg.f64 m))) (.f64 (neg.f64 v) v))
(/.f64 (fma.f64 (neg.f64 m) (neg.f64 v) (neg.f64 v)) (*.f64 v (neg.f64 v)))
(/.f64 (fma.f64 (neg.f64 v) m v) (*.f64 v v))
(/.f64 (-.f64 (.f64 #s(literal -1 binary64) (neg.f64 v)) (.f64 (neg.f64 v) (neg.f64 m))) (*.f64 v v))
(/.f64 (-.f64 (neg.f64 v) (.f64 (neg.f64 m) v)) (.f64 (neg.f64 v) v))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (neg.f64 v)) (.f64 (neg.f64 m) v)) (*.f64 v (neg.f64 v)))
(/.f64 (-.f64 v (.f64 v m)) (.f64 v v))
(/.f64 (-.f64 m #s(literal 1 binary64)) (neg.f64 v))
(/.f64 (-.f64 #s(literal 1 binary64) m) v)
(neg.f64 (*.f64 (-.f64 m #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v)))
(neg.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) (neg.f64 v)))
(neg.f64 (/.f64 (-.f64 m #s(literal 1 binary64)) v))
(neg.f64 (-.f64 (/.f64 m v) (/.f64 #s(literal 1 binary64) v)))
(neg.f64 (-.f64 (/.f64 #s(literal -1 binary64) v) (/.f64 (neg.f64 m) v)))
(neg.f64 (+.f64 (/.f64 m v) (/.f64 #s(literal -1 binary64) v)))
(fma.f64 (/.f64 #s(literal 1 binary64) v) #s(literal 1 binary64) (/.f64 (neg.f64 m) v))
(fma.f64 (/.f64 m v) #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) v))
(fma.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) v) (/.f64 (neg.f64 m) v))
(fma.f64 #s(literal -1 binary64) (/.f64 m v) (/.f64 #s(literal 1 binary64) v))
(fma.f64 (neg.f64 m) (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) v))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) v) (/.f64 (neg.f64 m) v))
(fma.f64 m (*.f64 (/.f64 #s(literal 1 binary64) v) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) v))
(fma.f64 m (/.f64 #s(literal -1 binary64) v) (/.f64 #s(literal 1 binary64) v))
(-.f64 (/.f64 #s(literal 1 binary64) v) (*.f64 (/.f64 (neg.f64 m) v) #s(literal -1 binary64)))
(-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 m v))
(-.f64 (/.f64 (neg.f64 m) v) (/.f64 #s(literal -1 binary64) v))
(+.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 (neg.f64 m) v))
(+.f64 (/.f64 (neg.f64 m) v) (/.f64 #s(literal 1 binary64) v))
(.f64 (.f64 #s(literal 1 binary64) (fabs.f64 m)) (*.f64 #s(literal 1 binary64) (fabs.f64 m)))
(.f64 (.f64 #s(literal 1 binary64) (fabs.f64 m)) (fabs.f64 m))
(*.f64 (fabs.f64 (fabs.f64 m)) (fabs.f64 (fabs.f64 m)))
(*.f64 (neg.f64 (fabs.f64 m)) (neg.f64 (fabs.f64 m)))
(*.f64 (fabs.f64 m) (fabs.f64 m))
(.f64 (.f64 m m) #s(literal 1 binary64))
(.f64 #s(literal -1 binary64) (.f64 (neg.f64 m) m))
(.f64 (.f64 (neg.f64 m) m) #s(literal -1 binary64))
(*.f64 (neg.f64 m) (neg.f64 m))
(.f64 #s(literal 1 binary64) (.f64 m m))
(*.f64 m m)
(pow.f64 (fabs.f64 (fabs.f64 m)) #s(literal 2 binary64))
(pow.f64 (neg.f64 (fabs.f64 m)) #s(literal 2 binary64))
(pow.f64 (fabs.f64 m) #s(literal 2 binary64))
(pow.f64 (neg.f64 m) #s(literal 2 binary64))
(pow.f64 m #s(literal 2 binary64))
(/.f64 (.f64 #s(literal 2 binary64) (.f64 m m)) #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 m) m))
(sqrt.f64 (.f64 (.f64 m m) (*.f64 m m)))
(fabs.f64 (*.f64 m m))
(fabs.f64 (*.f64 (neg.f64 m) m))
(+.f64 (/.f64 (fma.f64 m m (/.f64 #s(literal 1 binary64) (.f64 m m))) #s(literal 2 binary64)) (/.f64 (-.f64 (.f64 m m) (/.f64 #s(literal 1 binary64) (*.f64 m m))) #s(literal 2 binary64)))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (neg.f64 m))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (*.f64 (-.f64 (/.f64 m v) #s(literal 1 binary64)) m))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (*.f64 (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)) m))
#s(approx (* m (/ (* (- 1 m) m) v)) (*.f64 (/.f64 m v) m))
#s(approx (* m (/ (* (- 1 m) m) v)) (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m))
#s(approx m m)
#s(approx (/ (* (- 1 m) m) v) (/.f64 m v))
#s(approx (/ (* (- 1 m) m) v) (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v))
#s(approx (* (- 1 m) m) (*.f64 (-.f64 #s(literal 1 binary64) m) m))
#s(approx (- 1 m) #s(literal 1 binary64))
#s(approx (- 1 m) (-.f64 #s(literal 1 binary64) m))
#s(approx (/ (* (* (neg m) m) m) v) (/.f64 (.f64 (.f64 (neg.f64 m) m) m) v))
#s(approx (* (* (neg m) m) m) (.f64 (.f64 (neg.f64 m) m) m))
#s(approx (* (neg m) m) (*.f64 (neg.f64 m) m))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(literal -1 binary64))
#s(approx (- (/ (* m (- 1 m)) v) 1) (-.f64 (/.f64 m v) #s(literal 1 binary64)))
#s(approx (- (/ (* m (- 1 m)) v) 1) (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)))
#s(approx (/ (- 1 m) v) (/.f64 #s(literal 1 binary64) v))
#s(approx (/ (- 1 m) v) (/.f64 (-.f64 #s(literal 1 binary64) m) v))
#s(approx (* m m) (*.f64 m m))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 (.f64 (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) v) (*.f64 m m)) m))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 (.f64 (.f64 (-.f64 (/.f64 (-.f64 m v) (.f64 (*.f64 v m) m)) (/.f64 #s(literal 1 binary64) v)) m) m) m))
#s(approx (/ (* (- 1 m) m) v) (*.f64 (/.f64 (neg.f64 m) v) m))
#s(approx (/ (* (- 1 m) m) v) (.f64 (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) v) (.f64 m m)))
#s(approx (* (- 1 m) m) (.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) m) m))
#s(approx (- 1 m) (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) m))
#s(approx (- (/ (* m (- 1 m)) v) 1) (.f64 (.f64 (-.f64 (/.f64 (-.f64 m v) (.f64 (.f64 v m) m)) (/.f64 #s(literal 1 binary64) v)) m) m))
#s(approx (/ (- 1 m) v) (/.f64 (neg.f64 m) v))
#s(approx (/ (- 1 m) v) (*.f64 (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) v) m))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 (.f64 (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) v) (*.f64 m m)) m))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 (.f64 (.f64 (-.f64 (/.f64 (-.f64 m v) (.f64 (*.f64 v m) m)) (/.f64 #s(literal 1 binary64) v)) m) m) m))
#s(approx (- 1 m) (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) m))
#s(approx (- (/ (* m (- 1 m)) v) 1) (.f64 (.f64 (-.f64 (/.f64 (-.f64 m v) (.f64 (.f64 v m) m)) (/.f64 #s(literal 1 binary64) v)) m) m))
#s(approx (/ (- 1 m) v) (*.f64 (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) v) m))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (/.f64 (-.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) m) (*.f64 v m)) v))
#s(approx (/ (* (- 1 m) m) v) (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v))
#s(approx v v)
#s(approx (- (/ (* m (- 1 m)) v) 1) (/.f64 (-.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v) v))
#s(approx (/ (- 1 m) v) (/.f64 (-.f64 #s(literal 1 binary64) m) v))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (*.f64 (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)) m))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (*.f64 (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)) m))
#s(approx (- (/ (* m (- 1 m)) v) 1) (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)))

eval57.0ms (2.1%)

Memory: 7.8MiB live, 57.4MiB allocated; 6ms collecting garbage
Compiler: Compiled 2 530 to 1 076 computations (57.5% saved)

prune25.0ms (0.9%)

Memory

-24.3MiB live, 22.4MiB allocated; 3ms collecting garbage

Pruning

14 alts after pruning (10 fresh and 4 done)

	Pruned	Kept	Total
New	392	7	399
Fresh	2	3	5
Picked	1	4	5
Done	0	0	0
Total	395	14	409

Accuracy

100.0%

Counts

409 → 14

Alt Table

Click to see full alt table

Status	Accuracy	Program
	43.9%	(fma.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) (*.f64 m m) (neg.f64 m))
	92.5%	(-.f64 (/.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) m) v) m)
▶	92.5%	(-.f64 (.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) (.f64 m m)) m)
✓	99.8%	(-.f64 (.f64 m (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v)) m)
▶	51.3%	(-.f64 (.f64 m #s(approx (/ ( (- 1 m) m) v) (/.f64 m v))) m)
▶	99.8%	(*.f64 (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)) m)
	51.2%	(.f64 (-.f64 (/.f64 #s(approx ( m (- 1 m)) m) v) #s(literal 1 binary64)) m)
✓	77.3%	(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v)) m)
	77.3%	(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (/.f64 (.f64 #s(approx (- 1 m) (.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) m)) m) v)) m)
▶	77.3%	(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m)) m)
	48.9%	(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 (neg.f64 m) v) m)) m)
▶	29.0%	(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) #s(approx (/ (* (- 1 m) m) v) (/.f64 m v))) m)
✓	49.0%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (/.f64 (.f64 (.f64 (neg.f64 m) m) m) v))
✓	24.6%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (neg.f64 m))

Compiler

Compiled 264 to 260 computations (1.5% saved)

series11.0ms (0.4%)

Memory

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

Counts

20 → 39

Calls

Call 1

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

Outputs
#s(approx (* (+ (* (/ (- 1 m) v) m) -1) m) #s(hole binary64 (* -1 m)))
#s(approx (* (+ (* (/ (- 1 m) v) m) -1) m) #s(hole binary64 (* m (- (/ m v) 1))))
#s(approx (* (+ (* (/ (- 1 m) v) m) -1) m) #s(hole binary64 (* m (- (* m (+ (* -1 (/ m v)) (/ 1 v))) 1))))
#s(approx (+ (* (/ (- 1 m) v) m) -1) #s(hole binary64 -1))
#s(approx (+ (* (/ (- 1 m) v) m) -1) #s(hole binary64 (- (/ m v) 1)))
#s(approx (+ (* (/ (- 1 m) v) m) -1) #s(hole binary64 (- (* m (+ (* -1 (/ m v)) (/ 1 v))) 1)))
#s(approx (/ (- 1 m) v) #s(hole binary64 (/ 1 v)))
#s(approx (/ (- 1 m) v) #s(hole binary64 (+ (* -1 (/ m v)) (/ 1 v))))
#s(approx (- 1 m) #s(hole binary64 1))
#s(approx (- 1 m) #s(hole binary64 (+ 1 (* -1 m))))
#s(approx m #s(hole binary64 m))
#s(approx (/ (* (- 1 m) m) v) #s(hole binary64 (/ m v)))
#s(approx (/ (* (- 1 m) m) v) #s(hole binary64 (* m (+ (* -1 (/ m v)) (/ 1 v)))))
#s(approx (* m (/ (* (- 1 m) m) v)) #s(hole binary64 (/ (pow m 2) v)))
#s(approx (* m (/ (* (- 1 m) m) v)) #s(hole binary64 (* (pow m 2) (+ (* -1 (/ m v)) (/ 1 v)))))
#s(approx (* m m) #s(hole binary64 (pow m 2)))
#s(approx (* (+ (* (/ (- 1 m) v) m) -1) m) #s(hole binary64 (* -1 (/ (pow m 3) v))))
#s(approx (* (+ (* (/ (- 1 m) v) m) -1) m) #s(hole binary64 (* (pow m 3) (- (/ 1 (* m v)) (/ 1 v)))))
#s(approx (* (+ (* (/ (- 1 m) v) m) -1) m) #s(hole binary64 (* (pow m 3) (- (/ 1 (* m v)) (+ (/ 1 v) (/ 1 (pow m 2)))))))
#s(approx (+ (* (/ (- 1 m) v) m) -1) #s(hole binary64 (* -1 (/ (pow m 2) v))))
#s(approx (+ (* (/ (- 1 m) v) m) -1) #s(hole binary64 (* (pow m 2) (- (/ 1 (* m v)) (/ 1 v)))))
#s(approx (+ (* (/ (- 1 m) v) m) -1) #s(hole binary64 (* (pow m 2) (- (/ 1 (* m v)) (+ (/ 1 v) (/ 1 (pow m 2)))))))
#s(approx (/ (- 1 m) v) #s(hole binary64 (* -1 (/ m v))))
#s(approx (/ (- 1 m) v) #s(hole binary64 (* m (- (/ 1 (* m v)) (/ 1 v)))))
#s(approx (- 1 m) #s(hole binary64 (* m (- (/ 1 m) 1))))
#s(approx (* (+ (* (/ (- 1 m) v) m) -1) m) #s(hole binary64 (* -1 (* (pow m 3) (- (/ 1 v) (/ 1 (* m v)))))))
#s(approx (* (+ (* (/ (- 1 m) v) m) -1) m) #s(hole binary64 (* -1 (* (pow m 3) (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v))))))
#s(approx (+ (* (/ (- 1 m) v) m) -1) #s(hole binary64 (* (pow m 2) (- (* -1 (/ (- (/ 1 m) (/ 1 v)) m)) (/ 1 v)))))
#s(approx (/ (- 1 m) v) #s(hole binary64 (* -1 (* m (- (/ 1 v) (/ 1 (* m v)))))))
#s(approx (- 1 m) #s(hole binary64 (* -1 (* m (- 1 (/ 1 m))))))
#s(approx (* (+ (* (/ (- 1 m) v) m) -1) m) #s(hole binary64 (/ (* (pow m 2) (- 1 m)) v)))
#s(approx (* (+ (* (/ (- 1 m) v) m) -1) m) #s(hole binary64 (/ (+ (* -1 (* m v)) (* (pow m 2) (- 1 m))) v)))
#s(approx (+ (* (/ (- 1 m) v) m) -1) #s(hole binary64 (/ (* m (- 1 m)) v)))
#s(approx (+ (* (/ (- 1 m) v) m) -1) #s(hole binary64 (/ (+ (* -1 v) (* m (- 1 m))) v)))
#s(approx (/ (- 1 m) v) #s(hole binary64 (/ (- 1 m) v)))
#s(approx v #s(hole binary64 v))
#s(approx (* (+ (* (/ (- 1 m) v) m) -1) m) #s(hole binary64 (+ (* -1 m) (/ (* (pow m 2) (- 1 m)) v))))
#s(approx (+ (* (/ (- 1 m) v) m) -1) #s(hole binary64 (- (/ (* m (- 1 m)) v) 1)))
#s(approx (- (* m (/ (* (- 1 m) m) v)) m) #s(hole binary64 (- (/ (* (pow m 2) (- 1 m)) v) m)))

Calls

6 calls:

Time	Variable		Point	Expression
2.0ms	v	@	-inf	((* (+ (* (/ (- 1 m) v) m) -1) m) (+ (* (/ (- 1 m) v) m) -1) (/ (- 1 m) v) (- 1 m) 1 m v -1 (* (- (/ (* m (- 1 m)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (/ (* (- 1 m) m) v) (/ m v) (- (* m (/ (* (- 1 m) m) v)) m) (* m (/ (* (- 1 m) m) v)) (* (- (/ (* m (- 1 m)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (* (/ (- 1 m) v) m) (- (* (/ (- 1 m) v) (* m m)) m) (* (/ (- 1 m) v) (* m m)) (* m m))
2.0ms	m	@	-inf	((* (+ (* (/ (- 1 m) v) m) -1) m) (+ (* (/ (- 1 m) v) m) -1) (/ (- 1 m) v) (- 1 m) 1 m v -1 (* (- (/ (* m (- 1 m)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (/ (* (- 1 m) m) v) (/ m v) (- (* m (/ (* (- 1 m) m) v)) m) (* m (/ (* (- 1 m) m) v)) (* (- (/ (* m (- 1 m)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (* (/ (- 1 m) v) m) (- (* (/ (- 1 m) v) (* m m)) m) (* (/ (- 1 m) v) (* m m)) (* m m))
2.0ms	m	@	inf	((* (+ (* (/ (- 1 m) v) m) -1) m) (+ (* (/ (- 1 m) v) m) -1) (/ (- 1 m) v) (- 1 m) 1 m v -1 (* (- (/ (* m (- 1 m)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (/ (* (- 1 m) m) v) (/ m v) (- (* m (/ (* (- 1 m) m) v)) m) (* m (/ (* (- 1 m) m) v)) (* (- (/ (* m (- 1 m)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (* (/ (- 1 m) v) m) (- (* (/ (- 1 m) v) (* m m)) m) (* (/ (- 1 m) v) (* m m)) (* m m))
2.0ms	v	@	inf	((* (+ (* (/ (- 1 m) v) m) -1) m) (+ (* (/ (- 1 m) v) m) -1) (/ (- 1 m) v) (- 1 m) 1 m v -1 (* (- (/ (* m (- 1 m)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (/ (* (- 1 m) m) v) (/ m v) (- (* m (/ (* (- 1 m) m) v)) m) (* m (/ (* (- 1 m) m) v)) (* (- (/ (* m (- 1 m)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (* (/ (- 1 m) v) m) (- (* (/ (- 1 m) v) (* m m)) m) (* (/ (- 1 m) v) (* m m)) (* m m))
2.0ms	v	@	0	((* (+ (* (/ (- 1 m) v) m) -1) m) (+ (* (/ (- 1 m) v) m) -1) (/ (- 1 m) v) (- 1 m) 1 m v -1 (* (- (/ (* m (- 1 m)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (/ (* (- 1 m) m) v) (/ m v) (- (* m (/ (* (- 1 m) m) v)) m) (* m (/ (* (- 1 m) m) v)) (* (- (/ (* m (- 1 m)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (* (/ (- 1 m) v) m) (- (* (/ (- 1 m) v) (* m m)) m) (* (/ (- 1 m) v) (* m m)) (* m m))

rewrite228.0ms (8.3%)

Memory

19.3MiB live, 203.9MiB allocated; 17ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	135	858
0	151	833
1	724	781
2	6196	781
0	8315	781
1	31326	781

Stop Event

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

Counts

59 → 349

Calls

Call 1

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

Outputs
(*.f64 (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)) m)
(*.f64 m (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)))
(neg.f64 (.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v)) m))
(neg.f64 (.f64 m (-.f64 #s(literal 1 binary64) (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v))))
(neg.f64 (-.f64 (/.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (.f64 m m)) v) (neg.f64 m)))
(neg.f64 (-.f64 m (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m)))
(fma.f64 (*.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) (fabs.f64 m)) (fabs.f64 m) (neg.f64 m))
(fma.f64 (.f64 (.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) m) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v) (neg.f64 m))
(fma.f64 (*.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) (neg.f64 m)) (neg.f64 m) (neg.f64 m))
(fma.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (.f64 m m)) (/.f64 #s(literal -1 binary64) v) (neg.f64 m))
(fma.f64 (fabs.f64 m) (*.f64 (fabs.f64 m) (/.f64 (-.f64 #s(literal 1 binary64) m) v)) (neg.f64 m))
(fma.f64 (neg.f64 m) (*.f64 (neg.f64 m) (/.f64 (-.f64 #s(literal 1 binary64) m) v)) (neg.f64 m))
(fma.f64 (neg.f64 m) #s(literal 1 binary64) (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m))
(fma.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) m) (/.f64 #s(literal 1 binary64) v) (neg.f64 m))
(fma.f64 (*.f64 m m) (/.f64 (-.f64 #s(literal 1 binary64) m) v) (neg.f64 m))
(fma.f64 (/.f64 #s(literal 1 binary64) v) (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) m) (neg.f64 m))
(fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) (*.f64 m m) (neg.f64 m))
(fma.f64 (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v) m (neg.f64 m))
(fma.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) (/.f64 m v) (neg.f64 m))
(fma.f64 (-.f64 #s(literal 1 binary64) m) (*.f64 (/.f64 m v) m) (neg.f64 m))
(fma.f64 #s(literal -1 binary64) (/.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (.f64 m m)) v) (neg.f64 m))
(fma.f64 #s(literal -1 binary64) m (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m))
(fma.f64 m (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v) (neg.f64 m))
(fma.f64 m #s(literal -1 binary64) (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m))
(fma.f64 #s(literal 1 binary64) (neg.f64 m) (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m))
(fma.f64 #s(literal 1 binary64) (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m) (neg.f64 m))
(-.f64 (neg.f64 m) (/.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (.f64 m m)) v))
(-.f64 (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m) m)
(+.f64 (neg.f64 m) (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m))
(+.f64 (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m) (neg.f64 m))
(/.f64 (-.f64 (.f64 (.f64 (-.f64 m #s(literal 1 binary64)) m) #s(literal 2 binary64)) (.f64 (neg.f64 v) #s(literal 2 binary64))) (.f64 (neg.f64 v) #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) #s(literal 2 binary64)) (.f64 v #s(literal 2 binary64))) (.f64 v #s(literal 2 binary64)))
(neg.f64 (-.f64 #s(literal 1 binary64) (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v)))
(fma.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v) #s(literal -1 binary64))
(fma.f64 (*.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) (neg.f64 m)) #s(literal -1 binary64) #s(literal -1 binary64))
(fma.f64 (*.f64 (-.f64 m #s(literal 1 binary64)) m) (/.f64 #s(literal -1 binary64) v) #s(literal -1 binary64))
(fma.f64 (*.f64 (neg.f64 m) m) (/.f64 #s(literal 1 binary64) v) (-.f64 (/.f64 m v) #s(literal 1 binary64)))
(fma.f64 (neg.f64 m) (/.f64 m v) (-.f64 (/.f64 m v) #s(literal 1 binary64)))
(fma.f64 (*.f64 (/.f64 m v) m) #s(literal -1 binary64) (-.f64 (/.f64 m v) #s(literal 1 binary64)))
(fma.f64 (.f64 m m) (.f64 (/.f64 #s(literal 1 binary64) v) #s(literal -1 binary64)) (-.f64 (/.f64 m v) #s(literal 1 binary64)))
(fma.f64 (*.f64 m m) (/.f64 #s(literal -1 binary64) v) (-.f64 (/.f64 m v) #s(literal 1 binary64)))
(fma.f64 (/.f64 #s(literal 1 binary64) v) (*.f64 (-.f64 #s(literal 1 binary64) m) m) #s(literal -1 binary64))
(fma.f64 (/.f64 (neg.f64 m) v) m (-.f64 (/.f64 m v) #s(literal 1 binary64)))
(fma.f64 (/.f64 m v) (neg.f64 m) (-.f64 (/.f64 m v) #s(literal 1 binary64)))
(fma.f64 (/.f64 m v) (-.f64 #s(literal 1 binary64) m) #s(literal -1 binary64))
(fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64))
(fma.f64 (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v) #s(literal 1 binary64) #s(literal -1 binary64))
(fma.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) (/.f64 #s(literal 1 binary64) v) #s(literal -1 binary64))
(fma.f64 (-.f64 #s(literal 1 binary64) m) (/.f64 m v) #s(literal -1 binary64))
(fma.f64 #s(literal -1 binary64) (*.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) (neg.f64 m)) #s(literal -1 binary64))
(fma.f64 #s(literal -1 binary64) (*.f64 (/.f64 m v) m) (-.f64 (/.f64 m v) #s(literal 1 binary64)))
(fma.f64 m (*.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) #s(literal 1 binary64)) #s(literal -1 binary64))
(fma.f64 m (/.f64 (neg.f64 m) v) (-.f64 (/.f64 m v) #s(literal 1 binary64)))
(fma.f64 m (/.f64 (-.f64 #s(literal 1 binary64) m) v) #s(literal -1 binary64))
(fma.f64 #s(literal 1 binary64) (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v) #s(literal -1 binary64))
(-.f64 (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v) #s(literal 1 binary64))
(-.f64 #s(literal -1 binary64) (*.f64 (neg.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v)) m))
(-.f64 #s(literal -1 binary64) (.f64 (.f64 (-.f64 m #s(literal 1 binary64)) m) (/.f64 #s(literal 1 binary64) v)))
(-.f64 #s(literal -1 binary64) (*.f64 (-.f64 m #s(literal 1 binary64)) (/.f64 m v)))
(-.f64 #s(literal -1 binary64) (*.f64 (neg.f64 m) (/.f64 (-.f64 #s(literal 1 binary64) m) v)))
(-.f64 #s(literal -1 binary64) (*.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) (neg.f64 m)))
(+.f64 (/.f64 (*.f64 (neg.f64 m) m) v) (-.f64 (/.f64 m v) #s(literal 1 binary64)))
(+.f64 (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v) #s(literal -1 binary64))
(+.f64 #s(literal -1 binary64) (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v))
(.f64 (.f64 (-.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v))
(*.f64 (-.f64 m #s(literal 1 binary64)) (/.f64 #s(literal -1 binary64) v))
(*.f64 (/.f64 #s(literal 1 binary64) v) (-.f64 #s(literal 1 binary64) m))
(*.f64 (-.f64 #s(literal 1 binary64) m) (/.f64 #s(literal 1 binary64) v))
(*.f64 #s(literal 1 binary64) (/.f64 (-.f64 #s(literal 1 binary64) m) v))
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) #s(literal -1 binary64)) (neg.f64 v))
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) v)
(/.f64 (/.f64 (-.f64 m #s(literal 1 binary64)) #s(literal -1 binary64)) v)
(/.f64 (/.f64 (-.f64 m #s(literal 1 binary64)) v) #s(literal -1 binary64))
(/.f64 (+.f64 (neg.f64 v) (.f64 (neg.f64 v) (neg.f64 m))) (.f64 (neg.f64 v) v))
(/.f64 (fma.f64 (neg.f64 m) (neg.f64 v) (neg.f64 v)) (*.f64 v (neg.f64 v)))
(/.f64 (fma.f64 (neg.f64 v) m v) (*.f64 v v))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (neg.f64 v)) (.f64 (neg.f64 v) m)) (*.f64 v (neg.f64 v)))
(/.f64 (-.f64 v (.f64 (neg.f64 v) (neg.f64 m))) (.f64 v v))
(/.f64 (-.f64 (neg.f64 v) (.f64 (neg.f64 v) m)) (.f64 (neg.f64 v) v))
(/.f64 (-.f64 v (.f64 v m)) (.f64 v v))
(/.f64 (-.f64 m #s(literal 1 binary64)) (neg.f64 v))
(/.f64 (-.f64 #s(literal 1 binary64) m) v)
(neg.f64 (*.f64 (-.f64 m #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v)))
(neg.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) (neg.f64 v)))
(neg.f64 (/.f64 (-.f64 m #s(literal 1 binary64)) v))
(neg.f64 (-.f64 (/.f64 m v) (/.f64 #s(literal 1 binary64) v)))
(neg.f64 (-.f64 (/.f64 #s(literal -1 binary64) v) (/.f64 (neg.f64 m) v)))
(neg.f64 (+.f64 (/.f64 m v) (/.f64 #s(literal -1 binary64) v)))
(fma.f64 (neg.f64 m) (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) v))
(fma.f64 (/.f64 #s(literal 1 binary64) v) #s(literal 1 binary64) (/.f64 (neg.f64 m) v))
(fma.f64 (/.f64 m v) #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) v))
(fma.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) v) (/.f64 (neg.f64 m) v))
(fma.f64 #s(literal -1 binary64) (/.f64 m v) (/.f64 #s(literal 1 binary64) v))
(fma.f64 m (*.f64 (/.f64 #s(literal 1 binary64) v) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) v))
(fma.f64 m (/.f64 #s(literal -1 binary64) v) (/.f64 #s(literal 1 binary64) v))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) v) (/.f64 (neg.f64 m) v))
(-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 m v))
(-.f64 (/.f64 (neg.f64 m) v) (/.f64 #s(literal -1 binary64) v))
(+.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 (neg.f64 m) v))
(+.f64 (/.f64 (neg.f64 m) v) (/.f64 #s(literal 1 binary64) v))
(*.f64 #s(literal -1 binary64) (-.f64 m #s(literal 1 binary64)))
(*.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) m))
(neg.f64 (-.f64 m #s(literal 1 binary64)))
(fma.f64 (neg.f64 m) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) m #s(literal 1 binary64))
(fma.f64 m #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) (neg.f64 m) #s(literal 1 binary64))
(-.f64 (neg.f64 m) #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) m)
(+.f64 (neg.f64 m) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (neg.f64 m))
#s(literal 1 binary64)
m
v
#s(literal -1 binary64)
(.f64 #s(approx (+ ( (/ (- 1 m) v) m) -1) #s(approx (/ (* (- 1 m) m) v) (/.f64 m v))) m)
(.f64 m #s(approx (+ ( (/ (- 1 m) v) m) -1) #s(approx (/ (* (- 1 m) m) v) (/.f64 m v))))
#s(approx (+ (* (/ (- 1 m) v) m) -1) #s(approx (/ (* (- 1 m) m) v) (/.f64 m v)))
#s(approx (/ (* (- 1 m) m) v) (/.f64 m v))
(*.f64 (/.f64 m #s(literal -1 binary64)) (/.f64 #s(literal -1 binary64) v))
(*.f64 (/.f64 #s(literal -1 binary64) v) (/.f64 m #s(literal -1 binary64)))
(*.f64 (neg.f64 m) (/.f64 #s(literal -1 binary64) v))
(*.f64 (/.f64 #s(literal 1 binary64) v) m)
(*.f64 (/.f64 (neg.f64 m) v) #s(literal -1 binary64))
(*.f64 (/.f64 m v) #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) (/.f64 (neg.f64 m) v))
(*.f64 m (/.f64 #s(literal 1 binary64) v))
(*.f64 #s(literal 1 binary64) (/.f64 m v))
(/.f64 (*.f64 (/.f64 m v) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (/.f64 (neg.f64 m) #s(literal -1 binary64)) v)
(/.f64 (.f64 (neg.f64 m) #s(literal 2 binary64)) (.f64 (neg.f64 v) #s(literal 2 binary64)))
(/.f64 (.f64 m #s(literal 2 binary64)) (.f64 v #s(literal 2 binary64)))
(/.f64 (neg.f64 m) (neg.f64 v))
(/.f64 (/.f64 (neg.f64 m) v) #s(literal -1 binary64))
(/.f64 m v)
(neg.f64 (/.f64 (neg.f64 m) v))
(.f64 m (+.f64 #s(approx (/ ( (- 1 m) m) v) (/.f64 m v)) #s(literal -1 binary64)))
(neg.f64 (-.f64 m (.f64 #s(approx (/ ( (- 1 m) m) v) (/.f64 m v)) m)))
(fma.f64 (neg.f64 m) #s(literal 1 binary64) (.f64 #s(approx (/ ( (- 1 m) m) v) (/.f64 m v)) m))
(fma.f64 #s(approx (/ (* (- 1 m) m) v) (/.f64 m v)) m (neg.f64 m))
(fma.f64 #s(literal -1 binary64) m (.f64 #s(approx (/ ( (- 1 m) m) v) (/.f64 m v)) m))
(fma.f64 m #s(approx (/ (* (- 1 m) m) v) (/.f64 m v)) (neg.f64 m))
(fma.f64 m #s(literal -1 binary64) (.f64 #s(approx (/ ( (- 1 m) m) v) (/.f64 m v)) m))
(fma.f64 #s(literal 1 binary64) (neg.f64 m) (.f64 #s(approx (/ ( (- 1 m) m) v) (/.f64 m v)) m))
(-.f64 (.f64 #s(approx (/ ( (- 1 m) m) v) (/.f64 m v)) m) m)
(+.f64 (neg.f64 m) (.f64 #s(approx (/ ( (- 1 m) m) v) (/.f64 m v)) m))
(+.f64 (.f64 #s(approx (/ ( (- 1 m) m) v) (/.f64 m v)) m) (neg.f64 m))
(.f64 #s(approx (/ ( (- 1 m) m) v) (/.f64 m v)) m)
(.f64 m #s(approx (/ ( (- 1 m) m) v) (/.f64 m v)))
(.f64 #s(approx (+ ( (/ (- 1 m) v) m) -1) (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v)) m)
(.f64 m #s(approx (+ ( (/ (- 1 m) v) m) -1) (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v)))
#s(approx (+ (* (/ (- 1 m) v) m) -1) (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v))
(.f64 (.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v))
(.f64 (.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) (neg.f64 m)) #s(literal -1 binary64))
(.f64 (.f64 (-.f64 m #s(literal 1 binary64)) m) (/.f64 #s(literal -1 binary64) v))
(.f64 (/.f64 #s(literal 1 binary64) v) (.f64 (-.f64 #s(literal 1 binary64) m) m))
(*.f64 (/.f64 m v) (-.f64 #s(literal 1 binary64) m))
(*.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m)
(.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) #s(literal 1 binary64))
(.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) (/.f64 #s(literal 1 binary64) v))
(*.f64 (-.f64 #s(literal 1 binary64) m) (/.f64 m v))
(.f64 #s(literal -1 binary64) (.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) (neg.f64 m)))
(.f64 m (.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) #s(literal 1 binary64)))
(*.f64 m (/.f64 (-.f64 #s(literal 1 binary64) m) v))
(.f64 #s(literal 1 binary64) (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v))
(/.f64 (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) #s(literal -1 binary64)) (neg.f64 v))
(/.f64 (/.f64 (*.f64 (-.f64 m #s(literal 1 binary64)) m) #s(literal -1 binary64)) v)
(/.f64 (/.f64 (*.f64 (-.f64 m #s(literal 1 binary64)) m) v) #s(literal -1 binary64))
(/.f64 (.f64 (.f64 (-.f64 m #s(literal 1 binary64)) m) #s(literal 2 binary64)) (*.f64 (neg.f64 v) #s(literal 2 binary64)))
(/.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) #s(literal 2 binary64)) (*.f64 v #s(literal 2 binary64)))
(/.f64 (.f64 (.f64 (-.f64 m #s(literal 1 binary64)) m) #s(literal 1 binary64)) (neg.f64 v))
(/.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) #s(literal 1 binary64)) v)
(/.f64 (*.f64 (-.f64 m #s(literal 1 binary64)) m) (neg.f64 v))
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v)
(neg.f64 (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) (neg.f64 v)))
(neg.f64 (*.f64 (-.f64 m #s(literal 1 binary64)) (/.f64 m v)))
(neg.f64 (/.f64 (*.f64 (-.f64 m #s(literal 1 binary64)) m) v))
(neg.f64 (*.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) (neg.f64 m)))
(fma.f64 (/.f64 m #s(literal -1 binary64)) (/.f64 #s(literal -1 binary64) v) (/.f64 (*.f64 (neg.f64 m) m) v))
(fma.f64 (/.f64 #s(literal -1 binary64) v) (/.f64 m #s(literal -1 binary64)) (/.f64 (*.f64 (neg.f64 m) m) v))
(fma.f64 (*.f64 (neg.f64 m) m) (/.f64 #s(literal 1 binary64) v) (/.f64 m v))
(fma.f64 (neg.f64 m) (/.f64 #s(literal -1 binary64) v) (/.f64 (*.f64 (neg.f64 m) m) v))
(fma.f64 (neg.f64 m) (/.f64 m v) (/.f64 m v))
(fma.f64 (*.f64 (/.f64 m v) m) #s(literal -1 binary64) (/.f64 m v))
(fma.f64 (.f64 m m) (.f64 (/.f64 #s(literal 1 binary64) v) #s(literal -1 binary64)) (/.f64 m v))
(fma.f64 (*.f64 m m) (/.f64 #s(literal -1 binary64) v) (/.f64 m v))
(fma.f64 (/.f64 #s(literal 1 binary64) v) m (/.f64 (*.f64 (neg.f64 m) m) v))
(fma.f64 (/.f64 (neg.f64 m) v) #s(literal -1 binary64) (/.f64 (*.f64 (neg.f64 m) m) v))
(fma.f64 (/.f64 (neg.f64 m) v) m (/.f64 m v))
(fma.f64 (/.f64 m v) (neg.f64 m) (/.f64 m v))
(fma.f64 (/.f64 m v) #s(literal 1 binary64) (/.f64 (*.f64 (neg.f64 m) m) v))
(fma.f64 #s(literal -1 binary64) (*.f64 (/.f64 m v) m) (/.f64 m v))
(fma.f64 #s(literal -1 binary64) (/.f64 (neg.f64 m) v) (/.f64 (*.f64 (neg.f64 m) m) v))
(fma.f64 m (/.f64 #s(literal 1 binary64) v) (/.f64 (*.f64 (neg.f64 m) m) v))
(fma.f64 m (/.f64 (neg.f64 m) v) (/.f64 m v))
(fma.f64 #s(literal 1 binary64) (/.f64 m v) (/.f64 (*.f64 (neg.f64 m) m) v))
(-.f64 (/.f64 (.f64 (neg.f64 m) m) v) (.f64 (/.f64 #s(literal -1 binary64) v) m))
(-.f64 (/.f64 (*.f64 (neg.f64 m) m) v) (/.f64 (neg.f64 m) v))
(+.f64 (/.f64 (*.f64 (neg.f64 m) m) v) (/.f64 m v))
(+.f64 (/.f64 m v) (/.f64 (*.f64 (neg.f64 m) m) v))
(*.f64 (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)) m)
(*.f64 m (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)))
(neg.f64 (.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v)) m))
(neg.f64 (.f64 m (-.f64 #s(literal 1 binary64) (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v))))
(neg.f64 (-.f64 (/.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (.f64 m m)) v) (neg.f64 m)))
(neg.f64 (-.f64 m (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m)))
(fma.f64 (*.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) (fabs.f64 m)) (fabs.f64 m) (neg.f64 m))
(fma.f64 (.f64 (.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) m) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v) (neg.f64 m))
(fma.f64 (*.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) (neg.f64 m)) (neg.f64 m) (neg.f64 m))
(fma.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (.f64 m m)) (/.f64 #s(literal -1 binary64) v) (neg.f64 m))
(fma.f64 (fabs.f64 m) (*.f64 (fabs.f64 m) (/.f64 (-.f64 #s(literal 1 binary64) m) v)) (neg.f64 m))
(fma.f64 (neg.f64 m) (*.f64 (neg.f64 m) (/.f64 (-.f64 #s(literal 1 binary64) m) v)) (neg.f64 m))
(fma.f64 (neg.f64 m) #s(literal 1 binary64) (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m))
(fma.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) m) (/.f64 #s(literal 1 binary64) v) (neg.f64 m))
(fma.f64 (*.f64 m m) (/.f64 (-.f64 #s(literal 1 binary64) m) v) (neg.f64 m))
(fma.f64 (/.f64 #s(literal 1 binary64) v) (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) m) (neg.f64 m))
(fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) (*.f64 m m) (neg.f64 m))
(fma.f64 (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v) m (neg.f64 m))
(fma.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) (/.f64 m v) (neg.f64 m))
(fma.f64 (-.f64 #s(literal 1 binary64) m) (*.f64 (/.f64 m v) m) (neg.f64 m))
(fma.f64 #s(literal -1 binary64) (/.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (.f64 m m)) v) (neg.f64 m))
(fma.f64 #s(literal -1 binary64) m (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m))
(fma.f64 m (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v) (neg.f64 m))
(fma.f64 m #s(literal -1 binary64) (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m))
(fma.f64 #s(literal 1 binary64) (neg.f64 m) (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m))
(fma.f64 #s(literal 1 binary64) (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m) (neg.f64 m))
(-.f64 (neg.f64 m) (/.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (.f64 m m)) v))
(-.f64 (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m) m)
(+.f64 (neg.f64 m) (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m))
(+.f64 (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m) (neg.f64 m))
(.f64 (.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) (fabs.f64 m)) (fabs.f64 m))
(.f64 (.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) m) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v))
(.f64 (.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) (neg.f64 m)) (neg.f64 m))
(.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (*.f64 m m)) (/.f64 #s(literal -1 binary64) v))
(.f64 (fabs.f64 m) (.f64 (fabs.f64 m) (/.f64 (-.f64 #s(literal 1 binary64) m) v)))
(.f64 (neg.f64 m) (.f64 (neg.f64 m) (/.f64 (-.f64 #s(literal 1 binary64) m) v)))
(.f64 (.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) m) (/.f64 #s(literal 1 binary64) v))
(.f64 (.f64 m m) (/.f64 (-.f64 #s(literal 1 binary64) m) v))
(.f64 (/.f64 #s(literal 1 binary64) v) (.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) m))
(.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) (.f64 m m))
(.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m)
(.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) (/.f64 m v))
(.f64 (-.f64 #s(literal 1 binary64) m) (.f64 (/.f64 m v) m))
(.f64 #s(literal -1 binary64) (/.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (*.f64 m m)) v))
(.f64 m (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v))
(.f64 #s(literal 1 binary64) (.f64 (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v) m))
(/.f64 (.f64 (.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) m) #s(literal -1 binary64)) (neg.f64 v))
(/.f64 (.f64 m (.f64 (-.f64 m #s(literal 1 binary64)) m)) (neg.f64 v))
(/.f64 (.f64 (.f64 (-.f64 m #s(literal 1 binary64)) m) m) (neg.f64 v))
(/.f64 (/.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (.f64 m m)) #s(literal -1 binary64)) v)
(/.f64 (.f64 (.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) m) #s(literal 1 binary64)) v)
(/.f64 (/.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (.f64 m m)) v) #s(literal -1 binary64))
(/.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (.f64 m m)) (neg.f64 v))
(/.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) m) v)
(neg.f64 (/.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (.f64 m m)) v))
(fma.f64 (.f64 (/.f64 (neg.f64 m) v) (fabs.f64 m)) (fabs.f64 m) (.f64 (/.f64 m v) m))
(fma.f64 (.f64 (/.f64 #s(literal 1 binary64) v) (fabs.f64 m)) (fabs.f64 m) (.f64 (/.f64 (*.f64 (neg.f64 m) m) v) m))
(fma.f64 (.f64 (/.f64 (neg.f64 m) v) (neg.f64 m)) (neg.f64 m) (.f64 (/.f64 m v) m))
(fma.f64 (.f64 (/.f64 #s(literal 1 binary64) v) (neg.f64 m)) (neg.f64 m) (.f64 (/.f64 (*.f64 (neg.f64 m) m) v) m))
(fma.f64 (.f64 (.f64 (neg.f64 m) m) m) (/.f64 #s(literal 1 binary64) v) (*.f64 (/.f64 m v) m))
(fma.f64 (/.f64 (.f64 (neg.f64 m) m) v) m (.f64 (/.f64 m v) m))
(fma.f64 (.f64 (neg.f64 m) m) (/.f64 #s(literal -1 binary64) v) (.f64 (/.f64 (*.f64 (neg.f64 m) m) v) m))
(fma.f64 (.f64 (neg.f64 m) m) (/.f64 m v) (.f64 (/.f64 m v) m))
(fma.f64 (fabs.f64 m) (.f64 (fabs.f64 m) (/.f64 #s(literal 1 binary64) v)) (.f64 (/.f64 (*.f64 (neg.f64 m) m) v) m))
(fma.f64 (fabs.f64 m) (.f64 (fabs.f64 m) (/.f64 (neg.f64 m) v)) (.f64 (/.f64 m v) m))
(fma.f64 (fabs.f64 m) (/.f64 (fabs.f64 m) v) (.f64 (/.f64 (.f64 (neg.f64 m) m) v) m))
(fma.f64 (neg.f64 m) (.f64 (/.f64 m v) m) (.f64 (/.f64 m v) m))
(fma.f64 (neg.f64 m) (/.f64 (neg.f64 m) v) (.f64 (/.f64 (.f64 (neg.f64 m) m) v) m))
(fma.f64 (.f64 (.f64 (/.f64 m v) m) m) #s(literal -1 binary64) (*.f64 (/.f64 m v) m))
(fma.f64 (.f64 (.f64 m m) m) (.f64 (/.f64 #s(literal 1 binary64) v) #s(literal -1 binary64)) (.f64 (/.f64 m v) m))
(fma.f64 (.f64 (.f64 m m) m) (/.f64 #s(literal -1 binary64) v) (*.f64 (/.f64 m v) m))
(fma.f64 (.f64 m m) (/.f64 #s(literal 1 binary64) v) (.f64 (/.f64 (*.f64 (neg.f64 m) m) v) m))
(fma.f64 (.f64 m m) (/.f64 (neg.f64 m) v) (.f64 (/.f64 m v) m))
(fma.f64 (/.f64 #s(literal 1 binary64) v) (.f64 m m) (.f64 (/.f64 (*.f64 (neg.f64 m) m) v) m))
(fma.f64 (/.f64 (neg.f64 m) v) (.f64 m m) (.f64 (/.f64 m v) m))
(fma.f64 (/.f64 m v) (.f64 (neg.f64 m) m) (.f64 (/.f64 m v) m))
(fma.f64 (/.f64 m v) m (.f64 (/.f64 (.f64 (neg.f64 m) m) v) m))
(fma.f64 #s(literal -1 binary64) (/.f64 (.f64 (neg.f64 m) m) v) (.f64 (/.f64 (*.f64 (neg.f64 m) m) v) m))
(fma.f64 #s(literal -1 binary64) (.f64 (.f64 (/.f64 m v) m) m) (*.f64 (/.f64 m v) m))
(fma.f64 m (/.f64 (.f64 (neg.f64 m) m) v) (.f64 (/.f64 m v) m))
(fma.f64 m (/.f64 m v) (.f64 (/.f64 (.f64 (neg.f64 m) m) v) m))
(fma.f64 #s(literal 1 binary64) (.f64 (/.f64 m v) m) (.f64 (/.f64 (*.f64 (neg.f64 m) m) v) m))
(-.f64 (.f64 (/.f64 (.f64 (neg.f64 m) m) v) m) (.f64 (/.f64 #s(literal -1 binary64) v) (.f64 m m)))
(-.f64 (.f64 (/.f64 (.f64 (neg.f64 m) m) v) m) (/.f64 (*.f64 (neg.f64 m) m) v))
(+.f64 (.f64 (/.f64 (.f64 (neg.f64 m) m) v) m) (*.f64 (/.f64 m v) m))
(+.f64 (.f64 (/.f64 m v) m) (.f64 (/.f64 (*.f64 (neg.f64 m) m) v) m))
(.f64 (.f64 #s(literal -1 binary64) (fabs.f64 m)) (*.f64 #s(literal -1 binary64) (fabs.f64 m)))
(.f64 (.f64 #s(literal 1 binary64) (fabs.f64 m)) (*.f64 #s(literal 1 binary64) (fabs.f64 m)))
(.f64 (.f64 #s(literal 1 binary64) (fabs.f64 m)) (fabs.f64 m))
(*.f64 (fabs.f64 (fabs.f64 m)) (fabs.f64 (fabs.f64 m)))
(*.f64 (neg.f64 (fabs.f64 m)) (neg.f64 (fabs.f64 m)))
(.f64 (.f64 (neg.f64 m) m) #s(literal -1 binary64))
(*.f64 (fabs.f64 m) (fabs.f64 m))
(*.f64 (neg.f64 m) (neg.f64 m))
(.f64 (.f64 m m) #s(literal 1 binary64))
(.f64 #s(literal -1 binary64) (.f64 (neg.f64 m) m))
(*.f64 m m)
(.f64 #s(literal 1 binary64) (.f64 m m))
(pow.f64 (fabs.f64 (fabs.f64 m)) #s(literal 2 binary64))
(pow.f64 (neg.f64 (fabs.f64 m)) #s(literal 2 binary64))
(pow.f64 (fabs.f64 m) #s(literal 2 binary64))
(pow.f64 (neg.f64 m) #s(literal 2 binary64))
(pow.f64 m #s(literal 2 binary64))
(/.f64 (.f64 #s(literal 2 binary64) (.f64 m m)) #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 m) m))
(sqrt.f64 (.f64 (.f64 m m) (*.f64 m m)))
(fabs.f64 (*.f64 (neg.f64 m) m))
(fabs.f64 (*.f64 m m))
(+.f64 (/.f64 (fma.f64 m m (/.f64 #s(literal 1 binary64) (.f64 m m))) #s(literal 2 binary64)) (/.f64 (-.f64 (.f64 m m) (/.f64 #s(literal 1 binary64) (*.f64 m m))) #s(literal 2 binary64)))
#s(approx (* (+ (* (/ (- 1 m) v) m) -1) m) (neg.f64 m))
#s(approx (* (+ (* (/ (- 1 m) v) m) -1) m) (*.f64 (-.f64 (/.f64 m v) #s(literal 1 binary64)) m))
#s(approx (* (+ (* (/ (- 1 m) v) m) -1) m) (*.f64 (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)) m))
#s(approx (+ (* (/ (- 1 m) v) m) -1) #s(literal -1 binary64))
#s(approx (+ (* (/ (- 1 m) v) m) -1) (-.f64 (/.f64 m v) #s(literal 1 binary64)))
#s(approx (+ (* (/ (- 1 m) v) m) -1) (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)))
#s(approx (/ (- 1 m) v) (/.f64 #s(literal 1 binary64) v))
#s(approx (/ (- 1 m) v) (/.f64 (-.f64 #s(literal 1 binary64) m) v))
#s(approx (- 1 m) #s(literal 1 binary64))
#s(approx (- 1 m) (-.f64 #s(literal 1 binary64) m))
#s(approx m m)
#s(approx (/ (* (- 1 m) m) v) (/.f64 m v))
#s(approx (/ (* (- 1 m) m) v) (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v))
#s(approx (* m (/ (* (- 1 m) m) v)) (*.f64 (/.f64 m v) m))
#s(approx (* m (/ (* (- 1 m) m) v)) (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m))
#s(approx (* m m) (*.f64 m m))
#s(approx (* (+ (* (/ (- 1 m) v) m) -1) m) (.f64 (/.f64 (.f64 (neg.f64 m) m) v) m))
#s(approx (* (+ (* (/ (- 1 m) v) m) -1) m) (.f64 (.f64 (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) v) (*.f64 m m)) m))
#s(approx (* (+ (* (/ (- 1 m) v) m) -1) m) (.f64 (.f64 (.f64 (-.f64 (/.f64 (-.f64 m v) (.f64 (*.f64 v m) m)) (/.f64 #s(literal 1 binary64) v)) m) m) m))
#s(approx (+ (* (/ (- 1 m) v) m) -1) (/.f64 (*.f64 (neg.f64 m) m) v))
#s(approx (+ (* (/ (- 1 m) v) m) -1) (.f64 (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) v) (.f64 m m)))
#s(approx (+ (* (/ (- 1 m) v) m) -1) (.f64 (.f64 (-.f64 (/.f64 (-.f64 m v) (.f64 (.f64 v m) m)) (/.f64 #s(literal 1 binary64) v)) m) m))
#s(approx (/ (- 1 m) v) (/.f64 (neg.f64 m) v))
#s(approx (/ (- 1 m) v) (*.f64 (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) v) m))
#s(approx (- 1 m) (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) m))
#s(approx (* (+ (* (/ (- 1 m) v) m) -1) m) (.f64 (.f64 (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) v) (*.f64 m m)) m))
#s(approx (* (+ (* (/ (- 1 m) v) m) -1) m) (.f64 (.f64 (.f64 (-.f64 (/.f64 (-.f64 m v) (.f64 (*.f64 v m) m)) (/.f64 #s(literal 1 binary64) v)) m) m) m))
#s(approx (+ (* (/ (- 1 m) v) m) -1) (.f64 (.f64 (-.f64 (/.f64 (-.f64 m v) (.f64 (.f64 v m) m)) (/.f64 #s(literal 1 binary64) v)) m) m))
#s(approx (/ (- 1 m) v) (*.f64 (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) v) m))
#s(approx (- 1 m) (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) m))
#s(approx (* (+ (* (/ (- 1 m) v) m) -1) m) (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m))
#s(approx (* (+ (* (/ (- 1 m) v) m) -1) m) (/.f64 (-.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) m) (*.f64 v m)) v))
#s(approx (+ (* (/ (- 1 m) v) m) -1) (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v))
#s(approx (+ (* (/ (- 1 m) v) m) -1) (/.f64 (-.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v) v))
#s(approx (/ (- 1 m) v) (/.f64 (-.f64 #s(literal 1 binary64) m) v))
#s(approx v v)
#s(approx (* (+ (* (/ (- 1 m) v) m) -1) m) (*.f64 (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)) m))
#s(approx (+ (* (/ (- 1 m) v) m) -1) (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)))
#s(approx (* (+ (* (/ (- 1 m) v) m) -1) m) (*.f64 (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)) m))

eval44.0ms (1.6%)

Memory: -1.8MiB live, 89.3MiB allocated; 13ms collecting garbage
Compiler: Compiled 2 771 to 1 165 computations (58% saved)

prune18.0ms (0.6%)

Memory

-24.5MiB live, 31.8MiB allocated; 8ms collecting garbage

Pruning

15 alts after pruning (6 fresh and 9 done)

	Pruned	Kept	Total
New	417	3	420
Fresh	2	3	5
Picked	0	5	5
Done	0	4	4
Total	419	15	434

Accuracy

100.0%

Counts

434 → 15

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	92.5%	(-.f64 (/.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) m) v) m)
✓	92.5%	(-.f64 (.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) (.f64 m m)) m)
▶	43.9%	(-.f64 (.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) (.f64 m m)) m)
✓	99.8%	(-.f64 (.f64 m (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v)) m)
✓	51.3%	(-.f64 (.f64 m #s(approx (/ ( (- 1 m) m) v) (/.f64 m v))) m)
✓	99.8%	(*.f64 (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)) m)
▶	51.2%	(.f64 (-.f64 (/.f64 #s(approx ( m (- 1 m)) m) v) #s(literal 1 binary64)) m)
✓	77.3%	(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v)) m)
	77.3%	(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (/.f64 (.f64 #s(approx (- 1 m) (.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) m)) m) v)) m)
✓	77.3%	(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m)) m)
▶	29.0%	(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) m)) m)
✓	29.0%	(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) #s(approx (/ (* (- 1 m) m) v) (/.f64 m v))) m)
▶	48.9%	(.f64 #s(approx (+ ( (/ (- 1 m) v) m) -1) (/.f64 (*.f64 (neg.f64 m) m) v)) m)
✓	49.0%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (/.f64 (.f64 (.f64 (neg.f64 m) m) m) v))
✓	24.6%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (neg.f64 m))

Compiler

Compiled 241 to 236 computations (2.1% saved)

series12.0ms (0.5%)

Memory

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

Counts

25 → 46

Calls

Call 1

Inputs
(-.f64 (/.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) m) v) m)
(/.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) m) v)
(.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) m)
(*.f64 (-.f64 #s(literal 1 binary64) m) m)
(-.f64 #s(literal 1 binary64) m)
#s(literal 1 binary64)
m
v
(.f64 (-.f64 (/.f64 #s(approx ( m (- 1 m)) m) v) #s(literal 1 binary64)) m)
(-.f64 (/.f64 #s(approx (* m (- 1 m)) m) v) #s(literal 1 binary64))
(/.f64 #s(approx (* m (- 1 m)) m) v)
#s(approx (* m (- 1 m)) m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) m)) m)
#s(approx (- (/ (* m (- 1 m)) v) 1) (*.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) m))
(*.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) m)
(/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v)
#s(approx (- 1 m) #s(literal 1 binary64))
(.f64 #s(approx (+ ( (/ (- 1 m) v) m) -1) (/.f64 (*.f64 (neg.f64 m) m) v)) m)
#s(approx (+ (* (/ (- 1 m) v) m) -1) (/.f64 (*.f64 (neg.f64 m) m) v))
(/.f64 (*.f64 (neg.f64 m) m) v)
(*.f64 (neg.f64 m) m)
(neg.f64 m)
(-.f64 (.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) (.f64 m m)) m)
(.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) (.f64 m m))
(*.f64 m m)

Outputs
#s(approx (- (/ (* (* (- 1 m) m) m) v) m) #s(hole binary64 (* -1 m)))
#s(approx (- (/ (* (* (- 1 m) m) m) v) m) #s(hole binary64 (* m (- (/ m v) 1))))
#s(approx (- (/ (* (* (- 1 m) m) m) v) m) #s(hole binary64 (* m (- (* m (+ (* -1 (/ m v)) (/ 1 v))) 1))))
#s(approx (/ (* (* (- 1 m) m) m) v) #s(hole binary64 (/ (pow m 2) v)))
#s(approx (/ (* (* (- 1 m) m) m) v) #s(hole binary64 (* (pow m 2) (+ (* -1 (/ m v)) (/ 1 v)))))
#s(approx (* (* (- 1 m) m) m) #s(hole binary64 (pow m 2)))
#s(approx (* (* (- 1 m) m) m) #s(hole binary64 (* (pow m 2) (+ 1 (* -1 m)))))
#s(approx (* (- 1 m) m) #s(hole binary64 m))
#s(approx (* (- 1 m) m) #s(hole binary64 (* m (+ 1 (* -1 m)))))
#s(approx (- 1 m) #s(hole binary64 1))
#s(approx (- 1 m) #s(hole binary64 (+ 1 (* -1 m))))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 -1))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (- (/ m v) 1)))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (- (* m (+ (* -1 (/ m v)) (/ 1 v))) 1)))
#s(approx (/ (* m (- 1 m)) v) #s(hole binary64 (/ m v)))
#s(approx (/ (* m (- 1 m)) v) #s(hole binary64 (* m (+ (* -1 (/ m v)) (/ 1 v)))))
#s(approx (/ (- 1 m) v) #s(hole binary64 (/ 1 v)))
#s(approx (/ (- 1 m) v) #s(hole binary64 (+ (* -1 (/ m v)) (/ 1 v))))
#s(approx (/ (* (neg m) m) v) #s(hole binary64 (* -1 (/ (pow m 2) v))))
#s(approx (* (neg m) m) #s(hole binary64 (* -1 (pow m 2))))
#s(approx (- (/ (* (* (- 1 m) m) m) v) m) #s(hole binary64 (* -1 (/ (pow m 3) v))))
#s(approx (- (/ (* (* (- 1 m) m) m) v) m) #s(hole binary64 (* (pow m 3) (- (/ 1 (* m v)) (/ 1 v)))))
#s(approx (- (/ (* (* (- 1 m) m) m) v) m) #s(hole binary64 (* (pow m 3) (- (/ 1 (* m v)) (+ (/ 1 v) (/ 1 (pow m 2)))))))
#s(approx (* (* (- 1 m) m) m) #s(hole binary64 (* -1 (pow m 3))))
#s(approx (* (* (- 1 m) m) m) #s(hole binary64 (* (pow m 3) (- (/ 1 m) 1))))
#s(approx (* (- 1 m) m) #s(hole binary64 (* (pow m 2) (- (/ 1 m) 1))))
#s(approx (- 1 m) #s(hole binary64 (* m (- (/ 1 m) 1))))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (* (pow m 2) (- (/ 1 (* m v)) (/ 1 v)))))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (* (pow m 2) (- (/ 1 (* m v)) (+ (/ 1 v) (/ 1 (pow m 2)))))))
#s(approx (/ (- 1 m) v) #s(hole binary64 (* -1 (/ m v))))
#s(approx (/ (- 1 m) v) #s(hole binary64 (* m (- (/ 1 (* m v)) (/ 1 v)))))
#s(approx (- (/ (* (* (- 1 m) m) m) v) m) #s(hole binary64 (* -1 (* (pow m 3) (- (/ 1 v) (/ 1 (* m v)))))))
#s(approx (- (/ (* (* (- 1 m) m) m) v) m) #s(hole binary64 (* -1 (* (pow m 3) (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v))))))
#s(approx (* (* (- 1 m) m) m) #s(hole binary64 (* -1 (* (pow m 3) (- 1 (/ 1 m))))))
#s(approx (- 1 m) #s(hole binary64 (* -1 (* m (- 1 (/ 1 m))))))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (* (pow m 2) (- (* -1 (/ (- (/ 1 m) (/ 1 v)) m)) (/ 1 v)))))
#s(approx (/ (- 1 m) v) #s(hole binary64 (* -1 (* m (- (/ 1 v) (/ 1 (* m v)))))))
#s(approx (- (/ (* (* (- 1 m) m) m) v) m) #s(hole binary64 (/ (* (pow m 2) (- 1 m)) v)))
#s(approx (- (/ (* (* (- 1 m) m) m) v) m) #s(hole binary64 (/ (+ (* -1 (* m v)) (* (pow m 2) (- 1 m))) v)))
#s(approx v #s(hole binary64 v))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (/ (* m (- 1 m)) v)))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (/ (+ (* -1 v) (* m (- 1 m))) v)))
#s(approx (/ (- 1 m) v) #s(hole binary64 (/ (- 1 m) v)))
#s(approx (- (/ (* (* (- 1 m) m) m) v) m) #s(hole binary64 (- (/ (* (pow m 2) (- 1 m)) v) m)))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) #s(hole binary64 (+ (* -1 m) (/ (* (pow m 2) (- 1 m)) v))))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (- (/ (* m (- 1 m)) v) 1)))

Calls

6 calls:

Time	Variable		Point	Expression
2.0ms	m	@	-inf	((- (/ (* (* (- 1 m) m) m) v) m) (/ (* (* (- 1 m) m) m) v) (* (* (- 1 m) m) m) (* (- 1 m) m) (- 1 m) 1 m v (* (- (/ (* m (- 1 m)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (/ (* m (- 1 m)) v) (* m (- 1 m)) (* (- (/ (* m (- 1 m)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (* (/ (- 1 m) v) m) (/ (- 1 m) v) (- 1 m) (* (+ (* (/ (- 1 m) v) m) -1) m) (+ (* (/ (- 1 m) v) m) -1) (/ (* (neg m) m) v) (* (neg m) m) (neg m) (- (* (/ (- 1 m) v) (* m m)) m) (* (/ (- 1 m) v) (* m m)) (* m m))
2.0ms	m	@	inf	((- (/ (* (* (- 1 m) m) m) v) m) (/ (* (* (- 1 m) m) m) v) (* (* (- 1 m) m) m) (* (- 1 m) m) (- 1 m) 1 m v (* (- (/ (* m (- 1 m)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (/ (* m (- 1 m)) v) (* m (- 1 m)) (* (- (/ (* m (- 1 m)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (* (/ (- 1 m) v) m) (/ (- 1 m) v) (- 1 m) (* (+ (* (/ (- 1 m) v) m) -1) m) (+ (* (/ (- 1 m) v) m) -1) (/ (* (neg m) m) v) (* (neg m) m) (neg m) (- (* (/ (- 1 m) v) (* m m)) m) (* (/ (- 1 m) v) (* m m)) (* m m))
2.0ms	v	@	0	((- (/ (* (* (- 1 m) m) m) v) m) (/ (* (* (- 1 m) m) m) v) (* (* (- 1 m) m) m) (* (- 1 m) m) (- 1 m) 1 m v (* (- (/ (* m (- 1 m)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (/ (* m (- 1 m)) v) (* m (- 1 m)) (* (- (/ (* m (- 1 m)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (* (/ (- 1 m) v) m) (/ (- 1 m) v) (- 1 m) (* (+ (* (/ (- 1 m) v) m) -1) m) (+ (* (/ (- 1 m) v) m) -1) (/ (* (neg m) m) v) (* (neg m) m) (neg m) (- (* (/ (- 1 m) v) (* m m)) m) (* (/ (- 1 m) v) (* m m)) (* m m))
2.0ms	v	@	-inf	((- (/ (* (* (- 1 m) m) m) v) m) (/ (* (* (- 1 m) m) m) v) (* (* (- 1 m) m) m) (* (- 1 m) m) (- 1 m) 1 m v (* (- (/ (* m (- 1 m)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (/ (* m (- 1 m)) v) (* m (- 1 m)) (* (- (/ (* m (- 1 m)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (* (/ (- 1 m) v) m) (/ (- 1 m) v) (- 1 m) (* (+ (* (/ (- 1 m) v) m) -1) m) (+ (* (/ (- 1 m) v) m) -1) (/ (* (neg m) m) v) (* (neg m) m) (neg m) (- (* (/ (- 1 m) v) (* m m)) m) (* (/ (- 1 m) v) (* m m)) (* m m))
2.0ms	v	@	inf	((- (/ (* (* (- 1 m) m) m) v) m) (/ (* (* (- 1 m) m) m) v) (* (* (- 1 m) m) m) (* (- 1 m) m) (- 1 m) 1 m v (* (- (/ (* m (- 1 m)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (/ (* m (- 1 m)) v) (* m (- 1 m)) (* (- (/ (* m (- 1 m)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (* (/ (- 1 m) v) m) (/ (- 1 m) v) (- 1 m) (* (+ (* (/ (- 1 m) v) m) -1) m) (+ (* (/ (- 1 m) v) m) -1) (/ (* (neg m) m) v) (* (neg m) m) (neg m) (- (* (/ (- 1 m) v) (* m m)) m) (* (/ (- 1 m) v) (* m m)) (* m m))

rewrite316.0ms (11.5%)

Memory

-16.1MiB live, 288.0MiB allocated; 156ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	157	1018
0	179	991
1	797	944
2	6752	944
0	8132	912
1	25306	912

Stop Event

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

Counts

71 → 368

Calls

Call 1

Inputs
(-.f64 (/.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) m) v) m)
(/.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) m) v)
(.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) m)
(*.f64 (-.f64 #s(literal 1 binary64) m) m)
(-.f64 #s(literal 1 binary64) m)
#s(literal 1 binary64)
m
v
(.f64 (-.f64 (/.f64 #s(approx ( m (- 1 m)) m) v) #s(literal 1 binary64)) m)
(-.f64 (/.f64 #s(approx (* m (- 1 m)) m) v) #s(literal 1 binary64))
(/.f64 #s(approx (* m (- 1 m)) m) v)
#s(approx (* m (- 1 m)) m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) m)) m)
#s(approx (- (/ (* m (- 1 m)) v) 1) (*.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) m))
(*.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) m)
(/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v)
#s(approx (- 1 m) #s(literal 1 binary64))
(.f64 #s(approx (+ ( (/ (- 1 m) v) m) -1) (/.f64 (*.f64 (neg.f64 m) m) v)) m)
#s(approx (+ (* (/ (- 1 m) v) m) -1) (/.f64 (*.f64 (neg.f64 m) m) v))
(/.f64 (*.f64 (neg.f64 m) m) v)
(*.f64 (neg.f64 m) m)
(neg.f64 m)
(-.f64 (.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) (.f64 m m)) m)
(.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) (.f64 m m))
(*.f64 m m)
#s(approx (- (/ (* (* (- 1 m) m) m) v) m) #s(hole binary64 (* -1 m)))
#s(approx (- (/ (* (* (- 1 m) m) m) v) m) #s(hole binary64 (* m (- (/ m v) 1))))
#s(approx (- (/ (* (* (- 1 m) m) m) v) m) #s(hole binary64 (* m (- (* m (+ (* -1 (/ m v)) (/ 1 v))) 1))))
#s(approx (/ (* (* (- 1 m) m) m) v) #s(hole binary64 (/ (pow m 2) v)))
#s(approx (/ (* (* (- 1 m) m) m) v) #s(hole binary64 (* (pow m 2) (+ (* -1 (/ m v)) (/ 1 v)))))
#s(approx (* (* (- 1 m) m) m) #s(hole binary64 (pow m 2)))
#s(approx (* (* (- 1 m) m) m) #s(hole binary64 (* (pow m 2) (+ 1 (* -1 m)))))
#s(approx (* (- 1 m) m) #s(hole binary64 m))
#s(approx (* (- 1 m) m) #s(hole binary64 (* m (+ 1 (* -1 m)))))
#s(approx (- 1 m) #s(hole binary64 1))
#s(approx (- 1 m) #s(hole binary64 (+ 1 (* -1 m))))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 -1))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (- (/ m v) 1)))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (- (* m (+ (* -1 (/ m v)) (/ 1 v))) 1)))
#s(approx (/ (* m (- 1 m)) v) #s(hole binary64 (/ m v)))
#s(approx (/ (* m (- 1 m)) v) #s(hole binary64 (* m (+ (* -1 (/ m v)) (/ 1 v)))))
#s(approx (/ (- 1 m) v) #s(hole binary64 (/ 1 v)))
#s(approx (/ (- 1 m) v) #s(hole binary64 (+ (* -1 (/ m v)) (/ 1 v))))
#s(approx (/ (* (neg m) m) v) #s(hole binary64 (* -1 (/ (pow m 2) v))))
#s(approx (* (neg m) m) #s(hole binary64 (* -1 (pow m 2))))
#s(approx (- (/ (* (* (- 1 m) m) m) v) m) #s(hole binary64 (* -1 (/ (pow m 3) v))))
#s(approx (- (/ (* (* (- 1 m) m) m) v) m) #s(hole binary64 (* (pow m 3) (- (/ 1 (* m v)) (/ 1 v)))))
#s(approx (- (/ (* (* (- 1 m) m) m) v) m) #s(hole binary64 (* (pow m 3) (- (/ 1 (* m v)) (+ (/ 1 v) (/ 1 (pow m 2)))))))
#s(approx (* (* (- 1 m) m) m) #s(hole binary64 (* -1 (pow m 3))))
#s(approx (* (* (- 1 m) m) m) #s(hole binary64 (* (pow m 3) (- (/ 1 m) 1))))
#s(approx (* (- 1 m) m) #s(hole binary64 (* (pow m 2) (- (/ 1 m) 1))))
#s(approx (- 1 m) #s(hole binary64 (* m (- (/ 1 m) 1))))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (* (pow m 2) (- (/ 1 (* m v)) (/ 1 v)))))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (* (pow m 2) (- (/ 1 (* m v)) (+ (/ 1 v) (/ 1 (pow m 2)))))))
#s(approx (/ (- 1 m) v) #s(hole binary64 (* -1 (/ m v))))
#s(approx (/ (- 1 m) v) #s(hole binary64 (* m (- (/ 1 (* m v)) (/ 1 v)))))
#s(approx (- (/ (* (* (- 1 m) m) m) v) m) #s(hole binary64 (* -1 (* (pow m 3) (- (/ 1 v) (/ 1 (* m v)))))))
#s(approx (- (/ (* (* (- 1 m) m) m) v) m) #s(hole binary64 (* -1 (* (pow m 3) (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v))))))
#s(approx (* (* (- 1 m) m) m) #s(hole binary64 (* -1 (* (pow m 3) (- 1 (/ 1 m))))))
#s(approx (- 1 m) #s(hole binary64 (* -1 (* m (- 1 (/ 1 m))))))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (* (pow m 2) (- (* -1 (/ (- (/ 1 m) (/ 1 v)) m)) (/ 1 v)))))
#s(approx (/ (- 1 m) v) #s(hole binary64 (* -1 (* m (- (/ 1 v) (/ 1 (* m v)))))))
#s(approx (- (/ (* (* (- 1 m) m) m) v) m) #s(hole binary64 (/ (* (pow m 2) (- 1 m)) v)))
#s(approx (- (/ (* (* (- 1 m) m) m) v) m) #s(hole binary64 (/ (+ (* -1 (* m v)) (* (pow m 2) (- 1 m))) v)))
#s(approx v #s(hole binary64 v))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (/ (* m (- 1 m)) v)))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (/ (+ (* -1 v) (* m (- 1 m))) v)))
#s(approx (/ (- 1 m) v) #s(hole binary64 (/ (- 1 m) v)))
#s(approx (- (/ (* (* (- 1 m) m) m) v) m) #s(hole binary64 (- (/ (* (pow m 2) (- 1 m)) v) m)))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) #s(hole binary64 (+ (* -1 m) (/ (* (pow m 2) (- 1 m)) v))))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(hole binary64 (- (/ (* m (- 1 m)) v) 1)))

Outputs
(*.f64 (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)) m)
(*.f64 m (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)))
(neg.f64 (.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v)) m))
(neg.f64 (.f64 m (-.f64 #s(literal 1 binary64) (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v))))
(neg.f64 (-.f64 (.f64 (.f64 (-.f64 m #s(literal 1 binary64)) m) (/.f64 m v)) (neg.f64 m)))
(neg.f64 (-.f64 m (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m)))
(fma.f64 (*.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) (fabs.f64 m)) (fabs.f64 m) (neg.f64 m))
(fma.f64 (.f64 (.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) m) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v) (neg.f64 m))
(fma.f64 (*.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) (neg.f64 m)) (neg.f64 m) (neg.f64 m))
(fma.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (.f64 m m)) (/.f64 #s(literal -1 binary64) v) (neg.f64 m))
(fma.f64 (fabs.f64 m) (*.f64 (fabs.f64 m) (/.f64 (-.f64 #s(literal 1 binary64) m) v)) (neg.f64 m))
(fma.f64 (*.f64 m m) (/.f64 (-.f64 #s(literal 1 binary64) m) v) (neg.f64 m))
(fma.f64 (/.f64 #s(literal 1 binary64) v) (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) m) (neg.f64 m))
(fma.f64 (/.f64 m v) (*.f64 (-.f64 #s(literal 1 binary64) m) m) (neg.f64 m))
(fma.f64 (neg.f64 m) (*.f64 (neg.f64 m) (/.f64 (-.f64 #s(literal 1 binary64) m) v)) (neg.f64 m))
(fma.f64 (neg.f64 m) #s(literal 1 binary64) (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m))
(fma.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) m) (/.f64 #s(literal 1 binary64) v) (neg.f64 m))
(fma.f64 #s(literal -1 binary64) (.f64 (.f64 (-.f64 m #s(literal 1 binary64)) m) (/.f64 m v)) (neg.f64 m))
(fma.f64 #s(literal -1 binary64) m (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m))
(fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) (*.f64 m m) (neg.f64 m))
(fma.f64 (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v) m (neg.f64 m))
(fma.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) (/.f64 m v) (neg.f64 m))
(fma.f64 (-.f64 #s(literal 1 binary64) m) (*.f64 (/.f64 m v) m) (neg.f64 m))
(fma.f64 m #s(literal -1 binary64) (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m))
(fma.f64 m (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v) (neg.f64 m))
(fma.f64 #s(literal 1 binary64) (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m) (neg.f64 m))
(fma.f64 #s(literal 1 binary64) (neg.f64 m) (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m))
(-.f64 (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m) m)
(-.f64 (neg.f64 m) (.f64 (.f64 (-.f64 m #s(literal 1 binary64)) m) (/.f64 m v)))
(+.f64 (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m) (neg.f64 m))
(+.f64 (neg.f64 m) (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m))
(.f64 (.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) (fabs.f64 m)) (fabs.f64 m))
(.f64 (.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) m) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v))
(.f64 (.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) (neg.f64 m)) (neg.f64 m))
(.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (*.f64 m m)) (/.f64 #s(literal -1 binary64) v))
(.f64 (fabs.f64 m) (.f64 (fabs.f64 m) (/.f64 (-.f64 #s(literal 1 binary64) m) v)))
(.f64 (.f64 m m) (/.f64 (-.f64 #s(literal 1 binary64) m) v))
(.f64 (/.f64 #s(literal 1 binary64) v) (.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) m))
(.f64 (/.f64 m v) (.f64 (-.f64 #s(literal 1 binary64) m) m))
(.f64 (neg.f64 m) (.f64 (neg.f64 m) (/.f64 (-.f64 #s(literal 1 binary64) m) v)))
(.f64 (.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) m) (/.f64 #s(literal 1 binary64) v))
(.f64 #s(literal -1 binary64) (.f64 (*.f64 (-.f64 m #s(literal 1 binary64)) m) (/.f64 m v)))
(.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) (.f64 m m))
(.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m)
(.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) (/.f64 m v))
(.f64 (-.f64 #s(literal 1 binary64) m) (.f64 (/.f64 m v) m))
(.f64 m (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v))
(.f64 #s(literal 1 binary64) (.f64 (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v) m))
(/.f64 (.f64 (.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) m) #s(literal -1 binary64)) (neg.f64 v))
(/.f64 (/.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (.f64 m m)) #s(literal -1 binary64)) v)
(/.f64 (.f64 (.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) m) #s(literal 1 binary64)) v)
(/.f64 (.f64 (.f64 (-.f64 m #s(literal 1 binary64)) m) (/.f64 m v)) #s(literal -1 binary64))
(/.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (.f64 m m)) (neg.f64 v))
(/.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) m) v)
(neg.f64 (.f64 (.f64 (-.f64 m #s(literal 1 binary64)) m) (/.f64 m v)))
(fma.f64 (.f64 (/.f64 (neg.f64 m) v) (fabs.f64 m)) (fabs.f64 m) (.f64 (/.f64 m v) m))
(fma.f64 (.f64 (/.f64 #s(literal 1 binary64) v) (fabs.f64 m)) (fabs.f64 m) (.f64 (*.f64 m m) (/.f64 (neg.f64 m) v)))
(fma.f64 (.f64 (/.f64 (neg.f64 m) v) (neg.f64 m)) (neg.f64 m) (.f64 (/.f64 m v) m))
(fma.f64 (.f64 (/.f64 #s(literal 1 binary64) v) (neg.f64 m)) (neg.f64 m) (.f64 (*.f64 m m) (/.f64 (neg.f64 m) v)))
(fma.f64 (/.f64 (.f64 m m) #s(literal -1 binary64)) (/.f64 #s(literal -1 binary64) v) (.f64 (*.f64 m m) (/.f64 (neg.f64 m) v)))
(fma.f64 (/.f64 m #s(literal -1 binary64)) (/.f64 (neg.f64 m) v) (.f64 (.f64 m m) (/.f64 (neg.f64 m) v)))
(fma.f64 (/.f64 (neg.f64 m) #s(literal -1 binary64)) (/.f64 m v) (.f64 (.f64 m m) (/.f64 (neg.f64 m) v)))
(fma.f64 (/.f64 #s(literal -1 binary64) v) (/.f64 (.f64 m m) #s(literal -1 binary64)) (.f64 (*.f64 m m) (/.f64 (neg.f64 m) v)))
(fma.f64 (fabs.f64 m) (.f64 (fabs.f64 m) (/.f64 (neg.f64 m) v)) (.f64 (/.f64 m v) m))
(fma.f64 (fabs.f64 m) (.f64 (fabs.f64 m) (/.f64 #s(literal 1 binary64) v)) (.f64 (*.f64 m m) (/.f64 (neg.f64 m) v)))
(fma.f64 (fabs.f64 m) (/.f64 (fabs.f64 m) v) (.f64 (.f64 m m) (/.f64 (neg.f64 m) v)))
(fma.f64 (.f64 (.f64 m m) (neg.f64 m)) (/.f64 #s(literal 1 binary64) v) (*.f64 (/.f64 m v) m))
(fma.f64 (.f64 (.f64 (/.f64 m v) m) m) #s(literal -1 binary64) (*.f64 (/.f64 m v) m))
(fma.f64 (.f64 (.f64 m m) m) (.f64 (/.f64 #s(literal 1 binary64) v) #s(literal -1 binary64)) (.f64 (/.f64 m v) m))
(fma.f64 (.f64 (.f64 m m) m) (/.f64 #s(literal -1 binary64) v) (*.f64 (/.f64 m v) m))
(fma.f64 (.f64 (/.f64 m v) m) #s(literal 1 binary64) (.f64 (*.f64 m m) (/.f64 (neg.f64 m) v)))
(fma.f64 (.f64 m m) (/.f64 #s(literal 1 binary64) v) (.f64 (*.f64 m m) (/.f64 (neg.f64 m) v)))
(fma.f64 (.f64 m m) (/.f64 (neg.f64 m) v) (.f64 (/.f64 m v) m))
(fma.f64 (/.f64 #s(literal 1 binary64) v) (.f64 m m) (.f64 (*.f64 m m) (/.f64 (neg.f64 m) v)))
(fma.f64 (/.f64 (neg.f64 m) v) (/.f64 m #s(literal -1 binary64)) (.f64 (.f64 m m) (/.f64 (neg.f64 m) v)))
(fma.f64 (/.f64 (neg.f64 m) v) (.f64 m m) (.f64 (/.f64 m v) m))
(fma.f64 (/.f64 m v) (/.f64 (neg.f64 m) #s(literal -1 binary64)) (.f64 (.f64 m m) (/.f64 (neg.f64 m) v)))
(fma.f64 (/.f64 m v) (.f64 (neg.f64 m) m) (.f64 (/.f64 m v) m))
(fma.f64 (/.f64 m v) m (.f64 (.f64 m m) (/.f64 (neg.f64 m) v)))
(fma.f64 (neg.f64 m) (.f64 (/.f64 m v) m) (.f64 (/.f64 m v) m))
(fma.f64 (neg.f64 m) (/.f64 (neg.f64 m) v) (.f64 (.f64 m m) (/.f64 (neg.f64 m) v)))
(fma.f64 (.f64 (/.f64 (neg.f64 m) v) m) m (.f64 (/.f64 m v) m))
(fma.f64 (.f64 (neg.f64 m) m) (/.f64 #s(literal -1 binary64) v) (.f64 (*.f64 m m) (/.f64 (neg.f64 m) v)))
(fma.f64 (.f64 (neg.f64 m) m) (/.f64 m v) (.f64 (/.f64 m v) m))
(fma.f64 #s(literal -1 binary64) (.f64 (.f64 (/.f64 m v) m) m) (*.f64 (/.f64 m v) m))
(fma.f64 #s(literal -1 binary64) (.f64 (/.f64 (neg.f64 m) v) m) (.f64 (*.f64 m m) (/.f64 (neg.f64 m) v)))
(fma.f64 m (/.f64 m v) (.f64 (.f64 m m) (/.f64 (neg.f64 m) v)))
(fma.f64 m (.f64 (/.f64 (neg.f64 m) v) m) (.f64 (/.f64 m v) m))
(fma.f64 #s(literal 1 binary64) (.f64 (/.f64 m v) m) (.f64 (*.f64 m m) (/.f64 (neg.f64 m) v)))
(-.f64 (.f64 (.f64 m m) (/.f64 (neg.f64 m) v)) (.f64 (/.f64 #s(literal -1 binary64) v) (.f64 m m)))
(-.f64 (.f64 (.f64 m m) (/.f64 (neg.f64 m) v)) (*.f64 (/.f64 (neg.f64 m) v) m))
(+.f64 (.f64 (.f64 m m) (/.f64 (neg.f64 m) v)) (*.f64 (/.f64 m v) m))
(+.f64 (.f64 (/.f64 m v) m) (.f64 (*.f64 m m) (/.f64 (neg.f64 m) v)))
(.f64 (.f64 (-.f64 #s(literal 1 binary64) m) (fabs.f64 m)) (fabs.f64 m))
(.f64 (.f64 (-.f64 m #s(literal 1 binary64)) m) (neg.f64 m))
(.f64 (fabs.f64 m) (.f64 (fabs.f64 m) (-.f64 #s(literal 1 binary64) m)))
(.f64 (.f64 m m) (-.f64 #s(literal 1 binary64) m))
(.f64 (neg.f64 m) (.f64 (-.f64 m #s(literal 1 binary64)) m))
(.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) m)
(.f64 (-.f64 #s(literal 1 binary64) m) (.f64 m m))
(.f64 m (.f64 (-.f64 #s(literal 1 binary64) m) m))
(neg.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (.f64 m m)))
(fma.f64 (.f64 (neg.f64 m) (fabs.f64 m)) (fabs.f64 m) (.f64 m m))
(fma.f64 (.f64 #s(literal -1 binary64) (fabs.f64 m)) (.f64 #s(literal -1 binary64) (fabs.f64 m)) (.f64 (.f64 m m) (neg.f64 m)))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 m)) (.f64 #s(literal 1 binary64) (fabs.f64 m)) (.f64 (.f64 m m) (neg.f64 m)))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 m)) (fabs.f64 m) (.f64 (*.f64 m m) (neg.f64 m)))
(fma.f64 (.f64 (fabs.f64 m) #s(literal -1 binary64)) (.f64 (fabs.f64 m) #s(literal -1 binary64)) (.f64 (.f64 m m) (neg.f64 m)))
(fma.f64 (.f64 (fabs.f64 m) #s(literal 1 binary64)) (.f64 (fabs.f64 m) #s(literal 1 binary64)) (.f64 (.f64 m m) (neg.f64 m)))
(fma.f64 (fabs.f64 (fabs.f64 m)) (fabs.f64 (fabs.f64 m)) (.f64 (.f64 m m) (neg.f64 m)))
(fma.f64 (neg.f64 (fabs.f64 m)) (neg.f64 (fabs.f64 m)) (.f64 (.f64 m m) (neg.f64 m)))
(fma.f64 (fabs.f64 m) (.f64 (fabs.f64 m) (neg.f64 m)) (.f64 m m))
(fma.f64 (fabs.f64 m) (.f64 (fabs.f64 m) #s(literal 1 binary64)) (.f64 (*.f64 m m) (neg.f64 m)))
(fma.f64 (fabs.f64 m) (fabs.f64 m) (.f64 (.f64 m m) (neg.f64 m)))
(fma.f64 (.f64 (.f64 m m) m) #s(literal -1 binary64) (*.f64 m m))
(fma.f64 (.f64 m m) (neg.f64 m) (.f64 m m))
(fma.f64 (.f64 m m) #s(literal 1 binary64) (.f64 (*.f64 m m) (neg.f64 m)))
(fma.f64 (neg.f64 m) (.f64 m m) (.f64 m m))
(fma.f64 (neg.f64 m) (neg.f64 m) (.f64 (.f64 m m) (neg.f64 m)))
(fma.f64 (.f64 (neg.f64 m) m) #s(literal -1 binary64) (.f64 (*.f64 m m) (neg.f64 m)))
(fma.f64 (.f64 (neg.f64 m) m) m (.f64 m m))
(fma.f64 #s(literal -1 binary64) (.f64 (.f64 m m) m) (*.f64 m m))
(fma.f64 #s(literal -1 binary64) (.f64 (neg.f64 m) m) (.f64 (*.f64 m m) (neg.f64 m)))
(fma.f64 m (.f64 (neg.f64 m) m) (.f64 m m))
(fma.f64 m m (.f64 (.f64 m m) (neg.f64 m)))
(fma.f64 #s(literal 1 binary64) (.f64 m m) (.f64 (*.f64 m m) (neg.f64 m)))
(-.f64 (.f64 m m) (neg.f64 (.f64 (*.f64 m m) (neg.f64 m))))
(-.f64 (.f64 m m) (.f64 (*.f64 m m) m))
(+.f64 (.f64 (.f64 m m) (neg.f64 m)) (*.f64 m m))
(+.f64 (.f64 m m) (.f64 (*.f64 m m) (neg.f64 m)))
(*.f64 (-.f64 #s(literal 1 binary64) m) m)
(*.f64 m (-.f64 #s(literal 1 binary64) m))
(neg.f64 (*.f64 (-.f64 m #s(literal 1 binary64)) m))
(fma.f64 (*.f64 #s(literal -1 binary64) (fabs.f64 m)) (fabs.f64 m) m)
(fma.f64 (neg.f64 (fabs.f64 m)) (fabs.f64 m) m)
(fma.f64 (fabs.f64 m) (*.f64 (fabs.f64 m) #s(literal -1 binary64)) m)
(fma.f64 (fabs.f64 m) (neg.f64 (fabs.f64 m)) m)
(fma.f64 (*.f64 m m) #s(literal -1 binary64) m)
(fma.f64 (neg.f64 m) m m)
(fma.f64 #s(literal -1 binary64) (*.f64 m m) m)
(fma.f64 m (neg.f64 m) m)
(-.f64 m (*.f64 m m))
(+.f64 (*.f64 (neg.f64 m) m) m)
(+.f64 m (*.f64 (neg.f64 m) m))
(*.f64 #s(literal -1 binary64) (-.f64 m #s(literal 1 binary64)))
(*.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) m))
(neg.f64 (-.f64 m #s(literal 1 binary64)))
(fma.f64 (neg.f64 m) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) m #s(literal 1 binary64))
(fma.f64 m #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) (neg.f64 m) #s(literal 1 binary64))
(-.f64 (neg.f64 m) #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) m)
(+.f64 (neg.f64 m) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (neg.f64 m))
#s(literal 1 binary64)
m
v
(.f64 (-.f64 (/.f64 #s(approx ( m (- 1 m)) m) v) #s(literal 1 binary64)) m)
(.f64 m (-.f64 (/.f64 #s(approx ( m (- 1 m)) m) v) #s(literal 1 binary64)))
(neg.f64 (.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(approx ( m (- 1 m)) m) v)) m))
(neg.f64 (.f64 m (-.f64 #s(literal 1 binary64) (/.f64 #s(approx ( m (- 1 m)) m) v))))
(fma.f64 (/.f64 #s(approx (* m (- 1 m)) m) v) m (neg.f64 m))
(fma.f64 m (/.f64 #s(approx (* m (- 1 m)) m) v) (neg.f64 m))
(+.f64 (.f64 m (/.f64 #s(approx ( m (- 1 m)) m) v)) (neg.f64 m))
(+.f64 (.f64 (/.f64 #s(approx ( m (- 1 m)) m) v) m) (neg.f64 m))
(/.f64 (-.f64 (.f64 (neg.f64 #s(approx ( m (- 1 m)) m)) #s(literal 2 binary64)) (.f64 (neg.f64 v) #s(literal 2 binary64))) (.f64 (neg.f64 v) #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 #s(approx ( m (- 1 m)) m) #s(literal 2 binary64)) (.f64 v #s(literal 2 binary64))) (.f64 v #s(literal 2 binary64)))
(neg.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(approx (* m (- 1 m)) m) v)))
(fma.f64 (.f64 (/.f64 #s(approx ( m (- 1 m)) m) v) #s(literal -1 binary64)) #s(literal -1 binary64) #s(literal -1 binary64))
(fma.f64 (.f64 #s(approx ( m (- 1 m)) m) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v) #s(literal -1 binary64))
(fma.f64 (neg.f64 #s(approx (* m (- 1 m)) m)) (/.f64 #s(literal -1 binary64) v) #s(literal -1 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) v) #s(approx (* m (- 1 m)) m) #s(literal -1 binary64))
(fma.f64 (/.f64 #s(approx (* m (- 1 m)) m) v) #s(literal 1 binary64) #s(literal -1 binary64))
(fma.f64 #s(approx (* m (- 1 m)) m) (/.f64 #s(literal 1 binary64) v) #s(literal -1 binary64))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(approx (* m (- 1 m)) m) v) #s(literal -1 binary64))
(-.f64 (/.f64 #s(approx (* m (- 1 m)) m) v) #s(literal 1 binary64))
(+.f64 #s(literal -1 binary64) (/.f64 #s(approx (* m (- 1 m)) m) v))
(+.f64 (/.f64 #s(approx (* m (- 1 m)) m) v) #s(literal -1 binary64))
(.f64 (.f64 (/.f64 #s(approx (* m (- 1 m)) m) v) #s(literal -1 binary64)) #s(literal -1 binary64))
(.f64 (.f64 #s(approx (* m (- 1 m)) m) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v))
(.f64 (neg.f64 #s(approx ( m (- 1 m)) m)) (/.f64 #s(literal -1 binary64) v))
(.f64 (/.f64 #s(literal 1 binary64) v) #s(approx ( m (- 1 m)) m))
(.f64 (/.f64 #s(approx ( m (- 1 m)) m) v) #s(literal 1 binary64))
(.f64 #s(approx ( m (- 1 m)) m) (/.f64 #s(literal 1 binary64) v))
(.f64 #s(literal 1 binary64) (/.f64 #s(approx ( m (- 1 m)) m) v))
(/.f64 (.f64 #s(approx ( m (- 1 m)) m) #s(literal -1 binary64)) (neg.f64 v))
(/.f64 (.f64 (/.f64 #s(approx ( m (- 1 m)) m) v) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (/.f64 (neg.f64 #s(approx (* m (- 1 m)) m)) #s(literal -1 binary64)) v)
(/.f64 (/.f64 (neg.f64 #s(approx (* m (- 1 m)) m)) v) #s(literal -1 binary64))
(/.f64 (.f64 (neg.f64 #s(approx ( m (- 1 m)) m)) #s(literal 1 binary64)) (neg.f64 v))
(/.f64 (.f64 #s(approx ( m (- 1 m)) m) #s(literal 1 binary64)) v)
(/.f64 (.f64 (neg.f64 #s(approx ( m (- 1 m)) m)) #s(literal 2 binary64)) (*.f64 (neg.f64 v) #s(literal 2 binary64)))
(/.f64 (.f64 #s(approx ( m (- 1 m)) m) #s(literal 2 binary64)) (*.f64 v #s(literal 2 binary64)))
(/.f64 (neg.f64 (neg.f64 #s(approx (* m (- 1 m)) m))) v)
(/.f64 (neg.f64 #s(approx (* m (- 1 m)) m)) (neg.f64 v))
(/.f64 #s(approx (* m (- 1 m)) m) v)
(neg.f64 (/.f64 #s(approx (* m (- 1 m)) m) (neg.f64 v)))
(neg.f64 (/.f64 (neg.f64 #s(approx (* m (- 1 m)) m)) v))
(neg.f64 (.f64 (/.f64 #s(approx ( m (- 1 m)) m) v) #s(literal -1 binary64)))
#s(approx (* m (- 1 m)) m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) m)) m)
(.f64 m #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) m)))
#s(approx (- (/ (* m (- 1 m)) v) 1) (*.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) m))
(.f64 (.f64 #s(approx (- 1 m) #s(literal 1 binary64)) m) (/.f64 #s(literal 1 binary64) v))
(*.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) m)
(*.f64 #s(approx (- 1 m) #s(literal 1 binary64)) (/.f64 m v))
(*.f64 m (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v))
(/.f64 (*.f64 m (neg.f64 #s(approx (- 1 m) #s(literal 1 binary64)))) (neg.f64 v))
(/.f64 (*.f64 (neg.f64 #s(approx (- 1 m) #s(literal 1 binary64))) m) (neg.f64 v))
(/.f64 (neg.f64 (*.f64 #s(approx (- 1 m) #s(literal 1 binary64)) m)) (neg.f64 v))
(/.f64 (*.f64 #s(approx (- 1 m) #s(literal 1 binary64)) m) v)
(.f64 (.f64 #s(approx (- 1 m) #s(literal 1 binary64)) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v))
(*.f64 (neg.f64 #s(approx (- 1 m) #s(literal 1 binary64))) (/.f64 #s(literal -1 binary64) v))
(*.f64 (/.f64 #s(literal 1 binary64) v) #s(approx (- 1 m) #s(literal 1 binary64)))
(*.f64 #s(approx (- 1 m) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v))
(*.f64 #s(literal 1 binary64) (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v))
(/.f64 (*.f64 #s(approx (- 1 m) #s(literal 1 binary64)) #s(literal -1 binary64)) (neg.f64 v))
(/.f64 (*.f64 #s(approx (- 1 m) #s(literal 1 binary64)) #s(literal 1 binary64)) v)
(/.f64 (/.f64 (neg.f64 #s(approx (- 1 m) #s(literal 1 binary64))) #s(literal -1 binary64)) v)
(/.f64 (/.f64 (neg.f64 #s(approx (- 1 m) #s(literal 1 binary64))) v) #s(literal -1 binary64))
(/.f64 (neg.f64 (neg.f64 #s(approx (- 1 m) #s(literal 1 binary64)))) v)
(/.f64 (neg.f64 #s(approx (- 1 m) #s(literal 1 binary64))) (neg.f64 v))
(/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v)
(neg.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) (neg.f64 v)))
(neg.f64 (/.f64 (neg.f64 #s(approx (- 1 m) #s(literal 1 binary64))) v))
#s(approx (- 1 m) #s(literal 1 binary64))
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 (neg.f64 m) v) m)) m)
(.f64 m #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 (neg.f64 m) v) m)))
#s(approx (- (/ (* m (- 1 m)) v) 1) (*.f64 (/.f64 (neg.f64 m) v) m))
(.f64 (.f64 (*.f64 (neg.f64 m) m) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v))
(.f64 (.f64 (/.f64 m v) m) #s(literal -1 binary64))
(.f64 (.f64 m m) (*.f64 (/.f64 #s(literal 1 binary64) v) #s(literal -1 binary64)))
(.f64 (.f64 m m) (/.f64 #s(literal -1 binary64) v))
(.f64 (/.f64 #s(literal 1 binary64) v) (.f64 (neg.f64 m) m))
(*.f64 (/.f64 (neg.f64 m) v) m)
(*.f64 (/.f64 m v) (neg.f64 m))
(*.f64 (neg.f64 m) (/.f64 m v))
(.f64 (.f64 (neg.f64 m) m) (/.f64 #s(literal 1 binary64) v))
(.f64 #s(literal -1 binary64) (.f64 (/.f64 m v) m))
(*.f64 m (/.f64 (neg.f64 m) v))
(.f64 #s(literal 1 binary64) (.f64 (/.f64 (neg.f64 m) v) m))
(/.f64 (/.f64 (*.f64 m m) #s(literal -1 binary64)) v)
(/.f64 (.f64 (.f64 (neg.f64 m) m) #s(literal 1 binary64)) v)
(/.f64 (*.f64 (/.f64 m v) m) #s(literal -1 binary64))
(/.f64 (*.f64 m m) (neg.f64 v))
(/.f64 (*.f64 (neg.f64 m) m) v)
(neg.f64 (*.f64 (/.f64 m v) m))
(.f64 (.f64 #s(literal -1 binary64) (fabs.f64 m)) (fabs.f64 m))
(*.f64 (neg.f64 (fabs.f64 m)) (fabs.f64 m))
(.f64 (fabs.f64 m) (.f64 (fabs.f64 m) #s(literal -1 binary64)))
(*.f64 (fabs.f64 m) (neg.f64 (fabs.f64 m)))
(.f64 (.f64 m m) #s(literal -1 binary64))
(*.f64 (neg.f64 m) m)
(.f64 #s(literal -1 binary64) (.f64 m m))
(*.f64 m (neg.f64 m))
(neg.f64 (*.f64 m m))
(*.f64 (neg.f64 m) #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) m)
(*.f64 m #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) (neg.f64 m))
(/.f64 (*.f64 #s(literal 2 binary64) (neg.f64 m)) #s(literal 2 binary64))
(neg.f64 m)
(*.f64 m (fma.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) m #s(literal -1 binary64)))
(neg.f64 (-.f64 m (.f64 (.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) m) m)))
(fma.f64 (*.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) (fabs.f64 m)) (fabs.f64 m) (neg.f64 m))
(fma.f64 (*.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) (neg.f64 m)) (neg.f64 m) (neg.f64 m))
(fma.f64 (.f64 (.f64 #s(approx (- 1 m) #s(literal 1 binary64)) m) m) (/.f64 #s(literal 1 binary64) v) (neg.f64 m))
(fma.f64 (fabs.f64 m) (*.f64 (fabs.f64 m) (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v)) (neg.f64 m))
(fma.f64 (*.f64 m m) (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) (neg.f64 m))
(fma.f64 (neg.f64 m) (*.f64 (neg.f64 m) (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v)) (neg.f64 m))
(fma.f64 (neg.f64 m) #s(literal 1 binary64) (.f64 (.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) m) m))
(fma.f64 #s(literal -1 binary64) m (.f64 (.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) m) m))
(fma.f64 (*.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) m) m (neg.f64 m))
(fma.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) (*.f64 m m) (neg.f64 m))
(fma.f64 #s(approx (- 1 m) #s(literal 1 binary64)) (*.f64 (/.f64 m v) m) (neg.f64 m))
(fma.f64 m #s(literal -1 binary64) (.f64 (.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) m) m))
(fma.f64 m (*.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) m) (neg.f64 m))
(fma.f64 #s(literal 1 binary64) (neg.f64 m) (.f64 (.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) m) m))
(-.f64 (.f64 (.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) m) m) m)
(+.f64 (neg.f64 m) (.f64 (.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) m) m))
(+.f64 (.f64 (.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) m) m) (neg.f64 m))
(.f64 (.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) (fabs.f64 m)) (fabs.f64 m))
(.f64 (.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) (neg.f64 m)) (neg.f64 m))
(.f64 (.f64 (*.f64 #s(approx (- 1 m) #s(literal 1 binary64)) m) m) (/.f64 #s(literal 1 binary64) v))
(.f64 (fabs.f64 m) (.f64 (fabs.f64 m) (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v)))
(.f64 (.f64 m m) (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v))
(.f64 (neg.f64 m) (.f64 (neg.f64 m) (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v)))
(.f64 (.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) m) m)
(.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) (.f64 m m))
(.f64 #s(approx (- 1 m) #s(literal 1 binary64)) (.f64 (/.f64 m v) m))
(.f64 m (.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) m))
(/.f64 (.f64 (.f64 m m) (neg.f64 #s(approx (- 1 m) #s(literal 1 binary64)))) (neg.f64 v))
(/.f64 (.f64 (neg.f64 #s(approx (- 1 m) #s(literal 1 binary64))) (.f64 m m)) (neg.f64 v))
(/.f64 (neg.f64 (.f64 (.f64 #s(approx (- 1 m) #s(literal 1 binary64)) m) m)) (neg.f64 v))
(/.f64 (.f64 (.f64 #s(approx (- 1 m) #s(literal 1 binary64)) m) m) v)
(.f64 (.f64 #s(literal -1 binary64) (fabs.f64 m)) (*.f64 #s(literal -1 binary64) (fabs.f64 m)))
(.f64 (.f64 #s(literal 1 binary64) (fabs.f64 m)) (*.f64 #s(literal 1 binary64) (fabs.f64 m)))
(.f64 (.f64 #s(literal 1 binary64) (fabs.f64 m)) (fabs.f64 m))
(.f64 (.f64 (fabs.f64 m) #s(literal -1 binary64)) (*.f64 (fabs.f64 m) #s(literal -1 binary64)))
(.f64 (.f64 (fabs.f64 m) #s(literal 1 binary64)) (*.f64 (fabs.f64 m) #s(literal 1 binary64)))
(*.f64 (fabs.f64 (fabs.f64 m)) (fabs.f64 (fabs.f64 m)))
(*.f64 (neg.f64 (fabs.f64 m)) (neg.f64 (fabs.f64 m)))
(.f64 (fabs.f64 m) (.f64 (fabs.f64 m) #s(literal 1 binary64)))
(*.f64 (fabs.f64 m) (fabs.f64 m))
(.f64 (.f64 m m) #s(literal 1 binary64))
(*.f64 (neg.f64 m) (neg.f64 m))
(.f64 (.f64 (neg.f64 m) m) #s(literal -1 binary64))
(.f64 #s(literal -1 binary64) (.f64 (neg.f64 m) m))
(*.f64 m m)
(.f64 #s(literal 1 binary64) (.f64 m m))
(pow.f64 (fabs.f64 (fabs.f64 m)) #s(literal 2 binary64))
(pow.f64 (neg.f64 (fabs.f64 m)) #s(literal 2 binary64))
(pow.f64 (fabs.f64 m) #s(literal 2 binary64))
(pow.f64 (neg.f64 m) #s(literal 2 binary64))
(pow.f64 m #s(literal 2 binary64))
(/.f64 (.f64 (.f64 m m) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (.f64 #s(literal 2 binary64) (.f64 m m)) #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 m) m))
(sqrt.f64 (.f64 (.f64 m m) (*.f64 m m)))
(fabs.f64 (*.f64 m m))
(fabs.f64 (*.f64 (neg.f64 m) m))
(+.f64 (/.f64 (fma.f64 m m (/.f64 #s(literal 1 binary64) (.f64 m m))) #s(literal 2 binary64)) (/.f64 (-.f64 (.f64 m m) (/.f64 #s(literal 1 binary64) (*.f64 m m))) #s(literal 2 binary64)))
#s(approx (- (/ (* (* (- 1 m) m) m) v) m) (neg.f64 m))
#s(approx (- (/ (* (* (- 1 m) m) m) v) m) (*.f64 (-.f64 (/.f64 m v) #s(literal 1 binary64)) m))
#s(approx (- (/ (* (* (- 1 m) m) m) v) m) (*.f64 (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)) m))
#s(approx (/ (* (* (- 1 m) m) m) v) (*.f64 (/.f64 m v) m))
#s(approx (/ (* (* (- 1 m) m) m) v) (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m))
#s(approx (* (* (- 1 m) m) m) (*.f64 m m))
#s(approx (* (* (- 1 m) m) m) (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) m))
#s(approx (* m (- 1 m)) m)
#s(approx (* m (- 1 m)) (*.f64 (-.f64 #s(literal 1 binary64) m) m))
#s(approx (- 1 m) #s(literal 1 binary64))
#s(approx (- 1 m) (-.f64 #s(literal 1 binary64) m))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(literal -1 binary64))
#s(approx (- (/ (* m (- 1 m)) v) 1) (-.f64 (/.f64 m v) #s(literal 1 binary64)))
#s(approx (- (/ (* m (- 1 m)) v) 1) (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)))
#s(approx (/ (* m (- 1 m)) v) (/.f64 m v))
#s(approx (/ (* m (- 1 m)) v) (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v))
#s(approx (/ (- 1 m) v) (/.f64 #s(literal 1 binary64) v))
#s(approx (/ (- 1 m) v) (/.f64 (-.f64 #s(literal 1 binary64) m) v))
#s(approx (/ (* (neg m) m) v) (*.f64 (/.f64 (neg.f64 m) v) m))
#s(approx (* (neg m) m) (*.f64 (neg.f64 m) m))
#s(approx (- (/ (* (* (- 1 m) m) m) v) m) (.f64 (.f64 m m) (/.f64 (neg.f64 m) v)))
#s(approx (- (/ (* (* (- 1 m) m) m) v) m) (.f64 (.f64 (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) v) (*.f64 m m)) m))
#s(approx (- (/ (* (* (- 1 m) m) m) v) m) (.f64 (.f64 (.f64 (-.f64 (/.f64 (-.f64 m v) (.f64 (*.f64 v m) m)) (/.f64 #s(literal 1 binary64) v)) m) m) m))
#s(approx (* (* (- 1 m) m) m) (.f64 (.f64 m m) (neg.f64 m)))
#s(approx (* (* (- 1 m) m) m) (.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) m) (*.f64 m m)))
#s(approx (* m (- 1 m)) (.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) m) m))
#s(approx (- 1 m) (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) m))
#s(approx (- (/ (* m (- 1 m)) v) 1) (.f64 (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) v) (.f64 m m)))
#s(approx (- (/ (* m (- 1 m)) v) 1) (.f64 (.f64 (-.f64 (/.f64 (-.f64 m v) (.f64 (.f64 v m) m)) (/.f64 #s(literal 1 binary64) v)) m) m))
#s(approx (/ (- 1 m) v) (/.f64 (neg.f64 m) v))
#s(approx (/ (- 1 m) v) (*.f64 (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) v) m))
#s(approx (- (/ (* (* (- 1 m) m) m) v) m) (.f64 (.f64 (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) v) (*.f64 m m)) m))
#s(approx (- (/ (* (* (- 1 m) m) m) v) m) (.f64 (.f64 (.f64 (-.f64 (/.f64 (-.f64 m v) (.f64 (*.f64 v m) m)) (/.f64 #s(literal 1 binary64) v)) m) m) m))
#s(approx (* (* (- 1 m) m) m) (.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) m) (*.f64 m m)))
#s(approx (- 1 m) (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) m))
#s(approx (- (/ (* m (- 1 m)) v) 1) (.f64 (.f64 (-.f64 (/.f64 (-.f64 m v) (.f64 (.f64 v m) m)) (/.f64 #s(literal 1 binary64) v)) m) m))
#s(approx (/ (- 1 m) v) (*.f64 (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) v) m))
#s(approx (- (/ (* (* (- 1 m) m) m) v) m) (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m))
#s(approx (- (/ (* (* (- 1 m) m) m) v) m) (/.f64 (-.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) m) (*.f64 v m)) v))
#s(approx v v)
#s(approx (- (/ (* m (- 1 m)) v) 1) (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v))
#s(approx (- (/ (* m (- 1 m)) v) 1) (/.f64 (-.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v) v))
#s(approx (/ (- 1 m) v) (/.f64 (-.f64 #s(literal 1 binary64) m) v))
#s(approx (- (/ (* (* (- 1 m) m) m) v) m) (*.f64 (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)) m))
#s(approx (- (/ (* (* (- 1 m) m) m) v) m) (*.f64 (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)) m))
#s(approx (- (/ (* m (- 1 m)) v) 1) (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)))

eval67.0ms (2.4%)

Memory: -28.0MiB live, 70.9MiB allocated; 10ms collecting garbage
Compiler: Compiled 2 477 to 1 047 computations (57.7% saved)

prune13.0ms (0.5%)

Memory

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

Pruning

14 alts after pruning (2 fresh and 12 done)

	Pruned	Kept	Total
New	350	2	352
Fresh	1	0	1
Picked	2	3	5
Done	0	9	9
Total	353	14	367

Accuracy

100.0%

Counts

367 → 14

Alt Table

Click to see full alt table

Status	Accuracy	Program
	92.5%	(-.f64 (/.f64 (fma.f64 m m (.f64 (.f64 m m) (neg.f64 m))) v) m)
	44.0%	(-.f64 (/.f64 #s(approx (* (* (- 1 m) m) m) (*.f64 m m)) v) m)
✓	92.5%	(-.f64 (.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) (.f64 m m)) m)
✓	99.8%	(-.f64 (.f64 m (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v)) m)
✓	51.3%	(-.f64 (.f64 m #s(approx (/ ( (- 1 m) m) v) (/.f64 m v))) m)
✓	99.8%	(*.f64 (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)) m)
✓	51.2%	(.f64 (-.f64 (/.f64 #s(approx ( m (- 1 m)) m) v) #s(literal 1 binary64)) m)
✓	77.3%	(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v)) m)
✓	77.3%	(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m)) m)
✓	29.0%	(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) m)) m)
✓	29.0%	(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) #s(approx (/ (* (- 1 m) m) v) (/.f64 m v))) m)
✓	48.9%	(.f64 #s(approx (+ ( (/ (- 1 m) v) m) -1) (/.f64 (*.f64 (neg.f64 m) m) v)) m)
✓	49.0%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (/.f64 (.f64 (.f64 (neg.f64 m) m) m) v))
✓	24.6%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (neg.f64 m))

Compiler

Compiled 309 to 245 computations (20.7% saved)

regimes80.0ms (2.9%)

Memory

-3.1MiB live, 42.4MiB allocated; 5ms collecting garbage

Counts

23 → 1

Calls

Call 1

Inputs
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (neg.f64 m))
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) #s(approx (/ (* (- 1 m) m) v) (/.f64 m v))) m)
(.f64 (-.f64 (/.f64 #s(approx ( m (- 1 m)) m) v) #s(literal 1 binary64)) m)
(-.f64 (.f64 m #s(approx (/ ( (- 1 m) m) v) (/.f64 m v))) m)
(-.f64 (/.f64 #s(approx (* (* (- 1 m) m) m) (*.f64 m m)) v) m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) m)) m)
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (/.f64 (.f64 (.f64 (neg.f64 m) m) m) v))
(.f64 #s(approx (+ ( (/ (- 1 m) v) m) -1) (/.f64 (*.f64 (neg.f64 m) m) v)) m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 (neg.f64 m) v) m)) m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m)) m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v)) m)
(-.f64 (.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) (.f64 m m)) m)
(fma.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) (*.f64 m m) (neg.f64 m))
(*.f64 (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)) m)
(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)
(-.f64 (.f64 m (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v)) m)
(-.f64 (.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) (.f64 m m)) m)
(-.f64 (/.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) m) v) m)
(fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) (*.f64 m m) (neg.f64 m))
(-.f64 (neg.f64 m) (/.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (.f64 m m)) v))
(-.f64 (/.f64 (fma.f64 m m (.f64 (.f64 m m) (neg.f64 m))) v) m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (/.f64 (.f64 #s(approx (- 1 m) (.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) m)) m) v)) m)
(.f64 (-.f64 (/.f64 (.f64 m #s(approx (- 1 m) (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) m))) v) #s(literal 1 binary64)) m)

Outputs
(-.f64 (.f64 m (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v)) m)

Calls

3 calls:

68.0ms	v
6.0ms	m
5.0ms	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)

Results

Accuracy	Segments	Branch
99.8%	1	`(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)`
99.8%	1	`m`
99.8%	1	`v`

Compiler

Compiled 11 to 12 computations (-9.1% saved)

regimes17.0ms (0.6%)

Memory

-13.5MiB live, 30.3MiB allocated; 7ms collecting garbage

Counts

15 → 1

Calls

Call 1

Inputs
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (neg.f64 m))
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) #s(approx (/ (* (- 1 m) m) v) (/.f64 m v))) m)
(.f64 (-.f64 (/.f64 #s(approx ( m (- 1 m)) m) v) #s(literal 1 binary64)) m)
(-.f64 (.f64 m #s(approx (/ ( (- 1 m) m) v) (/.f64 m v))) m)
(-.f64 (/.f64 #s(approx (* (* (- 1 m) m) m) (*.f64 m m)) v) m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) m)) m)
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (/.f64 (.f64 (.f64 (neg.f64 m) m) m) v))
(.f64 #s(approx (+ ( (/ (- 1 m) v) m) -1) (/.f64 (*.f64 (neg.f64 m) m) v)) m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 (neg.f64 m) v) m)) m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m)) m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v)) m)
(-.f64 (.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) (.f64 m m)) m)
(fma.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) (*.f64 m m) (neg.f64 m))
(*.f64 (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)) m)
(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)

Outputs
(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)

Calls

3 calls:

8.0ms	v
4.0ms	m
3.0ms	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)

Results

Accuracy	Segments	Branch
99.8%	1	`(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)`
99.8%	1	`m`
99.8%	1	`v`

Compiler

Compiled 11 to 12 computations (-9.1% saved)

regimes16.0ms (0.6%)

Memory

-14.4MiB live, 29.4MiB allocated; 5ms collecting garbage

Counts

14 → 1

Calls

Call 1

Inputs
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (neg.f64 m))
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) #s(approx (/ (* (- 1 m) m) v) (/.f64 m v))) m)
(.f64 (-.f64 (/.f64 #s(approx ( m (- 1 m)) m) v) #s(literal 1 binary64)) m)
(-.f64 (.f64 m #s(approx (/ ( (- 1 m) m) v) (/.f64 m v))) m)
(-.f64 (/.f64 #s(approx (* (* (- 1 m) m) m) (*.f64 m m)) v) m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) m)) m)
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (/.f64 (.f64 (.f64 (neg.f64 m) m) m) v))
(.f64 #s(approx (+ ( (/ (- 1 m) v) m) -1) (/.f64 (*.f64 (neg.f64 m) m) v)) m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 (neg.f64 m) v) m)) m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m)) m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v)) m)
(-.f64 (.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) (.f64 m m)) m)
(fma.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) (*.f64 m m) (neg.f64 m))
(*.f64 (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)) m)

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

Calls

3 calls:

7.0ms	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)
4.0ms	v
4.0ms	m

Results

Accuracy	Segments	Branch
99.8%	1	`(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)`
99.8%	1	`m`
99.8%	1	`v`

Compiler

Compiled 11 to 12 computations (-9.1% saved)

regimes12.0ms (0.4%)

Memory

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

Counts

13 → 2

Calls

Call 1

Inputs
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (neg.f64 m))
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) #s(approx (/ (* (- 1 m) m) v) (/.f64 m v))) m)
(.f64 (-.f64 (/.f64 #s(approx ( m (- 1 m)) m) v) #s(literal 1 binary64)) m)
(-.f64 (.f64 m #s(approx (/ ( (- 1 m) m) v) (/.f64 m v))) m)
(-.f64 (/.f64 #s(approx (* (* (- 1 m) m) m) (*.f64 m m)) v) m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) m)) m)
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (/.f64 (.f64 (.f64 (neg.f64 m) m) m) v))
(.f64 #s(approx (+ ( (/ (- 1 m) v) m) -1) (/.f64 (*.f64 (neg.f64 m) m) v)) m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 (neg.f64 m) v) m)) m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m)) m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v)) m)
(-.f64 (.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) (.f64 m m)) m)
(fma.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) (*.f64 m m) (neg.f64 m))

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

Calls

3 calls:

4.0ms	v
4.0ms	m
3.0ms	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)

Results

Accuracy	Segments	Branch
99.0%	2	`(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)`
99.5%	2	`m`
79.0%	2	`v`

Compiler

Compiled 11 to 12 computations (-9.1% saved)

regimes14.0ms (0.5%)

Memory

-37.5MiB live, 15.2MiB allocated; 11ms collecting garbage

Counts

9 → 2

Calls

Call 1

Inputs
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (neg.f64 m))
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) #s(approx (/ (* (- 1 m) m) v) (/.f64 m v))) m)
(.f64 (-.f64 (/.f64 #s(approx ( m (- 1 m)) m) v) #s(literal 1 binary64)) m)
(-.f64 (.f64 m #s(approx (/ ( (- 1 m) m) v) (/.f64 m v))) m)
(-.f64 (/.f64 #s(approx (* (* (- 1 m) m) m) (*.f64 m m)) v) m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) m)) m)
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (/.f64 (.f64 (.f64 (neg.f64 m) m) m) v))
(.f64 #s(approx (+ ( (/ (- 1 m) v) m) -1) (/.f64 (*.f64 (neg.f64 m) m) v)) m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 (neg.f64 m) v) m)) m)

Outputs
(-.f64 (.f64 m #s(approx (/ ( (- 1 m) m) v) (/.f64 m v))) m)
(.f64 #s(approx (+ ( (/ (- 1 m) v) m) -1) (/.f64 (*.f64 (neg.f64 m) m) v)) m)

Calls

2 calls:

11.0ms	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)
3.0ms	m

Results

Accuracy	Segments	Branch
97.9%	2	`(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)`
97.9%	2	`m`

Compiler

Compiled 10 to 10 computations (0% saved)

regimes5.0ms (0.2%)

Memory

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

Counts

7 → 2

Calls

Call 1

Inputs
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (neg.f64 m))
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) #s(approx (/ (* (- 1 m) m) v) (/.f64 m v))) m)
(.f64 (-.f64 (/.f64 #s(approx ( m (- 1 m)) m) v) #s(literal 1 binary64)) m)
(-.f64 (.f64 m #s(approx (/ ( (- 1 m) m) v) (/.f64 m v))) m)
(-.f64 (/.f64 #s(approx (* (* (- 1 m) m) m) (*.f64 m m)) v) m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) m)) m)
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (/.f64 (.f64 (.f64 (neg.f64 m) m) m) v))

Outputs
(-.f64 (.f64 m #s(approx (/ ( (- 1 m) m) v) (/.f64 m v))) m)
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (/.f64 (.f64 (.f64 (neg.f64 m) m) m) v))

Calls

2 calls:

2.0ms	m
2.0ms	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)

Results

Accuracy	Segments	Branch
97.9%	2	`(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)`
97.9%	2	`m`

Compiler

Compiled 10 to 10 computations (0% saved)

regimes7.0ms (0.3%)

Memory

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

Counts

6 → 2

Calls

Call 1

Inputs
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (neg.f64 m))
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) #s(approx (/ (* (- 1 m) m) v) (/.f64 m v))) m)
(.f64 (-.f64 (/.f64 #s(approx ( m (- 1 m)) m) v) #s(literal 1 binary64)) m)
(-.f64 (.f64 m #s(approx (/ ( (- 1 m) m) v) (/.f64 m v))) m)
(-.f64 (/.f64 #s(approx (* (* (- 1 m) m) m) (*.f64 m m)) v) m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) m)) m)

Outputs
(-.f64 (.f64 m #s(approx (/ ( (- 1 m) m) v) (/.f64 m v))) m)
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (neg.f64 m))

Calls

3 calls:

2.0ms	m
2.0ms	v
2.0ms	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)

Results

Accuracy	Segments	Branch
51.3%	1	`v`
53.8%	2	`(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)`
53.8%	2	`m`

Compiler

Compiled 11 to 12 computations (-9.1% saved)

regimes3.0ms (0.1%)

Memory

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

Counts

3 → 2

Calls

Call 1

Inputs

#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (neg.f64 m))

(*.f64 #s(approx (- (/ (* m (- 1 m)) v) 1) #s(approx (/ (* (- 1 m) m) v) (/.f64 m v))) m)

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

Outputs
(.f64 (-.f64 (/.f64 #s(approx ( m (- 1 m)) m) v) #s(literal 1 binary64)) m)
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (neg.f64 m))

Calls

2 calls:

2.0ms	m
1.0ms	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)

Results

Accuracy	Segments	Branch
53.8%	2	`(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)`
53.8%	2	`m`

Compiler

Compiled 10 to 10 computations (0% saved)

regimes7.0ms (0.3%)

Memory

-32.9MiB live, 12.4MiB allocated; 5ms collecting garbage

Counts

2 → 2

Calls

Call 1

Inputs
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (neg.f64 m))
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) #s(approx (/ (* (- 1 m) m) v) (/.f64 m v))) m)

Outputs
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (neg.f64 m))
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) #s(approx (/ (* (- 1 m) m) v) (/.f64 m v))) m)

Calls

3 calls:

4.0ms	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)
1.0ms	v
1.0ms	m

Results

Accuracy	Segments	Branch
40.8%	2	`v`
51.7%	2	`(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)`
39.3%	3	`m`

Compiler

Compiled 11 to 12 computations (-9.1% saved)

regimes3.0ms (0.1%)

Memory

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

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (neg.f64 m))

Outputs
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (neg.f64 m))

Calls

3 calls:

1.0ms	m
1.0ms	v
1.0ms	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)

Results

Accuracy	Segments	Branch
24.6%	1	`m`
24.6%	1	`v`
24.6%	1	`(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)`

Compiler

Compiled 11 to 12 computations (-9.1% saved)

bsearch7.0ms (0.2%)

Memory

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

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
6.0ms	2.389561664312659e-11	5.098817638218908e-11

Samples

3.0ms

80×

valid

Compiler

Compiled 129 to 138 computations (-7% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

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

bsearch13.0ms (0.5%)

Memory

-25.9MiB live, 20.0MiB allocated; 4ms collecting garbage

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
12.0ms	0.00012825274983915515	3.3603914256283893

Samples

5.0ms

128×

valid

Compiler

Compiled 198 to 213 computations (-7.6% saved)

Precisions

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

ival-sub!: 1.0ms (42.7% of total)

ival-div!: 1.0ms (42.7% of total)

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

adjust: 0.0ms (0% of total)

bsearch1.0ms (0%)

Memory

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

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
1.0ms	0.00012825274983915515	3.3603914256283893

Compiler

Compiled 198 to 213 computations (-7.6% saved)

bsearch1.0ms (0%)

Memory

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

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
1.0ms	0.00012825274983915515	3.3603914256283893

Compiler

Compiled 174 to 189 computations (-8.6% saved)

bsearch1.0ms (0%)

Memory

1.9MiB live, 1.8MiB allocated; 0ms collecting garbage

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
1.0ms	0.00012825274983915515	3.3603914256283893

Compiler

Compiled 174 to 189 computations (-8.6% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-3.1953558274870694e-307	8.558086104751066e-289

Compiler

Compiled 12 to 13 computations (-8.3% saved)

derivations501.0ms (18.2%)

Memory

20.8MiB live, 473.9MiB allocated; 116ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 94 to 61 computations (35.1% saved)

preprocess80.0ms (2.9%)

Memory: 33.9MiB live, 219.8MiB allocated; 26ms collecting garbage
Compiler: Compiled 103 to 69 computations (33% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample627.0ms (22.7%)

preprocess43.0ms (1.5%)

series8.0ms (0.3%)

rewrite215.0ms (7.8%)

eval13.0ms (0.5%)

prune34.0ms (1.2%)

series16.0ms (0.6%)

rewrite241.0ms (8.8%)

eval57.0ms (2.1%)

prune25.0ms (0.9%)

series11.0ms (0.4%)

rewrite228.0ms (8.3%)

eval44.0ms (1.6%)

prune18.0ms (0.6%)

series12.0ms (0.5%)

rewrite316.0ms (11.5%)

eval67.0ms (2.4%)

prune13.0ms (0.5%)

regimes80.0ms (2.9%)

regimes17.0ms (0.6%)

regimes16.0ms (0.6%)

regimes12.0ms (0.4%)

regimes14.0ms (0.5%)

regimes5.0ms (0.2%)

regimes7.0ms (0.3%)

regimes3.0ms (0.1%)

regimes7.0ms (0.3%)

regimes3.0ms (0.1%)

bsearch7.0ms (0.2%)

bsearch13.0ms (0.5%)

bsearch1.0ms (0%)

bsearch1.0ms (0%)

bsearch1.0ms (0%)

bsearch0.0ms (0%)

derivations501.0ms (18.2%)

preprocess80.0ms (2.9%)

end0.0ms (0%)

Profiling