Metrics for FastMath dist

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

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

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
100%	99.9%	0%	0.1%	0%	0%	0%	1

Compiler

Compiled 9 to 8 computations (11.1% saved)

sample727.0ms (42.4%)

Memory

-0.7MiB live, 1 087.1MiB allocated; 294ms collecting garbage

Samples

434.0ms

8 256×

valid

Precisions

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

ival-mult!: 112.0ms (83.4% of total)

ival-add!: 21.0ms (15.6% of total)

adjust: 2.0ms (1.5% of total)

Bogosity

preprocess47.0ms (2.8%)

Memory

3.2MiB live, 48.4MiB allocated; 6ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	26	55
1	93	53
2	239	51
3	372	51
4	400	51
5	404	51

Stop Event

1×

saturated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	98.4%	(+.f64 (.f64 d1 d2) (.f64 d1 d3))

Symmetry

(negabs d1)

(sort d2 d3)

Compiler

Compiled 12 to 12 computations (0% saved)

series7.0ms (0.4%)

Memory

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

Counts

6 → 12

Calls

Call 1

Inputs
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 d2)
d1
d2
(*.f64 d1 d3)
d3

Outputs
#s(approx (+ (* d1 d2) (* d1 d3)) #s(hole binary64 (* d1 (+ d2 d3))))
#s(approx (* d1 d2) #s(hole binary64 (* d1 d2)))
#s(approx d1 #s(hole binary64 d1))
#s(approx (* d1 d3) #s(hole binary64 (* d1 d3)))
#s(approx (+ (* d1 d2) (* d1 d3)) #s(hole binary64 (* -1 (* d1 (+ (* -1 d2) (* -1 d3))))))
#s(approx (+ (* d1 d2) (* d1 d3)) #s(hole binary64 (+ (* d1 d2) (* d1 d3))))
#s(approx d2 #s(hole binary64 d2))
#s(approx (+ (* d1 d2) (* d1 d3)) #s(hole binary64 (* d2 (+ d1 (/ (* d1 d3) d2)))))
#s(approx (+ (* d1 d2) (* d1 d3)) #s(hole binary64 (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))))
#s(approx d3 #s(hole binary64 d3))
#s(approx (+ (* d1 d2) (* d1 d3)) #s(hole binary64 (* d3 (+ d1 (/ (* d1 d2) d3)))))
#s(approx (+ (* d1 d2) (* d1 d3)) #s(hole binary64 (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))))

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	d1	@	-inf	((+ (* d1 d2) (* d1 d3)) (* d1 d2) d1 d2 (* d1 d3) d3)
1.0ms	d1	@	inf	((+ (* d1 d2) (* d1 d3)) (* d1 d2) d1 d2 (* d1 d3) d3)
1.0ms	d3	@	0	((+ (* d1 d2) (* d1 d3)) (* d1 d2) d1 d2 (* d1 d3) d3)
1.0ms	d1	@	0	((+ (* d1 d2) (* d1 d3)) (* d1 d2) d1 d2 (* d1 d3) d3)
1.0ms	d2	@	-inf	((+ (* d1 d2) (* d1 d3)) (* d1 d2) d1 d2 (* d1 d3) d3)

rewrite202.0ms (11.8%)

Memory

-43.7MiB live, 245.4MiB allocated; 40ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	44	166
0	45	114
1	261	114
2	2623	114
0	8297	114

Stop Event

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

Counts

18 → 287

Calls

Call 1

Inputs
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 d2)
d1
d2
(*.f64 d1 d3)
d3
#s(approx (+ (* d1 d2) (* d1 d3)) #s(hole binary64 (* d1 (+ d2 d3))))
#s(approx (* d1 d2) #s(hole binary64 (* d1 d2)))
#s(approx d1 #s(hole binary64 d1))
#s(approx (* d1 d3) #s(hole binary64 (* d1 d3)))
#s(approx (+ (* d1 d2) (* d1 d3)) #s(hole binary64 (* -1 (* d1 (+ (* -1 d2) (* -1 d3))))))
#s(approx (+ (* d1 d2) (* d1 d3)) #s(hole binary64 (+ (* d1 d2) (* d1 d3))))
#s(approx d2 #s(hole binary64 d2))
#s(approx (+ (* d1 d2) (* d1 d3)) #s(hole binary64 (* d2 (+ d1 (/ (* d1 d3) d2)))))
#s(approx (+ (* d1 d2) (* d1 d3)) #s(hole binary64 (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))))
#s(approx d3 #s(hole binary64 d3))
#s(approx (+ (* d1 d2) (* d1 d3)) #s(hole binary64 (* d3 (+ d1 (/ (* d1 d2) d3)))))
#s(approx (+ (* d1 d2) (* d1 d3)) #s(hole binary64 (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))))

