Metrics for Language.Haskell.HsColour.ColourHighlight:unbase from hscolour-1.23

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

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

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
100%	99.8%	0%	0.2%	0%	0%	0%	1

Compiler

Compiled 11 to 10 computations (9.1% saved)

sample698.0ms (11.6%)

Memory

50.1MiB live, 759.4MiB allocated; 156ms collecting garbage

Samples

410.0ms

8 256×

valid

Precisions

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

ival-mult!: 140.0ms (75.5% of total)

ival-add!: 44.0ms (23.7% of total)

adjust: 1.0ms (0.5% of total)

Bogosity

preprocess83.0ms (1.4%)

Memory

-40.0MiB live, 50.0MiB allocated; 11ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	51	151
1	102	140
2	260	139
3	787	139
4	1547	139
5	1998	139
6	2661	139
7	3167	139
8	6248	139

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.9%	(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)

Compiler

Compiled 16 to 16 computations (0% saved)

series10.0ms (0.2%)

Memory

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

Counts

8 → 33

Calls

Call 1

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

Outputs
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (+ t (* y z))))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (+ t (+ (* x (pow y 2)) (* y z)))))
#s(approx (* (+ (* x y) z) y) #s(hole binary64 (* y z)))
#s(approx (* (+ (* x y) z) y) #s(hole binary64 (+ (* x (pow y 2)) (* y z))))
#s(approx (+ (* x y) z) #s(hole binary64 z))
#s(approx (+ (* x y) z) #s(hole binary64 (+ z (* x y))))
#s(approx (* x y) #s(hole binary64 (* x y)))
#s(approx x #s(hole binary64 x))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (* x (pow y 2))))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (* x (+ (/ t x) (+ (/ (* y z) x) (pow y 2))))))
#s(approx (* (+ (* x y) z) y) #s(hole binary64 (* x (+ (/ (* y z) x) (pow y 2)))))
#s(approx (+ (* x y) z) #s(hole binary64 (* x (+ y (/ z x)))))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (* -1 (* x (+ (* -1 (/ (+ t (* y z)) x)) (* -1 (pow y 2)))))))
#s(approx (* (+ (* x y) z) y) #s(hole binary64 (* -1 (* x (+ (* -1 (/ (* y z) x)) (* -1 (pow y 2)))))))
#s(approx (+ (* x y) z) #s(hole binary64 (* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 t))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (+ t (* y (+ z (* x y))))))
#s(approx (* (+ (* x y) z) y) #s(hole binary64 (* y (+ z (* x y)))))
#s(approx y #s(hole binary64 y))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (* (pow y 2) (+ x (/ z y)))))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (* (pow y 2) (+ x (+ (/ t (pow y 2)) (/ z y))))))
#s(approx (+ (* x y) z) #s(hole binary64 (* y (+ x (/ z y)))))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (* (pow y 2) (+ x (* -1 (/ (+ (* -1 z) (* -1 (/ t y))) y))))))
#s(approx (+ (* x y) z) #s(hole binary64 (* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (+ t (* x (pow y 2)))))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (* z (+ y (+ (/ t z) (/ (* x (pow y 2)) z))))))
#s(approx (* (+ (* x y) z) y) #s(hole binary64 (* z (+ y (/ (* x (pow y 2)) z)))))
#s(approx (+ (* x y) z) #s(hole binary64 (* z (+ 1 (/ (* x y) z)))))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (* -1 (* z (+ (* -1 y) (* -1 (/ (+ t (* x (pow y 2))) z)))))))
#s(approx (* (+ (* x y) z) y) #s(hole binary64 (* -1 (* z (+ (* -1 y) (* -1 (/ (* x (pow y 2)) z)))))))
#s(approx (+ (* x y) z) #s(hole binary64 (* -1 (* z (- (* -1 (/ (* x y) z)) 1)))))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (* t (+ 1 (/ (* y (+ z (* x y))) t)))))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (* -1 (* t (- (* -1 (/ (* y (+ z (* x y))) t)) 1)))))

Calls

12 calls:

Time	Variable		Point	Expression
1.0ms	y	@	inf	((+ (* (+ (* x y) z) y) t) (* (+ (* x y) z) y) (+ (* x y) z) (* x y) x y z t)
1.0ms	y	@	-inf	((+ (* (+ (* x y) z) y) t) (* (+ (* x y) z) y) (+ (* x y) z) (* x y) x y z t)
1.0ms	x	@	-inf	((+ (* (+ (* x y) z) y) t) (* (+ (* x y) z) y) (+ (* x y) z) (* x y) x y z t)
1.0ms	x	@	inf	((+ (* (+ (* x y) z) y) t) (* (+ (* x y) z) y) (+ (* x y) z) (* x y) x y z t)
1.0ms	x	@	0	((+ (* (+ (* x y) z) y) t) (* (+ (* x y) z) y) (+ (* x y) z) (* x y) x y z t)

rewrite208.0ms (3.5%)

Memory

11.1MiB live, 152.2MiB allocated; 26ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	133	617
0	138	591
1	782	569
0	7086	497

Stop Event

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

Counts

41 → 127

Calls

Call 1

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

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

eval14.0ms (0.2%)

Memory: -14.1MiB live, 31.3MiB allocated; 8ms collecting garbage
Compiler: Compiled 1 158 to 417 computations (64% saved)

prune5.0ms (0.1%)

Memory

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

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	112	7	119
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	113	7	120

Accuracy

100.0%

Counts

