Metrics for FastMath dist

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

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

sample675.0ms (36.2%)

Memory

-17.6MiB live, 1 218.2MiB allocated; 260ms collecting garbage

Samples

370.0ms

8 256×

valid

Precisions

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

ival-mult!: 125.0ms (86.4% of total)

ival-add!: 18.0ms (12.4% of total)

adjust: 1.0ms (0.7% of total)

Bogosity

preprocess25.0ms (1.3%)

Memory

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

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	26	55
1	79	55
2	197	51
3	355	51
4	454	51
5	551	51
6	613	51
7	664	51
8	678	51

Stop Event

1×

saturated

Alt Table

Click to see full alt table

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

Symmetry

(negabs d1)

(sort d2 d3)

Compiler

Compiled 12 to 12 computations (0% saved)

series34.0ms (1.8%)

Memory

-28.2MiB live, 19.9MiB allocated; 3ms 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
28.0ms	d1	@	0	((+ (* 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	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	d2	@	-inf	((+ (* d1 d2) (* d1 d3)) (* d1 d2) d1 d2 (* d1 d3) d3)

rewrite183.0ms (9.8%)

Memory

25.1MiB live, 297.8MiB allocated; 30ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	44	166
0	45	133
1	217	132
2	1669	132
0	8546	128

Stop Event

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

Counts

18 → 80

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 (.f64 (+.f64 d3 d2) d1) d1) (/.f64 (*.f64 d1 (-.f64 d2 d3)) (-.f64 d2 d3)))
(*.f64 (+.f64 d3 d2) d1)
(*.f64 d1 (+.f64 d3 d2))
(/.f64 (-.f64 (.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 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 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 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 (.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 (.f64 (/.f64 (.f64 (.f64 (.f64 d2 d1) d2) d1) (.f64 d1 (-.f64 d2 d3))) (/.f64 (.f64 (.f64 (.f64 d2 d1) d2) d1) (.f64 d1 (-.f64 d2 d3)))) (.f64 (/.f64 (.f64 (.f64 (.f64 d3 d1) d3) d1) (.f64 d1 (-.f64 d2 d3))) (/.f64 (.f64 (.f64 (.f64 d3 d1) d3) d1) (.f64 d1 (-.f64 d2 d3))))) (fma.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 (pow.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))))) #s(literal 3 binary64)) (pow.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))))) #s(literal 3 binary64))) (fma.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 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 (.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 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 (.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 (fma.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1) (pow.f64 (.f64 (neg.f64 (neg.f64 d1)) d3) #s(literal 3 binary64))) (fma.f64 (.f64 (.f64 d2 d1) d2) d1 (-.f64 (.f64 (.f64 (.f64 d3 d1) d3) d1) (.f64 (.f64 d2 d1) (*.f64 (neg.f64 (neg.f64 d1)) d3)))))
(/.f64 (-.f64 (.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 (fma.f64 (.f64 (.f64 d2 d1) d2) d1 (.f64 (.f64 d3 d1) (*.f64 (neg.f64 d1) d2)))))
(/.f64 (-.f64 (pow.f64 (/.f64 (.f64 (.f64 (.f64 d2 d1) d2) d1) (.f64 d1 (-.f64 d2 d3))) #s(literal 3 binary64)) (pow.f64 (/.f64 (.f64 (.f64 (.f64 d3 d1) d3) d1) (.f64 d1 (-.f64 d2 d3))) #s(literal 3 binary64))) (fma.f64 (/.f64 (.f64 (.f64 (.f64 d2 d1) d2) d1) (.f64 d1 (-.f64 d2 d3))) (/.f64 (.f64 (.f64 (.f64 d2 d1) d2) d1) (.f64 d1 (-.f64 d2 d3))) (fma.f64 (/.f64 (.f64 (.f64 (.f64 d3 d1) d3) 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 d1) d2) d1) (.f64 d1 (-.f64 d2 d3))) (/.f64 (.f64 (.f64 (.f64 d3 d1) d3) d1) (*.f64 d1 (-.f64 d2 d3)))))))
(/.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 (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1)) (.f64 (.f64 (.f64 d3 d3) d3) (.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 (.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 (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 (+.f64 d3 d2) d1) (-.f64 (.f64 d3 d1) (.f64 d2 d1)))) (neg.f64 (-.f64 (.f64 d3 d1) (.f64 d2 d1))))
(/.f64 (neg.f64 (neg.f64 (.f64 (.f64 d1 (-.f64 d2 d3)) (.f64 (+.f64 d3 d2) d1)))) (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 d1 (.f64 (+.f64 d3 d2) (-.f64 d2 d3)))) (neg.f64 (-.f64 d2 d3)))
(/.f64 (neg.f64 (.f64 (.f64 (+.f64 d3 d2) (-.f64 d2 d3)) d1)) (neg.f64 (-.f64 d2 d3)))
(/.f64 (.f64 d1 (.f64 (+.f64 d3 d2) (-.f64 d2 d3))) (-.f64 d2 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 (.f64 (+.f64 d3 d2) (-.f64 d2 d3)) d1) (-.f64 d2 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 (+.f64 d3 d2) d1) (-.f64 (.f64 d3 d1) (.f64 d2 d1))) (fma.f64 d3 d1 (*.f64 (neg.f64 d1) d2)))
(/.f64 (.f64 (.f64 (+.f64 d3 d2) d1) (-.f64 (.f64 d3 d1) (.f64 d2 d1))) (-.f64 (.f64 d3 d1) (.f64 d2 d1)))
(/.f64 (-.f64 (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1)) (.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 (neg.f64 (.f64 (.f64 d1 (-.f64 d2 d3)) (.f64 (+.f64 d3 d2) d1))) (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 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 d3 d1) (-.f64 (.f64 d3 d1) (*.f64 d2 d1))))))
(/.f64 (.f64 (.f64 d1 (-.f64 d2 d3)) (.f64 (+.f64 d3 d2) d1)) (-.f64 (.f64 d2 d1) (*.f64 (neg.f64 (neg.f64 d1)) d3)))
(/.f64 (.f64 (.f64 d1 (-.f64 d2 d3)) (.f64 (+.f64 d3 d2) d1)) (.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 d3 d1) (-.f64 (.f64 d3 d1) (*.f64 d2 d1)))))
(fma.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))))
(fma.f64 (/.f64 (.f64 (.f64 d2 d1) d1) d1) (/.f64 d2 (-.f64 d2 d3)) (/.f64 (.f64 (.f64 (neg.f64 d1) d3) (.f64 d3 d1)) (.f64 d1 (-.f64 d2 d3))))
(fma.f64 (/.f64 (fabs.f64 (.f64 d2 d1)) d1) (/.f64 (fabs.f64 (.f64 d2 d1)) (-.f64 d2 d3)) (/.f64 (.f64 (.f64 (neg.f64 d1) d3) (.f64 d3 d1)) (.f64 d1 (-.f64 d2 d3))))
(fma.f64 (/.f64 (.f64 d2 d2) d1) (/.f64 (.f64 d1 d1) (-.f64 d2 d3)) (/.f64 (.f64 (.f64 (neg.f64 d1) d3) (.f64 d3 d1)) (.f64 d1 (-.f64 d2 d3))))
(fma.f64 (/.f64 (.f64 d1 d1) d1) (/.f64 (.f64 d2 d2) (-.f64 d2 d3)) (/.f64 (.f64 (.f64 (neg.f64 d1) d3) (.f64 d3 d1)) (.f64 d1 (-.f64 d2 d3))))
(fma.f64 (/.f64 (.f64 (neg.f64 d1) d2) d1) (/.f64 (.f64 (neg.f64 d1) d2) (-.f64 d2 d3)) (/.f64 (.f64 (.f64 (neg.f64 d1) d3) (.f64 d3 d1)) (.f64 d1 (-.f64 d2 d3))))
(fma.f64 (/.f64 (.f64 d2 d1) d1) (/.f64 (.f64 d2 d1) (-.f64 d2 d3)) (/.f64 (.f64 (.f64 (neg.f64 d1) d3) (.f64 d3 d1)) (.f64 d1 (-.f64 d2 d3))))
(fma.f64 (/.f64 d2 d1) (/.f64 (.f64 d1 (.f64 d2 d1)) (-.f64 d2 d3)) (/.f64 (.f64 (.f64 (neg.f64 d1) d3) (.f64 d3 d1)) (.f64 d1 (-.f64 d2 d3))))
(fma.f64 (/.f64 d1 d1) (/.f64 (.f64 d2 (.f64 d2 d1)) (-.f64 d2 d3)) (/.f64 (.f64 (.f64 (neg.f64 d1) d3) (.f64 d3 d1)) (.f64 d1 (-.f64 d2 d3))))
(fma.f64 d3 d1 (*.f64 d2 d1))
(fma.f64 d2 d1 (*.f64 (neg.f64 (neg.f64 d1)) d3))
(fma.f64 d2 d1 (*.f64 d3 d1))
(fma.f64 d1 d3 (*.f64 d2 d1))
(fma.f64 d1 d2 (*.f64 (neg.f64 (neg.f64 d1)) d3))
(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 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 d2 d1) d2) d1) (.f64 d1 (-.f64 d2 d3))) (/.f64 (.f64 (.f64 (.f64 d3 d1) d3) d1) (.f64 d1 (-.f64 d2 d3))))
(-.f64 (.f64 d3 d1) (.f64 (neg.f64 d1) d2))
(-.f64 (.f64 d2 d1) (.f64 (neg.f64 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) 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 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 (.f64 d3 d1) (.f64 d2 d1))
(+.f64 (.f64 d2 d1) (.f64 (neg.f64 (neg.f64 d1)) d3))
(+.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 (neg.f64 d1) (-.f64 (neg.f64 d2) d3)))
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 (+.f64 d3 d2) d1))
#s(approx d2 d2)
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 (fma.f64 (/.f64 d3 d2) d1 d1) d2))
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 (fma.f64 (/.f64 d3 d2) d1 d1) d2))
#s(approx d3 d3)
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 (fma.f64 (/.f64 d2 d3) d1 d1) d3))
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 (fma.f64 (/.f64 d2 d3) d1 d1) d3))