Outputs
(.f64 (.f64 (neg.f64 d3) (fma.f64 d1 (/.f64 d2 (*.f64 d3 d1)) #s(literal 1 binary64))) (neg.f64 d1))
(.f64 (.f64 d3 (fma.f64 d1 (/.f64 d2 (*.f64 d3 d1)) #s(literal 1 binary64))) (neg.f64 d1))
(.f64 (.f64 d3 (fma.f64 d1 (/.f64 d2 (*.f64 d3 d1)) #s(literal 1 binary64))) d1)
(.f64 (.f64 (fma.f64 d3 (/.f64 d1 (*.f64 d2 d1)) #s(literal 1 binary64)) d2) d1)
(.f64 (.f64 (neg.f64 d1) (/.f64 (+.f64 d3 d2) d2)) (neg.f64 d2))
(.f64 (.f64 (neg.f64 d2) (fma.f64 d3 (/.f64 d1 (*.f64 d2 d1)) #s(literal 1 binary64))) (neg.f64 d1))
(.f64 (.f64 d2 (fma.f64 d3 (/.f64 d1 (*.f64 d2 d1)) #s(literal 1 binary64))) (neg.f64 d1))
(.f64 (.f64 d2 (fma.f64 d3 (/.f64 d1 (*.f64 d2 d1)) #s(literal 1 binary64))) d1)
(.f64 (.f64 (neg.f64 d2) #s(literal -1 binary64)) (fma.f64 (/.f64 d3 d2) d1 d1))
(.f64 (.f64 (neg.f64 d1) #s(literal -1 binary64)) (+.f64 d3 d2))
(.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 (neg.f64 d1) d3) (.f64 d2 d1))) (.f64 d2 d1))
(.f64 (fma.f64 d3 (/.f64 d1 (.f64 d2 d1)) #s(literal 1 binary64)) (*.f64 (neg.f64 d1) d2))
(.f64 (fma.f64 d3 (/.f64 d1 (.f64 d2 d1)) #s(literal 1 binary64)) (*.f64 d2 d1))
(.f64 (/.f64 (+.f64 d3 d2) d2) (.f64 (neg.f64 d1) d2))
(.f64 (/.f64 (+.f64 d3 d2) d2) (.f64 d2 d1))
(.f64 (fma.f64 d1 (/.f64 d2 (.f64 d3 d1)) #s(literal 1 binary64)) (*.f64 (neg.f64 d1) d3))
(.f64 (fma.f64 d1 (/.f64 d2 (.f64 d3 d1)) #s(literal 1 binary64)) (*.f64 d3 d1))
(.f64 (.f64 (.f64 (+.f64 d3 d2) d1) (.f64 d1 (-.f64 d2 d3))) (/.f64 #s(literal 1 binary64) (*.f64 d1 (-.f64 d2 d3))))
(.f64 (fma.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1) (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 (.f64 d2 d1) d2) d1 (.f64 (.f64 d3 d1) (-.f64 (.f64 d3 d1) (.f64 d2 d1))))))
(*.f64 (fma.f64 (/.f64 d2 d3) d1 d1) (neg.f64 d3))
(*.f64 (fma.f64 (/.f64 d2 d3) d1 d1) d3)
(*.f64 (neg.f64 d1) (+.f64 d3 d2))
(*.f64 (fma.f64 (/.f64 d3 d2) d1 d1) (neg.f64 d2))
(*.f64 (fma.f64 (/.f64 d3 d2) d1 d1) d2)
(*.f64 (neg.f64 d3) (fma.f64 (/.f64 d2 d3) d1 d1))
(*.f64 (neg.f64 d2) (fma.f64 (/.f64 d3 d2) d1 d1))
(.f64 #s(literal -1 binary64) (.f64 (+.f64 d3 d2) d1))
(*.f64 (+.f64 d3 d2) (neg.f64 d1))
(*.f64 (+.f64 d3 d2) d1)
(.f64 (.f64 (+.f64 d3 d2) d1) #s(literal -1 binary64))
(.f64 (.f64 d2 d1) (fma.f64 d3 (/.f64 d1 (*.f64 d2 d1)) #s(literal 1 binary64)))
(*.f64 d3 (fma.f64 (/.f64 d2 d3) d1 d1))
(*.f64 d2 (fma.f64 (/.f64 d3 d2) d1 d1))
(*.f64 d1 (+.f64 d3 d2))
(pow.f64 (/.f64 (.f64 d1 (-.f64 d2 d3)) (.f64 (.f64 (+.f64 d3 d2) d1) (.f64 d1 (-.f64 d2 d3)))) #s(literal -1 binary64))
(pow.f64 (/.f64 (fma.f64 (.f64 (.f64 d2 d1) d2) d1 (.f64 (.f64 d3 d1) (-.f64 (.f64 d3 d1) (.f64 d2 d1)))) (fma.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1) (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (*.f64 d1 d1) d1)))) #s(literal -1 binary64))
(/.f64 (fma.f64 (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1)) (fma.f64 (.f64 (.f64 d2 d1) d2) d1 (.f64 (.f64 d3 d1) (-.f64 (.f64 d3 d1) (.f64 d2 d1)))) (.f64 (fma.f64 (.f64 (.f64 d2 d1) d2) d1 (.f64 (.f64 d3 d1) (-.f64 (.f64 d3 d1) (.f64 d2 d1)))) (.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1)))) (.f64 (fma.f64 (.f64 (.f64 d2 d1) d2) d1 (.f64 (.f64 d3 d1) (-.f64 (.f64 d3 d1) (.f64 d2 d1)))) (fma.f64 (.f64 (.f64 d2 d1) d2) d1 (.f64 (.f64 d3 d1) (-.f64 (.f64 d3 d1) (.f64 d2 d1))))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 d2 d1) d2) d1) (.f64 d1 (-.f64 d2 d3))) (.f64 (.f64 d1 (-.f64 d2 d3)) (.f64 (.f64 (.f64 d3 d1) d3) d1))) (.f64 (.f64 d1 (-.f64 d2 d3)) (*.f64 d1 (-.f64 d2 d3))))
(/.f64 (neg.f64 (.f64 (neg.f64 d3) (.f64 (fma.f64 (/.f64 d2 d3) d1 d1) (-.f64 d1 (/.f64 (.f64 d2 d1) d3))))) (neg.f64 (-.f64 d1 (/.f64 (.f64 d2 d1) d3))))
(/.f64 (neg.f64 (.f64 (neg.f64 d3) (fma.f64 (.f64 d1 d1) d1 (pow.f64 (/.f64 (.f64 d2 d1) d3) #s(literal 3 binary64))))) (neg.f64 (fma.f64 (/.f64 (.f64 d2 d1) d3) (-.f64 (/.f64 (.f64 d2 d1) d3) d1) (.f64 d1 d1))))
(/.f64 (neg.f64 (.f64 (neg.f64 d1) (.f64 (+.f64 d3 d2) (-.f64 d2 d3)))) (neg.f64 (-.f64 d2 d3)))
(/.f64 (neg.f64 (.f64 (neg.f64 d1) (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2)))) (neg.f64 (fma.f64 d3 (-.f64 d3 d2) (*.f64 d2 d2))))
(/.f64 (neg.f64 (.f64 d2 (.f64 (+.f64 d3 d2) d1))) (neg.f64 d2))
(/.f64 (neg.f64 (.f64 (neg.f64 d2) (.f64 (fma.f64 (/.f64 d3 d2) d1 d1) (-.f64 d1 (/.f64 (.f64 d3 d1) d2))))) (neg.f64 (-.f64 d1 (/.f64 (.f64 d3 d1) d2))))
(/.f64 (neg.f64 (.f64 (neg.f64 d2) (fma.f64 (.f64 d1 d1) d1 (pow.f64 (/.f64 (.f64 d3 d1) d2) #s(literal 3 binary64))))) (neg.f64 (fma.f64 (/.f64 (.f64 d3 d1) d2) (-.f64 (/.f64 (.f64 d3 d1) d2) d1) (.f64 d1 d1))))
(/.f64 (neg.f64 (.f64 d3 (.f64 (+.f64 d3 d2) d1))) (neg.f64 d3))
(/.f64 (neg.f64 (.f64 (.f64 (+.f64 d3 d2) d1) d2)) (neg.f64 d2))
(/.f64 (neg.f64 (.f64 (.f64 (+.f64 d3 d2) d1) d3)) (neg.f64 d3))
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 (.f64 d2 d1) d2) d1) (.f64 (.f64 (.f64 d3 d1) #s(literal 1 binary64)) (.f64 (.f64 d3 d1) #s(literal 1 binary64))))) (neg.f64 (-.f64 (.f64 d2 d1) (.f64 (*.f64 d3 d1) #s(literal 1 binary64)))))
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 (.f64 d2 d1) d2) d1) (.f64 (.f64 (.f64 d3 d1) #s(literal 1 binary64)) (.f64 (.f64 d3 d1) #s(literal 1 binary64))))) (neg.f64 (-.f64 (.f64 (neg.f64 d1) d2) (neg.f64 (.f64 (*.f64 d3 d1) #s(literal 1 binary64))))))
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 (.f64 d3 d1) d3) d1) (.f64 (.f64 (.f64 d2 d1) #s(literal 1 binary64)) (.f64 (.f64 d2 d1) #s(literal 1 binary64))))) (neg.f64 (-.f64 (.f64 d3 d1) (.f64 (*.f64 d2 d1) #s(literal 1 binary64)))))
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 (.f64 d3 d1) d3) d1) (.f64 (.f64 (.f64 d2 d1) #s(literal 1 binary64)) (.f64 (.f64 d2 d1) #s(literal 1 binary64))))) (neg.f64 (-.f64 (.f64 (neg.f64 d1) d3) (neg.f64 (.f64 (*.f64 d2 d1) #s(literal 1 binary64))))))
(/.f64 (neg.f64 (neg.f64 (.f64 (.f64 (+.f64 d3 d2) d1) (.f64 d1 (-.f64 d2 d3))))) (neg.f64 (neg.f64 (.f64 d1 (-.f64 d2 d3)))))
(/.f64 (neg.f64 (neg.f64 (fma.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1) (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1))))) (neg.f64 (neg.f64 (fma.f64 (.f64 (.f64 d2 d1) d2) d1 (.f64 (.f64 d3 d1) (-.f64 (.f64 d3 d1) (*.f64 d2 d1)))))))
(/.f64 (neg.f64 (.f64 d3 (fma.f64 (.f64 d1 d1) d1 (pow.f64 (/.f64 (.f64 d2 d1) d3) #s(literal 3 binary64))))) (neg.f64 (fma.f64 (/.f64 (.f64 d2 d1) d3) (-.f64 (/.f64 (.f64 d2 d1) d3) d1) (.f64 d1 d1))))
(/.f64 (neg.f64 (.f64 d1 (.f64 (+.f64 d3 d2) (-.f64 d2 d3)))) (neg.f64 (-.f64 d2 d3)))
(/.f64 (neg.f64 (.f64 d2 (.f64 (fma.f64 (/.f64 d3 d2) d1 d1) (-.f64 d1 (/.f64 (.f64 d3 d1) d2))))) (neg.f64 (-.f64 d1 (/.f64 (.f64 d3 d1) d2))))
(/.f64 (neg.f64 (.f64 d1 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2)))) (neg.f64 (fma.f64 d3 (-.f64 d3 d2) (*.f64 d2 d2))))
(/.f64 (neg.f64 (.f64 d2 (fma.f64 (.f64 d1 d1) d1 (pow.f64 (/.f64 (.f64 d3 d1) d2) #s(literal 3 binary64))))) (neg.f64 (fma.f64 (/.f64 (.f64 d3 d1) d2) (-.f64 (/.f64 (.f64 d3 d1) d2) d1) (.f64 d1 d1))))
(/.f64 (neg.f64 (.f64 d3 (.f64 (fma.f64 (/.f64 d2 d3) d1 d1) (-.f64 d1 (/.f64 (.f64 d2 d1) d3))))) (neg.f64 (-.f64 d1 (/.f64 (.f64 d2 d1) d3))))
(/.f64 (neg.f64 (.f64 (fma.f64 (.f64 d1 d1) d1 (pow.f64 (/.f64 (.f64 d2 d1) d3) #s(literal 3 binary64))) d3)) (neg.f64 (fma.f64 (/.f64 (.f64 d2 d1) d3) (-.f64 (/.f64 (.f64 d2 d1) d3) d1) (.f64 d1 d1))))
(/.f64 (neg.f64 (.f64 (.f64 (+.f64 d3 d2) (-.f64 d2 d3)) d1)) (neg.f64 (-.f64 d2 d3)))
(/.f64 (neg.f64 (.f64 (.f64 (fma.f64 (/.f64 d3 d2) d1 d1) (-.f64 d1 (/.f64 (.f64 d3 d1) d2))) d2)) (neg.f64 (-.f64 d1 (/.f64 (.f64 d3 d1) d2))))
(/.f64 (neg.f64 (.f64 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2)) d1)) (neg.f64 (fma.f64 d3 (-.f64 d3 d2) (*.f64 d2 d2))))
(/.f64 (neg.f64 (.f64 (fma.f64 (.f64 d1 d1) d1 (pow.f64 (/.f64 (.f64 d3 d1) d2) #s(literal 3 binary64))) d2)) (neg.f64 (fma.f64 (/.f64 (.f64 d3 d1) d2) (-.f64 (/.f64 (.f64 d3 d1) d2) d1) (.f64 d1 d1))))
(/.f64 (neg.f64 (.f64 (.f64 (fma.f64 (/.f64 d2 d3) d1 d1) (-.f64 d1 (/.f64 (.f64 d2 d1) d3))) d3)) (neg.f64 (-.f64 d1 (/.f64 (.f64 d2 d1) d3))))
(/.f64 (neg.f64 (fma.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1) (.f64 (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1)) #s(literal 1 binary64)))) (neg.f64 (fma.f64 (.f64 (.f64 d3 d1) d3) d1 (-.f64 (.f64 (.f64 (.f64 d2 d1) #s(literal 1 binary64)) (.f64 (.f64 d2 d1) #s(literal 1 binary64))) (.f64 (.f64 d3 d1) (.f64 (*.f64 d2 d1) #s(literal 1 binary64)))))))
(/.f64 (neg.f64 (fma.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1) (.f64 (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1)) #s(literal 1 binary64)))) (neg.f64 (fma.f64 (.f64 (.f64 d3 d1) d3) d1 (-.f64 (.f64 (.f64 (.f64 d2 d1) #s(literal 1 binary64)) (.f64 (.f64 d2 d1) #s(literal 1 binary64))) (.f64 (.f64 (neg.f64 d1) d3) (neg.f64 (.f64 (*.f64 d2 d1) #s(literal 1 binary64))))))))
(/.f64 (neg.f64 (fma.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1) (.f64 (.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1)) #s(literal 1 binary64)))) (neg.f64 (fma.f64 (.f64 (.f64 d2 d1) d2) d1 (-.f64 (.f64 (.f64 (.f64 d3 d1) #s(literal 1 binary64)) (.f64 (.f64 d3 d1) #s(literal 1 binary64))) (.f64 (.f64 d2 d1) (.f64 (*.f64 d3 d1) #s(literal 1 binary64)))))))
(/.f64 (neg.f64 (fma.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1) (.f64 (.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1)) #s(literal 1 binary64)))) (neg.f64 (fma.f64 (.f64 (.f64 d2 d1) d2) d1 (-.f64 (.f64 (.f64 (.f64 d3 d1) #s(literal 1 binary64)) (.f64 (.f64 d3 d1) #s(literal 1 binary64))) (.f64 (.f64 (neg.f64 d1) d2) (neg.f64 (.f64 (*.f64 d3 d1) #s(literal 1 binary64))))))))
(/.f64 (.f64 (neg.f64 d3) (.f64 (fma.f64 (/.f64 d2 d3) d1 d1) (-.f64 d1 (/.f64 (.f64 d2 d1) d3)))) (-.f64 d1 (/.f64 (.f64 d2 d1) d3)))
(/.f64 (.f64 (neg.f64 d3) (fma.f64 (.f64 d1 d1) d1 (pow.f64 (/.f64 (.f64 d2 d1) d3) #s(literal 3 binary64)))) (fma.f64 (/.f64 (.f64 d2 d1) d3) (-.f64 (/.f64 (.f64 d2 d1) d3) d1) (.f64 d1 d1)))
(/.f64 (.f64 d3 (fma.f64 (.f64 d1 d1) d1 (pow.f64 (/.f64 (.f64 d2 d1) d3) #s(literal 3 binary64)))) (fma.f64 (/.f64 (.f64 d2 d1) d3) (-.f64 (/.f64 (.f64 d2 d1) d3) d1) (.f64 d1 d1)))
(/.f64 (.f64 d1 (.f64 (+.f64 d3 d2) (-.f64 d2 d3))) (-.f64 d2 d3))
(/.f64 (.f64 (neg.f64 d1) (.f64 (+.f64 d3 d2) (-.f64 d2 d3))) (-.f64 d2 d3))
(/.f64 (.f64 (neg.f64 d1) (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2))) (fma.f64 d3 (-.f64 d3 d2) (*.f64 d2 d2)))
(/.f64 (.f64 d2 (.f64 (fma.f64 (/.f64 d3 d2) d1 d1) (-.f64 d1 (/.f64 (.f64 d3 d1) d2)))) (-.f64 d1 (/.f64 (.f64 d3 d1) d2)))
(/.f64 (.f64 d2 (.f64 (+.f64 d3 d2) d1)) d2)
(/.f64 (.f64 (neg.f64 d2) (.f64 (fma.f64 (/.f64 d3 d2) d1 d1) (-.f64 d1 (/.f64 (.f64 d3 d1) d2)))) (-.f64 d1 (/.f64 (.f64 d3 d1) d2)))
(/.f64 (.f64 (neg.f64 d2) (fma.f64 (.f64 d1 d1) d1 (pow.f64 (/.f64 (.f64 d3 d1) d2) #s(literal 3 binary64)))) (fma.f64 (/.f64 (.f64 d3 d1) d2) (-.f64 (/.f64 (.f64 d3 d1) d2) d1) (.f64 d1 d1)))
(/.f64 (.f64 d1 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2))) (fma.f64 d3 (-.f64 d3 d2) (*.f64 d2 d2)))
(/.f64 (.f64 d2 (fma.f64 (.f64 d1 d1) d1 (pow.f64 (/.f64 (.f64 d3 d1) d2) #s(literal 3 binary64)))) (fma.f64 (/.f64 (.f64 d3 d1) d2) (-.f64 (/.f64 (.f64 d3 d1) d2) d1) (.f64 d1 d1)))
(/.f64 (.f64 d3 (.f64 (fma.f64 (/.f64 d2 d3) d1 d1) (-.f64 d1 (/.f64 (.f64 d2 d1) d3)))) (-.f64 d1 (/.f64 (.f64 d2 d1) d3)))
(/.f64 (.f64 d3 (.f64 (+.f64 d3 d2) d1)) d3)
(/.f64 (.f64 (fma.f64 (.f64 d1 d1) d1 (pow.f64 (/.f64 (.f64 d2 d1) d3) #s(literal 3 binary64))) d3) (fma.f64 (/.f64 (.f64 d2 d1) d3) (-.f64 (/.f64 (.f64 d2 d1) d3) d1) (.f64 d1 d1)))
(/.f64 (.f64 (.f64 (+.f64 d3 d2) (-.f64 d2 d3)) d1) (-.f64 d2 d3))
(/.f64 (.f64 (.f64 (fma.f64 (/.f64 d3 d2) d1 d1) (-.f64 d1 (/.f64 (.f64 d3 d1) d2))) d2) (-.f64 d1 (/.f64 (.f64 d3 d1) d2)))
(/.f64 (.f64 (.f64 (+.f64 d3 d2) d1) d2) d2)
(/.f64 (.f64 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2)) d1) (fma.f64 d3 (-.f64 d3 d2) (*.f64 d2 d2)))
(/.f64 (.f64 (fma.f64 (.f64 d1 d1) d1 (pow.f64 (/.f64 (.f64 d3 d1) d2) #s(literal 3 binary64))) d2) (fma.f64 (/.f64 (.f64 d3 d1) d2) (-.f64 (/.f64 (.f64 d3 d1) d2) d1) (.f64 d1 d1)))
(/.f64 (.f64 (.f64 (fma.f64 (/.f64 d2 d3) d1 d1) (-.f64 d1 (/.f64 (.f64 d2 d1) d3))) d3) (-.f64 d1 (/.f64 (.f64 d2 d1) d3)))
(/.f64 (.f64 (.f64 (+.f64 d3 d2) d1) d3) d3)
(/.f64 (-.f64 (.f64 (.f64 (.f64 d3 d1) d3) d1) (.f64 (.f64 (.f64 d2 d1) d2) d1)) (-.f64 (.f64 d3 d1) (.f64 d2 d1)))
(/.f64 (-.f64 (.f64 (.f64 (.f64 d2 d1) d2) d1) (.f64 (.f64 (.f64 d3 d1) #s(literal 1 binary64)) (.f64 (.f64 d3 d1) #s(literal 1 binary64)))) (-.f64 (.f64 d2 d1) (.f64 (*.f64 d3 d1) #s(literal 1 binary64))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 d2 d1) d2) d1) (.f64 (.f64 (.f64 d3 d1) #s(literal 1 binary64)) (.f64 (.f64 d3 d1) #s(literal 1 binary64)))) (-.f64 (.f64 (neg.f64 d1) d2) (neg.f64 (.f64 (*.f64 d3 d1) #s(literal 1 binary64)))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 d3 d1) d3) d1) (.f64 (.f64 (.f64 d2 d1) #s(literal 1 binary64)) (.f64 (.f64 d2 d1) #s(literal 1 binary64)))) (-.f64 (.f64 (neg.f64 d1) d3) (neg.f64 (.f64 (*.f64 d2 d1) #s(literal 1 binary64)))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 d3 d1) d3) d1) (.f64 (.f64 (.f64 d2 d1) #s(literal 1 binary64)) (.f64 (.f64 d2 d1) #s(literal 1 binary64)))) (-.f64 (.f64 d3 d1) (.f64 (*.f64 d2 d1) #s(literal 1 binary64))))
(/.f64 (fma.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1) (.f64 (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1)) #s(literal 1 binary64))) (fma.f64 (.f64 (.f64 d3 d1) d3) d1 (-.f64 (.f64 (.f64 (.f64 d2 d1) #s(literal 1 binary64)) (.f64 (.f64 d2 d1) #s(literal 1 binary64))) (.f64 (.f64 (neg.f64 d1) d3) (neg.f64 (.f64 (*.f64 d2 d1) #s(literal 1 binary64)))))))
(/.f64 (fma.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1) (.f64 (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1)) #s(literal 1 binary64))) (fma.f64 (.f64 (.f64 d3 d1) d3) d1 (-.f64 (.f64 (.f64 (.f64 d2 d1) #s(literal 1 binary64)) (.f64 (.f64 d2 d1) #s(literal 1 binary64))) (.f64 (.f64 d3 d1) (.f64 (*.f64 d2 d1) #s(literal 1 binary64))))))
(/.f64 (fma.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1) (.f64 (.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1)) #s(literal 1 binary64))) (fma.f64 (.f64 (.f64 d2 d1) d2) d1 (-.f64 (.f64 (.f64 (.f64 d3 d1) #s(literal 1 binary64)) (.f64 (.f64 d3 d1) #s(literal 1 binary64))) (.f64 (.f64 d2 d1) (.f64 (*.f64 d3 d1) #s(literal 1 binary64))))))
(/.f64 (fma.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1) (.f64 (.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1)) #s(literal 1 binary64))) (fma.f64 (.f64 (.f64 d2 d1) d2) d1 (-.f64 (.f64 (.f64 (.f64 d3 d1) #s(literal 1 binary64)) (.f64 (.f64 d3 d1) #s(literal 1 binary64))) (.f64 (.f64 (neg.f64 d1) d2) (neg.f64 (.f64 (*.f64 d3 d1) #s(literal 1 binary64)))))))
(/.f64 (neg.f64 (.f64 (.f64 (+.f64 d3 d2) d1) (.f64 d1 (-.f64 d2 d3)))) (neg.f64 (-.f64 (.f64 (neg.f64 d1) d2) (*.f64 (neg.f64 d1) d3))))
(/.f64 (neg.f64 (.f64 (.f64 (+.f64 d3 d2) d1) (.f64 d1 (-.f64 d2 d3)))) (neg.f64 (.f64 d1 (-.f64 d2 d3))))
(/.f64 (neg.f64 (fma.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1) (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1)))) (neg.f64 (fma.f64 (.f64 (.f64 d2 d1) d2) d1 (fma.f64 (.f64 (.f64 d3 d1) d3) d1 (.f64 (.f64 d2 d1) (.f64 (neg.f64 d1) d3))))))
(/.f64 (neg.f64 (fma.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1) (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1)))) (neg.f64 (fma.f64 (.f64 (.f64 d3 d1) d3) d1 (-.f64 (.f64 (.f64 (.f64 d2 d1) d2) d1) (.f64 (.f64 (*.f64 d2 d1) d1) d3)))))
(/.f64 (neg.f64 (fma.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1) (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1)))) (neg.f64 (fma.f64 (.f64 (.f64 d2 d1) d2) d1 (-.f64 (.f64 (.f64 (.f64 d3 d1) d3) d1) (.f64 (.f64 (neg.f64 d1) d2) (*.f64 (neg.f64 d1) d3))))))
(/.f64 (neg.f64 (fma.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1) (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1)))) (neg.f64 (fma.f64 (.f64 (.f64 d2 d1) d2) d1 (.f64 (.f64 d3 d1) (-.f64 (.f64 d3 d1) (*.f64 d2 d1))))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 d1 (-.f64 d2 d3)) (.f64 (.f64 (+.f64 d3 d2) d1) (.f64 d1 (-.f64 d2 d3)))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (.f64 (.f64 d2 d1) d2) d1 (.f64 (.f64 d3 d1) (-.f64 (.f64 d3 d1) (.f64 d2 d1)))) (fma.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1) (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (*.f64 d1 d1) d1)))))
(/.f64 (.f64 (.f64 (+.f64 d3 d2) d1) (.f64 d1 (-.f64 d2 d3))) (-.f64 (.f64 (neg.f64 d1) d2) (*.f64 (neg.f64 d1) d3)))
(/.f64 (.f64 (.f64 (+.f64 d3 d2) d1) (.f64 d1 (-.f64 d2 d3))) (.f64 d1 (-.f64 d2 d3)))
(/.f64 (fma.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1) (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1))) (fma.f64 (.f64 (.f64 d3 d1) d3) d1 (-.f64 (.f64 (.f64 (.f64 d2 d1) d2) d1) (.f64 (.f64 (*.f64 d2 d1) d1) d3))))
(/.f64 (fma.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1) (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1))) (fma.f64 (.f64 (.f64 d2 d1) d2) d1 (-.f64 (.f64 (.f64 (.f64 d3 d1) d3) d1) (.f64 (.f64 (neg.f64 d1) d2) (*.f64 (neg.f64 d1) d3)))))
(/.f64 (fma.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1) (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1))) (fma.f64 (.f64 (.f64 d2 d1) d2) d1 (fma.f64 (.f64 (.f64 d3 d1) d3) d1 (.f64 (.f64 d2 d1) (.f64 (neg.f64 d1) d3)))))
(/.f64 (fma.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1) (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1))) (fma.f64 (.f64 (.f64 d2 d1) d2) d1 (.f64 (.f64 d3 d1) (-.f64 (.f64 d3 d1) (*.f64 d2 d1)))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 (.f64 d1 (-.f64 d2 d3)) (.f64 (.f64 (+.f64 d3 d2) d1) (.f64 d1 (-.f64 d2 d3))))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 (fma.f64 (.f64 (.f64 d2 d1) d2) d1 (.f64 (.f64 d3 d1) (-.f64 (.f64 d3 d1) (.f64 d2 d1)))) (fma.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1) (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (*.f64 d1 d1) d1))))))
(neg.f64 (-.f64 (.f64 (neg.f64 d1) d3) (.f64 d2 d1)))
(neg.f64 (*.f64 (+.f64 d3 d2) d1))
(fma.f64 (.f64 d2 (.f64 d3 d1)) (/.f64 #s(literal 1 binary64) d2) (*.f64 d2 d1))
(fma.f64 (.f64 d3 (.f64 d2 d1)) (/.f64 #s(literal 1 binary64) d3) (*.f64 d3 d1))
(fma.f64 (.f64 (.f64 d2 d1) #s(literal 1 binary64)) #s(literal -1 binary64) (*.f64 (neg.f64 d1) d3))
(fma.f64 (.f64 (.f64 d3 d1) #s(literal 1 binary64)) #s(literal -1 binary64) (*.f64 (neg.f64 d1) d2))
(fma.f64 (.f64 (neg.f64 d1) d2) #s(literal -1 binary64) (.f64 (*.f64 (neg.f64 d1) d3) #s(literal -1 binary64)))
(fma.f64 (.f64 (neg.f64 d1) d2) #s(literal -1 binary64) (.f64 (neg.f64 (.f64 (.f64 d3 d1) #s(literal 1 binary64))) #s(literal -1 binary64)))
(fma.f64 (.f64 (neg.f64 d1) d3) #s(literal -1 binary64) (.f64 (neg.f64 (.f64 (.f64 d2 d1) #s(literal 1 binary64))) #s(literal -1 binary64)))
(fma.f64 (.f64 (neg.f64 d1) (/.f64 d2 d3)) (neg.f64 d3) (.f64 (neg.f64 d1) (neg.f64 d3)))
(fma.f64 (.f64 (neg.f64 d1) (/.f64 d2 d3)) d3 (.f64 (neg.f64 d1) d3))
(fma.f64 (/.f64 (.f64 d2 d1) d3) (neg.f64 d3) (.f64 (neg.f64 d1) d3))
(fma.f64 (/.f64 (.f64 d2 d1) d3) d3 (.f64 d3 d1))
(fma.f64 (.f64 (neg.f64 d1) (/.f64 d3 d2)) (neg.f64 d2) (.f64 (neg.f64 d1) (neg.f64 d2)))
(fma.f64 (.f64 (neg.f64 d1) (/.f64 d3 d2)) d2 (.f64 (neg.f64 d1) d2))
(fma.f64 (neg.f64 d1) (neg.f64 d3) (.f64 (.f64 (neg.f64 d1) (/.f64 d2 d3)) (neg.f64 d3)))
(fma.f64 (neg.f64 d1) (neg.f64 d3) (*.f64 (neg.f64 d1) (neg.f64 d2)))
(fma.f64 (neg.f64 d1) (neg.f64 d2) (.f64 (.f64 (neg.f64 d1) (/.f64 d3 d2)) (neg.f64 d2)))
(fma.f64 (neg.f64 d1) (neg.f64 d2) (*.f64 (neg.f64 d1) (neg.f64 d3)))
(fma.f64 (neg.f64 d1) d3 (neg.f64 (.f64 (.f64 d2 d1) #s(literal 1 binary64))))
(fma.f64 (neg.f64 d1) d3 (*.f64 (neg.f64 d1) d2))
(fma.f64 (neg.f64 d1) d2 (neg.f64 (.f64 (.f64 d3 d1) #s(literal 1 binary64))))
(fma.f64 (neg.f64 d1) d2 (*.f64 (neg.f64 d1) d3))
(fma.f64 (/.f64 (.f64 d3 d1) d2) (neg.f64 d2) (.f64 (neg.f64 d1) d2))
(fma.f64 (/.f64 (.f64 d3 d1) d2) d2 (.f64 d2 d1))
(fma.f64 (neg.f64 d3) (.f64 (neg.f64 d1) (/.f64 d2 d3)) (.f64 (neg.f64 d3) (neg.f64 d1)))
(fma.f64 (neg.f64 d3) (/.f64 (.f64 d2 d1) d3) (.f64 (neg.f64 d1) d3))
(fma.f64 (neg.f64 d3) (neg.f64 d1) (*.f64 (neg.f64 d2) (neg.f64 d1)))
(fma.f64 (neg.f64 d3) (neg.f64 d1) (.f64 (neg.f64 d3) (.f64 (neg.f64 d1) (/.f64 d2 d3))))
(fma.f64 (neg.f64 d3) d1 (neg.f64 (.f64 (.f64 d2 d1) #s(literal 1 binary64))))
(fma.f64 (neg.f64 d3) d1 (*.f64 (neg.f64 d1) d2))
(fma.f64 (neg.f64 d2) (.f64 (neg.f64 d1) (/.f64 d3 d2)) (.f64 (neg.f64 d2) (neg.f64 d1)))
(fma.f64 (neg.f64 d2) (neg.f64 d1) (*.f64 (neg.f64 d3) (neg.f64 d1)))
(fma.f64 (neg.f64 d2) (neg.f64 d1) (.f64 (neg.f64 d2) (.f64 (neg.f64 d1) (/.f64 d3 d2))))
(fma.f64 (neg.f64 d2) (/.f64 (.f64 d3 d1) d2) (.f64 (neg.f64 d1) d2))
(fma.f64 (neg.f64 d2) d1 (neg.f64 (.f64 (.f64 d3 d1) #s(literal 1 binary64))))
(fma.f64 (neg.f64 d2) d1 (*.f64 (neg.f64 d1) d3))
(fma.f64 #s(literal -1 binary64) (.f64 (.f64 d2 d1) #s(literal 1 binary64)) (*.f64 (neg.f64 d1) d3))
(fma.f64 #s(literal -1 binary64) (.f64 (.f64 d3 d1) #s(literal 1 binary64)) (*.f64 (neg.f64 d1) d2))
(fma.f64 #s(literal -1 binary64) (.f64 (neg.f64 d1) d2) (.f64 #s(literal -1 binary64) (*.f64 (neg.f64 d1) d3)))
(fma.f64 #s(literal -1 binary64) (.f64 (neg.f64 d1) d2) (.f64 #s(literal -1 binary64) (neg.f64 (.f64 (.f64 d3 d1) #s(literal 1 binary64)))))
(fma.f64 #s(literal -1 binary64) (.f64 (neg.f64 d1) d3) (.f64 #s(literal -1 binary64) (neg.f64 (.f64 (.f64 d2 d1) #s(literal 1 binary64)))))
(fma.f64 #s(literal -1 binary64) (.f64 d3 d1) (neg.f64 (.f64 (*.f64 d2 d1) #s(literal 1 binary64))))
(fma.f64 #s(literal -1 binary64) (.f64 d3 d1) (.f64 (neg.f64 d1) d2))
(fma.f64 #s(literal -1 binary64) (.f64 d2 d1) (neg.f64 (.f64 (*.f64 d3 d1) #s(literal 1 binary64))))
(fma.f64 #s(literal -1 binary64) (.f64 d2 d1) (.f64 (neg.f64 d1) d3))
(fma.f64 (.f64 d3 d1) (/.f64 d2 d3) (.f64 d3 d1))
(fma.f64 (.f64 d3 d1) #s(literal 1 binary64) (.f64 d2 d1))
(fma.f64 (.f64 d3 d1) #s(literal -1 binary64) (neg.f64 (.f64 (*.f64 d2 d1) #s(literal 1 binary64))))
(fma.f64 (.f64 d3 d1) #s(literal -1 binary64) (.f64 (neg.f64 d1) d2))
(fma.f64 (.f64 d2 d1) (/.f64 d3 d2) (.f64 d2 d1))
(fma.f64 (.f64 d2 d1) #s(literal 1 binary64) (.f64 d3 d1))
(fma.f64 (.f64 d2 d1) #s(literal -1 binary64) (neg.f64 (.f64 (*.f64 d3 d1) #s(literal 1 binary64))))
(fma.f64 (.f64 d2 d1) #s(literal -1 binary64) (.f64 (neg.f64 d1) d3))
(fma.f64 d3 (.f64 (neg.f64 d1) (/.f64 d2 d3)) (.f64 (neg.f64 d1) d3))
(fma.f64 d3 (/.f64 (.f64 d2 d1) d3) (.f64 d3 d1))
(fma.f64 d3 (neg.f64 d1) (neg.f64 (.f64 (.f64 d2 d1) #s(literal 1 binary64))))
(fma.f64 d3 (neg.f64 d1) (*.f64 (neg.f64 d1) d2))
(fma.f64 d3 d1 (.f64 (.f64 d2 d1) #s(literal 1 binary64)))
(fma.f64 d3 d1 (*.f64 d2 d1))
(fma.f64 d2 (.f64 (neg.f64 d1) (/.f64 d3 d2)) (.f64 (neg.f64 d1) d2))
(fma.f64 d2 (neg.f64 d1) (neg.f64 (.f64 (.f64 d3 d1) #s(literal 1 binary64))))
(fma.f64 d2 (neg.f64 d1) (*.f64 (neg.f64 d1) d3))
(fma.f64 d2 (/.f64 (.f64 d3 d1) d2) (.f64 d2 d1))
(fma.f64 d2 d1 (*.f64 (neg.f64 (neg.f64 d1)) d3))
(fma.f64 d2 d1 (neg.f64 (*.f64 (neg.f64 d1) d3)))
(fma.f64 d2 d1 (.f64 (.f64 d3 d1) #s(literal 1 binary64)))
(fma.f64 d2 d1 (*.f64 d3 d1))
(fma.f64 d1 (.f64 (/.f64 d2 d3) d3) (.f64 d3 d1))
(fma.f64 d1 (.f64 (/.f64 d3 d2) d2) (.f64 d2 d1))
(fma.f64 d1 (neg.f64 d3) (neg.f64 (.f64 (.f64 d2 d1) #s(literal 1 binary64))))
(fma.f64 d1 (neg.f64 d3) (*.f64 (neg.f64 d1) d2))
(fma.f64 d1 (neg.f64 d2) (neg.f64 (.f64 (.f64 d3 d1) #s(literal 1 binary64))))
(fma.f64 d1 (neg.f64 d2) (*.f64 (neg.f64 d1) d3))
(fma.f64 d1 d3 (.f64 (.f64 d2 d1) #s(literal 1 binary64)))
(fma.f64 d1 d3 (*.f64 d2 d1))
(fma.f64 d1 d2 (*.f64 (neg.f64 (neg.f64 d1)) d3))
(fma.f64 d1 d2 (neg.f64 (*.f64 (neg.f64 d1) d3)))
(fma.f64 d1 d2 (.f64 (.f64 d3 d1) #s(literal 1 binary64)))
(fma.f64 d1 d2 (*.f64 d3 d1))
(-.f64 (/.f64 (.f64 (.f64 (.f64 d3 d1) d3) d1) (-.f64 (.f64 d3 d1) (.f64 d2 d1))) (/.f64 (.f64 (.f64 (.f64 d2 d1) d2) d1) (-.f64 (.f64 d3 d1) (.f64 d2 d1))))
(-.f64 (/.f64 (.f64 (.f64 (.f64 d2 d1) d2) d1) (-.f64 (.f64 d2 d1) (.f64 (.f64 d3 d1) #s(literal 1 binary64)))) (/.f64 (.f64 (.f64 (.f64 d3 d1) #s(literal 1 binary64)) (.f64 (.f64 d3 d1) #s(literal 1 binary64))) (-.f64 (.f64 d2 d1) (.f64 (.f64 d3 d1) #s(literal 1 binary64)))))
(-.f64 (/.f64 (.f64 (.f64 (.f64 d3 d1) d3) d1) (-.f64 (.f64 d3 d1) (.f64 (.f64 d2 d1) #s(literal 1 binary64)))) (/.f64 (.f64 (.f64 (.f64 d2 d1) #s(literal 1 binary64)) (.f64 (.f64 d2 d1) #s(literal 1 binary64))) (-.f64 (.f64 d3 d1) (.f64 (.f64 d2 d1) #s(literal 1 binary64)))))
(-.f64 (/.f64 (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1)) (fma.f64 (.f64 (.f64 d2 d1) d2) d1 (fma.f64 (.f64 (.f64 d3 d1) d3) d1 (.f64 (.f64 d2 d1) (.f64 (neg.f64 d1) d3))))) (/.f64 (.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1)) (fma.f64 (.f64 (.f64 d2 d1) d2) d1 (fma.f64 (.f64 (.f64 d3 d1) d3) d1 (.f64 (.f64 d2 d1) (.f64 (neg.f64 d1) d3))))))
(-.f64 (/.f64 (.f64 (.f64 (.f64 d3 d1) d3) d1) (-.f64 (.f64 (neg.f64 d1) d3) (neg.f64 (.f64 (.f64 d2 d1) #s(literal 1 binary64))))) (/.f64 (.f64 (.f64 (.f64 d2 d1) #s(literal 1 binary64)) (.f64 (.f64 d2 d1) #s(literal 1 binary64))) (-.f64 (.f64 (neg.f64 d1) d3) (neg.f64 (.f64 (.f64 d2 d1) #s(literal 1 binary64))))))
(-.f64 (/.f64 (.f64 (.f64 (.f64 d2 d1) d2) d1) (-.f64 (.f64 (neg.f64 d1) d2) (neg.f64 (.f64 (.f64 d3 d1) #s(literal 1 binary64))))) (/.f64 (.f64 (.f64 (.f64 d3 d1) #s(literal 1 binary64)) (.f64 (.f64 d3 d1) #s(literal 1 binary64))) (-.f64 (.f64 (neg.f64 d1) d2) (neg.f64 (.f64 (.f64 d3 d1) #s(literal 1 binary64))))))
(-.f64 (/.f64 (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1)) (fma.f64 (.f64 (.f64 d3 d1) d3) d1 (-.f64 (.f64 (.f64 (.f64 d2 d1) d2) d1) (.f64 (.f64 (.f64 d2 d1) d1) d3)))) (/.f64 (.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1)) (fma.f64 (.f64 (.f64 d3 d1) d3) d1 (-.f64 (.f64 (.f64 (.f64 d2 d1) d2) d1) (.f64 (.f64 (.f64 d2 d1) d1) d3)))))
(-.f64 (/.f64 (.f64 (.f64 (.f64 d2 d1) d2) d1) (-.f64 (.f64 (neg.f64 d1) d2) (.f64 (neg.f64 d1) d3))) (/.f64 (.f64 (.f64 (.f64 d3 d1) d3) d1) (-.f64 (.f64 (neg.f64 d1) d2) (.f64 (neg.f64 d1) d3))))
(-.f64 (/.f64 (.f64 (.f64 (.f64 d2 d1) d2) d1) (.f64 d1 (-.f64 d2 d3))) (/.f64 (.f64 (.f64 (.f64 d3 d1) d3) d1) (.f64 d1 (-.f64 d2 d3))))
(-.f64 (/.f64 (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1)) (fma.f64 (.f64 (.f64 d2 d1) d2) d1 (.f64 (.f64 d3 d1) (-.f64 (.f64 d3 d1) (.f64 d2 d1))))) (/.f64 (.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1)) (fma.f64 (.f64 (.f64 d2 d1) d2) d1 (.f64 (.f64 d3 d1) (-.f64 (.f64 d3 d1) (.f64 d2 d1))))))
(-.f64 (.f64 (neg.f64 d1) d2) (.f64 (neg.f64 d1) (neg.f64 d3)))
(-.f64 (.f64 (neg.f64 d1) d2) (.f64 (neg.f64 d2) (*.f64 (neg.f64 d1) (/.f64 d3 d2))))
(-.f64 (.f64 (neg.f64 d1) d2) (neg.f64 (neg.f64 (.f64 (*.f64 d3 d1) #s(literal 1 binary64)))))
(-.f64 (.f64 (neg.f64 d1) d2) (neg.f64 (.f64 (neg.f64 d1) d3)))
(-.f64 (.f64 (neg.f64 d1) d2) (.f64 (*.f64 d3 d1) #s(literal 1 binary64)))
(-.f64 (.f64 (neg.f64 d1) d2) (.f64 d3 d1))
(-.f64 (.f64 (neg.f64 d1) d3) (.f64 (neg.f64 d3) (*.f64 (neg.f64 d1) (/.f64 d2 d3))))
(-.f64 (.f64 (neg.f64 d1) d3) (neg.f64 (neg.f64 (.f64 (*.f64 d2 d1) #s(literal 1 binary64)))))
(-.f64 (.f64 (neg.f64 d1) d3) (.f64 (*.f64 d2 d1) #s(literal 1 binary64)))
(-.f64 (.f64 d3 d1) (neg.f64 (.f64 (*.f64 d2 d1) #s(literal 1 binary64))))
(-.f64 (.f64 d3 d1) (.f64 (neg.f64 d1) d2))
(-.f64 (.f64 d2 d1) (neg.f64 (.f64 (*.f64 d3 d1) #s(literal 1 binary64))))
(-.f64 (.f64 d2 d1) (.f64 (neg.f64 d1) d3))
(+.f64 (/.f64 (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1)) (fma.f64 (.f64 (.f64 d2 d1) d2) d1 (-.f64 (.f64 (.f64 (.f64 d3 d1) #s(literal 1 binary64)) (.f64 (.f64 d3 d1) #s(literal 1 binary64))) (.f64 (.f64 d2 d1) (.f64 (.f64 d3 d1) #s(literal 1 binary64)))))) (/.f64 (.f64 (.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1)) #s(literal 1 binary64)) (fma.f64 (.f64 (.f64 d2 d1) d2) d1 (-.f64 (.f64 (.f64 (.f64 d3 d1) #s(literal 1 binary64)) (.f64 (.f64 d3 d1) #s(literal 1 binary64))) (.f64 (.f64 d2 d1) (.f64 (*.f64 d3 d1) #s(literal 1 binary64)))))))
(+.f64 (/.f64 (.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1)) (fma.f64 (.f64 (.f64 d3 d1) d3) d1 (-.f64 (.f64 (.f64 (.f64 d2 d1) #s(literal 1 binary64)) (.f64 (.f64 d2 d1) #s(literal 1 binary64))) (.f64 (.f64 d3 d1) (.f64 (.f64 d2 d1) #s(literal 1 binary64)))))) (/.f64 (.f64 (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1)) #s(literal 1 binary64)) (fma.f64 (.f64 (.f64 d3 d1) d3) d1 (-.f64 (.f64 (.f64 (.f64 d2 d1) #s(literal 1 binary64)) (.f64 (.f64 d2 d1) #s(literal 1 binary64))) (.f64 (.f64 d3 d1) (.f64 (*.f64 d2 d1) #s(literal 1 binary64)))))))
(+.f64 (/.f64 (.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1)) (fma.f64 (.f64 (.f64 d3 d1) d3) d1 (-.f64 (.f64 (.f64 (.f64 d2 d1) d2) d1) (.f64 (.f64 (.f64 d2 d1) d1) d3)))) (/.f64 (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1)) (fma.f64 (.f64 (.f64 d3 d1) d3) d1 (-.f64 (.f64 (.f64 (.f64 d2 d1) d2) d1) (.f64 (.f64 (.f64 d2 d1) d1) d3)))))
(+.f64 (/.f64 (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1)) (fma.f64 (.f64 (.f64 d3 d1) d3) d1 (-.f64 (.f64 (.f64 (.f64 d2 d1) d2) d1) (.f64 (.f64 (.f64 d2 d1) d1) d3)))) (/.f64 (.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1)) (fma.f64 (.f64 (.f64 d3 d1) d3) d1 (-.f64 (.f64 (.f64 (.f64 d2 d1) d2) d1) (.f64 (.f64 (.f64 d2 d1) d1) d3)))))
(+.f64 (/.f64 (.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1)) (fma.f64 (.f64 (.f64 d3 d1) d3) d1 (-.f64 (.f64 (.f64 (.f64 d2 d1) #s(literal 1 binary64)) (.f64 (.f64 d2 d1) #s(literal 1 binary64))) (.f64 (.f64 (neg.f64 d1) d3) (neg.f64 (.f64 (.f64 d2 d1) #s(literal 1 binary64))))))) (/.f64 (.f64 (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1)) #s(literal 1 binary64)) (fma.f64 (.f64 (.f64 d3 d1) d3) d1 (-.f64 (.f64 (.f64 (.f64 d2 d1) #s(literal 1 binary64)) (.f64 (.f64 d2 d1) #s(literal 1 binary64))) (.f64 (.f64 (neg.f64 d1) d3) (neg.f64 (.f64 (*.f64 d2 d1) #s(literal 1 binary64))))))))
(+.f64 (/.f64 (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1)) (fma.f64 (.f64 (.f64 d2 d1) d2) d1 (-.f64 (.f64 (.f64 (.f64 d3 d1) d3) d1) (.f64 (.f64 (neg.f64 d1) d2) (.f64 (neg.f64 d1) d3))))) (/.f64 (.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1)) (fma.f64 (.f64 (.f64 d2 d1) d2) d1 (-.f64 (.f64 (.f64 (.f64 d3 d1) d3) d1) (.f64 (.f64 (neg.f64 d1) d2) (.f64 (neg.f64 d1) d3))))))
(+.f64 (/.f64 (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1)) (fma.f64 (.f64 (.f64 d2 d1) d2) d1 (-.f64 (.f64 (.f64 (.f64 d3 d1) #s(literal 1 binary64)) (.f64 (.f64 d3 d1) #s(literal 1 binary64))) (.f64 (.f64 (neg.f64 d1) d2) (neg.f64 (.f64 (.f64 d3 d1) #s(literal 1 binary64))))))) (/.f64 (.f64 (.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1)) #s(literal 1 binary64)) (fma.f64 (.f64 (.f64 d2 d1) d2) d1 (-.f64 (.f64 (.f64 (.f64 d3 d1) #s(literal 1 binary64)) (.f64 (.f64 d3 d1) #s(literal 1 binary64))) (.f64 (.f64 (neg.f64 d1) d2) (neg.f64 (.f64 (*.f64 d3 d1) #s(literal 1 binary64))))))))
(+.f64 (/.f64 (.f64 (.f64 (.f64 d2 d1) d2) d1) (-.f64 (.f64 (neg.f64 d1) d2) (.f64 (neg.f64 d1) d3))) (/.f64 (neg.f64 (.f64 (.f64 (.f64 d3 d1) d3) d1)) (-.f64 (.f64 (neg.f64 d1) d2) (.f64 (neg.f64 d1) d3))))
(+.f64 (/.f64 (.f64 (.f64 (.f64 d2 d1) d2) d1) (-.f64 (.f64 (neg.f64 d1) d2) (.f64 (neg.f64 d1) d3))) (/.f64 (.f64 (.f64 (neg.f64 d1) d3) (.f64 d3 d1)) (-.f64 (.f64 (neg.f64 d1) d2) (.f64 (neg.f64 d1) d3))))
(+.f64 (.f64 #s(literal -1 binary64) (.f64 (neg.f64 d1) d3)) (.f64 #s(literal -1 binary64) (neg.f64 (.f64 (*.f64 d2 d1) #s(literal 1 binary64)))))
(+.f64 (.f64 #s(literal -1 binary64) (.f64 (neg.f64 d1) d2)) (.f64 #s(literal -1 binary64) (.f64 (neg.f64 d1) d3)))
(+.f64 (.f64 #s(literal -1 binary64) (.f64 (neg.f64 d1) d2)) (.f64 #s(literal -1 binary64) (neg.f64 (.f64 (*.f64 d3 d1) #s(literal 1 binary64)))))
(+.f64 (.f64 (.f64 (neg.f64 d1) (/.f64 d2 d3)) (neg.f64 d3)) (*.f64 (neg.f64 d1) (neg.f64 d3)))
(+.f64 (.f64 (neg.f64 d3) (neg.f64 d1)) (.f64 (neg.f64 d2) (neg.f64 d1)))
(+.f64 (.f64 (neg.f64 d3) (neg.f64 d1)) (.f64 (neg.f64 d3) (*.f64 (neg.f64 d1) (/.f64 d2 d3))))
(+.f64 (.f64 (neg.f64 d2) (neg.f64 d1)) (.f64 (neg.f64 d3) (neg.f64 d1)))
(+.f64 (.f64 (neg.f64 d2) (neg.f64 d1)) (.f64 (neg.f64 d2) (*.f64 (neg.f64 d1) (/.f64 d3 d2))))
(+.f64 (.f64 (.f64 (neg.f64 d1) d3) #s(literal -1 binary64)) (.f64 (neg.f64 (.f64 (*.f64 d2 d1) #s(literal 1 binary64))) #s(literal -1 binary64)))
(+.f64 (.f64 (.f64 (neg.f64 d1) (/.f64 d3 d2)) (neg.f64 d2)) (*.f64 (neg.f64 d1) (neg.f64 d2)))
(+.f64 (.f64 (neg.f64 d1) (neg.f64 d2)) (.f64 (*.f64 (neg.f64 d1) (/.f64 d3 d2)) (neg.f64 d2)))
(+.f64 (.f64 (neg.f64 d1) (neg.f64 d2)) (.f64 (neg.f64 d1) (neg.f64 d3)))
(+.f64 (.f64 (.f64 (neg.f64 d1) d2) #s(literal -1 binary64)) (.f64 (.f64 (neg.f64 d1) d3) #s(literal -1 binary64)))
(+.f64 (.f64 (.f64 (neg.f64 d1) d2) #s(literal -1 binary64)) (.f64 (neg.f64 (.f64 (*.f64 d3 d1) #s(literal 1 binary64))) #s(literal -1 binary64)))
(+.f64 (.f64 (neg.f64 d3) (.f64 (neg.f64 d1) (/.f64 d2 d3))) (*.f64 (neg.f64 d3) (neg.f64 d1)))
(+.f64 (.f64 (neg.f64 d1) (neg.f64 d3)) (.f64 (*.f64 (neg.f64 d1) (/.f64 d2 d3)) (neg.f64 d3)))
(+.f64 (.f64 (neg.f64 d1) (neg.f64 d3)) (.f64 (neg.f64 d1) (neg.f64 d2)))
(+.f64 (.f64 (neg.f64 d2) (.f64 (neg.f64 d1) (/.f64 d3 d2))) (*.f64 (neg.f64 d2) (neg.f64 d1)))
(+.f64 (/.f64 (.f64 (.f64 (.f64 d2 d1) d2) d1) (.f64 d1 (-.f64 d2 d3))) (/.f64 (neg.f64 (.f64 (.f64 (.f64 d3 d1) d3) d1)) (.f64 d1 (-.f64 d2 d3))))
(+.f64 (/.f64 (.f64 (.f64 (.f64 d2 d1) d2) d1) (.f64 d1 (-.f64 d2 d3))) (/.f64 (.f64 (.f64 (neg.f64 d1) d3) (.f64 d3 d1)) (.f64 d1 (-.f64 d2 d3))))
(+.f64 (/.f64 (.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1)) (fma.f64 (.f64 (.f64 d2 d1) d2) d1 (.f64 (.f64 d3 d1) (-.f64 (.f64 d3 d1) (.f64 d2 d1))))) (/.f64 (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1)) (fma.f64 (.f64 (.f64 d2 d1) d2) d1 (.f64 (.f64 d3 d1) (-.f64 (.f64 d3 d1) (.f64 d2 d1))))))
(+.f64 (/.f64 (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1)) (fma.f64 (.f64 (.f64 d2 d1) d2) d1 (.f64 (.f64 d3 d1) (-.f64 (.f64 d3 d1) (.f64 d2 d1))))) (/.f64 (.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1)) (fma.f64 (.f64 (.f64 d2 d1) d2) d1 (.f64 (.f64 d3 d1) (-.f64 (.f64 d3 d1) (.f64 d2 d1))))))
(+.f64 (neg.f64 (.f64 (neg.f64 d1) d2)) (neg.f64 (neg.f64 (.f64 (*.f64 d3 d1) #s(literal 1 binary64)))))
(+.f64 (neg.f64 (.f64 (neg.f64 d1) d2)) (neg.f64 (.f64 (neg.f64 d1) d3)))
(+.f64 (neg.f64 (.f64 (neg.f64 d1) d3)) (neg.f64 (neg.f64 (.f64 (*.f64 d2 d1) #s(literal 1 binary64)))))
(+.f64 (neg.f64 (.f64 (.f64 d3 d1) #s(literal 1 binary64))) (*.f64 (neg.f64 d1) d2))
(+.f64 (neg.f64 (.f64 (.f64 d2 d1) #s(literal 1 binary64))) (*.f64 (neg.f64 d1) d3))
(+.f64 (.f64 (.f64 d2 d1) #s(literal 1 binary64)) (*.f64 d3 d1))
(+.f64 (.f64 (.f64 d3 d1) #s(literal 1 binary64)) (*.f64 d2 d1))
(+.f64 (.f64 (neg.f64 d1) d2) (neg.f64 (.f64 (*.f64 d3 d1) #s(literal 1 binary64))))
(+.f64 (.f64 (neg.f64 d1) d2) (.f64 (neg.f64 d1) d3))
(+.f64 (.f64 (neg.f64 d1) d3) (neg.f64 (.f64 (*.f64 d2 d1) #s(literal 1 binary64))))
(+.f64 (.f64 (neg.f64 d1) d3) (.f64 (neg.f64 d1) d2))
(+.f64 (.f64 d3 d1) (.f64 (*.f64 d2 d1) #s(literal 1 binary64)))
(+.f64 (.f64 d3 d1) (.f64 d2 d1))
(+.f64 (.f64 d2 d1) (.f64 (neg.f64 (neg.f64 d1)) d3))
(+.f64 (.f64 d2 d1) (neg.f64 (.f64 (neg.f64 d1) d3)))
(+.f64 (.f64 d2 d1) (.f64 (*.f64 d3 d1) #s(literal 1 binary64)))
(+.f64 (.f64 d2 d1) (.f64 d3 d1))
(*.f64 d2 d1)
(*.f64 d1 d2)
d1
d2
(*.f64 d3 d1)
(*.f64 d1 d3)
d3
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 (+.f64 d3 d2) d1))
#s(approx (* d1 d2) (*.f64 d2 d1))
#s(approx d1 d1)
#s(approx (* d1 d3) (*.f64 d3 d1))
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 (+.f64 d3 d2) d1))
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 (+.f64 d3 d2) d1))
#s(approx d2 d2)
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 (+.f64 d3 d2) d1))
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 (+.f64 d3 d2) d1))
#s(approx d3 d3)
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 (+.f64 d3 d2) d1))
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 (+.f64 d3 d2) d1))

eval25.0ms (1.5%)

Memory: 28.7MiB live, 72.2MiB allocated; 5ms collecting garbage
Compiler: Compiled 2 777 to 554 computations (80.1% saved)

prune5.0ms (0.3%)

Memory

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

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	275	1	276
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	276	1	277

Accuracy

100.0%

Counts

277 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(*.f64 (+.f64 d3 d2) d1)

Compiler

Compiled 5 to 5 computations (0% saved)

series6.0ms (0.3%)

Memory

-34.5MiB live, 11.1MiB allocated; 4ms collecting garbage

Counts

5 → 16

Calls

Call 1

Inputs
(*.f64 (+.f64 d3 d2) d1)
(+.f64 d3 d2)
d3
d2
d1

Outputs
#s(approx (* (+ d3 d2) d1) #s(hole binary64 (* d1 (+ d2 d3))))
#s(approx d1 #s(hole binary64 d1))
#s(approx (* (+ d3 d2) d1) #s(hole binary64 (* d1 d3)))
#s(approx (* (+ d3 d2) d1) #s(hole binary64 (+ (* d1 d2) (* d1 d3))))
#s(approx (+ d3 d2) #s(hole binary64 d3))
#s(approx (+ d3 d2) #s(hole binary64 (+ d2 d3)))
#s(approx d2 #s(hole binary64 d2))
#s(approx (* (+ d3 d2) d1) #s(hole binary64 (* d1 d2)))
#s(approx (* (+ d3 d2) d1) #s(hole binary64 (* d2 (+ d1 (/ (* d1 d3) d2)))))
#s(approx (+ d3 d2) #s(hole binary64 (* d2 (+ 1 (/ d3 d2)))))
#s(approx (* (+ d3 d2) d1) #s(hole binary64 (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))))
#s(approx (+ d3 d2) #s(hole binary64 (* -1 (* d2 (- (* -1 (/ d3 d2)) 1)))))
#s(approx (* (+ d3 d2) d1) #s(hole binary64 (* d3 (+ d1 (/ (* d1 d2) d3)))))
#s(approx (+ d3 d2) #s(hole binary64 (* d3 (+ 1 (/ d2 d3)))))
#s(approx (* (+ d3 d2) d1) #s(hole binary64 (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))))
#s(approx (+ d3 d2) #s(hole binary64 (* -1 (* d3 (- (* -1 (/ d2 d3)) 1)))))

Calls

9 calls:

Time	Variable		Point	Expression
2.0ms	d1	@	-inf	((* (+ d3 d2) d1) (+ d3 d2) d3 d2 d1)
0.0ms	d3	@	-inf	((* (+ d3 d2) d1) (+ d3 d2) d3 d2 d1)
0.0ms	d1	@	inf	((* (+ d3 d2) d1) (+ d3 d2) d3 d2 d1)
0.0ms	d2	@	-inf	((* (+ d3 d2) d1) (+ d3 d2) d3 d2 d1)
0.0ms	d2	@	inf	((* (+ d3 d2) d1) (+ d3 d2) d3 d2 d1)

rewrite226.0ms (13.2%)

Memory

-33.0MiB live, 249.9MiB allocated; 158ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	59	195
0	61	141
1	359	141
2	3711	141
0	8405	141

Stop Event

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

Counts

21 → 321

Calls

Call 1

Inputs
(*.f64 (+.f64 d3 d2) d1)
(+.f64 d3 d2)
d3
d2
d1
#s(approx (* (+ d3 d2) d1) #s(hole binary64 (* d1 (+ d2 d3))))
#s(approx d1 #s(hole binary64 d1))
#s(approx (* (+ d3 d2) d1) #s(hole binary64 (* d1 d3)))
#s(approx (* (+ d3 d2) d1) #s(hole binary64 (+ (* d1 d2) (* d1 d3))))
#s(approx (+ d3 d2) #s(hole binary64 d3))
#s(approx (+ d3 d2) #s(hole binary64 (+ d2 d3)))
#s(approx d2 #s(hole binary64 d2))
#s(approx (* (+ d3 d2) d1) #s(hole binary64 (* d1 d2)))
#s(approx (* (+ d3 d2) d1) #s(hole binary64 (* d2 (+ d1 (/ (* d1 d3) d2)))))
#s(approx (+ d3 d2) #s(hole binary64 (* d2 (+ 1 (/ d3 d2)))))
#s(approx (* (+ d3 d2) d1) #s(hole binary64 (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))))
#s(approx (+ d3 d2) #s(hole binary64 (* -1 (* d2 (- (* -1 (/ d3 d2)) 1)))))
#s(approx (* (+ d3 d2) d1) #s(hole binary64 (* d3 (+ d1 (/ (* d1 d2) d3)))))
#s(approx (+ d3 d2) #s(hole binary64 (* d3 (+ 1 (/ d2 d3)))))
#s(approx (* (+ d3 d2) d1) #s(hole binary64 (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))))
#s(approx (+ d3 d2) #s(hole binary64 (* -1 (* d3 (- (* -1 (/ d2 d3)) 1)))))

Outputs
(.f64 (.f64 (fma.f64 d1 (/.f64 d3 (*.f64 d1 d2)) #s(literal 1 binary64)) d2) d1)
(.f64 (.f64 (neg.f64 d2) (fma.f64 d1 (/.f64 d3 (*.f64 d1 d2)) #s(literal 1 binary64))) (neg.f64 d1))
(.f64 (.f64 (neg.f64 d3) (fma.f64 d1 (/.f64 d2 (*.f64 d1 d3)) #s(literal 1 binary64))) (neg.f64 d1))
(.f64 (.f64 d2 (fma.f64 d1 (/.f64 d3 (*.f64 d1 d2)) #s(literal 1 binary64))) (neg.f64 d1))
(.f64 (.f64 d2 (fma.f64 d1 (/.f64 d3 (*.f64 d1 d2)) #s(literal 1 binary64))) d1)
(.f64 (.f64 d3 (fma.f64 d1 (/.f64 d2 (*.f64 d1 d3)) #s(literal 1 binary64))) (neg.f64 d1))
(.f64 (.f64 d3 (fma.f64 d1 (/.f64 d2 (*.f64 d1 d3)) #s(literal 1 binary64))) d1)
(.f64 (.f64 (neg.f64 d3) #s(literal -1 binary64)) (fma.f64 (/.f64 d2 d3) d1 d1))
(.f64 (.f64 (neg.f64 d2) #s(literal -1 binary64)) (fma.f64 (/.f64 d3 d2) d1 d1))
(.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 (neg.f64 d3) d1) (.f64 d1 d2))) (.f64 d1 d2))
(.f64 (fma.f64 d1 (/.f64 d2 (.f64 d1 d3)) #s(literal 1 binary64)) (*.f64 (neg.f64 d3) d1))
(.f64 (fma.f64 d1 (/.f64 d2 (.f64 d1 d3)) #s(literal 1 binary64)) (*.f64 d1 d3))
(.f64 (fma.f64 d1 (/.f64 d3 (.f64 d1 d2)) #s(literal 1 binary64)) (*.f64 (neg.f64 d2) d1))
(.f64 (fma.f64 d1 (/.f64 d3 (.f64 d1 d2)) #s(literal 1 binary64)) (*.f64 d1 d2))
(.f64 (.f64 (.f64 (+.f64 d2 d3) d1) (.f64 d1 (-.f64 d2 d3))) (/.f64 #s(literal 1 binary64) (*.f64 d1 (-.f64 d2 d3))))
(.f64 (fma.f64 (.f64 (.f64 d1 d1) d1) (.f64 (.f64 d3 d3) d3) (.f64 (.f64 (.f64 d1 d1) d1) (.f64 (.f64 d2 d2) d2))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 (.f64 d1 d2) d1) d2 (.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2))))))
(*.f64 (neg.f64 d3) (fma.f64 (/.f64 d2 d3) d1 d1))
(*.f64 (neg.f64 d2) (fma.f64 (/.f64 d3 d2) d1 d1))
(.f64 (-.f64 (/.f64 d2 d3) #s(literal -1 binary64)) (.f64 d1 d3))
(*.f64 (fma.f64 (/.f64 d2 d3) d1 d1) (neg.f64 d3))
(*.f64 (fma.f64 (/.f64 d2 d3) d1 d1) d3)
(.f64 #s(literal -1 binary64) (.f64 (+.f64 d2 d3) d1))
(.f64 (-.f64 (/.f64 d3 d2) #s(literal -1 binary64)) (.f64 d1 d2))
(*.f64 (fma.f64 (/.f64 d3 d2) d1 d1) (neg.f64 d2))
(*.f64 (fma.f64 (/.f64 d3 d2) d1 d1) d2)
(.f64 (.f64 d1 d2) (fma.f64 d1 (/.f64 d3 (*.f64 d1 d2)) #s(literal 1 binary64)))
(.f64 (.f64 d1 d2) (-.f64 (/.f64 d3 d2) #s(literal -1 binary64)))
(.f64 (.f64 d1 d3) (-.f64 (/.f64 d2 d3) #s(literal -1 binary64)))
(.f64 (.f64 (+.f64 d2 d3) d1) #s(literal -1 binary64))
(*.f64 (+.f64 d2 d3) d1)
(*.f64 d1 (+.f64 d2 d3))
(.f64 d2 (.f64 (-.f64 (/.f64 d3 d2) #s(literal -1 binary64)) d1))
(*.f64 d2 (fma.f64 (/.f64 d3 d2) d1 d1))
(.f64 d3 (.f64 (-.f64 (/.f64 d2 d3) #s(literal -1 binary64)) d1))
(*.f64 d3 (fma.f64 (/.f64 d2 d3) d1 d1))
(pow.f64 (/.f64 (.f64 d1 (-.f64 d2 d3)) (.f64 (.f64 (+.f64 d2 d3) d1) (.f64 d1 (-.f64 d2 d3)))) #s(literal -1 binary64))
(pow.f64 (/.f64 (fma.f64 (.f64 (.f64 d1 d2) d1) d2 (.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)))) (fma.f64 (.f64 (.f64 d1 d1) d1) (.f64 (.f64 d3 d3) d3) (.f64 (.f64 (.f64 d1 d1) d1) (.f64 (*.f64 d2 d2) d2)))) #s(literal -1 binary64))
(/.f64 (neg.f64 (.f64 d2 (fma.f64 (.f64 d1 d1) d1 (pow.f64 (/.f64 (.f64 d1 d3) d2) #s(literal 3 binary64))))) (neg.f64 (fma.f64 (/.f64 (.f64 d1 d3) d2) (-.f64 (/.f64 (.f64 d1 d3) d2) d1) (.f64 d1 d1))))
(/.f64 (neg.f64 (.f64 d3 (fma.f64 (.f64 d1 d1) d1 (pow.f64 (/.f64 (.f64 d1 d2) d3) #s(literal 3 binary64))))) (neg.f64 (fma.f64 (/.f64 (.f64 d1 d2) d3) (-.f64 (/.f64 (.f64 d1 d2) d3) d1) (.f64 d1 d1))))
(/.f64 (neg.f64 (.f64 (fma.f64 (.f64 d1 d1) d1 (pow.f64 (/.f64 (.f64 d1 d3) d2) #s(literal 3 binary64))) d2)) (neg.f64 (fma.f64 (/.f64 (.f64 d1 d3) d2) (-.f64 (/.f64 (.f64 d1 d3) d2) d1) (.f64 d1 d1))))
(/.f64 (neg.f64 (.f64 (fma.f64 (.f64 d1 d1) d1 (pow.f64 (/.f64 (.f64 d1 d2) d3) #s(literal 3 binary64))) d3)) (neg.f64 (fma.f64 (/.f64 (.f64 d1 d2) d3) (-.f64 (/.f64 (.f64 d1 d2) d3) d1) (.f64 d1 d1))))
(/.f64 (neg.f64 (.f64 d1 (.f64 (+.f64 d2 d3) (-.f64 d3 d2)))) (-.f64 d2 d3))
(/.f64 (neg.f64 (.f64 d1 (.f64 (+.f64 d2 d3) (-.f64 d2 d3)))) (-.f64 d3 d2))
(/.f64 (neg.f64 (.f64 d1 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2)))) (neg.f64 (fma.f64 d2 (-.f64 d2 d3) (*.f64 d3 d3))))
(/.f64 (neg.f64 (.f64 d1 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2)))) (neg.f64 (fma.f64 d3 (-.f64 d3 d2) (*.f64 d2 d2))))
(/.f64 (neg.f64 (.f64 d2 (.f64 (fma.f64 (/.f64 d3 d2) d1 d1) (-.f64 d1 (/.f64 (.f64 d1 d3) d2))))) (neg.f64 (-.f64 d1 (/.f64 (.f64 d1 d3) d2))))
(/.f64 (neg.f64 (.f64 d2 (.f64 (+.f64 d2 d3) d1))) (neg.f64 d2))
(/.f64 (neg.f64 (.f64 (neg.f64 d2) (.f64 (fma.f64 (/.f64 d3 d2) d1 d1) (-.f64 d1 (/.f64 (.f64 d1 d3) d2))))) (neg.f64 (-.f64 d1 (/.f64 (.f64 d1 d3) d2))))
(/.f64 (neg.f64 (.f64 (neg.f64 d2) (fma.f64 (.f64 d1 d1) d1 (pow.f64 (/.f64 (.f64 d1 d3) d2) #s(literal 3 binary64))))) (neg.f64 (fma.f64 (/.f64 (.f64 d1 d3) d2) (-.f64 (/.f64 (.f64 d1 d3) d2) d1) (.f64 d1 d1))))
(/.f64 (neg.f64 (.f64 (neg.f64 d3) (.f64 (fma.f64 (/.f64 d2 d3) d1 d1) (-.f64 d1 (/.f64 (.f64 d1 d2) d3))))) (neg.f64 (-.f64 d1 (/.f64 (.f64 d1 d2) d3))))
(/.f64 (neg.f64 (.f64 (neg.f64 d3) (fma.f64 (.f64 d1 d1) d1 (pow.f64 (/.f64 (.f64 d1 d2) d3) #s(literal 3 binary64))))) (neg.f64 (fma.f64 (/.f64 (.f64 d1 d2) d3) (-.f64 (/.f64 (.f64 d1 d2) d3) d1) (.f64 d1 d1))))
(/.f64 (neg.f64 (.f64 d3 (.f64 (fma.f64 (/.f64 d2 d3) d1 d1) (-.f64 d1 (/.f64 (.f64 d1 d2) d3))))) (neg.f64 (-.f64 d1 (/.f64 (.f64 d1 d2) d3))))
(/.f64 (neg.f64 (.f64 d3 (.f64 (+.f64 d2 d3) d1))) (neg.f64 d3))
(/.f64 (neg.f64 (.f64 (.f64 (+.f64 d2 d3) (-.f64 d3 d2)) d1)) (-.f64 d2 d3))
(/.f64 (neg.f64 (.f64 (.f64 (+.f64 d2 d3) (-.f64 d2 d3)) d1)) (-.f64 d3 d2))
(/.f64 (neg.f64 (.f64 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2)) d1)) (neg.f64 (fma.f64 d2 (-.f64 d2 d3) (*.f64 d3 d3))))
(/.f64 (neg.f64 (.f64 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2)) d1)) (neg.f64 (fma.f64 d3 (-.f64 d3 d2) (*.f64 d2 d2))))
(/.f64 (neg.f64 (.f64 (.f64 (fma.f64 (/.f64 d3 d2) d1 d1) (-.f64 d1 (/.f64 (.f64 d1 d3) d2))) d2)) (neg.f64 (-.f64 d1 (/.f64 (.f64 d1 d3) d2))))
(/.f64 (neg.f64 (.f64 (.f64 (+.f64 d2 d3) d1) d2)) (neg.f64 d2))
(/.f64 (neg.f64 (.f64 (.f64 (fma.f64 (/.f64 d2 d3) d1 d1) (-.f64 d1 (/.f64 (.f64 d1 d2) d3))) d3)) (neg.f64 (-.f64 d1 (/.f64 (.f64 d1 d2) d3))))
(/.f64 (neg.f64 (.f64 (.f64 (+.f64 d2 d3) d1) d3)) (neg.f64 d3))
(/.f64 (neg.f64 (neg.f64 (.f64 (.f64 (+.f64 d2 d3) d1) (.f64 d1 (-.f64 d2 d3))))) (neg.f64 (neg.f64 (.f64 d1 (-.f64 d2 d3)))))
(/.f64 (neg.f64 (neg.f64 (fma.f64 (.f64 (.f64 d1 d1) d1) (.f64 (.f64 d3 d3) d3) (.f64 (.f64 (.f64 d1 d1) d1) (.f64 (.f64 d2 d2) d2))))) (neg.f64 (neg.f64 (fma.f64 (.f64 (.f64 d1 d2) d1) d2 (.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (*.f64 d1 d2)))))))
(/.f64 (.f64 d1 (.f64 (+.f64 d2 d3) (-.f64 d3 d2))) (-.f64 d3 d2))
(/.f64 (.f64 d1 (.f64 (+.f64 d2 d3) (-.f64 d2 d3))) (-.f64 d2 d3))
(/.f64 (.f64 d1 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2))) (fma.f64 d2 (-.f64 d2 d3) (*.f64 d3 d3)))
(/.f64 (.f64 d1 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2))) (fma.f64 d3 (-.f64 d3 d2) (*.f64 d2 d2)))
(/.f64 (.f64 d2 (.f64 (fma.f64 (/.f64 d3 d2) d1 d1) (-.f64 d1 (/.f64 (.f64 d1 d3) d2)))) (-.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(/.f64 (.f64 d2 (.f64 (+.f64 d2 d3) d1)) d2)
(/.f64 (.f64 (neg.f64 d2) (.f64 (fma.f64 (/.f64 d3 d2) d1 d1) (-.f64 d1 (/.f64 (.f64 d1 d3) d2)))) (-.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(/.f64 (.f64 (neg.f64 d2) (fma.f64 (.f64 d1 d1) d1 (pow.f64 (/.f64 (.f64 d1 d3) d2) #s(literal 3 binary64)))) (fma.f64 (/.f64 (.f64 d1 d3) d2) (-.f64 (/.f64 (.f64 d1 d3) d2) d1) (.f64 d1 d1)))
(/.f64 (.f64 (neg.f64 d3) (.f64 (fma.f64 (/.f64 d2 d3) d1 d1) (-.f64 d1 (/.f64 (.f64 d1 d2) d3)))) (-.f64 d1 (/.f64 (.f64 d1 d2) d3)))
(/.f64 (.f64 (neg.f64 d3) (fma.f64 (.f64 d1 d1) d1 (pow.f64 (/.f64 (.f64 d1 d2) d3) #s(literal 3 binary64)))) (fma.f64 (/.f64 (.f64 d1 d2) d3) (-.f64 (/.f64 (.f64 d1 d2) d3) d1) (.f64 d1 d1)))
(/.f64 (.f64 d2 (fma.f64 (.f64 d1 d1) d1 (pow.f64 (/.f64 (.f64 d1 d3) d2) #s(literal 3 binary64)))) (fma.f64 (/.f64 (.f64 d1 d3) d2) (-.f64 (/.f64 (.f64 d1 d3) d2) d1) (.f64 d1 d1)))
(/.f64 (.f64 d3 (fma.f64 (.f64 d1 d1) d1 (pow.f64 (/.f64 (.f64 d1 d2) d3) #s(literal 3 binary64)))) (fma.f64 (/.f64 (.f64 d1 d2) d3) (-.f64 (/.f64 (.f64 d1 d2) d3) d1) (.f64 d1 d1)))
(/.f64 (.f64 d3 (.f64 (fma.f64 (/.f64 d2 d3) d1 d1) (-.f64 d1 (/.f64 (.f64 d1 d2) d3)))) (-.f64 d1 (/.f64 (.f64 d1 d2) d3)))
(/.f64 (.f64 d3 (.f64 (+.f64 d2 d3) d1)) d3)
(/.f64 (.f64 (.f64 (+.f64 d2 d3) (-.f64 d3 d2)) d1) (-.f64 d3 d2))
(/.f64 (.f64 (.f64 (+.f64 d2 d3) (-.f64 d2 d3)) d1) (-.f64 d2 d3))
(/.f64 (.f64 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2)) d1) (fma.f64 d2 (-.f64 d2 d3) (*.f64 d3 d3)))
(/.f64 (.f64 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2)) d1) (fma.f64 d3 (-.f64 d3 d2) (*.f64 d2 d2)))
(/.f64 (.f64 (.f64 (fma.f64 (/.f64 d3 d2) d1 d1) (-.f64 d1 (/.f64 (.f64 d1 d3) d2))) d2) (-.f64 d1 (/.f64 (.f64 d1 d3) d2)))
(/.f64 (.f64 (.f64 (+.f64 d2 d3) d1) d2) d2)
(/.f64 (.f64 (fma.f64 (.f64 d1 d1) d1 (pow.f64 (/.f64 (.f64 d1 d3) d2) #s(literal 3 binary64))) d2) (fma.f64 (/.f64 (.f64 d1 d3) d2) (-.f64 (/.f64 (.f64 d1 d3) d2) d1) (.f64 d1 d1)))
(/.f64 (.f64 (fma.f64 (.f64 d1 d1) d1 (pow.f64 (/.f64 (.f64 d1 d2) d3) #s(literal 3 binary64))) d3) (fma.f64 (/.f64 (.f64 d1 d2) d3) (-.f64 (/.f64 (.f64 d1 d2) d3) d1) (.f64 d1 d1)))
(/.f64 (.f64 (.f64 (fma.f64 (/.f64 d2 d3) d1 d1) (-.f64 d1 (/.f64 (.f64 d1 d2) d3))) d3) (-.f64 d1 (/.f64 (.f64 d1 d2) d3)))
(/.f64 (.f64 (.f64 (+.f64 d2 d3) d1) d3) d3)
(/.f64 (-.f64 (.f64 (.f64 (.f64 d1 d3) d1) d3) (.f64 (.f64 (.f64 d1 d2) d1) d2)) (-.f64 (.f64 (neg.f64 d3) d1) (.f64 (neg.f64 d2) d1)))
(/.f64 (-.f64 (.f64 (.f64 (.f64 d1 d3) d1) d3) (.f64 (.f64 (.f64 d1 d2) d1) d2)) (-.f64 (.f64 d1 d3) (.f64 d1 d2)))
(/.f64 (neg.f64 (.f64 (.f64 (+.f64 d2 d3) d1) (.f64 d1 (-.f64 d2 d3)))) (neg.f64 (-.f64 (.f64 (neg.f64 d2) d1) (*.f64 (neg.f64 d3) d1))))
(/.f64 (neg.f64 (.f64 (.f64 (+.f64 d2 d3) d1) (.f64 d1 (-.f64 d2 d3)))) (neg.f64 (.f64 d1 (-.f64 d2 d3))))
(/.f64 (neg.f64 (fma.f64 (.f64 (.f64 d1 d1) d1) (.f64 (.f64 d3 d3) d3) (.f64 (.f64 (.f64 d1 d1) d1) (.f64 (.f64 d2 d2) d2)))) (neg.f64 (fma.f64 (.f64 (.f64 d1 d2) d1) d2 (-.f64 (.f64 (.f64 (.f64 d1 d3) d1) d3) (.f64 (.f64 (neg.f64 d2) d1) (*.f64 (neg.f64 d3) d1))))))
(/.f64 (neg.f64 (fma.f64 (.f64 (.f64 d1 d1) d1) (.f64 (.f64 d3 d3) d3) (.f64 (.f64 (.f64 d1 d1) d1) (.f64 (.f64 d2 d2) d2)))) (neg.f64 (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (-.f64 (.f64 (.f64 (.f64 d1 d2) d1) d2) (.f64 (.f64 (neg.f64 d3) d1) (*.f64 (neg.f64 d2) d1))))))
(/.f64 (neg.f64 (fma.f64 (.f64 (.f64 d1 d1) d1) (.f64 (.f64 d3 d3) d3) (.f64 (.f64 (.f64 d1 d1) d1) (.f64 (.f64 d2 d2) d2)))) (neg.f64 (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (-.f64 (.f64 (.f64 (.f64 d1 d2) d1) d2) (.f64 (.f64 (*.f64 d1 d2) d1) d3)))))
(/.f64 (neg.f64 (fma.f64 (.f64 (.f64 d1 d1) d1) (.f64 (.f64 d3 d3) d3) (.f64 (.f64 (.f64 d1 d1) d1) (.f64 (.f64 d2 d2) d2)))) (neg.f64 (fma.f64 (.f64 (.f64 d1 d2) d1) d2 (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 (neg.f64 d3) d1))))))
(/.f64 (neg.f64 (fma.f64 (.f64 (.f64 d1 d1) d1) (.f64 (.f64 d3 d3) d3) (.f64 (.f64 (.f64 d1 d1) d1) (.f64 (.f64 d2 d2) d2)))) (neg.f64 (fma.f64 (.f64 (.f64 d1 d2) d1) d2 (.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (*.f64 d1 d2))))))
(/.f64 (.f64 (.f64 (+.f64 d2 d3) d1) (.f64 d1 (-.f64 d2 d3))) (neg.f64 (-.f64 (.f64 (neg.f64 d3) d1) (*.f64 (neg.f64 d2) d1))))
(/.f64 (.f64 (.f64 (+.f64 d2 d3) d1) (.f64 d1 (-.f64 d2 d3))) (-.f64 (.f64 (neg.f64 d2) d1) (*.f64 (neg.f64 d3) d1)))
(/.f64 (.f64 (.f64 (+.f64 d2 d3) d1) (.f64 d1 (-.f64 d2 d3))) (.f64 d1 (-.f64 d2 d3)))
(/.f64 (fma.f64 (.f64 (.f64 d1 d1) d1) (.f64 (.f64 d3 d3) d3) (.f64 (.f64 (.f64 d1 d1) d1) (.f64 (.f64 d2 d2) d2))) (fma.f64 (.f64 (.f64 d1 d2) d1) d2 (-.f64 (.f64 (.f64 (.f64 d1 d3) d1) d3) (.f64 (.f64 (neg.f64 d2) d1) (*.f64 (neg.f64 d3) d1)))))
(/.f64 (fma.f64 (.f64 (.f64 d1 d1) d1) (.f64 (.f64 d3 d3) d3) (.f64 (.f64 (.f64 d1 d1) d1) (.f64 (.f64 d2 d2) d2))) (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (-.f64 (.f64 (.f64 (.f64 d1 d2) d1) d2) (.f64 (.f64 (neg.f64 d3) d1) (*.f64 (neg.f64 d2) d1)))))
(/.f64 (fma.f64 (.f64 (.f64 d1 d1) d1) (.f64 (.f64 d3 d3) d3) (.f64 (.f64 (.f64 d1 d1) d1) (.f64 (.f64 d2 d2) d2))) (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (-.f64 (.f64 (.f64 (.f64 d1 d2) d1) d2) (.f64 (.f64 (*.f64 d1 d2) d1) d3))))
(/.f64 (fma.f64 (.f64 (.f64 d1 d1) d1) (.f64 (.f64 d3 d3) d3) (.f64 (.f64 (.f64 d1 d1) d1) (.f64 (.f64 d2 d2) d2))) (fma.f64 (.f64 (.f64 d1 d2) d1) d2 (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 (neg.f64 d3) d1)))))
(/.f64 (fma.f64 (.f64 (.f64 d1 d1) d1) (.f64 (.f64 d3 d3) d3) (.f64 (.f64 (.f64 d1 d1) d1) (.f64 (.f64 d2 d2) d2))) (fma.f64 (.f64 (.f64 d1 d2) d1) d2 (.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (*.f64 d1 d2)))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 (.f64 d1 (-.f64 d2 d3)) (.f64 (.f64 (+.f64 d2 d3) d1) (.f64 d1 (-.f64 d2 d3))))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 (fma.f64 (.f64 (.f64 d1 d2) d1) d2 (.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)))) (fma.f64 (.f64 (.f64 d1 d1) d1) (.f64 (.f64 d3 d3) d3) (.f64 (.f64 (.f64 d1 d1) d1) (.f64 (*.f64 d2 d2) d2))))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 d1 (-.f64 d2 d3)) (.f64 (.f64 (+.f64 d2 d3) d1) (.f64 d1 (-.f64 d2 d3)))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (.f64 (.f64 d1 d2) d1) d2 (.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2)))) (fma.f64 (.f64 (.f64 d1 d1) d1) (.f64 (.f64 d3 d3) d3) (.f64 (.f64 (.f64 d1 d1) d1) (.f64 (*.f64 d2 d2) d2)))))
(neg.f64 (.f64 #s(literal 1 binary64) (.f64 (+.f64 d2 d3) d1)))
(neg.f64 (.f64 (.f64 (+.f64 d2 d3) d1) #s(literal 1 binary64)))
(neg.f64 (*.f64 (+.f64 d2 d3) d1))
(fma.f64 (.f64 d2 (.f64 d1 d3)) (/.f64 #s(literal 1 binary64) d2) (*.f64 d1 d2))
(fma.f64 (.f64 d3 (.f64 d1 d2)) (/.f64 #s(literal 1 binary64) d3) (*.f64 (neg.f64 (neg.f64 d1)) d3))
(fma.f64 (.f64 d3 (.f64 d1 d2)) (/.f64 #s(literal 1 binary64) d3) (neg.f64 (*.f64 (neg.f64 d3) d1)))
(fma.f64 (.f64 d3 (.f64 d1 d2)) (/.f64 #s(literal 1 binary64) d3) (*.f64 d1 d3))
(fma.f64 (.f64 (neg.f64 d2) d1) #s(literal -1 binary64) (.f64 (*.f64 (neg.f64 d3) d1) #s(literal -1 binary64)))
(fma.f64 (.f64 (neg.f64 d3) d1) #s(literal -1 binary64) (.f64 (*.f64 (neg.f64 d2) d1) #s(literal -1 binary64)))
(fma.f64 (neg.f64 d3) (.f64 (neg.f64 d1) (/.f64 d2 d3)) (.f64 (neg.f64 d3) (neg.f64 d1)))
(fma.f64 (neg.f64 d3) (/.f64 (.f64 d1 d2) d3) (.f64 (neg.f64 d3) d1))
(fma.f64 (neg.f64 d3) (neg.f64 d1) (.f64 (neg.f64 d3) (.f64 (neg.f64 d1) (/.f64 d2 d3))))
(fma.f64 (neg.f64 d3) d1 (*.f64 (neg.f64 d2) d1))
(fma.f64 (neg.f64 d2) (.f64 (neg.f64 d1) (/.f64 d3 d2)) (.f64 (neg.f64 d2) (neg.f64 d1)))
(fma.f64 (neg.f64 d2) (neg.f64 d1) (.f64 (neg.f64 d2) (.f64 (neg.f64 d1) (/.f64 d3 d2))))
(fma.f64 (neg.f64 d2) (/.f64 (.f64 d1 d3) d2) (.f64 (neg.f64 d2) d1))
(fma.f64 (neg.f64 d2) d1 (*.f64 (neg.f64 d3) d1))
(fma.f64 (.f64 (neg.f64 d1) (/.f64 d2 d3)) (neg.f64 d3) (.f64 (neg.f64 d1) (neg.f64 d3)))
(fma.f64 (.f64 (neg.f64 d1) (/.f64 d2 d3)) d3 (.f64 (neg.f64 d3) d1))
(fma.f64 (/.f64 (.f64 d1 d2) d3) (neg.f64 d3) (.f64 (neg.f64 d3) d1))
(fma.f64 (/.f64 (.f64 d1 d2) d3) d3 (.f64 (neg.f64 (neg.f64 d1)) d3))
(fma.f64 (/.f64 (.f64 d1 d2) d3) d3 (neg.f64 (.f64 (neg.f64 d3) d1)))
(fma.f64 (/.f64 (.f64 d1 d2) d3) d3 (.f64 d1 d3))
(fma.f64 (.f64 (neg.f64 d1) (/.f64 d3 d2)) (neg.f64 d2) (.f64 (neg.f64 d1) (neg.f64 d2)))
(fma.f64 (.f64 (neg.f64 d1) (/.f64 d3 d2)) d2 (.f64 (neg.f64 d2) d1))
(fma.f64 (neg.f64 d1) (neg.f64 d3) (.f64 (.f64 (neg.f64 d1) (/.f64 d2 d3)) (neg.f64 d3)))
(fma.f64 (neg.f64 d1) (neg.f64 d2) (.f64 (.f64 (neg.f64 d1) (/.f64 d3 d2)) (neg.f64 d2)))
(fma.f64 (neg.f64 d1) d2 (*.f64 (neg.f64 d3) d1))
(fma.f64 (neg.f64 d1) d3 (*.f64 (neg.f64 d2) d1))
(fma.f64 #s(literal -1 binary64) (.f64 (neg.f64 d2) d1) (.f64 #s(literal -1 binary64) (*.f64 (neg.f64 d3) d1)))
(fma.f64 #s(literal -1 binary64) (.f64 (neg.f64 d3) d1) (.f64 #s(literal -1 binary64) (*.f64 (neg.f64 d2) d1)))
(fma.f64 #s(literal -1 binary64) (.f64 d1 d2) (.f64 (neg.f64 d3) d1))
(fma.f64 #s(literal -1 binary64) (.f64 d1 d3) (.f64 (neg.f64 d2) d1))
(fma.f64 (/.f64 (.f64 d1 d3) d2) (neg.f64 d2) (.f64 (neg.f64 d2) d1))
(fma.f64 (/.f64 (.f64 d1 d3) d2) d2 (.f64 d1 d2))
(fma.f64 (.f64 d1 d2) #s(literal -1 binary64) (.f64 (neg.f64 d3) d1))
(fma.f64 (.f64 d1 d2) (/.f64 d3 d2) (.f64 d1 d2))
(fma.f64 (.f64 d1 d2) #s(literal 1 binary64) (.f64 (neg.f64 (neg.f64 d1)) d3))
(fma.f64 (.f64 d1 d2) #s(literal 1 binary64) (neg.f64 (.f64 (neg.f64 d3) d1)))
(fma.f64 (.f64 d1 d2) #s(literal 1 binary64) (.f64 d1 d3))
(fma.f64 (.f64 d1 d3) (/.f64 d2 d3) (.f64 (neg.f64 (neg.f64 d1)) d3))
(fma.f64 (.f64 d1 d3) (/.f64 d2 d3) (neg.f64 (.f64 (neg.f64 d3) d1)))
(fma.f64 (.f64 d1 d3) (/.f64 d2 d3) (.f64 d1 d3))
(fma.f64 (.f64 d1 d3) #s(literal -1 binary64) (.f64 (neg.f64 d2) d1))
(fma.f64 (.f64 d1 d3) #s(literal 1 binary64) (.f64 d1 d2))
(fma.f64 d1 (neg.f64 d3) (*.f64 (neg.f64 d2) d1))
(fma.f64 d1 (neg.f64 d2) (*.f64 (neg.f64 d3) d1))
(fma.f64 d1 d2 (*.f64 (neg.f64 (neg.f64 d1)) d3))
(fma.f64 d1 d2 (neg.f64 (*.f64 (neg.f64 d3) d1)))
(fma.f64 d1 d2 (*.f64 d1 d3))
(fma.f64 d1 d3 (*.f64 d1 d2))
(fma.f64 d2 (.f64 (neg.f64 d1) (/.f64 d3 d2)) (.f64 (neg.f64 d2) d1))
(fma.f64 d2 (neg.f64 d1) (*.f64 (neg.f64 d3) d1))
(fma.f64 d2 (/.f64 (.f64 d1 d3) d2) (.f64 d1 d2))
(fma.f64 d2 d1 (*.f64 (neg.f64 (neg.f64 d1)) d3))
(fma.f64 d2 d1 (neg.f64 (*.f64 (neg.f64 d3) d1)))
(fma.f64 d2 d1 (*.f64 d1 d3))
(fma.f64 d3 (.f64 (neg.f64 d1) (/.f64 d2 d3)) (.f64 (neg.f64 d3) d1))
(fma.f64 d3 (/.f64 (.f64 d1 d2) d3) (.f64 (neg.f64 (neg.f64 d1)) d3))
(fma.f64 d3 (/.f64 (.f64 d1 d2) d3) (neg.f64 (.f64 (neg.f64 d3) d1)))
(fma.f64 d3 (/.f64 (.f64 d1 d2) d3) (.f64 d1 d3))
(fma.f64 d3 (neg.f64 d1) (*.f64 (neg.f64 d2) d1))
(fma.f64 d3 d1 (*.f64 d1 d2))
(-.f64 (/.f64 (.f64 (.f64 (.f64 d1 d2) d1) d2) (.f64 d1 (-.f64 d2 d3))) (/.f64 (.f64 (.f64 (.f64 d1 d3) d1) d3) (.f64 d1 (-.f64 d2 d3))))
(-.f64 (.f64 (neg.f64 d2) d1) (.f64 (neg.f64 d2) (*.f64 (neg.f64 d1) (/.f64 d3 d2))))
(-.f64 (.f64 (neg.f64 d2) d1) (neg.f64 (.f64 (neg.f64 d3) d1)))
(-.f64 (.f64 (neg.f64 d2) d1) (.f64 d1 d3))
(-.f64 (.f64 (neg.f64 d3) d1) (.f64 (neg.f64 d3) (*.f64 (neg.f64 d1) (/.f64 d2 d3))))
(-.f64 (.f64 (neg.f64 d3) d1) (neg.f64 (.f64 (neg.f64 d2) d1)))
(-.f64 (.f64 (neg.f64 d3) d1) (.f64 d1 d2))
(-.f64 (.f64 d1 d2) (.f64 (neg.f64 d3) d1))
(-.f64 (.f64 d1 d3) (.f64 (neg.f64 d2) d1))
(+.f64 (.f64 (neg.f64 d2) (.f64 (neg.f64 d1) (/.f64 d3 d2))) (*.f64 (neg.f64 d2) (neg.f64 d1)))
(+.f64 (.f64 (neg.f64 d2) (neg.f64 d1)) (.f64 (neg.f64 d2) (*.f64 (neg.f64 d1) (/.f64 d3 d2))))
(+.f64 (.f64 #s(literal -1 binary64) (.f64 (neg.f64 d2) d1)) (.f64 #s(literal -1 binary64) (.f64 (neg.f64 d3) d1)))
(+.f64 (.f64 (neg.f64 d3) (.f64 (neg.f64 d1) (/.f64 d2 d3))) (*.f64 (neg.f64 d3) (neg.f64 d1)))
(+.f64 (.f64 (neg.f64 d3) (neg.f64 d1)) (.f64 (neg.f64 d3) (*.f64 (neg.f64 d1) (/.f64 d2 d3))))
(+.f64 (.f64 #s(literal -1 binary64) (.f64 (neg.f64 d3) d1)) (.f64 #s(literal -1 binary64) (.f64 (neg.f64 d2) d1)))
(+.f64 (.f64 (.f64 (neg.f64 d1) (/.f64 d3 d2)) (neg.f64 d2)) (*.f64 (neg.f64 d1) (neg.f64 d2)))
(+.f64 (.f64 (neg.f64 d1) (neg.f64 d2)) (.f64 (*.f64 (neg.f64 d1) (/.f64 d3 d2)) (neg.f64 d2)))
(+.f64 (.f64 (.f64 (neg.f64 d2) d1) #s(literal -1 binary64)) (.f64 (.f64 (neg.f64 d3) d1) #s(literal -1 binary64)))
(+.f64 (.f64 (.f64 (neg.f64 d1) (/.f64 d2 d3)) (neg.f64 d3)) (*.f64 (neg.f64 d1) (neg.f64 d3)))
(+.f64 (.f64 (neg.f64 d1) (neg.f64 d3)) (.f64 (*.f64 (neg.f64 d1) (/.f64 d2 d3)) (neg.f64 d3)))
(+.f64 (.f64 (.f64 (neg.f64 d3) d1) #s(literal -1 binary64)) (.f64 (.f64 (neg.f64 d2) d1) #s(literal -1 binary64)))
(+.f64 (/.f64 (.f64 (.f64 (.f64 d1 d1) d1) (.f64 (.f64 d2 d2) d2)) (fma.f64 (.f64 (.f64 d1 d2) d1) d2 (.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2))))) (/.f64 (.f64 (.f64 (.f64 d1 d1) d1) (.f64 (.f64 d3 d3) d3)) (fma.f64 (.f64 (.f64 d1 d2) d1) d2 (.f64 (.f64 d1 d3) (-.f64 (.f64 d1 d3) (.f64 d1 d2))))))
(+.f64 (neg.f64 (.f64 (neg.f64 d3) d1)) (neg.f64 (.f64 (neg.f64 d2) d1)))
(+.f64 (neg.f64 (.f64 (neg.f64 d2) d1)) (neg.f64 (.f64 (neg.f64 d3) d1)))
(+.f64 (.f64 (neg.f64 d2) d1) (.f64 (neg.f64 d3) d1))
(+.f64 (.f64 (neg.f64 d3) d1) (.f64 (neg.f64 d2) d1))
(+.f64 (.f64 d1 d2) (.f64 (neg.f64 (neg.f64 d1)) d3))
(+.f64 (.f64 d1 d2) (neg.f64 (.f64 (neg.f64 d3) d1)))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(+.f64 (.f64 d1 d3) (.f64 d1 d2))
(.f64 (.f64 (neg.f64 d2) (-.f64 (/.f64 d2 d3) #s(literal -1 binary64))) (/.f64 (neg.f64 d3) d2))
(.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (neg.f64 d3) d2) d2)) d2)
(.f64 (.f64 (neg.f64 d3) (-.f64 (/.f64 d3 d2) #s(literal -1 binary64))) (/.f64 (neg.f64 d2) d3))
(.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (neg.f64 d3) d2) d3)) d3)
(.f64 (.f64 (+.f64 d2 d3) (-.f64 d3 d2)) (/.f64 #s(literal -1 binary64) (-.f64 d2 d3)))
(.f64 (.f64 (+.f64 d2 d3) (-.f64 d2 d3)) (/.f64 #s(literal -1 binary64) (-.f64 d3 d2)))
(.f64 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2)) (/.f64 #s(literal 1 binary64) (fma.f64 d2 (-.f64 d2 d3) (*.f64 d3 d3))))
(.f64 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2)) (/.f64 #s(literal 1 binary64) (fma.f64 d3 (-.f64 d3 d2) (*.f64 d2 d2))))
(*.f64 (neg.f64 d3) (/.f64 (-.f64 (neg.f64 d3) d2) d3))
(*.f64 (neg.f64 d2) (/.f64 (-.f64 (neg.f64 d3) d2) d2))
(*.f64 (/.f64 (-.f64 (neg.f64 d3) d2) d3) (neg.f64 d3))
(*.f64 (-.f64 (/.f64 d2 d3) #s(literal -1 binary64)) d3)
(*.f64 (neg.f64 (+.f64 d2 d3)) #s(literal -1 binary64))
(*.f64 (/.f64 (-.f64 (neg.f64 d3) d2) d2) (neg.f64 d2))
(*.f64 #s(literal -1 binary64) (neg.f64 (+.f64 d2 d3)))
(*.f64 (-.f64 (/.f64 d3 d2) #s(literal -1 binary64)) d2)
(*.f64 (+.f64 d2 d3) #s(literal 1 binary64))
(.f64 d2 (.f64 (/.f64 (-.f64 (neg.f64 d3) d2) d2) #s(literal -1 binary64)))
(*.f64 d2 (-.f64 (/.f64 d3 d2) #s(literal -1 binary64)))
(.f64 d3 (.f64 (/.f64 (-.f64 (neg.f64 d3) d2) d3) #s(literal -1 binary64)))
(*.f64 d3 (-.f64 (/.f64 d2 d3) #s(literal -1 binary64)))
(pow.f64 (/.f64 (-.f64 d3 d2) (*.f64 (+.f64 d2 d3) (-.f64 d3 d2))) #s(literal -1 binary64))
(pow.f64 (/.f64 (fma.f64 d2 (-.f64 d2 d3) (.f64 d3 d3)) (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2))) #s(literal -1 binary64))
(pow.f64 (/.f64 (fma.f64 d3 (-.f64 d3 d2) (.f64 d2 d2)) (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2))) #s(literal -1 binary64))
(/.f64 (neg.f64 (*.f64 d2 (+.f64 d2 d3))) (neg.f64 d2))
(/.f64 (neg.f64 (.f64 d2 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 d3 d3) (*.f64 d2 d2))))) (neg.f64 (-.f64 #s(literal 1 binary64) (/.f64 d3 d2))))
(/.f64 (neg.f64 (.f64 d2 (fma.f64 (/.f64 (.f64 d3 d3) (*.f64 d2 d2)) (/.f64 d3 d2) #s(literal 1 binary64)))) (neg.f64 (fma.f64 (/.f64 d3 d2) (-.f64 (/.f64 d3 d2) #s(literal 1 binary64)) #s(literal 1 binary64))))
(/.f64 (neg.f64 (*.f64 d3 (+.f64 d2 d3))) (neg.f64 d3))
(/.f64 (neg.f64 (.f64 d3 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 d2 d2) (*.f64 d3 d3))))) (neg.f64 (-.f64 #s(literal 1 binary64) (/.f64 d2 d3))))
(/.f64 (neg.f64 (.f64 d3 (fma.f64 (/.f64 (.f64 d2 d2) (*.f64 d3 d3)) (/.f64 d2 d3) #s(literal 1 binary64)))) (neg.f64 (fma.f64 (/.f64 d2 d3) (-.f64 (/.f64 d2 d3) #s(literal 1 binary64)) #s(literal 1 binary64))))
(/.f64 (neg.f64 (*.f64 (neg.f64 d2) (fma.f64 (/.f64 d3 d2) (/.f64 d3 d2) #s(literal -1 binary64)))) (neg.f64 (-.f64 #s(literal 1 binary64) (/.f64 d3 d2))))
(/.f64 (neg.f64 (.f64 (neg.f64 d2) (fma.f64 (/.f64 (.f64 d3 d3) (*.f64 d2 d2)) (/.f64 d3 d2) #s(literal -1 binary64)))) (neg.f64 (/.f64 (fma.f64 (/.f64 d3 d2) d3 (-.f64 d2 d3)) d2)))
(/.f64 (neg.f64 (*.f64 (neg.f64 d3) (fma.f64 (/.f64 d2 d3) (/.f64 d2 d3) #s(literal -1 binary64)))) (neg.f64 (-.f64 #s(literal 1 binary64) (/.f64 d2 d3))))
(/.f64 (neg.f64 (.f64 (neg.f64 d3) (fma.f64 (/.f64 (.f64 d2 d2) (*.f64 d3 d3)) (/.f64 d2 d3) #s(literal -1 binary64)))) (neg.f64 (/.f64 (fma.f64 (/.f64 d2 d3) d2 (-.f64 d3 d2)) d3)))
(/.f64 (neg.f64 (*.f64 (+.f64 d2 d3) d3)) (neg.f64 d3))
(/.f64 (neg.f64 (.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 d2 d2) (*.f64 d3 d3))) d3)) (neg.f64 (-.f64 #s(literal 1 binary64) (/.f64 d2 d3))))
(/.f64 (neg.f64 (.f64 (fma.f64 (/.f64 (.f64 d2 d2) (*.f64 d3 d3)) (/.f64 d2 d3) #s(literal 1 binary64)) d3)) (neg.f64 (fma.f64 (/.f64 d2 d3) (-.f64 (/.f64 d2 d3) #s(literal 1 binary64)) #s(literal 1 binary64))))
(/.f64 (neg.f64 (*.f64 (+.f64 d2 d3) d2)) (neg.f64 d2))
(/.f64 (neg.f64 (.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 d3 d3) (*.f64 d2 d2))) d2)) (neg.f64 (-.f64 #s(literal 1 binary64) (/.f64 d3 d2))))
(/.f64 (neg.f64 (.f64 (fma.f64 (/.f64 (.f64 d3 d3) (*.f64 d2 d2)) (/.f64 d3 d2) #s(literal 1 binary64)) d2)) (neg.f64 (fma.f64 (/.f64 d3 d2) (-.f64 (/.f64 d3 d2) #s(literal 1 binary64)) #s(literal 1 binary64))))
(/.f64 (neg.f64 (neg.f64 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2)))) (neg.f64 (neg.f64 (fma.f64 d2 (-.f64 d2 d3) (.f64 d3 d3)))))
(/.f64 (neg.f64 (neg.f64 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2)))) (neg.f64 (neg.f64 (fma.f64 d3 (-.f64 d3 d2) (.f64 d2 d2)))))
(/.f64 (*.f64 d2 (+.f64 d2 d3)) d2)
(/.f64 (.f64 d2 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 d3 d3) (*.f64 d2 d2)))) (-.f64 #s(literal 1 binary64) (/.f64 d3 d2)))
(/.f64 (.f64 d2 (fma.f64 (/.f64 (.f64 d3 d3) (*.f64 d2 d2)) (/.f64 d3 d2) #s(literal 1 binary64))) (fma.f64 (/.f64 d3 d2) (-.f64 (/.f64 d3 d2) #s(literal 1 binary64)) #s(literal 1 binary64)))
(/.f64 (*.f64 d3 (+.f64 d2 d3)) d3)
(/.f64 (.f64 d3 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 d2 d2) (*.f64 d3 d3)))) (-.f64 #s(literal 1 binary64) (/.f64 d2 d3)))
(/.f64 (.f64 d3 (fma.f64 (/.f64 (.f64 d2 d2) (*.f64 d3 d3)) (/.f64 d2 d3) #s(literal 1 binary64))) (fma.f64 (/.f64 d2 d3) (-.f64 (/.f64 d2 d3) #s(literal 1 binary64)) #s(literal 1 binary64)))
(/.f64 (*.f64 (neg.f64 d2) (fma.f64 (/.f64 d3 d2) (/.f64 d3 d2) #s(literal -1 binary64))) (-.f64 #s(literal 1 binary64) (/.f64 d3 d2)))
(/.f64 (.f64 (neg.f64 d2) (fma.f64 (/.f64 (.f64 d3 d3) (*.f64 d2 d2)) (/.f64 d3 d2) #s(literal -1 binary64))) (/.f64 (fma.f64 (/.f64 d3 d2) d3 (-.f64 d2 d3)) d2))
(/.f64 (*.f64 (neg.f64 d3) (fma.f64 (/.f64 d2 d3) (/.f64 d2 d3) #s(literal -1 binary64))) (-.f64 #s(literal 1 binary64) (/.f64 d2 d3)))
(/.f64 (.f64 (neg.f64 d3) (fma.f64 (/.f64 (.f64 d2 d2) (*.f64 d3 d3)) (/.f64 d2 d3) #s(literal -1 binary64))) (/.f64 (fma.f64 (/.f64 d2 d3) d2 (-.f64 d3 d2)) d3))
(/.f64 (*.f64 (+.f64 d2 d3) d3) d3)
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 d2 d2) (*.f64 d3 d3))) d3) (-.f64 #s(literal 1 binary64) (/.f64 d2 d3)))
(/.f64 (.f64 (fma.f64 (/.f64 (.f64 d2 d2) (*.f64 d3 d3)) (/.f64 d2 d3) #s(literal 1 binary64)) d3) (fma.f64 (/.f64 d2 d3) (-.f64 (/.f64 d2 d3) #s(literal 1 binary64)) #s(literal 1 binary64)))
(/.f64 (*.f64 (+.f64 d2 d3) d2) d2)
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 d3 d3) (*.f64 d2 d2))) d2) (-.f64 #s(literal 1 binary64) (/.f64 d3 d2)))
(/.f64 (.f64 (fma.f64 (/.f64 (.f64 d3 d3) (*.f64 d2 d2)) (/.f64 d3 d2) #s(literal 1 binary64)) d2) (fma.f64 (/.f64 d3 d2) (-.f64 (/.f64 d3 d2) #s(literal 1 binary64)) #s(literal 1 binary64)))
(/.f64 (neg.f64 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2))) (neg.f64 (fma.f64 d2 d2 (fma.f64 d3 d3 (.f64 d2 (neg.f64 d3))))))
(/.f64 (neg.f64 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2))) (neg.f64 (fma.f64 d3 d3 (fma.f64 d2 d2 (.f64 d3 (neg.f64 d2))))))
(/.f64 (neg.f64 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2))) (neg.f64 (fma.f64 d2 (-.f64 d2 d3) (.f64 d3 d3))))
(/.f64 (neg.f64 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2))) (neg.f64 (fma.f64 d3 (-.f64 d3 d2) (.f64 d2 d2))))
(/.f64 (*.f64 (+.f64 d2 d3) (-.f64 d3 d2)) (-.f64 d3 d2))
(/.f64 (*.f64 (+.f64 d2 d3) (-.f64 d2 d3)) (-.f64 d2 d3))
(/.f64 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2)) (fma.f64 d2 d2 (fma.f64 d3 d3 (.f64 d2 (neg.f64 d3)))))
(/.f64 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2)) (fma.f64 d3 d3 (fma.f64 d2 d2 (.f64 d3 (neg.f64 d2)))))
(/.f64 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2)) (fma.f64 d2 (-.f64 d2 d3) (.f64 d3 d3)))
(/.f64 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2)) (fma.f64 d3 (-.f64 d3 d2) (.f64 d2 d2)))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 (-.f64 d3 d2) (*.f64 (+.f64 d2 d3) (-.f64 d3 d2)))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 (fma.f64 d2 (-.f64 d2 d3) (.f64 d3 d3)) (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2)))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 (fma.f64 d3 (-.f64 d3 d2) (.f64 d2 d2)) (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2)))))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 d3 d2) (*.f64 (+.f64 d2 d3) (-.f64 d3 d2))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 d2 (-.f64 d2 d3) (.f64 d3 d3)) (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 d3 (-.f64 d3 d2) (.f64 d2 d2)) (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2))))
(neg.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (+.f64 d2 d3))))
(neg.f64 (*.f64 (neg.f64 d2) (-.f64 (/.f64 d3 d2) #s(literal -1 binary64))))
(neg.f64 (*.f64 (neg.f64 d3) (-.f64 (/.f64 d2 d3) #s(literal -1 binary64))))
(neg.f64 (*.f64 (neg.f64 (+.f64 d2 d3)) #s(literal 1 binary64)))
(neg.f64 (-.f64 (neg.f64 d3) d2))
(neg.f64 (-.f64 (neg.f64 d2) d3))
(neg.f64 (neg.f64 (+.f64 d2 d3)))
(fma.f64 (neg.f64 d3) (/.f64 (neg.f64 d2) d3) (*.f64 (neg.f64 d3) #s(literal -1 binary64)))
(fma.f64 (neg.f64 d2) (/.f64 (neg.f64 d3) d2) (*.f64 (neg.f64 d2) #s(literal -1 binary64)))
(fma.f64 (/.f64 (neg.f64 d2) d3) (neg.f64 d3) (*.f64 #s(literal -1 binary64) (neg.f64 d3)))
(fma.f64 (/.f64 (neg.f64 d3) d2) (neg.f64 d2) (*.f64 #s(literal -1 binary64) (neg.f64 d2)))
(-.f64 (/.f64 (.f64 d3 d3) (-.f64 d3 d2)) (/.f64 (.f64 d2 d2) (-.f64 d3 d2)))
(-.f64 (/.f64 (.f64 d2 d2) (-.f64 d2 d3)) (/.f64 (.f64 d3 d3) (-.f64 d2 d3)))
(-.f64 d2 (*.f64 (neg.f64 d2) (/.f64 d3 d2)))
(-.f64 d2 (*.f64 (/.f64 (neg.f64 d3) d2) d2))
(-.f64 d2 (neg.f64 d3))
(-.f64 d3 (*.f64 (neg.f64 d3) (/.f64 d2 d3)))
(-.f64 d3 (*.f64 (/.f64 (neg.f64 d2) d3) d3))
(-.f64 d3 (neg.f64 d2))
(+.f64 (.f64 (neg.f64 d2) (/.f64 (neg.f64 d3) d2)) (.f64 (neg.f64 d2) #s(literal -1 binary64)))
(+.f64 (.f64 (neg.f64 d3) (/.f64 (neg.f64 d2) d3)) (.f64 (neg.f64 d3) #s(literal -1 binary64)))
(+.f64 (.f64 (/.f64 (neg.f64 d3) d2) (neg.f64 d2)) (.f64 #s(literal -1 binary64) (neg.f64 d2)))
(+.f64 (.f64 (/.f64 (neg.f64 d2) d3) (neg.f64 d3)) (.f64 #s(literal -1 binary64) (neg.f64 d3)))
(+.f64 (/.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 d2 (-.f64 d2 d3) (.f64 d3 d3))) (/.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 d2 (-.f64 d2 d3) (.f64 d3 d3))))
(+.f64 (/.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 d3 (-.f64 d3 d2) (.f64 d2 d2))) (/.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 d3 (-.f64 d3 d2) (.f64 d2 d2))))
(+.f64 d2 d3)
(+.f64 d3 d2)
d3
d2
d1
#s(approx (* (+ d3 d2) d1) (*.f64 (+.f64 d2 d3) d1))
#s(approx d1 d1)
#s(approx (* (+ d3 d2) d1) (*.f64 d1 d3))
#s(approx (* (+ d3 d2) d1) (*.f64 (+.f64 d2 d3) d1))
#s(approx (+ d3 d2) d3)
#s(approx (+ d3 d2) (+.f64 d2 d3))
#s(approx d2 d2)
#s(approx (* (+ d3 d2) d1) (*.f64 d1 d2))
#s(approx (* (+ d3 d2) d1) (*.f64 (+.f64 d2 d3) d1))
#s(approx (+ d3 d2) (+.f64 d2 d3))
#s(approx (* (+ d3 d2) d1) (*.f64 (+.f64 d2 d3) d1))
#s(approx (+ d3 d2) (+.f64 d2 d3))
#s(approx (* (+ d3 d2) d1) (*.f64 (+.f64 d2 d3) d1))
#s(approx (+ d3 d2) (+.f64 d2 d3))
#s(approx (* (+ d3 d2) d1) (*.f64 (+.f64 d2 d3) d1))
#s(approx (+ d3 d2) (+.f64 d2 d3))

eval46.0ms (2.7%)

Memory: 27.8MiB live, 74.0MiB allocated; 4ms collecting garbage
Compiler: Compiled 2 500 to 716 computations (71.4% saved)

prune23.0ms (1.3%)

Memory

-28.3MiB live, 18.4MiB allocated; 4ms collecting garbage

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	306	2	308
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	306	3	309

Accuracy

100.0%

Counts

309 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(*.f64 (+.f64 d3 d2) d1)
▶	58.5%	(*.f64 #s(approx (+ d3 d2) d3) d1)
▶	50.4%	#s(approx (* (+ d3 d2) d1) (*.f64 d1 d2))

Compiler

Compiled 18 to 18 computations (0% saved)

series4.0ms (0.3%)

Memory

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

Counts

7 → 16

Calls

Call 1

Inputs
#s(approx (* (+ d3 d2) d1) (*.f64 d1 d2))
(*.f64 d1 d2)
d1
d2
(*.f64 #s(approx (+ d3 d2) d3) d1)
#s(approx (+ d3 d2) d3)
d3

Outputs
#s(approx (* (+ d3 d2) d1) #s(hole binary64 (* d1 (+ d2 d3))))
#s(approx (* d1 d2) #s(hole binary64 (* d1 d2)))
#s(approx d1 #s(hole binary64 d1))
#s(approx (* (+ d3 d2) d1) #s(hole binary64 (* d1 d3)))
#s(approx (* (+ d3 d2) d1) #s(hole binary64 (+ (* d1 d2) (* d1 d3))))
#s(approx d2 #s(hole binary64 d2))
#s(approx (+ d3 d2) #s(hole binary64 d3))
#s(approx (+ d3 d2) #s(hole binary64 (+ d2 d3)))
#s(approx (* (+ d3 d2) d1) #s(hole binary64 (* d2 (+ d1 (/ (* d1 d3) d2)))))
#s(approx (+ d3 d2) #s(hole binary64 (* d2 (+ 1 (/ d3 d2)))))
#s(approx (* (+ d3 d2) d1) #s(hole binary64 (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))))
#s(approx (+ d3 d2) #s(hole binary64 (* -1 (* d2 (- (* -1 (/ d3 d2)) 1)))))
#s(approx (* (+ d3 d2) d1) #s(hole binary64 (* d3 (+ d1 (/ (* d1 d2) d3)))))
#s(approx (+ d3 d2) #s(hole binary64 (* d3 (+ 1 (/ d2 d3)))))
#s(approx (* (+ d3 d2) d1) #s(hole binary64 (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))))
#s(approx (+ d3 d2) #s(hole binary64 (* -1 (* d3 (- (* -1 (/ d2 d3)) 1)))))

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	d1	@	-inf	((* (+ d3 d2) d1) (* d1 d2) d1 d2 (* (+ d3 d2) d1) (+ d3 d2) d3)
1.0ms	d2	@	-inf	((* (+ d3 d2) d1) (* d1 d2) d1 d2 (* (+ d3 d2) d1) (+ d3 d2) d3)
1.0ms	d1	@	inf	((* (+ d3 d2) d1) (* d1 d2) d1 d2 (* (+ d3 d2) d1) (+ d3 d2) d3)
0.0ms	d2	@	inf	((* (+ d3 d2) d1) (* d1 d2) d1 d2 (* (+ d3 d2) d1) (+ d3 d2) d3)
0.0ms	d1	@	0	((* (+ d3 d2) d1) (* d1 d2) d1 d2 (* (+ d3 d2) d1) (+ d3 d2) d3)

rewrite156.0ms (9.1%)

Memory

12.7MiB live, 198.1MiB allocated; 22ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	60	209
0	62	155
1	360	155
2	3712	155
0	8423	155

Stop Event

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

Counts

23 → 40

Calls

Call 1

Inputs
#s(approx (* (+ d3 d2) d1) (*.f64 d1 d2))
(*.f64 d1 d2)
d1
d2
(*.f64 #s(approx (+ d3 d2) d3) d1)
#s(approx (+ d3 d2) d3)
d3
#s(approx (* (+ d3 d2) d1) #s(hole binary64 (* d1 (+ d2 d3))))
#s(approx (* d1 d2) #s(hole binary64 (* d1 d2)))
#s(approx d1 #s(hole binary64 d1))
#s(approx (* (+ d3 d2) d1) #s(hole binary64 (* d1 d3)))
#s(approx (* (+ d3 d2) d1) #s(hole binary64 (+ (* d1 d2) (* d1 d3))))
#s(approx d2 #s(hole binary64 d2))
#s(approx (+ d3 d2) #s(hole binary64 d3))
#s(approx (+ d3 d2) #s(hole binary64 (+ d2 d3)))
#s(approx (* (+ d3 d2) d1) #s(hole binary64 (* d2 (+ d1 (/ (* d1 d3) d2)))))
#s(approx (+ d3 d2) #s(hole binary64 (* d2 (+ 1 (/ d3 d2)))))
#s(approx (* (+ d3 d2) d1) #s(hole binary64 (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))))
#s(approx (+ d3 d2) #s(hole binary64 (* -1 (* d2 (- (* -1 (/ d3 d2)) 1)))))
#s(approx (* (+ d3 d2) d1) #s(hole binary64 (* d3 (+ d1 (/ (* d1 d2) d3)))))
#s(approx (+ d3 d2) #s(hole binary64 (* d3 (+ 1 (/ d2 d3)))))
#s(approx (* (+ d3 d2) d1) #s(hole binary64 (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))))
#s(approx (+ d3 d2) #s(hole binary64 (* -1 (* d3 (- (* -1 (/ d2 d3)) 1)))))

Outputs
#s(approx (* (+ d3 d2) d1) (*.f64 d1 d2))
(.f64 (.f64 d3 (*.f64 d1 d2)) (/.f64 #s(literal 1 binary64) d3))
(.f64 (/.f64 (.f64 d1 d2) d3) d3)
(.f64 (.f64 d1 d3) (/.f64 d2 d3))
(.f64 (.f64 d1 d2) #s(literal 1 binary64))
(*.f64 d1 d2)
(*.f64 d2 d1)
(.f64 d3 (/.f64 (.f64 d1 d2) d3))
(/.f64 (neg.f64 (.f64 d3 (.f64 d1 d2))) (neg.f64 d3))
(/.f64 (neg.f64 (.f64 (.f64 d1 d2) d3)) (neg.f64 d3))
(/.f64 (neg.f64 (.f64 d3 (.f64 (neg.f64 d2) d1))) d3)
(/.f64 (neg.f64 (.f64 (.f64 (neg.f64 d2) d1) d3)) d3)
(/.f64 (.f64 d3 (.f64 d1 d2)) d3)
(/.f64 (.f64 d3 (.f64 (neg.f64 d2) d1)) (neg.f64 d3))
(/.f64 (.f64 (.f64 (neg.f64 d2) d1) d3) (neg.f64 d3))
(/.f64 (.f64 (.f64 d1 d2) d3) d3)
(/.f64 (neg.f64 d3) (neg.f64 (/.f64 d3 (*.f64 d1 d2))))
(/.f64 d3 (/.f64 d3 (*.f64 d1 d2)))
d1
d2
(*.f64 #s(approx (+ d3 d2) d3) d1)
(*.f64 d1 #s(approx (+ d3 d2) d3))
#s(approx (+ d3 d2) d3)
d3
#s(approx (* (+ d3 d2) d1) (*.f64 d1 (+.f64 d2 d3)))
#s(approx (* d1 d2) (*.f64 d1 d2))
#s(approx d1 d1)
#s(approx (* (+ d3 d2) d1) (*.f64 d1 d3))
#s(approx (* (+ d3 d2) d1) (*.f64 d1 (+.f64 d2 d3)))
#s(approx d2 d2)
#s(approx (+ d3 d2) d3)
#s(approx (+ d3 d2) (+.f64 d2 d3))
#s(approx (* (+ d3 d2) d1) (*.f64 d1 (+.f64 d2 d3)))
#s(approx (+ d3 d2) (+.f64 d2 d3))
#s(approx (* (+ d3 d2) d1) (*.f64 d1 (+.f64 d2 d3)))
#s(approx (+ d3 d2) (+.f64 d2 d3))
#s(approx (* (+ d3 d2) d1) (*.f64 d1 (+.f64 d2 d3)))
#s(approx (+ d3 d2) (+.f64 d2 d3))
#s(approx (* (+ d3 d2) d1) (*.f64 d1 (+.f64 d2 d3)))
#s(approx (+ d3 d2) (+.f64 d2 d3))

eval2.0ms (0.1%)

Memory: 7.8MiB live, 7.8MiB allocated; 0ms collecting garbage
Compiler: Compiled 112 to 74 computations (33.9% saved)

prune2.0ms (0.1%)

Memory

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

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	24	0	24
Fresh	0	0	0
Picked	0	2	2
Done	0	1	1
Total	24	3	27

Accuracy

100.0%

Counts

27 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(*.f64 (+.f64 d3 d2) d1)
✓	58.5%	(*.f64 #s(approx (+ d3 d2) d3) d1)
✓	50.4%	#s(approx (* (+ d3 d2) d1) (*.f64 d1 d2))

Compiler

Compiled 33 to 31 computations (6.1% saved)

regimes10.0ms (0.6%)

Memory

-22.0MiB live, 23.9MiB allocated; 3ms collecting garbage

Counts

4 → 1

Calls

Call 1

Inputs
#s(approx (* (+ d3 d2) d1) (*.f64 d1 d2))
(*.f64 #s(approx (+ d3 d2) d3) d1)
(*.f64 (+.f64 d3 d2) d1)
(+.f64 (.f64 d1 d2) (.f64 d1 d3))

Outputs
(*.f64 (+.f64 d3 d2) d1)

Calls

4 calls:

4.0ms	d3
2.0ms	d1
2.0ms	d2
2.0ms	(+.f64 (.f64 d1 d2) (.f64 d1 d3))

Results

Accuracy	Segments	Branch
100.0%	1	`(+.f64 (.f64 d1 d2) (.f64 d1 d3))`
100.0%	1	`d1`
100.0%	1	`d2`
100.0%	1	`d3`

Compiler

Compiled 9 to 15 computations (-66.7% saved)

regimes5.0ms (0.3%)

Memory

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

Counts

2 → 2

Calls

Call 1

Inputs
#s(approx (* (+ d3 d2) d1) (*.f64 d1 d2))
(*.f64 #s(approx (+ d3 d2) d3) d1)

Outputs
#s(approx (* (+ d3 d2) d1) (*.f64 d1 d2))
(*.f64 #s(approx (+ d3 d2) d3) d1)

Calls

4 calls:

1.0ms	d3
1.0ms	d1
1.0ms	d2
1.0ms	(+.f64 (.f64 d1 d2) (.f64 d1 d3))

Results

Accuracy	Segments	Branch
98.9%	2	`(+.f64 (.f64 d1 d2) (.f64 d1 d3))`
62.0%	2	`d1`
84.9%	2	`d2`
87.4%	2	`d3`

Compiler

Compiled 9 to 15 computations (-66.7% saved)

regimes8.0ms (0.5%)

Memory

-44.4MiB live, 12.5MiB allocated; 6ms collecting garbage

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(approx (* (+ d3 d2) d1) (*.f64 d1 d2))

Outputs
#s(approx (* (+ d3 d2) d1) (*.f64 d1 d2))

Calls

4 calls:

5.0ms	d1
1.0ms	d2
1.0ms	d3
1.0ms	(+.f64 (.f64 d1 d2) (.f64 d1 d3))

Results

Accuracy	Segments	Branch
50.4%	1	`d1`
50.4%	1	`d2`
50.4%	1	`d3`
50.4%	1	`(+.f64 (.f64 d1 d2) (.f64 d1 d3))`

Compiler

Compiled 9 to 15 computations (-66.7% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-2.0742965047347694e-298	0.0

Compiler

Compiled 9 to 12 computations (-33.3% saved)

derivations130.0ms (7.6%)

Memory

16.0MiB live, 144.1MiB allocated; 20ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 18 to 16 computations (11.1% saved)

preprocess81.0ms (4.7%)

Memory

42.1MiB live, 134.8MiB allocated; 75ms collecting garbage

Remove

(sort d2 d3)

(negabs d1)

Compiler

Compiled 141 to 131 computations (7.1% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample727.0ms (42.4%)

preprocess47.0ms (2.8%)

series7.0ms (0.4%)

rewrite202.0ms (11.8%)

eval25.0ms (1.5%)

prune5.0ms (0.3%)

series6.0ms (0.3%)

rewrite226.0ms (13.2%)

eval46.0ms (2.7%)

prune23.0ms (1.3%)

series4.0ms (0.3%)

rewrite156.0ms (9.1%)

eval2.0ms (0.1%)

prune2.0ms (0.1%)

regimes10.0ms (0.6%)

regimes5.0ms (0.3%)

regimes8.0ms (0.5%)

bsearch0.0ms (0%)

derivations130.0ms (7.6%)

preprocess81.0ms (4.7%)

end0.0ms (0%)

Profiling