120 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.9%	(fma.f64 (fma.f64 y x z) y t)
	61.2%	(+.f64 (/.f64 (.f64 (.f64 (fma.f64 y x z) (-.f64 (.f64 y x) z)) y) (-.f64 (.f64 y x) z)) t)
	95.5%	(+.f64 (.f64 #s(approx (+ ( x y) z) (fma.f64 (/.f64 (*.f64 y x) z) z z)) y) t)
▶	72.8%	#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 (*.f64 y y) x t))
▶	67.0%	#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 z y t))
▶	36.8%	#s(approx (+ (* (+ (* x y) z) y) t) (.f64 (.f64 y y) x))
▶	38.4%	#s(approx (+ (* (+ (* x y) z) y) t) t)

Compiler

Compiled 144 to 140 computations (2.8% saved)

series21.0ms (0.3%)

Memory

3.8MiB live, 59.2MiB allocated; 11ms collecting garbage

Counts

14 → 40

Calls

Call 1

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

Outputs
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (+ t (* y z))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (+ t (+ (* x (pow y 2)) (* y z)))))
#s(approx (+ (* y x) z) #s(hole binary64 z))
#s(approx (+ (* y x) z) #s(hole binary64 (+ z (* x y))))
#s(approx x #s(hole binary64 x))
#s(approx (* (* y y) x) #s(hole binary64 (* x (pow y 2))))
#s(approx (+ (* (* y y) x) t) #s(hole binary64 t))
#s(approx (+ (* (* y y) x) t) #s(hole binary64 (+ t (* x (pow y 2)))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (* x (+ (/ t x) (+ (/ (* y z) x) (pow y 2))))))
#s(approx (+ (* y x) z) #s(hole binary64 (* x y)))
#s(approx (+ (* y x) z) #s(hole binary64 (* x (+ y (/ z x)))))
#s(approx (+ (* (* y y) x) t) #s(hole binary64 (* x (+ (/ t x) (pow y 2)))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (* -1 (* x (+ (* -1 (/ (+ t (* y z)) x)) (* -1 (pow y 2)))))))
#s(approx (+ (* y x) z) #s(hole binary64 (* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))))
#s(approx (+ (* (* y y) x) t) #s(hole binary64 (* -1 (* x (+ (* -1 (/ t x)) (* -1 (pow y 2)))))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (+ t (* y (+ z (* x y))))))
#s(approx y #s(hole binary64 y))
#s(approx (* y y) #s(hole binary64 (pow y 2)))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (* (pow y 2) (+ x (/ z y)))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (* (pow y 2) (+ x (+ (/ t (pow y 2)) (/ z y))))))
#s(approx (+ (* y x) z) #s(hole binary64 (* y (+ x (/ z y)))))
#s(approx (+ (* z y) t) #s(hole binary64 (* y z)))
#s(approx (+ (* z y) t) #s(hole binary64 (* y (+ z (/ t y)))))
#s(approx (+ (* (* y y) x) t) #s(hole binary64 (* (pow y 2) (+ x (/ t (pow y 2))))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (* (pow y 2) (+ x (* -1 (/ (+ (* -1 z) (* -1 (/ t y))) y))))))
#s(approx (+ (* y x) z) #s(hole binary64 (* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))))
#s(approx (+ (* z y) t) #s(hole binary64 (* -1 (* y (+ (* -1 z) (* -1 (/ t y)))))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (* z (+ y (+ (/ t z) (/ (* x (pow y 2)) z))))))
#s(approx (+ (* y x) z) #s(hole binary64 (* z (+ 1 (/ (* x y) z)))))
#s(approx (+ (* z y) t) #s(hole binary64 (* z (+ y (/ t z)))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (* -1 (* z (+ (* -1 y) (* -1 (/ (+ t (* x (pow y 2))) z)))))))
#s(approx (+ (* y x) z) #s(hole binary64 (* -1 (* z (- (* -1 (/ (* x y) z)) 1)))))
#s(approx (+ (* z y) t) #s(hole binary64 (* -1 (* z (+ (* -1 y) (* -1 (/ t z)))))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (* y (+ z (* x y)))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (* t (+ 1 (/ (* y (+ z (* x y))) t)))))
#s(approx (+ (* z y) t) #s(hole binary64 (* t (+ 1 (/ (* y z) t)))))
#s(approx (+ (* (* y y) x) t) #s(hole binary64 (* t (+ 1 (/ (* x (pow y 2)) t)))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (* -1 (* t (- (* -1 (/ (* y (+ z (* x y))) t)) 1)))))
#s(approx (+ (* z y) t) #s(hole binary64 (* -1 (* t (- (* -1 (/ (* y z) t)) 1)))))
#s(approx (+ (* (* y y) x) t) #s(hole binary64 (* -1 (* t (- (* -1 (/ (* x (pow y 2)) t)) 1)))))

Calls

12 calls:

Time	Variable		Point	Expression
9.0ms	y	@	-inf	((+ (* (+ (* y x) z) y) t) (+ (* y x) z) y x z t (+ (* (+ (* x y) z) y) t) (+ (* (+ (* x y) z) y) t) (+ (* z y) t) (+ (* (+ (* x y) z) y) t) (* (* y y) x) (* y y) (+ (* (+ (* x y) z) y) t) (+ (* (* y y) x) t))
2.0ms	y	@	0	((+ (* (+ (* y x) z) y) t) (+ (* y x) z) y x z t (+ (* (+ (* x y) z) y) t) (+ (* (+ (* x y) z) y) t) (+ (* z y) t) (+ (* (+ (* x y) z) y) t) (* (* y y) x) (* y y) (+ (* (+ (* x y) z) y) t) (+ (* (* y y) x) t))
1.0ms	y	@	inf	((+ (* (+ (* y x) z) y) t) (+ (* y x) z) y x z t (+ (* (+ (* x y) z) y) t) (+ (* (+ (* x y) z) y) t) (+ (* z y) t) (+ (* (+ (* x y) z) y) t) (* (* y y) x) (* y y) (+ (* (+ (* x y) z) y) t) (+ (* (* y y) x) t))
1.0ms	x	@	-inf	((+ (* (+ (* y x) z) y) t) (+ (* y x) z) y x z t (+ (* (+ (* x y) z) y) t) (+ (* (+ (* x y) z) y) t) (+ (* z y) t) (+ (* (+ (* x y) z) y) t) (* (* y y) x) (* y y) (+ (* (+ (* x y) z) y) t) (+ (* (* y y) x) t))
1.0ms	x	@	inf	((+ (* (+ (* y x) z) y) t) (+ (* y x) z) y x z t (+ (* (+ (* x y) z) y) t) (+ (* (+ (* x y) z) y) t) (+ (* z y) t) (+ (* (+ (* x y) z) y) t) (* (* y y) x) (* y y) (+ (* (+ (* x y) z) y) t) (+ (* (* y y) x) t))

