Metrics for FastMath dist4

start0.0ms (0%)

Memory: 0.2MiB live, 0.2MiB 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.8%	0.2%	0%	0%	0%	0
100%	99.8%	0%	0.2%	0%	0%	0%	1

Compiler

Compiled 17 to 13 computations (23.5% saved)

sample867.0ms (30.6%)

Memory

6.1MiB live, 1 437.5MiB allocated; 353ms collecting garbage

Samples

590.0ms

8 256×

valid

Precisions

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

ival-mult!: 224.0ms (70% of total)

ival-add!: 63.0ms (19.7% of total)

ival-sub!: 32.0ms (10% of total)

adjust: 2.0ms (0.6% of total)

Bogosity

preprocess75.0ms (2.7%)

Memory

-7.2MiB live, 49.1MiB allocated; 17ms collecting garbage

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	65	203
1	347	168
2	1391	136
3	4512	135
4	7433	135

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	87.9%	(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))

Symmetry

(sort d2 d4)

Compiler

Compiled 22 to 22 computations (0% saved)

series24.0ms (0.8%)

Memory

11.8MiB live, 56.7MiB allocated; 6ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	173	975

Stop Event

1×	iter-limit

Counts

11 → 44

Calls

Call 1

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

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

Calls

12 calls:

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

rewrite174.0ms (6.2%)

Memory

-2.7MiB live, 253.6MiB allocated; 39ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	11	49
0	18	43
1	98	39
2	421	37
3	1644	37
4	4201	37
0	8157	37
1	10894	37

Stop Event

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

Counts

11 → 201

Calls

Call 1

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

