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

start0.0ms (0%)

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

analyze1.0ms (0%)

Memory

0.9MiB live, 0.9MiB 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.4s (27.6%)

Memory

36.5MiB live, 925.3MiB allocated; 278ms collecting garbage

Samples

859.0ms	8 255×	0	valid
1.0ms	1×	1	valid

Precisions

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

ival-mult!: 317.0ms (82.9% of total)

ival-add!: 43.0ms (11.2% of total)

ival-sub!: 20.0ms (5.2% of total)

adjust: 2.0ms (0.5% of total)

Bogosity

preprocess117.0ms (2.2%)

Memory

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

series262.0ms (5%)

Memory

-12.4MiB live, 132.7MiB allocated; 42ms 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
15.0ms	x	-inf
4.0ms	c	0
4.0ms	x	inf
4.0ms	t	0
3.0ms	y	0

rewrite219.0ms (4.2%)

Memory

2.7MiB live, 143.2MiB allocated; 10ms 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

eval19.0ms (0.4%)

Memory: -16.9MiB live, 31.1MiB allocated; 8ms collecting garbage
Compiler: Compiled 4 414 to 685 computations (84.5% saved)

prune10.0ms (0.2%)

Memory

20.0MiB live, 20.0MiB 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)

series331.0ms (6.3%)

Memory

-23.9MiB live, 410.4MiB allocated; 266ms 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
7.0ms	i	0
5.0ms	c	inf
4.0ms	z	0
3.0ms	i	-inf
3.0ms	i	inf

rewrite201.0ms (3.8%)

Memory

2.4MiB live, 240.3MiB allocated; 71ms 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))

eval29.0ms (0.5%)

Memory: 20.4MiB live, 65.7MiB allocated; 6ms collecting garbage
Compiler: Compiled 8 219 to 1 104 computations (86.6% saved)

prune25.0ms (0.5%)

Memory

-14.3MiB live, 32.8MiB allocated; 13ms 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)

series300.0ms (5.7%)

Memory

28.7MiB live, 450.4MiB allocated; 220ms 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
6.0ms	b	-inf
5.0ms	t	-inf
3.0ms	b	inf
3.0ms	c	-inf
3.0ms	c	inf

rewrite201.0ms (3.8%)

Memory

-22.9MiB live, 212.0MiB allocated; 61ms 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))

eval27.0ms (0.5%)

Memory: 16.3MiB live, 62.0MiB allocated; 4ms collecting garbage
Compiler: Compiled 8 326 to 1 179 computations (85.8% saved)

prune16.0ms (0.3%)

Memory

-18.5MiB live, 31.4MiB allocated; 5ms 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)

series236.0ms (4.5%)

Memory

42.0MiB live, 280.8MiB allocated; 74ms 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
3.0ms	b	inf
3.0ms	a	-inf
3.0ms	c	-inf
3.0ms	i	-inf
2.0ms	c	inf

rewrite197.0ms (3.8%)

Memory

9.7MiB live, 243.6MiB allocated; 42ms 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)

eval36.0ms (0.7%)

Memory: -14.5MiB live, 69.0MiB allocated; 30ms collecting garbage
Compiler: Compiled 7 512 to 1 085 computations (85.6% saved)

prune31.0ms (0.6%)

Memory

2.0MiB live, 36.1MiB allocated; 26ms 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.2s (22.1%)

Memory

-0.5MiB live, 774.7MiB allocated; 352ms 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:

72.0ms	a
64.0ms	t
55.0ms	z
53.0ms	(.f64 (.f64 (+.f64 a (*.f64 b c)) c) i)
52.0ms	a

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.6MiB live, 0.6MiB 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)

bsearch47.0ms (0.9%)

Memory

5.5MiB live, 51.3MiB allocated; 2ms collecting garbage

Algorithm

3×	binary-search

Stop Event

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

Steps

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

Samples

27.0ms

384×

valid

Compiler

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

Precisions

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

ival-mult!: 10.0ms (73.9% of total)

ival-add!: 3.0ms (22.2% of total)

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

adjust: 0.0ms (0% of total)

bsearch16.0ms (0.3%)

Memory

26.9MiB live, 26.9MiB allocated; 0ms 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
13.0ms	-3.831407498175458e-113	-1.5037838431797303e-117

Samples

8.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 (73.9% of total)

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

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

adjust: 0.0ms (0% of total)

bsearch1.0ms (0%)

Memory

0.9MiB live, 0.9MiB 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.9MiB live, 0.9MiB 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.8MiB live, 0.8MiB 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.8MiB live, 0.8MiB 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.8MiB live, 0.8MiB 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

1.0MiB live, 1.0MiB 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)

bsearch4.0ms (0.1%)

Memory

-44.6MiB live, 0.9MiB allocated; 5ms 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

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

Stop Event

1×

fuel

Compiler

Compiled 1 200 to 143 computations (88.1% saved)

preprocess305.0ms (5.8%)

Memory

-7.8MiB live, 246.2MiB allocated; 199ms 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.4s (27.6%)

preprocess117.0ms (2.2%)

series262.0ms (5%)

rewrite219.0ms (4.2%)

eval19.0ms (0.4%)

prune10.0ms (0.2%)

series331.0ms (6.3%)

rewrite201.0ms (3.8%)

eval29.0ms (0.5%)

prune25.0ms (0.5%)

series300.0ms (5.7%)

rewrite201.0ms (3.8%)

eval27.0ms (0.5%)

prune16.0ms (0.3%)

series236.0ms (4.5%)

rewrite197.0ms (3.8%)

eval36.0ms (0.7%)

prune31.0ms (0.6%)

regimes1.2s (22.1%)

bsearch1.0ms (0%)

bsearch47.0ms (0.9%)

bsearch16.0ms (0.3%)

bsearch1.0ms (0%)

bsearch1.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch1.0ms (0%)

bsearch4.0ms (0.1%)

derivations4.0ms (0.1%)

preprocess305.0ms (5.8%)

end0.0ms (0%)

Profiling