rewrite153.0ms (2.5%)

Memory

28.0MiB live, 296.7MiB allocated; 50ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	176	724
0	183	660
1	1030	650
0	8723	638

Stop Event

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

Counts

54 → 187

Calls

Call 1

Inputs
(fma.f64 (fma.f64 y x z) y t)
(fma.f64 y x z)
y
x
z
t
#s(approx (+ (* (+ (* x y) z) y) t) t)
#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 z y t))
(fma.f64 z y t)
#s(approx (+ (* (+ (* x y) z) y) t) (.f64 (.f64 y y) x))
(.f64 (.f64 y y) x)
(*.f64 y y)
#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 (*.f64 y y) x t))
(fma.f64 (*.f64 y y) x t)
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (+ t (* y z))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (+ t (+ (* x (pow y 2)) (* y z)))))
#s(approx (+ (* y x) z) #s(hole binary64 z))
#s(approx (+ (* y x) z) #s(hole binary64 (+ z (* x y))))
#s(approx x #s(hole binary64 x))
#s(approx (* (* y y) x) #s(hole binary64 (* x (pow y 2))))
#s(approx (+ (* (* y y) x) t) #s(hole binary64 t))
#s(approx (+ (* (* y y) x) t) #s(hole binary64 (+ t (* x (pow y 2)))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (* x (+ (/ t x) (+ (/ (* y z) x) (pow y 2))))))
#s(approx (+ (* y x) z) #s(hole binary64 (* x y)))
#s(approx (+ (* y x) z) #s(hole binary64 (* x (+ y (/ z x)))))
#s(approx (+ (* (* y y) x) t) #s(hole binary64 (* x (+ (/ t x) (pow y 2)))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (* -1 (* x (+ (* -1 (/ (+ t (* y z)) x)) (* -1 (pow y 2)))))))
#s(approx (+ (* y x) z) #s(hole binary64 (* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))))
#s(approx (+ (* (* y y) x) t) #s(hole binary64 (* -1 (* x (+ (* -1 (/ t x)) (* -1 (pow y 2)))))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (+ t (* y (+ z (* x y))))))
#s(approx y #s(hole binary64 y))
#s(approx (* y y) #s(hole binary64 (pow y 2)))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (* (pow y 2) (+ x (/ z y)))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (* (pow y 2) (+ x (+ (/ t (pow y 2)) (/ z y))))))
#s(approx (+ (* y x) z) #s(hole binary64 (* y (+ x (/ z y)))))
#s(approx (+ (* z y) t) #s(hole binary64 (* y z)))
#s(approx (+ (* z y) t) #s(hole binary64 (* y (+ z (/ t y)))))
#s(approx (+ (* (* y y) x) t) #s(hole binary64 (* (pow y 2) (+ x (/ t (pow y 2))))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (* (pow y 2) (+ x (* -1 (/ (+ (* -1 z) (* -1 (/ t y))) y))))))
#s(approx (+ (* y x) z) #s(hole binary64 (* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))))
#s(approx (+ (* z y) t) #s(hole binary64 (* -1 (* y (+ (* -1 z) (* -1 (/ t y)))))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (* z (+ y (+ (/ t z) (/ (* x (pow y 2)) z))))))
#s(approx (+ (* y x) z) #s(hole binary64 (* z (+ 1 (/ (* x y) z)))))
#s(approx (+ (* z y) t) #s(hole binary64 (* z (+ y (/ t z)))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (* -1 (* z (+ (* -1 y) (* -1 (/ (+ t (* x (pow y 2))) z)))))))
#s(approx (+ (* y x) z) #s(hole binary64 (* -1 (* z (- (* -1 (/ (* x y) z)) 1)))))
#s(approx (+ (* z y) t) #s(hole binary64 (* -1 (* z (+ (* -1 y) (* -1 (/ t z)))))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (* y (+ z (* x y)))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (* t (+ 1 (/ (* y (+ z (* x y))) t)))))
#s(approx (+ (* z y) t) #s(hole binary64 (* t (+ 1 (/ (* y z) t)))))
#s(approx (+ (* (* y y) x) t) #s(hole binary64 (* t (+ 1 (/ (* x (pow y 2)) t)))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (* -1 (* t (- (* -1 (/ (* y (+ z (* x y))) t)) 1)))))
#s(approx (+ (* z y) t) #s(hole binary64 (* -1 (* t (- (* -1 (/ (* y z) t)) 1)))))
#s(approx (+ (* (* y y) x) t) #s(hole binary64 (* -1 (* t (- (* -1 (/ (* x (pow y 2)) t)) 1)))))

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

eval3.8s (63.8%)

Memory: -387.5MiB live, 83.6MiB allocated; 4.6s collecting garbage
Compiler: Compiled 1 650 to 660 computations (60% saved)

prune9.0ms (0.2%)

Memory

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

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	198	7	205
Fresh	2	0	2
Picked	2	3	5
Done	0	0	0
Total	202	10	212

Accuracy

100.0%

Counts

212 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
	64.5%	(fma.f64 (/.f64 (.f64 (fma.f64 x y z) (-.f64 (.f64 x y) z)) (-.f64 (*.f64 x y) z)) y t)
