Metrics for Linear.V3:$cdot from linear-1.19.1.3, B

start0.0ms (0.0%)

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

analyze1.0ms (0.0%)

Memory

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

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0.0%	0.0%	99.7%	0.3%	0.0%	0.0%	0.0%	0
100.0%	99.7%	0.0%	0.3%	0.0%	0.0%	0.0%	1

Compiler

Compiled 13 to 13 computations (0.0% saved)

sample1.1s (14.9%)

Memory

24.2MiB live, 3 080.2MiB allocated; 431ms collecting garbage

Samples

727.0ms

8 256×

valid

Precisions

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

ival-mult!: 216.0ms (76.6% of total)

ival-add!: 64.0ms (22.7% of total)

adjust: 2.0ms (0.7% of total)

Bogosity

preprocess71.0ms (1.0%)

Memory

-12.3MiB live, 98.4MiB allocated; 66ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	89	318
1	320	308
2	947	308
3	1785	308
4	1816	308

Stop Event

1×

saturated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	98.4%	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))

Symmetry

(sort x y)

(sort z t)

(sort a b)

Compiler

Compiled 22 to 22 computations (0.0% saved)

sample0.0ms (0.0%)

Memory

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

Calls

Call 1

Inputs

Outputs

series40.0ms (0.5%)

Memory

8.1MiB live, 247.8MiB allocated; 13ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	140	627

Stop Event

1×	iter-limit

Counts

11 → 33

Calls

Call 1

Inputs
x
y
(*.f64 x y)
z
t
(*.f64 z t)
(+.f64 (.f64 x y) (.f64 z t))
a
b
(*.f64 a b)
(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))

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

Calls

18 calls:

Time	Variable	Point
4.0ms	y	0
2.0ms	t	-inf
1.0ms	z	inf
1.0ms	x	-inf
1.0ms	x	0

rewrite135.0ms (1.8%)

Memory

18.1MiB live, 444.6MiB allocated; 20ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	33
0	16	33
1	65	33
2	233	33
3	697	33
4	1174	33
5	1534	33
0	4010	33

Stop Event

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

Counts

11 → 87

Calls

Call 1

Inputs
x
y
(*.f64 x y)
z
t
(*.f64 z t)
(+.f64 (.f64 x y) (.f64 z t))
a
b
(*.f64 a b)
(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))

