Metrics for Diagrams.ThreeD.Shapes:frustum from diagrams-lib-1.3.0.3, A

start0.0ms (0%)

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

analyze1.0ms (0%)

Memory

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

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.6%	0.4%	0%	0%	0%	0
100%	99.6%	0%	0.4%	0%	0%	0%	1

Compiler

Compiled 21 to 20 computations (4.8% saved)

sample1.3s (23.3%)

Memory

14.5MiB live, 1 000.9MiB allocated; 328ms collecting garbage

Samples

809.0ms	8 255×	0	valid
2.0ms	1×	1	valid

Precisions

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

ival-mult!: 329.0ms (85.5% of total)

ival-add!: 37.0ms (9.6% of total)

ival-sub!: 17.0ms (4.4% of total)

adjust: 2.0ms (0.5% of total)

Bogosity

preprocess92.0ms (1.7%)

Memory

9.8MiB live, 54.3MiB allocated; 23ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	239	865
1	968	855
2	4232	855

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	90.4%	(.f64 #s(literal 2 binary64) (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 (+.f64 a (.f64 b c)) c) i)))

Symmetry

(sort x y)

(sort z t)

Compiler

Compiled 38 to 36 computations (5.3% saved)

series236.0ms (4.3%)

Memory

-1.0MiB live, 98.9MiB allocated; 25ms collecting garbage

Counts

18 → 110

Calls

Call 1

Inputs
(.f64 #s(literal 2 binary64) (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 (+.f64 a (.f64 b c)) c) i)))
#s(literal 2 binary64)
(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 (+.f64 a (*.f64 b c)) c) i))
(+.f64 (.f64 x y) (.f64 z t))
(*.f64 x y)
x
y
(*.f64 z t)
z
t
(.f64 (.f64 (+.f64 a (*.f64 b c)) c) i)
(.f64 (+.f64 a (.f64 b c)) c)
(+.f64 a (*.f64 b c))
a
(*.f64 b c)
b
c
i