Outputs
(*.f64 (-.f64 (-.f64 d4 (-.f64 d3 d2)) d1) d1)
(*.f64 (neg.f64 d1) (-.f64 (-.f64 d1 (-.f64 d2 d3)) d4))
(*.f64 d1 (-.f64 (-.f64 d4 (-.f64 d3 d2)) d1))
(neg.f64 (*.f64 (-.f64 (-.f64 d4 (-.f64 d3 d2)) d1) (neg.f64 d1)))
(neg.f64 (*.f64 (-.f64 (-.f64 d1 (-.f64 d2 d3)) d4) d1))
(fma.f64 (-.f64 (-.f64 d4 d3) d1) d1 (*.f64 d2 d1))
(fma.f64 (+.f64 d4 d2) d1 (*.f64 d1 (-.f64 (neg.f64 d3) d1)))
(fma.f64 (-.f64 d4 d3) d1 (*.f64 (-.f64 d2 d1) d1))
(fma.f64 (-.f64 d4 d3) d1 (*.f64 d1 (-.f64 d2 d1)))
(fma.f64 (-.f64 (-.f64 d2 d3) d1) d1 (*.f64 d4 d1))
(fma.f64 (-.f64 d4 (-.f64 d3 d2)) d1 (*.f64 (neg.f64 d1) d1))
(fma.f64 (-.f64 d4 d1) d1 (*.f64 (-.f64 d2 d3) d1))
(fma.f64 (-.f64 d3 d4) (neg.f64 d1) (*.f64 (-.f64 d2 d1) d1))
(fma.f64 (-.f64 d3 d4) (neg.f64 d1) (*.f64 d1 (-.f64 d2 d1)))
(fma.f64 (neg.f64 d2) (neg.f64 d1) (*.f64 (-.f64 (-.f64 d4 d3) d1) d1))
(fma.f64 (neg.f64 d3) d1 (*.f64 (neg.f64 d1) (-.f64 d1 (+.f64 d4 d2))))
(fma.f64 (neg.f64 d3) d1 (*.f64 (neg.f64 d1) (-.f64 (-.f64 d1 d4) d2)))
(fma.f64 (neg.f64 d3) d1 (*.f64 d1 (-.f64 d2 (-.f64 d1 d4))))
(fma.f64 (-.f64 d3 d2) (neg.f64 d1) (*.f64 (-.f64 d1 d4) (neg.f64 d1)))
(fma.f64 (-.f64 d3 d2) (neg.f64 d1) (*.f64 (-.f64 d4 d1) d1))
(fma.f64 (neg.f64 (fabs.f64 d1)) (fabs.f64 d1) (*.f64 (-.f64 (-.f64 d3 d4) d2) (neg.f64 d1)))
(fma.f64 (neg.f64 (fabs.f64 d1)) (fabs.f64 d1) (*.f64 (-.f64 d4 (-.f64 d3 d2)) d1))
(fma.f64 (-.f64 d2 d3) d1 (*.f64 (-.f64 d1 d4) (neg.f64 d1)))
(fma.f64 (-.f64 d2 d3) d1 (*.f64 (-.f64 d4 d1) d1))
(fma.f64 (neg.f64 d4) (neg.f64 d1) (*.f64 (-.f64 (-.f64 d2 d3) d1) d1))
(fma.f64 (fabs.f64 d1) (neg.f64 (fabs.f64 d1)) (*.f64 (-.f64 (-.f64 d3 d4) d2) (neg.f64 d1)))
(fma.f64 (fabs.f64 d1) (neg.f64 (fabs.f64 d1)) (*.f64 (-.f64 d4 (-.f64 d3 d2)) d1))
(fma.f64 (neg.f64 d1) (-.f64 (neg.f64 d2) d4) (*.f64 d1 (-.f64 (neg.f64 d3) d1)))
(fma.f64 (neg.f64 d1) (+.f64 d3 d1) (*.f64 (+.f64 d4 d2) d1))
(fma.f64 (neg.f64 d1) (-.f64 d3 (-.f64 d4 d1)) (*.f64 d2 d1))
(fma.f64 (neg.f64 d1) (-.f64 d1 d2) (*.f64 (-.f64 d4 d3) d1))
(fma.f64 (neg.f64 d1) (-.f64 d1 (-.f64 d2 d3)) (*.f64 d4 d1))
(fma.f64 (neg.f64 d1) (-.f64 (-.f64 d3 d4) d2) (*.f64 (neg.f64 d1) d1))
(fma.f64 (neg.f64 d1) (-.f64 d1 d4) (*.f64 (-.f64 d2 d3) d1))
(fma.f64 (neg.f64 d1) (-.f64 d3 d4) (*.f64 (-.f64 d2 d1) d1))
(fma.f64 (neg.f64 d1) (-.f64 d3 d4) (*.f64 d1 (-.f64 d2 d1)))
(fma.f64 (neg.f64 d1) (neg.f64 d2) (*.f64 (-.f64 (-.f64 d4 d3) d1) d1))
(fma.f64 (neg.f64 d1) (-.f64 d3 d2) (*.f64 (-.f64 d1 d4) (neg.f64 d1)))
(fma.f64 (neg.f64 d1) (-.f64 d3 d2) (*.f64 (-.f64 d4 d1) d1))
(fma.f64 (neg.f64 d1) (neg.f64 d4) (*.f64 (-.f64 (-.f64 d2 d3) d1) d1))
(fma.f64 (neg.f64 d1) d3 (*.f64 (neg.f64 d1) (-.f64 d1 (+.f64 d4 d2))))
(fma.f64 (neg.f64 d1) d3 (*.f64 (neg.f64 d1) (-.f64 (-.f64 d1 d4) d2)))
(fma.f64 (neg.f64 d1) d3 (*.f64 d1 (-.f64 d2 (-.f64 d1 d4))))
(fma.f64 (neg.f64 d1) d1 (*.f64 (-.f64 (-.f64 d3 d4) d2) (neg.f64 d1)))
(fma.f64 (neg.f64 d1) d1 (*.f64 (-.f64 d4 (-.f64 d3 d2)) d1))
(fma.f64 d4 d1 (*.f64 (-.f64 (-.f64 d2 d3) d1) d1))
(fma.f64 d3 (neg.f64 d1) (*.f64 (neg.f64 d1) (-.f64 d1 (+.f64 d4 d2))))
(fma.f64 d3 (neg.f64 d1) (*.f64 (neg.f64 d1) (-.f64 (-.f64 d1 d4) d2)))
(fma.f64 d3 (neg.f64 d1) (*.f64 d1 (-.f64 d2 (-.f64 d1 d4))))
(fma.f64 d2 d1 (*.f64 (-.f64 (-.f64 d4 d3) d1) d1))
(fma.f64 d1 (+.f64 (neg.f64 d1) (+.f64 d4 d2)) (*.f64 (neg.f64 d1) d3))
(fma.f64 d1 (-.f64 d2 (-.f64 d1 d4)) (*.f64 (neg.f64 d1) d3))
(fma.f64 d1 (-.f64 (neg.f64 d3) d1) (*.f64 (+.f64 d4 d2) d1))
(fma.f64 d1 (-.f64 d2 d1) (*.f64 (-.f64 d4 d3) d1))
(fma.f64 d1 (-.f64 (-.f64 d4 d3) d1) (*.f64 d2 d1))
(fma.f64 d1 (+.f64 d4 d2) (*.f64 d1 (-.f64 (neg.f64 d3) d1)))
(fma.f64 d1 (-.f64 d4 d3) (*.f64 (-.f64 d2 d1) d1))
(fma.f64 d1 (-.f64 d4 d3) (*.f64 d1 (-.f64 d2 d1)))
(fma.f64 d1 (-.f64 (-.f64 d2 d3) d1) (*.f64 d4 d1))
(fma.f64 d1 (-.f64 d4 (-.f64 d3 d2)) (*.f64 (neg.f64 d1) d1))
(fma.f64 d1 (-.f64 d4 d1) (*.f64 (-.f64 d2 d3) d1))
(fma.f64 d1 (neg.f64 d3) (*.f64 (neg.f64 d1) (-.f64 d1 (+.f64 d4 d2))))
(fma.f64 d1 (neg.f64 d3) (*.f64 (neg.f64 d1) (-.f64 (-.f64 d1 d4) d2)))
(fma.f64 d1 (neg.f64 d3) (*.f64 d1 (-.f64 d2 (-.f64 d1 d4))))
(fma.f64 d1 (-.f64 d2 d3) (*.f64 (-.f64 d1 d4) (neg.f64 d1)))
(fma.f64 d1 (-.f64 d2 d3) (*.f64 (-.f64 d4 d1) d1))
(fma.f64 d1 (neg.f64 d1) (*.f64 (-.f64 (-.f64 d3 d4) d2) (neg.f64 d1)))
(fma.f64 d1 (neg.f64 d1) (*.f64 (-.f64 d4 (-.f64 d3 d2)) d1))
(fma.f64 d1 d4 (*.f64 (-.f64 (-.f64 d2 d3) d1) d1))
(fma.f64 d1 d2 (*.f64 (-.f64 (-.f64 d4 d3) d1) d1))
(-.f64 (.f64 d1 (-.f64 d2 (-.f64 d1 d4))) (.f64 d3 d1))
(-.f64 (.f64 d1 (-.f64 (neg.f64 d3) d1)) (.f64 (-.f64 (neg.f64 d2) d4) d1))
(-.f64 (.f64 d1 (-.f64 (neg.f64 d3) d1)) (.f64 d1 (-.f64 (neg.f64 d2) d4)))
(-.f64 (.f64 d1 (-.f64 d2 d1)) (.f64 (-.f64 d3 d4) d1))
(-.f64 (.f64 (-.f64 (-.f64 d4 d3) d1) d1) (.f64 (neg.f64 d1) d2))
(-.f64 (.f64 (+.f64 d4 d2) d1) (.f64 d1 (+.f64 d3 d1)))
(-.f64 (.f64 (-.f64 d4 d3) d1) (.f64 (-.f64 d1 d2) d1))
(-.f64 (.f64 (-.f64 (-.f64 d2 d3) d1) d1) (.f64 (neg.f64 d4) d1))
(-.f64 (.f64 (-.f64 d4 d1) d1) (.f64 (-.f64 d3 d2) d1))
(-.f64 (.f64 (neg.f64 d1) d1) (.f64 (-.f64 (-.f64 d3 d4) d2) d1))
(-.f64 (.f64 (neg.f64 d1) d3) (.f64 (neg.f64 d1) (+.f64 (neg.f64 d1) (+.f64 d4 d2))))
(-.f64 (.f64 (neg.f64 d1) d3) (.f64 (neg.f64 d1) (-.f64 d2 (-.f64 d1 d4))))
(-.f64 (.f64 (neg.f64 d1) d3) (.f64 d1 (-.f64 (-.f64 d1 d4) d2)))
(-.f64 (.f64 (-.f64 d4 (-.f64 d3 d2)) d1) (.f64 d1 d1))
(-.f64 (.f64 d4 d1) (.f64 (-.f64 d1 (-.f64 d2 d3)) d1))
(-.f64 (.f64 (-.f64 d2 d3) d1) (.f64 (-.f64 d1 d4) d1))
(-.f64 (.f64 d2 d1) (.f64 (-.f64 d3 (-.f64 d4 d1)) d1))
(+.f64 (.f64 d1 (-.f64 d2 (-.f64 d1 d4))) (.f64 (neg.f64 d1) d3))
(+.f64 (.f64 d1 (-.f64 (neg.f64 d3) d1)) (.f64 (+.f64 d4 d2) d1))
(+.f64 (.f64 d1 (-.f64 d2 d1)) (.f64 (-.f64 d4 d3) d1))
(+.f64 (.f64 (-.f64 (-.f64 d4 d3) d1) d1) (.f64 d2 d1))
(+.f64 (.f64 (+.f64 d4 d2) d1) (.f64 d1 (-.f64 (neg.f64 d3) d1)))
(+.f64 (.f64 (-.f64 d4 d3) d1) (.f64 (-.f64 d2 d1) d1))
(+.f64 (.f64 (-.f64 d4 d3) d1) (.f64 d1 (-.f64 d2 d1)))
(+.f64 (.f64 (-.f64 (-.f64 d2 d3) d1) d1) (.f64 d4 d1))
(+.f64 (.f64 (-.f64 d4 d1) d1) (.f64 (-.f64 d2 d3) d1))
(+.f64 (.f64 (neg.f64 d1) d1) (.f64 (-.f64 (-.f64 d3 d4) d2) (neg.f64 d1)))
(+.f64 (.f64 (neg.f64 d1) d1) (.f64 (-.f64 d4 (-.f64 d3 d2)) d1))
(+.f64 (.f64 (neg.f64 d1) d3) (.f64 (neg.f64 d1) (-.f64 d1 (+.f64 d4 d2))))
(+.f64 (.f64 (neg.f64 d1) d3) (.f64 (neg.f64 d1) (-.f64 (-.f64 d1 d4) d2)))
(+.f64 (.f64 (neg.f64 d1) d3) (.f64 d1 (-.f64 d2 (-.f64 d1 d4))))
(+.f64 (.f64 (-.f64 d4 (-.f64 d3 d2)) d1) (.f64 (neg.f64 d1) d1))
(+.f64 (.f64 d4 d1) (.f64 (-.f64 (-.f64 d2 d3) d1) d1))
(+.f64 (.f64 (-.f64 d2 d3) d1) (.f64 (-.f64 d1 d4) (neg.f64 d1)))
(+.f64 (.f64 (-.f64 d2 d3) d1) (.f64 (-.f64 d4 d1) d1))
(+.f64 (.f64 d2 d1) (.f64 (-.f64 (-.f64 d4 d3) d1) d1))
(*.f64 (-.f64 d4 (-.f64 d3 d2)) d1)
(*.f64 (neg.f64 d1) (-.f64 (-.f64 d3 d4) d2))
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(neg.f64 (*.f64 (-.f64 (-.f64 d3 d4) d2) d1))
(fma.f64 (+.f64 d4 d2) d1 (*.f64 (neg.f64 d1) d3))
(fma.f64 (-.f64 d4 d3) d1 (*.f64 d2 d1))
(fma.f64 (-.f64 d3 d4) (neg.f64 d1) (*.f64 d2 d1))
(fma.f64 (neg.f64 d2) (neg.f64 d1) (*.f64 (-.f64 d4 d3) d1))
(fma.f64 (neg.f64 d3) d1 (*.f64 (+.f64 d4 d2) d1))
(fma.f64 (-.f64 d3 d2) (neg.f64 d1) (*.f64 d4 d1))
(fma.f64 (-.f64 d2 d3) d1 (*.f64 d4 d1))
(fma.f64 (neg.f64 d4) (neg.f64 d1) (*.f64 (-.f64 d2 d3) d1))
(fma.f64 (neg.f64 d1) (-.f64 (neg.f64 d2) d4) (*.f64 (neg.f64 d1) d3))
(fma.f64 (neg.f64 d1) (-.f64 d3 d4) (*.f64 d2 d1))
(fma.f64 (neg.f64 d1) (neg.f64 d2) (*.f64 (-.f64 d4 d3) d1))
(fma.f64 (neg.f64 d1) (-.f64 d3 d2) (*.f64 d4 d1))
(fma.f64 (neg.f64 d1) (neg.f64 d4) (*.f64 (-.f64 d2 d3) d1))
(fma.f64 (neg.f64 d1) d3 (*.f64 (+.f64 d4 d2) d1))
(fma.f64 d4 d1 (*.f64 (-.f64 d2 d3) d1))
(fma.f64 d3 (neg.f64 d1) (*.f64 (+.f64 d4 d2) d1))
(fma.f64 d2 d1 (*.f64 (-.f64 d4 d3) d1))
(fma.f64 d1 (+.f64 d4 d2) (*.f64 (neg.f64 d1) d3))
(fma.f64 d1 (-.f64 d4 d3) (*.f64 d2 d1))
(fma.f64 d1 (neg.f64 d3) (*.f64 (+.f64 d4 d2) d1))
(fma.f64 d1 (-.f64 d2 d3) (*.f64 d4 d1))
(fma.f64 d1 d4 (*.f64 (-.f64 d2 d3) d1))
(fma.f64 d1 d2 (*.f64 (-.f64 d4 d3) d1))
(-.f64 (.f64 (+.f64 d4 d2) d1) (.f64 d3 d1))
(-.f64 (.f64 (-.f64 d4 d3) d1) (.f64 (neg.f64 d1) d2))
(-.f64 (.f64 (neg.f64 d1) d3) (.f64 (-.f64 (neg.f64 d2) d4) d1))
(-.f64 (.f64 (neg.f64 d1) d3) (.f64 d1 (-.f64 (neg.f64 d2) d4)))
(-.f64 (.f64 d4 d1) (.f64 (-.f64 d3 d2) d1))
(-.f64 (.f64 (-.f64 d2 d3) d1) (.f64 (neg.f64 d4) d1))
(-.f64 (.f64 d2 d1) (.f64 (-.f64 d3 d4) d1))
(+.f64 (.f64 (+.f64 d4 d2) d1) (.f64 (neg.f64 d1) d3))
(+.f64 (.f64 (-.f64 d4 d3) d1) (.f64 d2 d1))
(+.f64 (.f64 (neg.f64 d1) d3) (.f64 (+.f64 d4 d2) d1))
(+.f64 (.f64 d4 d1) (.f64 (-.f64 d2 d3) d1))
(+.f64 (.f64 (-.f64 d2 d3) d1) (.f64 d4 d1))
(+.f64 (.f64 d2 d1) (.f64 (-.f64 d4 d3) d1))
(*.f64 (-.f64 d3 d2) (neg.f64 d1))
(*.f64 (-.f64 d2 d3) d1)
(*.f64 (neg.f64 d1) (-.f64 d3 d2))
(*.f64 d1 (-.f64 d2 d3))
(neg.f64 (*.f64 (-.f64 d3 d2) d1))
(fma.f64 (neg.f64 d2) (neg.f64 d1) (*.f64 (neg.f64 d1) d3))
(fma.f64 (neg.f64 d3) d1 (*.f64 d2 d1))
(fma.f64 (neg.f64 d1) (neg.f64 d2) (*.f64 (neg.f64 d1) d3))
(fma.f64 (neg.f64 d1) d3 (*.f64 d2 d1))
(fma.f64 d3 (neg.f64 d1) (*.f64 d2 d1))
(fma.f64 d2 d1 (*.f64 (neg.f64 d1) d3))
(fma.f64 d1 (neg.f64 d3) (*.f64 d2 d1))
(fma.f64 d1 d2 (*.f64 (neg.f64 d1) d3))
(-.f64 (.f64 (neg.f64 d1) d3) (.f64 (neg.f64 d1) d2))
(-.f64 (.f64 d2 d1) (.f64 d3 d1))
(+.f64 (.f64 (neg.f64 d1) d3) (.f64 d2 d1))
(+.f64 (.f64 d2 d1) (.f64 (neg.f64 d1) d3))
(*.f64 (neg.f64 d2) (neg.f64 d1))
(*.f64 (neg.f64 d1) (neg.f64 d2))
(*.f64 d2 d1)
(*.f64 d1 d2)
(neg.f64 (*.f64 (neg.f64 d1) d2))
d1
d2
(*.f64 (neg.f64 d3) (neg.f64 d1))
(*.f64 (neg.f64 d1) (neg.f64 d3))
(*.f64 d3 d1)
(*.f64 d1 d3)
(neg.f64 (*.f64 (neg.f64 d1) d3))
d3
(*.f64 (neg.f64 d4) (neg.f64 d1))
(*.f64 (neg.f64 d1) (neg.f64 d4))
(*.f64 d4 d1)
(*.f64 d1 d4)
(neg.f64 (*.f64 (neg.f64 d4) d1))
d4
(*.f64 (neg.f64 (fabs.f64 d1)) (neg.f64 (fabs.f64 d1)))
(*.f64 (fabs.f64 d1) (fabs.f64 d1))
(*.f64 (neg.f64 d1) (neg.f64 d1))
(*.f64 d1 d1)
(pow.f64 (pow.f64 d1 #s(literal 8 binary64)) #s(literal 1/4 binary64))
(pow.f64 (.f64 (.f64 (*.f64 d1 d1) d1) d1) #s(literal 1/2 binary64))
(pow.f64 (neg.f64 (fabs.f64 d1)) #s(literal 2 binary64))
(pow.f64 (fabs.f64 d1) #s(literal 2 binary64))
(pow.f64 (neg.f64 d1) #s(literal 2 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 1 binary64))
(pow.f64 d1 #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 d1) d1))
(sqrt.f64 (.f64 (.f64 (*.f64 d1 d1) d1) d1))
(fabs.f64 (*.f64 (neg.f64 d1) (fabs.f64 d1)))
(fabs.f64 (*.f64 d1 (fabs.f64 d1)))
(fabs.f64 (*.f64 (fabs.f64 d1) (neg.f64 d1)))
(fabs.f64 (*.f64 (fabs.f64 d1) d1))
(fabs.f64 (*.f64 (neg.f64 d1) d1))
(fabs.f64 (*.f64 d1 d1))

eval22.0ms (0.8%)

Memory: 15.6MiB live, 61.5MiB allocated; 4ms collecting garbage
Compiler: Compiled 1 526 to 617 computations (59.6% saved)

prune9.0ms (0.3%)

Memory

-34.0MiB live, 16.3MiB allocated; 7ms collecting garbage

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	234	3	237
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	235	3	238

Accuracy

100.0%

Counts

238 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	98.0%	(fma.f64 (-.f64 d4 d3) d1 (*.f64 (-.f64 d2 d1) d1))
▶	100.0%	(*.f64 (-.f64 (-.f64 d4 (-.f64 d3 d2)) d1) d1)
▶	83.9%	#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 (-.f64 (+.f64 d2 d4) d3)))

Compiler

Compiled 31 to 31 computations (0% saved)

series40.0ms (1.4%)

Memory

8.3MiB live, 100.1MiB allocated; 8ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	430	2154

Stop Event

1×	iter-limit

Counts

16 → 113

Calls

Call 1

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

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

Calls

12 calls:

Time	Variable		Point	Expression
4.0ms	d3	@	-inf	((- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (* d1 (- (+ d2 d4) d3)) d1 (- (+ d2 d4) d3) (+ d2 d4) d2 d4 d3 (* (- (- d4 (- d3 d2)) d1) d1) (- (- d4 (- d3 d2)) d1) (- d4 (- d3 d2)) (- d3 d2) (+ (* (- d4 d3) d1) (* (- d2 d1) d1)) (- d4 d3) (* (- d2 d1) d1) (- d2 d1))
4.0ms	d3	@	inf	((- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (* d1 (- (+ d2 d4) d3)) d1 (- (+ d2 d4) d3) (+ d2 d4) d2 d4 d3 (* (- (- d4 (- d3 d2)) d1) d1) (- (- d4 (- d3 d2)) d1) (- d4 (- d3 d2)) (- d3 d2) (+ (* (- d4 d3) d1) (* (- d2 d1) d1)) (- d4 d3) (* (- d2 d1) d1) (- d2 d1))
3.0ms	d1	@	0	((- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (* d1 (- (+ d2 d4) d3)) d1 (- (+ d2 d4) d3) (+ d2 d4) d2 d4 d3 (* (- (- d4 (- d3 d2)) d1) d1) (- (- d4 (- d3 d2)) d1) (- d4 (- d3 d2)) (- d3 d2) (+ (* (- d4 d3) d1) (* (- d2 d1) d1)) (- d4 d3) (* (- d2 d1) d1) (- d2 d1))
2.0ms	d1	@	-inf	((- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (* d1 (- (+ d2 d4) d3)) d1 (- (+ d2 d4) d3) (+ d2 d4) d2 d4 d3 (* (- (- d4 (- d3 d2)) d1) d1) (- (- d4 (- d3 d2)) d1) (- d4 (- d3 d2)) (- d3 d2) (+ (* (- d4 d3) d1) (* (- d2 d1) d1)) (- d4 d3) (* (- d2 d1) d1) (- d2 d1))
2.0ms	d2	@	-inf	((- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (* d1 (- (+ d2 d4) d3)) d1 (- (+ d2 d4) d3) (+ d2 d4) d2 d4 d3 (* (- (- d4 (- d3 d2)) d1) d1) (- (- d4 (- d3 d2)) d1) (- d4 (- d3 d2)) (- d3 d2) (+ (* (- d4 d3) d1) (* (- d2 d1) d1)) (- d4 d3) (* (- d2 d1) d1) (- d2 d1))

rewrite214.0ms (7.6%)

Memory

19.0MiB live, 212.4MiB allocated; 11ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	23	87
0	35	84
1	259	80
2	945	80
3	3160	80
4	6863	80
0	8333	80
1	11612	80

Stop Event

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

Counts

16 → 386

Calls

Call 1

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

Outputs
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (-.f64 d4 (-.f64 d3 d2)) d1))
(*.f64 (-.f64 (-.f64 d3 d2) d4) (neg.f64 d1))
(*.f64 (neg.f64 d1) (-.f64 (-.f64 d3 d2) d4))
(*.f64 (-.f64 d4 (-.f64 d3 d2)) d1)
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(neg.f64 (*.f64 (-.f64 (-.f64 d3 d2) d4) d1))
(fma.f64 (-.f64 (neg.f64 d2) d4) (neg.f64 d1) (*.f64 (neg.f64 d3) d1))
(fma.f64 (neg.f64 d3) d1 (*.f64 (+.f64 d4 d2) d1))
(fma.f64 (neg.f64 d2) (neg.f64 d1) (*.f64 (-.f64 d4 d3) d1))
(fma.f64 (-.f64 d2 d3) d1 (*.f64 d4 d1))
(fma.f64 (-.f64 d3 d4) (neg.f64 d1) (*.f64 d2 d1))
(fma.f64 (neg.f64 d4) (neg.f64 d1) (*.f64 (-.f64 d2 d3) d1))
(fma.f64 (neg.f64 d1) (-.f64 (neg.f64 d2) d4) (*.f64 (neg.f64 d3) d1))
(fma.f64 (neg.f64 d1) (neg.f64 d2) (*.f64 (-.f64 d4 d3) d1))
(fma.f64 (neg.f64 d1) (-.f64 d3 d4) (*.f64 d2 d1))
(fma.f64 (neg.f64 d1) (neg.f64 d4) (*.f64 (-.f64 d2 d3) d1))
(fma.f64 (neg.f64 d1) (-.f64 d3 d2) (*.f64 d4 d1))
(fma.f64 (neg.f64 d1) d3 (*.f64 (+.f64 d4 d2) d1))
(fma.f64 (-.f64 d4 d3) d1 (*.f64 d2 d1))
(fma.f64 (-.f64 d3 d2) (neg.f64 d1) (*.f64 d4 d1))
(fma.f64 (+.f64 d4 d2) d1 (*.f64 (neg.f64 d3) d1))
(fma.f64 d4 d1 (*.f64 (-.f64 d2 d3) d1))
(fma.f64 d3 (neg.f64 d1) (*.f64 (+.f64 d4 d2) d1))
(fma.f64 d2 d1 (*.f64 (-.f64 d4 d3) d1))
(fma.f64 d1 (neg.f64 d3) (*.f64 (+.f64 d4 d2) d1))
(fma.f64 d1 (-.f64 d2 d3) (*.f64 d4 d1))
(fma.f64 d1 (-.f64 d4 d3) (*.f64 d2 d1))
(fma.f64 d1 (+.f64 d4 d2) (*.f64 (neg.f64 d3) d1))
(fma.f64 d1 d4 (*.f64 (-.f64 d2 d3) d1))
(fma.f64 d1 d2 (*.f64 (-.f64 d4 d3) d1))
(-.f64 (.f64 (+.f64 d4 d2) d1) (.f64 d3 d1))
(-.f64 (.f64 (neg.f64 d3) d1) (.f64 (-.f64 (neg.f64 d2) d4) d1))
(-.f64 (.f64 (-.f64 d4 d3) d1) (.f64 (neg.f64 d2) d1))
(-.f64 (.f64 d4 d1) (.f64 (-.f64 d3 d2) d1))
(-.f64 (.f64 (-.f64 d2 d3) d1) (.f64 (neg.f64 d4) d1))
(-.f64 (.f64 d2 d1) (.f64 (-.f64 d3 d4) d1))
(+.f64 (.f64 (+.f64 d4 d2) d1) (.f64 (neg.f64 d3) d1))
(+.f64 (.f64 (neg.f64 d3) d1) (.f64 (+.f64 d4 d2) d1))
(+.f64 (.f64 (-.f64 d4 d3) d1) (.f64 d2 d1))
(+.f64 (.f64 d4 d1) (.f64 (-.f64 d2 d3) d1))
(+.f64 (.f64 (-.f64 d2 d3) d1) (.f64 d4 d1))
(+.f64 (.f64 d2 d1) (.f64 (-.f64 d4 d3) d1))
d1
(neg.f64 (-.f64 (-.f64 d3 d2) d4))
(-.f64 (neg.f64 d3) (-.f64 (neg.f64 d2) d4))
(-.f64 (-.f64 d2 d3) (neg.f64 d4))
(-.f64 (-.f64 d4 d3) (neg.f64 d2))
(-.f64 (+.f64 d4 d2) d3)
(-.f64 d4 (-.f64 d3 d2))
(-.f64 d2 (-.f64 d3 d4))
(+.f64 (neg.f64 d3) (+.f64 d4 d2))
(+.f64 (-.f64 d2 d3) d4)
(+.f64 (-.f64 d4 d3) d2)
(+.f64 (+.f64 d4 d2) (neg.f64 d3))
(+.f64 d4 (-.f64 d2 d3))
(+.f64 d2 (-.f64 d4 d3))
(neg.f64 (-.f64 (neg.f64 d2) d4))
(-.f64 d4 (neg.f64 d2))
(-.f64 d2 (neg.f64 d4))
(+.f64 d4 d2)
(+.f64 d2 d4)
d2
d4
d3
(*.f64 (-.f64 d1 (-.f64 d4 (-.f64 d3 d2))) (neg.f64 d1))
(*.f64 (neg.f64 d1) (-.f64 d1 (-.f64 d4 (-.f64 d3 d2))))
(*.f64 (-.f64 (-.f64 d4 (-.f64 d3 d2)) d1) d1)
(*.f64 d1 (-.f64 (-.f64 d4 (-.f64 d3 d2)) d1))
(neg.f64 (*.f64 (-.f64 d1 (-.f64 d4 (-.f64 d3 d2))) d1))
(fma.f64 (-.f64 (neg.f64 d3) d1) d1 (*.f64 (+.f64 d4 d2) d1))
(fma.f64 (+.f64 d3 d1) (neg.f64 d1) (*.f64 (+.f64 d4 d2) d1))
(fma.f64 (-.f64 d4 (-.f64 d1 d2)) d1 (*.f64 (neg.f64 d3) d1))
(fma.f64 (-.f64 (-.f64 d1 d4) d2) (neg.f64 d1) (*.f64 (neg.f64 d3) d1))
(fma.f64 (-.f64 d3 (-.f64 d4 d1)) (neg.f64 d1) (*.f64 d2 d1))
(fma.f64 (-.f64 (-.f64 d4 d1) d3) d1 (*.f64 d2 d1))
(fma.f64 (-.f64 (-.f64 d2 d3) d1) d1 (*.f64 d4 d1))
(fma.f64 (-.f64 d1 d4) (neg.f64 d1) (*.f64 (-.f64 d2 d3) d1))
(fma.f64 (-.f64 d4 d1) d1 (*.f64 (-.f64 d2 d3) d1))
(fma.f64 (-.f64 (neg.f64 d2) d4) (neg.f64 d1) (*.f64 (-.f64 (neg.f64 d3) d1) d1))
(fma.f64 (-.f64 (neg.f64 d2) d4) (neg.f64 d1) (*.f64 d1 (-.f64 (neg.f64 d3) d1)))
(fma.f64 (neg.f64 (fabs.f64 d1)) (fabs.f64 d1) (*.f64 (-.f64 d4 (-.f64 d3 d2)) d1))
(fma.f64 (-.f64 d3 (-.f64 d2 d1)) (neg.f64 d1) (*.f64 d4 d1))
(fma.f64 (-.f64 d1 d2) (neg.f64 d1) (*.f64 (-.f64 d4 d3) d1))
(fma.f64 (neg.f64 d3) d1 (*.f64 (-.f64 (-.f64 d1 d4) d2) (neg.f64 d1)))
(fma.f64 (neg.f64 d3) d1 (*.f64 (-.f64 d4 (-.f64 d1 d2)) d1))
(fma.f64 (neg.f64 d3) d1 (*.f64 d1 (-.f64 d4 (-.f64 d1 d2))))
(fma.f64 (neg.f64 d2) (neg.f64 d1) (*.f64 (-.f64 (-.f64 d4 d1) d3) d1))
(fma.f64 (-.f64 d2 d3) d1 (*.f64 (-.f64 d1 d4) (neg.f64 d1)))
(fma.f64 (-.f64 d2 d3) d1 (*.f64 (-.f64 d4 d1) d1))
(fma.f64 (-.f64 d3 d4) (neg.f64 d1) (*.f64 (-.f64 d2 d1) d1))
(fma.f64 (-.f64 (-.f64 d3 d2) d4) (neg.f64 d1) (*.f64 (neg.f64 d1) d1))
(fma.f64 (neg.f64 d4) (neg.f64 d1) (*.f64 (-.f64 d3 (-.f64 d2 d1)) (neg.f64 d1)))
(fma.f64 (neg.f64 d4) (neg.f64 d1) (*.f64 (-.f64 (-.f64 d2 d3) d1) d1))
(fma.f64 (fabs.f64 d1) (neg.f64 (fabs.f64 d1)) (*.f64 (-.f64 d4 (-.f64 d3 d2)) d1))
(fma.f64 (neg.f64 d1) (+.f64 d3 d1) (*.f64 (+.f64 d4 d2) d1))
(fma.f64 (neg.f64 d1) (-.f64 (-.f64 d1 d4) d2) (*.f64 (neg.f64 d3) d1))
(fma.f64 (neg.f64 d1) (-.f64 d3 (-.f64 d4 d1)) (*.f64 d2 d1))
(fma.f64 (neg.f64 d1) (-.f64 d1 d4) (*.f64 (-.f64 d2 d3) d1))
(fma.f64 (neg.f64 d1) (-.f64 (neg.f64 d2) d4) (*.f64 (-.f64 (neg.f64 d3) d1) d1))
(fma.f64 (neg.f64 d1) (-.f64 (neg.f64 d2) d4) (*.f64 d1 (-.f64 (neg.f64 d3) d1)))
(fma.f64 (neg.f64 d1) (-.f64 d3 (-.f64 d2 d1)) (*.f64 d4 d1))
(fma.f64 (neg.f64 d1) (-.f64 d1 d2) (*.f64 (-.f64 d4 d3) d1))
(fma.f64 (neg.f64 d1) (neg.f64 d2) (*.f64 (-.f64 (-.f64 d4 d1) d3) d1))
(fma.f64 (neg.f64 d1) (-.f64 d3 d4) (*.f64 (-.f64 d2 d1) d1))
(fma.f64 (neg.f64 d1) (-.f64 (-.f64 d3 d2) d4) (*.f64 (neg.f64 d1) d1))
(fma.f64 (neg.f64 d1) (neg.f64 d4) (*.f64 (-.f64 d3 (-.f64 d2 d1)) (neg.f64 d1)))
(fma.f64 (neg.f64 d1) (neg.f64 d4) (*.f64 (-.f64 (-.f64 d2 d3) d1) d1))
(fma.f64 (neg.f64 d1) (-.f64 d3 d2) (*.f64 (-.f64 d1 d4) (neg.f64 d1)))
(fma.f64 (neg.f64 d1) (-.f64 d3 d2) (*.f64 (-.f64 d4 d1) d1))
(fma.f64 (neg.f64 d1) d3 (*.f64 (-.f64 (-.f64 d1 d4) d2) (neg.f64 d1)))
(fma.f64 (neg.f64 d1) d3 (*.f64 (-.f64 d4 (-.f64 d1 d2)) d1))
(fma.f64 (neg.f64 d1) d3 (*.f64 d1 (-.f64 d4 (-.f64 d1 d2))))
(fma.f64 (neg.f64 d1) d1 (*.f64 (-.f64 d4 (-.f64 d3 d2)) d1))
(fma.f64 (-.f64 d2 d1) d1 (*.f64 (-.f64 d4 d3) d1))
(fma.f64 (-.f64 d4 d3) d1 (*.f64 (-.f64 d2 d1) d1))
(fma.f64 (-.f64 d4 (-.f64 d3 d2)) d1 (*.f64 (neg.f64 d1) d1))
(fma.f64 (-.f64 d3 d2) (neg.f64 d1) (*.f64 (-.f64 d1 d4) (neg.f64 d1)))
(fma.f64 (-.f64 d3 d2) (neg.f64 d1) (*.f64 (-.f64 d4 d1) d1))
(fma.f64 (+.f64 d4 d2) d1 (*.f64 (-.f64 (neg.f64 d3) d1) d1))
(fma.f64 (+.f64 d4 d2) d1 (*.f64 d1 (-.f64 (neg.f64 d3) d1)))
(fma.f64 d4 d1 (*.f64 (-.f64 d3 (-.f64 d2 d1)) (neg.f64 d1)))
(fma.f64 d4 d1 (*.f64 (-.f64 (-.f64 d2 d3) d1) d1))
(fma.f64 d3 (neg.f64 d1) (*.f64 (-.f64 (-.f64 d1 d4) d2) (neg.f64 d1)))
(fma.f64 d3 (neg.f64 d1) (*.f64 (-.f64 d4 (-.f64 d1 d2)) d1))
(fma.f64 d3 (neg.f64 d1) (*.f64 d1 (-.f64 d4 (-.f64 d1 d2))))
(fma.f64 d2 d1 (*.f64 (-.f64 (-.f64 d4 d1) d3) d1))
(fma.f64 d1 (-.f64 (neg.f64 d3) d1) (*.f64 (+.f64 d4 d2) d1))
(fma.f64 d1 (-.f64 d4 (-.f64 d1 d2)) (*.f64 (neg.f64 d3) d1))
(fma.f64 d1 (-.f64 (-.f64 d4 d1) d3) (*.f64 d2 d1))
(fma.f64 d1 (-.f64 (-.f64 d2 d3) d1) (*.f64 d4 d1))
(fma.f64 d1 (-.f64 d4 d1) (*.f64 (-.f64 d2 d3) d1))
(fma.f64 d1 (neg.f64 d3) (*.f64 (-.f64 (-.f64 d1 d4) d2) (neg.f64 d1)))
(fma.f64 d1 (neg.f64 d3) (*.f64 (-.f64 d4 (-.f64 d1 d2)) d1))
(fma.f64 d1 (neg.f64 d3) (*.f64 d1 (-.f64 d4 (-.f64 d1 d2))))
(fma.f64 d1 (-.f64 d2 d3) (*.f64 (-.f64 d1 d4) (neg.f64 d1)))
(fma.f64 d1 (-.f64 d2 d3) (*.f64 (-.f64 d4 d1) d1))
(fma.f64 d1 (neg.f64 d1) (*.f64 (-.f64 d4 (-.f64 d3 d2)) d1))
(fma.f64 d1 (-.f64 d2 d1) (*.f64 (-.f64 d4 d3) d1))
(fma.f64 d1 (-.f64 d4 d3) (*.f64 (-.f64 d2 d1) d1))
(fma.f64 d1 (-.f64 d4 (-.f64 d3 d2)) (*.f64 (neg.f64 d1) d1))
(fma.f64 d1 (+.f64 d4 d2) (*.f64 (-.f64 (neg.f64 d3) d1) d1))
(fma.f64 d1 (+.f64 d4 d2) (*.f64 d1 (-.f64 (neg.f64 d3) d1)))
(fma.f64 d1 d4 (*.f64 (-.f64 d3 (-.f64 d2 d1)) (neg.f64 d1)))
(fma.f64 d1 d4 (*.f64 (-.f64 (-.f64 d2 d3) d1) d1))
(fma.f64 d1 d2 (*.f64 (-.f64 (-.f64 d4 d1) d3) d1))
(-.f64 (-.f64 (.f64 (neg.f64 d1) d1) (.f64 d3 d1)) (*.f64 (-.f64 (neg.f64 d2) d4) d1))
(-.f64 (.f64 d1 (-.f64 d4 (-.f64 d1 d2))) (.f64 d3 d1))
(-.f64 (.f64 (-.f64 (-.f64 d4 d1) d3) d1) (.f64 (neg.f64 d2) d1))
(-.f64 (.f64 (+.f64 d4 d2) d1) (.f64 d1 (+.f64 d3 d1)))
(-.f64 (.f64 (-.f64 (-.f64 d2 d3) d1) d1) (.f64 (neg.f64 d4) d1))
(-.f64 (.f64 (-.f64 d4 d1) d1) (.f64 (-.f64 d3 d2) d1))
(-.f64 (.f64 (neg.f64 d3) d1) (-.f64 (.f64 (neg.f64 d2) d1) (*.f64 (-.f64 d4 d1) d1)))
(-.f64 (.f64 (neg.f64 d3) d1) (.f64 d1 (-.f64 (-.f64 d1 d4) d2)))
(-.f64 (.f64 (neg.f64 d1) d1) (.f64 (-.f64 (-.f64 d3 d2) d4) d1))
(-.f64 (.f64 (-.f64 d4 d3) d1) (.f64 (-.f64 d1 d2) d1))
(-.f64 (.f64 (-.f64 d2 d1) d1) (.f64 (-.f64 d3 d4) d1))
(-.f64 (.f64 (-.f64 d4 (-.f64 d3 d2)) d1) (.f64 d1 d1))
(-.f64 (.f64 d4 d1) (-.f64 (.f64 (neg.f64 d2) d1) (*.f64 d1 (-.f64 (neg.f64 d3) d1))))
(-.f64 (.f64 d4 d1) (.f64 (-.f64 d3 (-.f64 d2 d1)) d1))
(-.f64 (.f64 (-.f64 d2 d3) d1) (.f64 (-.f64 d1 d4) d1))
(-.f64 (.f64 d2 d1) (.f64 (-.f64 d3 (-.f64 d4 d1)) d1))
(+.f64 (.f64 (+.f64 d3 d1) (neg.f64 d1)) (.f64 (+.f64 d4 d2) d1))
(+.f64 (.f64 (-.f64 d3 (-.f64 d4 d1)) (neg.f64 d1)) (.f64 d2 d1))
(+.f64 (.f64 (-.f64 d3 (-.f64 d2 d1)) (neg.f64 d1)) (.f64 d4 d1))
(+.f64 (.f64 (-.f64 (-.f64 d1 d4) d2) (neg.f64 d1)) (.f64 (neg.f64 d3) d1))
(+.f64 (.f64 (-.f64 d4 (-.f64 d1 d2)) d1) (.f64 (neg.f64 d3) d1))
(+.f64 (.f64 (-.f64 (neg.f64 d3) d1) d1) (.f64 (+.f64 d4 d2) d1))
(+.f64 (.f64 (-.f64 d1 d4) (neg.f64 d1)) (.f64 (-.f64 d2 d3) d1))
(+.f64 (-.f64 (.f64 (neg.f64 d1) d1) (.f64 d3 d1)) (*.f64 (+.f64 d4 d2) d1))
(+.f64 (.f64 d1 (-.f64 d4 (-.f64 d1 d2))) (.f64 (neg.f64 d3) d1))
(+.f64 (.f64 d1 (-.f64 (neg.f64 d3) d1)) (.f64 (+.f64 d4 d2) d1))
(+.f64 (.f64 (-.f64 (-.f64 d4 d1) d3) d1) (.f64 d2 d1))
(+.f64 (.f64 (+.f64 d4 d2) d1) (.f64 (-.f64 (neg.f64 d3) d1) d1))
(+.f64 (.f64 (+.f64 d4 d2) d1) (.f64 d1 (-.f64 (neg.f64 d3) d1)))
(+.f64 (.f64 (-.f64 (-.f64 d2 d3) d1) d1) (.f64 d4 d1))
(+.f64 (.f64 (-.f64 d4 d1) d1) (.f64 (-.f64 d2 d3) d1))
(+.f64 (.f64 (neg.f64 d3) d1) (.f64 (-.f64 (-.f64 d1 d4) d2) (neg.f64 d1)))
(+.f64 (.f64 (neg.f64 d3) d1) (.f64 (-.f64 d4 (-.f64 d1 d2)) d1))
(+.f64 (.f64 (neg.f64 d3) d1) (.f64 d1 (-.f64 d4 (-.f64 d1 d2))))
(+.f64 (.f64 (neg.f64 d1) d1) (.f64 (-.f64 d4 (-.f64 d3 d2)) d1))
(+.f64 (.f64 (-.f64 d4 d3) d1) (.f64 (-.f64 d2 d1) d1))
(+.f64 (.f64 (-.f64 d2 d1) d1) (.f64 (-.f64 d4 d3) d1))
(+.f64 (.f64 (-.f64 d4 (-.f64 d3 d2)) d1) (.f64 (neg.f64 d1) d1))
(+.f64 (.f64 d4 d1) (.f64 (-.f64 d3 (-.f64 d2 d1)) (neg.f64 d1)))
(+.f64 (.f64 d4 d1) (.f64 (-.f64 (-.f64 d2 d3) d1) d1))
(+.f64 (.f64 (-.f64 d2 d3) d1) (.f64 (-.f64 d1 d4) (neg.f64 d1)))
(+.f64 (.f64 (-.f64 d2 d3) d1) (.f64 (-.f64 d4 d1) d1))
(+.f64 (.f64 d2 d1) (.f64 (-.f64 (-.f64 d4 d1) d3) d1))
(neg.f64 (-.f64 d1 (-.f64 d4 (-.f64 d3 d2))))
(-.f64 (-.f64 (neg.f64 d3) d1) (-.f64 (neg.f64 d2) d4))
(-.f64 (-.f64 d4 (-.f64 d1 d2)) d3)
(-.f64 (-.f64 (-.f64 d4 d1) d3) (neg.f64 d2))
(-.f64 (-.f64 (-.f64 d2 d3) d1) (neg.f64 d4))
(-.f64 (-.f64 d4 d1) (-.f64 d3 d2))
(-.f64 (neg.f64 d3) (-.f64 (-.f64 d1 d4) d2))
(-.f64 (-.f64 d2 d3) (-.f64 d1 d4))
(-.f64 (neg.f64 d1) (-.f64 (-.f64 d3 d2) d4))
(-.f64 (-.f64 d2 d1) (-.f64 d3 d4))
(-.f64 (-.f64 d4 d3) (-.f64 d1 d2))
(-.f64 (-.f64 d4 (-.f64 d3 d2)) d1)
(-.f64 (+.f64 d4 d2) (+.f64 d3 d1))
(-.f64 d4 (-.f64 d3 (-.f64 d2 d1)))
(-.f64 d2 (-.f64 d3 (-.f64 d4 d1)))
(+.f64 (-.f64 (neg.f64 d3) d1) (+.f64 d4 d2))
(+.f64 (-.f64 d4 (-.f64 d1 d2)) (neg.f64 d3))
(+.f64 (-.f64 (-.f64 d4 d1) d3) d2)
(+.f64 (-.f64 (-.f64 d2 d3) d1) d4)
(+.f64 (-.f64 d4 d1) (-.f64 d2 d3))
(+.f64 (neg.f64 d3) (-.f64 d4 (-.f64 d1 d2)))
(+.f64 (-.f64 d2 d3) (-.f64 d4 d1))
(+.f64 (neg.f64 d1) (-.f64 d4 (-.f64 d3 d2)))
(+.f64 (-.f64 d2 d1) (-.f64 d4 d3))
(+.f64 (-.f64 d4 d3) (-.f64 d2 d1))
(+.f64 (-.f64 d4 (-.f64 d3 d2)) (neg.f64 d1))
(+.f64 (+.f64 d4 d2) (-.f64 (neg.f64 d3) d1))
(+.f64 d4 (-.f64 (-.f64 d2 d3) d1))
(+.f64 d2 (-.f64 (-.f64 d4 d1) d3))
(neg.f64 (-.f64 (-.f64 d3 d2) d4))
(-.f64 (neg.f64 d3) (-.f64 (neg.f64 d2) d4))
(-.f64 (-.f64 d2 d3) (neg.f64 d4))
(-.f64 (-.f64 d4 d3) (neg.f64 d2))
(-.f64 (+.f64 d4 d2) d3)
(-.f64 d4 (-.f64 d3 d2))
(-.f64 d2 (-.f64 d3 d4))
(+.f64 (neg.f64 d3) (+.f64 d4 d2))
(+.f64 (-.f64 d2 d3) d4)
(+.f64 (-.f64 d4 d3) d2)
(+.f64 (+.f64 d4 d2) (neg.f64 d3))
(+.f64 d4 (-.f64 d2 d3))
(+.f64 d2 (-.f64 d4 d3))
(neg.f64 (-.f64 d2 d3))
(-.f64 (neg.f64 d2) (neg.f64 d3))
(-.f64 d3 d2)
(+.f64 (neg.f64 d2) d3)
(+.f64 d3 (neg.f64 d2))
(*.f64 (-.f64 d1 (-.f64 d4 (-.f64 d3 d2))) (neg.f64 d1))
(*.f64 (neg.f64 d1) (-.f64 d1 (-.f64 d4 (-.f64 d3 d2))))
(*.f64 (-.f64 (-.f64 d4 (-.f64 d3 d2)) d1) d1)
(*.f64 d1 (-.f64 (-.f64 d4 (-.f64 d3 d2)) d1))
(neg.f64 (*.f64 (-.f64 d1 (-.f64 d4 (-.f64 d3 d2))) d1))
(fma.f64 (-.f64 (neg.f64 d3) d1) d1 (*.f64 (+.f64 d4 d2) d1))
(fma.f64 (+.f64 d3 d1) (neg.f64 d1) (*.f64 (+.f64 d4 d2) d1))
(fma.f64 (-.f64 d4 (-.f64 d1 d2)) d1 (*.f64 (neg.f64 d3) d1))
(fma.f64 (-.f64 (-.f64 d1 d4) d2) (neg.f64 d1) (*.f64 (neg.f64 d3) d1))
(fma.f64 (-.f64 d3 (-.f64 d4 d1)) (neg.f64 d1) (*.f64 d2 d1))
(fma.f64 (-.f64 (-.f64 d4 d1) d3) d1 (*.f64 d2 d1))
(fma.f64 (-.f64 (-.f64 d2 d3) d1) d1 (*.f64 d4 d1))
(fma.f64 (-.f64 d1 d4) (neg.f64 d1) (*.f64 (-.f64 d2 d3) d1))
(fma.f64 (-.f64 d4 d1) d1 (*.f64 (-.f64 d2 d3) d1))
(fma.f64 (-.f64 (neg.f64 d2) d4) (neg.f64 d1) (*.f64 (-.f64 (neg.f64 d3) d1) d1))
(fma.f64 (-.f64 (neg.f64 d2) d4) (neg.f64 d1) (*.f64 d1 (-.f64 (neg.f64 d3) d1)))
(fma.f64 (neg.f64 (fabs.f64 d1)) (fabs.f64 d1) (*.f64 (-.f64 d4 (-.f64 d3 d2)) d1))
(fma.f64 (-.f64 d3 (-.f64 d2 d1)) (neg.f64 d1) (*.f64 d4 d1))
(fma.f64 (-.f64 d1 d2) (neg.f64 d1) (*.f64 (-.f64 d4 d3) d1))
(fma.f64 (neg.f64 d3) d1 (*.f64 (-.f64 (-.f64 d1 d4) d2) (neg.f64 d1)))
(fma.f64 (neg.f64 d3) d1 (*.f64 (-.f64 d4 (-.f64 d1 d2)) d1))
(fma.f64 (neg.f64 d3) d1 (*.f64 d1 (-.f64 d4 (-.f64 d1 d2))))
(fma.f64 (neg.f64 d2) (neg.f64 d1) (*.f64 (-.f64 (-.f64 d4 d1) d3) d1))
(fma.f64 (-.f64 d2 d3) d1 (*.f64 (-.f64 d1 d4) (neg.f64 d1)))
(fma.f64 (-.f64 d2 d3) d1 (*.f64 (-.f64 d4 d1) d1))
(fma.f64 (-.f64 d3 d4) (neg.f64 d1) (*.f64 (-.f64 d2 d1) d1))
(fma.f64 (-.f64 (-.f64 d3 d2) d4) (neg.f64 d1) (*.f64 (neg.f64 d1) d1))
(fma.f64 (neg.f64 d4) (neg.f64 d1) (*.f64 (-.f64 d3 (-.f64 d2 d1)) (neg.f64 d1)))
(fma.f64 (neg.f64 d4) (neg.f64 d1) (*.f64 (-.f64 (-.f64 d2 d3) d1) d1))
(fma.f64 (fabs.f64 d1) (neg.f64 (fabs.f64 d1)) (*.f64 (-.f64 d4 (-.f64 d3 d2)) d1))
(fma.f64 (neg.f64 d1) (+.f64 d3 d1) (*.f64 (+.f64 d4 d2) d1))
(fma.f64 (neg.f64 d1) (-.f64 (-.f64 d1 d4) d2) (*.f64 (neg.f64 d3) d1))
(fma.f64 (neg.f64 d1) (-.f64 d3 (-.f64 d4 d1)) (*.f64 d2 d1))
(fma.f64 (neg.f64 d1) (-.f64 d1 d4) (*.f64 (-.f64 d2 d3) d1))
(fma.f64 (neg.f64 d1) (-.f64 (neg.f64 d2) d4) (*.f64 (-.f64 (neg.f64 d3) d1) d1))
(fma.f64 (neg.f64 d1) (-.f64 (neg.f64 d2) d4) (*.f64 d1 (-.f64 (neg.f64 d3) d1)))
(fma.f64 (neg.f64 d1) (-.f64 d3 (-.f64 d2 d1)) (*.f64 d4 d1))
(fma.f64 (neg.f64 d1) (-.f64 d1 d2) (*.f64 (-.f64 d4 d3) d1))
(fma.f64 (neg.f64 d1) (neg.f64 d2) (*.f64 (-.f64 (-.f64 d4 d1) d3) d1))
(fma.f64 (neg.f64 d1) (-.f64 d3 d4) (*.f64 (-.f64 d2 d1) d1))
(fma.f64 (neg.f64 d1) (-.f64 (-.f64 d3 d2) d4) (*.f64 (neg.f64 d1) d1))
(fma.f64 (neg.f64 d1) (neg.f64 d4) (*.f64 (-.f64 d3 (-.f64 d2 d1)) (neg.f64 d1)))
(fma.f64 (neg.f64 d1) (neg.f64 d4) (*.f64 (-.f64 (-.f64 d2 d3) d1) d1))
(fma.f64 (neg.f64 d1) (-.f64 d3 d2) (*.f64 (-.f64 d1 d4) (neg.f64 d1)))
(fma.f64 (neg.f64 d1) (-.f64 d3 d2) (*.f64 (-.f64 d4 d1) d1))
(fma.f64 (neg.f64 d1) d3 (*.f64 (-.f64 (-.f64 d1 d4) d2) (neg.f64 d1)))
(fma.f64 (neg.f64 d1) d3 (*.f64 (-.f64 d4 (-.f64 d1 d2)) d1))
(fma.f64 (neg.f64 d1) d3 (*.f64 d1 (-.f64 d4 (-.f64 d1 d2))))
(fma.f64 (neg.f64 d1) d1 (*.f64 (-.f64 d4 (-.f64 d3 d2)) d1))
(fma.f64 (-.f64 d2 d1) d1 (*.f64 (-.f64 d4 d3) d1))
(fma.f64 (-.f64 d4 d3) d1 (*.f64 (-.f64 d2 d1) d1))
(fma.f64 (-.f64 d4 (-.f64 d3 d2)) d1 (*.f64 (neg.f64 d1) d1))
(fma.f64 (-.f64 d3 d2) (neg.f64 d1) (*.f64 (-.f64 d1 d4) (neg.f64 d1)))
(fma.f64 (-.f64 d3 d2) (neg.f64 d1) (*.f64 (-.f64 d4 d1) d1))
(fma.f64 (+.f64 d4 d2) d1 (*.f64 (-.f64 (neg.f64 d3) d1) d1))
(fma.f64 (+.f64 d4 d2) d1 (*.f64 d1 (-.f64 (neg.f64 d3) d1)))
(fma.f64 d4 d1 (*.f64 (-.f64 d3 (-.f64 d2 d1)) (neg.f64 d1)))
(fma.f64 d4 d1 (*.f64 (-.f64 (-.f64 d2 d3) d1) d1))
(fma.f64 d3 (neg.f64 d1) (*.f64 (-.f64 (-.f64 d1 d4) d2) (neg.f64 d1)))
(fma.f64 d3 (neg.f64 d1) (*.f64 (-.f64 d4 (-.f64 d1 d2)) d1))
(fma.f64 d3 (neg.f64 d1) (*.f64 d1 (-.f64 d4 (-.f64 d1 d2))))
(fma.f64 d2 d1 (*.f64 (-.f64 (-.f64 d4 d1) d3) d1))
(fma.f64 d1 (-.f64 (neg.f64 d3) d1) (*.f64 (+.f64 d4 d2) d1))
(fma.f64 d1 (-.f64 d4 (-.f64 d1 d2)) (*.f64 (neg.f64 d3) d1))
(fma.f64 d1 (-.f64 (-.f64 d4 d1) d3) (*.f64 d2 d1))
(fma.f64 d1 (-.f64 (-.f64 d2 d3) d1) (*.f64 d4 d1))
(fma.f64 d1 (-.f64 d4 d1) (*.f64 (-.f64 d2 d3) d1))
(fma.f64 d1 (neg.f64 d3) (*.f64 (-.f64 (-.f64 d1 d4) d2) (neg.f64 d1)))
(fma.f64 d1 (neg.f64 d3) (*.f64 (-.f64 d4 (-.f64 d1 d2)) d1))
(fma.f64 d1 (neg.f64 d3) (*.f64 d1 (-.f64 d4 (-.f64 d1 d2))))
(fma.f64 d1 (-.f64 d2 d3) (*.f64 (-.f64 d1 d4) (neg.f64 d1)))
(fma.f64 d1 (-.f64 d2 d3) (*.f64 (-.f64 d4 d1) d1))
(fma.f64 d1 (neg.f64 d1) (*.f64 (-.f64 d4 (-.f64 d3 d2)) d1))
(fma.f64 d1 (-.f64 d2 d1) (*.f64 (-.f64 d4 d3) d1))
(fma.f64 d1 (-.f64 d4 d3) (*.f64 (-.f64 d2 d1) d1))
(fma.f64 d1 (-.f64 d4 (-.f64 d3 d2)) (*.f64 (neg.f64 d1) d1))
(fma.f64 d1 (+.f64 d4 d2) (*.f64 (-.f64 (neg.f64 d3) d1) d1))
(fma.f64 d1 (+.f64 d4 d2) (*.f64 d1 (-.f64 (neg.f64 d3) d1)))
(fma.f64 d1 d4 (*.f64 (-.f64 d3 (-.f64 d2 d1)) (neg.f64 d1)))
(fma.f64 d1 d4 (*.f64 (-.f64 (-.f64 d2 d3) d1) d1))
(fma.f64 d1 d2 (*.f64 (-.f64 (-.f64 d4 d1) d3) d1))
(-.f64 (-.f64 (.f64 (neg.f64 d1) d1) (.f64 d3 d1)) (*.f64 (-.f64 (neg.f64 d2) d4) d1))
(-.f64 (.f64 d1 (-.f64 d4 (-.f64 d1 d2))) (.f64 d3 d1))
(-.f64 (.f64 (-.f64 (-.f64 d4 d1) d3) d1) (.f64 (neg.f64 d2) d1))
(-.f64 (.f64 (+.f64 d4 d2) d1) (.f64 d1 (+.f64 d3 d1)))
(-.f64 (.f64 (-.f64 (-.f64 d2 d3) d1) d1) (.f64 (neg.f64 d4) d1))
(-.f64 (.f64 (-.f64 d4 d1) d1) (.f64 (-.f64 d3 d2) d1))
(-.f64 (.f64 (neg.f64 d3) d1) (-.f64 (.f64 (neg.f64 d2) d1) (*.f64 (-.f64 d4 d1) d1)))
(-.f64 (.f64 (neg.f64 d3) d1) (.f64 d1 (-.f64 (-.f64 d1 d4) d2)))
(-.f64 (.f64 (neg.f64 d1) d1) (.f64 (-.f64 (-.f64 d3 d2) d4) d1))
(-.f64 (.f64 (-.f64 d4 d3) d1) (.f64 (-.f64 d1 d2) d1))
(-.f64 (.f64 (-.f64 d2 d1) d1) (.f64 (-.f64 d3 d4) d1))
(-.f64 (.f64 (-.f64 d4 (-.f64 d3 d2)) d1) (.f64 d1 d1))
(-.f64 (.f64 d4 d1) (-.f64 (.f64 (neg.f64 d2) d1) (*.f64 d1 (-.f64 (neg.f64 d3) d1))))
(-.f64 (.f64 d4 d1) (.f64 (-.f64 d3 (-.f64 d2 d1)) d1))
(-.f64 (.f64 (-.f64 d2 d3) d1) (.f64 (-.f64 d1 d4) d1))
(-.f64 (.f64 d2 d1) (.f64 (-.f64 d3 (-.f64 d4 d1)) d1))
(+.f64 (.f64 (+.f64 d3 d1) (neg.f64 d1)) (.f64 (+.f64 d4 d2) d1))
(+.f64 (.f64 (-.f64 d3 (-.f64 d4 d1)) (neg.f64 d1)) (.f64 d2 d1))
(+.f64 (.f64 (-.f64 d3 (-.f64 d2 d1)) (neg.f64 d1)) (.f64 d4 d1))
(+.f64 (.f64 (-.f64 (-.f64 d1 d4) d2) (neg.f64 d1)) (.f64 (neg.f64 d3) d1))
(+.f64 (.f64 (-.f64 d4 (-.f64 d1 d2)) d1) (.f64 (neg.f64 d3) d1))
(+.f64 (.f64 (-.f64 (neg.f64 d3) d1) d1) (.f64 (+.f64 d4 d2) d1))
(+.f64 (.f64 (-.f64 d1 d4) (neg.f64 d1)) (.f64 (-.f64 d2 d3) d1))
(+.f64 (-.f64 (.f64 (neg.f64 d1) d1) (.f64 d3 d1)) (*.f64 (+.f64 d4 d2) d1))
(+.f64 (.f64 d1 (-.f64 d4 (-.f64 d1 d2))) (.f64 (neg.f64 d3) d1))
(+.f64 (.f64 d1 (-.f64 (neg.f64 d3) d1)) (.f64 (+.f64 d4 d2) d1))
(+.f64 (.f64 (-.f64 (-.f64 d4 d1) d3) d1) (.f64 d2 d1))
(+.f64 (.f64 (+.f64 d4 d2) d1) (.f64 (-.f64 (neg.f64 d3) d1) d1))
(+.f64 (.f64 (+.f64 d4 d2) d1) (.f64 d1 (-.f64 (neg.f64 d3) d1)))
(+.f64 (.f64 (-.f64 (-.f64 d2 d3) d1) d1) (.f64 d4 d1))
(+.f64 (.f64 (-.f64 d4 d1) d1) (.f64 (-.f64 d2 d3) d1))
(+.f64 (.f64 (neg.f64 d3) d1) (.f64 (-.f64 (-.f64 d1 d4) d2) (neg.f64 d1)))
(+.f64 (.f64 (neg.f64 d3) d1) (.f64 (-.f64 d4 (-.f64 d1 d2)) d1))
(+.f64 (.f64 (neg.f64 d3) d1) (.f64 d1 (-.f64 d4 (-.f64 d1 d2))))
(+.f64 (.f64 (neg.f64 d1) d1) (.f64 (-.f64 d4 (-.f64 d3 d2)) d1))
(+.f64 (.f64 (-.f64 d4 d3) d1) (.f64 (-.f64 d2 d1) d1))
(+.f64 (.f64 (-.f64 d2 d1) d1) (.f64 (-.f64 d4 d3) d1))
(+.f64 (.f64 (-.f64 d4 (-.f64 d3 d2)) d1) (.f64 (neg.f64 d1) d1))
(+.f64 (.f64 d4 d1) (.f64 (-.f64 d3 (-.f64 d2 d1)) (neg.f64 d1)))
(+.f64 (.f64 d4 d1) (.f64 (-.f64 (-.f64 d2 d3) d1) d1))
(+.f64 (.f64 (-.f64 d2 d3) d1) (.f64 (-.f64 d1 d4) (neg.f64 d1)))
(+.f64 (.f64 (-.f64 d2 d3) d1) (.f64 (-.f64 d4 d1) d1))
(+.f64 (.f64 d2 d1) (.f64 (-.f64 (-.f64 d4 d1) d3) d1))
(neg.f64 (-.f64 d3 d4))
(-.f64 (neg.f64 d3) (neg.f64 d4))
(-.f64 d4 d3)
(+.f64 (neg.f64 d3) d4)
(+.f64 d4 (neg.f64 d3))
(*.f64 (-.f64 d1 d2) (neg.f64 d1))
(*.f64 (neg.f64 d1) (-.f64 d1 d2))
(*.f64 (-.f64 d2 d1) d1)
(*.f64 d1 (-.f64 d2 d1))
(neg.f64 (*.f64 (-.f64 d1 d2) d1))
(fma.f64 (neg.f64 (fabs.f64 d1)) (fabs.f64 d1) (*.f64 d2 d1))
(fma.f64 (neg.f64 d2) (neg.f64 d1) (*.f64 (neg.f64 d1) d1))
(fma.f64 (fabs.f64 d1) (neg.f64 (fabs.f64 d1)) (*.f64 d2 d1))
(fma.f64 (neg.f64 d1) (neg.f64 d2) (*.f64 (neg.f64 d1) d1))
(fma.f64 (neg.f64 d1) d1 (*.f64 d2 d1))
(fma.f64 d2 d1 (*.f64 (neg.f64 d1) d1))
(fma.f64 d1 (neg.f64 d1) (*.f64 d2 d1))
(fma.f64 d1 d2 (*.f64 (neg.f64 d1) d1))
(-.f64 (.f64 (neg.f64 d1) d1) (.f64 (neg.f64 d2) d1))
(-.f64 (.f64 d2 d1) (.f64 d1 d1))
(+.f64 (.f64 (neg.f64 d1) d1) (.f64 d2 d1))
(+.f64 (.f64 d2 d1) (.f64 (neg.f64 d1) d1))
(neg.f64 (-.f64 d1 d2))
(-.f64 (neg.f64 d1) (neg.f64 d2))
(-.f64 d2 d1)
(+.f64 (neg.f64 d1) d2)
(+.f64 d2 (neg.f64 d1))

eval58.0ms (2.1%)

Memory: -5.6MiB live, 87.4MiB allocated; 8ms collecting garbage
Compiler: Compiled 2 351 to 994 computations (57.7% saved)

prune120.0ms (4.2%)

Memory

-11.6MiB live, 28.7MiB allocated; 13ms collecting garbage

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	342	9	351
Fresh	0	0	0
Picked	3	0	3
Done	0	0	0
Total	345	9	354

Accuracy

100.0%

Counts

354 → 9

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	82.7%	(fma.f64 (-.f64 d4 d3) d1 (*.f64 #s(approx (- d2 d1) d2) d1))
	76.4%	(*.f64 (-.f64 (-.f64 d4 #s(approx (- d3 d2) d3)) d1) d1)
▶	75.3%	(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) (-.f64 (+.f64 d2 d4) d1)) d1)
▶	28.0%	(.f64 #s(approx (- (- d4 (- d3 d2)) d1) (.f64 #s(literal -1 binary64) d1)) d1)
▶	58.5%	#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 (-.f64 #s(approx (+ d2 d4) d4) d3)))
	57.7%	#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 #s(approx (- (+ d2 d4) d3) (-.f64 d2 d3))))
▶	32.0%	#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 d4))
	57.0%	#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) #s(approx (* d1 (- (+ d2 d4) d3)) (*.f64 d1 (+.f64 d2 d4))))
	74.9%	#s(approx (+ (* (- d4 d3) d1) (* (- d2 d1) d1)) (fma.f64 d1 d4 (*.f64 d1 (-.f64 d2 d1))))

Compiler

Compiled 234 to 234 computations (0% saved)

series69.0ms (2.4%)

Memory

31.2MiB live, 105.8MiB allocated; 35ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	440	2164

Stop Event

1×	iter-limit

Counts

22 → 114

Calls

Call 1

Inputs
(fma.f64 (-.f64 d4 d3) d1 (*.f64 #s(approx (- d2 d1) d2) d1))
(-.f64 d4 d3)
d4
d3
d1
(*.f64 #s(approx (- d2 d1) d2) d1)
#s(approx (- d2 d1) d2)
d2
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 d4))
(*.f64 d1 d4)
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 (-.f64 #s(approx (+ d2 d4) d4) d3)))
(*.f64 d1 (-.f64 #s(approx (+ d2 d4) d4) d3))
(-.f64 #s(approx (+ d2 d4) d4) d3)
#s(approx (+ d2 d4) d4)
(.f64 #s(approx (- (- d4 (- d3 d2)) d1) (.f64 #s(literal -1 binary64) d1)) d1)
#s(approx (- (- d4 (- d3 d2)) d1) (*.f64 #s(literal -1 binary64) d1))
(*.f64 #s(literal -1 binary64) d1)
#s(literal -1 binary64)
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) (-.f64 (+.f64 d2 d4) d1)) d1)
#s(approx (- (- d4 (- d3 d2)) d1) (-.f64 (+.f64 d2 d4) d1))
(-.f64 (+.f64 d2 d4) d1)
(+.f64 d2 d4)

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

Calls

12 calls:

Time	Variable		Point	Expression
27.0ms	d4	@	inf	((+ (* (- d4 d3) d1) (* (- d2 d1) d1)) (- d4 d3) d4 d3 d1 (* (- d2 d1) d1) (- d2 d1) d2 (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (* d1 d4) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (* d1 (- (+ d2 d4) d3)) (- (+ d2 d4) d3) (+ d2 d4) (* (- (- d4 (- d3 d2)) d1) d1) (- (- d4 (- d3 d2)) d1) (* -1 d1) -1 (* (- (- d4 (- d3 d2)) d1) d1) (- (- d4 (- d3 d2)) d1) (- (+ d2 d4) d1) (+ d2 d4))
2.0ms	d1	@	-inf	((+ (* (- d4 d3) d1) (* (- d2 d1) d1)) (- d4 d3) d4 d3 d1 (* (- d2 d1) d1) (- d2 d1) d2 (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (* d1 d4) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (* d1 (- (+ d2 d4) d3)) (- (+ d2 d4) d3) (+ d2 d4) (* (- (- d4 (- d3 d2)) d1) d1) (- (- d4 (- d3 d2)) d1) (* -1 d1) -1 (* (- (- d4 (- d3 d2)) d1) d1) (- (- d4 (- d3 d2)) d1) (- (+ d2 d4) d1) (+ d2 d4))
2.0ms	d4	@	-inf	((+ (* (- d4 d3) d1) (* (- d2 d1) d1)) (- d4 d3) d4 d3 d1 (* (- d2 d1) d1) (- d2 d1) d2 (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (* d1 d4) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (* d1 (- (+ d2 d4) d3)) (- (+ d2 d4) d3) (+ d2 d4) (* (- (- d4 (- d3 d2)) d1) d1) (- (- d4 (- d3 d2)) d1) (* -1 d1) -1 (* (- (- d4 (- d3 d2)) d1) d1) (- (- d4 (- d3 d2)) d1) (- (+ d2 d4) d1) (+ d2 d4))
2.0ms	d1	@	inf	((+ (* (- d4 d3) d1) (* (- d2 d1) d1)) (- d4 d3) d4 d3 d1 (* (- d2 d1) d1) (- d2 d1) d2 (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (* d1 d4) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (* d1 (- (+ d2 d4) d3)) (- (+ d2 d4) d3) (+ d2 d4) (* (- (- d4 (- d3 d2)) d1) d1) (- (- d4 (- d3 d2)) d1) (* -1 d1) -1 (* (- (- d4 (- d3 d2)) d1) d1) (- (- d4 (- d3 d2)) d1) (- (+ d2 d4) d1) (+ d2 d4))
1.0ms	d2	@	-inf	((+ (* (- d4 d3) d1) (* (- d2 d1) d1)) (- d4 d3) d4 d3 d1 (* (- d2 d1) d1) (- d2 d1) d2 (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (* d1 d4) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (* d1 (- (+ d2 d4) d3)) (- (+ d2 d4) d3) (+ d2 d4) (* (- (- d4 (- d3 d2)) d1) d1) (- (- d4 (- d3 d2)) d1) (* -1 d1) -1 (* (- (- d4 (- d3 d2)) d1) d1) (- (- d4 (- d3 d2)) d1) (- (+ d2 d4) d1) (+ d2 d4))

rewrite205.0ms (7.2%)

Memory

-5.9MiB live, 249.8MiB allocated; 72ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	34	163
0	46	155
1	290	151
2	1034	147
3	3656	147
0	8304	147
1	13157	147

Stop Event

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

Counts

22 → 266

Calls

Call 1

Inputs
(fma.f64 (-.f64 d4 d3) d1 (*.f64 #s(approx (- d2 d1) d2) d1))
(-.f64 d4 d3)
d4
d3
d1
(*.f64 #s(approx (- d2 d1) d2) d1)
#s(approx (- d2 d1) d2)
d2
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 d4))
(*.f64 d1 d4)
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 (-.f64 #s(approx (+ d2 d4) d4) d3)))
(*.f64 d1 (-.f64 #s(approx (+ d2 d4) d4) d3))
(-.f64 #s(approx (+ d2 d4) d4) d3)
#s(approx (+ d2 d4) d4)
(.f64 #s(approx (- (- d4 (- d3 d2)) d1) (.f64 #s(literal -1 binary64) d1)) d1)
#s(approx (- (- d4 (- d3 d2)) d1) (*.f64 #s(literal -1 binary64) d1))
(*.f64 #s(literal -1 binary64) d1)
#s(literal -1 binary64)
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) (-.f64 (+.f64 d2 d4) d1)) d1)
#s(approx (- (- d4 (- d3 d2)) d1) (-.f64 (+.f64 d2 d4) d1))
(-.f64 (+.f64 d2 d4) d1)
(+.f64 d2 d4)

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

eval93.0ms (3.3%)

Memory: -13.1MiB live, 76.5MiB allocated; 15ms collecting garbage
Compiler: Compiled 2 690 to 1 070 computations (60.2% saved)

prune9.0ms (0.3%)

Memory

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

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	359	4	363
Fresh	1	3	4
Picked	2	3	5
Done	0	0	0
Total	362	10	372

Accuracy

100.0%

Counts

372 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	82.7%	(fma.f64 (-.f64 d4 d3) d1 (*.f64 #s(approx (- d2 d1) d2) d1))
▶	76.4%	(*.f64 (-.f64 (-.f64 d4 #s(approx (- d3 d2) d3)) d1) d1)
	75.3%	(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) (-.f64 d4 (-.f64 d1 d2))) d1)
▶	28.0%	(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) (neg.f64 d1)) d1)
▶	52.7%	(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) #s(approx (- (+ d2 d4) d1) (-.f64 d4 d1))) d1)
▶	57.0%	(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) #s(approx (- (+ d2 d4) d1) (+.f64 d2 d4))) d1)
✓	58.5%	#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 (-.f64 #s(approx (+ d2 d4) d4) d3)))
▶	57.7%	#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 #s(approx (- (+ d2 d4) d3) (-.f64 d2 d3))))
✓	32.0%	#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 d4))
	74.9%	#s(approx (+ (* (- d4 d3) d1) (* (- d2 d1) d1)) (fma.f64 d1 d4 (*.f64 d1 (-.f64 d2 d1))))

Compiler

Compiled 210 to 210 computations (0% saved)

series51.0ms (1.8%)

Memory

-20.1MiB live, 74.2MiB allocated; 31ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	383	1848

Stop Event

1×	iter-limit

Counts

23 → 104

Calls

Call 1

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

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

Calls

12 calls:

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

rewrite210.0ms (7.4%)

Memory

16.2MiB live, 242.5MiB allocated; 37ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	36	206
0	47	204
1	296	202
2	1015	200
3	3477	200
4	7199	200
0	8154	200
1	11809	200

Stop Event

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

Counts

23 → 128

Calls

Call 1

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

Outputs
(*.f64 (-.f64 d1 (-.f64 d4 #s(approx (- d3 d2) d3))) (neg.f64 d1))
(*.f64 (neg.f64 d1) (-.f64 d1 (-.f64 d4 #s(approx (- d3 d2) d3))))
(*.f64 (-.f64 (-.f64 d4 #s(approx (- d3 d2) d3)) d1) d1)
(*.f64 d1 (-.f64 (-.f64 d4 #s(approx (- d3 d2) d3)) d1))
(neg.f64 (*.f64 (-.f64 d1 (-.f64 d4 #s(approx (- d3 d2) d3))) d1))
(fma.f64 (-.f64 (neg.f64 d1) #s(approx (- d3 d2) d3)) d1 (*.f64 d1 d4))
(fma.f64 (neg.f64 (fabs.f64 d1)) (fabs.f64 d1) (*.f64 d1 (-.f64 d4 #s(approx (- d3 d2) d3))))
(fma.f64 (+.f64 d1 #s(approx (- d3 d2) d3)) (neg.f64 d1) (*.f64 d1 d4))
(fma.f64 (neg.f64 #s(approx (- d3 d2) d3)) d1 (*.f64 (-.f64 d4 d1) d1))
(fma.f64 (-.f64 d1 d4) (neg.f64 d1) (*.f64 #s(approx (- d3 d2) d3) (neg.f64 d1)))
(fma.f64 (-.f64 #s(approx (- d3 d2) d3) d4) (neg.f64 d1) (*.f64 (neg.f64 d1) d1))
(fma.f64 (neg.f64 d4) (neg.f64 d1) (-.f64 (neg.f64 (.f64 d1 #s(approx (- d3 d2) d3))) (.f64 d1 d1)))
(fma.f64 (neg.f64 d4) (neg.f64 d1) (*.f64 (neg.f64 d1) (+.f64 d1 #s(approx (- d3 d2) d3))))
(fma.f64 (neg.f64 d4) (neg.f64 d1) (*.f64 (+.f64 d1 #s(approx (- d3 d2) d3)) (neg.f64 d1)))
(fma.f64 (neg.f64 d4) (neg.f64 d1) (*.f64 (-.f64 (neg.f64 d1) #s(approx (- d3 d2) d3)) d1))
(fma.f64 (fabs.f64 d1) (neg.f64 (fabs.f64 d1)) (*.f64 d1 (-.f64 d4 #s(approx (- d3 d2) d3))))
(fma.f64 (-.f64 d4 d1) d1 (*.f64 (neg.f64 d1) #s(approx (- d3 d2) d3)))
(fma.f64 (-.f64 d4 d1) d1 (neg.f64 (*.f64 d1 #s(approx (- d3 d2) d3))))
(fma.f64 (neg.f64 d1) (+.f64 d1 #s(approx (- d3 d2) d3)) (*.f64 d1 d4))
(fma.f64 (neg.f64 d1) (-.f64 d1 d4) (*.f64 (neg.f64 d1) #s(approx (- d3 d2) d3)))
(fma.f64 (neg.f64 d1) (-.f64 d1 d4) (neg.f64 (*.f64 d1 #s(approx (- d3 d2) d3))))
(fma.f64 (neg.f64 d1) (-.f64 #s(approx (- d3 d2) d3) d4) (*.f64 (neg.f64 d1) d1))
(fma.f64 (neg.f64 d1) (neg.f64 d4) (-.f64 (neg.f64 (.f64 d1 #s(approx (- d3 d2) d3))) (.f64 d1 d1)))
(fma.f64 (neg.f64 d1) (neg.f64 d4) (*.f64 (neg.f64 d1) (+.f64 d1 #s(approx (- d3 d2) d3))))
(fma.f64 (neg.f64 d1) (neg.f64 d4) (*.f64 (+.f64 d1 #s(approx (- d3 d2) d3)) (neg.f64 d1)))
(fma.f64 (neg.f64 d1) (neg.f64 d4) (*.f64 (-.f64 (neg.f64 d1) #s(approx (- d3 d2) d3)) d1))
(fma.f64 (neg.f64 d1) d1 (*.f64 d1 (-.f64 d4 #s(approx (- d3 d2) d3))))
(fma.f64 (neg.f64 d1) #s(approx (- d3 d2) d3) (*.f64 (-.f64 d4 d1) d1))
(fma.f64 d1 (-.f64 (neg.f64 d1) #s(approx (- d3 d2) d3)) (*.f64 d1 d4))
(fma.f64 d1 (neg.f64 #s(approx (- d3 d2) d3)) (*.f64 (-.f64 d4 d1) d1))
(fma.f64 d1 (-.f64 d4 d1) (*.f64 (neg.f64 d1) #s(approx (- d3 d2) d3)))
(fma.f64 d1 (-.f64 d4 d1) (neg.f64 (*.f64 d1 #s(approx (- d3 d2) d3))))
(fma.f64 d1 (neg.f64 d1) (*.f64 d1 (-.f64 d4 #s(approx (- d3 d2) d3))))
(fma.f64 d1 (-.f64 d4 #s(approx (- d3 d2) d3)) (*.f64 (neg.f64 d1) d1))
(fma.f64 d1 d4 (-.f64 (neg.f64 (.f64 d1 #s(approx (- d3 d2) d3))) (.f64 d1 d1)))
(fma.f64 d1 d4 (*.f64 (neg.f64 d1) (+.f64 d1 #s(approx (- d3 d2) d3))))
(fma.f64 d1 d4 (*.f64 (+.f64 d1 #s(approx (- d3 d2) d3)) (neg.f64 d1)))
(fma.f64 d1 d4 (*.f64 (-.f64 (neg.f64 d1) #s(approx (- d3 d2) d3)) d1))
(fma.f64 (-.f64 d4 #s(approx (- d3 d2) d3)) d1 (*.f64 (neg.f64 d1) d1))
(fma.f64 #s(approx (- d3 d2) d3) (neg.f64 d1) (*.f64 (-.f64 d1 d4) (neg.f64 d1)))
(fma.f64 d4 d1 (-.f64 (neg.f64 (.f64 d1 #s(approx (- d3 d2) d3))) (.f64 d1 d1)))
(fma.f64 d4 d1 (*.f64 (neg.f64 d1) (+.f64 d1 #s(approx (- d3 d2) d3))))
(fma.f64 d4 d1 (*.f64 (+.f64 d1 #s(approx (- d3 d2) d3)) (neg.f64 d1)))
(fma.f64 d4 d1 (*.f64 (-.f64 (neg.f64 d1) #s(approx (- d3 d2) d3)) d1))
(-.f64 (.f64 d1 (-.f64 d4 #s(approx (- d3 d2) d3))) (.f64 d1 d1))
(-.f64 (.f64 (neg.f64 d1) d1) (.f64 (neg.f64 d1) (-.f64 d4 #s(approx (- d3 d2) d3))))
(-.f64 (.f64 (neg.f64 d1) d1) (.f64 (-.f64 #s(approx (- d3 d2) d3) d4) d1))
(-.f64 (.f64 d1 d4) (.f64 (neg.f64 d1) (-.f64 (neg.f64 d1) #s(approx (- d3 d2) d3))))
(-.f64 (.f64 d1 d4) (.f64 (+.f64 d1 #s(approx (- d3 d2) d3)) d1))
(-.f64 (.f64 d1 d4) (neg.f64 (.f64 (-.f64 (neg.f64 d1) #s(approx (- d3 d2) d3)) d1)))
(+.f64 (.f64 (neg.f64 d1) (+.f64 d1 #s(approx (- d3 d2) d3))) (.f64 d1 d4))
(+.f64 (.f64 (+.f64 d1 #s(approx (- d3 d2) d3)) (neg.f64 d1)) (.f64 d1 d4))
(+.f64 (.f64 #s(approx (- d3 d2) d3) (neg.f64 d1)) (.f64 (-.f64 d1 d4) (neg.f64 d1)))
(+.f64 (.f64 (-.f64 d1 d4) (neg.f64 d1)) (.f64 #s(approx (- d3 d2) d3) (neg.f64 d1)))
(+.f64 (.f64 (neg.f64 d1) #s(approx (- d3 d2) d3)) (.f64 (-.f64 d4 d1) d1))
(+.f64 (.f64 (-.f64 (neg.f64 d1) #s(approx (- d3 d2) d3)) d1) (.f64 d1 d4))
(+.f64 (neg.f64 (.f64 d1 #s(approx (- d3 d2) d3))) (.f64 (-.f64 d4 d1) d1))
(+.f64 (.f64 d1 (-.f64 d4 #s(approx (- d3 d2) d3))) (.f64 (neg.f64 d1) d1))
(+.f64 (.f64 (-.f64 d4 d1) d1) (.f64 (neg.f64 d1) #s(approx (- d3 d2) d3)))
(+.f64 (.f64 (-.f64 d4 d1) d1) (neg.f64 (.f64 d1 #s(approx (- d3 d2) d3))))
(+.f64 (.f64 (neg.f64 d1) d1) (.f64 d1 (-.f64 d4 #s(approx (- d3 d2) d3))))
(+.f64 (.f64 d1 d4) (-.f64 (neg.f64 (.f64 d1 #s(approx (- d3 d2) d3))) (*.f64 d1 d1)))
(+.f64 (.f64 d1 d4) (.f64 (neg.f64 d1) (+.f64 d1 #s(approx (- d3 d2) d3))))
(+.f64 (.f64 d1 d4) (.f64 (+.f64 d1 #s(approx (- d3 d2) d3)) (neg.f64 d1)))
(+.f64 (.f64 d1 d4) (.f64 (-.f64 (neg.f64 d1) #s(approx (- d3 d2) d3)) d1))
(neg.f64 (-.f64 d1 (-.f64 d4 #s(approx (- d3 d2) d3))))
(-.f64 (-.f64 (neg.f64 d1) #s(approx (- d3 d2) d3)) (neg.f64 d4))
(-.f64 (neg.f64 #s(approx (- d3 d2) d3)) (-.f64 d1 d4))
(-.f64 (-.f64 d4 d1) #s(approx (- d3 d2) d3))
(-.f64 (neg.f64 d1) (-.f64 #s(approx (- d3 d2) d3) d4))
(-.f64 (-.f64 d4 #s(approx (- d3 d2) d3)) d1)
(-.f64 d4 (+.f64 d1 #s(approx (- d3 d2) d3)))
(+.f64 (-.f64 (neg.f64 d1) #s(approx (- d3 d2) d3)) d4)
(+.f64 (neg.f64 #s(approx (- d3 d2) d3)) (-.f64 d4 d1))
(+.f64 (-.f64 d4 d1) (neg.f64 #s(approx (- d3 d2) d3)))
(+.f64 (neg.f64 d1) (-.f64 d4 #s(approx (- d3 d2) d3)))
(+.f64 (-.f64 d4 #s(approx (- d3 d2) d3)) (neg.f64 d1))
(+.f64 d4 (-.f64 (neg.f64 d1) #s(approx (- d3 d2) d3)))
(neg.f64 (-.f64 #s(approx (- d3 d2) d3) d4))
(-.f64 (neg.f64 #s(approx (- d3 d2) d3)) (neg.f64 d4))
(-.f64 d4 #s(approx (- d3 d2) d3))
(+.f64 (neg.f64 #s(approx (- d3 d2) d3)) d4)
(+.f64 d4 (neg.f64 #s(approx (- d3 d2) d3)))
d4
#s(approx (- d3 d2) d3)
(neg.f64 (neg.f64 #s(approx (- d3 d2) d3)))
d3
d1
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) (neg.f64 d1)) d1)
(*.f64 d1 #s(approx (- (- d4 (- d3 d2)) d1) (neg.f64 d1)))
(neg.f64 (*.f64 (neg.f64 d1) #s(approx (- (- d4 (- d3 d2)) d1) (neg.f64 d1))))
(neg.f64 (*.f64 #s(approx (- (- d4 (- d3 d2)) d1) (neg.f64 d1)) (neg.f64 d1)))
#s(approx (- (- d4 (- d3 d2)) d1) (neg.f64 d1))
(neg.f64 d1)
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 #s(approx (- (+ d2 d4) d3) (-.f64 d2 d3)) d1))
(*.f64 #s(approx (- (+ d2 d4) d3) (-.f64 d2 d3)) d1)
(*.f64 d1 #s(approx (- (+ d2 d4) d3) (-.f64 d2 d3)))
(neg.f64 (*.f64 (neg.f64 d1) #s(approx (- (+ d2 d4) d3) (-.f64 d2 d3))))
(neg.f64 (*.f64 #s(approx (- (+ d2 d4) d3) (-.f64 d2 d3)) (neg.f64 d1)))
#s(approx (- (+ d2 d4) d3) (-.f64 d2 d3))
(neg.f64 (-.f64 d3 d2))
(-.f64 (neg.f64 d3) (neg.f64 d2))
(-.f64 d2 d3)
(+.f64 (neg.f64 d3) d2)
(+.f64 d2 (neg.f64 d3))
d2
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) #s(approx (- (+ d2 d4) d1) (-.f64 d4 d1))) d1)
(*.f64 d1 #s(approx (- (- d4 (- d3 d2)) d1) #s(approx (- (+ d2 d4) d1) (-.f64 d4 d1))))
(neg.f64 (*.f64 (neg.f64 d1) #s(approx (- (- d4 (- d3 d2)) d1) #s(approx (- (+ d2 d4) d1) (-.f64 d4 d1)))))
(neg.f64 (*.f64 #s(approx (- (- d4 (- d3 d2)) d1) #s(approx (- (+ d2 d4) d1) (-.f64 d4 d1))) (neg.f64 d1)))
#s(approx (- (- d4 (- d3 d2)) d1) #s(approx (- (+ d2 d4) d1) (-.f64 d4 d1)))
#s(approx (- (+ d2 d4) d1) (-.f64 d4 d1))
(neg.f64 (-.f64 d1 d4))
(-.f64 (neg.f64 d1) (neg.f64 d4))
(-.f64 d4 d1)
(+.f64 (neg.f64 d1) d4)
(+.f64 d4 (neg.f64 d1))
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) #s(approx (- (+ d2 d4) d1) (+.f64 d2 d4))) d1)
(*.f64 d1 #s(approx (- (- d4 (- d3 d2)) d1) #s(approx (- (+ d2 d4) d1) (+.f64 d2 d4))))
(neg.f64 (*.f64 (neg.f64 d1) #s(approx (- (- d4 (- d3 d2)) d1) #s(approx (- (+ d2 d4) d1) (+.f64 d2 d4)))))
(neg.f64 (*.f64 #s(approx (- (- d4 (- d3 d2)) d1) #s(approx (- (+ d2 d4) d1) (+.f64 d2 d4))) (neg.f64 d1)))
#s(approx (- (- d4 (- d3 d2)) d1) #s(approx (- (+ d2 d4) d1) (+.f64 d2 d4)))
#s(approx (- (+ d2 d4) d1) (+.f64 d2 d4))
(neg.f64 (-.f64 (neg.f64 d2) d4))
(-.f64 d2 (neg.f64 d4))
(-.f64 d4 (neg.f64 d2))
(+.f64 d2 d4)
(+.f64 d4 d2)

eval23.0ms (0.8%)

Memory: 11.6MiB live, 55.8MiB allocated; 6ms collecting garbage
Compiler: Compiled 1 768 to 759 computations (57.1% saved)

prune11.0ms (0.4%)

Memory

-18.9MiB live, 26.3MiB allocated; 4ms collecting garbage

Pruning

11 alts after pruning (3 fresh and 8 done)

	Pruned	Kept	Total
New	210	2	212
Fresh	1	1	2
Picked	0	5	5
Done	0	3	3
Total	211	11	222

Accuracy

100.0%

Counts

222 → 11

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	82.7%	(fma.f64 (-.f64 d4 d3) d1 (*.f64 #s(approx (- d2 d1) d2) d1))
✓	76.4%	(*.f64 (-.f64 (-.f64 d4 #s(approx (- d3 d2) d3)) d1) d1)
✓	28.0%	(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) (neg.f64 d1)) d1)
✓	52.7%	(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) #s(approx (- (+ d2 d4) d1) (-.f64 d4 d1))) d1)
	50.3%	(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) #s(approx (- (+ d2 d4) d1) (-.f64 d2 d1))) d1)
✓	57.0%	(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) #s(approx (- (+ d2 d4) d1) (+.f64 d2 d4))) d1)
✓	58.5%	#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 (-.f64 #s(approx (+ d2 d4) d4) d3)))
✓	57.7%	#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 #s(approx (- (+ d2 d4) d3) (-.f64 d2 d3))))
✓	32.0%	#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 d4))
	74.9%	#s(approx (+ (* (- d4 d3) d1) (* (- d2 d1) d1)) (fma.f64 d1 d4 (*.f64 d1 (-.f64 d2 d1))))
	30.8%	#s(approx (* (- (- d4 (- d3 d2)) d1) d1) (*.f64 d1 d2))

Compiler

Compiled 259 to 227 computations (12.4% saved)

regimes95.0ms (3.3%)

Memory

-5.6MiB live, 67.8MiB allocated; 127ms collecting garbage

Counts

19 → 1

Calls

Call 1

Inputs
#s(approx (* (- (- d4 (- d3 d2)) d1) d1) (*.f64 d1 d2))
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 d4))
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) (neg.f64 d1)) d1)
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 #s(approx (- (+ d2 d4) d3) (-.f64 d2 d3))))
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 (-.f64 #s(approx (+ d2 d4) d4) d3)))
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) #s(approx (- (+ d2 d4) d1) (-.f64 d2 d1))) d1)
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) #s(approx (- (+ d2 d4) d1) (-.f64 d4 d1))) d1)
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) #s(approx (* d1 (- (+ d2 d4) d3)) (*.f64 d1 (+.f64 d2 d4))))
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) #s(approx (- (+ d2 d4) d1) (+.f64 d2 d4))) d1)
(.f64 #s(approx (- (- d4 (- d3 d2)) d1) (.f64 #s(literal -1 binary64) d1)) d1)
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) (-.f64 d4 (-.f64 d1 d2))) d1)
(*.f64 (-.f64 (-.f64 d4 #s(approx (- d3 d2) d3)) d1) d1)
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 (-.f64 (+.f64 d2 d4) d3)))
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) (-.f64 (+.f64 d2 d4) d1)) d1)
#s(approx (+ (* (- d4 d3) d1) (* (- d2 d1) d1)) (fma.f64 d1 d4 (*.f64 d1 (-.f64 d2 d1))))
(fma.f64 (-.f64 d4 d3) d1 (*.f64 #s(approx (- d2 d1) d2) d1))
(*.f64 (-.f64 (-.f64 d4 (-.f64 d3 d2)) d1) d1)
(fma.f64 (-.f64 d4 d3) d1 (*.f64 (-.f64 d2 d1) d1))
(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))

Outputs
(*.f64 (-.f64 (-.f64 d4 (-.f64 d3 d2)) d1) d1)

Calls

5 calls:

73.0ms	d1
5.0ms	d3
5.0ms	d4
5.0ms	d2
5.0ms	(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))

Results

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

Compiler

Compiled 15 to 27 computations (-80% saved)

regimes27.0ms (1%)

Memory

3.8MiB live, 54.8MiB allocated; 6ms collecting garbage

Counts

16 → 3

Calls

Call 1

Inputs
#s(approx (* (- (- d4 (- d3 d2)) d1) d1) (*.f64 d1 d2))
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 d4))
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) (neg.f64 d1)) d1)
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 #s(approx (- (+ d2 d4) d3) (-.f64 d2 d3))))
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 (-.f64 #s(approx (+ d2 d4) d4) d3)))
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) #s(approx (- (+ d2 d4) d1) (-.f64 d2 d1))) d1)
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) #s(approx (- (+ d2 d4) d1) (-.f64 d4 d1))) d1)
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) #s(approx (* d1 (- (+ d2 d4) d3)) (*.f64 d1 (+.f64 d2 d4))))
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) #s(approx (- (+ d2 d4) d1) (+.f64 d2 d4))) d1)
(.f64 #s(approx (- (- d4 (- d3 d2)) d1) (.f64 #s(literal -1 binary64) d1)) d1)
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) (-.f64 d4 (-.f64 d1 d2))) d1)
(*.f64 (-.f64 (-.f64 d4 #s(approx (- d3 d2) d3)) d1) d1)
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 (-.f64 (+.f64 d2 d4) d3)))
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) (-.f64 (+.f64 d2 d4) d1)) d1)
#s(approx (+ (* (- d4 d3) d1) (* (- d2 d1) d1)) (fma.f64 d1 d4 (*.f64 d1 (-.f64 d2 d1))))
(fma.f64 (-.f64 d4 d3) d1 (*.f64 #s(approx (- d2 d1) d2) d1))

Outputs

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

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

(fma.f64 (-.f64 d4 d3) d1 (*.f64 #s(approx (- d2 d1) d2) d1))

Calls

5 calls:

8.0ms	d2
5.0ms	d3
5.0ms	d1
5.0ms	d4
4.0ms	(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))

Results

Accuracy	Segments	Branch
92.1%	3	`(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))`
93.7%	3	`d1`
94.3%	2	`d2`
96.1%	3	`d3`
88.4%	3	`d4`

Compiler

Compiled 15 to 27 computations (-80% saved)

regimes5.0ms (0.2%)

Memory

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

Counts

15 → 3

Calls

Call 1

Inputs
#s(approx (* (- (- d4 (- d3 d2)) d1) d1) (*.f64 d1 d2))
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 d4))
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) (neg.f64 d1)) d1)
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 #s(approx (- (+ d2 d4) d3) (-.f64 d2 d3))))
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 (-.f64 #s(approx (+ d2 d4) d4) d3)))
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) #s(approx (- (+ d2 d4) d1) (-.f64 d2 d1))) d1)
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) #s(approx (- (+ d2 d4) d1) (-.f64 d4 d1))) d1)
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) #s(approx (* d1 (- (+ d2 d4) d3)) (*.f64 d1 (+.f64 d2 d4))))
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) #s(approx (- (+ d2 d4) d1) (+.f64 d2 d4))) d1)
(.f64 #s(approx (- (- d4 (- d3 d2)) d1) (.f64 #s(literal -1 binary64) d1)) d1)
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) (-.f64 d4 (-.f64 d1 d2))) d1)
(*.f64 (-.f64 (-.f64 d4 #s(approx (- d3 d2) d3)) d1) d1)
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 (-.f64 (+.f64 d2 d4) d3)))
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) (-.f64 (+.f64 d2 d4) d1)) d1)
#s(approx (+ (* (- d4 d3) d1) (* (- d2 d1) d1)) (fma.f64 d1 d4 (*.f64 d1 (-.f64 d2 d1))))

Outputs

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

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

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

Calls

1 calls:

5.0ms

d3

Results

Accuracy	Segments	Branch
96.1%	3	`d3`

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes8.0ms (0.3%)

Memory

-28.9MiB live, 15.8MiB allocated; 4ms collecting garbage

Counts

14 → 3

Calls

Call 1

Inputs
#s(approx (* (- (- d4 (- d3 d2)) d1) d1) (*.f64 d1 d2))
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 d4))
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) (neg.f64 d1)) d1)
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 #s(approx (- (+ d2 d4) d3) (-.f64 d2 d3))))
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 (-.f64 #s(approx (+ d2 d4) d4) d3)))
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) #s(approx (- (+ d2 d4) d1) (-.f64 d2 d1))) d1)
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) #s(approx (- (+ d2 d4) d1) (-.f64 d4 d1))) d1)
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) #s(approx (* d1 (- (+ d2 d4) d3)) (*.f64 d1 (+.f64 d2 d4))))
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) #s(approx (- (+ d2 d4) d1) (+.f64 d2 d4))) d1)
(.f64 #s(approx (- (- d4 (- d3 d2)) d1) (.f64 #s(literal -1 binary64) d1)) d1)
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) (-.f64 d4 (-.f64 d1 d2))) d1)
(*.f64 (-.f64 (-.f64 d4 #s(approx (- d3 d2) d3)) d1) d1)
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 (-.f64 (+.f64 d2 d4) d3)))
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) (-.f64 (+.f64 d2 d4) d1)) d1)

Outputs

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

(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) (-.f64 d4 (-.f64 d1 d2))) d1)

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

Calls

1 calls:

7.0ms

d3

Results

Accuracy	Segments	Branch
96.0%	3	`d3`

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes13.0ms (0.4%)

Memory

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

Counts

12 → 2

Calls

Call 1

Inputs
#s(approx (* (- (- d4 (- d3 d2)) d1) d1) (*.f64 d1 d2))
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 d4))
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) (neg.f64 d1)) d1)
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 #s(approx (- (+ d2 d4) d3) (-.f64 d2 d3))))
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 (-.f64 #s(approx (+ d2 d4) d4) d3)))
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) #s(approx (- (+ d2 d4) d1) (-.f64 d2 d1))) d1)
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) #s(approx (- (+ d2 d4) d1) (-.f64 d4 d1))) d1)
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) #s(approx (* d1 (- (+ d2 d4) d3)) (*.f64 d1 (+.f64 d2 d4))))
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) #s(approx (- (+ d2 d4) d1) (+.f64 d2 d4))) d1)
(.f64 #s(approx (- (- d4 (- d3 d2)) d1) (.f64 #s(literal -1 binary64) d1)) d1)
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) (-.f64 d4 (-.f64 d1 d2))) d1)
(*.f64 (-.f64 (-.f64 d4 #s(approx (- d3 d2) d3)) d1) d1)

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

Calls

3 calls:

4.0ms	d2
4.0ms	d3
4.0ms	d1

Results

Accuracy	Segments	Branch
81.2%	3	`d1`
91.9%	2	`d2`
91.5%	3	`d3`

Compiler

Compiled 3 to 12 computations (-300% saved)

regimes17.0ms (0.6%)

Memory

-14.3MiB live, 29.5MiB allocated; 7ms collecting garbage

Counts

11 → 3

Calls

Call 1

Inputs
#s(approx (* (- (- d4 (- d3 d2)) d1) d1) (*.f64 d1 d2))
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 d4))
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) (neg.f64 d1)) d1)
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 #s(approx (- (+ d2 d4) d3) (-.f64 d2 d3))))
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 (-.f64 #s(approx (+ d2 d4) d4) d3)))
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) #s(approx (- (+ d2 d4) d1) (-.f64 d2 d1))) d1)
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) #s(approx (- (+ d2 d4) d1) (-.f64 d4 d1))) d1)
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) #s(approx (* d1 (- (+ d2 d4) d3)) (*.f64 d1 (+.f64 d2 d4))))
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) #s(approx (- (+ d2 d4) d1) (+.f64 d2 d4))) d1)
(.f64 #s(approx (- (- d4 (- d3 d2)) d1) (.f64 #s(literal -1 binary64) d1)) d1)
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) (-.f64 d4 (-.f64 d1 d2))) d1)

Outputs

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

(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) (-.f64 d4 (-.f64 d1 d2))) d1)

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

Calls

3 calls:

9.0ms	d2
4.0ms	d3
3.0ms	(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))

Results

Accuracy	Segments	Branch
91.5%	3	`d3`
80.5%	3	`(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))`
81.6%	3	`d2`

Compiler

Compiled 13 to 19 computations (-46.2% saved)

regimes22.0ms (0.8%)

Memory

-4.2MiB live, 49.2MiB allocated; 7ms collecting garbage

Counts

10 → 2

Calls

Call 1

Inputs
#s(approx (* (- (- d4 (- d3 d2)) d1) d1) (*.f64 d1 d2))
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 d4))
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) (neg.f64 d1)) d1)
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 #s(approx (- (+ d2 d4) d3) (-.f64 d2 d3))))
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 (-.f64 #s(approx (+ d2 d4) d4) d3)))
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) #s(approx (- (+ d2 d4) d1) (-.f64 d2 d1))) d1)
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) #s(approx (- (+ d2 d4) d1) (-.f64 d4 d1))) d1)
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) #s(approx (* d1 (- (+ d2 d4) d3)) (*.f64 d1 (+.f64 d2 d4))))
(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) #s(approx (- (+ d2 d4) d1) (+.f64 d2 d4))) d1)
(.f64 #s(approx (- (- d4 (- d3 d2)) d1) (.f64 #s(literal -1 binary64) d1)) d1)

Outputs

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

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

Calls

5 calls:

9.0ms	d2
3.0ms	d3
3.0ms	d1
3.0ms	d4
3.0ms	(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))

Results

Accuracy	Segments	Branch
74.4%	3	`(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))`
78.5%	5	`d1`
78.9%	2	`d2`
81.5%	4	`d4`
80.3%	4	`d3`

Compiler

Compiled 15 to 27 computations (-80% saved)

regimes11.0ms (0.4%)

Memory

-14.7MiB live, 31.8MiB allocated; 3ms collecting garbage

Counts

4 → 2

Calls

Call 1

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

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

Calls

5 calls:

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

Results

Accuracy	Segments	Branch
61.1%	2	`(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))`
64.1%	3	`d1`
61.3%	3	`d3`
72.9%	2	`d4`
66.1%	2	`d2`

Compiler

Compiled 15 to 27 computations (-80% saved)

regimes8.0ms (0.3%)

Memory

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

Counts

3 → 3

Calls

Call 1

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

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

Calls

5 calls:

2.0ms	d4
2.0ms	d1
2.0ms	d3
1.0ms	d2
1.0ms	(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))

Results

Accuracy	Segments	Branch
37.4%	3	`d3`
47.4%	4	`(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))`
47.7%	3	`d1`
56.1%	3	`d2`
54.6%	3	`d4`

Compiler

Compiled 15 to 27 computations (-80% saved)

regimes3.0ms (0.1%)

Memory

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

Counts

2 → 2

Calls

Call 1

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

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

Calls

2 calls:

1.0ms	d2
1.0ms	d4

Results

Accuracy	Segments	Branch
50.1%	2	`d4`
52.5%	2	`d2`

Compiler

Compiled 2 to 8 computations (-300% saved)

regimes7.0ms (0.3%)

Memory

-26.1MiB live, 20.1MiB allocated; 3ms collecting garbage

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

5 calls:

3.0ms	d2
1.0ms	d4
1.0ms	d3
1.0ms	d1
1.0ms	(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))

Results

Accuracy	Segments	Branch
30.8%	1	`d3`
30.8%	1	`(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))`
30.8%	1	`d1`
30.8%	1	`d4`
30.8%	1	`d2`

Compiler

Compiled 15 to 27 computations (-80% saved)

bsearch24.0ms (0.9%)

Memory

15.0MiB live, 60.8MiB allocated; 3ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
13.0ms	2.031674393918027e-112	8.954078100069245e-110
9.0ms	-1.531587727887557e+112	-4.292819502444647e+110

Samples

12.0ms

240×

valid

Compiler

Compiled 390 to 420 computations (-7.7% saved)

Precisions

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

ival-mult!: 4.0ms (70.3% of total)

ival-sub!: 1.0ms (17.6% of total)

adjust: 0.0ms (0% of total)

ival-add!: 0.0ms (0% of total)

bsearch2.0ms (0.1%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
1.0ms	2.031674393918027e-112	8.954078100069245e-110
1.0ms	-1.531587727887557e+112	-4.292819502444647e+110

Compiler

Compiled 438 to 468 computations (-6.8% saved)

bsearch18.0ms (0.6%)

Memory

-16.5MiB live, 32.5MiB allocated; 8ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
1.0ms	2.031674393918027e-112	8.954078100069245e-110
16.0ms	-2.7196240118865943e+116	-1.531587727887557e+112

Samples

6.0ms

128×

valid

Compiler

Compiled 434 to 466 computations (-7.4% saved)

Precisions

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

ival-mult!: 2.0ms (65.6% of total)

ival-sub!: 0.0ms (0% of total)

adjust: 0.0ms (0% of total)

ival-add!: 0.0ms (0% of total)

bsearch14.0ms (0.5%)

Memory

-14.8MiB live, 31.0MiB allocated; 5ms collecting garbage

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
11.0ms	-1.869860159991681e+115	-3.678246661606853e+111

Samples

6.0ms

128×

valid

Compiler

Compiled 226 to 242 computations (-7.1% saved)

Precisions

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

ival-mult!: 2.0ms (65.9% of total)

ival-sub!: 0.0ms (0% of total)

adjust: 0.0ms (0% of total)

ival-add!: 0.0ms (0% of total)

bsearch24.0ms (0.8%)

Memory

9.6MiB live, 55.3MiB allocated; 3ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
13.0ms	4.496440122647587e+77	3.190344078601988e+81
8.0ms	-2.7196240118865943e+116	-1.531587727887557e+112

Samples

13.0ms

224×

valid

Compiler

Compiled 466 to 498 computations (-6.9% saved)

Precisions

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

ival-mult!: 7.0ms (88.8% of total)

ival-sub!: 1.0ms (12.7% of total)

adjust: 0.0ms (0% of total)

ival-add!: 0.0ms (0% of total)

bsearch12.0ms (0.4%)

Memory

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

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
11.0ms	-1.7841240463347558e-31	-8.061983590565976e-35

Samples

6.0ms

128×

valid

Compiler

Compiled 282 to 298 computations (-5.7% saved)

Precisions

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

ival-mult!: 2.0ms (65.5% of total)

ival-sub!: 0.0ms (0% of total)

adjust: 0.0ms (0% of total)

ival-add!: 0.0ms (0% of total)

bsearch16.0ms (0.6%)

Memory

-7.1MiB live, 38.3MiB allocated; 4ms collecting garbage

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
14.0ms	1.9425603200989988e+91	2.6224627235765524e+98

Samples

7.0ms

144×

valid

Compiler

Compiled 288 to 306 computations (-6.3% saved)

Precisions

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

ival-mult!: 3.0ms (87% of total)

ival-sub!: 1.0ms (29% of total)

adjust: 0.0ms (0% of total)

ival-add!: 0.0ms (0% of total)

bsearch23.0ms (0.8%)

Memory

-0.4MiB live, 49.6MiB allocated; 8ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
11.0ms	-1.565208920641786e-205	-3.9738198542730397e-209
11.0ms	-5.294583630056919e+25	-2.7148497292267514e+25

Samples

9.0ms

192×

valid

Compiler

Compiled 282 to 306 computations (-8.5% saved)

Precisions

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

ival-mult!: 3.0ms (65.6% of total)

ival-sub!: 1.0ms (21.9% of total)

adjust: 0.0ms (0% of total)

ival-add!: 0.0ms (0% of total)

bsearch16.0ms (0.6%)

Memory

-7.9MiB live, 37.5MiB allocated; 4ms collecting garbage

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
14.0ms	-8.061983590565976e-35	-1.1195485244541057e-39

Samples

9.0ms

144×

valid

Compiler

Compiled 225 to 243 computations (-8% saved)

Precisions

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

ival-mult!: 3.0ms (87.9% of total)

ival-sub!: 1.0ms (29.3% of total)

adjust: 0.0ms (0% of total)

ival-add!: 0.0ms (0% of total)

derivations83.0ms (2.9%)

Memory

16.2MiB live, 168.8MiB allocated; 20ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 119 to 97 computations (18.5% saved)

preprocess109.0ms (3.9%)

Memory: -0.1MiB live, 311.3MiB allocated; 29ms collecting garbage
Remove: (sort d2 d4)
Compiler: Compiled 684 to 638 computations (6.7% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample867.0ms (30.6%)

preprocess75.0ms (2.7%)

series24.0ms (0.8%)

rewrite174.0ms (6.2%)

eval22.0ms (0.8%)

prune9.0ms (0.3%)

series40.0ms (1.4%)

rewrite214.0ms (7.6%)

eval58.0ms (2.1%)

prune120.0ms (4.2%)

series69.0ms (2.4%)

rewrite205.0ms (7.2%)

eval93.0ms (3.3%)

prune9.0ms (0.3%)

series51.0ms (1.8%)

rewrite210.0ms (7.4%)

eval23.0ms (0.8%)

prune11.0ms (0.4%)

regimes95.0ms (3.3%)

regimes27.0ms (1%)

regimes5.0ms (0.2%)

regimes8.0ms (0.3%)

regimes13.0ms (0.4%)

regimes17.0ms (0.6%)

regimes22.0ms (0.8%)

regimes11.0ms (0.4%)

regimes8.0ms (0.3%)

regimes3.0ms (0.1%)

regimes7.0ms (0.3%)

bsearch24.0ms (0.9%)

bsearch2.0ms (0.1%)

bsearch18.0ms (0.6%)

bsearch14.0ms (0.5%)

bsearch24.0ms (0.8%)

bsearch12.0ms (0.4%)

bsearch16.0ms (0.6%)

bsearch23.0ms (0.8%)

bsearch16.0ms (0.6%)

derivations83.0ms (2.9%)

preprocess109.0ms (3.9%)

end0.0ms (0%)

Profiling