Metrics for Numeric.SpecFunctions:invIncompleteGamma from math-functions-0.1.5.2, D

start0.0ms (0%)

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

analyze1.0ms (0%)

Memory

3.2MiB live, 3.2MiB allocated; 0ms 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
100%	50%	0%	0.1%	0%	50%	0%	2

Compiler

Compiled 16 to 14 computations (12.5% saved)

sample1.2s (54.2%)

Memory

-5.0MiB live, 2 966.9MiB allocated; 445ms collecting garbage

Samples

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

Precisions

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

ival-mult!: 199.0ms (37.7% of total)

ival-div!: 129.0ms (24.4% of total)

ival-sqrt: 106.0ms (20.1% of total)

ival-sub!: 92.0ms (17.4% of total)

adjust: 2.0ms (0.4% of total)

Bogosity

preprocess62.0ms (2.8%)

Memory

4.0MiB live, 97.9MiB allocated; 26ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	32	92
1	87	78
2	369	76
3	2642	76

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.7%	(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64)))) (/.f64 y (.f64 #s(literal 3 binary64) (sqrt.f64 x))))

Compiler

Compiled 26 to 24 computations (7.7% saved)

series13.0ms (0.6%)

Memory

43.4MiB live, 43.3MiB allocated; 0ms collecting garbage

Counts

12 → 22

Calls

Call 1

Inputs
(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64)))) (/.f64 y (.f64 #s(literal 3 binary64) (sqrt.f64 x))))
(-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (*.f64 x #s(literal 9 binary64))))
#s(literal 1 binary64)
(/.f64 #s(literal 1 binary64) (*.f64 x #s(literal 9 binary64)))
(*.f64 x #s(literal 9 binary64))
x
#s(literal 9 binary64)
(/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x)))
y
(*.f64 #s(literal 3 binary64) (sqrt.f64 x))
#s(literal 3 binary64)
(sqrt.f64 x)

Outputs
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (* -1 (/ (+ 1/9 (* 1/3 (* (sqrt x) y))) x))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (/ (- x (+ 1/9 (* 1/3 (* (sqrt x) y)))) x)))
#s(approx (- 1 (/ 1 (* x 9))) #s(hole binary64 (/ -1/9 x)))
#s(approx (- 1 (/ 1 (* x 9))) #s(hole binary64 (/ (- x 1/9) x)))
#s(approx (/ 1 (* x 9)) #s(hole binary64 (/ 1/9 x)))
#s(approx (* x 9) #s(hole binary64 (* 9 x)))
#s(approx x #s(hole binary64 x))
#s(approx (/ y (* 3 (sqrt x))) #s(hole binary64 (* 1/3 (* (sqrt (/ 1 x)) y))))
#s(approx (* 3 (sqrt x)) #s(hole binary64 (* 3 (sqrt x))))
#s(approx (sqrt x) #s(hole binary64 (sqrt x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (- 1 (* 1/3 (* (sqrt (/ 1 x)) y)))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (- 1 (+ (* 1/3 (* (sqrt (/ 1 x)) y)) (* 1/9 (/ 1 x))))))
#s(approx (- 1 (/ 1 (* x 9))) #s(hole binary64 1))
#s(approx (- 1 (/ 1 (* x 9))) #s(hole binary64 (- 1 (* 1/9 (/ 1 x)))))
#s(approx (* 3 (sqrt x)) #s(hole binary64 (* -3 (* (sqrt x) (pow (sqrt -1) 2)))))
#s(approx (sqrt x) #s(hole binary64 (* -1 (* (sqrt x) (pow (sqrt -1) 2)))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (- 1 (* 1/9 (/ 1 x)))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (- (+ 1 (* -1/3 (* (sqrt (/ 1 x)) y))) (* 1/9 (/ 1 x)))))
#s(approx y #s(hole binary64 y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (* -1/3 (* (sqrt (/ 1 x)) y))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (* y (- (/ 1 y) (+ (* 1/3 (sqrt (/ 1 x))) (/ 1/9 (* x y)))))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (* -1 (* y (- (* -1 (/ (- 1 (* 1/9 (/ 1 x))) y)) (* -1/3 (sqrt (/ 1 x))))))))

Calls

6 calls:

Time	Variable		Point	Expression
3.0ms	x	@	-inf	((- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (/ 1 (* x 9))) 1 (/ 1 (* x 9)) (* x 9) x 9 (/ y (* 3 (sqrt x))) y (* 3 (sqrt x)) 3 (sqrt x))
3.0ms	x	@	0	((- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (/ 1 (* x 9))) 1 (/ 1 (* x 9)) (* x 9) x 9 (/ y (* 3 (sqrt x))) y (* 3 (sqrt x)) 3 (sqrt x))
2.0ms	y	@	-inf	((- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (/ 1 (* x 9))) 1 (/ 1 (* x 9)) (* x 9) x 9 (/ y (* 3 (sqrt x))) y (* 3 (sqrt x)) 3 (sqrt x))
2.0ms	x	@	inf	((- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (/ 1 (* x 9))) 1 (/ 1 (* x 9)) (* x 9) x 9 (/ y (* 3 (sqrt x))) y (* 3 (sqrt x)) 3 (sqrt x))
1.0ms	y	@	0	((- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (/ 1 (* x 9))) 1 (/ 1 (* x 9)) (* x 9) x 9 (/ y (* 3 (sqrt x))) y (* 3 (sqrt x)) 3 (sqrt x))

rewrite70.0ms (3.2%)

Memory

5.5MiB live, 134.1MiB allocated; 30ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	90	427
0	101	407
0	374	401

Stop Event

1×	iter-limit
1×	iter-limit
1×	iter-limit
1×	unsound
1×	iter-limit

Counts

34 → 47

Calls

Call 1

Inputs
(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64)))) (/.f64 y (.f64 #s(literal 3 binary64) (sqrt.f64 x))))
(-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (*.f64 x #s(literal 9 binary64))))
#s(literal 1 binary64)
(/.f64 #s(literal 1 binary64) (*.f64 x #s(literal 9 binary64)))
(*.f64 x #s(literal 9 binary64))
x
#s(literal 9 binary64)
(/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x)))
y
(*.f64 #s(literal 3 binary64) (sqrt.f64 x))
#s(literal 3 binary64)
(sqrt.f64 x)
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (* -1 (/ (+ 1/9 (* 1/3 (* (sqrt x) y))) x))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (/ (- x (+ 1/9 (* 1/3 (* (sqrt x) y)))) x)))
#s(approx (- 1 (/ 1 (* x 9))) #s(hole binary64 (/ -1/9 x)))
#s(approx (- 1 (/ 1 (* x 9))) #s(hole binary64 (/ (- x 1/9) x)))
#s(approx (/ 1 (* x 9)) #s(hole binary64 (/ 1/9 x)))
#s(approx (* x 9) #s(hole binary64 (* 9 x)))
#s(approx x #s(hole binary64 x))
#s(approx (/ y (* 3 (sqrt x))) #s(hole binary64 (* 1/3 (* (sqrt (/ 1 x)) y))))
#s(approx (* 3 (sqrt x)) #s(hole binary64 (* 3 (sqrt x))))
#s(approx (sqrt x) #s(hole binary64 (sqrt x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (- 1 (* 1/3 (* (sqrt (/ 1 x)) y)))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (- 1 (+ (* 1/3 (* (sqrt (/ 1 x)) y)) (* 1/9 (/ 1 x))))))
#s(approx (- 1 (/ 1 (* x 9))) #s(hole binary64 1))
#s(approx (- 1 (/ 1 (* x 9))) #s(hole binary64 (- 1 (* 1/9 (/ 1 x)))))
#s(approx (* 3 (sqrt x)) #s(hole binary64 (* -3 (* (sqrt x) (pow (sqrt -1) 2)))))
#s(approx (sqrt x) #s(hole binary64 (* -1 (* (sqrt x) (pow (sqrt -1) 2)))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (- 1 (* 1/9 (/ 1 x)))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (- (+ 1 (* -1/3 (* (sqrt (/ 1 x)) y))) (* 1/9 (/ 1 x)))))
#s(approx y #s(hole binary64 y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (* -1/3 (* (sqrt (/ 1 x)) y))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (* y (- (/ 1 y) (+ (* 1/3 (sqrt (/ 1 x))) (/ 1/9 (* x y)))))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (* -1 (* y (- (* -1 (/ (- 1 (* 1/9 (/ 1 x))) y)) (* -1/3 (sqrt (/ 1 x))))))))

Outputs
(/.f64 (-.f64 (.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x)))) (.f64 (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))))) (+.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x))) (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64)))))
(/.f64 (-.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x))) #s(literal 3 binary64)) (pow.f64 (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) #s(literal 3 binary64))) (fma.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x))) (fma.f64 (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) (.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x))) (/.f64 y (*.f64 (sqrt.f64 x) #s(literal 3 binary64)))))))
(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x))) (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))))
(-.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x)) (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64)))))
(/.f64 (-.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x)) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x)))) (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x))))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x)) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (fma.f64 (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x)) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x)) (.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 9 binary64) x))))))
(-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 9 binary64) x)))
#s(literal 1 binary64)
(pow.f64 (*.f64 #s(literal 9 binary64) x) #s(literal -1 binary64))
(/.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 9 binary64))
(/.f64 #s(literal -1 binary64) (neg.f64 (*.f64 #s(literal 9 binary64) x)))
(/.f64 #s(literal 1 binary64) (*.f64 #s(literal 9 binary64) x))
(*.f64 #s(literal 9 binary64) x)
(*.f64 x #s(literal 9 binary64))
x
#s(literal 9 binary64)
(/.f64 (/.f64 y #s(literal 3 binary64)) (sqrt.f64 x))
(/.f64 (neg.f64 y) (neg.f64 (*.f64 (sqrt.f64 x) #s(literal 3 binary64))))
(/.f64 y (*.f64 (sqrt.f64 x) #s(literal 3 binary64)))
y
(*.f64 (sqrt.f64 x) #s(literal 3 binary64))
(*.f64 #s(literal 3 binary64) (sqrt.f64 x))
#s(literal 3 binary64)
(pow.f64 x #s(literal 1/2 binary64))
(sqrt.f64 x)
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (neg.f64 (/.f64 (fma.f64 (*.f64 (sqrt.f64 x) y) #s(literal 1/3 binary64) #s(literal 1/9 binary64)) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (/.f64 (-.f64 x (fma.f64 (*.f64 (sqrt.f64 x) y) #s(literal 1/3 binary64) #s(literal 1/9 binary64))) x))
#s(approx (- 1 (/ 1 (* x 9))) (/.f64 #s(literal -1/9 binary64) x))
#s(approx (- 1 (/ 1 (* x 9))) (/.f64 (-.f64 x #s(literal 1/9 binary64)) x))
#s(approx (/ 1 (* x 9)) (/.f64 #s(literal 1/9 binary64) x))
#s(approx (* x 9) (*.f64 #s(literal 9 binary64) x))
#s(approx x x)
#s(approx (/ y (* 3 (sqrt x))) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y) #s(literal 1/3 binary64)))
#s(approx (* 3 (sqrt x)) (*.f64 (sqrt.f64 x) #s(literal 3 binary64)))
#s(approx (sqrt x) (sqrt.f64 x))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (fma.f64 #s(literal -1/3 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y) #s(literal 1 binary64)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (fma.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y) #s(literal 1/3 binary64) (/.f64 #s(literal 1/9 binary64) x))))
#s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64))
#s(approx (- 1 (/ 1 (* x 9))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (* 3 (sqrt x)) (.f64 (.f64 #s(literal -1 binary64) (sqrt.f64 x)) #s(literal -3 binary64)))
#s(approx (sqrt x) (neg.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 x))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (fma.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y) #s(literal 1/3 binary64) (/.f64 #s(literal 1/9 binary64) x))))
#s(approx y y)
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 #s(literal -1/3 binary64) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 (-.f64 (/.f64 #s(literal 1 binary64) y) (fma.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64) (/.f64 #s(literal 1/9 binary64) (.f64 y x)))) y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (neg.f64 (.f64 (-.f64 (neg.f64 (/.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)) y)) (.f64 #s(literal -1/3 binary64) (/.f64 #s(literal 1 binary64) (sqrt.f64 x)))) y)))

eval36.0ms (1.6%)

Memory: -22.0MiB live, 41.0MiB allocated; 30ms collecting garbage
Compiler: Compiled 358 to 167 computations (53.4% saved)

prune18.0ms (0.8%)

Memory

-2.5MiB live, 39.5MiB allocated; 12ms collecting garbage

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	26	12	38
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	26	13	39

Accuracy

100.0%

Counts

39 → 13

Alt Table

Click to see full alt table

Status	Accuracy	Program
	48.8%	(/.f64 (-.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x))) #s(literal 3 binary64)) (pow.f64 (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) #s(literal 3 binary64))) (fma.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x))) (fma.f64 (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) (.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x))) (/.f64 y (*.f64 (sqrt.f64 x) #s(literal 3 binary64)))))))
	99.7%	(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 9 binary64))) (/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x))))
▶	99.7%	(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (*.f64 x #s(literal 9 binary64)))) (/.f64 (/.f64 y #s(literal 3 binary64)) (sqrt.f64 x)))
✓	99.7%	(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64)))) (/.f64 y (.f64 #s(literal 3 binary64) (sqrt.f64 x))))
▶	71.3%	(-.f64 #s(approx (- 1 (/ 1 (* x 9))) (/.f64 #s(literal -1/9 binary64) x)) (/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x))))
	69.1%	(-.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x))))
	92.2%	#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (/.f64 (-.f64 x (fma.f64 (*.f64 (sqrt.f64 x) y) #s(literal 1/3 binary64) #s(literal 1/9 binary64))) x))
▶	99.5%	#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (fma.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y) #s(literal 1/3 binary64) (/.f64 #s(literal 1/9 binary64) x))))
▶	59.6%	#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))
	88.5%	#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 (-.f64 (/.f64 #s(literal 1 binary64) y) (fma.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64) (/.f64 #s(literal 1/9 binary64) (.f64 y x)))) y))
▶	41.4%	#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 #s(literal -1/3 binary64) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y)))
	63.8%	#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (neg.f64 (/.f64 (fma.f64 (*.f64 (sqrt.f64 x) y) #s(literal 1/3 binary64) #s(literal 1/9 binary64)) x)))
	88.5%	#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (neg.f64 (.f64 (-.f64 (neg.f64 (/.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)) y)) (.f64 #s(literal -1/3 binary64) (/.f64 #s(literal 1 binary64) (sqrt.f64 x)))) y)))

Compiler

Compiled 489 to 450 computations (8% saved)

series18.0ms (0.8%)

Memory

9.1MiB live, 53.8MiB allocated; 5ms collecting garbage

Counts

31 → 57

Calls

Call 1

Inputs
(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (*.f64 x #s(literal 9 binary64)))) (/.f64 (/.f64 y #s(literal 3 binary64)) (sqrt.f64 x)))
(-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (*.f64 x #s(literal 9 binary64))))
#s(literal 1 binary64)
(/.f64 #s(literal 1 binary64) (*.f64 x #s(literal 9 binary64)))
(*.f64 x #s(literal 9 binary64))
x
#s(literal 9 binary64)
(/.f64 (/.f64 y #s(literal 3 binary64)) (sqrt.f64 x))
(/.f64 y #s(literal 3 binary64))
y
#s(literal 3 binary64)
(sqrt.f64 x)
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))
(-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x))
(/.f64 #s(literal 1/9 binary64) x)
#s(literal 1/9 binary64)
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 #s(literal -1/3 binary64) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y)))
(.f64 #s(literal -1/3 binary64) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y))
#s(literal -1/3 binary64)
(*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y)
(/.f64 #s(literal 1 binary64) (sqrt.f64 x))
(-.f64 #s(approx (- 1 (/ 1 (* x 9))) (/.f64 #s(literal -1/9 binary64) x)) (/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x))))
#s(approx (- 1 (/ 1 (* x 9))) (/.f64 #s(literal -1/9 binary64) x))
(/.f64 #s(literal -1/9 binary64) x)
#s(literal -1/9 binary64)
(/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x)))
(*.f64 #s(literal 3 binary64) (sqrt.f64 x))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (fma.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y) #s(literal 1/3 binary64) (/.f64 #s(literal 1/9 binary64) x))))
(-.f64 #s(literal 1 binary64) (fma.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y) #s(literal 1/3 binary64) (/.f64 #s(literal 1/9 binary64) x)))
(fma.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y) #s(literal 1/3 binary64) (/.f64 #s(literal 1/9 binary64) x))
#s(literal 1/3 binary64)

Outputs
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) #s(hole binary64 (* -1 (/ (+ 1/9 (* 1/3 (* (sqrt x) y))) x))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) #s(hole binary64 (/ (- x (+ 1/9 (* 1/3 (* (sqrt x) y)))) x)))
#s(approx (- 1 (/ 1 (* x 9))) #s(hole binary64 (/ -1/9 x)))
#s(approx (- 1 (/ 1 (* x 9))) #s(hole binary64 (/ (- x 1/9) x)))
#s(approx (/ 1 (* x 9)) #s(hole binary64 (/ 1/9 x)))
#s(approx (* x 9) #s(hole binary64 (* 9 x)))
#s(approx x #s(hole binary64 x))
#s(approx (/ (/ y 3) (sqrt x)) #s(hole binary64 (* 1/3 (* (sqrt (/ 1 x)) y))))
#s(approx (sqrt x) #s(hole binary64 (sqrt x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (* -1 (/ (+ 1/9 (* 1/3 (* (sqrt x) y))) x))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (/ (- x (+ 1/9 (* 1/3 (* (sqrt x) y)))) x)))
#s(approx (- 1 (/ 1/9 x)) #s(hole binary64 (/ -1/9 x)))
#s(approx (- 1 (/ 1/9 x)) #s(hole binary64 (/ (- x 1/9) x)))
#s(approx (/ 1/9 x) #s(hole binary64 (/ 1/9 x)))
#s(approx (* -1/3 (* (/ 1 (sqrt x)) y)) #s(hole binary64 (* -1/3 (* (sqrt (/ 1 x)) y))))
#s(approx (* (/ 1 (sqrt x)) y) #s(hole binary64 (* (sqrt (/ 1 x)) y)))
#s(approx (/ 1 (sqrt x)) #s(hole binary64 (sqrt (/ 1 x))))
#s(approx (/ -1/9 x) #s(hole binary64 (/ -1/9 x)))
#s(approx (/ y (* 3 (sqrt x))) #s(hole binary64 (* 1/3 (* (sqrt (/ 1 x)) y))))
#s(approx (* 3 (sqrt x)) #s(hole binary64 (* 3 (sqrt x))))
#s(approx (- 1 (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x))) #s(hole binary64 (* -1 (/ (+ 1/9 (* 1/3 (* (sqrt x) y))) x))))
#s(approx (- 1 (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x))) #s(hole binary64 (/ (- x (+ 1/9 (* 1/3 (* (sqrt x) y)))) x)))
#s(approx (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x)) #s(hole binary64 (/ (+ 1/9 (* 1/3 (* (sqrt x) y))) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) #s(hole binary64 (- 1 (* 1/3 (* (sqrt (/ 1 x)) y)))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) #s(hole binary64 (- 1 (+ (* 1/3 (* (sqrt (/ 1 x)) y)) (* 1/9 (/ 1 x))))))
#s(approx (- 1 (/ 1 (* x 9))) #s(hole binary64 1))
#s(approx (- 1 (/ 1 (* x 9))) #s(hole binary64 (- 1 (* 1/9 (/ 1 x)))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (- 1 (* 1/3 (* (sqrt (/ 1 x)) y)))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (- 1 (+ (* 1/3 (* (sqrt (/ 1 x)) y)) (* 1/9 (/ 1 x))))))
#s(approx (- 1 (/ 1/9 x)) #s(hole binary64 1))
#s(approx (- 1 (/ 1/9 x)) #s(hole binary64 (- 1 (* 1/9 (/ 1 x)))))
#s(approx (- 1 (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x))) #s(hole binary64 (- 1 (* 1/3 (* (sqrt (/ 1 x)) y)))))
#s(approx (- 1 (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x))) #s(hole binary64 (- 1 (+ (* 1/3 (* (sqrt (/ 1 x)) y)) (* 1/9 (/ 1 x))))))
#s(approx (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x)) #s(hole binary64 (* 1/3 (* (sqrt (/ 1 x)) y))))
#s(approx (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x)) #s(hole binary64 (+ (* 1/3 (* (sqrt (/ 1 x)) y)) (* 1/9 (/ 1 x)))))
#s(approx (sqrt x) #s(hole binary64 (* -1 (* (sqrt x) (pow (sqrt -1) 2)))))
#s(approx (* 3 (sqrt x)) #s(hole binary64 (* -3 (* (sqrt x) (pow (sqrt -1) 2)))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) #s(hole binary64 (- 1 (* 1/9 (/ 1 x)))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) #s(hole binary64 (- (+ 1 (* -1/3 (* (sqrt (/ 1 x)) y))) (* 1/9 (/ 1 x)))))
#s(approx (/ y 3) #s(hole binary64 (* 1/3 y)))
#s(approx y #s(hole binary64 y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (- 1 (* 1/9 (/ 1 x)))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (- (+ 1 (* -1/3 (* (sqrt (/ 1 x)) y))) (* 1/9 (/ 1 x)))))
#s(approx (- 1 (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x))) #s(hole binary64 (- 1 (* 1/9 (/ 1 x)))))
#s(approx (- 1 (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x))) #s(hole binary64 (- (+ 1 (* -1/3 (* (sqrt (/ 1 x)) y))) (* 1/9 (/ 1 x)))))
#s(approx (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x)) #s(hole binary64 (/ 1/9 x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) #s(hole binary64 (* -1/3 (* (sqrt (/ 1 x)) y))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) #s(hole binary64 (* y (- (/ 1 y) (+ (* 1/3 (sqrt (/ 1 x))) (/ 1/9 (* x y)))))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (* -1/3 (* (sqrt (/ 1 x)) y))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (* y (- (/ 1 y) (+ (* 1/3 (sqrt (/ 1 x))) (/ 1/9 (* x y)))))))
#s(approx (- 1 (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x))) #s(hole binary64 (* -1/3 (* (sqrt (/ 1 x)) y))))
#s(approx (- 1 (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x))) #s(hole binary64 (* y (- (/ 1 y) (+ (* 1/3 (sqrt (/ 1 x))) (/ 1/9 (* x y)))))))
#s(approx (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x)) #s(hole binary64 (* y (+ (* 1/3 (sqrt (/ 1 x))) (* 1/9 (/ 1 (* x y)))))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) #s(hole binary64 (* -1 (* y (- (* -1 (/ (- 1 (* 1/9 (/ 1 x))) y)) (* -1/3 (sqrt (/ 1 x))))))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (* -1 (* y (- (* -1 (/ (- 1 (* 1/9 (/ 1 x))) y)) (* -1/3 (sqrt (/ 1 x))))))))
#s(approx (- 1 (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x))) #s(hole binary64 (* -1 (* y (- (* -1 (/ (- 1 (* 1/9 (/ 1 x))) y)) (* -1/3 (sqrt (/ 1 x))))))))
#s(approx (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x)) #s(hole binary64 (* -1 (* y (- (* -1/3 (sqrt (/ 1 x))) (* 1/9 (/ 1 (* x y))))))))

Calls

6 calls:

Time	Variable		Point	Expression
7.0ms	x	@	-inf	((- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) (- 1 (/ 1 (* x 9))) 1 (/ 1 (* x 9)) (* x 9) x 9 (/ (/ y 3) (sqrt x)) (/ y 3) y 3 (sqrt x) (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (/ 1/9 x)) (/ 1/9 x) 1/9 (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (* -1/3 (* (/ 1 (sqrt x)) y)) -1/3 (* (/ 1 (sqrt x)) y) (/ 1 (sqrt x)) (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (/ 1 (* x 9))) (/ -1/9 x) -1/9 (/ y (* 3 (sqrt x))) (* 3 (sqrt x)) (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x))) (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x)) 1/3)
2.0ms	x	@	0	((- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) (- 1 (/ 1 (* x 9))) 1 (/ 1 (* x 9)) (* x 9) x 9 (/ (/ y 3) (sqrt x)) (/ y 3) y 3 (sqrt x) (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (/ 1/9 x)) (/ 1/9 x) 1/9 (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (* -1/3 (* (/ 1 (sqrt x)) y)) -1/3 (* (/ 1 (sqrt x)) y) (/ 1 (sqrt x)) (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (/ 1 (* x 9))) (/ -1/9 x) -1/9 (/ y (* 3 (sqrt x))) (* 3 (sqrt x)) (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x))) (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x)) 1/3)
2.0ms	y	@	-inf	((- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) (- 1 (/ 1 (* x 9))) 1 (/ 1 (* x 9)) (* x 9) x 9 (/ (/ y 3) (sqrt x)) (/ y 3) y 3 (sqrt x) (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (/ 1/9 x)) (/ 1/9 x) 1/9 (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (* -1/3 (* (/ 1 (sqrt x)) y)) -1/3 (* (/ 1 (sqrt x)) y) (/ 1 (sqrt x)) (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (/ 1 (* x 9))) (/ -1/9 x) -1/9 (/ y (* 3 (sqrt x))) (* 3 (sqrt x)) (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x))) (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x)) 1/3)
2.0ms	x	@	inf	((- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) (- 1 (/ 1 (* x 9))) 1 (/ 1 (* x 9)) (* x 9) x 9 (/ (/ y 3) (sqrt x)) (/ y 3) y 3 (sqrt x) (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (/ 1/9 x)) (/ 1/9 x) 1/9 (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (* -1/3 (* (/ 1 (sqrt x)) y)) -1/3 (* (/ 1 (sqrt x)) y) (/ 1 (sqrt x)) (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (/ 1 (* x 9))) (/ -1/9 x) -1/9 (/ y (* 3 (sqrt x))) (* 3 (sqrt x)) (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x))) (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x)) 1/3)
2.0ms	y	@	inf	((- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) (- 1 (/ 1 (* x 9))) 1 (/ 1 (* x 9)) (* x 9) x 9 (/ (/ y 3) (sqrt x)) (/ y 3) y 3 (sqrt x) (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (/ 1/9 x)) (/ 1/9 x) 1/9 (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (* -1/3 (* (/ 1 (sqrt x)) y)) -1/3 (* (/ 1 (sqrt x)) y) (/ 1 (sqrt x)) (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (/ 1 (* x 9))) (/ -1/9 x) -1/9 (/ y (* 3 (sqrt x))) (* 3 (sqrt x)) (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x))) (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x)) 1/3)

rewrite93.0ms (4.3%)

Memory

-19.2MiB live, 131.8MiB allocated; 49ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	158	1352
0	191	1294
0	601	1280

Stop Event

1×	iter-limit
1×	iter-limit
1×	iter-limit
1×	unsound
1×	iter-limit

Counts

88 → 140

Calls

Call 1

Inputs
(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (*.f64 x #s(literal 9 binary64)))) (/.f64 (/.f64 y #s(literal 3 binary64)) (sqrt.f64 x)))
(-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (*.f64 x #s(literal 9 binary64))))
#s(literal 1 binary64)
(/.f64 #s(literal 1 binary64) (*.f64 x #s(literal 9 binary64)))
(*.f64 x #s(literal 9 binary64))
x
#s(literal 9 binary64)
(/.f64 (/.f64 y #s(literal 3 binary64)) (sqrt.f64 x))
(/.f64 y #s(literal 3 binary64))
y
#s(literal 3 binary64)
(sqrt.f64 x)
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))
(-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x))
(/.f64 #s(literal 1/9 binary64) x)
#s(literal 1/9 binary64)
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 #s(literal -1/3 binary64) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y)))
(.f64 #s(literal -1/3 binary64) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y))
#s(literal -1/3 binary64)
(*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y)
(/.f64 #s(literal 1 binary64) (sqrt.f64 x))
(-.f64 #s(approx (- 1 (/ 1 (* x 9))) (/.f64 #s(literal -1/9 binary64) x)) (/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x))))
#s(approx (- 1 (/ 1 (* x 9))) (/.f64 #s(literal -1/9 binary64) x))
(/.f64 #s(literal -1/9 binary64) x)
#s(literal -1/9 binary64)
(/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x)))
(*.f64 #s(literal 3 binary64) (sqrt.f64 x))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (fma.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y) #s(literal 1/3 binary64) (/.f64 #s(literal 1/9 binary64) x))))
(-.f64 #s(literal 1 binary64) (fma.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y) #s(literal 1/3 binary64) (/.f64 #s(literal 1/9 binary64) x)))
(fma.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y) #s(literal 1/3 binary64) (/.f64 #s(literal 1/9 binary64) x))
#s(literal 1/3 binary64)
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) #s(hole binary64 (* -1 (/ (+ 1/9 (* 1/3 (* (sqrt x) y))) x))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) #s(hole binary64 (/ (- x (+ 1/9 (* 1/3 (* (sqrt x) y)))) x)))
#s(approx (- 1 (/ 1 (* x 9))) #s(hole binary64 (/ -1/9 x)))
#s(approx (- 1 (/ 1 (* x 9))) #s(hole binary64 (/ (- x 1/9) x)))
#s(approx (/ 1 (* x 9)) #s(hole binary64 (/ 1/9 x)))
#s(approx (* x 9) #s(hole binary64 (* 9 x)))
#s(approx x #s(hole binary64 x))
#s(approx (/ (/ y 3) (sqrt x)) #s(hole binary64 (* 1/3 (* (sqrt (/ 1 x)) y))))
#s(approx (sqrt x) #s(hole binary64 (sqrt x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (* -1 (/ (+ 1/9 (* 1/3 (* (sqrt x) y))) x))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (/ (- x (+ 1/9 (* 1/3 (* (sqrt x) y)))) x)))
#s(approx (- 1 (/ 1/9 x)) #s(hole binary64 (/ -1/9 x)))
#s(approx (- 1 (/ 1/9 x)) #s(hole binary64 (/ (- x 1/9) x)))
#s(approx (/ 1/9 x) #s(hole binary64 (/ 1/9 x)))
#s(approx (* -1/3 (* (/ 1 (sqrt x)) y)) #s(hole binary64 (* -1/3 (* (sqrt (/ 1 x)) y))))
#s(approx (* (/ 1 (sqrt x)) y) #s(hole binary64 (* (sqrt (/ 1 x)) y)))
#s(approx (/ 1 (sqrt x)) #s(hole binary64 (sqrt (/ 1 x))))
#s(approx (/ -1/9 x) #s(hole binary64 (/ -1/9 x)))
#s(approx (/ y (* 3 (sqrt x))) #s(hole binary64 (* 1/3 (* (sqrt (/ 1 x)) y))))
#s(approx (* 3 (sqrt x)) #s(hole binary64 (* 3 (sqrt x))))
#s(approx (- 1 (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x))) #s(hole binary64 (* -1 (/ (+ 1/9 (* 1/3 (* (sqrt x) y))) x))))
#s(approx (- 1 (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x))) #s(hole binary64 (/ (- x (+ 1/9 (* 1/3 (* (sqrt x) y)))) x)))
#s(approx (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x)) #s(hole binary64 (/ (+ 1/9 (* 1/3 (* (sqrt x) y))) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) #s(hole binary64 (- 1 (* 1/3 (* (sqrt (/ 1 x)) y)))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) #s(hole binary64 (- 1 (+ (* 1/3 (* (sqrt (/ 1 x)) y)) (* 1/9 (/ 1 x))))))
#s(approx (- 1 (/ 1 (* x 9))) #s(hole binary64 1))
#s(approx (- 1 (/ 1 (* x 9))) #s(hole binary64 (- 1 (* 1/9 (/ 1 x)))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (- 1 (* 1/3 (* (sqrt (/ 1 x)) y)))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (- 1 (+ (* 1/3 (* (sqrt (/ 1 x)) y)) (* 1/9 (/ 1 x))))))
#s(approx (- 1 (/ 1/9 x)) #s(hole binary64 1))
#s(approx (- 1 (/ 1/9 x)) #s(hole binary64 (- 1 (* 1/9 (/ 1 x)))))
#s(approx (- 1 (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x))) #s(hole binary64 (- 1 (* 1/3 (* (sqrt (/ 1 x)) y)))))
#s(approx (- 1 (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x))) #s(hole binary64 (- 1 (+ (* 1/3 (* (sqrt (/ 1 x)) y)) (* 1/9 (/ 1 x))))))
#s(approx (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x)) #s(hole binary64 (* 1/3 (* (sqrt (/ 1 x)) y))))
#s(approx (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x)) #s(hole binary64 (+ (* 1/3 (* (sqrt (/ 1 x)) y)) (* 1/9 (/ 1 x)))))
#s(approx (sqrt x) #s(hole binary64 (* -1 (* (sqrt x) (pow (sqrt -1) 2)))))
#s(approx (* 3 (sqrt x)) #s(hole binary64 (* -3 (* (sqrt x) (pow (sqrt -1) 2)))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) #s(hole binary64 (- 1 (* 1/9 (/ 1 x)))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) #s(hole binary64 (- (+ 1 (* -1/3 (* (sqrt (/ 1 x)) y))) (* 1/9 (/ 1 x)))))
#s(approx (/ y 3) #s(hole binary64 (* 1/3 y)))
#s(approx y #s(hole binary64 y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (- 1 (* 1/9 (/ 1 x)))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (- (+ 1 (* -1/3 (* (sqrt (/ 1 x)) y))) (* 1/9 (/ 1 x)))))
#s(approx (- 1 (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x))) #s(hole binary64 (- 1 (* 1/9 (/ 1 x)))))
#s(approx (- 1 (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x))) #s(hole binary64 (- (+ 1 (* -1/3 (* (sqrt (/ 1 x)) y))) (* 1/9 (/ 1 x)))))
#s(approx (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x)) #s(hole binary64 (/ 1/9 x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) #s(hole binary64 (* -1/3 (* (sqrt (/ 1 x)) y))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) #s(hole binary64 (* y (- (/ 1 y) (+ (* 1/3 (sqrt (/ 1 x))) (/ 1/9 (* x y)))))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (* -1/3 (* (sqrt (/ 1 x)) y))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (* y (- (/ 1 y) (+ (* 1/3 (sqrt (/ 1 x))) (/ 1/9 (* x y)))))))
#s(approx (- 1 (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x))) #s(hole binary64 (* -1/3 (* (sqrt (/ 1 x)) y))))
#s(approx (- 1 (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x))) #s(hole binary64 (* y (- (/ 1 y) (+ (* 1/3 (sqrt (/ 1 x))) (/ 1/9 (* x y)))))))
#s(approx (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x)) #s(hole binary64 (* y (+ (* 1/3 (sqrt (/ 1 x))) (* 1/9 (/ 1 (* x y)))))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) #s(hole binary64 (* -1 (* y (- (* -1 (/ (- 1 (* 1/9 (/ 1 x))) y)) (* -1/3 (sqrt (/ 1 x))))))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (* -1 (* y (- (* -1 (/ (- 1 (* 1/9 (/ 1 x))) y)) (* -1/3 (sqrt (/ 1 x))))))))
#s(approx (- 1 (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x))) #s(hole binary64 (* -1 (* y (- (* -1 (/ (- 1 (* 1/9 (/ 1 x))) y)) (* -1/3 (sqrt (/ 1 x))))))))
#s(approx (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x)) #s(hole binary64 (* -1 (* y (- (* -1/3 (sqrt (/ 1 x))) (* 1/9 (/ 1 (* x y))))))))

Outputs
(/.f64 (-.f64 (.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x)))) (.f64 (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))))) (+.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x))) (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64)))))
(/.f64 (-.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x))) #s(literal 3 binary64)) (pow.f64 (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) #s(literal 3 binary64))) (fma.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x))) (fma.f64 (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) (.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x))) (/.f64 y (*.f64 (sqrt.f64 x) #s(literal 3 binary64)))))))
(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x))) (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))))
(-.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x)) (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64)))))
(/.f64 (-.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x)) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x)))) (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x))))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x)) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (fma.f64 (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x)) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x)) (.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 9 binary64) x))))))
(-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 9 binary64) x)))
#s(literal 1 binary64)
(pow.f64 (*.f64 #s(literal 9 binary64) x) #s(literal -1 binary64))
(/.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 9 binary64))
(/.f64 #s(literal -1 binary64) (neg.f64 (*.f64 #s(literal 9 binary64) x)))
(/.f64 #s(literal 1 binary64) (*.f64 #s(literal 9 binary64) x))
(*.f64 #s(literal 9 binary64) x)
(*.f64 x #s(literal 9 binary64))
x
#s(literal 9 binary64)
(/.f64 (neg.f64 (/.f64 y #s(literal 3 binary64))) (neg.f64 (sqrt.f64 x)))
(/.f64 (neg.f64 y) (neg.f64 (*.f64 (sqrt.f64 x) #s(literal 3 binary64))))
(/.f64 (/.f64 y #s(literal 3 binary64)) (sqrt.f64 x))
(/.f64 y (*.f64 (sqrt.f64 x) #s(literal 3 binary64)))
(/.f64 (neg.f64 y) #s(literal -3 binary64))
(/.f64 y #s(literal 3 binary64))
y
#s(literal 3 binary64)
(pow.f64 x #s(literal 1/2 binary64))
(sqrt.f64 x)
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1/9 binary64) x) (/.f64 #s(literal 1/9 binary64) x))) (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (fma.f64 (/.f64 #s(literal 1/9 binary64) x) (/.f64 #s(literal 1/9 binary64) x) (*.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))))
(-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x))
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/9 binary64) (/.f64 #s(literal 1 binary64) x)))
(*.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1/9 binary64))
(*.f64 #s(literal 1/9 binary64) (/.f64 #s(literal 1 binary64) x))
(/.f64 #s(literal -1/9 binary64) (neg.f64 x))
(/.f64 #s(literal 1/9 binary64) x)
#s(literal 1/9 binary64)
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y))
(.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y)
(.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y) #s(literal -1/3 binary64))
(.f64 #s(literal -1/3 binary64) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y))
#s(literal -1/3 binary64)
(*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y)
(*.f64 y (/.f64 #s(literal 1 binary64) (sqrt.f64 x)))
(/.f64 (*.f64 #s(literal 1 binary64) y) (sqrt.f64 x))
(pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1/2 binary64))
(pow.f64 (sqrt.f64 x) #s(literal -1 binary64))
(/.f64 #s(literal -1 binary64) (neg.f64 (sqrt.f64 x)))
(/.f64 #s(literal 1 binary64) (sqrt.f64 x))
(sqrt.f64 (/.f64 #s(literal 1 binary64) x))
(/.f64 (-.f64 (.f64 #s(approx (- 1 (/ 1 ( x 9))) (/.f64 #s(literal -1/9 binary64) x)) #s(approx (- 1 (/ 1 (* x 9))) (/.f64 #s(literal -1/9 binary64) x))) (.f64 (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))))) (+.f64 #s(approx (- 1 (/ 1 ( x 9))) (/.f64 #s(literal -1/9 binary64) x)) (/.f64 y (*.f64 (sqrt.f64 x) #s(literal 3 binary64)))))
(/.f64 (-.f64 (pow.f64 #s(approx (- 1 (/ 1 (* x 9))) (/.f64 #s(literal -1/9 binary64) x)) #s(literal 3 binary64)) (pow.f64 (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) #s(literal 3 binary64))) (fma.f64 #s(approx (- 1 (/ 1 ( x 9))) (/.f64 #s(literal -1/9 binary64) x)) #s(approx (- 1 (/ 1 (* x 9))) (/.f64 #s(literal -1/9 binary64) x)) (fma.f64 (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) (.f64 #s(approx (- 1 (/ 1 ( x 9))) (/.f64 #s(literal -1/9 binary64) x)) (/.f64 y (*.f64 (sqrt.f64 x) #s(literal 3 binary64)))))))
(-.f64 #s(approx (- 1 (/ 1 (* x 9))) (/.f64 #s(literal -1/9 binary64) x)) (/.f64 y (*.f64 (sqrt.f64 x) #s(literal 3 binary64))))
#s(approx (- 1 (/ 1 (* x 9))) (/.f64 #s(literal -1/9 binary64) x))
(/.f64 #s(literal -1/9 binary64) x)
(/.f64 #s(literal 1/9 binary64) (neg.f64 x))
#s(literal -1/9 binary64)
(/.f64 (neg.f64 (/.f64 y #s(literal 3 binary64))) (neg.f64 (sqrt.f64 x)))
(/.f64 (neg.f64 y) (neg.f64 (*.f64 (sqrt.f64 x) #s(literal 3 binary64))))
(/.f64 (/.f64 y #s(literal 3 binary64)) (sqrt.f64 x))
(/.f64 y (*.f64 (sqrt.f64 x) #s(literal 3 binary64)))
(*.f64 (sqrt.f64 x) #s(literal 3 binary64))
(*.f64 #s(literal 3 binary64) (sqrt.f64 x))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 (fma.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y #s(literal 1 binary64)) (/.f64 #s(literal 1/9 binary64) x)))
(/.f64 (-.f64 #s(literal 1 binary64) (.f64 (fma.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64)) y (/.f64 #s(literal 1/9 binary64) x)) (fma.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64)) y (/.f64 #s(literal 1/9 binary64) x)))) (+.f64 #s(literal 1 binary64) (fma.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64)) y (/.f64 #s(literal 1/9 binary64) x))))
(/.f64 (-.f64 (.f64 (fma.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y #s(literal 1 binary64)) (fma.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y #s(literal 1 binary64))) (.f64 (/.f64 #s(literal 1/9 binary64) x) (/.f64 #s(literal 1/9 binary64) x))) (+.f64 (fma.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y #s(literal 1 binary64)) (/.f64 #s(literal 1/9 binary64) x)))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (fma.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64)) y (/.f64 #s(literal 1/9 binary64) x)) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (fma.f64 (fma.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64)) y (/.f64 #s(literal 1/9 binary64) x)) (fma.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64)) y (/.f64 #s(literal 1/9 binary64) x)) (.f64 #s(literal 1 binary64) (fma.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64)) y (/.f64 #s(literal 1/9 binary64) x))))))
(/.f64 (-.f64 (pow.f64 (fma.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y #s(literal 1 binary64)) #s(literal 3 binary64)) (pow.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal 3 binary64))) (fma.f64 (fma.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y #s(literal 1 binary64)) (fma.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y #s(literal 1 binary64)) (fma.f64 (/.f64 #s(literal 1/9 binary64) x) (/.f64 #s(literal 1/9 binary64) x) (.f64 (fma.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y #s(literal 1 binary64)) (/.f64 #s(literal 1/9 binary64) x)))))
(-.f64 (fma.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y #s(literal 1 binary64)) (/.f64 #s(literal 1/9 binary64) x))
(-.f64 #s(literal 1 binary64) (fma.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64)) y (/.f64 #s(literal 1/9 binary64) x)))
(+.f64 (fma.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y #s(literal 1 binary64)) (.f64 #s(literal -1/9 binary64) (/.f64 #s(literal 1 binary64) x)))
(+.f64 #s(literal 1 binary64) (-.f64 (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y) (/.f64 #s(literal 1/9 binary64) x)))
(/.f64 (-.f64 (.f64 (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64)) y) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64)) y)) (.f64 (/.f64 #s(literal 1/9 binary64) x) (/.f64 #s(literal 1/9 binary64) x))) (-.f64 (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64)) y) (/.f64 #s(literal 1/9 binary64) x)))
(/.f64 (+.f64 (pow.f64 (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64)) y) #s(literal 3 binary64)) (pow.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal 3 binary64))) (fma.f64 (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64)) y) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64)) y) (-.f64 (.f64 (/.f64 #s(literal 1/9 binary64) x) (/.f64 #s(literal 1/9 binary64) x)) (.f64 (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64)) y) (/.f64 #s(literal 1/9 binary64) x)))))
(fma.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64)) y (/.f64 #s(literal 1/9 binary64) x))
(fma.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) (*.f64 #s(literal 1/3 binary64) y) (/.f64 #s(literal 1/9 binary64) x))
(fma.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1/9 binary64) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64)) y))
(fma.f64 #s(literal 1/3 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y) (/.f64 #s(literal 1/9 binary64) x))
(fma.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y) #s(literal 1/3 binary64) (/.f64 #s(literal 1/9 binary64) x))
(fma.f64 #s(literal 1/9 binary64) (/.f64 #s(literal 1 binary64) x) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64)) y))
(-.f64 (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64)) y) (*.f64 #s(literal -1/9 binary64) (/.f64 #s(literal 1 binary64) x)))
(+.f64 (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64)) y) (/.f64 #s(literal 1/9 binary64) x))
(+.f64 (/.f64 #s(literal 1/9 binary64) x) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64)) y))
#s(literal 1/3 binary64)
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (neg.f64 (/.f64 (fma.f64 (*.f64 (sqrt.f64 x) y) #s(literal 1/3 binary64) #s(literal 1/9 binary64)) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (/.f64 (-.f64 x (fma.f64 (*.f64 (sqrt.f64 x) y) #s(literal 1/3 binary64) #s(literal 1/9 binary64))) x))
#s(approx (- 1 (/ 1 (* x 9))) (/.f64 #s(literal -1/9 binary64) x))
#s(approx (- 1 (/ 1 (* x 9))) (/.f64 (-.f64 x #s(literal 1/9 binary64)) x))
#s(approx (/ 1 (* x 9)) (/.f64 #s(literal 1/9 binary64) x))
#s(approx (* x 9) (*.f64 #s(literal 9 binary64) x))
#s(approx x x)
#s(approx (/ y (* 3 (sqrt x))) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64)) y))
#s(approx (sqrt x) (sqrt.f64 x))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (neg.f64 (/.f64 (fma.f64 (*.f64 (sqrt.f64 x) y) #s(literal 1/3 binary64) #s(literal 1/9 binary64)) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (/.f64 (-.f64 x (fma.f64 (*.f64 (sqrt.f64 x) y) #s(literal 1/3 binary64) #s(literal 1/9 binary64))) x))
#s(approx (- 1 (/ 1/9 x)) (/.f64 #s(literal -1/9 binary64) x))
#s(approx (- 1 (/ 1/9 x)) (/.f64 (-.f64 x #s(literal 1/9 binary64)) x))
#s(approx (/ 1/9 x) (/.f64 #s(literal 1/9 binary64) x))
#s(approx (* -1/3 (* (/ 1 (sqrt x)) y)) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y))
#s(approx (* (/ 1 (sqrt x)) y) (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y))
#s(approx (/ 1 (sqrt x)) (/.f64 #s(literal 1 binary64) (sqrt.f64 x)))
#s(approx (/ -1/9 x) (/.f64 #s(literal -1/9 binary64) x))
#s(approx (/ y (* 3 (sqrt x))) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64)) y))
#s(approx (* 3 (sqrt x)) (*.f64 (sqrt.f64 x) #s(literal 3 binary64)))
#s(approx (- 1 (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x))) (neg.f64 (/.f64 (fma.f64 (*.f64 (sqrt.f64 x) y) #s(literal 1/3 binary64) #s(literal 1/9 binary64)) x)))
#s(approx (- 1 (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x))) (/.f64 (-.f64 x (fma.f64 (*.f64 (sqrt.f64 x) y) #s(literal 1/3 binary64) #s(literal 1/9 binary64))) x))
#s(approx (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x)) (/.f64 (fma.f64 (*.f64 (sqrt.f64 x) y) #s(literal 1/3 binary64) #s(literal 1/9 binary64)) x))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (fma.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y #s(literal 1 binary64)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 (fma.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y #s(literal 1 binary64)) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64))
#s(approx (- 1 (/ 1 (* x 9))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (fma.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y #s(literal 1 binary64)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 (fma.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y #s(literal 1 binary64)) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (- 1 (/ 1/9 x)) #s(literal 1 binary64))
#s(approx (- 1 (/ 1/9 x)) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (- 1 (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x))) (fma.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y #s(literal 1 binary64)))
#s(approx (- 1 (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x))) (-.f64 (fma.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y #s(literal 1 binary64)) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x)) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64)) y))
#s(approx (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x)) (fma.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64)) y (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (sqrt x) (neg.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 x))))
#s(approx (* 3 (sqrt x)) (.f64 #s(literal -3 binary64) (.f64 #s(literal -1 binary64) (sqrt.f64 x))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 (fma.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y #s(literal 1 binary64)) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (/ y 3) (*.f64 #s(literal 1/3 binary64) y))
#s(approx y y)
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 (fma.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y #s(literal 1 binary64)) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (- 1 (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (- 1 (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x))) (-.f64 (fma.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y #s(literal 1 binary64)) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x)) (/.f64 #s(literal 1/9 binary64) x))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 (-.f64 (/.f64 #s(literal 1 binary64) y) (fma.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64) (/.f64 #s(literal 1/9 binary64) (.f64 y x)))) y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 (-.f64 (/.f64 #s(literal 1 binary64) y) (fma.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64) (/.f64 #s(literal 1/9 binary64) (.f64 y x)))) y))
#s(approx (- 1 (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x))) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y))
#s(approx (- 1 (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x))) (.f64 (-.f64 (/.f64 #s(literal 1 binary64) y) (fma.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64) (/.f64 #s(literal 1/9 binary64) (.f64 y x)))) y))
#s(approx (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x)) (.f64 (fma.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64) (/.f64 #s(literal 1/9 binary64) (.f64 y x))) y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (neg.f64 (.f64 (-.f64 (neg.f64 (/.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)) y)) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64))) y)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (neg.f64 (.f64 (-.f64 (neg.f64 (/.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)) y)) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64))) y)))
#s(approx (- 1 (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x))) (neg.f64 (.f64 (-.f64 (neg.f64 (/.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)) y)) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64))) y)))
#s(approx (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x)) (neg.f64 (.f64 (-.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) (/.f64 #s(literal 1/9 binary64) (*.f64 y x))) y)))

eval22.0ms (1%)

Memory: 8.3MiB live, 47.0MiB allocated; 12ms collecting garbage
Compiler: Compiled 1 148 to 458 computations (60.1% saved)

prune15.0ms (0.7%)

Memory

-2.2MiB live, 44.1MiB allocated; 6ms collecting garbage

Pruning

15 alts after pruning (12 fresh and 3 done)

	Pruned	Kept	Total
New	112	9	121
Fresh	4	3	7
Picked	3	2	5
Done	0	1	1
Total	119	15	134

Accuracy

100.0%

Counts

134 → 15

Alt Table

Click to see full alt table

Status	Accuracy	Program
	20.1%	(/.f64 (-.f64 (pow.f64 #s(approx (- 1 (/ 1 (* x 9))) (/.f64 #s(literal -1/9 binary64) x)) #s(literal 3 binary64)) (pow.f64 (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) #s(literal 3 binary64))) (fma.f64 #s(approx (- 1 (/ 1 ( x 9))) (/.f64 #s(literal -1/9 binary64) x)) #s(approx (- 1 (/ 1 (* x 9))) (/.f64 #s(literal -1/9 binary64) x)) (fma.f64 (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) (.f64 #s(approx (- 1 (/ 1 ( x 9))) (/.f64 #s(literal -1/9 binary64) x)) (/.f64 y (*.f64 (sqrt.f64 x) #s(literal 3 binary64)))))))
▶	99.7%	(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 9 binary64))) (/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x))))
✓	99.7%	(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64)))) (/.f64 y (.f64 #s(literal 3 binary64) (sqrt.f64 x))))
✓	71.3%	(-.f64 #s(approx (- 1 (/ 1 (* x 9))) (/.f64 #s(literal -1/9 binary64) x)) (/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x))))
	69.1%	(-.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (/.f64 (/.f64 y #s(literal 3 binary64)) (sqrt.f64 x)))
▶	69.1%	(-.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x))))
✓	99.5%	#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (fma.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y) #s(literal 1/3 binary64) (/.f64 #s(literal 1/9 binary64) x))))
	59.6%	#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1/9 binary64))))
	88.6%	#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) #s(approx (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x)) (.f64 (fma.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64) (/.f64 #s(literal 1/9 binary64) (.f64 y x))) y))))
▶	41.5%	#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y))
	41.4%	#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 #s(literal -1/3 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) y)))
	63.8%	#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (neg.f64 (/.f64 (fma.f64 (*.f64 (sqrt.f64 x) y) #s(literal 1/3 binary64) #s(literal 1/9 binary64)) x)))
▶	59.6%	#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 (-.f64 x #s(literal 1/9 binary64)) x)))
	31.8%	#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 #s(literal -1/9 binary64) x)))
▶	29.4%	#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) #s(literal 1 binary64)))

Compiler

Compiled 550 to 499 computations (9.3% saved)

series36.0ms (1.6%)

Memory

2.1MiB live, 54.7MiB allocated; 24ms collecting garbage

Counts

26 → 51

Calls

Call 1

Inputs
(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 9 binary64))) (/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x))))
(-.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 9 binary64)))
#s(literal 1 binary64)
(/.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 9 binary64))
(/.f64 #s(literal 1 binary64) x)
x
#s(literal 9 binary64)
(/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x)))
y
(*.f64 #s(literal 3 binary64) (sqrt.f64 x))
#s(literal 3 binary64)
(sqrt.f64 x)
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) #s(literal 1 binary64)))
#s(approx (- 1 (/ 1/9 x)) #s(literal 1 binary64))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 (-.f64 x #s(literal 1/9 binary64)) x)))
#s(approx (- 1 (/ 1/9 x)) (/.f64 (-.f64 x #s(literal 1/9 binary64)) x))
(/.f64 (-.f64 x #s(literal 1/9 binary64)) x)
(-.f64 x #s(literal 1/9 binary64))
#s(literal 1/9 binary64)
(-.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x))))
#s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y))
(.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y)
(*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64))
(/.f64 #s(literal 1 binary64) (sqrt.f64 x))
#s(literal -1/3 binary64)

Outputs
#s(approx (- (- 1 (/ (/ 1 x) 9)) (/ y (* 3 (sqrt x)))) #s(hole binary64 (* -1 (/ (+ 1/9 (* 1/3 (* (sqrt x) y))) x))))
#s(approx (- (- 1 (/ (/ 1 x) 9)) (/ y (* 3 (sqrt x)))) #s(hole binary64 (/ (- x (+ 1/9 (* 1/3 (* (sqrt x) y)))) x)))
#s(approx (- 1 (/ (/ 1 x) 9)) #s(hole binary64 (/ -1/9 x)))
#s(approx (- 1 (/ (/ 1 x) 9)) #s(hole binary64 (/ (- x 1/9) x)))
#s(approx (/ (/ 1 x) 9) #s(hole binary64 (/ 1/9 x)))
#s(approx (/ 1 x) #s(hole binary64 (/ 1 x)))
#s(approx x #s(hole binary64 x))
#s(approx (/ y (* 3 (sqrt x))) #s(hole binary64 (* 1/3 (* (sqrt (/ 1 x)) y))))
#s(approx (* 3 (sqrt x)) #s(hole binary64 (* 3 (sqrt x))))
#s(approx (sqrt x) #s(hole binary64 (sqrt x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (* -1 (/ (+ 1/9 (* 1/3 (* (sqrt x) y))) x))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (/ (- x (+ 1/9 (* 1/3 (* (sqrt x) y)))) x)))
#s(approx (- 1 (/ 1/9 x)) #s(hole binary64 (/ -1/9 x)))
#s(approx (- 1 (/ 1/9 x)) #s(hole binary64 (/ (- x 1/9) x)))
#s(approx (/ (- x 1/9) x) #s(hole binary64 (/ -1/9 x)))
#s(approx (/ (- x 1/9) x) #s(hole binary64 (/ (- x 1/9) x)))
#s(approx (- x 1/9) #s(hole binary64 -1/9))
#s(approx (- x 1/9) #s(hole binary64 (- x 1/9)))
#s(approx (- 1 (/ 1 (* x 9))) #s(hole binary64 (/ -1/9 x)))
#s(approx (- 1 (/ 1 (* x 9))) #s(hole binary64 (/ (- x 1/9) x)))
#s(approx (* (* (/ 1 (sqrt x)) -1/3) y) #s(hole binary64 (* -1/3 (* (sqrt (/ 1 x)) y))))
#s(approx (* (/ 1 (sqrt x)) -1/3) #s(hole binary64 (* -1/3 (sqrt (/ 1 x)))))
#s(approx (/ 1 (sqrt x)) #s(hole binary64 (sqrt (/ 1 x))))
#s(approx (- (- 1 (/ (/ 1 x) 9)) (/ y (* 3 (sqrt x)))) #s(hole binary64 (- 1 (* 1/3 (* (sqrt (/ 1 x)) y)))))
#s(approx (- (- 1 (/ (/ 1 x) 9)) (/ y (* 3 (sqrt x)))) #s(hole binary64 (- 1 (+ (* 1/3 (* (sqrt (/ 1 x)) y)) (* 1/9 (/ 1 x))))))
#s(approx (- 1 (/ (/ 1 x) 9)) #s(hole binary64 1))
#s(approx (- 1 (/ (/ 1 x) 9)) #s(hole binary64 (- 1 (* 1/9 (/ 1 x)))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (- 1 (* 1/3 (* (sqrt (/ 1 x)) y)))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (- 1 (+ (* 1/3 (* (sqrt (/ 1 x)) y)) (* 1/9 (/ 1 x))))))
#s(approx (- 1 (/ 1/9 x)) #s(hole binary64 1))
#s(approx (- 1 (/ 1/9 x)) #s(hole binary64 (- 1 (* 1/9 (/ 1 x)))))
#s(approx (/ (- x 1/9) x) #s(hole binary64 1))
#s(approx (/ (- x 1/9) x) #s(hole binary64 (- 1 (* 1/9 (/ 1 x)))))
#s(approx (- x 1/9) #s(hole binary64 x))
#s(approx (- x 1/9) #s(hole binary64 (* x (- 1 (* 1/9 (/ 1 x))))))
#s(approx (- 1 (/ 1 (* x 9))) #s(hole binary64 1))
#s(approx (- 1 (/ 1 (* x 9))) #s(hole binary64 (- 1 (* 1/9 (/ 1 x)))))
#s(approx (* 3 (sqrt x)) #s(hole binary64 (* -3 (* (sqrt x) (pow (sqrt -1) 2)))))
#s(approx (sqrt x) #s(hole binary64 (* -1 (* (sqrt x) (pow (sqrt -1) 2)))))
#s(approx (- x 1/9) #s(hole binary64 (* -1 (* x (- (* 1/9 (/ 1 x)) 1)))))
#s(approx (- (- 1 (/ (/ 1 x) 9)) (/ y (* 3 (sqrt x)))) #s(hole binary64 (- 1 (* 1/9 (/ 1 x)))))
#s(approx (- (- 1 (/ (/ 1 x) 9)) (/ y (* 3 (sqrt x)))) #s(hole binary64 (- (+ 1 (* -1/3 (* (sqrt (/ 1 x)) y))) (* 1/9 (/ 1 x)))))
#s(approx y #s(hole binary64 y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (- 1 (* 1/9 (/ 1 x)))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (- (+ 1 (* -1/3 (* (sqrt (/ 1 x)) y))) (* 1/9 (/ 1 x)))))
#s(approx (- (- 1 (/ (/ 1 x) 9)) (/ y (* 3 (sqrt x)))) #s(hole binary64 (* -1/3 (* (sqrt (/ 1 x)) y))))
#s(approx (- (- 1 (/ (/ 1 x) 9)) (/ y (* 3 (sqrt x)))) #s(hole binary64 (* y (- (/ 1 y) (+ (* 1/3 (sqrt (/ 1 x))) (/ 1/9 (* x y)))))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (* -1/3 (* (sqrt (/ 1 x)) y))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (* y (- (/ 1 y) (+ (* 1/3 (sqrt (/ 1 x))) (/ 1/9 (* x y)))))))
#s(approx (- (- 1 (/ (/ 1 x) 9)) (/ y (* 3 (sqrt x)))) #s(hole binary64 (* -1 (* y (- (* -1 (/ (- 1 (* 1/9 (/ 1 x))) y)) (* -1/3 (sqrt (/ 1 x))))))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (* -1 (* y (- (* -1 (/ (- 1 (* 1/9 (/ 1 x))) y)) (* -1/3 (sqrt (/ 1 x))))))))

Calls

6 calls:

Time	Variable		Point	Expression
3.0ms	y	@	-inf	((- (- 1 (/ (/ 1 x) 9)) (/ y (* 3 (sqrt x)))) (- 1 (/ (/ 1 x) 9)) 1 (/ (/ 1 x) 9) (/ 1 x) x 9 (/ y (* 3 (sqrt x))) y (* 3 (sqrt x)) 3 (sqrt x) (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (/ 1/9 x)) (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (/ 1/9 x)) (/ (- x 1/9) x) (- x 1/9) 1/9 (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (/ 1 (* x 9))) (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (* (* (/ 1 (sqrt x)) -1/3) y) (* (/ 1 (sqrt x)) -1/3) (/ 1 (sqrt x)) -1/3)
3.0ms	x	@	-inf	((- (- 1 (/ (/ 1 x) 9)) (/ y (* 3 (sqrt x)))) (- 1 (/ (/ 1 x) 9)) 1 (/ (/ 1 x) 9) (/ 1 x) x 9 (/ y (* 3 (sqrt x))) y (* 3 (sqrt x)) 3 (sqrt x) (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (/ 1/9 x)) (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (/ 1/9 x)) (/ (- x 1/9) x) (- x 1/9) 1/9 (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (/ 1 (* x 9))) (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (* (* (/ 1 (sqrt x)) -1/3) y) (* (/ 1 (sqrt x)) -1/3) (/ 1 (sqrt x)) -1/3)
2.0ms	x	@	0	((- (- 1 (/ (/ 1 x) 9)) (/ y (* 3 (sqrt x)))) (- 1 (/ (/ 1 x) 9)) 1 (/ (/ 1 x) 9) (/ 1 x) x 9 (/ y (* 3 (sqrt x))) y (* 3 (sqrt x)) 3 (sqrt x) (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (/ 1/9 x)) (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (/ 1/9 x)) (/ (- x 1/9) x) (- x 1/9) 1/9 (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (/ 1 (* x 9))) (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (* (* (/ 1 (sqrt x)) -1/3) y) (* (/ 1 (sqrt x)) -1/3) (/ 1 (sqrt x)) -1/3)
2.0ms	x	@	inf	((- (- 1 (/ (/ 1 x) 9)) (/ y (* 3 (sqrt x)))) (- 1 (/ (/ 1 x) 9)) 1 (/ (/ 1 x) 9) (/ 1 x) x 9 (/ y (* 3 (sqrt x))) y (* 3 (sqrt x)) 3 (sqrt x) (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (/ 1/9 x)) (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (/ 1/9 x)) (/ (- x 1/9) x) (- x 1/9) 1/9 (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (/ 1 (* x 9))) (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (* (* (/ 1 (sqrt x)) -1/3) y) (* (/ 1 (sqrt x)) -1/3) (/ 1 (sqrt x)) -1/3)
1.0ms	y	@	inf	((- (- 1 (/ (/ 1 x) 9)) (/ y (* 3 (sqrt x)))) (- 1 (/ (/ 1 x) 9)) 1 (/ (/ 1 x) 9) (/ 1 x) x 9 (/ y (* 3 (sqrt x))) y (* 3 (sqrt x)) 3 (sqrt x) (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (/ 1/9 x)) (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (/ 1/9 x)) (/ (- x 1/9) x) (- x 1/9) 1/9 (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (/ 1 (* x 9))) (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (* (* (/ 1 (sqrt x)) -1/3) y) (* (/ 1 (sqrt x)) -1/3) (/ 1 (sqrt x)) -1/3)

rewrite60.0ms (2.8%)

Memory

-3.7MiB live, 130.6MiB allocated; 15ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	139	1037
0	160	961
0	517	949

Stop Event

1×	iter-limit
1×	iter-limit
1×	iter-limit
1×	unsound
1×	iter-limit

Counts

77 → 108

Calls

Call 1

Inputs
(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 9 binary64))) (/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x))))
(-.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 9 binary64)))
#s(literal 1 binary64)
(/.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 9 binary64))
(/.f64 #s(literal 1 binary64) x)
x
#s(literal 9 binary64)
(/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x)))
y
(*.f64 #s(literal 3 binary64) (sqrt.f64 x))
#s(literal 3 binary64)
(sqrt.f64 x)
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) #s(literal 1 binary64)))
#s(approx (- 1 (/ 1/9 x)) #s(literal 1 binary64))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 (-.f64 x #s(literal 1/9 binary64)) x)))
#s(approx (- 1 (/ 1/9 x)) (/.f64 (-.f64 x #s(literal 1/9 binary64)) x))
(/.f64 (-.f64 x #s(literal 1/9 binary64)) x)
(-.f64 x #s(literal 1/9 binary64))
#s(literal 1/9 binary64)
(-.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x))))
#s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y))
(.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y)
(*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64))
(/.f64 #s(literal 1 binary64) (sqrt.f64 x))
#s(literal -1/3 binary64)
#s(approx (- (- 1 (/ (/ 1 x) 9)) (/ y (* 3 (sqrt x)))) #s(hole binary64 (* -1 (/ (+ 1/9 (* 1/3 (* (sqrt x) y))) x))))
#s(approx (- (- 1 (/ (/ 1 x) 9)) (/ y (* 3 (sqrt x)))) #s(hole binary64 (/ (- x (+ 1/9 (* 1/3 (* (sqrt x) y)))) x)))
#s(approx (- 1 (/ (/ 1 x) 9)) #s(hole binary64 (/ -1/9 x)))
#s(approx (- 1 (/ (/ 1 x) 9)) #s(hole binary64 (/ (- x 1/9) x)))
#s(approx (/ (/ 1 x) 9) #s(hole binary64 (/ 1/9 x)))
#s(approx (/ 1 x) #s(hole binary64 (/ 1 x)))
#s(approx x #s(hole binary64 x))
#s(approx (/ y (* 3 (sqrt x))) #s(hole binary64 (* 1/3 (* (sqrt (/ 1 x)) y))))
#s(approx (* 3 (sqrt x)) #s(hole binary64 (* 3 (sqrt x))))
#s(approx (sqrt x) #s(hole binary64 (sqrt x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (* -1 (/ (+ 1/9 (* 1/3 (* (sqrt x) y))) x))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (/ (- x (+ 1/9 (* 1/3 (* (sqrt x) y)))) x)))
#s(approx (- 1 (/ 1/9 x)) #s(hole binary64 (/ -1/9 x)))
#s(approx (- 1 (/ 1/9 x)) #s(hole binary64 (/ (- x 1/9) x)))
#s(approx (/ (- x 1/9) x) #s(hole binary64 (/ -1/9 x)))
#s(approx (/ (- x 1/9) x) #s(hole binary64 (/ (- x 1/9) x)))
#s(approx (- x 1/9) #s(hole binary64 -1/9))
#s(approx (- x 1/9) #s(hole binary64 (- x 1/9)))
#s(approx (- 1 (/ 1 (* x 9))) #s(hole binary64 (/ -1/9 x)))
#s(approx (- 1 (/ 1 (* x 9))) #s(hole binary64 (/ (- x 1/9) x)))
#s(approx (* (* (/ 1 (sqrt x)) -1/3) y) #s(hole binary64 (* -1/3 (* (sqrt (/ 1 x)) y))))
#s(approx (* (/ 1 (sqrt x)) -1/3) #s(hole binary64 (* -1/3 (sqrt (/ 1 x)))))
#s(approx (/ 1 (sqrt x)) #s(hole binary64 (sqrt (/ 1 x))))
#s(approx (- (- 1 (/ (/ 1 x) 9)) (/ y (* 3 (sqrt x)))) #s(hole binary64 (- 1 (* 1/3 (* (sqrt (/ 1 x)) y)))))
#s(approx (- (- 1 (/ (/ 1 x) 9)) (/ y (* 3 (sqrt x)))) #s(hole binary64 (- 1 (+ (* 1/3 (* (sqrt (/ 1 x)) y)) (* 1/9 (/ 1 x))))))
#s(approx (- 1 (/ (/ 1 x) 9)) #s(hole binary64 1))
#s(approx (- 1 (/ (/ 1 x) 9)) #s(hole binary64 (- 1 (* 1/9 (/ 1 x)))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (- 1 (* 1/3 (* (sqrt (/ 1 x)) y)))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (- 1 (+ (* 1/3 (* (sqrt (/ 1 x)) y)) (* 1/9 (/ 1 x))))))
#s(approx (- 1 (/ 1/9 x)) #s(hole binary64 1))
#s(approx (- 1 (/ 1/9 x)) #s(hole binary64 (- 1 (* 1/9 (/ 1 x)))))
#s(approx (/ (- x 1/9) x) #s(hole binary64 1))
#s(approx (/ (- x 1/9) x) #s(hole binary64 (- 1 (* 1/9 (/ 1 x)))))
#s(approx (- x 1/9) #s(hole binary64 x))
#s(approx (- x 1/9) #s(hole binary64 (* x (- 1 (* 1/9 (/ 1 x))))))
#s(approx (- 1 (/ 1 (* x 9))) #s(hole binary64 1))
#s(approx (- 1 (/ 1 (* x 9))) #s(hole binary64 (- 1 (* 1/9 (/ 1 x)))))
#s(approx (* 3 (sqrt x)) #s(hole binary64 (* -3 (* (sqrt x) (pow (sqrt -1) 2)))))
#s(approx (sqrt x) #s(hole binary64 (* -1 (* (sqrt x) (pow (sqrt -1) 2)))))
#s(approx (- x 1/9) #s(hole binary64 (* -1 (* x (- (* 1/9 (/ 1 x)) 1)))))
#s(approx (- (- 1 (/ (/ 1 x) 9)) (/ y (* 3 (sqrt x)))) #s(hole binary64 (- 1 (* 1/9 (/ 1 x)))))
#s(approx (- (- 1 (/ (/ 1 x) 9)) (/ y (* 3 (sqrt x)))) #s(hole binary64 (- (+ 1 (* -1/3 (* (sqrt (/ 1 x)) y))) (* 1/9 (/ 1 x)))))
#s(approx y #s(hole binary64 y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (- 1 (* 1/9 (/ 1 x)))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (- (+ 1 (* -1/3 (* (sqrt (/ 1 x)) y))) (* 1/9 (/ 1 x)))))
#s(approx (- (- 1 (/ (/ 1 x) 9)) (/ y (* 3 (sqrt x)))) #s(hole binary64 (* -1/3 (* (sqrt (/ 1 x)) y))))
#s(approx (- (- 1 (/ (/ 1 x) 9)) (/ y (* 3 (sqrt x)))) #s(hole binary64 (* y (- (/ 1 y) (+ (* 1/3 (sqrt (/ 1 x))) (/ 1/9 (* x y)))))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (* -1/3 (* (sqrt (/ 1 x)) y))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (* y (- (/ 1 y) (+ (* 1/3 (sqrt (/ 1 x))) (/ 1/9 (* x y)))))))
#s(approx (- (- 1 (/ (/ 1 x) 9)) (/ y (* 3 (sqrt x)))) #s(hole binary64 (* -1 (* y (- (* -1 (/ (- 1 (* 1/9 (/ 1 x))) y)) (* -1/3 (sqrt (/ 1 x))))))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (* -1 (* y (- (* -1 (/ (- 1 (* 1/9 (/ 1 x))) y)) (* -1/3 (sqrt (/ 1 x))))))))

Outputs
(/.f64 (-.f64 (.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x)))) (.f64 (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))))) (+.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x))) (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64)))))
(/.f64 (-.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x))) #s(literal 3 binary64)) (pow.f64 (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) #s(literal 3 binary64))) (fma.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x))) (fma.f64 (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) (.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x))) (/.f64 y (*.f64 (sqrt.f64 x) #s(literal 3 binary64)))))))
(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x))) (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))))
(-.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x)) (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64)))))
(/.f64 (-.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x)) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x)))) (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x))))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x)) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (fma.f64 (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x)) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x)) (.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 9 binary64) x))))))
(-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 9 binary64) x)))
#s(literal 1 binary64)
(pow.f64 (*.f64 #s(literal 9 binary64) x) #s(literal -1 binary64))
(/.f64 (neg.f64 (/.f64 #s(literal 1 binary64) x)) #s(literal -9 binary64))
(/.f64 #s(literal -1 binary64) (neg.f64 (*.f64 #s(literal 9 binary64) x)))
(/.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 9 binary64))
(/.f64 #s(literal 1 binary64) (*.f64 #s(literal 9 binary64) x))
(pow.f64 x #s(literal -1 binary64))
(/.f64 #s(literal -1 binary64) (neg.f64 x))
(/.f64 #s(literal 1 binary64) x)
x
#s(literal 9 binary64)
(/.f64 (/.f64 y #s(literal 3 binary64)) (sqrt.f64 x))
(/.f64 (neg.f64 y) (neg.f64 (*.f64 (sqrt.f64 x) #s(literal 3 binary64))))
(/.f64 y (*.f64 (sqrt.f64 x) #s(literal 3 binary64)))
y
(*.f64 (sqrt.f64 x) #s(literal 3 binary64))
(*.f64 #s(literal 3 binary64) (sqrt.f64 x))
#s(literal 3 binary64)
(pow.f64 x #s(literal 1/2 binary64))
(sqrt.f64 x)
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) #s(literal 1 binary64)))
#s(approx (- 1 (/ 1/9 x)) #s(literal 1 binary64))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 (-.f64 x #s(literal 1/9 binary64)) x)))
#s(approx (- 1 (/ 1/9 x)) (/.f64 (-.f64 x #s(literal 1/9 binary64)) x))
(/.f64 (neg.f64 (-.f64 x #s(literal 1/9 binary64))) (neg.f64 x))
(/.f64 (-.f64 x #s(literal 1/9 binary64)) x)
(-.f64 (/.f64 x x) (/.f64 #s(literal 1/9 binary64) x))
(/.f64 (-.f64 (*.f64 x x) #s(literal 1/81 binary64)) (+.f64 x #s(literal 1/9 binary64)))
(/.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1/729 binary64)) (fma.f64 x x (+.f64 #s(literal 1/81 binary64) (*.f64 x #s(literal 1/9 binary64)))))
(-.f64 x #s(literal 1/9 binary64))
#s(literal 1/9 binary64)
(/.f64 (-.f64 (.f64 #s(approx (- 1 (/ 1 ( x 9))) #s(literal 1 binary64)) #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64))) (.f64 (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))))) (+.f64 #s(approx (- 1 (/ 1 ( x 9))) #s(literal 1 binary64)) (/.f64 y (*.f64 (sqrt.f64 x) #s(literal 3 binary64)))))
(/.f64 (-.f64 (pow.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) #s(literal 3 binary64)) (pow.f64 (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) #s(literal 3 binary64))) (fma.f64 #s(approx (- 1 (/ 1 ( x 9))) #s(literal 1 binary64)) #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (fma.f64 (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) (.f64 #s(approx (- 1 (/ 1 ( x 9))) #s(literal 1 binary64)) (/.f64 y (*.f64 (sqrt.f64 x) #s(literal 3 binary64)))))))
(-.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (/.f64 y (*.f64 (sqrt.f64 x) #s(literal 3 binary64))))
#s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (*.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y))
(*.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y)
(.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y) #s(literal -1/3 binary64))
(.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) (.f64 #s(literal -1/3 binary64) y))
(.f64 #s(literal -1/3 binary64) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y))
(*.f64 y (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)))
(*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64))
(*.f64 #s(literal -1/3 binary64) (/.f64 #s(literal 1 binary64) (sqrt.f64 x)))
(/.f64 #s(literal -1/3 binary64) (sqrt.f64 x))
(pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1/2 binary64))
(pow.f64 (sqrt.f64 x) #s(literal -1 binary64))
(/.f64 #s(literal -1 binary64) (neg.f64 (sqrt.f64 x)))
(/.f64 #s(literal 1 binary64) (sqrt.f64 x))
(sqrt.f64 (/.f64 #s(literal 1 binary64) x))
#s(literal -1/3 binary64)
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (neg.f64 (/.f64 (fma.f64 (*.f64 (sqrt.f64 x) y) #s(literal 1/3 binary64) #s(literal 1/9 binary64)) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (/.f64 (-.f64 x (fma.f64 (*.f64 (sqrt.f64 x) y) #s(literal 1/3 binary64) #s(literal 1/9 binary64))) x))
#s(approx (- 1 (/ 1 (* x 9))) (/.f64 #s(literal -1/9 binary64) x))
#s(approx (- 1 (/ 1 (* x 9))) (/.f64 (-.f64 x #s(literal 1/9 binary64)) x))
#s(approx (/ (/ 1 x) 9) (/.f64 #s(literal 1/9 binary64) x))
#s(approx (/ 1 x) (/.f64 #s(literal 1 binary64) x))
#s(approx x x)
#s(approx (/ y (* 3 (sqrt x))) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y) #s(literal 1/3 binary64)))
#s(approx (* 3 (sqrt x)) (*.f64 (sqrt.f64 x) #s(literal 3 binary64)))
#s(approx (sqrt x) (sqrt.f64 x))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (neg.f64 (/.f64 (fma.f64 (*.f64 (sqrt.f64 x) y) #s(literal 1/3 binary64) #s(literal 1/9 binary64)) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (/.f64 (-.f64 x (fma.f64 (*.f64 (sqrt.f64 x) y) #s(literal 1/3 binary64) #s(literal 1/9 binary64))) x))
#s(approx (- 1 (/ 1/9 x)) (/.f64 #s(literal -1/9 binary64) x))
#s(approx (- 1 (/ 1/9 x)) (/.f64 (-.f64 x #s(literal 1/9 binary64)) x))
#s(approx (/ (- x 1/9) x) (/.f64 #s(literal -1/9 binary64) x))
#s(approx (/ (- x 1/9) x) (/.f64 (-.f64 x #s(literal 1/9 binary64)) x))
#s(approx (- x 1/9) #s(literal -1/9 binary64))
#s(approx (- x 1/9) (-.f64 x #s(literal 1/9 binary64)))
#s(approx (- 1 (/ 1 (* x 9))) (/.f64 #s(literal -1/9 binary64) x))
#s(approx (- 1 (/ 1 (* x 9))) (/.f64 (-.f64 x #s(literal 1/9 binary64)) x))
#s(approx (* (* (/ 1 (sqrt x)) -1/3) y) (*.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y))
#s(approx (* (/ 1 (sqrt x)) -1/3) (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)))
#s(approx (/ 1 (sqrt x)) (/.f64 #s(literal 1 binary64) (sqrt.f64 x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (fma.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y #s(literal 1 binary64)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 (fma.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y #s(literal 1 binary64)) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64))
#s(approx (- 1 (/ 1 (* x 9))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (fma.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y #s(literal 1 binary64)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 (fma.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y #s(literal 1 binary64)) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (- 1 (/ 1/9 x)) #s(literal 1 binary64))
#s(approx (- 1 (/ 1/9 x)) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (/ (- x 1/9) x) #s(literal 1 binary64))
#s(approx (/ (- x 1/9) x) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (- x 1/9) x)
#s(approx (- x 1/9) (*.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)) x))
#s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64))
#s(approx (- 1 (/ 1 (* x 9))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (* 3 (sqrt x)) (.f64 (.f64 #s(literal -1 binary64) (sqrt.f64 x)) #s(literal -3 binary64)))
#s(approx (sqrt x) (neg.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 x))))
#s(approx (- x 1/9) (neg.f64 (*.f64 (-.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal 1 binary64)) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 (fma.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y #s(literal 1 binary64)) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx y y)
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 (fma.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y #s(literal 1 binary64)) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (*.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 (-.f64 (/.f64 #s(literal 1 binary64) y) (fma.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64) (/.f64 #s(literal 1/9 binary64) (.f64 y x)))) y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (*.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 (-.f64 (/.f64 #s(literal 1 binary64) y) (fma.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64) (/.f64 #s(literal 1/9 binary64) (.f64 y x)))) y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (neg.f64 (*.f64 (-.f64 (neg.f64 (/.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)) y)) (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x))) y)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (neg.f64 (*.f64 (-.f64 (neg.f64 (/.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)) y)) (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x))) y)))

eval9.0ms (0.4%)

Memory: 38.5MiB live, 38.5MiB allocated; 0ms collecting garbage
Compiler: Compiled 701 to 326 computations (53.5% saved)

prune25.0ms (1.1%)

Memory

-41.8MiB live, 61.7MiB allocated; 13ms collecting garbage

Pruning

18 alts after pruning (11 fresh and 7 done)

	Pruned	Kept	Total
New	77	7	84
Fresh	3	4	7
Picked	0	5	5
Done	1	2	3
Total	81	18	99

Accuracy

100.0%

Counts

99 → 18

Alt Table

Click to see full alt table

Status	Accuracy	Program
	39.6%	(/.f64 (-.f64 (pow.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) #s(literal 3 binary64)) (pow.f64 (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) #s(literal 3 binary64))) (fma.f64 #s(approx (- 1 (/ 1 ( x 9))) #s(literal 1 binary64)) #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (fma.f64 (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) (.f64 #s(approx (- 1 (/ 1 ( x 9))) #s(literal 1 binary64)) (/.f64 y (*.f64 (sqrt.f64 x) #s(literal 3 binary64)))))))
✓	99.7%	(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 9 binary64))) (/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x))))
✓	99.7%	(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64)))) (/.f64 y (.f64 #s(literal 3 binary64) (sqrt.f64 x))))
✓	71.3%	(-.f64 #s(approx (- 1 (/ 1 (* x 9))) (/.f64 #s(literal -1/9 binary64) x)) (/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x))))
▶	69.1%	(-.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (/.f64 (/.f64 y #s(literal 3 binary64)) (sqrt.f64 x)))
✓	69.1%	(-.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x))))
	69.1%	#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (fma.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y #s(literal 1 binary64)))
▶	99.6%	#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 (fma.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y #s(literal 1 binary64)) (/.f64 #s(literal 1/9 binary64) x)))
▶	59.6%	#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1/9 binary64))))
	88.6%	#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) #s(approx (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x)) (.f64 (fma.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64) (/.f64 #s(literal 1/9 binary64) (.f64 y x))) y))))
	41.5%	#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) (.f64 #s(literal -1/3 binary64) y)))
	41.5%	#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (*.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y))
✓	41.5%	#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y))
▶	41.5%	#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) #s(literal -1/3 binary64)) y))
	63.8%	#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (neg.f64 (/.f64 (fma.f64 (*.f64 (sqrt.f64 x) y) #s(literal 1/3 binary64) #s(literal 1/9 binary64)) x)))
✓	59.6%	#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 (-.f64 x #s(literal 1/9 binary64)) x)))
▶	31.8%	#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 #s(approx (- x 1/9) #s(literal -1/9 binary64)) x)))
✓	29.4%	#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) #s(literal 1 binary64)))

Compiler

Compiled 591 to 546 computations (7.6% saved)

series15.0ms (0.7%)

Memory

9.5MiB live, 56.0MiB allocated; 2ms collecting garbage

Counts

29 → 69

Calls

Call 1

Inputs
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 (fma.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y #s(literal 1 binary64)) (/.f64 #s(literal 1/9 binary64) x)))
(-.f64 (fma.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y #s(literal 1 binary64)) (/.f64 #s(literal 1/9 binary64) x))
(fma.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y #s(literal 1 binary64))
(/.f64 #s(literal -1/3 binary64) (sqrt.f64 x))
#s(literal -1/3 binary64)
(sqrt.f64 x)
x
y
#s(literal 1 binary64)
(/.f64 #s(literal 1/9 binary64) x)
#s(literal 1/9 binary64)
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 #s(approx (- x 1/9) #s(literal -1/9 binary64)) x)))
#s(approx (- 1 (/ 1/9 x)) (/.f64 #s(approx (- x 1/9) #s(literal -1/9 binary64)) x))
(/.f64 #s(approx (- x 1/9) #s(literal -1/9 binary64)) x)
#s(approx (- x 1/9) #s(literal -1/9 binary64))
#s(literal -1/9 binary64)
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1/9 binary64))))
(-.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1/9 binary64)))
(*.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1/9 binary64))
(/.f64 #s(literal 1 binary64) x)
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) #s(literal -1/3 binary64)) y))
(.f64 (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) #s(literal -1/3 binary64)) y)
(*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) #s(literal -1/3 binary64))
(sqrt.f64 (/.f64 #s(literal 1 binary64) x))
(-.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (/.f64 (/.f64 y #s(literal 3 binary64)) (sqrt.f64 x)))
#s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64))
(/.f64 (/.f64 y #s(literal 3 binary64)) (sqrt.f64 x))
(/.f64 y #s(literal 3 binary64))
#s(literal 3 binary64)

Outputs
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (* -1 (/ (+ 1/9 (* 1/3 (* (sqrt x) y))) x))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (/ (- x (+ 1/9 (* 1/3 (* (sqrt x) y)))) x)))
#s(approx (- (+ (* (/ -1/3 (sqrt x)) y) 1) (/ 1/9 x)) #s(hole binary64 (/ (- (* -1/3 (* (sqrt x) y)) 1/9) x)))
#s(approx (- (+ (* (/ -1/3 (sqrt x)) y) 1) (/ 1/9 x)) #s(hole binary64 (/ (- (+ x (* -1/3 (* (sqrt x) y))) 1/9) x)))
#s(approx (+ (* (/ -1/3 (sqrt x)) y) 1) #s(hole binary64 (* -1/3 (* (sqrt (/ 1 x)) y))))
#s(approx (+ (* (/ -1/3 (sqrt x)) y) 1) #s(hole binary64 (/ (+ x (* -1/3 (* (sqrt x) y))) x)))
#s(approx (/ -1/3 (sqrt x)) #s(hole binary64 (* -1/3 (sqrt (/ 1 x)))))
#s(approx (sqrt x) #s(hole binary64 (sqrt x)))
#s(approx x #s(hole binary64 x))
#s(approx (/ 1/9 x) #s(hole binary64 (/ 1/9 x)))
#s(approx (- 1 (/ 1/9 x)) #s(hole binary64 (/ -1/9 x)))
#s(approx (- 1 (/ 1/9 x)) #s(hole binary64 (/ (- x 1/9) x)))
#s(approx (/ (- x 1/9) x) #s(hole binary64 (/ -1/9 x)))
#s(approx (/ (- x 1/9) x) #s(hole binary64 (/ (- x 1/9) x)))
#s(approx (- x 1/9) #s(hole binary64 -1/9))
#s(approx (- x 1/9) #s(hole binary64 (- x 1/9)))
#s(approx (- 1 (* (/ 1 x) 1/9)) #s(hole binary64 (/ -1/9 x)))
#s(approx (- 1 (* (/ 1 x) 1/9)) #s(hole binary64 (/ (- x 1/9) x)))
#s(approx (* (/ 1 x) 1/9) #s(hole binary64 (/ 1/9 x)))
#s(approx (/ 1 x) #s(hole binary64 (/ 1 x)))
#s(approx (* (* (sqrt (/ 1 x)) -1/3) y) #s(hole binary64 (* -1/3 (* (sqrt (/ 1 x)) y))))
#s(approx (* (sqrt (/ 1 x)) -1/3) #s(hole binary64 (* -1/3 (sqrt (/ 1 x)))))
#s(approx (sqrt (/ 1 x)) #s(hole binary64 (sqrt (/ 1 x))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) #s(hole binary64 (* -1 (/ (+ 1/9 (* 1/3 (* (sqrt x) y))) x))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) #s(hole binary64 (/ (- x (+ 1/9 (* 1/3 (* (sqrt x) y)))) x)))
#s(approx (- 1 (/ 1 (* x 9))) #s(hole binary64 (/ -1/9 x)))
#s(approx (- 1 (/ 1 (* x 9))) #s(hole binary64 (/ (- x 1/9) x)))
#s(approx (/ (/ y 3) (sqrt x)) #s(hole binary64 (* 1/3 (* (sqrt (/ 1 x)) y))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (- 1 (* 1/3 (* (sqrt (/ 1 x)) y)))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (- 1 (+ (* 1/3 (* (sqrt (/ 1 x)) y)) (* 1/9 (/ 1 x))))))
#s(approx (- (+ (* (/ -1/3 (sqrt x)) y) 1) (/ 1/9 x)) #s(hole binary64 (+ 1 (* -1/3 (* (sqrt (/ 1 x)) y)))))
#s(approx (- (+ (* (/ -1/3 (sqrt x)) y) 1) (/ 1/9 x)) #s(hole binary64 (- (+ 1 (* -1/3 (* (sqrt (/ 1 x)) y))) (* 1/9 (/ 1 x)))))
#s(approx (+ (* (/ -1/3 (sqrt x)) y) 1) #s(hole binary64 (+ 1 (* -1/3 (* (sqrt (/ 1 x)) y)))))
#s(approx (- 1 (/ 1/9 x)) #s(hole binary64 1))
#s(approx (- 1 (/ 1/9 x)) #s(hole binary64 (- 1 (* 1/9 (/ 1 x)))))
#s(approx (/ (- x 1/9) x) #s(hole binary64 1))
#s(approx (/ (- x 1/9) x) #s(hole binary64 (- 1 (* 1/9 (/ 1 x)))))
#s(approx (- x 1/9) #s(hole binary64 x))
#s(approx (- x 1/9) #s(hole binary64 (* x (- 1 (* 1/9 (/ 1 x))))))
#s(approx (- 1 (* (/ 1 x) 1/9)) #s(hole binary64 1))
#s(approx (- 1 (* (/ 1 x) 1/9)) #s(hole binary64 (- 1 (* 1/9 (/ 1 x)))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) #s(hole binary64 (- 1 (* 1/3 (* (sqrt (/ 1 x)) y)))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) #s(hole binary64 (- 1 (+ (* 1/3 (* (sqrt (/ 1 x)) y)) (* 1/9 (/ 1 x))))))
#s(approx (- 1 (/ 1 (* x 9))) #s(hole binary64 1))
#s(approx (- 1 (/ 1 (* x 9))) #s(hole binary64 (- 1 (* 1/9 (/ 1 x)))))
#s(approx (sqrt x) #s(hole binary64 (* -1 (* (sqrt x) (pow (sqrt -1) 2)))))
#s(approx (- x 1/9) #s(hole binary64 (* -1 (* x (- (* 1/9 (/ 1 x)) 1)))))
#s(approx (* (* (sqrt (/ 1 x)) -1/3) y) #s(hole binary64 (* -1/3 (* (sqrt (/ 1 x)) (* y (pow (sqrt -1) 2))))))
#s(approx (* (sqrt (/ 1 x)) -1/3) #s(hole binary64 (* -1/3 (* (sqrt (/ 1 x)) (pow (sqrt -1) 2)))))
#s(approx (sqrt (/ 1 x)) #s(hole binary64 (* (sqrt (/ 1 x)) (pow (sqrt -1) 2))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (- 1 (* 1/9 (/ 1 x)))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (- (+ 1 (* -1/3 (* (sqrt (/ 1 x)) y))) (* 1/9 (/ 1 x)))))
#s(approx (- (+ (* (/ -1/3 (sqrt x)) y) 1) (/ 1/9 x)) #s(hole binary64 (- 1 (* 1/9 (/ 1 x)))))
#s(approx (+ (* (/ -1/3 (sqrt x)) y) 1) #s(hole binary64 1))
#s(approx y #s(hole binary64 y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) #s(hole binary64 (- 1 (* 1/9 (/ 1 x)))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) #s(hole binary64 (- (+ 1 (* -1/3 (* (sqrt (/ 1 x)) y))) (* 1/9 (/ 1 x)))))
#s(approx (/ y 3) #s(hole binary64 (* 1/3 y)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (* -1/3 (* (sqrt (/ 1 x)) y))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (* y (- (/ 1 y) (+ (* 1/3 (sqrt (/ 1 x))) (/ 1/9 (* x y)))))))
#s(approx (- (+ (* (/ -1/3 (sqrt x)) y) 1) (/ 1/9 x)) #s(hole binary64 (* -1/3 (* (sqrt (/ 1 x)) y))))
#s(approx (- (+ (* (/ -1/3 (sqrt x)) y) 1) (/ 1/9 x)) #s(hole binary64 (* y (- (+ (* -1/3 (sqrt (/ 1 x))) (/ 1 y)) (/ 1/9 (* x y))))))
#s(approx (+ (* (/ -1/3 (sqrt x)) y) 1) #s(hole binary64 (* y (+ (* -1/3 (sqrt (/ 1 x))) (/ 1 y)))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) #s(hole binary64 (* -1/3 (* (sqrt (/ 1 x)) y))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) #s(hole binary64 (* y (- (/ 1 y) (+ (* 1/3 (sqrt (/ 1 x))) (/ 1/9 (* x y)))))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (* -1 (* y (- (* -1 (/ (- 1 (* 1/9 (/ 1 x))) y)) (* -1/3 (sqrt (/ 1 x))))))))
#s(approx (- (+ (* (/ -1/3 (sqrt x)) y) 1) (/ 1/9 x)) #s(hole binary64 (* -1 (* y (+ (* -1 (/ (- 1 (* 1/9 (/ 1 x))) y)) (* 1/3 (sqrt (/ 1 x))))))))
#s(approx (+ (* (/ -1/3 (sqrt x)) y) 1) #s(hole binary64 (* -1 (* y (- (* 1/3 (sqrt (/ 1 x))) (/ 1 y))))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) #s(hole binary64 (* -1 (* y (- (* -1 (/ (- 1 (* 1/9 (/ 1 x))) y)) (* -1/3 (sqrt (/ 1 x))))))))

Calls

6 calls:

Time	Variable		Point	Expression
4.0ms	x	@	-inf	((- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- (+ (* (/ -1/3 (sqrt x)) y) 1) (/ 1/9 x)) (+ (* (/ -1/3 (sqrt x)) y) 1) (/ -1/3 (sqrt x)) -1/3 (sqrt x) x y 1 (/ 1/9 x) 1/9 (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (/ 1/9 x)) (/ (- x 1/9) x) (- x 1/9) -1/9 (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (* (/ 1 x) 1/9)) (* (/ 1 x) 1/9) (/ 1 x) (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (* (* (sqrt (/ 1 x)) -1/3) y) (* (sqrt (/ 1 x)) -1/3) (sqrt (/ 1 x)) (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x)) (/ y 3) 3)
3.0ms	y	@	inf	((- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- (+ (* (/ -1/3 (sqrt x)) y) 1) (/ 1/9 x)) (+ (* (/ -1/3 (sqrt x)) y) 1) (/ -1/3 (sqrt x)) -1/3 (sqrt x) x y 1 (/ 1/9 x) 1/9 (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (/ 1/9 x)) (/ (- x 1/9) x) (- x 1/9) -1/9 (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (* (/ 1 x) 1/9)) (* (/ 1 x) 1/9) (/ 1 x) (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (* (* (sqrt (/ 1 x)) -1/3) y) (* (sqrt (/ 1 x)) -1/3) (sqrt (/ 1 x)) (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x)) (/ y 3) 3)
2.0ms	x	@	0	((- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- (+ (* (/ -1/3 (sqrt x)) y) 1) (/ 1/9 x)) (+ (* (/ -1/3 (sqrt x)) y) 1) (/ -1/3 (sqrt x)) -1/3 (sqrt x) x y 1 (/ 1/9 x) 1/9 (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (/ 1/9 x)) (/ (- x 1/9) x) (- x 1/9) -1/9 (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (* (/ 1 x) 1/9)) (* (/ 1 x) 1/9) (/ 1 x) (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (* (* (sqrt (/ 1 x)) -1/3) y) (* (sqrt (/ 1 x)) -1/3) (sqrt (/ 1 x)) (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x)) (/ y 3) 3)
2.0ms	x	@	inf	((- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- (+ (* (/ -1/3 (sqrt x)) y) 1) (/ 1/9 x)) (+ (* (/ -1/3 (sqrt x)) y) 1) (/ -1/3 (sqrt x)) -1/3 (sqrt x) x y 1 (/ 1/9 x) 1/9 (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (/ 1/9 x)) (/ (- x 1/9) x) (- x 1/9) -1/9 (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (* (/ 1 x) 1/9)) (* (/ 1 x) 1/9) (/ 1 x) (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (* (* (sqrt (/ 1 x)) -1/3) y) (* (sqrt (/ 1 x)) -1/3) (sqrt (/ 1 x)) (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x)) (/ y 3) 3)
2.0ms	y	@	-inf	((- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- (+ (* (/ -1/3 (sqrt x)) y) 1) (/ 1/9 x)) (+ (* (/ -1/3 (sqrt x)) y) 1) (/ -1/3 (sqrt x)) -1/3 (sqrt x) x y 1 (/ 1/9 x) 1/9 (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (/ 1/9 x)) (/ (- x 1/9) x) (- x 1/9) -1/9 (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (- 1 (* (/ 1 x) 1/9)) (* (/ 1 x) 1/9) (/ 1 x) (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (* (* (sqrt (/ 1 x)) -1/3) y) (* (sqrt (/ 1 x)) -1/3) (sqrt (/ 1 x)) (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x)) (/ y 3) 3)

rewrite45.0ms (2.1%)

Memory

-6.2MiB live, 96.9MiB allocated; 3ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	186	1432
0	212	1357
0	720	1335

Stop Event

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

Counts

98 → 136

Calls

Call 1

Inputs
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 (fma.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y #s(literal 1 binary64)) (/.f64 #s(literal 1/9 binary64) x)))
(-.f64 (fma.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y #s(literal 1 binary64)) (/.f64 #s(literal 1/9 binary64) x))
(fma.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y #s(literal 1 binary64))
(/.f64 #s(literal -1/3 binary64) (sqrt.f64 x))
#s(literal -1/3 binary64)
(sqrt.f64 x)
x
y
#s(literal 1 binary64)
(/.f64 #s(literal 1/9 binary64) x)
#s(literal 1/9 binary64)
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 #s(approx (- x 1/9) #s(literal -1/9 binary64)) x)))
#s(approx (- 1 (/ 1/9 x)) (/.f64 #s(approx (- x 1/9) #s(literal -1/9 binary64)) x))
(/.f64 #s(approx (- x 1/9) #s(literal -1/9 binary64)) x)
#s(approx (- x 1/9) #s(literal -1/9 binary64))
#s(literal -1/9 binary64)
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1/9 binary64))))
(-.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1/9 binary64)))
(*.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1/9 binary64))
(/.f64 #s(literal 1 binary64) x)
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) #s(literal -1/3 binary64)) y))
(.f64 (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) #s(literal -1/3 binary64)) y)
(*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) #s(literal -1/3 binary64))
(sqrt.f64 (/.f64 #s(literal 1 binary64) x))
(-.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (/.f64 (/.f64 y #s(literal 3 binary64)) (sqrt.f64 x)))
#s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64))
(/.f64 (/.f64 y #s(literal 3 binary64)) (sqrt.f64 x))
(/.f64 y #s(literal 3 binary64))
#s(literal 3 binary64)
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (* -1 (/ (+ 1/9 (* 1/3 (* (sqrt x) y))) x))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (/ (- x (+ 1/9 (* 1/3 (* (sqrt x) y)))) x)))
#s(approx (- (+ (* (/ -1/3 (sqrt x)) y) 1) (/ 1/9 x)) #s(hole binary64 (/ (- (* -1/3 (* (sqrt x) y)) 1/9) x)))
#s(approx (- (+ (* (/ -1/3 (sqrt x)) y) 1) (/ 1/9 x)) #s(hole binary64 (/ (- (+ x (* -1/3 (* (sqrt x) y))) 1/9) x)))
#s(approx (+ (* (/ -1/3 (sqrt x)) y) 1) #s(hole binary64 (* -1/3 (* (sqrt (/ 1 x)) y))))
#s(approx (+ (* (/ -1/3 (sqrt x)) y) 1) #s(hole binary64 (/ (+ x (* -1/3 (* (sqrt x) y))) x)))
#s(approx (/ -1/3 (sqrt x)) #s(hole binary64 (* -1/3 (sqrt (/ 1 x)))))
#s(approx (sqrt x) #s(hole binary64 (sqrt x)))
#s(approx x #s(hole binary64 x))
#s(approx (/ 1/9 x) #s(hole binary64 (/ 1/9 x)))
#s(approx (- 1 (/ 1/9 x)) #s(hole binary64 (/ -1/9 x)))
#s(approx (- 1 (/ 1/9 x)) #s(hole binary64 (/ (- x 1/9) x)))
#s(approx (/ (- x 1/9) x) #s(hole binary64 (/ -1/9 x)))
#s(approx (/ (- x 1/9) x) #s(hole binary64 (/ (- x 1/9) x)))
#s(approx (- x 1/9) #s(hole binary64 -1/9))
#s(approx (- x 1/9) #s(hole binary64 (- x 1/9)))
#s(approx (- 1 (* (/ 1 x) 1/9)) #s(hole binary64 (/ -1/9 x)))
#s(approx (- 1 (* (/ 1 x) 1/9)) #s(hole binary64 (/ (- x 1/9) x)))
#s(approx (* (/ 1 x) 1/9) #s(hole binary64 (/ 1/9 x)))
#s(approx (/ 1 x) #s(hole binary64 (/ 1 x)))
#s(approx (* (* (sqrt (/ 1 x)) -1/3) y) #s(hole binary64 (* -1/3 (* (sqrt (/ 1 x)) y))))
#s(approx (* (sqrt (/ 1 x)) -1/3) #s(hole binary64 (* -1/3 (sqrt (/ 1 x)))))
#s(approx (sqrt (/ 1 x)) #s(hole binary64 (sqrt (/ 1 x))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) #s(hole binary64 (* -1 (/ (+ 1/9 (* 1/3 (* (sqrt x) y))) x))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) #s(hole binary64 (/ (- x (+ 1/9 (* 1/3 (* (sqrt x) y)))) x)))
#s(approx (- 1 (/ 1 (* x 9))) #s(hole binary64 (/ -1/9 x)))
#s(approx (- 1 (/ 1 (* x 9))) #s(hole binary64 (/ (- x 1/9) x)))
#s(approx (/ (/ y 3) (sqrt x)) #s(hole binary64 (* 1/3 (* (sqrt (/ 1 x)) y))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (- 1 (* 1/3 (* (sqrt (/ 1 x)) y)))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (- 1 (+ (* 1/3 (* (sqrt (/ 1 x)) y)) (* 1/9 (/ 1 x))))))
#s(approx (- (+ (* (/ -1/3 (sqrt x)) y) 1) (/ 1/9 x)) #s(hole binary64 (+ 1 (* -1/3 (* (sqrt (/ 1 x)) y)))))
#s(approx (- (+ (* (/ -1/3 (sqrt x)) y) 1) (/ 1/9 x)) #s(hole binary64 (- (+ 1 (* -1/3 (* (sqrt (/ 1 x)) y))) (* 1/9 (/ 1 x)))))
#s(approx (+ (* (/ -1/3 (sqrt x)) y) 1) #s(hole binary64 (+ 1 (* -1/3 (* (sqrt (/ 1 x)) y)))))
#s(approx (- 1 (/ 1/9 x)) #s(hole binary64 1))
#s(approx (- 1 (/ 1/9 x)) #s(hole binary64 (- 1 (* 1/9 (/ 1 x)))))
#s(approx (/ (- x 1/9) x) #s(hole binary64 1))
#s(approx (/ (- x 1/9) x) #s(hole binary64 (- 1 (* 1/9 (/ 1 x)))))
#s(approx (- x 1/9) #s(hole binary64 x))
#s(approx (- x 1/9) #s(hole binary64 (* x (- 1 (* 1/9 (/ 1 x))))))
#s(approx (- 1 (* (/ 1 x) 1/9)) #s(hole binary64 1))
#s(approx (- 1 (* (/ 1 x) 1/9)) #s(hole binary64 (- 1 (* 1/9 (/ 1 x)))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) #s(hole binary64 (- 1 (* 1/3 (* (sqrt (/ 1 x)) y)))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) #s(hole binary64 (- 1 (+ (* 1/3 (* (sqrt (/ 1 x)) y)) (* 1/9 (/ 1 x))))))
#s(approx (- 1 (/ 1 (* x 9))) #s(hole binary64 1))
#s(approx (- 1 (/ 1 (* x 9))) #s(hole binary64 (- 1 (* 1/9 (/ 1 x)))))
#s(approx (sqrt x) #s(hole binary64 (* -1 (* (sqrt x) (pow (sqrt -1) 2)))))
#s(approx (- x 1/9) #s(hole binary64 (* -1 (* x (- (* 1/9 (/ 1 x)) 1)))))
#s(approx (* (* (sqrt (/ 1 x)) -1/3) y) #s(hole binary64 (* -1/3 (* (sqrt (/ 1 x)) (* y (pow (sqrt -1) 2))))))
#s(approx (* (sqrt (/ 1 x)) -1/3) #s(hole binary64 (* -1/3 (* (sqrt (/ 1 x)) (pow (sqrt -1) 2)))))
#s(approx (sqrt (/ 1 x)) #s(hole binary64 (* (sqrt (/ 1 x)) (pow (sqrt -1) 2))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (- 1 (* 1/9 (/ 1 x)))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (- (+ 1 (* -1/3 (* (sqrt (/ 1 x)) y))) (* 1/9 (/ 1 x)))))
#s(approx (- (+ (* (/ -1/3 (sqrt x)) y) 1) (/ 1/9 x)) #s(hole binary64 (- 1 (* 1/9 (/ 1 x)))))
#s(approx (+ (* (/ -1/3 (sqrt x)) y) 1) #s(hole binary64 1))
#s(approx y #s(hole binary64 y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) #s(hole binary64 (- 1 (* 1/9 (/ 1 x)))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) #s(hole binary64 (- (+ 1 (* -1/3 (* (sqrt (/ 1 x)) y))) (* 1/9 (/ 1 x)))))
#s(approx (/ y 3) #s(hole binary64 (* 1/3 y)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (* -1/3 (* (sqrt (/ 1 x)) y))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (* y (- (/ 1 y) (+ (* 1/3 (sqrt (/ 1 x))) (/ 1/9 (* x y)))))))
#s(approx (- (+ (* (/ -1/3 (sqrt x)) y) 1) (/ 1/9 x)) #s(hole binary64 (* -1/3 (* (sqrt (/ 1 x)) y))))
#s(approx (- (+ (* (/ -1/3 (sqrt x)) y) 1) (/ 1/9 x)) #s(hole binary64 (* y (- (+ (* -1/3 (sqrt (/ 1 x))) (/ 1 y)) (/ 1/9 (* x y))))))
#s(approx (+ (* (/ -1/3 (sqrt x)) y) 1) #s(hole binary64 (* y (+ (* -1/3 (sqrt (/ 1 x))) (/ 1 y)))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) #s(hole binary64 (* -1/3 (* (sqrt (/ 1 x)) y))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) #s(hole binary64 (* y (- (/ 1 y) (+ (* 1/3 (sqrt (/ 1 x))) (/ 1/9 (* x y)))))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(hole binary64 (* -1 (* y (- (* -1 (/ (- 1 (* 1/9 (/ 1 x))) y)) (* -1/3 (sqrt (/ 1 x))))))))
#s(approx (- (+ (* (/ -1/3 (sqrt x)) y) 1) (/ 1/9 x)) #s(hole binary64 (* -1 (* y (+ (* -1 (/ (- 1 (* 1/9 (/ 1 x))) y)) (* 1/3 (sqrt (/ 1 x))))))))
#s(approx (+ (* (/ -1/3 (sqrt x)) y) 1) #s(hole binary64 (* -1 (* y (- (* 1/3 (sqrt (/ 1 x))) (/ 1 y))))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) #s(hole binary64 (* -1 (* y (- (* -1 (/ (- 1 (* 1/9 (/ 1 x))) y)) (* -1/3 (sqrt (/ 1 x))))))))

Outputs
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) (fma.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x))))
(/.f64 (-.f64 (.f64 (fma.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y #s(literal 1 binary64)) (fma.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y #s(literal 1 binary64))) (.f64 (/.f64 #s(literal 1/9 binary64) x) (/.f64 #s(literal 1/9 binary64) x))) (+.f64 (fma.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y #s(literal 1 binary64)) (/.f64 #s(literal 1/9 binary64) x)))
(/.f64 (-.f64 (pow.f64 (fma.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y #s(literal 1 binary64)) #s(literal 3 binary64)) (pow.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal 3 binary64))) (fma.f64 (fma.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y #s(literal 1 binary64)) (fma.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y #s(literal 1 binary64)) (fma.f64 (/.f64 #s(literal 1/9 binary64) x) (/.f64 #s(literal 1/9 binary64) x) (*.f64 (fma.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y #s(literal 1 binary64)) (/.f64 #s(literal 1/9 binary64) x)))))
(fma.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))
(fma.f64 y (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))
(-.f64 (fma.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y #s(literal 1 binary64)) (/.f64 #s(literal 1/9 binary64) x))
(+.f64 (*.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))
(/.f64 (-.f64 (.f64 (.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y) (.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y)) #s(literal 1 binary64)) (-.f64 (.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y) #s(literal 1 binary64)))
(/.f64 (+.f64 (pow.f64 (.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y) #s(literal 3 binary64)) #s(literal 1 binary64)) (fma.f64 (.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y) (.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y) (-.f64 #s(literal 1 binary64) (.f64 (*.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y) #s(literal 1 binary64)))))
(fma.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y #s(literal 1 binary64))
(fma.f64 y (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) #s(literal 1 binary64))
(+.f64 (*.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y))
(/.f64 #s(literal 1/3 binary64) (neg.f64 (sqrt.f64 x)))
(/.f64 #s(literal -1/3 binary64) (sqrt.f64 x))
#s(literal -1/3 binary64)
(pow.f64 x #s(literal 1/2 binary64))
(sqrt.f64 x)
x
y
#s(literal 1 binary64)
(*.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1/9 binary64))
(*.f64 #s(literal 1/9 binary64) (/.f64 #s(literal 1 binary64) x))
(/.f64 #s(literal -1/9 binary64) (neg.f64 x))
(/.f64 #s(literal 1/9 binary64) x)
#s(literal 1/9 binary64)
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) #s(approx (- 1 (/ 1/9 x)) (/.f64 #s(approx (- x 1/9) #s(literal -1/9 binary64)) x)))
#s(approx (- 1 (/ 1/9 x)) (/.f64 #s(approx (- x 1/9) #s(literal -1/9 binary64)) x))
(/.f64 (neg.f64 #s(approx (- x 1/9) #s(literal -1/9 binary64))) (neg.f64 x))
(/.f64 #s(approx (- x 1/9) #s(literal -1/9 binary64)) x)
#s(approx (- x 1/9) #s(literal -1/9 binary64))
#s(literal -1/9 binary64)
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1/9 binary64) x) (/.f64 #s(literal 1/9 binary64) x))) (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (fma.f64 (/.f64 #s(literal 1/9 binary64) x) (/.f64 #s(literal 1/9 binary64) x) (*.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))))
(-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x))
(+.f64 #s(literal 1 binary64) (*.f64 (neg.f64 (/.f64 #s(literal 1 binary64) x)) #s(literal 1/9 binary64)))
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/9 binary64) (/.f64 #s(literal 1 binary64) x)))
(*.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1/9 binary64))
(*.f64 #s(literal 1/9 binary64) (/.f64 #s(literal 1 binary64) x))
(/.f64 #s(literal -1/9 binary64) (neg.f64 x))
(/.f64 #s(literal 1/9 binary64) x)
(pow.f64 x #s(literal -1 binary64))
(/.f64 #s(literal -1 binary64) (neg.f64 x))
(/.f64 #s(literal 1 binary64) x)
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y) #s(literal -1/3 binary64)))
(.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y)
(.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y) #s(literal -1/3 binary64))
(.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) (.f64 #s(literal -1/3 binary64) y))
(.f64 #s(literal -1/3 binary64) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y))
(.f64 y (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)))
(*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64))
(*.f64 #s(literal -1/3 binary64) (/.f64 #s(literal 1 binary64) (sqrt.f64 x)))
(pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1/2 binary64))
(/.f64 #s(literal 1 binary64) (sqrt.f64 x))
(sqrt.f64 (/.f64 #s(literal 1 binary64) x))
(/.f64 (-.f64 (.f64 #s(approx (- 1 (/ 1 ( x 9))) #s(literal 1 binary64)) #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64))) (.f64 (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))))) (+.f64 #s(approx (- 1 (/ 1 ( x 9))) #s(literal 1 binary64)) (/.f64 y (*.f64 (sqrt.f64 x) #s(literal 3 binary64)))))
(/.f64 (-.f64 (pow.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) #s(literal 3 binary64)) (pow.f64 (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) #s(literal 3 binary64))) (fma.f64 #s(approx (- 1 (/ 1 ( x 9))) #s(literal 1 binary64)) #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (fma.f64 (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) (.f64 #s(approx (- 1 (/ 1 ( x 9))) #s(literal 1 binary64)) (/.f64 y (*.f64 (sqrt.f64 x) #s(literal 3 binary64)))))))
(-.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (/.f64 y (*.f64 (sqrt.f64 x) #s(literal 3 binary64))))
#s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64))
(/.f64 (neg.f64 (/.f64 y #s(literal 3 binary64))) (neg.f64 (sqrt.f64 x)))
(/.f64 (neg.f64 y) (neg.f64 (*.f64 (sqrt.f64 x) #s(literal 3 binary64))))
(/.f64 (/.f64 y #s(literal 3 binary64)) (sqrt.f64 x))
(/.f64 y (*.f64 (sqrt.f64 x) #s(literal 3 binary64)))
(/.f64 (neg.f64 y) #s(literal -3 binary64))
(/.f64 y #s(literal 3 binary64))
#s(literal 3 binary64)
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) (neg.f64 (/.f64 (fma.f64 (*.f64 (sqrt.f64 x) y) #s(literal 1/3 binary64) #s(literal 1/9 binary64)) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) (/.f64 (-.f64 x (fma.f64 (*.f64 (sqrt.f64 x) y) #s(literal 1/3 binary64) #s(literal 1/9 binary64))) x))
#s(approx (- (+ (* (/ -1/3 (sqrt x)) y) 1) (/ 1/9 x)) (/.f64 (-.f64 (.f64 (.f64 (sqrt.f64 x) y) #s(literal -1/3 binary64)) #s(literal 1/9 binary64)) x))
#s(approx (- (+ (* (/ -1/3 (sqrt x)) y) 1) (/ 1/9 x)) (/.f64 (-.f64 (fma.f64 (*.f64 (sqrt.f64 x) y) #s(literal -1/3 binary64) x) #s(literal 1/9 binary64)) x))
#s(approx (+ (* (/ -1/3 (sqrt x)) y) 1) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y) #s(literal -1/3 binary64)))
#s(approx (+ (* (/ -1/3 (sqrt x)) y) 1) (/.f64 (fma.f64 (*.f64 (sqrt.f64 x) y) #s(literal -1/3 binary64) x) x))
#s(approx (/ -1/3 (sqrt x)) (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)))
#s(approx (sqrt x) (sqrt.f64 x))
#s(approx x x)
#s(approx (/ 1/9 x) (/.f64 #s(literal 1/9 binary64) x))
#s(approx (- 1 (/ 1/9 x)) (/.f64 #s(literal -1/9 binary64) x))
#s(approx (- 1 (/ 1/9 x)) (/.f64 (-.f64 x #s(literal 1/9 binary64)) x))
#s(approx (/ (- x 1/9) x) (/.f64 #s(literal -1/9 binary64) x))
#s(approx (/ (- x 1/9) x) (/.f64 (-.f64 x #s(literal 1/9 binary64)) x))
#s(approx (- x 1/9) #s(literal -1/9 binary64))
#s(approx (- x 1/9) (-.f64 x #s(literal 1/9 binary64)))
#s(approx (- 1 (/ 1/9 x)) (/.f64 #s(literal -1/9 binary64) x))
#s(approx (- 1 (/ 1/9 x)) (/.f64 (-.f64 x #s(literal 1/9 binary64)) x))
#s(approx (/ 1/9 x) (/.f64 #s(literal 1/9 binary64) x))
#s(approx (/ 1 x) (/.f64 #s(literal 1 binary64) x))
#s(approx (* (* (sqrt (/ 1 x)) -1/3) y) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y) #s(literal -1/3 binary64)))
#s(approx (* (sqrt (/ 1 x)) -1/3) (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)))
#s(approx (sqrt (/ 1 x)) (/.f64 #s(literal 1 binary64) (sqrt.f64 x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) (neg.f64 (/.f64 (fma.f64 (*.f64 (sqrt.f64 x) y) #s(literal 1/3 binary64) #s(literal 1/9 binary64)) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) (/.f64 (-.f64 x (fma.f64 (*.f64 (sqrt.f64 x) y) #s(literal 1/3 binary64) #s(literal 1/9 binary64))) x))
#s(approx (- 1 (/ 1 (* x 9))) (/.f64 #s(literal -1/9 binary64) x))
#s(approx (- 1 (/ 1 (* x 9))) (/.f64 (-.f64 x #s(literal 1/9 binary64)) x))
#s(approx (/ (/ y 3) (sqrt x)) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y) #s(literal 1/3 binary64)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) (fma.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y #s(literal 1 binary64)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) (-.f64 #s(literal 1 binary64) (fma.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y) #s(literal 1/3 binary64) (/.f64 #s(literal 1/9 binary64) x))))
#s(approx (- (+ (* (/ -1/3 (sqrt x)) y) 1) (/ 1/9 x)) (fma.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y #s(literal 1 binary64)))
#s(approx (- (+ (* (/ -1/3 (sqrt x)) y) 1) (/ 1/9 x)) (-.f64 #s(literal 1 binary64) (fma.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y) #s(literal 1/3 binary64) (/.f64 #s(literal 1/9 binary64) x))))
#s(approx (+ (* (/ -1/3 (sqrt x)) y) 1) (fma.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y #s(literal 1 binary64)))
#s(approx (- 1 (/ 1/9 x)) #s(literal 1 binary64))
#s(approx (- 1 (/ 1/9 x)) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (/ (- x 1/9) x) #s(literal 1 binary64))
#s(approx (/ (- x 1/9) x) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (- x 1/9) x)
#s(approx (- x 1/9) (*.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)) x))
#s(approx (- 1 (/ 1/9 x)) #s(literal 1 binary64))
#s(approx (- 1 (/ 1/9 x)) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) (fma.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y #s(literal 1 binary64)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) (-.f64 #s(literal 1 binary64) (fma.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y) #s(literal 1/3 binary64) (/.f64 #s(literal 1/9 binary64) x))))
#s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64))
#s(approx (- 1 (/ 1 (* x 9))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (sqrt x) (neg.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 x))))
#s(approx (- x 1/9) (neg.f64 (*.f64 (-.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal 1 binary64)) x)))
#s(approx (* (* (sqrt (/ 1 x)) -1/3) y) (.f64 (.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y) #s(literal -1 binary64)) #s(literal -1/3 binary64)))
#s(approx (* (sqrt (/ 1 x)) -1/3) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1 binary64)) #s(literal -1/3 binary64)))
#s(approx (sqrt (/ 1 x)) (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1 binary64)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) (-.f64 #s(literal 1 binary64) (fma.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y) #s(literal 1/3 binary64) (/.f64 #s(literal 1/9 binary64) x))))
#s(approx (- (+ (* (/ -1/3 (sqrt x)) y) 1) (/ 1/9 x)) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (+ (* (/ -1/3 (sqrt x)) y) 1) #s(literal 1 binary64))
#s(approx y y)
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) (-.f64 #s(literal 1 binary64) (fma.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y) #s(literal 1/3 binary64) (/.f64 #s(literal 1/9 binary64) x))))
#s(approx (/ y 3) (*.f64 #s(literal 1/3 binary64) y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y) #s(literal -1/3 binary64)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) (.f64 (-.f64 (/.f64 #s(literal 1 binary64) y) (fma.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64) (/.f64 #s(literal 1/9 binary64) (.f64 y x)))) y))
#s(approx (- (+ (* (/ -1/3 (sqrt x)) y) 1) (/ 1/9 x)) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y) #s(literal -1/3 binary64)))
#s(approx (- (+ (* (/ -1/3 (sqrt x)) y) 1) (/ 1/9 x)) (*.f64 (fma.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64) (/.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)) y)) y))
#s(approx (+ (* (/ -1/3 (sqrt x)) y) 1) (*.f64 (fma.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64) (/.f64 #s(literal 1 binary64) y)) y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y) #s(literal -1/3 binary64)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) (.f64 (-.f64 (/.f64 #s(literal 1 binary64) y) (fma.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64) (/.f64 #s(literal 1/9 binary64) (.f64 y x)))) y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) (neg.f64 (*.f64 (fma.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64) (neg.f64 (/.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)) y))) y)))
#s(approx (- (+ (* (/ -1/3 (sqrt x)) y) 1) (/ 1/9 x)) (neg.f64 (*.f64 (fma.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64) (neg.f64 (/.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)) y))) y)))
#s(approx (+ (* (/ -1/3 (sqrt x)) y) 1) (neg.f64 (.f64 (-.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64)) (/.f64 #s(literal 1 binary64) y)) y)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ (/ y 3) (sqrt x))) (neg.f64 (*.f64 (fma.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64) (neg.f64 (/.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)) y))) y)))

eval9.0ms (0.4%)

Memory: 30.9MiB live, 30.9MiB allocated; 0ms collecting garbage
Compiler: Compiled 885 to 403 computations (54.5% saved)

prune18.0ms (0.8%)

Memory

-34.4MiB live, 55.3MiB allocated; 6ms collecting garbage

Pruning

17 alts after pruning (6 fresh and 11 done)

	Pruned	Kept	Total
New	95	3	98
Fresh	3	3	6
Picked	1	4	5
Done	0	7	7
Total	99	17	116

Accuracy

100.0%

Counts

116 → 17

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.7%	(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 9 binary64))) (/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x))))
✓	99.7%	(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64)))) (/.f64 y (.f64 #s(literal 3 binary64) (sqrt.f64 x))))
✓	71.3%	(-.f64 #s(approx (- 1 (/ 1 (* x 9))) (/.f64 #s(literal -1/9 binary64) x)) (/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x))))
	69.1%	(-.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (/.f64 #s(approx (/ y 3) (*.f64 #s(literal 1/3 binary64) y)) (sqrt.f64 x)))
✓	69.1%	(-.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x))))
	69.1%	#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (fma.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y #s(literal 1 binary64)))
✓	99.6%	#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 (fma.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y #s(literal 1 binary64)) (/.f64 #s(literal 1/9 binary64) x)))
	64.5%	#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 (/.f64 (+.f64 (pow.f64 (.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y) #s(literal 3 binary64)) #s(literal 1 binary64)) (fma.f64 (.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y) (.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y) (-.f64 #s(literal 1 binary64) (.f64 (*.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y) #s(literal 1 binary64))))) (/.f64 #s(literal 1/9 binary64) x)))
✓	59.6%	#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1/9 binary64))))
	88.6%	#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) #s(approx (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x)) (.f64 (fma.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64) (/.f64 #s(literal 1/9 binary64) (.f64 y x))) y))))
	41.5%	#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (*.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y))
✓	41.5%	#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y))
✓	41.5%	#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) #s(literal -1/3 binary64)) y))
	63.8%	#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- (+ (* (/ -1/3 (sqrt x)) y) 1) (/ 1/9 x)) (/.f64 (-.f64 (.f64 (.f64 (sqrt.f64 x) y) #s(literal -1/3 binary64)) #s(literal 1/9 binary64)) x)))
✓	59.6%	#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 (-.f64 x #s(literal 1/9 binary64)) x)))
✓	31.8%	#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 #s(approx (- x 1/9) #s(literal -1/9 binary64)) x)))
✓	29.4%	#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) #s(literal 1 binary64)))

Compiler

Compiled 715 to 494 computations (30.9% saved)

regimes28.0ms (1.3%)

Memory

26.4MiB live, 73.0MiB allocated; 2ms collecting garbage

Counts

32 → 1

Calls

Call 1

Inputs
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) #s(literal 1 binary64)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 #s(literal -1/9 binary64) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 #s(approx (- x 1/9) #s(literal -1/9 binary64)) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 (-.f64 x #s(literal 1/9 binary64)) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (*.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1/9 binary64))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (fma.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y #s(literal 1 binary64)))
(-.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x))))
(-.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (/.f64 #s(approx (/ y 3) (*.f64 #s(literal 1/3 binary64) y)) (sqrt.f64 x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 #s(literal -1/3 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) y)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 #s(literal -1/3 binary64) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) #s(literal -1/3 binary64)) y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) (.f64 #s(literal -1/3 binary64) y)))
(-.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (/.f64 (/.f64 y #s(literal 3 binary64)) (sqrt.f64 x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- (+ (* (/ -1/3 (sqrt x)) y) 1) (/ 1/9 x)) (/.f64 (-.f64 (.f64 (.f64 (sqrt.f64 x) y) #s(literal -1/3 binary64)) #s(literal 1/9 binary64)) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (neg.f64 (/.f64 (fma.f64 (*.f64 (sqrt.f64 x) y) #s(literal 1/3 binary64) #s(literal 1/9 binary64)) x)))
(-.f64 #s(approx (- 1 (/ 1 (* x 9))) (/.f64 #s(literal -1/9 binary64) x)) (/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (/.f64 (-.f64 x (fma.f64 (*.f64 (sqrt.f64 x) y) #s(literal 1/3 binary64) #s(literal 1/9 binary64))) x))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 (fma.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y #s(literal 1 binary64)) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (fma.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y) #s(literal 1/3 binary64) (/.f64 #s(literal 1/9 binary64) x))))
(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64)))) (/.f64 y (.f64 #s(literal 3 binary64) (sqrt.f64 x))))
(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (*.f64 x #s(literal 9 binary64)))) (/.f64 (/.f64 y #s(literal 3 binary64)) (sqrt.f64 x)))
(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 9 binary64))) (/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) #s(approx (+ (* (* (/ 1 (sqrt x)) y) 1/3) (/ 1/9 x)) (.f64 (fma.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64) (/.f64 #s(literal 1/9 binary64) (.f64 y x))) y))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (neg.f64 (.f64 (-.f64 (neg.f64 (/.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)) y)) (.f64 #s(literal -1/3 binary64) (/.f64 #s(literal 1 binary64) (sqrt.f64 x)))) y)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 (-.f64 (/.f64 #s(literal 1 binary64) y) (fma.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal 1/3 binary64) (/.f64 #s(literal 1/9 binary64) (.f64 y x)))) y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 (/.f64 (+.f64 (pow.f64 (.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y) #s(literal 3 binary64)) #s(literal 1 binary64)) (fma.f64 (.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y) (.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y) (-.f64 #s(literal 1 binary64) (.f64 (*.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y) #s(literal 1 binary64))))) (/.f64 #s(literal 1/9 binary64) x)))
(/.f64 (-.f64 (pow.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) #s(literal 3 binary64)) (pow.f64 (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) #s(literal 3 binary64))) (fma.f64 #s(approx (- 1 (/ 1 ( x 9))) #s(literal 1 binary64)) #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (fma.f64 (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) (.f64 #s(approx (- 1 (/ 1 ( x 9))) #s(literal 1 binary64)) (/.f64 y (*.f64 (sqrt.f64 x) #s(literal 3 binary64)))))))
(/.f64 (-.f64 (pow.f64 #s(approx (- 1 (/ 1 (* x 9))) (/.f64 #s(literal -1/9 binary64) x)) #s(literal 3 binary64)) (pow.f64 (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) #s(literal 3 binary64))) (fma.f64 #s(approx (- 1 (/ 1 ( x 9))) (/.f64 #s(literal -1/9 binary64) x)) #s(approx (- 1 (/ 1 (* x 9))) (/.f64 #s(literal -1/9 binary64) x)) (fma.f64 (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) (.f64 #s(approx (- 1 (/ 1 ( x 9))) (/.f64 #s(literal -1/9 binary64) x)) (/.f64 y (*.f64 (sqrt.f64 x) #s(literal 3 binary64)))))))
(/.f64 (-.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x))) #s(literal 3 binary64)) (pow.f64 (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) #s(literal 3 binary64))) (fma.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x))) (fma.f64 (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) (/.f64 y (.f64 (sqrt.f64 x) #s(literal 3 binary64))) (.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 #s(literal 9 binary64) x))) (/.f64 y (*.f64 (sqrt.f64 x) #s(literal 3 binary64)))))))

Outputs
(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64)))) (/.f64 y (.f64 #s(literal 3 binary64) (sqrt.f64 x))))

Calls

3 calls:

10.0ms	x
8.0ms	y
8.0ms	(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64)))) (/.f64 y (.f64 #s(literal 3 binary64) (sqrt.f64 x))))

Results

Accuracy	Segments	Branch
99.7%	1	`(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64)))) (/.f64 y (.f64 #s(literal 3 binary64) (sqrt.f64 x))))`
99.7%	1	`x`
99.7%	1	`y`

Compiler

Compiled 15 to 16 computations (-6.7% saved)

regimes56.0ms (2.6%)

Memory

7.6MiB live, 54.8MiB allocated; 41ms collecting garbage

Counts

22 → 1

Calls

Call 1

Inputs
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) #s(literal 1 binary64)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 #s(literal -1/9 binary64) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 #s(approx (- x 1/9) #s(literal -1/9 binary64)) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 (-.f64 x #s(literal 1/9 binary64)) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (*.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1/9 binary64))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (fma.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y #s(literal 1 binary64)))
(-.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x))))
(-.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (/.f64 #s(approx (/ y 3) (*.f64 #s(literal 1/3 binary64) y)) (sqrt.f64 x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 #s(literal -1/3 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) y)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 #s(literal -1/3 binary64) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) #s(literal -1/3 binary64)) y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) (.f64 #s(literal -1/3 binary64) y)))
(-.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (/.f64 (/.f64 y #s(literal 3 binary64)) (sqrt.f64 x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- (+ (* (/ -1/3 (sqrt x)) y) 1) (/ 1/9 x)) (/.f64 (-.f64 (.f64 (.f64 (sqrt.f64 x) y) #s(literal -1/3 binary64)) #s(literal 1/9 binary64)) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (neg.f64 (/.f64 (fma.f64 (*.f64 (sqrt.f64 x) y) #s(literal 1/3 binary64) #s(literal 1/9 binary64)) x)))
(-.f64 #s(approx (- 1 (/ 1 (* x 9))) (/.f64 #s(literal -1/9 binary64) x)) (/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (/.f64 (-.f64 x (fma.f64 (*.f64 (sqrt.f64 x) y) #s(literal 1/3 binary64) #s(literal 1/9 binary64))) x))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 (fma.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y #s(literal 1 binary64)) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (fma.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y) #s(literal 1/3 binary64) (/.f64 #s(literal 1/9 binary64) x))))

Outputs
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 (fma.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y #s(literal 1 binary64)) (/.f64 #s(literal 1/9 binary64) x)))

Calls

3 calls:

43.0ms	x
6.0ms	y
6.0ms	(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64)))) (/.f64 y (.f64 #s(literal 3 binary64) (sqrt.f64 x))))

Results

Accuracy	Segments	Branch
99.6%	1	`(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64)))) (/.f64 y (.f64 #s(literal 3 binary64) (sqrt.f64 x))))`
99.6%	1	`x`
99.6%	1	`y`

Compiler

Compiled 15 to 16 computations (-6.7% saved)

regimes32.0ms (1.5%)

Memory

9.3MiB live, 53.2MiB allocated; 14ms collecting garbage

Counts

20 → 2

Calls

Call 1

Inputs
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) #s(literal 1 binary64)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 #s(literal -1/9 binary64) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 #s(approx (- x 1/9) #s(literal -1/9 binary64)) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 (-.f64 x #s(literal 1/9 binary64)) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (*.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1/9 binary64))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (fma.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y #s(literal 1 binary64)))
(-.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x))))
(-.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (/.f64 #s(approx (/ y 3) (*.f64 #s(literal 1/3 binary64) y)) (sqrt.f64 x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 #s(literal -1/3 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) y)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 #s(literal -1/3 binary64) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) #s(literal -1/3 binary64)) y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) (.f64 #s(literal -1/3 binary64) y)))
(-.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (/.f64 (/.f64 y #s(literal 3 binary64)) (sqrt.f64 x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- (+ (* (/ -1/3 (sqrt x)) y) 1) (/ 1/9 x)) (/.f64 (-.f64 (.f64 (.f64 (sqrt.f64 x) y) #s(literal -1/3 binary64)) #s(literal 1/9 binary64)) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (neg.f64 (/.f64 (fma.f64 (*.f64 (sqrt.f64 x) y) #s(literal 1/3 binary64) #s(literal 1/9 binary64)) x)))
(-.f64 #s(approx (- 1 (/ 1 (* x 9))) (/.f64 #s(literal -1/9 binary64) x)) (/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (/.f64 (-.f64 x (fma.f64 (*.f64 (sqrt.f64 x) y) #s(literal 1/3 binary64) #s(literal 1/9 binary64))) x))

Outputs

#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (/.f64 (-.f64 x (fma.f64 (*.f64 (sqrt.f64 x) y) #s(literal 1/3 binary64) #s(literal 1/9 binary64))) x))

(-.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x))))

Calls

3 calls:

20.0ms	y
6.0ms	x
5.0ms	(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64)))) (/.f64 y (.f64 #s(literal 3 binary64) (sqrt.f64 x))))

Results

Accuracy	Segments	Branch
98.9%	2	`(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64)))) (/.f64 y (.f64 #s(literal 3 binary64) (sqrt.f64 x))))`
99.6%	2	`x`
99.6%	3	`y`

Compiler

Compiled 15 to 16 computations (-6.7% saved)

regimes10.0ms (0.5%)

Memory

-24.5MiB live, 21.7MiB allocated; 3ms collecting garbage

Counts

19 → 2

Calls

Call 1

Inputs
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) #s(literal 1 binary64)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 #s(literal -1/9 binary64) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 #s(approx (- x 1/9) #s(literal -1/9 binary64)) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 (-.f64 x #s(literal 1/9 binary64)) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (*.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1/9 binary64))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (fma.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y #s(literal 1 binary64)))
(-.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x))))
(-.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (/.f64 #s(approx (/ y 3) (*.f64 #s(literal 1/3 binary64) y)) (sqrt.f64 x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 #s(literal -1/3 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) y)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 #s(literal -1/3 binary64) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) #s(literal -1/3 binary64)) y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) (.f64 #s(literal -1/3 binary64) y)))
(-.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (/.f64 (/.f64 y #s(literal 3 binary64)) (sqrt.f64 x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- (+ (* (/ -1/3 (sqrt x)) y) 1) (/ 1/9 x)) (/.f64 (-.f64 (.f64 (.f64 (sqrt.f64 x) y) #s(literal -1/3 binary64)) #s(literal 1/9 binary64)) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (neg.f64 (/.f64 (fma.f64 (*.f64 (sqrt.f64 x) y) #s(literal 1/3 binary64) #s(literal 1/9 binary64)) x)))
(-.f64 #s(approx (- 1 (/ 1 (* x 9))) (/.f64 #s(literal -1/9 binary64) x)) (/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x))))

Outputs

(-.f64 #s(approx (- 1 (/ 1 (* x 9))) (/.f64 #s(literal -1/9 binary64) x)) (/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x))))

(-.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x))))

Calls

1 calls:

9.0ms

Results

Accuracy	Segments	Branch
99.3%	2	`x`

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes6.0ms (0.3%)

Memory

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

Counts

18 → 2

Calls

Call 1

Inputs
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) #s(literal 1 binary64)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 #s(literal -1/9 binary64) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 #s(approx (- x 1/9) #s(literal -1/9 binary64)) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 (-.f64 x #s(literal 1/9 binary64)) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (*.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1/9 binary64))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (fma.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y #s(literal 1 binary64)))
(-.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x))))
(-.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (/.f64 #s(approx (/ y 3) (*.f64 #s(literal 1/3 binary64) y)) (sqrt.f64 x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 #s(literal -1/3 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) y)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 #s(literal -1/3 binary64) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) #s(literal -1/3 binary64)) y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) (.f64 #s(literal -1/3 binary64) y)))
(-.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (/.f64 (/.f64 y #s(literal 3 binary64)) (sqrt.f64 x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- (+ (* (/ -1/3 (sqrt x)) y) 1) (/ 1/9 x)) (/.f64 (-.f64 (.f64 (.f64 (sqrt.f64 x) y) #s(literal -1/3 binary64)) #s(literal 1/9 binary64)) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (neg.f64 (/.f64 (fma.f64 (*.f64 (sqrt.f64 x) y) #s(literal 1/3 binary64) #s(literal 1/9 binary64)) x)))

Outputs

#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- (+ (* (/ -1/3 (sqrt x)) y) 1) (/ 1/9 x)) (/.f64 (-.f64 (*.f64 (*.f64 (sqrt.f64 x) y) #s(literal -1/3 binary64)) #s(literal 1/9 binary64)) x)))

(-.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x))))

Calls

1 calls:

5.0ms

Results

Accuracy	Segments	Branch
99.3%	2	`x`

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes18.0ms (0.8%)

Memory

-8.8MiB live, 36.5MiB allocated; 4ms collecting garbage

Counts

16 → 3

Calls

Call 1

Inputs
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) #s(literal 1 binary64)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 #s(literal -1/9 binary64) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 #s(approx (- x 1/9) #s(literal -1/9 binary64)) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 (-.f64 x #s(literal 1/9 binary64)) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (*.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1/9 binary64))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (fma.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y #s(literal 1 binary64)))
(-.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x))))
(-.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (/.f64 #s(approx (/ y 3) (*.f64 #s(literal 1/3 binary64) y)) (sqrt.f64 x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 #s(literal -1/3 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) y)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 #s(literal -1/3 binary64) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) y)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) #s(literal -1/3 binary64)) y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) #s(literal -1/3 binary64)) y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 x)) (.f64 #s(literal -1/3 binary64) y)))
(-.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (/.f64 (/.f64 y #s(literal 3 binary64)) (sqrt.f64 x)))

Outputs

(-.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x))))

#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1/9 binary64))))

(-.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (/.f64 #s(approx (/ y 3) (*.f64 #s(literal 1/3 binary64) y)) (sqrt.f64 x)))

Calls

3 calls:

8.0ms	(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64)))) (/.f64 y (.f64 #s(literal 3 binary64) (sqrt.f64 x))))
5.0ms	y
5.0ms	x

Results

Accuracy	Segments	Branch
94.2%	3	`y`
82.5%	3	`(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64)))) (/.f64 y (.f64 #s(literal 3 binary64) (sqrt.f64 x))))`
81.1%	2	`x`

Compiler

Compiled 15 to 16 computations (-6.7% saved)

regimes4.0ms (0.2%)

Memory

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

Counts

9 → 3

Calls

Call 1

Inputs
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) #s(literal 1 binary64)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 #s(literal -1/9 binary64) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 #s(approx (- x 1/9) #s(literal -1/9 binary64)) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 (-.f64 x #s(literal 1/9 binary64)) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (*.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1/9 binary64))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (fma.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y #s(literal 1 binary64)))
(-.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x))))

Outputs

(-.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x))))

#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1/9 binary64))))

(-.f64 #s(approx (- 1 (/ 1 (* x 9))) #s(literal 1 binary64)) (/.f64 y (*.f64 #s(literal 3 binary64) (sqrt.f64 x))))

Calls

1 calls:

3.0ms

Results

Accuracy	Segments	Branch
94.2%	3	`y`

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes3.0ms (0.2%)

Memory

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

Counts

8 → 3

Calls

Call 1

Inputs
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) #s(literal 1 binary64)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 #s(literal -1/9 binary64) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 #s(approx (- x 1/9) #s(literal -1/9 binary64)) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 (-.f64 x #s(literal 1/9 binary64)) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (*.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1/9 binary64))))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (fma.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y #s(literal 1 binary64)))

Outputs

#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (fma.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y #s(literal 1 binary64)))

#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1/9 binary64))))

#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (fma.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y #s(literal 1 binary64)))

Calls

1 calls:

3.0ms

Results

Accuracy	Segments	Branch
94.1%	3	`y`

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes3.0ms (0.1%)

Memory

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

Counts

7 → 3

Calls

Call 1

Inputs
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) #s(literal 1 binary64)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 #s(literal -1/9 binary64) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 #s(approx (- x 1/9) #s(literal -1/9 binary64)) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 (-.f64 x #s(literal 1/9 binary64)) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (*.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1/9 binary64))))

Outputs

#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (*.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y))

#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1/9 binary64))))

#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (*.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y))

Calls

1 calls:

3.0ms

Results

Accuracy	Segments	Branch
92.5%	3	`y`

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes25.0ms (1.1%)

Memory

-44.5MiB live, 8.5MiB allocated; 23ms collecting garbage

Counts

6 → 3

Calls

Call 1

Inputs
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) #s(literal 1 binary64)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 #s(literal -1/9 binary64) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 #s(approx (- x 1/9) #s(literal -1/9 binary64)) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 (-.f64 x #s(literal 1/9 binary64)) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (*.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y))

Outputs

#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (*.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y))

#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 (-.f64 x #s(literal 1/9 binary64)) x)))

#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (*.f64 (/.f64 #s(literal -1/3 binary64) (sqrt.f64 x)) y))

Calls

1 calls:

25.0ms

Results

Accuracy	Segments	Branch
92.4%	3	`y`

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes6.0ms (0.3%)

Memory

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

Counts

5 → 1

Calls

Call 1

Inputs
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) #s(literal 1 binary64)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 #s(literal -1/9 binary64) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 #s(approx (- x 1/9) #s(literal -1/9 binary64)) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 (-.f64 x #s(literal 1/9 binary64)) x)))
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))

Outputs
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 (-.f64 x #s(literal 1/9 binary64)) x)))

Calls

3 calls:

2.0ms	y
2.0ms	x
2.0ms	(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64)))) (/.f64 y (.f64 #s(literal 3 binary64) (sqrt.f64 x))))

Results

Accuracy	Segments	Branch
59.6%	1	`(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64)))) (/.f64 y (.f64 #s(literal 3 binary64) (sqrt.f64 x))))`
59.6%	1	`x`
59.6%	1	`y`

Compiler

Compiled 15 to 16 computations (-6.7% saved)

regimes5.0ms (0.2%)

Memory

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

Counts

3 → 2

Calls

Call 1

Inputs

#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) #s(literal 1 binary64)))

#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 #s(literal -1/9 binary64) x)))

#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 #s(approx (- x 1/9) #s(literal -1/9 binary64)) x)))

Outputs

#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) (/.f64 #s(literal -1/9 binary64) x)))

#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) #s(literal 1 binary64)))

Calls

3 calls:

1.0ms	y
1.0ms	(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64)))) (/.f64 y (.f64 #s(literal 3 binary64) (sqrt.f64 x))))
1.0ms	x

Results

Accuracy	Segments	Branch
36.3%	3	`y`
59.3%	2	`x`
59.9%	2	`(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64)))) (/.f64 y (.f64 #s(literal 3 binary64) (sqrt.f64 x))))`

Compiler

Compiled 15 to 16 computations (-6.7% saved)

regimes3.0ms (0.2%)

Memory

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

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) #s(literal 1 binary64)))

Outputs
#s(approx (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))) #s(approx (- 1 (/ 1/9 x)) #s(literal 1 binary64)))

Calls

3 calls:

1.0ms	(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64)))) (/.f64 y (.f64 #s(literal 3 binary64) (sqrt.f64 x))))
1.0ms	y
1.0ms	x

Results

Accuracy	Segments	Branch
29.4%	1	`y`
29.4%	1	`x`
29.4%	1	`(-.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64)))) (/.f64 y (.f64 #s(literal 3 binary64) (sqrt.f64 x))))`

Compiler

Compiled 15 to 16 computations (-6.7% saved)

bsearch19.0ms (0.9%)

Memory

-16.9MiB live, 29.9MiB allocated; 6ms collecting garbage

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
11.0ms	65179301124.92778	1965617616776053.8

Samples

7.0ms

128×

valid

Compiler

Compiled 289 to 305 computations (-5.5% saved)

Precisions

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

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

ival-sqrt: 1.0ms (26.7% of total)

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

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

adjust: 0.0ms (0% of total)

bsearch15.0ms (0.7%)

Memory

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

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
14.0ms	6.948388225815317e-8	4.579845423859441e-5

Samples

7.0ms

128×

valid

Compiler

Compiled 249 to 265 computations (-6.4% saved)

Precisions

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

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

ival-sqrt: 1.0ms (24.9% of total)

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

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

adjust: 0.0ms (0% of total)

bsearch1.0ms (0.1%)

Memory

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

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
1.0ms	6.948388225815317e-8	4.579845423859441e-5

Compiler

Compiled 361 to 369 computations (-2.2% saved)

bsearch19.0ms (0.9%)

Memory

0.0MiB live, 43.9MiB allocated; 3ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
13.0ms	1.3011181709889675e+70	7.539603179309756e+71
4.0ms	-20277324886693036.0	-14784058292563128.0

Samples

8.0ms

160×

valid

Compiler

Compiled 358 to 378 computations (-5.6% saved)

Precisions

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

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

ival-sqrt: 1.0ms (21.5% of total)

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

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

adjust: 0.0ms (0% of total)

bsearch2.0ms (0.1%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
1.0ms	1.3011181709889675e+70	7.539603179309756e+71
0.0ms	-20277324886693036.0	-14784058292563128.0

Compiler

Compiled 337 to 357 computations (-5.9% saved)

bsearch2.0ms (0.1%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
1.0ms	1.3011181709889675e+70	7.539603179309756e+71
0.0ms	-20277324886693036.0	-14784058292563128.0

Compiler

Compiled 377 to 397 computations (-5.3% saved)

bsearch24.0ms (1.1%)

Memory

-4.8MiB live, 54.5MiB allocated; 4ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
8.0ms	1.3011181709889675e+70	7.539603179309756e+71
14.0ms	-1.9703480650211034e+80	-3.3895087286391307e+77

Samples

10.0ms

208×

valid

Compiler

Compiled 542 to 572 computations (-5.5% saved)

Precisions

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

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

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

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

ival-sqrt: 1.0ms (16.5% of total)

adjust: 0.0ms (0% of total)

bsearch2.0ms (0.1%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
1.0ms	1.3011181709889675e+70	7.539603179309756e+71
1.0ms	-1.9703480650211034e+80	-3.3895087286391307e+77

Compiler

Compiled 572 to 602 computations (-5.2% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-9436.571825777488	0.9999999855004685

Compiler

Compiled 16 to 17 computations (-6.3% saved)

derivations33.0ms (1.5%)

Memory

-27.0MiB live, 64.2MiB allocated; 6ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 173 to 102 computations (41% saved)

preprocess120.0ms (5.5%)

Memory: 20.2MiB live, 307.7MiB allocated; 46ms collecting garbage
Compiler: Compiled 186 to 114 computations (38.7% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze1.0ms (0%)

sample1.2s (54.2%)

preprocess62.0ms (2.8%)

series13.0ms (0.6%)

rewrite70.0ms (3.2%)

eval36.0ms (1.6%)

prune18.0ms (0.8%)

series18.0ms (0.8%)

rewrite93.0ms (4.3%)

eval22.0ms (1%)

prune15.0ms (0.7%)

series36.0ms (1.6%)

rewrite60.0ms (2.8%)

eval9.0ms (0.4%)

prune25.0ms (1.1%)

series15.0ms (0.7%)

rewrite45.0ms (2.1%)

eval9.0ms (0.4%)

prune18.0ms (0.8%)

regimes28.0ms (1.3%)

regimes56.0ms (2.6%)

regimes32.0ms (1.5%)

regimes10.0ms (0.5%)

regimes6.0ms (0.3%)

regimes18.0ms (0.8%)

regimes4.0ms (0.2%)

regimes3.0ms (0.2%)

regimes3.0ms (0.1%)

regimes25.0ms (1.1%)

regimes6.0ms (0.3%)

regimes5.0ms (0.2%)

regimes3.0ms (0.2%)

bsearch19.0ms (0.9%)

bsearch15.0ms (0.7%)

bsearch1.0ms (0.1%)

bsearch19.0ms (0.9%)

bsearch2.0ms (0.1%)

bsearch2.0ms (0.1%)

bsearch24.0ms (1.1%)

bsearch2.0ms (0.1%)

bsearch0.0ms (0%)

derivations33.0ms (1.5%)

preprocess120.0ms (5.5%)

end0.0ms (0%)

Profiling