eval11.0ms (0.6%)

Memory: -39.6MiB live, 20.6MiB allocated; 7ms collecting garbage
Compiler: Compiled 1 131 to 235 computations (79.2% saved)

prune2.0ms (0.1%)

Memory

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

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	69	3	72
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	70	3	73

Accuracy

100.0%

Counts

73 → 3

Alt Table

Click to see full alt table

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

Compiler

Compiled 15 to 15 computations (0% saved)

series7.0ms (0.4%)

Memory

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

Counts

9 → 17

Calls

Call 1

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

Outputs
#s(approx (* (+ d3 d2) d1) #s(hole binary64 (* d1 (+ d2 d3))))
#s(approx d1 #s(hole binary64 d1))
#s(approx (* d3 d1) #s(hole binary64 (* d1 d3)))
#s(approx (* d2 d1) #s(hole binary64 (* d1 d2)))
#s(approx (+ (* d2 d1) (* d3 d1)) #s(hole binary64 (* -1 (* d1 (+ (* -1 d2) (* -1 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 (* 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) (+ d3 d2) d3 d2 d1 (+ (* d2 d1) (* d3 d1)) (* d3 d1) (+ (* d3 d1) (* d2 d1)) (* d2 d1))
1.0ms	d2	@	-inf	((* (+ d3 d2) d1) (+ d3 d2) d3 d2 d1 (+ (* d2 d1) (* d3 d1)) (* d3 d1) (+ (* d3 d1) (* d2 d1)) (* d2 d1))
1.0ms	d1	@	inf	((* (+ d3 d2) d1) (+ d3 d2) d3 d2 d1 (+ (* d2 d1) (* d3 d1)) (* d3 d1) (+ (* d3 d1) (* d2 d1)) (* d2 d1))
1.0ms	d3	@	-inf	((* (+ d3 d2) d1) (+ d3 d2) d3 d2 d1 (+ (* d2 d1) (* d3 d1)) (* d3 d1) (+ (* d3 d1) (* d2 d1)) (* d2 d1))
1.0ms	d2	@	inf	((* (+ d3 d2) d1) (+ d3 d2) d3 d2 d1 (+ (* d2 d1) (* d3 d1)) (* d3 d1) (+ (* d3 d1) (* d2 d1)) (* d2 d1))

