Metrics for FastMath dist

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

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

sample625.0ms (31.6%)

Memory

5.7MiB live, 1 088.4MiB allocated; 144ms collecting garbage

Samples

342.0ms

8 256×

valid

Precisions

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

ival-mult!: 87.0ms (79.1% of total)

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

adjust: 1.0ms (0.9% of total)

Bogosity

preprocess64.0ms (3.2%)

Memory

-30.2MiB live, 46.1MiB allocated; 92ms 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
▶	98.0%	(+.f64 (.f64 d1 d2) (.f64 d1 d3))

Symmetry

(negabs d1)

(sort d2 d3)

Compiler

Compiled 12 to 12 computations (0% saved)

series8.0ms (0.4%)

Memory

27.9MiB live, 27.9MiB 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	d2	@	inf	((+ (* 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)

rewrite283.0ms (14.3%)

Memory

11.3MiB live, 410.5MiB allocated; 162ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	44	166
0	45	133
1	217	132
2	1669	132
0	8531	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))

eval6.0ms (0.3%)

Memory: 15.2MiB live, 15.2MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 131 to 235 computations (79.2% saved)

prune2.0ms (0.1%)

Memory

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

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	70	2	72
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	71	2	73

Accuracy

100.0%

Counts

73 → 2

Alt Table

Click to see full alt table

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

Compiler

Compiled 10 to 10 computations (0% saved)

series11.0ms (0.6%)

Memory

-29.5MiB live, 16.3MiB allocated; 5ms collecting garbage

Counts

7 → 17

Calls

Call 1

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

rewrite185.0ms (9.4%)

Memory

23.7MiB live, 248.0MiB allocated; 54ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	70	220
0	73	203
1	356	200
2	2620	200
0	8937	194

Stop Event

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

Counts

24 → 152

Calls

Call 1

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

eval8.0ms (0.4%)

Memory: 18.9MiB live, 18.9MiB allocated; 0ms collecting garbage
Compiler: Compiled 985 to 288 computations (70.8% saved)

prune4.0ms (0.2%)

Memory

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

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	93	1	94
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	93	3	96

Accuracy

100.0%

Counts

96 → 3

Alt Table

Click to see full alt table

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

Compiler

Compiled 16 to 16 computations (0% saved)

series3.0ms (0.1%)

Memory

6.1MiB live, 6.1MiB 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
0.0ms	d1	@	-inf	((* (+ d3 d2) d1) (+ d3 d2) d3 d1)
0.0ms	d3	@	-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	d1	@	0	((* (+ d3 d2) d1) (+ d3 d2) d3 d1)

rewrite218.0ms (11%)

Memory

-46.3MiB live, 257.6MiB allocated; 82ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	58	200
0	59	182
1	288	182
2	2271	182
0	8946	176

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 (fma.f64 (/.f64 d3 d2) d1 d1) d2))
#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 (fma.f64 (/.f64 d2 d3) d1 d1) d3))
#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 69 to 47 computations (31.9% saved)

prune1.0ms (0.1%)

Memory

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

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	12	1	13
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	12	4	16

Accuracy

100.0%

Counts

16 → 4

Alt Table

Click to see full alt table

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

Compiler

Compiled 22 to 22 computations (0% saved)

series3.0ms (0.1%)

Memory

4.4MiB live, 4.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	d1	@	inf	((* (+ d3 d2) d1) (+ d3 d2) d2 d1)
0.0ms	d2	@	-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)

rewrite183.0ms (9.3%)

Memory

21.8MiB live, 253.6MiB allocated; 20ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	59	198
0	60	180
1	289	180
2	2268	180
0	8947	174

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

eval1.0ms (0.1%)

Memory: 2.9MiB live, 2.9MiB allocated; 0ms collecting garbage
Compiler: Compiled 69 to 48 computations (30.4% saved)

prune2.0ms (0.1%)

Memory

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

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	13	0	13
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	13	4	17

Accuracy

100.0%

Counts

17 → 4

Alt Table

Click to see full alt table

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

Compiler

Compiled 38 to 37 computations (2.6% saved)

regimes10.0ms (0.5%)

Memory

-23.9MiB live, 22.5MiB allocated; 2ms collecting garbage

Counts

5 → 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 d3 d1 (*.f64 d2 d1))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))

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

Calls

4 calls:

3.0ms	d3
2.0ms	d2
2.0ms	d1
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.5MiB live, 15.5MiB allocated; 0ms 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:

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

Results

Accuracy	Segments	Branch
96.4%	2	`(+.f64 (.f64 d1 d2) (.f64 d1 d3))`
62.9%	5	`d1`
84.4%	2	`d2`
85.6%	2	`d3`

Compiler

Compiled 9 to 15 computations (-66.7% saved)

regimes4.0ms (0.2%)

Memory

13.5MiB live, 13.5MiB 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	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
1.0ms	d1
1.0ms	d2
1.0ms	d3

Results

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

Compiler

Compiled 9 to 15 computations (-66.7% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-1.1699111252459266e-305	0.0

Compiler

Compiled 9 to 12 computations (-33.3% saved)

derivations115.0ms (5.8%)

Memory

-42.9MiB live, 147.0MiB allocated; 23ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 17 to 16 computations (5.9% saved)

preprocess233.0ms (11.8%)

Memory: 25.7MiB live, 89.4MiB allocated; 15ms collecting garbage
Remove: (negabs d1)
Compiler: Compiled 144 to 139 computations (3.5% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample625.0ms (31.6%)

preprocess64.0ms (3.2%)

series8.0ms (0.4%)

rewrite283.0ms (14.3%)

eval6.0ms (0.3%)

prune2.0ms (0.1%)

series11.0ms (0.6%)

rewrite185.0ms (9.4%)

eval8.0ms (0.4%)

prune4.0ms (0.2%)

series3.0ms (0.1%)

rewrite218.0ms (11%)

eval1.0ms (0.1%)

prune1.0ms (0.1%)

series3.0ms (0.1%)

rewrite183.0ms (9.3%)

eval1.0ms (0.1%)

prune2.0ms (0.1%)

regimes10.0ms (0.5%)

regimes5.0ms (0.3%)

regimes4.0ms (0.2%)

bsearch0.0ms (0%)

derivations115.0ms (5.8%)

preprocess233.0ms (11.8%)

end0.0ms (0%)

Profiling