Metrics for Rosa's DopplerBench

start0.0ms (0%)

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

analyze75.0ms (2.3%)

Memory

-7.5MiB live, 130.2MiB allocated; 24ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
25%	25%	74.9%	0.1%	0%	0%	0%	4
37.5%	37.4%	62.4%	0.1%	0%	0%	0%	5
37.5%	37.4%	62.4%	0.1%	0%	0%	0%	6
56.3%	56.2%	43.7%	0.1%	0%	0%	0%	7
65.6%	65.5%	34.3%	0.1%	0%	0%	0%	8
65.6%	65.5%	34.3%	0.1%	0%	0%	0%	9
76.6%	76.5%	23.4%	0.1%	0%	0%	0%	10
82%	81.9%	17.9%	0.1%	0%	0%	0%	11
82%	81.9%	17.9%	0.1%	0%	0%	0%	12

Compiler

Compiled 14 to 10 computations (28.6% saved)

sample837.0ms (26.1%)

Memory

34.9MiB live, 818.3MiB allocated; 297ms collecting garbage

Samples

529.0ms	8 255×	0	valid
0.0ms	1×	1	valid

Precisions

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

ival-mult!: 116.0ms (46.9% of total)

ival-neg: 69.0ms (27.9% of total)

ival-div!: 37.0ms (15% of total)

ival-add!: 24.0ms (9.7% of total)

adjust: 2.0ms (0.8% of total)

Bogosity

preprocess18.0ms (0.6%)

Memory

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	35	99
1	241	99

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	70.6%	(/.f64 (.f64 (neg.f64 t1) v) (.f64 (+.f64 t1 u) (+.f64 t1 u)))

Symmetry

(negabs v)

Compiler

Compiled 24 to 16 computations (33.3% saved)

series173.0ms (5.4%)

Memory

-30.1MiB live, 114.8MiB allocated; 86ms collecting garbage

Counts

8 → 42

Calls

Call 1

Inputs
(/.f64 (.f64 (neg.f64 t1) v) (.f64 (+.f64 t1 u) (+.f64 t1 u)))
(*.f64 (neg.f64 t1) v)
(neg.f64 t1)
t1
v
(*.f64 (+.f64 t1 u) (+.f64 t1 u))
(+.f64 t1 u)
u