▶	95.5%	(fma.f64 #s(approx (+ (* y x) z) (fma.f64 (/.f64 (*.f64 x y) z) z z)) y t)
▶	74.6%	(fma.f64 #s(approx (+ (* y x) z) (*.f64 x y)) y t)
✓	67.0%	#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 z y t))
▶	63.2%	#s(approx (+ (* (+ (* x y) z) y) t) (*.f64 (fma.f64 x y z) y))
✓	36.8%	#s(approx (+ (* (+ (* x y) z) y) t) (.f64 (.f64 y y) x))
▶	38.3%	#s(approx (+ (* (+ (* x y) z) y) t) (.f64 (.f64 x y) y))
	68.4%	#s(approx (+ (* (+ (* x y) z) y) t) #s(approx (+ (* (* y y) x) t) (.f64 (neg.f64 (fma.f64 (neg.f64 x) (/.f64 (.f64 y y) t) #s(literal -1 binary64))) t)))
▶	30.8%	#s(approx (+ (* (+ (* x y) z) y) t) #s(approx (+ (* z y) t) (*.f64 z y)))
✓	38.4%	#s(approx (+ (* (+ (* x y) z) y) t) t)

Compiler

Compiled 204 to 200 computations (2% saved)

series26.0ms (0.4%)

Memory

-25.5MiB live, 19.8MiB allocated; 5ms collecting garbage

Counts

19 → 40

Calls

Call 1

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

Outputs
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (+ t (* y z))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (+ t (+ (* x (pow y 2)) (* y z)))))
#s(approx (+ (* y x) z) #s(hole binary64 z))
#s(approx (+ (* y x) z) #s(hole binary64 (+ z (* x y))))
#s(approx (/ (* x y) z) #s(hole binary64 (/ (* x y) z)))
#s(approx (* x y) #s(hole binary64 (* x y)))
#s(approx x #s(hole binary64 x))
#s(approx (* (* x y) y) #s(hole binary64 (* x (pow y 2))))
#s(approx (* (+ (* x y) z) y) #s(hole binary64 (* y z)))
#s(approx (* (+ (* x y) z) y) #s(hole binary64 (+ (* x (pow y 2)) (* y z))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (* x (+ (/ t x) (+ (/ (* y z) x) (pow y 2))))))
#s(approx (+ (* y x) z) #s(hole binary64 (* x (+ y (/ z x)))))
#s(approx (* (+ (* x y) z) y) #s(hole binary64 (* x (+ (/ (* y z) x) (pow y 2)))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (* -1 (* x (+ (* -1 (/ (+ t (* y z)) x)) (* -1 (pow y 2)))))))
#s(approx (+ (* y x) z) #s(hole binary64 (* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))))
#s(approx (* (+ (* x y) z) y) #s(hole binary64 (* -1 (* x (+ (* -1 (/ (* y z) x)) (* -1 (pow y 2)))))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 t))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (+ t (* y (+ z (* x y))))))
#s(approx y #s(hole binary64 y))
#s(approx (* (+ (* x y) z) y) #s(hole binary64 (* y (+ z (* x y)))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (* (pow y 2) (+ x (/ z y)))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (* (pow y 2) (+ x (+ (/ t (pow y 2)) (/ z y))))))
#s(approx (+ (* y x) z) #s(hole binary64 (* y (+ x (/ z y)))))
#s(approx (+ (* z y) t) #s(hole binary64 (* y (+ z (/ t y)))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (* (pow y 2) (+ x (* -1 (/ (+ (* -1 z) (* -1 (/ t y))) y))))))
#s(approx (+ (* y x) z) #s(hole binary64 (* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))))
#s(approx (+ (* z y) t) #s(hole binary64 (* -1 (* y (+ (* -1 z) (* -1 (/ t y)))))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (+ t (* x (pow y 2)))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (* z (+ y (+ (/ t z) (/ (* x (pow y 2)) z))))))
#s(approx (+ (* y x) z) #s(hole binary64 (* z (+ 1 (/ (* x y) z)))))
#s(approx (+ (* z y) t) #s(hole binary64 (* z (+ y (/ t z)))))
#s(approx (* (+ (* x y) z) y) #s(hole binary64 (* z (+ y (/ (* x (pow y 2)) z)))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (* -1 (* z (+ (* -1 y) (* -1 (/ (+ t (* x (pow y 2))) z)))))))
#s(approx (+ (* y x) z) #s(hole binary64 (* -1 (* z (- (* -1 (/ (* x y) z)) 1)))))
#s(approx (+ (* z y) t) #s(hole binary64 (* -1 (* z (+ (* -1 y) (* -1 (/ t z)))))))
#s(approx (* (+ (* x y) z) y) #s(hole binary64 (* -1 (* z (+ (* -1 y) (* -1 (/ (* x (pow y 2)) z)))))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (* t (+ 1 (/ (* y (+ z (* x y))) t)))))
#s(approx (+ (* z y) t) #s(hole binary64 (* t (+ 1 (/ (* y z) t)))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (* -1 (* t (- (* -1 (/ (* y (+ z (* x y))) t)) 1)))))
#s(approx (+ (* z y) t) #s(hole binary64 (* -1 (* t (- (* -1 (/ (* y z) t)) 1)))))

Calls

12 calls:

Time	Variable		Point	Expression
11.0ms	x	@	-inf	((+ (* (+ (* y x) z) y) t) (+ (* y x) z) (+ (* (/ (* x y) z) z) z) (/ (* x y) z) (* x y) x y z t (+ (* (+ (* x y) z) y) t) (+ (* z y) t) (* z y) (+ (* (+ (* x y) z) y) t) (* (* x y) y) (+ (* (+ (* x y) z) y) t) (* (+ (* x y) z) y) (+ (* x y) z) (+ (* (+ (* y x) z) y) t) (+ (* y x) z))
2.0ms	y	@	-inf	((+ (* (+ (* y x) z) y) t) (+ (* y x) z) (+ (* (/ (* x y) z) z) z) (/ (* x y) z) (* x y) x y z t (+ (* (+ (* x y) z) y) t) (+ (* z y) t) (* z y) (+ (* (+ (* x y) z) y) t) (* (* x y) y) (+ (* (+ (* x y) z) y) t) (* (+ (* x y) z) y) (+ (* x y) z) (+ (* (+ (* y x) z) y) t) (+ (* y x) z))
2.0ms	z	@	-inf	((+ (* (+ (* y x) z) y) t) (+ (* y x) z) (+ (* (/ (* x y) z) z) z) (/ (* x y) z) (* x y) x y z t (+ (* (+ (* x y) z) y) t) (+ (* z y) t) (* z y) (+ (* (+ (* x y) z) y) t) (* (* x y) y) (+ (* (+ (* x y) z) y) t) (* (+ (* x y) z) y) (+ (* x y) z) (+ (* (+ (* y x) z) y) t) (+ (* y x) z))
2.0ms	y	@	inf	((+ (* (+ (* y x) z) y) t) (+ (* y x) z) (+ (* (/ (* x y) z) z) z) (/ (* x y) z) (* x y) x y z t (+ (* (+ (* x y) z) y) t) (+ (* z y) t) (* z y) (+ (* (+ (* x y) z) y) t) (* (* x y) y) (+ (* (+ (* x y) z) y) t) (* (+ (* x y) z) y) (+ (* x y) z) (+ (* (+ (* y x) z) y) t) (+ (* y x) z))
1.0ms	x	@	inf	((+ (* (+ (* y x) z) y) t) (+ (* y x) z) (+ (* (/ (* x y) z) z) z) (/ (* x y) z) (* x y) x y z t (+ (* (+ (* x y) z) y) t) (+ (* z y) t) (* z y) (+ (* (+ (* x y) z) y) t) (* (* x y) y) (+ (* (+ (* x y) z) y) t) (* (+ (* x y) z) y) (+ (* x y) z) (+ (* (+ (* y x) z) y) t) (+ (* y x) z))

