Metrics for Rosa's DopplerBench

start0.0ms (0%)

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

analyze84.0ms (3.2%)

Memory

-8.3MiB live, 83.7MiB allocated; 11ms 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)

sample922.0ms (34.8%)

Memory

32.2MiB live, 1 208.9MiB allocated; 233ms collecting garbage

Samples

576.0ms

8 256×

valid

Precisions

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

ival-mult: 117.0ms (39.9% of total)

ival-neg: 63.0ms (21.5% of total)

ival-div: 61.0ms (20.8% of total)

ival-add: 46.0ms (15.7% of total)

adjust: 3.0ms (1% of total)

ival-assert: 3.0ms (1% of total)

Bogosity

explain93.0ms (3.5%)

Memory

-20.9MiB live, 219.9MiB allocated; 20ms collecting garbage

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
74	1	(2.21600898128111e+192 2.0623411810168242e+91 -6.026378243112372e-30)	2	(-8.671500367243497e-273 4.6705222693012585e+58 8.868393322007056e-161)	`(/.f64 (.f64 (neg.f64 t1) v) (.f64 (+.f64 t1 u) (+.f64 t1 u)))`
0	0	-	0	-	`t1`
0	0	-	0	-	`(*.f64 (neg.f64 t1) v)`
0	0	-	0	-	`(neg.f64 t1)`
0	0	-	0	-	`v`
0	0	-	0	-	`(*.f64 (+.f64 t1 u) (+.f64 t1 u))`
0	0	-	0	-	`(+.f64 t1 u)`
0	0	-	0	-	`u`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`/.f64`	`(/.f64 (.f64 (neg.f64 t1) v) (.f64 (+.f64 t1 u) (+.f64 t1 u)))`	n/o	28	0
↳	`(*.f64 (+.f64 t1 u) (+.f64 t1 u))`	overflow	104
`/.f64`	`(/.f64 (.f64 (neg.f64 t1) v) (.f64 (+.f64 t1 u) (+.f64 t1 u)))`	o/o	22	0
↳	`(*.f64 (neg.f64 t1) v)`	overflow	27
↳	`(*.f64 (+.f64 t1 u) (+.f64 t1 u))`	overflow	104
`/.f64`	`(/.f64 (.f64 (neg.f64 t1) v) (.f64 (+.f64 t1 u) (+.f64 t1 u)))`	u/n	7	0
↳	`(*.f64 (neg.f64 t1) v)`	underflow	26
`/.f64`	`(/.f64 (.f64 (neg.f64 t1) v) (.f64 (+.f64 t1 u) (+.f64 t1 u)))`	u/u	6	0
↳	`(*.f64 (neg.f64 t1) v)`	underflow	26
↳	`(*.f64 (+.f64 t1 u) (+.f64 t1 u))`	underflow	17
`/.f64`	`(/.f64 (.f64 (neg.f64 t1) v) (.f64 (+.f64 t1 u) (+.f64 t1 u)))`	n/u	5	0
↳	`(*.f64 (+.f64 t1 u) (+.f64 t1 u))`	underflow	17
`/.f64`	`(/.f64 (.f64 (neg.f64 t1) v) (.f64 (+.f64 t1 u) (+.f64 t1 u)))`	o/n	5	0
↳	`(*.f64 (neg.f64 t1) v)`	overflow	27

Confusion

	Predicted +	Predicted -
+	72	2
-	1	181

Precision

0.9863013698630136

Recall

0.972972972972973

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	72	0	2
-	1	0	181

Precision?

0.9863013698630136

Recall?

0.972972972972973

Freqs

test

number	freq
0	183
1	73

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1	0	0
-	0	0	0

Precision?

1.0

Recall?

1.0

Samples

36.0ms

512×

valid

Compiler

Compiled 78 to 28 computations (64.1% saved)

Precisions

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

ival-mult: 7.0ms (44.6% of total)

ival-div: 3.0ms (19.1% of total)

ival-add: 3.0ms (19.1% of total)

ival-neg: 2.0ms (12.7% of total)

ival-true: 0.0ms (0% of total)

adjust: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

preprocess183.0ms (6.9%)

Memory

17.9MiB live, 157.7MiB allocated; 19ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	35	125
1	190	123
2	807	121
3	2457	119
4	4098	119
5	6104	115
6	7715	115
0	8	12
0	13	12
1	34	12
2	105	12
3	339	12
4	903	12
5	1373	12
6	2292	12
7	3526	12
8	4526	12
9	5782	12
0	8463	12

Stop Event

