Metrics for b parameter of renormalized beta distribution

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

0.7MiB live, 0.7MiB 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 25 to 16 computations (36% saved)

sample831.0ms (39.8%)

Memory

33.1MiB live, 1 384.4MiB allocated; 359ms collecting garbage

Samples

622.0ms

8 256×

valid

Precisions

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

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

ival-sub!: 93.0ms (35.4% of total)

ival-div!: 42.0ms (16% of total)

adjust: 1.0ms (0.4% of total)

Bogosity

preprocess49.0ms (2.4%)

Memory

-33.2MiB live, 64.3MiB allocated; 14ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	25	84
1	94	79
2	427	78
3	2213	78

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)) (-.f64 #s(literal 1 binary64) m))

Compiler

Compiled 22 to 16 computations (27.3% saved)

series13.0ms (0.6%)

Memory

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	144	771

Stop Event

1×	iter-limit

Counts

8 → 36

Calls

Call 1

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

rewrite41.0ms (2%)

Memory

3.1MiB live, 95.2MiB allocated; 5ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	40
0	13	40
1	65	40
0	535	38
1	1482	38

Stop Event

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

Counts

8 → 60

Calls

Call 1

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

eval10.0ms (0.5%)

Memory: -18.2MiB live, 28.3MiB allocated; 1ms collecting garbage
Compiler: Compiled 790 to 349 computations (55.8% saved)

prune8.0ms (0.4%)

Memory

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

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	78	13	91
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	79	13	92

Accuracy

100.0%

Counts

92 → 13

Alt Table

Click to see full alt table

Status	Accuracy	Program
	99.8%	(*.f64 (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)) (-.f64 #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)) (-.f64 #s(literal 1 binary64) m))
▶	99.9%	(*.f64 (fma.f64 (-.f64 #s(literal 1 binary64) m) (/.f64 m v) #s(literal -1 binary64)) (-.f64 #s(literal 1 binary64) m))
▶	99.9%	(.f64 (-.f64 (/.f64 (+.f64 m (.f64 (neg.f64 m) m)) v) #s(literal 1 binary64)) (-.f64 #s(literal 1 binary64) m))
	72.7%	(.f64 (-.f64 (/.f64 (.f64 m #s(approx (- 1 m) #s(literal 1 binary64))) v) #s(literal 1 binary64)) #s(approx (- 1 m) #s(literal 1 binary64)))
	45.3%	(.f64 (-.f64 (/.f64 #s(approx ( m (- 1 m)) m) v) #s(literal 1 binary64)) (-.f64 #s(literal 1 binary64) m))
	76.3%	(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) v)) (-.f64 #s(literal 1 binary64) m))
	54.2%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) (- 1 m)) (/.f64 (pow.f64 m #s(literal 3 binary64)) v))
	76.3%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) (- 1 m)) (/.f64 (*.f64 m (pow.f64 (-.f64 #s(literal 1 binary64) m) #s(literal 2 binary64))) v))
▶	72.6%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) (- 1 m)) (-.f64 (*.f64 m (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) v))) #s(literal 1 binary64)))
	25.7%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) (- 1 m)) (*.f64 #s(literal -1 binary64) (-.f64 #s(literal 1 binary64) m)))
	62.7%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) (- 1 m)) (.f64 #s(literal -1 binary64) (.f64 (pow.f64 m #s(literal 3 binary64)) (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (+.f64 (/.f64 #s(literal 1 binary64) m) (/.f64 #s(literal 1 binary64) (.f64 m v))) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) v))) m)) (/.f64 #s(literal 1 binary64) v)))))
▶	23.2%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) (- 1 m)) #s(literal -1 binary64))

Compiler

Compiled 358 to 318 computations (11.2% saved)

series35.0ms (1.7%)

Memory

-25.8MiB live, 79.8MiB allocated; 10ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	197	1119

Stop Event

1×	iter-limit

Counts

23 → 53

Calls

Call 1

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

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

rewrite67.0ms (3.2%)

Memory

23.1MiB live, 116.0MiB allocated; 3ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	28	165
0	48	159
1	249	147
0	2087	147
1	5278	147

Stop Event

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

Counts

23 → 318

Calls

Call 1

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

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

eval32.0ms (1.5%)

Memory: -6.7MiB live, 87.3MiB allocated; 6ms collecting garbage
Compiler: Compiled 1 871 to 890 computations (52.4% saved)

prune12.0ms (0.6%)

Memory

-10.6MiB live, 35.8MiB allocated; 2ms collecting garbage

Pruning

13 alts after pruning (10 fresh and 3 done)

	Pruned	Kept	Total
New	252	7	259
Fresh	5	3	8
Picked	2	3	5
Done	0	0	0
Total	259	13	272

Accuracy

100.0%

Counts

272 → 13

Alt Table

Click to see full alt table

Status	Accuracy	Program
	99.8%	(*.f64 (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) m) v) m #s(literal -1 binary64)) (-.f64 #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)) (-.f64 #s(literal 1 binary64) m))
✓	99.9%	(*.f64 (fma.f64 (-.f64 #s(literal 1 binary64) m) (/.f64 m v) #s(literal -1 binary64)) (-.f64 #s(literal 1 binary64) m))
▶	99.9%	(.f64 (-.f64 (/.f64 (-.f64 m (.f64 m m)) v) #s(literal 1 binary64)) (-.f64 #s(literal 1 binary64) m))
	45.3%	(.f64 (-.f64 (/.f64 #s(approx (+ m ( (neg m) m)) m) v) #s(literal 1 binary64)) (-.f64 #s(literal 1 binary64) m))
▶	76.3%	(.f64 #s(approx (- (/ ( m (- 1 m)) v) 1) (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) v)) (-.f64 #s(literal 1 binary64) m))
▶	54.2%	#s(approx (* (- (/ (+ m (* (neg m) m)) v) 1) (- 1 m)) (/.f64 (pow.f64 m #s(literal 3 binary64)) v))
	62.7%	#s(approx (* (- (/ (+ m (* (neg m) m)) v) 1) (- 1 m)) (.f64 #s(literal -1 binary64) (.f64 (pow.f64 m #s(literal 3 binary64)) (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (+.f64 (/.f64 #s(literal 1 binary64) m) (/.f64 #s(literal 1 binary64) (.f64 m v))) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) v))) m)) (/.f64 #s(literal 1 binary64) v)))))
	76.3%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) (- 1 m)) (/.f64 (*.f64 m (pow.f64 (-.f64 #s(literal 1 binary64) m) #s(literal 2 binary64))) v))
	72.7%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) (- 1 m)) (-.f64 (+.f64 (/.f64 m v) m) #s(literal 1 binary64)))
▶	72.6%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) (- 1 m)) (-.f64 (*.f64 m #s(approx (+ 1 (/ 1 v)) (/.f64 #s(literal 1 binary64) v))) #s(literal 1 binary64)))
▶	25.7%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) (- 1 m)) #s(approx (- (* m (+ 1 (/ 1 v))) 1) (-.f64 m #s(literal 1 binary64))))
✓	23.2%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) (- 1 m)) #s(literal -1 binary64))

Compiler

Compiled 342 to 313 computations (8.5% saved)

series28.0ms (1.3%)

Memory

-20.1MiB live, 76.1MiB allocated; 4ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	214	1205

Stop Event

1×	iter-limit

Counts

25 → 60

Calls

Call 1

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

Calls

6 calls:

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

rewrite198.0ms (9.5%)

Memory

43.1MiB live, 265.1MiB allocated; 45ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	40	228
0	57	227
1	289	223
2	2317	223
0	8104	214
1	26142	214

Stop Event

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

Counts

25 → 325

Calls

Call 1

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

eval44.0ms (2.1%)

Memory: 20.0MiB live, 107.5MiB allocated; 17ms collecting garbage
Compiler: Compiled 2 420 to 1 124 computations (53.6% saved)

prune100.0ms (4.8%)

Memory

-47.3MiB live, 42.2MiB allocated; 149ms collecting garbage

Pruning

14 alts after pruning (10 fresh and 4 done)

	Pruned	Kept	Total
New	285	8	293
Fresh	3	2	5
Picked	4	1	5
Done	0	3	3
Total	292	14	306

Accuracy

100.0%

Counts

306 → 14

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.9%	(.f64 (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) m))
✓	99.9%	(*.f64 (fma.f64 (-.f64 #s(literal 1 binary64) m) (/.f64 m v) #s(literal -1 binary64)) (-.f64 #s(literal 1 binary64) m))
	45.3%	(.f64 (-.f64 (/.f64 #s(approx (- m ( m m)) m) v) #s(literal 1 binary64)) (-.f64 #s(literal 1 binary64) m))
	76.3%	(.f64 (-.f64 #s(literal 1 binary64) m) #s(approx (- (/ ( m (- 1 m)) v) 1) (/.f64 (-.f64 m (*.f64 m m)) v)))
	62.7%	#s(approx (* (- (/ (- m (* m m)) v) 1) (- 1 m)) (.f64 #s(literal -1 binary64) (.f64 (pow.f64 m #s(literal 3 binary64)) (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (+.f64 (/.f64 #s(literal 1 binary64) m) (/.f64 #s(literal 1 binary64) (.f64 m v))) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) v))) m)) (/.f64 #s(literal 1 binary64) v)))))
▶	54.2%	#s(approx (* (- (/ (+ m (* (neg m) m)) v) 1) (- 1 m)) (/.f64 (.f64 (.f64 m m) m) v))
▶	54.2%	#s(approx (* (- (/ (+ m (* (neg m) m)) v) 1) (- 1 m)) (.f64 (/.f64 #s(literal 1 binary64) v) (.f64 (*.f64 m m) m)))
	54.3%	#s(approx (* (- (/ (+ m (* (neg m) m)) v) 1) (- 1 m)) (.f64 (.f64 m m) (/.f64 m v)))
▶	54.3%	#s(approx (* (- (/ (+ m (* (neg m) m)) v) 1) (- 1 m)) (.f64 m (.f64 m (/.f64 m v))))
▶	72.6%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) (- 1 m)) (fma.f64 #s(approx (+ 1 (/ 1 v)) (/.f64 #s(literal 1 binary64) v)) m #s(literal -1 binary64)))
▶	76.3%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) (- 1 m)) (/.f64 (*.f64 m (pow.f64 (-.f64 #s(literal 1 binary64) m) #s(literal 2 binary64))) v))
	72.7%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) (- 1 m)) (-.f64 (+.f64 (/.f64 m v) m) #s(literal 1 binary64)))
✓	25.7%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) (- 1 m)) #s(approx (- (* m (+ 1 (/ 1 v))) 1) (-.f64 m #s(literal 1 binary64))))
✓	23.2%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) (- 1 m)) #s(literal -1 binary64))

Compiler

Compiled 365 to 349 computations (4.4% saved)

series39.0ms (1.9%)

Memory

-29.0MiB live, 63.8MiB allocated; 21ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	212	1101

Stop Event

1×	iter-limit

Counts

24 → 53

Calls

Call 1

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

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

Calls

6 calls:

Time	Variable		Point	Expression
13.0ms	m	@	-inf	((* (- (/ (* m (- 1 m)) v) 1) (- 1 m)) (/ (* m (pow (- 1 m) 2)) v) (* m (pow (- 1 m) 2)) m (pow (- 1 m) 2) (- 1 m) 1 2 v (* (- (/ (* m (- 1 m)) v) 1) (- 1 m)) (+ (* (+ 1 (/ 1 v)) m) -1) (+ 1 (/ 1 v)) (/ 1 v) -1 (* (- (/ (+ m (* (neg m) m)) v) 1) (- 1 m)) (* m (* m (/ m v))) (* m (/ m v)) (/ m v) (* (- (/ (+ m (* (neg m) m)) v) 1) (- 1 m)) (/ (* (* m m) m) v) (* (* m m) m) (* m m) (* (- (/ (+ m (* (neg m) m)) v) 1) (- 1 m)) (* (/ 1 v) (* (* m m) m)))
3.0ms	v	@	-inf	((* (- (/ (* m (- 1 m)) v) 1) (- 1 m)) (/ (* m (pow (- 1 m) 2)) v) (* m (pow (- 1 m) 2)) m (pow (- 1 m) 2) (- 1 m) 1 2 v (* (- (/ (* m (- 1 m)) v) 1) (- 1 m)) (+ (* (+ 1 (/ 1 v)) m) -1) (+ 1 (/ 1 v)) (/ 1 v) -1 (* (- (/ (+ m (* (neg m) m)) v) 1) (- 1 m)) (* m (* m (/ m v))) (* m (/ m v)) (/ m v) (* (- (/ (+ m (* (neg m) m)) v) 1) (- 1 m)) (/ (* (* m m) m) v) (* (* m m) m) (* m m) (* (- (/ (+ m (* (neg m) m)) v) 1) (- 1 m)) (* (/ 1 v) (* (* m m) m)))
3.0ms	v	@	0	((* (- (/ (* m (- 1 m)) v) 1) (- 1 m)) (/ (* m (pow (- 1 m) 2)) v) (* m (pow (- 1 m) 2)) m (pow (- 1 m) 2) (- 1 m) 1 2 v (* (- (/ (* m (- 1 m)) v) 1) (- 1 m)) (+ (* (+ 1 (/ 1 v)) m) -1) (+ 1 (/ 1 v)) (/ 1 v) -1 (* (- (/ (+ m (* (neg m) m)) v) 1) (- 1 m)) (* m (* m (/ m v))) (* m (/ m v)) (/ m v) (* (- (/ (+ m (* (neg m) m)) v) 1) (- 1 m)) (/ (* (* m m) m) v) (* (* m m) m) (* m m) (* (- (/ (+ m (* (neg m) m)) v) 1) (- 1 m)) (* (/ 1 v) (* (* m m) m)))
3.0ms	v	@	inf	((* (- (/ (* m (- 1 m)) v) 1) (- 1 m)) (/ (* m (pow (- 1 m) 2)) v) (* m (pow (- 1 m) 2)) m (pow (- 1 m) 2) (- 1 m) 1 2 v (* (- (/ (* m (- 1 m)) v) 1) (- 1 m)) (+ (* (+ 1 (/ 1 v)) m) -1) (+ 1 (/ 1 v)) (/ 1 v) -1 (* (- (/ (+ m (* (neg m) m)) v) 1) (- 1 m)) (* m (* m (/ m v))) (* m (/ m v)) (/ m v) (* (- (/ (+ m (* (neg m) m)) v) 1) (- 1 m)) (/ (* (* m m) m) v) (* (* m m) m) (* m m) (* (- (/ (+ m (* (neg m) m)) v) 1) (- 1 m)) (* (/ 1 v) (* (* m m) m)))
3.0ms	m	@	inf	((* (- (/ (* m (- 1 m)) v) 1) (- 1 m)) (/ (* m (pow (- 1 m) 2)) v) (* m (pow (- 1 m) 2)) m (pow (- 1 m) 2) (- 1 m) 1 2 v (* (- (/ (* m (- 1 m)) v) 1) (- 1 m)) (+ (* (+ 1 (/ 1 v)) m) -1) (+ 1 (/ 1 v)) (/ 1 v) -1 (* (- (/ (+ m (* (neg m) m)) v) 1) (- 1 m)) (* m (* m (/ m v))) (* m (/ m v)) (/ m v) (* (- (/ (+ m (* (neg m) m)) v) 1) (- 1 m)) (/ (* (* m m) m) v) (* (* m m) m) (* m m) (* (- (/ (+ m (* (neg m) m)) v) 1) (- 1 m)) (* (/ 1 v) (* (* m m) m)))

rewrite101.0ms (4.8%)

Memory

53.2MiB live, 138.9MiB allocated; 31ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	209
0	51	188
1	232	188
0	2162	183
1	5433	183

Stop Event

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

Counts

24 → 180

Calls

Call 1

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

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

eval26.0ms (1.2%)

Memory: -21.5MiB live, 67.5MiB allocated; 11ms collecting garbage
Compiler: Compiled 1 609 to 816 computations (49.3% saved)

prune18.0ms (0.9%)

Memory

-3.0MiB live, 39.5MiB allocated; 7ms collecting garbage

Pruning

15 alts after pruning (9 fresh and 6 done)

	Pruned	Kept	Total
New	206	7	213
Fresh	3	2	5
Picked	1	4	5
Done	2	2	4
Total	212	15	227

Accuracy

100.0%

Counts

227 → 15

Alt Table

Click to see full alt table

Status	Accuracy	Program
	45.3%	(.f64 (-.f64 (/.f64 #s(approx (- m ( m m)) m) v) #s(literal 1 binary64)) (-.f64 #s(literal 1 binary64) m))
✓	54.2%	#s(approx (* (- (/ (+ m (* (neg m) m)) v) 1) (- 1 m)) (/.f64 (.f64 (.f64 m m) m) v))
✓	54.2%	#s(approx (* (- (/ (+ m (* (neg m) m)) v) 1) (- 1 m)) (.f64 (/.f64 #s(literal 1 binary64) v) (.f64 (*.f64 m m) m)))
	54.3%	#s(approx (* (- (/ (+ m (* (neg m) m)) v) 1) (- 1 m)) (.f64 m (/.f64 (.f64 m m) v)))
✓	54.3%	#s(approx (* (- (/ (+ m (* (neg m) m)) v) 1) (- 1 m)) (.f64 m (.f64 m (/.f64 m v))))
	54.3%	#s(approx (* (- (/ (+ m (* (neg m) m)) v) 1) (- 1 m)) (.f64 m (.f64 m (*.f64 (/.f64 #s(literal 1 binary64) v) m))))
✓	72.6%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) (- 1 m)) (fma.f64 #s(approx (+ 1 (/ 1 v)) (/.f64 #s(literal 1 binary64) v)) m #s(literal -1 binary64)))
	76.3%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) (- 1 m)) (/.f64 (.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (-.f64 m #s(literal 1 binary64))) m) v))
	22.3%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) (- 1 m)) (/.f64 (.f64 m #s(approx (pow (- 1 m) 2) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) m)))) v))
	49.1%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) (- 1 m)) (/.f64 #s(approx (* m (pow (- 1 m) 2)) m) v))
	72.7%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) (- 1 m)) (-.f64 (+.f64 (/.f64 m v) m) #s(literal 1 binary64)))
	76.3%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) (- 1 m)) (.f64 (.f64 (-.f64 m #s(literal 1 binary64)) (-.f64 m #s(literal 1 binary64))) (/.f64 m v)))
	76.3%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) (- 1 m)) (.f64 (.f64 (-.f64 #s(literal 1 binary64) m) (/.f64 (-.f64 #s(literal 1 binary64) m) v)) m))
✓	25.7%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) (- 1 m)) #s(approx (- (* m (+ 1 (/ 1 v))) 1) (-.f64 m #s(literal 1 binary64))))
✓	23.2%	#s(approx (* (- (/ (* m (- 1 m)) v) 1) (- 1 m)) #s(literal -1 binary64))

Compiler

Compiled 528 to 367 computations (30.5% saved)

regimes49.0ms (2.3%)

Memory

2.1MiB live, 91.4MiB allocated; 27ms collecting garbage

Counts

36 → 1

Calls

Call 1

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

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

Calls

3 calls:

24.0ms	m
10.0ms	v
8.0ms	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) (-.f64 #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)) (-.f64 #s(literal 1 binary64) m))`
99.9%	1	`m`
99.9%	1	`v`

Compiler

Compiled 13 to 12 computations (7.7% saved)

regimes28.0ms (1.4%)

Memory

34.2MiB live, 75.5MiB allocated; 7ms collecting garbage

Counts

27 → 1

Calls

Call 1

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

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

Calls

3 calls:

13.0ms	m
7.0ms	v
6.0ms	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) (-.f64 #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)) (-.f64 #s(literal 1 binary64) m))`
99.9%	1	`m`
99.9%	1	`v`

Compiler

Compiled 13 to 12 computations (7.7% saved)

regimes23.0ms (1.1%)

Memory

20.6MiB live, 65.4MiB allocated; 4ms collecting garbage

Counts

24 → 2

Calls

Call 1

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

Outputs

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

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

Calls

3 calls:

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

Results

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

Compiler

Compiled 13 to 12 computations (7.7% saved)

regimes29.0ms (1.4%)

Memory

-5.8MiB live, 43.4MiB allocated; 21ms collecting garbage

Counts

21 → 2

Calls

Call 1

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

Outputs

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

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

Calls

2 calls:

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

Results

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

Compiler

Compiled 12 to 10 computations (16.7% saved)

regimes13.0ms (0.6%)

Memory

-11.8MiB live, 34.4MiB allocated; 2ms collecting garbage

Counts

19 → 2

Calls

Call 1

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

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

Calls

2 calls:

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

Results

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

Compiler

Compiled 12 to 10 computations (16.7% saved)

regimes4.0ms (0.2%)

Memory

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

Counts

11 → 2

Calls

Call 1

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

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

Calls

1 calls:

4.0ms

Results

Accuracy	Segments	Branch
97.5%	2	`m`

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes6.0ms (0.3%)

Memory

-30.7MiB live, 15.1MiB allocated; 2ms collecting garbage

Counts

10 → 2

Calls

Call 1

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

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

Calls

1 calls:

5.0ms

Results

Accuracy	Segments	Branch
97.5%	2	`m`

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes8.0ms (0.4%)

Memory

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

Counts

7 → 1

Calls

Call 1

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

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

Calls

3 calls:

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

Results

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

Compiler

Compiled 13 to 12 computations (7.7% saved)

regimes8.0ms (0.4%)

Memory

-24.2MiB live, 22.4MiB allocated; 2ms collecting garbage

Counts

5 → 1

Calls

Call 1

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

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

Calls

3 calls:

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

Results

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

Compiler

Compiled 13 to 12 computations (7.7% saved)

regimes6.0ms (0.3%)

Memory

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

Counts

4 → 2

Calls

Call 1

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

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

Calls

3 calls:

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

Results

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

Compiler

Compiled 13 to 12 computations (7.7% saved)

regimes32.0ms (1.5%)

Memory

-61.0MiB live, 15.1MiB allocated; 40ms collecting garbage

Counts

2 → 1

Calls

Call 1

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

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

Calls

3 calls:

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

Results

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

Compiler

Compiled 13 to 12 computations (7.7% saved)

regimes4.0ms (0.2%)

Memory

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

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

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

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

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)) (-.f64 #s(literal 1 binary64) m))

Results

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

Compiler

Compiled 13 to 12 computations (7.7% saved)

bsearch13.0ms (0.6%)

Memory

-7.2MiB live, 39.9MiB allocated; 2ms collecting garbage

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

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

Samples

5.0ms

144×

valid

Compiler

Compiled 286 to 274 computations (4.2% saved)

Precisions

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

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

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

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

adjust: 0.0ms (0% of total)

bsearch1.0ms (0.1%)

Memory

3.7MiB live, 3.7MiB 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 286 to 274 computations (4.2% saved)

bsearch12.0ms (0.6%)

Memory

-8.7MiB live, 38.4MiB allocated; 2ms collecting garbage

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
11.0ms	0.31558455379937483	3601.5085704981516

Samples

5.0ms

128×

valid

Compiler

Compiled 224 to 229 computations (-2.2% saved)

Precisions

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

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

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

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

adjust: 0.0ms (0% of total)

bsearch7.0ms (0.3%)

Memory

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

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
6.0ms	0.31558455379937483	3601.5085704981516

Samples

3.0ms

80×

valid

Compiler

Compiled 240 to 245 computations (-2.1% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

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

bsearch1.0ms (0%)

Memory

3.6MiB live, 3.6MiB 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 240 to 245 computations (-2.1% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-0.9987135761452467	628.4997159690519

Compiler

Compiled 14 to 13 computations (7.1% saved)

derivations110.0ms (5.3%)

Memory

-18.1MiB live, 223.2MiB allocated; 6ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 117 to 81 computations (30.8% saved)

preprocess80.0ms (3.8%)

Memory: 19.4MiB live, 305.5MiB allocated; 11ms collecting garbage
Compiler: Compiled 128 to 89 computations (30.5% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample831.0ms (39.8%)

preprocess49.0ms (2.4%)

series13.0ms (0.6%)

rewrite41.0ms (2%)

eval10.0ms (0.5%)

prune8.0ms (0.4%)

series35.0ms (1.7%)

rewrite67.0ms (3.2%)

eval32.0ms (1.5%)

prune12.0ms (0.6%)

series28.0ms (1.3%)

rewrite198.0ms (9.5%)

eval44.0ms (2.1%)

prune100.0ms (4.8%)

series39.0ms (1.9%)

rewrite101.0ms (4.8%)

eval26.0ms (1.2%)

prune18.0ms (0.9%)

regimes49.0ms (2.3%)

regimes28.0ms (1.4%)

regimes23.0ms (1.1%)

regimes29.0ms (1.4%)

regimes13.0ms (0.6%)

regimes4.0ms (0.2%)

regimes6.0ms (0.3%)

regimes8.0ms (0.4%)

regimes8.0ms (0.4%)

regimes6.0ms (0.3%)

regimes32.0ms (1.5%)

regimes4.0ms (0.2%)

bsearch13.0ms (0.6%)

bsearch1.0ms (0.1%)

bsearch12.0ms (0.6%)

bsearch7.0ms (0.3%)

bsearch1.0ms (0%)

bsearch0.0ms (0%)

derivations110.0ms (5.3%)

preprocess80.0ms (3.8%)

end0.0ms (0%)

Profiling