rewrite160.0ms (2.7%)

Memory

14.0MiB live, 105.6MiB allocated; 5ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	175	833
0	191	754
1	1027	739
0	8538	697

Stop Event

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

Counts

59 → 179

Calls

Call 1

Inputs
(fma.f64 #s(approx (+ (* y x) z) (fma.f64 (/.f64 (*.f64 x y) z) z z)) y t)
#s(approx (+ (* y x) z) (fma.f64 (/.f64 (*.f64 x y) z) z z))
(fma.f64 (/.f64 (*.f64 x y) z) z z)
(/.f64 (*.f64 x y) z)
(*.f64 x y)
x
y
z
t
#s(approx (+ (* (+ (* x y) z) y) t) #s(approx (+ (* z y) t) (*.f64 z y)))
#s(approx (+ (* z y) t) (*.f64 z y))
(*.f64 z y)
#s(approx (+ (* (+ (* x y) z) y) t) (.f64 (.f64 x y) y))
(.f64 (.f64 x y) y)
#s(approx (+ (* (+ (* x y) z) y) t) (*.f64 (fma.f64 x y z) y))
(*.f64 (fma.f64 x y z) y)
(fma.f64 x y z)
(fma.f64 #s(approx (+ (* y x) z) (*.f64 x y)) y t)
#s(approx (+ (* y x) z) (*.f64 x y))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (+ t (* y z))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (+ t (+ (* x (pow y 2)) (* y z)))))
#s(approx (+ (* y x) z) #s(hole binary64 z))
#s(approx (+ (* y x) z) #s(hole binary64 (+ z (* x y))))
#s(approx (/ (* x y) z) #s(hole binary64 (/ (* x y) z)))
#s(approx (* x y) #s(hole binary64 (* x y)))
#s(approx x #s(hole binary64 x))
#s(approx (* (* x y) y) #s(hole binary64 (* x (pow y 2))))
#s(approx (* (+ (* x y) z) y) #s(hole binary64 (* y z)))
#s(approx (* (+ (* x y) z) y) #s(hole binary64 (+ (* x (pow y 2)) (* y z))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (* x (+ (/ t x) (+ (/ (* y z) x) (pow y 2))))))
#s(approx (+ (* y x) z) #s(hole binary64 (* x (+ y (/ z x)))))
#s(approx (* (+ (* x y) z) y) #s(hole binary64 (* x (+ (/ (* y z) x) (pow y 2)))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (* -1 (* x (+ (* -1 (/ (+ t (* y z)) x)) (* -1 (pow y 2)))))))
#s(approx (+ (* y x) z) #s(hole binary64 (* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))))
#s(approx (* (+ (* x y) z) y) #s(hole binary64 (* -1 (* x (+ (* -1 (/ (* y z) x)) (* -1 (pow y 2)))))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 t))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (+ t (* y (+ z (* x y))))))
#s(approx y #s(hole binary64 y))
#s(approx (* (+ (* x y) z) y) #s(hole binary64 (* y (+ z (* x y)))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (* (pow y 2) (+ x (/ z y)))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (* (pow y 2) (+ x (+ (/ t (pow y 2)) (/ z y))))))
#s(approx (+ (* y x) z) #s(hole binary64 (* y (+ x (/ z y)))))
#s(approx (+ (* z y) t) #s(hole binary64 (* y (+ z (/ t y)))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (* (pow y 2) (+ x (* -1 (/ (+ (* -1 z) (* -1 (/ t y))) y))))))
#s(approx (+ (* y x) z) #s(hole binary64 (* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))))
#s(approx (+ (* z y) t) #s(hole binary64 (* -1 (* y (+ (* -1 z) (* -1 (/ t y)))))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (+ t (* x (pow y 2)))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (* z (+ y (+ (/ t z) (/ (* x (pow y 2)) z))))))
#s(approx (+ (* y x) z) #s(hole binary64 (* z (+ 1 (/ (* x y) z)))))
#s(approx (+ (* z y) t) #s(hole binary64 (* z (+ y (/ t z)))))
#s(approx (* (+ (* x y) z) y) #s(hole binary64 (* z (+ y (/ (* x (pow y 2)) z)))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (* -1 (* z (+ (* -1 y) (* -1 (/ (+ t (* x (pow y 2))) z)))))))
#s(approx (+ (* y x) z) #s(hole binary64 (* -1 (* z (- (* -1 (/ (* x y) z)) 1)))))
#s(approx (+ (* z y) t) #s(hole binary64 (* -1 (* z (+ (* -1 y) (* -1 (/ t z)))))))
#s(approx (* (+ (* x y) z) y) #s(hole binary64 (* -1 (* z (+ (* -1 y) (* -1 (/ (* x (pow y 2)) z)))))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (* t (+ 1 (/ (* y (+ z (* x y))) t)))))
#s(approx (+ (* z y) t) #s(hole binary64 (* t (+ 1 (/ (* y z) t)))))
#s(approx (+ (* (+ (* y x) z) y) t) #s(hole binary64 (* -1 (* t (- (* -1 (/ (* y (+ z (* x y))) t)) 1)))))
#s(approx (+ (* z y) t) #s(hole binary64 (* -1 (* t (- (* -1 (/ (* y z) t)) 1)))))

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

eval55.0ms (0.9%)

Memory: -1.9MiB live, 47.7MiB allocated; 14ms collecting garbage
Compiler: Compiled 1 829 to 656 computations (64.1% saved)

prune5.0ms (0.1%)

Memory

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

Pruning

8 alts after pruning (1 fresh and 7 done)

	Pruned	Kept	Total
New	162	1	163
Fresh	2	0	2
Picked	1	4	5
Done	0	3	3
Total	165	8	173

Accuracy

100.0%

Counts

173 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	74.6%	(fma.f64 #s(approx (+ (* y x) z) (*.f64 x y)) y t)
✓	67.0%	#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 z y t))
✓	63.2%	#s(approx (+ (* (+ (* x y) z) y) t) (*.f64 (fma.f64 x y z) y))
✓	36.8%	#s(approx (+ (* (+ (* x y) z) y) t) (.f64 (.f64 y y) x))
✓	38.3%	#s(approx (+ (* (+ (* x y) z) y) t) (.f64 (.f64 x y) y))
✓	30.8%	#s(approx (+ (* (+ (* x y) z) y) t) #s(approx (+ (* z y) t) (*.f64 z y)))
▶	58.1%	#s(approx (+ (* (+ (* x y) z) y) t) #s(approx (* (+ (* x y) z) y) (.f64 (fma.f64 y (/.f64 (.f64 x y) z) y) z)))
✓	38.4%	#s(approx (+ (* (+ (* x y) z) y) t) t)

Compiler

Compiled 91 to 88 computations (3.3% saved)

series19.0ms (0.3%)

Memory

0.7MiB live, 45.6MiB allocated; 5ms collecting garbage

Counts

9 → 34

Calls

Call 1

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

Outputs
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (+ t (* y z))))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (+ t (+ (* x (pow y 2)) (* y z)))))
#s(approx (* (+ (* x y) z) y) #s(hole binary64 (* y z)))
#s(approx (* (+ (* x y) z) y) #s(hole binary64 (+ (* x (pow y 2)) (* y z))))
#s(approx (+ (* y (/ (* x y) z)) y) #s(hole binary64 y))
#s(approx (+ (* y (/ (* x y) z)) y) #s(hole binary64 (+ y (/ (* x (pow y 2)) z))))
#s(approx (/ (* x y) z) #s(hole binary64 (/ (* x y) z)))
#s(approx (* x y) #s(hole binary64 (* x y)))
#s(approx x #s(hole binary64 x))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (* x (pow y 2))))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (* x (+ (/ t x) (+ (/ (* y z) x) (pow y 2))))))
#s(approx (* (+ (* x y) z) y) #s(hole binary64 (* x (+ (/ (* y z) x) (pow y 2)))))
#s(approx (+ (* y (/ (* x y) z)) y) #s(hole binary64 (/ (* x (pow y 2)) z)))
#s(approx (+ (* y (/ (* x y) z)) y) #s(hole binary64 (* x (+ (/ y x) (/ (pow y 2) z)))))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (* -1 (* x (+ (* -1 (/ (+ t (* y z)) x)) (* -1 (pow y 2)))))))
#s(approx (* (+ (* x y) z) y) #s(hole binary64 (* -1 (* x (+ (* -1 (/ (* y z) x)) (* -1 (pow y 2)))))))
#s(approx (+ (* y (/ (* x y) z)) y) #s(hole binary64 (* -1 (* x (+ (* -1 (/ y x)) (* -1 (/ (pow y 2) z)))))))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 t))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (+ t (* y (+ z (* x y))))))
#s(approx (* (+ (* x y) z) y) #s(hole binary64 (* y (+ z (* x y)))))
#s(approx (+ (* y (/ (* x y) z)) y) #s(hole binary64 (* y (+ 1 (/ (* x y) z)))))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (* (pow y 2) (+ x (/ z y)))))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (* (pow y 2) (+ x (+ (/ t (pow y 2)) (/ z y))))))
#s(approx (+ (* y (/ (* x y) z)) y) #s(hole binary64 (* (pow y 2) (+ (/ 1 y) (/ x z)))))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (* (pow y 2) (+ x (* -1 (/ (+ (* -1 z) (* -1 (/ t y))) y))))))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (+ t (* x (pow y 2)))))
#s(approx (+ (* y (/ (* x y) z)) y) #s(hole binary64 (/ (+ (* x (pow y 2)) (* y z)) z)))
#s(approx z #s(hole binary64 z))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (* z (+ y (+ (/ t z) (/ (* x (pow y 2)) z))))))
#s(approx (* (+ (* x y) z) y) #s(hole binary64 (* z (+ y (/ (* x (pow y 2)) z)))))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (* -1 (* z (+ (* -1 y) (* -1 (/ (+ t (* x (pow y 2))) z)))))))
#s(approx (* (+ (* x y) z) y) #s(hole binary64 (* -1 (* z (+ (* -1 y) (* -1 (/ (* x (pow y 2)) z)))))))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (* t (+ 1 (/ (* y (+ z (* x y))) t)))))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (* -1 (* t (- (* -1 (/ (* y (+ z (* x y))) t)) 1)))))