Outputs
x
y
(*.f64 (neg.f64 y) (neg.f64 x))
(*.f64 (neg.f64 x) (neg.f64 y))
(*.f64 y x)
(*.f64 x y)
(neg.f64 (*.f64 (neg.f64 y) x))
z
t
(*.f64 (neg.f64 t) (neg.f64 z))
(*.f64 (neg.f64 z) (neg.f64 t))
(*.f64 t z)
(*.f64 z t)
(neg.f64 (*.f64 (neg.f64 z) t))
(.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 (neg.f64 y) x) (.f64 t z))) (.f64 t z))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 y x) (.f64 t z))) (.f64 t z))
(.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 (neg.f64 z) t) (.f64 y x))) (.f64 y x))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 t z) (.f64 y x))) (.f64 y x))
(/.f64 (-.f64 (.f64 (.f64 t z) (.f64 t z)) (.f64 (.f64 (neg.f64 y) x) (.f64 (neg.f64 y) x))) (+.f64 (.f64 t z) (.f64 (neg.f64 y) x)))
(/.f64 (-.f64 (pow.f64 (.f64 t z) #s(literal 3 binary64)) (pow.f64 (.f64 (neg.f64 y) x) #s(literal 3 binary64))) (+.f64 (.f64 (.f64 t z) (.f64 t z)) (+.f64 (.f64 (.f64 (neg.f64 y) x) (.f64 (neg.f64 y) x)) (.f64 (.f64 t z) (*.f64 (neg.f64 y) x)))))
(/.f64 (-.f64 (.f64 (.f64 t z) (.f64 t z)) (.f64 (.f64 y x) (.f64 y x))) (-.f64 (.f64 t z) (.f64 y x)))
(/.f64 (-.f64 (.f64 (.f64 y x) (.f64 y x)) (.f64 (.f64 (neg.f64 z) t) (.f64 (neg.f64 z) t))) (+.f64 (.f64 y x) (.f64 (neg.f64 z) t)))
(/.f64 (+.f64 (pow.f64 (.f64 t z) #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) (+.f64 (.f64 (.f64 t z) (.f64 t z)) (-.f64 (.f64 (.f64 y x) (.f64 y x)) (.f64 (.f64 t z) (*.f64 y x)))))
(/.f64 (-.f64 (pow.f64 (.f64 y x) #s(literal 3 binary64)) (pow.f64 (.f64 (neg.f64 z) t) #s(literal 3 binary64))) (+.f64 (.f64 (.f64 y x) (.f64 y x)) (+.f64 (.f64 (.f64 (neg.f64 z) t) (.f64 (neg.f64 z) t)) (.f64 (.f64 y x) (*.f64 (neg.f64 z) t)))))
(/.f64 (-.f64 (.f64 (.f64 y x) (.f64 y x)) (.f64 (.f64 t z) (.f64 t z))) (-.f64 (.f64 y x) (.f64 t z)))
(/.f64 (+.f64 (pow.f64 (.f64 y x) #s(literal 3 binary64)) (pow.f64 (.f64 t z) #s(literal 3 binary64))) (+.f64 (.f64 (.f64 y x) (.f64 y x)) (-.f64 (.f64 (.f64 t z) (.f64 t z)) (.f64 (.f64 y x) (*.f64 t z)))))
(neg.f64 (-.f64 (.f64 (neg.f64 z) t) (.f64 y x)))
(-.f64 (.f64 t z) (.f64 (neg.f64 y) x))
(-.f64 (.f64 y x) (.f64 (neg.f64 z) t))
(+.f64 (.f64 t z) (.f64 y x))
(+.f64 (.f64 y x) (.f64 t z))
a
b
(*.f64 (neg.f64 b) (neg.f64 a))
(*.f64 (neg.f64 a) (neg.f64 b))
(*.f64 b a)
(*.f64 a b)
(neg.f64 (*.f64 (neg.f64 a) b))
(.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 (neg.f64 y) x) (+.f64 (.f64 b a) (.f64 t z)))) (+.f64 (.f64 b a) (.f64 t z)))
(.f64 (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 (.f64 (neg.f64 y) x) (.f64 b a)) (.f64 t z))) (*.f64 t z))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 t z) (+.f64 (.f64 b a) (.f64 y x)))) (+.f64 (.f64 b a) (.f64 y x)))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 y x) (+.f64 (.f64 b a) (.f64 t z)))) (+.f64 (.f64 b a) (.f64 t z)))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (+.f64 (.f64 b a) (.f64 y x)) (.f64 t z))) (*.f64 t z))
(.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 (neg.f64 z) t) (+.f64 (.f64 b a) (.f64 y x)))) (+.f64 (.f64 b a) (.f64 y x)))
(.f64 (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 (.f64 (neg.f64 z) t) (.f64 y x)) (.f64 b a))) (*.f64 b a))
(.f64 (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 (.f64 (neg.f64 z) t) (.f64 b a)) (.f64 y x))) (*.f64 y x))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (+.f64 (.f64 t z) (.f64 y x)) (.f64 b a))) (*.f64 b a))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (+.f64 (.f64 b a) (.f64 t z)) (.f64 y x))) (*.f64 y x))
(.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 (neg.f64 a) b) (+.f64 (.f64 t z) (.f64 y x)))) (+.f64 (.f64 t z) (.f64 y x)))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 b a) (+.f64 (.f64 t z) (.f64 y x)))) (+.f64 (.f64 t z) (.f64 y x)))
(/.f64 (-.f64 (.f64 (+.f64 (.f64 b a) (.f64 t z)) (+.f64 (.f64 b a) (.f64 t z))) (.f64 (.f64 (neg.f64 y) x) (.f64 (neg.f64 y) x))) (+.f64 (+.f64 (.f64 b a) (.f64 t z)) (*.f64 (neg.f64 y) x)))
(/.f64 (-.f64 (.f64 (.f64 t z) (.f64 t z)) (.f64 (-.f64 (.f64 (neg.f64 y) x) (.f64 b a)) (-.f64 (.f64 (neg.f64 y) x) (.f64 b a)))) (+.f64 (.f64 t z) (-.f64 (.f64 (neg.f64 y) x) (*.f64 b a))))
(/.f64 (-.f64 (pow.f64 (+.f64 (.f64 b a) (.f64 t z)) #s(literal 3 binary64)) (pow.f64 (.f64 (neg.f64 y) x) #s(literal 3 binary64))) (+.f64 (.f64 (+.f64 (.f64 b a) (.f64 t z)) (+.f64 (.f64 b a) (.f64 t z))) (+.f64 (.f64 (.f64 (neg.f64 y) x) (.f64 (neg.f64 y) x)) (.f64 (+.f64 (.f64 b a) (.f64 t z)) (*.f64 (neg.f64 y) x)))))
(/.f64 (-.f64 (pow.f64 (.f64 t z) #s(literal 3 binary64)) (pow.f64 (-.f64 (.f64 (neg.f64 y) x) (.f64 b a)) #s(literal 3 binary64))) (+.f64 (.f64 (.f64 t z) (.f64 t z)) (+.f64 (.f64 (-.f64 (.f64 (neg.f64 y) x) (.f64 b a)) (-.f64 (.f64 (neg.f64 y) x) (.f64 b a))) (.f64 (.f64 t z) (-.f64 (.f64 (neg.f64 y) x) (*.f64 b a))))))
(/.f64 (-.f64 (.f64 (+.f64 (.f64 b a) (.f64 y x)) (+.f64 (.f64 b a) (.f64 y x))) (.f64 (.f64 t z) (.f64 t z))) (-.f64 (+.f64 (.f64 b a) (.f64 y x)) (*.f64 t z)))
(/.f64 (-.f64 (.f64 (+.f64 (.f64 b a) (.f64 t z)) (+.f64 (.f64 b a) (.f64 t z))) (.f64 (.f64 y x) (.f64 y x))) (-.f64 (+.f64 (.f64 b a) (.f64 t z)) (*.f64 y x)))
(/.f64 (-.f64 (.f64 (.f64 t z) (.f64 t z)) (.f64 (+.f64 (.f64 b a) (.f64 y x)) (+.f64 (.f64 b a) (.f64 y x)))) (-.f64 (.f64 t z) (+.f64 (.f64 b a) (*.f64 y x))))
(/.f64 (-.f64 (.f64 (+.f64 (.f64 b a) (.f64 y x)) (+.f64 (.f64 b a) (.f64 y x))) (.f64 (.f64 (neg.f64 z) t) (.f64 (neg.f64 z) t))) (+.f64 (+.f64 (.f64 b a) (.f64 y x)) (*.f64 (neg.f64 z) t)))
(/.f64 (-.f64 (.f64 (.f64 b a) (.f64 b a)) (.f64 (-.f64 (.f64 (neg.f64 z) t) (.f64 y x)) (-.f64 (.f64 (neg.f64 z) t) (.f64 y x)))) (+.f64 (.f64 b a) (-.f64 (.f64 (neg.f64 z) t) (*.f64 y x))))
(/.f64 (-.f64 (.f64 (.f64 y x) (.f64 y x)) (.f64 (-.f64 (.f64 (neg.f64 z) t) (.f64 b a)) (-.f64 (.f64 (neg.f64 z) t) (.f64 b a)))) (+.f64 (.f64 y x) (-.f64 (.f64 (neg.f64 z) t) (*.f64 b a))))
(/.f64 (+.f64 (pow.f64 (+.f64 (.f64 b a) (.f64 y x)) #s(literal 3 binary64)) (pow.f64 (.f64 t z) #s(literal 3 binary64))) (+.f64 (.f64 (+.f64 (.f64 b a) (.f64 y x)) (+.f64 (.f64 b a) (.f64 y x))) (-.f64 (.f64 (.f64 t z) (.f64 t z)) (.f64 (+.f64 (.f64 b a) (.f64 y x)) (*.f64 t z)))))
(/.f64 (+.f64 (pow.f64 (+.f64 (.f64 b a) (.f64 t z)) #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) (+.f64 (.f64 (+.f64 (.f64 b a) (.f64 t z)) (+.f64 (.f64 b a) (.f64 t z))) (-.f64 (.f64 (.f64 y x) (.f64 y x)) (.f64 (+.f64 (.f64 b a) (.f64 t z)) (*.f64 y x)))))
(/.f64 (+.f64 (pow.f64 (.f64 t z) #s(literal 3 binary64)) (pow.f64 (+.f64 (.f64 b a) (.f64 y x)) #s(literal 3 binary64))) (+.f64 (.f64 (.f64 t z) (.f64 t z)) (-.f64 (.f64 (+.f64 (.f64 b a) (.f64 y x)) (+.f64 (.f64 b a) (.f64 y x))) (.f64 (.f64 t z) (+.f64 (.f64 b a) (*.f64 y x))))))
(/.f64 (-.f64 (pow.f64 (+.f64 (.f64 b a) (.f64 y x)) #s(literal 3 binary64)) (pow.f64 (.f64 (neg.f64 z) t) #s(literal 3 binary64))) (+.f64 (.f64 (+.f64 (.f64 b a) (.f64 y x)) (+.f64 (.f64 b a) (.f64 y x))) (+.f64 (.f64 (.f64 (neg.f64 z) t) (.f64 (neg.f64 z) t)) (.f64 (+.f64 (.f64 b a) (.f64 y x)) (*.f64 (neg.f64 z) t)))))
(/.f64 (-.f64 (pow.f64 (.f64 b a) #s(literal 3 binary64)) (pow.f64 (-.f64 (.f64 (neg.f64 z) t) (.f64 y x)) #s(literal 3 binary64))) (+.f64 (.f64 (.f64 b a) (.f64 b a)) (+.f64 (.f64 (-.f64 (.f64 (neg.f64 z) t) (.f64 y x)) (-.f64 (.f64 (neg.f64 z) t) (.f64 y x))) (.f64 (.f64 b a) (-.f64 (.f64 (neg.f64 z) t) (*.f64 y x))))))
(/.f64 (-.f64 (pow.f64 (.f64 y x) #s(literal 3 binary64)) (pow.f64 (-.f64 (.f64 (neg.f64 z) t) (.f64 b a)) #s(literal 3 binary64))) (+.f64 (.f64 (.f64 y x) (.f64 y x)) (+.f64 (.f64 (-.f64 (.f64 (neg.f64 z) t) (.f64 b a)) (-.f64 (.f64 (neg.f64 z) t) (.f64 b a))) (.f64 (.f64 y x) (-.f64 (.f64 (neg.f64 z) t) (*.f64 b a))))))
(/.f64 (-.f64 (.f64 (.f64 b a) (.f64 b a)) (.f64 (+.f64 (.f64 t z) (.f64 y x)) (+.f64 (.f64 t z) (.f64 y x)))) (-.f64 (.f64 b a) (+.f64 (.f64 t z) (*.f64 y x))))
(/.f64 (-.f64 (.f64 (.f64 y x) (.f64 y x)) (.f64 (+.f64 (.f64 b a) (.f64 t z)) (+.f64 (.f64 b a) (.f64 t z)))) (-.f64 (.f64 y x) (+.f64 (.f64 b a) (*.f64 t z))))
(/.f64 (-.f64 (.f64 (+.f64 (.f64 t z) (.f64 y x)) (+.f64 (.f64 t z) (.f64 y x))) (.f64 (.f64 (neg.f64 a) b) (.f64 (neg.f64 a) b))) (+.f64 (+.f64 (.f64 t z) (.f64 y x)) (*.f64 (neg.f64 a) b)))
(/.f64 (+.f64 (pow.f64 (.f64 b a) #s(literal 3 binary64)) (pow.f64 (+.f64 (.f64 t z) (.f64 y x)) #s(literal 3 binary64))) (+.f64 (.f64 (.f64 b a) (.f64 b a)) (-.f64 (.f64 (+.f64 (.f64 t z) (.f64 y x)) (+.f64 (.f64 t z) (.f64 y x))) (.f64 (.f64 b a) (+.f64 (.f64 t z) (*.f64 y x))))))
(/.f64 (+.f64 (pow.f64 (.f64 y x) #s(literal 3 binary64)) (pow.f64 (+.f64 (.f64 b a) (.f64 t z)) #s(literal 3 binary64))) (+.f64 (.f64 (.f64 y x) (.f64 y x)) (-.f64 (.f64 (+.f64 (.f64 b a) (.f64 t z)) (+.f64 (.f64 b a) (.f64 t z))) (.f64 (.f64 y x) (+.f64 (.f64 b a) (*.f64 t z))))))
(/.f64 (-.f64 (pow.f64 (+.f64 (.f64 t z) (.f64 y x)) #s(literal 3 binary64)) (pow.f64 (.f64 (neg.f64 a) b) #s(literal 3 binary64))) (+.f64 (.f64 (+.f64 (.f64 t z) (.f64 y x)) (+.f64 (.f64 t z) (.f64 y x))) (+.f64 (.f64 (.f64 (neg.f64 a) b) (.f64 (neg.f64 a) b)) (.f64 (+.f64 (.f64 t z) (.f64 y x)) (*.f64 (neg.f64 a) b)))))
(/.f64 (-.f64 (.f64 (+.f64 (.f64 t z) (.f64 y x)) (+.f64 (.f64 t z) (.f64 y x))) (.f64 (.f64 b a) (.f64 b a))) (-.f64 (+.f64 (.f64 t z) (.f64 y x)) (*.f64 b a)))
(/.f64 (+.f64 (pow.f64 (+.f64 (.f64 t z) (.f64 y x)) #s(literal 3 binary64)) (pow.f64 (.f64 b a) #s(literal 3 binary64))) (+.f64 (.f64 (+.f64 (.f64 t z) (.f64 y x)) (+.f64 (.f64 t z) (.f64 y x))) (-.f64 (.f64 (.f64 b a) (.f64 b a)) (.f64 (+.f64 (.f64 t z) (.f64 y x)) (*.f64 b a)))))
(neg.f64 (-.f64 (-.f64 (.f64 (neg.f64 z) t) (.f64 y x)) (*.f64 b a)))
(-.f64 (+.f64 (.f64 b a) (.f64 y x)) (*.f64 (neg.f64 z) t))
(-.f64 (+.f64 (.f64 b a) (.f64 t z)) (*.f64 (neg.f64 y) x))
(-.f64 (.f64 b a) (-.f64 (.f64 (neg.f64 z) t) (*.f64 y x)))
(-.f64 (+.f64 (.f64 t z) (.f64 y x)) (*.f64 (neg.f64 a) b))
(-.f64 (.f64 t z) (-.f64 (.f64 (neg.f64 y) x) (*.f64 b a)))
(-.f64 (.f64 y x) (-.f64 (.f64 (neg.f64 z) t) (*.f64 b a)))
(+.f64 (+.f64 (.f64 b a) (.f64 y x)) (*.f64 t z))
(+.f64 (+.f64 (.f64 b a) (.f64 t z)) (*.f64 y x))
(+.f64 (.f64 b a) (+.f64 (.f64 t z) (*.f64 y x)))
(+.f64 (+.f64 (.f64 t z) (.f64 y x)) (*.f64 b a))
(+.f64 (.f64 t z) (+.f64 (.f64 b a) (*.f64 y x)))
(+.f64 (.f64 y x) (+.f64 (.f64 b a) (*.f64 t z)))

eval18.0ms (0.2%)

Memory: -10.6MiB live, 88.7MiB allocated; 12ms collecting garbage
Compiler: Compiled 2 770 to 457 computations (83.5% saved)

prune5.0ms (0.1%)

Memory

-23.5MiB live, 23.8MiB allocated; 3ms collecting garbage

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	109	3	112
Fresh	0	0	0
Picked	1	0	1
Done	-1	1	0
Total	109	4	113

Accuracy

100.0%

Counts

113 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	98.4%	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
▶	66.3%	(+.f64 #s(approx (+ (* x y) (* z t)) (.f64 t z)) (.f64 a b))
▶	72.1%	#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 a b) (.f64 x y)))
▶	89.5%	#s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 b (+.f64 a (+.f64 (/.f64 (.f64 t z) b) (/.f64 (*.f64 x y) b)))))

Compiler

Compiled 72 to 58 computations (19.4% saved)

sample0.0ms (0.0%)

Memory

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

Calls

Call 1

Inputs

Outputs

series59.0ms (0.8%)

Memory

12.5MiB live, 346.2MiB allocated; 18ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	352	2113

Stop Event

1×	iter-limit

Counts

19 → 85

Calls

Call 1

Inputs
x
y
z
t
a
b
(*.f64 t z)
(/.f64 (*.f64 t z) b)
(*.f64 x y)
(/.f64 (*.f64 x y) b)
(+.f64 (/.f64 (.f64 t z) b) (/.f64 (.f64 x y) b))
(+.f64 a (+.f64 (/.f64 (.f64 t z) b) (/.f64 (.f64 x y) b)))
(.f64 b (+.f64 a (+.f64 (/.f64 (.f64 t z) b) (/.f64 (*.f64 x y) b))))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 b (+.f64 a (+.f64 (/.f64 (.f64 t z) b) (/.f64 (*.f64 x y) b)))))
(*.f64 a b)
(+.f64 (.f64 a b) (.f64 x y))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 a b) (.f64 x y)))
#s(approx (+ (* x y) (* z t)) (*.f64 t z))
(+.f64 #s(approx (+ (* x y) (* z t)) (.f64 t z)) (.f64 a b))

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

Calls

18 calls:

Time	Variable	Point
5.0ms	b	0
5.0ms	a	0
4.0ms	x	-inf
3.0ms	x	0
3.0ms	z	inf

rewrite113.0ms (1.5%)

Memory

21.9MiB live, 549.0MiB allocated; 27ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	24	143
0	34	135
1	195	135
2	881	131
0	4440	131

Stop Event

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

Counts

19 → 439

Calls

Call 1

Inputs
x
y
z
t
a
b
(*.f64 t z)
(/.f64 (*.f64 t z) b)
(*.f64 x y)
(/.f64 (*.f64 x y) b)
(+.f64 (/.f64 (.f64 t z) b) (/.f64 (.f64 x y) b))
(+.f64 a (+.f64 (/.f64 (.f64 t z) b) (/.f64 (.f64 x y) b)))
(.f64 b (+.f64 a (+.f64 (/.f64 (.f64 t z) b) (/.f64 (*.f64 x y) b))))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 b (+.f64 a (+.f64 (/.f64 (.f64 t z) b) (/.f64 (*.f64 x y) b)))))
(*.f64 a b)
(+.f64 (.f64 a b) (.f64 x y))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 a b) (.f64 x y)))
#s(approx (+ (* x y) (* z t)) (*.f64 t z))
(+.f64 #s(approx (+ (* x y) (* z t)) (.f64 t z)) (.f64 a b))

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

eval67.0ms (0.9%)

Memory: -15.7MiB live, 366.8MiB allocated; 28ms collecting garbage
Compiler: Compiled 19 021 to 2 773 computations (85.4% saved)

prune13.0ms (0.2%)

Memory

16.1MiB live, 67.2MiB allocated; 6ms collecting garbage

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	575	3	578
Fresh	0	0	0
Picked	3	0	3
Done	-2	3	1
Total	576	6	582

Accuracy

100.0%

Counts

582 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	98.4%	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
✓	66.3%	(+.f64 #s(approx (+ (* x y) (* z t)) (.f64 t z)) (.f64 a b))
✓	72.1%	#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 a b) (.f64 x y)))
▶	63.4%	#s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 b (+.f64 a #s(approx (+ (/ ( t z) b) (/ (* x y) b)) (/.f64 (*.f64 t z) b)))))
▶	68.1%	#s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 b #s(approx (+ a (+ (/ ( t z) b) (/ (* x y) b))) (+.f64 a (/.f64 (*.f64 x y) b)))))
▶	38.2%	#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* a b) (* x y)) (*.f64 a b)))

Compiler

Compiled 136 to 97 computations (28.7% saved)

sample0.0ms (0.0%)

Memory

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

Calls

Call 1

Inputs

Outputs

series61.0ms (0.8%)

Memory

-30.3MiB live, 258.3MiB allocated; 20ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	346	2090

Stop Event

1×	iter-limit

Counts

21 → 84

Calls

Call 1

Inputs
x
y
z
t
a
b
(*.f64 a b)
#s(approx (+ (* a b) (* x y)) (*.f64 a b))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* a b) (* x y)) (*.f64 a b)))
(*.f64 x y)
(/.f64 (*.f64 x y) b)
(+.f64 a (/.f64 (*.f64 x y) b))
#s(approx (+ a (+ (/ (* t z) b) (/ (* x y) b))) (+.f64 a (/.f64 (*.f64 x y) b)))
(.f64 b #s(approx (+ a (+ (/ ( t z) b) (/ (* x y) b))) (+.f64 a (/.f64 (*.f64 x y) b))))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 b #s(approx (+ a (+ (/ ( t z) b) (/ (* x y) b))) (+.f64 a (/.f64 (*.f64 x y) b)))))
(*.f64 t z)
(/.f64 (*.f64 t z) b)
#s(approx (+ (/ (* t z) b) (/ (* x y) b)) (/.f64 (*.f64 t z) b))
(+.f64 a #s(approx (+ (/ (* t z) b) (/ (* x y) b)) (/.f64 (*.f64 t z) b)))
(.f64 b (+.f64 a #s(approx (+ (/ ( t z) b) (/ (* x y) b)) (/.f64 (*.f64 t z) b))))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 b (+.f64 a #s(approx (+ (/ ( t z) b) (/ (* x y) b)) (/.f64 (*.f64 t z) b)))))

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

Calls

18 calls:

Time	Variable	Point
8.0ms	x	0
8.0ms	b	-inf
6.0ms	z	0
2.0ms	a	0
2.0ms	x	-inf

rewrite109.0ms (1.5%)

Memory

16.3MiB live, 499.8MiB allocated; 27ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	235
0	41	221
1	216	221
2	902	221
0	4360	221

Stop Event

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

Counts

21 → 264

Calls

Call 1

Inputs
x
y
z
t
a
b
(*.f64 a b)
#s(approx (+ (* a b) (* x y)) (*.f64 a b))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* a b) (* x y)) (*.f64 a b)))
(*.f64 x y)
(/.f64 (*.f64 x y) b)
(+.f64 a (/.f64 (*.f64 x y) b))
#s(approx (+ a (+ (/ (* t z) b) (/ (* x y) b))) (+.f64 a (/.f64 (*.f64 x y) b)))
(.f64 b #s(approx (+ a (+ (/ ( t z) b) (/ (* x y) b))) (+.f64 a (/.f64 (*.f64 x y) b))))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 b #s(approx (+ a (+ (/ ( t z) b) (/ (* x y) b))) (+.f64 a (/.f64 (*.f64 x y) b)))))
(*.f64 t z)
(/.f64 (*.f64 t z) b)
#s(approx (+ (/ (* t z) b) (/ (* x y) b)) (/.f64 (*.f64 t z) b))
(+.f64 a #s(approx (+ (/ (* t z) b) (/ (* x y) b)) (/.f64 (*.f64 t z) b)))
(.f64 b (+.f64 a #s(approx (+ (/ ( t z) b) (/ (* x y) b)) (/.f64 (*.f64 t z) b))))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 b (+.f64 a #s(approx (+ (/ ( t z) b) (/ (* x y) b)) (/.f64 (*.f64 t z) b)))))

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

eval61.0ms (0.8%)

Memory: -4.1MiB live, 281.9MiB allocated; 53ms collecting garbage
Compiler: Compiled 13 805 to 1 904 computations (86.2% saved)

prune9.0ms (0.1%)

Memory

21.9MiB live, 68.8MiB allocated; 3ms collecting garbage

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	329	1	330
Fresh	0	0	0
Picked	3	0	3
Done	-1	4	3
Total	331	5	336

Accuracy

100.0%

Counts

336 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	66.3%	(+.f64 #s(approx (+ (* x y) (* z t)) (.f64 t z)) (.f64 a b))
▶	63.5%	#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 t z) (.f64 x y)))
✓	72.1%	#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 a b) (.f64 x y)))
✓	68.1%	#s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 b #s(approx (+ a (+ (/ ( t z) b) (/ (* x y) b))) (+.f64 a (/.f64 (*.f64 x y) b)))))
✓	38.2%	#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* a b) (* x y)) (*.f64 a b)))

Compiler

Compiled 111 to 80 computations (27.9% saved)

sample0.0ms (0.0%)

Memory

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

Calls

Call 1

Inputs

Outputs

series22.0ms (0.3%)

Memory

-12.9MiB live, 133.9MiB allocated; 8ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	138	629

Stop Event

1×	iter-limit

Counts

8 → 31

Calls

Call 1

Inputs
x
y
z
t
(*.f64 t z)
(*.f64 x y)
(+.f64 (.f64 t z) (.f64 x y))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 t z) (.f64 x y)))

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

Calls

18 calls:

Time	Variable	Point
3.0ms	x	inf
2.0ms	t	-inf
1.0ms	x	-inf
1.0ms	y	-inf
1.0ms	z	-inf

rewrite134.0ms (1.8%)

Memory

13.0MiB live, 440.3MiB allocated; 28ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	36
0	18	36
1	93	36
2	293	36
3	823	36
4	1202	36
5	1540	36
0	4016	36

Stop Event

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

Counts

8 → 32

Calls

Call 1

Inputs
x
y
z
t
(*.f64 t z)
(*.f64 x y)
(+.f64 (.f64 t z) (.f64 x y))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 t z) (.f64 x y)))

Outputs
x
y
z
t
(*.f64 (neg.f64 t) (neg.f64 z))
(*.f64 (neg.f64 z) (neg.f64 t))
(*.f64 t z)
(*.f64 z t)
(neg.f64 (*.f64 (neg.f64 z) t))
(*.f64 (neg.f64 y) (neg.f64 x))
(*.f64 (neg.f64 x) (neg.f64 y))
(*.f64 y x)
(*.f64 x y)
(neg.f64 (*.f64 (neg.f64 x) y))
(.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 (neg.f64 z) t) (.f64 y x))) (.f64 y x))
(.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 (neg.f64 x) y) (.f64 t z))) (.f64 t z))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 t z) (.f64 y x))) (.f64 y x))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 y x) (.f64 t z))) (.f64 t z))
(/.f64 (-.f64 (.f64 (.f64 y x) (.f64 y x)) (.f64 (.f64 (neg.f64 z) t) (.f64 (neg.f64 z) t))) (+.f64 (.f64 y x) (.f64 (neg.f64 z) t)))
(/.f64 (-.f64 (.f64 (.f64 t z) (.f64 t z)) (.f64 (.f64 (neg.f64 x) y) (.f64 (neg.f64 x) y))) (+.f64 (.f64 t z) (.f64 (neg.f64 x) y)))
(/.f64 (-.f64 (pow.f64 (.f64 y x) #s(literal 3 binary64)) (pow.f64 (.f64 (neg.f64 z) t) #s(literal 3 binary64))) (+.f64 (.f64 (.f64 y x) (.f64 y x)) (+.f64 (.f64 (.f64 (neg.f64 z) t) (.f64 (neg.f64 z) t)) (.f64 (.f64 y x) (*.f64 (neg.f64 z) t)))))
(/.f64 (-.f64 (pow.f64 (.f64 t z) #s(literal 3 binary64)) (pow.f64 (.f64 (neg.f64 x) y) #s(literal 3 binary64))) (+.f64 (.f64 (.f64 t z) (.f64 t z)) (+.f64 (.f64 (.f64 (neg.f64 x) y) (.f64 (neg.f64 x) y)) (.f64 (.f64 t z) (*.f64 (neg.f64 x) y)))))
(/.f64 (-.f64 (.f64 (.f64 y x) (.f64 y x)) (.f64 (.f64 t z) (.f64 t z))) (-.f64 (.f64 y x) (.f64 t z)))
(/.f64 (-.f64 (.f64 (.f64 t z) (.f64 t z)) (.f64 (.f64 y x) (.f64 y x))) (-.f64 (.f64 t z) (.f64 y x)))
(/.f64 (+.f64 (pow.f64 (.f64 y x) #s(literal 3 binary64)) (pow.f64 (.f64 t z) #s(literal 3 binary64))) (+.f64 (.f64 (.f64 y x) (.f64 y x)) (-.f64 (.f64 (.f64 t z) (.f64 t z)) (.f64 (.f64 y x) (*.f64 t z)))))
(/.f64 (+.f64 (pow.f64 (.f64 t z) #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) (+.f64 (.f64 (.f64 t z) (.f64 t z)) (-.f64 (.f64 (.f64 y x) (.f64 y x)) (.f64 (.f64 t z) (*.f64 y x)))))
(neg.f64 (-.f64 (.f64 (neg.f64 z) t) (.f64 y x)))
(-.f64 (.f64 y x) (.f64 (neg.f64 z) t))
(-.f64 (.f64 t z) (.f64 (neg.f64 x) y))
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 t z) (.f64 y x))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 y x) (.f64 t z)))

eval11.0ms (0.2%)

Memory: -0.7MiB live, 54.0MiB allocated; 13ms collecting garbage
Compiler: Compiled 1 544 to 272 computations (82.4% saved)

prune5.0ms (0.1%)

Memory

-12.2MiB live, 34.3MiB allocated; 2ms collecting garbage

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	55	1	56
Fresh	0	0	0
Picked	1	0	1
Done	-1	5	4
Total	55	6	61

Accuracy

100.0%

Counts

61 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	66.3%	(+.f64 #s(approx (+ (* x y) (* z t)) (.f64 t z)) (.f64 a b))
✓	63.5%	#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 t z) (.f64 x y)))
✓	72.1%	#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 a b) (.f64 x y)))
✓	68.1%	#s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 b #s(approx (+ a (+ (/ ( t z) b) (/ (* x y) b))) (+.f64 a (/.f64 (*.f64 x y) b)))))
	30.7%	#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* t z) (* x y)) (*.f64 t z)))
✓	38.2%	#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* a b) (* x y)) (*.f64 a b)))

Compiler

Compiled 134 to 96 computations (28.4% saved)

regimes5.2s (69.9%)

Memory

-599.1MiB live, 2 178.5MiB allocated; 6.9s collecting garbage

Counts

1 → 1

2 → 3

3 → 3

4 → 3

5 → 3

9 → 1

Calls

Call 1

Inputs
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* a b) (* x y)) (*.f64 a b)))

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

Call 2

Inputs
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* a b) (* x y)) (*.f64 a b)))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* t z) (* x y)) (*.f64 t z)))

Outputs

#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* t z) (* x y)) (*.f64 t z)))

#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* a b) (* x y)) (*.f64 a b)))

#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* t z) (* x y)) (*.f64 t z)))

Call 3

Inputs

#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* a b) (* x y)) (*.f64 a b)))

#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* t z) (* x y)) (*.f64 t z)))

#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (*.f64 a b) (*.f64 x y)))

Outputs

#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* t z) (* x y)) (*.f64 t z)))

#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (*.f64 a b) (*.f64 x y)))

#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* t z) (* x y)) (*.f64 t z)))

Call 4

Inputs
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* a b) (* x y)) (*.f64 a b)))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* t z) (* x y)) (*.f64 t z)))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 a b) (.f64 x y)))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 t z) (.f64 x y)))

Outputs

#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (*.f64 t z) (*.f64 x y)))

#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (*.f64 a b) (*.f64 x y)))

#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (*.f64 t z) (*.f64 x y)))

Call 5

Inputs
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* a b) (* x y)) (*.f64 a b)))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* t z) (* x y)) (*.f64 t z)))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 a b) (.f64 x y)))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 t z) (.f64 x y)))
(+.f64 #s(approx (+ (* x y) (* z t)) (.f64 t z)) (.f64 a b))

Outputs

#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (*.f64 a b) (*.f64 x y)))

(+.f64 #s(approx (+ (* x y) (* z t)) (*.f64 t z)) (*.f64 a b))

#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (*.f64 t z) (*.f64 x y)))

Call 6

Inputs
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* a b) (* x y)) (*.f64 a b)))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* t z) (* x y)) (*.f64 t z)))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 a b) (.f64 x y)))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 t z) (.f64 x y)))
(+.f64 #s(approx (+ (* x y) (* z t)) (.f64 t z)) (.f64 a b))
(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 b #s(approx (+ a (+ (/ ( t z) b) (/ (* x y) b))) (+.f64 a (/.f64 (*.f64 x y) b)))))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 b (+.f64 a #s(approx (+ (/ ( t z) b) (/ (* x y) b)) (/.f64 (*.f64 t z) b)))))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 b (+.f64 a (+.f64 (/.f64 (.f64 t z) b) (/.f64 (*.f64 x y) b)))))

Outputs
(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))

Calls

50 calls:

4.9s	(*.f64 a b)
35.0ms	(*.f64 a b)
29.0ms	(*.f64 x y)
15.0ms	(*.f64 z t)
13.0ms	b

Results

Accuracy	Segments	Branch
38.2%	1	`y`
38.2%	1	`x`
38.2%	1	`b`
38.2%	1	`z`
38.2%	1	`(+.f64 (.f64 x y) (.f64 z t))`
38.2%	1	`t`
38.2%	1	`(*.f64 a b)`
38.2%	1	`a`
38.2%	1	`(*.f64 z t)`
53.7%	3	`a`
53.6%	3	`(*.f64 a b)`
38.2%	1	`(*.f64 x y)`
52.8%	3	`(+.f64 (.f64 x y) (.f64 z t))`
38.2%	1	`(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))`
46.2%	5	`y`
53.1%	3	`t`
48.1%	3	`b`
47.7%	5	`x`
51.0%	3	`z`
55.5%	3	`(*.f64 z t)`
80.8%	3	`t`
72.1%	1	`(+.f64 (.f64 x y) (.f64 z t))`
72.1%	1	`a`
72.1%	1	`(*.f64 a b)`
76.7%	3	`y`
85.1%	3	`(*.f64 z t)`
87.8%	3	`(*.f64 z t)`
72.1%	1	`(*.f64 x y)`
87.4%	3	`(*.f64 a b)`
87.8%	3	`(*.f64 z t)`
91.4%	3	`(*.f64 x y)`
86.2%	3	`(+.f64 (.f64 x y) (.f64 z t))`
72.1%	1	`(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))`
85.5%	4	`x`
87.6%	3	`y`
86.1%	4	`z`
85.7%	3	`t`
86.8%	3	`a`
83.3%	4	`b`
98.4%	1	`(*.f64 a b)`
98.4%	1	`(*.f64 z t)`
98.4%	1	`(*.f64 x y)`
98.4%	1	`(+.f64 (.f64 x y) (.f64 z t))`
98.4%	1	`(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))`
98.4%	1	`x`
98.4%	1	`y`
98.4%	1	`z`
98.4%	1	`t`
98.4%	1	`a`
98.4%	1	`b`

Compiler

Compiled 345 to 393 computations (-13.9% saved)

bsearch85.0ms (1.1%)

Memory

-1.6MiB live, 433.0MiB allocated; 34ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
42.0ms	3.3124584387027094e+56	3.2622763996250166e+71
41.0ms	-1.182540176610911e-84	-2.7402896287451315e-90

Samples

61.0ms

304×

valid

Compiler

Compiled 624 to 572 computations (8.3% saved)

Precisions

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

ival-mult!: 27.0ms (96.1% of total)

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

adjust: 0.0ms (0.0% of total)

bsearch1.0ms (0.0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	0.004286937395943121	2155143.031597202
0.0ms	-2.488368894714358e+128	-1.8927768875912487e+128

Compiler

Compiled 16 to 21 computations (-31.3% saved)

bsearch0.0ms (0.0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	9.173840267336605e+215	2.448460896413013e+229
0.0ms	-2.132085843198811e+242	-5.94703290246479e+231

Compiler

Compiled 16 to 21 computations (-31.3% saved)

bsearch0.0ms (0.0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	0.004286937395943121	2155143.031597202
0.0ms	-1.8927768875912487e+128	-9.010592310656844e+106

Compiler

Compiled 16 to 21 computations (-31.3% saved)

derivations19.0ms (0.3%)

Memory

-18.8MiB live, 30.7MiB allocated; 8ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 326 to 52 computations (84.0% saved)

preprocess93.0ms (1.2%)

Memory: 10.7MiB live, 236.9MiB allocated; 42ms collecting garbage
Compiler: Compiled 2 293 to 849 computations (63.0% saved)

end0.0ms (0.0%)

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

start0.0ms (0.0%)

analyze1.0ms (0.0%)

sample1.1s (14.9%)

preprocess71.0ms (1.0%)

sample0.0ms (0.0%)

series40.0ms (0.5%)

rewrite135.0ms (1.8%)

eval18.0ms (0.2%)

prune5.0ms (0.1%)

sample0.0ms (0.0%)

series59.0ms (0.8%)

rewrite113.0ms (1.5%)

eval67.0ms (0.9%)

prune13.0ms (0.2%)

sample0.0ms (0.0%)

series61.0ms (0.8%)

rewrite109.0ms (1.5%)

eval61.0ms (0.8%)

prune9.0ms (0.1%)

sample0.0ms (0.0%)

series22.0ms (0.3%)

rewrite134.0ms (1.8%)

eval11.0ms (0.2%)

prune5.0ms (0.1%)

regimes5.2s (69.9%)

bsearch85.0ms (1.1%)

bsearch1.0ms (0.0%)

bsearch0.0ms (0.0%)

bsearch0.0ms (0.0%)

derivations19.0ms (0.3%)

preprocess93.0ms (1.2%)

end0.0ms (0.0%)

Profiling