Metrics for a parameter of renormalized beta distribution

start0.0ms (0%)

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

analyze1.0ms (0%)

Memory

0.6MiB live, 0.6MiB 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)

sample624.0ms (38.1%)

Memory

19.7MiB live, 590.2MiB allocated; 137ms collecting garbage

Samples

374.0ms

8 256×

valid

Precisions

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

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

ival-sub!: 43.0ms (26.8% of total)

ival-div!: 38.0ms (23.7% of total)

adjust: 1.0ms (0.6% of total)

Bogosity

preprocess38.0ms (2.3%)

Memory

-22.7MiB live, 23.7MiB allocated; 4ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	25	74
1	94	67
2	371	66
3	1720	66

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.9%	(.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)

series12.0ms (0.7%)

Memory

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	102	583

Stop Event

1×	iter-limit

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) (*.f64 #s(literal -1 binary64) m))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (*.f64 m (-.f64 (/.f64 m v) #s(literal 1 binary64))))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 m (-.f64 (.f64 m (fma.f64 #s(literal -1 binary64) (/.f64 m v) (/.f64 #s(literal 1 binary64) v))) #s(literal 1 binary64))))
#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) (-.f64 (*.f64 m (fma.f64 #s(literal -1 binary64) (/.f64 m v) (/.f64 #s(literal 1 binary64) v))) #s(literal 1 binary64)))
#s(approx (/ (* m (- 1 m)) v) (/.f64 m v))
#s(approx (/ (* m (- 1 m)) v) (*.f64 m (fma.f64 #s(literal -1 binary64) (/.f64 m v) (/.f64 #s(literal 1 binary64) v))))
#s(approx (* m (- 1 m)) m)
#s(approx (* m (- 1 m)) (.f64 m (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) m))))
#s(approx (- 1 m) #s(literal 1 binary64))
#s(approx (- 1 m) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) m)))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (*.f64 #s(literal -1 binary64) (/.f64 (pow.f64 m #s(literal 3 binary64)) v)))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 (pow.f64 m #s(literal 3 binary64)) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 m v)) (/.f64 #s(literal 1 binary64) v))))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 (pow.f64 m #s(literal 3 binary64)) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 m v)) (+.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) (pow.f64 m #s(literal 2 binary64)))))))
#s(approx (- (/ (* m (- 1 m)) v) 1) (*.f64 #s(literal -1 binary64) (/.f64 (pow.f64 m #s(literal 2 binary64)) v)))
#s(approx (- (/ (* m (- 1 m)) v) 1) (.f64 (pow.f64 m #s(literal 2 binary64)) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 m v)) (/.f64 #s(literal 1 binary64) v))))
#s(approx (- (/ (* m (- 1 m)) v) 1) (.f64 (pow.f64 m #s(literal 2 binary64)) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 m v)) (+.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) (pow.f64 m #s(literal 2 binary64)))))))
#s(approx (* m (- 1 m)) (*.f64 #s(literal -1 binary64) (pow.f64 m #s(literal 2 binary64))))
#s(approx (* m (- 1 m)) (*.f64 (pow.f64 m #s(literal 2 binary64)) (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64))))
#s(approx (- 1 m) (*.f64 m (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64))))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 #s(literal -1 binary64) (.f64 (pow.f64 m #s(literal 3 binary64)) (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) (*.f64 m v))))))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 #s(literal -1 binary64) (.f64 (pow.f64 m #s(literal 3 binary64)) (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) m)) m) (/.f64 #s(literal 1 binary64) v)))))
#s(approx (- (/ (* m (- 1 m)) v) 1) (.f64 (pow.f64 m #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) (/.f64 #s(literal 1 binary64) v)) m)) (/.f64 #s(literal 1 binary64) v))))
#s(approx (- 1 m) (.f64 #s(literal -1 binary64) (.f64 m (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) m)))))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (/.f64 (*.f64 (pow.f64 m #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) m)) v))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (/.f64 (fma.f64 #s(literal -1 binary64) (.f64 m v) (.f64 (pow.f64 m #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) m))) v))
#s(approx (- (/ (* m (- 1 m)) v) 1) (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) v))
#s(approx (- (/ (* m (- 1 m)) v) 1) (/.f64 (fma.f64 #s(literal -1 binary64) v (*.f64 m (-.f64 #s(literal 1 binary64) m))) v))
#s(approx v v)
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (fma.f64 #s(literal -1 binary64) m (/.f64 (*.f64 (pow.f64 m #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) m)) v)))
#s(approx (- (/ (* m (- 1 m)) v) 1) (-.f64 (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)))

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)

rewrite54.0ms (3.3%)

Memory

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	38
0	13	38
1	65	38
0	523	36
1	1442	36

Stop Event

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

Counts

8 → 54

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
(*.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))))
(fma.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m (.f64 #s(literal -1 binary64) m))
(fma.f64 m (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) (.f64 m #s(literal -1 binary64)))
(+.f64 (.f64 m (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v)) (*.f64 m #s(literal -1 binary64)))
(+.f64 (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m) (*.f64 #s(literal -1 binary64) m))
(neg.f64 (-.f64 #s(literal 1 binary64) (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v)))
(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 (-.f64 m #s(literal 1 binary64)) m) (/.f64 #s(literal 1 binary64) (neg.f64 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 (/.f64 #s(literal 1 binary64) 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 (/.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))
(-.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 (-.f64 #s(literal 1 binary64) m) m) v) #s(literal -1 binary64))
(*.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 m #s(literal 1 binary64)) m) (/.f64 #s(literal 1 binary64) (neg.f64 v)))
(.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 (/.f64 #s(literal 1 binary64) 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 (/.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 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) (neg.f64 (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 m #s(literal 1 binary64)) m) v))
(*.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))
(+.f64 m (*.f64 m (neg.f64 m)))
(+.f64 m (*.f64 (neg.f64 m) m))
m
(neg.f64 (-.f64 m #s(literal 1 binary64)))
(-.f64 #s(literal 1 binary64) (neg.f64 (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))
#s(literal 1 binary64)
v

eval7.0ms (0.4%)

Memory: 8.3MiB live, 8.3MiB allocated; 0ms collecting garbage
Compiler: Compiled 601 to 293 computations (51.2% saved)

prune6.0ms (0.4%)

Memory

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

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	71	10	81
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	72	10	82

Accuracy

100.0%

Counts

82 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
	99.9%	(*.f64 (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)) m)
▶	99.9%	(.f64 (fma.f64 (/.f64 #s(literal 1 binary64) v) (.f64 (-.f64 #s(literal 1 binary64) m) m) #s(literal -1 binary64)) m)
▶	99.9%	(*.f64 (fma.f64 (-.f64 #s(literal 1 binary64) m) (/.f64 m v) #s(literal -1 binary64)) m)
	99.9%	(.f64 (-.f64 (/.f64 (.f64 m #s(approx (- 1 m) (*.f64 m (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64))))) v) #s(literal 1 binary64)) m)
	45.3%	(.f64 (-.f64 (/.f64 #s(approx ( m (- 1 m)) m) v) #s(literal 1 binary64)) m)
▶	77.4%	(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) v)) m)
▶	25.8%	(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) #s(literal -1 binary64)) m)
	75.8%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (/.f64 (*.f64 (pow.f64 m #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) m)) v))
▶	54.5%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (*.f64 #s(literal -1 binary64) (/.f64 (pow.f64 m #s(literal 3 binary64)) v)))
	67.6%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 #s(literal -1 binary64) (.f64 (pow.f64 m #s(literal 3 binary64)) (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) m)) m) (/.f64 #s(literal 1 binary64) v)))))

Compiler

Compiled 244 to 240 computations (1.6% saved)

series28.0ms (1.7%)

Memory

-7.3MiB live, 49.8MiB allocated; 7ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	107	576

Stop Event

1×	iter-limit

Counts

23 → 35

Calls

Call 1

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

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

Calls

6 calls:

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

rewrite47.0ms (2.8%)

Memory

-21.2MiB live, 24.0MiB allocated; 3ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	165
0	45	154
1	180	154
0	1030	154
1	2780	154

Stop Event

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

Counts

23 → 201

Calls

Call 1

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

Outputs
(*.f64 (fma.f64 (/.f64 m v) (-.f64 #s(literal 1 binary64) m) #s(literal -1 binary64)) m)
(*.f64 m (fma.f64 (/.f64 m v) (-.f64 #s(literal 1 binary64) 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))))
(fma.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m (.f64 #s(literal -1 binary64) 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) (.f64 m #s(literal -1 binary64)))
(fma.f64 m #s(literal -1 binary64) (.f64 m (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v)))
(+.f64 (.f64 m (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v)) (*.f64 m #s(literal -1 binary64)))
(+.f64 (.f64 m #s(literal -1 binary64)) (.f64 m (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v)))
(+.f64 (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m) (*.f64 #s(literal -1 binary64) m))
(+.f64 (.f64 #s(literal -1 binary64) m) (.f64 (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v) m))
(/.f64 (fma.f64 #s(literal -1 binary64) (neg.f64 v) (*.f64 (-.f64 m #s(literal 1 binary64)) m)) (neg.f64 v))
(/.f64 (fma.f64 #s(literal -1 binary64) v (*.f64 (-.f64 #s(literal 1 binary64) m) m)) v)
(neg.f64 (-.f64 #s(literal 1 binary64) (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v)))
(fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64))
(fma.f64 (neg.f64 (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v)) #s(literal -1 binary64) #s(literal -1 binary64))
(fma.f64 (*.f64 (-.f64 m #s(literal 1 binary64)) m) (/.f64 #s(literal 1 binary64) (neg.f64 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 (*.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 #s(literal -1 binary64) (neg.f64 (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v)) #s(literal -1 binary64))
(fma.f64 (/.f64 m v) (*.f64 (-.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) #s(literal -1 binary64))
(fma.f64 (/.f64 m v) (-.f64 #s(literal 1 binary64) m) #s(literal -1 binary64))
(fma.f64 (-.f64 #s(literal 1 binary64) m) (*.f64 (/.f64 m v) #s(literal 1 binary64)) #s(literal -1 binary64))
(fma.f64 (-.f64 #s(literal 1 binary64) m) (/.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 (-.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 (neg.f64 (/.f64 #s(literal 1 binary64) v)) (.f64 (-.f64 #s(literal 1 binary64) m) 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 (neg.f64 (/.f64 m v)) (-.f64 #s(literal 1 binary64) m)))
(-.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) (neg.f64 (/.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 #s(literal -1 binary64) (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v))
(neg.f64 (+.f64 #s(literal -1 binary64) m))
(neg.f64 (-.f64 m #s(literal 1 binary64)))
(-.f64 #s(literal 1 binary64) (neg.f64 (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))
#s(literal 1 binary64)
m
(*.f64 (neg.f64 m) (/.f64 #s(literal 1 binary64) (neg.f64 v)))
(*.f64 (/.f64 #s(literal 1 binary64) v) m)
(*.f64 m (/.f64 #s(literal 1 binary64) v))
(*.f64 #s(literal 1 binary64) (/.f64 m v))
(/.f64 (*.f64 m #s(literal -1 binary64)) (neg.f64 v))
(/.f64 (neg.f64 (neg.f64 m)) (neg.f64 (neg.f64 v)))
(/.f64 (neg.f64 m) (neg.f64 v))
(/.f64 m v)
(neg.f64 (/.f64 m (neg.f64 v)))
(neg.f64 (/.f64 (neg.f64 m) v))
v
#s(literal -1 binary64)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) #s(literal -1 binary64)) m)
(.f64 m #s(approx (- (/ ( m (- 1 m)) v) 1) #s(literal -1 binary64)))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(literal -1 binary64))
(.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 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m)
(.f64 (neg.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v)) #s(literal -1 binary64))
(.f64 (.f64 (-.f64 m #s(literal 1 binary64)) m) (/.f64 #s(literal 1 binary64) (neg.f64 v)))
(.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 #s(literal -1 binary64) (neg.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v)))
(.f64 (/.f64 m v) (.f64 (-.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)))
(*.f64 (/.f64 m v) (-.f64 #s(literal 1 binary64) m))
(.f64 (-.f64 #s(literal 1 binary64) m) (.f64 (/.f64 m v) #s(literal 1 binary64)))
(*.f64 (-.f64 #s(literal 1 binary64) m) (/.f64 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 #s(literal 1 binary64) (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v))
(/.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) #s(literal -1 binary64)) (neg.f64 v))
(/.f64 (.f64 #s(literal -1 binary64) (.f64 (-.f64 #s(literal 1 binary64) m) m)) (neg.f64 v))
(/.f64 (.f64 (.f64 (-.f64 m #s(literal 1 binary64)) m) #s(literal 1 binary64)) (neg.f64 v))
(/.f64 (*.f64 (-.f64 m #s(literal 1 binary64)) m) (neg.f64 v))
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) (neg.f64 (neg.f64 v)))
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v)
(neg.f64 (*.f64 (/.f64 m v) (-.f64 m #s(literal 1 binary64))))
(neg.f64 (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) (neg.f64 v)))
(neg.f64 (/.f64 (*.f64 (-.f64 m #s(literal 1 binary64)) m) v))
(neg.f64 (*.f64 (-.f64 m #s(literal 1 binary64)) (/.f64 m v)))
(neg.f64 (neg.f64 (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v)))
(fma.f64 (neg.f64 m) (/.f64 #s(literal 1 binary64) (neg.f64 v)) (*.f64 (neg.f64 m) (/.f64 m v)))
(fma.f64 (/.f64 #s(literal 1 binary64) v) m (*.f64 (neg.f64 m) (/.f64 m v)))
(fma.f64 (/.f64 m v) #s(literal 1 binary64) (*.f64 (/.f64 m v) (neg.f64 m)))
(fma.f64 m (/.f64 #s(literal 1 binary64) v) (*.f64 (neg.f64 m) (/.f64 m v)))
(fma.f64 #s(literal 1 binary64) (/.f64 m v) (*.f64 (neg.f64 m) (/.f64 m v)))
(+.f64 (.f64 (/.f64 m v) #s(literal 1 binary64)) (.f64 (/.f64 m v) (neg.f64 m)))
(+.f64 (/.f64 m v) (*.f64 (neg.f64 m) (/.f64 m v)))
(.f64 (.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) m)) m)
(.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) #s(literal 1 binary64))
(.f64 #s(literal -1 binary64) (.f64 #s(literal -1 binary64) (*.f64 (-.f64 #s(literal 1 binary64) m) m)))
(*.f64 (-.f64 #s(literal 1 binary64) m) m)
(*.f64 m (-.f64 #s(literal 1 binary64) m))
(.f64 #s(literal 1 binary64) (.f64 (-.f64 #s(literal 1 binary64) m) m))
(neg.f64 (.f64 #s(literal -1 binary64) (.f64 (-.f64 #s(literal 1 binary64) m) m)))
(neg.f64 (*.f64 (-.f64 m #s(literal 1 binary64)) m))
(+.f64 m (*.f64 m (neg.f64 m)))
(+.f64 m (*.f64 (neg.f64 m) m))
(*.f64 (fma.f64 (/.f64 m v) (-.f64 #s(literal 1 binary64) m) #s(literal -1 binary64)) m)
(*.f64 m (fma.f64 (/.f64 m v) (-.f64 #s(literal 1 binary64) 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))))
(fma.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m (.f64 #s(literal -1 binary64) 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) (.f64 m #s(literal -1 binary64)))
(fma.f64 m #s(literal -1 binary64) (.f64 m (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v)))
(+.f64 (.f64 m (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v)) (*.f64 m #s(literal -1 binary64)))
(+.f64 (.f64 m #s(literal -1 binary64)) (.f64 m (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v)))
(+.f64 (.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) v) m) (*.f64 #s(literal -1 binary64) m))
(+.f64 (.f64 #s(literal -1 binary64) m) (.f64 (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v) m))
(/.f64 (fma.f64 #s(literal -1 binary64) (neg.f64 v) (*.f64 (-.f64 m #s(literal 1 binary64)) m)) (neg.f64 v))
(/.f64 (fma.f64 #s(literal -1 binary64) v (*.f64 (-.f64 #s(literal 1 binary64) m) m)) v)
(neg.f64 (-.f64 #s(literal 1 binary64) (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v)))
(fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64))
(fma.f64 (neg.f64 (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v)) #s(literal -1 binary64) #s(literal -1 binary64))
(fma.f64 (*.f64 (-.f64 m #s(literal 1 binary64)) m) (/.f64 #s(literal 1 binary64) (neg.f64 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 (*.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 #s(literal -1 binary64) (neg.f64 (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v)) #s(literal -1 binary64))
(fma.f64 (/.f64 m v) (*.f64 (-.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) #s(literal -1 binary64))
(fma.f64 (/.f64 m v) (-.f64 #s(literal 1 binary64) m) #s(literal -1 binary64))
(fma.f64 (-.f64 #s(literal 1 binary64) m) (*.f64 (/.f64 m v) #s(literal 1 binary64)) #s(literal -1 binary64))
(fma.f64 (-.f64 #s(literal 1 binary64) m) (/.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 (-.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 (neg.f64 (/.f64 #s(literal 1 binary64) v)) (.f64 (-.f64 #s(literal 1 binary64) m) 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 (neg.f64 (/.f64 m v)) (-.f64 #s(literal 1 binary64) m)))
(-.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) (neg.f64 (/.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 #s(literal -1 binary64) (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v))
(*.f64 (/.f64 #s(literal 1 binary64) v) #s(literal 1 binary64))
(.f64 #s(literal -1 binary64) (.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) v)))
(*.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) v))
(*.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (neg.f64 v)))
(*.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) v))
(pow.f64 v #s(literal -1 binary64))
(/.f64 #s(literal -1 binary64) (neg.f64 v))
(/.f64 #s(literal 1 binary64) (neg.f64 (neg.f64 v)))
(/.f64 #s(literal 1 binary64) v)
(neg.f64 (*.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) v)))
(neg.f64 (/.f64 #s(literal -1 binary64) v))
(neg.f64 (/.f64 #s(literal 1 binary64) (neg.f64 v)))
(.f64 (.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) m)) m)
(.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) #s(literal 1 binary64))
(.f64 #s(literal -1 binary64) (.f64 #s(literal -1 binary64) (*.f64 (-.f64 #s(literal 1 binary64) m) m)))
(*.f64 (-.f64 #s(literal 1 binary64) m) m)
(*.f64 m (-.f64 #s(literal 1 binary64) m))
(.f64 #s(literal 1 binary64) (.f64 (-.f64 #s(literal 1 binary64) m) m))
(neg.f64 (.f64 #s(literal -1 binary64) (.f64 (-.f64 #s(literal 1 binary64) m) m)))
(neg.f64 (*.f64 (-.f64 m #s(literal 1 binary64)) m))
(+.f64 m (*.f64 m (neg.f64 m)))
(+.f64 m (*.f64 (neg.f64 m) m))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (/.f64 (.f64 (.f64 m m) m) (neg.f64 v)))
(.f64 (.f64 (neg.f64 m) (*.f64 m m)) (/.f64 #s(literal 1 binary64) v))
(.f64 (.f64 (*.f64 m m) (/.f64 m v)) #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) (neg.f64 (/.f64 #s(literal 1 binary64) v)))
(.f64 #s(literal -1 binary64) (.f64 (*.f64 m m) (/.f64 m v)))
(/.f64 (.f64 #s(literal -1 binary64) (.f64 (neg.f64 m) (*.f64 m m))) (neg.f64 v))
(/.f64 (.f64 (.f64 (neg.f64 m) (*.f64 m m)) #s(literal -1 binary64)) (neg.f64 v))
(/.f64 (neg.f64 (.f64 (neg.f64 m) (.f64 m m))) (neg.f64 v))
(/.f64 (.f64 (neg.f64 m) (.f64 m m)) (neg.f64 (neg.f64 v)))
(/.f64 (.f64 (neg.f64 m) (.f64 m m)) v)
(/.f64 (.f64 (.f64 m m) m) (neg.f64 v))
(neg.f64 (.f64 (.f64 (*.f64 m m) (/.f64 m v)) #s(literal 1 binary64)))
(neg.f64 (.f64 (.f64 m m) (/.f64 m v)))
(.f64 (.f64 (.f64 (.f64 m m) m) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v))
(.f64 (.f64 (neg.f64 m) (*.f64 m m)) (/.f64 #s(literal 1 binary64) (neg.f64 v)))
(.f64 (.f64 m m) (/.f64 m v))
(.f64 (.f64 (*.f64 m m) m) (/.f64 #s(literal 1 binary64) v))
(.f64 (/.f64 #s(literal 1 binary64) v) (.f64 (*.f64 m m) m))
(.f64 #s(literal -1 binary64) (/.f64 (.f64 (*.f64 m m) m) (neg.f64 v)))
(.f64 m (.f64 (*.f64 m m) (/.f64 #s(literal 1 binary64) v)))
(.f64 m (/.f64 (.f64 m m) v))
(.f64 #s(literal 1 binary64) (.f64 (*.f64 m m) (/.f64 m v)))
(/.f64 (.f64 (.f64 (*.f64 m m) m) #s(literal 1 binary64)) v)
(/.f64 (neg.f64 (.f64 (neg.f64 m) (.f64 m m))) (neg.f64 (neg.f64 v)))
(/.f64 (.f64 (neg.f64 m) (.f64 m m)) (neg.f64 v))
(/.f64 (.f64 (.f64 m m) m) v)
(neg.f64 (/.f64 (.f64 (.f64 m m) m) (neg.f64 v)))
(.f64 (.f64 m m) m)
(.f64 m (.f64 m m))
(pow.f64 m #s(literal 3 binary64))
(fabs.f64 (.f64 (.f64 m m) m))
#s(literal 3 binary64)

eval17.0ms (1.1%)

Memory: 20.5MiB live, 20.5MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 305 to 642 computations (50.8% saved)

prune13.0ms (0.8%)

Memory

-16.1MiB live, 29.7MiB allocated; 4ms collecting garbage

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	192	5	197
Fresh	2	3	5
Picked	3	2	5
Done	0	0	0
Total	197	10	207

Accuracy

100.0%

Counts

207 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	45.3%	(.f64 (-.f64 (/.f64 #s(approx ( m (- 1 m)) m) v) #s(literal 1 binary64)) m)
✓	77.4%	(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) v)) m)
▶	77.4%	(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (/.f64 (.f64 m #s(approx (- 1 m) (.f64 m (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64))))) v)) m)
	77.4%	(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m)) m)
▶	77.4%	(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 m v) (-.f64 #s(literal 1 binary64) m))) m)
✓	25.8%	(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) #s(literal -1 binary64)) m)
	75.8%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (/.f64 (*.f64 (pow.f64 m #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) m)) v))
▶	54.5%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (/.f64 (.f64 (.f64 m m) m) (neg.f64 v)))
▶	67.6%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 #s(literal -1 binary64) (.f64 (pow.f64 m #s(literal 3 binary64)) (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) m)) m) (/.f64 #s(literal 1 binary64) v)))))
	54.5%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (neg.f64 (.f64 (.f64 m m) (/.f64 m v))))

Compiler

Compiled 253 to 249 computations (1.6% saved)

series28.0ms (1.7%)

Memory

-9.0MiB live, 37.4MiB allocated; 2ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	198	1579

Stop Event

1×	iter-limit

Counts

35 → 74

Calls

Call 1

Inputs
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 m v) (-.f64 #s(literal 1 binary64) m))) m)
#s(approx (- (/ (* m (- 1 m)) v) 1) (*.f64 (/.f64 m v) (-.f64 #s(literal 1 binary64) m)))
(*.f64 (/.f64 m v) (-.f64 #s(literal 1 binary64) m))
(/.f64 m v)
m
v
(-.f64 #s(literal 1 binary64) m)
#s(literal 1 binary64)
(.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)
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (/.f64 (.f64 (.f64 m m) m) (neg.f64 v)))
(/.f64 (.f64 (.f64 m m) m) (neg.f64 v))
(.f64 (.f64 m m) m)
(*.f64 m m)
(neg.f64 v)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (/.f64 (.f64 m #s(approx (- 1 m) (.f64 m (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64))))) v)) m)
#s(approx (- (/ (* m (- 1 m)) v) 1) (/.f64 (.f64 m #s(approx (- 1 m) (.f64 m (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64))))) v))
(/.f64 (.f64 m #s(approx (- 1 m) (.f64 m (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64))))) v)
(.f64 m #s(approx (- 1 m) (.f64 m (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)))))
#s(approx (- 1 m) (*.f64 m (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64))))
(*.f64 m (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)))
(-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) m)
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 #s(literal -1 binary64) (.f64 (pow.f64 m #s(literal 3 binary64)) (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) m)) m) (/.f64 #s(literal 1 binary64) v)))))
(.f64 #s(literal -1 binary64) (.f64 (pow.f64 m #s(literal 3 binary64)) (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) m)) m) (/.f64 #s(literal 1 binary64) v))))
#s(literal -1 binary64)
(*.f64 (pow.f64 m #s(literal 3 binary64)) (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) m)) m) (/.f64 #s(literal 1 binary64) v)))
(pow.f64 m #s(literal 3 binary64))
#s(literal 3 binary64)
(fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) m)) m) (/.f64 #s(literal 1 binary64) v))
(/.f64 (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) m)) m)
(-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) m))
(/.f64 #s(literal 1 binary64) v)

Outputs
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (*.f64 #s(literal -1 binary64) m))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (*.f64 m (-.f64 (/.f64 m v) #s(literal 1 binary64))))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 m (-.f64 (.f64 m (fma.f64 #s(literal -1 binary64) (/.f64 m v) (/.f64 #s(literal 1 binary64) v))) #s(literal 1 binary64))))
#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) (-.f64 (*.f64 m (fma.f64 #s(literal -1 binary64) (/.f64 m v) (/.f64 #s(literal 1 binary64) v))) #s(literal 1 binary64)))
#s(approx (* (/ m v) (- 1 m)) (/.f64 m v))
#s(approx (* (/ m v) (- 1 m)) (*.f64 m (fma.f64 #s(literal -1 binary64) (/.f64 m v) (/.f64 #s(literal 1 binary64) v))))
#s(approx m m)
#s(approx (- 1 m) #s(literal 1 binary64))
#s(approx (- 1 m) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) m)))
#s(approx (* m (- 1 m)) (.f64 m (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) m))))
#s(approx (/ (* (* m m) m) (neg v)) (*.f64 #s(literal -1 binary64) (/.f64 (pow.f64 m #s(literal 3 binary64)) v)))
#s(approx (* (* m m) m) (pow.f64 m #s(literal 3 binary64)))
#s(approx (* m m) (pow.f64 m #s(literal 2 binary64)))
#s(approx (- (/ 1 m) 1) (/.f64 #s(literal 1 binary64) m))
#s(approx (- (/ 1 m) 1) (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) m)) m))
#s(approx (* (pow m 3) (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v))) (.f64 m (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 m v)))))
#s(approx (* (pow m 3) (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v))) (.f64 m (+.f64 #s(literal 1 binary64) (.f64 m (-.f64 (/.f64 m v) (/.f64 #s(literal 1 binary64) v))))))
#s(approx (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v)) (/.f64 #s(literal 1 binary64) (pow.f64 m #s(literal 2 binary64))))
#s(approx (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v)) (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 m v))) (pow.f64 m #s(literal 2 binary64))))
#s(approx (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v)) (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 m (-.f64 (/.f64 m v) (/.f64 #s(literal 1 binary64) v)))) (pow.f64 m #s(literal 2 binary64))))
#s(approx (/ (- (/ 1 v) (/ 1 m)) m) (/.f64 #s(literal -1 binary64) (pow.f64 m #s(literal 2 binary64))))
#s(approx (/ (- (/ 1 v) (/ 1 m)) m) (/.f64 (-.f64 (/.f64 m v) #s(literal 1 binary64)) (pow.f64 m #s(literal 2 binary64))))
#s(approx (- (/ 1 v) (/ 1 m)) (/.f64 #s(literal -1 binary64) m))
#s(approx (- (/ 1 v) (/ 1 m)) (/.f64 (-.f64 (/.f64 m v) #s(literal 1 binary64)) m))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 (pow.f64 m #s(literal 3 binary64)) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 m v)) (/.f64 #s(literal 1 binary64) v))))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 (pow.f64 m #s(literal 3 binary64)) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 m v)) (+.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) (pow.f64 m #s(literal 2 binary64)))))))
#s(approx (- (/ (* m (- 1 m)) v) 1) (*.f64 #s(literal -1 binary64) (/.f64 (pow.f64 m #s(literal 2 binary64)) v)))
#s(approx (- (/ (* m (- 1 m)) v) 1) (.f64 (pow.f64 m #s(literal 2 binary64)) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 m v)) (/.f64 #s(literal 1 binary64) v))))
#s(approx (- (/ (* m (- 1 m)) v) 1) (.f64 (pow.f64 m #s(literal 2 binary64)) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 m v)) (+.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) (pow.f64 m #s(literal 2 binary64)))))))
#s(approx (- 1 m) (*.f64 m (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64))))
#s(approx (* m (- 1 m)) (*.f64 #s(literal -1 binary64) (pow.f64 m #s(literal 2 binary64))))
#s(approx (* m (- 1 m)) (*.f64 (pow.f64 m #s(literal 2 binary64)) (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64))))
#s(approx (- (/ 1 m) 1) (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)))
#s(approx (* (pow m 3) (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v))) (/.f64 (pow.f64 m #s(literal 3 binary64)) v))
#s(approx (* (pow m 3) (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v))) (.f64 (pow.f64 m #s(literal 3 binary64)) (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) (.f64 m v)))))
#s(approx (* (pow m 3) (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v))) (.f64 (pow.f64 m #s(literal 3 binary64)) (-.f64 (+.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) (pow.f64 m #s(literal 2 binary64)))) (/.f64 #s(literal 1 binary64) (.f64 m v)))))
#s(approx (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v)) (/.f64 #s(literal 1 binary64) v))
#s(approx (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v)) (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) (*.f64 m v))))
#s(approx (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v)) (-.f64 (+.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) (pow.f64 m #s(literal 2 binary64)))) (/.f64 #s(literal 1 binary64) (*.f64 m v))))
#s(approx (/ (- (/ 1 v) (/ 1 m)) m) (/.f64 #s(literal 1 binary64) (*.f64 m v)))
#s(approx (/ (- (/ 1 v) (/ 1 m)) m) (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) m)) m))
#s(approx (- (/ 1 v) (/ 1 m)) (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) m)))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 #s(literal -1 binary64) (.f64 (pow.f64 m #s(literal 3 binary64)) (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) (*.f64 m v))))))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 #s(literal -1 binary64) (.f64 (pow.f64 m #s(literal 3 binary64)) (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) m)) m) (/.f64 #s(literal 1 binary64) v)))))
#s(approx (- (/ (* m (- 1 m)) v) 1) (.f64 (pow.f64 m #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) (/.f64 #s(literal 1 binary64) v)) m)) (/.f64 #s(literal 1 binary64) v))))
#s(approx (- 1 m) (.f64 #s(literal -1 binary64) (.f64 m (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) m)))))
#s(approx (* (pow m 3) (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v))) (.f64 #s(literal -1 binary64) (.f64 (pow.f64 m #s(literal 3 binary64)) (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 m v)) (/.f64 #s(literal 1 binary64) v)))))
#s(approx (* (pow m 3) (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v))) (.f64 #s(literal -1 binary64) (.f64 (pow.f64 m #s(literal 3 binary64)) (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) (/.f64 #s(literal 1 binary64) v)) m)) (/.f64 #s(literal 1 binary64) v)))))
#s(approx (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v)) (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) m)) m) (/.f64 #s(literal 1 binary64) v)))
#s(approx (/ (- (/ 1 v) (/ 1 m)) m) (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) (/.f64 #s(literal 1 binary64) v)) m)))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (/.f64 (*.f64 (pow.f64 m #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) m)) v))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (/.f64 (fma.f64 #s(literal -1 binary64) (.f64 m v) (.f64 (pow.f64 m #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) m))) v))
#s(approx (- (/ (* m (- 1 m)) v) 1) (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) v))
#s(approx (- (/ (* m (- 1 m)) v) 1) (/.f64 (fma.f64 #s(literal -1 binary64) v (*.f64 m (-.f64 #s(literal 1 binary64) m))) v))
#s(approx v v)
#s(approx (neg v) (*.f64 #s(literal -1 binary64) v))
#s(approx (* -1 (* (pow m 3) (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v)))) (.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 m #s(literal 3 binary64)) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) m))) v)))
#s(approx (* -1 (* (pow m 3) (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v)))) (/.f64 (fma.f64 #s(literal -1 binary64) (.f64 m v) (.f64 #s(literal -1 binary64) (*.f64 (pow.f64 m #s(literal 3 binary64)) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) m))))) v))
#s(approx (* (pow m 3) (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v))) (/.f64 (*.f64 (pow.f64 m #s(literal 3 binary64)) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) m))) v))
#s(approx (* (pow m 3) (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v))) (/.f64 (fma.f64 m v (*.f64 (pow.f64 m #s(literal 3 binary64)) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) m)))) v))
#s(approx (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v)) (/.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) m)) v))
#s(approx (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v)) (/.f64 (-.f64 (+.f64 #s(literal 1 binary64) (/.f64 v (pow.f64 m #s(literal 2 binary64)))) (/.f64 #s(literal 1 binary64) m)) v))
#s(approx (/ (- (/ 1 v) (/ 1 m)) m) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 v (pow.f64 m #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) m)) v))
#s(approx (- (/ 1 v) (/ 1 m)) (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 v m))) v))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (fma.f64 #s(literal -1 binary64) m (/.f64 (*.f64 (pow.f64 m #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) m)) v)))
#s(approx (- (/ (* m (- 1 m)) v) 1) (-.f64 (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)))
#s(approx (* -1 (* (pow m 3) (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v)))) (fma.f64 #s(literal -1 binary64) m (.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 m #s(literal 3 binary64)) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) m))) v))))
#s(approx (* (pow m 3) (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v))) (+.f64 m (/.f64 (*.f64 (pow.f64 m #s(literal 3 binary64)) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) m))) v)))
#s(approx (/ (- (/ 1 v) (/ 1 m)) m) (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 m v)) (/.f64 #s(literal 1 binary64) (pow.f64 m #s(literal 2 binary64)))))
#s(approx (* -1 (* (pow m 3) (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v)))) (fma.f64 #s(literal -1 binary64) m (/.f64 (*.f64 (pow.f64 m #s(literal 3 binary64)) (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64))) v)))
#s(approx (* (pow m 3) (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v))) (+.f64 m (.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 m #s(literal 3 binary64)) (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64))) v))))
#s(approx (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v)) (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) v) (/.f64 #s(literal 1 binary64) (pow.f64 m #s(literal 2 binary64)))))

Calls

6 calls:

Time	Variable		Point	Expression
6.0ms	v	@	inf	((* (- (/ (* m (- 1 m)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (* (/ m v) (- 1 m)) (/ m v) m v (- 1 m) 1 (* (- (/ (* 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 m) m) (neg v)) (* (* m m) m) (* m m) (neg v) (* (- (/ (* m (- 1 m)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (/ (* m (- 1 m)) v) (* m (- 1 m)) (- 1 m) (* m (- (/ 1 m) 1)) (- (/ 1 m) 1) (/ 1 m) (* (- (/ (* m (- 1 m)) v) 1) m) (* -1 (* (pow m 3) (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v)))) -1 (* (pow m 3) (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v))) (pow m 3) 3 (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v)) (/ (- (/ 1 v) (/ 1 m)) m) (- (/ 1 v) (/ 1 m)) (/ 1 v))
4.0ms	m	@	-inf	((* (- (/ (* m (- 1 m)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (* (/ m v) (- 1 m)) (/ m v) m v (- 1 m) 1 (* (- (/ (* 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 m) m) (neg v)) (* (* m m) m) (* m m) (neg v) (* (- (/ (* m (- 1 m)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (/ (* m (- 1 m)) v) (* m (- 1 m)) (- 1 m) (* m (- (/ 1 m) 1)) (- (/ 1 m) 1) (/ 1 m) (* (- (/ (* m (- 1 m)) v) 1) m) (* -1 (* (pow m 3) (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v)))) -1 (* (pow m 3) (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v))) (pow m 3) 3 (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v)) (/ (- (/ 1 v) (/ 1 m)) m) (- (/ 1 v) (/ 1 m)) (/ 1 v))
3.0ms	m	@	inf	((* (- (/ (* m (- 1 m)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (* (/ m v) (- 1 m)) (/ m v) m v (- 1 m) 1 (* (- (/ (* 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 m) m) (neg v)) (* (* m m) m) (* m m) (neg v) (* (- (/ (* m (- 1 m)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (/ (* m (- 1 m)) v) (* m (- 1 m)) (- 1 m) (* m (- (/ 1 m) 1)) (- (/ 1 m) 1) (/ 1 m) (* (- (/ (* m (- 1 m)) v) 1) m) (* -1 (* (pow m 3) (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v)))) -1 (* (pow m 3) (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v))) (pow m 3) 3 (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v)) (/ (- (/ 1 v) (/ 1 m)) m) (- (/ 1 v) (/ 1 m)) (/ 1 v))
3.0ms	v	@	-inf	((* (- (/ (* m (- 1 m)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (* (/ m v) (- 1 m)) (/ m v) m v (- 1 m) 1 (* (- (/ (* 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 m) m) (neg v)) (* (* m m) m) (* m m) (neg v) (* (- (/ (* m (- 1 m)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (/ (* m (- 1 m)) v) (* m (- 1 m)) (- 1 m) (* m (- (/ 1 m) 1)) (- (/ 1 m) 1) (/ 1 m) (* (- (/ (* m (- 1 m)) v) 1) m) (* -1 (* (pow m 3) (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v)))) -1 (* (pow m 3) (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v))) (pow m 3) 3 (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v)) (/ (- (/ 1 v) (/ 1 m)) m) (- (/ 1 v) (/ 1 m)) (/ 1 v))
3.0ms	v	@	0	((* (- (/ (* m (- 1 m)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (* (/ m v) (- 1 m)) (/ m v) m v (- 1 m) 1 (* (- (/ (* 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 m) m) (neg v)) (* (* m m) m) (* m m) (neg v) (* (- (/ (* m (- 1 m)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (/ (* m (- 1 m)) v) (* m (- 1 m)) (- 1 m) (* m (- (/ 1 m) 1)) (- (/ 1 m) 1) (/ 1 m) (* (- (/ (* m (- 1 m)) v) 1) m) (* -1 (* (pow m 3) (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v)))) -1 (* (pow m 3) (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v))) (pow m 3) 3 (+ (* -1 (/ (- (/ 1 v) (/ 1 m)) m)) (/ 1 v)) (/ (- (/ 1 v) (/ 1 m)) m) (- (/ 1 v) (/ 1 m)) (/ 1 v))

rewrite275.0ms (16.8%)

Memory

27.5MiB live, 202.0MiB allocated; 25ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	40	344
0	66	336
1	269	332
2	2370	320
0	9046	314
1	38116	314

Stop Event

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

Counts

35 → 664

Calls

Call 1

Inputs
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 m v) (-.f64 #s(literal 1 binary64) m))) m)
#s(approx (- (/ (* m (- 1 m)) v) 1) (*.f64 (/.f64 m v) (-.f64 #s(literal 1 binary64) m)))
(*.f64 (/.f64 m v) (-.f64 #s(literal 1 binary64) m))
(/.f64 m v)
m
v
(-.f64 #s(literal 1 binary64) m)
#s(literal 1 binary64)
(.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)
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (/.f64 (.f64 (.f64 m m) m) (neg.f64 v)))
(/.f64 (.f64 (.f64 m m) m) (neg.f64 v))
(.f64 (.f64 m m) m)
(*.f64 m m)
(neg.f64 v)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (/.f64 (.f64 m #s(approx (- 1 m) (.f64 m (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64))))) v)) m)
#s(approx (- (/ (* m (- 1 m)) v) 1) (/.f64 (.f64 m #s(approx (- 1 m) (.f64 m (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64))))) v))
(/.f64 (.f64 m #s(approx (- 1 m) (.f64 m (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64))))) v)
(.f64 m #s(approx (- 1 m) (.f64 m (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)))))
#s(approx (- 1 m) (*.f64 m (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64))))
(*.f64 m (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)))
(-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) m)
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 #s(literal -1 binary64) (.f64 (pow.f64 m #s(literal 3 binary64)) (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) m)) m) (/.f64 #s(literal 1 binary64) v)))))
(.f64 #s(literal -1 binary64) (.f64 (pow.f64 m #s(literal 3 binary64)) (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) m)) m) (/.f64 #s(literal 1 binary64) v))))
#s(literal -1 binary64)
(*.f64 (pow.f64 m #s(literal 3 binary64)) (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) m)) m) (/.f64 #s(literal 1 binary64) v)))
(pow.f64 m #s(literal 3 binary64))
#s(literal 3 binary64)
(fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) m)) m) (/.f64 #s(literal 1 binary64) v))
(/.f64 (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) m)) m)
(-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) m))
(/.f64 #s(literal 1 binary64) v)

Outputs
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m)) m)
(.f64 m #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m)))
#s(approx (- (/ (* m (- 1 m)) v) 1) (*.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m))
(.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v))
(*.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) (/.f64 m v))
(*.f64 (/.f64 m #s(literal 1 binary64)) (/.f64 (-.f64 #s(literal 1 binary64) 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 #s(literal 1 binary64) m) v) (/.f64 m #s(literal 1 binary64)))
(*.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m)
(.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 #s(literal 1 binary64) m) (/.f64 m v))
(*.f64 (/.f64 m v) (/.f64 (-.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)))
(.f64 (/.f64 m v) (.f64 (-.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)))
(*.f64 (/.f64 m v) (-.f64 #s(literal 1 binary64) m))
(.f64 (.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m) #s(literal 1 binary64))
(.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) (/.f64 #s(literal 1 binary64) v))
(.f64 #s(literal 1 binary64) (.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m))
(.f64 m (.f64 (/.f64 #s(literal 1 binary64) v) (-.f64 #s(literal 1 binary64) 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 (neg.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) #s(literal -1 binary64))) v)
(/.f64 (neg.f64 (.f64 (.f64 (-.f64 m #s(literal 1 binary64)) m) #s(literal 1 binary64))) v)
(/.f64 (neg.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) #s(literal 1 binary64))) (neg.f64 v))
(/.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)) (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 m v) (-.f64 m #s(literal 1 binary64))))
(neg.f64 (/.f64 (*.f64 (-.f64 m #s(literal 1 binary64)) m) v))
(neg.f64 (*.f64 (-.f64 m #s(literal 1 binary64)) (/.f64 m v)))
(fma.f64 (/.f64 m #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v) (/.f64 (*.f64 (neg.f64 m) m) v))
(fma.f64 (/.f64 m #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v) (*.f64 (/.f64 m v) (neg.f64 m)))
(fma.f64 (/.f64 m #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v) (*.f64 (neg.f64 m) (/.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 #s(literal -1 binary64) v) (*.f64 (/.f64 m v) (neg.f64 m)))
(fma.f64 (neg.f64 m) (/.f64 #s(literal -1 binary64) v) (*.f64 (neg.f64 m) (/.f64 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 #s(literal 1 binary64) v) (/.f64 m #s(literal 1 binary64)) (*.f64 (/.f64 m v) (neg.f64 m)))
(fma.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 m #s(literal 1 binary64)) (*.f64 (neg.f64 m) (/.f64 m v)))
(fma.f64 (/.f64 #s(literal 1 binary64) v) m (/.f64 (*.f64 (neg.f64 m) m) v))
(fma.f64 (/.f64 #s(literal 1 binary64) v) m (*.f64 (/.f64 m v) (neg.f64 m)))
(fma.f64 (/.f64 #s(literal 1 binary64) v) m (*.f64 (neg.f64 m) (/.f64 m v)))
(fma.f64 (/.f64 m v) #s(literal 1 binary64) (/.f64 (*.f64 (neg.f64 m) m) v))
(fma.f64 (/.f64 m v) #s(literal 1 binary64) (*.f64 (/.f64 m v) (neg.f64 m)))
(fma.f64 (/.f64 m v) #s(literal 1 binary64) (*.f64 (neg.f64 m) (/.f64 m v)))
(fma.f64 #s(literal 1 binary64) (/.f64 m v) (/.f64 (*.f64 (neg.f64 m) m) v))
(fma.f64 #s(literal 1 binary64) (/.f64 m v) (*.f64 (/.f64 m v) (neg.f64 m)))
(fma.f64 #s(literal 1 binary64) (/.f64 m v) (*.f64 (neg.f64 m) (/.f64 m v)))
(fma.f64 m (/.f64 #s(literal 1 binary64) v) (/.f64 (*.f64 (neg.f64 m) m) v))
(fma.f64 m (/.f64 #s(literal 1 binary64) v) (*.f64 (/.f64 m v) (neg.f64 m)))
(fma.f64 m (/.f64 #s(literal 1 binary64) v) (*.f64 (neg.f64 m) (/.f64 m v)))
(+.f64 (/.f64 m v) (/.f64 (*.f64 (neg.f64 m) m) v))
(+.f64 (/.f64 m v) (*.f64 (/.f64 m v) (neg.f64 m)))
(+.f64 (/.f64 m v) (*.f64 (neg.f64 m) (/.f64 m v)))
(*.f64 (/.f64 m #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v))
(*.f64 (neg.f64 m) (/.f64 #s(literal -1 binary64) v))
(*.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 m #s(literal 1 binary64)))
(*.f64 (/.f64 #s(literal 1 binary64) v) m)
(*.f64 (/.f64 m v) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (/.f64 m v))
(*.f64 m (/.f64 #s(literal 1 binary64) v))
(/.f64 (neg.f64 (*.f64 #s(literal -1 binary64) m)) v)
(/.f64 (neg.f64 (*.f64 m #s(literal -1 binary64))) v)
(/.f64 (neg.f64 (neg.f64 (neg.f64 m))) (neg.f64 v))
(/.f64 (*.f64 #s(literal -1 binary64) m) (neg.f64 v))
(/.f64 (*.f64 m #s(literal -1 binary64)) (neg.f64 v))
(/.f64 (neg.f64 (neg.f64 m)) v)
(/.f64 (neg.f64 m) (neg.f64 v))
(/.f64 m v)
(neg.f64 (/.f64 (neg.f64 m) v))
m
v
(neg.f64 (-.f64 m #s(literal 1 binary64)))
(-.f64 #s(literal 1 binary64) (neg.f64 (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))
#s(literal 1 binary64)
(.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 (*.f64 #s(literal -1 binary64) m))
(fma.f64 m (/.f64 #s(approx (* m (- 1 m)) m) v) (*.f64 m #s(literal -1 binary64)))
(+.f64 (.f64 m (/.f64 #s(approx ( m (- 1 m)) m) v)) (*.f64 m #s(literal -1 binary64)))
(+.f64 (.f64 (/.f64 #s(approx ( m (- 1 m)) m) v) m) (*.f64 #s(literal -1 binary64) m))
(neg.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(approx (* m (- 1 m)) m) v)))
(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 (.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 #s(approx ( m (- 1 m)) m) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v))
(.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 (neg.f64 (.f64 #s(approx ( m (- 1 m)) m) #s(literal -1 binary64))) v)
(/.f64 (neg.f64 (.f64 (neg.f64 #s(approx ( m (- 1 m)) m)) #s(literal 1 binary64))) v)
(/.f64 (neg.f64 (.f64 #s(approx ( m (- 1 m)) m) #s(literal 1 binary64))) (neg.f64 v))
(/.f64 (neg.f64 (neg.f64 (neg.f64 #s(approx (* m (- 1 m)) m)))) (neg.f64 v))
(/.f64 (.f64 #s(approx ( m (- 1 m)) m) #s(literal -1 binary64)) (neg.f64 v))
(/.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 (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)))
#s(approx (* m (- 1 m)) m)
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 (/.f64 (neg.f64 m) v) (.f64 m m)))
(.f64 (/.f64 (.f64 #s(literal -1 binary64) (*.f64 m m)) v) (/.f64 m #s(literal 1 binary64)))
(.f64 (/.f64 (.f64 #s(literal -1 binary64) (*.f64 m m)) #s(literal 1 binary64)) (/.f64 m v))
(.f64 (/.f64 (.f64 #s(literal -1 binary64) m) v) (/.f64 (*.f64 m m) #s(literal 1 binary64)))
(.f64 (/.f64 (.f64 #s(literal -1 binary64) m) #s(literal 1 binary64)) (/.f64 (*.f64 m m) v))
(.f64 (/.f64 (neg.f64 (.f64 m m)) #s(literal 1 binary64)) (/.f64 m v))
(.f64 (/.f64 (.f64 (*.f64 m m) m) #s(literal 1 binary64)) (/.f64 #s(literal -1 binary64) v))
(.f64 (/.f64 (neg.f64 m) #s(literal 1 binary64)) (/.f64 (.f64 m m) v))
(.f64 (/.f64 (.f64 m m) #s(literal 1 binary64)) (/.f64 (neg.f64 m) v))
(.f64 (/.f64 m #s(literal 1 binary64)) (/.f64 (.f64 (neg.f64 m) m) v))
(.f64 (/.f64 (.f64 m m) v) (/.f64 (neg.f64 m) #s(literal 1 binary64)))
(.f64 (/.f64 (.f64 (neg.f64 m) m) v) (/.f64 m #s(literal 1 binary64)))
(.f64 (/.f64 (neg.f64 m) v) (/.f64 (.f64 m m) #s(literal 1 binary64)))
(.f64 (/.f64 (neg.f64 m) v) (.f64 m m))
(.f64 (/.f64 (.f64 (*.f64 m m) m) v) #s(literal -1 binary64))
(.f64 (/.f64 #s(literal -1 binary64) v) (/.f64 (.f64 (*.f64 m m) m) #s(literal 1 binary64)))
(.f64 (/.f64 #s(literal -1 binary64) v) (.f64 (*.f64 m m) m))
(.f64 (.f64 (neg.f64 m) (*.f64 m m)) (/.f64 #s(literal 1 binary64) v))
(.f64 (fabs.f64 m) (.f64 (fabs.f64 m) (/.f64 (neg.f64 m) v)))
(.f64 (neg.f64 m) (.f64 (neg.f64 m) (/.f64 (neg.f64 m) v)))
(.f64 #s(literal -1 binary64) (/.f64 (.f64 (*.f64 m m) m) v))
(.f64 (.f64 (*.f64 m m) m) (/.f64 #s(literal -1 binary64) v))
(.f64 (.f64 m m) (/.f64 (neg.f64 m) v))
(.f64 (/.f64 m v) (/.f64 (neg.f64 (.f64 m m)) #s(literal 1 binary64)))
(.f64 #s(literal 1 binary64) (.f64 (/.f64 (neg.f64 m) v) (*.f64 m m)))
(.f64 m (.f64 (*.f64 m m) (/.f64 #s(literal -1 binary64) v)))
(.f64 m (.f64 m (/.f64 (neg.f64 m) v)))
(.f64 m (/.f64 (.f64 (neg.f64 m) m) v))
(/.f64 (neg.f64 (neg.f64 (.f64 (neg.f64 m) (.f64 m m)))) v)
(/.f64 (neg.f64 (.f64 (neg.f64 m) (.f64 m m))) (neg.f64 v))
(/.f64 (.f64 (neg.f64 m) (.f64 m m)) v)
(/.f64 (.f64 (.f64 m m) m) (neg.f64 v))
(neg.f64 (/.f64 (.f64 (.f64 m m) m) v))
(+.f64 (/.f64 (/.f64 (fma.f64 (.f64 m m) m (/.f64 #s(literal 1 binary64) (.f64 (.f64 m m) m))) #s(literal 2 binary64)) (neg.f64 v)) (/.f64 (/.f64 (-.f64 (.f64 (.f64 m m) m) (/.f64 #s(literal 1 binary64) (.f64 (*.f64 m m) m))) #s(literal 2 binary64)) (neg.f64 v)))
(.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 m m) m))) (neg.f64 (sqrt.f64 (.f64 (*.f64 m m) m))))
(.f64 (fabs.f64 (.f64 m (fabs.f64 m))) (fabs.f64 m))
(.f64 (fabs.f64 (sqrt.f64 (.f64 (.f64 m m) m))) (fabs.f64 (sqrt.f64 (.f64 (*.f64 m m) m))))
(.f64 (.f64 m (fabs.f64 m)) (fabs.f64 m))
(.f64 (.f64 m (neg.f64 m)) (neg.f64 m))
(.f64 (sqrt.f64 (.f64 (.f64 m m) m)) (sqrt.f64 (.f64 (*.f64 m m) m)))
(.f64 (fabs.f64 m) (fabs.f64 (.f64 (fabs.f64 m) m)))
(.f64 (fabs.f64 m) (.f64 (fabs.f64 m) m))
(.f64 (fabs.f64 m) (.f64 m m))
(.f64 (neg.f64 m) (.f64 (neg.f64 m) m))
(.f64 (.f64 (*.f64 m m) m) #s(literal 1 binary64))
(.f64 (.f64 m m) (fabs.f64 m))
(.f64 (.f64 m m) m)
(.f64 #s(literal 1 binary64) (.f64 (*.f64 m m) m))
(.f64 m (.f64 m m))
(pow.f64 (sqrt.f64 (.f64 (.f64 m m) m)) #s(literal 2 binary64))
(pow.f64 m #s(literal 3 binary64))
(sqrt.f64 (.f64 (.f64 (.f64 m m) m) (.f64 (*.f64 m m) m)))
(fabs.f64 (.f64 (neg.f64 m) (.f64 m m)))
(fabs.f64 (.f64 (.f64 m m) m))
(+.f64 (/.f64 (fma.f64 (.f64 m m) m (/.f64 #s(literal 1 binary64) (.f64 (.f64 m m) m))) #s(literal 2 binary64)) (/.f64 (-.f64 (.f64 (.f64 m m) m) (/.f64 #s(literal 1 binary64) (.f64 (*.f64 m m) m))) #s(literal 2 binary64)))
(*.f64 (neg.f64 (neg.f64 (fabs.f64 m))) (neg.f64 (neg.f64 (fabs.f64 m))))
(*.f64 (neg.f64 (neg.f64 (neg.f64 m))) (neg.f64 (neg.f64 (neg.f64 m))))
(*.f64 (neg.f64 (fabs.f64 m)) (neg.f64 (fabs.f64 m)))
(*.f64 (neg.f64 (neg.f64 m)) (neg.f64 (neg.f64 m)))
(*.f64 (fabs.f64 m) (fabs.f64 m))
(*.f64 (neg.f64 m) (neg.f64 m))
(.f64 #s(literal 1 binary64) (.f64 m m))
(*.f64 m m)
(pow.f64 (*.f64 #s(literal 1 binary64) (neg.f64 m)) #s(literal 2 binary64))
(pow.f64 (neg.f64 (fabs.f64 m)) #s(literal 2 binary64))
(pow.f64 (neg.f64 (neg.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 (*.f64 m m) #s(literal 1 binary64))
(pow.f64 m #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 m) m))
(neg.f64 (*.f64 m (neg.f64 m)))
(sqrt.f64 (.f64 (.f64 m m) (*.f64 m m)))
(fabs.f64 (neg.f64 (*.f64 m m)))
(fabs.f64 (*.f64 (neg.f64 m) m))
(fabs.f64 (*.f64 m (neg.f64 m)))
(fabs.f64 (*.f64 m m))
(neg.f64 v)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (.f64 #s(approx (- 1 m) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) m))) (/.f64 m v))) m)
(.f64 m #s(approx (- (/ ( m (- 1 m)) v) 1) (.f64 #s(approx (- 1 m) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) m))) (/.f64 m v))))
#s(approx (- (/ (* m (- 1 m)) v) 1) (.f64 #s(approx (- 1 m) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) m))) (/.f64 m v)))
(.f64 (/.f64 (.f64 #s(approx (- 1 m) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) m))) m) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v))
(.f64 (/.f64 #s(approx (- 1 m) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) m))) #s(literal 1 binary64)) (/.f64 m v))
(.f64 (/.f64 m #s(literal 1 binary64)) (/.f64 #s(approx (- 1 m) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) m))) v))
(.f64 (.f64 (.f64 #s(approx (- 1 m) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) m))) m) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v))
(.f64 (/.f64 #s(approx (- 1 m) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) m))) v) (/.f64 m #s(literal 1 binary64)))
(.f64 (/.f64 #s(approx (- 1 m) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) m))) v) m)
(.f64 (.f64 (neg.f64 m) #s(approx (- 1 m) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) m)))) (/.f64 #s(literal -1 binary64) v))
(.f64 (/.f64 #s(literal 1 binary64) v) (.f64 #s(approx (- 1 m) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) m))) m))
(.f64 (.f64 #s(approx (- 1 m) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) m))) (/.f64 m v)) #s(literal 1 binary64))
(.f64 (.f64 #s(approx (- 1 m) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) m))) m) (/.f64 #s(literal 1 binary64) v))
(.f64 #s(approx (- 1 m) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) m))) (/.f64 m v))
(.f64 (/.f64 m v) (/.f64 #s(approx (- 1 m) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) m))) #s(literal 1 binary64)))
(.f64 #s(literal 1 binary64) (.f64 #s(approx (- 1 m) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) m))) (/.f64 m v)))
(.f64 m (/.f64 #s(approx (- 1 m) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) m))) v))
(/.f64 (neg.f64 (.f64 (.f64 #s(approx (- 1 m) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) m))) m) #s(literal -1 binary64))) v)
(/.f64 (neg.f64 (.f64 (.f64 #s(approx (- 1 m) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) m))) m) #s(literal 1 binary64))) (neg.f64 v))
(/.f64 (neg.f64 (neg.f64 (.f64 (neg.f64 m) #s(approx (- 1 m) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) m)))))) (neg.f64 v))
(/.f64 (.f64 (.f64 #s(approx (- 1 m) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) m))) m) #s(literal -1 binary64)) (neg.f64 v))
(/.f64 (.f64 (.f64 #s(approx (- 1 m) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) m))) m) #s(literal 1 binary64)) v)
(/.f64 (neg.f64 (.f64 (neg.f64 m) #s(approx (- 1 m) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) m))))) v)
(/.f64 (.f64 (neg.f64 m) #s(approx (- 1 m) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) m)))) (neg.f64 v))
(/.f64 (.f64 #s(approx (- 1 m) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) m))) m) v)
(neg.f64 (/.f64 (.f64 (neg.f64 m) #s(approx (- 1 m) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) m)))) v))
(.f64 #s(approx (- 1 m) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) m))) m)
(.f64 m #s(approx (- 1 m) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) m))))
#s(approx (- 1 m) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) m)))
(*.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) m)
(*.f64 m (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)))
(neg.f64 (*.f64 (/.f64 (-.f64 m #s(literal 1 binary64)) m) m))
(neg.f64 (*.f64 m (/.f64 (-.f64 m #s(literal 1 binary64)) m)))
(fma.f64 m (/.f64 #s(literal 1 binary64) m) (*.f64 m #s(literal -1 binary64)))
(+.f64 (.f64 m (/.f64 #s(literal 1 binary64) m)) (.f64 m #s(literal -1 binary64)))
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) m))
(*.f64 #s(literal 1 binary64) (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)))
(neg.f64 (/.f64 (-.f64 m #s(literal 1 binary64)) m))
(fma.f64 (/.f64 #s(literal -1 binary64) m) #s(literal -1 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) m) #s(literal -1 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) m) #s(literal -1 binary64))
(-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64))
(+.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) m))
(+.f64 (/.f64 #s(literal 1 binary64) m) #s(literal -1 binary64))
(*.f64 (/.f64 #s(literal -1 binary64) m) #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) m))
(*.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) m))
(pow.f64 (neg.f64 (neg.f64 m)) #s(literal -1 binary64))
(pow.f64 m #s(literal -1 binary64))
(/.f64 #s(literal -1 binary64) (neg.f64 (neg.f64 (neg.f64 m))))
(/.f64 #s(literal -1 binary64) (neg.f64 m))
(/.f64 #s(literal 1 binary64) (neg.f64 (neg.f64 m)))
(/.f64 #s(literal 1 binary64) (fabs.f64 m))
(/.f64 #s(literal 1 binary64) m)
(neg.f64 (/.f64 #s(literal -1 binary64) m))
(fma.f64 (/.f64 #s(literal -1 binary64) m) #s(literal -1 binary64) (/.f64 #s(literal 0 binary64) (neg.f64 (neg.f64 m))))
(fma.f64 (/.f64 #s(literal -1 binary64) m) #s(literal -1 binary64) (/.f64 #s(literal 0 binary64) m))
(fma.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) m) (/.f64 #s(literal 0 binary64) (neg.f64 (neg.f64 m))))
(fma.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) m) (/.f64 #s(literal 0 binary64) m))
(fma.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64) (/.f64 #s(literal 0 binary64) (neg.f64 (neg.f64 m))))
(fma.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64) (/.f64 #s(literal 0 binary64) m))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) m) (/.f64 #s(literal 0 binary64) (neg.f64 (neg.f64 m))))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) m) (/.f64 #s(literal 0 binary64) m))
(sqrt.f64 (/.f64 #s(literal 1 binary64) (*.f64 m m)))
(fabs.f64 (/.f64 #s(literal -1 binary64) m))
(fabs.f64 (/.f64 #s(literal 1 binary64) m))
(+.f64 (/.f64 #s(literal 1 binary64) m) (/.f64 #s(literal 0 binary64) (neg.f64 (neg.f64 m))))
(+.f64 (/.f64 #s(literal 1 binary64) m) (/.f64 #s(literal 0 binary64) m))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 (neg.f64 (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 (-.f64 m v) (.f64 (.f64 v m) m)))) (.f64 (*.f64 m m) m)))
(.f64 (/.f64 (.f64 (neg.f64 m) (.f64 m m)) #s(literal 1 binary64)) (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 (-.f64 m v) (.f64 (*.f64 v m) m))))
(.f64 (.f64 #s(literal -1 binary64) (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 (-.f64 m v) (.f64 (.f64 v m) m)))) (.f64 (.f64 m m) m))
(.f64 (neg.f64 (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 (-.f64 m v) (.f64 (.f64 v m) m)))) (.f64 (*.f64 m m) m))
(.f64 (.f64 (neg.f64 m) (.f64 m m)) (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 (-.f64 m v) (.f64 (*.f64 v m) m))))
(.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 (-.f64 m v) (.f64 (.f64 v m) m))) (.f64 (.f64 m m) m)) #s(literal -1 binary64))
(.f64 (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 (-.f64 m v) (.f64 (.f64 v m) m))) (.f64 (neg.f64 m) (*.f64 m m)))
(.f64 #s(literal -1 binary64) (.f64 (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 (-.f64 m v) (.f64 (.f64 v m) m))) (.f64 (.f64 m m) m)))
(.f64 (.f64 (/.f64 (neg.f64 m) v) (.f64 m m)) (/.f64 (fma.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) v #s(literal 1 binary64)) #s(literal 1 binary64)))
(.f64 (.f64 (.f64 m m) m) (.f64 (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 (-.f64 m v) (.f64 (.f64 v m) m))) #s(literal -1 binary64)))
(.f64 (.f64 (.f64 m m) m) (neg.f64 (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 (-.f64 m v) (.f64 (*.f64 v m) m)))))
(/.f64 (neg.f64 (.f64 (.f64 (neg.f64 m) (.f64 m m)) (fma.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) v #s(literal 1 binary64)))) (neg.f64 v))
(/.f64 (.f64 (.f64 (neg.f64 m) (.f64 m m)) (fma.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) v #s(literal 1 binary64))) v)
(neg.f64 (.f64 #s(literal 1 binary64) (.f64 (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 (-.f64 m v) (.f64 (.f64 v m) m))) (.f64 (.f64 m m) m))))
(neg.f64 (.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 (-.f64 m v) (.f64 (.f64 v m) m))) (.f64 (.f64 m m) m)) #s(literal 1 binary64)))
(neg.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 (-.f64 m v) (.f64 (.f64 v m) m))) (.f64 (*.f64 m m) m)))
(fma.f64 (/.f64 (.f64 #s(literal -1 binary64) (.f64 m m)) v) (/.f64 m #s(literal 1 binary64)) (.f64 (.f64 (neg.f64 m) (.f64 m m)) (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m)))
(fma.f64 (/.f64 (.f64 #s(literal -1 binary64) (.f64 m m)) #s(literal 1 binary64)) (/.f64 m v) (.f64 (.f64 (neg.f64 m) (.f64 m m)) (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m)))
(fma.f64 (/.f64 (.f64 #s(literal -1 binary64) m) v) (/.f64 (.f64 m m) #s(literal 1 binary64)) (.f64 (.f64 (neg.f64 m) (.f64 m m)) (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m)))
(fma.f64 (/.f64 (.f64 #s(literal -1 binary64) m) #s(literal 1 binary64)) (/.f64 (.f64 m m) v) (.f64 (.f64 (neg.f64 m) (.f64 m m)) (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m)))
(fma.f64 (/.f64 (neg.f64 (.f64 m m)) #s(literal 1 binary64)) (/.f64 m v) (.f64 (.f64 (neg.f64 m) (.f64 m m)) (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m)))
(fma.f64 (/.f64 (.f64 (.f64 m m) m) #s(literal 1 binary64)) (/.f64 #s(literal -1 binary64) v) (.f64 (.f64 (neg.f64 m) (.f64 m m)) (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m)))
(fma.f64 (/.f64 (neg.f64 m) #s(literal 1 binary64)) (/.f64 (.f64 m m) v) (.f64 (.f64 (neg.f64 m) (.f64 m m)) (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m)))
(fma.f64 (/.f64 (.f64 m m) #s(literal 1 binary64)) (/.f64 (neg.f64 m) v) (.f64 (.f64 (neg.f64 m) (.f64 m m)) (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m)))
(fma.f64 (/.f64 m #s(literal 1 binary64)) (/.f64 (.f64 (neg.f64 m) m) v) (.f64 (.f64 (neg.f64 m) (.f64 m m)) (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m)))
(fma.f64 (/.f64 (.f64 m m) v) (/.f64 (neg.f64 m) #s(literal 1 binary64)) (.f64 (.f64 (neg.f64 m) (.f64 m m)) (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m)))
(fma.f64 (/.f64 (.f64 (neg.f64 m) m) v) (/.f64 m #s(literal 1 binary64)) (.f64 (.f64 (neg.f64 m) (.f64 m m)) (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m)))
(fma.f64 (/.f64 (neg.f64 m) v) (/.f64 (.f64 m m) #s(literal 1 binary64)) (.f64 (.f64 (neg.f64 m) (.f64 m m)) (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m)))
(fma.f64 (/.f64 (neg.f64 m) v) (.f64 m m) (.f64 (.f64 (neg.f64 m) (.f64 m m)) (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m)))
(fma.f64 (/.f64 (.f64 (.f64 m m) m) v) #s(literal -1 binary64) (.f64 (.f64 (neg.f64 m) (.f64 m m)) (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m)))
(fma.f64 (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (.f64 (.f64 m m) m)) #s(literal -1 binary64) (.f64 (/.f64 (neg.f64 m) v) (.f64 m m)))
(fma.f64 (/.f64 #s(literal -1 binary64) v) (/.f64 (.f64 (.f64 m m) m) #s(literal 1 binary64)) (.f64 (.f64 (neg.f64 m) (.f64 m m)) (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m)))
(fma.f64 (/.f64 #s(literal -1 binary64) v) (.f64 (.f64 m m) m) (.f64 (.f64 (neg.f64 m) (.f64 m m)) (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m)))
(fma.f64 (.f64 (neg.f64 m) (.f64 m m)) (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (.f64 (/.f64 (neg.f64 m) v) (*.f64 m m)))
(fma.f64 (.f64 (neg.f64 m) (.f64 m m)) (/.f64 #s(literal 1 binary64) v) (.f64 (.f64 (neg.f64 m) (.f64 m m)) (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m)))
(fma.f64 (fabs.f64 m) (.f64 (fabs.f64 m) (/.f64 (neg.f64 m) v)) (.f64 (.f64 (neg.f64 m) (.f64 m m)) (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m)))
(fma.f64 (neg.f64 m) (.f64 (neg.f64 m) (/.f64 (neg.f64 m) v)) (.f64 (.f64 (neg.f64 m) (.f64 m m)) (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m)))
(fma.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (.f64 (neg.f64 m) (.f64 m m)) (.f64 (/.f64 #s(literal 1 binary64) v) (.f64 (neg.f64 m) (.f64 m m))))
(fma.f64 (/.f64 #s(literal 1 binary64) v) (.f64 (neg.f64 m) (.f64 m m)) (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (.f64 (neg.f64 m) (.f64 m m))))
(fma.f64 #s(literal -1 binary64) (/.f64 (.f64 (.f64 m m) m) v) (.f64 (.f64 (neg.f64 m) (.f64 m m)) (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m)))
(fma.f64 #s(literal -1 binary64) (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (.f64 (.f64 m m) m)) (.f64 (/.f64 (neg.f64 m) v) (.f64 m m)))
(fma.f64 (.f64 (.f64 m m) m) (/.f64 #s(literal -1 binary64) v) (.f64 (.f64 (neg.f64 m) (.f64 m m)) (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m)))
(fma.f64 (.f64 m m) (/.f64 (neg.f64 m) v) (.f64 (.f64 (neg.f64 m) (.f64 m m)) (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m)))
(fma.f64 (/.f64 m v) (/.f64 (neg.f64 (.f64 m m)) #s(literal 1 binary64)) (.f64 (.f64 (neg.f64 m) (.f64 m m)) (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m)))
(fma.f64 #s(literal 1 binary64) (.f64 (/.f64 (neg.f64 m) v) (.f64 m m)) (.f64 (.f64 (neg.f64 m) (.f64 m m)) (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m)))
(fma.f64 m (.f64 (.f64 m m) (/.f64 #s(literal -1 binary64) v)) (.f64 (.f64 (neg.f64 m) (.f64 m m)) (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m)))
(fma.f64 m (.f64 m (/.f64 (neg.f64 m) v)) (.f64 (.f64 (neg.f64 m) (.f64 m m)) (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m)))
(fma.f64 m (/.f64 (.f64 (neg.f64 m) m) v) (.f64 (.f64 (neg.f64 m) (.f64 m m)) (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m)))
(+.f64 (.f64 (.f64 (neg.f64 m) (.f64 m m)) (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m)) (.f64 (/.f64 (neg.f64 m) v) (.f64 m m)))
(+.f64 (.f64 #s(literal -1 binary64) (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (.f64 (.f64 m m) m))) (.f64 (/.f64 (neg.f64 m) v) (*.f64 m m)))
(+.f64 (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (.f64 (neg.f64 m) (.f64 m m))) (.f64 (/.f64 #s(literal 1 binary64) v) (.f64 (neg.f64 m) (*.f64 m m))))
(+.f64 (.f64 (/.f64 #s(literal 1 binary64) v) (.f64 (neg.f64 m) (.f64 m m))) (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (.f64 (neg.f64 m) (*.f64 m m))))
(+.f64 (.f64 (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (.f64 (.f64 m m) m)) #s(literal -1 binary64)) (.f64 (/.f64 (neg.f64 m) v) (*.f64 m m)))
(+.f64 (neg.f64 (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (.f64 (.f64 m m) m))) (.f64 (/.f64 (neg.f64 m) v) (.f64 m m)))
(+.f64 (.f64 (/.f64 (neg.f64 m) v) (.f64 m m)) (.f64 (.f64 (neg.f64 m) (.f64 m m)) (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m)))
#s(literal -1 binary64)
(.f64 (/.f64 (fma.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) v #s(literal 1 binary64)) #s(literal 1 binary64)) (/.f64 (.f64 (.f64 m m) m) v))
(.f64 (/.f64 (.f64 (.f64 m m) m) #s(literal 1 binary64)) (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 (-.f64 m v) (.f64 (*.f64 v m) m))))
(.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 (-.f64 m v) (.f64 (.f64 v m) m))) (*.f64 m m)) m)
(.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 (-.f64 m v) (.f64 (.f64 v m) m))) m) (*.f64 m m))
(.f64 (/.f64 (.f64 (.f64 m m) m) v) (/.f64 (fma.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) v #s(literal 1 binary64)) #s(literal 1 binary64)))
(.f64 (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 (-.f64 m v) (.f64 (.f64 v m) m))) (/.f64 (.f64 (*.f64 m m) m) #s(literal 1 binary64)))
(.f64 (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 (-.f64 m v) (.f64 (.f64 v m) m))) (.f64 (*.f64 m m) m))
(.f64 (.f64 (.f64 m m) m) (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 (-.f64 m v) (.f64 (*.f64 v m) m))))
(.f64 (.f64 m m) (.f64 m (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 (-.f64 m v) (.f64 (*.f64 v m) m)))))
(.f64 m (.f64 (.f64 m m) (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 (-.f64 m v) (.f64 (*.f64 v m) m)))))
(/.f64 (neg.f64 (.f64 (.f64 (.f64 m m) m) (fma.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) v #s(literal 1 binary64)))) (neg.f64 v))
(/.f64 (neg.f64 (.f64 (fma.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) v #s(literal 1 binary64)) (.f64 (.f64 m m) m))) (neg.f64 v))
(/.f64 (.f64 (.f64 (.f64 m m) m) (fma.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) v #s(literal 1 binary64))) v)
(/.f64 (.f64 (fma.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) v #s(literal 1 binary64)) (.f64 (.f64 m m) m)) v)
(fma.f64 (/.f64 (.f64 (.f64 m m) m) m) (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) #s(literal 1 binary64)) (/.f64 (.f64 (*.f64 m m) m) v))
(fma.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) #s(literal 1 binary64)) (/.f64 (.f64 (.f64 m m) m) m) (/.f64 (.f64 (*.f64 m m) m) v))
(fma.f64 (/.f64 (.f64 (.f64 m m) m) #s(literal 1 binary64)) (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (/.f64 (.f64 (*.f64 m m) m) v))
(fma.f64 (/.f64 (.f64 (.f64 m m) m) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v) (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (.f64 (.f64 m m) m)))
(fma.f64 (/.f64 (.f64 m (fabs.f64 m)) v) (/.f64 (fabs.f64 m) #s(literal 1 binary64)) (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (.f64 (*.f64 m m) m)))
(fma.f64 (/.f64 (.f64 m (fabs.f64 m)) #s(literal 1 binary64)) (/.f64 (fabs.f64 m) v) (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (.f64 (*.f64 m m) m)))
(fma.f64 (/.f64 (.f64 m (neg.f64 m)) #s(literal 1 binary64)) (/.f64 (neg.f64 m) v) (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (.f64 (*.f64 m m) m)))
(fma.f64 (/.f64 (sqrt.f64 (.f64 (.f64 m m) m)) v) (/.f64 (sqrt.f64 (.f64 (.f64 m m) m)) #s(literal 1 binary64)) (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (.f64 (.f64 m m) m)))
(fma.f64 (/.f64 (sqrt.f64 (.f64 (.f64 m m) m)) #s(literal 1 binary64)) (/.f64 (sqrt.f64 (.f64 (.f64 m m) m)) v) (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (.f64 (.f64 m m) m)))
(fma.f64 (/.f64 (fabs.f64 m) v) (/.f64 (.f64 (fabs.f64 m) m) #s(literal 1 binary64)) (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (.f64 (*.f64 m m) m)))
(fma.f64 (/.f64 (fabs.f64 m) #s(literal 1 binary64)) (/.f64 (.f64 (fabs.f64 m) m) v) (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (.f64 (*.f64 m m) m)))
(fma.f64 (/.f64 (neg.f64 m) #s(literal 1 binary64)) (/.f64 (.f64 (neg.f64 m) m) v) (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (.f64 (*.f64 m m) m)))
(fma.f64 (/.f64 (.f64 m m) #s(literal 1 binary64)) (/.f64 m v) (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (.f64 (*.f64 m m) m)))
(fma.f64 (/.f64 m #s(literal 1 binary64)) (/.f64 (.f64 m m) v) (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (.f64 (*.f64 m m) m)))
(fma.f64 (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (.f64 m m)) m (/.f64 (.f64 (*.f64 m m) m) v))
(fma.f64 (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) m) (.f64 m m) (/.f64 (.f64 (*.f64 m m) m) v))
(fma.f64 (.f64 (/.f64 #s(literal 1 binary64) v) (.f64 m m)) m (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (.f64 (.f64 m m) m)))
(fma.f64 (/.f64 (.f64 m m) v) (/.f64 m #s(literal 1 binary64)) (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (.f64 (*.f64 m m) m)))
(fma.f64 (/.f64 (.f64 (neg.f64 m) m) v) (/.f64 (neg.f64 m) #s(literal 1 binary64)) (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (.f64 (*.f64 m m) m)))
(fma.f64 (.f64 (.f64 (.f64 m m) m) (/.f64 (-.f64 m v) (.f64 (.f64 v m) m))) #s(literal -1 binary64) (/.f64 (.f64 (*.f64 m m) m) v))
(fma.f64 (/.f64 (neg.f64 m) v) (/.f64 (.f64 (neg.f64 m) m) #s(literal 1 binary64)) (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (.f64 (*.f64 m m) m)))
(fma.f64 (/.f64 (.f64 (.f64 m m) m) v) #s(literal 1 binary64) (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (.f64 (.f64 m m) m)))
(fma.f64 (.f64 (neg.f64 m) (.f64 m m)) (/.f64 (-.f64 m v) (.f64 (.f64 v m) m)) (/.f64 (.f64 (.f64 m m) m) v))
(fma.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (/.f64 (.f64 (.f64 m m) m) #s(literal 1 binary64)) (/.f64 (.f64 (*.f64 m m) m) v))
(fma.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (.f64 (.f64 m m) m) (/.f64 (.f64 (*.f64 m m) m) v))
(fma.f64 (/.f64 (-.f64 m v) (.f64 (.f64 v m) m)) (.f64 (neg.f64 m) (.f64 m m)) (/.f64 (.f64 (.f64 m m) m) v))
(fma.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 (.f64 (.f64 m m) m) #s(literal 1 binary64)) (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (.f64 (.f64 m m) m)))
(fma.f64 (/.f64 #s(literal 1 binary64) v) (.f64 (.f64 m m) m) (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (.f64 (.f64 m m) m)))
(fma.f64 #s(literal -1 binary64) (.f64 (/.f64 (-.f64 m v) (.f64 (.f64 v m) m)) (.f64 (.f64 m m) m)) (/.f64 (.f64 (*.f64 m m) m) v))
(fma.f64 (.f64 (.f64 m m) m) (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (/.f64 (.f64 (*.f64 m m) m) v))
(fma.f64 (.f64 (.f64 m m) m) (/.f64 #s(literal 1 binary64) v) (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (.f64 (.f64 m m) m)))
(fma.f64 (.f64 m m) (.f64 m (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m)) (/.f64 (.f64 (*.f64 m m) m) v))
(fma.f64 (.f64 m m) (/.f64 m v) (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (.f64 (*.f64 m m) m)))
(fma.f64 (/.f64 m v) (/.f64 (.f64 m m) #s(literal 1 binary64)) (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (.f64 (*.f64 m m) m)))
(fma.f64 (/.f64 m v) (.f64 m m) (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (.f64 (*.f64 m m) m)))
(fma.f64 #s(literal 1 binary64) (/.f64 (.f64 (.f64 m m) m) v) (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (.f64 (.f64 m m) m)))
(fma.f64 m (.f64 (.f64 m m) (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m)) (/.f64 (.f64 (*.f64 m m) m) v))
(fma.f64 m (.f64 (.f64 m m) (/.f64 #s(literal 1 binary64) v)) (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (.f64 (.f64 m m) m)))
(fma.f64 m (/.f64 (.f64 m m) v) (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (.f64 (*.f64 m m) m)))
(-.f64 (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (.f64 (.f64 m m) m)) (.f64 (/.f64 (neg.f64 m) v) (.f64 m m)))
(+.f64 (/.f64 (.f64 (.f64 m m) m) v) (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (.f64 (.f64 m m) m)))
(+.f64 (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (.f64 (.f64 m m) m)) (/.f64 (.f64 (.f64 m m) m) v))
(.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 m m) m))) (neg.f64 (sqrt.f64 (.f64 (*.f64 m m) m))))
(.f64 (fabs.f64 (.f64 m (fabs.f64 m))) (fabs.f64 m))
(.f64 (fabs.f64 (sqrt.f64 (.f64 (.f64 m m) m))) (fabs.f64 (sqrt.f64 (.f64 (*.f64 m m) m))))
(.f64 (.f64 m (fabs.f64 m)) (fabs.f64 m))
(.f64 (.f64 m (neg.f64 m)) (neg.f64 m))
(.f64 (sqrt.f64 (.f64 (.f64 m m) m)) (sqrt.f64 (.f64 (*.f64 m m) m)))
(.f64 (fabs.f64 m) (fabs.f64 (.f64 (fabs.f64 m) m)))
(.f64 (fabs.f64 m) (.f64 (fabs.f64 m) m))
(.f64 (fabs.f64 m) (.f64 m m))
(.f64 (neg.f64 m) (.f64 (neg.f64 m) m))
(.f64 (.f64 (*.f64 m m) m) #s(literal 1 binary64))
(.f64 (.f64 m m) (fabs.f64 m))
(.f64 (.f64 m m) m)
(.f64 #s(literal 1 binary64) (.f64 (*.f64 m m) m))
(.f64 m (.f64 m m))
(pow.f64 (sqrt.f64 (.f64 (.f64 m m) m)) #s(literal 2 binary64))
(pow.f64 m #s(literal 3 binary64))
(sqrt.f64 (.f64 (.f64 (.f64 m m) m) (.f64 (*.f64 m m) m)))
(fabs.f64 (.f64 (neg.f64 m) (.f64 m m)))
(fabs.f64 (.f64 (.f64 m m) m))
(+.f64 (/.f64 (fma.f64 (.f64 m m) m (/.f64 #s(literal 1 binary64) (.f64 (.f64 m m) m))) #s(literal 2 binary64)) (/.f64 (-.f64 (.f64 (.f64 m m) m) (/.f64 #s(literal 1 binary64) (.f64 (*.f64 m m) m))) #s(literal 2 binary64)))
#s(literal 3 binary64)
(.f64 (fma.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) v #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v))
(/.f64 (neg.f64 (fma.f64 (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m) (neg.f64 v) #s(literal -1 binary64))) v)
(/.f64 (neg.f64 (/.f64 (+.f64 m (-.f64 (*.f64 (/.f64 #s(literal 1 binary64) m) v) #s(literal 1 binary64))) v)) (neg.f64 m))
(/.f64 (neg.f64 (fma.f64 (/.f64 (-.f64 v m) (.f64 v m)) (neg.f64 v) (.f64 #s(literal -1 binary64) m))) (neg.f64 (*.f64 m (neg.f64 v))))
(/.f64 (neg.f64 (fma.f64 #s(literal -1 binary64) m (.f64 (/.f64 (-.f64 v m) (.f64 v m)) (neg.f64 v)))) (neg.f64 (*.f64 (neg.f64 v) m)))
(/.f64 (neg.f64 (+.f64 m (.f64 (/.f64 (-.f64 v m) (.f64 v m)) v))) (neg.f64 (*.f64 v m)))
(/.f64 (neg.f64 (fma.f64 (/.f64 (-.f64 v m) (.f64 v m)) (neg.f64 v) (.f64 m #s(literal -1 binary64)))) (neg.f64 (*.f64 m (neg.f64 v))))
(/.f64 (neg.f64 (fma.f64 (/.f64 (-.f64 v m) (.f64 v m)) v m)) (neg.f64 (.f64 v m)))
(/.f64 (neg.f64 (fma.f64 #s(literal -1 binary64) m (.f64 (neg.f64 v) (/.f64 (-.f64 v m) (.f64 v m))))) (neg.f64 (*.f64 (neg.f64 v) m)))
(/.f64 (neg.f64 (+.f64 m (.f64 v (/.f64 (-.f64 v m) (.f64 v m))))) (neg.f64 (*.f64 v m)))
(/.f64 (neg.f64 (neg.f64 (fma.f64 (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m) v #s(literal 1 binary64)))) v)
(/.f64 (fma.f64 (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m) (neg.f64 v) #s(literal -1 binary64)) (neg.f64 v))
(/.f64 (/.f64 (+.f64 m (-.f64 (*.f64 (/.f64 #s(literal 1 binary64) m) v) #s(literal 1 binary64))) v) m)
(/.f64 (fma.f64 (/.f64 (-.f64 v m) (.f64 v m)) (neg.f64 v) (.f64 #s(literal -1 binary64) m)) (*.f64 m (neg.f64 v)))
(/.f64 (fma.f64 #s(literal -1 binary64) m (.f64 (/.f64 (-.f64 v m) (.f64 v m)) (neg.f64 v))) (*.f64 (neg.f64 v) m))
(/.f64 (+.f64 m (.f64 (/.f64 (-.f64 v m) (.f64 v m)) v)) (*.f64 v m))
(/.f64 (fma.f64 (/.f64 (-.f64 v m) (.f64 v m)) (neg.f64 v) (.f64 m #s(literal -1 binary64))) (*.f64 m (neg.f64 v)))
(/.f64 (fma.f64 (/.f64 (-.f64 v m) (.f64 v m)) v m) (.f64 v m))
(/.f64 (fma.f64 #s(literal -1 binary64) m (.f64 (neg.f64 v) (/.f64 (-.f64 v m) (.f64 v m)))) (*.f64 (neg.f64 v) m))
(/.f64 (+.f64 m (.f64 v (/.f64 (-.f64 v m) (.f64 v m)))) (*.f64 v m))
(/.f64 (neg.f64 (fma.f64 (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m) v #s(literal 1 binary64))) (neg.f64 v))
(/.f64 (fma.f64 (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m) v #s(literal 1 binary64)) v)
(neg.f64 (-.f64 (/.f64 #s(literal -1 binary64) v) (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m)))
(fma.f64 (/.f64 v v) (/.f64 (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v))
(fma.f64 (/.f64 v #s(literal 1 binary64)) (/.f64 (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m) v) (/.f64 #s(literal 1 binary64) v))
(fma.f64 (/.f64 (/.f64 (-.f64 m v) (*.f64 v m)) #s(literal 1 binary64)) (/.f64 #s(literal -1 binary64) m) (/.f64 #s(literal 1 binary64) v))
(fma.f64 (/.f64 (/.f64 (-.f64 m v) (.f64 (.f64 v m) m)) #s(literal 1 binary64)) (/.f64 (*.f64 #s(literal -1 binary64) v) v) (/.f64 #s(literal 1 binary64) v))
(fma.f64 (/.f64 (/.f64 (-.f64 m v) (.f64 (.f64 v m) m)) v) (/.f64 (*.f64 #s(literal -1 binary64) v) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v))
(fma.f64 (/.f64 (neg.f64 m) m) (/.f64 (/.f64 #s(literal -1 binary64) v) #s(literal 1 binary64)) (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m))
(fma.f64 (/.f64 (/.f64 #s(literal 1 binary64) v) #s(literal 1 binary64)) (/.f64 m m) (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m))
(fma.f64 (/.f64 (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m) #s(literal 1 binary64)) (/.f64 v v) (/.f64 #s(literal 1 binary64) v))
(fma.f64 (/.f64 (neg.f64 m) #s(literal 1 binary64)) (/.f64 (/.f64 #s(literal -1 binary64) v) m) (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m))
(fma.f64 (/.f64 m #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (.f64 v m)) (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m))
(fma.f64 (/.f64 m m) (/.f64 (/.f64 #s(literal 1 binary64) v) #s(literal 1 binary64)) (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m))
(fma.f64 (/.f64 m m) (/.f64 #s(literal 1 binary64) v) (/.f64 (.f64 (/.f64 (-.f64 v m) (.f64 v m)) v) (*.f64 v m)))
(fma.f64 (/.f64 m m) (/.f64 #s(literal 1 binary64) v) (/.f64 (.f64 v (/.f64 (-.f64 v m) (.f64 v m))) (*.f64 v m)))
(fma.f64 (/.f64 (-.f64 v m) (*.f64 v m)) (/.f64 #s(literal 1 binary64) m) (/.f64 #s(literal 1 binary64) v))
(fma.f64 (/.f64 #s(literal -1 binary64) m) (/.f64 (/.f64 (-.f64 m v) (*.f64 v m)) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v))
(fma.f64 (/.f64 #s(literal -1 binary64) v) (/.f64 (.f64 (/.f64 (-.f64 m v) (.f64 (*.f64 v m) m)) v) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v))
(fma.f64 (/.f64 #s(literal -1 binary64) v) #s(literal -1 binary64) (/.f64 (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) v) v))
(fma.f64 (/.f64 #s(literal -1 binary64) v) #s(literal -1 binary64) (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m))
(fma.f64 (/.f64 (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m) v) (/.f64 v #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v))
(fma.f64 (/.f64 #s(literal 1 binary64) (.f64 v m)) (/.f64 m #s(literal 1 binary64)) (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m))
(fma.f64 (/.f64 (-.f64 m v) (.f64 (.f64 v m) m)) #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) v))
(fma.f64 (/.f64 (-.f64 m v) (*.f64 v m)) (/.f64 #s(literal -1 binary64) m) (/.f64 #s(literal 1 binary64) v))
(fma.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 m m) (/.f64 (.f64 (/.f64 (-.f64 v m) (.f64 v m)) v) (*.f64 v m)))
(fma.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 m m) (/.f64 (.f64 v (/.f64 (-.f64 v m) (.f64 v m))) (*.f64 v m)))
(fma.f64 (/.f64 #s(literal 1 binary64) v) #s(literal 1 binary64) (/.f64 (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) v) v))
(fma.f64 (/.f64 #s(literal 1 binary64) v) #s(literal 1 binary64) (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m))
(fma.f64 #s(literal -1 binary64) (/.f64 (.f64 (/.f64 (-.f64 m v) (.f64 (*.f64 v m) m)) v) v) (/.f64 #s(literal 1 binary64) v))
(fma.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) v) (/.f64 (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) v) v))
(fma.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) v) (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m))
(fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 m v) (.f64 (.f64 v m) m)) (/.f64 #s(literal 1 binary64) v))
(fma.f64 (/.f64 #s(literal 1 binary64) m) (/.f64 (/.f64 m v) #s(literal 1 binary64)) (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m))
(fma.f64 (/.f64 #s(literal 1 binary64) m) (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v))
(fma.f64 (/.f64 #s(literal 1 binary64) m) (/.f64 m v) (/.f64 (.f64 (/.f64 (-.f64 v m) (.f64 v m)) v) (*.f64 v m)))
(fma.f64 (/.f64 #s(literal 1 binary64) m) (/.f64 m v) (/.f64 (.f64 v (/.f64 (-.f64 v m) (.f64 v m))) (*.f64 v m)))
(fma.f64 (/.f64 m v) (/.f64 #s(literal 1 binary64) m) (/.f64 (.f64 (/.f64 (-.f64 v m) (.f64 v m)) v) (*.f64 v m)))
(fma.f64 (/.f64 m v) (/.f64 #s(literal 1 binary64) m) (/.f64 (.f64 v (/.f64 (-.f64 v m) (.f64 v m))) (*.f64 v m)))
(fma.f64 #s(literal 1 binary64) (/.f64 (/.f64 m v) m) (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m))
(fma.f64 #s(literal 1 binary64) (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m) (/.f64 #s(literal 1 binary64) v))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) v) (/.f64 (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) v) v))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) v) (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m))
(-.f64 (/.f64 (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) v) v) (/.f64 #s(literal -1 binary64) v))
(-.f64 (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m) (/.f64 #s(literal -1 binary64) v))
(-.f64 (/.f64 #s(literal 1 binary64) v) (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) #s(literal -1 binary64)))
(-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 (-.f64 m v) (.f64 (.f64 v m) m)))
(+.f64 (/.f64 (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) (neg.f64 v)) (neg.f64 v)) (/.f64 #s(literal 1 binary64) v))
(+.f64 (/.f64 (.f64 (/.f64 (-.f64 v m) (.f64 v m)) (neg.f64 v)) (.f64 m (neg.f64 v))) (/.f64 (.f64 #s(literal -1 binary64) m) (*.f64 m (neg.f64 v))))
(+.f64 (/.f64 (.f64 (/.f64 (-.f64 v m) (.f64 v m)) (neg.f64 v)) (.f64 m (neg.f64 v))) (/.f64 (.f64 m #s(literal -1 binary64)) (*.f64 m (neg.f64 v))))
(+.f64 (/.f64 (.f64 (/.f64 (-.f64 v m) (.f64 v m)) v) (.f64 v m)) (/.f64 m (.f64 v m)))
(+.f64 (/.f64 (.f64 #s(literal -1 binary64) m) (.f64 (neg.f64 v) m)) (/.f64 (.f64 (/.f64 (-.f64 v m) (.f64 v m)) (neg.f64 v)) (*.f64 (neg.f64 v) m)))
(+.f64 (/.f64 (.f64 #s(literal -1 binary64) m) (.f64 (neg.f64 v) m)) (/.f64 (.f64 (neg.f64 v) (/.f64 (-.f64 v m) (.f64 v m))) (*.f64 (neg.f64 v) m)))
(+.f64 (/.f64 (/.f64 m v) m) (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m))
(+.f64 (/.f64 m (.f64 v m)) (/.f64 (.f64 (/.f64 (-.f64 v m) (.f64 v m)) v) (.f64 v m)))
(+.f64 (/.f64 m (.f64 v m)) (/.f64 (.f64 v (/.f64 (-.f64 v m) (.f64 v m))) (.f64 v m)))
(+.f64 (/.f64 (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) v) v) (/.f64 #s(literal 1 binary64) v))
(+.f64 (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m) (/.f64 #s(literal 1 binary64) v))
(+.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 (.f64 (/.f64 (/.f64 (-.f64 v m) (.f64 v m)) m) v) v))
(+.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m))
(*.f64 (/.f64 (-.f64 (/.f64 m v) #s(literal 1 binary64)) (neg.f64 (fabs.f64 m))) (/.f64 #s(literal 1 binary64) (neg.f64 (fabs.f64 m))))
(*.f64 (/.f64 (-.f64 (/.f64 m v) #s(literal 1 binary64)) (neg.f64 (neg.f64 m))) (/.f64 #s(literal 1 binary64) m))
(*.f64 (/.f64 (-.f64 (/.f64 m v) #s(literal 1 binary64)) (fabs.f64 m)) (/.f64 #s(literal 1 binary64) m))
(.f64 (/.f64 (-.f64 m v) #s(literal 1 binary64)) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 v m)) m))
(.f64 (/.f64 (-.f64 (/.f64 m v) #s(literal 1 binary64)) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (.f64 m m)))
(.f64 (/.f64 (-.f64 m v) m) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 v m)) #s(literal 1 binary64)))
(.f64 (/.f64 (-.f64 m v) m) (/.f64 #s(literal 1 binary64) (.f64 v m)))
(.f64 (/.f64 (/.f64 (-.f64 m v) (.f64 v m)) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) m))
(.f64 (.f64 (/.f64 (-.f64 m v) (*.f64 v m)) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) m))
(.f64 (/.f64 (-.f64 m v) v) (/.f64 #s(literal 1 binary64) (.f64 m m)))
(.f64 (/.f64 (-.f64 v m) (.f64 v m)) (/.f64 #s(literal -1 binary64) m))
(.f64 (/.f64 (-.f64 m v) (.f64 (*.f64 v m) m)) #s(literal 1 binary64))
(.f64 (/.f64 (-.f64 m v) (.f64 v m)) (/.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)))
(.f64 (/.f64 (-.f64 m v) (.f64 v m)) (/.f64 #s(literal 1 binary64) m))
(.f64 (/.f64 #s(literal 1 binary64) m) (/.f64 (/.f64 (-.f64 m v) (.f64 v m)) #s(literal 1 binary64)))
(.f64 (/.f64 #s(literal 1 binary64) m) (/.f64 (-.f64 m v) (.f64 v m)))
(.f64 #s(literal 1 binary64) (/.f64 (-.f64 m v) (.f64 (*.f64 v m) m)))
(/.f64 (-.f64 (/.f64 #s(literal -1 binary64) v) (/.f64 #s(literal -1 binary64) m)) (neg.f64 m))
(/.f64 (neg.f64 (.f64 (/.f64 (-.f64 m v) (.f64 v m)) #s(literal 1 binary64))) (neg.f64 m))
(/.f64 (neg.f64 (.f64 (-.f64 m v) (/.f64 #s(literal 1 binary64) m))) (neg.f64 (.f64 v m)))
(/.f64 (neg.f64 (-.f64 (.f64 (/.f64 #s(literal 1 binary64) (.f64 v m)) m) (/.f64 #s(literal 1 binary64) m))) (neg.f64 m))
(/.f64 (neg.f64 (-.f64 (/.f64 m v) (.f64 m (/.f64 #s(literal 1 binary64) m)))) (neg.f64 (.f64 m m)))
(/.f64 (neg.f64 (.f64 (-.f64 (/.f64 m v) #s(literal 1 binary64)) #s(literal -1 binary64))) (.f64 m m))
(/.f64 (neg.f64 (.f64 (-.f64 (/.f64 m v) #s(literal 1 binary64)) #s(literal 1 binary64))) (neg.f64 (.f64 m m)))
(/.f64 (neg.f64 (.f64 (-.f64 m v) #s(literal -1 binary64))) (neg.f64 (.f64 (*.f64 v m) (neg.f64 m))))
(/.f64 (neg.f64 (.f64 (-.f64 m v) #s(literal 1 binary64))) (neg.f64 (.f64 (*.f64 v m) m)))
(/.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 v m) (.f64 v m))) m)
(/.f64 (.f64 (/.f64 (-.f64 m v) (.f64 v m)) #s(literal 1 binary64)) m)
(/.f64 (.f64 (-.f64 m v) (/.f64 #s(literal 1 binary64) m)) (.f64 v m))
(/.f64 (-.f64 #s(literal 1 binary64) (/.f64 m v)) (*.f64 (neg.f64 m) m))
(/.f64 (-.f64 #s(literal 1 binary64) (/.f64 m v)) (*.f64 m (neg.f64 m)))
(/.f64 (-.f64 (.f64 (/.f64 #s(literal 1 binary64) (.f64 v m)) m) (/.f64 #s(literal 1 binary64) m)) m)
(/.f64 (-.f64 (/.f64 m v) (.f64 m (/.f64 #s(literal 1 binary64) m))) (.f64 m m))
(/.f64 (.f64 (-.f64 (/.f64 m v) #s(literal 1 binary64)) #s(literal -1 binary64)) (.f64 m (neg.f64 m)))
(/.f64 (.f64 (-.f64 (/.f64 m v) #s(literal 1 binary64)) #s(literal 1 binary64)) (.f64 m m))
(/.f64 (.f64 (-.f64 m v) #s(literal -1 binary64)) (.f64 (*.f64 v m) (neg.f64 m)))
(/.f64 (.f64 (-.f64 m v) #s(literal 1 binary64)) (.f64 (*.f64 v m) m))
(/.f64 (neg.f64 (-.f64 (/.f64 m v) #s(literal 1 binary64))) (neg.f64 (*.f64 m m)))
(/.f64 (neg.f64 (-.f64 m v)) (neg.f64 (.f64 (.f64 v m) m)))
(/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) (neg.f64 (neg.f64 (neg.f64 m))))
(/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) (neg.f64 m))
(/.f64 (-.f64 (/.f64 m v) #s(literal 1 binary64)) (*.f64 m m))
(/.f64 (-.f64 m v) (.f64 (.f64 v m) m))
(/.f64 (/.f64 (-.f64 m v) (*.f64 v m)) (neg.f64 (neg.f64 m)))
(/.f64 (/.f64 (-.f64 m v) (*.f64 v m)) m)
(neg.f64 (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m))
(fma.f64 (/.f64 (/.f64 #s(literal 1 binary64) v) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) m) (/.f64 (/.f64 #s(literal -1 binary64) m) (neg.f64 (neg.f64 m))))
(fma.f64 (/.f64 (/.f64 #s(literal 1 binary64) v) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) m) (neg.f64 (/.f64 #s(literal 1 binary64) (*.f64 m m))))
(fma.f64 (/.f64 (/.f64 #s(literal 1 binary64) v) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) m) (/.f64 (/.f64 #s(literal -1 binary64) m) m))
(fma.f64 (/.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v) (/.f64 (/.f64 #s(literal -1 binary64) m) (neg.f64 (neg.f64 m))))
(fma.f64 (/.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v) (neg.f64 (/.f64 #s(literal 1 binary64) (*.f64 m m))))
(fma.f64 (/.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) v) (/.f64 (/.f64 #s(literal -1 binary64) m) m))
(fma.f64 (/.f64 #s(literal -1 binary64) m) (/.f64 (/.f64 #s(literal -1 binary64) v) #s(literal 1 binary64)) (/.f64 (/.f64 #s(literal -1 binary64) m) (neg.f64 (neg.f64 m))))
(fma.f64 (/.f64 #s(literal -1 binary64) m) (/.f64 (/.f64 #s(literal -1 binary64) v) #s(literal 1 binary64)) (neg.f64 (/.f64 #s(literal 1 binary64) (*.f64 m m))))
(fma.f64 (/.f64 #s(literal -1 binary64) m) (/.f64 (/.f64 #s(literal -1 binary64) v) #s(literal 1 binary64)) (/.f64 (/.f64 #s(literal -1 binary64) m) m))
(fma.f64 (/.f64 #s(literal -1 binary64) m) (/.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (*.f64 v m)))
(fma.f64 (/.f64 #s(literal -1 binary64) m) (/.f64 #s(literal -1 binary64) v) (/.f64 (/.f64 #s(literal -1 binary64) m) (neg.f64 (neg.f64 m))))
(fma.f64 (/.f64 #s(literal -1 binary64) m) (/.f64 #s(literal -1 binary64) v) (neg.f64 (/.f64 #s(literal 1 binary64) (*.f64 m m))))
(fma.f64 (/.f64 #s(literal -1 binary64) m) (/.f64 #s(literal -1 binary64) v) (/.f64 (/.f64 #s(literal -1 binary64) m) m))
(fma.f64 (/.f64 #s(literal -1 binary64) v) (/.f64 (/.f64 #s(literal -1 binary64) m) #s(literal 1 binary64)) (/.f64 (/.f64 #s(literal -1 binary64) m) (neg.f64 (neg.f64 m))))
(fma.f64 (/.f64 #s(literal -1 binary64) v) (/.f64 (/.f64 #s(literal -1 binary64) m) #s(literal 1 binary64)) (neg.f64 (/.f64 #s(literal 1 binary64) (*.f64 m m))))
(fma.f64 (/.f64 #s(literal -1 binary64) v) (/.f64 (/.f64 #s(literal -1 binary64) m) #s(literal 1 binary64)) (/.f64 (/.f64 #s(literal -1 binary64) m) m))
(fma.f64 (/.f64 #s(literal -1 binary64) v) (/.f64 #s(literal -1 binary64) m) (/.f64 (/.f64 #s(literal -1 binary64) m) (neg.f64 (neg.f64 m))))
(fma.f64 (/.f64 #s(literal -1 binary64) v) (/.f64 #s(literal -1 binary64) m) (neg.f64 (/.f64 #s(literal 1 binary64) (*.f64 m m))))
(fma.f64 (/.f64 #s(literal -1 binary64) v) (/.f64 #s(literal -1 binary64) m) (/.f64 (/.f64 #s(literal -1 binary64) m) m))
(fma.f64 (/.f64 #s(literal 1 binary64) (*.f64 v m)) #s(literal 1 binary64) (/.f64 (/.f64 #s(literal -1 binary64) m) (neg.f64 (neg.f64 m))))
(fma.f64 (/.f64 #s(literal 1 binary64) (.f64 v m)) #s(literal 1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (.f64 m m))))
(fma.f64 (/.f64 #s(literal 1 binary64) (*.f64 v m)) #s(literal 1 binary64) (/.f64 (/.f64 #s(literal -1 binary64) m) m))
(fma.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) (/.f64 (/.f64 #s(literal -1 binary64) m) (neg.f64 (neg.f64 m))))
(fma.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) (neg.f64 (/.f64 #s(literal 1 binary64) (*.f64 m m))))
(fma.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)) (/.f64 (/.f64 #s(literal -1 binary64) m) m))
(fma.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) m) (/.f64 (/.f64 #s(literal -1 binary64) m) (neg.f64 (neg.f64 m))))
(fma.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) m) (neg.f64 (/.f64 #s(literal 1 binary64) (*.f64 m m))))
(fma.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) m) (/.f64 (/.f64 #s(literal -1 binary64) m) m))
(fma.f64 #s(literal -1 binary64) (/.f64 (/.f64 #s(literal -1 binary64) m) v) (/.f64 (/.f64 #s(literal -1 binary64) m) (neg.f64 (neg.f64 m))))
(fma.f64 #s(literal -1 binary64) (/.f64 (/.f64 #s(literal -1 binary64) m) v) (neg.f64 (/.f64 #s(literal 1 binary64) (*.f64 m m))))
(fma.f64 #s(literal -1 binary64) (/.f64 (/.f64 #s(literal -1 binary64) m) v) (/.f64 (/.f64 #s(literal -1 binary64) m) m))
(fma.f64 #s(literal -1 binary64) (/.f64 (/.f64 #s(literal -1 binary64) v) m) (/.f64 (/.f64 #s(literal -1 binary64) m) (neg.f64 (neg.f64 m))))
(fma.f64 #s(literal -1 binary64) (/.f64 (/.f64 #s(literal -1 binary64) v) m) (neg.f64 (/.f64 #s(literal 1 binary64) (*.f64 m m))))
(fma.f64 #s(literal -1 binary64) (/.f64 (/.f64 #s(literal -1 binary64) v) m) (/.f64 (/.f64 #s(literal -1 binary64) m) m))
(fma.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (.f64 m m)) (/.f64 #s(literal 1 binary64) (.f64 v m)))
(fma.f64 (/.f64 #s(literal 1 binary64) m) (/.f64 (/.f64 #s(literal 1 binary64) v) #s(literal 1 binary64)) (/.f64 (/.f64 #s(literal -1 binary64) m) (neg.f64 (neg.f64 m))))
(fma.f64 (/.f64 #s(literal 1 binary64) m) (/.f64 (/.f64 #s(literal 1 binary64) v) #s(literal 1 binary64)) (neg.f64 (/.f64 #s(literal 1 binary64) (*.f64 m m))))
(fma.f64 (/.f64 #s(literal 1 binary64) m) (/.f64 (/.f64 #s(literal 1 binary64) v) #s(literal 1 binary64)) (/.f64 (/.f64 #s(literal -1 binary64) m) m))
(fma.f64 (/.f64 #s(literal 1 binary64) m) (/.f64 (/.f64 #s(literal -1 binary64) m) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (*.f64 v m)))
(fma.f64 (/.f64 #s(literal 1 binary64) m) (/.f64 #s(literal 1 binary64) v) (/.f64 (/.f64 #s(literal -1 binary64) m) (neg.f64 (neg.f64 m))))
(fma.f64 (/.f64 #s(literal 1 binary64) m) (/.f64 #s(literal 1 binary64) v) (neg.f64 (/.f64 #s(literal 1 binary64) (*.f64 m m))))
(fma.f64 (/.f64 #s(literal 1 binary64) m) (/.f64 #s(literal 1 binary64) v) (/.f64 (/.f64 #s(literal -1 binary64) m) m))
(fma.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal -1 binary64) m) m) (/.f64 #s(literal 1 binary64) (*.f64 v m)))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (*.f64 v m)) (/.f64 (/.f64 #s(literal -1 binary64) m) (neg.f64 (neg.f64 m))))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 v m)) (neg.f64 (/.f64 #s(literal 1 binary64) (.f64 m m))))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (*.f64 v m)) (/.f64 (/.f64 #s(literal -1 binary64) m) m))
(-.f64 (/.f64 (.f64 (/.f64 #s(literal 1 binary64) (.f64 v m)) m) m) (/.f64 #s(literal 1 binary64) (*.f64 m m)))
(-.f64 (/.f64 (/.f64 (/.f64 m v) m) (neg.f64 (neg.f64 m))) (/.f64 #s(literal 1 binary64) (*.f64 m m)))
(-.f64 (/.f64 (/.f64 m (.f64 v m)) (neg.f64 (neg.f64 m))) (/.f64 (/.f64 v (.f64 v m)) (neg.f64 (neg.f64 m))))
(-.f64 (/.f64 (/.f64 (/.f64 m v) m) m) (/.f64 #s(literal 1 binary64) (*.f64 m m)))
(-.f64 (/.f64 (/.f64 m (.f64 v m)) m) (/.f64 (/.f64 v (.f64 v m)) m))
(-.f64 (/.f64 (/.f64 m v) (.f64 m m)) (/.f64 (.f64 m (/.f64 #s(literal 1 binary64) m)) (*.f64 m m)))
(-.f64 (/.f64 (/.f64 m v) (.f64 m m)) (/.f64 #s(literal 1 binary64) (.f64 m m)))
(-.f64 (/.f64 m (.f64 (.f64 v m) m)) (/.f64 v (.f64 (.f64 v m) m)))
(-.f64 (/.f64 (/.f64 #s(literal -1 binary64) m) m) (/.f64 (/.f64 #s(literal 1 binary64) v) (neg.f64 m)))
(-.f64 (/.f64 #s(literal 1 binary64) (.f64 v m)) (/.f64 #s(literal 1 binary64) (.f64 m m)))
(+.f64 (/.f64 (/.f64 m v) (.f64 m m)) (/.f64 #s(literal -1 binary64) (.f64 m m)))
(+.f64 (/.f64 m (.f64 (.f64 v m) m)) (/.f64 (.f64 (neg.f64 v) #s(literal 1 binary64)) (.f64 (*.f64 v m) m)))
(+.f64 (/.f64 m (.f64 (.f64 v m) m)) (/.f64 (neg.f64 v) (.f64 (.f64 v m) m)))
(+.f64 (/.f64 (/.f64 #s(literal -1 binary64) m) (neg.f64 (neg.f64 m))) (/.f64 #s(literal 1 binary64) (*.f64 v m)))
(+.f64 (/.f64 (/.f64 #s(literal -1 binary64) m) m) (/.f64 #s(literal 1 binary64) (*.f64 v m)))
(+.f64 (/.f64 #s(literal 1 binary64) (*.f64 v m)) (/.f64 (/.f64 #s(literal -1 binary64) m) (neg.f64 (neg.f64 m))))
(+.f64 (/.f64 #s(literal 1 binary64) (.f64 v m)) (neg.f64 (/.f64 #s(literal 1 binary64) (.f64 m m))))
(+.f64 (/.f64 #s(literal 1 binary64) (*.f64 v m)) (/.f64 (/.f64 #s(literal -1 binary64) m) m))
(*.f64 (-.f64 (/.f64 m v) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) m))
(.f64 (-.f64 m v) (/.f64 #s(literal 1 binary64) (.f64 v m)))
(.f64 #s(literal 1 binary64) (/.f64 (-.f64 m v) (.f64 v m)))
(/.f64 (neg.f64 (/.f64 (-.f64 m v) v)) (neg.f64 m))
(/.f64 (neg.f64 (-.f64 (*.f64 (/.f64 #s(literal 1 binary64) v) (neg.f64 m)) #s(literal -1 binary64))) (neg.f64 (neg.f64 m)))
(/.f64 (neg.f64 (-.f64 (.f64 #s(literal -1 binary64) (neg.f64 m)) (.f64 (neg.f64 v) #s(literal -1 binary64)))) (neg.f64 (*.f64 (neg.f64 v) (neg.f64 m))))
(/.f64 (neg.f64 (-.f64 (.f64 #s(literal -1 binary64) m) (.f64 (neg.f64 v) #s(literal 1 binary64)))) (neg.f64 (*.f64 (neg.f64 v) m)))
(/.f64 (neg.f64 (-.f64 (.f64 #s(literal 1 binary64) (neg.f64 m)) (.f64 v #s(literal -1 binary64)))) (neg.f64 (*.f64 v (neg.f64 m))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (/.f64 m v) #s(literal 1 binary64)))) (neg.f64 (neg.f64 m)))
(/.f64 (neg.f64 (neg.f64 (-.f64 m v))) (neg.f64 (neg.f64 (*.f64 v m))))
(/.f64 (/.f64 (-.f64 m v) v) m)
(/.f64 (-.f64 (*.f64 (/.f64 #s(literal 1 binary64) v) (neg.f64 m)) #s(literal -1 binary64)) (neg.f64 m))
(/.f64 (-.f64 (.f64 #s(literal -1 binary64) (neg.f64 m)) (.f64 (neg.f64 v) #s(literal -1 binary64))) (*.f64 (neg.f64 v) (neg.f64 m)))
(/.f64 (-.f64 (.f64 #s(literal -1 binary64) m) (.f64 (neg.f64 v) #s(literal 1 binary64))) (*.f64 (neg.f64 v) m))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (neg.f64 m)) (.f64 v #s(literal -1 binary64))) (*.f64 v (neg.f64 m)))
(/.f64 (neg.f64 (-.f64 (/.f64 m v) #s(literal 1 binary64))) (neg.f64 m))
(/.f64 (neg.f64 (-.f64 m v)) (neg.f64 (*.f64 v m)))
(/.f64 (-.f64 (/.f64 m v) #s(literal 1 binary64)) m)
(/.f64 (-.f64 m v) (*.f64 v m))
(neg.f64 (/.f64 (-.f64 v m) (*.f64 v m)))
(fma.f64 (/.f64 (neg.f64 m) m) (/.f64 (/.f64 #s(literal -1 binary64) v) #s(literal 1 binary64)) (/.f64 #s(literal -1 binary64) m))
(fma.f64 (/.f64 (/.f64 #s(literal 1 binary64) v) #s(literal 1 binary64)) (/.f64 m m) (/.f64 #s(literal -1 binary64) m))
(fma.f64 (/.f64 (neg.f64 m) #s(literal 1 binary64)) (/.f64 (/.f64 #s(literal -1 binary64) v) m) (/.f64 #s(literal -1 binary64) m))
(fma.f64 (/.f64 m #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (*.f64 v m)) (/.f64 #s(literal -1 binary64) m))
(fma.f64 (/.f64 m m) (/.f64 (/.f64 #s(literal 1 binary64) v) #s(literal 1 binary64)) (/.f64 #s(literal -1 binary64) m))
(fma.f64 (/.f64 m m) (/.f64 #s(literal 1 binary64) v) (/.f64 (.f64 (neg.f64 v) #s(literal 1 binary64)) (.f64 v m)))
(fma.f64 (/.f64 m m) (/.f64 #s(literal 1 binary64) v) (/.f64 (neg.f64 v) (*.f64 v m)))
(fma.f64 (/.f64 #s(literal -1 binary64) m) #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) v))
(fma.f64 (/.f64 #s(literal -1 binary64) v) #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) m))
(fma.f64 (/.f64 #s(literal 1 binary64) (*.f64 v m)) (/.f64 m #s(literal 1 binary64)) (/.f64 #s(literal -1 binary64) m))
(fma.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 m m) (/.f64 (.f64 (neg.f64 v) #s(literal 1 binary64)) (.f64 v m)))
(fma.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 m m) (/.f64 (neg.f64 v) (*.f64 v m)))
(fma.f64 (/.f64 #s(literal 1 binary64) v) #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) m))
(fma.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) v) (/.f64 #s(literal -1 binary64) m))
(fma.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) m) (/.f64 #s(literal 1 binary64) v))
(fma.f64 (/.f64 #s(literal 1 binary64) m) (/.f64 (/.f64 m v) #s(literal 1 binary64)) (/.f64 #s(literal -1 binary64) m))
(fma.f64 (/.f64 #s(literal 1 binary64) m) #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) v))
(fma.f64 (/.f64 #s(literal 1 binary64) m) (/.f64 m v) (/.f64 (.f64 (neg.f64 v) #s(literal 1 binary64)) (.f64 v m)))
(fma.f64 (/.f64 #s(literal 1 binary64) m) (/.f64 m v) (/.f64 (neg.f64 v) (*.f64 v m)))
(fma.f64 (/.f64 m v) (/.f64 #s(literal 1 binary64) m) (/.f64 (.f64 (neg.f64 v) #s(literal 1 binary64)) (.f64 v m)))
(fma.f64 (/.f64 m v) (/.f64 #s(literal 1 binary64) m) (/.f64 (neg.f64 v) (*.f64 v m)))
(fma.f64 #s(literal 1 binary64) (/.f64 (/.f64 m v) m) (/.f64 #s(literal -1 binary64) m))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) m) (/.f64 #s(literal 1 binary64) v))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal -1 binary64) m))
(-.f64 (/.f64 (*.f64 (/.f64 #s(literal 1 binary64) v) (neg.f64 m)) (neg.f64 m)) (/.f64 #s(literal 1 binary64) m))
(-.f64 (/.f64 (.f64 #s(literal -1 binary64) (neg.f64 m)) (.f64 (neg.f64 v) (neg.f64 m))) (/.f64 (.f64 (neg.f64 v) #s(literal -1 binary64)) (.f64 (neg.f64 v) (neg.f64 m))))
(-.f64 (/.f64 (.f64 #s(literal -1 binary64) m) (.f64 (neg.f64 v) m)) (/.f64 (.f64 (neg.f64 v) #s(literal 1 binary64)) (.f64 (neg.f64 v) m)))
(-.f64 (/.f64 (.f64 #s(literal 1 binary64) (neg.f64 m)) (.f64 v (neg.f64 m))) (/.f64 (.f64 v #s(literal -1 binary64)) (.f64 v (neg.f64 m))))
(-.f64 (/.f64 (/.f64 m v) m) (/.f64 #s(literal 1 binary64) m))
(-.f64 (/.f64 m (.f64 v m)) (/.f64 v (.f64 v m)))
(-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) m))
(+.f64 (/.f64 (/.f64 m v) m) (/.f64 #s(literal -1 binary64) m))
(+.f64 (/.f64 m (.f64 v m)) (/.f64 (.f64 (neg.f64 v) #s(literal 1 binary64)) (*.f64 v m)))
(+.f64 (/.f64 m (.f64 v m)) (/.f64 (neg.f64 v) (.f64 v m)))
(+.f64 (/.f64 #s(literal -1 binary64) m) (/.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) v) #s(literal -1 binary64))
(*.f64 (/.f64 #s(literal 1 binary64) v) #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) v))
(*.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) v))
(pow.f64 v #s(literal -1 binary64))
(/.f64 #s(literal -1 binary64) (neg.f64 v))
(/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 v)))
(/.f64 #s(literal 1 binary64) (fabs.f64 v))
(/.f64 #s(literal 1 binary64) v)
(neg.f64 (/.f64 #s(literal -1 binary64) v))
(fma.f64 (/.f64 #s(literal -1 binary64) v) #s(literal -1 binary64) (/.f64 #s(literal 0 binary64) v))
(fma.f64 (/.f64 #s(literal 1 binary64) v) #s(literal 1 binary64) (/.f64 #s(literal 0 binary64) v))
(fma.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) v) (/.f64 #s(literal 0 binary64) v))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 0 binary64) v))
(sqrt.f64 (/.f64 #s(literal 1 binary64) (*.f64 v v)))
(fabs.f64 (/.f64 #s(literal -1 binary64) v))
(fabs.f64 (/.f64 #s(literal 1 binary64) v))
(+.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 0 binary64) v))

eval92.0ms (5.6%)

Memory: -19.9MiB live, 86.1MiB allocated; 14ms collecting garbage
Compiler: Compiled 7 259 to 3 332 computations (54.1% saved)

prune35.0ms (2.2%)

Memory

7.1MiB live, 50.3MiB allocated; 5ms collecting garbage

Pruning

13 alts after pruning (9 fresh and 4 done)

	Pruned	Kept	Total
New	713	7	720
Fresh	1	2	3
Picked	2	3	5
Done	1	1	2
Total	717	13	730

Accuracy

100.0%

Counts

730 → 13

Alt Table

Click to see full alt table

Status	Accuracy	Program
	45.3%	(.f64 (fma.f64 (/.f64 #s(literal 1 binary64) v) #s(approx ( m (- 1 m)) m) #s(literal -1 binary64)) m)
✓	45.3%	(.f64 (-.f64 (/.f64 #s(approx ( m (- 1 m)) m) v) #s(literal 1 binary64)) m)
	74.5%	(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (/.f64 (.f64 m #s(approx (- 1 m) (.f64 m (-.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (*.f64 m m))) #s(literal 1 binary64))))) v)) m)
▶	22.8%	(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (/.f64 (.f64 m #s(approx (- 1 m) (.f64 m #s(approx (- (/ 1 m) 1) (/.f64 #s(literal 1 binary64) m))))) v)) m)
▶	77.4%	(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m)) m)
✓	77.4%	(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 m v) (-.f64 #s(literal 1 binary64) m))) m)
▶	22.8%	(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) #s(approx (* (/ m v) (- 1 m)) (/.f64 m v))) m)
✓	25.8%	(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) #s(literal -1 binary64)) m)
	27.8%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (fma.f64 (/.f64 (neg.f64 m) v) (.f64 m m) (.f64 (.f64 (neg.f64 m) (.f64 m m)) (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m))))
▶	75.8%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (/.f64 (*.f64 (pow.f64 m #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) m)) v))
✓	54.5%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (/.f64 (.f64 (.f64 m m) m) (neg.f64 v)))
▶	54.5%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 m (/.f64 (.f64 (neg.f64 m) m) v)))
	54.5%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 m (.f64 m (/.f64 (neg.f64 m) v))))

Compiler

Compiled 322 to 312 computations (3.1% saved)

series21.0ms (1.3%)

Memory

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	134	800

Stop Event

1×	iter-limit

Counts

30 → 48

Calls

Call 1

Inputs
(.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 #s(literal 1 binary64) m) v)
(-.f64 #s(literal 1 binary64) m)
#s(literal 1 binary64)
m
v
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) #s(approx (* (/ m v) (- 1 m)) (/.f64 m v))) m)
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(approx (* (/ m v) (- 1 m)) (/.f64 m v)))
#s(approx (* (/ m v) (- 1 m)) (/.f64 m v))
(/.f64 m v)
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 m (/.f64 (.f64 (neg.f64 m) m) v)))
(.f64 m (/.f64 (.f64 (neg.f64 m) m) v))
(/.f64 (*.f64 (neg.f64 m) m) v)
(*.f64 (neg.f64 m) m)
(neg.f64 m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (/.f64 (.f64 m #s(approx (- 1 m) (.f64 m #s(approx (- (/ 1 m) 1) (/.f64 #s(literal 1 binary64) m))))) v)) m)
#s(approx (- (/ (* m (- 1 m)) v) 1) (/.f64 (.f64 m #s(approx (- 1 m) (.f64 m #s(approx (- (/ 1 m) 1) (/.f64 #s(literal 1 binary64) m))))) v))
(/.f64 (.f64 m #s(approx (- 1 m) (.f64 m #s(approx (- (/ 1 m) 1) (/.f64 #s(literal 1 binary64) m))))) v)
(.f64 m #s(approx (- 1 m) (.f64 m #s(approx (- (/ 1 m) 1) (/.f64 #s(literal 1 binary64) m)))))
#s(approx (- 1 m) (*.f64 m #s(approx (- (/ 1 m) 1) (/.f64 #s(literal 1 binary64) m))))
(*.f64 m #s(approx (- (/ 1 m) 1) (/.f64 #s(literal 1 binary64) m)))
#s(approx (- (/ 1 m) 1) (/.f64 #s(literal 1 binary64) m))
(/.f64 #s(literal 1 binary64) m)
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (/.f64 (*.f64 (pow.f64 m #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) m)) v))
(/.f64 (*.f64 (pow.f64 m #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) m)) v)
(*.f64 (pow.f64 m #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) m))
(pow.f64 m #s(literal 2 binary64))
#s(literal 2 binary64)

Outputs
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (*.f64 #s(literal -1 binary64) m))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (*.f64 m (-.f64 (/.f64 m v) #s(literal 1 binary64))))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 m (-.f64 (.f64 m (fma.f64 #s(literal -1 binary64) (/.f64 m v) (/.f64 #s(literal 1 binary64) v))) #s(literal 1 binary64))))
#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) (-.f64 (*.f64 m (fma.f64 #s(literal -1 binary64) (/.f64 m v) (/.f64 #s(literal 1 binary64) v))) #s(literal 1 binary64)))
#s(approx (* (/ (- 1 m) v) m) (/.f64 m v))
#s(approx (* (/ (- 1 m) v) m) (*.f64 m (fma.f64 #s(literal -1 binary64) (/.f64 m v) (/.f64 #s(literal 1 binary64) v))))
#s(approx (/ (- 1 m) v) (/.f64 #s(literal 1 binary64) v))
#s(approx (/ (- 1 m) v) (fma.f64 #s(literal -1 binary64) (/.f64 m v) (/.f64 #s(literal 1 binary64) v)))
#s(approx (- 1 m) #s(literal 1 binary64))
#s(approx (- 1 m) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) m)))
#s(approx m m)
#s(approx (* m (/ (* (neg m) m) v)) (*.f64 #s(literal -1 binary64) (/.f64 (pow.f64 m #s(literal 3 binary64)) v)))
#s(approx (/ (* (neg m) m) v) (*.f64 #s(literal -1 binary64) (/.f64 (pow.f64 m #s(literal 2 binary64)) v)))
#s(approx (* (neg m) m) (*.f64 #s(literal -1 binary64) (pow.f64 m #s(literal 2 binary64))))
#s(approx (* m (- 1 m)) (.f64 m (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) m))))
#s(approx (- (/ 1 m) 1) (/.f64 #s(literal 1 binary64) m))
#s(approx (- (/ 1 m) 1) (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) m)) m))
#s(approx (/ (* (pow m 2) (- 1 m)) v) (/.f64 (pow.f64 m #s(literal 2 binary64)) v))
#s(approx (/ (* (pow m 2) (- 1 m)) v) (*.f64 (pow.f64 m #s(literal 2 binary64)) (fma.f64 #s(literal -1 binary64) (/.f64 m v) (/.f64 #s(literal 1 binary64) v))))
#s(approx (* (pow m 2) (- 1 m)) (pow.f64 m #s(literal 2 binary64)))
#s(approx (* (pow m 2) (- 1 m)) (.f64 (pow.f64 m #s(literal 2 binary64)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) m))))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 (pow.f64 m #s(literal 3 binary64)) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 m v)) (/.f64 #s(literal 1 binary64) v))))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 (pow.f64 m #s(literal 3 binary64)) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 m v)) (+.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) (pow.f64 m #s(literal 2 binary64)))))))
#s(approx (- (/ (* m (- 1 m)) v) 1) (.f64 (pow.f64 m #s(literal 2 binary64)) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 m v)) (/.f64 #s(literal 1 binary64) v))))
#s(approx (- (/ (* m (- 1 m)) v) 1) (.f64 (pow.f64 m #s(literal 2 binary64)) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 m v)) (+.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) (pow.f64 m #s(literal 2 binary64)))))))
#s(approx (/ (- 1 m) v) (*.f64 #s(literal -1 binary64) (/.f64 m v)))
#s(approx (/ (- 1 m) v) (.f64 m (-.f64 (/.f64 #s(literal 1 binary64) (.f64 m v)) (/.f64 #s(literal 1 binary64) v))))
#s(approx (- 1 m) (*.f64 m (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64))))
#s(approx (* m (- 1 m)) (*.f64 (pow.f64 m #s(literal 2 binary64)) (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64))))
#s(approx (- (/ 1 m) 1) (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)))
#s(approx (* (pow m 2) (- 1 m)) (*.f64 #s(literal -1 binary64) (pow.f64 m #s(literal 3 binary64))))
#s(approx (* (pow m 2) (- 1 m)) (*.f64 (pow.f64 m #s(literal 3 binary64)) (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64))))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 #s(literal -1 binary64) (.f64 (pow.f64 m #s(literal 3 binary64)) (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) (*.f64 m v))))))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 #s(literal -1 binary64) (.f64 (pow.f64 m #s(literal 3 binary64)) (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) m)) m) (/.f64 #s(literal 1 binary64) v)))))
#s(approx (- (/ (* m (- 1 m)) v) 1) (.f64 (pow.f64 m #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) m) (/.f64 #s(literal 1 binary64) v)) m)) (/.f64 #s(literal 1 binary64) v))))
#s(approx (/ (- 1 m) v) (.f64 #s(literal -1 binary64) (.f64 m (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) (*.f64 m v))))))
#s(approx (- 1 m) (.f64 #s(literal -1 binary64) (.f64 m (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) m)))))
#s(approx (* (pow m 2) (- 1 m)) (.f64 #s(literal -1 binary64) (.f64 (pow.f64 m #s(literal 3 binary64)) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) m)))))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (/.f64 (*.f64 (pow.f64 m #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) m)) v))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (/.f64 (fma.f64 #s(literal -1 binary64) (.f64 m v) (.f64 (pow.f64 m #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) m))) v))
#s(approx (- (/ (* m (- 1 m)) v) 1) (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) v))
#s(approx (- (/ (* m (- 1 m)) v) 1) (/.f64 (fma.f64 #s(literal -1 binary64) v (*.f64 m (-.f64 #s(literal 1 binary64) m))) v))
#s(approx (/ (- 1 m) v) (/.f64 (-.f64 #s(literal 1 binary64) m) v))
#s(approx v v)
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (fma.f64 #s(literal -1 binary64) m (/.f64 (*.f64 (pow.f64 m #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) m)) v)))
#s(approx (- (/ (* m (- 1 m)) v) 1) (-.f64 (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)))

Calls

6 calls:

Time	Variable		Point	Expression
3.0ms	m	@	-inf	((* (- (/ (* 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)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (* (/ m v) (- 1 m)) (/ m v) (* (- (/ (* m (- 1 m)) v) 1) m) (* m (/ (* (neg m) m) v)) (/ (* (neg m) m) v) (* (neg m) m) (neg m) (* (- (/ (* m (- 1 m)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (/ (* m (- 1 m)) v) (* m (- 1 m)) (- 1 m) (* m (- (/ 1 m) 1)) (- (/ 1 m) 1) (/ 1 m) (* (- (/ (* m (- 1 m)) v) 1) m) (/ (* (pow m 2) (- 1 m)) v) (* (pow m 2) (- 1 m)) (pow m 2) 2)
3.0ms	m	@	inf	((* (- (/ (* 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)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (* (/ m v) (- 1 m)) (/ m v) (* (- (/ (* m (- 1 m)) v) 1) m) (* m (/ (* (neg m) m) v)) (/ (* (neg m) m) v) (* (neg m) m) (neg m) (* (- (/ (* m (- 1 m)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (/ (* m (- 1 m)) v) (* m (- 1 m)) (- 1 m) (* m (- (/ 1 m) 1)) (- (/ 1 m) 1) (/ 1 m) (* (- (/ (* m (- 1 m)) v) 1) m) (/ (* (pow m 2) (- 1 m)) v) (* (pow m 2) (- 1 m)) (pow m 2) 2)
3.0ms	v	@	0	((* (- (/ (* 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)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (* (/ m v) (- 1 m)) (/ m v) (* (- (/ (* m (- 1 m)) v) 1) m) (* m (/ (* (neg m) m) v)) (/ (* (neg m) m) v) (* (neg m) m) (neg m) (* (- (/ (* m (- 1 m)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (/ (* m (- 1 m)) v) (* m (- 1 m)) (- 1 m) (* m (- (/ 1 m) 1)) (- (/ 1 m) 1) (/ 1 m) (* (- (/ (* m (- 1 m)) v) 1) m) (/ (* (pow m 2) (- 1 m)) v) (* (pow m 2) (- 1 m)) (pow m 2) 2)
3.0ms	m	@	0	((* (- (/ (* 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)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (* (/ m v) (- 1 m)) (/ m v) (* (- (/ (* m (- 1 m)) v) 1) m) (* m (/ (* (neg m) m) v)) (/ (* (neg m) m) v) (* (neg m) m) (neg m) (* (- (/ (* m (- 1 m)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (/ (* m (- 1 m)) v) (* m (- 1 m)) (- 1 m) (* m (- (/ 1 m) 1)) (- (/ 1 m) 1) (/ 1 m) (* (- (/ (* m (- 1 m)) v) 1) m) (/ (* (pow m 2) (- 1 m)) v) (* (pow m 2) (- 1 m)) (pow m 2) 2)
2.0ms	v	@	-inf	((* (- (/ (* 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)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (* (/ m v) (- 1 m)) (/ m v) (* (- (/ (* m (- 1 m)) v) 1) m) (* m (/ (* (neg m) m) v)) (/ (* (neg m) m) v) (* (neg m) m) (neg m) (* (- (/ (* m (- 1 m)) v) 1) m) (- (/ (* m (- 1 m)) v) 1) (/ (* m (- 1 m)) v) (* m (- 1 m)) (- 1 m) (* m (- (/ 1 m) 1)) (- (/ 1 m) 1) (/ 1 m) (* (- (/ (* m (- 1 m)) v) 1) m) (/ (* (pow m 2) (- 1 m)) v) (* (pow m 2) (- 1 m)) (pow m 2) 2)

rewrite56.0ms (3.4%)

Memory

6.9MiB live, 53.2MiB allocated; 2ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	327
0	58	327
1	179	323
0	1234	315
1	3500	315

Stop Event

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

Counts

30 → 179

Calls

Call 1

Inputs
(.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 #s(literal 1 binary64) m) v)
(-.f64 #s(literal 1 binary64) m)
#s(literal 1 binary64)
m
v
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) #s(approx (* (/ m v) (- 1 m)) (/.f64 m v))) m)
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(approx (* (/ m v) (- 1 m)) (/.f64 m v)))
#s(approx (* (/ m v) (- 1 m)) (/.f64 m v))
(/.f64 m v)
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 m (/.f64 (.f64 (neg.f64 m) m) v)))
(.f64 m (/.f64 (.f64 (neg.f64 m) m) v))
(/.f64 (*.f64 (neg.f64 m) m) v)
(*.f64 (neg.f64 m) m)
(neg.f64 m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (/.f64 (.f64 m #s(approx (- 1 m) (.f64 m #s(approx (- (/ 1 m) 1) (/.f64 #s(literal 1 binary64) m))))) v)) m)
#s(approx (- (/ (* m (- 1 m)) v) 1) (/.f64 (.f64 m #s(approx (- 1 m) (.f64 m #s(approx (- (/ 1 m) 1) (/.f64 #s(literal 1 binary64) m))))) v))
(/.f64 (.f64 m #s(approx (- 1 m) (.f64 m #s(approx (- (/ 1 m) 1) (/.f64 #s(literal 1 binary64) m))))) v)
(.f64 m #s(approx (- 1 m) (.f64 m #s(approx (- (/ 1 m) 1) (/.f64 #s(literal 1 binary64) m)))))
#s(approx (- 1 m) (*.f64 m #s(approx (- (/ 1 m) 1) (/.f64 #s(literal 1 binary64) m))))
(*.f64 m #s(approx (- (/ 1 m) 1) (/.f64 #s(literal 1 binary64) m)))
#s(approx (- (/ 1 m) 1) (/.f64 #s(literal 1 binary64) m))
(/.f64 #s(literal 1 binary64) m)
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (/.f64 (*.f64 (pow.f64 m #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) m)) v))
(/.f64 (*.f64 (pow.f64 m #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) m)) v)
(*.f64 (pow.f64 m #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) m))
(pow.f64 m #s(literal 2 binary64))
#s(literal 2 binary64)

Outputs
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 m v) (-.f64 #s(literal 1 binary64) m))) m)
(.f64 m #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 m v) (-.f64 #s(literal 1 binary64) m))))
#s(approx (- (/ (* m (- 1 m)) v) 1) (*.f64 (/.f64 m v) (-.f64 #s(literal 1 binary64) m)))
(.f64 (/.f64 #s(literal 1 binary64) v) (.f64 (-.f64 #s(literal 1 binary64) m) m))
(.f64 (.f64 (-.f64 m #s(literal 1 binary64)) m) (/.f64 #s(literal 1 binary64) (neg.f64 v)))
(.f64 (/.f64 m v) (.f64 (-.f64 #s(literal 1 binary64) m) #s(literal 1 binary64)))
(*.f64 (/.f64 m v) (-.f64 #s(literal 1 binary64) m))
(*.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m)
(.f64 (-.f64 #s(literal 1 binary64) m) (.f64 (/.f64 m v) #s(literal 1 binary64)))
(*.f64 (-.f64 #s(literal 1 binary64) m) (/.f64 m v))
(.f64 (.f64 (/.f64 m v) (-.f64 #s(literal 1 binary64) m)) #s(literal 1 binary64))
(.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) (*.f64 (/.f64 #s(literal 1 binary64) v) #s(literal 1 binary64)))
(.f64 (.f64 (-.f64 #s(literal 1 binary64) m) m) (/.f64 #s(literal 1 binary64) v))
(.f64 #s(literal 1 binary64) (.f64 (/.f64 m v) (-.f64 #s(literal 1 binary64) 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 (.f64 (.f64 (/.f64 m v) (-.f64 #s(literal 1 binary64) m)) #s(literal 2 binary64)) #s(literal 2 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) (neg.f64 (neg.f64 v)))
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v)
(neg.f64 (*.f64 (/.f64 m v) (-.f64 m #s(literal 1 binary64))))
(neg.f64 (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) (neg.f64 v)))
(neg.f64 (/.f64 (*.f64 (-.f64 m #s(literal 1 binary64)) m) v))
(neg.f64 (*.f64 (-.f64 m #s(literal 1 binary64)) (/.f64 m v)))
(fma.f64 (/.f64 #s(literal 1 binary64) v) m (/.f64 (*.f64 (neg.f64 m) m) v))
(fma.f64 (neg.f64 m) (/.f64 #s(literal 1 binary64) (neg.f64 v)) (/.f64 (*.f64 (neg.f64 m) 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 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))
(+.f64 (.f64 (/.f64 m v) #s(literal 1 binary64)) (/.f64 (.f64 (neg.f64 m) m) v))
(+.f64 (/.f64 m v) (/.f64 (*.f64 (neg.f64 m) m) v))
(*.f64 (/.f64 #s(literal 1 binary64) v) (-.f64 #s(literal 1 binary64) m))
(*.f64 (-.f64 m #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (neg.f64 v)))
(*.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)) v)
(/.f64 (-.f64 (*.f64 (/.f64 #s(literal 1 binary64) v) (neg.f64 v)) (neg.f64 m)) (neg.f64 v))
(/.f64 (-.f64 (*.f64 (/.f64 #s(literal 1 binary64) v) v) m) v)
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (neg.f64 v)) (.f64 v (neg.f64 m))) (*.f64 v (neg.f64 v)))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) v) (.f64 v m)) (*.f64 v v))
(/.f64 (-.f64 m #s(literal 1 binary64)) (neg.f64 v))
(/.f64 (-.f64 #s(literal 1 binary64) m) (neg.f64 (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)))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) v) (*.f64 (neg.f64 m) (/.f64 #s(literal 1 binary64) v)))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) v) (neg.f64 (/.f64 m 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 #s(literal 1 binary64) v) (*.f64 (neg.f64 m) (/.f64 #s(literal 1 binary64) v)))
(+.f64 (/.f64 #s(literal 1 binary64) v) (neg.f64 (/.f64 m v)))
(+.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 (neg.f64 m) v))
(neg.f64 (-.f64 m #s(literal 1 binary64)))
(-.f64 #s(literal 1 binary64) (neg.f64 (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))
#s(literal 1 binary64)
m
v
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) #s(approx (* (/ m v) (- 1 m)) (/.f64 m v))) m)
(.f64 m #s(approx (- (/ ( m (- 1 m)) v) 1) #s(approx (* (/ m v) (- 1 m)) (/.f64 m v))))
#s(approx (- (/ (* m (- 1 m)) v) 1) #s(approx (* (/ m v) (- 1 m)) (/.f64 m v)))
#s(approx (* (/ m v) (- 1 m)) (/.f64 m v))
(*.f64 (/.f64 #s(literal 1 binary64) v) m)
(*.f64 (neg.f64 m) (/.f64 #s(literal 1 binary64) (neg.f64 v)))
(*.f64 #s(literal 1 binary64) (/.f64 m v))
(*.f64 m (/.f64 #s(literal 1 binary64) v))
(/.f64 (neg.f64 (neg.f64 m)) (neg.f64 (neg.f64 v)))
(/.f64 (neg.f64 m) (neg.f64 v))
(/.f64 m v)
(neg.f64 (/.f64 m (neg.f64 v)))
(neg.f64 (/.f64 (neg.f64 m) v))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 (/.f64 (.f64 (neg.f64 m) m) v) m))
(.f64 (.f64 (*.f64 (neg.f64 m) m) m) (/.f64 #s(literal 1 binary64) v))
(.f64 (/.f64 (.f64 (neg.f64 m) m) v) m)
(.f64 (.f64 (neg.f64 m) m) (/.f64 m v))
(.f64 (neg.f64 m) (.f64 (/.f64 m v) m))
(.f64 m (/.f64 (.f64 (neg.f64 m) m) v))
(/.f64 (neg.f64 (.f64 (.f64 (neg.f64 m) m) m)) (neg.f64 v))
(/.f64 (.f64 (.f64 (neg.f64 m) m) m) v)
(/.f64 (.f64 (.f64 m m) m) (neg.f64 v))
(.f64 (/.f64 #s(literal 1 binary64) v) (.f64 (neg.f64 m) m))
(.f64 (.f64 m m) (/.f64 #s(literal 1 binary64) (neg.f64 v)))
(.f64 (.f64 (neg.f64 m) m) (/.f64 #s(literal 1 binary64) v))
(*.f64 (neg.f64 m) (/.f64 m v))
(*.f64 (/.f64 m v) (neg.f64 m))
(.f64 #s(literal 1 binary64) (/.f64 (.f64 (neg.f64 m) m) v))
(.f64 m (.f64 (neg.f64 m) (/.f64 #s(literal 1 binary64) v)))
(*.f64 m (/.f64 (neg.f64 m) v))
(/.f64 (.f64 (.f64 (neg.f64 m) m) #s(literal 1 binary64)) v)
(/.f64 (*.f64 m m) (neg.f64 v))
(/.f64 (*.f64 (neg.f64 m) m) (neg.f64 (neg.f64 v)))
(/.f64 (*.f64 (neg.f64 m) m) v)
(neg.f64 (.f64 (.f64 m m) (/.f64 #s(literal 1 binary64) v)))
(neg.f64 (*.f64 m (/.f64 m v)))
(neg.f64 (/.f64 (*.f64 (neg.f64 m) m) (neg.f64 v)))
(neg.f64 (/.f64 (*.f64 m m) v))
(*.f64 (neg.f64 m) m)
(*.f64 m (neg.f64 m))
(neg.f64 (*.f64 m m))
(neg.f64 m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (.f64 #s(approx (- 1 m) (.f64 #s(approx (- (/ 1 m) 1) (/.f64 #s(literal 1 binary64) m)) m)) (/.f64 m v))) m)
(.f64 m #s(approx (- (/ ( m (- 1 m)) v) 1) (.f64 #s(approx (- 1 m) (.f64 #s(approx (- (/ 1 m) 1) (/.f64 #s(literal 1 binary64) m)) m)) (/.f64 m v))))
#s(approx (- (/ (* m (- 1 m)) v) 1) (.f64 #s(approx (- 1 m) (.f64 #s(approx (- (/ 1 m) 1) (/.f64 #s(literal 1 binary64) m)) m)) (/.f64 m v)))
(.f64 (/.f64 #s(approx (- 1 m) (.f64 #s(approx (- (/ 1 m) 1) (/.f64 #s(literal 1 binary64) m)) m)) v) m)
(.f64 (/.f64 #s(literal 1 binary64) v) (.f64 #s(approx (- 1 m) (*.f64 #s(approx (- (/ 1 m) 1) (/.f64 #s(literal 1 binary64) m)) m)) m))
(.f64 (.f64 #s(approx (- 1 m) (*.f64 #s(approx (- (/ 1 m) 1) (/.f64 #s(literal 1 binary64) m)) m)) (neg.f64 m)) (/.f64 #s(literal 1 binary64) (neg.f64 v)))
(.f64 (.f64 #s(approx (- 1 m) (*.f64 #s(approx (- (/ 1 m) 1) (/.f64 #s(literal 1 binary64) m)) m)) m) (/.f64 #s(literal 1 binary64) v))
(.f64 #s(approx (- 1 m) (.f64 #s(approx (- (/ 1 m) 1) (/.f64 #s(literal 1 binary64) m)) m)) (/.f64 m v))
(.f64 #s(literal 1 binary64) (.f64 #s(approx (- 1 m) (*.f64 #s(approx (- (/ 1 m) 1) (/.f64 #s(literal 1 binary64) m)) m)) (/.f64 m v)))
(.f64 m (/.f64 #s(approx (- 1 m) (.f64 #s(approx (- (/ 1 m) 1) (/.f64 #s(literal 1 binary64) m)) m)) v))
(/.f64 (.f64 (.f64 #s(approx (- 1 m) (*.f64 #s(approx (- (/ 1 m) 1) (/.f64 #s(literal 1 binary64) m)) m)) m) #s(literal 1 binary64)) v)
(/.f64 (neg.f64 (.f64 #s(approx (- 1 m) (.f64 #s(approx (- (/ 1 m) 1) (/.f64 #s(literal 1 binary64) m)) m)) (neg.f64 m))) (neg.f64 (neg.f64 v)))
(/.f64 (.f64 #s(approx (- 1 m) (.f64 #s(approx (- (/ 1 m) 1) (/.f64 #s(literal 1 binary64) m)) m)) (neg.f64 m)) (neg.f64 v))
(/.f64 (.f64 #s(approx (- 1 m) (.f64 #s(approx (- (/ 1 m) 1) (/.f64 #s(literal 1 binary64) m)) m)) m) v)
(neg.f64 (/.f64 (.f64 #s(approx (- 1 m) (.f64 #s(approx (- (/ 1 m) 1) (/.f64 #s(literal 1 binary64) m)) m)) m) (neg.f64 v)))
(neg.f64 (/.f64 (.f64 #s(approx (- 1 m) (.f64 #s(approx (- (/ 1 m) 1) (/.f64 #s(literal 1 binary64) m)) m)) (neg.f64 m)) v))
(.f64 #s(approx (- 1 m) (.f64 #s(approx (- (/ 1 m) 1) (/.f64 #s(literal 1 binary64) m)) m)) m)
(.f64 m #s(approx (- 1 m) (.f64 #s(approx (- (/ 1 m) 1) (/.f64 #s(literal 1 binary64) m)) m)))
#s(approx (- 1 m) (*.f64 #s(approx (- (/ 1 m) 1) (/.f64 #s(literal 1 binary64) m)) m))
(*.f64 #s(approx (- (/ 1 m) 1) (/.f64 #s(literal 1 binary64) m)) m)
(*.f64 m #s(approx (- (/ 1 m) 1) (/.f64 #s(literal 1 binary64) m)))
#s(approx (- (/ 1 m) 1) (/.f64 #s(literal 1 binary64) m))
(*.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (neg.f64 m)))
(*.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) m))
(pow.f64 m #s(literal -1 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) m)) #s(literal 2 binary64))
(/.f64 (*.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 #s(literal -2 binary64) (*.f64 (neg.f64 m) #s(literal 2 binary64)))
(/.f64 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) (neg.f64 m)))
(/.f64 #s(literal -1 binary64) (neg.f64 m))
(/.f64 #s(literal 2 binary64) (*.f64 m #s(literal 2 binary64)))
(/.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) m))
(/.f64 #s(literal 1 binary64) (neg.f64 (neg.f64 m)))
(/.f64 #s(literal 1 binary64) m)
(neg.f64 (/.f64 #s(literal -1 binary64) m))
(neg.f64 (/.f64 #s(literal 1 binary64) (neg.f64 m)))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 (.f64 m m) (/.f64 (-.f64 #s(literal 1 binary64) m) v)))
(.f64 (/.f64 #s(literal 1 binary64) v) (.f64 (*.f64 m m) (-.f64 #s(literal 1 binary64) m)))
(.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (*.f64 m m)) (/.f64 #s(literal 1 binary64) (neg.f64 v)))
(.f64 (.f64 (*.f64 m m) (-.f64 #s(literal 1 binary64) m)) (/.f64 #s(literal 1 binary64) v))
(.f64 (.f64 m m) (/.f64 (-.f64 #s(literal 1 binary64) m) v))
(.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) (.f64 m m))
(.f64 (-.f64 #s(literal 1 binary64) m) (.f64 (*.f64 m m) (/.f64 #s(literal 1 binary64) v)))
(.f64 (-.f64 #s(literal 1 binary64) m) (/.f64 (.f64 m m) v))
(.f64 #s(literal 1 binary64) (.f64 (*.f64 m m) (/.f64 (-.f64 #s(literal 1 binary64) m) v)))
(.f64 m (.f64 (/.f64 m v) (-.f64 #s(literal 1 binary64) m)))
(/.f64 (.f64 (.f64 (*.f64 m m) (-.f64 #s(literal 1 binary64) m)) #s(literal 1 binary64)) v)
(/.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (.f64 m m)) (neg.f64 v))
(/.f64 (.f64 (.f64 m m) (-.f64 #s(literal 1 binary64) m)) (neg.f64 (neg.f64 v)))
(/.f64 (.f64 (.f64 m m) (-.f64 #s(literal 1 binary64) m)) v)
(neg.f64 (/.f64 (.f64 (.f64 m m) (-.f64 #s(literal 1 binary64) m)) (neg.f64 v)))
(neg.f64 (/.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (.f64 m m)) v))
(.f64 (.f64 m m) (-.f64 #s(literal 1 binary64) m))
(.f64 (-.f64 #s(literal 1 binary64) m) (.f64 m m))
(.f64 (.f64 (-.f64 #s(literal 1 binary64) m) 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 m m) #s(literal 1 binary64) (.f64 (*.f64 (neg.f64 m) m) m))
(fma.f64 #s(literal 1 binary64) (.f64 m m) (.f64 (neg.f64 m) (*.f64 m m)))
(+.f64 (.f64 (.f64 m m) #s(literal 1 binary64)) (.f64 (.f64 (neg.f64 m) m) m))
(+.f64 (.f64 #s(literal 1 binary64) (.f64 m m)) (.f64 (neg.f64 m) (.f64 m m)))
(*.f64 (neg.f64 (neg.f64 m)) m)
(*.f64 (fabs.f64 m) (fabs.f64 m))
(*.f64 (neg.f64 m) (neg.f64 m))
(*.f64 m (neg.f64 (neg.f64 m)))
(*.f64 m m)
(pow.f64 m #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 m) m))
(fabs.f64 (*.f64 m m))
#s(literal 2 binary64)

eval30.0ms (1.8%)

Memory: -29.1MiB live, 29.1MiB allocated; 19ms collecting garbage
Compiler: Compiled 1 739 to 907 computations (47.8% saved)

prune14.0ms (0.8%)

Memory

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

Pruning

13 alts after pruning (6 fresh and 7 done)

	Pruned	Kept	Total
New	212	4	216
Fresh	2	2	4
Picked	2	3	5
Done	0	4	4
Total	216	13	229

Accuracy

100.0%

Counts

229 → 13

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	45.3%	(.f64 (-.f64 (/.f64 #s(approx ( m (- 1 m)) m) v) #s(literal 1 binary64)) m)
	74.5%	(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (/.f64 (.f64 m #s(approx (- 1 m) (.f64 m (-.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (*.f64 m m))) #s(literal 1 binary64))))) v)) m)
✓	77.4%	(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m)) m)
	22.8%	(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 #s(approx (- 1 m) #s(literal 1 binary64)) v) m)) m)
✓	77.4%	(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 m v) (-.f64 #s(literal 1 binary64) m))) m)
	67.6%	(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (.f64 #s(approx (/ (- 1 m) v) (.f64 m (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 m v)) (/.f64 #s(literal 1 binary64) v)))) m)) m)
✓	22.8%	(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) #s(approx (* (/ m v) (- 1 m)) (/.f64 m v))) m)
✓	25.8%	(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) #s(literal -1 binary64)) m)
	27.8%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (fma.f64 (/.f64 (neg.f64 m) v) (.f64 m m) (.f64 (.f64 (neg.f64 m) (.f64 m m)) (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m))))
✓	54.5%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (/.f64 (.f64 (.f64 m m) m) (neg.f64 v)))
	75.8%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 (-.f64 #s(literal 1 binary64) m) (/.f64 (.f64 m m) v)))
	54.5%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 (neg.f64 m) (.f64 (/.f64 m v) m)))
✓	54.5%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 m (/.f64 (.f64 (neg.f64 m) m) v)))

Compiler

Compiled 393 to 315 computations (19.8% saved)

regimes23.0ms (1.4%)

Memory

-25.3MiB live, 21.6MiB allocated; 2ms collecting garbage

Counts

27 → 1

Calls

Call 1

Inputs
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) #s(literal -1 binary64)) m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) #s(approx (* (/ m v) (- 1 m)) (/.f64 m v))) m)
(.f64 (-.f64 (/.f64 #s(approx ( m (- 1 m)) m) v) #s(literal 1 binary64)) 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) (neg.f64 (.f64 (.f64 m m) (/.f64 m v))))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 m (.f64 m (/.f64 (neg.f64 m) v))))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 m (/.f64 (.f64 (neg.f64 m) m) v)))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 (neg.f64 m) (.f64 (/.f64 m v) m)))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (/.f64 (.f64 (.f64 m m) m) (neg.f64 v)))
(.f64 (fma.f64 (/.f64 #s(literal 1 binary64) v) #s(approx ( m (- 1 m)) m) #s(literal -1 binary64)) m)
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 (-.f64 #s(literal 1 binary64) m) (/.f64 (.f64 m m) v)))
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 m v) (-.f64 #s(literal 1 binary64) 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 m (-.f64 #s(literal 1 binary64) m)) v)) m)
(*.f64 (fma.f64 (-.f64 #s(literal 1 binary64) m) (/.f64 m v) #s(literal -1 binary64)) 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 #s(approx (- (/ ( m (- 1 m)) v) 1) (/.f64 (.f64 m #s(approx (- 1 m) (.f64 m #s(approx (- (/ 1 m) 1) (/.f64 #s(literal 1 binary64) m))))) v)) m)
(.f64 (fma.f64 (/.f64 #s(literal 1 binary64) v) (.f64 (-.f64 #s(literal 1 binary64) m) m) #s(literal -1 binary64)) m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (/.f64 (.f64 m #s(approx (- 1 m) (.f64 m (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64))))) v)) m)
(.f64 (-.f64 (/.f64 (.f64 m #s(approx (- 1 m) (*.f64 m (-.f64 (/.f64 #s(literal 1 binary64) m) #s(literal 1 binary64))))) v) #s(literal 1 binary64)) m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (.f64 #s(approx (/ (- 1 m) v) (.f64 m (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 m v)) (/.f64 #s(literal 1 binary64) v)))) m)) m)
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (*.f64 #s(literal -1 binary64) (/.f64 (pow.f64 m #s(literal 3 binary64)) v)))
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (/.f64 (.f64 m #s(approx (- 1 m) (.f64 m (-.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (*.f64 m m))) #s(literal 1 binary64))))) v)) m)
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (/.f64 (*.f64 (pow.f64 m #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) m)) v))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (fma.f64 (/.f64 (neg.f64 m) v) (.f64 m m) (.f64 (.f64 (neg.f64 m) (.f64 m m)) (/.f64 (/.f64 (-.f64 v m) (*.f64 v m)) m))))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 #s(literal -1 binary64) (.f64 (pow.f64 m #s(literal 3 binary64)) (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) v) (/.f64 #s(literal 1 binary64) m)) m) (/.f64 #s(literal 1 binary64) v)))))

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

Calls

3 calls:

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

Results

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

Compiler

Compiled 11 to 12 computations (-9.1% saved)

regimes13.0ms (0.8%)

Memory

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

Counts

14 → 2

Calls

Call 1

Inputs
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) #s(literal -1 binary64)) m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) #s(approx (* (/ m v) (- 1 m)) (/.f64 m v))) m)
(.f64 (-.f64 (/.f64 #s(approx ( m (- 1 m)) m) v) #s(literal 1 binary64)) 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) (neg.f64 (.f64 (.f64 m m) (/.f64 m v))))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 m (.f64 m (/.f64 (neg.f64 m) v))))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 m (/.f64 (.f64 (neg.f64 m) m) v)))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 (neg.f64 m) (.f64 (/.f64 m v) m)))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (/.f64 (.f64 (.f64 m m) m) (neg.f64 v)))
(.f64 (fma.f64 (/.f64 #s(literal 1 binary64) v) #s(approx ( m (- 1 m)) m) #s(literal -1 binary64)) m)
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 (-.f64 #s(literal 1 binary64) m) (/.f64 (.f64 m m) v)))
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 m v) (-.f64 #s(literal 1 binary64) 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 m (-.f64 #s(literal 1 binary64) m)) v)) m)

Outputs
(.f64 (-.f64 (/.f64 #s(approx ( m (- 1 m)) m) v) #s(literal 1 binary64)) m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (*.f64 (/.f64 m v) (-.f64 #s(literal 1 binary64) 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
98.7%	2	`(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)`
99.9%	2	`m`
77.4%	1	`v`

Compiler

Compiled 11 to 12 computations (-9.1% saved)

regimes4.0ms (0.2%)

Memory

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

Counts

11 → 2

Calls

Call 1

Inputs
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) #s(literal -1 binary64)) m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) #s(approx (* (/ m v) (- 1 m)) (/.f64 m v))) m)
(.f64 (-.f64 (/.f64 #s(approx ( m (- 1 m)) m) v) #s(literal 1 binary64)) 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) (neg.f64 (.f64 (.f64 m m) (/.f64 m v))))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 m (.f64 m (/.f64 (neg.f64 m) v))))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 m (/.f64 (.f64 (neg.f64 m) m) v)))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 (neg.f64 m) (.f64 (/.f64 m v) m)))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (/.f64 (.f64 (.f64 m m) m) (neg.f64 v)))
(.f64 (fma.f64 (/.f64 #s(literal 1 binary64) v) #s(approx ( m (- 1 m)) m) #s(literal -1 binary64)) m)
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 (-.f64 #s(literal 1 binary64) m) (/.f64 (.f64 m m) v)))

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

Calls

1 calls:

3.0ms

Results

Accuracy	Segments	Branch
99.9%	2	`m`

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes11.0ms (0.6%)

Memory

-23.5MiB live, 20.1MiB allocated; 5ms collecting garbage

Counts

10 → 2

Calls

Call 1

Inputs
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) #s(literal -1 binary64)) m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) #s(approx (* (/ m v) (- 1 m)) (/.f64 m v))) m)
(.f64 (-.f64 (/.f64 #s(approx ( m (- 1 m)) m) v) #s(literal 1 binary64)) 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) (neg.f64 (.f64 (.f64 m m) (/.f64 m v))))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 m (.f64 m (/.f64 (neg.f64 m) v))))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 m (/.f64 (.f64 (neg.f64 m) m) v)))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 (neg.f64 m) (.f64 (/.f64 m v) m)))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (/.f64 (.f64 (.f64 m m) m) (neg.f64 v)))
(.f64 (fma.f64 (/.f64 #s(literal 1 binary64) v) #s(approx ( m (- 1 m)) m) #s(literal -1 binary64)) m)

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

Calls

2 calls:

7.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
97.5%	2	`(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)`
97.5%	2	`m`

Compiler

Compiled 10 to 10 computations (0% saved)

regimes6.0ms (0.3%)

Memory

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

Counts

8 → 2

Calls

Call 1

Inputs
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) #s(literal -1 binary64)) m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) #s(approx (* (/ m v) (- 1 m)) (/.f64 m v))) m)
(.f64 (-.f64 (/.f64 #s(approx ( m (- 1 m)) m) v) #s(literal 1 binary64)) 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) (neg.f64 (.f64 (.f64 m m) (/.f64 m v))))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 m (.f64 m (/.f64 (neg.f64 m) v))))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 m (/.f64 (.f64 (neg.f64 m) m) v)))
#s(approx (* (- (/ (* m (- 1 m)) v) 1) m) (.f64 (neg.f64 m) (.f64 (/.f64 m v) m)))

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

Calls

2 calls:

3.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.5%	2	`m`
97.5%	2	`(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)`

Compiler

Compiled 10 to 10 computations (0% saved)

regimes4.0ms (0.3%)

Memory

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

Counts

5 → 2

Calls

Call 1

Inputs
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) #s(literal -1 binary64)) m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) #s(approx (* (/ m v) (- 1 m)) (/.f64 m v))) m)
(.f64 (-.f64 (/.f64 #s(approx ( m (- 1 m)) m) v) #s(literal 1 binary64)) 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) (neg.f64 (.f64 (.f64 m m) (/.f64 m v))))

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 (.f64 (.f64 m m) (/.f64 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.5%	2	`(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)`
97.5%	2	`m`

Compiler

Compiled 10 to 10 computations (0% saved)

regimes5.0ms (0.3%)

Memory

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

Counts

4 → 2

Calls

Call 1

Inputs
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) #s(literal -1 binary64)) m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) #s(approx (* (/ m v) (- 1 m)) (/.f64 m v))) m)
(.f64 (-.f64 (/.f64 #s(approx ( m (- 1 m)) m) v) #s(literal 1 binary64)) 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 (/.f64 #s(approx ( m (- 1 m)) m) v) #s(literal 1 binary64)) m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) #s(literal -1 binary64)) m)

Calls

3 calls:

2.0ms	v
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
45.3%	1	`v`
48.1%	2	`(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)`
48.1%	2	`m`

Compiler

Compiled 11 to 12 computations (-9.1% saved)

regimes4.0ms (0.2%)

Memory

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

Counts

2 → 2

Calls

Call 1

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

Outputs
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) #s(literal -1 binary64)) m)
(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) #s(approx (* (/ m v) (- 1 m)) (/.f64 m v))) 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
33.7%	2	`v`
46.6%	2	`(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)`
40.6%	3	`m`

Compiler

Compiled 11 to 12 computations (-9.1% saved)

regimes3.0ms (0.2%)

Memory

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

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

3 calls:

1.0ms	v
1.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
25.8%	1	`v`
25.8%	1	`m`
25.8%	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)

bsearch23.0ms (1.4%)

Memory

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

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
22.0ms	9.48370441269973e-19	1.0448201167753517e-13

Samples

5.0ms

144×

valid

Compiler

Compiled 221 to 238 computations (-7.7% saved)

Precisions

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

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

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

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

adjust: 0.0ms (0% of total)

bsearch1.0ms (0.1%)

Memory

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

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
1.0ms	9.48370441269973e-19	1.0448201167753517e-13

Compiler

Compiled 230 to 247 computations (-7.4% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-9.218693655514829e+63	-1.5888499542856394e-36

Compiler

Compiled 12 to 13 computations (-8.3% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-9.218693655514829e+63	-1.5888499542856394e-36

Compiler

Compiled 12 to 13 computations (-8.3% saved)

bsearch10.0ms (0.6%)

Memory

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

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
9.0ms	0.31558455379937483	3601.5085704981516

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 (43% of total)

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

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

adjust: 0.0ms (0% of total)

bsearch1.0ms (0%)

Memory

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

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
1.0ms	0.31558455379937483	3601.5085704981516

Compiler

Compiled 174 to 189 computations (-8.6% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-8.888483230043481e-308	1.418071075682215e-215

Compiler

Compiled 12 to 13 computations (-8.3% saved)

derivations63.0ms (3.9%)

Memory

-7.5MiB live, 45.5MiB allocated; 8ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 99 to 62 computations (37.4% saved)

preprocess70.0ms (4.3%)

Memory: 1.9MiB live, 94.9MiB allocated; 6ms collecting garbage
Compiler: Compiled 108 to 70 computations (35.2% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze1.0ms (0%)

sample624.0ms (38.1%)

preprocess38.0ms (2.3%)

series12.0ms (0.7%)

rewrite54.0ms (3.3%)

eval7.0ms (0.4%)

prune6.0ms (0.4%)

series28.0ms (1.7%)

rewrite47.0ms (2.8%)

eval17.0ms (1.1%)

prune13.0ms (0.8%)

series28.0ms (1.7%)

rewrite275.0ms (16.8%)

eval92.0ms (5.6%)

prune35.0ms (2.2%)

series21.0ms (1.3%)

rewrite56.0ms (3.4%)

eval30.0ms (1.8%)

prune14.0ms (0.8%)

regimes23.0ms (1.4%)

regimes13.0ms (0.8%)

regimes4.0ms (0.2%)

regimes11.0ms (0.6%)

regimes6.0ms (0.3%)

regimes4.0ms (0.3%)

regimes5.0ms (0.3%)

regimes4.0ms (0.2%)

regimes3.0ms (0.2%)

bsearch23.0ms (1.4%)

bsearch1.0ms (0.1%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch10.0ms (0.6%)

bsearch1.0ms (0%)

bsearch0.0ms (0%)

derivations63.0ms (3.9%)

preprocess70.0ms (4.3%)

end0.0ms (0%)

Profiling