Calls

12 calls:

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

rewrite209.0ms (3.5%)

Memory

-2.0MiB live, 367.8MiB allocated; 57ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	135	707
0	142	683
1	787	656
0	7391	594

Stop Event

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

Counts

43 → 128

Calls

Call 1

Inputs
#s(approx (+ (* (+ (* x y) z) y) t) #s(approx (* (+ (* x y) z) y) (.f64 (fma.f64 y (/.f64 (.f64 x y) z) y) z)))
#s(approx (* (+ (* x y) z) y) (.f64 (fma.f64 y (/.f64 (.f64 x y) z) y) z))
(.f64 (fma.f64 y (/.f64 (.f64 x y) z) y) z)
(fma.f64 y (/.f64 (*.f64 x y) z) y)
y
(/.f64 (*.f64 x y) z)
(*.f64 x y)
x
z
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (+ t (* y z))))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (+ t (+ (* x (pow y 2)) (* y z)))))
#s(approx (* (+ (* x y) z) y) #s(hole binary64 (* y z)))
#s(approx (* (+ (* x y) z) y) #s(hole binary64 (+ (* x (pow y 2)) (* y z))))
#s(approx (+ (* y (/ (* x y) z)) y) #s(hole binary64 y))
#s(approx (+ (* y (/ (* x y) z)) y) #s(hole binary64 (+ y (/ (* x (pow y 2)) z))))
#s(approx (/ (* x y) z) #s(hole binary64 (/ (* x y) z)))
#s(approx (* x y) #s(hole binary64 (* x y)))
#s(approx x #s(hole binary64 x))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (* x (pow y 2))))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (* x (+ (/ t x) (+ (/ (* y z) x) (pow y 2))))))
#s(approx (* (+ (* x y) z) y) #s(hole binary64 (* x (+ (/ (* y z) x) (pow y 2)))))
#s(approx (+ (* y (/ (* x y) z)) y) #s(hole binary64 (/ (* x (pow y 2)) z)))
#s(approx (+ (* y (/ (* x y) z)) y) #s(hole binary64 (* x (+ (/ y x) (/ (pow y 2) z)))))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (* -1 (* x (+ (* -1 (/ (+ t (* y z)) x)) (* -1 (pow y 2)))))))
#s(approx (* (+ (* x y) z) y) #s(hole binary64 (* -1 (* x (+ (* -1 (/ (* y z) x)) (* -1 (pow y 2)))))))
#s(approx (+ (* y (/ (* x y) z)) y) #s(hole binary64 (* -1 (* x (+ (* -1 (/ y x)) (* -1 (/ (pow y 2) z)))))))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 t))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (+ t (* y (+ z (* x y))))))
#s(approx (* (+ (* x y) z) y) #s(hole binary64 (* y (+ z (* x y)))))
#s(approx (+ (* y (/ (* x y) z)) y) #s(hole binary64 (* y (+ 1 (/ (* x y) z)))))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (* (pow y 2) (+ x (/ z y)))))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (* (pow y 2) (+ x (+ (/ t (pow y 2)) (/ z y))))))
#s(approx (+ (* y (/ (* x y) z)) y) #s(hole binary64 (* (pow y 2) (+ (/ 1 y) (/ x z)))))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (* (pow y 2) (+ x (* -1 (/ (+ (* -1 z) (* -1 (/ t y))) y))))))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (+ t (* x (pow y 2)))))
#s(approx (+ (* y (/ (* x y) z)) y) #s(hole binary64 (/ (+ (* x (pow y 2)) (* y z)) z)))
#s(approx z #s(hole binary64 z))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (* z (+ y (+ (/ t z) (/ (* x (pow y 2)) z))))))
#s(approx (* (+ (* x y) z) y) #s(hole binary64 (* z (+ y (/ (* x (pow y 2)) z)))))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (* -1 (* z (+ (* -1 y) (* -1 (/ (+ t (* x (pow y 2))) z)))))))
#s(approx (* (+ (* x y) z) y) #s(hole binary64 (* -1 (* z (+ (* -1 y) (* -1 (/ (* x (pow y 2)) z)))))))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (* t (+ 1 (/ (* y (+ z (* x y))) t)))))
#s(approx (+ (* (+ (* x y) z) y) t) #s(hole binary64 (* -1 (* t (- (* -1 (/ (* y (+ z (* x y))) t)) 1)))))

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