Outputs
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (*.f64 #s(literal -1 binary64) (/.f64 v t1)))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (fma.f64 #s(literal -1 binary64) (/.f64 v t1) (.f64 #s(literal 2 binary64) (/.f64 (.f64 u v) (pow.f64 t1 #s(literal 2 binary64))))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (fma.f64 #s(literal -1 binary64) (/.f64 v t1) (.f64 u (fma.f64 #s(literal 2 binary64) (/.f64 v (pow.f64 t1 #s(literal 2 binary64))) (.f64 u (fma.f64 #s(literal -4 binary64) (/.f64 v (pow.f64 t1 #s(literal 3 binary64))) (/.f64 v (pow.f64 t1 #s(literal 3 binary64)))))))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (fma.f64 #s(literal -1 binary64) (/.f64 v t1) (.f64 u (fma.f64 #s(literal 2 binary64) (/.f64 v (pow.f64 t1 #s(literal 2 binary64))) (.f64 u (fma.f64 #s(literal -4 binary64) (/.f64 v (pow.f64 t1 #s(literal 3 binary64))) (fma.f64 u (fma.f64 #s(literal -2 binary64) (/.f64 v (pow.f64 t1 #s(literal 4 binary64))) (*.f64 #s(literal -2 binary64) (/.f64 (fma.f64 #s(literal -4 binary64) (/.f64 v (pow.f64 t1 #s(literal 3 binary64))) (/.f64 v (pow.f64 t1 #s(literal 3 binary64)))) t1))) (/.f64 v (pow.f64 t1 #s(literal 3 binary64))))))))))
#s(approx (* (+ t1 u) (+ t1 u)) (pow.f64 t1 #s(literal 2 binary64)))
#s(approx (* (+ t1 u) (+ t1 u)) (fma.f64 #s(literal 2 binary64) (*.f64 t1 u) (pow.f64 t1 #s(literal 2 binary64))))
#s(approx (* (+ t1 u) (+ t1 u)) (fma.f64 u (+.f64 u (*.f64 #s(literal 2 binary64) t1)) (pow.f64 t1 #s(literal 2 binary64))))
#s(approx (+ t1 u) t1)
#s(approx (+ t1 u) (+.f64 t1 u))
#s(approx u u)
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (.f64 #s(literal -1 binary64) (/.f64 (.f64 t1 v) (pow.f64 u #s(literal 2 binary64)))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (/.f64 (fma.f64 #s(literal -1 binary64) (.f64 t1 v) (.f64 #s(literal 2 binary64) (/.f64 (*.f64 (pow.f64 t1 #s(literal 2 binary64)) v) u))) (pow.f64 u #s(literal 2 binary64))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (/.f64 (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (pow.f64 u #s(literal 2 binary64))) (fma.f64 #s(literal -1 binary64) (.f64 t1 v) (fma.f64 #s(literal 2 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) u) (/.f64 (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (pow.f64 u #s(literal 2 binary64)))))) (pow.f64 u #s(literal 2 binary64))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (/.f64 (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (pow.f64 u #s(literal 2 binary64))) (fma.f64 #s(literal -2 binary64) (/.f64 (.f64 t1 (fma.f64 #s(literal -4 binary64) (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (.f64 (pow.f64 t1 #s(literal 3 binary64)) v))) (pow.f64 u #s(literal 3 binary64))) (fma.f64 #s(literal -2 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 4 binary64)) v) (pow.f64 u #s(literal 3 binary64))) (fma.f64 #s(literal -1 binary64) (.f64 t1 v) (fma.f64 #s(literal 2 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) u) (/.f64 (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (pow.f64 u #s(literal 2 binary64)))))))) (pow.f64 u #s(literal 2 binary64))))
#s(approx (* (+ t1 u) (+ t1 u)) (pow.f64 u #s(literal 2 binary64)))
#s(approx (* (+ t1 u) (+ t1 u)) (.f64 (pow.f64 u #s(literal 2 binary64)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) (/.f64 t1 u)))))
#s(approx (* (+ t1 u) (+ t1 u)) (*.f64 (pow.f64 u #s(literal 2 binary64)) (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal 2 binary64) (/.f64 t1 u) (/.f64 (pow.f64 t1 #s(literal 2 binary64)) (pow.f64 u #s(literal 2 binary64)))))))
#s(approx (+ t1 u) (*.f64 u (+.f64 #s(literal 1 binary64) (/.f64 t1 u))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (/.f64 (fma.f64 #s(literal -1 binary64) (.f64 t1 v) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -2 binary64) (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -4 binary64) (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (.f64 (pow.f64 t1 #s(literal 3 binary64)) v)) u))) u))) (pow.f64 u #s(literal 2 binary64))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (/.f64 (fma.f64 #s(literal -1 binary64) (.f64 t1 v) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -2 binary64) (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -4 binary64) (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal 2 binary64) (.f64 t1 (fma.f64 #s(literal -4 binary64) (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (.f64 (pow.f64 t1 #s(literal 3 binary64)) v))) (.f64 #s(literal 2 binary64) (.f64 (pow.f64 t1 #s(literal 4 binary64)) v))) u) (*.f64 (pow.f64 t1 #s(literal 3 binary64)) v))) u))) u))) (pow.f64 u #s(literal 2 binary64))))
#s(approx (* (+ t1 u) (+ t1 u)) (.f64 (pow.f64 u #s(literal 2 binary64)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -2 binary64) t1 (*.f64 #s(literal -1 binary64) (/.f64 (pow.f64 t1 #s(literal 2 binary64)) u))) u)))))
#s(approx (+ t1 u) (.f64 #s(literal -1 binary64) (.f64 u (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 t1 u)) #s(literal 1 binary64)))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (.f64 #s(literal -1 binary64) (/.f64 (.f64 t1 v) (pow.f64 (+.f64 t1 u) #s(literal 2 binary64)))))
#s(approx (* (neg t1) v) (.f64 #s(literal -1 binary64) (.f64 t1 v)))
#s(approx v v)
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (.f64 t1 (fma.f64 #s(literal -1 binary64) (/.f64 v (pow.f64 u #s(literal 2 binary64))) (.f64 #s(literal 2 binary64) (/.f64 (*.f64 t1 v) (pow.f64 u #s(literal 3 binary64)))))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (.f64 t1 (fma.f64 #s(literal -1 binary64) (/.f64 v (pow.f64 u #s(literal 2 binary64))) (.f64 t1 (fma.f64 #s(literal 2 binary64) (/.f64 v (pow.f64 u #s(literal 3 binary64))) (*.f64 t1 (fma.f64 #s(literal -4 binary64) (/.f64 v (pow.f64 u #s(literal 4 binary64))) (/.f64 v (pow.f64 u #s(literal 4 binary64))))))))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (.f64 t1 (fma.f64 #s(literal -1 binary64) (/.f64 v (pow.f64 u #s(literal 2 binary64))) (.f64 t1 (fma.f64 #s(literal 2 binary64) (/.f64 v (pow.f64 u #s(literal 3 binary64))) (.f64 t1 (fma.f64 #s(literal -4 binary64) (/.f64 v (pow.f64 u #s(literal 4 binary64))) (fma.f64 t1 (fma.f64 #s(literal -2 binary64) (/.f64 v (pow.f64 u #s(literal 5 binary64))) (.f64 #s(literal -2 binary64) (/.f64 (fma.f64 #s(literal -4 binary64) (/.f64 v (pow.f64 u #s(literal 4 binary64))) (/.f64 v (pow.f64 u #s(literal 4 binary64)))) u))) (/.f64 v (pow.f64 u #s(literal 4 binary64)))))))))))
#s(approx (neg t1) (*.f64 #s(literal -1 binary64) t1))
#s(approx (* (+ t1 u) (+ t1 u)) (fma.f64 #s(literal 2 binary64) (*.f64 t1 u) (pow.f64 u #s(literal 2 binary64))))
#s(approx (* (+ t1 u) (+ t1 u)) (fma.f64 t1 (+.f64 t1 (*.f64 #s(literal 2 binary64) u)) (pow.f64 u #s(literal 2 binary64))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (/.f64 (fma.f64 #s(literal -1 binary64) v (.f64 #s(literal 2 binary64) (/.f64 (.f64 u v) t1))) t1))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (/.f64 (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (pow.f64 u #s(literal 2 binary64)) v) (pow.f64 t1 #s(literal 2 binary64))) (fma.f64 #s(literal -1 binary64) v (fma.f64 #s(literal 2 binary64) (/.f64 (.f64 u v) t1) (/.f64 (*.f64 (pow.f64 u #s(literal 2 binary64)) v) (pow.f64 t1 #s(literal 2 binary64)))))) t1))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (/.f64 (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (pow.f64 u #s(literal 2 binary64)) v) (pow.f64 t1 #s(literal 2 binary64))) (fma.f64 #s(literal -2 binary64) (/.f64 (.f64 u (fma.f64 #s(literal -4 binary64) (.f64 (pow.f64 u #s(literal 2 binary64)) v) (.f64 (pow.f64 u #s(literal 2 binary64)) v))) (pow.f64 t1 #s(literal 3 binary64))) (fma.f64 #s(literal -2 binary64) (/.f64 (.f64 (pow.f64 u #s(literal 3 binary64)) v) (pow.f64 t1 #s(literal 3 binary64))) (fma.f64 #s(literal -1 binary64) v (fma.f64 #s(literal 2 binary64) (/.f64 (.f64 u v) t1) (/.f64 (*.f64 (pow.f64 u #s(literal 2 binary64)) v) (pow.f64 t1 #s(literal 2 binary64)))))))) t1))
#s(approx (* (+ t1 u) (+ t1 u)) (.f64 (pow.f64 t1 #s(literal 2 binary64)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) (/.f64 u t1)))))
#s(approx (* (+ t1 u) (+ t1 u)) (*.f64 (pow.f64 t1 #s(literal 2 binary64)) (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal 2 binary64) (/.f64 u t1) (/.f64 (pow.f64 u #s(literal 2 binary64)) (pow.f64 t1 #s(literal 2 binary64)))))))
#s(approx (+ t1 u) (*.f64 t1 (+.f64 #s(literal 1 binary64) (/.f64 u t1))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 v (.f64 #s(literal -2 binary64) (/.f64 (*.f64 u v) t1))) t1)))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 v (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (pow.f64 u #s(literal 2 binary64)) v) t1) (/.f64 (.f64 (pow.f64 u #s(literal 2 binary64)) v) t1)) (.f64 #s(literal -2 binary64) (.f64 u v))) t1))) t1)))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 v (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (fma.f64 #s(literal 2 binary64) (/.f64 (.f64 u (fma.f64 #s(literal -4 binary64) (.f64 (pow.f64 u #s(literal 2 binary64)) v) (.f64 (pow.f64 u #s(literal 2 binary64)) v))) t1) (.f64 #s(literal 2 binary64) (/.f64 (.f64 (pow.f64 u #s(literal 3 binary64)) v) t1))) (fma.f64 #s(literal -4 binary64) (.f64 (pow.f64 u #s(literal 2 binary64)) v) (.f64 (pow.f64 u #s(literal 2 binary64)) v))) t1)) (.f64 #s(literal -2 binary64) (.f64 u v))) t1))) t1)))
#s(approx (* (+ t1 u) (+ t1 u)) (.f64 (pow.f64 t1 #s(literal 2 binary64)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -2 binary64) u (*.f64 #s(literal -1 binary64) (/.f64 (pow.f64 u #s(literal 2 binary64)) t1))) t1)))))
#s(approx (+ t1 u) (.f64 #s(literal -1 binary64) (.f64 t1 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 u t1)) #s(literal 1 binary64)))))

Calls

9 calls:

Time	Variable	Point
21.0ms	v	inf
4.0ms	t1	inf
2.0ms	t1	0
2.0ms	v	-inf
2.0ms	v	0

rewrite138.0ms (4.3%)

Memory

0.4MiB live, 90.3MiB allocated; 38ms collecting garbage

Counts

8 → 24

Calls

Call 1

Inputs
(/.f64 (.f64 (neg.f64 t1) v) (.f64 (+.f64 t1 u) (+.f64 t1 u)))
(*.f64 (neg.f64 t1) v)
(neg.f64 t1)
t1
v
(*.f64 (+.f64 t1 u) (+.f64 t1 u))
(+.f64 t1 u)
u

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

eval7.0ms (0.2%)

Memory: 11.0MiB live, 11.0MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 673 to 333 computations (80.1% saved)

prune4.0ms (0.1%)

Memory

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

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	52	7	59
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	52	8	60

Accuracy

100.0%

Counts

60 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	82.0%	(/.f64 (/.f64 (neg.f64 (*.f64 t1 v)) (+.f64 t1 u)) (+.f64 t1 u))
✓	70.6%	(/.f64 (.f64 (neg.f64 t1) v) (.f64 (+.f64 t1 u) (+.f64 t1 u)))
▶	37.3%	(/.f64 (.f64 (neg.f64 t1) v) (.f64 #s(approx (+ t1 u) t1) #s(approx (+ t1 u) t1)))
▶	98.7%	(*.f64 (/.f64 (neg.f64 t1) (+.f64 t1 u)) (/.f64 v (+.f64 t1 u)))
	70.2%	(.f64 (neg.f64 (.f64 t1 v)) (/.f64 #s(literal 1 binary64) (*.f64 (+.f64 t1 u) (+.f64 t1 u))))
▶	71.6%	(.f64 (neg.f64 t1) (/.f64 v (.f64 (+.f64 t1 u) (+.f64 t1 u))))
	53.8%	#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (/.f64 (fma.f64 #s(literal -1 binary64) v (.f64 #s(literal 2 binary64) (/.f64 (.f64 u v) t1))) t1))
▶	56.1%	#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (*.f64 #s(literal -1 binary64) (/.f64 v t1)))

Compiler

Compiled 230 to 150 computations (34.8% saved)

series267.0ms (8.3%)

Memory

26.3MiB live, 169.3MiB allocated; 84ms collecting garbage

Counts

23 → 120

Calls

Call 1

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

Outputs
#s(approx (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))) (*.f64 #s(literal -1 binary64) (/.f64 v t1)))
#s(approx (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))) (fma.f64 #s(literal -1 binary64) (/.f64 v t1) (.f64 #s(literal 2 binary64) (/.f64 (.f64 u v) (pow.f64 t1 #s(literal 2 binary64))))))
#s(approx (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))) (fma.f64 #s(literal -1 binary64) (/.f64 v t1) (.f64 u (fma.f64 #s(literal 2 binary64) (/.f64 v (pow.f64 t1 #s(literal 2 binary64))) (.f64 u (fma.f64 #s(literal -4 binary64) (/.f64 v (pow.f64 t1 #s(literal 3 binary64))) (/.f64 v (pow.f64 t1 #s(literal 3 binary64)))))))))
#s(approx (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))) (fma.f64 #s(literal -1 binary64) (/.f64 v t1) (.f64 u (fma.f64 #s(literal 2 binary64) (/.f64 v (pow.f64 t1 #s(literal 2 binary64))) (.f64 u (fma.f64 #s(literal -4 binary64) (/.f64 v (pow.f64 t1 #s(literal 3 binary64))) (fma.f64 u (fma.f64 #s(literal -2 binary64) (/.f64 v (pow.f64 t1 #s(literal 4 binary64))) (*.f64 #s(literal -2 binary64) (/.f64 (fma.f64 #s(literal -4 binary64) (/.f64 v (pow.f64 t1 #s(literal 3 binary64))) (/.f64 v (pow.f64 t1 #s(literal 3 binary64)))) t1))) (/.f64 v (pow.f64 t1 #s(literal 3 binary64))))))))))
#s(approx (/ (neg t1) (+ t1 u)) #s(literal -1 binary64))
#s(approx (/ (neg t1) (+ t1 u)) (-.f64 (/.f64 u t1) #s(literal 1 binary64)))
#s(approx (/ (neg t1) (+ t1 u)) (-.f64 (*.f64 u (fma.f64 #s(literal -1 binary64) (/.f64 u (pow.f64 t1 #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) t1))) #s(literal 1 binary64)))
#s(approx (/ (neg t1) (+ t1 u)) (-.f64 (*.f64 u (fma.f64 u (-.f64 (/.f64 u (pow.f64 t1 #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 t1 #s(literal 2 binary64)))) (/.f64 #s(literal 1 binary64) t1))) #s(literal 1 binary64)))
#s(approx (+ t1 u) t1)
#s(approx (+ t1 u) (+.f64 t1 u))
#s(approx u u)
#s(approx (/ v (+ t1 u)) (/.f64 v t1))
#s(approx (/ v (+ t1 u)) (fma.f64 #s(literal -1 binary64) (/.f64 (*.f64 u v) (pow.f64 t1 #s(literal 2 binary64))) (/.f64 v t1)))
#s(approx (/ v (+ t1 u)) (fma.f64 u (-.f64 (/.f64 (*.f64 u v) (pow.f64 t1 #s(literal 3 binary64))) (/.f64 v (pow.f64 t1 #s(literal 2 binary64)))) (/.f64 v t1)))
#s(approx (/ v (+ t1 u)) (fma.f64 u (-.f64 (.f64 u (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 u v) (pow.f64 t1 #s(literal 4 binary64)))) (.f64 #s(literal -1 binary64) (/.f64 v (pow.f64 t1 #s(literal 3 binary64)))))) (/.f64 v (pow.f64 t1 #s(literal 2 binary64)))) (/.f64 v t1)))
#s(approx (* (+ t1 u) (+ t1 u)) (pow.f64 t1 #s(literal 2 binary64)))
#s(approx (* (+ t1 u) (+ t1 u)) (fma.f64 #s(literal 2 binary64) (*.f64 t1 u) (pow.f64 t1 #s(literal 2 binary64))))
#s(approx (* (+ t1 u) (+ t1 u)) (fma.f64 u (+.f64 u (*.f64 #s(literal 2 binary64) t1)) (pow.f64 t1 #s(literal 2 binary64))))
#s(approx (/ v (* (+ t1 u) (+ t1 u))) (/.f64 v (pow.f64 t1 #s(literal 2 binary64))))
#s(approx (/ v (* (+ t1 u) (+ t1 u))) (fma.f64 #s(literal -2 binary64) (/.f64 (*.f64 u v) (pow.f64 t1 #s(literal 3 binary64))) (/.f64 v (pow.f64 t1 #s(literal 2 binary64)))))
#s(approx (/ v (* (+ t1 u) (+ t1 u))) (fma.f64 u (-.f64 (.f64 #s(literal -1 binary64) (.f64 u (fma.f64 #s(literal -4 binary64) (/.f64 v (pow.f64 t1 #s(literal 4 binary64))) (/.f64 v (pow.f64 t1 #s(literal 4 binary64)))))) (*.f64 #s(literal 2 binary64) (/.f64 v (pow.f64 t1 #s(literal 3 binary64))))) (/.f64 v (pow.f64 t1 #s(literal 2 binary64)))))
#s(approx (/ v (* (+ t1 u) (+ t1 u))) (fma.f64 u (-.f64 (.f64 u (-.f64 (.f64 #s(literal -1 binary64) (.f64 u (fma.f64 #s(literal -2 binary64) (/.f64 v (pow.f64 t1 #s(literal 5 binary64))) (.f64 #s(literal -2 binary64) (/.f64 (fma.f64 #s(literal -4 binary64) (/.f64 v (pow.f64 t1 #s(literal 4 binary64))) (/.f64 v (pow.f64 t1 #s(literal 4 binary64)))) t1))))) (fma.f64 #s(literal -4 binary64) (/.f64 v (pow.f64 t1 #s(literal 4 binary64))) (/.f64 v (pow.f64 t1 #s(literal 4 binary64)))))) (*.f64 #s(literal 2 binary64) (/.f64 v (pow.f64 t1 #s(literal 3 binary64))))) (/.f64 v (pow.f64 t1 #s(literal 2 binary64)))))
#s(approx (/ (neg (* t1 v)) (+ t1 u)) (*.f64 #s(literal -1 binary64) v))
#s(approx (/ (neg (* t1 v)) (+ t1 u)) (fma.f64 #s(literal -1 binary64) v (/.f64 (*.f64 u v) t1)))
#s(approx (/ (neg (* t1 v)) (+ t1 u)) (fma.f64 #s(literal -1 binary64) v (.f64 u (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 u v) (pow.f64 t1 #s(literal 2 binary64))) (/.f64 v t1)))))
#s(approx (/ (neg (* t1 v)) (+ t1 u)) (fma.f64 #s(literal -1 binary64) v (.f64 u (fma.f64 u (fma.f64 #s(literal -1 binary64) (/.f64 v (pow.f64 t1 #s(literal 2 binary64))) (/.f64 (.f64 u v) (pow.f64 t1 #s(literal 3 binary64)))) (/.f64 v t1)))))
#s(approx (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))) (.f64 #s(literal -1 binary64) (/.f64 (.f64 t1 v) (pow.f64 u #s(literal 2 binary64)))))
#s(approx (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))) (/.f64 (fma.f64 #s(literal -1 binary64) (.f64 t1 v) (.f64 #s(literal 2 binary64) (/.f64 (*.f64 (pow.f64 t1 #s(literal 2 binary64)) v) u))) (pow.f64 u #s(literal 2 binary64))))
#s(approx (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))) (/.f64 (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (pow.f64 u #s(literal 2 binary64))) (fma.f64 #s(literal -1 binary64) (.f64 t1 v) (fma.f64 #s(literal 2 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) u) (/.f64 (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (pow.f64 u #s(literal 2 binary64)))))) (pow.f64 u #s(literal 2 binary64))))
#s(approx (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))) (/.f64 (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (pow.f64 u #s(literal 2 binary64))) (fma.f64 #s(literal -2 binary64) (/.f64 (.f64 t1 (fma.f64 #s(literal -4 binary64) (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (.f64 (pow.f64 t1 #s(literal 3 binary64)) v))) (pow.f64 u #s(literal 3 binary64))) (fma.f64 #s(literal -2 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 4 binary64)) v) (pow.f64 u #s(literal 3 binary64))) (fma.f64 #s(literal -1 binary64) (.f64 t1 v) (fma.f64 #s(literal 2 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) u) (/.f64 (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (pow.f64 u #s(literal 2 binary64)))))))) (pow.f64 u #s(literal 2 binary64))))
#s(approx (/ (neg t1) (+ t1 u)) (*.f64 #s(literal -1 binary64) (/.f64 t1 u)))
#s(approx (/ (neg t1) (+ t1 u)) (/.f64 (fma.f64 #s(literal -1 binary64) t1 (/.f64 (pow.f64 t1 #s(literal 2 binary64)) u)) u))
#s(approx (/ (neg t1) (+ t1 u)) (/.f64 (fma.f64 #s(literal -1 binary64) t1 (fma.f64 #s(literal -1 binary64) (/.f64 (pow.f64 t1 #s(literal 3 binary64)) (pow.f64 u #s(literal 2 binary64))) (/.f64 (pow.f64 t1 #s(literal 2 binary64)) u))) u))
#s(approx (/ (neg t1) (+ t1 u)) (/.f64 (fma.f64 #s(literal -1 binary64) t1 (fma.f64 #s(literal -1 binary64) (/.f64 (pow.f64 t1 #s(literal 3 binary64)) (pow.f64 u #s(literal 2 binary64))) (+.f64 (/.f64 (pow.f64 t1 #s(literal 2 binary64)) u) (/.f64 (pow.f64 t1 #s(literal 4 binary64)) (pow.f64 u #s(literal 3 binary64)))))) u))
#s(approx (+ t1 u) (*.f64 u (+.f64 #s(literal 1 binary64) (/.f64 t1 u))))
#s(approx (/ v (+ t1 u)) (/.f64 v u))
#s(approx (/ v (+ t1 u)) (/.f64 (+.f64 v (.f64 #s(literal -1 binary64) (/.f64 (.f64 t1 v) u))) u))
#s(approx (/ v (+ t1 u)) (/.f64 (-.f64 (+.f64 v (/.f64 (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) (pow.f64 u #s(literal 2 binary64)))) (/.f64 (.f64 t1 v) u)) u))
#s(approx (/ v (+ t1 u)) (/.f64 (-.f64 (+.f64 v (.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (pow.f64 u #s(literal 3 binary64))))) (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) (pow.f64 u #s(literal 2 binary64))) (/.f64 (.f64 t1 v) u))) u))
#s(approx (* (+ t1 u) (+ t1 u)) (pow.f64 u #s(literal 2 binary64)))
#s(approx (* (+ t1 u) (+ t1 u)) (.f64 (pow.f64 u #s(literal 2 binary64)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) (/.f64 t1 u)))))
#s(approx (* (+ t1 u) (+ t1 u)) (*.f64 (pow.f64 u #s(literal 2 binary64)) (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal 2 binary64) (/.f64 t1 u) (/.f64 (pow.f64 t1 #s(literal 2 binary64)) (pow.f64 u #s(literal 2 binary64)))))))
#s(approx (/ v (* (+ t1 u) (+ t1 u))) (/.f64 v (pow.f64 u #s(literal 2 binary64))))
#s(approx (/ v (* (+ t1 u) (+ t1 u))) (/.f64 (+.f64 v (.f64 #s(literal -2 binary64) (/.f64 (.f64 t1 v) u))) (pow.f64 u #s(literal 2 binary64))))
#s(approx (/ v (* (+ t1 u) (+ t1 u))) (/.f64 (-.f64 (+.f64 v (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -4 binary64) (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) (.f64 (pow.f64 t1 #s(literal 2 binary64)) v)) (pow.f64 u #s(literal 2 binary64))))) (.f64 #s(literal 2 binary64) (/.f64 (*.f64 t1 v) u))) (pow.f64 u #s(literal 2 binary64))))
#s(approx (/ v (* (+ t1 u) (+ t1 u))) (/.f64 (-.f64 (+.f64 v (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -2 binary64) (.f64 t1 (fma.f64 #s(literal -4 binary64) (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) (.f64 (pow.f64 t1 #s(literal 2 binary64)) v))) (.f64 #s(literal -2 binary64) (.f64 (pow.f64 t1 #s(literal 3 binary64)) v))) (pow.f64 u #s(literal 3 binary64))))) (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) (pow.f64 u #s(literal 2 binary64))) (fma.f64 #s(literal 2 binary64) (/.f64 (.f64 t1 v) u) (/.f64 (*.f64 (pow.f64 t1 #s(literal 2 binary64)) v) (pow.f64 u #s(literal 2 binary64)))))) (pow.f64 u #s(literal 2 binary64))))
#s(approx (/ (neg (* t1 v)) (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (.f64 t1 v) u)))
#s(approx (/ (neg (* t1 v)) (+ t1 u)) (/.f64 (fma.f64 #s(literal -1 binary64) (.f64 t1 v) (/.f64 (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) u)) u))
#s(approx (/ (neg (* t1 v)) (+ t1 u)) (/.f64 (fma.f64 #s(literal -1 binary64) (.f64 t1 v) (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (pow.f64 u #s(literal 2 binary64))) (/.f64 (*.f64 (pow.f64 t1 #s(literal 2 binary64)) v) u))) u))
#s(approx (/ (neg (* t1 v)) (+ t1 u)) (/.f64 (fma.f64 #s(literal -1 binary64) (.f64 t1 v) (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (pow.f64 u #s(literal 2 binary64))) (+.f64 (/.f64 (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) u) (/.f64 (.f64 (pow.f64 t1 #s(literal 4 binary64)) v) (pow.f64 u #s(literal 3 binary64)))))) u))
#s(approx (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))) (/.f64 (fma.f64 #s(literal -1 binary64) (.f64 t1 v) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -2 binary64) (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -4 binary64) (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (.f64 (pow.f64 t1 #s(literal 3 binary64)) v)) u))) u))) (pow.f64 u #s(literal 2 binary64))))
#s(approx (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))) (/.f64 (fma.f64 #s(literal -1 binary64) (.f64 t1 v) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -2 binary64) (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -4 binary64) (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal 2 binary64) (.f64 t1 (fma.f64 #s(literal -4 binary64) (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (.f64 (pow.f64 t1 #s(literal 3 binary64)) v))) (.f64 #s(literal 2 binary64) (.f64 (pow.f64 t1 #s(literal 4 binary64)) v))) u) (*.f64 (pow.f64 t1 #s(literal 3 binary64)) v))) u))) u))) (pow.f64 u #s(literal 2 binary64))))
#s(approx (/ (neg t1) (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 t1 (.f64 #s(literal -1 binary64) (/.f64 (pow.f64 t1 #s(literal 2 binary64)) u))) u)))
#s(approx (/ (neg t1) (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 t1 (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (pow.f64 t1 #s(literal 3 binary64)) u) (pow.f64 t1 #s(literal 2 binary64))) u))) u)))
#s(approx (/ (neg t1) (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 t1 (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (pow.f64 t1 #s(literal 4 binary64)) u) (pow.f64 t1 #s(literal 3 binary64))) u) (pow.f64 t1 #s(literal 2 binary64))) u))) u)))
#s(approx (+ t1 u) (.f64 #s(literal -1 binary64) (.f64 u (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 t1 u)) #s(literal 1 binary64)))))
#s(approx (/ v (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) v (/.f64 (.f64 t1 v) u)) u)))
#s(approx (/ v (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) v (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) u) (.f64 t1 v)) u))) u)))
#s(approx (/ v (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) v (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) u) (.f64 (pow.f64 t1 #s(literal 2 binary64)) v)) u)) (.f64 t1 v)) u))) u)))
#s(approx (* (+ t1 u) (+ t1 u)) (.f64 (pow.f64 u #s(literal 2 binary64)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -2 binary64) t1 (*.f64 #s(literal -1 binary64) (/.f64 (pow.f64 t1 #s(literal 2 binary64)) u))) u)))))
#s(approx (/ v (* (+ t1 u) (+ t1 u))) (/.f64 (+.f64 v (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) u) (/.f64 (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) u)) (.f64 #s(literal -2 binary64) (*.f64 t1 v))) u))) (pow.f64 u #s(literal 2 binary64))))
#s(approx (/ v (* (+ t1 u) (+ t1 u))) (/.f64 (+.f64 v (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (fma.f64 #s(literal 2 binary64) (/.f64 (.f64 t1 (fma.f64 #s(literal -4 binary64) (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) (.f64 (pow.f64 t1 #s(literal 2 binary64)) v))) u) (.f64 #s(literal 2 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) u))) (fma.f64 #s(literal -4 binary64) (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) (.f64 (pow.f64 t1 #s(literal 2 binary64)) v))) u)) (.f64 #s(literal -2 binary64) (*.f64 t1 v))) u))) (pow.f64 u #s(literal 2 binary64))))
#s(approx (/ (neg (* t1 v)) (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) u) (*.f64 t1 v)) u)))
#s(approx (/ (neg (* t1 v)) (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) u) (.f64 (pow.f64 t1 #s(literal 2 binary64)) v)) u) (.f64 t1 v)) u)))
#s(approx (/ (neg (* t1 v)) (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 4 binary64)) v) u) (.f64 (pow.f64 t1 #s(literal 3 binary64)) v)) u) (.f64 (pow.f64 t1 #s(literal 2 binary64)) v)) u) (*.f64 t1 v)) u)))
#s(approx (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))) (.f64 #s(literal -1 binary64) (/.f64 (.f64 t1 v) (pow.f64 (+.f64 t1 u) #s(literal 2 binary64)))))
#s(approx (/ v (+ t1 u)) (/.f64 v (+.f64 t1 u)))
#s(approx v v)
#s(approx (* (neg t1) v) (.f64 #s(literal -1 binary64) (.f64 t1 v)))
#s(approx (/ v (* (+ t1 u) (+ t1 u))) (/.f64 v (pow.f64 (+.f64 t1 u) #s(literal 2 binary64))))
#s(approx (/ (neg (* t1 v)) (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (.f64 t1 v) (+.f64 t1 u))))
#s(approx (* t1 v) (*.f64 t1 v))
#s(approx (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))) (.f64 t1 (fma.f64 #s(literal -1 binary64) (/.f64 v (pow.f64 u #s(literal 2 binary64))) (.f64 #s(literal 2 binary64) (/.f64 (*.f64 t1 v) (pow.f64 u #s(literal 3 binary64)))))))
#s(approx (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))) (.f64 t1 (fma.f64 #s(literal -1 binary64) (/.f64 v (pow.f64 u #s(literal 2 binary64))) (.f64 t1 (fma.f64 #s(literal 2 binary64) (/.f64 v (pow.f64 u #s(literal 3 binary64))) (*.f64 t1 (fma.f64 #s(literal -4 binary64) (/.f64 v (pow.f64 u #s(literal 4 binary64))) (/.f64 v (pow.f64 u #s(literal 4 binary64))))))))))
#s(approx (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))) (.f64 t1 (fma.f64 #s(literal -1 binary64) (/.f64 v (pow.f64 u #s(literal 2 binary64))) (.f64 t1 (fma.f64 #s(literal 2 binary64) (/.f64 v (pow.f64 u #s(literal 3 binary64))) (.f64 t1 (fma.f64 #s(literal -4 binary64) (/.f64 v (pow.f64 u #s(literal 4 binary64))) (fma.f64 t1 (fma.f64 #s(literal -2 binary64) (/.f64 v (pow.f64 u #s(literal 5 binary64))) (.f64 #s(literal -2 binary64) (/.f64 (fma.f64 #s(literal -4 binary64) (/.f64 v (pow.f64 u #s(literal 4 binary64))) (/.f64 v (pow.f64 u #s(literal 4 binary64)))) u))) (/.f64 v (pow.f64 u #s(literal 4 binary64)))))))))))
#s(approx (/ (neg t1) (+ t1 u)) (*.f64 t1 (-.f64 (/.f64 t1 (pow.f64 u #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) u))))
#s(approx (/ (neg t1) (+ t1 u)) (.f64 t1 (-.f64 (.f64 t1 (fma.f64 #s(literal -1 binary64) (/.f64 t1 (pow.f64 u #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 u #s(literal 2 binary64))))) (/.f64 #s(literal 1 binary64) u))))
#s(approx (/ (neg t1) (+ t1 u)) (.f64 t1 (-.f64 (.f64 t1 (fma.f64 t1 (-.f64 (/.f64 t1 (pow.f64 u #s(literal 4 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 u #s(literal 3 binary64)))) (/.f64 #s(literal 1 binary64) (pow.f64 u #s(literal 2 binary64))))) (/.f64 #s(literal 1 binary64) u))))
#s(approx (neg t1) (*.f64 #s(literal -1 binary64) t1))
#s(approx (/ v (+ t1 u)) (fma.f64 #s(literal -1 binary64) (/.f64 (*.f64 t1 v) (pow.f64 u #s(literal 2 binary64))) (/.f64 v u)))
#s(approx (/ v (+ t1 u)) (fma.f64 t1 (-.f64 (/.f64 (*.f64 t1 v) (pow.f64 u #s(literal 3 binary64))) (/.f64 v (pow.f64 u #s(literal 2 binary64)))) (/.f64 v u)))
#s(approx (/ v (+ t1 u)) (fma.f64 t1 (-.f64 (.f64 t1 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 t1 v) (pow.f64 u #s(literal 4 binary64)))) (.f64 #s(literal -1 binary64) (/.f64 v (pow.f64 u #s(literal 3 binary64)))))) (/.f64 v (pow.f64 u #s(literal 2 binary64)))) (/.f64 v u)))
#s(approx (* (+ t1 u) (+ t1 u)) (fma.f64 #s(literal 2 binary64) (*.f64 t1 u) (pow.f64 u #s(literal 2 binary64))))
#s(approx (* (+ t1 u) (+ t1 u)) (fma.f64 t1 (+.f64 t1 (*.f64 #s(literal 2 binary64) u)) (pow.f64 u #s(literal 2 binary64))))
#s(approx (/ v (* (+ t1 u) (+ t1 u))) (fma.f64 #s(literal -2 binary64) (/.f64 (*.f64 t1 v) (pow.f64 u #s(literal 3 binary64))) (/.f64 v (pow.f64 u #s(literal 2 binary64)))))
#s(approx (/ v (* (+ t1 u) (+ t1 u))) (fma.f64 t1 (-.f64 (.f64 #s(literal -1 binary64) (.f64 t1 (fma.f64 #s(literal -4 binary64) (/.f64 v (pow.f64 u #s(literal 4 binary64))) (/.f64 v (pow.f64 u #s(literal 4 binary64)))))) (*.f64 #s(literal 2 binary64) (/.f64 v (pow.f64 u #s(literal 3 binary64))))) (/.f64 v (pow.f64 u #s(literal 2 binary64)))))
#s(approx (/ v (* (+ t1 u) (+ t1 u))) (fma.f64 t1 (-.f64 (.f64 t1 (-.f64 (.f64 #s(literal -1 binary64) (.f64 t1 (fma.f64 #s(literal -2 binary64) (/.f64 v (pow.f64 u #s(literal 5 binary64))) (.f64 #s(literal -2 binary64) (/.f64 (fma.f64 #s(literal -4 binary64) (/.f64 v (pow.f64 u #s(literal 4 binary64))) (/.f64 v (pow.f64 u #s(literal 4 binary64)))) u))))) (fma.f64 #s(literal -4 binary64) (/.f64 v (pow.f64 u #s(literal 4 binary64))) (/.f64 v (pow.f64 u #s(literal 4 binary64)))))) (*.f64 #s(literal 2 binary64) (/.f64 v (pow.f64 u #s(literal 3 binary64))))) (/.f64 v (pow.f64 u #s(literal 2 binary64)))))
#s(approx (/ (neg (* t1 v)) (+ t1 u)) (.f64 t1 (fma.f64 #s(literal -1 binary64) (/.f64 v u) (/.f64 (.f64 t1 v) (pow.f64 u #s(literal 2 binary64))))))
#s(approx (/ (neg (* t1 v)) (+ t1 u)) (.f64 t1 (fma.f64 #s(literal -1 binary64) (/.f64 v u) (.f64 t1 (fma.f64 #s(literal -1 binary64) (/.f64 (*.f64 t1 v) (pow.f64 u #s(literal 3 binary64))) (/.f64 v (pow.f64 u #s(literal 2 binary64))))))))
#s(approx (/ (neg (* t1 v)) (+ t1 u)) (.f64 t1 (fma.f64 #s(literal -1 binary64) (/.f64 v u) (.f64 t1 (fma.f64 t1 (fma.f64 #s(literal -1 binary64) (/.f64 v (pow.f64 u #s(literal 3 binary64))) (/.f64 (*.f64 t1 v) (pow.f64 u #s(literal 4 binary64)))) (/.f64 v (pow.f64 u #s(literal 2 binary64))))))))
#s(approx (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))) (/.f64 (fma.f64 #s(literal -1 binary64) v (.f64 #s(literal 2 binary64) (/.f64 (.f64 u v) t1))) t1))
#s(approx (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))) (/.f64 (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (pow.f64 u #s(literal 2 binary64)) v) (pow.f64 t1 #s(literal 2 binary64))) (fma.f64 #s(literal -1 binary64) v (fma.f64 #s(literal 2 binary64) (/.f64 (.f64 u v) t1) (/.f64 (*.f64 (pow.f64 u #s(literal 2 binary64)) v) (pow.f64 t1 #s(literal 2 binary64)))))) t1))
#s(approx (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))) (/.f64 (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (pow.f64 u #s(literal 2 binary64)) v) (pow.f64 t1 #s(literal 2 binary64))) (fma.f64 #s(literal -2 binary64) (/.f64 (.f64 u (fma.f64 #s(literal -4 binary64) (.f64 (pow.f64 u #s(literal 2 binary64)) v) (.f64 (pow.f64 u #s(literal 2 binary64)) v))) (pow.f64 t1 #s(literal 3 binary64))) (fma.f64 #s(literal -2 binary64) (/.f64 (.f64 (pow.f64 u #s(literal 3 binary64)) v) (pow.f64 t1 #s(literal 3 binary64))) (fma.f64 #s(literal -1 binary64) v (fma.f64 #s(literal 2 binary64) (/.f64 (.f64 u v) t1) (/.f64 (*.f64 (pow.f64 u #s(literal 2 binary64)) v) (pow.f64 t1 #s(literal 2 binary64)))))))) t1))
#s(approx (/ (neg t1) (+ t1 u)) (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (pow.f64 u #s(literal 2 binary64)) (pow.f64 t1 #s(literal 2 binary64)))) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 u t1)))))
#s(approx (/ (neg t1) (+ t1 u)) (-.f64 (/.f64 (pow.f64 u #s(literal 3 binary64)) (pow.f64 t1 #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) (/.f64 u t1) (/.f64 (pow.f64 u #s(literal 2 binary64)) (pow.f64 t1 #s(literal 2 binary64)))))))
#s(approx (+ t1 u) (*.f64 t1 (+.f64 #s(literal 1 binary64) (/.f64 u t1))))
#s(approx (/ v (+ t1 u)) (/.f64 (+.f64 v (.f64 #s(literal -1 binary64) (/.f64 (.f64 u v) t1))) t1))
#s(approx (/ v (+ t1 u)) (/.f64 (-.f64 (+.f64 v (/.f64 (.f64 (pow.f64 u #s(literal 2 binary64)) v) (pow.f64 t1 #s(literal 2 binary64)))) (/.f64 (.f64 u v) t1)) t1))
#s(approx (/ v (+ t1 u)) (/.f64 (-.f64 (+.f64 v (.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 u #s(literal 3 binary64)) v) (pow.f64 t1 #s(literal 3 binary64))))) (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 u #s(literal 2 binary64)) v) (pow.f64 t1 #s(literal 2 binary64))) (/.f64 (.f64 u v) t1))) t1))
#s(approx (* (+ t1 u) (+ t1 u)) (.f64 (pow.f64 t1 #s(literal 2 binary64)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) (/.f64 u t1)))))
#s(approx (* (+ t1 u) (+ t1 u)) (*.f64 (pow.f64 t1 #s(literal 2 binary64)) (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal 2 binary64) (/.f64 u t1) (/.f64 (pow.f64 u #s(literal 2 binary64)) (pow.f64 t1 #s(literal 2 binary64)))))))
#s(approx (/ v (* (+ t1 u) (+ t1 u))) (/.f64 (+.f64 v (.f64 #s(literal -2 binary64) (/.f64 (.f64 u v) t1))) (pow.f64 t1 #s(literal 2 binary64))))
#s(approx (/ v (* (+ t1 u) (+ t1 u))) (/.f64 (-.f64 (+.f64 v (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -4 binary64) (.f64 (pow.f64 u #s(literal 2 binary64)) v) (.f64 (pow.f64 u #s(literal 2 binary64)) v)) (pow.f64 t1 #s(literal 2 binary64))))) (.f64 #s(literal 2 binary64) (/.f64 (*.f64 u v) t1))) (pow.f64 t1 #s(literal 2 binary64))))
#s(approx (/ v (* (+ t1 u) (+ t1 u))) (/.f64 (-.f64 (+.f64 v (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -2 binary64) (.f64 u (fma.f64 #s(literal -4 binary64) (.f64 (pow.f64 u #s(literal 2 binary64)) v) (.f64 (pow.f64 u #s(literal 2 binary64)) v))) (.f64 #s(literal -2 binary64) (.f64 (pow.f64 u #s(literal 3 binary64)) v))) (pow.f64 t1 #s(literal 3 binary64))))) (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (pow.f64 u #s(literal 2 binary64)) v) (pow.f64 t1 #s(literal 2 binary64))) (fma.f64 #s(literal 2 binary64) (/.f64 (.f64 u v) t1) (/.f64 (*.f64 (pow.f64 u #s(literal 2 binary64)) v) (pow.f64 t1 #s(literal 2 binary64)))))) (pow.f64 t1 #s(literal 2 binary64))))
#s(approx (/ (neg (* t1 v)) (+ t1 u)) (fma.f64 #s(literal -1 binary64) v (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 u #s(literal 2 binary64)) v) (pow.f64 t1 #s(literal 2 binary64))) (/.f64 (.f64 u v) t1))))
#s(approx (/ (neg (* t1 v)) (+ t1 u)) (fma.f64 #s(literal -1 binary64) v (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 u #s(literal 2 binary64)) v) (pow.f64 t1 #s(literal 2 binary64))) (+.f64 (/.f64 (.f64 u v) t1) (/.f64 (*.f64 (pow.f64 u #s(literal 3 binary64)) v) (pow.f64 t1 #s(literal 3 binary64)))))))
#s(approx (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 v (.f64 #s(literal -2 binary64) (/.f64 (*.f64 u v) t1))) t1)))
#s(approx (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 v (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (pow.f64 u #s(literal 2 binary64)) v) t1) (/.f64 (.f64 (pow.f64 u #s(literal 2 binary64)) v) t1)) (.f64 #s(literal -2 binary64) (.f64 u v))) t1))) t1)))
#s(approx (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 v (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (fma.f64 #s(literal 2 binary64) (/.f64 (.f64 u (fma.f64 #s(literal -4 binary64) (.f64 (pow.f64 u #s(literal 2 binary64)) v) (.f64 (pow.f64 u #s(literal 2 binary64)) v))) t1) (.f64 #s(literal 2 binary64) (/.f64 (.f64 (pow.f64 u #s(literal 3 binary64)) v) t1))) (fma.f64 #s(literal -4 binary64) (.f64 (pow.f64 u #s(literal 2 binary64)) v) (.f64 (pow.f64 u #s(literal 2 binary64)) v))) t1)) (.f64 #s(literal -2 binary64) (.f64 u v))) t1))) t1)))
#s(approx (/ (neg t1) (+ t1 u)) (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 (pow.f64 u #s(literal 2 binary64)) t1) u) t1)) #s(literal 1 binary64)))
#s(approx (/ (neg t1) (+ t1 u)) (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 (pow.f64 u #s(literal 3 binary64)) t1) (pow.f64 u #s(literal 2 binary64))) t1)) u) t1)) #s(literal 1 binary64)))
#s(approx (+ t1 u) (.f64 #s(literal -1 binary64) (.f64 t1 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 u t1)) #s(literal 1 binary64)))))
#s(approx (/ v (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) v (/.f64 (.f64 u v) t1)) t1)))
#s(approx (/ v (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) v (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 (.f64 (pow.f64 u #s(literal 2 binary64)) v) t1) (.f64 u v)) t1))) t1)))
#s(approx (/ v (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) v (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 (.f64 (pow.f64 u #s(literal 3 binary64)) v) t1) (.f64 (pow.f64 u #s(literal 2 binary64)) v)) t1)) (.f64 u v)) t1))) t1)))
#s(approx (* (+ t1 u) (+ t1 u)) (.f64 (pow.f64 t1 #s(literal 2 binary64)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -2 binary64) u (*.f64 #s(literal -1 binary64) (/.f64 (pow.f64 u #s(literal 2 binary64)) t1))) t1)))))
#s(approx (/ v (* (+ t1 u) (+ t1 u))) (/.f64 (+.f64 v (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (pow.f64 u #s(literal 2 binary64)) v) t1) (/.f64 (.f64 (pow.f64 u #s(literal 2 binary64)) v) t1)) (.f64 #s(literal -2 binary64) (*.f64 u v))) t1))) (pow.f64 t1 #s(literal 2 binary64))))
#s(approx (/ v (* (+ t1 u) (+ t1 u))) (/.f64 (+.f64 v (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (fma.f64 #s(literal 2 binary64) (/.f64 (.f64 u (fma.f64 #s(literal -4 binary64) (.f64 (pow.f64 u #s(literal 2 binary64)) v) (.f64 (pow.f64 u #s(literal 2 binary64)) v))) t1) (.f64 #s(literal 2 binary64) (/.f64 (.f64 (pow.f64 u #s(literal 3 binary64)) v) t1))) (fma.f64 #s(literal -4 binary64) (.f64 (pow.f64 u #s(literal 2 binary64)) v) (.f64 (pow.f64 u #s(literal 2 binary64)) v))) t1)) (.f64 #s(literal -2 binary64) (*.f64 u v))) t1))) (pow.f64 t1 #s(literal 2 binary64))))
#s(approx (/ (neg (* t1 v)) (+ t1 u)) (fma.f64 #s(literal -1 binary64) v (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 (.f64 (pow.f64 u #s(literal 2 binary64)) v) t1) (*.f64 u v)) t1))))
#s(approx (/ (neg (* t1 v)) (+ t1 u)) (fma.f64 #s(literal -1 binary64) v (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 (.f64 (pow.f64 u #s(literal 3 binary64)) v) t1) (.f64 (pow.f64 u #s(literal 2 binary64)) v)) t1)) (*.f64 u v)) t1))))

Calls

9 calls:

Time	Variable	Point
14.0ms	t1	inf
5.0ms	v	-inf
3.0ms	v	inf
3.0ms	v	0
3.0ms	t1	0

rewrite146.0ms (4.6%)

Memory

-24.2MiB live, 123.5MiB allocated; 37ms collecting garbage

Counts

23 → 91

Calls

Call 1

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

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

eval23.0ms (0.7%)

Memory: -3.2MiB live, 41.9MiB allocated; 8ms collecting garbage
Compiler: Compiled 5 207 to 915 computations (82.4% saved)

prune26.0ms (0.8%)

Memory

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

Pruning

13 alts after pruning (10 fresh and 3 done)

	Pruned	Kept	Total
New	173	10	183
Fresh	2	0	2
Picked	3	2	5
Done	0	1	1
Total	178	13	191

Accuracy

100.0%

Counts

191 → 13

Alt Table

Click to see full alt table

Status	Accuracy	Program
	97.3%	(/.f64 (*.f64 (neg.f64 (/.f64 t1 (+.f64 t1 u))) v) (+.f64 t1 u))
	81.9%	(/.f64 (.f64 (neg.f64 (.f64 t1 v)) (/.f64 #s(literal 1 binary64) (+.f64 t1 u))) (+.f64 t1 u))
▶	97.8%	(/.f64 (*.f64 (neg.f64 t1) (/.f64 v (+.f64 t1 u))) (+.f64 t1 u))
✓	70.6%	(/.f64 (.f64 (neg.f64 t1) v) (.f64 (+.f64 t1 u) (+.f64 t1 u)))
✓	37.3%	(/.f64 (.f64 (neg.f64 t1) v) (.f64 #s(approx (+ t1 u) t1) #s(approx (+ t1 u) t1)))
▶	46.3%	(/.f64 #s(approx (/ (neg (* t1 v)) (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (.f64 t1 v) u))) (+.f64 t1 u))
	65.9%	(/.f64 #s(approx (/ (neg (* t1 v)) (+ t1 u)) (*.f64 #s(literal -1 binary64) v)) (+.f64 t1 u))
▶	50.8%	(*.f64 (/.f64 (neg.f64 t1) (+.f64 t1 u)) #s(approx (/ v (+ t1 u)) (/.f64 v u)))
	68.3%	(*.f64 (/.f64 (neg.f64 t1) (+.f64 t1 u)) #s(approx (/ v (+ t1 u)) (/.f64 v t1)))
✓	71.6%	(.f64 (neg.f64 t1) (/.f64 v (.f64 (+.f64 t1 u) (+.f64 t1 u))))
	58.9%	(*.f64 #s(approx (/ (neg t1) (+ t1 u)) (-.f64 (/.f64 u t1) #s(literal 1 binary64))) (/.f64 v (+.f64 t1 u)))
▶	55.9%	#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (.f64 #s(literal -1 binary64) (.f64 v (/.f64 #s(literal 1 binary64) t1))))
▶	56.1%	#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (neg.f64 (/.f64 v t1)))

Compiler

Compiled 362 to 249 computations (31.2% saved)

series193.0ms (6%)

Memory

-14.9MiB live, 168.8MiB allocated; 64ms collecting garbage

Counts

26 → 90

Calls

Call 1

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

Outputs
#s(approx (/ (* (neg t1) (/ v (+ t1 u))) (+ t1 u)) (*.f64 #s(literal -1 binary64) (/.f64 v t1)))
#s(approx (/ (* (neg t1) (/ v (+ t1 u))) (+ t1 u)) (fma.f64 #s(literal -1 binary64) (/.f64 v t1) (.f64 #s(literal 2 binary64) (/.f64 (.f64 u v) (pow.f64 t1 #s(literal 2 binary64))))))
#s(approx (/ (* (neg t1) (/ v (+ t1 u))) (+ t1 u)) (fma.f64 #s(literal -1 binary64) (/.f64 v t1) (.f64 u (fma.f64 #s(literal 2 binary64) (/.f64 v (pow.f64 t1 #s(literal 2 binary64))) (.f64 u (fma.f64 #s(literal -4 binary64) (/.f64 v (pow.f64 t1 #s(literal 3 binary64))) (/.f64 v (pow.f64 t1 #s(literal 3 binary64)))))))))
#s(approx (/ (* (neg t1) (/ v (+ t1 u))) (+ t1 u)) (fma.f64 #s(literal -1 binary64) (/.f64 v t1) (.f64 u (fma.f64 #s(literal 2 binary64) (/.f64 v (pow.f64 t1 #s(literal 2 binary64))) (.f64 u (fma.f64 #s(literal -4 binary64) (/.f64 v (pow.f64 t1 #s(literal 3 binary64))) (fma.f64 u (fma.f64 #s(literal -2 binary64) (/.f64 v (pow.f64 t1 #s(literal 4 binary64))) (*.f64 #s(literal -2 binary64) (/.f64 (fma.f64 #s(literal -4 binary64) (/.f64 v (pow.f64 t1 #s(literal 3 binary64))) (/.f64 v (pow.f64 t1 #s(literal 3 binary64)))) t1))) (/.f64 v (pow.f64 t1 #s(literal 3 binary64))))))))))
#s(approx (* (neg t1) (/ v (+ t1 u))) (*.f64 #s(literal -1 binary64) v))
#s(approx (* (neg t1) (/ v (+ t1 u))) (fma.f64 #s(literal -1 binary64) v (/.f64 (*.f64 u v) t1)))
#s(approx (* (neg t1) (/ v (+ t1 u))) (fma.f64 #s(literal -1 binary64) v (.f64 u (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 u v) (pow.f64 t1 #s(literal 2 binary64))) (/.f64 v t1)))))
#s(approx (* (neg t1) (/ v (+ t1 u))) (fma.f64 #s(literal -1 binary64) v (.f64 u (fma.f64 u (fma.f64 #s(literal -1 binary64) (/.f64 v (pow.f64 t1 #s(literal 2 binary64))) (/.f64 (.f64 u v) (pow.f64 t1 #s(literal 3 binary64)))) (/.f64 v t1)))))
#s(approx (/ v (+ t1 u)) (/.f64 v t1))
#s(approx (/ v (+ t1 u)) (fma.f64 #s(literal -1 binary64) (/.f64 (*.f64 u v) (pow.f64 t1 #s(literal 2 binary64))) (/.f64 v t1)))
#s(approx (/ v (+ t1 u)) (fma.f64 u (-.f64 (/.f64 (*.f64 u v) (pow.f64 t1 #s(literal 3 binary64))) (/.f64 v (pow.f64 t1 #s(literal 2 binary64)))) (/.f64 v t1)))
#s(approx (/ v (+ t1 u)) (fma.f64 u (-.f64 (.f64 u (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 u v) (pow.f64 t1 #s(literal 4 binary64)))) (.f64 #s(literal -1 binary64) (/.f64 v (pow.f64 t1 #s(literal 3 binary64)))))) (/.f64 v (pow.f64 t1 #s(literal 2 binary64)))) (/.f64 v t1)))
#s(approx (+ t1 u) t1)
#s(approx (+ t1 u) (+.f64 t1 u))
#s(approx u u)
#s(approx (/ (neg t1) (+ t1 u)) #s(literal -1 binary64))
#s(approx (/ (neg t1) (+ t1 u)) (-.f64 (/.f64 u t1) #s(literal 1 binary64)))
#s(approx (/ (neg t1) (+ t1 u)) (-.f64 (*.f64 u (fma.f64 #s(literal -1 binary64) (/.f64 u (pow.f64 t1 #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) t1))) #s(literal 1 binary64)))
#s(approx (/ (neg t1) (+ t1 u)) (-.f64 (*.f64 u (fma.f64 u (-.f64 (/.f64 u (pow.f64 t1 #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 t1 #s(literal 2 binary64)))) (/.f64 #s(literal 1 binary64) t1))) #s(literal 1 binary64)))
#s(approx (/ v u) (/.f64 v u))
#s(approx (* -1 (/ (* t1 v) u)) (.f64 #s(literal -1 binary64) (/.f64 (.f64 t1 v) u)))
#s(approx (/ (* t1 v) u) (/.f64 (*.f64 t1 v) u))
#s(approx (/ (* (neg t1) (/ v (+ t1 u))) (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (.f64 t1 v) (pow.f64 u #s(literal 2 binary64)))))
#s(approx (/ (* (neg t1) (/ v (+ t1 u))) (+ t1 u)) (/.f64 (fma.f64 #s(literal -1 binary64) (.f64 t1 v) (.f64 #s(literal 2 binary64) (/.f64 (*.f64 (pow.f64 t1 #s(literal 2 binary64)) v) u))) (pow.f64 u #s(literal 2 binary64))))
#s(approx (/ (* (neg t1) (/ v (+ t1 u))) (+ t1 u)) (/.f64 (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (pow.f64 u #s(literal 2 binary64))) (fma.f64 #s(literal -1 binary64) (.f64 t1 v) (fma.f64 #s(literal 2 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) u) (/.f64 (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (pow.f64 u #s(literal 2 binary64)))))) (pow.f64 u #s(literal 2 binary64))))
#s(approx (/ (* (neg t1) (/ v (+ t1 u))) (+ t1 u)) (/.f64 (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (pow.f64 u #s(literal 2 binary64))) (fma.f64 #s(literal -2 binary64) (/.f64 (.f64 t1 (fma.f64 #s(literal -4 binary64) (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (.f64 (pow.f64 t1 #s(literal 3 binary64)) v))) (pow.f64 u #s(literal 3 binary64))) (fma.f64 #s(literal -2 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 4 binary64)) v) (pow.f64 u #s(literal 3 binary64))) (fma.f64 #s(literal -1 binary64) (.f64 t1 v) (fma.f64 #s(literal 2 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) u) (/.f64 (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (pow.f64 u #s(literal 2 binary64)))))))) (pow.f64 u #s(literal 2 binary64))))
#s(approx (* (neg t1) (/ v (+ t1 u))) (/.f64 (fma.f64 #s(literal -1 binary64) (.f64 t1 v) (/.f64 (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) u)) u))
#s(approx (* (neg t1) (/ v (+ t1 u))) (/.f64 (fma.f64 #s(literal -1 binary64) (.f64 t1 v) (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (pow.f64 u #s(literal 2 binary64))) (/.f64 (*.f64 (pow.f64 t1 #s(literal 2 binary64)) v) u))) u))
#s(approx (* (neg t1) (/ v (+ t1 u))) (/.f64 (fma.f64 #s(literal -1 binary64) (.f64 t1 v) (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (pow.f64 u #s(literal 2 binary64))) (+.f64 (/.f64 (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) u) (/.f64 (.f64 (pow.f64 t1 #s(literal 4 binary64)) v) (pow.f64 u #s(literal 3 binary64)))))) u))
#s(approx (/ v (+ t1 u)) (/.f64 (+.f64 v (.f64 #s(literal -1 binary64) (/.f64 (.f64 t1 v) u))) u))
#s(approx (/ v (+ t1 u)) (/.f64 (-.f64 (+.f64 v (/.f64 (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) (pow.f64 u #s(literal 2 binary64)))) (/.f64 (.f64 t1 v) u)) u))
#s(approx (/ v (+ t1 u)) (/.f64 (-.f64 (+.f64 v (.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (pow.f64 u #s(literal 3 binary64))))) (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) (pow.f64 u #s(literal 2 binary64))) (/.f64 (.f64 t1 v) u))) u))
#s(approx (+ t1 u) (*.f64 u (+.f64 #s(literal 1 binary64) (/.f64 t1 u))))
#s(approx (/ (neg t1) (+ t1 u)) (*.f64 #s(literal -1 binary64) (/.f64 t1 u)))
#s(approx (/ (neg t1) (+ t1 u)) (/.f64 (fma.f64 #s(literal -1 binary64) t1 (/.f64 (pow.f64 t1 #s(literal 2 binary64)) u)) u))
#s(approx (/ (neg t1) (+ t1 u)) (/.f64 (fma.f64 #s(literal -1 binary64) t1 (fma.f64 #s(literal -1 binary64) (/.f64 (pow.f64 t1 #s(literal 3 binary64)) (pow.f64 u #s(literal 2 binary64))) (/.f64 (pow.f64 t1 #s(literal 2 binary64)) u))) u))
#s(approx (/ (neg t1) (+ t1 u)) (/.f64 (fma.f64 #s(literal -1 binary64) t1 (fma.f64 #s(literal -1 binary64) (/.f64 (pow.f64 t1 #s(literal 3 binary64)) (pow.f64 u #s(literal 2 binary64))) (+.f64 (/.f64 (pow.f64 t1 #s(literal 2 binary64)) u) (/.f64 (pow.f64 t1 #s(literal 4 binary64)) (pow.f64 u #s(literal 3 binary64)))))) u))
#s(approx (/ (* (neg t1) (/ v (+ t1 u))) (+ t1 u)) (/.f64 (fma.f64 #s(literal -1 binary64) (.f64 t1 v) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -2 binary64) (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -4 binary64) (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (.f64 (pow.f64 t1 #s(literal 3 binary64)) v)) u))) u))) (pow.f64 u #s(literal 2 binary64))))
#s(approx (/ (* (neg t1) (/ v (+ t1 u))) (+ t1 u)) (/.f64 (fma.f64 #s(literal -1 binary64) (.f64 t1 v) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -2 binary64) (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -4 binary64) (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal 2 binary64) (.f64 t1 (fma.f64 #s(literal -4 binary64) (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (.f64 (pow.f64 t1 #s(literal 3 binary64)) v))) (.f64 #s(literal 2 binary64) (.f64 (pow.f64 t1 #s(literal 4 binary64)) v))) u) (*.f64 (pow.f64 t1 #s(literal 3 binary64)) v))) u))) u))) (pow.f64 u #s(literal 2 binary64))))
#s(approx (* (neg t1) (/ v (+ t1 u))) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) u) (*.f64 t1 v)) u)))
#s(approx (* (neg t1) (/ v (+ t1 u))) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) u) (.f64 (pow.f64 t1 #s(literal 2 binary64)) v)) u) (.f64 t1 v)) u)))
#s(approx (* (neg t1) (/ v (+ t1 u))) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 4 binary64)) v) u) (.f64 (pow.f64 t1 #s(literal 3 binary64)) v)) u) (.f64 (pow.f64 t1 #s(literal 2 binary64)) v)) u) (*.f64 t1 v)) u)))
#s(approx (/ v (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) v (/.f64 (.f64 t1 v) u)) u)))
#s(approx (/ v (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) v (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) u) (.f64 t1 v)) u))) u)))
#s(approx (/ v (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) v (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) u) (.f64 (pow.f64 t1 #s(literal 2 binary64)) v)) u)) (.f64 t1 v)) u))) u)))
#s(approx (+ t1 u) (.f64 #s(literal -1 binary64) (.f64 u (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 t1 u)) #s(literal 1 binary64)))))
#s(approx (/ (neg t1) (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 t1 (.f64 #s(literal -1 binary64) (/.f64 (pow.f64 t1 #s(literal 2 binary64)) u))) u)))
#s(approx (/ (neg t1) (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 t1 (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (pow.f64 t1 #s(literal 3 binary64)) u) (pow.f64 t1 #s(literal 2 binary64))) u))) u)))
#s(approx (/ (neg t1) (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 t1 (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (pow.f64 t1 #s(literal 4 binary64)) u) (pow.f64 t1 #s(literal 3 binary64))) u) (pow.f64 t1 #s(literal 2 binary64))) u))) u)))
#s(approx (/ (* (neg t1) (/ v (+ t1 u))) (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (.f64 t1 v) (pow.f64 (+.f64 t1 u) #s(literal 2 binary64)))))
#s(approx (* (neg t1) (/ v (+ t1 u))) (.f64 #s(literal -1 binary64) (/.f64 (.f64 t1 v) (+.f64 t1 u))))
#s(approx (/ v (+ t1 u)) (/.f64 v (+.f64 t1 u)))
#s(approx v v)
#s(approx (* t1 v) (*.f64 t1 v))
#s(approx (/ (* (neg t1) (/ v (+ t1 u))) (+ t1 u)) (.f64 t1 (fma.f64 #s(literal -1 binary64) (/.f64 v (pow.f64 u #s(literal 2 binary64))) (.f64 #s(literal 2 binary64) (/.f64 (*.f64 t1 v) (pow.f64 u #s(literal 3 binary64)))))))
#s(approx (/ (* (neg t1) (/ v (+ t1 u))) (+ t1 u)) (.f64 t1 (fma.f64 #s(literal -1 binary64) (/.f64 v (pow.f64 u #s(literal 2 binary64))) (.f64 t1 (fma.f64 #s(literal 2 binary64) (/.f64 v (pow.f64 u #s(literal 3 binary64))) (*.f64 t1 (fma.f64 #s(literal -4 binary64) (/.f64 v (pow.f64 u #s(literal 4 binary64))) (/.f64 v (pow.f64 u #s(literal 4 binary64))))))))))
#s(approx (/ (* (neg t1) (/ v (+ t1 u))) (+ t1 u)) (.f64 t1 (fma.f64 #s(literal -1 binary64) (/.f64 v (pow.f64 u #s(literal 2 binary64))) (.f64 t1 (fma.f64 #s(literal 2 binary64) (/.f64 v (pow.f64 u #s(literal 3 binary64))) (.f64 t1 (fma.f64 #s(literal -4 binary64) (/.f64 v (pow.f64 u #s(literal 4 binary64))) (fma.f64 t1 (fma.f64 #s(literal -2 binary64) (/.f64 v (pow.f64 u #s(literal 5 binary64))) (.f64 #s(literal -2 binary64) (/.f64 (fma.f64 #s(literal -4 binary64) (/.f64 v (pow.f64 u #s(literal 4 binary64))) (/.f64 v (pow.f64 u #s(literal 4 binary64)))) u))) (/.f64 v (pow.f64 u #s(literal 4 binary64)))))))))))
#s(approx (* (neg t1) (/ v (+ t1 u))) (.f64 t1 (fma.f64 #s(literal -1 binary64) (/.f64 v u) (/.f64 (.f64 t1 v) (pow.f64 u #s(literal 2 binary64))))))
#s(approx (* (neg t1) (/ v (+ t1 u))) (.f64 t1 (fma.f64 #s(literal -1 binary64) (/.f64 v u) (.f64 t1 (fma.f64 #s(literal -1 binary64) (/.f64 (*.f64 t1 v) (pow.f64 u #s(literal 3 binary64))) (/.f64 v (pow.f64 u #s(literal 2 binary64))))))))
#s(approx (* (neg t1) (/ v (+ t1 u))) (.f64 t1 (fma.f64 #s(literal -1 binary64) (/.f64 v u) (.f64 t1 (fma.f64 t1 (fma.f64 #s(literal -1 binary64) (/.f64 v (pow.f64 u #s(literal 3 binary64))) (/.f64 (*.f64 t1 v) (pow.f64 u #s(literal 4 binary64)))) (/.f64 v (pow.f64 u #s(literal 2 binary64))))))))
#s(approx (neg t1) (*.f64 #s(literal -1 binary64) t1))
#s(approx (/ v (+ t1 u)) (fma.f64 #s(literal -1 binary64) (/.f64 (*.f64 t1 v) (pow.f64 u #s(literal 2 binary64))) (/.f64 v u)))
#s(approx (/ v (+ t1 u)) (fma.f64 t1 (-.f64 (/.f64 (*.f64 t1 v) (pow.f64 u #s(literal 3 binary64))) (/.f64 v (pow.f64 u #s(literal 2 binary64)))) (/.f64 v u)))
#s(approx (/ v (+ t1 u)) (fma.f64 t1 (-.f64 (.f64 t1 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 t1 v) (pow.f64 u #s(literal 4 binary64)))) (.f64 #s(literal -1 binary64) (/.f64 v (pow.f64 u #s(literal 3 binary64)))))) (/.f64 v (pow.f64 u #s(literal 2 binary64)))) (/.f64 v u)))
#s(approx (/ 1 t1) (/.f64 #s(literal 1 binary64) t1))
#s(approx (/ (neg t1) (+ t1 u)) (*.f64 t1 (-.f64 (/.f64 t1 (pow.f64 u #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) u))))
#s(approx (/ (neg t1) (+ t1 u)) (.f64 t1 (-.f64 (.f64 t1 (fma.f64 #s(literal -1 binary64) (/.f64 t1 (pow.f64 u #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 u #s(literal 2 binary64))))) (/.f64 #s(literal 1 binary64) u))))
#s(approx (/ (neg t1) (+ t1 u)) (.f64 t1 (-.f64 (.f64 t1 (fma.f64 t1 (-.f64 (/.f64 t1 (pow.f64 u #s(literal 4 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 u #s(literal 3 binary64)))) (/.f64 #s(literal 1 binary64) (pow.f64 u #s(literal 2 binary64))))) (/.f64 #s(literal 1 binary64) u))))
#s(approx (/ (* (neg t1) (/ v (+ t1 u))) (+ t1 u)) (/.f64 (fma.f64 #s(literal -1 binary64) v (.f64 #s(literal 2 binary64) (/.f64 (.f64 u v) t1))) t1))
#s(approx (/ (* (neg t1) (/ v (+ t1 u))) (+ t1 u)) (/.f64 (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (pow.f64 u #s(literal 2 binary64)) v) (pow.f64 t1 #s(literal 2 binary64))) (fma.f64 #s(literal -1 binary64) v (fma.f64 #s(literal 2 binary64) (/.f64 (.f64 u v) t1) (/.f64 (*.f64 (pow.f64 u #s(literal 2 binary64)) v) (pow.f64 t1 #s(literal 2 binary64)))))) t1))
#s(approx (/ (* (neg t1) (/ v (+ t1 u))) (+ t1 u)) (/.f64 (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (pow.f64 u #s(literal 2 binary64)) v) (pow.f64 t1 #s(literal 2 binary64))) (fma.f64 #s(literal -2 binary64) (/.f64 (.f64 u (fma.f64 #s(literal -4 binary64) (.f64 (pow.f64 u #s(literal 2 binary64)) v) (.f64 (pow.f64 u #s(literal 2 binary64)) v))) (pow.f64 t1 #s(literal 3 binary64))) (fma.f64 #s(literal -2 binary64) (/.f64 (.f64 (pow.f64 u #s(literal 3 binary64)) v) (pow.f64 t1 #s(literal 3 binary64))) (fma.f64 #s(literal -1 binary64) v (fma.f64 #s(literal 2 binary64) (/.f64 (.f64 u v) t1) (/.f64 (*.f64 (pow.f64 u #s(literal 2 binary64)) v) (pow.f64 t1 #s(literal 2 binary64)))))))) t1))
#s(approx (* (neg t1) (/ v (+ t1 u))) (fma.f64 #s(literal -1 binary64) v (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 u #s(literal 2 binary64)) v) (pow.f64 t1 #s(literal 2 binary64))) (/.f64 (.f64 u v) t1))))
#s(approx (* (neg t1) (/ v (+ t1 u))) (fma.f64 #s(literal -1 binary64) v (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 u #s(literal 2 binary64)) v) (pow.f64 t1 #s(literal 2 binary64))) (+.f64 (/.f64 (.f64 u v) t1) (/.f64 (*.f64 (pow.f64 u #s(literal 3 binary64)) v) (pow.f64 t1 #s(literal 3 binary64)))))))
#s(approx (/ v (+ t1 u)) (/.f64 (+.f64 v (.f64 #s(literal -1 binary64) (/.f64 (.f64 u v) t1))) t1))
#s(approx (/ v (+ t1 u)) (/.f64 (-.f64 (+.f64 v (/.f64 (.f64 (pow.f64 u #s(literal 2 binary64)) v) (pow.f64 t1 #s(literal 2 binary64)))) (/.f64 (.f64 u v) t1)) t1))
#s(approx (/ v (+ t1 u)) (/.f64 (-.f64 (+.f64 v (.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 u #s(literal 3 binary64)) v) (pow.f64 t1 #s(literal 3 binary64))))) (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 u #s(literal 2 binary64)) v) (pow.f64 t1 #s(literal 2 binary64))) (/.f64 (.f64 u v) t1))) t1))
#s(approx (+ t1 u) (*.f64 t1 (+.f64 #s(literal 1 binary64) (/.f64 u t1))))
#s(approx (/ (neg t1) (+ t1 u)) (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (pow.f64 u #s(literal 2 binary64)) (pow.f64 t1 #s(literal 2 binary64)))) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 u t1)))))
#s(approx (/ (neg t1) (+ t1 u)) (-.f64 (/.f64 (pow.f64 u #s(literal 3 binary64)) (pow.f64 t1 #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) (/.f64 u t1) (/.f64 (pow.f64 u #s(literal 2 binary64)) (pow.f64 t1 #s(literal 2 binary64)))))))
#s(approx (/ (* (neg t1) (/ v (+ t1 u))) (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 v (.f64 #s(literal -2 binary64) (/.f64 (*.f64 u v) t1))) t1)))
#s(approx (/ (* (neg t1) (/ v (+ t1 u))) (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 v (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (pow.f64 u #s(literal 2 binary64)) v) t1) (/.f64 (.f64 (pow.f64 u #s(literal 2 binary64)) v) t1)) (.f64 #s(literal -2 binary64) (.f64 u v))) t1))) t1)))
#s(approx (/ (* (neg t1) (/ v (+ t1 u))) (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 v (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (fma.f64 #s(literal 2 binary64) (/.f64 (.f64 u (fma.f64 #s(literal -4 binary64) (.f64 (pow.f64 u #s(literal 2 binary64)) v) (.f64 (pow.f64 u #s(literal 2 binary64)) v))) t1) (.f64 #s(literal 2 binary64) (/.f64 (.f64 (pow.f64 u #s(literal 3 binary64)) v) t1))) (fma.f64 #s(literal -4 binary64) (.f64 (pow.f64 u #s(literal 2 binary64)) v) (.f64 (pow.f64 u #s(literal 2 binary64)) v))) t1)) (.f64 #s(literal -2 binary64) (.f64 u v))) t1))) t1)))
#s(approx (* (neg t1) (/ v (+ t1 u))) (fma.f64 #s(literal -1 binary64) v (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 (.f64 (pow.f64 u #s(literal 2 binary64)) v) t1) (*.f64 u v)) t1))))
#s(approx (* (neg t1) (/ v (+ t1 u))) (fma.f64 #s(literal -1 binary64) v (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 (.f64 (pow.f64 u #s(literal 3 binary64)) v) t1) (.f64 (pow.f64 u #s(literal 2 binary64)) v)) t1)) (*.f64 u v)) t1))))
#s(approx (/ v (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) v (/.f64 (.f64 u v) t1)) t1)))
#s(approx (/ v (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) v (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 (.f64 (pow.f64 u #s(literal 2 binary64)) v) t1) (.f64 u v)) t1))) t1)))
#s(approx (/ v (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) v (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 (.f64 (pow.f64 u #s(literal 3 binary64)) v) t1) (.f64 (pow.f64 u #s(literal 2 binary64)) v)) t1)) (.f64 u v)) t1))) t1)))
#s(approx (+ t1 u) (.f64 #s(literal -1 binary64) (.f64 t1 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 u t1)) #s(literal 1 binary64)))))
#s(approx (/ (neg t1) (+ t1 u)) (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 (pow.f64 u #s(literal 2 binary64)) t1) u) t1)) #s(literal 1 binary64)))
#s(approx (/ (neg t1) (+ t1 u)) (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 (pow.f64 u #s(literal 3 binary64)) t1) (pow.f64 u #s(literal 2 binary64))) t1)) u) t1)) #s(literal 1 binary64)))

Calls

9 calls:

Time	Variable	Point
9.0ms	u	-inf
3.0ms	v	inf
3.0ms	v	-inf
3.0ms	v	0
3.0ms	u	0

rewrite160.0ms (5%)

Memory

-12.9MiB live, 80.4MiB allocated; 14ms collecting garbage

Counts

26 → 82

Calls

Call 1

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

Outputs
(*.f64 (neg.f64 (/.f64 t1 (+.f64 t1 u))) (/.f64 v (+.f64 t1 u)))
(*.f64 (/.f64 v (+.f64 t1 u)) (neg.f64 (/.f64 t1 (+.f64 t1 u))))
(.f64 (neg.f64 (/.f64 (.f64 t1 v) (+.f64 t1 u))) (/.f64 #s(literal 1 binary64) (+.f64 t1 u)))
(*.f64 (neg.f64 t1) (/.f64 (/.f64 v (+.f64 t1 u)) (+.f64 t1 u)))
(.f64 (neg.f64 (.f64 t1 v)) (/.f64 #s(literal 1 binary64) (*.f64 (+.f64 t1 u) (+.f64 t1 u))))
(.f64 (neg.f64 t1) (/.f64 v (.f64 (+.f64 t1 u) (+.f64 t1 u))))
(/.f64 (neg.f64 (.f64 t1 v)) (.f64 (+.f64 t1 u) (+.f64 t1 u)))
(/.f64 (neg.f64 (/.f64 (*.f64 t1 v) (+.f64 t1 u))) (+.f64 t1 u))
(/.f64 (*.f64 (neg.f64 (/.f64 t1 (+.f64 t1 u))) v) (+.f64 t1 u))
(/.f64 (neg.f64 (neg.f64 (.f64 t1 v))) (neg.f64 (.f64 (+.f64 t1 u) (+.f64 t1 u))))
(/.f64 (neg.f64 (neg.f64 (/.f64 (*.f64 t1 v) (+.f64 t1 u)))) (neg.f64 (+.f64 t1 u)))
(*.f64 (neg.f64 t1) (/.f64 v (+.f64 t1 u)))
(.f64 (neg.f64 (.f64 t1 v)) (/.f64 #s(literal 1 binary64) (+.f64 t1 u)))
(*.f64 (/.f64 v (+.f64 t1 u)) (neg.f64 t1))
(/.f64 (neg.f64 (*.f64 t1 v)) (+.f64 t1 u))
(/.f64 (neg.f64 (neg.f64 (*.f64 t1 v))) (neg.f64 (+.f64 t1 u)))
(neg.f64 (/.f64 (*.f64 t1 v) (+.f64 t1 u)))
(neg.f64 (*.f64 t1 (/.f64 v (+.f64 t1 u))))
(neg.f64 t1)
t1
(*.f64 v (/.f64 #s(literal 1 binary64) (+.f64 t1 u)))
(/.f64 v (+.f64 t1 u))
(/.f64 (neg.f64 v) (neg.f64 (+.f64 t1 u)))
v
(+.f64 t1 u)
(+.f64 u t1)
(-.f64 t1 (neg.f64 u))
u
#s(approx (/ (neg (* t1 v)) (pow (+ t1 u) 2)) (neg.f64 (/.f64 v t1)))
(*.f64 #s(literal -1 binary64) (/.f64 v t1))
(.f64 (.f64 #s(literal -1 binary64) v) (/.f64 #s(literal 1 binary64) t1))
(*.f64 (/.f64 v t1) #s(literal -1 binary64))
(/.f64 (neg.f64 v) t1)
(/.f64 v (neg.f64 t1))
(neg.f64 (/.f64 v t1))
(*.f64 v (/.f64 #s(literal 1 binary64) t1))
(*.f64 (/.f64 #s(literal 1 binary64) t1) v)
(/.f64 v t1)
(/.f64 (*.f64 v #s(literal 1 binary64)) t1)
(/.f64 (neg.f64 v) (neg.f64 t1))
#s(approx (/ (neg (* t1 v)) (pow (+ t1 u) 2)) (neg.f64 (/.f64 v t1)))
(*.f64 #s(literal -1 binary64) (/.f64 v t1))
(.f64 (.f64 #s(literal -1 binary64) v) (/.f64 #s(literal 1 binary64) t1))
(*.f64 (/.f64 v t1) #s(literal -1 binary64))
(/.f64 (neg.f64 v) t1)
(/.f64 v (neg.f64 t1))
(neg.f64 (/.f64 v t1))
#s(literal -1 binary64)
(neg.f64 #s(literal 1 binary64))
(*.f64 v (/.f64 #s(literal 1 binary64) t1))
(*.f64 (/.f64 #s(literal 1 binary64) t1) v)
(/.f64 v t1)
(/.f64 (*.f64 v #s(literal 1 binary64)) t1)
(/.f64 (neg.f64 v) (neg.f64 t1))
(*.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) t1))
(/.f64 #s(literal 1 binary64) t1)
(/.f64 #s(literal -1 binary64) (neg.f64 t1))
(pow.f64 t1 #s(literal -1 binary64))
#s(literal 1 binary64)
(cosh.f64 #s(literal 0 binary64))
(exp.f64 #s(literal 0 binary64))
(*.f64 (neg.f64 (/.f64 t1 (+.f64 t1 u))) #s(approx (/ v (+ t1 u)) (/.f64 v u)))
(*.f64 (neg.f64 t1) (/.f64 #s(literal 1 binary64) (+.f64 t1 u)))
(/.f64 (neg.f64 t1) (+.f64 t1 u))
(/.f64 (neg.f64 (neg.f64 t1)) (neg.f64 (+.f64 t1 u)))
(neg.f64 (/.f64 t1 (+.f64 t1 u)))
#s(approx (/ v (+ t1 u)) (/.f64 v u))
(*.f64 v (/.f64 #s(literal 1 binary64) u))
(/.f64 v u)
(/.f64 (neg.f64 v) (neg.f64 u))
(/.f64 #s(approx (neg (/ (* t1 v) (+ t1 u))) (neg.f64 (/.f64 (*.f64 t1 v) u))) (+.f64 t1 u))
#s(approx (neg (/ (* t1 v) (+ t1 u))) (neg.f64 (/.f64 (*.f64 t1 v) u)))
(.f64 #s(literal -1 binary64) (/.f64 (.f64 t1 v) u))
(.f64 (/.f64 (.f64 t1 v) u) #s(literal -1 binary64))
(/.f64 (.f64 #s(literal -1 binary64) (.f64 t1 v)) u)
(neg.f64 (/.f64 (*.f64 t1 v) u))
(.f64 (.f64 t1 v) (/.f64 #s(literal 1 binary64) u))
(*.f64 t1 (/.f64 v u))
(/.f64 (*.f64 t1 v) u)
(/.f64 (neg.f64 (*.f64 t1 v)) (neg.f64 u))
(*.f64 t1 v)
(*.f64 v t1)

eval19.0ms (0.6%)

Memory: 22.1MiB live, 22.1MiB allocated; 0ms collecting garbage
Compiler: Compiled 4 473 to 809 computations (81.9% saved)

prune14.0ms (0.4%)

Memory

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

Pruning

15 alts after pruning (10 fresh and 5 done)

	Pruned	Kept	Total
New	156	7	163
Fresh	2	3	5
Picked	3	2	5
Done	0	3	3
Total	161	15	176

Accuracy

100.0%

Counts

176 → 15

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	97.3%	(/.f64 (*.f64 (neg.f64 (/.f64 t1 (+.f64 t1 u))) v) (+.f64 t1 u))
	65.8%	(/.f64 (*.f64 (neg.f64 t1) #s(approx (/ v (+ t1 u)) (/.f64 v t1))) (+.f64 t1 u))
✓	70.6%	(/.f64 (.f64 (neg.f64 t1) v) (.f64 (+.f64 t1 u) (+.f64 t1 u)))
✓	37.3%	(/.f64 (.f64 (neg.f64 t1) v) (.f64 #s(approx (+ t1 u) t1) #s(approx (+ t1 u) t1)))
	49.9%	(/.f64 #s(approx (/ (neg (* t1 v)) (+ t1 u)) (.f64 #s(literal -1 binary64) (.f64 t1 (/.f64 v u)))) (+.f64 t1 u))
▶	65.9%	(/.f64 #s(approx (/ (neg (* t1 v)) (+ t1 u)) (*.f64 #s(literal -1 binary64) v)) (+.f64 t1 u))
▶	46.3%	(/.f64 #s(approx (/ (neg (* t1 v)) (+ t1 u)) (neg.f64 (/.f64 (*.f64 t1 v) u))) (+.f64 t1 u))
✓	50.8%	(*.f64 (/.f64 (neg.f64 t1) (+.f64 t1 u)) #s(approx (/ v (+ t1 u)) (/.f64 v u)))
	50.8%	(.f64 (/.f64 (neg.f64 t1) (+.f64 t1 u)) #s(approx (/ v (+ t1 u)) (.f64 v (/.f64 #s(literal 1 binary64) u))))
✓	71.6%	(.f64 (neg.f64 t1) (/.f64 v (.f64 (+.f64 t1 u) (+.f64 t1 u))))
▶	58.9%	(*.f64 #s(approx (/ (neg t1) (+ t1 u)) (-.f64 (/.f64 u t1) #s(literal 1 binary64))) (/.f64 v (+.f64 t1 u)))
	51.9%	(.f64 #s(approx (/ (neg t1) (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 t1 u))) #s(approx (/ v (+ t1 u)) (/.f64 v u)))
▶	18.8%	(*.f64 #s(approx (/ (neg t1) (+ t1 u)) #s(literal -1 binary64)) #s(approx (/ v (+ t1 u)) (/.f64 v u)))
✓	56.1%	#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (neg.f64 (/.f64 v t1)))
	55.9%	#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (neg.f64 (*.f64 (/.f64 #s(literal 1 binary64) t1) v)))

Compiler

Compiled 429 to 293 computations (31.7% saved)

series369.0ms (11.5%)

Memory

-53.2MiB live, 243.6MiB allocated; 216ms collecting garbage

Counts

27 → 118

Calls

Call 1

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

Outputs
#s(approx (/ (* (neg (/ t1 (+ t1 u))) v) (+ t1 u)) (*.f64 #s(literal -1 binary64) (/.f64 v t1)))
#s(approx (/ (* (neg (/ t1 (+ t1 u))) v) (+ t1 u)) (fma.f64 #s(literal -1 binary64) (/.f64 v t1) (.f64 #s(literal 2 binary64) (/.f64 (.f64 u v) (pow.f64 t1 #s(literal 2 binary64))))))
#s(approx (/ (* (neg (/ t1 (+ t1 u))) v) (+ t1 u)) (fma.f64 #s(literal -1 binary64) (/.f64 v t1) (.f64 u (fma.f64 #s(literal 2 binary64) (/.f64 v (pow.f64 t1 #s(literal 2 binary64))) (.f64 u (fma.f64 #s(literal -4 binary64) (/.f64 v (pow.f64 t1 #s(literal 3 binary64))) (/.f64 v (pow.f64 t1 #s(literal 3 binary64)))))))))
#s(approx (/ (* (neg (/ t1 (+ t1 u))) v) (+ t1 u)) (fma.f64 #s(literal -1 binary64) (/.f64 v t1) (.f64 u (fma.f64 #s(literal 2 binary64) (/.f64 v (pow.f64 t1 #s(literal 2 binary64))) (.f64 u (fma.f64 #s(literal -4 binary64) (/.f64 v (pow.f64 t1 #s(literal 3 binary64))) (fma.f64 u (fma.f64 #s(literal -2 binary64) (/.f64 v (pow.f64 t1 #s(literal 4 binary64))) (*.f64 #s(literal -2 binary64) (/.f64 (fma.f64 #s(literal -4 binary64) (/.f64 v (pow.f64 t1 #s(literal 3 binary64))) (/.f64 v (pow.f64 t1 #s(literal 3 binary64)))) t1))) (/.f64 v (pow.f64 t1 #s(literal 3 binary64))))))))))
#s(approx (* (neg (/ t1 (+ t1 u))) v) (*.f64 #s(literal -1 binary64) v))
#s(approx (* (neg (/ t1 (+ t1 u))) v) (fma.f64 #s(literal -1 binary64) v (/.f64 (*.f64 u v) t1)))
#s(approx (* (neg (/ t1 (+ t1 u))) v) (fma.f64 #s(literal -1 binary64) v (.f64 u (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 u v) (pow.f64 t1 #s(literal 2 binary64))) (/.f64 v t1)))))
#s(approx (* (neg (/ t1 (+ t1 u))) v) (fma.f64 #s(literal -1 binary64) v (.f64 u (fma.f64 u (fma.f64 #s(literal -1 binary64) (/.f64 v (pow.f64 t1 #s(literal 2 binary64))) (/.f64 (.f64 u v) (pow.f64 t1 #s(literal 3 binary64)))) (/.f64 v t1)))))
#s(approx (neg (/ t1 (+ t1 u))) #s(literal -1 binary64))
#s(approx (neg (/ t1 (+ t1 u))) (-.f64 (/.f64 u t1) #s(literal 1 binary64)))
#s(approx (neg (/ t1 (+ t1 u))) (-.f64 (*.f64 u (fma.f64 #s(literal -1 binary64) (/.f64 u (pow.f64 t1 #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) t1))) #s(literal 1 binary64)))
#s(approx (neg (/ t1 (+ t1 u))) (-.f64 (*.f64 u (fma.f64 u (-.f64 (/.f64 u (pow.f64 t1 #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 t1 #s(literal 2 binary64)))) (/.f64 #s(literal 1 binary64) t1))) #s(literal 1 binary64)))
#s(approx (/ t1 (+ t1 u)) #s(literal 1 binary64))
#s(approx (/ t1 (+ t1 u)) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 u t1))))
#s(approx (/ t1 (+ t1 u)) (+.f64 #s(literal 1 binary64) (*.f64 u (-.f64 (/.f64 u (pow.f64 t1 #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) t1)))))
#s(approx (/ t1 (+ t1 u)) (+.f64 #s(literal 1 binary64) (.f64 u (-.f64 (.f64 u (fma.f64 #s(literal -1 binary64) (/.f64 u (pow.f64 t1 #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 t1 #s(literal 2 binary64))))) (/.f64 #s(literal 1 binary64) t1)))))
#s(approx (+ t1 u) t1)
#s(approx (+ t1 u) (+.f64 t1 u))
#s(approx u u)
#s(approx (/ v (+ t1 u)) (/.f64 v t1))
#s(approx (/ v (+ t1 u)) (fma.f64 #s(literal -1 binary64) (/.f64 (*.f64 u v) (pow.f64 t1 #s(literal 2 binary64))) (/.f64 v t1)))
#s(approx (/ v (+ t1 u)) (fma.f64 u (-.f64 (/.f64 (*.f64 u v) (pow.f64 t1 #s(literal 3 binary64))) (/.f64 v (pow.f64 t1 #s(literal 2 binary64)))) (/.f64 v t1)))
#s(approx (/ v (+ t1 u)) (fma.f64 u (-.f64 (.f64 u (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 u v) (pow.f64 t1 #s(literal 4 binary64)))) (.f64 #s(literal -1 binary64) (/.f64 v (pow.f64 t1 #s(literal 3 binary64)))))) (/.f64 v (pow.f64 t1 #s(literal 2 binary64)))) (/.f64 v t1)))
#s(approx (/ v u) (/.f64 v u))
#s(approx (neg (/ (* t1 v) u)) (.f64 #s(literal -1 binary64) (/.f64 (.f64 t1 v) u)))
#s(approx (/ (* t1 v) u) (/.f64 (*.f64 t1 v) u))
#s(approx (/ u t1) (/.f64 u t1))
#s(approx (/ (* (neg (/ t1 (+ t1 u))) v) (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (.f64 t1 v) (pow.f64 u #s(literal 2 binary64)))))
#s(approx (/ (* (neg (/ t1 (+ t1 u))) v) (+ t1 u)) (/.f64 (fma.f64 #s(literal -1 binary64) (.f64 t1 v) (.f64 #s(literal 2 binary64) (/.f64 (*.f64 (pow.f64 t1 #s(literal 2 binary64)) v) u))) (pow.f64 u #s(literal 2 binary64))))
#s(approx (/ (* (neg (/ t1 (+ t1 u))) v) (+ t1 u)) (/.f64 (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (pow.f64 u #s(literal 2 binary64))) (fma.f64 #s(literal -1 binary64) (.f64 t1 v) (fma.f64 #s(literal 2 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) u) (/.f64 (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (pow.f64 u #s(literal 2 binary64)))))) (pow.f64 u #s(literal 2 binary64))))
#s(approx (/ (* (neg (/ t1 (+ t1 u))) v) (+ t1 u)) (/.f64 (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (pow.f64 u #s(literal 2 binary64))) (fma.f64 #s(literal -2 binary64) (/.f64 (.f64 t1 (fma.f64 #s(literal -4 binary64) (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (.f64 (pow.f64 t1 #s(literal 3 binary64)) v))) (pow.f64 u #s(literal 3 binary64))) (fma.f64 #s(literal -2 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 4 binary64)) v) (pow.f64 u #s(literal 3 binary64))) (fma.f64 #s(literal -1 binary64) (.f64 t1 v) (fma.f64 #s(literal 2 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) u) (/.f64 (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (pow.f64 u #s(literal 2 binary64)))))))) (pow.f64 u #s(literal 2 binary64))))
#s(approx (* (neg (/ t1 (+ t1 u))) v) (/.f64 (fma.f64 #s(literal -1 binary64) (.f64 t1 v) (/.f64 (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) u)) u))
#s(approx (* (neg (/ t1 (+ t1 u))) v) (/.f64 (fma.f64 #s(literal -1 binary64) (.f64 t1 v) (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (pow.f64 u #s(literal 2 binary64))) (/.f64 (*.f64 (pow.f64 t1 #s(literal 2 binary64)) v) u))) u))
#s(approx (* (neg (/ t1 (+ t1 u))) v) (/.f64 (fma.f64 #s(literal -1 binary64) (.f64 t1 v) (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (pow.f64 u #s(literal 2 binary64))) (+.f64 (/.f64 (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) u) (/.f64 (.f64 (pow.f64 t1 #s(literal 4 binary64)) v) (pow.f64 u #s(literal 3 binary64)))))) u))
#s(approx (neg (/ t1 (+ t1 u))) (*.f64 #s(literal -1 binary64) (/.f64 t1 u)))
#s(approx (neg (/ t1 (+ t1 u))) (/.f64 (-.f64 (/.f64 (pow.f64 t1 #s(literal 2 binary64)) u) t1) u))
#s(approx (neg (/ t1 (+ t1 u))) (/.f64 (-.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (pow.f64 t1 #s(literal 3 binary64)) (pow.f64 u #s(literal 2 binary64))) (/.f64 (pow.f64 t1 #s(literal 2 binary64)) u)) t1) u))
#s(approx (neg (/ t1 (+ t1 u))) (/.f64 (-.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (pow.f64 t1 #s(literal 3 binary64)) (pow.f64 u #s(literal 2 binary64))) (+.f64 (/.f64 (pow.f64 t1 #s(literal 2 binary64)) u) (/.f64 (pow.f64 t1 #s(literal 4 binary64)) (pow.f64 u #s(literal 3 binary64))))) t1) u))
#s(approx (/ t1 (+ t1 u)) (/.f64 t1 u))
#s(approx (/ t1 (+ t1 u)) (/.f64 (+.f64 t1 (*.f64 #s(literal -1 binary64) (/.f64 (pow.f64 t1 #s(literal 2 binary64)) u))) u))
#s(approx (/ t1 (+ t1 u)) (/.f64 (-.f64 (+.f64 t1 (/.f64 (pow.f64 t1 #s(literal 3 binary64)) (pow.f64 u #s(literal 2 binary64)))) (/.f64 (pow.f64 t1 #s(literal 2 binary64)) u)) u))
#s(approx (/ t1 (+ t1 u)) (/.f64 (-.f64 (+.f64 t1 (*.f64 #s(literal -1 binary64) (/.f64 (pow.f64 t1 #s(literal 4 binary64)) (pow.f64 u #s(literal 3 binary64))))) (fma.f64 #s(literal -1 binary64) (/.f64 (pow.f64 t1 #s(literal 3 binary64)) (pow.f64 u #s(literal 2 binary64))) (/.f64 (pow.f64 t1 #s(literal 2 binary64)) u))) u))
#s(approx (+ t1 u) (*.f64 u (+.f64 #s(literal 1 binary64) (/.f64 t1 u))))
#s(approx (/ (neg t1) (+ t1 u)) (/.f64 (fma.f64 #s(literal -1 binary64) t1 (/.f64 (pow.f64 t1 #s(literal 2 binary64)) u)) u))
#s(approx (/ (neg t1) (+ t1 u)) (/.f64 (fma.f64 #s(literal -1 binary64) t1 (fma.f64 #s(literal -1 binary64) (/.f64 (pow.f64 t1 #s(literal 3 binary64)) (pow.f64 u #s(literal 2 binary64))) (/.f64 (pow.f64 t1 #s(literal 2 binary64)) u))) u))
#s(approx (/ (neg t1) (+ t1 u)) (/.f64 (fma.f64 #s(literal -1 binary64) t1 (fma.f64 #s(literal -1 binary64) (/.f64 (pow.f64 t1 #s(literal 3 binary64)) (pow.f64 u #s(literal 2 binary64))) (+.f64 (/.f64 (pow.f64 t1 #s(literal 2 binary64)) u) (/.f64 (pow.f64 t1 #s(literal 4 binary64)) (pow.f64 u #s(literal 3 binary64)))))) u))
#s(approx (/ v (+ t1 u)) (/.f64 (+.f64 v (.f64 #s(literal -1 binary64) (/.f64 (.f64 t1 v) u))) u))
#s(approx (/ v (+ t1 u)) (/.f64 (-.f64 (+.f64 v (/.f64 (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) (pow.f64 u #s(literal 2 binary64)))) (/.f64 (.f64 t1 v) u)) u))
#s(approx (/ v (+ t1 u)) (/.f64 (-.f64 (+.f64 v (.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (pow.f64 u #s(literal 3 binary64))))) (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) (pow.f64 u #s(literal 2 binary64))) (/.f64 (.f64 t1 v) u))) u))
#s(approx (- (/ u t1) 1) (*.f64 u (-.f64 (/.f64 #s(literal 1 binary64) t1) (/.f64 #s(literal 1 binary64) u))))
#s(approx (/ (* (neg (/ t1 (+ t1 u))) v) (+ t1 u)) (/.f64 (fma.f64 #s(literal -1 binary64) (.f64 t1 v) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -2 binary64) (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -4 binary64) (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (.f64 (pow.f64 t1 #s(literal 3 binary64)) v)) u))) u))) (pow.f64 u #s(literal 2 binary64))))
#s(approx (/ (* (neg (/ t1 (+ t1 u))) v) (+ t1 u)) (/.f64 (fma.f64 #s(literal -1 binary64) (.f64 t1 v) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -2 binary64) (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -4 binary64) (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal 2 binary64) (.f64 t1 (fma.f64 #s(literal -4 binary64) (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) (.f64 (pow.f64 t1 #s(literal 3 binary64)) v))) (.f64 #s(literal 2 binary64) (.f64 (pow.f64 t1 #s(literal 4 binary64)) v))) u) (*.f64 (pow.f64 t1 #s(literal 3 binary64)) v))) u))) u))) (pow.f64 u #s(literal 2 binary64))))
#s(approx (* (neg (/ t1 (+ t1 u))) v) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) u) (*.f64 t1 v)) u)))
#s(approx (* (neg (/ t1 (+ t1 u))) v) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) u) (.f64 (pow.f64 t1 #s(literal 2 binary64)) v)) u) (.f64 t1 v)) u)))
#s(approx (* (neg (/ t1 (+ t1 u))) v) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 t1 #s(literal 4 binary64)) v) u) (.f64 (pow.f64 t1 #s(literal 3 binary64)) v)) u) (.f64 (pow.f64 t1 #s(literal 2 binary64)) v)) u) (*.f64 t1 v)) u)))
#s(approx (neg (/ t1 (+ t1 u))) (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (pow.f64 t1 #s(literal 2 binary64)) u)) (*.f64 #s(literal -1 binary64) t1)) u)))
#s(approx (neg (/ t1 (+ t1 u))) (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (pow.f64 t1 #s(literal 3 binary64)) u) (pow.f64 t1 #s(literal 2 binary64))) u)) (*.f64 #s(literal -1 binary64) t1)) u)))
#s(approx (neg (/ t1 (+ t1 u))) (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (pow.f64 t1 #s(literal 4 binary64)) u) (pow.f64 t1 #s(literal 3 binary64))) u) (pow.f64 t1 #s(literal 2 binary64))) u)) (*.f64 #s(literal -1 binary64) t1)) u)))
#s(approx (/ t1 (+ t1 u)) (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) t1 (/.f64 (pow.f64 t1 #s(literal 2 binary64)) u)) u)))
#s(approx (/ t1 (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) t1 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 (pow.f64 t1 #s(literal 3 binary64)) u) (pow.f64 t1 #s(literal 2 binary64))) u))) u)))
#s(approx (/ t1 (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) t1 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 (pow.f64 t1 #s(literal 4 binary64)) u) (pow.f64 t1 #s(literal 3 binary64))) u)) (pow.f64 t1 #s(literal 2 binary64))) u))) u)))
#s(approx (+ t1 u) (.f64 #s(literal -1 binary64) (.f64 u (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 t1 u)) #s(literal 1 binary64)))))
#s(approx (/ (neg t1) (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 t1 (.f64 #s(literal -1 binary64) (/.f64 (pow.f64 t1 #s(literal 2 binary64)) u))) u)))
#s(approx (/ (neg t1) (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 t1 (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (pow.f64 t1 #s(literal 3 binary64)) u) (pow.f64 t1 #s(literal 2 binary64))) u))) u)))
#s(approx (/ (neg t1) (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 t1 (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (pow.f64 t1 #s(literal 4 binary64)) u) (pow.f64 t1 #s(literal 3 binary64))) u) (pow.f64 t1 #s(literal 2 binary64))) u))) u)))
#s(approx (/ v (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) v (/.f64 (.f64 t1 v) u)) u)))
#s(approx (/ v (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) v (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 (.f64 (pow.f64 t1 #s(literal 2 binary64)) v) u) (.f64 t1 v)) u))) u)))
#s(approx (/ v (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) v (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 (.f64 (pow.f64 t1 #s(literal 3 binary64)) v) u) (.f64 (pow.f64 t1 #s(literal 2 binary64)) v)) u)) (.f64 t1 v)) u))) u)))
#s(approx (- (/ u t1) 1) (.f64 #s(literal -1 binary64) (.f64 u (-.f64 (/.f64 #s(literal 1 binary64) u) (/.f64 #s(literal 1 binary64) t1)))))
#s(approx (/ (* (neg (/ t1 (+ t1 u))) v) (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (.f64 t1 v) (pow.f64 (+.f64 t1 u) #s(literal 2 binary64)))))
#s(approx (* (neg (/ t1 (+ t1 u))) v) (.f64 #s(literal -1 binary64) (/.f64 (.f64 t1 v) (+.f64 t1 u))))
#s(approx v v)
#s(approx (/ v (+ t1 u)) (/.f64 v (+.f64 t1 u)))
#s(approx (* t1 v) (*.f64 t1 v))
#s(approx (/ (* (neg (/ t1 (+ t1 u))) v) (+ t1 u)) (.f64 t1 (fma.f64 #s(literal -1 binary64) (/.f64 v (pow.f64 u #s(literal 2 binary64))) (.f64 #s(literal 2 binary64) (/.f64 (*.f64 t1 v) (pow.f64 u #s(literal 3 binary64)))))))
#s(approx (/ (* (neg (/ t1 (+ t1 u))) v) (+ t1 u)) (.f64 t1 (fma.f64 #s(literal -1 binary64) (/.f64 v (pow.f64 u #s(literal 2 binary64))) (.f64 t1 (fma.f64 #s(literal 2 binary64) (/.f64 v (pow.f64 u #s(literal 3 binary64))) (*.f64 t1 (fma.f64 #s(literal -4 binary64) (/.f64 v (pow.f64 u #s(literal 4 binary64))) (/.f64 v (pow.f64 u #s(literal 4 binary64))))))))))
#s(approx (/ (* (neg (/ t1 (+ t1 u))) v) (+ t1 u)) (.f64 t1 (fma.f64 #s(literal -1 binary64) (/.f64 v (pow.f64 u #s(literal 2 binary64))) (.f64 t1 (fma.f64 #s(literal 2 binary64) (/.f64 v (pow.f64 u #s(literal 3 binary64))) (.f64 t1 (fma.f64 #s(literal -4 binary64) (/.f64 v (pow.f64 u #s(literal 4 binary64))) (fma.f64 t1 (fma.f64 #s(literal -2 binary64) (/.f64 v (pow.f64 u #s(literal 5 binary64))) (.f64 #s(literal -2 binary64) (/.f64 (fma.f64 #s(literal -4 binary64) (/.f64 v (pow.f64 u #s(literal 4 binary64))) (/.f64 v (pow.f64 u #s(literal 4 binary64)))) u))) (/.f64 v (pow.f64 u #s(literal 4 binary64)))))))))))
#s(approx (* (neg (/ t1 (+ t1 u))) v) (.f64 t1 (fma.f64 #s(literal -1 binary64) (/.f64 v u) (/.f64 (.f64 t1 v) (pow.f64 u #s(literal 2 binary64))))))
#s(approx (* (neg (/ t1 (+ t1 u))) v) (.f64 t1 (fma.f64 #s(literal -1 binary64) (/.f64 v u) (.f64 t1 (fma.f64 #s(literal -1 binary64) (/.f64 (*.f64 t1 v) (pow.f64 u #s(literal 3 binary64))) (/.f64 v (pow.f64 u #s(literal 2 binary64))))))))
#s(approx (* (neg (/ t1 (+ t1 u))) v) (.f64 t1 (fma.f64 #s(literal -1 binary64) (/.f64 v u) (.f64 t1 (fma.f64 t1 (fma.f64 #s(literal -1 binary64) (/.f64 v (pow.f64 u #s(literal 3 binary64))) (/.f64 (*.f64 t1 v) (pow.f64 u #s(literal 4 binary64)))) (/.f64 v (pow.f64 u #s(literal 2 binary64))))))))
#s(approx (neg (/ t1 (+ t1 u))) (*.f64 t1 (-.f64 (/.f64 t1 (pow.f64 u #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) u))))
#s(approx (neg (/ t1 (+ t1 u))) (.f64 t1 (-.f64 (.f64 t1 (fma.f64 #s(literal -1 binary64) (/.f64 t1 (pow.f64 u #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 u #s(literal 2 binary64))))) (/.f64 #s(literal 1 binary64) u))))
#s(approx (neg (/ t1 (+ t1 u))) (.f64 t1 (-.f64 (.f64 t1 (fma.f64 t1 (-.f64 (/.f64 t1 (pow.f64 u #s(literal 4 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 u #s(literal 3 binary64)))) (/.f64 #s(literal 1 binary64) (pow.f64 u #s(literal 2 binary64))))) (/.f64 #s(literal 1 binary64) u))))
#s(approx (/ t1 (+ t1 u)) (*.f64 t1 (fma.f64 #s(literal -1 binary64) (/.f64 t1 (pow.f64 u #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) u))))
#s(approx (/ t1 (+ t1 u)) (*.f64 t1 (fma.f64 t1 (-.f64 (/.f64 t1 (pow.f64 u #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 u #s(literal 2 binary64)))) (/.f64 #s(literal 1 binary64) u))))
#s(approx (/ t1 (+ t1 u)) (.f64 t1 (fma.f64 t1 (-.f64 (.f64 t1 (fma.f64 #s(literal -1 binary64) (/.f64 t1 (pow.f64 u #s(literal 4 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 u #s(literal 3 binary64))))) (/.f64 #s(literal 1 binary64) (pow.f64 u #s(literal 2 binary64)))) (/.f64 #s(literal 1 binary64) u))))
#s(approx (/ v (+ t1 u)) (fma.f64 #s(literal -1 binary64) (/.f64 (*.f64 t1 v) (pow.f64 u #s(literal 2 binary64))) (/.f64 v u)))
#s(approx (/ v (+ t1 u)) (fma.f64 t1 (-.f64 (/.f64 (*.f64 t1 v) (pow.f64 u #s(literal 3 binary64))) (/.f64 v (pow.f64 u #s(literal 2 binary64)))) (/.f64 v u)))
#s(approx (/ v (+ t1 u)) (fma.f64 t1 (-.f64 (.f64 t1 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 t1 v) (pow.f64 u #s(literal 4 binary64)))) (.f64 #s(literal -1 binary64) (/.f64 v (pow.f64 u #s(literal 3 binary64)))))) (/.f64 v (pow.f64 u #s(literal 2 binary64)))) (/.f64 v u)))
#s(approx (- (/ u t1) 1) (/.f64 (+.f64 u (*.f64 #s(literal -1 binary64) t1)) t1))
#s(approx (/ (* (neg (/ t1 (+ t1 u))) v) (+ t1 u)) (/.f64 (fma.f64 #s(literal -1 binary64) v (.f64 #s(literal 2 binary64) (/.f64 (.f64 u v) t1))) t1))
#s(approx (/ (* (neg (/ t1 (+ t1 u))) v) (+ t1 u)) (/.f64 (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (pow.f64 u #s(literal 2 binary64)) v) (pow.f64 t1 #s(literal 2 binary64))) (fma.f64 #s(literal -1 binary64) v (fma.f64 #s(literal 2 binary64) (/.f64 (.f64 u v) t1) (/.f64 (*.f64 (pow.f64 u #s(literal 2 binary64)) v) (pow.f64 t1 #s(literal 2 binary64)))))) t1))
#s(approx (/ (* (neg (/ t1 (+ t1 u))) v) (+ t1 u)) (/.f64 (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (pow.f64 u #s(literal 2 binary64)) v) (pow.f64 t1 #s(literal 2 binary64))) (fma.f64 #s(literal -2 binary64) (/.f64 (.f64 u (fma.f64 #s(literal -4 binary64) (.f64 (pow.f64 u #s(literal 2 binary64)) v) (.f64 (pow.f64 u #s(literal 2 binary64)) v))) (pow.f64 t1 #s(literal 3 binary64))) (fma.f64 #s(literal -2 binary64) (/.f64 (.f64 (pow.f64 u #s(literal 3 binary64)) v) (pow.f64 t1 #s(literal 3 binary64))) (fma.f64 #s(literal -1 binary64) v (fma.f64 #s(literal 2 binary64) (/.f64 (.f64 u v) t1) (/.f64 (*.f64 (pow.f64 u #s(literal 2 binary64)) v) (pow.f64 t1 #s(literal 2 binary64)))))))) t1))
#s(approx (* (neg (/ t1 (+ t1 u))) v) (fma.f64 #s(literal -1 binary64) v (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 u #s(literal 2 binary64)) v) (pow.f64 t1 #s(literal 2 binary64))) (/.f64 (.f64 u v) t1))))
#s(approx (* (neg (/ t1 (+ t1 u))) v) (fma.f64 #s(literal -1 binary64) v (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 u #s(literal 2 binary64)) v) (pow.f64 t1 #s(literal 2 binary64))) (+.f64 (/.f64 (.f64 u v) t1) (/.f64 (*.f64 (pow.f64 u #s(literal 3 binary64)) v) (pow.f64 t1 #s(literal 3 binary64)))))))
#s(approx (neg (/ t1 (+ t1 u))) (-.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (pow.f64 u #s(literal 2 binary64)) (pow.f64 t1 #s(literal 2 binary64))) (/.f64 u t1)) #s(literal 1 binary64)))
#s(approx (neg (/ t1 (+ t1 u))) (-.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (pow.f64 u #s(literal 2 binary64)) (pow.f64 t1 #s(literal 2 binary64))) (+.f64 (/.f64 u t1) (/.f64 (pow.f64 u #s(literal 3 binary64)) (pow.f64 t1 #s(literal 3 binary64))))) #s(literal 1 binary64)))
#s(approx (/ t1 (+ t1 u)) (-.f64 (+.f64 #s(literal 1 binary64) (/.f64 (pow.f64 u #s(literal 2 binary64)) (pow.f64 t1 #s(literal 2 binary64)))) (/.f64 u t1)))
#s(approx (/ t1 (+ t1 u)) (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (pow.f64 u #s(literal 3 binary64)) (pow.f64 t1 #s(literal 3 binary64))))) (fma.f64 #s(literal -1 binary64) (/.f64 (pow.f64 u #s(literal 2 binary64)) (pow.f64 t1 #s(literal 2 binary64))) (/.f64 u t1))))
#s(approx (+ t1 u) (*.f64 t1 (+.f64 #s(literal 1 binary64) (/.f64 u t1))))
#s(approx (/ (neg t1) (+ t1 u)) (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (pow.f64 u #s(literal 2 binary64)) (pow.f64 t1 #s(literal 2 binary64)))) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 u t1)))))
#s(approx (/ (neg t1) (+ t1 u)) (-.f64 (/.f64 (pow.f64 u #s(literal 3 binary64)) (pow.f64 t1 #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) (/.f64 u t1) (/.f64 (pow.f64 u #s(literal 2 binary64)) (pow.f64 t1 #s(literal 2 binary64)))))))
#s(approx (/ v (+ t1 u)) (/.f64 (+.f64 v (.f64 #s(literal -1 binary64) (/.f64 (.f64 u v) t1))) t1))
#s(approx (/ v (+ t1 u)) (/.f64 (-.f64 (+.f64 v (/.f64 (.f64 (pow.f64 u #s(literal 2 binary64)) v) (pow.f64 t1 #s(literal 2 binary64)))) (/.f64 (.f64 u v) t1)) t1))
#s(approx (/ v (+ t1 u)) (/.f64 (-.f64 (+.f64 v (.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 u #s(literal 3 binary64)) v) (pow.f64 t1 #s(literal 3 binary64))))) (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 u #s(literal 2 binary64)) v) (pow.f64 t1 #s(literal 2 binary64))) (/.f64 (.f64 u v) t1))) t1))
#s(approx (/ (* (neg (/ t1 (+ t1 u))) v) (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 v (.f64 #s(literal -2 binary64) (/.f64 (*.f64 u v) t1))) t1)))
#s(approx (/ (* (neg (/ t1 (+ t1 u))) v) (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 v (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (pow.f64 u #s(literal 2 binary64)) v) t1) (/.f64 (.f64 (pow.f64 u #s(literal 2 binary64)) v) t1)) (.f64 #s(literal -2 binary64) (.f64 u v))) t1))) t1)))
#s(approx (/ (* (neg (/ t1 (+ t1 u))) v) (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 v (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (fma.f64 #s(literal 2 binary64) (/.f64 (.f64 u (fma.f64 #s(literal -4 binary64) (.f64 (pow.f64 u #s(literal 2 binary64)) v) (.f64 (pow.f64 u #s(literal 2 binary64)) v))) t1) (.f64 #s(literal 2 binary64) (/.f64 (.f64 (pow.f64 u #s(literal 3 binary64)) v) t1))) (fma.f64 #s(literal -4 binary64) (.f64 (pow.f64 u #s(literal 2 binary64)) v) (.f64 (pow.f64 u #s(literal 2 binary64)) v))) t1)) (.f64 #s(literal -2 binary64) (.f64 u v))) t1))) t1)))
#s(approx (* (neg (/ t1 (+ t1 u))) v) (fma.f64 #s(literal -1 binary64) v (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 (.f64 (pow.f64 u #s(literal 2 binary64)) v) t1) (*.f64 u v)) t1))))
#s(approx (* (neg (/ t1 (+ t1 u))) v) (fma.f64 #s(literal -1 binary64) v (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 (.f64 (pow.f64 u #s(literal 3 binary64)) v) t1) (.f64 (pow.f64 u #s(literal 2 binary64)) v)) t1)) (*.f64 u v)) t1))))
#s(approx (neg (/ t1 (+ t1 u))) (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 (pow.f64 u #s(literal 2 binary64)) t1) u) t1)) #s(literal 1 binary64)))
#s(approx (neg (/ t1 (+ t1 u))) (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 (pow.f64 u #s(literal 3 binary64)) t1) (pow.f64 u #s(literal 2 binary64))) t1)) u) t1)) #s(literal 1 binary64)))
#s(approx (/ t1 (+ t1 u)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (pow.f64 u #s(literal 2 binary64)) t1)) (*.f64 #s(literal -1 binary64) u)) t1))))
#s(approx (/ t1 (+ t1 u)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (pow.f64 u #s(literal 3 binary64)) t1)) (.f64 #s(literal -1 binary64) (pow.f64 u #s(literal 2 binary64)))) t1)) (*.f64 #s(literal -1 binary64) u)) t1))))
#s(approx (+ t1 u) (.f64 #s(literal -1 binary64) (.f64 t1 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 u t1)) #s(literal 1 binary64)))))
#s(approx (/ v (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) v (/.f64 (.f64 u v) t1)) t1)))
#s(approx (/ v (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) v (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 (.f64 (pow.f64 u #s(literal 2 binary64)) v) t1) (.f64 u v)) t1))) t1)))
#s(approx (/ v (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) v (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 (.f64 (pow.f64 u #s(literal 3 binary64)) v) t1) (.f64 (pow.f64 u #s(literal 2 binary64)) v)) t1)) (.f64 u v)) t1))) t1)))

Calls

9 calls:

Time	Variable	Point
110.0ms	v	inf
5.0ms	v	-inf
5.0ms	t1	-inf
3.0ms	u	inf
3.0ms	t1	inf

rewrite166.0ms (5.2%)

Memory

-15.6MiB live, 120.9MiB allocated; 46ms collecting garbage

Counts

27 → 66

Calls

Call 1

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

Outputs
(*.f64 (neg.f64 (/.f64 t1 (+.f64 t1 u))) (/.f64 v (+.f64 t1 u)))
(*.f64 (/.f64 v (+.f64 t1 u)) (neg.f64 (/.f64 t1 (+.f64 t1 u))))
(.f64 (neg.f64 (/.f64 (.f64 t1 v) (+.f64 t1 u))) (/.f64 #s(literal 1 binary64) (+.f64 t1 u)))
(.f64 (.f64 (neg.f64 (/.f64 t1 (+.f64 t1 u))) v) (/.f64 #s(literal 1 binary64) (+.f64 t1 u)))
(/.f64 (neg.f64 (.f64 t1 v)) (.f64 (+.f64 t1 u) (+.f64 t1 u)))
(/.f64 (neg.f64 (/.f64 (*.f64 t1 v) (+.f64 t1 u))) (+.f64 t1 u))
(/.f64 (*.f64 (neg.f64 (/.f64 t1 (+.f64 t1 u))) v) (+.f64 t1 u))
(/.f64 (*.f64 (neg.f64 t1) (/.f64 v (+.f64 t1 u))) (+.f64 t1 u))
(/.f64 (neg.f64 (neg.f64 (/.f64 (*.f64 t1 v) (+.f64 t1 u)))) (neg.f64 (+.f64 t1 u)))
(/.f64 (neg.f64 (*.f64 (neg.f64 (/.f64 t1 (+.f64 t1 u))) v)) (neg.f64 (+.f64 t1 u)))
(*.f64 (neg.f64 (/.f64 t1 (+.f64 t1 u))) v)
(*.f64 v (neg.f64 (/.f64 t1 (+.f64 t1 u))))
(neg.f64 (*.f64 (/.f64 t1 (+.f64 t1 u)) v))
(*.f64 (neg.f64 t1) (/.f64 #s(literal 1 binary64) (+.f64 t1 u)))
(/.f64 (neg.f64 t1) (+.f64 t1 u))
(/.f64 (neg.f64 (neg.f64 t1)) (neg.f64 (+.f64 t1 u)))
(/.f64 t1 (neg.f64 (+.f64 t1 u)))
(neg.f64 (/.f64 t1 (+.f64 t1 u)))
(*.f64 t1 (/.f64 #s(literal 1 binary64) (+.f64 t1 u)))
(/.f64 t1 (+.f64 t1 u))
(/.f64 (neg.f64 t1) (neg.f64 (+.f64 t1 u)))
t1
(+.f64 t1 u)
(+.f64 u t1)
(-.f64 t1 (neg.f64 u))
u
v
(*.f64 #s(approx (neg (/ t1 (+ t1 u))) #s(literal -1 binary64)) #s(approx (/ v (+ t1 u)) (/.f64 v u)))
#s(approx (neg (/ t1 (+ t1 u))) #s(literal -1 binary64))
#s(literal -1 binary64)
(neg.f64 #s(literal 1 binary64))
#s(approx (/ v (+ t1 u)) (/.f64 v u))
(*.f64 v (/.f64 #s(literal 1 binary64) u))
(/.f64 v u)
(/.f64 (neg.f64 v) (neg.f64 u))
(/.f64 #s(approx (neg (/ (* t1 v) (+ t1 u))) (neg.f64 v)) (+.f64 t1 u))
#s(approx (neg (/ (* t1 v) (+ t1 u))) (neg.f64 v))
(*.f64 #s(literal -1 binary64) v)
(*.f64 v #s(literal -1 binary64))
(neg.f64 v)
(/.f64 #s(approx (neg (/ (* t1 v) (+ t1 u))) (neg.f64 (/.f64 (*.f64 t1 v) u))) (+.f64 t1 u))
#s(approx (neg (/ (* t1 v) (+ t1 u))) (neg.f64 (/.f64 (*.f64 t1 v) u)))
(/.f64 (*.f64 t1 v) (neg.f64 u))
(/.f64 (neg.f64 (*.f64 t1 v)) u)
(neg.f64 (/.f64 (*.f64 t1 v) u))
(.f64 (.f64 t1 v) (/.f64 #s(literal 1 binary64) u))
(*.f64 t1 (/.f64 v u))
(/.f64 (*.f64 t1 v) u)
(/.f64 (neg.f64 (*.f64 t1 v)) (neg.f64 u))
(*.f64 t1 v)
(*.f64 v t1)
(*.f64 #s(approx (neg (/ t1 (+ t1 u))) (-.f64 (/.f64 u t1) #s(literal 1 binary64))) (/.f64 v (+.f64 t1 u)))
#s(approx (neg (/ t1 (+ t1 u))) (-.f64 (/.f64 u t1) #s(literal 1 binary64)))
(+.f64 (/.f64 u t1) #s(literal -1 binary64))
(-.f64 (/.f64 u t1) #s(literal 1 binary64))
(fma.f64 u (/.f64 #s(literal 1 binary64) t1) #s(literal -1 binary64))
(neg.f64 (-.f64 #s(literal 1 binary64) (/.f64 u t1)))
(*.f64 u (/.f64 #s(literal 1 binary64) t1))
(/.f64 u t1)
(/.f64 (neg.f64 u) (neg.f64 t1))
#s(literal 1 binary64)
(cosh.f64 #s(literal 0 binary64))
(exp.f64 #s(literal 0 binary64))
(*.f64 v (/.f64 #s(literal 1 binary64) (+.f64 t1 u)))
(/.f64 v (+.f64 t1 u))
(/.f64 (neg.f64 v) (neg.f64 (+.f64 t1 u)))

eval32.0ms (1%)

Memory: -12.2MiB live, 39.4MiB allocated; 13ms collecting garbage
Compiler: Compiled 5 439 to 995 computations (81.7% saved)

prune9.0ms (0.3%)

Memory

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

Pruning

18 alts after pruning (10 fresh and 8 done)

	Pruned	Kept	Total
New	189	7	196
Fresh	2	3	5
Picked	1	4	5
Done	1	4	5
Total	193	18	211

Accuracy

100.0%

Counts

211 → 18

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	97.3%	(/.f64 (*.f64 (neg.f64 (/.f64 t1 (+.f64 t1 u))) v) (+.f64 t1 u))
	49.3%	(/.f64 (*.f64 (neg.f64 #s(approx (/ t1 (+ t1 u)) (/.f64 t1 u))) v) (+.f64 t1 u))
	65.8%	(/.f64 (*.f64 (neg.f64 t1) #s(approx (/ v (+ t1 u)) (/.f64 v t1))) (+.f64 t1 u))
✓	70.6%	(/.f64 (.f64 (neg.f64 t1) v) (.f64 (+.f64 t1 u) (+.f64 t1 u)))
✓	37.3%	(/.f64 (.f64 (neg.f64 t1) v) (.f64 #s(approx (+ t1 u) t1) #s(approx (+ t1 u) t1)))
✓	46.3%	(/.f64 #s(approx (/ (neg (* t1 v)) (+ t1 u)) (neg.f64 (/.f64 (*.f64 t1 v) u))) (+.f64 t1 u))
	24.9%	(/.f64 #s(approx (/ (neg (* t1 v)) (+ t1 u)) (neg.f64 (/.f64 (*.f64 t1 v) u))) #s(approx (+ t1 u) t1))
	46.3%	(/.f64 #s(approx (/ (neg (* t1 v)) (+ t1 u)) (neg.f64 (.f64 (.f64 t1 v) (/.f64 #s(literal 1 binary64) u)))) (+.f64 t1 u))
	49.9%	(/.f64 #s(approx (/ (neg (* t1 v)) (+ t1 u)) (neg.f64 (*.f64 t1 (/.f64 v u)))) (+.f64 t1 u))
	65.9%	(/.f64 #s(approx (/ (neg (* t1 v)) (+ t1 u)) (neg.f64 v)) (+.f64 t1 u))
✓	71.6%	(.f64 (neg.f64 t1) (/.f64 v (.f64 (+.f64 t1 u) (+.f64 t1 u))))
✓	58.9%	(*.f64 #s(approx (/ (neg t1) (+ t1 u)) (-.f64 (/.f64 u t1) #s(literal 1 binary64))) (/.f64 v (+.f64 t1 u)))
	55.4%	(*.f64 #s(approx (/ (neg t1) (+ t1 u)) (-.f64 (/.f64 u t1) #s(literal 1 binary64))) (/.f64 v #s(approx (+ t1 u) t1)))
	51.9%	(.f64 #s(approx (/ (neg t1) (+ t1 u)) (.f64 #s(literal -1 binary64) (/.f64 t1 u))) #s(approx (/ v (+ t1 u)) (/.f64 v u)))
✓	18.8%	(*.f64 #s(approx (/ (neg t1) (+ t1 u)) #s(literal -1 binary64)) #s(approx (/ v (+ t1 u)) (/.f64 v u)))
	18.8%	(.f64 #s(approx (/ (neg t1) (+ t1 u)) #s(literal -1 binary64)) #s(approx (/ v (+ t1 u)) (.f64 v (/.f64 #s(literal 1 binary64) u))))
✓	56.1%	#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (neg.f64 (/.f64 v t1)))
	55.9%	#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (neg.f64 (*.f64 (/.f64 #s(literal 1 binary64) t1) v)))

Compiler

Compiled 313 to 210 computations (32.9% saved)

regimes209.0ms (6.5%)

Memory

34.4MiB live, 218.2MiB allocated; 67ms collecting garbage

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

2 → 1

3 → 3

9 → 1

11 → 3

16 → 3

21 → 3

22 → 3

23 → 5

32 → 1

Calls

Call 1

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

Outputs
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (neg.f64 (/.f64 v t1)))

Call 2

Inputs

#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (neg.f64 (/.f64 v t1)))

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

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

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

Outputs

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

#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (neg.f64 (/.f64 v t1)))

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

Call 3

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

Outputs
(/.f64 #s(approx (/ (neg (* t1 v)) (+ t1 u)) (neg.f64 v)) (+.f64 t1 u))

Call 4

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

Outputs

(/.f64 #s(approx (/ (neg (* t1 v)) (+ t1 u)) (neg.f64 v)) (+.f64 t1 u))

(/.f64 #s(approx (/ (neg (* t1 v)) (+ t1 u)) (neg.f64 (/.f64 (*.f64 t1 v) u))) #s(approx (+ t1 u) t1))

(/.f64 #s(approx (/ (neg (* t1 v)) (+ t1 u)) (neg.f64 v)) (+.f64 t1 u))

Call 5

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

Outputs

(/.f64 #s(approx (/ (neg (* t1 v)) (+ t1 u)) (neg.f64 v)) (+.f64 t1 u))

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

(/.f64 #s(approx (/ (neg (* t1 v)) (+ t1 u)) (neg.f64 v)) (+.f64 t1 u))

Call 6

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

Outputs

(/.f64 #s(approx (/ (neg (* t1 v)) (+ t1 u)) (neg.f64 v)) (+.f64 t1 u))

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

(/.f64 (*.f64 (neg.f64 t1) #s(approx (/ v (+ t1 u)) (/.f64 v t1))) (+.f64 t1 u))

Call 7

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

Outputs

(/.f64 #s(approx (/ (neg (* t1 v)) (+ t1 u)) (neg.f64 v)) (+.f64 t1 u))

(*.f64 (neg.f64 t1) (/.f64 v (*.f64 (+.f64 t1 u) (+.f64 t1 u))))

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

Call 8

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

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

Call 9

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

Outputs
(*.f64 (/.f64 (neg.f64 t1) (+.f64 t1 u)) (/.f64 v (+.f64 t1 u)))

Calls

23 calls:

25.0ms	u
25.0ms	v
20.0ms	(/.f64 (.f64 (neg.f64 t1) v) (.f64 (+.f64 t1 u) (+.f64 t1 u)))
20.0ms	t1
19.0ms	t1

Results

Accuracy	Segments	Branch
56.1%	1	`t1`
56.1%	1	`u`
63.7%	3	`u`
56.1%	1	`(/.f64 (.f64 (neg.f64 t1) v) (.f64 (+.f64 t1 u) (+.f64 t1 u)))`
56.1%	1	`v`
56.1%	1	`t1`
65.9%	1	`u`
65.9%	1	`t1`
65.9%	1	`v`
69.3%	3	`u`
65.9%	1	`(/.f64 (.f64 (neg.f64 t1) v) (.f64 (+.f64 t1 u) (+.f64 t1 u)))`
69.9%	3	`t1`
86.4%	3	`t1`
86.4%	3	`t1`
88.1%	3	`t1`
85.9%	4	`u`
74.9%	3	`v`
84.4%	3	`(/.f64 (.f64 (neg.f64 t1) v) (.f64 (+.f64 t1 u) (+.f64 t1 u)))`
92.0%	5	`t1`
98.7%	1	`(/.f64 (.f64 (neg.f64 t1) v) (.f64 (+.f64 t1 u) (+.f64 t1 u)))`
98.7%	1	`u`
98.7%	1	`v`
98.7%	1	`t1`

Compiler

Compiled 613 to 205 computations (66.6% saved)

bsearch50.0ms (1.6%)

Memory

-29.7MiB live, 64.6MiB allocated; 7ms collecting garbage

Algorithm

4×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
10.0ms	321099329726034.56	32888386384032676.0
11.0ms	3.703866468166244e-245	4.1176699311147457e-240
9.0ms	-1.5531611034637013e-142	-7.877243785096895e-145
16.0ms	-2.024510871865386e+133	-3.593876854698452e+123

Samples

26.0ms

528×

valid

Compiler

Compiled 1 039 to 769 computations (26% saved)

Precisions

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

ival-mult!: 5.0ms (41.4% of total)

ival-neg: 4.0ms (33.1% of total)

ival-div!: 2.0ms (16.6% of total)

ival-add!: 1.0ms (8.3% of total)

adjust: 0.0ms (0% of total)

bsearch13.0ms (0.4%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
1.0ms	321099329726034.56	32888386384032676.0
11.0ms	-2.1584831178656833e+47	-8.11868287692271e+44

Samples

6.0ms

128×

valid

Compiler

Compiled 441 to 343 computations (22.2% saved)

Precisions

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

ival-neg: 1.0ms (36.9% of total)

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

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

adjust: 0.0ms (0% of total)

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

bsearch28.0ms (0.9%)

Memory

1.6MiB live, 47.3MiB allocated; 6ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
12.0ms	5.6340719880679715e-71	2.580340277059782e-59
13.0ms	-0.01009364959550493	-2.646421059375016e-6

Samples

15.0ms

288×

valid

Compiler

Compiled 691 to 500 computations (27.6% saved)

Precisions

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

ival-neg: 4.0ms (45.5% of total)

ival-mult!: 3.0ms (34.1% of total)

ival-add!: 1.0ms (11.4% of total)

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

adjust: 0.0ms (0% of total)

bsearch2.0ms (0.1%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
1.0ms	5.6340719880679715e-71	2.580340277059782e-59
1.0ms	-0.01009364959550493	-2.646421059375016e-6

Compiler

Compiled 681 to 500 computations (26.6% saved)

bsearch57.0ms (1.8%)

Memory

-9.1MiB live, 46.1MiB allocated; 57ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
10.0ms	1.1289091223741922e-101	5.320424328983576e-99
45.0ms	-3.3897603534028025e-191	-1.3657836729542622e-192

Samples

47.0ms

240×

valid

Compiler

Compiled 555 to 404 computations (27.2% saved)

Precisions

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

ival-mult!: 2.0ms (40.1% of total)

ival-add!: 1.0ms (20% of total)

ival-neg: 1.0ms (20% of total)

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

adjust: 0.0ms (0% of total)

bsearch39.0ms (1.2%)

Memory

-28.5MiB live, 60.4MiB allocated; 26ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
10.0ms	2.4663774232299954e+153	6.330701677664705e+157
14.0ms	-2.6908246894321524e+193	-8.487862578026724e+188

Samples

15.0ms

256×

valid

Compiler

Compiled 575 to 414 computations (28% saved)

Precisions

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

ival-div!: 5.0ms (54.3% of total)

ival-mult!: 2.0ms (21.7% of total)

ival-add!: 1.0ms (10.9% of total)

ival-neg: 1.0ms (10.9% of total)

adjust: 0.0ms (0% of total)

derivations4.0ms (0.1%)

Memory

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

Stop Event

1×

fuel

Compiler

Compiled 433 to 88 computations (79.7% saved)

preprocess126.0ms (3.9%)

Memory: 8.8MiB live, 150.2MiB allocated; 55ms collecting garbage
Remove: (negabs v)
Compiler: Compiled 1 311 to 512 computations (60.9% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze75.0ms (2.3%)

sample837.0ms (26.1%)

preprocess18.0ms (0.6%)

series173.0ms (5.4%)

rewrite138.0ms (4.3%)

eval7.0ms (0.2%)

prune4.0ms (0.1%)

series267.0ms (8.3%)

rewrite146.0ms (4.6%)

eval23.0ms (0.7%)

prune26.0ms (0.8%)

series193.0ms (6%)

rewrite160.0ms (5%)

eval19.0ms (0.6%)

prune14.0ms (0.4%)

series369.0ms (11.5%)

rewrite166.0ms (5.2%)

eval32.0ms (1%)

prune9.0ms (0.3%)

regimes209.0ms (6.5%)

bsearch50.0ms (1.6%)

bsearch13.0ms (0.4%)

bsearch28.0ms (0.9%)

bsearch2.0ms (0.1%)

bsearch57.0ms (1.8%)

bsearch39.0ms (1.2%)

derivations4.0ms (0.1%)

preprocess126.0ms (3.9%)

end0.0ms (0%)

Profiling