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)

sample757.0ms (31.4%)

Memory

-17.2MiB live, 996.3MiB allocated; 181ms collecting garbage

Samples

482.0ms

8 256×

valid

Precisions

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

ival-mult!: 152.0ms (65.3% of total)

ival-add!: 79.0ms (34% of total)

adjust: 1.0ms (0.4% of total)

Bogosity

preprocess33.0ms (1.4%)

Memory

-1.2MiB live, 45.7MiB allocated; 4ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	26	55
1	100	53
2	250	51
3	383	51
4	412	51
5	412	51

Stop Event

1×

saturated

Alt Table

Click to see full alt table

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

Symmetry

(negabs d1)

(sort d2 d3)

Compiler

Compiled 12 to 12 computations (0% saved)

series7.0ms (0.3%)

Memory

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

rewrite307.0ms (12.7%)

Memory

29.4MiB live, 214.7MiB allocated; 17ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	44	166
0	45	114
1	250	114
2	1600	114
0	8570	114
1	24730	114

Stop Event

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

Counts

18 → 201

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

eval107.0ms (4.4%)

Memory: 7.0MiB live, 51.5MiB allocated; 4ms collecting garbage
Compiler: Compiled 931 to 412 computations (55.7% saved)

prune20.0ms (0.8%)

Memory

-34.0MiB live, 12.6MiB allocated; 3ms collecting garbage

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	188	2	190
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	189	2	191

Accuracy

100.0%

Counts

191 → 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)

series7.0ms (0.3%)

Memory

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

rewrite313.0ms (13%)

Memory

12.7MiB live, 171.2MiB allocated; 11ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	70	220
0	73	158
1	419	158
2	2403	158

Stop Event

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

Counts

24 → 25

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

eval11.0ms (0.5%)

Memory: -43.6MiB live, 1.8MiB allocated; 4ms collecting garbage
Compiler: Compiled 33 to 26 computations (21.2% saved)

prune1.0ms (0%)

Memory

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

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	7	1	8
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	7	3	10

Accuracy

100.0%

Counts

10 → 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)
▶	56.0%	(*.f64 #s(approx (+ d3 d2) d3) d1)

Compiler

Compiled 16 to 16 computations (0% saved)

series3.0ms (0.1%)

Memory

5.1MiB live, 5.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)

rewrite351.0ms (14.6%)

Memory

6.9MiB live, 281.4MiB allocated; 48ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	58	200
0	59	146
1	339	146
2	2122	146

Stop Event

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

Counts

20 → 7

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

eval0.0ms (0%)

Memory: 0.6MiB live, 0.6MiB allocated; 0ms collecting garbage
Compiler: Compiled 10 to 9 computations (10% saved)

prune1.0ms (0%)

Memory

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

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	1	1	2
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	1	4	5

Accuracy

100.0%

Counts

5 → 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)
✓	56.0%	(*.f64 #s(approx (+ d3 d2) d3) d1)
▶	49.5%	(*.f64 #s(approx (+ d3 d2) d2) d1)

Compiler

Compiled 22 to 22 computations (0% saved)

series3.0ms (0.1%)

Memory

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

rewrite298.0ms (12.4%)

Memory

3.5MiB live, 239.0MiB allocated; 50ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	59	198
0	60	144
1	340	144
2	2123	144

Stop Event

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

Counts

20 → 7

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

eval0.0ms (0%)

Memory: 0.7MiB live, 0.7MiB allocated; 0ms collecting garbage
Compiler: Compiled 10 to 10 computations (0% 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	2	0	2
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	2	4	6

Accuracy

100.0%

Counts

6 → 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)
✓	56.0%	(*.f64 #s(approx (+ d3 d2) d3) d1)
✓	49.5%	(*.f64 #s(approx (+ d3 d2) d2) d1)

Compiler

Compiled 38 to 37 computations (2.6% saved)

regimes8.0ms (0.3%)

Memory

22.5MiB live, 22.6MiB allocated; 0ms 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:

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.3%)

Memory

-30.2MiB live, 16.1MiB allocated; 3ms 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:

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

Results

Accuracy	Segments	Branch
98.5%	2	`(+.f64 (.f64 d1 d2) (.f64 d1 d3))`
64.0%	5	`d1`
86.3%	2	`d2`
87.3%	2	`d3`

Compiler

Compiled 9 to 15 computations (-66.7% saved)

regimes4.0ms (0.2%)

Memory

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

Results

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

Compiler

Compiled 9 to 15 computations (-66.7% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-1.13467047e-315	0.0

Compiler

Compiled 9 to 12 computations (-33.3% saved)

derivations125.0ms (5.2%)

Memory

-25.5MiB live, 73.6MiB allocated; 52ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 17 to 16 computations (5.9% saved)

preprocess45.0ms (1.9%)

Memory

32.3MiB live, 77.3MiB allocated; 7ms collecting garbage

Remove

(sort d2 d3)

(negabs d1)

Compiler

Compiled 132 to 127 computations (3.8% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample757.0ms (31.4%)

preprocess33.0ms (1.4%)

series7.0ms (0.3%)

rewrite307.0ms (12.7%)

eval107.0ms (4.4%)

prune20.0ms (0.8%)

series7.0ms (0.3%)

rewrite313.0ms (13%)

eval11.0ms (0.5%)

prune1.0ms (0%)

series3.0ms (0.1%)

rewrite351.0ms (14.6%)

eval0.0ms (0%)

prune1.0ms (0%)

series3.0ms (0.1%)

rewrite298.0ms (12.4%)

eval0.0ms (0%)

prune2.0ms (0.1%)

regimes8.0ms (0.3%)

regimes8.0ms (0.3%)

regimes4.0ms (0.2%)

bsearch0.0ms (0%)

derivations125.0ms (5.2%)

preprocess45.0ms (1.9%)

end0.0ms (0%)

Profiling