Metrics for Numeric.AD.Rank1.Halley:findZero from ad-4.2.4

start0.0ms (0%)

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

analyze205.0ms (7.8%)

Memory

9.7MiB live, 438.7MiB allocated; 52ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
0%	0%	99.8%	0.2%	0%	0%	0%	1
0%	0%	99.8%	0.2%	0%	0%	0%	2
0%	0%	99.8%	0.2%	0%	0%	0%	3
0%	0%	99.8%	0.2%	0%	0%	0%	4
25%	25%	74.9%	0.2%	0%	0%	0%	5
25%	25%	74.9%	0.2%	0%	0%	0%	6
31.3%	31.2%	68.6%	0.2%	0%	0%	0%	7
40.6%	40.5%	59.3%	0.2%	0%	0%	0%	8
50%	49.9%	49.9%	0.2%	0%	0%	0%	9
50%	49.9%	49.9%	0.2%	0%	0%	0%	10
54.7%	54.6%	45.2%	0.2%	0%	0%	0%	11
62.5%	62.4%	37.4%	0.2%	0%	0%	0%	12

Compiler

Compiled 19 to 15 computations (21.1% saved)

sample1.2s (45.1%)

Memory

-3.0MiB live, 2 179.7MiB allocated; 500ms collecting garbage

Samples

809.0ms

8 256×

valid

Precisions

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

ival-mult!: 302.0ms (77% of total)

ival-div!: 48.0ms (12.2% of total)

ival-sub!: 40.0ms (10.2% of total)

adjust: 2.0ms (0.5% of total)

Bogosity

preprocess56.0ms (2.2%)

Memory

5.2MiB live, 51.5MiB allocated; 4ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	71	267
1	197	261
2	632	259
3	2455	259
4	5302	259

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	80.9%	(-.f64 x (/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t))))

Compiler

Compiled 28 to 26 computations (7.1% saved)

series25.0ms (1%)

Memory

16.1MiB live, 62.2MiB allocated; 2ms collecting garbage

Counts

13 → 70

Calls

Call 1