eval22.0ms (0.4%)

Memory: 4.4MiB live, 48.3MiB allocated; 13ms collecting garbage
Compiler: Compiled 1 287 to 587 computations (54.4% saved)

prune15.0ms (0.3%)

Memory

-10.9MiB live, 32.8MiB allocated; 10ms collecting garbage

Pruning

8 alts after pruning (1 fresh and 7 done)

	Pruned	Kept	Total
New	114	1	115
Fresh	0	0	0
Picked	1	0	1
Done	0	7	7
Total	115	8	123

Accuracy

100.0%

Counts

123 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	74.6%	(fma.f64 #s(approx (+ (* y x) z) (*.f64 x y)) y t)
✓	67.0%	#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 z y t))
✓	63.2%	#s(approx (+ (* (+ (* x y) z) y) t) (*.f64 (fma.f64 x y z) y))
✓	36.8%	#s(approx (+ (* (+ (* x y) z) y) t) (.f64 (.f64 y y) x))
✓	38.3%	#s(approx (+ (* (+ (* x y) z) y) t) (.f64 (.f64 x y) y))
✓	30.8%	#s(approx (+ (* (+ (* x y) z) y) t) #s(approx (+ (* z y) t) (*.f64 z y)))
	33.2%	#s(approx (+ (* (+ (* x y) z) y) t) #s(approx (* (+ (* x y) z) y) (.f64 #s(approx (+ ( y (/ (* x y) z)) y) (.f64 (/.f64 (.f64 y x) z) y)) z)))
✓	38.4%	#s(approx (+ (* (+ (* x y) z) y) t) t)

Compiler

Compiled 215 to 170 computations (20.9% saved)

regimes65.0ms (1.1%)

Memory

-26.8MiB live, 95.4MiB allocated; 47ms collecting garbage

Counts

17 → 1

Calls

Call 1

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

Outputs
(fma.f64 (fma.f64 y x z) y t)

Calls

6 calls:

37.0ms	y
7.0ms	(.f64 (+.f64 (.f64 x y) z) y)
5.0ms	t
5.0ms	z
5.0ms	x

Results

Accuracy	Segments	Branch
99.9%	1	`(.f64 (+.f64 (.f64 x y) z) y)`
99.9%	1	`(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)`
99.9%	1	`x`
99.9%	1	`y`
99.9%	1	`z`
99.9%	1	`t`

Compiler

Compiled 18 to 31 computations (-72.2% saved)

regimes20.0ms (0.3%)

Memory

11.1MiB live, 54.5MiB allocated; 4ms collecting garbage

Counts

8 → 3

Calls

Call 1

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

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

Calls

6 calls:

5.0ms	(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)
3.0ms	t
3.0ms	z
3.0ms	y
3.0ms	x

Results

Accuracy	Segments	Branch
92.2%	3	`(.f64 (+.f64 (.f64 x y) z) y)`
86.4%	4	`(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)`
85.3%	3	`x`
90.2%	3	`y`
90.7%	3	`z`
88.1%	3	`t`

Compiler

Compiled 18 to 31 computations (-72.2% saved)

regimes16.0ms (0.3%)

Memory

-4.4MiB live, 41.0MiB allocated; 4ms collecting garbage

Counts

5 → 3

Calls

Call 1

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

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

Calls

6 calls:

5.0ms	(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)
2.0ms	z
2.0ms	t
2.0ms	y
2.0ms	x

Results

Accuracy	Segments	Branch
81.5%	3	`(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)`
78.4%	5	`x`
71.7%	3	`t`
82.7%	3	`y`
70.4%	3	`z`
83.2%	3	`(.f64 (+.f64 (.f64 x y) z) y)`

Compiler

Compiled 18 to 31 computations (-72.2% saved)

regimes4.0ms (0.1%)

Memory

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

Counts

4 → 3

Calls

Call 1

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

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

Calls

2 calls:

2.0ms	y
2.0ms	(.f64 (+.f64 (.f64 x y) z) y)

Results

Accuracy	Segments	Branch
82.7%	3	`y`
82.1%	3	`(.f64 (+.f64 (.f64 x y) z) y)`

Compiler

Compiled 7 to 11 computations (-57.1% saved)

regimes28.0ms (0.5%)

Memory

-5.3MiB live, 41.3MiB allocated; 22ms collecting garbage

Counts

3 → 1

Calls

Call 1

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

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

Calls

6 calls:

20.0ms	t
2.0ms	z
2.0ms	y
2.0ms	x
1.0ms	(.f64 (+.f64 (.f64 x y) z) y)

Results

Accuracy	Segments	Branch
67.0%	1	`z`
67.0%	1	`t`
67.0%	1	`x`
67.0%	1	`(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)`
67.0%	1	`(.f64 (+.f64 (.f64 x y) z) y)`
67.0%	1	`y`

Compiler

Compiled 18 to 31 computations (-72.2% saved)

regimes17.0ms (0.3%)

Memory

-5.5MiB live, 37.6MiB allocated; 11ms collecting garbage

Counts

2 → 3

Calls

Call 1

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

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

Calls

6 calls:

11.0ms	t
1.0ms	z
1.0ms	y
1.0ms	(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)
1.0ms	x

Results

Accuracy	Segments	Branch
54.2%	3	`t`
55.4%	3	`z`
56.6%	3	`(.f64 (+.f64 (.f64 x y) z) y)`
46.5%	3	`(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)`
51.6%	3	`y`
38.4%	1	`x`

Compiler

Compiled 18 to 31 computations (-72.2% saved)

regimes5.0ms (0.1%)

Memory

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

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(approx (+ (* (+ (* x y) z) y) t) t)

Outputs
#s(approx (+ (* (+ (* x y) z) y) t) t)

Calls

5 calls:

1.0ms	z
1.0ms	(.f64 (+.f64 (.f64 x y) z) y)
1.0ms	t
1.0ms	y
1.0ms	(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)

Results

Accuracy	Segments	Branch
38.4%	1	`(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)`
38.4%	1	`y`
38.4%	1	`t`
38.4%	1	`z`
38.4%	1	`(.f64 (+.f64 (.f64 x y) z) y)`

Compiler

Compiled 17 to 27 computations (-58.8% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	7.578057029844186e+95	9.935207309581135e+97
0.0ms	-4.2314618551100205e+155	-1.456410219554577e+155

Compiler

Compiled 11 to 15 computations (-36.4% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	4.560127920243806e+252	6.330556706334861e+254
0.0ms	-1.182516601487932e+306	-9.933248348072265e+302

Compiler

Compiled 11 to 15 computations (-36.4% saved)

bsearch22.0ms (0.4%)

Memory

-13.1MiB live, 33.3MiB allocated; 5ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
11.0ms	6.9383979290262e+71	1.0000475217850856e+74
9.0ms	-1.1400743331617323e+81	-7.769294017574548e+77

Samples

12.0ms

240×

valid

Compiler

Compiled 327 to 360 computations (-10.1% saved)

Precisions

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

ival-add!: 4.0ms (61.7% of total)

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

adjust: 0.0ms (0% of total)

bsearch0.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	1.3636340091786377e+52	2.389846028710226e+63
0.0ms	-4.2314618551100205e+155	-1.456410219554577e+155

Compiler

Compiled 11 to 15 computations (-36.4% saved)

derivations244.0ms (4%)

Memory

-3.1MiB live, 186.1MiB allocated; 30ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 66 to 51 computations (22.7% saved)

preprocess43.0ms (0.7%)

Memory: 47.8MiB live, 91.9MiB allocated; 6ms collecting garbage
Compiler: Compiled 74 to 59 computations (20.3% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample698.0ms (11.6%)

preprocess83.0ms (1.4%)

series10.0ms (0.2%)

rewrite208.0ms (3.5%)

eval14.0ms (0.2%)

prune5.0ms (0.1%)

series21.0ms (0.3%)

rewrite153.0ms (2.5%)

eval3.8s (63.8%)

prune9.0ms (0.2%)

series26.0ms (0.4%)

rewrite160.0ms (2.7%)

eval55.0ms (0.9%)

prune5.0ms (0.1%)

series19.0ms (0.3%)

rewrite209.0ms (3.5%)

eval22.0ms (0.4%)

prune15.0ms (0.3%)

regimes65.0ms (1.1%)

regimes20.0ms (0.3%)

regimes16.0ms (0.3%)

regimes4.0ms (0.1%)

regimes28.0ms (0.5%)

regimes17.0ms (0.3%)

regimes5.0ms (0.1%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch22.0ms (0.4%)

bsearch0.0ms (0%)

derivations244.0ms (4%)

preprocess43.0ms (0.7%)

end0.0ms (0%)

Profiling