Metrics for FastMath dist

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

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

Algorithm

1×

Search

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

Compiler

Compiled 9 to 8 computations (11.1% saved)

sample751.0ms (46.1%)

Memory

-2.8MiB live, 1 312.5MiB allocated; 290ms collecting garbage

Samples

492.0ms

8 256×

valid

Precisions

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

ival-mult!: 150.0ms (75.6% of total)

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

adjust: 1.0ms (0.5% of total)

Bogosity

preprocess28.0ms (1.7%)

Memory

0.1MiB live, 45.2MiB allocated; 6ms 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.4%	(+.f64 (.f64 d1 d2) (.f64 d1 d3))

Symmetry

(negabs d1)

(sort d2 d3)

Compiler

Compiled 14 to 12 computations (14.3% saved)

series7.0ms (0.4%)

Memory

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

Counts

6 → 12

Calls

Call 1

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

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

Calls

9 calls:

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

rewrite215.0ms (13.2%)

Memory

12.9MiB live, 344.2MiB allocated; 46ms 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))

eval9.0ms (0.6%)

Memory: -22.7MiB live, 21.3MiB allocated; 5ms collecting garbage
Compiler: Compiled 2 351 to 235 computations (90% saved)

prune2.0ms (0.1%)

Memory

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

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Accuracy

100.0%

Counts

73 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 5 to 5 computations (0% saved)

series4.0ms (0.2%)

Memory

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

Counts

5 → 16

Calls

Call 1

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

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

Calls

9 calls:

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

rewrite151.0ms (9.3%)

Memory

7.4MiB live, 286.1MiB allocated; 28ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	59	195
0	61	177
1	289	177
2	2268	177
0	8962	171

Stop Event

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

Counts

21 → 104

Calls

Call 1

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

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

eval19.0ms (1.2%)

Memory: -34.4MiB live, 34.7MiB allocated; 14ms collecting garbage
Compiler: Compiled 2 227 to 296 computations (86.7% saved)

prune3.0ms (0.2%)

Memory

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

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	95	2	97
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	95	3	98

Accuracy

100.0%

Counts

98 → 3

Alt Table

Click to see full alt table

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

Compiler

Compiled 21 to 18 computations (14.3% saved)

series4.0ms (0.3%)

Memory

13.8MiB live, 13.9MiB allocated; 0ms collecting garbage

Counts

7 → 16

Calls

Call 1

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

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

Calls

9 calls:

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

rewrite158.0ms (9.7%)

Memory

7.8MiB live, 302.3MiB allocated; 35ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	60	209
0	62	191
1	291	191
2	2270	191
0	8942	185

Stop Event

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

Counts

23 → 25

Calls

Call 1

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

Outputs
#s(approx (* (+ d3 d2) d1) (*.f64 d1 d2))
(*.f64 d1 d2)
(*.f64 d2 d1)
d1
d2
(*.f64 #s(approx (+ d3 d2) d3) d1)
(*.f64 d1 #s(approx (+ d3 d2) d3))
#s(approx (+ d3 d2) d3)
d3
#s(approx (* (+ d3 d2) d1) (*.f64 d1 (+.f64 d2 d3)))
#s(approx (* d1 d2) (*.f64 d1 d2))
#s(approx d1 d1)
#s(approx (* (+ d3 d2) d1) (*.f64 d1 d3))
#s(approx (* (+ d3 d2) d1) (*.f64 d1 (+.f64 d2 d3)))
#s(approx d2 d2)
#s(approx (+ d3 d2) d3)
#s(approx (+ d3 d2) (+.f64 d2 d3))
#s(approx (* (+ d3 d2) d1) (*.f64 (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))))

eval2.0ms (0.1%)

Memory: 5.1MiB live, 5.1MiB allocated; 0ms collecting garbage
Compiler: Compiled 171 to 54 computations (68.4% saved)

prune2.0ms (0.1%)

Memory

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

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	15	0	15
Fresh	0	0	0
Picked	0	2	2
Done	0	1	1
Total	15	3	18

Accuracy

100.0%

Counts

18 → 3

Alt Table

Click to see full alt table

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

Compiler

Compiled 49 to 31 computations (36.7% saved)

regimes7.0ms (0.5%)

Memory

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

Counts

4 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 10 to 15 computations (-50% saved)

regimes50.0ms (3.1%)

Memory

-26.4MiB live, 17.0MiB allocated; 31ms collecting garbage

Counts

2 → 2

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 10 to 15 computations (-50% saved)

regimes4.0ms (0.3%)

Memory

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

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 10 to 15 computations (-50% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-2.0742965047347694e-298	0.0

Compiler

Compiled 10 to 12 computations (-20% saved)

derivations133.0ms (8.2%)

Memory

4.8MiB live, 130.2MiB allocated; 45ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 40 to 16 computations (60% saved)

preprocess79.0ms (4.8%)

Memory

11.7MiB live, 110.6MiB allocated; 43ms collecting garbage

Remove

(sort d2 d3)

(negabs d1)

Compiler

Compiled 212 to 131 computations (38.2% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample751.0ms (46.1%)

preprocess28.0ms (1.7%)

series7.0ms (0.4%)

rewrite215.0ms (13.2%)

eval9.0ms (0.6%)

prune2.0ms (0.1%)

series4.0ms (0.2%)

rewrite151.0ms (9.3%)

eval19.0ms (1.2%)

prune3.0ms (0.2%)

series4.0ms (0.3%)

rewrite158.0ms (9.7%)

eval2.0ms (0.1%)

prune2.0ms (0.1%)

regimes7.0ms (0.5%)

regimes50.0ms (3.1%)

regimes4.0ms (0.3%)

bsearch0.0ms (0%)

derivations133.0ms (8.2%)

preprocess79.0ms (4.8%)

end0.0ms (0%)

Profiling