Inputs
(-.f64 x (/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t))))
x
(/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t)))
(.f64 (.f64 y #s(literal 2 binary64)) z)
(*.f64 y #s(literal 2 binary64))
y
#s(literal 2 binary64)
z
(-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t))
(.f64 (.f64 z #s(literal 2 binary64)) z)
(*.f64 z #s(literal 2 binary64))
(*.f64 y t)
t

Outputs
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (* -2 (/ (* y z) (- (* 2 (pow z 2)) (* t y))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- x (* 2 (/ (* y z) (- (* 2 (pow z 2)) (* t y)))))))
#s(approx x #s(hole binary64 x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (* x (+ 1 (* -2 (/ (* y z) (* x (- (* 2 (pow z 2)) (* t y)))))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (* -1 (* x (- (* 2 (/ (* y z) (* x (- (* 2 (pow z 2)) (* t y))))) 1)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ y z)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* y (- (* -1/2 (/ (* t y) (pow z 3))) (/ 1 z))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* y (- (* y (- (* -1/4 (/ (* (pow t 2) y) (pow z 5))) (* 1/2 (/ t (pow z 3))))) (/ 1 z))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ y z)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* y (+ (* 1/2 (/ (* t y) (pow z 3))) (/ 1 z)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* y (+ (* y (+ (* 1/4 (/ (* (pow t 2) y) (pow z 5))) (* 1/2 (/ t (pow z 3))))) (/ 1 z)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* y (+ (* y (+ (* 1/2 (/ t (pow z 3))) (* y (+ (* 1/8 (/ (* (pow t 3) y) (pow z 7))) (* 1/4 (/ (pow t 2) (pow z 5))))))) (/ 1 z)))))
#s(approx (* (* y 2) z) #s(hole binary64 (* 2 (* y z))))
#s(approx (* y 2) #s(hole binary64 (* 2 y)))
#s(approx y #s(hole binary64 y))
#s(approx (- (* (* z 2) z) (* y t)) #s(hole binary64 (* 2 (pow z 2))))
#s(approx (- (* (* z 2) z) (* y t)) #s(hole binary64 (+ (* -1 (* t y)) (* 2 (pow z 2)))))
#s(approx (* y t) #s(hole binary64 (* t y)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- x (* -2 (/ z t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* 4 (/ (pow z 3) (* (pow t 2) y)))) (* -2 (/ z t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* 8 (/ (pow z 5) (* (pow t 3) (pow y 2))))) (+ (* -4 (/ (pow z 3) (* (pow t 2) y))) (* -2 (/ z t))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* 16 (/ (pow z 7) (* (pow t 4) (pow y 3))))) (+ (* -8 (/ (pow z 5) (* (pow t 3) (pow y 2)))) (+ (* -4 (/ (pow z 3) (* (pow t 2) y))) (* -2 (/ z t)))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -2 (/ z t))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* -4 (/ (pow z 3) (* (pow t 2) y))) (* -2 (/ z t)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* -8 (/ (pow z 5) (* (pow t 3) (pow y 2)))) (+ (* -4 (/ (pow z 3) (* (pow t 2) y))) (* -2 (/ z t))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* -16 (/ (pow z 7) (* (pow t 4) (pow y 3)))) (+ (* -8 (/ (pow z 5) (* (pow t 3) (pow y 2)))) (+ (* -4 (/ (pow z 3) (* (pow t 2) y))) (* -2 (/ z t)))))))
#s(approx (- (* (* z 2) z) (* y t)) #s(hole binary64 (* -1 (* t y))))
#s(approx (- (* (* z 2) z) (* y t)) #s(hole binary64 (* y (- (* 2 (/ (pow z 2) y)) t))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* -1 (/ (- (* -8 (/ (pow z 5) (* (pow t 3) y))) (* 4 (/ (pow z 3) (pow t 2)))) y))) (* -2 (/ z t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* -1 (/ (- (* -1 (/ (- (* 16 (/ (pow z 7) (* (pow t 4) y))) (* -8 (/ (pow z 5) (pow t 3)))) y)) (* 4 (/ (pow z 3) (pow t 2)))) y))) (* -2 (/ z t)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* -2 (/ z t)) (* -1 (/ (+ (* 4 (/ (pow z 3) (pow t 2))) (* 8 (/ (pow z 5) (* (pow t 3) y)))) y)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* -2 (/ z t)) (* -1 (/ (+ (* -1 (/ (+ (* -16 (/ (pow z 7) (* (pow t 4) y))) (* -8 (/ (pow z 5) (pow t 3)))) y)) (* 4 (/ (pow z 3) (pow t 2)))) y)))))
#s(approx (- (* (* z 2) z) (* y t)) #s(hole binary64 (* -1 (* y (- (* -2 (/ (pow z 2) y)) (* -1 t))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* 2 (/ z t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* z (+ (* 4 (/ (pow z 2) (* (pow t 2) y))) (* 2 (/ 1 t)))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* z (+ (* (pow z 2) (+ (* 8 (/ (pow z 2) (* (pow t 3) (pow y 2)))) (* 4 (/ 1 (* (pow t 2) y))))) (* 2 (/ 1 t)))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* z (- (* -4 (/ (pow z 2) (* (pow t 2) y))) (* 2 (/ 1 t))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* z (- (* (pow z 2) (- (* -8 (/ (pow z 2) (* (pow t 3) (pow y 2)))) (* 4 (/ 1 (* (pow t 2) y))))) (* 2 (/ 1 t))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* z (- (* (pow z 2) (- (* (pow z 2) (- (* -16 (/ (pow z 2) (* (pow t 4) (pow y 3)))) (* 8 (/ 1 (* (pow t 3) (pow y 2)))))) (* 4 (/ 1 (* (pow t 2) y))))) (* 2 (/ 1 t))))))
#s(approx z #s(hole binary64 z))
#s(approx (- (* (* z 2) z) (* y t)) #s(hole binary64 (- (* 2 (pow z 2)) (* t y))))
#s(approx (* z 2) #s(hole binary64 (* 2 z)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* -1/2 (/ (* t (pow y 2)) (pow z 3)))) (/ y z))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* -1/4 (/ (* (pow t 2) (pow y 3)) (pow z 5)))) (+ (* 1/2 (/ (* t (pow y 2)) (pow z 3))) (/ y z)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ y (* 1/2 (/ (* t (pow y 2)) (pow z 2)))) z)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ y (+ (* 1/4 (/ (* (pow t 2) (pow y 3)) (pow z 4))) (* 1/2 (/ (* t (pow y 2)) (pow z 2))))) z)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ y (+ (* 1/8 (/ (* (pow t 3) (pow y 4)) (pow z 6))) (+ (* 1/4 (/ (* (pow t 2) (pow y 3)) (pow z 4))) (* 1/2 (/ (* t (pow y 2)) (pow z 2)))))) z)))
#s(approx (- (* (* z 2) z) (* y t)) #s(hole binary64 (* (pow z 2) (+ 2 (* -1 (/ (* t y) (pow z 2)))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ (- (* 1/2 (/ (* t (pow y 2)) (pow z 2))) (* -1 y)) z)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ (- (* 1/4 (/ (* (pow t 2) (pow y 3)) (pow z 4))) (+ (* -1 y) (* -1/2 (/ (* t (pow y 2)) (pow z 2))))) z)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* -1 y) (* -1/2 (/ (* t (pow y 2)) (pow z 2)))) z))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* -1 y) (+ (* -1/2 (/ (* t (pow y 2)) (pow z 2))) (* -1/4 (/ (* (pow t 2) (pow y 3)) (pow z 4))))) z))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* -1 y) (+ (* -1/2 (/ (* t (pow y 2)) (pow z 2))) (+ (* -1/4 (/ (* (pow t 2) (pow y 3)) (pow z 4))) (* -1/8 (/ (* (pow t 3) (pow y 4)) (pow z 6)))))) z))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- x (/ y z))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* t (- (* -1/4 (/ (* t (pow y 3)) (pow z 5))) (* 1/2 (/ (pow y 2) (pow z 3)))))) (/ y z))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* t (- (* t (- (* -1/8 (/ (* t (pow y 4)) (pow z 7))) (* 1/4 (/ (pow y 3) (pow z 5))))) (* 1/2 (/ (pow y 2) (pow z 3)))))) (/ y z))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* 1/2 (/ (* t (pow y 2)) (pow z 3))) (/ y z))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* t (+ (* 1/4 (/ (* t (pow y 3)) (pow z 5))) (* 1/2 (/ (pow y 2) (pow z 3))))) (/ y z))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* t (+ (* 1/2 (/ (pow y 2) (pow z 3))) (* t (+ (* 1/8 (/ (* t (pow y 4)) (pow z 7))) (* 1/4 (/ (pow y 3) (pow z 5))))))) (/ y z))))
#s(approx t #s(hole binary64 t))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ (* -4 (/ (pow z 3) (* t y))) (* -2 z)) t)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ (* -8 (/ (pow z 5) (* (pow t 2) (pow y 2)))) (+ (* -4 (/ (pow z 3) (* t y))) (* -2 z))) t)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ (* -16 (/ (pow z 7) (* (pow t 3) (pow y 3)))) (+ (* -8 (/ (pow z 5) (* (pow t 2) (pow y 2)))) (+ (* -4 (/ (pow z 3) (* t y))) (* -2 z)))) t)))
#s(approx (- (* (* z 2) z) (* y t)) #s(hole binary64 (* t (- (* 2 (/ (pow z 2) t)) y))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ (- (* -4 (/ (pow z 3) (* t y))) (* 2 z)) t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ (- (* -1 (/ (- (* 8 (/ (pow z 5) (* t (pow y 2)))) (* -4 (/ (pow z 3) y))) t)) (* 2 z)) t)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* 2 z) (* 4 (/ (pow z 3) (* t y)))) t))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* -1 (/ (+ (* -8 (/ (pow z 5) (* t (pow y 2)))) (* -4 (/ (pow z 3) y))) t)) (* 2 z)) t))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* -1 (/ (+ (* -4 (/ (pow z 3) y)) (* -1 (/ (+ (* 8 (/ (pow z 5) (pow y 2))) (* 16 (/ (pow z 7) (* t (pow y 3))))) t))) t)) (* 2 z)) t))))
#s(approx (- (* (* z 2) z) (* y t)) #s(hole binary64 (* -1 (* t (- (* -2 (/ (pow z 2) t)) (* -1 y))))))

Calls

12 calls:

Time	Variable		Point	Expression
4.0ms	z	@	-inf	((- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (* (* y 2) z) (* y 2) y 2 z (- (* (* z 2) z) (* y t)) (* (* z 2) z) (* z 2) (* y t) t)
3.0ms	z	@	0	((- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (* (* y 2) z) (* y 2) y 2 z (- (* (* z 2) z) (* y t)) (* (* z 2) z) (* z 2) (* y t) t)
3.0ms	z	@	inf	((- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (* (* y 2) z) (* y 2) y 2 z (- (* (* z 2) z) (* y t)) (* (* z 2) z) (* z 2) (* y t) t)
2.0ms	y	@	0	((- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (* (* y 2) z) (* y 2) y 2 z (- (* (* z 2) z) (* y t)) (* (* z 2) z) (* z 2) (* y t) t)
2.0ms	y	@	inf	((- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (* (* y 2) z) (* y 2) y 2 z (- (* (* z 2) z) (* y t)) (* (* z 2) z) (* z 2) (* y t) t)

rewrite210.0ms (8%)

Memory

13.6MiB live, 250.2MiB allocated; 68ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	433	2615
0	444	2556
1	2523	2540
0	8152	2463

Stop Event

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

Counts

83 → 111

Calls

Call 1

Inputs
(-.f64 x (/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t))))
x
(/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t)))
(.f64 (.f64 y #s(literal 2 binary64)) z)
(*.f64 y #s(literal 2 binary64))
y
#s(literal 2 binary64)
z
(-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t))
(.f64 (.f64 z #s(literal 2 binary64)) z)
(*.f64 z #s(literal 2 binary64))
(*.f64 y t)
t
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (* -2 (/ (* y z) (- (* 2 (pow z 2)) (* t y))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- x (* 2 (/ (* y z) (- (* 2 (pow z 2)) (* t y)))))))
#s(approx x #s(hole binary64 x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (* x (+ 1 (* -2 (/ (* y z) (* x (- (* 2 (pow z 2)) (* t y)))))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (* -1 (* x (- (* 2 (/ (* y z) (* x (- (* 2 (pow z 2)) (* t y))))) 1)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ y z)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* y (- (* -1/2 (/ (* t y) (pow z 3))) (/ 1 z))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* y (- (* y (- (* -1/4 (/ (* (pow t 2) y) (pow z 5))) (* 1/2 (/ t (pow z 3))))) (/ 1 z))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ y z)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* y (+ (* 1/2 (/ (* t y) (pow z 3))) (/ 1 z)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* y (+ (* y (+ (* 1/4 (/ (* (pow t 2) y) (pow z 5))) (* 1/2 (/ t (pow z 3))))) (/ 1 z)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* y (+ (* y (+ (* 1/2 (/ t (pow z 3))) (* y (+ (* 1/8 (/ (* (pow t 3) y) (pow z 7))) (* 1/4 (/ (pow t 2) (pow z 5))))))) (/ 1 z)))))
#s(approx (* (* y 2) z) #s(hole binary64 (* 2 (* y z))))
#s(approx (* y 2) #s(hole binary64 (* 2 y)))
#s(approx y #s(hole binary64 y))
#s(approx (- (* (* z 2) z) (* y t)) #s(hole binary64 (* 2 (pow z 2))))
#s(approx (- (* (* z 2) z) (* y t)) #s(hole binary64 (+ (* -1 (* t y)) (* 2 (pow z 2)))))
#s(approx (* y t) #s(hole binary64 (* t y)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- x (* -2 (/ z t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* 4 (/ (pow z 3) (* (pow t 2) y)))) (* -2 (/ z t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* 8 (/ (pow z 5) (* (pow t 3) (pow y 2))))) (+ (* -4 (/ (pow z 3) (* (pow t 2) y))) (* -2 (/ z t))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* 16 (/ (pow z 7) (* (pow t 4) (pow y 3))))) (+ (* -8 (/ (pow z 5) (* (pow t 3) (pow y 2)))) (+ (* -4 (/ (pow z 3) (* (pow t 2) y))) (* -2 (/ z t)))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -2 (/ z t))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* -4 (/ (pow z 3) (* (pow t 2) y))) (* -2 (/ z t)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* -8 (/ (pow z 5) (* (pow t 3) (pow y 2)))) (+ (* -4 (/ (pow z 3) (* (pow t 2) y))) (* -2 (/ z t))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* -16 (/ (pow z 7) (* (pow t 4) (pow y 3)))) (+ (* -8 (/ (pow z 5) (* (pow t 3) (pow y 2)))) (+ (* -4 (/ (pow z 3) (* (pow t 2) y))) (* -2 (/ z t)))))))
#s(approx (- (* (* z 2) z) (* y t)) #s(hole binary64 (* -1 (* t y))))
#s(approx (- (* (* z 2) z) (* y t)) #s(hole binary64 (* y (- (* 2 (/ (pow z 2) y)) t))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* -1 (/ (- (* -8 (/ (pow z 5) (* (pow t 3) y))) (* 4 (/ (pow z 3) (pow t 2)))) y))) (* -2 (/ z t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* -1 (/ (- (* -1 (/ (- (* 16 (/ (pow z 7) (* (pow t 4) y))) (* -8 (/ (pow z 5) (pow t 3)))) y)) (* 4 (/ (pow z 3) (pow t 2)))) y))) (* -2 (/ z t)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* -2 (/ z t)) (* -1 (/ (+ (* 4 (/ (pow z 3) (pow t 2))) (* 8 (/ (pow z 5) (* (pow t 3) y)))) y)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* -2 (/ z t)) (* -1 (/ (+ (* -1 (/ (+ (* -16 (/ (pow z 7) (* (pow t 4) y))) (* -8 (/ (pow z 5) (pow t 3)))) y)) (* 4 (/ (pow z 3) (pow t 2)))) y)))))
#s(approx (- (* (* z 2) z) (* y t)) #s(hole binary64 (* -1 (* y (- (* -2 (/ (pow z 2) y)) (* -1 t))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* 2 (/ z t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* z (+ (* 4 (/ (pow z 2) (* (pow t 2) y))) (* 2 (/ 1 t)))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* z (+ (* (pow z 2) (+ (* 8 (/ (pow z 2) (* (pow t 3) (pow y 2)))) (* 4 (/ 1 (* (pow t 2) y))))) (* 2 (/ 1 t)))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* z (- (* -4 (/ (pow z 2) (* (pow t 2) y))) (* 2 (/ 1 t))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* z (- (* (pow z 2) (- (* -8 (/ (pow z 2) (* (pow t 3) (pow y 2)))) (* 4 (/ 1 (* (pow t 2) y))))) (* 2 (/ 1 t))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* z (- (* (pow z 2) (- (* (pow z 2) (- (* -16 (/ (pow z 2) (* (pow t 4) (pow y 3)))) (* 8 (/ 1 (* (pow t 3) (pow y 2)))))) (* 4 (/ 1 (* (pow t 2) y))))) (* 2 (/ 1 t))))))
#s(approx z #s(hole binary64 z))
#s(approx (- (* (* z 2) z) (* y t)) #s(hole binary64 (- (* 2 (pow z 2)) (* t y))))
#s(approx (* z 2) #s(hole binary64 (* 2 z)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* -1/2 (/ (* t (pow y 2)) (pow z 3)))) (/ y z))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* -1/4 (/ (* (pow t 2) (pow y 3)) (pow z 5)))) (+ (* 1/2 (/ (* t (pow y 2)) (pow z 3))) (/ y z)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ y (* 1/2 (/ (* t (pow y 2)) (pow z 2)))) z)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ y (+ (* 1/4 (/ (* (pow t 2) (pow y 3)) (pow z 4))) (* 1/2 (/ (* t (pow y 2)) (pow z 2))))) z)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ y (+ (* 1/8 (/ (* (pow t 3) (pow y 4)) (pow z 6))) (+ (* 1/4 (/ (* (pow t 2) (pow y 3)) (pow z 4))) (* 1/2 (/ (* t (pow y 2)) (pow z 2)))))) z)))
#s(approx (- (* (* z 2) z) (* y t)) #s(hole binary64 (* (pow z 2) (+ 2 (* -1 (/ (* t y) (pow z 2)))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ (- (* 1/2 (/ (* t (pow y 2)) (pow z 2))) (* -1 y)) z)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ (- (* 1/4 (/ (* (pow t 2) (pow y 3)) (pow z 4))) (+ (* -1 y) (* -1/2 (/ (* t (pow y 2)) (pow z 2))))) z)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* -1 y) (* -1/2 (/ (* t (pow y 2)) (pow z 2)))) z))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* -1 y) (+ (* -1/2 (/ (* t (pow y 2)) (pow z 2))) (* -1/4 (/ (* (pow t 2) (pow y 3)) (pow z 4))))) z))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* -1 y) (+ (* -1/2 (/ (* t (pow y 2)) (pow z 2))) (+ (* -1/4 (/ (* (pow t 2) (pow y 3)) (pow z 4))) (* -1/8 (/ (* (pow t 3) (pow y 4)) (pow z 6)))))) z))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- x (/ y z))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* t (- (* -1/4 (/ (* t (pow y 3)) (pow z 5))) (* 1/2 (/ (pow y 2) (pow z 3)))))) (/ y z))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* t (- (* t (- (* -1/8 (/ (* t (pow y 4)) (pow z 7))) (* 1/4 (/ (pow y 3) (pow z 5))))) (* 1/2 (/ (pow y 2) (pow z 3)))))) (/ y z))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* 1/2 (/ (* t (pow y 2)) (pow z 3))) (/ y z))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* t (+ (* 1/4 (/ (* t (pow y 3)) (pow z 5))) (* 1/2 (/ (pow y 2) (pow z 3))))) (/ y z))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* t (+ (* 1/2 (/ (pow y 2) (pow z 3))) (* t (+ (* 1/8 (/ (* t (pow y 4)) (pow z 7))) (* 1/4 (/ (pow y 3) (pow z 5))))))) (/ y z))))
#s(approx t #s(hole binary64 t))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ (* -4 (/ (pow z 3) (* t y))) (* -2 z)) t)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ (* -8 (/ (pow z 5) (* (pow t 2) (pow y 2)))) (+ (* -4 (/ (pow z 3) (* t y))) (* -2 z))) t)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ (* -16 (/ (pow z 7) (* (pow t 3) (pow y 3)))) (+ (* -8 (/ (pow z 5) (* (pow t 2) (pow y 2)))) (+ (* -4 (/ (pow z 3) (* t y))) (* -2 z)))) t)))
#s(approx (- (* (* z 2) z) (* y t)) #s(hole binary64 (* t (- (* 2 (/ (pow z 2) t)) y))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ (- (* -4 (/ (pow z 3) (* t y))) (* 2 z)) t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ (- (* -1 (/ (- (* 8 (/ (pow z 5) (* t (pow y 2)))) (* -4 (/ (pow z 3) y))) t)) (* 2 z)) t)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* 2 z) (* 4 (/ (pow z 3) (* t y)))) t))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* -1 (/ (+ (* -8 (/ (pow z 5) (* t (pow y 2)))) (* -4 (/ (pow z 3) y))) t)) (* 2 z)) t))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* -1 (/ (+ (* -4 (/ (pow z 3) y)) (* -1 (/ (+ (* 8 (/ (pow z 5) (pow y 2))) (* 16 (/ (pow z 7) (* t (pow y 3))))) t))) t)) (* 2 z)) t))))
#s(approx (- (* (* z 2) z) (* y t)) #s(hole binary64 (* -1 (* t (- (* -2 (/ (pow z 2) t)) (* -1 y))))))

Outputs
(/.f64 (neg.f64 (-.f64 (.f64 x x) (pow.f64 (/.f64 (.f64 (+.f64 y y) z) (-.f64 (.f64 (+.f64 z z) z) (.f64 t y))) #s(literal 2 binary64)))) (neg.f64 (+.f64 x (/.f64 (.f64 (+.f64 y y) z) (-.f64 (.f64 (+.f64 z z) z) (*.f64 t y))))))
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 x x) x) (pow.f64 (/.f64 (.f64 (+.f64 y y) z) (-.f64 (.f64 (+.f64 z z) z) (.f64 t y))) #s(literal 3 binary64)))) (neg.f64 (fma.f64 x x (+.f64 (pow.f64 (/.f64 (.f64 (+.f64 y y) z) (-.f64 (.f64 (+.f64 z z) z) (.f64 t y))) #s(literal 2 binary64)) (.f64 x (/.f64 (.f64 (+.f64 y y) z) (-.f64 (.f64 (+.f64 z z) z) (.f64 t y))))))))
(/.f64 (-.f64 (.f64 x x) (pow.f64 (/.f64 (.f64 (+.f64 y y) z) (-.f64 (.f64 (+.f64 z z) z) (.f64 t y))) #s(literal 2 binary64))) (+.f64 x (/.f64 (.f64 (+.f64 y y) z) (-.f64 (.f64 (+.f64 z z) z) (*.f64 t y)))))
(/.f64 (-.f64 (.f64 (.f64 x x) x) (pow.f64 (/.f64 (.f64 (+.f64 y y) z) (-.f64 (.f64 (+.f64 z z) z) (.f64 t y))) #s(literal 3 binary64))) (fma.f64 x x (+.f64 (pow.f64 (/.f64 (.f64 (+.f64 y y) z) (-.f64 (.f64 (+.f64 z z) z) (.f64 t y))) #s(literal 2 binary64)) (.f64 x (/.f64 (.f64 (+.f64 y y) z) (-.f64 (.f64 (+.f64 z z) z) (.f64 t y)))))))
(-.f64 x (/.f64 (.f64 (+.f64 y y) z) (-.f64 (.f64 (+.f64 z z) z) (*.f64 t y))))
x
(.f64 (+.f64 y y) (/.f64 z (-.f64 (.f64 (+.f64 z z) z) (*.f64 t y))))
(/.f64 (neg.f64 (neg.f64 (.f64 (+.f64 y y) z))) (neg.f64 (neg.f64 (-.f64 (.f64 (+.f64 z z) z) (*.f64 t y)))))
(/.f64 (neg.f64 (.f64 (+.f64 y y) z)) (neg.f64 (-.f64 (.f64 (+.f64 z z) z) (*.f64 t y))))
(/.f64 (.f64 (+.f64 y y) z) (-.f64 (.f64 (+.f64 z z) z) (*.f64 t y)))
(+.f64 (/.f64 (.f64 z y) (-.f64 (.f64 (+.f64 z z) z) (.f64 t y))) (/.f64 (.f64 z y) (-.f64 (.f64 (+.f64 z z) z) (.f64 t y))))
(.f64 (.f64 z y) #s(literal 2 binary64))
(*.f64 (+.f64 y y) z)
(*.f64 z (+.f64 y y))
(.f64 #s(literal 2 binary64) (.f64 z y))
(*.f64 y (+.f64 z z))
(fma.f64 z y (*.f64 z y))
(fma.f64 y z (*.f64 z y))
(+.f64 (.f64 z y) (.f64 z y))
(*.f64 #s(literal 2 binary64) y)
(*.f64 y #s(literal 2 binary64))
(+.f64 y y)
y
#s(literal 2 binary64)
z
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 (+.f64 z z) z) (.f64 (+.f64 z z) z)) (.f64 (.f64 y y) (.f64 t t)))) (neg.f64 (fma.f64 (+.f64 z z) z (*.f64 t y))))
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 #s(literal 8 binary64) (.f64 (.f64 z z) z)) (.f64 (.f64 z z) z)) (.f64 (.f64 (.f64 y y) y) (.f64 (.f64 t t) t)))) (neg.f64 (fma.f64 (.f64 (+.f64 z z) z) (.f64 (+.f64 z z) z) (fma.f64 (.f64 y y) (.f64 t t) (.f64 (.f64 (+.f64 z z) z) (.f64 t y))))))
(/.f64 (-.f64 (.f64 (.f64 (+.f64 z z) z) (.f64 (+.f64 z z) z)) (.f64 (.f64 y y) (.f64 t t))) (fma.f64 (+.f64 z z) z (*.f64 t y)))
(/.f64 (-.f64 (.f64 (.f64 #s(literal 8 binary64) (.f64 (.f64 z z) z)) (.f64 (.f64 z z) z)) (.f64 (.f64 (.f64 y y) y) (.f64 (.f64 t t) t))) (fma.f64 (.f64 (+.f64 z z) z) (.f64 (+.f64 z z) z) (fma.f64 (.f64 y y) (.f64 t t) (.f64 (.f64 (+.f64 z z) z) (.f64 t y)))))
(fma.f64 (+.f64 z z) z (*.f64 (neg.f64 y) t))
(fma.f64 z (+.f64 z z) (*.f64 (neg.f64 y) t))
(-.f64 (.f64 (+.f64 z z) z) (.f64 t y))
(+.f64 (.f64 (+.f64 z z) z) (.f64 (neg.f64 y) t))
(*.f64 (+.f64 z z) z)
(*.f64 z (+.f64 z z))
(*.f64 z #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) z)
(+.f64 z z)
(*.f64 t y)
(*.f64 y t)
t
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (.f64 (/.f64 (.f64 z y) (-.f64 (.f64 (.f64 z z) #s(literal 2 binary64)) (*.f64 t y))) #s(literal -2 binary64)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (-.f64 x (/.f64 (.f64 (+.f64 y y) z) (-.f64 (.f64 (.f64 z z) #s(literal 2 binary64)) (.f64 t y)))))
#s(approx x x)
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (.f64 (fma.f64 (.f64 y (/.f64 z (.f64 (-.f64 (.f64 (.f64 z z) #s(literal 2 binary64)) (.f64 t y)) x))) #s(literal -2 binary64) #s(literal 1 binary64)) x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (neg.f64 (.f64 (-.f64 (/.f64 (.f64 (+.f64 y y) z) (.f64 (-.f64 (.f64 (.f64 z z) #s(literal 2 binary64)) (.f64 t y)) x)) #s(literal 1 binary64)) x)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+.f64 (/.f64 (neg.f64 y) z) x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (-.f64 (/.f64 (.f64 #s(literal -1/2 binary64) (.f64 t y)) (.f64 (.f64 z z) z)) (/.f64 #s(literal 1 binary64) z)) y x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (-.f64 (.f64 (fma.f64 (.f64 (.f64 t t) (/.f64 y (pow.f64 z #s(literal 5 binary64)))) #s(literal -1/4 binary64) (.f64 #s(literal -1/2 binary64) (/.f64 t (.f64 (.f64 z z) z)))) y) (/.f64 #s(literal 1 binary64) z)) y x))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (.f64 (fma.f64 #s(literal 1/2 binary64) (.f64 t (/.f64 y (.f64 (.f64 z z) z))) (/.f64 #s(literal 1 binary64) z)) y))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (.f64 (fma.f64 (fma.f64 #s(literal 1/4 binary64) (.f64 (.f64 t t) (/.f64 y (pow.f64 z #s(literal 5 binary64)))) (.f64 (/.f64 t (.f64 (.f64 z z) z)) #s(literal 1/2 binary64))) y (/.f64 #s(literal 1 binary64) z)) y))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (.f64 (fma.f64 y (fma.f64 (fma.f64 (/.f64 (.f64 t t) (pow.f64 z #s(literal 5 binary64))) #s(literal 1/4 binary64) (/.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 (.f64 t t) t) y)) (pow.f64 z #s(literal 7 binary64)))) y (.f64 (/.f64 t (.f64 (*.f64 z z) z)) #s(literal 1/2 binary64))) (/.f64 #s(literal 1 binary64) z)) y))
#s(approx (* (* y 2) z) (*.f64 (+.f64 y y) z))
#s(approx (* y 2) (+.f64 y y))
#s(approx y y)
#s(approx (- (* (* z 2) z) (* y t)) (.f64 (.f64 z z) #s(literal 2 binary64)))
#s(approx (- (* (* z 2) z) (* y t)) (-.f64 (.f64 (.f64 z z) #s(literal 2 binary64)) (*.f64 t y)))
#s(approx (* y t) (*.f64 t y))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (/.f64 z t) #s(literal 2 binary64) x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+.f64 (fma.f64 (/.f64 (.f64 (.f64 z z) z) (.f64 (.f64 t t) y)) #s(literal 4 binary64) x) (/.f64 (+.f64 z z) t)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (-.f64 (fma.f64 (/.f64 (pow.f64 z #s(literal 5 binary64)) (.f64 (.f64 y y) (.f64 (.f64 t t) t))) #s(literal 8 binary64) x) (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (.f64 z z) z) (.f64 (.f64 t t) y)) (*.f64 (/.f64 z t) #s(literal -2 binary64)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (-.f64 (fma.f64 (/.f64 (pow.f64 z #s(literal 7 binary64)) (.f64 (.f64 (.f64 y y) y) (.f64 (.f64 t t) (.f64 t t)))) #s(literal 16 binary64) x) (fma.f64 (/.f64 (pow.f64 z #s(literal 5 binary64)) (.f64 (.f64 y y) (.f64 (.f64 t t) t))) #s(literal -8 binary64) (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (.f64 z z) z) (.f64 (.f64 t t) y)) (*.f64 (/.f64 z t) #s(literal -2 binary64))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (*.f64 (/.f64 z t) #s(literal -2 binary64)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (.f64 z z) z) (.f64 (.f64 t t) y)) (*.f64 (/.f64 z t) #s(literal -2 binary64))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (fma.f64 (/.f64 (pow.f64 z #s(literal 5 binary64)) (.f64 (.f64 y y) (.f64 (.f64 t t) t))) #s(literal -8 binary64) (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (.f64 z z) z) (.f64 (.f64 t t) y)) (*.f64 (/.f64 z t) #s(literal -2 binary64)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (fma.f64 #s(literal -16 binary64) (/.f64 (pow.f64 z #s(literal 7 binary64)) (.f64 (.f64 (.f64 y y) y) (.f64 (.f64 t t) (.f64 t t)))) (fma.f64 (/.f64 (pow.f64 z #s(literal 5 binary64)) (.f64 (.f64 y y) (.f64 (.f64 t t) t))) #s(literal -8 binary64) (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (.f64 z z) z) (.f64 (.f64 t t) y)) (*.f64 (/.f64 z t) #s(literal -2 binary64))))))
#s(approx (- (* (* z 2) z) (* y t)) (*.f64 (neg.f64 t) y))
#s(approx (- (* (* z 2) z) (* y t)) (.f64 (-.f64 (.f64 (/.f64 (*.f64 z z) y) #s(literal 2 binary64)) t) y))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+.f64 (+.f64 (neg.f64 (/.f64 (fma.f64 (/.f64 (pow.f64 z #s(literal 5 binary64)) (.f64 (.f64 (.f64 t t) t) y)) #s(literal -8 binary64) (.f64 #s(literal -4 binary64) (/.f64 (.f64 (.f64 z z) z) (*.f64 t t)))) y)) x) (/.f64 (+.f64 z z) t)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+.f64 (+.f64 (neg.f64 (/.f64 (-.f64 (neg.f64 (/.f64 (fma.f64 (/.f64 (pow.f64 z #s(literal 7 binary64)) (.f64 (.f64 (.f64 t t) (.f64 t t)) y)) #s(literal 16 binary64) (.f64 #s(literal 8 binary64) (/.f64 (pow.f64 z #s(literal 5 binary64)) (.f64 (.f64 t t) t)))) y)) (/.f64 (.f64 #s(literal 4 binary64) (.f64 (.f64 z z) z)) (*.f64 t t))) y)) x) (/.f64 (+.f64 z z) t)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (fma.f64 (/.f64 z t) #s(literal -2 binary64) (neg.f64 (/.f64 (fma.f64 (/.f64 (.f64 (.f64 z z) z) (.f64 t t)) #s(literal 4 binary64) (/.f64 (.f64 #s(literal 8 binary64) (pow.f64 z #s(literal 5 binary64))) (.f64 (.f64 (*.f64 t t) t) y))) y))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (fma.f64 (/.f64 z t) #s(literal -2 binary64) (neg.f64 (/.f64 (fma.f64 (/.f64 (.f64 (.f64 z z) z) (.f64 t t)) #s(literal 4 binary64) (neg.f64 (/.f64 (fma.f64 (/.f64 (pow.f64 z #s(literal 5 binary64)) (.f64 (.f64 t t) t)) #s(literal -8 binary64) (/.f64 (.f64 #s(literal -16 binary64) (pow.f64 z #s(literal 7 binary64))) (.f64 (.f64 (.f64 t t) (.f64 t t)) y))) y))) y))))
#s(approx (- (* (* z 2) z) (* y t)) (.f64 (neg.f64 y) (-.f64 (.f64 (/.f64 (*.f64 z z) y) #s(literal -2 binary64)) (neg.f64 t))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (/.f64 z t) #s(literal 2 binary64) x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (fma.f64 (/.f64 (.f64 z z) (.f64 (*.f64 t t) y)) #s(literal 4 binary64) (/.f64 #s(literal 2 binary64) t)) z x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (fma.f64 (fma.f64 (/.f64 (.f64 z z) (.f64 (.f64 y y) (.f64 (.f64 t t) t))) #s(literal 8 binary64) (/.f64 #s(literal 4 binary64) (.f64 (.f64 t t) y))) (.f64 z z) (/.f64 #s(literal 2 binary64) t)) z x))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (.f64 (-.f64 (/.f64 (.f64 #s(literal -4 binary64) (.f64 z z)) (.f64 (*.f64 t t) y)) (/.f64 #s(literal 2 binary64) t)) z))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (.f64 (-.f64 (.f64 (-.f64 (/.f64 (.f64 #s(literal -8 binary64) (.f64 z z)) (.f64 (.f64 y y) (.f64 (.f64 t t) t))) (/.f64 #s(literal 4 binary64) (.f64 (.f64 t t) y))) (*.f64 z z)) (/.f64 #s(literal 2 binary64) t)) z))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (.f64 (-.f64 (.f64 (-.f64 (.f64 (-.f64 (/.f64 (.f64 #s(literal -16 binary64) (.f64 z z)) (.f64 (.f64 (.f64 y y) y) (.f64 (.f64 t t) (.f64 t t)))) (/.f64 #s(literal 8 binary64) (.f64 (.f64 y y) (.f64 (.f64 t t) t)))) (.f64 z z)) (/.f64 #s(literal 4 binary64) (.f64 (.f64 t t) y))) (*.f64 z z)) (/.f64 #s(literal 2 binary64) t)) z))
#s(approx z z)
#s(approx (- (* (* z 2) z) (* y t)) (-.f64 (.f64 (.f64 z z) #s(literal 2 binary64)) (*.f64 t y)))
#s(approx (* z 2) (+.f64 z z))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (-.f64 (fma.f64 (/.f64 (.f64 (.f64 y y) t) (.f64 (.f64 z z) z)) #s(literal -1/2 binary64) x) (/.f64 y z)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (-.f64 (fma.f64 (/.f64 (.f64 (.f64 (.f64 y y) y) (.f64 t t)) (pow.f64 z #s(literal 5 binary64))) #s(literal -1/4 binary64) x) (fma.f64 (/.f64 (.f64 (.f64 y y) t) (.f64 (.f64 z z) z)) #s(literal 1/2 binary64) (/.f64 y z))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 (fma.f64 (/.f64 (.f64 (.f64 y y) t) (*.f64 z z)) #s(literal 1/2 binary64) y) z))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 (+.f64 (fma.f64 (/.f64 (.f64 (.f64 (.f64 y y) y) (.f64 t t)) (.f64 (.f64 z z) (.f64 z z))) #s(literal 1/4 binary64) (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 (.f64 y y) t)) (*.f64 z z))) y) z))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 (+.f64 (fma.f64 (.f64 (.f64 (.f64 t t) t) (/.f64 (.f64 (.f64 y y) (.f64 y y)) (.f64 (.f64 (.f64 z z) z) (.f64 (.f64 z z) z)))) #s(literal 1/8 binary64) (fma.f64 (/.f64 (.f64 (.f64 (.f64 y y) y) (.f64 t t)) (.f64 (.f64 z z) (.f64 z z))) #s(literal 1/4 binary64) (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 (.f64 y y) t)) (.f64 z z)))) y) z))
#s(approx (- (* (* z 2) z) (* y t)) (.f64 (fma.f64 (/.f64 (neg.f64 t) z) (/.f64 y z) #s(literal 2 binary64)) (.f64 z z)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+.f64 (neg.f64 (/.f64 (-.f64 (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 (.f64 y y) t)) (.f64 z z)) (neg.f64 y)) z)) x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+.f64 (neg.f64 (/.f64 (-.f64 (.f64 (/.f64 (.f64 (.f64 (.f64 y y) y) (.f64 t t)) (.f64 (.f64 z z) (.f64 z z))) #s(literal 1/4 binary64)) (fma.f64 (/.f64 (.f64 (.f64 y y) t) (*.f64 z z)) #s(literal -1/2 binary64) (neg.f64 y))) z)) x))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (neg.f64 (/.f64 (fma.f64 (/.f64 (.f64 (.f64 y y) t) (*.f64 z z)) #s(literal -1/2 binary64) (neg.f64 y)) z)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (neg.f64 (/.f64 (+.f64 (fma.f64 (/.f64 (.f64 (.f64 y y) t) (.f64 z z)) #s(literal -1/2 binary64) (neg.f64 y)) (.f64 (/.f64 (.f64 (.f64 (.f64 y y) y) (.f64 t t)) (.f64 (.f64 z z) (*.f64 z z))) #s(literal -1/4 binary64))) z)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (neg.f64 (/.f64 (+.f64 (fma.f64 (/.f64 (.f64 (.f64 y y) t) (.f64 z z)) #s(literal -1/2 binary64) (neg.f64 y)) (fma.f64 #s(literal -1/8 binary64) (.f64 (.f64 (.f64 t t) t) (/.f64 (.f64 (.f64 y y) (.f64 y y)) (.f64 (.f64 (.f64 z z) z) (.f64 (.f64 z z) z)))) (.f64 (/.f64 (.f64 (.f64 (.f64 y y) y) (.f64 t t)) (.f64 (.f64 z z) (.f64 z z))) #s(literal -1/4 binary64)))) z)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (-.f64 x (/.f64 y z)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (-.f64 (fma.f64 (fma.f64 (/.f64 (.f64 (.f64 (.f64 y y) y) t) (pow.f64 z #s(literal 5 binary64))) #s(literal -1/4 binary64) (.f64 #s(literal -1/2 binary64) (/.f64 (.f64 y y) (.f64 (*.f64 z z) z)))) t x) (/.f64 y z)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (-.f64 (fma.f64 t (fma.f64 t (fma.f64 (/.f64 (.f64 (.f64 (.f64 y y) (.f64 y y)) t) (pow.f64 z #s(literal 7 binary64))) #s(literal -1/8 binary64) (.f64 #s(literal -1/4 binary64) (/.f64 (.f64 (.f64 y y) y) (pow.f64 z #s(literal 5 binary64))))) (.f64 #s(literal -1/2 binary64) (/.f64 (.f64 y y) (.f64 (*.f64 z z) z)))) x) (/.f64 y z)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (fma.f64 (/.f64 (.f64 (.f64 y y) t) (.f64 (.f64 z z) z)) #s(literal 1/2 binary64) (/.f64 y z)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (fma.f64 (fma.f64 (/.f64 (.f64 y y) (.f64 (.f64 z z) z)) #s(literal 1/2 binary64) (/.f64 (.f64 #s(literal 1/4 binary64) (.f64 (.f64 (*.f64 y y) y) t)) (pow.f64 z #s(literal 5 binary64)))) t (/.f64 y z)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (fma.f64 t (fma.f64 t (fma.f64 (/.f64 (.f64 (.f64 y y) y) (pow.f64 z #s(literal 5 binary64))) #s(literal 1/4 binary64) (.f64 (/.f64 (.f64 (.f64 (.f64 y y) (.f64 y y)) t) (pow.f64 z #s(literal 7 binary64))) #s(literal 1/8 binary64))) (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 y y)) (.f64 (*.f64 z z) z))) (/.f64 y z)))
#s(approx t t)
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 (fma.f64 (/.f64 (.f64 (.f64 z z) z) (.f64 t y)) #s(literal -4 binary64) (.f64 #s(literal -2 binary64) z)) t))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 (fma.f64 (/.f64 (pow.f64 z #s(literal 5 binary64)) (.f64 (.f64 y y) (.f64 t t))) #s(literal -8 binary64) (fma.f64 (/.f64 (.f64 (.f64 z z) z) (.f64 t y)) #s(literal -4 binary64) (*.f64 #s(literal -2 binary64) z))) t))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 (fma.f64 (/.f64 (pow.f64 z #s(literal 7 binary64)) (.f64 (.f64 (.f64 y y) y) (.f64 (.f64 t t) t))) #s(literal -16 binary64) (fma.f64 (/.f64 (pow.f64 z #s(literal 5 binary64)) (.f64 (.f64 y y) (.f64 t t))) #s(literal -8 binary64) (fma.f64 (/.f64 (.f64 (.f64 z z) z) (.f64 t y)) #s(literal -4 binary64) (.f64 #s(literal -2 binary64) z)))) t))
#s(approx (- (* (* z 2) z) (* y t)) (.f64 (-.f64 (.f64 (/.f64 (*.f64 z z) t) #s(literal 2 binary64)) y) t))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+.f64 (neg.f64 (/.f64 (fma.f64 (/.f64 (.f64 (.f64 z z) z) (.f64 t y)) #s(literal -4 binary64) (.f64 #s(literal -2 binary64) z)) t)) x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+.f64 (neg.f64 (/.f64 (-.f64 (neg.f64 (/.f64 (fma.f64 (/.f64 (pow.f64 z #s(literal 5 binary64)) (.f64 (.f64 y y) t)) #s(literal 8 binary64) (.f64 #s(literal 4 binary64) (/.f64 (.f64 (*.f64 z z) z) y))) t)) (+.f64 z z)) t)) x))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (neg.f64 (/.f64 (fma.f64 (/.f64 (.f64 (.f64 z z) z) (*.f64 t y)) #s(literal 4 binary64) (+.f64 z z)) t)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (neg.f64 (/.f64 (fma.f64 z #s(literal 2 binary64) (neg.f64 (/.f64 (fma.f64 (/.f64 (.f64 (.f64 z z) z) y) #s(literal -4 binary64) (/.f64 (.f64 #s(literal -8 binary64) (pow.f64 z #s(literal 5 binary64))) (.f64 (*.f64 y y) t))) t))) t)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (neg.f64 (/.f64 (fma.f64 z #s(literal 2 binary64) (neg.f64 (/.f64 (fma.f64 (/.f64 (.f64 (.f64 z z) z) y) #s(literal -4 binary64) (neg.f64 (/.f64 (fma.f64 (/.f64 (pow.f64 z #s(literal 7 binary64)) (.f64 (.f64 (.f64 y y) y) t)) #s(literal 16 binary64) (/.f64 (.f64 #s(literal 8 binary64) (pow.f64 z #s(literal 5 binary64))) (*.f64 y y))) t))) t))) t)))
#s(approx (- (* (* z 2) z) (* y t)) (.f64 (neg.f64 t) (-.f64 (.f64 (/.f64 (*.f64 z z) t) #s(literal -2 binary64)) (neg.f64 y))))

eval28.0ms (1.1%)

Memory: -31.0MiB live, 24.6MiB allocated; 4ms collecting garbage
Compiler: Compiled 1 679 to 577 computations (65.6% saved)

prune3.0ms (0.1%)

Memory

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

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	98	3	101
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	99	3	102

Accuracy

100.0%

Counts

102 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	61.2%	(-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)))
▶	49.3%	#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (fma.f64 (/.f64 (.f64 z z) (.f64 (*.f64 t t) y)) #s(literal 4 binary64) (/.f64 #s(literal 2 binary64) t)) z x))
▶	68.0%	#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (/.f64 z t) #s(literal 2 binary64) x))

Status

Accuracy

Program

▶

61.2%

(-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)))

▶

49.3%

#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (fma.f64 (/.f64 (*.f64 z z) (*.f64 (*.f64 t t) y)) #s(literal 4 binary64) (/.f64 #s(literal 2 binary64) t)) z x))

▶

68.0%

#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (/.f64 z t) #s(literal 2 binary64) x))

Compiler

Compiled 55 to 55 computations (0% saved)

series36.0ms (1.4%)

Memory

19.5MiB live, 65.9MiB allocated; 3ms collecting garbage

Counts

20 → 89

Calls

Call 1

Inputs
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (/.f64 z t) #s(literal 2 binary64) x))
(fma.f64 (/.f64 z t) #s(literal 2 binary64) x)
(/.f64 z t)
z
t
#s(literal 2 binary64)
x
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (fma.f64 (/.f64 (.f64 z z) (.f64 (*.f64 t t) y)) #s(literal 4 binary64) (/.f64 #s(literal 2 binary64) t)) z x))
(fma.f64 (fma.f64 (/.f64 (.f64 z z) (.f64 (*.f64 t t) y)) #s(literal 4 binary64) (/.f64 #s(literal 2 binary64) t)) z x)
(fma.f64 (/.f64 (.f64 z z) (.f64 (*.f64 t t) y)) #s(literal 4 binary64) (/.f64 #s(literal 2 binary64) t))
(/.f64 (.f64 z z) (.f64 (*.f64 t t) y))
(*.f64 z z)
(.f64 (.f64 t t) y)
(*.f64 t t)
y
#s(literal 4 binary64)
(/.f64 #s(literal 2 binary64) t)
(-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z))
(/.f64 y z)

Outputs
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (* -2 (/ (* y z) (- (* 2 (pow z 2)) (* t y))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- x (* 2 (/ (* y z) (- (* 2 (pow z 2)) (* t y)))))))
#s(approx (+ (* (/ z t) 2) x) #s(hole binary64 (* 2 (/ z t))))
#s(approx (+ (* (/ z t) 2) x) #s(hole binary64 (+ x (* 2 (/ z t)))))
#s(approx x #s(hole binary64 x))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (* z (+ (* 4 (/ (pow z 2) (* (pow t 2) y))) (* 2 (/ 1 t))))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (+ x (* z (+ (* 4 (/ (pow z 2) (* (pow t 2) y))) (* 2 (/ 1 t)))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (* x (+ 1 (* -2 (/ (* y z) (* x (- (* 2 (pow z 2)) (* t y)))))))))
#s(approx (+ (* (/ z t) 2) x) #s(hole binary64 (* x (+ 1 (* 2 (/ z (* t x)))))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (* x (+ 1 (/ (* z (+ (* 4 (/ (pow z 2) (* (pow t 2) y))) (* 2 (/ 1 t)))) x)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (* -1 (* x (- (* 2 (/ (* y z) (* x (- (* 2 (pow z 2)) (* t y))))) 1)))))
#s(approx (+ (* (/ z t) 2) x) #s(hole binary64 (* -1 (* x (- (* -2 (/ z (* t x))) 1)))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (* -1 (* x (- (* -1 (/ (* z (+ (* 4 (/ (pow z 2) (* (pow t 2) y))) (* 2 (/ 1 t)))) x)) 1)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ y z)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* y (- (* -1/2 (/ (* t y) (pow z 3))) (/ 1 z))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* y (- (* y (- (* -1/4 (/ (* (pow t 2) y) (pow z 5))) (* 1/2 (/ t (pow z 3))))) (/ 1 z))))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (* 4 (/ (pow z 3) (* (pow t 2) y)))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (/ (+ (* 4 (/ (pow z 3) (pow t 2))) (* y (+ x (* 2 (/ z t))))) y)))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) #s(hole binary64 (* 4 (/ (pow z 2) (* (pow t 2) y)))))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) #s(hole binary64 (/ (+ (* 2 (/ y t)) (* 4 (/ (pow z 2) (pow t 2)))) y)))
#s(approx (/ (* z z) (* (* t t) y)) #s(hole binary64 (/ (pow z 2) (* (pow t 2) y))))
#s(approx (* (* t t) y) #s(hole binary64 (* (pow t 2) y)))
#s(approx y #s(hole binary64 y))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ y z)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* y (+ (* 1/2 (/ (* t y) (pow z 3))) (/ 1 z)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* y (+ (* y (+ (* 1/4 (/ (* (pow t 2) y) (pow z 5))) (* 1/2 (/ t (pow z 3))))) (/ 1 z)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* y (+ (* y (+ (* 1/2 (/ t (pow z 3))) (* y (+ (* 1/8 (/ (* (pow t 3) y) (pow z 7))) (* 1/4 (/ (pow t 2) (pow z 5))))))) (/ 1 z)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- x (* -2 (/ z t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* 4 (/ (pow z 3) (* (pow t 2) y)))) (* -2 (/ z t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* 8 (/ (pow z 5) (* (pow t 3) (pow y 2))))) (+ (* -4 (/ (pow z 3) (* (pow t 2) y))) (* -2 (/ z t))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* 16 (/ (pow z 7) (* (pow t 4) (pow y 3))))) (+ (* -8 (/ (pow z 5) (* (pow t 3) (pow y 2)))) (+ (* -4 (/ (pow z 3) (* (pow t 2) y))) (* -2 (/ z t)))))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (+ x (+ (* 2 (/ z t)) (* 4 (/ (pow z 3) (* (pow t 2) y)))))))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) #s(hole binary64 (/ 2 t)))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) #s(hole binary64 (+ (* 4 (/ (pow z 2) (* (pow t 2) y))) (* 2 (/ 1 t)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -2 (/ z t))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* -4 (/ (pow z 3) (* (pow t 2) y))) (* -2 (/ z t)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* -8 (/ (pow z 5) (* (pow t 3) (pow y 2)))) (+ (* -4 (/ (pow z 3) (* (pow t 2) y))) (* -2 (/ z t))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* -16 (/ (pow z 7) (* (pow t 4) (pow y 3)))) (+ (* -8 (/ (pow z 5) (* (pow t 3) (pow y 2)))) (+ (* -4 (/ (pow z 3) (* (pow t 2) y))) (* -2 (/ z t)))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* -1 (/ (- (* -8 (/ (pow z 5) (* (pow t 3) y))) (* 4 (/ (pow z 3) (pow t 2)))) y))) (* -2 (/ z t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* -1 (/ (- (* -1 (/ (- (* 16 (/ (pow z 7) (* (pow t 4) y))) (* -8 (/ (pow z 5) (pow t 3)))) y)) (* 4 (/ (pow z 3) (pow t 2)))) y))) (* -2 (/ z t)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* -2 (/ z t)) (* -1 (/ (+ (* 4 (/ (pow z 3) (pow t 2))) (* 8 (/ (pow z 5) (* (pow t 3) y)))) y)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* -2 (/ z t)) (* -1 (/ (+ (* -1 (/ (+ (* -16 (/ (pow z 7) (* (pow t 4) y))) (* -8 (/ (pow z 5) (pow t 3)))) y)) (* 4 (/ (pow z 3) (pow t 2)))) y)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* z (+ (* (pow z 2) (+ (* 8 (/ (pow z 2) (* (pow t 3) (pow y 2)))) (* 4 (/ 1 (* (pow t 2) y))))) (* 2 (/ 1 t)))))))
#s(approx (/ z t) #s(hole binary64 (/ z t)))
#s(approx z #s(hole binary64 z))
#s(approx (* z z) #s(hole binary64 (pow z 2)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* z (- (* -4 (/ (pow z 2) (* (pow t 2) y))) (* 2 (/ 1 t))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* z (- (* (pow z 2) (- (* -8 (/ (pow z 2) (* (pow t 3) (pow y 2)))) (* 4 (/ 1 (* (pow t 2) y))))) (* 2 (/ 1 t))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* z (- (* (pow z 2) (- (* (pow z 2) (- (* -16 (/ (pow z 2) (* (pow t 4) (pow y 3)))) (* 8 (/ 1 (* (pow t 3) (pow y 2)))))) (* 4 (/ 1 (* (pow t 2) y))))) (* 2 (/ 1 t))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* -1/2 (/ (* t (pow y 2)) (pow z 3)))) (/ y z))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* -1/4 (/ (* (pow t 2) (pow y 3)) (pow z 5)))) (+ (* 1/2 (/ (* t (pow y 2)) (pow z 3))) (/ y z)))))
#s(approx (+ (* (/ z t) 2) x) #s(hole binary64 (* z (+ (* 2 (/ 1 t)) (/ x z)))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (* (pow z 3) (+ (* 2 (/ 1 (* t (pow z 2)))) (* 4 (/ 1 (* (pow t 2) y)))))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (* (pow z 3) (+ (* 4 (/ 1 (* (pow t 2) y))) (+ (/ 2 (* t (pow z 2))) (/ x (pow z 3)))))))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) #s(hole binary64 (* (pow z 2) (+ (* 2 (/ 1 (* t (pow z 2)))) (* 4 (/ 1 (* (pow t 2) y)))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ y (* 1/2 (/ (* t (pow y 2)) (pow z 2)))) z)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ y (+ (* 1/4 (/ (* (pow t 2) (pow y 3)) (pow z 4))) (* 1/2 (/ (* t (pow y 2)) (pow z 2))))) z)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ y (+ (* 1/8 (/ (* (pow t 3) (pow y 4)) (pow z 6))) (+ (* 1/4 (/ (* (pow t 2) (pow y 3)) (pow z 4))) (* 1/2 (/ (* t (pow y 2)) (pow z 2)))))) z)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ (- (* 1/2 (/ (* t (pow y 2)) (pow z 2))) (* -1 y)) z)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ (- (* 1/4 (/ (* (pow t 2) (pow y 3)) (pow z 4))) (+ (* -1 y) (* -1/2 (/ (* t (pow y 2)) (pow z 2))))) z)))))
#s(approx (+ (* (/ z t) 2) x) #s(hole binary64 (* -1 (* z (- (* -1 (/ x z)) (* 2 (/ 1 t)))))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (* (pow z 3) (+ (* 4 (/ 1 (* (pow t 2) y))) (* 2 (/ 1 (* t (pow z 2))))))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (* -1 (* (pow z 3) (- (* -1 (/ x (pow z 3))) (+ (* 4 (/ 1 (* (pow t 2) y))) (/ 2 (* t (pow z 2)))))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* -1 y) (* -1/2 (/ (* t (pow y 2)) (pow z 2)))) z))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* -1 y) (+ (* -1/2 (/ (* t (pow y 2)) (pow z 2))) (* -1/4 (/ (* (pow t 2) (pow y 3)) (pow z 4))))) z))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* -1 y) (+ (* -1/2 (/ (* t (pow y 2)) (pow z 2))) (+ (* -1/4 (/ (* (pow t 2) (pow y 3)) (pow z 4))) (* -1/8 (/ (* (pow t 3) (pow y 4)) (pow z 6)))))) z))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- x (/ y z))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* t (- (* -1/4 (/ (* t (pow y 3)) (pow z 5))) (* 1/2 (/ (pow y 2) (pow z 3)))))) (/ y z))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* t (- (* t (- (* -1/8 (/ (* t (pow y 4)) (pow z 7))) (* 1/4 (/ (pow y 3) (pow z 5))))) (* 1/2 (/ (pow y 2) (pow z 3)))))) (/ y z))))
#s(approx (+ (* (/ z t) 2) x) #s(hole binary64 (/ (+ (* 2 z) (* t x)) t)))
#s(approx t #s(hole binary64 t))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (/ (+ (* 2 (* t z)) (* 4 (/ (pow z 3) y))) (pow t 2))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (/ (+ (* 4 (/ (pow z 3) y)) (* t (+ (* 2 z) (* t x)))) (pow t 2))))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) #s(hole binary64 (/ (+ (* 2 t) (* 4 (/ (pow z 2) y))) (pow t 2))))
#s(approx (* t t) #s(hole binary64 (pow t 2)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* 1/2 (/ (* t (pow y 2)) (pow z 3))) (/ y z))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* t (+ (* 1/4 (/ (* t (pow y 3)) (pow z 5))) (* 1/2 (/ (pow y 2) (pow z 3))))) (/ y z))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* t (+ (* 1/2 (/ (pow y 2) (pow z 3))) (* t (+ (* 1/8 (/ (* t (pow y 4)) (pow z 7))) (* 1/4 (/ (pow y 3) (pow z 5))))))) (/ y z))))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) #s(hole binary64 (/ (+ 2 (* 4 (/ (pow z 2) (* t y)))) t)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ (* -4 (/ (pow z 3) (* t y))) (* -2 z)) t)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ (* -8 (/ (pow z 5) (* (pow t 2) (pow y 2)))) (+ (* -4 (/ (pow z 3) (* t y))) (* -2 z))) t)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ (* -16 (/ (pow z 7) (* (pow t 3) (pow y 3)))) (+ (* -8 (/ (pow z 5) (* (pow t 2) (pow y 2)))) (+ (* -4 (/ (pow z 3) (* t y))) (* -2 z)))) t)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ (- (* -4 (/ (pow z 3) (* t y))) (* 2 z)) t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ (- (* -1 (/ (- (* 8 (/ (pow z 5) (* t (pow y 2)))) (* -4 (/ (pow z 3) y))) t)) (* 2 z)) t)))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (+ x (* -1 (/ (+ (* -4 (/ (pow z 3) (* t y))) (* -2 z)) t)))))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) #s(hole binary64 (* -1 (/ (- (* -4 (/ (pow z 2) (* t y))) 2) t))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* 2 z) (* 4 (/ (pow z 3) (* t y)))) t))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* -1 (/ (+ (* -8 (/ (pow z 5) (* t (pow y 2)))) (* -4 (/ (pow z 3) y))) t)) (* 2 z)) t))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* -1 (/ (+ (* -4 (/ (pow z 3) y)) (* -1 (/ (+ (* 8 (/ (pow z 5) (pow y 2))) (* 16 (/ (pow z 7) (* t (pow y 3))))) t))) t)) (* 2 z)) t))))

Calls

12 calls:

Time	Variable		Point	Expression
7.0ms	z	@	inf	((- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+ (* (/ z t) 2) x) (/ z t) z t 2 x (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/ (* z z) (* (* t t) y)) (* z z) (* (* t t) y) (* t t) y 4 (/ 2 t) (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/ y z))
4.0ms	y	@	0	((- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+ (* (/ z t) 2) x) (/ z t) z t 2 x (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/ (* z z) (* (* t t) y)) (* z z) (* (* t t) y) (* t t) y 4 (/ 2 t) (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/ y z))
3.0ms	z	@	-inf	((- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+ (* (/ z t) 2) x) (/ z t) z t 2 x (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/ (* z z) (* (* t t) y)) (* z z) (* (* t t) y) (* t t) y 4 (/ 2 t) (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/ y z))
3.0ms	y	@	-inf	((- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+ (* (/ z t) 2) x) (/ z t) z t 2 x (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/ (* z z) (* (* t t) y)) (* z z) (* (* t t) y) (* t t) y 4 (/ 2 t) (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/ y z))
3.0ms	t	@	inf	((- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+ (* (/ z t) 2) x) (/ z t) z t 2 x (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/ (* z z) (* (* t t) y)) (* z z) (* (* t t) y) (* t t) y 4 (/ 2 t) (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/ y z))

rewrite165.0ms (6.3%)

Memory

23.5MiB live, 208.2MiB allocated; 16ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	521	3401
0	536	3303
1	3061	3287
0	8319	3199

Stop Event

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

Counts

109 → 201

Calls

Call 1

Inputs
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (/.f64 z t) #s(literal 2 binary64) x))
(fma.f64 (/.f64 z t) #s(literal 2 binary64) x)
(/.f64 z t)
z
t
#s(literal 2 binary64)
x
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (fma.f64 (/.f64 (.f64 z z) (.f64 (*.f64 t t) y)) #s(literal 4 binary64) (/.f64 #s(literal 2 binary64) t)) z x))
(fma.f64 (fma.f64 (/.f64 (.f64 z z) (.f64 (*.f64 t t) y)) #s(literal 4 binary64) (/.f64 #s(literal 2 binary64) t)) z x)
(fma.f64 (/.f64 (.f64 z z) (.f64 (*.f64 t t) y)) #s(literal 4 binary64) (/.f64 #s(literal 2 binary64) t))
(/.f64 (.f64 z z) (.f64 (*.f64 t t) y))
(*.f64 z z)
(.f64 (.f64 t t) y)
(*.f64 t t)
y
#s(literal 4 binary64)
(/.f64 #s(literal 2 binary64) t)
(-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z))
(/.f64 y z)
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (* -2 (/ (* y z) (- (* 2 (pow z 2)) (* t y))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- x (* 2 (/ (* y z) (- (* 2 (pow z 2)) (* t y)))))))
#s(approx (+ (* (/ z t) 2) x) #s(hole binary64 (* 2 (/ z t))))
#s(approx (+ (* (/ z t) 2) x) #s(hole binary64 (+ x (* 2 (/ z t)))))
#s(approx x #s(hole binary64 x))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (* z (+ (* 4 (/ (pow z 2) (* (pow t 2) y))) (* 2 (/ 1 t))))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (+ x (* z (+ (* 4 (/ (pow z 2) (* (pow t 2) y))) (* 2 (/ 1 t)))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (* x (+ 1 (* -2 (/ (* y z) (* x (- (* 2 (pow z 2)) (* t y)))))))))
#s(approx (+ (* (/ z t) 2) x) #s(hole binary64 (* x (+ 1 (* 2 (/ z (* t x)))))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (* x (+ 1 (/ (* z (+ (* 4 (/ (pow z 2) (* (pow t 2) y))) (* 2 (/ 1 t)))) x)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (* -1 (* x (- (* 2 (/ (* y z) (* x (- (* 2 (pow z 2)) (* t y))))) 1)))))
#s(approx (+ (* (/ z t) 2) x) #s(hole binary64 (* -1 (* x (- (* -2 (/ z (* t x))) 1)))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (* -1 (* x (- (* -1 (/ (* z (+ (* 4 (/ (pow z 2) (* (pow t 2) y))) (* 2 (/ 1 t)))) x)) 1)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ y z)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* y (- (* -1/2 (/ (* t y) (pow z 3))) (/ 1 z))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* y (- (* y (- (* -1/4 (/ (* (pow t 2) y) (pow z 5))) (* 1/2 (/ t (pow z 3))))) (/ 1 z))))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (* 4 (/ (pow z 3) (* (pow t 2) y)))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (/ (+ (* 4 (/ (pow z 3) (pow t 2))) (* y (+ x (* 2 (/ z t))))) y)))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) #s(hole binary64 (* 4 (/ (pow z 2) (* (pow t 2) y)))))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) #s(hole binary64 (/ (+ (* 2 (/ y t)) (* 4 (/ (pow z 2) (pow t 2)))) y)))
#s(approx (/ (* z z) (* (* t t) y)) #s(hole binary64 (/ (pow z 2) (* (pow t 2) y))))
#s(approx (* (* t t) y) #s(hole binary64 (* (pow t 2) y)))
#s(approx y #s(hole binary64 y))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ y z)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* y (+ (* 1/2 (/ (* t y) (pow z 3))) (/ 1 z)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* y (+ (* y (+ (* 1/4 (/ (* (pow t 2) y) (pow z 5))) (* 1/2 (/ t (pow z 3))))) (/ 1 z)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* y (+ (* y (+ (* 1/2 (/ t (pow z 3))) (* y (+ (* 1/8 (/ (* (pow t 3) y) (pow z 7))) (* 1/4 (/ (pow t 2) (pow z 5))))))) (/ 1 z)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- x (* -2 (/ z t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* 4 (/ (pow z 3) (* (pow t 2) y)))) (* -2 (/ z t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* 8 (/ (pow z 5) (* (pow t 3) (pow y 2))))) (+ (* -4 (/ (pow z 3) (* (pow t 2) y))) (* -2 (/ z t))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* 16 (/ (pow z 7) (* (pow t 4) (pow y 3))))) (+ (* -8 (/ (pow z 5) (* (pow t 3) (pow y 2)))) (+ (* -4 (/ (pow z 3) (* (pow t 2) y))) (* -2 (/ z t)))))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (+ x (+ (* 2 (/ z t)) (* 4 (/ (pow z 3) (* (pow t 2) y)))))))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) #s(hole binary64 (/ 2 t)))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) #s(hole binary64 (+ (* 4 (/ (pow z 2) (* (pow t 2) y))) (* 2 (/ 1 t)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -2 (/ z t))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* -4 (/ (pow z 3) (* (pow t 2) y))) (* -2 (/ z t)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* -8 (/ (pow z 5) (* (pow t 3) (pow y 2)))) (+ (* -4 (/ (pow z 3) (* (pow t 2) y))) (* -2 (/ z t))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* -16 (/ (pow z 7) (* (pow t 4) (pow y 3)))) (+ (* -8 (/ (pow z 5) (* (pow t 3) (pow y 2)))) (+ (* -4 (/ (pow z 3) (* (pow t 2) y))) (* -2 (/ z t)))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* -1 (/ (- (* -8 (/ (pow z 5) (* (pow t 3) y))) (* 4 (/ (pow z 3) (pow t 2)))) y))) (* -2 (/ z t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* -1 (/ (- (* -1 (/ (- (* 16 (/ (pow z 7) (* (pow t 4) y))) (* -8 (/ (pow z 5) (pow t 3)))) y)) (* 4 (/ (pow z 3) (pow t 2)))) y))) (* -2 (/ z t)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* -2 (/ z t)) (* -1 (/ (+ (* 4 (/ (pow z 3) (pow t 2))) (* 8 (/ (pow z 5) (* (pow t 3) y)))) y)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* -2 (/ z t)) (* -1 (/ (+ (* -1 (/ (+ (* -16 (/ (pow z 7) (* (pow t 4) y))) (* -8 (/ (pow z 5) (pow t 3)))) y)) (* 4 (/ (pow z 3) (pow t 2)))) y)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* z (+ (* (pow z 2) (+ (* 8 (/ (pow z 2) (* (pow t 3) (pow y 2)))) (* 4 (/ 1 (* (pow t 2) y))))) (* 2 (/ 1 t)))))))
#s(approx (/ z t) #s(hole binary64 (/ z t)))
#s(approx z #s(hole binary64 z))
#s(approx (* z z) #s(hole binary64 (pow z 2)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* z (- (* -4 (/ (pow z 2) (* (pow t 2) y))) (* 2 (/ 1 t))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* z (- (* (pow z 2) (- (* -8 (/ (pow z 2) (* (pow t 3) (pow y 2)))) (* 4 (/ 1 (* (pow t 2) y))))) (* 2 (/ 1 t))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* z (- (* (pow z 2) (- (* (pow z 2) (- (* -16 (/ (pow z 2) (* (pow t 4) (pow y 3)))) (* 8 (/ 1 (* (pow t 3) (pow y 2)))))) (* 4 (/ 1 (* (pow t 2) y))))) (* 2 (/ 1 t))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* -1/2 (/ (* t (pow y 2)) (pow z 3)))) (/ y z))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* -1/4 (/ (* (pow t 2) (pow y 3)) (pow z 5)))) (+ (* 1/2 (/ (* t (pow y 2)) (pow z 3))) (/ y z)))))
#s(approx (+ (* (/ z t) 2) x) #s(hole binary64 (* z (+ (* 2 (/ 1 t)) (/ x z)))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (* (pow z 3) (+ (* 2 (/ 1 (* t (pow z 2)))) (* 4 (/ 1 (* (pow t 2) y)))))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (* (pow z 3) (+ (* 4 (/ 1 (* (pow t 2) y))) (+ (/ 2 (* t (pow z 2))) (/ x (pow z 3)))))))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) #s(hole binary64 (* (pow z 2) (+ (* 2 (/ 1 (* t (pow z 2)))) (* 4 (/ 1 (* (pow t 2) y)))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ y (* 1/2 (/ (* t (pow y 2)) (pow z 2)))) z)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ y (+ (* 1/4 (/ (* (pow t 2) (pow y 3)) (pow z 4))) (* 1/2 (/ (* t (pow y 2)) (pow z 2))))) z)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ y (+ (* 1/8 (/ (* (pow t 3) (pow y 4)) (pow z 6))) (+ (* 1/4 (/ (* (pow t 2) (pow y 3)) (pow z 4))) (* 1/2 (/ (* t (pow y 2)) (pow z 2)))))) z)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ (- (* 1/2 (/ (* t (pow y 2)) (pow z 2))) (* -1 y)) z)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ (- (* 1/4 (/ (* (pow t 2) (pow y 3)) (pow z 4))) (+ (* -1 y) (* -1/2 (/ (* t (pow y 2)) (pow z 2))))) z)))))
#s(approx (+ (* (/ z t) 2) x) #s(hole binary64 (* -1 (* z (- (* -1 (/ x z)) (* 2 (/ 1 t)))))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (* (pow z 3) (+ (* 4 (/ 1 (* (pow t 2) y))) (* 2 (/ 1 (* t (pow z 2))))))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (* -1 (* (pow z 3) (- (* -1 (/ x (pow z 3))) (+ (* 4 (/ 1 (* (pow t 2) y))) (/ 2 (* t (pow z 2)))))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* -1 y) (* -1/2 (/ (* t (pow y 2)) (pow z 2)))) z))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* -1 y) (+ (* -1/2 (/ (* t (pow y 2)) (pow z 2))) (* -1/4 (/ (* (pow t 2) (pow y 3)) (pow z 4))))) z))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* -1 y) (+ (* -1/2 (/ (* t (pow y 2)) (pow z 2))) (+ (* -1/4 (/ (* (pow t 2) (pow y 3)) (pow z 4))) (* -1/8 (/ (* (pow t 3) (pow y 4)) (pow z 6)))))) z))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- x (/ y z))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* t (- (* -1/4 (/ (* t (pow y 3)) (pow z 5))) (* 1/2 (/ (pow y 2) (pow z 3)))))) (/ y z))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* t (- (* t (- (* -1/8 (/ (* t (pow y 4)) (pow z 7))) (* 1/4 (/ (pow y 3) (pow z 5))))) (* 1/2 (/ (pow y 2) (pow z 3)))))) (/ y z))))
#s(approx (+ (* (/ z t) 2) x) #s(hole binary64 (/ (+ (* 2 z) (* t x)) t)))
#s(approx t #s(hole binary64 t))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (/ (+ (* 2 (* t z)) (* 4 (/ (pow z 3) y))) (pow t 2))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (/ (+ (* 4 (/ (pow z 3) y)) (* t (+ (* 2 z) (* t x)))) (pow t 2))))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) #s(hole binary64 (/ (+ (* 2 t) (* 4 (/ (pow z 2) y))) (pow t 2))))
#s(approx (* t t) #s(hole binary64 (pow t 2)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* 1/2 (/ (* t (pow y 2)) (pow z 3))) (/ y z))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* t (+ (* 1/4 (/ (* t (pow y 3)) (pow z 5))) (* 1/2 (/ (pow y 2) (pow z 3))))) (/ y z))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* t (+ (* 1/2 (/ (pow y 2) (pow z 3))) (* t (+ (* 1/8 (/ (* t (pow y 4)) (pow z 7))) (* 1/4 (/ (pow y 3) (pow z 5))))))) (/ y z))))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) #s(hole binary64 (/ (+ 2 (* 4 (/ (pow z 2) (* t y)))) t)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ (* -4 (/ (pow z 3) (* t y))) (* -2 z)) t)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ (* -8 (/ (pow z 5) (* (pow t 2) (pow y 2)))) (+ (* -4 (/ (pow z 3) (* t y))) (* -2 z))) t)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ (* -16 (/ (pow z 7) (* (pow t 3) (pow y 3)))) (+ (* -8 (/ (pow z 5) (* (pow t 2) (pow y 2)))) (+ (* -4 (/ (pow z 3) (* t y))) (* -2 z)))) t)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ (- (* -4 (/ (pow z 3) (* t y))) (* 2 z)) t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ (- (* -1 (/ (- (* 8 (/ (pow z 5) (* t (pow y 2)))) (* -4 (/ (pow z 3) y))) t)) (* 2 z)) t)))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (+ x (* -1 (/ (+ (* -4 (/ (pow z 3) (* t y))) (* -2 z)) t)))))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) #s(hole binary64 (* -1 (/ (- (* -4 (/ (pow z 2) (* t y))) 2) t))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* 2 z) (* 4 (/ (pow z 3) (* t y)))) t))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* -1 (/ (+ (* -8 (/ (pow z 5) (* t (pow y 2)))) (* -4 (/ (pow z 3) y))) t)) (* 2 z)) t))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* -1 (/ (+ (* -4 (/ (pow z 3) y)) (* -1 (/ (+ (* 8 (/ (pow z 5) (pow y 2))) (* 16 (/ (pow z 7) (* t (pow y 3))))) t))) t)) (* 2 z)) t))))

Outputs
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (/.f64 z t) #s(literal 2 binary64) x))
(/.f64 (neg.f64 (-.f64 (/.f64 (.f64 (+.f64 z z) (+.f64 z z)) (.f64 t t)) (*.f64 x x))) (neg.f64 (-.f64 (/.f64 (+.f64 z z) t) x)))
(/.f64 (neg.f64 (-.f64 (.f64 x x) (/.f64 (.f64 (+.f64 z z) (+.f64 z z)) (*.f64 t t)))) (neg.f64 (-.f64 x (/.f64 (+.f64 z z) t))))
(/.f64 (neg.f64 (-.f64 (.f64 x x) (/.f64 (.f64 (.f64 #s(literal -2 binary64) z) (.f64 #s(literal -2 binary64) z)) (.f64 t t)))) (neg.f64 (+.f64 x (.f64 (/.f64 z t) #s(literal -2 binary64)))))
(/.f64 (neg.f64 (+.f64 (/.f64 (.f64 #s(literal 8 binary64) (.f64 (.f64 z z) z)) (.f64 (.f64 t t) t)) (.f64 (.f64 x x) x))) (neg.f64 (fma.f64 (/.f64 (+.f64 z z) t) (/.f64 (+.f64 z z) t) (-.f64 (.f64 x x) (*.f64 (/.f64 (+.f64 z z) t) x)))))
(/.f64 (neg.f64 (fma.f64 (.f64 x x) x (/.f64 (.f64 #s(literal 8 binary64) (.f64 (.f64 z z) z)) (.f64 (.f64 t t) t)))) (neg.f64 (fma.f64 x x (-.f64 (/.f64 (.f64 (+.f64 z z) (+.f64 z z)) (.f64 t t)) (*.f64 x (/.f64 (+.f64 z z) t))))))
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 x x) x) (/.f64 (.f64 #s(literal -8 binary64) (.f64 (.f64 z z) z)) (.f64 (.f64 t t) t)))) (neg.f64 (fma.f64 x x (fma.f64 (.f64 (/.f64 z t) #s(literal -2 binary64)) (.f64 (/.f64 z t) #s(literal -2 binary64)) (.f64 x (*.f64 (/.f64 z t) #s(literal -2 binary64)))))))
(/.f64 (-.f64 (/.f64 (.f64 (+.f64 z z) (+.f64 z z)) (.f64 t t)) (*.f64 x x)) (-.f64 (/.f64 (+.f64 z z) t) x))
(/.f64 (-.f64 (.f64 x x) (/.f64 (.f64 (+.f64 z z) (+.f64 z z)) (*.f64 t t))) (-.f64 x (/.f64 (+.f64 z z) t)))
(/.f64 (-.f64 (.f64 x x) (/.f64 (.f64 (.f64 #s(literal -2 binary64) z) (.f64 #s(literal -2 binary64) z)) (.f64 t t))) (+.f64 x (.f64 (/.f64 z t) #s(literal -2 binary64))))
(/.f64 (+.f64 (/.f64 (.f64 #s(literal 8 binary64) (.f64 (.f64 z z) z)) (.f64 (.f64 t t) t)) (.f64 (.f64 x x) x)) (fma.f64 (/.f64 (+.f64 z z) t) (/.f64 (+.f64 z z) t) (-.f64 (.f64 x x) (*.f64 (/.f64 (+.f64 z z) t) x))))
(/.f64 (fma.f64 (.f64 x x) x (/.f64 (.f64 #s(literal 8 binary64) (.f64 (.f64 z z) z)) (.f64 (.f64 t t) t))) (fma.f64 x x (-.f64 (/.f64 (.f64 (+.f64 z z) (+.f64 z z)) (.f64 t t)) (*.f64 x (/.f64 (+.f64 z z) t)))))
(/.f64 (-.f64 (.f64 (.f64 x x) x) (/.f64 (.f64 #s(literal -8 binary64) (.f64 (.f64 z z) z)) (.f64 (.f64 t t) t))) (fma.f64 x x (fma.f64 (.f64 (/.f64 z t) #s(literal -2 binary64)) (.f64 (/.f64 z t) #s(literal -2 binary64)) (.f64 x (*.f64 (/.f64 z t) #s(literal -2 binary64))))))
(fma.f64 (/.f64 z t) #s(literal 2 binary64) x)
(fma.f64 #s(literal 2 binary64) (/.f64 z t) x)
(-.f64 x (*.f64 (/.f64 z t) #s(literal -2 binary64)))
(+.f64 (/.f64 (+.f64 z z) t) x)
(+.f64 x (/.f64 (+.f64 z z) t))
(/.f64 (neg.f64 (neg.f64 z)) (neg.f64 (neg.f64 t)))
(/.f64 (neg.f64 z) (neg.f64 t))
(/.f64 z t)
z
t
#s(literal 2 binary64)
x
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (fma.f64 #s(literal 4 binary64) (.f64 z (/.f64 z (.f64 (*.f64 t t) y))) (/.f64 #s(literal 2 binary64) t)) z x))
(/.f64 (neg.f64 (-.f64 (.f64 x x) (pow.f64 (.f64 (fma.f64 #s(literal 4 binary64) (.f64 z (/.f64 z (.f64 (.f64 t t) y))) (/.f64 #s(literal 2 binary64) t)) z) #s(literal 2 binary64)))) (neg.f64 (-.f64 x (.f64 (fma.f64 #s(literal 4 binary64) (.f64 z (/.f64 z (.f64 (*.f64 t t) y))) (/.f64 #s(literal 2 binary64) t)) z))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (fma.f64 #s(literal 4 binary64) (.f64 z (/.f64 z (.f64 (.f64 t t) y))) (/.f64 #s(literal 2 binary64) t)) z) #s(literal 2 binary64)) (.f64 x x))) (neg.f64 (-.f64 (.f64 (fma.f64 #s(literal 4 binary64) (.f64 z (/.f64 z (.f64 (*.f64 t t) y))) (/.f64 #s(literal 2 binary64) t)) z) x)))
(/.f64 (neg.f64 (fma.f64 (.f64 x x) x (pow.f64 (.f64 (fma.f64 #s(literal 4 binary64) (.f64 z (/.f64 z (.f64 (.f64 t t) y))) (/.f64 #s(literal 2 binary64) t)) z) #s(literal 3 binary64)))) (neg.f64 (fma.f64 x x (-.f64 (pow.f64 (.f64 (fma.f64 #s(literal 4 binary64) (.f64 z (/.f64 z (.f64 (.f64 t t) y))) (/.f64 #s(literal 2 binary64) t)) z) #s(literal 2 binary64)) (.f64 x (.f64 (fma.f64 #s(literal 4 binary64) (.f64 z (/.f64 z (.f64 (.f64 t t) y))) (/.f64 #s(literal 2 binary64) t)) z))))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 (fma.f64 #s(literal 4 binary64) (.f64 z (/.f64 z (.f64 (.f64 t t) y))) (/.f64 #s(literal 2 binary64) t)) z) #s(literal 3 binary64)) (.f64 (.f64 x x) x))) (neg.f64 (+.f64 (pow.f64 (.f64 (fma.f64 #s(literal 4 binary64) (.f64 z (/.f64 z (.f64 (.f64 t t) y))) (/.f64 #s(literal 2 binary64) t)) z) #s(literal 2 binary64)) (-.f64 (.f64 x x) (.f64 (.f64 (fma.f64 #s(literal 4 binary64) (.f64 z (/.f64 z (.f64 (.f64 t t) y))) (/.f64 #s(literal 2 binary64) t)) z) x)))))
(/.f64 (-.f64 (.f64 x x) (pow.f64 (.f64 (fma.f64 #s(literal 4 binary64) (.f64 z (/.f64 z (.f64 (.f64 t t) y))) (/.f64 #s(literal 2 binary64) t)) z) #s(literal 2 binary64))) (-.f64 x (.f64 (fma.f64 #s(literal 4 binary64) (.f64 z (/.f64 z (.f64 (*.f64 t t) y))) (/.f64 #s(literal 2 binary64) t)) z)))
(/.f64 (-.f64 (pow.f64 (.f64 (fma.f64 #s(literal 4 binary64) (.f64 z (/.f64 z (.f64 (.f64 t t) y))) (/.f64 #s(literal 2 binary64) t)) z) #s(literal 2 binary64)) (.f64 x x)) (-.f64 (.f64 (fma.f64 #s(literal 4 binary64) (.f64 z (/.f64 z (.f64 (*.f64 t t) y))) (/.f64 #s(literal 2 binary64) t)) z) x))
(/.f64 (fma.f64 (.f64 x x) x (pow.f64 (.f64 (fma.f64 #s(literal 4 binary64) (.f64 z (/.f64 z (.f64 (.f64 t t) y))) (/.f64 #s(literal 2 binary64) t)) z) #s(literal 3 binary64))) (fma.f64 x x (-.f64 (pow.f64 (.f64 (fma.f64 #s(literal 4 binary64) (.f64 z (/.f64 z (.f64 (.f64 t t) y))) (/.f64 #s(literal 2 binary64) t)) z) #s(literal 2 binary64)) (.f64 x (.f64 (fma.f64 #s(literal 4 binary64) (.f64 z (/.f64 z (.f64 (.f64 t t) y))) (/.f64 #s(literal 2 binary64) t)) z)))))
(/.f64 (+.f64 (pow.f64 (.f64 (fma.f64 #s(literal 4 binary64) (.f64 z (/.f64 z (.f64 (.f64 t t) y))) (/.f64 #s(literal 2 binary64) t)) z) #s(literal 3 binary64)) (.f64 (.f64 x x) x)) (+.f64 (pow.f64 (.f64 (fma.f64 #s(literal 4 binary64) (.f64 z (/.f64 z (.f64 (.f64 t t) y))) (/.f64 #s(literal 2 binary64) t)) z) #s(literal 2 binary64)) (-.f64 (.f64 x x) (.f64 (.f64 (fma.f64 #s(literal 4 binary64) (.f64 z (/.f64 z (.f64 (.f64 t t) y))) (/.f64 #s(literal 2 binary64) t)) z) x))))
(fma.f64 (fma.f64 #s(literal 4 binary64) (.f64 z (/.f64 z (.f64 (*.f64 t t) y))) (/.f64 #s(literal 2 binary64) t)) z x)
(fma.f64 z (fma.f64 #s(literal 4 binary64) (.f64 z (/.f64 z (.f64 (*.f64 t t) y))) (/.f64 #s(literal 2 binary64) t)) x)
(-.f64 x (.f64 (neg.f64 z) (fma.f64 #s(literal 4 binary64) (.f64 z (/.f64 z (.f64 (.f64 t t) y))) (/.f64 #s(literal 2 binary64) t))))
(+.f64 (.f64 (fma.f64 #s(literal 4 binary64) (.f64 z (/.f64 z (.f64 (.f64 t t) y))) (/.f64 #s(literal 2 binary64) t)) z) x)
(+.f64 x (.f64 (fma.f64 #s(literal 4 binary64) (.f64 z (/.f64 z (.f64 (.f64 t t) y))) (/.f64 #s(literal 2 binary64) t)) z))
(/.f64 (neg.f64 (-.f64 (pow.f64 (/.f64 (.f64 #s(literal 4 binary64) (.f64 z z)) (.f64 (.f64 t t) y)) #s(literal 2 binary64)) (/.f64 #s(literal 4 binary64) (.f64 t t)))) (neg.f64 (-.f64 (/.f64 (.f64 #s(literal 4 binary64) (.f64 z z)) (.f64 (*.f64 t t) y)) (/.f64 #s(literal 2 binary64) t))))
(/.f64 (neg.f64 (fma.f64 (pow.f64 (.f64 z (/.f64 z (.f64 (.f64 t t) y))) #s(literal 3 binary64)) #s(literal 64 binary64) (/.f64 #s(literal 8 binary64) (.f64 (.f64 t t) t)))) (neg.f64 (+.f64 (pow.f64 (/.f64 (.f64 #s(literal 4 binary64) (.f64 z z)) (.f64 (.f64 t t) y)) #s(literal 2 binary64)) (-.f64 (/.f64 #s(literal 4 binary64) (.f64 t t)) (/.f64 (.f64 (.f64 #s(literal 4 binary64) (.f64 z z)) #s(literal 2 binary64)) (.f64 (.f64 (.f64 t t) y) t))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (.f64 #s(literal 4 binary64) (.f64 z z)) (.f64 (.f64 t t) y)) #s(literal 2 binary64)) (/.f64 #s(literal 4 binary64) (.f64 t t))) (-.f64 (/.f64 (.f64 #s(literal 4 binary64) (.f64 z z)) (.f64 (*.f64 t t) y)) (/.f64 #s(literal 2 binary64) t)))
(/.f64 (fma.f64 (pow.f64 (.f64 z (/.f64 z (.f64 (.f64 t t) y))) #s(literal 3 binary64)) #s(literal 64 binary64) (/.f64 #s(literal 8 binary64) (.f64 (.f64 t t) t))) (+.f64 (pow.f64 (/.f64 (.f64 #s(literal 4 binary64) (.f64 z z)) (.f64 (.f64 t t) y)) #s(literal 2 binary64)) (-.f64 (/.f64 #s(literal 4 binary64) (.f64 t t)) (/.f64 (.f64 (.f64 #s(literal 4 binary64) (.f64 z z)) #s(literal 2 binary64)) (.f64 (.f64 (.f64 t t) y) t)))))
(fma.f64 (/.f64 #s(literal 1 binary64) t) #s(literal 2 binary64) (/.f64 (.f64 #s(literal 4 binary64) (.f64 z z)) (.f64 (.f64 t t) y)))
(fma.f64 #s(literal 4 binary64) (.f64 z (/.f64 z (.f64 (*.f64 t t) y))) (/.f64 #s(literal 2 binary64) t))
(fma.f64 (.f64 z (/.f64 z (.f64 (*.f64 t t) y))) #s(literal 4 binary64) (/.f64 #s(literal 2 binary64) t))
(fma.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) t) (/.f64 (.f64 #s(literal 4 binary64) (.f64 z z)) (.f64 (.f64 t t) y)))
(-.f64 (/.f64 (.f64 #s(literal 4 binary64) (.f64 z z)) (.f64 (.f64 t t) y)) (*.f64 #s(literal -2 binary64) (/.f64 #s(literal 1 binary64) t)))
(+.f64 (/.f64 #s(literal 2 binary64) t) (/.f64 (.f64 #s(literal 4 binary64) (.f64 z z)) (.f64 (.f64 t t) y)))
(+.f64 (/.f64 (.f64 #s(literal 4 binary64) (.f64 z z)) (.f64 (.f64 t t) y)) (/.f64 #s(literal 2 binary64) t))
(.f64 (/.f64 z (.f64 t t)) (/.f64 z y))
(.f64 z (/.f64 z (.f64 (*.f64 t t) y)))
(/.f64 (neg.f64 (/.f64 (.f64 z z) (.f64 t t))) (neg.f64 y))
(/.f64 (neg.f64 (neg.f64 (.f64 z z))) (neg.f64 (neg.f64 (.f64 (*.f64 t t) y))))
(/.f64 (neg.f64 (.f64 z z)) (neg.f64 (.f64 (*.f64 t t) y)))
(/.f64 (/.f64 (.f64 z z) (.f64 t t)) y)
(/.f64 (.f64 z z) (.f64 (*.f64 t t) y))
(*.f64 (fabs.f64 (fabs.f64 z)) (fabs.f64 (fabs.f64 z)))
(*.f64 (neg.f64 (fabs.f64 z)) (neg.f64 (fabs.f64 z)))
(*.f64 (neg.f64 (neg.f64 z)) (neg.f64 (neg.f64 z)))
(*.f64 (exp.f64 (log.f64 z)) (exp.f64 (log.f64 z)))
(*.f64 (fabs.f64 z) (fabs.f64 z))
(*.f64 (neg.f64 z) (neg.f64 z))
(*.f64 z z)
(pow.f64 (exp.f64 (log.f64 z)) #s(literal 2 binary64))
(pow.f64 (fabs.f64 z) #s(literal 2 binary64))
(pow.f64 (neg.f64 z) #s(literal 2 binary64))
(pow.f64 (*.f64 z z) #s(literal 1 binary64))
(pow.f64 z #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (*.f64 z z)))
(fabs.f64 (*.f64 z z))
(exp.f64 (*.f64 (log.f64 z) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 z) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 z) #s(literal 2 binary64))))
(.f64 (.f64 t t) y)
(.f64 t (.f64 t y))
(.f64 y (.f64 t t))
(*.f64 (fabs.f64 (fabs.f64 t)) (fabs.f64 (fabs.f64 t)))
(*.f64 (neg.f64 (fabs.f64 t)) (neg.f64 (fabs.f64 t)))
(*.f64 (neg.f64 (neg.f64 t)) (neg.f64 (neg.f64 t)))
(*.f64 (exp.f64 (log.f64 t)) (exp.f64 (log.f64 t)))
(*.f64 (fabs.f64 t) (fabs.f64 t))
(*.f64 (neg.f64 t) (neg.f64 t))
(*.f64 t t)
(pow.f64 (exp.f64 (log.f64 t)) #s(literal 2 binary64))
(pow.f64 (fabs.f64 t) #s(literal 2 binary64))
(pow.f64 (neg.f64 t) #s(literal 2 binary64))
(pow.f64 (*.f64 t t) #s(literal 1 binary64))
(pow.f64 t #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (*.f64 t t)))
(fabs.f64 (*.f64 t t))
(exp.f64 (*.f64 (log.f64 t) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 t) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 t) #s(literal 2 binary64))))
y
#s(literal 4 binary64)
(*.f64 (/.f64 #s(literal 1 binary64) t) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) t))
(/.f64 #s(literal -4 binary64) (*.f64 (neg.f64 t) #s(literal 2 binary64)))
(/.f64 #s(literal -4 binary64) (*.f64 #s(literal 2 binary64) (neg.f64 t)))
(/.f64 #s(literal -2 binary64) (neg.f64 t))
(/.f64 #s(literal 4 binary64) (+.f64 t t))
(/.f64 #s(literal 2 binary64) (neg.f64 (neg.f64 t)))
(/.f64 #s(literal 2 binary64) t)
(+.f64 (/.f64 #s(literal 1 binary64) t) (/.f64 #s(literal 1 binary64) t))
(/.f64 (neg.f64 (-.f64 (.f64 x x) (.f64 #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)) #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z))))) (neg.f64 (+.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)))))
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 x x) x) (.f64 (.f64 #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)) #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z))) #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z))))) (neg.f64 (fma.f64 x x (fma.f64 #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)) #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)) (.f64 x #s(approx (/ ( (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)))))))
(/.f64 (-.f64 (.f64 x x) (.f64 #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)) #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)))) (+.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z))))
(/.f64 (-.f64 (.f64 (.f64 x x) x) (.f64 (.f64 #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)) #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z))) #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)))) (fma.f64 x x (fma.f64 #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)) #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)) (.f64 x #s(approx (/ ( (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z))))))
(-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z))
(/.f64 (neg.f64 (neg.f64 y)) (neg.f64 (neg.f64 z)))
(/.f64 (neg.f64 y) (neg.f64 z))
(/.f64 y z)
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (.f64 (/.f64 (.f64 z y) (-.f64 (.f64 (.f64 z z) #s(literal 2 binary64)) (*.f64 t y))) #s(literal -2 binary64)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (-.f64 x (.f64 (/.f64 (.f64 z y) (-.f64 (.f64 (.f64 z z) #s(literal 2 binary64)) (*.f64 t y))) #s(literal 2 binary64))))
#s(approx (+ (* (/ z t) 2) x) (/.f64 (+.f64 z z) t))
#s(approx (+ (* (/ z t) 2) x) (fma.f64 (/.f64 z t) #s(literal 2 binary64) x))
#s(approx x x)
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) (.f64 (fma.f64 #s(literal 4 binary64) (.f64 z (/.f64 z (.f64 (.f64 t t) y))) (/.f64 #s(literal 2 binary64) t)) z))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) (fma.f64 (fma.f64 #s(literal 4 binary64) (.f64 z (/.f64 z (.f64 (*.f64 t t) y))) (/.f64 #s(literal 2 binary64) t)) z x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (.f64 (fma.f64 (.f64 y (/.f64 z (.f64 (-.f64 (.f64 (.f64 z z) #s(literal 2 binary64)) (.f64 t y)) x))) #s(literal -2 binary64) #s(literal 1 binary64)) x))
#s(approx (+ (* (/ z t) 2) x) (.f64 (fma.f64 (/.f64 z (.f64 t x)) #s(literal 2 binary64) #s(literal 1 binary64)) x))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) (.f64 (fma.f64 z (/.f64 (fma.f64 #s(literal 4 binary64) (.f64 z (/.f64 z (.f64 (.f64 t t) y))) (/.f64 #s(literal 2 binary64) t)) x) #s(literal 1 binary64)) x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (neg.f64 (.f64 (-.f64 (/.f64 (.f64 #s(literal 2 binary64) (.f64 z y)) (.f64 (-.f64 (.f64 (.f64 z z) #s(literal 2 binary64)) (*.f64 t y)) x)) #s(literal 1 binary64)) x)))
#s(approx (+ (* (/ z t) 2) x) (neg.f64 (.f64 (-.f64 (.f64 (/.f64 z (*.f64 t x)) #s(literal -2 binary64)) #s(literal 1 binary64)) x)))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) (neg.f64 (.f64 (-.f64 (neg.f64 (/.f64 (.f64 (fma.f64 #s(literal 4 binary64) (.f64 z (/.f64 z (.f64 (*.f64 t t) y))) (/.f64 #s(literal 2 binary64) t)) z) x)) #s(literal 1 binary64)) x)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+.f64 (/.f64 (neg.f64 y) z) x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (-.f64 (/.f64 (.f64 #s(literal -1/2 binary64) (.f64 t y)) (.f64 (.f64 z z) z)) (/.f64 #s(literal 1 binary64) z)) y x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (-.f64 (.f64 (fma.f64 (.f64 (.f64 t t) (/.f64 y (pow.f64 z #s(literal 5 binary64)))) #s(literal -1/4 binary64) (.f64 #s(literal -1/2 binary64) (/.f64 t (.f64 (.f64 z z) z)))) y) (/.f64 #s(literal 1 binary64) z)) y x))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) (.f64 (/.f64 (.f64 (.f64 z z) z) (.f64 (*.f64 t t) y)) #s(literal 4 binary64)))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) (/.f64 (fma.f64 (/.f64 (.f64 (.f64 z z) z) (.f64 t t)) #s(literal 4 binary64) (.f64 (fma.f64 (/.f64 z t) #s(literal 2 binary64) x) y)) y))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 (.f64 #s(literal 4 binary64) (.f64 z z)) (.f64 (.f64 t t) y)))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 (fma.f64 (/.f64 (.f64 z z) (.f64 t t)) #s(literal 4 binary64) (*.f64 (/.f64 y t) #s(literal 2 binary64))) y))
#s(approx (/ (* z z) (* (* t t) y)) (.f64 z (/.f64 z (.f64 (*.f64 t t) y))))
#s(approx (* (* t t) y) (.f64 (.f64 t t) y))
#s(approx y y)
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (.f64 (fma.f64 #s(literal 1/2 binary64) (.f64 t (/.f64 y (.f64 (.f64 z z) z))) (/.f64 #s(literal 1 binary64) z)) y))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (.f64 (fma.f64 (fma.f64 #s(literal 1/4 binary64) (.f64 (.f64 t t) (/.f64 y (pow.f64 z #s(literal 5 binary64)))) (.f64 (/.f64 t (.f64 (.f64 z z) z)) #s(literal 1/2 binary64))) y (/.f64 #s(literal 1 binary64) z)) y))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (.f64 (fma.f64 y (fma.f64 (fma.f64 (/.f64 (.f64 t t) (pow.f64 z #s(literal 5 binary64))) #s(literal 1/4 binary64) (/.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 (.f64 t t) t) y)) (pow.f64 z #s(literal 7 binary64)))) y (.f64 (/.f64 t (.f64 (*.f64 z z) z)) #s(literal 1/2 binary64))) (/.f64 #s(literal 1 binary64) z)) y))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (/.f64 z t) #s(literal 2 binary64) x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+.f64 (fma.f64 (/.f64 (.f64 (.f64 z z) z) (.f64 (.f64 t t) y)) #s(literal 4 binary64) x) (/.f64 (+.f64 z z) t)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (-.f64 (fma.f64 (/.f64 (pow.f64 z #s(literal 5 binary64)) (.f64 (.f64 y y) (.f64 (.f64 t t) t))) #s(literal 8 binary64) x) (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (.f64 z z) z) (.f64 (.f64 t t) y)) (*.f64 (/.f64 z t) #s(literal -2 binary64)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (-.f64 (fma.f64 (/.f64 (pow.f64 z #s(literal 7 binary64)) (.f64 (.f64 (.f64 y y) y) (.f64 (.f64 t t) (.f64 t t)))) #s(literal 16 binary64) x) (fma.f64 (/.f64 (pow.f64 z #s(literal 5 binary64)) (.f64 (.f64 y y) (.f64 (.f64 t t) t))) #s(literal -8 binary64) (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (.f64 z z) z) (.f64 (.f64 t t) y)) (*.f64 (/.f64 z t) #s(literal -2 binary64))))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) (+.f64 (fma.f64 (/.f64 (.f64 (.f64 z z) z) (.f64 (.f64 t t) y)) #s(literal 4 binary64) (/.f64 (+.f64 z z) t)) x))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (fma.f64 #s(literal 4 binary64) (.f64 z (/.f64 z (.f64 (*.f64 t t) y))) (/.f64 #s(literal 2 binary64) t)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (*.f64 (/.f64 z t) #s(literal -2 binary64)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (.f64 z z) z) (.f64 (.f64 t t) y)) (*.f64 (/.f64 z t) #s(literal -2 binary64))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (fma.f64 (/.f64 (pow.f64 z #s(literal 5 binary64)) (.f64 (.f64 y y) (.f64 (.f64 t t) t))) #s(literal -8 binary64) (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (.f64 z z) z) (.f64 (.f64 t t) y)) (*.f64 (/.f64 z t) #s(literal -2 binary64)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (fma.f64 #s(literal -16 binary64) (/.f64 (pow.f64 z #s(literal 7 binary64)) (.f64 (.f64 (.f64 y y) y) (.f64 (.f64 t t) (.f64 t t)))) (fma.f64 (/.f64 (pow.f64 z #s(literal 5 binary64)) (.f64 (.f64 y y) (.f64 (.f64 t t) t))) #s(literal -8 binary64) (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (.f64 z z) z) (.f64 (.f64 t t) y)) (*.f64 (/.f64 z t) #s(literal -2 binary64))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+.f64 (+.f64 (neg.f64 (/.f64 (fma.f64 (/.f64 (pow.f64 z #s(literal 5 binary64)) (.f64 (.f64 (.f64 t t) t) y)) #s(literal -8 binary64) (.f64 #s(literal -4 binary64) (/.f64 (.f64 (.f64 z z) z) (*.f64 t t)))) y)) x) (/.f64 (+.f64 z z) t)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+.f64 (+.f64 (neg.f64 (/.f64 (-.f64 (neg.f64 (/.f64 (fma.f64 (/.f64 (pow.f64 z #s(literal 7 binary64)) (.f64 (.f64 (.f64 t t) (.f64 t t)) y)) #s(literal 16 binary64) (.f64 #s(literal 8 binary64) (/.f64 (pow.f64 z #s(literal 5 binary64)) (.f64 (.f64 t t) t)))) y)) (/.f64 (.f64 #s(literal 4 binary64) (.f64 (.f64 z z) z)) (*.f64 t t))) y)) x) (/.f64 (+.f64 z z) t)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (fma.f64 (/.f64 z t) #s(literal -2 binary64) (neg.f64 (/.f64 (fma.f64 (/.f64 (pow.f64 z #s(literal 5 binary64)) (.f64 (.f64 (.f64 t t) t) y)) #s(literal 8 binary64) (/.f64 (.f64 #s(literal 4 binary64) (.f64 (.f64 z z) z)) (*.f64 t t))) y))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (fma.f64 (/.f64 z t) #s(literal -2 binary64) (neg.f64 (/.f64 (fma.f64 (/.f64 (.f64 (.f64 z z) z) (.f64 t t)) #s(literal 4 binary64) (neg.f64 (/.f64 (fma.f64 (/.f64 (pow.f64 z #s(literal 5 binary64)) (.f64 (.f64 t t) t)) #s(literal -8 binary64) (/.f64 (.f64 #s(literal -16 binary64) (pow.f64 z #s(literal 7 binary64))) (.f64 (.f64 (.f64 t t) (.f64 t t)) y))) y))) y))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (fma.f64 (fma.f64 (/.f64 (.f64 z z) (.f64 (.f64 y y) (.f64 (.f64 t t) t))) #s(literal 8 binary64) (/.f64 #s(literal 4 binary64) (.f64 (.f64 t t) y))) (.f64 z z) (/.f64 #s(literal 2 binary64) t)) z x))
#s(approx (/ z t) (/.f64 z t))
#s(approx z z)
#s(approx (* z z) (*.f64 z z))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (.f64 (-.f64 (/.f64 (.f64 #s(literal -4 binary64) (.f64 z z)) (.f64 (*.f64 t t) y)) (/.f64 #s(literal 2 binary64) t)) z))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (.f64 (-.f64 (.f64 (-.f64 (/.f64 (.f64 #s(literal -8 binary64) (.f64 z z)) (.f64 (.f64 y y) (.f64 (.f64 t t) t))) (/.f64 #s(literal 4 binary64) (.f64 (.f64 t t) y))) (*.f64 z z)) (/.f64 #s(literal 2 binary64) t)) z))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (.f64 (-.f64 (.f64 (-.f64 (.f64 (-.f64 (/.f64 (.f64 #s(literal -16 binary64) (.f64 z z)) (.f64 (.f64 (.f64 y y) y) (.f64 (.f64 t t) (.f64 t t)))) (/.f64 #s(literal 8 binary64) (.f64 (.f64 y y) (.f64 (.f64 t t) t)))) (.f64 z z)) (/.f64 #s(literal 4 binary64) (.f64 (.f64 t t) y))) (*.f64 z z)) (/.f64 #s(literal 2 binary64) t)) z))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (-.f64 (fma.f64 (/.f64 (.f64 (.f64 y y) t) (.f64 (.f64 z z) z)) #s(literal -1/2 binary64) x) (/.f64 y z)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (-.f64 (fma.f64 (/.f64 (.f64 (.f64 (.f64 y y) y) (.f64 t t)) (pow.f64 z #s(literal 5 binary64))) #s(literal -1/4 binary64) x) (fma.f64 (/.f64 (.f64 (.f64 y y) t) (.f64 (.f64 z z) z)) #s(literal 1/2 binary64) (/.f64 y z))))
#s(approx (+ (* (/ z t) 2) x) (*.f64 (+.f64 (/.f64 x z) (/.f64 #s(literal 2 binary64) t)) z))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) (.f64 (+.f64 (/.f64 #s(literal 2 binary64) (.f64 (.f64 z z) t)) (/.f64 #s(literal 4 binary64) (.f64 (.f64 t t) y))) (.f64 (*.f64 z z) z)))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) (.f64 (+.f64 (+.f64 (/.f64 x (.f64 (.f64 z z) z)) (/.f64 #s(literal 2 binary64) (.f64 (.f64 z z) t))) (/.f64 #s(literal 4 binary64) (.f64 (.f64 t t) y))) (.f64 (*.f64 z z) z)))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (.f64 (+.f64 (/.f64 #s(literal 2 binary64) (.f64 (.f64 z z) t)) (/.f64 #s(literal 4 binary64) (.f64 (.f64 t t) y))) (.f64 z z)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 (fma.f64 (/.f64 (.f64 (.f64 y y) t) (*.f64 z z)) #s(literal 1/2 binary64) y) z))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 (+.f64 (fma.f64 (/.f64 (.f64 (.f64 (.f64 y y) y) (.f64 t t)) (.f64 (.f64 z z) (.f64 z z))) #s(literal 1/4 binary64) (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 (.f64 y y) t)) (*.f64 z z))) y) z))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 (+.f64 (fma.f64 (.f64 (.f64 (.f64 t t) t) (/.f64 (.f64 (.f64 y y) (.f64 y y)) (.f64 (.f64 (.f64 z z) z) (.f64 (.f64 z z) z)))) #s(literal 1/8 binary64) (fma.f64 (/.f64 (.f64 (.f64 (.f64 y y) y) (.f64 t t)) (.f64 (.f64 z z) (.f64 z z))) #s(literal 1/4 binary64) (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 (.f64 y y) t)) (.f64 z z)))) y) z))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+.f64 (neg.f64 (/.f64 (-.f64 (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 (.f64 y y) t)) (.f64 z z)) (neg.f64 y)) z)) x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+.f64 (neg.f64 (/.f64 (-.f64 (.f64 (/.f64 (.f64 (.f64 (.f64 y y) y) (.f64 t t)) (.f64 (.f64 z z) (.f64 z z))) #s(literal 1/4 binary64)) (fma.f64 (/.f64 (.f64 (.f64 y y) t) (*.f64 z z)) #s(literal -1/2 binary64) (neg.f64 y))) z)) x))
#s(approx (+ (* (/ z t) 2) x) (neg.f64 (*.f64 (-.f64 (neg.f64 (/.f64 x z)) (/.f64 #s(literal 2 binary64) t)) z)))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) (.f64 (+.f64 (/.f64 #s(literal 2 binary64) (.f64 (.f64 z z) t)) (/.f64 #s(literal 4 binary64) (.f64 (.f64 t t) y))) (.f64 (*.f64 z z) z)))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) (neg.f64 (.f64 (-.f64 (-.f64 (neg.f64 (/.f64 x (.f64 (.f64 z z) z))) (/.f64 #s(literal 4 binary64) (.f64 (.f64 t t) y))) (/.f64 #s(literal 2 binary64) (.f64 (.f64 z z) t))) (.f64 (*.f64 z z) z))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (neg.f64 (/.f64 (fma.f64 (/.f64 (.f64 (.f64 y y) t) (*.f64 z z)) #s(literal -1/2 binary64) (neg.f64 y)) z)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (neg.f64 (/.f64 (+.f64 (fma.f64 (/.f64 (.f64 (.f64 y y) t) (.f64 z z)) #s(literal -1/2 binary64) (neg.f64 y)) (.f64 (/.f64 (.f64 (.f64 (.f64 y y) y) (.f64 t t)) (.f64 (.f64 z z) (*.f64 z z))) #s(literal -1/4 binary64))) z)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (neg.f64 (/.f64 (+.f64 (fma.f64 (/.f64 (.f64 (.f64 y y) t) (.f64 z z)) #s(literal -1/2 binary64) (neg.f64 y)) (fma.f64 #s(literal -1/8 binary64) (.f64 (.f64 (.f64 t t) t) (/.f64 (.f64 (.f64 y y) (.f64 y y)) (.f64 (.f64 (.f64 z z) z) (.f64 (.f64 z z) z)))) (.f64 (/.f64 (.f64 (.f64 (.f64 y y) y) (.f64 t t)) (.f64 (.f64 z z) (.f64 z z))) #s(literal -1/4 binary64)))) z)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (-.f64 x (/.f64 y z)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (-.f64 (fma.f64 (fma.f64 (/.f64 (.f64 (.f64 (.f64 y y) y) t) (pow.f64 z #s(literal 5 binary64))) #s(literal -1/4 binary64) (.f64 #s(literal -1/2 binary64) (/.f64 (.f64 y y) (.f64 (*.f64 z z) z)))) t x) (/.f64 y z)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (-.f64 (fma.f64 t (fma.f64 t (fma.f64 (/.f64 (.f64 (.f64 (.f64 y y) (.f64 y y)) t) (pow.f64 z #s(literal 7 binary64))) #s(literal -1/8 binary64) (.f64 #s(literal -1/4 binary64) (/.f64 (.f64 (.f64 y y) y) (pow.f64 z #s(literal 5 binary64))))) (.f64 #s(literal -1/2 binary64) (/.f64 (.f64 y y) (.f64 (*.f64 z z) z)))) x) (/.f64 y z)))
#s(approx (+ (* (/ z t) 2) x) (/.f64 (fma.f64 t x (+.f64 z z)) t))
#s(approx t t)
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) (/.f64 (fma.f64 (+.f64 t t) z (.f64 (/.f64 (.f64 (.f64 z z) z) y) #s(literal 4 binary64))) (.f64 t t)))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) (/.f64 (fma.f64 (/.f64 (.f64 (.f64 z z) z) y) #s(literal 4 binary64) (.f64 (fma.f64 t x (+.f64 z z)) t)) (.f64 t t)))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 (fma.f64 (/.f64 (.f64 z z) y) #s(literal 4 binary64) (+.f64 t t)) (.f64 t t)))
#s(approx (* t t) (*.f64 t t))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (fma.f64 (/.f64 (.f64 (.f64 y y) t) (.f64 (.f64 z z) z)) #s(literal 1/2 binary64) (/.f64 y z)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (fma.f64 (fma.f64 (/.f64 (.f64 y y) (.f64 (.f64 z z) z)) #s(literal 1/2 binary64) (/.f64 (.f64 #s(literal 1/4 binary64) (.f64 (.f64 (*.f64 y y) y) t)) (pow.f64 z #s(literal 5 binary64)))) t (/.f64 y z)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (fma.f64 t (fma.f64 t (fma.f64 (/.f64 (.f64 (.f64 y y) y) (pow.f64 z #s(literal 5 binary64))) #s(literal 1/4 binary64) (.f64 (/.f64 (.f64 (.f64 (.f64 y y) (.f64 y y)) t) (pow.f64 z #s(literal 7 binary64))) #s(literal 1/8 binary64))) (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 y y)) (.f64 (*.f64 z z) z))) (/.f64 y z)))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 (fma.f64 (/.f64 (.f64 z z) (.f64 t y)) #s(literal 4 binary64) #s(literal 2 binary64)) t))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 (fma.f64 (/.f64 (.f64 (.f64 z z) z) (.f64 t y)) #s(literal -4 binary64) (.f64 #s(literal -2 binary64) z)) t))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 (fma.f64 (/.f64 (pow.f64 z #s(literal 5 binary64)) (.f64 (.f64 y y) (.f64 t t))) #s(literal -8 binary64) (fma.f64 (/.f64 (.f64 (.f64 z z) z) (.f64 t y)) #s(literal -4 binary64) (*.f64 #s(literal -2 binary64) z))) t))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 (fma.f64 (/.f64 (pow.f64 z #s(literal 7 binary64)) (.f64 (.f64 (.f64 y y) y) (.f64 (.f64 t t) t))) #s(literal -16 binary64) (fma.f64 (/.f64 (pow.f64 z #s(literal 5 binary64)) (.f64 (.f64 y y) (.f64 t t))) #s(literal -8 binary64) (fma.f64 (/.f64 (.f64 (.f64 z z) z) (.f64 t y)) #s(literal -4 binary64) (.f64 #s(literal -2 binary64) z)))) t))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+.f64 (neg.f64 (/.f64 (fma.f64 (/.f64 (.f64 (.f64 z z) z) (.f64 t y)) #s(literal -4 binary64) (.f64 #s(literal -2 binary64) z)) t)) x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+.f64 (neg.f64 (/.f64 (-.f64 (neg.f64 (/.f64 (fma.f64 (/.f64 (pow.f64 z #s(literal 5 binary64)) (.f64 (.f64 y y) t)) #s(literal 8 binary64) (.f64 (/.f64 (.f64 (*.f64 z z) z) y) #s(literal 4 binary64))) t)) (+.f64 z z)) t)) x))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) (+.f64 (neg.f64 (/.f64 (fma.f64 (/.f64 (.f64 (.f64 z z) z) (.f64 t y)) #s(literal -4 binary64) (.f64 #s(literal -2 binary64) z)) t)) x))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (neg.f64 (/.f64 (-.f64 (/.f64 (.f64 #s(literal -4 binary64) (.f64 z z)) (*.f64 t y)) #s(literal 2 binary64)) t)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (neg.f64 (/.f64 (fma.f64 (/.f64 (.f64 (.f64 z z) z) (*.f64 t y)) #s(literal 4 binary64) (+.f64 z z)) t)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (neg.f64 (/.f64 (fma.f64 z #s(literal 2 binary64) (neg.f64 (/.f64 (fma.f64 (/.f64 (pow.f64 z #s(literal 5 binary64)) (.f64 (.f64 y y) t)) #s(literal -8 binary64) (.f64 (/.f64 (.f64 (*.f64 z z) z) y) #s(literal -4 binary64))) t))) t)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (neg.f64 (/.f64 (fma.f64 z #s(literal 2 binary64) (neg.f64 (/.f64 (fma.f64 (/.f64 (.f64 (.f64 z z) z) y) #s(literal -4 binary64) (neg.f64 (/.f64 (fma.f64 (/.f64 (pow.f64 z #s(literal 7 binary64)) (.f64 (.f64 (.f64 y y) y) t)) #s(literal 16 binary64) (/.f64 (.f64 #s(literal 8 binary64) (pow.f64 z #s(literal 5 binary64))) (*.f64 y y))) t))) t))) t)))

eval42.0ms (1.6%)

Memory: -25.4MiB live, 55.0MiB allocated; 18ms collecting garbage
Compiler: Compiled 2 945 to 1 035 computations (64.9% saved)

prune4.0ms (0.2%)

Memory

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

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	185	2	187
Fresh	0	0	0
Picked	2	1	3
Done	0	0	0
Total	187	3	190

Accuracy

100.0%

Counts

190 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	61.2%	(-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)))
▶	68.0%	#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 #s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z x))
▶	15.8%	#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(approx (+ (* (/ z t) 2) x) (/.f64 (+.f64 z z) t)))

Status

Accuracy

Program

✓

61.2%

(-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)))

▶

68.0%

#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 #s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z x))

▶

15.8%

#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(approx (+ (* (/ z t) 2) x) (/.f64 (+.f64 z z) t)))

Compiler

Compiled 61 to 61 computations (0% saved)

series36.0ms (1.4%)

Memory

-21.6MiB live, 39.2MiB allocated; 16ms collecting garbage

Counts

12 → 56

Calls

Call 1

Inputs
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(approx (+ (* (/ z t) 2) x) (/.f64 (+.f64 z z) t)))
#s(approx (+ (* (/ z t) 2) x) (/.f64 (+.f64 z z) t))
(/.f64 (+.f64 z z) t)
(+.f64 z z)
z
t
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 #s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z x))
(fma.f64 #s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z x)
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t))
(/.f64 #s(literal 2 binary64) t)
#s(literal 2 binary64)
x

Outputs
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (* -2 (/ (* y z) (- (* 2 (pow z 2)) (* t y))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- x (* 2 (/ (* y z) (- (* 2 (pow z 2)) (* t y)))))))
#s(approx (+ (* (/ z t) 2) x) #s(hole binary64 (* 2 (/ z t))))
#s(approx (+ (* (/ z t) 2) x) #s(hole binary64 (+ x (* 2 (/ z t)))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (* z (+ (* 4 (/ (pow z 2) (* (pow t 2) y))) (* 2 (/ 1 t))))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (+ x (* z (+ (* 4 (/ (pow z 2) (* (pow t 2) y))) (* 2 (/ 1 t)))))))
#s(approx x #s(hole binary64 x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (* x (+ 1 (* -2 (/ (* y z) (* x (- (* 2 (pow z 2)) (* t y)))))))))
#s(approx (+ (* (/ z t) 2) x) #s(hole binary64 (* x (+ 1 (* 2 (/ z (* t x)))))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (* x (+ 1 (/ (* z (+ (* 4 (/ (pow z 2) (* (pow t 2) y))) (* 2 (/ 1 t)))) x)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (* -1 (* x (- (* 2 (/ (* y z) (* x (- (* 2 (pow z 2)) (* t y))))) 1)))))
#s(approx (+ (* (/ z t) 2) x) #s(hole binary64 (* -1 (* x (- (* -2 (/ z (* t x))) 1)))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (* -1 (* x (- (* -1 (/ (* z (+ (* 4 (/ (pow z 2) (* (pow t 2) y))) (* 2 (/ 1 t)))) x)) 1)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ y z)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* y (- (* -1/2 (/ (* t y) (pow z 3))) (/ 1 z))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* y (- (* y (- (* -1/4 (/ (* (pow t 2) y) (pow z 5))) (* 1/2 (/ t (pow z 3))))) (/ 1 z))))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (* 4 (/ (pow z 3) (* (pow t 2) y)))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (/ (+ (* 4 (/ (pow z 3) (pow t 2))) (* y (+ x (* 2 (/ z t))))) y)))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) #s(hole binary64 (* 4 (/ (pow z 2) (* (pow t 2) y)))))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) #s(hole binary64 (/ (+ (* 2 (/ y t)) (* 4 (/ (pow z 2) (pow t 2)))) y)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- x (* -2 (/ z t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* 4 (/ (pow z 3) (* (pow t 2) y)))) (* -2 (/ z t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* 8 (/ (pow z 5) (* (pow t 3) (pow y 2))))) (+ (* -4 (/ (pow z 3) (* (pow t 2) y))) (* -2 (/ z t))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* 16 (/ (pow z 7) (* (pow t 4) (pow y 3))))) (+ (* -8 (/ (pow z 5) (* (pow t 3) (pow y 2)))) (+ (* -4 (/ (pow z 3) (* (pow t 2) y))) (* -2 (/ z t)))))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (+ x (+ (* 2 (/ z t)) (* 4 (/ (pow z 3) (* (pow t 2) y)))))))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) #s(hole binary64 (/ 2 t)))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) #s(hole binary64 (+ (* 4 (/ (pow z 2) (* (pow t 2) y))) (* 2 (/ 1 t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* -1 (/ (- (* -8 (/ (pow z 5) (* (pow t 3) y))) (* 4 (/ (pow z 3) (pow t 2)))) y))) (* -2 (/ z t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* -1 (/ (- (* -1 (/ (- (* 16 (/ (pow z 7) (* (pow t 4) y))) (* -8 (/ (pow z 5) (pow t 3)))) y)) (* 4 (/ (pow z 3) (pow t 2)))) y))) (* -2 (/ z t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* z (+ (* (pow z 2) (+ (* 8 (/ (pow z 2) (* (pow t 3) (pow y 2)))) (* 4 (/ 1 (* (pow t 2) y))))) (* 2 (/ 1 t)))))))
#s(approx (+ z z) #s(hole binary64 (* 2 z)))
#s(approx z #s(hole binary64 z))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* -1/2 (/ (* t (pow y 2)) (pow z 3)))) (/ y z))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* -1/4 (/ (* (pow t 2) (pow y 3)) (pow z 5)))) (+ (* 1/2 (/ (* t (pow y 2)) (pow z 3))) (/ y z)))))
#s(approx (+ (* (/ z t) 2) x) #s(hole binary64 (* z (+ (* 2 (/ 1 t)) (/ x z)))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (* (pow z 3) (+ (* 2 (/ 1 (* t (pow z 2)))) (* 4 (/ 1 (* (pow t 2) y)))))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (* (pow z 3) (+ (* 4 (/ 1 (* (pow t 2) y))) (+ (/ 2 (* t (pow z 2))) (/ x (pow z 3)))))))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) #s(hole binary64 (* (pow z 2) (+ (* 2 (/ 1 (* t (pow z 2)))) (* 4 (/ 1 (* (pow t 2) y)))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ (- (* 1/2 (/ (* t (pow y 2)) (pow z 2))) (* -1 y)) z)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ (- (* 1/4 (/ (* (pow t 2) (pow y 3)) (pow z 4))) (+ (* -1 y) (* -1/2 (/ (* t (pow y 2)) (pow z 2))))) z)))))
#s(approx (+ (* (/ z t) 2) x) #s(hole binary64 (* -1 (* z (- (* -1 (/ x z)) (* 2 (/ 1 t)))))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (* (pow z 3) (+ (* 4 (/ 1 (* (pow t 2) y))) (* 2 (/ 1 (* t (pow z 2))))))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (* -1 (* (pow z 3) (- (* -1 (/ x (pow z 3))) (+ (* 4 (/ 1 (* (pow t 2) y))) (/ 2 (* t (pow z 2)))))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- x (/ y z))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* t (- (* -1/4 (/ (* t (pow y 3)) (pow z 5))) (* 1/2 (/ (pow y 2) (pow z 3)))))) (/ y z))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* t (- (* t (- (* -1/8 (/ (* t (pow y 4)) (pow z 7))) (* 1/4 (/ (pow y 3) (pow z 5))))) (* 1/2 (/ (pow y 2) (pow z 3)))))) (/ y z))))
#s(approx (+ (* (/ z t) 2) x) #s(hole binary64 (/ (+ (* 2 z) (* t x)) t)))
#s(approx t #s(hole binary64 t))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (/ (+ (* 2 (* t z)) (* 4 (/ (pow z 3) y))) (pow t 2))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (/ (+ (* 4 (/ (pow z 3) y)) (* t (+ (* 2 z) (* t x)))) (pow t 2))))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) #s(hole binary64 (/ (+ (* 2 t) (* 4 (/ (pow z 2) y))) (pow t 2))))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) #s(hole binary64 (/ (+ 2 (* 4 (/ (pow z 2) (* t y)))) t)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ (- (* -4 (/ (pow z 3) (* t y))) (* 2 z)) t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ (- (* -1 (/ (- (* 8 (/ (pow z 5) (* t (pow y 2)))) (* -4 (/ (pow z 3) y))) t)) (* 2 z)) t)))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (+ x (* -1 (/ (+ (* -4 (/ (pow z 3) (* t y))) (* -2 z)) t)))))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) #s(hole binary64 (* -1 (/ (- (* -4 (/ (pow z 2) (* t y))) 2) t))))

Calls

12 calls:

Time	Variable		Point	Expression
19.0ms	t	@	inf	((- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+ (* (/ z t) 2) x) (/ (+ z z) t) (+ z z) z t (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/ 2 t) 2 x)
2.0ms	z	@	-inf	((- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+ (* (/ z t) 2) x) (/ (+ z z) t) (+ z z) z t (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/ 2 t) 2 x)
2.0ms	z	@	inf	((- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+ (* (/ z t) 2) x) (/ (+ z z) t) (+ z z) z t (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/ 2 t) 2 x)
1.0ms	x	@	-inf	((- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+ (* (/ z t) 2) x) (/ (+ z z) t) (+ z z) z t (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/ 2 t) 2 x)
1.0ms	x	@	0	((- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+ (* (/ z t) 2) x) (/ (+ z z) t) (+ z z) z t (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/ 2 t) 2 x)

rewrite314.0ms (12%)

Memory

20.9MiB live, 295.8MiB allocated; 106ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	360	2108
0	364	2053
1	2113	2049
0	9383	1948

Stop Event

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

Counts

68 → 122

Calls

Call 1

Inputs
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(approx (+ (* (/ z t) 2) x) (/.f64 (+.f64 z z) t)))
#s(approx (+ (* (/ z t) 2) x) (/.f64 (+.f64 z z) t))
(/.f64 (+.f64 z z) t)
(+.f64 z z)
z
t
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 #s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z x))
(fma.f64 #s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z x)
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t))
(/.f64 #s(literal 2 binary64) t)
#s(literal 2 binary64)
x
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (* -2 (/ (* y z) (- (* 2 (pow z 2)) (* t y))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- x (* 2 (/ (* y z) (- (* 2 (pow z 2)) (* t y)))))))
#s(approx (+ (* (/ z t) 2) x) #s(hole binary64 (* 2 (/ z t))))
#s(approx (+ (* (/ z t) 2) x) #s(hole binary64 (+ x (* 2 (/ z t)))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (* z (+ (* 4 (/ (pow z 2) (* (pow t 2) y))) (* 2 (/ 1 t))))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (+ x (* z (+ (* 4 (/ (pow z 2) (* (pow t 2) y))) (* 2 (/ 1 t)))))))
#s(approx x #s(hole binary64 x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (* x (+ 1 (* -2 (/ (* y z) (* x (- (* 2 (pow z 2)) (* t y)))))))))
#s(approx (+ (* (/ z t) 2) x) #s(hole binary64 (* x (+ 1 (* 2 (/ z (* t x)))))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (* x (+ 1 (/ (* z (+ (* 4 (/ (pow z 2) (* (pow t 2) y))) (* 2 (/ 1 t)))) x)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (* -1 (* x (- (* 2 (/ (* y z) (* x (- (* 2 (pow z 2)) (* t y))))) 1)))))
#s(approx (+ (* (/ z t) 2) x) #s(hole binary64 (* -1 (* x (- (* -2 (/ z (* t x))) 1)))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (* -1 (* x (- (* -1 (/ (* z (+ (* 4 (/ (pow z 2) (* (pow t 2) y))) (* 2 (/ 1 t)))) x)) 1)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ y z)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* y (- (* -1/2 (/ (* t y) (pow z 3))) (/ 1 z))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* y (- (* y (- (* -1/4 (/ (* (pow t 2) y) (pow z 5))) (* 1/2 (/ t (pow z 3))))) (/ 1 z))))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (* 4 (/ (pow z 3) (* (pow t 2) y)))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (/ (+ (* 4 (/ (pow z 3) (pow t 2))) (* y (+ x (* 2 (/ z t))))) y)))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) #s(hole binary64 (* 4 (/ (pow z 2) (* (pow t 2) y)))))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) #s(hole binary64 (/ (+ (* 2 (/ y t)) (* 4 (/ (pow z 2) (pow t 2)))) y)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- x (* -2 (/ z t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* 4 (/ (pow z 3) (* (pow t 2) y)))) (* -2 (/ z t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* 8 (/ (pow z 5) (* (pow t 3) (pow y 2))))) (+ (* -4 (/ (pow z 3) (* (pow t 2) y))) (* -2 (/ z t))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* 16 (/ (pow z 7) (* (pow t 4) (pow y 3))))) (+ (* -8 (/ (pow z 5) (* (pow t 3) (pow y 2)))) (+ (* -4 (/ (pow z 3) (* (pow t 2) y))) (* -2 (/ z t)))))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (+ x (+ (* 2 (/ z t)) (* 4 (/ (pow z 3) (* (pow t 2) y)))))))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) #s(hole binary64 (/ 2 t)))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) #s(hole binary64 (+ (* 4 (/ (pow z 2) (* (pow t 2) y))) (* 2 (/ 1 t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* -1 (/ (- (* -8 (/ (pow z 5) (* (pow t 3) y))) (* 4 (/ (pow z 3) (pow t 2)))) y))) (* -2 (/ z t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* -1 (/ (- (* -1 (/ (- (* 16 (/ (pow z 7) (* (pow t 4) y))) (* -8 (/ (pow z 5) (pow t 3)))) y)) (* 4 (/ (pow z 3) (pow t 2)))) y))) (* -2 (/ z t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* z (+ (* (pow z 2) (+ (* 8 (/ (pow z 2) (* (pow t 3) (pow y 2)))) (* 4 (/ 1 (* (pow t 2) y))))) (* 2 (/ 1 t)))))))
#s(approx (+ z z) #s(hole binary64 (* 2 z)))
#s(approx z #s(hole binary64 z))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* -1/2 (/ (* t (pow y 2)) (pow z 3)))) (/ y z))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* -1/4 (/ (* (pow t 2) (pow y 3)) (pow z 5)))) (+ (* 1/2 (/ (* t (pow y 2)) (pow z 3))) (/ y z)))))
#s(approx (+ (* (/ z t) 2) x) #s(hole binary64 (* z (+ (* 2 (/ 1 t)) (/ x z)))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (* (pow z 3) (+ (* 2 (/ 1 (* t (pow z 2)))) (* 4 (/ 1 (* (pow t 2) y)))))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (* (pow z 3) (+ (* 4 (/ 1 (* (pow t 2) y))) (+ (/ 2 (* t (pow z 2))) (/ x (pow z 3)))))))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) #s(hole binary64 (* (pow z 2) (+ (* 2 (/ 1 (* t (pow z 2)))) (* 4 (/ 1 (* (pow t 2) y)))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ (- (* 1/2 (/ (* t (pow y 2)) (pow z 2))) (* -1 y)) z)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ (- (* 1/4 (/ (* (pow t 2) (pow y 3)) (pow z 4))) (+ (* -1 y) (* -1/2 (/ (* t (pow y 2)) (pow z 2))))) z)))))
#s(approx (+ (* (/ z t) 2) x) #s(hole binary64 (* -1 (* z (- (* -1 (/ x z)) (* 2 (/ 1 t)))))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (* (pow z 3) (+ (* 4 (/ 1 (* (pow t 2) y))) (* 2 (/ 1 (* t (pow z 2))))))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (* -1 (* (pow z 3) (- (* -1 (/ x (pow z 3))) (+ (* 4 (/ 1 (* (pow t 2) y))) (/ 2 (* t (pow z 2)))))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- x (/ y z))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* t (- (* -1/4 (/ (* t (pow y 3)) (pow z 5))) (* 1/2 (/ (pow y 2) (pow z 3)))))) (/ y z))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* t (- (* t (- (* -1/8 (/ (* t (pow y 4)) (pow z 7))) (* 1/4 (/ (pow y 3) (pow z 5))))) (* 1/2 (/ (pow y 2) (pow z 3)))))) (/ y z))))
#s(approx (+ (* (/ z t) 2) x) #s(hole binary64 (/ (+ (* 2 z) (* t x)) t)))
#s(approx t #s(hole binary64 t))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (/ (+ (* 2 (* t z)) (* 4 (/ (pow z 3) y))) (pow t 2))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (/ (+ (* 4 (/ (pow z 3) y)) (* t (+ (* 2 z) (* t x)))) (pow t 2))))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) #s(hole binary64 (/ (+ (* 2 t) (* 4 (/ (pow z 2) y))) (pow t 2))))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) #s(hole binary64 (/ (+ 2 (* 4 (/ (pow z 2) (* t y)))) t)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ (- (* -4 (/ (pow z 3) (* t y))) (* 2 z)) t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ (- (* -1 (/ (- (* 8 (/ (pow z 5) (* t (pow y 2)))) (* -4 (/ (pow z 3) y))) t)) (* 2 z)) t)))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) #s(hole binary64 (+ x (* -1 (/ (+ (* -4 (/ (pow z 3) (* t y))) (* -2 z)) t)))))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) #s(hole binary64 (* -1 (/ (- (* -4 (/ (pow z 2) (* t y))) 2) t))))

Outputs
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(approx (+ (* (/ z t) 2) x) (/.f64 (+.f64 z z) t)))
#s(approx (+ (* (/ z t) 2) x) (/.f64 (+.f64 z z) t))
(*.f64 (/.f64 (+.f64 t t) (fabs.f64 t)) (/.f64 z (fabs.f64 t)))
(*.f64 (/.f64 (+.f64 t t) (neg.f64 t)) (/.f64 z (neg.f64 t)))
(*.f64 (/.f64 (+.f64 t t) t) (/.f64 z t))
(.f64 (/.f64 (.f64 t z) (fabs.f64 t)) (/.f64 #s(literal 2 binary64) (fabs.f64 t)))
(.f64 (/.f64 (.f64 t z) (neg.f64 t)) (/.f64 #s(literal 2 binary64) (neg.f64 t)))
(.f64 (/.f64 (.f64 t z) t) (/.f64 #s(literal 2 binary64) t))
(.f64 (/.f64 #s(literal 2 binary64) (fabs.f64 t)) (/.f64 (.f64 t z) (fabs.f64 t)))
(.f64 (/.f64 #s(literal 2 binary64) (neg.f64 t)) (/.f64 (.f64 t z) (neg.f64 t)))
(.f64 (/.f64 #s(literal 2 binary64) t) (/.f64 (.f64 t z) t))
(*.f64 (/.f64 z t) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) (/.f64 z t))
(/.f64 (+.f64 (neg.f64 z) (neg.f64 z)) (neg.f64 t))
(/.f64 (fma.f64 (neg.f64 z) (neg.f64 t) (.f64 (neg.f64 t) (neg.f64 z))) (.f64 t t))
(/.f64 (fma.f64 (neg.f64 z) t (.f64 (neg.f64 t) z)) (.f64 (neg.f64 t) t))
(/.f64 (fma.f64 z (neg.f64 t) (.f64 t (neg.f64 z))) (.f64 t (neg.f64 t)))
(/.f64 (.f64 (neg.f64 z) #s(literal 4 binary64)) (.f64 (neg.f64 t) #s(literal 2 binary64)))
(/.f64 (*.f64 z #s(literal 4 binary64)) (+.f64 t t))
(/.f64 (.f64 #s(literal 4 binary64) (neg.f64 z)) (.f64 #s(literal 2 binary64) (neg.f64 t)))
(/.f64 (*.f64 #s(literal 4 binary64) z) (+.f64 t t))
(/.f64 (neg.f64 (neg.f64 (+.f64 z z))) (neg.f64 (neg.f64 t)))
(/.f64 (neg.f64 (.f64 (+.f64 t t) z)) (neg.f64 (.f64 t t)))
(/.f64 (neg.f64 (+.f64 z z)) (neg.f64 t))
(/.f64 (.f64 (+.f64 t t) z) (.f64 t t))
(/.f64 (+.f64 z z) t)
(+.f64 (/.f64 (.f64 t z) (.f64 t t)) (/.f64 (.f64 t z) (.f64 t t)))
(+.f64 (/.f64 z t) (/.f64 z t))
(*.f64 z #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) z)
(/.f64 (neg.f64 (-.f64 (.f64 z z) (.f64 z z))) (neg.f64 (-.f64 z z)))
(/.f64 (neg.f64 (fma.f64 (.f64 z z) z (.f64 (.f64 z z) z))) (neg.f64 (fma.f64 z z (-.f64 (.f64 z z) (*.f64 z z)))))
(/.f64 (-.f64 (.f64 z z) (.f64 z z)) (-.f64 z z))
(/.f64 (fma.f64 (.f64 z z) z (.f64 (.f64 z z) z)) (fma.f64 z z (-.f64 (.f64 z z) (*.f64 z z))))
(-.f64 (/.f64 (.f64 z z) (-.f64 z z)) (/.f64 (.f64 z z) (-.f64 z z)))
(+.f64 (/.f64 (.f64 (.f64 z z) z) (fma.f64 z z (-.f64 (.f64 z z) (.f64 z z)))) (/.f64 (.f64 (.f64 z z) z) (fma.f64 z z (-.f64 (.f64 z z) (.f64 z z)))))
(+.f64 z z)
z
t
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 #s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z x))
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 #s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z) (.f64 #s(approx (+ ( (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z)) (.f64 x x))) (neg.f64 (-.f64 (.f64 #s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z) x)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 #s(approx (+ ( (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z) #s(literal 3 binary64)) (.f64 (.f64 x x) x))) (neg.f64 (fma.f64 (.f64 #s(approx (+ ( (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z) (.f64 #s(approx (+ ( (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z) (-.f64 (.f64 x x) (.f64 (.f64 #s(approx (+ ( (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z) x)))))
(/.f64 (-.f64 (.f64 (.f64 #s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z) (.f64 #s(approx (+ ( (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z)) (.f64 x x)) (-.f64 (.f64 #s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z) x))
(/.f64 (+.f64 (pow.f64 (.f64 #s(approx (+ ( (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z) #s(literal 3 binary64)) (.f64 (.f64 x x) x)) (fma.f64 (.f64 #s(approx (+ ( (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z) (.f64 #s(approx (+ ( (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z) (-.f64 (.f64 x x) (.f64 (.f64 #s(approx (+ ( (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z) x))))
(fma.f64 #s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z x)
(fma.f64 z #s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) x)
(-.f64 (/.f64 (.f64 (.f64 #s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z) (.f64 #s(approx (+ ( (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z)) (-.f64 (.f64 #s(approx (+ ( (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z) x)) (/.f64 (.f64 x x) (-.f64 (.f64 #s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z) x)))
(+.f64 (/.f64 (pow.f64 (.f64 #s(approx (+ ( (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z) #s(literal 3 binary64)) (fma.f64 (.f64 #s(approx (+ ( (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z) (.f64 #s(approx (+ ( (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z) (-.f64 (.f64 x x) (.f64 (.f64 #s(approx (+ ( (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z) x)))) (/.f64 (.f64 (.f64 x x) x) (fma.f64 (.f64 #s(approx (+ ( (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z) (.f64 #s(approx (+ ( (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z) (-.f64 (.f64 x x) (.f64 (.f64 #s(approx (+ ( (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z) x)))))
(+.f64 (.f64 #s(approx (+ ( (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z) x)
(+.f64 x (.f64 #s(approx (+ ( (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t))
(*.f64 (/.f64 #s(literal 1 binary64) t) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) t))
(/.f64 (fma.f64 #s(literal -1 binary64) (neg.f64 t) (.f64 (neg.f64 t) #s(literal -1 binary64))) (.f64 t t))
(/.f64 (fma.f64 #s(literal -1 binary64) t (.f64 (neg.f64 t) #s(literal 1 binary64))) (.f64 (neg.f64 t) t))
(/.f64 (fma.f64 #s(literal 1 binary64) (neg.f64 t) (.f64 t #s(literal -1 binary64))) (.f64 t (neg.f64 t)))
(/.f64 (fma.f64 #s(literal 1 binary64) t (.f64 t #s(literal 1 binary64))) (.f64 t t))
(/.f64 #s(literal -4 binary64) (*.f64 (neg.f64 t) #s(literal 2 binary64)))
(/.f64 #s(literal -4 binary64) (*.f64 #s(literal 2 binary64) (neg.f64 t)))
(/.f64 #s(literal -2 binary64) (neg.f64 t))
(/.f64 #s(literal 4 binary64) (+.f64 t t))
(/.f64 #s(literal 2 binary64) (neg.f64 (neg.f64 t)))
(/.f64 #s(literal 2 binary64) t)
(+.f64 (/.f64 #s(literal 1 binary64) t) (/.f64 #s(literal 1 binary64) t))
#s(literal 2 binary64)
x
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (.f64 (/.f64 (.f64 z y) (-.f64 (.f64 (.f64 z z) #s(literal 2 binary64)) (*.f64 t y))) #s(literal -2 binary64)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (-.f64 x (.f64 (/.f64 (.f64 z y) (-.f64 (.f64 (.f64 z z) #s(literal 2 binary64)) (*.f64 t y))) #s(literal 2 binary64))))
#s(approx (+ (* (/ z t) 2) x) (/.f64 (+.f64 z z) t))
#s(approx (+ (* (/ z t) 2) x) (fma.f64 (/.f64 z t) #s(literal 2 binary64) x))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) (.f64 (fma.f64 #s(literal 4 binary64) (.f64 z (/.f64 z (.f64 (.f64 t t) y))) (/.f64 #s(literal 2 binary64) t)) z))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) (fma.f64 (fma.f64 #s(literal 4 binary64) (.f64 z (/.f64 z (.f64 (*.f64 t t) y))) (/.f64 #s(literal 2 binary64) t)) z x))
#s(approx x x)
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (.f64 (fma.f64 (.f64 y (/.f64 z (.f64 (-.f64 (.f64 (.f64 z z) #s(literal 2 binary64)) (.f64 t y)) x))) #s(literal -2 binary64) #s(literal 1 binary64)) x))
#s(approx (+ (* (/ z t) 2) x) (.f64 (fma.f64 (/.f64 z (.f64 t x)) #s(literal 2 binary64) #s(literal 1 binary64)) x))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) (.f64 (fma.f64 z (/.f64 (fma.f64 #s(literal 4 binary64) (.f64 z (/.f64 z (.f64 (.f64 t t) y))) (/.f64 #s(literal 2 binary64) t)) x) #s(literal 1 binary64)) x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (neg.f64 (.f64 (-.f64 (/.f64 (.f64 #s(literal 2 binary64) (.f64 z y)) (.f64 (-.f64 (.f64 (.f64 z z) #s(literal 2 binary64)) (*.f64 t y)) x)) #s(literal 1 binary64)) x)))
#s(approx (+ (* (/ z t) 2) x) (neg.f64 (.f64 (-.f64 (.f64 (/.f64 z (*.f64 t x)) #s(literal -2 binary64)) #s(literal 1 binary64)) x)))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) (neg.f64 (.f64 (-.f64 (neg.f64 (/.f64 (.f64 (fma.f64 #s(literal 4 binary64) (.f64 z (/.f64 z (.f64 (*.f64 t t) y))) (/.f64 #s(literal 2 binary64) t)) z) x)) #s(literal 1 binary64)) x)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+.f64 (/.f64 (neg.f64 y) z) x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (-.f64 (/.f64 (.f64 #s(literal -1/2 binary64) (.f64 t y)) (.f64 (.f64 z z) z)) (/.f64 #s(literal 1 binary64) z)) y x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (-.f64 (.f64 (fma.f64 (.f64 (.f64 t t) (/.f64 y (pow.f64 z #s(literal 5 binary64)))) #s(literal -1/4 binary64) (.f64 #s(literal -1/2 binary64) (/.f64 t (.f64 (.f64 z z) z)))) y) (/.f64 #s(literal 1 binary64) z)) y x))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) (.f64 (/.f64 (.f64 (.f64 z z) z) (.f64 (*.f64 t t) y)) #s(literal 4 binary64)))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) (/.f64 (fma.f64 (/.f64 (.f64 (.f64 z z) z) (.f64 t t)) #s(literal 4 binary64) (.f64 (fma.f64 (/.f64 z t) #s(literal 2 binary64) x) y)) y))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 (.f64 #s(literal 4 binary64) (.f64 z z)) (.f64 (.f64 t t) y)))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 (fma.f64 (/.f64 (.f64 z z) (.f64 t t)) #s(literal 4 binary64) (/.f64 (+.f64 y y) t)) y))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (/.f64 z t) #s(literal 2 binary64) x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+.f64 (fma.f64 (/.f64 (.f64 (.f64 z z) z) (.f64 (.f64 t t) y)) #s(literal 4 binary64) x) (/.f64 (+.f64 z z) t)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (-.f64 (fma.f64 (/.f64 (pow.f64 z #s(literal 5 binary64)) (.f64 (.f64 y y) (.f64 (.f64 t t) t))) #s(literal 8 binary64) x) (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (.f64 z z) z) (.f64 (.f64 t t) y)) (*.f64 #s(literal -2 binary64) (/.f64 z t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (-.f64 (fma.f64 (/.f64 (pow.f64 z #s(literal 7 binary64)) (.f64 (.f64 (.f64 y y) y) (.f64 (.f64 t t) (.f64 t t)))) #s(literal 16 binary64) x) (fma.f64 (/.f64 (pow.f64 z #s(literal 5 binary64)) (.f64 (.f64 y y) (.f64 (.f64 t t) t))) #s(literal -8 binary64) (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (.f64 z z) z) (.f64 (.f64 t t) y)) (*.f64 #s(literal -2 binary64) (/.f64 z t))))))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) (+.f64 (fma.f64 (/.f64 (.f64 (.f64 z z) z) (.f64 (.f64 t t) y)) #s(literal 4 binary64) (/.f64 (+.f64 z z) t)) x))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (fma.f64 #s(literal 4 binary64) (.f64 z (/.f64 z (.f64 (*.f64 t t) y))) (/.f64 #s(literal 2 binary64) t)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+.f64 (+.f64 (neg.f64 (/.f64 (fma.f64 (/.f64 (pow.f64 z #s(literal 5 binary64)) (.f64 (.f64 (.f64 t t) t) y)) #s(literal -8 binary64) (.f64 #s(literal -4 binary64) (/.f64 (.f64 (.f64 z z) z) (*.f64 t t)))) y)) x) (/.f64 (+.f64 z z) t)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+.f64 (+.f64 (neg.f64 (/.f64 (-.f64 (neg.f64 (/.f64 (fma.f64 (/.f64 (pow.f64 z #s(literal 7 binary64)) (.f64 (.f64 (.f64 t t) (.f64 t t)) y)) #s(literal 16 binary64) (.f64 #s(literal 8 binary64) (/.f64 (pow.f64 z #s(literal 5 binary64)) (.f64 (.f64 t t) t)))) y)) (/.f64 (.f64 #s(literal 4 binary64) (.f64 (.f64 z z) z)) (*.f64 t t))) y)) x) (/.f64 (+.f64 z z) t)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (fma.f64 (fma.f64 (/.f64 (.f64 z z) (.f64 (.f64 y y) (.f64 (.f64 t t) t))) #s(literal 8 binary64) (/.f64 #s(literal 4 binary64) (.f64 (.f64 t t) y))) (.f64 z z) (/.f64 #s(literal 2 binary64) t)) z x))
#s(approx (+ z z) (+.f64 z z))
#s(approx z z)
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (-.f64 (fma.f64 (/.f64 (.f64 (.f64 y y) t) (.f64 (.f64 z z) z)) #s(literal -1/2 binary64) x) (/.f64 y z)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (-.f64 (fma.f64 (/.f64 (.f64 (.f64 (.f64 y y) y) (.f64 t t)) (pow.f64 z #s(literal 5 binary64))) #s(literal -1/4 binary64) x) (fma.f64 (/.f64 (.f64 (.f64 y y) t) (.f64 (.f64 z z) z)) #s(literal 1/2 binary64) (/.f64 y z))))
#s(approx (+ (* (/ z t) 2) x) (*.f64 (+.f64 (/.f64 x z) (/.f64 #s(literal 2 binary64) t)) z))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) (.f64 (+.f64 (/.f64 #s(literal 2 binary64) (.f64 (.f64 z z) t)) (/.f64 #s(literal 4 binary64) (.f64 (.f64 t t) y))) (.f64 (*.f64 z z) z)))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) (.f64 (+.f64 (+.f64 (/.f64 x (.f64 (.f64 z z) z)) (/.f64 #s(literal 2 binary64) (.f64 (.f64 z z) t))) (/.f64 #s(literal 4 binary64) (.f64 (.f64 t t) y))) (.f64 (*.f64 z z) z)))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (.f64 (+.f64 (/.f64 #s(literal 2 binary64) (.f64 (.f64 z z) t)) (/.f64 #s(literal 4 binary64) (.f64 (.f64 t t) y))) (.f64 z z)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+.f64 (neg.f64 (/.f64 (-.f64 (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 (.f64 y y) t)) (.f64 z z)) (neg.f64 y)) z)) x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+.f64 (neg.f64 (/.f64 (-.f64 (.f64 (/.f64 (.f64 (.f64 (.f64 y y) y) (.f64 t t)) (.f64 (.f64 z z) (.f64 z z))) #s(literal 1/4 binary64)) (fma.f64 (/.f64 (.f64 (.f64 y y) t) (*.f64 z z)) #s(literal -1/2 binary64) (neg.f64 y))) z)) x))
#s(approx (+ (* (/ z t) 2) x) (neg.f64 (*.f64 (-.f64 (neg.f64 (/.f64 x z)) (/.f64 #s(literal 2 binary64) t)) z)))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) (.f64 (+.f64 (/.f64 #s(literal 2 binary64) (.f64 (.f64 z z) t)) (/.f64 #s(literal 4 binary64) (.f64 (.f64 t t) y))) (.f64 (*.f64 z z) z)))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) (neg.f64 (.f64 (-.f64 (-.f64 (neg.f64 (/.f64 x (.f64 (.f64 z z) z))) (/.f64 #s(literal 4 binary64) (.f64 (.f64 t t) y))) (/.f64 #s(literal 2 binary64) (.f64 (.f64 z z) t))) (.f64 (*.f64 z z) z))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (-.f64 x (/.f64 y z)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (-.f64 (fma.f64 (fma.f64 (/.f64 (.f64 (.f64 (.f64 y y) y) t) (pow.f64 z #s(literal 5 binary64))) #s(literal -1/4 binary64) (.f64 #s(literal -1/2 binary64) (/.f64 (.f64 y y) (.f64 (*.f64 z z) z)))) t x) (/.f64 y z)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (-.f64 (fma.f64 t (fma.f64 t (fma.f64 (/.f64 (.f64 (.f64 (.f64 y y) (.f64 y y)) t) (pow.f64 z #s(literal 7 binary64))) #s(literal -1/8 binary64) (.f64 #s(literal -1/4 binary64) (/.f64 (.f64 (.f64 y y) y) (pow.f64 z #s(literal 5 binary64))))) (.f64 #s(literal -1/2 binary64) (/.f64 (.f64 y y) (.f64 (*.f64 z z) z)))) x) (/.f64 y z)))
#s(approx (+ (* (/ z t) 2) x) (/.f64 (fma.f64 t x (+.f64 z z)) t))
#s(approx t t)
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) (/.f64 (fma.f64 (+.f64 t t) z (.f64 (/.f64 (.f64 (.f64 z z) z) y) #s(literal 4 binary64))) (.f64 t t)))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) (/.f64 (fma.f64 (/.f64 (.f64 (.f64 z z) z) y) #s(literal 4 binary64) (.f64 (fma.f64 t x (+.f64 z z)) t)) (.f64 t t)))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 (fma.f64 (/.f64 (.f64 z z) y) #s(literal 4 binary64) (+.f64 t t)) (.f64 t t)))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 (fma.f64 (/.f64 (.f64 z z) (.f64 t y)) #s(literal 4 binary64) #s(literal 2 binary64)) t))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+.f64 (neg.f64 (/.f64 (fma.f64 (/.f64 (.f64 (.f64 z z) z) (.f64 t y)) #s(literal -4 binary64) (.f64 #s(literal -2 binary64) z)) t)) x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+.f64 (neg.f64 (/.f64 (-.f64 (neg.f64 (/.f64 (fma.f64 (/.f64 (pow.f64 z #s(literal 5 binary64)) (.f64 (.f64 y y) t)) #s(literal 8 binary64) (.f64 (/.f64 (.f64 (*.f64 z z) z) y) #s(literal 4 binary64))) t)) (+.f64 z z)) t)) x))
#s(approx (+ (* (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) z) x) (+.f64 (neg.f64 (/.f64 (fma.f64 (/.f64 (.f64 (.f64 z z) z) (.f64 t y)) #s(literal -4 binary64) (.f64 #s(literal -2 binary64) z)) t)) x))
#s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (neg.f64 (/.f64 (-.f64 (/.f64 (.f64 #s(literal -4 binary64) (.f64 z z)) (*.f64 t y)) #s(literal 2 binary64)) t)))

eval12.0ms (0.4%)

Memory: 28.5MiB live, 28.5MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 683 to 619 computations (63.2% saved)

prune7.0ms (0.3%)

Memory

-33.4MiB live, 11.6MiB allocated; 5ms collecting garbage

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	109	0	109
Fresh	0	0	0
Picked	0	2	2
Done	0	1	1
Total	109	3	112

Accuracy

100.0%

Counts

112 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	61.2%	(-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)))
✓	68.0%	#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 #s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z x))
✓	15.8%	#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(approx (+ (* (/ z t) 2) x) (/.f64 (+.f64 z z) t)))

Status

Accuracy

Program

✓

61.2%

(-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)))

✓

68.0%

#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 #s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z x))

✓

15.8%

#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(approx (+ (* (/ z t) 2) x) (/.f64 (+.f64 z z) t)))

Compiler

Compiled 133 to 116 computations (12.8% saved)

regimes14.0ms (0.5%)

Memory

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

Counts

6 → 2

Calls

Call 1

Inputs
(-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(approx (+ (* (/ z t) 2) x) (/.f64 (+.f64 z z) t)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 #s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (/.f64 z t) #s(literal 2 binary64) x))
(-.f64 x (/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (fma.f64 (/.f64 (.f64 z z) (.f64 (*.f64 t t) y)) #s(literal 4 binary64) (/.f64 #s(literal 2 binary64) t)) z x))

Outputs
(-.f64 x (/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t))))
(-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)))

Calls

6 calls:

2.0ms	(-.f64 x (/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t))))
2.0ms	z
2.0ms	x
2.0ms	y
2.0ms	t

Results

Accuracy	Segments	Branch
93.3%	2	`(/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t)))`
94.4%	2	`(-.f64 x (/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t))))`
80.9%	1	`x`
82.5%	2	`y`
97.3%	5	`z`
80.9%	1	`t`

Compiler

Compiled 30 to 41 computations (-36.7% saved)

regimes12.0ms (0.5%)

Memory

-36.3MiB live, 15.9MiB allocated; 12ms collecting garbage

Counts

4 → 3

Calls

Call 1

Inputs
(-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(approx (+ (* (/ z t) 2) x) (/.f64 (+.f64 z z) t)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 #s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (/.f64 z t) #s(literal 2 binary64) x))

Outputs

(-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)))

#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (/.f64 z t) #s(literal 2 binary64) x))

(-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)))

Calls

3 calls:

8.0ms

(-.f64 x (/.f64 (*.f64 (*.f64 y #s(literal 2 binary64)) z) (-.f64 (*.f64 (*.f64 z #s(literal 2 binary64)) z) (*.f64 y t))))

2.0ms

(/.f64 (*.f64 (*.f64 y #s(literal 2 binary64)) z) (-.f64 (*.f64 (*.f64 z #s(literal 2 binary64)) z) (*.f64 y t)))

Results

Accuracy	Segments	Branch
92.1%	3	`z`
76.4%	3	`(/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t)))`
75.7%	2	`(-.f64 x (/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t))))`

Compiler

Compiled 27 to 29 computations (-7.4% saved)

regimes2.0ms (0.1%)

Memory

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

Counts

3 → 3

Calls

Call 1

Inputs

(-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)))

#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(approx (+ (* (/ z t) 2) x) (/.f64 (+.f64 z z) t)))

#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 #s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z x))

Outputs

(-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)))

#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 #s(approx (+ (* (/ (* z z) (* (* t t) y)) 4) (/ 2 t)) (/.f64 #s(literal 2 binary64) t)) z x))

(-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)))

Calls

1 calls:

1.0ms

Results

Accuracy	Segments	Branch
92.1%	3	`z`

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes7.0ms (0.3%)

Memory

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

Counts

2 → 3

Calls

Call 1

Inputs
(-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(approx (+ (* (/ z t) 2) x) (/.f64 (+.f64 z z) t)))

Outputs

(-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)))

#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(approx (+ (* (/ z t) 2) x) (/.f64 (+.f64 z z) t)))

(-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)))

Calls

6 calls:

1.0ms	(-.f64 x (/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t))))
1.0ms	x
1.0ms	z
1.0ms	t
1.0ms	y

Results

Accuracy	Segments	Branch
61.2%	1	`(/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t)))`
61.2%	1	`(-.f64 x (/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t))))`
65.7%	3	`x`
61.2%	1	`t`
61.2%	1	`y`
61.2%	1	`z`

Compiler

Compiled 30 to 41 computations (-36.7% saved)

regimes5.0ms (0.2%)

Memory

-39.0MiB live, 7.0MiB allocated; 3ms collecting garbage

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
(-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)))

Outputs
(-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)))

Calls

2 calls:

4.0ms	(/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t)))
1.0ms	x

Results

Accuracy	Segments	Branch
61.2%	1	`(/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t)))`
61.2%	1	`x`

Compiler

Compiled 13 to 16 computations (-23.1% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	5.153912719731604e+307	+inf

Compiler

Compiled 17 to 20 computations (-17.6% saved)

bsearch31.0ms (1.2%)

Memory

20.6MiB live, 66.3MiB allocated; 5ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
18.0ms	0.00019283960840633065	6576971463.507123
10.0ms	-4.589522679062566e+39	-2.7856509356522846e+37

Samples

15.0ms

272×

valid

Compiler

Compiled 564 to 598 computations (-6% saved)

Precisions

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

ival-mult!: 6.0ms (74.1% of total)

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

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

adjust: 0.0ms (0% of total)

bsearch2.0ms (0.1%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
1.0ms	0.00019283960840633065	6576971463.507123
1.0ms	-4.589522679062566e+39	-2.7856509356522846e+37

Compiler

Compiled 717 to 751 computations (-4.7% saved)

bsearch20.0ms (0.8%)

Memory

-9.3MiB live, 35.6MiB allocated; 6ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
13.0ms	9.557103529373923e-281	1.4554478858805657e-279
6.0ms	-3.5960323070429573e-155	-1.8229642440968821e-155

Samples

13.0ms

160×

valid

Compiler

Compiled 370 to 390 computations (-5.4% saved)

Precisions

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

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

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

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

adjust: 0.0ms (0% of total)

derivations139.0ms (5.3%)

Memory

28.1MiB live, 119.6MiB allocated; 26ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 84 to 64 computations (23.8% saved)

preprocess58.0ms (2.2%)

Memory: -8.5MiB live, 131.5MiB allocated; 30ms collecting garbage
Compiler: Compiled 98 to 77 computations (21.4% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze205.0ms (7.8%)

sample1.2s (45.1%)

preprocess56.0ms (2.2%)

series25.0ms (1%)

rewrite210.0ms (8%)

eval28.0ms (1.1%)

prune3.0ms (0.1%)

series36.0ms (1.4%)

rewrite165.0ms (6.3%)

eval42.0ms (1.6%)

prune4.0ms (0.2%)

series36.0ms (1.4%)

rewrite314.0ms (12%)

eval12.0ms (0.4%)

prune7.0ms (0.3%)

regimes14.0ms (0.5%)

regimes12.0ms (0.5%)

regimes2.0ms (0.1%)

regimes7.0ms (0.3%)

regimes5.0ms (0.2%)

bsearch0.0ms (0%)

bsearch31.0ms (1.2%)

bsearch2.0ms (0.1%)

bsearch20.0ms (0.8%)

derivations139.0ms (5.3%)

preprocess58.0ms (2.2%)

end0.0ms (0%)

Profiling