rewrite289.0ms (15.5%)

Memory

-18.3MiB live, 243.8MiB allocated; 121ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	72	227
0	77	209
1	373	206
2	2651	206
0	9056	200

Stop Event

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

Counts

26 → 211

Calls

Call 1

Inputs
(*.f64 (+.f64 d3 d2) d1)
(+.f64 d3 d2)
d3
d2
d1
(fma.f64 d2 d1 (*.f64 d3 d1))
(*.f64 d3 d1)
(fma.f64 d3 d1 (*.f64 d2 d1))
(*.f64 d2 d1)
#s(approx (* (+ d3 d2) d1) #s(hole binary64 (* d1 (+ d2 d3))))
#s(approx d1 #s(hole binary64 d1))
#s(approx (* d3 d1) #s(hole binary64 (* d1 d3)))
#s(approx (* d2 d1) #s(hole binary64 (* d1 d2)))
#s(approx (+ (* d2 d1) (* d3 d1)) #s(hole binary64 (* -1 (* d1 (+ (* -1 d2) (* -1 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 (* 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 d2 d3) d1)
(*.f64 d1 (-.f64 d3 (neg.f64 d2)))
(*.f64 d1 (-.f64 d2 (neg.f64 d3)))
(*.f64 d1 (+.f64 d2 d3))
(/.f64 (fma.f64 (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1)) (fma.f64 (.f64 (.f64 d1 d2) d2) d1 (.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)))) (.f64 (fma.f64 (.f64 (.f64 d1 d2) d2) d1 (.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)))) (.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1)))) (.f64 (fma.f64 (.f64 (.f64 d1 d2) d2) d1 (.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)))) (fma.f64 (.f64 (.f64 d1 d2) d2) d1 (.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2))))))
(/.f64 (fma.f64 (.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1)) (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3)))) (.f64 (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3)))) (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1)))) (.f64 (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3)))) (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3))))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 d1 d2) d2) d1) (.f64 d1 (-.f64 d2 d3))) (.f64 (.f64 d1 (-.f64 d2 d3)) (.f64 (.f64 (.f64 d1 d3) d1) d3))) (.f64 (.f64 d1 (-.f64 d2 d3)) (*.f64 d1 (-.f64 d2 d3))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 d1 d3) d1) d3) (.f64 d1 (-.f64 d3 d2))) (.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 (.f64 (.f64 d1 d2) d2) d1))) (.f64 (.f64 d1 (-.f64 d3 d2)) (*.f64 d1 (-.f64 d3 d2))))
(/.f64 (neg.f64 (.f64 d1 (.f64 (+.f64 d2 d3) (-.f64 d3 d2)))) (neg.f64 (-.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 (.f64 (+.f64 d2 d3) (-.f64 d3 d2)) d1)) (neg.f64 (-.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 (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 (.f64 (.f64 (+.f64 d2 d3) d1) (.f64 d1 (-.f64 d3 d2))))) (neg.f64 (neg.f64 (.f64 d1 (-.f64 d3 d2)))))
(/.f64 (neg.f64 (neg.f64 (.f64 (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3)))) (.f64 (+.f64 d2 d3) d1)))) (neg.f64 (neg.f64 (fma.f64 (.f64 (.f64 d1 d2) d2) d1 (.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)))))))
(/.f64 (neg.f64 (neg.f64 (.f64 (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3)))) (.f64 (+.f64 d2 d3) d1)))) (neg.f64 (neg.f64 (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3)))))))
(/.f64 (neg.f64 (-.f64 (.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 d1 d3) d1) d3 (fma.f64 (.f64 (.f64 d1 d2) d2) d1 (.f64 (.f64 d1 d3) (*.f64 (neg.f64 d1) d2))))))
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1)) (.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1)))) (neg.f64 (fma.f64 (.f64 (.f64 d1 d2) d2) d1 (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (*.f64 (neg.f64 d1) d3))))))
(/.f64 (neg.f64 (.f64 d1 (.f64 (+.f64 d2 d3) (-.f64 d2 d3)))) (neg.f64 (-.f64 d2 d3)))
(/.f64 (neg.f64 (.f64 (.f64 (+.f64 d2 d3) (-.f64 d2 d3)) d1)) (neg.f64 (-.f64 d2 d3)))
(/.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 (.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 (.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 d1 d3) d1) d3 (fma.f64 (.f64 (.f64 d1 d2) d2) d1 (.f64 (.f64 d1 d3) (*.f64 (neg.f64 d1) d2)))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1)) (.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1))) (fma.f64 (.f64 (.f64 d1 d2) d2) d1 (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (*.f64 (neg.f64 d1) d3)))))
(/.f64 (neg.f64 (.f64 (.f64 (+.f64 d2 d3) d1) (.f64 d1 (-.f64 d2 d3)))) (neg.f64 (.f64 d1 (-.f64 d2 d3))))
(/.f64 (neg.f64 (.f64 (.f64 (+.f64 d2 d3) d1) (.f64 d1 (-.f64 d3 d2)))) (neg.f64 (.f64 d1 (-.f64 d3 d2))))
(/.f64 (neg.f64 (.f64 (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3)))) (.f64 (+.f64 d2 d3) d1))) (neg.f64 (fma.f64 (.f64 (.f64 d1 d2) d2) d1 (.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2))))))
(/.f64 (neg.f64 (.f64 (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3)))) (.f64 (+.f64 d2 d3) d1))) (neg.f64 (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3))))))
(/.f64 (.f64 (.f64 (+.f64 d2 d3) d1) (.f64 d1 (-.f64 d2 d3))) (.f64 d1 (-.f64 d2 d3)))
(/.f64 (.f64 (.f64 (+.f64 d2 d3) d1) (.f64 d1 (-.f64 d3 d2))) (.f64 d1 (-.f64 d3 d2)))
(/.f64 (.f64 (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3)))) (.f64 (+.f64 d2 d3) d1)) (fma.f64 (.f64 (.f64 d1 d2) d2) d1 (.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)))))
(/.f64 (.f64 (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3)))) (.f64 (+.f64 d2 d3) d1)) (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3)))))
(fma.f64 d1 d2 (*.f64 (neg.f64 (neg.f64 d1)) d3))
(fma.f64 d1 d2 (*.f64 d1 d3))
(fma.f64 d1 d3 (*.f64 d1 d2))
(fma.f64 d2 d1 (*.f64 (neg.f64 (neg.f64 d1)) d3))
(fma.f64 d2 d1 (*.f64 d1 d3))
(fma.f64 d3 d1 (*.f64 d1 d2))
(-.f64 (/.f64 (.f64 (.f64 (.f64 d1 d2) d2) d1) (.f64 d1 (-.f64 d2 d3))) (/.f64 (.f64 (.f64 (.f64 d1 d3) d1) d3) (.f64 d1 (-.f64 d2 d3))))
(-.f64 (/.f64 (.f64 (.f64 (.f64 d1 d3) d1) d3) (.f64 d1 (-.f64 d3 d2))) (/.f64 (.f64 (.f64 (.f64 d1 d2) d2) d1) (.f64 d1 (-.f64 d3 d2))))
(-.f64 (.f64 d1 d3) (.f64 (neg.f64 d1) d2))
(-.f64 (.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 d1 d2) d2) d1 (.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2))))) (/.f64 (.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1)) (fma.f64 (.f64 (.f64 d1 d2) d2) d1 (.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2))))))
(+.f64 (/.f64 (.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1)) (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3))))) (/.f64 (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1)) (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3))))))
(+.f64 (.f64 d1 d3) (.f64 d1 d2))
(+.f64 (.f64 d1 d2) (.f64 (neg.f64 (neg.f64 d1)) d3))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(/.f64 (fma.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 d2 (-.f64 d2 d3) (.f64 d3 d3)) (.f64 (fma.f64 d2 (-.f64 d2 d3) (.f64 d3 d3)) (.f64 (.f64 d2 d2) d2))) (.f64 (fma.f64 d2 (-.f64 d2 d3) (.f64 d3 d3)) (fma.f64 d2 (-.f64 d2 d3) (.f64 d3 d3))))
(/.f64 (fma.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 d3 (-.f64 d3 d2) (.f64 d2 d2)) (.f64 (fma.f64 d3 (-.f64 d3 d2) (.f64 d2 d2)) (.f64 (.f64 d3 d3) d3))) (.f64 (fma.f64 d3 (-.f64 d3 d2) (.f64 d2 d2)) (fma.f64 d3 (-.f64 d3 d2) (.f64 d2 d2))))
(/.f64 (-.f64 (.f64 (.f64 d3 d3) (-.f64 d3 d2)) (.f64 (-.f64 d3 d2) (.f64 d2 d2))) (*.f64 (-.f64 d3 d2) (-.f64 d3 d2)))
(/.f64 (-.f64 (.f64 (.f64 d2 d2) (-.f64 d2 d3)) (.f64 (-.f64 d2 d3) (.f64 d3 d3))) (*.f64 (-.f64 d2 d3) (-.f64 d2 d3)))
(/.f64 (neg.f64 (neg.f64 (*.f64 (+.f64 d2 d3) (-.f64 d3 d2)))) (neg.f64 (neg.f64 (-.f64 d3 d2))))
(/.f64 (neg.f64 (neg.f64 (*.f64 (+.f64 d2 d3) (-.f64 d2 d3)))) (neg.f64 (neg.f64 (-.f64 d2 d3))))
(/.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 (neg.f64 (*.f64 (+.f64 d2 d3) (-.f64 d3 d2))) (neg.f64 (-.f64 d3 d2)))
(/.f64 (neg.f64 (*.f64 (+.f64 d2 d3) (-.f64 d2 d3))) (neg.f64 (-.f64 d2 d3)))
(/.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 (-.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 (/.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 (/.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
(*.f64 (+.f64 d2 d3) d1)
(*.f64 d1 (-.f64 d3 (neg.f64 d2)))
(*.f64 d1 (-.f64 d2 (neg.f64 d3)))
(*.f64 d1 (+.f64 d2 d3))
(/.f64 (fma.f64 (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1)) (fma.f64 (.f64 (.f64 d1 d2) d2) d1 (.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)))) (.f64 (fma.f64 (.f64 (.f64 d1 d2) d2) d1 (.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)))) (.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1)))) (.f64 (fma.f64 (.f64 (.f64 d1 d2) d2) d1 (.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)))) (fma.f64 (.f64 (.f64 d1 d2) d2) d1 (.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2))))))
(/.f64 (fma.f64 (.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1)) (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3)))) (.f64 (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3)))) (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1)))) (.f64 (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3)))) (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3))))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 d1 d2) d2) d1) (.f64 d1 (-.f64 d2 d3))) (.f64 (.f64 d1 (-.f64 d2 d3)) (.f64 (.f64 (.f64 d1 d3) d1) d3))) (.f64 (.f64 d1 (-.f64 d2 d3)) (*.f64 d1 (-.f64 d2 d3))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 d1 d3) d1) d3) (.f64 d1 (-.f64 d3 d2))) (.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 (.f64 (.f64 d1 d2) d2) d1))) (.f64 (.f64 d1 (-.f64 d3 d2)) (*.f64 d1 (-.f64 d3 d2))))
(/.f64 (neg.f64 (.f64 d1 (.f64 (+.f64 d2 d3) (-.f64 d3 d2)))) (neg.f64 (-.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 (.f64 (+.f64 d2 d3) (-.f64 d3 d2)) d1)) (neg.f64 (-.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 (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 (.f64 (.f64 (+.f64 d2 d3) d1) (.f64 d1 (-.f64 d3 d2))))) (neg.f64 (neg.f64 (.f64 d1 (-.f64 d3 d2)))))
(/.f64 (neg.f64 (neg.f64 (.f64 (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3)))) (.f64 (+.f64 d2 d3) d1)))) (neg.f64 (neg.f64 (fma.f64 (.f64 (.f64 d1 d2) d2) d1 (.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)))))))
(/.f64 (neg.f64 (neg.f64 (.f64 (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3)))) (.f64 (+.f64 d2 d3) d1)))) (neg.f64 (neg.f64 (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3)))))))
(/.f64 (neg.f64 (-.f64 (.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 d1 d3) d1) d3 (fma.f64 (.f64 (.f64 d1 d2) d2) d1 (.f64 (.f64 d1 d3) (*.f64 (neg.f64 d1) d2))))))
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1)) (.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1)))) (neg.f64 (fma.f64 (.f64 (.f64 d1 d2) d2) d1 (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (*.f64 (neg.f64 d1) d3))))))
(/.f64 (neg.f64 (.f64 d1 (.f64 (+.f64 d2 d3) (-.f64 d2 d3)))) (neg.f64 (-.f64 d2 d3)))
(/.f64 (neg.f64 (.f64 (.f64 (+.f64 d2 d3) (-.f64 d2 d3)) d1)) (neg.f64 (-.f64 d2 d3)))
(/.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 (.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 (.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 d1 d3) d1) d3 (fma.f64 (.f64 (.f64 d1 d2) d2) d1 (.f64 (.f64 d1 d3) (*.f64 (neg.f64 d1) d2)))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1)) (.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1))) (fma.f64 (.f64 (.f64 d1 d2) d2) d1 (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (*.f64 (neg.f64 d1) d3)))))
(/.f64 (neg.f64 (.f64 (.f64 (+.f64 d2 d3) d1) (.f64 d1 (-.f64 d2 d3)))) (neg.f64 (.f64 d1 (-.f64 d2 d3))))
(/.f64 (neg.f64 (.f64 (.f64 (+.f64 d2 d3) d1) (.f64 d1 (-.f64 d3 d2)))) (neg.f64 (.f64 d1 (-.f64 d3 d2))))
(/.f64 (neg.f64 (.f64 (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3)))) (.f64 (+.f64 d2 d3) d1))) (neg.f64 (fma.f64 (.f64 (.f64 d1 d2) d2) d1 (.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2))))))
(/.f64 (neg.f64 (.f64 (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3)))) (.f64 (+.f64 d2 d3) d1))) (neg.f64 (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3))))))
(/.f64 (.f64 (.f64 (+.f64 d2 d3) d1) (.f64 d1 (-.f64 d2 d3))) (.f64 d1 (-.f64 d2 d3)))
(/.f64 (.f64 (.f64 (+.f64 d2 d3) d1) (.f64 d1 (-.f64 d3 d2))) (.f64 d1 (-.f64 d3 d2)))
(/.f64 (.f64 (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3)))) (.f64 (+.f64 d2 d3) d1)) (fma.f64 (.f64 (.f64 d1 d2) d2) d1 (.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)))))
(/.f64 (.f64 (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3)))) (.f64 (+.f64 d2 d3) d1)) (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3)))))
(fma.f64 d1 d2 (*.f64 (neg.f64 (neg.f64 d1)) d3))
(fma.f64 d1 d2 (*.f64 d1 d3))
(fma.f64 d1 d3 (*.f64 d1 d2))
(fma.f64 d2 d1 (*.f64 (neg.f64 (neg.f64 d1)) d3))
(fma.f64 d2 d1 (*.f64 d1 d3))
(fma.f64 d3 d1 (*.f64 d1 d2))
(-.f64 (/.f64 (.f64 (.f64 (.f64 d1 d2) d2) d1) (.f64 d1 (-.f64 d2 d3))) (/.f64 (.f64 (.f64 (.f64 d1 d3) d1) d3) (.f64 d1 (-.f64 d2 d3))))
(-.f64 (/.f64 (.f64 (.f64 (.f64 d1 d3) d1) d3) (.f64 d1 (-.f64 d3 d2))) (/.f64 (.f64 (.f64 (.f64 d1 d2) d2) d1) (.f64 d1 (-.f64 d3 d2))))
(-.f64 (.f64 d1 d3) (.f64 (neg.f64 d1) d2))
(-.f64 (.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 d1 d2) d2) d1 (.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2))))) (/.f64 (.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1)) (fma.f64 (.f64 (.f64 d1 d2) d2) d1 (.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2))))))
(+.f64 (/.f64 (.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1)) (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3))))) (/.f64 (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1)) (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3))))))
(+.f64 (.f64 d1 d3) (.f64 d1 d2))
(+.f64 (.f64 d1 d2) (.f64 (neg.f64 (neg.f64 d1)) d3))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 d3)
(*.f64 d3 d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 d1 (-.f64 d3 (neg.f64 d2)))
(*.f64 d1 (-.f64 d2 (neg.f64 d3)))
(*.f64 d1 (+.f64 d2 d3))
(/.f64 (fma.f64 (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1)) (fma.f64 (.f64 (.f64 d1 d2) d2) d1 (.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)))) (.f64 (fma.f64 (.f64 (.f64 d1 d2) d2) d1 (.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)))) (.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1)))) (.f64 (fma.f64 (.f64 (.f64 d1 d2) d2) d1 (.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)))) (fma.f64 (.f64 (.f64 d1 d2) d2) d1 (.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2))))))
(/.f64 (fma.f64 (.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1)) (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3)))) (.f64 (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3)))) (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1)))) (.f64 (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3)))) (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3))))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 d1 d2) d2) d1) (.f64 d1 (-.f64 d2 d3))) (.f64 (.f64 d1 (-.f64 d2 d3)) (.f64 (.f64 (.f64 d1 d3) d1) d3))) (.f64 (.f64 d1 (-.f64 d2 d3)) (*.f64 d1 (-.f64 d2 d3))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 d1 d3) d1) d3) (.f64 d1 (-.f64 d3 d2))) (.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 (.f64 (.f64 d1 d2) d2) d1))) (.f64 (.f64 d1 (-.f64 d3 d2)) (*.f64 d1 (-.f64 d3 d2))))
(/.f64 (neg.f64 (.f64 d1 (.f64 (+.f64 d2 d3) (-.f64 d3 d2)))) (neg.f64 (-.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 (.f64 (+.f64 d2 d3) (-.f64 d3 d2)) d1)) (neg.f64 (-.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 (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 (.f64 (.f64 (+.f64 d2 d3) d1) (.f64 d1 (-.f64 d3 d2))))) (neg.f64 (neg.f64 (.f64 d1 (-.f64 d3 d2)))))
(/.f64 (neg.f64 (neg.f64 (.f64 (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3)))) (.f64 (+.f64 d2 d3) d1)))) (neg.f64 (neg.f64 (fma.f64 (.f64 (.f64 d1 d2) d2) d1 (.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)))))))
(/.f64 (neg.f64 (neg.f64 (.f64 (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3)))) (.f64 (+.f64 d2 d3) d1)))) (neg.f64 (neg.f64 (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3)))))))
(/.f64 (neg.f64 (-.f64 (.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 d1 d3) d1) d3 (fma.f64 (.f64 (.f64 d1 d2) d2) d1 (.f64 (.f64 d1 d3) (*.f64 (neg.f64 d1) d2))))))
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1)) (.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1)))) (neg.f64 (fma.f64 (.f64 (.f64 d1 d2) d2) d1 (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (*.f64 (neg.f64 d1) d3))))))
(/.f64 (neg.f64 (.f64 d1 (.f64 (+.f64 d2 d3) (-.f64 d2 d3)))) (neg.f64 (-.f64 d2 d3)))
(/.f64 (neg.f64 (.f64 (.f64 (+.f64 d2 d3) (-.f64 d2 d3)) d1)) (neg.f64 (-.f64 d2 d3)))
(/.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 (.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 (.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 d1 d3) d1) d3 (fma.f64 (.f64 (.f64 d1 d2) d2) d1 (.f64 (.f64 d1 d3) (*.f64 (neg.f64 d1) d2)))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1)) (.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1))) (fma.f64 (.f64 (.f64 d1 d2) d2) d1 (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (*.f64 (neg.f64 d1) d3)))))
(/.f64 (neg.f64 (.f64 (.f64 (+.f64 d2 d3) d1) (.f64 d1 (-.f64 d2 d3)))) (neg.f64 (.f64 d1 (-.f64 d2 d3))))
(/.f64 (neg.f64 (.f64 (.f64 (+.f64 d2 d3) d1) (.f64 d1 (-.f64 d3 d2)))) (neg.f64 (.f64 d1 (-.f64 d3 d2))))
(/.f64 (neg.f64 (.f64 (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3)))) (.f64 (+.f64 d2 d3) d1))) (neg.f64 (fma.f64 (.f64 (.f64 d1 d2) d2) d1 (.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2))))))
(/.f64 (neg.f64 (.f64 (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3)))) (.f64 (+.f64 d2 d3) d1))) (neg.f64 (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3))))))
(/.f64 (.f64 (.f64 (+.f64 d2 d3) d1) (.f64 d1 (-.f64 d2 d3))) (.f64 d1 (-.f64 d2 d3)))
(/.f64 (.f64 (.f64 (+.f64 d2 d3) d1) (.f64 d1 (-.f64 d3 d2))) (.f64 d1 (-.f64 d3 d2)))
(/.f64 (.f64 (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3)))) (.f64 (+.f64 d2 d3) d1)) (fma.f64 (.f64 (.f64 d1 d2) d2) d1 (.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)))))
(/.f64 (.f64 (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3)))) (.f64 (+.f64 d2 d3) d1)) (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3)))))
(fma.f64 d1 d2 (*.f64 (neg.f64 (neg.f64 d1)) d3))
(fma.f64 d1 d2 (*.f64 d1 d3))
(fma.f64 d1 d3 (*.f64 d1 d2))
(fma.f64 d2 d1 (*.f64 (neg.f64 (neg.f64 d1)) d3))
(fma.f64 d2 d1 (*.f64 d1 d3))
(fma.f64 d3 d1 (*.f64 d1 d2))
(-.f64 (/.f64 (.f64 (.f64 (.f64 d1 d2) d2) d1) (.f64 d1 (-.f64 d2 d3))) (/.f64 (.f64 (.f64 (.f64 d1 d3) d1) d3) (.f64 d1 (-.f64 d2 d3))))
(-.f64 (/.f64 (.f64 (.f64 (.f64 d1 d3) d1) d3) (.f64 d1 (-.f64 d3 d2))) (/.f64 (.f64 (.f64 (.f64 d1 d2) d2) d1) (.f64 d1 (-.f64 d3 d2))))
(-.f64 (.f64 d1 d3) (.f64 (neg.f64 d1) d2))
(-.f64 (.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 d1 d2) d2) d1 (.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2))))) (/.f64 (.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1)) (fma.f64 (.f64 (.f64 d1 d2) d2) d1 (.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2))))))
(+.f64 (/.f64 (.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d1 d1) d1)) (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3))))) (/.f64 (.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 d1 d1) d1)) (fma.f64 (.f64 (.f64 d1 d3) d1) d3 (.f64 (.f64 d1 d2) (.f64 d1 (-.f64 d2 d3))))))
(+.f64 (.f64 d1 d3) (.f64 d1 d2))
(+.f64 (.f64 d1 d2) (.f64 (neg.f64 (neg.f64 d1)) d3))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 d2)
(*.f64 d2 d1)
#s(approx (* (+ d3 d2) d1) (*.f64 (+.f64 d2 d3) d1))
#s(approx d1 d1)
#s(approx (* d3 d1) (*.f64 d1 d3))
#s(approx (* d2 d1) (*.f64 d1 d2))
#s(approx (* (+ d3 d2) d1) (*.f64 (neg.f64 d1) (-.f64 (neg.f64 d3) d2)))
#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 (fma.f64 (/.f64 d3 d2) d1 d1) d2))
#s(approx (+ d3 d2) (fma.f64 (/.f64 d3 d2) d2 d2))
#s(approx (* (+ d3 d2) d1) (*.f64 (neg.f64 (fma.f64 (/.f64 d3 d2) d1 d1)) (neg.f64 d2)))
#s(approx (+ d3 d2) (*.f64 (-.f64 (/.f64 (neg.f64 d3) d2) #s(literal 1 binary64)) (neg.f64 d2)))
#s(approx (* (+ d3 d2) d1) (*.f64 (fma.f64 (/.f64 d2 d3) d1 d1) d3))
#s(approx (+ d3 d2) (fma.f64 (/.f64 d2 d3) d3 d3))
#s(approx (* (+ d3 d2) d1) (*.f64 (neg.f64 (fma.f64 (/.f64 d2 d3) d1 d1)) (neg.f64 d3)))
#s(approx (+ d3 d2) (*.f64 (-.f64 (/.f64 (neg.f64 d2) d3) #s(literal 1 binary64)) (neg.f64 d3)))