1×	iter limit
1×	node limit
1×	iter limit
1×	node limit

Calls

Call 1

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

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

Symmetry

(negabs v)

Compiler

Compiled 12 to 8 computations (33.3% saved)

eval0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated; 0ms collecting garbage
Compiler: Compiled 0 to 3 computations (-∞% saved)

prune1.0ms (0%)

Memory

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

Alt Table

Click to see full alt table

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

Compiler

Compiled 12 to 8 computations (33.3% saved)

series19.0ms (0.7%)

Memory

-10.0MiB live, 36.5MiB allocated; 5ms collecting garbage

Counts

8 → 44

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))) #s(hole binary64 (* -1 (/ v t1))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) #s(hole binary64 (+ (* -1 (/ v t1)) (* 2 (/ (* u v) (pow t1 2))))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) #s(hole binary64 (+ (* -1 (/ v t1)) (* u (+ (* 2 (/ v (pow t1 2))) (* u (+ (* -4 (/ v (pow t1 3))) (/ v (pow t1 3)))))))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) #s(hole binary64 (+ (* -1 (/ v t1)) (* u (+ (* 2 (/ v (pow t1 2))) (* u (+ (* -4 (/ v (pow t1 3))) (+ (* u (+ (* -2 (/ v (pow t1 4))) (* -2 (/ (+ (* -4 (/ v (pow t1 3))) (/ v (pow t1 3))) t1)))) (/ v (pow t1 3))))))))))
#s(approx (* (+ t1 u) (+ t1 u)) #s(hole binary64 (pow t1 2)))
#s(approx (* (+ t1 u) (+ t1 u)) #s(hole binary64 (+ (* 2 (* t1 u)) (pow t1 2))))
#s(approx (* (+ t1 u) (+ t1 u)) #s(hole binary64 (+ (* u (+ u (* 2 t1))) (pow t1 2))))
#s(approx (+ t1 u) #s(hole binary64 t1))
#s(approx (+ t1 u) #s(hole binary64 (+ t1 u)))
#s(approx u #s(hole binary64 u))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) #s(hole binary64 (* -1 (/ (* t1 v) (pow u 2)))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) #s(hole binary64 (/ (+ (* -1 (* t1 v)) (* 2 (/ (* (pow t1 2) v) u))) (pow u 2))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) #s(hole binary64 (/ (+ (* -4 (/ (* (pow t1 3) v) (pow u 2))) (+ (* -1 (* t1 v)) (+ (* 2 (/ (* (pow t1 2) v) u)) (/ (* (pow t1 3) v) (pow u 2))))) (pow u 2))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) #s(hole binary64 (/ (+ (* -4 (/ (* (pow t1 3) v) (pow u 2))) (+ (* -2 (/ (* t1 (+ (* -4 (* (pow t1 3) v)) (* (pow t1 3) v))) (pow u 3))) (+ (* -2 (/ (* (pow t1 4) v) (pow u 3))) (+ (* -1 (* t1 v)) (+ (* 2 (/ (* (pow t1 2) v) u)) (/ (* (pow t1 3) v) (pow u 2))))))) (pow u 2))))
#s(approx (* (+ t1 u) (+ t1 u)) #s(hole binary64 (pow u 2)))
#s(approx (* (+ t1 u) (+ t1 u)) #s(hole binary64 (* (pow u 2) (+ 1 (* 2 (/ t1 u))))))
#s(approx (* (+ t1 u) (+ t1 u)) #s(hole binary64 (* (pow u 2) (+ 1 (+ (* 2 (/ t1 u)) (/ (pow t1 2) (pow u 2)))))))
#s(approx (+ t1 u) #s(hole binary64 u))
#s(approx (+ t1 u) #s(hole binary64 (* u (+ 1 (/ t1 u)))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) #s(hole binary64 (/ (+ (* -1 (* t1 v)) (* -1 (/ (+ (* -2 (* (pow t1 2) v)) (* -1 (/ (+ (* -4 (* (pow t1 3) v)) (* (pow t1 3) v)) u))) u))) (pow u 2))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) #s(hole binary64 (/ (+ (* -1 (* t1 v)) (* -1 (/ (+ (* -2 (* (pow t1 2) v)) (* -1 (/ (+ (* -4 (* (pow t1 3) v)) (+ (* -1 (/ (+ (* 2 (* t1 (+ (* -4 (* (pow t1 3) v)) (* (pow t1 3) v)))) (* 2 (* (pow t1 4) v))) u)) (* (pow t1 3) v))) u))) u))) (pow u 2))))
#s(approx (* (+ t1 u) (+ t1 u)) #s(hole binary64 (* (pow u 2) (+ 1 (* -1 (/ (+ (* -2 t1) (* -1 (/ (pow t1 2) u))) u))))))
#s(approx (+ t1 u) #s(hole binary64 (* -1 (* u (- (* -1 (/ t1 u)) 1)))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) #s(hole binary64 (* -1 (/ (* t1 v) (pow (+ t1 u) 2)))))
#s(approx (* (neg t1) v) #s(hole binary64 (* -1 (* t1 v))))
#s(approx v #s(hole binary64 v))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) #s(hole binary64 (* t1 (+ (* -1 (/ v (pow u 2))) (* 2 (/ (* t1 v) (pow u 3)))))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) #s(hole binary64 (* t1 (+ (* -1 (/ v (pow u 2))) (* t1 (+ (* 2 (/ v (pow u 3))) (* t1 (+ (* -4 (/ v (pow u 4))) (/ v (pow u 4))))))))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) #s(hole binary64 (* t1 (+ (* -1 (/ v (pow u 2))) (* t1 (+ (* 2 (/ v (pow u 3))) (* t1 (+ (* -4 (/ v (pow u 4))) (+ (* t1 (+ (* -2 (/ v (pow u 5))) (* -2 (/ (+ (* -4 (/ v (pow u 4))) (/ v (pow u 4))) u)))) (/ v (pow u 4)))))))))))
#s(approx (neg t1) #s(hole binary64 (* -1 t1)))
#s(approx t1 #s(hole binary64 t1))
#s(approx (* (+ t1 u) (+ t1 u)) #s(hole binary64 (+ (* 2 (* t1 u)) (pow u 2))))
#s(approx (* (+ t1 u) (+ t1 u)) #s(hole binary64 (+ (* t1 (+ t1 (* 2 u))) (pow u 2))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) #s(hole binary64 (/ (+ (* -1 v) (* 2 (/ (* u v) t1))) t1)))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) #s(hole binary64 (/ (+ (* -4 (/ (* (pow u 2) v) (pow t1 2))) (+ (* -1 v) (+ (* 2 (/ (* u v) t1)) (/ (* (pow u 2) v) (pow t1 2))))) t1)))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) #s(hole binary64 (/ (+ (* -4 (/ (* (pow u 2) v) (pow t1 2))) (+ (* -2 (/ (* u (+ (* -4 (* (pow u 2) v)) (* (pow u 2) v))) (pow t1 3))) (+ (* -2 (/ (* (pow u 3) v) (pow t1 3))) (+ (* -1 v) (+ (* 2 (/ (* u v) t1)) (/ (* (pow u 2) v) (pow t1 2))))))) t1)))
#s(approx (* (+ t1 u) (+ t1 u)) #s(hole binary64 (* (pow t1 2) (+ 1 (* 2 (/ u t1))))))
#s(approx (* (+ t1 u) (+ t1 u)) #s(hole binary64 (* (pow t1 2) (+ 1 (+ (* 2 (/ u t1)) (/ (pow u 2) (pow t1 2)))))))
#s(approx (+ t1 u) #s(hole binary64 (* t1 (+ 1 (/ u t1)))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) #s(hole binary64 (* -1 (/ (+ v (* -2 (/ (* u v) t1))) t1))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) #s(hole binary64 (* -1 (/ (+ v (* -1 (/ (- (+ (* -4 (/ (* (pow u 2) v) t1)) (/ (* (pow u 2) v) t1)) (* -2 (* u v))) t1))) t1))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) #s(hole binary64 (* -1 (/ (+ v (* -1 (/ (- (* -1 (/ (- (+ (* 2 (/ (* u (+ (* -4 (* (pow u 2) v)) (* (pow u 2) v))) t1)) (* 2 (/ (* (pow u 3) v) t1))) (+ (* -4 (* (pow u 2) v)) (* (pow u 2) v))) t1)) (* -2 (* u v))) t1))) t1))))
#s(approx (* (+ t1 u) (+ t1 u)) #s(hole binary64 (* (pow t1 2) (+ 1 (* -1 (/ (+ (* -2 u) (* -1 (/ (pow u 2) t1))) t1))))))
#s(approx (+ t1 u) #s(hole binary64 (* -1 (* t1 (- (* -1 (/ u t1)) 1)))))