Outputs
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (-.f64 (.f64 t z) (.f64 c (.f64 i (+.f64 a (*.f64 b c)))))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (fma.f64 #s(literal 2 binary64) (.f64 x y) (.f64 #s(literal 2 binary64) (-.f64 (.f64 t z) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (.f64 t z) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (fma.f64 t z (.f64 x y)) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))
#s(approx (+ (* x y) (* z t)) (*.f64 t z))
#s(approx (+ (* x y) (* z t)) (fma.f64 t z (*.f64 x y)))
#s(approx (* x y) (*.f64 x y))
#s(approx x x)
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (.f64 x y)))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 x (fma.f64 #s(literal 2 binary64) y (.f64 #s(literal 2 binary64) (/.f64 (-.f64 (.f64 t z) (.f64 c (.f64 i (+.f64 a (.f64 b c))))) x)))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (.f64 x (-.f64 (+.f64 y (/.f64 (.f64 t z) x)) (/.f64 (.f64 c (.f64 i (+.f64 a (*.f64 b c)))) x))))
#s(approx (+ (* x y) (* z t)) (.f64 x (+.f64 y (/.f64 (.f64 t z) x))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -1 binary64) (.f64 x (fma.f64 #s(literal -2 binary64) y (.f64 #s(literal -2 binary64) (/.f64 (-.f64 (.f64 t z) (.f64 c (.f64 i (+.f64 a (*.f64 b c))))) x))))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (.f64 #s(literal -1 binary64) (.f64 x (fma.f64 #s(literal -1 binary64) y (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 t z) (.f64 c (.f64 i (+.f64 a (*.f64 b c))))) x))))))
#s(approx (+ (* x y) (* z t)) (.f64 #s(literal -1 binary64) (.f64 x (fma.f64 #s(literal -1 binary64) y (.f64 #s(literal -1 binary64) (/.f64 (.f64 t z) x))))))
#s(approx y y)
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 y (fma.f64 #s(literal 2 binary64) x (.f64 #s(literal 2 binary64) (/.f64 (-.f64 (.f64 t z) (.f64 c (.f64 i (+.f64 a (.f64 b c))))) y)))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (.f64 y (-.f64 (+.f64 x (/.f64 (.f64 t z) y)) (/.f64 (.f64 c (.f64 i (+.f64 a (*.f64 b c)))) y))))
#s(approx (+ (* x y) (* z t)) (.f64 y (+.f64 x (/.f64 (.f64 t z) y))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -1 binary64) (.f64 y (fma.f64 #s(literal -2 binary64) x (.f64 #s(literal -2 binary64) (/.f64 (-.f64 (.f64 t z) (.f64 c (.f64 i (+.f64 a (*.f64 b c))))) y))))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (.f64 #s(literal -1 binary64) (.f64 y (fma.f64 #s(literal -1 binary64) x (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 t z) (.f64 c (.f64 i (+.f64 a (*.f64 b c))))) y))))))
#s(approx (+ (* x y) (* z t)) (.f64 #s(literal -1 binary64) (.f64 y (fma.f64 #s(literal -1 binary64) x (.f64 #s(literal -1 binary64) (/.f64 (.f64 t z) y))))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (*.f64 b c)))))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (fma.f64 #s(literal 2 binary64) (.f64 t z) (.f64 #s(literal 2 binary64) (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))
#s(approx z z)
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (.f64 t z)))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 z (fma.f64 #s(literal 2 binary64) t (.f64 #s(literal 2 binary64) (/.f64 (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (.f64 b c))))) z)))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (.f64 z (-.f64 (+.f64 t (/.f64 (.f64 x y) z)) (/.f64 (.f64 c (.f64 i (+.f64 a (*.f64 b c)))) z))))
#s(approx (+ (* x y) (* z t)) (.f64 z (+.f64 t (/.f64 (.f64 x y) z))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -1 binary64) (.f64 z (fma.f64 #s(literal -2 binary64) t (.f64 #s(literal -2 binary64) (/.f64 (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (*.f64 b c))))) z))))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (.f64 #s(literal -1 binary64) (.f64 z (fma.f64 #s(literal -1 binary64) t (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (*.f64 b c))))) z))))))
#s(approx (+ (* x y) (* z t)) (.f64 #s(literal -1 binary64) (.f64 z (fma.f64 #s(literal -1 binary64) t (.f64 #s(literal -1 binary64) (/.f64 (.f64 x y) z))))))
#s(approx t t)
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 t (fma.f64 #s(literal 2 binary64) z (.f64 #s(literal 2 binary64) (/.f64 (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (.f64 b c))))) t)))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (.f64 t (-.f64 (+.f64 z (/.f64 (.f64 x y) t)) (/.f64 (.f64 c (.f64 i (+.f64 a (*.f64 b c)))) t))))
#s(approx (+ (* x y) (* z t)) (.f64 t (+.f64 z (/.f64 (.f64 x y) t))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -1 binary64) (.f64 t (fma.f64 #s(literal -2 binary64) z (.f64 #s(literal -2 binary64) (/.f64 (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (*.f64 b c))))) t))))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (.f64 #s(literal -1 binary64) (.f64 t (fma.f64 #s(literal -1 binary64) z (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (*.f64 b c))))) t))))))
#s(approx (+ (* x y) (* z t)) (.f64 #s(literal -1 binary64) (.f64 t (fma.f64 #s(literal -1 binary64) z (.f64 #s(literal -1 binary64) (/.f64 (.f64 x y) t))))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (-.f64 (fma.f64 t z (.f64 x y)) (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i)))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (fma.f64 #s(literal -2 binary64) (.f64 a (.f64 c i)) (.f64 #s(literal 2 binary64) (-.f64 (fma.f64 t z (.f64 x y)) (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i))))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (fma.f64 t z (.f64 x y)) (.f64 b (*.f64 (pow.f64 c #s(literal 2 binary64)) i))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (fma.f64 #s(literal -1 binary64) (.f64 a (.f64 c i)) (fma.f64 t z (.f64 x y))) (.f64 b (*.f64 (pow.f64 c #s(literal 2 binary64)) i))))
#s(approx (* (* (+ a (* b c)) c) i) (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i)))
#s(approx (* (* (+ a (* b c)) c) i) (fma.f64 a (.f64 c i) (.f64 b (*.f64 (pow.f64 c #s(literal 2 binary64)) i))))
#s(approx (* (+ a (* b c)) c) (*.f64 b (pow.f64 c #s(literal 2 binary64))))
#s(approx (* (+ a (* b c)) c) (fma.f64 a c (*.f64 b (pow.f64 c #s(literal 2 binary64)))))
#s(approx (+ a (* b c)) (*.f64 b c))
#s(approx (+ a (* b c)) (+.f64 a (*.f64 b c)))
#s(approx a a)
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -2 binary64) (.f64 a (*.f64 c i))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 a (fma.f64 #s(literal -2 binary64) (.f64 c i) (.f64 #s(literal 2 binary64) (/.f64 (-.f64 (fma.f64 t z (.f64 x y)) (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i))) a)))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (.f64 #s(literal -1 binary64) (.f64 a (*.f64 c i))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (.f64 a (-.f64 (+.f64 (/.f64 (.f64 t z) a) (/.f64 (.f64 x y) a)) (fma.f64 c i (/.f64 (.f64 b (*.f64 (pow.f64 c #s(literal 2 binary64)) i)) a)))))
#s(approx (* (* (+ a (* b c)) c) i) (.f64 a (.f64 c i)))
#s(approx (* (* (+ a (* b c)) c) i) (.f64 a (fma.f64 c i (/.f64 (.f64 b (*.f64 (pow.f64 c #s(literal 2 binary64)) i)) a))))
#s(approx (* (+ a (* b c)) c) (*.f64 a c))
#s(approx (* (+ a (* b c)) c) (.f64 a (+.f64 c (/.f64 (.f64 b (pow.f64 c #s(literal 2 binary64))) a))))
#s(approx (+ a (* b c)) (.f64 a (+.f64 #s(literal 1 binary64) (/.f64 (.f64 b c) a))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -1 binary64) (.f64 a (fma.f64 #s(literal -2 binary64) (/.f64 (-.f64 (fma.f64 t z (.f64 x y)) (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i))) a) (.f64 #s(literal 2 binary64) (*.f64 c i))))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (.f64 #s(literal -1 binary64) (.f64 a (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (fma.f64 t z (.f64 x y)) (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i))) a)) (.f64 #s(literal -1 binary64) (.f64 c i))))))
#s(approx (* (* (+ a (* b c)) c) i) (.f64 #s(literal -1 binary64) (.f64 a (fma.f64 #s(literal -1 binary64) (.f64 c i) (.f64 #s(literal -1 binary64) (/.f64 (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i)) a))))))
#s(approx (* (+ a (* b c)) c) (.f64 #s(literal -1 binary64) (.f64 a (fma.f64 #s(literal -1 binary64) c (.f64 #s(literal -1 binary64) (/.f64 (.f64 b (pow.f64 c #s(literal 2 binary64))) a))))))
#s(approx (+ a (* b c)) (.f64 #s(literal -1 binary64) (.f64 a (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 b c) a)) #s(literal 1 binary64)))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (-.f64 (fma.f64 t z (.f64 x y)) (.f64 a (.f64 c i)))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (fma.f64 #s(literal -2 binary64) (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i)) (.f64 #s(literal 2 binary64) (-.f64 (fma.f64 t z (.f64 x y)) (.f64 a (.f64 c i))))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (fma.f64 t z (.f64 x y)) (.f64 a (*.f64 c i))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (fma.f64 #s(literal -1 binary64) (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i)) (fma.f64 t z (.f64 x y))) (.f64 a (*.f64 c i))))
#s(approx b b)
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -2 binary64) (.f64 b (*.f64 (pow.f64 c #s(literal 2 binary64)) i))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 b (fma.f64 #s(literal -2 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) i) (.f64 #s(literal 2 binary64) (/.f64 (-.f64 (fma.f64 t z (.f64 x y)) (.f64 a (.f64 c i))) b)))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (.f64 #s(literal -1 binary64) (.f64 b (*.f64 (pow.f64 c #s(literal 2 binary64)) i))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (.f64 b (-.f64 (+.f64 (/.f64 (.f64 t z) b) (/.f64 (.f64 x y) b)) (fma.f64 (pow.f64 c #s(literal 2 binary64)) i (/.f64 (.f64 a (*.f64 c i)) b)))))
#s(approx (* (* (+ a (* b c)) c) i) (.f64 b (fma.f64 (pow.f64 c #s(literal 2 binary64)) i (/.f64 (.f64 a (*.f64 c i)) b))))
#s(approx (* (+ a (* b c)) c) (.f64 b (+.f64 (/.f64 (.f64 a c) b) (pow.f64 c #s(literal 2 binary64)))))
#s(approx (+ a (* b c)) (*.f64 b (+.f64 c (/.f64 a b))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -1 binary64) (.f64 b (fma.f64 #s(literal -2 binary64) (/.f64 (-.f64 (fma.f64 t z (.f64 x y)) (.f64 a (.f64 c i))) b) (.f64 #s(literal 2 binary64) (*.f64 (pow.f64 c #s(literal 2 binary64)) i))))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (.f64 #s(literal -1 binary64) (.f64 b (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (fma.f64 t z (.f64 x y)) (.f64 a (.f64 c i))) b)) (.f64 #s(literal -1 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) i))))))
#s(approx (* (* (+ a (* b c)) c) i) (.f64 #s(literal -1 binary64) (.f64 b (fma.f64 #s(literal -1 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) i) (.f64 #s(literal -1 binary64) (/.f64 (.f64 a (.f64 c i)) b))))))
#s(approx (* (+ a (* b c)) c) (.f64 #s(literal -1 binary64) (.f64 b (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 a c) b) (.f64 #s(literal -1 binary64) (pow.f64 c #s(literal 2 binary64)))))))
#s(approx (+ a (* b c)) (.f64 #s(literal -1 binary64) (.f64 b (fma.f64 #s(literal -1 binary64) c (*.f64 #s(literal -1 binary64) (/.f64 a b))))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (fma.f64 t z (.f64 x y))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (fma.f64 #s(literal -2 binary64) (.f64 a (.f64 c i)) (.f64 #s(literal 2 binary64) (fma.f64 t z (.f64 x y)))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (fma.f64 #s(literal 2 binary64) (fma.f64 t z (.f64 x y)) (.f64 c (fma.f64 #s(literal -2 binary64) (.f64 a i) (.f64 #s(literal -2 binary64) (.f64 b (.f64 c i)))))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (fma.f64 #s(literal -1 binary64) (.f64 a (.f64 c i)) (fma.f64 t z (*.f64 x y))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (fma.f64 c (-.f64 (.f64 #s(literal -1 binary64) (.f64 b (.f64 c i))) (.f64 a i)) (fma.f64 t z (*.f64 x y))))
#s(approx (* (* (+ a (* b c)) c) i) (.f64 c (fma.f64 a i (.f64 b (*.f64 c i)))))
#s(approx (* (+ a (* b c)) c) (.f64 c (+.f64 a (.f64 b c))))
#s(approx c c)
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 (pow.f64 c #s(literal 2 binary64)) (fma.f64 #s(literal -2 binary64) (.f64 b i) (.f64 #s(literal -2 binary64) (/.f64 (.f64 a i) c)))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 (pow.f64 c #s(literal 2 binary64)) (fma.f64 #s(literal -2 binary64) (.f64 b i) (fma.f64 #s(literal -2 binary64) (/.f64 (.f64 a i) c) (.f64 #s(literal 2 binary64) (/.f64 (fma.f64 t z (*.f64 x y)) (pow.f64 c #s(literal 2 binary64))))))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (.f64 (pow.f64 c #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 a i) c)) (.f64 b i))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (.f64 (pow.f64 c #s(literal 2 binary64)) (-.f64 (+.f64 (/.f64 (.f64 t z) (pow.f64 c #s(literal 2 binary64))) (/.f64 (.f64 x y) (pow.f64 c #s(literal 2 binary64)))) (fma.f64 b i (/.f64 (.f64 a i) c)))))
#s(approx (* (* (+ a (* b c)) c) i) (.f64 (pow.f64 c #s(literal 2 binary64)) (fma.f64 b i (/.f64 (.f64 a i) c))))
#s(approx (* (+ a (* b c)) c) (*.f64 (pow.f64 c #s(literal 2 binary64)) (+.f64 b (/.f64 a c))))
#s(approx (+ a (* b c)) (*.f64 c (+.f64 b (/.f64 a c))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 (pow.f64 c #s(literal 2 binary64)) (fma.f64 #s(literal -2 binary64) (.f64 b i) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -2 binary64) (/.f64 (fma.f64 t z (.f64 x y)) c) (.f64 #s(literal 2 binary64) (.f64 a i))) c)))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (.f64 (pow.f64 c #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 t z (.f64 x y)) c)) (.f64 #s(literal -1 binary64) (.f64 a i))) c)) (*.f64 b i))))
#s(approx (+ a (* b c)) (.f64 #s(literal -1 binary64) (.f64 c (fma.f64 #s(literal -1 binary64) b (*.f64 #s(literal -1 binary64) (/.f64 a c))))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (fma.f64 #s(literal -2 binary64) (.f64 c (.f64 i (+.f64 a (.f64 b c)))) (.f64 #s(literal 2 binary64) (fma.f64 t z (*.f64 x y)))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (fma.f64 #s(literal -1 binary64) (.f64 c (.f64 i (+.f64 a (.f64 b c)))) (fma.f64 t z (.f64 x y))))
#s(approx (* (* (+ a (* b c)) c) i) (.f64 c (.f64 i (+.f64 a (*.f64 b c)))))
#s(approx i i)
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -2 binary64) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 i (fma.f64 #s(literal -2 binary64) (.f64 c (+.f64 a (.f64 b c))) (.f64 #s(literal 2 binary64) (/.f64 (fma.f64 t z (*.f64 x y)) i)))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (.f64 #s(literal -1 binary64) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (.f64 i (-.f64 (+.f64 (/.f64 (.f64 t z) i) (/.f64 (.f64 x y) i)) (.f64 c (+.f64 a (*.f64 b c))))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -1 binary64) (.f64 i (fma.f64 #s(literal -2 binary64) (/.f64 (fma.f64 t z (.f64 x y)) i) (.f64 #s(literal 2 binary64) (.f64 c (+.f64 a (.f64 b c))))))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (.f64 #s(literal -1 binary64) (.f64 i (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 t z (.f64 x y)) i)) (.f64 #s(literal -1 binary64) (.f64 c (+.f64 a (*.f64 b c))))))))

Calls

24 calls:

Time	Variable	Point
8.0ms	z	-inf
6.0ms	t	0
4.0ms	c	0
2.0ms	c	-inf
2.0ms	b	-inf

rewrite442.0ms (8%)

Memory

-42.0MiB live, 126.4MiB allocated; 174ms collecting garbage

Counts

18 → 45

Calls

Call 1

Inputs
(.f64 #s(literal 2 binary64) (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 (+.f64 a (.f64 b c)) c) i)))
#s(literal 2 binary64)
(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 (+.f64 a (*.f64 b c)) c) i))
(+.f64 (.f64 x y) (.f64 z t))
(*.f64 x y)
x
y
(*.f64 z t)
z
t
(.f64 (.f64 (+.f64 a (*.f64 b c)) c) i)
(.f64 (+.f64 a (.f64 b c)) c)
(+.f64 a (*.f64 b c))
a
(*.f64 b c)
b
c
i

Outputs
(.f64 (-.f64 (fma.f64 z t (.f64 x y)) (.f64 (fma.f64 c b a) (.f64 c i))) #s(literal 2 binary64))
(.f64 #s(literal 2 binary64) (-.f64 (fma.f64 z t (.f64 x y)) (.f64 (fma.f64 c b a) (.f64 c i))))
(+.f64 (-.f64 (fma.f64 z t (.f64 x y)) (.f64 (fma.f64 c b a) (.f64 c i))) (-.f64 (fma.f64 z t (.f64 x y)) (.f64 (fma.f64 c b a) (.f64 c i))))
#s(literal 2 binary64)
(+.f64 #s(literal 1 binary64) #s(literal 1 binary64))
(+.f64 (.f64 x y) (-.f64 (.f64 z t) (.f64 (fma.f64 c b a) (.f64 c i))))
(+.f64 (fma.f64 z t (.f64 x y)) (neg.f64 (.f64 (fma.f64 c b a) (*.f64 c i))))
(+.f64 (fma.f64 z t (.f64 x y)) (.f64 (neg.f64 (*.f64 (fma.f64 c b a) c)) i))
(-.f64 (fma.f64 z t (.f64 x y)) (.f64 (fma.f64 c b a) (*.f64 c i)))
(fma.f64 x y (-.f64 (.f64 z t) (.f64 (fma.f64 c b a) (*.f64 c i))))
(fma.f64 y x (-.f64 (.f64 z t) (.f64 (fma.f64 c b a) (*.f64 c i))))
(neg.f64 (-.f64 (.f64 (fma.f64 c b a) (.f64 c i)) (fma.f64 z t (*.f64 x y))))
(+.f64 (.f64 x y) (.f64 z t))
(+.f64 (.f64 z t) (.f64 x y))
(-.f64 (.f64 x y) (neg.f64 (.f64 z t)))
(-.f64 (.f64 x y) (.f64 (neg.f64 z) t))
(fma.f64 z t (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(fma.f64 x y (*.f64 z t))
(fma.f64 y x (*.f64 z t))
(*.f64 x y)
(*.f64 y x)
x
y
(*.f64 z t)
(*.f64 t z)
z
t
(.f64 (fma.f64 c b a) (.f64 c i))
(.f64 (.f64 (fma.f64 c b a) c) i)
(.f64 i (.f64 (fma.f64 c b a) c))
(*.f64 (fma.f64 c b a) c)
(*.f64 c (fma.f64 c b a))
(+.f64 a (*.f64 b c))
(+.f64 (*.f64 b c) a)
(-.f64 a (neg.f64 (*.f64 b c)))
(-.f64 a (*.f64 (neg.f64 b) c))
(fma.f64 c b a)
(fma.f64 b c a)
a
(*.f64 b c)
(*.f64 c b)
b
c
i

eval33.0ms (0.6%)

Memory: -22.0MiB live, 27.4MiB allocated; 18ms collecting garbage
Compiler: Compiled 4 414 to 685 computations (84.5% saved)

prune11.0ms (0.2%)

Memory

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

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	127	14	141
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	128	14	142

Accuracy

100.0%

Counts

142 → 14

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	94.0%	(.f64 (-.f64 (fma.f64 z t (.f64 x y)) (.f64 (fma.f64 c b a) (.f64 c i))) #s(literal 2 binary64))
	75.8%	(.f64 #s(literal 2 binary64) (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 #s(approx (+ a ( b c)) (*.f64 b c)) c) i)))
	84.6%	(.f64 #s(literal 2 binary64) (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 #s(approx (* (+ a (* b c)) c) (.f64 a (+.f64 c (/.f64 (.f64 b (pow.f64 c #s(literal 2 binary64))) a)))) i)))
	72.6%	(.f64 #s(literal 2 binary64) (-.f64 #s(approx (+ ( x y) (* z t)) (.f64 t z)) (.f64 (.f64 (+.f64 a (.f64 b c)) c) i)))
	74.0%	(.f64 #s(literal 2 binary64) #s(approx (- (+ ( x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (fma.f64 t z (.f64 x y)) (.f64 a (*.f64 c i)))))
▶	70.1%	(.f64 #s(literal 2 binary64) #s(approx (- (+ ( x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (.f64 b c)))))))
	44.7%	#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 (pow.f64 c #s(literal 2 binary64)) (fma.f64 #s(literal -2 binary64) (.f64 b i) (.f64 #s(literal -2 binary64) (/.f64 (.f64 a i) c)))))
	82.1%	#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 z (fma.f64 #s(literal 2 binary64) t (.f64 #s(literal 2 binary64) (/.f64 (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (.f64 b c))))) z)))))
▶	54.3%	#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (fma.f64 t z (.f64 x y))))
	25.8%	#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (.f64 x y)))
▶	31.1%	#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (.f64 t z)))
	51.1%	#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -2 binary64) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))
▶	34.2%	#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -2 binary64) (.f64 b (*.f64 (pow.f64 c #s(literal 2 binary64)) i))))
	29.3%	#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -2 binary64) (.f64 a (*.f64 c i))))

Compiler

Compiled 804 to 654 computations (18.7% saved)

series448.0ms (8.1%)

Memory

-5.1MiB live, 223.9MiB allocated; 62ms collecting garbage

Counts

35 → 142

Calls

Call 1

Inputs
(.f64 (-.f64 (fma.f64 z t (.f64 x y)) (.f64 (fma.f64 c b a) (.f64 c i))) #s(literal 2 binary64))
(-.f64 (fma.f64 z t (.f64 x y)) (.f64 (fma.f64 c b a) (*.f64 c i)))
(fma.f64 z t (*.f64 x y))
z
t
(*.f64 x y)
x
y
(.f64 (fma.f64 c b a) (.f64 c i))
(fma.f64 c b a)
c
b
a
(*.f64 c i)
i
#s(literal 2 binary64)
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (.f64 t z)))
(.f64 #s(literal 2 binary64) (.f64 t z))
(*.f64 t z)
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (fma.f64 t z (.f64 x y))))
(.f64 #s(literal 2 binary64) (fma.f64 t z (.f64 x y)))
(fma.f64 t z (*.f64 x y))
(.f64 #s(literal 2 binary64) #s(approx (- (+ ( x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (.f64 b c)))))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))
(-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (.f64 b c)))))
(.f64 c (.f64 i (+.f64 a (*.f64 b c))))
(.f64 i (+.f64 a (.f64 b c)))
(+.f64 a (*.f64 b c))
(*.f64 b c)
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -2 binary64) (.f64 b (*.f64 (pow.f64 c #s(literal 2 binary64)) i))))
(.f64 #s(literal -2 binary64) (.f64 b (*.f64 (pow.f64 c #s(literal 2 binary64)) i)))
#s(literal -2 binary64)
(.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i))
(*.f64 (pow.f64 c #s(literal 2 binary64)) i)
(pow.f64 c #s(literal 2 binary64))

Outputs
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal 2 binary64) (-.f64 (.f64 t z) (.f64 c (.f64 i (+.f64 a (*.f64 b c)))))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (fma.f64 #s(literal 2 binary64) (.f64 x y) (.f64 #s(literal 2 binary64) (-.f64 (.f64 t z) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))))
#s(approx (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) (-.f64 (.f64 t z) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))
#s(approx (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) (-.f64 (fma.f64 t z (.f64 x y)) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))
#s(approx (+ (* z t) (* x y)) (*.f64 t z))
#s(approx (+ (* z t) (* x y)) (fma.f64 t z (*.f64 x y)))
#s(approx (* x y) (*.f64 x y))
#s(approx x x)
#s(approx (* 2 (+ (* t z) (* x y))) (.f64 #s(literal 2 binary64) (.f64 t z)))
#s(approx (* 2 (+ (* t z) (* x y))) (fma.f64 #s(literal 2 binary64) (.f64 t z) (.f64 #s(literal 2 binary64) (*.f64 x y))))
#s(approx (- (* x y) (* c (* i (+ a (* b c))))) (.f64 #s(literal -1 binary64) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))
#s(approx (- (* x y) (* c (* i (+ a (* b c))))) (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal 2 binary64) (.f64 x y)))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 x (fma.f64 #s(literal 2 binary64) y (.f64 #s(literal 2 binary64) (/.f64 (-.f64 (.f64 t z) (.f64 c (.f64 i (+.f64 a (.f64 b c))))) x)))))
#s(approx (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) (.f64 x (-.f64 (+.f64 y (/.f64 (.f64 t z) x)) (/.f64 (.f64 c (.f64 i (+.f64 a (*.f64 b c)))) x))))
#s(approx (+ (* z t) (* x y)) (.f64 x (+.f64 y (/.f64 (.f64 t z) x))))
#s(approx (* 2 (+ (* t z) (* x y))) (.f64 x (fma.f64 #s(literal 2 binary64) y (.f64 #s(literal 2 binary64) (/.f64 (*.f64 t z) x)))))
#s(approx (- (* x y) (* c (* i (+ a (* b c))))) (.f64 x (+.f64 y (.f64 #s(literal -1 binary64) (/.f64 (.f64 c (.f64 i (+.f64 a (*.f64 b c)))) x)))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -1 binary64) (.f64 x (fma.f64 #s(literal -2 binary64) y (.f64 #s(literal -2 binary64) (/.f64 (-.f64 (.f64 t z) (.f64 c (.f64 i (+.f64 a (*.f64 b c))))) x))))))
#s(approx (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) (.f64 #s(literal -1 binary64) (.f64 x (fma.f64 #s(literal -1 binary64) y (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 t z) (.f64 c (.f64 i (+.f64 a (*.f64 b c))))) x))))))
#s(approx (+ (* z t) (* x y)) (.f64 #s(literal -1 binary64) (.f64 x (fma.f64 #s(literal -1 binary64) y (.f64 #s(literal -1 binary64) (/.f64 (.f64 t z) x))))))
#s(approx (* 2 (+ (* t z) (* x y))) (.f64 #s(literal -1 binary64) (.f64 x (fma.f64 #s(literal -2 binary64) y (.f64 #s(literal -2 binary64) (/.f64 (.f64 t z) x))))))
#s(approx (- (* x y) (* c (* i (+ a (* b c))))) (.f64 #s(literal -1 binary64) (.f64 x (fma.f64 #s(literal -1 binary64) y (/.f64 (.f64 c (.f64 i (+.f64 a (*.f64 b c)))) x)))))
#s(approx y y)
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 y (fma.f64 #s(literal 2 binary64) x (.f64 #s(literal 2 binary64) (/.f64 (-.f64 (.f64 t z) (.f64 c (.f64 i (+.f64 a (.f64 b c))))) y)))))
#s(approx (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) (.f64 y (-.f64 (+.f64 x (/.f64 (.f64 t z) y)) (/.f64 (.f64 c (.f64 i (+.f64 a (*.f64 b c)))) y))))
#s(approx (+ (* z t) (* x y)) (.f64 y (+.f64 x (/.f64 (.f64 t z) y))))
#s(approx (* 2 (+ (* t z) (* x y))) (.f64 y (fma.f64 #s(literal 2 binary64) x (.f64 #s(literal 2 binary64) (/.f64 (*.f64 t z) y)))))
#s(approx (- (* x y) (* c (* i (+ a (* b c))))) (.f64 y (+.f64 x (.f64 #s(literal -1 binary64) (/.f64 (.f64 c (.f64 i (+.f64 a (*.f64 b c)))) y)))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -1 binary64) (.f64 y (fma.f64 #s(literal -2 binary64) x (.f64 #s(literal -2 binary64) (/.f64 (-.f64 (.f64 t z) (.f64 c (.f64 i (+.f64 a (*.f64 b c))))) y))))))
#s(approx (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) (.f64 #s(literal -1 binary64) (.f64 y (fma.f64 #s(literal -1 binary64) x (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 t z) (.f64 c (.f64 i (+.f64 a (*.f64 b c))))) y))))))
#s(approx (+ (* z t) (* x y)) (.f64 #s(literal -1 binary64) (.f64 y (fma.f64 #s(literal -1 binary64) x (.f64 #s(literal -1 binary64) (/.f64 (.f64 t z) y))))))
#s(approx (* 2 (+ (* t z) (* x y))) (.f64 #s(literal -1 binary64) (.f64 y (fma.f64 #s(literal -2 binary64) x (.f64 #s(literal -2 binary64) (/.f64 (.f64 t z) y))))))
#s(approx (- (* x y) (* c (* i (+ a (* b c))))) (.f64 #s(literal -1 binary64) (.f64 y (fma.f64 #s(literal -1 binary64) x (/.f64 (.f64 c (.f64 i (+.f64 a (*.f64 b c)))) y)))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal 2 binary64) (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (*.f64 b c)))))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (fma.f64 #s(literal 2 binary64) (.f64 t z) (.f64 #s(literal 2 binary64) (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))))
#s(approx z z)
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 z (fma.f64 #s(literal 2 binary64) t (.f64 #s(literal 2 binary64) (/.f64 (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (.f64 b c))))) z)))))
#s(approx (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) (.f64 z (-.f64 (+.f64 t (/.f64 (.f64 x y) z)) (/.f64 (.f64 c (.f64 i (+.f64 a (*.f64 b c)))) z))))
#s(approx (+ (* z t) (* x y)) (.f64 z (+.f64 t (/.f64 (.f64 x y) z))))
#s(approx (* 2 (+ (* t z) (* x y))) (.f64 z (fma.f64 #s(literal 2 binary64) t (.f64 #s(literal 2 binary64) (/.f64 (*.f64 x y) z)))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -1 binary64) (.f64 z (fma.f64 #s(literal -2 binary64) t (.f64 #s(literal -2 binary64) (/.f64 (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (*.f64 b c))))) z))))))
#s(approx (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) (.f64 #s(literal -1 binary64) (.f64 z (fma.f64 #s(literal -1 binary64) t (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (*.f64 b c))))) z))))))
#s(approx (+ (* z t) (* x y)) (.f64 #s(literal -1 binary64) (.f64 z (fma.f64 #s(literal -1 binary64) t (.f64 #s(literal -1 binary64) (/.f64 (.f64 x y) z))))))
#s(approx (* 2 (+ (* t z) (* x y))) (.f64 #s(literal -1 binary64) (.f64 z (fma.f64 #s(literal -2 binary64) t (.f64 #s(literal -2 binary64) (/.f64 (.f64 x y) z))))))
#s(approx t t)
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 t (fma.f64 #s(literal 2 binary64) z (.f64 #s(literal 2 binary64) (/.f64 (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (.f64 b c))))) t)))))
#s(approx (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) (.f64 t (-.f64 (+.f64 z (/.f64 (.f64 x y) t)) (/.f64 (.f64 c (.f64 i (+.f64 a (*.f64 b c)))) t))))
#s(approx (+ (* z t) (* x y)) (.f64 t (+.f64 z (/.f64 (.f64 x y) t))))
#s(approx (* 2 (+ (* t z) (* x y))) (.f64 t (fma.f64 #s(literal 2 binary64) z (.f64 #s(literal 2 binary64) (/.f64 (*.f64 x y) t)))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -1 binary64) (.f64 t (fma.f64 #s(literal -2 binary64) z (.f64 #s(literal -2 binary64) (/.f64 (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (*.f64 b c))))) t))))))
#s(approx (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) (.f64 #s(literal -1 binary64) (.f64 t (fma.f64 #s(literal -1 binary64) z (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (*.f64 b c))))) t))))))
#s(approx (+ (* z t) (* x y)) (.f64 #s(literal -1 binary64) (.f64 t (fma.f64 #s(literal -1 binary64) z (.f64 #s(literal -1 binary64) (/.f64 (.f64 x y) t))))))
#s(approx (* 2 (+ (* t z) (* x y))) (.f64 #s(literal -1 binary64) (.f64 t (fma.f64 #s(literal -2 binary64) z (.f64 #s(literal -2 binary64) (/.f64 (.f64 x y) t))))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal 2 binary64) (-.f64 (fma.f64 t z (.f64 x y)) (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i)))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (fma.f64 #s(literal -2 binary64) (.f64 a (.f64 c i)) (.f64 #s(literal 2 binary64) (-.f64 (fma.f64 t z (.f64 x y)) (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i))))))
#s(approx (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) (-.f64 (fma.f64 t z (.f64 x y)) (.f64 b (*.f64 (pow.f64 c #s(literal 2 binary64)) i))))
#s(approx (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) (-.f64 (fma.f64 #s(literal -1 binary64) (.f64 a (.f64 c i)) (fma.f64 t z (.f64 x y))) (.f64 b (*.f64 (pow.f64 c #s(literal 2 binary64)) i))))
#s(approx (* (+ (* c b) a) (* c i)) (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i)))
#s(approx (* (+ (* c b) a) (* c i)) (fma.f64 a (.f64 c i) (.f64 b (*.f64 (pow.f64 c #s(literal 2 binary64)) i))))
#s(approx (+ (* c b) a) (*.f64 b c))
#s(approx (+ (* c b) a) (+.f64 a (*.f64 b c)))
#s(approx a a)
#s(approx (- (* x y) (* c (* i (+ a (* b c))))) (-.f64 (.f64 x y) (.f64 b (*.f64 (pow.f64 c #s(literal 2 binary64)) i))))
#s(approx (- (* x y) (* c (* i (+ a (* b c))))) (-.f64 (fma.f64 #s(literal -1 binary64) (.f64 a (.f64 c i)) (.f64 x y)) (.f64 b (*.f64 (pow.f64 c #s(literal 2 binary64)) i))))
#s(approx (* i (+ a (* b c))) (.f64 b (.f64 c i)))
#s(approx (* i (+ a (* b c))) (fma.f64 a i (.f64 b (.f64 c i))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 a (*.f64 c i))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 a (fma.f64 #s(literal -2 binary64) (.f64 c i) (.f64 #s(literal 2 binary64) (/.f64 (-.f64 (fma.f64 t z (.f64 x y)) (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i))) a)))))
#s(approx (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) (.f64 #s(literal -1 binary64) (.f64 a (*.f64 c i))))
#s(approx (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) (.f64 a (-.f64 (+.f64 (/.f64 (.f64 t z) a) (/.f64 (.f64 x y) a)) (fma.f64 c i (/.f64 (.f64 b (*.f64 (pow.f64 c #s(literal 2 binary64)) i)) a)))))
#s(approx (* (+ (* c b) a) (* c i)) (.f64 a (.f64 c i)))
#s(approx (* (+ (* c b) a) (* c i)) (.f64 a (fma.f64 c i (/.f64 (.f64 b (*.f64 (pow.f64 c #s(literal 2 binary64)) i)) a))))
#s(approx (+ (* c b) a) (.f64 a (+.f64 #s(literal 1 binary64) (/.f64 (.f64 b c) a))))
#s(approx (- (* x y) (* c (* i (+ a (* b c))))) (.f64 a (-.f64 (/.f64 (.f64 x y) a) (fma.f64 c i (/.f64 (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i)) a)))))
#s(approx (* i (+ a (* b c))) (*.f64 a i))
#s(approx (* i (+ a (* b c))) (.f64 a (+.f64 i (/.f64 (.f64 b (*.f64 c i)) a))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -1 binary64) (.f64 a (fma.f64 #s(literal -2 binary64) (/.f64 (-.f64 (fma.f64 t z (.f64 x y)) (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i))) a) (.f64 #s(literal 2 binary64) (*.f64 c i))))))
#s(approx (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) (.f64 #s(literal -1 binary64) (.f64 a (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (fma.f64 t z (.f64 x y)) (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i))) a)) (.f64 #s(literal -1 binary64) (.f64 c i))))))
#s(approx (* (+ (* c b) a) (* c i)) (.f64 #s(literal -1 binary64) (.f64 a (fma.f64 #s(literal -1 binary64) (.f64 c i) (.f64 #s(literal -1 binary64) (/.f64 (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i)) a))))))
#s(approx (+ (* c b) a) (.f64 #s(literal -1 binary64) (.f64 a (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 b c) a)) #s(literal 1 binary64)))))
#s(approx (- (* x y) (* c (* i (+ a (* b c))))) (.f64 #s(literal -1 binary64) (.f64 a (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 x y) (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i))) a)) (.f64 #s(literal -1 binary64) (.f64 c i))))))
#s(approx (* i (+ a (* b c))) (.f64 #s(literal -1 binary64) (.f64 a (fma.f64 #s(literal -1 binary64) i (.f64 #s(literal -1 binary64) (/.f64 (.f64 b (*.f64 c i)) a))))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal 2 binary64) (-.f64 (fma.f64 t z (.f64 x y)) (.f64 a (.f64 c i)))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (fma.f64 #s(literal -2 binary64) (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i)) (.f64 #s(literal 2 binary64) (-.f64 (fma.f64 t z (.f64 x y)) (.f64 a (.f64 c i))))))
#s(approx (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) (-.f64 (fma.f64 t z (.f64 x y)) (.f64 a (*.f64 c i))))
#s(approx (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) (-.f64 (fma.f64 #s(literal -1 binary64) (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i)) (fma.f64 t z (.f64 x y))) (.f64 a (*.f64 c i))))
#s(approx b b)
#s(approx (- (* x y) (* c (* i (+ a (* b c))))) (-.f64 (.f64 x y) (.f64 a (*.f64 c i))))
#s(approx (- (* x y) (* c (* i (+ a (* b c))))) (-.f64 (fma.f64 #s(literal -1 binary64) (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i)) (.f64 x y)) (.f64 a (*.f64 c i))))
#s(approx (* -2 (* b (* (pow c 2) i))) (.f64 #s(literal -2 binary64) (.f64 b (*.f64 (pow.f64 c #s(literal 2 binary64)) i))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 b (fma.f64 #s(literal -2 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) i) (.f64 #s(literal 2 binary64) (/.f64 (-.f64 (fma.f64 t z (.f64 x y)) (.f64 a (.f64 c i))) b)))))
#s(approx (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) (.f64 #s(literal -1 binary64) (.f64 b (*.f64 (pow.f64 c #s(literal 2 binary64)) i))))
#s(approx (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) (.f64 b (-.f64 (+.f64 (/.f64 (.f64 t z) b) (/.f64 (.f64 x y) b)) (fma.f64 (pow.f64 c #s(literal 2 binary64)) i (/.f64 (.f64 a (*.f64 c i)) b)))))
#s(approx (* (+ (* c b) a) (* c i)) (.f64 b (fma.f64 (pow.f64 c #s(literal 2 binary64)) i (/.f64 (.f64 a (*.f64 c i)) b))))
#s(approx (+ (* c b) a) (*.f64 b (+.f64 c (/.f64 a b))))
#s(approx (- (* x y) (* c (* i (+ a (* b c))))) (.f64 b (-.f64 (/.f64 (.f64 x y) b) (fma.f64 (pow.f64 c #s(literal 2 binary64)) i (/.f64 (.f64 a (.f64 c i)) b)))))
#s(approx (* i (+ a (* b c))) (.f64 b (fma.f64 c i (/.f64 (.f64 a i) b))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -1 binary64) (.f64 b (fma.f64 #s(literal -2 binary64) (/.f64 (-.f64 (fma.f64 t z (.f64 x y)) (.f64 a (.f64 c i))) b) (.f64 #s(literal 2 binary64) (*.f64 (pow.f64 c #s(literal 2 binary64)) i))))))
#s(approx (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) (.f64 #s(literal -1 binary64) (.f64 b (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (fma.f64 t z (.f64 x y)) (.f64 a (.f64 c i))) b)) (.f64 #s(literal -1 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) i))))))
#s(approx (* (+ (* c b) a) (* c i)) (.f64 #s(literal -1 binary64) (.f64 b (fma.f64 #s(literal -1 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) i) (.f64 #s(literal -1 binary64) (/.f64 (.f64 a (.f64 c i)) b))))))
#s(approx (+ (* c b) a) (.f64 #s(literal -1 binary64) (.f64 b (fma.f64 #s(literal -1 binary64) c (*.f64 #s(literal -1 binary64) (/.f64 a b))))))
#s(approx (- (* x y) (* c (* i (+ a (* b c))))) (.f64 #s(literal -1 binary64) (.f64 b (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 x y) (.f64 a (.f64 c i))) b)) (.f64 #s(literal -1 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) i))))))
#s(approx (* i (+ a (* b c))) (.f64 #s(literal -1 binary64) (.f64 b (fma.f64 #s(literal -1 binary64) (.f64 c i) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 a i) b))))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal 2 binary64) (fma.f64 t z (.f64 x y))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (fma.f64 #s(literal -2 binary64) (.f64 a (.f64 c i)) (.f64 #s(literal 2 binary64) (fma.f64 t z (.f64 x y)))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (fma.f64 #s(literal 2 binary64) (fma.f64 t z (.f64 x y)) (.f64 c (fma.f64 #s(literal -2 binary64) (.f64 a i) (.f64 #s(literal -2 binary64) (.f64 b (.f64 c i)))))))
#s(approx (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) (fma.f64 #s(literal -1 binary64) (.f64 a (.f64 c i)) (fma.f64 t z (*.f64 x y))))
#s(approx (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) (fma.f64 c (-.f64 (.f64 #s(literal -1 binary64) (.f64 b (.f64 c i))) (.f64 a i)) (fma.f64 t z (*.f64 x y))))
#s(approx (* (+ (* c b) a) (* c i)) (.f64 c (fma.f64 a i (.f64 b (*.f64 c i)))))
#s(approx c c)
#s(approx (* c i) (*.f64 c i))
#s(approx (- (* x y) (* c (* i (+ a (* b c))))) (fma.f64 #s(literal -1 binary64) (.f64 a (.f64 c i)) (*.f64 x y)))
#s(approx (- (* x y) (* c (* i (+ a (* b c))))) (fma.f64 c (-.f64 (.f64 #s(literal -1 binary64) (.f64 b (.f64 c i))) (.f64 a i)) (*.f64 x y)))
#s(approx (* (pow c 2) i) (*.f64 (pow.f64 c #s(literal 2 binary64)) i))
#s(approx (pow c 2) (pow.f64 c #s(literal 2 binary64)))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 (pow.f64 c #s(literal 2 binary64)) (fma.f64 #s(literal -2 binary64) (.f64 b i) (.f64 #s(literal -2 binary64) (/.f64 (.f64 a i) c)))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 (pow.f64 c #s(literal 2 binary64)) (fma.f64 #s(literal -2 binary64) (.f64 b i) (fma.f64 #s(literal -2 binary64) (/.f64 (.f64 a i) c) (.f64 #s(literal 2 binary64) (/.f64 (fma.f64 t z (*.f64 x y)) (pow.f64 c #s(literal 2 binary64))))))))
#s(approx (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) (.f64 (pow.f64 c #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 a i) c)) (.f64 b i))))
#s(approx (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) (.f64 (pow.f64 c #s(literal 2 binary64)) (-.f64 (+.f64 (/.f64 (.f64 t z) (pow.f64 c #s(literal 2 binary64))) (/.f64 (.f64 x y) (pow.f64 c #s(literal 2 binary64)))) (fma.f64 b i (/.f64 (.f64 a i) c)))))
#s(approx (* (+ (* c b) a) (* c i)) (.f64 (pow.f64 c #s(literal 2 binary64)) (fma.f64 b i (/.f64 (.f64 a i) c))))
#s(approx (+ (* c b) a) (*.f64 c (+.f64 b (/.f64 a c))))
#s(approx (- (* x y) (* c (* i (+ a (* b c))))) (.f64 (pow.f64 c #s(literal 2 binary64)) (-.f64 (/.f64 (.f64 x y) (pow.f64 c #s(literal 2 binary64))) (fma.f64 b i (/.f64 (*.f64 a i) c)))))
#s(approx (* i (+ a (* b c))) (.f64 c (fma.f64 b i (/.f64 (.f64 a i) c))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 (pow.f64 c #s(literal 2 binary64)) (fma.f64 #s(literal -2 binary64) (.f64 b i) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -2 binary64) (/.f64 (fma.f64 t z (.f64 x y)) c) (.f64 #s(literal 2 binary64) (.f64 a i))) c)))))
#s(approx (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) (.f64 (pow.f64 c #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 t z (.f64 x y)) c)) (.f64 #s(literal -1 binary64) (.f64 a i))) c)) (*.f64 b i))))
#s(approx (+ (* c b) a) (.f64 #s(literal -1 binary64) (.f64 c (fma.f64 #s(literal -1 binary64) b (*.f64 #s(literal -1 binary64) (/.f64 a c))))))
#s(approx (- (* x y) (* c (* i (+ a (* b c))))) (.f64 (pow.f64 c #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 x y) c)) (.f64 #s(literal -1 binary64) (.f64 a i))) c)) (*.f64 b i))))
#s(approx (* i (+ a (* b c))) (.f64 #s(literal -1 binary64) (.f64 c (fma.f64 #s(literal -1 binary64) (.f64 b i) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 a i) c))))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (fma.f64 #s(literal -2 binary64) (.f64 c (.f64 i (+.f64 a (.f64 b c)))) (.f64 #s(literal 2 binary64) (fma.f64 t z (*.f64 x y)))))
#s(approx (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) (fma.f64 #s(literal -1 binary64) (.f64 c (.f64 i (+.f64 a (.f64 b c)))) (fma.f64 t z (.f64 x y))))
#s(approx (* (+ (* c b) a) (* c i)) (.f64 c (.f64 i (+.f64 a (*.f64 b c)))))
#s(approx i i)
#s(approx (- (* x y) (* c (* i (+ a (* b c))))) (fma.f64 #s(literal -1 binary64) (.f64 c (.f64 i (+.f64 a (.f64 b c)))) (.f64 x y)))
#s(approx (* i (+ a (* b c))) (.f64 i (+.f64 a (.f64 b c))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 i (fma.f64 #s(literal -2 binary64) (.f64 c (+.f64 a (.f64 b c))) (.f64 #s(literal 2 binary64) (/.f64 (fma.f64 t z (*.f64 x y)) i)))))
#s(approx (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) (.f64 i (-.f64 (+.f64 (/.f64 (.f64 t z) i) (/.f64 (.f64 x y) i)) (.f64 c (+.f64 a (*.f64 b c))))))
#s(approx (- (* x y) (* c (* i (+ a (* b c))))) (.f64 i (-.f64 (/.f64 (.f64 x y) i) (.f64 c (+.f64 a (.f64 b c))))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -1 binary64) (.f64 i (fma.f64 #s(literal -2 binary64) (/.f64 (fma.f64 t z (.f64 x y)) i) (.f64 #s(literal 2 binary64) (.f64 c (+.f64 a (.f64 b c))))))))
#s(approx (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) (.f64 #s(literal -1 binary64) (.f64 i (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 t z (.f64 x y)) i)) (.f64 #s(literal -1 binary64) (.f64 c (+.f64 a (*.f64 b c))))))))
#s(approx (- (* x y) (* c (* i (+ a (* b c))))) (.f64 #s(literal -1 binary64) (.f64 i (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 x y) i)) (.f64 #s(literal -1 binary64) (.f64 c (+.f64 a (*.f64 b c))))))))

Calls

24 calls:

Time	Variable	Point
59.0ms	i	0
9.0ms	i	inf
9.0ms	i	-inf
7.0ms	b	-inf
4.0ms	c	inf

rewrite276.0ms (5%)

Memory

42.0MiB live, 189.0MiB allocated; 26ms collecting garbage

Counts

35 → 125

Calls

Call 1

Inputs
(.f64 (-.f64 (fma.f64 z t (.f64 x y)) (.f64 (fma.f64 c b a) (.f64 c i))) #s(literal 2 binary64))
(-.f64 (fma.f64 z t (.f64 x y)) (.f64 (fma.f64 c b a) (*.f64 c i)))
(fma.f64 z t (*.f64 x y))
z
t
(*.f64 x y)
x
y
(.f64 (fma.f64 c b a) (.f64 c i))
(fma.f64 c b a)
c
b
a
(*.f64 c i)
i
#s(literal 2 binary64)
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (.f64 t z)))
(.f64 #s(literal 2 binary64) (.f64 t z))
(*.f64 t z)
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (fma.f64 t z (.f64 x y))))
(.f64 #s(literal 2 binary64) (fma.f64 t z (.f64 x y)))
(fma.f64 t z (*.f64 x y))
(.f64 #s(literal 2 binary64) #s(approx (- (+ ( x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (.f64 b c)))))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))
(-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (.f64 b c)))))
(.f64 c (.f64 i (+.f64 a (*.f64 b c))))
(.f64 i (+.f64 a (.f64 b c)))
(+.f64 a (*.f64 b c))
(*.f64 b c)
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -2 binary64) (.f64 b (*.f64 (pow.f64 c #s(literal 2 binary64)) i))))
(.f64 #s(literal -2 binary64) (.f64 b (*.f64 (pow.f64 c #s(literal 2 binary64)) i)))
#s(literal -2 binary64)
(.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i))
(*.f64 (pow.f64 c #s(literal 2 binary64)) i)
(pow.f64 c #s(literal 2 binary64))

Outputs
(.f64 (-.f64 (fma.f64 z t (.f64 x y)) (.f64 (fma.f64 c b a) (.f64 c i))) #s(literal 2 binary64))
(.f64 #s(literal 2 binary64) (-.f64 (fma.f64 z t (.f64 x y)) (.f64 (fma.f64 c b a) (.f64 c i))))
(+.f64 (-.f64 (fma.f64 z t (.f64 x y)) (.f64 (fma.f64 c b a) (.f64 c i))) (-.f64 (fma.f64 z t (.f64 x y)) (.f64 (fma.f64 c b a) (.f64 c i))))
(+.f64 (fma.f64 z t (.f64 x y)) (.f64 (neg.f64 (fma.f64 c b a)) (*.f64 c i)))
(+.f64 (.f64 t z) (-.f64 (.f64 x y) (.f64 (fma.f64 c b a) (.f64 c i))))
(+.f64 (.f64 x y) (-.f64 (.f64 t z) (.f64 (fma.f64 c b a) (.f64 c i))))
(+.f64 (fma.f64 z t (.f64 x y)) (neg.f64 (.f64 (fma.f64 c b a) (*.f64 c i))))
(+.f64 (fma.f64 z t (.f64 x y)) (.f64 (neg.f64 (*.f64 (fma.f64 c b a) c)) i))
(-.f64 (fma.f64 z t (.f64 x y)) (.f64 (fma.f64 c b a) (*.f64 c i)))
(fma.f64 z t (-.f64 (.f64 x y) (.f64 (fma.f64 c b a) (*.f64 c i))))
(fma.f64 t z (-.f64 (.f64 x y) (.f64 (fma.f64 c b a) (*.f64 c i))))
(fma.f64 x y (-.f64 (.f64 t z) (.f64 (fma.f64 c b a) (*.f64 c i))))
(fma.f64 y x (-.f64 (.f64 t z) (.f64 (fma.f64 c b a) (*.f64 c i))))
(neg.f64 (-.f64 (.f64 (fma.f64 c b a) (.f64 c i)) (fma.f64 z t (*.f64 x y))))
(+.f64 (.f64 x y) (.f64 t z))
(+.f64 (.f64 t z) (.f64 x y))
(-.f64 (.f64 x y) (neg.f64 (.f64 t z)))
(-.f64 (.f64 t z) (neg.f64 (.f64 x y)))
(-.f64 (.f64 x y) (.f64 (neg.f64 z) t))
(-.f64 (.f64 t z) (.f64 (neg.f64 x) y))
(fma.f64 z t (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(fma.f64 x y (*.f64 t z))
(fma.f64 y x (*.f64 t z))
z
t
(*.f64 x y)
(*.f64 y x)
x
y
(.f64 (fma.f64 c b a) (.f64 c i))
(.f64 (.f64 c i) (fma.f64 c b a))
(.f64 c (.f64 i (fma.f64 c b a)))
(.f64 (.f64 (fma.f64 c b a) c) i)
(.f64 (.f64 i (fma.f64 c b a)) c)
(.f64 i (.f64 (fma.f64 c b a) c))
(+.f64 a (*.f64 b c))
(+.f64 (*.f64 b c) a)
(-.f64 (*.f64 b c) (neg.f64 a))
(-.f64 a (neg.f64 (*.f64 b c)))
(-.f64 a (*.f64 (neg.f64 b) c))
(fma.f64 c b a)
(fma.f64 b c a)
c
b
a
(*.f64 c i)
(*.f64 i c)
i
#s(literal 2 binary64)
(+.f64 #s(literal 1 binary64) #s(literal 1 binary64))
#s(approx (* (- (+ (* x y) (* z t)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal 2 binary64) (.f64 t z)))
(.f64 #s(literal 2 binary64) (.f64 t z))
(.f64 (.f64 t z) #s(literal 2 binary64))
(.f64 (.f64 #s(literal 2 binary64) t) z)
(+.f64 (.f64 t z) (.f64 t z))
(fma.f64 z t (*.f64 t z))
(fma.f64 t z (*.f64 t z))
(*.f64 t z)
(*.f64 z t)
#s(approx (* (- (+ (* x y) (* z t)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal 2 binary64) (fma.f64 z t (.f64 x y))))
(.f64 #s(literal 2 binary64) (fma.f64 z t (.f64 x y)))
(.f64 (fma.f64 z t (.f64 x y)) #s(literal 2 binary64))
(+.f64 (fma.f64 z t (.f64 x y)) (fma.f64 z t (.f64 x y)))
(+.f64 (.f64 #s(literal 2 binary64) (.f64 t z)) (.f64 (.f64 x y) #s(literal 2 binary64)))
(+.f64 (.f64 #s(literal 2 binary64) (.f64 t z)) (.f64 #s(literal 2 binary64) (.f64 x y)))
(fma.f64 #s(literal 2 binary64) (.f64 t z) (.f64 (*.f64 x y) #s(literal 2 binary64)))
(fma.f64 (.f64 t z) #s(literal 2 binary64) (.f64 (*.f64 x y) #s(literal 2 binary64)))
(fma.f64 (.f64 #s(literal 2 binary64) t) z (.f64 (*.f64 x y) #s(literal 2 binary64)))
(fma.f64 #s(literal 2 binary64) (.f64 t z) (.f64 #s(literal 2 binary64) (*.f64 x y)))
(fma.f64 (.f64 t z) #s(literal 2 binary64) (.f64 #s(literal 2 binary64) (*.f64 x y)))
(fma.f64 (.f64 #s(literal 2 binary64) t) z (.f64 #s(literal 2 binary64) (*.f64 x y)))
(+.f64 (.f64 x y) (.f64 t z))
(+.f64 (.f64 t z) (.f64 x y))
(-.f64 (.f64 x y) (neg.f64 (.f64 t z)))
(-.f64 (.f64 t z) (neg.f64 (.f64 x y)))
(-.f64 (.f64 x y) (.f64 (neg.f64 z) t))
(-.f64 (.f64 t z) (.f64 (neg.f64 x) y))
(fma.f64 z t (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(fma.f64 x y (*.f64 t z))
(fma.f64 y x (*.f64 t z))
(.f64 #s(literal 2 binary64) #s(approx (- (+ ( x y) (* z t)) (* (+ (* c b) a) (* c i))) (-.f64 (.f64 x y) (.f64 (fma.f64 c b a) (*.f64 c i)))))
#s(approx (- (+ (* x y) (* z t)) (* (+ (* c b) a) (* c i))) (-.f64 (.f64 x y) (.f64 (fma.f64 c b a) (*.f64 c i))))
(+.f64 (.f64 x y) (.f64 (neg.f64 c) (*.f64 i (fma.f64 c b a))))
(+.f64 (.f64 x y) (neg.f64 (.f64 (fma.f64 c b a) (*.f64 c i))))
(-.f64 (.f64 x y) (.f64 (fma.f64 c b a) (*.f64 c i)))
(fma.f64 x y (.f64 (neg.f64 c) (.f64 i (fma.f64 c b a))))
(fma.f64 y x (.f64 (neg.f64 c) (.f64 i (fma.f64 c b a))))
(fma.f64 x y (neg.f64 (.f64 (fma.f64 c b a) (.f64 c i))))
(fma.f64 y x (neg.f64 (.f64 (fma.f64 c b a) (.f64 c i))))
(neg.f64 (-.f64 (.f64 (fma.f64 c b a) (.f64 c i)) (*.f64 x y)))
(.f64 (fma.f64 c b a) (.f64 c i))
(.f64 (.f64 c i) (fma.f64 c b a))
(.f64 c (.f64 i (fma.f64 c b a)))
(.f64 (.f64 (fma.f64 c b a) c) i)
(.f64 (.f64 i (fma.f64 c b a)) c)
(.f64 i (.f64 (fma.f64 c b a) c))
(*.f64 i (fma.f64 c b a))
(*.f64 (fma.f64 c b a) i)
(+.f64 (.f64 a i) (.f64 (*.f64 b c) i))
(+.f64 (.f64 i a) (.f64 i (*.f64 b c)))
(fma.f64 a i (.f64 (.f64 b c) i))
(fma.f64 i a (.f64 i (.f64 b c)))
(+.f64 a (*.f64 b c))
(+.f64 (*.f64 b c) a)
(-.f64 (*.f64 b c) (neg.f64 a))
(-.f64 a (neg.f64 (*.f64 b c)))
(-.f64 a (*.f64 (neg.f64 b) c))
(fma.f64 c b a)
(fma.f64 b c a)
(*.f64 b c)
(*.f64 c b)
#s(approx (* (- (+ (* x y) (* z t)) (* (+ (* c b) a) (* c i))) 2) (.f64 (.f64 #s(literal -2 binary64) b) (.f64 (.f64 c c) i)))
(.f64 (.f64 #s(literal -2 binary64) b) (.f64 (.f64 c c) i))
(.f64 (.f64 b (.f64 (.f64 c c) i)) #s(literal -2 binary64))
(.f64 #s(literal -2 binary64) (.f64 b (.f64 (.f64 c c) i)))
#s(literal -2 binary64)
(.f64 b (.f64 (*.f64 c c) i))
(.f64 (.f64 (*.f64 c c) i) b)
(.f64 (.f64 b (*.f64 c c)) i)
(.f64 (.f64 c c) i)
(.f64 i (.f64 c c))
(*.f64 c c)
(pow.f64 c #s(literal 2 binary64))

eval33.0ms (0.6%)

Memory: -35.4MiB live, 56.2MiB allocated; 10ms collecting garbage
Compiler: Compiled 8 219 to 1 104 computations (86.6% saved)

prune12.0ms (0.2%)

Memory

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

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	235	11	246
Fresh	7	2	9
Picked	4	1	5
Done	0	0	0
Total	246	14	260

Accuracy

100.0%

Counts

260 → 14

Alt Table

Click to see full alt table

Status	Accuracy	Program
	74.0%	(.f64 (-.f64 (fma.f64 z t (.f64 x y)) #s(approx (* (+ (* c b) a) (* c i)) (.f64 a (.f64 c i)))) #s(literal 2 binary64))
▶	84.6%	(.f64 #s(literal 2 binary64) (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 #s(approx (* (+ a (* b c)) c) (.f64 a (+.f64 c (/.f64 (.f64 b (pow.f64 c #s(literal 2 binary64))) a)))) i)))
▶	72.6%	(.f64 #s(literal 2 binary64) (-.f64 #s(approx (+ ( x y) (* z t)) (.f64 t z)) (.f64 (.f64 (+.f64 a (.f64 b c)) c) i)))
	64.4%	(.f64 #s(literal 2 binary64) #s(approx (- (+ ( x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (.f64 x y) (.f64 c #s(approx (* i (+ a (* b c))) (.f64 c (fma.f64 b i (/.f64 (.f64 a i) c))))))))
	53.6%	(.f64 #s(literal 2 binary64) #s(approx (- (+ ( x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (.f64 x y) (.f64 c #s(approx (* i (+ a (* b c))) (.f64 b (.f64 c i)))))))
	48.9%	(.f64 #s(literal 2 binary64) #s(approx (- (+ ( x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (.f64 x y) (.f64 c #s(approx (* i (+ a (* b c))) (*.f64 a i))))))
	68.0%	(.f64 #s(literal 2 binary64) #s(approx (- (+ ( x y) (* z t)) (* (* (+ a (* b c)) c) i)) #s(approx (- (* x y) (* c (* i (+ a (* b c))))) (.f64 x (+.f64 y (.f64 #s(literal -1 binary64) (/.f64 (.f64 c (.f64 i (+.f64 a (*.f64 b c)))) x)))))))
	25.8%	#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal 2 binary64) (.f64 x y)))
▶	51.1%	#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))
	29.3%	#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 a (*.f64 c i))))
	34.2%	#s(approx (* (- (+ (* x y) (* z t)) (* (+ (* c b) a) (* c i))) 2) (.f64 (.f64 #s(literal -2 binary64) b) (.f64 (.f64 c c) i)))
▶	31.1%	#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 (.f64 #s(literal 2 binary64) t) z))
✓	54.3%	#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (fma.f64 t z (.f64 x y))))
▶	32.3%	#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -2 binary64) (.f64 (.f64 b (.f64 c c)) i)))

Compiler

Compiled 858 to 653 computations (23.9% saved)

series353.0ms (6.4%)

Memory

17.8MiB live, 385.8MiB allocated; 139ms collecting garbage

Counts

42 → 135

Calls

Call 1

Inputs
(.f64 #s(literal 2 binary64) (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 #s(approx (* (+ a (* b c)) c) (.f64 a (+.f64 c (/.f64 (.f64 b (pow.f64 c #s(literal 2 binary64))) a)))) i)))
#s(literal 2 binary64)
(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 #s(approx ( (+ a (* b c)) c) (.f64 a (+.f64 c (/.f64 (.f64 b (pow.f64 c #s(literal 2 binary64))) a)))) i))
(+.f64 (.f64 x y) (.f64 z t))
(*.f64 x y)
x
y
(*.f64 z t)
z
t
(.f64 #s(approx ( (+ a (* b c)) c) (.f64 a (+.f64 c (/.f64 (.f64 b (pow.f64 c #s(literal 2 binary64))) a)))) i)
#s(approx (* (+ a (* b c)) c) (.f64 a (+.f64 c (/.f64 (.f64 b (pow.f64 c #s(literal 2 binary64))) a))))
(.f64 a (+.f64 c (/.f64 (.f64 b (pow.f64 c #s(literal 2 binary64))) a)))
a
(+.f64 c (/.f64 (*.f64 b (pow.f64 c #s(literal 2 binary64))) a))
c
(/.f64 (*.f64 b (pow.f64 c #s(literal 2 binary64))) a)
(*.f64 b (pow.f64 c #s(literal 2 binary64)))
b
(pow.f64 c #s(literal 2 binary64))
i
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 (.f64 #s(literal 2 binary64) t) z))
(.f64 (.f64 #s(literal 2 binary64) t) z)
(*.f64 #s(literal 2 binary64) t)
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -2 binary64) (.f64 (.f64 b (.f64 c c)) i)))
(.f64 #s(literal -2 binary64) (.f64 (.f64 b (.f64 c c)) i))
#s(literal -2 binary64)
(.f64 (.f64 b (*.f64 c c)) i)
(.f64 b (.f64 c c))
(*.f64 c c)
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))
(.f64 #s(literal -2 binary64) (.f64 c (.f64 i (+.f64 a (.f64 b c)))))
(.f64 c (.f64 i (+.f64 a (*.f64 b c))))
(.f64 i (+.f64 a (.f64 b c)))
(+.f64 a (*.f64 b c))
(*.f64 b c)
(.f64 #s(literal 2 binary64) (-.f64 #s(approx (+ ( x y) (* z t)) (.f64 t z)) (.f64 (.f64 (+.f64 a (.f64 b c)) c) i)))
(-.f64 #s(approx (+ (* x y) (* z t)) (.f64 t z)) (.f64 (.f64 (+.f64 a (.f64 b c)) c) i))
#s(approx (+ (* x y) (* z t)) (*.f64 t z))
(*.f64 t z)
(.f64 (.f64 (+.f64 a (*.f64 b c)) c) i)
(.f64 (+.f64 a (.f64 b c)) c)

Outputs
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (-.f64 (.f64 t z) (.f64 c (.f64 i (+.f64 a (*.f64 b c)))))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (fma.f64 #s(literal 2 binary64) (.f64 x y) (.f64 #s(literal 2 binary64) (-.f64 (.f64 t z) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (.f64 t z) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (fma.f64 t z (.f64 x y)) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))
#s(approx (+ (* x y) (* z t)) (*.f64 t z))
#s(approx (+ (* x y) (* z t)) (fma.f64 t z (*.f64 x y)))
#s(approx (* x y) (*.f64 x y))
#s(approx x x)
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (.f64 x y)))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 x (fma.f64 #s(literal 2 binary64) y (.f64 #s(literal 2 binary64) (/.f64 (-.f64 (.f64 t z) (.f64 c (.f64 i (+.f64 a (.f64 b c))))) x)))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (.f64 x (-.f64 (+.f64 y (/.f64 (.f64 t z) x)) (/.f64 (.f64 c (.f64 i (+.f64 a (*.f64 b c)))) x))))
#s(approx (+ (* x y) (* z t)) (.f64 x (+.f64 y (/.f64 (.f64 t z) x))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -1 binary64) (.f64 x (fma.f64 #s(literal -2 binary64) y (.f64 #s(literal -2 binary64) (/.f64 (-.f64 (.f64 t z) (.f64 c (.f64 i (+.f64 a (*.f64 b c))))) x))))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (.f64 #s(literal -1 binary64) (.f64 x (fma.f64 #s(literal -1 binary64) y (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 t z) (.f64 c (.f64 i (+.f64 a (*.f64 b c))))) x))))))
#s(approx (+ (* x y) (* z t)) (.f64 #s(literal -1 binary64) (.f64 x (fma.f64 #s(literal -1 binary64) y (.f64 #s(literal -1 binary64) (/.f64 (.f64 t z) x))))))
#s(approx y y)
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 y (fma.f64 #s(literal 2 binary64) x (.f64 #s(literal 2 binary64) (/.f64 (-.f64 (.f64 t z) (.f64 c (.f64 i (+.f64 a (.f64 b c))))) y)))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (.f64 y (-.f64 (+.f64 x (/.f64 (.f64 t z) y)) (/.f64 (.f64 c (.f64 i (+.f64 a (*.f64 b c)))) y))))
#s(approx (+ (* x y) (* z t)) (.f64 y (+.f64 x (/.f64 (.f64 t z) y))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -1 binary64) (.f64 y (fma.f64 #s(literal -2 binary64) x (.f64 #s(literal -2 binary64) (/.f64 (-.f64 (.f64 t z) (.f64 c (.f64 i (+.f64 a (*.f64 b c))))) y))))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (.f64 #s(literal -1 binary64) (.f64 y (fma.f64 #s(literal -1 binary64) x (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 t z) (.f64 c (.f64 i (+.f64 a (*.f64 b c))))) y))))))
#s(approx (+ (* x y) (* z t)) (.f64 #s(literal -1 binary64) (.f64 y (fma.f64 #s(literal -1 binary64) x (.f64 #s(literal -1 binary64) (/.f64 (.f64 t z) y))))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (*.f64 b c)))))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (fma.f64 #s(literal 2 binary64) (.f64 t z) (.f64 #s(literal 2 binary64) (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))
#s(approx z z)
#s(approx (* (* 2 t) z) (.f64 #s(literal 2 binary64) (.f64 t z)))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 z (fma.f64 #s(literal 2 binary64) t (.f64 #s(literal 2 binary64) (/.f64 (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (.f64 b c))))) z)))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (.f64 z (-.f64 (+.f64 t (/.f64 (.f64 x y) z)) (/.f64 (.f64 c (.f64 i (+.f64 a (*.f64 b c)))) z))))
#s(approx (+ (* x y) (* z t)) (.f64 z (+.f64 t (/.f64 (.f64 x y) z))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -1 binary64) (.f64 z (fma.f64 #s(literal -2 binary64) t (.f64 #s(literal -2 binary64) (/.f64 (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (*.f64 b c))))) z))))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (.f64 #s(literal -1 binary64) (.f64 z (fma.f64 #s(literal -1 binary64) t (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (*.f64 b c))))) z))))))
#s(approx (+ (* x y) (* z t)) (.f64 #s(literal -1 binary64) (.f64 z (fma.f64 #s(literal -1 binary64) t (.f64 #s(literal -1 binary64) (/.f64 (.f64 x y) z))))))
#s(approx t t)
#s(approx (* 2 t) (*.f64 #s(literal 2 binary64) t))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 t (fma.f64 #s(literal 2 binary64) z (.f64 #s(literal 2 binary64) (/.f64 (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (.f64 b c))))) t)))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (.f64 t (-.f64 (+.f64 z (/.f64 (.f64 x y) t)) (/.f64 (.f64 c (.f64 i (+.f64 a (*.f64 b c)))) t))))
#s(approx (+ (* x y) (* z t)) (.f64 t (+.f64 z (/.f64 (.f64 x y) t))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -1 binary64) (.f64 t (fma.f64 #s(literal -2 binary64) z (.f64 #s(literal -2 binary64) (/.f64 (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (*.f64 b c))))) t))))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (.f64 #s(literal -1 binary64) (.f64 t (fma.f64 #s(literal -1 binary64) z (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (*.f64 b c))))) t))))))
#s(approx (+ (* x y) (* z t)) (.f64 #s(literal -1 binary64) (.f64 t (fma.f64 #s(literal -1 binary64) z (.f64 #s(literal -1 binary64) (/.f64 (.f64 x y) t))))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (-.f64 (fma.f64 t z (.f64 x y)) (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i)))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (fma.f64 #s(literal -2 binary64) (.f64 a (.f64 c i)) (.f64 #s(literal 2 binary64) (-.f64 (fma.f64 t z (.f64 x y)) (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i))))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (fma.f64 t z (.f64 x y)) (.f64 b (*.f64 (pow.f64 c #s(literal 2 binary64)) i))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (fma.f64 #s(literal -1 binary64) (.f64 a (.f64 c i)) (fma.f64 t z (.f64 x y))) (.f64 b (*.f64 (pow.f64 c #s(literal 2 binary64)) i))))
#s(approx (* (* (+ a (* b c)) c) i) (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i)))
#s(approx (* (* (+ a (* b c)) c) i) (fma.f64 a (.f64 c i) (.f64 b (*.f64 (pow.f64 c #s(literal 2 binary64)) i))))
#s(approx (* (+ a (* b c)) c) (*.f64 b (pow.f64 c #s(literal 2 binary64))))
#s(approx (* (+ a (* b c)) c) (fma.f64 a c (*.f64 b (pow.f64 c #s(literal 2 binary64)))))
#s(approx a a)
#s(approx (+ c (/ (* b (pow c 2)) a)) (/.f64 (*.f64 b (pow.f64 c #s(literal 2 binary64))) a))
#s(approx (+ c (/ (* b (pow c 2)) a)) (/.f64 (fma.f64 a c (*.f64 b (pow.f64 c #s(literal 2 binary64)))) a))
#s(approx (* -2 (* c (* i (+ a (* b c))))) (.f64 #s(literal -2 binary64) (.f64 b (*.f64 (pow.f64 c #s(literal 2 binary64)) i))))
#s(approx (* -2 (* c (* i (+ a (* b c))))) (fma.f64 #s(literal -2 binary64) (.f64 a (.f64 c i)) (.f64 #s(literal -2 binary64) (.f64 b (*.f64 (pow.f64 c #s(literal 2 binary64)) i)))))
#s(approx (* i (+ a (* b c))) (.f64 b (.f64 c i)))
#s(approx (* i (+ a (* b c))) (fma.f64 a i (.f64 b (.f64 c i))))
#s(approx (+ a (* b c)) (*.f64 b c))
#s(approx (+ a (* b c)) (+.f64 a (*.f64 b c)))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -2 binary64) (.f64 a (*.f64 c i))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 a (fma.f64 #s(literal -2 binary64) (.f64 c i) (.f64 #s(literal 2 binary64) (/.f64 (-.f64 (fma.f64 t z (.f64 x y)) (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i))) a)))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (.f64 #s(literal -1 binary64) (.f64 a (*.f64 c i))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (.f64 a (-.f64 (+.f64 (/.f64 (.f64 t z) a) (/.f64 (.f64 x y) a)) (fma.f64 c i (/.f64 (.f64 b (*.f64 (pow.f64 c #s(literal 2 binary64)) i)) a)))))
#s(approx (* (* (+ a (* b c)) c) i) (.f64 a (.f64 c i)))
#s(approx (* (* (+ a (* b c)) c) i) (.f64 a (fma.f64 c i (/.f64 (.f64 b (*.f64 (pow.f64 c #s(literal 2 binary64)) i)) a))))
#s(approx (* (+ a (* b c)) c) (*.f64 a c))
#s(approx (* (+ a (* b c)) c) (.f64 a (+.f64 c (/.f64 (.f64 b (pow.f64 c #s(literal 2 binary64))) a))))
#s(approx (+ c (/ (* b (pow c 2)) a)) c)
#s(approx (+ c (/ (* b (pow c 2)) a)) (+.f64 c (/.f64 (*.f64 b (pow.f64 c #s(literal 2 binary64))) a)))
#s(approx (* -2 (* c (* i (+ a (* b c))))) (.f64 a (fma.f64 #s(literal -2 binary64) (.f64 c i) (.f64 #s(literal -2 binary64) (/.f64 (.f64 b (*.f64 (pow.f64 c #s(literal 2 binary64)) i)) a)))))
#s(approx (* i (+ a (* b c))) (*.f64 a i))
#s(approx (* i (+ a (* b c))) (.f64 a (+.f64 i (/.f64 (.f64 b (*.f64 c i)) a))))
#s(approx (+ a (* b c)) (.f64 a (+.f64 #s(literal 1 binary64) (/.f64 (.f64 b c) a))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -1 binary64) (.f64 a (fma.f64 #s(literal -2 binary64) (/.f64 (-.f64 (fma.f64 t z (.f64 x y)) (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i))) a) (.f64 #s(literal 2 binary64) (*.f64 c i))))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (.f64 #s(literal -1 binary64) (.f64 a (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (fma.f64 t z (.f64 x y)) (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i))) a)) (.f64 #s(literal -1 binary64) (.f64 c i))))))
#s(approx (* (* (+ a (* b c)) c) i) (.f64 #s(literal -1 binary64) (.f64 a (fma.f64 #s(literal -1 binary64) (.f64 c i) (.f64 #s(literal -1 binary64) (/.f64 (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i)) a))))))
#s(approx (* (+ a (* b c)) c) (.f64 #s(literal -1 binary64) (.f64 a (fma.f64 #s(literal -1 binary64) c (.f64 #s(literal -1 binary64) (/.f64 (.f64 b (pow.f64 c #s(literal 2 binary64))) a))))))
#s(approx (* -2 (* c (* i (+ a (* b c))))) (.f64 #s(literal -1 binary64) (.f64 a (fma.f64 #s(literal 2 binary64) (.f64 c i) (.f64 #s(literal 2 binary64) (/.f64 (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i)) a))))))
#s(approx (* i (+ a (* b c))) (.f64 #s(literal -1 binary64) (.f64 a (fma.f64 #s(literal -1 binary64) i (.f64 #s(literal -1 binary64) (/.f64 (.f64 b (*.f64 c i)) a))))))
#s(approx (+ a (* b c)) (.f64 #s(literal -1 binary64) (.f64 a (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 b c) a)) #s(literal 1 binary64)))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (-.f64 (fma.f64 t z (.f64 x y)) (.f64 a (.f64 c i)))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (fma.f64 #s(literal -2 binary64) (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i)) (.f64 #s(literal 2 binary64) (-.f64 (fma.f64 t z (.f64 x y)) (.f64 a (.f64 c i))))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (fma.f64 t z (.f64 x y)) (.f64 a (*.f64 c i))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (fma.f64 #s(literal -1 binary64) (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i)) (fma.f64 t z (.f64 x y))) (.f64 a (*.f64 c i))))
#s(approx b b)
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 b (fma.f64 #s(literal -2 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) i) (.f64 #s(literal 2 binary64) (/.f64 (-.f64 (fma.f64 t z (.f64 x y)) (.f64 a (.f64 c i))) b)))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (.f64 #s(literal -1 binary64) (.f64 b (*.f64 (pow.f64 c #s(literal 2 binary64)) i))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (.f64 b (-.f64 (+.f64 (/.f64 (.f64 t z) b) (/.f64 (.f64 x y) b)) (fma.f64 (pow.f64 c #s(literal 2 binary64)) i (/.f64 (.f64 a (*.f64 c i)) b)))))
#s(approx (* (* (+ a (* b c)) c) i) (.f64 b (fma.f64 (pow.f64 c #s(literal 2 binary64)) i (/.f64 (.f64 a (*.f64 c i)) b))))
#s(approx (* (+ a (* b c)) c) (.f64 b (+.f64 (/.f64 (.f64 a c) b) (pow.f64 c #s(literal 2 binary64)))))
#s(approx (+ c (/ (* b (pow c 2)) a)) (*.f64 b (+.f64 (/.f64 c b) (/.f64 (pow.f64 c #s(literal 2 binary64)) a))))
#s(approx (* -2 (* c (* i (+ a (* b c))))) (.f64 b (fma.f64 #s(literal -2 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) i) (.f64 #s(literal -2 binary64) (/.f64 (.f64 a (*.f64 c i)) b)))))
#s(approx (* i (+ a (* b c))) (.f64 b (fma.f64 c i (/.f64 (.f64 a i) b))))
#s(approx (+ a (* b c)) (*.f64 b (+.f64 c (/.f64 a b))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -1 binary64) (.f64 b (fma.f64 #s(literal -2 binary64) (/.f64 (-.f64 (fma.f64 t z (.f64 x y)) (.f64 a (.f64 c i))) b) (.f64 #s(literal 2 binary64) (*.f64 (pow.f64 c #s(literal 2 binary64)) i))))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (.f64 #s(literal -1 binary64) (.f64 b (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (fma.f64 t z (.f64 x y)) (.f64 a (.f64 c i))) b)) (.f64 #s(literal -1 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) i))))))
#s(approx (* (* (+ a (* b c)) c) i) (.f64 #s(literal -1 binary64) (.f64 b (fma.f64 #s(literal -1 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) i) (.f64 #s(literal -1 binary64) (/.f64 (.f64 a (.f64 c i)) b))))))
#s(approx (* (+ a (* b c)) c) (.f64 #s(literal -1 binary64) (.f64 b (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 a c) b) (.f64 #s(literal -1 binary64) (pow.f64 c #s(literal 2 binary64)))))))
#s(approx (+ c (/ (* b (pow c 2)) a)) (.f64 #s(literal -1 binary64) (.f64 b (fma.f64 #s(literal -1 binary64) (/.f64 c b) (*.f64 #s(literal -1 binary64) (/.f64 (pow.f64 c #s(literal 2 binary64)) a))))))
#s(approx (* -2 (* c (* i (+ a (* b c))))) (.f64 #s(literal -1 binary64) (.f64 b (fma.f64 #s(literal 2 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) i) (.f64 #s(literal 2 binary64) (/.f64 (.f64 a (.f64 c i)) b))))))
#s(approx (* i (+ a (* b c))) (.f64 #s(literal -1 binary64) (.f64 b (fma.f64 #s(literal -1 binary64) (.f64 c i) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 a i) b))))))
#s(approx (+ a (* b c)) (.f64 #s(literal -1 binary64) (.f64 b (fma.f64 #s(literal -1 binary64) c (*.f64 #s(literal -1 binary64) (/.f64 a b))))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (fma.f64 t z (.f64 x y))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (fma.f64 #s(literal -2 binary64) (.f64 a (.f64 c i)) (.f64 #s(literal 2 binary64) (fma.f64 t z (.f64 x y)))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (fma.f64 #s(literal 2 binary64) (fma.f64 t z (.f64 x y)) (.f64 c (fma.f64 #s(literal -2 binary64) (.f64 a i) (.f64 #s(literal -2 binary64) (.f64 b (.f64 c i)))))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (fma.f64 #s(literal -1 binary64) (.f64 a (.f64 c i)) (fma.f64 t z (*.f64 x y))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (fma.f64 c (-.f64 (.f64 #s(literal -1 binary64) (.f64 b (.f64 c i))) (.f64 a i)) (fma.f64 t z (*.f64 x y))))
#s(approx (* (* (+ a (* b c)) c) i) (.f64 c (fma.f64 a i (.f64 b (*.f64 c i)))))
#s(approx (* (+ a (* b c)) c) (.f64 c (+.f64 a (.f64 b c))))
#s(approx (+ c (/ (* b (pow c 2)) a)) (.f64 c (+.f64 #s(literal 1 binary64) (/.f64 (.f64 b c) a))))
#s(approx (pow c 2) (pow.f64 c #s(literal 2 binary64)))
#s(approx (* -2 (* c (* i (+ a (* b c))))) (.f64 c (fma.f64 #s(literal -2 binary64) (.f64 a i) (.f64 #s(literal -2 binary64) (.f64 b (*.f64 c i))))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 (pow.f64 c #s(literal 2 binary64)) (fma.f64 #s(literal -2 binary64) (.f64 b i) (.f64 #s(literal -2 binary64) (/.f64 (.f64 a i) c)))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 (pow.f64 c #s(literal 2 binary64)) (fma.f64 #s(literal -2 binary64) (.f64 b i) (fma.f64 #s(literal -2 binary64) (/.f64 (.f64 a i) c) (.f64 #s(literal 2 binary64) (/.f64 (fma.f64 t z (*.f64 x y)) (pow.f64 c #s(literal 2 binary64))))))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (.f64 (pow.f64 c #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 a i) c)) (.f64 b i))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (.f64 (pow.f64 c #s(literal 2 binary64)) (-.f64 (+.f64 (/.f64 (.f64 t z) (pow.f64 c #s(literal 2 binary64))) (/.f64 (.f64 x y) (pow.f64 c #s(literal 2 binary64)))) (fma.f64 b i (/.f64 (.f64 a i) c)))))
#s(approx (* (* (+ a (* b c)) c) i) (.f64 (pow.f64 c #s(literal 2 binary64)) (fma.f64 b i (/.f64 (.f64 a i) c))))
#s(approx (* (+ a (* b c)) c) (*.f64 (pow.f64 c #s(literal 2 binary64)) (+.f64 b (/.f64 a c))))
#s(approx (+ c (/ (* b (pow c 2)) a)) (*.f64 (pow.f64 c #s(literal 2 binary64)) (+.f64 (/.f64 #s(literal 1 binary64) c) (/.f64 b a))))
#s(approx (* i (+ a (* b c))) (.f64 c (fma.f64 b i (/.f64 (.f64 a i) c))))
#s(approx (+ a (* b c)) (*.f64 c (+.f64 b (/.f64 a c))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 (pow.f64 c #s(literal 2 binary64)) (fma.f64 #s(literal -2 binary64) (.f64 b i) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -2 binary64) (/.f64 (fma.f64 t z (.f64 x y)) c) (.f64 #s(literal 2 binary64) (.f64 a i))) c)))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (.f64 (pow.f64 c #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 t z (.f64 x y)) c)) (.f64 #s(literal -1 binary64) (.f64 a i))) c)) (*.f64 b i))))
#s(approx (* i (+ a (* b c))) (.f64 #s(literal -1 binary64) (.f64 c (fma.f64 #s(literal -1 binary64) (.f64 b i) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 a i) c))))))
#s(approx (+ a (* b c)) (.f64 #s(literal -1 binary64) (.f64 c (fma.f64 #s(literal -1 binary64) b (*.f64 #s(literal -1 binary64) (/.f64 a c))))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (fma.f64 #s(literal -2 binary64) (.f64 c (.f64 i (+.f64 a (.f64 b c)))) (.f64 #s(literal 2 binary64) (fma.f64 t z (*.f64 x y)))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (fma.f64 #s(literal -1 binary64) (.f64 c (.f64 i (+.f64 a (.f64 b c)))) (fma.f64 t z (.f64 x y))))
#s(approx (* (* (+ a (* b c)) c) i) (.f64 c (.f64 i (+.f64 a (*.f64 b c)))))
#s(approx i i)
#s(approx (* -2 (* c (* i (+ a (* b c))))) (.f64 #s(literal -2 binary64) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))
#s(approx (* i (+ a (* b c))) (.f64 i (+.f64 a (.f64 b c))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 i (fma.f64 #s(literal -2 binary64) (.f64 c (+.f64 a (.f64 b c))) (.f64 #s(literal 2 binary64) (/.f64 (fma.f64 t z (*.f64 x y)) i)))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (.f64 #s(literal -1 binary64) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (.f64 i (-.f64 (+.f64 (/.f64 (.f64 t z) i) (/.f64 (.f64 x y) i)) (.f64 c (+.f64 a (*.f64 b c))))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -1 binary64) (.f64 i (fma.f64 #s(literal -2 binary64) (/.f64 (fma.f64 t z (.f64 x y)) i) (.f64 #s(literal 2 binary64) (.f64 c (+.f64 a (.f64 b c))))))))
#s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (.f64 #s(literal -1 binary64) (.f64 i (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 t z (.f64 x y)) i)) (.f64 #s(literal -1 binary64) (.f64 c (+.f64 a (*.f64 b c))))))))

Calls

24 calls:

Time	Variable	Point
19.0ms	a	inf
13.0ms	b	-inf
9.0ms	x	-inf
5.0ms	b	inf
5.0ms	c	-inf

rewrite208.0ms (3.8%)

Memory

-10.4MiB live, 182.5MiB allocated; 105ms collecting garbage

Counts

42 → 111

Calls

Call 1

Inputs
(.f64 #s(literal 2 binary64) (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 #s(approx (* (+ a (* b c)) c) (.f64 a (+.f64 c (/.f64 (.f64 b (pow.f64 c #s(literal 2 binary64))) a)))) i)))
#s(literal 2 binary64)
(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 #s(approx ( (+ a (* b c)) c) (.f64 a (+.f64 c (/.f64 (.f64 b (pow.f64 c #s(literal 2 binary64))) a)))) i))
(+.f64 (.f64 x y) (.f64 z t))
(*.f64 x y)
x
y
(*.f64 z t)
z
t
(.f64 #s(approx ( (+ a (* b c)) c) (.f64 a (+.f64 c (/.f64 (.f64 b (pow.f64 c #s(literal 2 binary64))) a)))) i)
#s(approx (* (+ a (* b c)) c) (.f64 a (+.f64 c (/.f64 (.f64 b (pow.f64 c #s(literal 2 binary64))) a))))
(.f64 a (+.f64 c (/.f64 (.f64 b (pow.f64 c #s(literal 2 binary64))) a)))
a
(+.f64 c (/.f64 (*.f64 b (pow.f64 c #s(literal 2 binary64))) a))
c
(/.f64 (*.f64 b (pow.f64 c #s(literal 2 binary64))) a)
(*.f64 b (pow.f64 c #s(literal 2 binary64)))
b
(pow.f64 c #s(literal 2 binary64))
i
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 (.f64 #s(literal 2 binary64) t) z))
(.f64 (.f64 #s(literal 2 binary64) t) z)
(*.f64 #s(literal 2 binary64) t)
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -2 binary64) (.f64 (.f64 b (.f64 c c)) i)))
(.f64 #s(literal -2 binary64) (.f64 (.f64 b (.f64 c c)) i))
#s(literal -2 binary64)
(.f64 (.f64 b (*.f64 c c)) i)
(.f64 b (.f64 c c))
(*.f64 c c)
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))
(.f64 #s(literal -2 binary64) (.f64 c (.f64 i (+.f64 a (.f64 b c)))))
(.f64 c (.f64 i (+.f64 a (*.f64 b c))))
(.f64 i (+.f64 a (.f64 b c)))
(+.f64 a (*.f64 b c))
(*.f64 b c)
(.f64 #s(literal 2 binary64) (-.f64 #s(approx (+ ( x y) (* z t)) (.f64 t z)) (.f64 (.f64 (+.f64 a (.f64 b c)) c) i)))
(-.f64 #s(approx (+ (* x y) (* z t)) (.f64 t z)) (.f64 (.f64 (+.f64 a (.f64 b c)) c) i))
#s(approx (+ (* x y) (* z t)) (*.f64 t z))
(*.f64 t z)
(.f64 (.f64 (+.f64 a (*.f64 b c)) c) i)
(.f64 (+.f64 a (.f64 b c)) c)

Outputs
(.f64 #s(literal 2 binary64) (-.f64 (fma.f64 y x (.f64 z t)) (.f64 #s(approx ( (+ (* c b) a) c) (.f64 a (fma.f64 b (/.f64 (.f64 c c) a) c))) i)))
#s(literal 2 binary64)
(+.f64 #s(literal 1 binary64) #s(literal 1 binary64))
(-.f64 (fma.f64 y x (.f64 z t)) (.f64 #s(approx (* (+ (* c b) a) c) (.f64 a (fma.f64 b (/.f64 (.f64 c c) a) c))) i))
(+.f64 (.f64 x y) (.f64 z t))
(+.f64 (.f64 z t) (.f64 x y))
(-.f64 (.f64 z t) (neg.f64 (.f64 x y)))
(-.f64 (.f64 x y) (neg.f64 (.f64 z t)))
(-.f64 (.f64 z t) (.f64 (neg.f64 x) y))
(-.f64 (.f64 x y) (.f64 (neg.f64 z) t))
(fma.f64 y x (*.f64 z t))
(fma.f64 x y (*.f64 z t))
(fma.f64 t z (*.f64 x y))
(fma.f64 z t (*.f64 x y))
(*.f64 x y)
(*.f64 y x)
x
y
(*.f64 z t)
(*.f64 t z)
z
t
(.f64 #s(approx ( (+ (* c b) a) c) (.f64 a (fma.f64 b (/.f64 (.f64 c c) a) c))) i)
#s(approx (* (+ (* c b) a) c) (.f64 a (fma.f64 b (/.f64 (.f64 c c) a) c)))
(.f64 a (fma.f64 b (/.f64 (.f64 c c) a) c))
(.f64 (fma.f64 b (/.f64 (.f64 c c) a) c) a)
(+.f64 (.f64 c a) (.f64 (/.f64 (.f64 b (.f64 c c)) a) a))
(+.f64 (.f64 a c) (.f64 a (/.f64 (.f64 b (.f64 c c)) a)))
(fma.f64 c a (.f64 (/.f64 (.f64 b (*.f64 c c)) a) a))
(fma.f64 a c (.f64 a (/.f64 (.f64 b (*.f64 c c)) a)))
a
(+.f64 c (/.f64 (.f64 b (.f64 c c)) a))
(+.f64 (/.f64 (.f64 b (.f64 c c)) a) c)
(-.f64 c (neg.f64 (/.f64 (.f64 b (.f64 c c)) a)))
(/.f64 (fma.f64 c a (.f64 b (.f64 c c))) a)
(fma.f64 (.f64 b (.f64 c c)) (/.f64 #s(literal 1 binary64) a) c)
(fma.f64 b (/.f64 (*.f64 c c) a) c)
c
(.f64 (.f64 b (*.f64 c c)) (/.f64 #s(literal 1 binary64) a))
(.f64 b (/.f64 (.f64 c c) a))
(/.f64 (.f64 b (.f64 c c)) a)
(/.f64 (neg.f64 (.f64 b (.f64 c c))) (neg.f64 a))
(.f64 b (.f64 c c))
(.f64 (.f64 b c) c)
(.f64 (.f64 c c) b)
b
(*.f64 c c)
(*.f64 (fabs.f64 c) (fabs.f64 c))
(*.f64 (neg.f64 c) (neg.f64 c))
(pow.f64 c #s(literal 2 binary64))
i
#s(approx (* (- (+ (* t z) (* x y)) (* (+ (* c b) a) (* c i))) 2) (*.f64 (+.f64 t t) z))
(*.f64 (+.f64 t t) z)
(.f64 #s(literal 2 binary64) (.f64 z t))
(*.f64 z (+.f64 t t))
(*.f64 #s(literal 2 binary64) t)
(*.f64 t #s(literal 2 binary64))
(+.f64 t t)
#s(approx (* (- (+ (* t z) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 (.f64 (.f64 b (.f64 c c)) i) #s(literal -2 binary64)))
(.f64 (.f64 (.f64 b (.f64 c c)) i) #s(literal -2 binary64))
(.f64 (.f64 #s(literal -2 binary64) (.f64 b (.f64 c c))) i)
(.f64 #s(literal -2 binary64) (.f64 (.f64 b (.f64 c c)) i))
#s(literal -2 binary64)
(.f64 (.f64 b (*.f64 c c)) i)
(.f64 i (.f64 b (*.f64 c c)))
(.f64 b (.f64 (*.f64 c c) i))
(.f64 b (.f64 c c))
(.f64 (.f64 b c) c)
(.f64 (.f64 c c) b)
(*.f64 c c)
(*.f64 (fabs.f64 c) (fabs.f64 c))
(*.f64 (neg.f64 c) (neg.f64 c))
(pow.f64 c #s(literal 2 binary64))
#s(approx (* (- (+ (* t z) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 (*.f64 i c) (fma.f64 c b a))))
(.f64 #s(literal -2 binary64) (.f64 (*.f64 i c) (fma.f64 c b a)))
(.f64 (.f64 (*.f64 i c) (fma.f64 c b a)) #s(literal -2 binary64))
(.f64 (.f64 #s(literal -2 binary64) c) (*.f64 i (fma.f64 c b a)))
(.f64 (.f64 i c) (fma.f64 c b a))
(.f64 (fma.f64 c b a) (.f64 i c))
(.f64 (.f64 (fma.f64 c b a) c) i)
(.f64 (.f64 i (fma.f64 c b a)) c)
(.f64 i (.f64 (fma.f64 c b a) c))
(.f64 c (.f64 i (fma.f64 c b a)))
(*.f64 i (fma.f64 c b a))
(*.f64 (fma.f64 c b a) i)
(+.f64 (.f64 a i) (.f64 (*.f64 b c) i))
(+.f64 (.f64 i a) (.f64 i (*.f64 b c)))
(fma.f64 a i (.f64 (.f64 b c) i))
(fma.f64 i a (.f64 i (.f64 b c)))
(+.f64 a (*.f64 b c))
(+.f64 (*.f64 b c) a)
(-.f64 (*.f64 b c) (neg.f64 a))
(-.f64 a (neg.f64 (*.f64 b c)))
(-.f64 a (*.f64 (neg.f64 b) c))
(fma.f64 c b a)
(fma.f64 b c a)
(*.f64 b c)
(*.f64 c b)
(.f64 #s(literal 2 binary64) (-.f64 #s(approx (+ ( t z) (* x y)) (.f64 z t)) (.f64 (*.f64 i c) (fma.f64 c b a))))
(-.f64 #s(approx (+ (* t z) (* x y)) (.f64 z t)) (.f64 (*.f64 i c) (fma.f64 c b a)))
#s(approx (+ (* t z) (* x y)) (*.f64 z t))
(*.f64 z t)
(*.f64 t z)
(.f64 (.f64 i c) (fma.f64 c b a))
(.f64 (fma.f64 c b a) (.f64 i c))
(.f64 (.f64 (fma.f64 c b a) c) i)
(.f64 (.f64 i (fma.f64 c b a)) c)
(.f64 i (.f64 (fma.f64 c b a) c))
(.f64 c (.f64 i (fma.f64 c b a)))
(*.f64 (fma.f64 c b a) c)
(*.f64 c (fma.f64 c b a))

eval32.0ms (0.6%)

Memory: 2.1MiB live, 54.1MiB allocated; 14ms collecting garbage
Compiler: Compiled 8 326 to 1 179 computations (85.8% saved)

prune17.0ms (0.3%)

Memory

-16.7MiB live, 30.1MiB allocated; 4ms collecting garbage

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	232	7	239
Fresh	1	7	8
Picked	4	1	5
Done	0	1	1
Total	237	16	253

Accuracy

100.0%

Counts

253 → 16

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	74.0%	(.f64 (-.f64 (fma.f64 z t (.f64 x y)) #s(approx (* (+ (* c b) a) (* c i)) (.f64 a (.f64 c i)))) #s(literal 2 binary64))
▶	83.2%	(.f64 #s(literal 2 binary64) (-.f64 (fma.f64 y x (.f64 z t)) (.f64 #s(approx ( (+ (* c b) a) c) (.f64 a (fma.f64 b (/.f64 (.f64 c c) a) c))) i)))
	77.5%	(.f64 #s(literal 2 binary64) (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 #s(approx (* (+ a (* b c)) c) (.f64 a #s(approx (+ c (/ ( b (pow c 2)) a)) (*.f64 (pow.f64 c #s(literal 2 binary64)) (+.f64 (/.f64 #s(literal 1 binary64) c) (/.f64 b a)))))) i)))
	53.6%	(.f64 #s(literal 2 binary64) #s(approx (- (+ ( x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (.f64 x y) (.f64 c #s(approx (* i (+ a (* b c))) (.f64 b (.f64 c i)))))))
	48.9%	(.f64 #s(literal 2 binary64) #s(approx (- (+ ( x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (.f64 x y) (.f64 c #s(approx (* i (+ a (* b c))) (*.f64 a i))))))
	68.0%	(.f64 #s(literal 2 binary64) #s(approx (- (+ ( x y) (* z t)) (* (* (+ a (* b c)) c) i)) #s(approx (- (* x y) (* c (* i (+ a (* b c))))) (.f64 x (+.f64 y (.f64 #s(literal -1 binary64) (/.f64 (.f64 c (.f64 i (+.f64 a (*.f64 b c)))) x)))))))
	25.8%	#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal 2 binary64) (.f64 x y)))
▶	51.1%	#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 (*.f64 (fma.f64 c b a) c) i)))
	32.3%	#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 c (.f64 i #s(approx (+ a ( b c)) (*.f64 b c))))))
	48.1%	#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 c #s(approx (* i (+ a (* b c))) (.f64 c (fma.f64 b i (/.f64 (.f64 a i) c)))))))
▶	28.3%	#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 c #s(approx (* i (+ a (* b c))) (*.f64 a i)))))
	29.3%	#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 a (*.f64 c i))))
	34.2%	#s(approx (* (- (+ (* x y) (* z t)) (* (+ (* c b) a) (* c i))) 2) (.f64 (.f64 #s(literal -2 binary64) b) (.f64 (.f64 c c) i)))
▶	31.1%	#s(approx (* (- (+ (* t z) (* x y)) (* (+ (* c b) a) (* c i))) 2) (*.f64 (+.f64 t t) z))
✓	54.3%	#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (fma.f64 t z (.f64 x y))))
✓	32.3%	#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -2 binary64) (.f64 (.f64 b (.f64 c c)) i)))

Compiler

Compiled 999 to 757 computations (24.2% saved)

series315.0ms (5.7%)

Memory

29.9MiB live, 214.4MiB allocated; 47ms collecting garbage

Counts

40 → 137

Calls

Call 1

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

Outputs
#s(approx (* 2 (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i))) (.f64 #s(literal 2 binary64) (-.f64 (.f64 t z) (.f64 c (.f64 i (+.f64 a (*.f64 b c)))))))
#s(approx (* 2 (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i))) (fma.f64 #s(literal 2 binary64) (.f64 x y) (.f64 #s(literal 2 binary64) (-.f64 (.f64 t z) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))))
#s(approx (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i)) (-.f64 (.f64 t z) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))
#s(approx (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i)) (-.f64 (fma.f64 t z (.f64 x y)) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))
#s(approx (+ (* y x) (* z t)) (*.f64 t z))
#s(approx (+ (* y x) (* z t)) (fma.f64 t z (*.f64 x y)))
#s(approx x x)
#s(approx (* x y) (*.f64 x y))
#s(approx (* 2 (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i))) (.f64 #s(literal 2 binary64) (.f64 x y)))
#s(approx (* 2 (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i))) (.f64 x (fma.f64 #s(literal 2 binary64) y (.f64 #s(literal 2 binary64) (/.f64 (-.f64 (.f64 t z) (.f64 c (.f64 i (+.f64 a (.f64 b c))))) x)))))
#s(approx (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i)) (.f64 x (-.f64 (+.f64 y (/.f64 (.f64 t z) x)) (/.f64 (.f64 c (.f64 i (+.f64 a (*.f64 b c)))) x))))
#s(approx (+ (* y x) (* z t)) (.f64 x (+.f64 y (/.f64 (.f64 t z) x))))
#s(approx (* 2 (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i))) (.f64 #s(literal -1 binary64) (.f64 x (fma.f64 #s(literal -2 binary64) y (.f64 #s(literal -2 binary64) (/.f64 (-.f64 (.f64 t z) (.f64 c (.f64 i (+.f64 a (*.f64 b c))))) x))))))
#s(approx (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i)) (.f64 #s(literal -1 binary64) (.f64 x (fma.f64 #s(literal -1 binary64) y (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 t z) (.f64 c (.f64 i (+.f64 a (*.f64 b c))))) x))))))
#s(approx (+ (* y x) (* z t)) (.f64 #s(literal -1 binary64) (.f64 x (fma.f64 #s(literal -1 binary64) y (.f64 #s(literal -1 binary64) (/.f64 (.f64 t z) x))))))
#s(approx y y)
#s(approx (* 2 (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i))) (.f64 y (fma.f64 #s(literal 2 binary64) x (.f64 #s(literal 2 binary64) (/.f64 (-.f64 (.f64 t z) (.f64 c (.f64 i (+.f64 a (.f64 b c))))) y)))))
#s(approx (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i)) (.f64 y (-.f64 (+.f64 x (/.f64 (.f64 t z) y)) (/.f64 (.f64 c (.f64 i (+.f64 a (*.f64 b c)))) y))))
#s(approx (+ (* y x) (* z t)) (.f64 y (+.f64 x (/.f64 (.f64 t z) y))))
#s(approx (* 2 (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i))) (.f64 #s(literal -1 binary64) (.f64 y (fma.f64 #s(literal -2 binary64) x (.f64 #s(literal -2 binary64) (/.f64 (-.f64 (.f64 t z) (.f64 c (.f64 i (+.f64 a (*.f64 b c))))) y))))))
#s(approx (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i)) (.f64 #s(literal -1 binary64) (.f64 y (fma.f64 #s(literal -1 binary64) x (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 t z) (.f64 c (.f64 i (+.f64 a (*.f64 b c))))) y))))))
#s(approx (+ (* y x) (* z t)) (.f64 #s(literal -1 binary64) (.f64 y (fma.f64 #s(literal -1 binary64) x (.f64 #s(literal -1 binary64) (/.f64 (.f64 t z) y))))))
#s(approx (* 2 (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i))) (.f64 #s(literal 2 binary64) (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (*.f64 b c)))))))
#s(approx (* 2 (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i))) (fma.f64 #s(literal 2 binary64) (.f64 t z) (.f64 #s(literal 2 binary64) (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))))
#s(approx (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i)) (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))
#s(approx z z)
#s(approx (* (+ t t) z) (.f64 #s(literal 2 binary64) (.f64 t z)))
#s(approx (* 2 (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i))) (.f64 z (fma.f64 #s(literal 2 binary64) t (.f64 #s(literal 2 binary64) (/.f64 (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (.f64 b c))))) z)))))
#s(approx (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i)) (.f64 z (-.f64 (+.f64 t (/.f64 (.f64 x y) z)) (/.f64 (.f64 c (.f64 i (+.f64 a (*.f64 b c)))) z))))
#s(approx (+ (* y x) (* z t)) (.f64 z (+.f64 t (/.f64 (.f64 x y) z))))
#s(approx (* 2 (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i))) (.f64 #s(literal -1 binary64) (.f64 z (fma.f64 #s(literal -2 binary64) t (.f64 #s(literal -2 binary64) (/.f64 (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (*.f64 b c))))) z))))))
#s(approx (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i)) (.f64 #s(literal -1 binary64) (.f64 z (fma.f64 #s(literal -1 binary64) t (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (*.f64 b c))))) z))))))
#s(approx (+ (* y x) (* z t)) (.f64 #s(literal -1 binary64) (.f64 z (fma.f64 #s(literal -1 binary64) t (.f64 #s(literal -1 binary64) (/.f64 (.f64 x y) z))))))
#s(approx t t)
#s(approx (+ t t) (*.f64 #s(literal 2 binary64) t))
#s(approx (* 2 (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i))) (.f64 t (fma.f64 #s(literal 2 binary64) z (.f64 #s(literal 2 binary64) (/.f64 (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (.f64 b c))))) t)))))
#s(approx (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i)) (.f64 t (-.f64 (+.f64 z (/.f64 (.f64 x y) t)) (/.f64 (.f64 c (.f64 i (+.f64 a (*.f64 b c)))) t))))
#s(approx (+ (* y x) (* z t)) (.f64 t (+.f64 z (/.f64 (.f64 x y) t))))
#s(approx (* 2 (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i))) (.f64 #s(literal -1 binary64) (.f64 t (fma.f64 #s(literal -2 binary64) z (.f64 #s(literal -2 binary64) (/.f64 (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (*.f64 b c))))) t))))))
#s(approx (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i)) (.f64 #s(literal -1 binary64) (.f64 t (fma.f64 #s(literal -1 binary64) z (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (*.f64 b c))))) t))))))
#s(approx (+ (* y x) (* z t)) (.f64 #s(literal -1 binary64) (.f64 t (fma.f64 #s(literal -1 binary64) z (.f64 #s(literal -1 binary64) (/.f64 (.f64 x y) t))))))
#s(approx (* 2 (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i))) (.f64 #s(literal 2 binary64) (-.f64 (fma.f64 t z (.f64 x y)) (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i)))))
#s(approx (* 2 (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i))) (fma.f64 #s(literal -2 binary64) (.f64 a (.f64 c i)) (.f64 #s(literal 2 binary64) (-.f64 (fma.f64 t z (.f64 x y)) (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i))))))
#s(approx (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i)) (-.f64 (fma.f64 t z (.f64 x y)) (.f64 b (*.f64 (pow.f64 c #s(literal 2 binary64)) i))))
#s(approx (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i)) (-.f64 (fma.f64 #s(literal -1 binary64) (.f64 a (.f64 c i)) (fma.f64 t z (.f64 x y))) (.f64 b (*.f64 (pow.f64 c #s(literal 2 binary64)) i))))
#s(approx (* (* (+ (* c b) a) c) i) (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i)))
#s(approx (* (* (+ (* c b) a) c) i) (fma.f64 a (.f64 c i) (.f64 b (*.f64 (pow.f64 c #s(literal 2 binary64)) i))))
#s(approx (* (+ (* c b) a) c) (*.f64 b (pow.f64 c #s(literal 2 binary64))))
#s(approx (* (+ (* c b) a) c) (fma.f64 a c (*.f64 b (pow.f64 c #s(literal 2 binary64)))))
#s(approx a a)
#s(approx (+ (* b (/ (* c c) a)) c) (/.f64 (*.f64 b (pow.f64 c #s(literal 2 binary64))) a))
#s(approx (+ (* b (/ (* c c) a)) c) (/.f64 (fma.f64 a c (*.f64 b (pow.f64 c #s(literal 2 binary64)))) a))
#s(approx (/ (* c c) a) (/.f64 (pow.f64 c #s(literal 2 binary64)) a))
#s(approx (* -2 (* c (* i (+ a (* b c))))) (.f64 #s(literal -2 binary64) (.f64 b (*.f64 (pow.f64 c #s(literal 2 binary64)) i))))
#s(approx (* -2 (* c (* i (+ a (* b c))))) (fma.f64 #s(literal -2 binary64) (.f64 a (.f64 c i)) (.f64 #s(literal -2 binary64) (.f64 b (*.f64 (pow.f64 c #s(literal 2 binary64)) i)))))
#s(approx (* i (+ a (* b c))) (.f64 b (.f64 c i)))
#s(approx (* i (+ a (* b c))) (fma.f64 a i (.f64 b (.f64 c i))))
#s(approx (* a i) (*.f64 a i))
#s(approx (+ (* c b) a) (*.f64 b c))
#s(approx (+ (* c b) a) (+.f64 a (*.f64 b c)))
#s(approx (* a (* c i)) (.f64 a (.f64 c i)))
#s(approx (* 2 (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i))) (.f64 #s(literal -2 binary64) (.f64 a (*.f64 c i))))
#s(approx (* 2 (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i))) (.f64 a (fma.f64 #s(literal -2 binary64) (.f64 c i) (.f64 #s(literal 2 binary64) (/.f64 (-.f64 (fma.f64 t z (.f64 x y)) (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i))) a)))))
#s(approx (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i)) (.f64 #s(literal -1 binary64) (.f64 a (*.f64 c i))))
#s(approx (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i)) (.f64 a (-.f64 (+.f64 (/.f64 (.f64 t z) a) (/.f64 (.f64 x y) a)) (fma.f64 c i (/.f64 (.f64 b (*.f64 (pow.f64 c #s(literal 2 binary64)) i)) a)))))
#s(approx (* (* (+ (* c b) a) c) i) (.f64 a (fma.f64 c i (/.f64 (.f64 b (*.f64 (pow.f64 c #s(literal 2 binary64)) i)) a))))
#s(approx (* (+ (* c b) a) c) (*.f64 a c))
#s(approx (* (+ (* c b) a) c) (.f64 a (+.f64 c (/.f64 (.f64 b (pow.f64 c #s(literal 2 binary64))) a))))
#s(approx (+ (* b (/ (* c c) a)) c) c)
#s(approx (+ (* b (/ (* c c) a)) c) (+.f64 c (/.f64 (*.f64 b (pow.f64 c #s(literal 2 binary64))) a)))
#s(approx (* -2 (* c (* i (+ a (* b c))))) (.f64 a (fma.f64 #s(literal -2 binary64) (.f64 c i) (.f64 #s(literal -2 binary64) (/.f64 (.f64 b (*.f64 (pow.f64 c #s(literal 2 binary64)) i)) a)))))
#s(approx (* i (+ a (* b c))) (.f64 a (+.f64 i (/.f64 (.f64 b (*.f64 c i)) a))))
#s(approx (+ (* c b) a) (.f64 a (+.f64 #s(literal 1 binary64) (/.f64 (.f64 b c) a))))
#s(approx (* 2 (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i))) (.f64 #s(literal -1 binary64) (.f64 a (fma.f64 #s(literal -2 binary64) (/.f64 (-.f64 (fma.f64 t z (.f64 x y)) (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i))) a) (.f64 #s(literal 2 binary64) (*.f64 c i))))))
#s(approx (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i)) (.f64 #s(literal -1 binary64) (.f64 a (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (fma.f64 t z (.f64 x y)) (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i))) a)) (.f64 #s(literal -1 binary64) (.f64 c i))))))
#s(approx (* (* (+ (* c b) a) c) i) (.f64 #s(literal -1 binary64) (.f64 a (fma.f64 #s(literal -1 binary64) (.f64 c i) (.f64 #s(literal -1 binary64) (/.f64 (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i)) a))))))
#s(approx (* (+ (* c b) a) c) (.f64 #s(literal -1 binary64) (.f64 a (fma.f64 #s(literal -1 binary64) c (.f64 #s(literal -1 binary64) (/.f64 (.f64 b (pow.f64 c #s(literal 2 binary64))) a))))))
#s(approx (* -2 (* c (* i (+ a (* b c))))) (.f64 #s(literal -1 binary64) (.f64 a (fma.f64 #s(literal 2 binary64) (.f64 c i) (.f64 #s(literal 2 binary64) (/.f64 (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i)) a))))))
#s(approx (* i (+ a (* b c))) (.f64 #s(literal -1 binary64) (.f64 a (fma.f64 #s(literal -1 binary64) i (.f64 #s(literal -1 binary64) (/.f64 (.f64 b (*.f64 c i)) a))))))
#s(approx (+ (* c b) a) (.f64 #s(literal -1 binary64) (.f64 a (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 b c) a)) #s(literal 1 binary64)))))
#s(approx (* 2 (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i))) (.f64 #s(literal 2 binary64) (-.f64 (fma.f64 t z (.f64 x y)) (.f64 a (.f64 c i)))))
#s(approx (* 2 (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i))) (fma.f64 #s(literal -2 binary64) (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i)) (.f64 #s(literal 2 binary64) (-.f64 (fma.f64 t z (.f64 x y)) (.f64 a (.f64 c i))))))
#s(approx (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i)) (-.f64 (fma.f64 t z (.f64 x y)) (.f64 a (*.f64 c i))))
#s(approx (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i)) (-.f64 (fma.f64 #s(literal -1 binary64) (.f64 b (.f64 (pow.f64 c #s(literal 2 binary64)) i)) (fma.f64 t z (.f64 x y))) (.f64 a (*.f64 c i))))
#s(approx b b)
#s(approx (* 2 (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i))) (.f64 b (fma.f64 #s(literal -2 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) i) (.f64 #s(literal 2 binary64) (/.f64 (-.f64 (fma.f64 t z (.f64 x y)) (.f64 a (.f64 c i))) b)))))
#s(approx (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i)) (.f64 #s(literal -1 binary64) (.f64 b (*.f64 (pow.f64 c #s(literal 2 binary64)) i))))
#s(approx (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i)) (.f64 b (-.f64 (+.f64 (/.f64 (.f64 t z) b) (/.f64 (.f64 x y) b)) (fma.f64 (pow.f64 c #s(literal 2 binary64)) i (/.f64 (.f64 a (*.f64 c i)) b)))))
#s(approx (* (* (+ (* c b) a) c) i) (.f64 b (fma.f64 (pow.f64 c #s(literal 2 binary64)) i (/.f64 (.f64 a (*.f64 c i)) b))))
#s(approx (* (+ (* c b) a) c) (.f64 b (+.f64 (/.f64 (.f64 a c) b) (pow.f64 c #s(literal 2 binary64)))))
#s(approx (+ (* b (/ (* c c) a)) c) (*.f64 b (+.f64 (/.f64 c b) (/.f64 (pow.f64 c #s(literal 2 binary64)) a))))
#s(approx (* -2 (* c (* i (+ a (* b c))))) (.f64 b (fma.f64 #s(literal -2 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) i) (.f64 #s(literal -2 binary64) (/.f64 (.f64 a (*.f64 c i)) b)))))
#s(approx (* i (+ a (* b c))) (.f64 b (fma.f64 c i (/.f64 (.f64 a i) b))))
#s(approx (+ (* c b) a) (*.f64 b (+.f64 c (/.f64 a b))))
#s(approx (* 2 (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i))) (.f64 #s(literal -1 binary64) (.f64 b (fma.f64 #s(literal -2 binary64) (/.f64 (-.f64 (fma.f64 t z (.f64 x y)) (.f64 a (.f64 c i))) b) (.f64 #s(literal 2 binary64) (*.f64 (pow.f64 c #s(literal 2 binary64)) i))))))
#s(approx (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i)) (.f64 #s(literal -1 binary64) (.f64 b (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (fma.f64 t z (.f64 x y)) (.f64 a (.f64 c i))) b)) (.f64 #s(literal -1 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) i))))))
#s(approx (* (* (+ (* c b) a) c) i) (.f64 #s(literal -1 binary64) (.f64 b (fma.f64 #s(literal -1 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) i) (.f64 #s(literal -1 binary64) (/.f64 (.f64 a (.f64 c i)) b))))))
#s(approx (* (+ (* c b) a) c) (.f64 #s(literal -1 binary64) (.f64 b (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 a c) b) (.f64 #s(literal -1 binary64) (pow.f64 c #s(literal 2 binary64)))))))
#s(approx (+ (* b (/ (* c c) a)) c) (.f64 #s(literal -1 binary64) (.f64 b (fma.f64 #s(literal -1 binary64) (/.f64 c b) (*.f64 #s(literal -1 binary64) (/.f64 (pow.f64 c #s(literal 2 binary64)) a))))))
#s(approx (* -2 (* c (* i (+ a (* b c))))) (.f64 #s(literal -1 binary64) (.f64 b (fma.f64 #s(literal 2 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) i) (.f64 #s(literal 2 binary64) (/.f64 (.f64 a (.f64 c i)) b))))))
#s(approx (* i (+ a (* b c))) (.f64 #s(literal -1 binary64) (.f64 b (fma.f64 #s(literal -1 binary64) (.f64 c i) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 a i) b))))))
#s(approx (+ (* c b) a) (.f64 #s(literal -1 binary64) (.f64 b (fma.f64 #s(literal -1 binary64) c (*.f64 #s(literal -1 binary64) (/.f64 a b))))))
#s(approx (* 2 (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i))) (.f64 #s(literal 2 binary64) (fma.f64 t z (.f64 x y))))
#s(approx (* 2 (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i))) (fma.f64 #s(literal -2 binary64) (.f64 a (.f64 c i)) (.f64 #s(literal 2 binary64) (fma.f64 t z (.f64 x y)))))
#s(approx (* 2 (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i))) (fma.f64 #s(literal 2 binary64) (fma.f64 t z (.f64 x y)) (.f64 c (fma.f64 #s(literal -2 binary64) (.f64 a i) (.f64 #s(literal -2 binary64) (.f64 b (.f64 c i)))))))
#s(approx (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i)) (fma.f64 #s(literal -1 binary64) (.f64 a (.f64 c i)) (fma.f64 t z (*.f64 x y))))
#s(approx (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i)) (fma.f64 c (-.f64 (.f64 #s(literal -1 binary64) (.f64 b (.f64 c i))) (.f64 a i)) (fma.f64 t z (*.f64 x y))))
#s(approx (* (* (+ (* c b) a) c) i) (.f64 c (fma.f64 a i (.f64 b (*.f64 c i)))))
#s(approx (* (+ (* c b) a) c) (.f64 c (+.f64 a (.f64 b c))))
#s(approx (+ (* b (/ (* c c) a)) c) (.f64 c (+.f64 #s(literal 1 binary64) (/.f64 (.f64 b c) a))))
#s(approx (* c c) (pow.f64 c #s(literal 2 binary64)))
#s(approx (* -2 (* c (* i (+ a (* b c))))) (.f64 c (fma.f64 #s(literal -2 binary64) (.f64 a i) (.f64 #s(literal -2 binary64) (.f64 b (*.f64 c i))))))
#s(approx (* c i) (*.f64 c i))
#s(approx (* 2 (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i))) (.f64 (pow.f64 c #s(literal 2 binary64)) (fma.f64 #s(literal -2 binary64) (.f64 b i) (.f64 #s(literal -2 binary64) (/.f64 (.f64 a i) c)))))
#s(approx (* 2 (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i))) (.f64 (pow.f64 c #s(literal 2 binary64)) (fma.f64 #s(literal -2 binary64) (.f64 b i) (fma.f64 #s(literal -2 binary64) (/.f64 (.f64 a i) c) (.f64 #s(literal 2 binary64) (/.f64 (fma.f64 t z (*.f64 x y)) (pow.f64 c #s(literal 2 binary64))))))))
#s(approx (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i)) (.f64 (pow.f64 c #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 a i) c)) (.f64 b i))))
#s(approx (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i)) (.f64 (pow.f64 c #s(literal 2 binary64)) (-.f64 (+.f64 (/.f64 (.f64 t z) (pow.f64 c #s(literal 2 binary64))) (/.f64 (.f64 x y) (pow.f64 c #s(literal 2 binary64)))) (fma.f64 b i (/.f64 (.f64 a i) c)))))
#s(approx (* (* (+ (* c b) a) c) i) (.f64 (pow.f64 c #s(literal 2 binary64)) (fma.f64 b i (/.f64 (.f64 a i) c))))
#s(approx (* (+ (* c b) a) c) (*.f64 (pow.f64 c #s(literal 2 binary64)) (+.f64 b (/.f64 a c))))
#s(approx (+ (* b (/ (* c c) a)) c) (*.f64 (pow.f64 c #s(literal 2 binary64)) (+.f64 (/.f64 #s(literal 1 binary64) c) (/.f64 b a))))
#s(approx (* i (+ a (* b c))) (.f64 c (fma.f64 b i (/.f64 (.f64 a i) c))))
#s(approx (+ (* c b) a) (*.f64 c (+.f64 b (/.f64 a c))))
#s(approx (* 2 (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i))) (.f64 (pow.f64 c #s(literal 2 binary64)) (fma.f64 #s(literal -2 binary64) (.f64 b i) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -2 binary64) (/.f64 (fma.f64 t z (.f64 x y)) c) (.f64 #s(literal 2 binary64) (.f64 a i))) c)))))
#s(approx (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i)) (.f64 (pow.f64 c #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 t z (.f64 x y)) c)) (.f64 #s(literal -1 binary64) (.f64 a i))) c)) (*.f64 b i))))
#s(approx (* i (+ a (* b c))) (.f64 #s(literal -1 binary64) (.f64 c (fma.f64 #s(literal -1 binary64) (.f64 b i) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 a i) c))))))
#s(approx (+ (* c b) a) (.f64 #s(literal -1 binary64) (.f64 c (fma.f64 #s(literal -1 binary64) b (*.f64 #s(literal -1 binary64) (/.f64 a c))))))
#s(approx (* 2 (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i))) (fma.f64 #s(literal -2 binary64) (.f64 c (.f64 i (+.f64 a (.f64 b c)))) (.f64 #s(literal 2 binary64) (fma.f64 t z (*.f64 x y)))))
#s(approx (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i)) (fma.f64 #s(literal -1 binary64) (.f64 c (.f64 i (+.f64 a (.f64 b c)))) (fma.f64 t z (.f64 x y))))
#s(approx (* (* (+ (* c b) a) c) i) (.f64 c (.f64 i (+.f64 a (*.f64 b c)))))
#s(approx i i)
#s(approx (* -2 (* c (* i (+ a (* b c))))) (.f64 #s(literal -2 binary64) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))
#s(approx (* i (+ a (* b c))) (.f64 i (+.f64 a (.f64 b c))))
#s(approx (* 2 (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i))) (.f64 i (fma.f64 #s(literal -2 binary64) (.f64 c (+.f64 a (.f64 b c))) (.f64 #s(literal 2 binary64) (/.f64 (fma.f64 t z (*.f64 x y)) i)))))
#s(approx (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i)) (.f64 #s(literal -1 binary64) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))
#s(approx (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i)) (.f64 i (-.f64 (+.f64 (/.f64 (.f64 t z) i) (/.f64 (.f64 x y) i)) (.f64 c (+.f64 a (*.f64 b c))))))
#s(approx (* 2 (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i))) (.f64 #s(literal -1 binary64) (.f64 i (fma.f64 #s(literal -2 binary64) (/.f64 (fma.f64 t z (.f64 x y)) i) (.f64 #s(literal 2 binary64) (.f64 c (+.f64 a (.f64 b c))))))))
#s(approx (- (+ (* y x) (* z t)) (* (* (+ (* c b) a) c) i)) (.f64 #s(literal -1 binary64) (.f64 i (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 t z (.f64 x y)) i)) (.f64 #s(literal -1 binary64) (.f64 c (+.f64 a (*.f64 b c))))))))

Calls

24 calls:

Time	Variable	Point
54.0ms	c	-inf
14.0ms	i	-inf
5.0ms	a	0
4.0ms	i	inf
3.0ms	i	0

rewrite262.0ms (4.8%)

Memory

-16.4MiB live, 122.3MiB allocated; 134ms collecting garbage

Counts

40 → 98

Calls

Call 1

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

Outputs
(.f64 #s(literal 2 binary64) (-.f64 (fma.f64 y x (.f64 z t)) (.f64 #s(approx ( (+ (* c b) a) c) (.f64 (fma.f64 b (/.f64 (.f64 c c) a) c) a)) i)))
#s(literal 2 binary64)
(+.f64 #s(literal 1 binary64) #s(literal 1 binary64))
(-.f64 (fma.f64 y x (.f64 z t)) (.f64 #s(approx (* (+ (* c b) a) c) (.f64 (fma.f64 b (/.f64 (.f64 c c) a) c) a)) i))
(+.f64 (.f64 z t) (.f64 x y))
(+.f64 (.f64 x y) (.f64 z t))
(-.f64 (.f64 z t) (neg.f64 (.f64 x y)))
(-.f64 (.f64 x y) (neg.f64 (.f64 z t)))
(-.f64 (.f64 z t) (.f64 (neg.f64 x) y))
(-.f64 (.f64 x y) (.f64 (neg.f64 z) t))
(fma.f64 y x (*.f64 z t))
(fma.f64 z t (*.f64 x y))
(fma.f64 x y (*.f64 z t))
(fma.f64 t z (*.f64 x y))
y
x
(*.f64 z t)
(*.f64 t z)
z
t
(.f64 #s(approx ( (+ (* c b) a) c) (.f64 (fma.f64 b (/.f64 (.f64 c c) a) c) a)) i)
#s(approx (* (+ (* c b) a) c) (.f64 (fma.f64 b (/.f64 (.f64 c c) a) c) a))
(.f64 (fma.f64 b (/.f64 (.f64 c c) a) c) a)
(.f64 a (fma.f64 b (/.f64 (.f64 c c) a) c))
(+.f64 (.f64 (/.f64 (.f64 b (.f64 c c)) a) a) (.f64 c a))
(+.f64 (.f64 a (/.f64 (.f64 b (.f64 c c)) a)) (.f64 a c))
(fma.f64 (/.f64 (.f64 b (.f64 c c)) a) a (*.f64 c a))
(fma.f64 a (/.f64 (.f64 b (.f64 c c)) a) (*.f64 a c))
a
(+.f64 (/.f64 (.f64 b (.f64 c c)) a) c)
(+.f64 c (/.f64 (.f64 b (.f64 c c)) a))
(-.f64 (/.f64 (.f64 b (.f64 c c)) a) (neg.f64 c))
(fma.f64 b (/.f64 (*.f64 c c) a) c)
(fma.f64 (/.f64 (*.f64 c c) a) b c)
b
(.f64 (.f64 c c) (/.f64 #s(literal 1 binary64) a))
(*.f64 c (/.f64 c a))
(/.f64 (*.f64 c c) a)
(/.f64 (neg.f64 (*.f64 c c)) (neg.f64 a))
(*.f64 c c)
(*.f64 (fabs.f64 c) (fabs.f64 c))
(*.f64 (neg.f64 c) (neg.f64 c))
(pow.f64 c #s(literal 2 binary64))
c
i
#s(approx (* (- (+ (* t z) (* x y)) (* (* (+ (* c b) a) c) i)) 2) (*.f64 (+.f64 t t) z))
(*.f64 (+.f64 t t) z)
(*.f64 z (+.f64 t t))
(*.f64 #s(literal 2 binary64) t)
(+.f64 t t)
(-.f64 t (neg.f64 t))
#s(approx (* (- (+ (* t z) (* x y)) (* (* (+ (* c b) a) c) i)) 2) (.f64 #s(literal -2 binary64) (.f64 c #s(approx (* (+ (* c b) a) i) (*.f64 a i)))))
(.f64 #s(literal -2 binary64) (.f64 c #s(approx (* (+ (* c b) a) i) (*.f64 a i))))
#s(literal -2 binary64)
(.f64 c #s(approx ( (+ (* c b) a) i) (*.f64 a i)))
#s(approx (* (+ (* c b) a) i) (*.f64 a i))
(*.f64 a i)
(*.f64 i a)
#s(approx (* (- (+ (* t z) (* x y)) (* (* (+ (* c b) a) c) i)) 2) (.f64 #s(literal -2 binary64) (.f64 (*.f64 c i) (fma.f64 c b a))))
(.f64 #s(literal -2 binary64) (.f64 (*.f64 c i) (fma.f64 c b a)))
(.f64 (.f64 (*.f64 c i) (fma.f64 c b a)) #s(literal -2 binary64))
(.f64 (.f64 #s(literal -2 binary64) c) (*.f64 (fma.f64 c b a) i))
(.f64 (.f64 #s(literal -2 binary64) (*.f64 (fma.f64 c b a) c)) i)
(.f64 (.f64 c i) (fma.f64 c b a))
(.f64 (fma.f64 c b a) (.f64 c i))
(.f64 (.f64 (fma.f64 c b a) c) i)
(.f64 (.f64 (fma.f64 c b a) i) c)
(.f64 i (.f64 (fma.f64 c b a) c))
(.f64 c (.f64 (fma.f64 c b a) i))
(*.f64 (fma.f64 c b a) c)
(*.f64 c (fma.f64 c b a))
(+.f64 (*.f64 c b) a)
(+.f64 a (*.f64 c b))
(-.f64 (*.f64 c b) (neg.f64 a))
(-.f64 a (neg.f64 (*.f64 c b)))
(-.f64 a (*.f64 (neg.f64 b) c))
(fma.f64 c b a)
(fma.f64 b c a)
(.f64 (-.f64 (fma.f64 y x (.f64 z t)) #s(approx (* (* (+ (* c b) a) c) i) (.f64 a (.f64 c i)))) #s(literal 2 binary64))
(-.f64 (fma.f64 y x (.f64 z t)) #s(approx ( (* (+ (* c b) a) c) i) (.f64 a (.f64 c i))))
(+.f64 (.f64 z t) (.f64 x y))
(+.f64 (.f64 x y) (.f64 z t))
(-.f64 (.f64 z t) (neg.f64 (.f64 x y)))
(-.f64 (.f64 x y) (neg.f64 (.f64 z t)))
(-.f64 (.f64 z t) (.f64 (neg.f64 x) y))
(-.f64 (.f64 x y) (.f64 (neg.f64 z) t))
(fma.f64 y x (*.f64 z t))
(fma.f64 z t (*.f64 x y))
(fma.f64 x y (*.f64 z t))
(fma.f64 t z (*.f64 x y))
(*.f64 x y)
(*.f64 y x)
#s(approx (* (* (+ (* c b) a) c) i) (.f64 a (.f64 c i)))
(.f64 a (.f64 c i))
(.f64 (.f64 a c) i)
(.f64 (.f64 c i) a)
(*.f64 c i)
(*.f64 i c)

eval38.0ms (0.7%)

Memory: 4.4MiB live, 51.4MiB allocated; 10ms collecting garbage
Compiler: Compiled 7 512 to 1 085 computations (85.6% saved)

prune12.0ms (0.2%)

Memory

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

Pruning

17 alts after pruning (11 fresh and 6 done)

	Pruned	Kept	Total
New	210	3	213
Fresh	1	8	9
Picked	1	4	5
Done	0	2	2
Total	212	17	229

Accuracy

100.0%

Counts

229 → 17

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	74.0%	(.f64 (-.f64 (fma.f64 z t (.f64 x y)) #s(approx (* (+ (* c b) a) (* c i)) (.f64 a (.f64 c i)))) #s(literal 2 binary64))
	77.5%	(.f64 #s(literal 2 binary64) (-.f64 (fma.f64 y x (.f64 z t)) (.f64 #s(approx ( (+ (* c b) a) c) (.f64 a #s(approx (+ ( b (/ (* c c) a)) c) (*.f64 (pow.f64 c #s(literal 2 binary64)) (+.f64 (/.f64 #s(literal 1 binary64) c) (/.f64 b a)))))) i)))
	67.7%	(.f64 #s(literal 2 binary64) (-.f64 #s(approx (+ ( y x) (* z t)) (.f64 t z)) (.f64 #s(approx (* (+ (* c b) a) c) (.f64 a (fma.f64 b (/.f64 (.f64 c c) a) c))) i)))
	53.6%	(.f64 #s(literal 2 binary64) #s(approx (- (+ ( x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (.f64 x y) (.f64 c #s(approx (* i (+ a (* b c))) (.f64 b (.f64 c i)))))))
	48.9%	(.f64 #s(literal 2 binary64) #s(approx (- (+ ( x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (.f64 x y) (.f64 c #s(approx (* i (+ a (* b c))) (*.f64 a i))))))
	68.0%	(.f64 #s(literal 2 binary64) #s(approx (- (+ ( x y) (* z t)) (* (* (+ a (* b c)) c) i)) #s(approx (- (* x y) (* c (* i (+ a (* b c))))) (.f64 x (+.f64 y (.f64 #s(literal -1 binary64) (/.f64 (.f64 c (.f64 i (+.f64 a (*.f64 b c)))) x)))))))
	25.8%	#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal 2 binary64) (.f64 x y)))
✓	51.1%	#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 (*.f64 (fma.f64 c b a) c) i)))
	32.7%	#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 (.f64 #s(approx (+ ( c b) a) (*.f64 b c)) c) i)))
	32.3%	#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 c (.f64 i #s(approx (+ a ( b c)) (*.f64 b c))))))
	48.1%	#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 c #s(approx (* i (+ a (* b c))) (.f64 c (fma.f64 b i (/.f64 (.f64 a i) c)))))))
✓	28.3%	#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 c #s(approx (* i (+ a (* b c))) (*.f64 a i)))))
	29.3%	#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 a (*.f64 c i))))
	34.2%	#s(approx (* (- (+ (* x y) (* z t)) (* (+ (* c b) a) (* c i))) 2) (.f64 (.f64 #s(literal -2 binary64) b) (.f64 (.f64 c c) i)))
✓	31.1%	#s(approx (* (- (+ (* t z) (* x y)) (* (+ (* c b) a) (* c i))) 2) (*.f64 (+.f64 t t) z))
✓	54.3%	#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (fma.f64 t z (.f64 x y))))
✓	32.3%	#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -2 binary64) (.f64 (.f64 b (.f64 c c)) i)))

Compiler

Compiled 567 to 428 computations (24.5% saved)

regimes1.1s (19.3%)

Memory

-23.9MiB live, 701.0MiB allocated; 140ms collecting garbage

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

2 → 1

5 → 3

8 → 4

9 → 3

10 → 3

13 → 3

15 → 3

18 → 3

20 → 3

23 → 3

24 → 4

36 → 2

Calls

Call 1

Inputs
#s(approx (* (- (+ (* t z) (* x y)) (* (+ (* c b) a) (* c i))) 2) (*.f64 (+.f64 t t) z))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (.f64 t z)))

Outputs
#s(approx (* (- (+ (* t z) (* x y)) (* (+ (* c b) a) (* c i))) 2) (*.f64 (+.f64 t t) z))

Call 2

Inputs
#s(approx (* (- (+ (* t z) (* x y)) (* (+ (* c b) a) (* c i))) 2) (*.f64 (+.f64 t t) z))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (.f64 t z)))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (.f64 x y)))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 (.f64 #s(literal 2 binary64) t) z))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal 2 binary64) (.f64 x y)))

Outputs

#s(approx (* (- (+ (* t z) (* x y)) (* (+ (* c b) a) (* c i))) 2) (*.f64 (+.f64 t t) z))

#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (*.f64 #s(literal 2 binary64) (*.f64 x y)))

#s(approx (* (- (+ (* t z) (* x y)) (* (+ (* c b) a) (* c i))) 2) (*.f64 (+.f64 t t) z))

Call 3

Inputs
#s(approx (* (- (+ (* t z) (* x y)) (* (+ (* c b) a) (* c i))) 2) (*.f64 (+.f64 t t) z))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (.f64 t z)))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (.f64 x y)))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 (.f64 #s(literal 2 binary64) t) z))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal 2 binary64) (.f64 x y)))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -2 binary64) (.f64 a (*.f64 c i))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 a (*.f64 c i))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 c #s(approx (* i (+ a (* b c))) (*.f64 a i)))))

Outputs
#s(approx (* (- (+ (* t z) (* x y)) (* (+ (* c b) a) (* c i))) 2) (*.f64 (+.f64 t t) z))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (.f64 x y)))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -2 binary64) (.f64 a (*.f64 c i))))
#s(approx (* (- (+ (* t z) (* x y)) (* (+ (* c b) a) (* c i))) 2) (*.f64 (+.f64 t t) z))

Call 4

Inputs
#s(approx (* (- (+ (* t z) (* x y)) (* (+ (* c b) a) (* c i))) 2) (*.f64 (+.f64 t t) z))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (.f64 t z)))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (.f64 x y)))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 (.f64 #s(literal 2 binary64) t) z))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal 2 binary64) (.f64 x y)))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -2 binary64) (.f64 a (*.f64 c i))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 a (*.f64 c i))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 c #s(approx (* i (+ a (* b c))) (*.f64 a i)))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (fma.f64 t z (.f64 x y))))

Outputs
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (fma.f64 t z (.f64 x y))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -2 binary64) (.f64 a (*.f64 c i))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (fma.f64 t z (.f64 x y))))

Outputs

#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (*.f64 #s(literal 2 binary64) (fma.f64 t z (*.f64 x y))))

#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (*.f64 #s(literal -2 binary64) (*.f64 a (*.f64 c i))))

#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (*.f64 #s(literal 2 binary64) (fma.f64 t z (*.f64 x y))))

Call 5

Inputs
#s(approx (* (- (+ (* t z) (* x y)) (* (+ (* c b) a) (* c i))) 2) (*.f64 (+.f64 t t) z))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (.f64 t z)))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (.f64 x y)))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 (.f64 #s(literal 2 binary64) t) z))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal 2 binary64) (.f64 x y)))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -2 binary64) (.f64 a (*.f64 c i))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 a (*.f64 c i))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 c #s(approx (* i (+ a (* b c))) (*.f64 a i)))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (fma.f64 t z (.f64 x y))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -2 binary64) (.f64 (.f64 b (.f64 c c)) i)))

Outputs
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -2 binary64) (.f64 (.f64 b (.f64 c c)) i)))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (fma.f64 t z (.f64 x y))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -2 binary64) (.f64 (.f64 b (.f64 c c)) i)))

Outputs

#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (*.f64 #s(literal -2 binary64) (*.f64 (*.f64 b (*.f64 c c)) i)))

#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (*.f64 #s(literal 2 binary64) (fma.f64 t z (*.f64 x y))))

#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (*.f64 #s(literal -2 binary64) (*.f64 (*.f64 b (*.f64 c c)) i)))

Call 6

Inputs
#s(approx (* (- (+ (* t z) (* x y)) (* (+ (* c b) a) (* c i))) 2) (*.f64 (+.f64 t t) z))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (.f64 t z)))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (.f64 x y)))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 (.f64 #s(literal 2 binary64) t) z))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal 2 binary64) (.f64 x y)))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -2 binary64) (.f64 a (*.f64 c i))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 a (*.f64 c i))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 c #s(approx (* i (+ a (* b c))) (*.f64 a i)))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (fma.f64 t z (.f64 x y))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -2 binary64) (.f64 (.f64 b (.f64 c c)) i)))
#s(approx (* (- (+ (* x y) (* z t)) (* (+ (* c b) a) (* c i))) 2) (.f64 (.f64 #s(literal -2 binary64) b) (.f64 (.f64 c c) i)))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 c (.f64 i #s(approx (+ a ( b c)) (*.f64 b c))))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 (.f64 #s(approx (+ ( c b) a) (*.f64 b c)) c) i)))

Outputs
#s(approx (* (- (+ (* x y) (* z t)) (* (+ (* c b) a) (* c i))) 2) (.f64 (.f64 #s(literal -2 binary64) b) (.f64 (.f64 c c) i)))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (fma.f64 t z (.f64 x y))))
#s(approx (* (- (+ (* x y) (* z t)) (* (+ (* c b) a) (* c i))) 2) (.f64 (.f64 #s(literal -2 binary64) b) (.f64 (.f64 c c) i)))

Outputs

#s(approx (* (- (+ (* x y) (* z t)) (* (+ (* c b) a) (* c i))) 2) (*.f64 (*.f64 #s(literal -2 binary64) b) (*.f64 (*.f64 c c) i)))

#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (*.f64 #s(literal 2 binary64) (fma.f64 t z (*.f64 x y))))

#s(approx (* (- (+ (* x y) (* z t)) (* (+ (* c b) a) (* c i))) 2) (*.f64 (*.f64 #s(literal -2 binary64) b) (*.f64 (*.f64 c c) i)))

Call 7

Inputs
#s(approx (* (- (+ (* t z) (* x y)) (* (+ (* c b) a) (* c i))) 2) (*.f64 (+.f64 t t) z))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (.f64 t z)))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (.f64 x y)))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 (.f64 #s(literal 2 binary64) t) z))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal 2 binary64) (.f64 x y)))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -2 binary64) (.f64 a (*.f64 c i))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 a (*.f64 c i))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 c #s(approx (* i (+ a (* b c))) (*.f64 a i)))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (fma.f64 t z (.f64 x y))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -2 binary64) (.f64 (.f64 b (.f64 c c)) i)))
#s(approx (* (- (+ (* x y) (* z t)) (* (+ (* c b) a) (* c i))) 2) (.f64 (.f64 #s(literal -2 binary64) b) (.f64 (.f64 c c) i)))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 c (.f64 i #s(approx (+ a ( b c)) (*.f64 b c))))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 (.f64 #s(approx (+ ( c b) a) (*.f64 b c)) c) i)))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 (*.f64 (fma.f64 c b a) c) i)))
(.f64 #s(literal 2 binary64) #s(approx (- (+ ( x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (.f64 x y) (.f64 c #s(approx (* i (+ a (* b c))) (*.f64 a i))))))

Outputs
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 (*.f64 (fma.f64 c b a) c) i)))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (fma.f64 t z (.f64 x y))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 (*.f64 (fma.f64 c b a) c) i)))

Outputs

#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (*.f64 #s(literal -2 binary64) (*.f64 (*.f64 (fma.f64 c b a) c) i)))

#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (*.f64 #s(literal 2 binary64) (fma.f64 t z (*.f64 x y))))

#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (*.f64 #s(literal -2 binary64) (*.f64 (*.f64 (fma.f64 c b a) c) i)))

Call 8

Inputs
#s(approx (* (- (+ (* t z) (* x y)) (* (+ (* c b) a) (* c i))) 2) (*.f64 (+.f64 t t) z))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (.f64 t z)))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (.f64 x y)))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 (.f64 #s(literal 2 binary64) t) z))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal 2 binary64) (.f64 x y)))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -2 binary64) (.f64 a (*.f64 c i))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 a (*.f64 c i))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 c #s(approx (* i (+ a (* b c))) (*.f64 a i)))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (fma.f64 t z (.f64 x y))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -2 binary64) (.f64 (.f64 b (.f64 c c)) i)))
#s(approx (* (- (+ (* x y) (* z t)) (* (+ (* c b) a) (* c i))) 2) (.f64 (.f64 #s(literal -2 binary64) b) (.f64 (.f64 c c) i)))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 c (.f64 i #s(approx (+ a ( b c)) (*.f64 b c))))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 (.f64 #s(approx (+ ( c b) a) (*.f64 b c)) c) i)))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 (*.f64 (fma.f64 c b a) c) i)))
(.f64 #s(literal 2 binary64) #s(approx (- (+ ( x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (.f64 x y) (.f64 c #s(approx (* i (+ a (* b c))) (*.f64 a i))))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -2 binary64) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))
(.f64 #s(literal 2 binary64) #s(approx (- (+ ( x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (.f64 x y) (.f64 c #s(approx (* i (+ a (* b c))) (.f64 b (.f64 c i)))))))

Outputs
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -2 binary64) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (fma.f64 t z (.f64 x y))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 (*.f64 (fma.f64 c b a) c) i)))

Outputs

#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (*.f64 #s(literal -2 binary64) (*.f64 c (*.f64 i (+.f64 a (*.f64 b c))))))

#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (*.f64 #s(literal 2 binary64) (fma.f64 t z (*.f64 x y))))

#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (*.f64 #s(literal -2 binary64) (*.f64 (*.f64 (fma.f64 c b a) c) i)))

Call 9

Inputs
#s(approx (* (- (+ (* t z) (* x y)) (* (+ (* c b) a) (* c i))) 2) (*.f64 (+.f64 t t) z))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (.f64 t z)))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (.f64 x y)))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 (.f64 #s(literal 2 binary64) t) z))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal 2 binary64) (.f64 x y)))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -2 binary64) (.f64 a (*.f64 c i))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 a (*.f64 c i))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 c #s(approx (* i (+ a (* b c))) (*.f64 a i)))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (fma.f64 t z (.f64 x y))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -2 binary64) (.f64 (.f64 b (.f64 c c)) i)))
#s(approx (* (- (+ (* x y) (* z t)) (* (+ (* c b) a) (* c i))) 2) (.f64 (.f64 #s(literal -2 binary64) b) (.f64 (.f64 c c) i)))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 c (.f64 i #s(approx (+ a ( b c)) (*.f64 b c))))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 (.f64 #s(approx (+ ( c b) a) (*.f64 b c)) c) i)))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 (*.f64 (fma.f64 c b a) c) i)))
(.f64 #s(literal 2 binary64) #s(approx (- (+ ( x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (.f64 x y) (.f64 c #s(approx (* i (+ a (* b c))) (*.f64 a i))))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -2 binary64) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))
(.f64 #s(literal 2 binary64) #s(approx (- (+ ( x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (.f64 x y) (.f64 c #s(approx (* i (+ a (* b c))) (.f64 b (.f64 c i)))))))
(.f64 #s(literal 2 binary64) #s(approx (- (+ ( x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (fma.f64 t z (.f64 x y)) (.f64 a (*.f64 c i)))))
(.f64 (-.f64 (fma.f64 z t (.f64 x y)) #s(approx (* (+ (* c b) a) (* c i)) (.f64 a (.f64 c i)))) #s(literal 2 binary64))

Outputs

#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (*.f64 #s(literal -2 binary64) (*.f64 c (*.f64 i (+.f64 a (*.f64 b c))))))

(*.f64 #s(literal 2 binary64) #s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (fma.f64 t z (*.f64 x y)) (*.f64 a (*.f64 c i)))))

#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (*.f64 #s(literal -2 binary64) (*.f64 c (*.f64 i (+.f64 a (*.f64 b c))))))

Call 10

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

Outputs

(*.f64 #s(literal 2 binary64) #s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (*.f64 x y) (*.f64 c (*.f64 i (+.f64 a (*.f64 b c)))))))

(*.f64 #s(literal 2 binary64) #s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (fma.f64 t z (*.f64 x y)) (*.f64 a (*.f64 c i)))))

(*.f64 #s(literal 2 binary64) #s(approx (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (*.f64 x y) (*.f64 c (*.f64 i (+.f64 a (*.f64 b c)))))))

Call 11

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

Outputs
(.f64 #s(literal 2 binary64) #s(approx (- (+ ( x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (.f64 b c)))))))
(.f64 #s(literal 2 binary64) (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 #s(approx (+ a ( b c)) (*.f64 b c)) c) i)))
(.f64 #s(literal 2 binary64) #s(approx (- (+ ( x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (fma.f64 t z (.f64 x y)) (.f64 a (*.f64 c i)))))
(.f64 #s(literal 2 binary64) #s(approx (- (+ ( x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (.f64 b c)))))))

Call 12

Inputs
#s(approx (* (- (+ (* t z) (* x y)) (* (+ (* c b) a) (* c i))) 2) (*.f64 (+.f64 t t) z))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (.f64 t z)))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (.f64 x y)))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 (.f64 #s(literal 2 binary64) t) z))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal 2 binary64) (.f64 x y)))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -2 binary64) (.f64 a (*.f64 c i))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 a (*.f64 c i))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 c #s(approx (* i (+ a (* b c))) (*.f64 a i)))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal 2 binary64) (fma.f64 t z (.f64 x y))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -2 binary64) (.f64 (.f64 b (.f64 c c)) i)))
#s(approx (* (- (+ (* x y) (* z t)) (* (+ (* c b) a) (* c i))) 2) (.f64 (.f64 #s(literal -2 binary64) b) (.f64 (.f64 c c) i)))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 c (.f64 i #s(approx (+ a ( b c)) (*.f64 b c))))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 (.f64 #s(approx (+ ( c b) a) (*.f64 b c)) c) i)))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 (*.f64 (fma.f64 c b a) c) i)))
(.f64 #s(literal 2 binary64) #s(approx (- (+ ( x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (.f64 x y) (.f64 c #s(approx (* i (+ a (* b c))) (*.f64 a i))))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -2 binary64) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))
(.f64 #s(literal 2 binary64) #s(approx (- (+ ( x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (.f64 x y) (.f64 c #s(approx (* i (+ a (* b c))) (.f64 b (.f64 c i)))))))
(.f64 #s(literal 2 binary64) #s(approx (- (+ ( x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (fma.f64 t z (.f64 x y)) (.f64 a (*.f64 c i)))))
(.f64 (-.f64 (fma.f64 z t (.f64 x y)) #s(approx (* (+ (* c b) a) (* c i)) (.f64 a (.f64 c i)))) #s(literal 2 binary64))
(.f64 #s(literal 2 binary64) #s(approx (- (+ ( x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (.f64 b c)))))))
(.f64 #s(literal 2 binary64) (-.f64 #s(approx (+ ( x y) (* z t)) (.f64 t z)) (.f64 (.f64 (+.f64 a (.f64 b c)) c) i)))
#s(approx (* (- (+ (* z t) (* x y)) (* (+ (* c b) a) (* c i))) 2) (.f64 #s(literal -2 binary64) (.f64 c #s(approx (* i (+ a (* b c))) (.f64 c (fma.f64 b i (/.f64 (.f64 a i) c)))))))
(.f64 #s(literal 2 binary64) (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 #s(approx (+ a ( b c)) (*.f64 b c)) c) i)))
(.f64 (-.f64 (fma.f64 z t (.f64 x y)) (.f64 (fma.f64 c b a) (.f64 c i))) #s(literal 2 binary64))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 #s(literal -2 binary64) (.f64 b (*.f64 (pow.f64 c #s(literal 2 binary64)) i))))
(.f64 #s(literal 2 binary64) (-.f64 #s(approx (+ ( y x) (* z t)) (.f64 t z)) (.f64 #s(approx (* (+ (* c b) a) c) (.f64 a (fma.f64 b (/.f64 (.f64 c c) a) c))) i)))
(.f64 #s(literal 2 binary64) #s(approx (- (+ ( x y) (* z t)) (* (* (+ a (* b c)) c) i)) (-.f64 (.f64 x y) (.f64 c #s(approx (* i (+ a (* b c))) (.f64 c (fma.f64 b i (/.f64 (.f64 a i) c))))))))
(.f64 #s(literal 2 binary64) (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 (+.f64 a (.f64 b c)) c) i)))
(.f64 #s(literal 2 binary64) #s(approx (- (+ ( x y) (* z t)) (* (* (+ a (* b c)) c) i)) #s(approx (- (* x y) (* c (* i (+ a (* b c))))) (.f64 x (+.f64 y (.f64 #s(literal -1 binary64) (/.f64 (.f64 c (.f64 i (+.f64 a (*.f64 b c)))) x)))))))
(.f64 #s(literal 2 binary64) (-.f64 (fma.f64 y x (.f64 z t)) (.f64 #s(approx ( (+ (* c b) a) c) (.f64 a (fma.f64 b (/.f64 (.f64 c c) a) c))) i)))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 z (fma.f64 #s(literal 2 binary64) t (.f64 #s(literal 2 binary64) (/.f64 (-.f64 (.f64 x y) (.f64 c (.f64 i (+.f64 a (.f64 b c))))) z)))))
#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (.f64 (pow.f64 c #s(literal 2 binary64)) (fma.f64 #s(literal -2 binary64) (.f64 b i) (.f64 #s(literal -2 binary64) (/.f64 (.f64 a i) c)))))
(.f64 #s(literal 2 binary64) (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 #s(approx (* (+ a (* b c)) c) (.f64 a (+.f64 c (/.f64 (.f64 b (pow.f64 c #s(literal 2 binary64))) a)))) i)))
(.f64 #s(literal 2 binary64) (-.f64 (fma.f64 y x (.f64 z t)) (.f64 #s(approx ( (+ (* c b) a) c) (.f64 a #s(approx (+ ( b (/ (* c c) a)) c) (*.f64 (pow.f64 c #s(literal 2 binary64)) (+.f64 (/.f64 #s(literal 1 binary64) c) (/.f64 b a)))))) i)))
(.f64 #s(literal 2 binary64) (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 #s(approx (* (+ a (* b c)) c) (.f64 a #s(approx (+ c (/ ( b (pow c 2)) a)) (*.f64 (pow.f64 c #s(literal 2 binary64)) (+.f64 (/.f64 #s(literal 1 binary64) c) (/.f64 b a)))))) i)))

Outputs

(*.f64 (-.f64 (fma.f64 z t (*.f64 x y)) (*.f64 (fma.f64 c b a) (*.f64 c i))) #s(literal 2 binary64))

#s(approx (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (*.f64 #s(literal 2 binary64) (fma.f64 t z (*.f64 x y))))

Calls

105 calls:

60.0ms	(.f64 (+.f64 a (.f64 b c)) c)
56.0ms	y
54.0ms	(*.f64 z t)
54.0ms	z
49.0ms	(.f64 #s(literal 2 binary64) (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 (+.f64 a (.f64 b c)) c) i)))

Results

Accuracy	Segments	Branch
31.1%	1	`(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 (+.f64 a (*.f64 b c)) c) i))`
31.1%	1	`(.f64 #s(literal 2 binary64) (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 (+.f64 a (.f64 b c)) c) i)))`
31.1%	1	`b`
31.1%	1	`c`
31.1%	1	`x`
31.1%	1	`i`
31.1%	1	`(.f64 (+.f64 a (.f64 b c)) c)`
31.1%	1	`(+.f64 (.f64 x y) (.f64 z t))`
31.1%	1	`t`
31.1%	1	`a`
31.1%	1	`y`
31.1%	1	`(*.f64 x y)`
31.1%	1	`z`
31.1%	1	`(*.f64 z t)`
31.1%	1	`(.f64 (.f64 (+.f64 a (*.f64 b c)) c) i)`
44.9%	3	`(*.f64 x y)`
45.4%	3	`(*.f64 z t)`
44.1%	4	`x`
47.3%	5	`y`
36.9%	3	`b`
48.0%	4	`(*.f64 z t)`
47.3%	4	`(*.f64 x y)`
44.8%	4	`i`
45.4%	4	`t`
45.4%	3	`z`
34.7%	3	`(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 (+.f64 a (*.f64 b c)) c) i))`
34.7%	3	`(.f64 #s(literal 2 binary64) (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 (+.f64 a (.f64 b c)) c) i)))`
45.0%	4	`(.f64 (+.f64 a (.f64 b c)) c)`
42.3%	3	`c`
45.5%	3	`(.f64 (.f64 (+.f64 a (*.f64 b c)) c) i)`
43.9%	3	`a`
43.6%	3	`(+.f64 (.f64 x y) (.f64 z t))`
54.3%	1	`(*.f64 z t)`
54.3%	1	`x`
62.3%	3	`(+.f64 (.f64 x y) (.f64 z t))`
54.3%	1	`b`
61.6%	3	`(.f64 (.f64 (+.f64 a (*.f64 b c)) c) i)`
61.2%	3	`c`
60.6%	3	`(.f64 (+.f64 a (.f64 b c)) c)`
67.3%	3	`c`
67.7%	3	`(.f64 (+.f64 a (.f64 b c)) c)`
54.3%	1	`y`
58.5%	3	`t`
67.0%	3	`(.f64 (.f64 (+.f64 a (*.f64 b c)) c) i)`
59.3%	3	`z`
60.0%	4	`i`
62.7%	3	`(*.f64 z t)`
68.5%	3	`c`
66.5%	4	`(+.f64 (.f64 x y) (.f64 z t))`
59.6%	4	`(*.f64 x y)`
62.1%	3	`a`
68.9%	3	`(.f64 (+.f64 a (.f64 b c)) c)`
69.2%	3	`(.f64 (.f64 (+.f64 a (*.f64 b c)) c) i)`
79.1%	3	`(.f64 (.f64 (+.f64 a (*.f64 b c)) c) i)`
70.3%	3	`z`
60.2%	3	`(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 (+.f64 a (*.f64 b c)) c) i))`
60.2%	3	`(.f64 #s(literal 2 binary64) (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 (+.f64 a (.f64 b c)) c) i)))`
73.6%	4	`(*.f64 z t)`
70.4%	3	`i`
70.7%	4	`t`
68.1%	5	`x`
77.7%	3	`(.f64 (+.f64 a (.f64 b c)) c)`
75.3%	3	`c`
69.2%	5	`b`
79.5%	5	`(+.f64 (.f64 x y) (.f64 z t))`
72.3%	5	`y`
79.4%	3	`(.f64 (.f64 (+.f64 a (*.f64 b c)) c) i)`
74.0%	1	`a`
84.6%	3	`(.f64 (+.f64 a (.f64 b c)) c)`
86.1%	3	`(.f64 (.f64 (+.f64 a (*.f64 b c)) c) i)`
74.0%	1	`(*.f64 x y)`
79.7%	3	`z`
81.6%	3	`(*.f64 z t)`
86.2%	4	`c`
88.8%	3	`c`
85.9%	3	`y`
86.3%	3	`(.f64 (+.f64 a (.f64 b c)) c)`
86.6%	3	`(.f64 (.f64 (+.f64 a (*.f64 b c)) c) i)`
88.1%	3	`(*.f64 z t)`
87.0%	3	`(*.f64 x y)`
87.1%	4	`(+.f64 (.f64 x y) (.f64 z t))`
84.3%	3	`x`
88.7%	4	`z`
84.0%	3	`t`
86.2%	3	`a`
84.8%	3	`b`
90.9%	4	`c`
84.7%	4	`i`
81.8%	4	`(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 (+.f64 a (*.f64 b c)) c) i))`
81.8%	4	`(.f64 #s(literal 2 binary64) (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 (+.f64 a (.f64 b c)) c) i)))`
94.0%	1	`(.f64 (+.f64 a (.f64 b c)) c)`
94.0%	1	`(.f64 (.f64 (+.f64 a (*.f64 b c)) c) i)`
94.0%	1	`(*.f64 z t)`
94.0%	1	`(*.f64 x y)`
94.0%	1	`(+.f64 (.f64 x y) (.f64 z t))`
96.0%	2	`(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 (+.f64 a (*.f64 b c)) c) i))`
96.0%	2	`(.f64 #s(literal 2 binary64) (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 (+.f64 a (.f64 b c)) c) i)))`
94.0%	1	`x`
94.0%	1	`y`
94.0%	1	`z`
94.0%	1	`t`
94.0%	1	`a`
94.0%	1	`b`
94.0%	1	`c`
94.0%	1	`i`

Compiler

Compiled 1 615 to 1 242 computations (23.1% saved)

bsearch1.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	+inf	NaN

Compiler

Compiled 22 to 29 computations (-31.8% saved)

bsearch114.0ms (2.1%)

Memory

7.3MiB live, 53.0MiB allocated; 23ms collecting garbage

Algorithm

3×	binary-search

Stop Event

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

Steps

Time	Left	Right
18.0ms	5.958052647279651e+91	3.1727497430686896e+96
77.0ms	-4.018224412180724e-121	-1.429685213243352e-125
14.0ms	-2.255544540189092e+104	-2.805072123480259e+101

Samples

91.0ms

384×

valid

Compiler

Compiled 1 430 to 1 181 computations (17.4% saved)

Precisions

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

ival-add!: 63.0ms (83.4% of total)

ival-mult!: 12.0ms (15.9% of total)

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

adjust: 0.0ms (0% of total)

bsearch20.0ms (0.4%)

Memory

-25.2MiB live, 20.9MiB allocated; 3ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
1.0ms	5.958052647279651e+91	3.1727497430686896e+96
16.0ms	-3.831407498175458e-113	-1.5037838431797303e-117

Samples

9.0ms

128×

valid

Compiler

Compiled 1 062 to 845 computations (20.4% saved)

Precisions

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

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

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

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

adjust: 0.0ms (0% of total)

bsearch1.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	9.890753395490156e+242	1.6383041213431956e+243
0.0ms	-9.605075397868053e+228	-1.545026070563403e+225

Compiler

Compiled 22 to 29 computations (-31.8% saved)

bsearch1.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	1.715658567261743e+88	4.614501976067043e+97
0.0ms	-1.545026070563403e+225	-9.831374772003163e+205

Compiler

Compiled 22 to 29 computations (-31.8% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	1.715658567261743e+88	4.614501976067043e+97
0.0ms	-3.656597419723571e+129	-1.814597409956347e+126

Compiler

Compiled 22 to 29 computations (-31.8% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	9.890753395490156e+242	1.6383041213431956e+243
0.0ms	-1.545026070563403e+225	-9.831374772003163e+205

Compiler

Compiled 22 to 29 computations (-31.8% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	3.778122297585596e+185	2.1391763345693555e+192
0.0ms	-2.4252599540071e+214	-1.024802683841452e+207

Compiler

Compiled 22 to 29 computations (-31.8% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	0.12502234219441083	4.19790305113568
0.0ms	-6.804134267937142e+162	-1.0472569135400124e+156

Compiler

Compiled 22 to 29 computations (-31.8% saved)

bsearch1.0ms (0%)

Memory

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

Algorithm

3×	left-value

Steps

Time	Left	Right
0.0ms	0.12502234219441083	4.19790305113568
0.0ms	-8.247163756944053e-227	-7.586992531329471e-240
0.0ms	-7.410998362403874e+164	-1.9368851317652568e+163

Compiler

Compiled 22 to 29 computations (-31.8% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	1.798063852184853e+225	6.29763288123792e+230
0.0ms	-7.410998362403874e+164	-1.9368851317652568e+163

Compiler

Compiled 22 to 29 computations (-31.8% saved)

derivations4.0ms (0.1%)

Memory

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

Stop Event

1×

fuel

Compiler

Compiled 1 200 to 143 computations (88.1% saved)

preprocess198.0ms (3.6%)

Memory

1.7MiB live, 287.4MiB allocated; 31ms collecting garbage

Remove

(sort z t)

(sort x y)

Compiler

Compiled 6 019 to 2 117 computations (64.8% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze1.0ms (0%)

sample1.3s (23.3%)

preprocess92.0ms (1.7%)

series236.0ms (4.3%)

rewrite442.0ms (8%)

eval33.0ms (0.6%)

prune11.0ms (0.2%)

series448.0ms (8.1%)

rewrite276.0ms (5%)

eval33.0ms (0.6%)

prune12.0ms (0.2%)

series353.0ms (6.4%)

rewrite208.0ms (3.8%)

eval32.0ms (0.6%)

prune17.0ms (0.3%)

series315.0ms (5.7%)

rewrite262.0ms (4.8%)

eval38.0ms (0.7%)

prune12.0ms (0.2%)

regimes1.1s (19.3%)

bsearch1.0ms (0%)

bsearch114.0ms (2.1%)

bsearch20.0ms (0.4%)

bsearch1.0ms (0%)

bsearch1.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch1.0ms (0%)

bsearch0.0ms (0%)

derivations4.0ms (0.1%)

preprocess198.0ms (3.6%)

end0.0ms (0%)

Profiling