eval15.0ms (0.8%)

Memory: -15.0MiB live, 25.2MiB allocated; 9ms collecting garbage
Compiler: Compiled 990 to 295 computations (70.2% saved)

prune3.0ms (0.2%)

Memory

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

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	97	1	98
Fresh	0	0	0
Picked	0	3	3
Done	0	0	0
Total	97	4	101

Accuracy

100.0%

Counts

101 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 d3 d1 (*.f64 d2 d1))
✓	99.2%	(fma.f64 d2 d1 (*.f64 d3 d1))
✓	100.0%	(*.f64 (+.f64 d3 d2) d1)
▶	57.8%	(*.f64 #s(approx (+ d3 d2) d3) d1)

Compiler

Compiled 21 to 21 computations (0% saved)

series3.0ms (0.2%)

Memory

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

Counts

4 → 16

Calls

Call 1

Inputs
(*.f64 #s(approx (+ d3 d2) d3) d1)
#s(approx (+ d3 d2) d3)
d3
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 (* (+ 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))
#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) (+ d3 d2) d3 d1)
0.0ms	d1	@	inf	((* (+ d3 d2) d1) (+ d3 d2) d3 d1)
0.0ms	d3	@	-inf	((* (+ d3 d2) d1) (+ d3 d2) d3 d1)
0.0ms	d3	@	inf	((* (+ d3 d2) d1) (+ d3 d2) d3 d1)
0.0ms	d1	@	0	((* (+ d3 d2) d1) (+ d3 d2) d3 d1)

rewrite181.0ms (9.7%)

Memory

5.4MiB live, 230.7MiB allocated; 74ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	58	200
0	59	188
1	288	186
2	2274	186
0	8270	180

Stop Event

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

Counts

20 → 21

Calls

Call 1

Inputs
(*.f64 #s(approx (+ d3 d2) d3) d1)
#s(approx (+ d3 d2) d3)
d3
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 (* (+ 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))
#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 d1 #s(approx (+ d3 d2) d3))
(*.f64 #s(approx (+ d3 d2) d3) d1)
#s(approx (+ d3 d2) d3)
d3
d1
#s(approx (* (+ d3 d2) d1) (*.f64 d1 (+.f64 d2 d3)))
#s(approx d1 d1)
#s(approx (* (+ d3 d2) d1) (*.f64 d1 d3))
#s(approx (* (+ d3 d2) d1) (*.f64 d1 (+.f64 d2 d3)))
#s(approx (+ d3 d2) d3)
#s(approx (+ d3 d2) (+.f64 d2 d3))
#s(approx (* (+ d3 d2) d1) (*.f64 d1 d2))
#s(approx (* (+ d3 d2) d1) (*.f64 (fma.f64 (/.f64 d3 d2) d1 d1) d2))
#s(approx (+ d3 d2) d2)
#s(approx (+ d3 d2) (fma.f64 (/.f64 d3 d2) d2 d2))
#s(approx (* (+ d3 d2) d1) (*.f64 (neg.f64 d2) (neg.f64 (fma.f64 (/.f64 d3 d2) d1 d1))))
#s(approx (+ d3 d2) (*.f64 (neg.f64 d2) (-.f64 (/.f64 (neg.f64 d3) d2) #s(literal 1 binary64))))
#s(approx (* (+ d3 d2) d1) (*.f64 (fma.f64 (/.f64 d2 d3) d1 d1) d3))
#s(approx (+ d3 d2) (fma.f64 (/.f64 d2 d3) d3 d3))
#s(approx (* (+ d3 d2) d1) (*.f64 (neg.f64 d3) (neg.f64 (fma.f64 (/.f64 d2 d3) d1 d1))))
#s(approx (+ d3 d2) (*.f64 (neg.f64 d3) (-.f64 (/.f64 (neg.f64 d2) d3) #s(literal 1 binary64))))

eval1.0ms (0.1%)

Memory: 2.8MiB live, 2.8MiB allocated; 0ms collecting garbage
Compiler: Compiled 85 to 53 computations (37.6% saved)

prune1.0ms (0.1%)

Memory

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

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	14	1	15
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	14	5	19

Accuracy

100.0%

Counts

19 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 d3 d1 (*.f64 d2 d1))
✓	99.2%	(fma.f64 d2 d1 (*.f64 d3 d1))
✓	100.0%	(*.f64 (+.f64 d3 d2) d1)
✓	57.8%	(*.f64 #s(approx (+ d3 d2) d3) d1)
▶	48.4%	(*.f64 #s(approx (+ d3 d2) d2) d1)

Compiler

Compiled 27 to 27 computations (0% saved)

series3.0ms (0.1%)

Memory

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

Counts

4 → 16

Calls

Call 1

Inputs
(*.f64 #s(approx (+ d3 d2) d2) d1)
#s(approx (+ d3 d2) d2)
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
0.0ms	d1	@	-inf	((* (+ d3 d2) d1) (+ d3 d2) d2 d1)
0.0ms	d2	@	-inf	((* (+ d3 d2) d1) (+ d3 d2) d2 d1)
0.0ms	d1	@	inf	((* (+ d3 d2) d1) (+ d3 d2) d2 d1)
0.0ms	d2	@	inf	((* (+ d3 d2) d1) (+ d3 d2) d2 d1)
0.0ms	d1	@	0	((* (+ d3 d2) d1) (+ d3 d2) d2 d1)

rewrite192.0ms (10.3%)

Memory

11.2MiB live, 161.4MiB allocated; 33ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	59	198
0	60	186
1	289	184
2	2271	184
0	8265	178

Stop Event

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

Counts

20 → 21

Calls

Call 1

Inputs
(*.f64 #s(approx (+ d3 d2) d2) d1)
#s(approx (+ d3 d2) d2)
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 d1 #s(approx (+ d3 d2) d2))
(*.f64 #s(approx (+ d3 d2) d2) d1)
#s(approx (+ d3 d2) d2)
d2
d1
#s(approx (* (+ d3 d2) d1) (*.f64 d1 (+.f64 d2 d3)))
#s(approx d1 d1)
#s(approx (* (+ d3 d2) d1) (*.f64 d1 d3))
#s(approx (* (+ d3 d2) d1) (*.f64 d1 (+.f64 d2 d3)))
#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 (fma.f64 (/.f64 d3 d2) d1 d1) d2))
#s(approx (+ d3 d2) (fma.f64 (/.f64 d3 d2) d2 d2))
#s(approx (* (+ d3 d2) d1) (*.f64 (neg.f64 d2) (neg.f64 (fma.f64 (/.f64 d3 d2) d1 d1))))
#s(approx (+ d3 d2) (*.f64 (neg.f64 d2) (-.f64 (/.f64 (neg.f64 d3) d2) #s(literal 1 binary64))))
#s(approx (* (+ d3 d2) d1) (*.f64 (fma.f64 (/.f64 d2 d3) d1 d1) d3))
#s(approx (+ d3 d2) (fma.f64 (/.f64 d2 d3) d3 d3))
#s(approx (* (+ d3 d2) d1) (*.f64 (neg.f64 d3) (neg.f64 (fma.f64 (/.f64 d2 d3) d1 d1))))
#s(approx (+ d3 d2) (*.f64 (neg.f64 d3) (-.f64 (/.f64 (neg.f64 d2) d3) #s(literal 1 binary64))))

eval1.0ms (0.1%)

Memory: 2.4MiB live, 2.4MiB allocated; 0ms collecting garbage
Compiler: Compiled 85 to 54 computations (36.5% saved)

prune4.0ms (0.2%)

Memory

-39.6MiB live, 4.9MiB allocated; 3ms collecting garbage

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	15	0	15
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	15	5	20

Accuracy

100.0%

Counts

20 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 d3 d1 (*.f64 d2 d1))
✓	99.2%	(fma.f64 d2 d1 (*.f64 d3 d1))
✓	100.0%	(*.f64 (+.f64 d3 d2) d1)
✓	57.8%	(*.f64 #s(approx (+ d3 d2) d3) d1)
✓	48.4%	(*.f64 #s(approx (+ d3 d2) d2) d1)

Compiler

Compiled 45 to 44 computations (2.2% saved)

regimes9.0ms (0.5%)

Memory

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

Counts

6 → 1

Calls

Call 1

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

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

Calls

4 calls:

2.0ms	d1
2.0ms	d2
2.0ms	d3
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)

regimes8.0ms (0.4%)

Memory

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

Counts

4 → 1

Calls

Call 1

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

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

Calls

4 calls:

2.0ms	d1
2.0ms	d3
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)

regimes13.0ms (0.7%)

Memory

-35.5MiB live, 16.7MiB allocated; 10ms collecting garbage

Counts

2 → 2

Calls

Call 1

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

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

Calls

4 calls:

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

Results

Accuracy	Segments	Branch
97.3%	2	`(+.f64 (.f64 d1 d2) (.f64 d1 d3))`
69.5%	7	`d1`
85.5%	2	`d2`
81.3%	2	`d3`

Compiler

Compiled 9 to 15 computations (-66.7% saved)

regimes4.0ms (0.2%)

Memory

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

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 9 to 15 computations (-66.7% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-3.610266652363994e-306	0.0

Compiler

Compiled 9 to 12 computations (-33.3% saved)

derivations124.0ms (6.6%)

Memory

15.0MiB live, 106.2MiB allocated; 8ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 19 to 18 computations (5.3% saved)

preprocess77.0ms (4.1%)

Memory

0.1MiB live, 96.5MiB allocated; 50ms collecting garbage

Remove

(sort d2 d3)

(negabs d1)

Compiler

Compiled 154 to 149 computations (3.2% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample675.0ms (36.2%)

preprocess25.0ms (1.3%)

series34.0ms (1.8%)

rewrite183.0ms (9.8%)

eval11.0ms (0.6%)

prune2.0ms (0.1%)

series7.0ms (0.4%)

rewrite289.0ms (15.5%)

eval15.0ms (0.8%)

prune3.0ms (0.2%)

series3.0ms (0.2%)

rewrite181.0ms (9.7%)

eval1.0ms (0.1%)

prune1.0ms (0.1%)

series3.0ms (0.1%)

rewrite192.0ms (10.3%)

eval1.0ms (0.1%)

prune4.0ms (0.2%)

regimes9.0ms (0.5%)

regimes8.0ms (0.4%)

regimes13.0ms (0.7%)

regimes4.0ms (0.2%)

bsearch0.0ms (0%)

derivations124.0ms (6.6%)

preprocess77.0ms (4.1%)

end0.0ms (0%)

Profiling