Calls

9 calls:

Time	Variable		Point	Expression
5.0ms	v	@	-inf	((/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (* (neg t1) v) (neg t1) t1 v (* (+ t1 u) (+ t1 u)) (+ t1 u) u)
3.0ms	t1	@	inf	((/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (* (neg t1) v) (neg t1) t1 v (* (+ t1 u) (+ t1 u)) (+ t1 u) u)
2.0ms	v	@	0	((/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (* (neg t1) v) (neg t1) t1 v (* (+ t1 u) (+ t1 u)) (+ t1 u) u)
2.0ms	v	@	inf	((/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (* (neg t1) v) (neg t1) t1 v (* (+ t1 u) (+ t1 u)) (+ t1 u) u)
2.0ms	u	@	inf	((/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (* (neg t1) v) (neg t1) t1 v (* (+ t1 u) (+ t1 u)) (+ t1 u) u)

rewrite215.0ms (8.1%)

Memory

-46.4MiB live, 241.0MiB allocated; 74ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	290	1345
0	296	1161
1	1842	1147
0	8800	1097

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Counts

52 → 114

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
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) #s(hole binary64 (* -1 (/ v t1))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) #s(hole binary64 (+ (* -1 (/ v t1)) (* 2 (/ (* u v) (pow t1 2))))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) #s(hole binary64 (+ (* -1 (/ v t1)) (* u (+ (* 2 (/ v (pow t1 2))) (* u (+ (* -4 (/ v (pow t1 3))) (/ v (pow t1 3)))))))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) #s(hole binary64 (+ (* -1 (/ v t1)) (* u (+ (* 2 (/ v (pow t1 2))) (* u (+ (* -4 (/ v (pow t1 3))) (+ (* u (+ (* -2 (/ v (pow t1 4))) (* -2 (/ (+ (* -4 (/ v (pow t1 3))) (/ v (pow t1 3))) t1)))) (/ v (pow t1 3))))))))))
#s(approx (* (+ t1 u) (+ t1 u)) #s(hole binary64 (pow t1 2)))
#s(approx (* (+ t1 u) (+ t1 u)) #s(hole binary64 (+ (* 2 (* t1 u)) (pow t1 2))))
#s(approx (* (+ t1 u) (+ t1 u)) #s(hole binary64 (+ (* u (+ u (* 2 t1))) (pow t1 2))))
#s(approx (+ t1 u) #s(hole binary64 t1))
#s(approx (+ t1 u) #s(hole binary64 (+ t1 u)))
#s(approx u #s(hole binary64 u))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) #s(hole binary64 (* -1 (/ (* t1 v) (pow u 2)))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) #s(hole binary64 (/ (+ (* -1 (* t1 v)) (* 2 (/ (* (pow t1 2) v) u))) (pow u 2))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) #s(hole binary64 (/ (+ (* -4 (/ (* (pow t1 3) v) (pow u 2))) (+ (* -1 (* t1 v)) (+ (* 2 (/ (* (pow t1 2) v) u)) (/ (* (pow t1 3) v) (pow u 2))))) (pow u 2))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) #s(hole binary64 (/ (+ (* -4 (/ (* (pow t1 3) v) (pow u 2))) (+ (* -2 (/ (* t1 (+ (* -4 (* (pow t1 3) v)) (* (pow t1 3) v))) (pow u 3))) (+ (* -2 (/ (* (pow t1 4) v) (pow u 3))) (+ (* -1 (* t1 v)) (+ (* 2 (/ (* (pow t1 2) v) u)) (/ (* (pow t1 3) v) (pow u 2))))))) (pow u 2))))
#s(approx (* (+ t1 u) (+ t1 u)) #s(hole binary64 (pow u 2)))
#s(approx (* (+ t1 u) (+ t1 u)) #s(hole binary64 (* (pow u 2) (+ 1 (* 2 (/ t1 u))))))
#s(approx (* (+ t1 u) (+ t1 u)) #s(hole binary64 (* (pow u 2) (+ 1 (+ (* 2 (/ t1 u)) (/ (pow t1 2) (pow u 2)))))))
#s(approx (+ t1 u) #s(hole binary64 u))
#s(approx (+ t1 u) #s(hole binary64 (* u (+ 1 (/ t1 u)))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) #s(hole binary64 (/ (+ (* -1 (* t1 v)) (* -1 (/ (+ (* -2 (* (pow t1 2) v)) (* -1 (/ (+ (* -4 (* (pow t1 3) v)) (* (pow t1 3) v)) u))) u))) (pow u 2))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) #s(hole binary64 (/ (+ (* -1 (* t1 v)) (* -1 (/ (+ (* -2 (* (pow t1 2) v)) (* -1 (/ (+ (* -4 (* (pow t1 3) v)) (+ (* -1 (/ (+ (* 2 (* t1 (+ (* -4 (* (pow t1 3) v)) (* (pow t1 3) v)))) (* 2 (* (pow t1 4) v))) u)) (* (pow t1 3) v))) u))) u))) (pow u 2))))
#s(approx (* (+ t1 u) (+ t1 u)) #s(hole binary64 (* (pow u 2) (+ 1 (* -1 (/ (+ (* -2 t1) (* -1 (/ (pow t1 2) u))) u))))))
#s(approx (+ t1 u) #s(hole binary64 (* -1 (* u (- (* -1 (/ t1 u)) 1)))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) #s(hole binary64 (* -1 (/ (* t1 v) (pow (+ t1 u) 2)))))
#s(approx (* (neg t1) v) #s(hole binary64 (* -1 (* t1 v))))
#s(approx v #s(hole binary64 v))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) #s(hole binary64 (* t1 (+ (* -1 (/ v (pow u 2))) (* 2 (/ (* t1 v) (pow u 3)))))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) #s(hole binary64 (* t1 (+ (* -1 (/ v (pow u 2))) (* t1 (+ (* 2 (/ v (pow u 3))) (* t1 (+ (* -4 (/ v (pow u 4))) (/ v (pow u 4))))))))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) #s(hole binary64 (* t1 (+ (* -1 (/ v (pow u 2))) (* t1 (+ (* 2 (/ v (pow u 3))) (* t1 (+ (* -4 (/ v (pow u 4))) (+ (* t1 (+ (* -2 (/ v (pow u 5))) (* -2 (/ (+ (* -4 (/ v (pow u 4))) (/ v (pow u 4))) u)))) (/ v (pow u 4)))))))))))
#s(approx (neg t1) #s(hole binary64 (* -1 t1)))
#s(approx t1 #s(hole binary64 t1))
#s(approx (* (+ t1 u) (+ t1 u)) #s(hole binary64 (+ (* 2 (* t1 u)) (pow u 2))))
#s(approx (* (+ t1 u) (+ t1 u)) #s(hole binary64 (+ (* t1 (+ t1 (* 2 u))) (pow u 2))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) #s(hole binary64 (/ (+ (* -1 v) (* 2 (/ (* u v) t1))) t1)))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) #s(hole binary64 (/ (+ (* -4 (/ (* (pow u 2) v) (pow t1 2))) (+ (* -1 v) (+ (* 2 (/ (* u v) t1)) (/ (* (pow u 2) v) (pow t1 2))))) t1)))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) #s(hole binary64 (/ (+ (* -4 (/ (* (pow u 2) v) (pow t1 2))) (+ (* -2 (/ (* u (+ (* -4 (* (pow u 2) v)) (* (pow u 2) v))) (pow t1 3))) (+ (* -2 (/ (* (pow u 3) v) (pow t1 3))) (+ (* -1 v) (+ (* 2 (/ (* u v) t1)) (/ (* (pow u 2) v) (pow t1 2))))))) t1)))
#s(approx (* (+ t1 u) (+ t1 u)) #s(hole binary64 (* (pow t1 2) (+ 1 (* 2 (/ u t1))))))
#s(approx (* (+ t1 u) (+ t1 u)) #s(hole binary64 (* (pow t1 2) (+ 1 (+ (* 2 (/ u t1)) (/ (pow u 2) (pow t1 2)))))))
#s(approx (+ t1 u) #s(hole binary64 (* t1 (+ 1 (/ u t1)))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) #s(hole binary64 (* -1 (/ (+ v (* -2 (/ (* u v) t1))) t1))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) #s(hole binary64 (* -1 (/ (+ v (* -1 (/ (- (+ (* -4 (/ (* (pow u 2) v) t1)) (/ (* (pow u 2) v) t1)) (* -2 (* u v))) t1))) t1))))
#s(approx (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) #s(hole binary64 (* -1 (/ (+ v (* -1 (/ (- (* -1 (/ (- (+ (* 2 (/ (* u (+ (* -4 (* (pow u 2) v)) (* (pow u 2) v))) t1)) (* 2 (/ (* (pow u 3) v) t1))) (+ (* -4 (* (pow u 2) v)) (* (pow u 2) v))) t1)) (* -2 (* u v))) t1))) t1))))
#s(approx (* (+ t1 u) (+ t1 u)) #s(hole binary64 (* (pow t1 2) (+ 1 (* -1 (/ (+ (* -2 u) (* -1 (/ (pow u 2) t1))) t1))))))
#s(approx (+ t1 u) #s(hole binary64 (* -1 (* t1 (- (* -1 (/ u t1)) 1)))))

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

eval13.0ms (0.5%)

Memory: 19.4MiB live, 19.4MiB allocated; 0ms collecting garbage
Compiler: Compiled 2 961 to 517 computations (82.5% saved)

prune148.0ms (5.6%)

Memory

-21.6MiB live, 80.3MiB allocated; 18ms collecting garbage

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	135	4	139
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	136	4	140

Accuracy

100.0%

Counts

140 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
	84.8%	(/.f64 (/.f64 (*.f64 (neg.f64 t1) v) (+.f64 u t1)) (+.f64 u t1))
	72.0%	(/.f64 (.f64 (neg.f64 t1) v) (.f64 (+.f64 t1 u) #s(approx (+ t1 u) (*.f64 (+.f64 (/.f64 u t1) #s(literal 1 binary64)) t1))))
	84.7%	(.f64 (/.f64 (.f64 v t1) (+.f64 u t1)) (/.f64 #s(literal -1 binary64) (+.f64 u t1)))
▶	98.7%	(*.f64 (/.f64 (neg.f64 t1) (+.f64 u t1)) (/.f64 v (+.f64 u t1)))

Compiler

Compiled 57 to 39 computations (31.6% saved)

series12.0ms (0.4%)

Memory

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

Counts

8 → 70

Calls

Call 1

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

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

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	v	@	inf	((* (/ (neg t1) (+ u t1)) (/ v (+ u t1))) (/ (neg t1) (+ u t1)) (neg t1) t1 (+ u t1) u (/ v (+ u t1)) v)
1.0ms	v	@	-inf	((* (/ (neg t1) (+ u t1)) (/ v (+ u t1))) (/ (neg t1) (+ u t1)) (neg t1) t1 (+ u t1) u (/ v (+ u t1)) v)
1.0ms	u	@	0	((* (/ (neg t1) (+ u t1)) (/ v (+ u t1))) (/ (neg t1) (+ u t1)) (neg t1) t1 (+ u t1) u (/ v (+ u t1)) v)
1.0ms	t1	@	-inf	((* (/ (neg t1) (+ u t1)) (/ v (+ u t1))) (/ (neg t1) (+ u t1)) (neg t1) t1 (+ u t1) u (/ v (+ u t1)) v)
1.0ms	u	@	inf	((* (/ (neg t1) (+ u t1)) (/ v (+ u t1))) (/ (neg t1) (+ u t1)) (neg t1) t1 (+ u t1) u (/ v (+ u t1)) v)

rewrite182.0ms (6.9%)

Memory

-29.0MiB live, 203.6MiB allocated; 24ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	457	2048
0	463	1834
1	2968	1830
0	8315	1776

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Counts

78 → 105

Calls

Call 1

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

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

eval14.0ms (0.5%)

Memory: 22.5MiB live, 22.5MiB allocated; 0ms collecting garbage
Compiler: Compiled 3 000 to 580 computations (80.7% saved)

prune81.0ms (3%)

Memory

4.2MiB live, 96.6MiB allocated; 8ms collecting garbage

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	123	4	127
Fresh	2	1	3
Picked	0	1	1
Done	0	0	0
Total	125	6	131

Accuracy

100.0%

Counts

131 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	98.7%	(/.f64 (*.f64 (/.f64 (neg.f64 t1) (+.f64 u t1)) v) (+.f64 u t1))
	72.4%	(/.f64 (*.f64 (neg.f64 (neg.f64 t1)) (neg.f64 v)) (pow.f64 (+.f64 u t1) #s(literal 2 binary64)))
	98.3%	(/.f64 (*.f64 (neg.f64 t1) (/.f64 v (+.f64 u t1))) (+.f64 u t1))
	84.7%	(.f64 (/.f64 (.f64 v t1) (+.f64 u t1)) (/.f64 #s(literal -1 binary64) (+.f64 u t1)))
	98.6%	(*.f64 (/.f64 (neg.f64 t1) (+.f64 u t1)) (/.f64 v (/.f64 #s(literal 1 binary64) (pow.f64 (+.f64 u t1) #s(literal -1 binary64)))))
✓	98.7%	(*.f64 (/.f64 (neg.f64 t1) (+.f64 u t1)) (/.f64 v (+.f64 u t1)))

Compiler

Compiled 142 to 104 computations (26.8% saved)

series10.0ms (0.4%)

Memory

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

Counts

8 → 68

Calls

Call 1

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

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

Calls

9 calls:

Time	Variable		Point	Expression
2.0ms	v	@	-inf	((/ (* (/ (neg t1) (+ u t1)) v) (+ u t1)) (* (/ (neg t1) (+ u t1)) v) (/ (neg t1) (+ u t1)) (neg t1) t1 (+ u t1) u v)
1.0ms	v	@	inf	((/ (* (/ (neg t1) (+ u t1)) v) (+ u t1)) (* (/ (neg t1) (+ u t1)) v) (/ (neg t1) (+ u t1)) (neg t1) t1 (+ u t1) u v)
1.0ms	v	@	0	((/ (* (/ (neg t1) (+ u t1)) v) (+ u t1)) (* (/ (neg t1) (+ u t1)) v) (/ (neg t1) (+ u t1)) (neg t1) t1 (+ u t1) u v)
1.0ms	u	@	inf	((/ (* (/ (neg t1) (+ u t1)) v) (+ u t1)) (* (/ (neg t1) (+ u t1)) v) (/ (neg t1) (+ u t1)) (neg t1) t1 (+ u t1) u v)
1.0ms	u	@	-inf	((/ (* (/ (neg t1) (+ u t1)) v) (+ u t1)) (* (/ (neg t1) (+ u t1)) v) (/ (neg t1) (+ u t1)) (neg t1) t1 (+ u t1) u v)

rewrite161.0ms (6.1%)

Memory

-32.4MiB live, 116.9MiB allocated; 11ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	446	2102
0	452	1924
1	2939	1878
0	8168	1811

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Counts

76 → 100

Calls

Call 1

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

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

eval14.0ms (0.5%)

Memory: 11.7MiB live, 11.7MiB allocated; 0ms collecting garbage
Compiler: Compiled 2 923 to 585 computations (80% saved)

prune75.0ms (2.8%)

Memory

3.3MiB live, 49.7MiB allocated; 2ms collecting garbage

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	121	1	122
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	122	6	128

Accuracy

100.0%

Counts

128 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	98.7%	(/.f64 (*.f64 (/.f64 (neg.f64 t1) (+.f64 u t1)) v) (+.f64 u t1))
	98.3%	(/.f64 (.f64 (.f64 t1 (/.f64 v (+.f64 u t1))) #s(literal -1 binary64)) (+.f64 u t1))
	72.4%	(/.f64 (*.f64 (neg.f64 (neg.f64 t1)) (neg.f64 v)) (pow.f64 (+.f64 u t1) #s(literal 2 binary64)))
	84.7%	(.f64 (/.f64 (.f64 v t1) (+.f64 u t1)) (/.f64 #s(literal -1 binary64) (+.f64 u t1)))
▶	98.6%	(*.f64 (/.f64 (neg.f64 t1) (+.f64 u t1)) (/.f64 v (/.f64 #s(literal 1 binary64) (pow.f64 (+.f64 u t1) #s(literal -1 binary64)))))
✓	98.7%	(*.f64 (/.f64 (neg.f64 t1) (+.f64 u t1)) (/.f64 v (+.f64 u t1)))

Compiler

Compiled 78 to 57 computations (26.9% saved)

series11.0ms (0.4%)

Memory

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

Counts

12 → 97

Calls

Call 1

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

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

Calls

9 calls:

Time	Variable		Point	Expression
3.0ms	u	@	0	((* (/ (neg t1) (+ u t1)) (/ v (/ 1 (pow (+ u t1) -1)))) (/ (neg t1) (+ u t1)) (neg t1) t1 (+ u t1) u (/ v (/ 1 (pow (+ u t1) -1))) v (/ 1 (pow (+ u t1) -1)) 1 (pow (+ u t1) -1) -1)
1.0ms	v	@	inf	((* (/ (neg t1) (+ u t1)) (/ v (/ 1 (pow (+ u t1) -1)))) (/ (neg t1) (+ u t1)) (neg t1) t1 (+ u t1) u (/ v (/ 1 (pow (+ u t1) -1))) v (/ 1 (pow (+ u t1) -1)) 1 (pow (+ u t1) -1) -1)
1.0ms	v	@	-inf	((* (/ (neg t1) (+ u t1)) (/ v (/ 1 (pow (+ u t1) -1)))) (/ (neg t1) (+ u t1)) (neg t1) t1 (+ u t1) u (/ v (/ 1 (pow (+ u t1) -1))) v (/ 1 (pow (+ u t1) -1)) 1 (pow (+ u t1) -1) -1)
1.0ms	v	@	0	((* (/ (neg t1) (+ u t1)) (/ v (/ 1 (pow (+ u t1) -1)))) (/ (neg t1) (+ u t1)) (neg t1) t1 (+ u t1) u (/ v (/ 1 (pow (+ u t1) -1))) v (/ 1 (pow (+ u t1) -1)) 1 (pow (+ u t1) -1) -1)
1.0ms	t1	@	inf	((* (/ (neg t1) (+ u t1)) (/ v (/ 1 (pow (+ u t1) -1)))) (/ (neg t1) (+ u t1)) (neg t1) t1 (+ u t1) u (/ v (/ 1 (pow (+ u t1) -1))) v (/ 1 (pow (+ u t1) -1)) 1 (pow (+ u t1) -1) -1)

rewrite172.0ms (6.5%)

Memory

1.1MiB live, 101.6MiB allocated; 14ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	553	2771
0	563	2439
1	3517	2311
0	8753	2253

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Counts

109 → 163

Calls

Call 1

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

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

eval21.0ms (0.8%)

Memory: -26.1MiB live, 20.2MiB allocated; 3ms collecting garbage
Compiler: Compiled 4 576 to 853 computations (81.4% saved)

prune136.0ms (5.1%)

Memory

-15.2MiB live, 85.2MiB allocated; 6ms collecting garbage

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	169	0	169
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	169	6	175

Accuracy

100.0%

Counts

175 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	98.7%	(/.f64 (*.f64 (/.f64 (neg.f64 t1) (+.f64 u t1)) v) (+.f64 u t1))
	98.3%	(/.f64 (.f64 (.f64 t1 (/.f64 v (+.f64 u t1))) #s(literal -1 binary64)) (+.f64 u t1))
	72.4%	(/.f64 (*.f64 (neg.f64 (neg.f64 t1)) (neg.f64 v)) (pow.f64 (+.f64 u t1) #s(literal 2 binary64)))
	84.7%	(.f64 (/.f64 (.f64 v t1) (+.f64 u t1)) (/.f64 #s(literal -1 binary64) (+.f64 u t1)))
✓	98.6%	(*.f64 (/.f64 (neg.f64 t1) (+.f64 u t1)) (/.f64 v (/.f64 #s(literal 1 binary64) (pow.f64 (+.f64 u t1) #s(literal -1 binary64)))))
✓	98.7%	(*.f64 (/.f64 (neg.f64 t1) (+.f64 u t1)) (/.f64 v (+.f64 u t1)))

Compiler

Compiled 212 to 101 computations (52.4% saved)

regimes12.0ms (0.5%)

Memory

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

Accuracy

Total -17.7b remaining (-2178.6%)

Threshold costs -17.7b (-2178.6%)

Counts

10 → 1

Calls

Call 1

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

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

Calls

4 calls:

3.0ms	t1
3.0ms	u
3.0ms	v
3.0ms	(/.f64 (.f64 (neg.f64 t1) v) (.f64 (+.f64 t1 u) (+.f64 t1 u)))

Results

Accuracy	Segments	Branch
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 15 to 17 computations (-13.3% saved)

simplify10.0ms (0.4%)

Memory

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	12
1	15	12
2	23	12
3	36	12
4	49	12
5	52	12

Stop Event

1×

saturated

Calls

Call 1

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

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

derivations46.0ms (1.7%)

Memory

-10.2MiB live, 37.1MiB allocated; 2ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 12 to 8 computations (33.3% saved)

preprocess15.0ms (0.6%)

Memory: -21.0MiB live, 25.1MiB allocated; 5ms collecting garbage
Remove: (negabs v)
Compiler: Compiled 96 to 64 computations (33.3% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze84.0ms (3.2%)

sample922.0ms (34.8%)

explain93.0ms (3.5%)

preprocess183.0ms (6.9%)

eval0.0ms (0%)

prune1.0ms (0%)

series19.0ms (0.7%)

rewrite215.0ms (8.1%)

eval13.0ms (0.5%)

prune148.0ms (5.6%)

series12.0ms (0.4%)

rewrite182.0ms (6.9%)

eval14.0ms (0.5%)

prune81.0ms (3%)

series10.0ms (0.4%)

rewrite161.0ms (6.1%)

eval14.0ms (0.5%)

prune75.0ms (2.8%)

series11.0ms (0.4%)

rewrite172.0ms (6.5%)

eval21.0ms (0.8%)

prune136.0ms (5.1%)

regimes12.0ms (0.5%)

simplify10.0ms (0.4%)

derivations46.0ms (1.7%)

preprocess15.0ms (0.6%)

end0.0ms (0%)

Profiling