Metrics for FastMath dist4

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

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

sample813.0ms (33%)

Memory

68.8MiB live, 1 263.2MiB allocated; 285ms collecting garbage

Samples

532.0ms

8 256×

valid

Precisions

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

ival-mult!: 181.0ms (76.3% of total)

ival-sub!: 39.0ms (16.4% of total)

ival-add!: 16.0ms (6.7% of total)

adjust: 1.0ms (0.4% of total)

Bogosity

preprocess40.0ms (1.6%)

Memory

-40.2MiB live, 57.2MiB allocated; 20ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	65	203
1	347	168
2	1391	136

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

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

Symmetry

(sort d2 d4)

Compiler

Compiled 30 to 22 computations (26.7% saved)

series27.0ms (1.1%)

Memory

3.5MiB live, 45.5MiB allocated; 9ms 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
2.0ms	d1	-inf
2.0ms	d1	inf
1.0ms	d1	0
1.0ms	d2	-inf
1.0ms	d2	inf

rewrite113.0ms (4.6%)

Memory

10.6MiB live, 151.6MiB allocated; 84ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	11	49
0	18	43
1	51	39
2	183	37
3	613	37
4	1403	37
5	2701	37
0	4004	37

Stop Event

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

Counts

11 → 192

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

eval24.0ms (1%)

Memory: 16.9MiB live, 60.8MiB allocated; 10ms collecting garbage
Compiler: Compiled 3 572 to 606 computations (83% saved)

prune5.0ms (0.2%)

Memory

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

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	224	4	228
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	225	4	229

Accuracy

100.0%

Counts

229 → 4

Alt Table

Click to see full alt table

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

Compiler

Compiled 52 to 39 computations (25% saved)

series51.0ms (2.1%)

Memory

3.3MiB live, 102.0MiB allocated; 30ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	447	2265

Stop Event

1×	iter-limit

Counts

18 → 119

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 d2 d1 (*.f64 (-.f64 (-.f64 d4 d3) d1) d1))
(*.f64 (-.f64 (-.f64 d4 d3) d1) d1)
(-.f64 (-.f64 d4 d3) d1)
(-.f64 d4 d3)
(fma.f64 (-.f64 (-.f64 d4 d3) d1) d1 (*.f64 d2 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 (* (- (- d4 d3) d1) d1) (*.f64 d1 (-.f64 d4 d3)))
#s(approx (* (- (- d4 d3) d1) d1) (.f64 d1 (-.f64 (+.f64 d4 (.f64 #s(literal -1 binary64) d1)) d3)))
#s(approx (- (- d4 d3) d1) (-.f64 d4 d3))
#s(approx (- (- d4 d3) d1) (-.f64 (+.f64 d4 (*.f64 #s(literal -1 binary64) d1)) d3))
#s(approx (* d2 d1) (*.f64 d1 d2))
#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 (* (- (- d4 d3) d1) d1) (*.f64 (pow.f64 d1 #s(literal 2 binary64)) (-.f64 (/.f64 d4 d1) (+.f64 #s(literal 1 binary64) (/.f64 d3 d1)))))
#s(approx (- (- d4 d3) d1) (*.f64 d1 (-.f64 (/.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 (- (- 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 d1) (* (- (- d4 d3) 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 (- (- d4 d3) d1) (.f64 #s(literal -1 binary64) (.f64 d1 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 d4 d3) 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)) (fma.f64 d1 d2 (*.f64 d1 (-.f64 d4 d3))))
#s(approx (+ d2 d4) d4)
#s(approx (+ d2 d4) (+.f64 d2 d4))
#s(approx d2 d2)
#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 (- (+ (- (* 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 (- (+ (- (* 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 (- (+ (- (* 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 (+ (* d2 d1) (* (- (- d4 d3) d1) d1)) (fma.f64 d1 d2 (*.f64 d1 (-.f64 d4 d1))))
#s(approx (+ (* d2 d1) (* (- (- d4 d3) d1) d1)) (fma.f64 #s(literal -1 binary64) (.f64 d1 d3) (fma.f64 d1 d2 (.f64 d1 (-.f64 d4 d1)))))
#s(approx (* (- (- d4 d3) d1) d1) (*.f64 d1 (-.f64 d4 d1)))
#s(approx (* (- (- d4 d3) d1) d1) (fma.f64 #s(literal -1 binary64) (.f64 d1 d3) (.f64 d1 (-.f64 d4 d1))))
#s(approx (- (- d4 d3) d1) (-.f64 d4 d1))
#s(approx (- (- d4 d3) d1) (-.f64 (+.f64 d4 (*.f64 #s(literal -1 binary64) d3)) 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 (+ (* d2 d1) (* (- (- d4 d3) d1) d1)) (.f64 d3 (fma.f64 #s(literal -1 binary64) d1 (+.f64 (/.f64 (.f64 d1 d2) d3) (/.f64 (*.f64 d1 (-.f64 d4 d1)) d3)))))
#s(approx (* (- (- d4 d3) d1) d1) (.f64 d3 (fma.f64 #s(literal -1 binary64) d1 (/.f64 (.f64 d1 (-.f64 d4 d1)) d3))))
#s(approx (- (- d4 d3) d1) (*.f64 d3 (-.f64 (/.f64 d4 d3) (+.f64 #s(literal 1 binary64) (/.f64 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 (+ (* d2 d1) (* (- (- d4 d3) d1) d1)) (.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 d1 (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 d1 d2 (.f64 d1 (-.f64 d4 d1))) d3))))))
#s(approx (* (- (- d4 d3) d1) d1) (.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 d1 (.f64 #s(literal -1 binary64) (/.f64 (.f64 d1 (-.f64 d4 d1)) d3))))))
#s(approx (- (- d4 d3) d1) (.f64 #s(literal -1 binary64) (.f64 d3 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 d4 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 (+ (* d2 d1) (* (- (- d4 d3) d1) d1)) (fma.f64 #s(literal -1 binary64) (.f64 d1 (+.f64 d1 d3)) (.f64 d1 d2)))
#s(approx (+ (* d2 d1) (* (- (- d4 d3) d1) d1)) (fma.f64 #s(literal -1 binary64) (.f64 d1 (+.f64 d1 d3)) (fma.f64 d1 d2 (.f64 d1 d4))))
#s(approx (* (- (- d4 d3) d1) d1) (.f64 #s(literal -1 binary64) (.f64 d1 (+.f64 d1 d3))))
#s(approx (* (- (- d4 d3) d1) d1) (fma.f64 #s(literal -1 binary64) (.f64 d1 (+.f64 d1 d3)) (.f64 d1 d4)))
#s(approx (- (- d4 d3) d1) (*.f64 #s(literal -1 binary64) (+.f64 d1 d3)))
#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 (+ (* d2 d1) (* (- (- d4 d3) d1) d1)) (.f64 d4 (+.f64 d1 (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 d1 (+.f64 d1 d3)) d4) (/.f64 (*.f64 d1 d2) d4)))))
#s(approx (* (- (- d4 d3) d1) d1) (.f64 d4 (+.f64 d1 (.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 (+.f64 d1 d3)) d4)))))
#s(approx (- (- d4 d3) d1) (.f64 d4 (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 d1 d3) 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 (+ (* d2 d1) (* (- (- d4 d3) 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 (+.f64 d1 d3)) (*.f64 d1 d2)) d4))))))
#s(approx (* (- (- d4 d3) d1) d1) (.f64 #s(literal -1 binary64) (.f64 d4 (fma.f64 #s(literal -1 binary64) d1 (/.f64 (*.f64 d1 (+.f64 d1 d3)) d4)))))
#s(approx (- (- d4 d3) d1) (.f64 #s(literal -1 binary64) (.f64 d4 (-.f64 (+.f64 (/.f64 d1 d4) (/.f64 d3 d4)) #s(literal 1 binary64)))))
#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
13.0ms	d4	-inf
6.0ms	d1	inf
4.0ms	d4	inf
2.0ms	d1	-inf
2.0ms	d3	-inf

rewrite91.0ms (3.7%)

Memory

-6.7MiB live, 131.1MiB allocated; 16ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	25	104
0	38	100
1	119	96
2	384	96
3	1101	96
4	1719	96
5	2720	96
0	4005	96

Stop Event

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

Counts

18 → 442

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 d2 d1 (*.f64 (-.f64 (-.f64 d4 d3) d1) d1))
(*.f64 (-.f64 (-.f64 d4 d3) d1) d1)
(-.f64 (-.f64 d4 d3) d1)
(-.f64 d4 d3)
(fma.f64 (-.f64 (-.f64 d4 d3) d1) d1 (*.f64 d2 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 d3 d4) (neg.f64 d1) (*.f64 d2 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 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 (-.f64 d4 d3) d1) (.f64 (neg.f64 d2) d1))
(-.f64 (.f64 (neg.f64 d3) d1) (.f64 (-.f64 (neg.f64 d2) d4) d1))
(-.f64 (.f64 d2 d1) (.f64 (-.f64 d3 d4) d1))
(-.f64 (.f64 d4 d1) (.f64 (-.f64 d3 d2) d1))
(-.f64 (.f64 (-.f64 d2 d3) d1) (.f64 (neg.f64 d4) d1))
(+.f64 (.f64 (+.f64 d4 d2) d1) (.f64 (neg.f64 d3) d1))
(+.f64 (.f64 (-.f64 d4 d3) d1) (.f64 d2 d1))
(+.f64 (.f64 (neg.f64 d3) d1) (.f64 (+.f64 d4 d2) d1))
(+.f64 (.f64 d2 d1) (.f64 (-.f64 d4 d3) d1))
(+.f64 (.f64 d4 d1) (.f64 (-.f64 d2 d3) d1))
(+.f64 (.f64 (-.f64 d2 d3) d1) (.f64 d4 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 d4 (-.f64 d1 d2)) d1 (*.f64 (neg.f64 d3) d1))
(fma.f64 (-.f64 (-.f64 d1 d2) d4) (neg.f64 d1) (*.f64 (neg.f64 d3) d1))
(fma.f64 (-.f64 d1 d2) (neg.f64 d1) (*.f64 (-.f64 d4 d3) d1))
(fma.f64 (-.f64 d2 d1) d1 (*.f64 (-.f64 d4 d3) d1))
(fma.f64 (-.f64 (-.f64 d2 d3) d1) d1 (*.f64 d4 d1))
(fma.f64 (-.f64 (neg.f64 d3) d1) d1 (*.f64 (+.f64 d4 d2) 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 (neg.f64 (fabs.f64 d1)) (fabs.f64 d1) (*.f64 (-.f64 d4 (-.f64 d3 d2)) d1))
(fma.f64 (-.f64 d1 (-.f64 d2 d3)) (neg.f64 d1) (*.f64 d4 d1))
(fma.f64 (+.f64 d3 d1) (neg.f64 d1) (*.f64 (+.f64 d4 d2) d1))
(fma.f64 (-.f64 d1 (-.f64 d4 d3)) (neg.f64 d1) (*.f64 d2 d1))
(fma.f64 (neg.f64 d3) d1 (*.f64 (-.f64 d4 (-.f64 d1 d2)) d1))
(fma.f64 (neg.f64 d2) (neg.f64 d1) (*.f64 (-.f64 (-.f64 d4 d3) 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 (-.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 d4 (-.f64 d3 d2)) d1))
(fma.f64 (neg.f64 d1) (-.f64 (-.f64 d1 d2) d4) (*.f64 (neg.f64 d3) d1))
(fma.f64 (neg.f64 d1) (-.f64 d1 d2) (*.f64 (-.f64 d4 d3) 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 d1 (-.f64 d2 d3)) (*.f64 d4 d1))
(fma.f64 (neg.f64 d1) (+.f64 d3 d1) (*.f64 (+.f64 d4 d2) d1))
(fma.f64 (neg.f64 d1) (-.f64 d1 (-.f64 d4 d3)) (*.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 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 (-.f64 d2 d3) d1) d1))
(fma.f64 (neg.f64 d1) (-.f64 d3 d2) (*.f64 (-.f64 d4 d1) d1))
(fma.f64 (neg.f64 d1) d3 (*.f64 (-.f64 d4 (-.f64 d1 d2)) d1))
(fma.f64 (neg.f64 d1) d1 (*.f64 (-.f64 d4 (-.f64 d3 d2)) d1))
(fma.f64 (-.f64 (-.f64 d4 d3) d1) d1 (*.f64 d2 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 d4 d1) d1))
(fma.f64 (+.f64 d4 d2) d1 (*.f64 (-.f64 (neg.f64 d3) d1) d1))
(fma.f64 d4 d1 (*.f64 (-.f64 (-.f64 d2 d3) d1) d1))
(fma.f64 d3 (neg.f64 d1) (*.f64 (-.f64 d4 (-.f64 d1 d2)) d1))
(fma.f64 d2 d1 (*.f64 (-.f64 (-.f64 d4 d3) d1) d1))
(fma.f64 d1 (-.f64 d4 (-.f64 d1 d2)) (*.f64 (neg.f64 d3) d1))
(fma.f64 d1 (-.f64 d2 d1) (*.f64 (-.f64 d4 d3) d1))
(fma.f64 d1 (-.f64 (-.f64 d2 d3) d1) (*.f64 d4 d1))
(fma.f64 d1 (-.f64 (neg.f64 d3) d1) (*.f64 (+.f64 d4 d2) d1))
(fma.f64 d1 (-.f64 d4 d1) (*.f64 (-.f64 d2 d3) d1))
(fma.f64 d1 (neg.f64 d3) (*.f64 (-.f64 d4 (-.f64 d1 d2)) 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 (-.f64 d4 d3) d1) (*.f64 d2 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 d4 (*.f64 (-.f64 (-.f64 d2 d3) d1) d1))
(fma.f64 d1 d2 (*.f64 (-.f64 (-.f64 d4 d3) d1) d1))
(-.f64 (.f64 (-.f64 d4 (-.f64 d1 d2)) d1) (.f64 d3 d1))
(-.f64 (.f64 (-.f64 d2 d1) d1) (.f64 (-.f64 d3 d4) d1))
(-.f64 (.f64 (-.f64 (neg.f64 d3) d1) d1) (.f64 (-.f64 (neg.f64 d2) d4) d1))
(-.f64 (.f64 (+.f64 d4 d2) d1) (.f64 (+.f64 d3 d1) d1))
(-.f64 (.f64 (-.f64 (-.f64 d2 d3) d1) d1) (.f64 (neg.f64 d4) d1))
(-.f64 (.f64 (-.f64 d4 d3) d1) (.f64 (-.f64 d1 d2) d1))
(-.f64 (.f64 (-.f64 d4 d1) d1) (.f64 (-.f64 d3 d2) d1))
(-.f64 (.f64 (neg.f64 d3) d1) (.f64 (-.f64 (-.f64 d1 d2) d4) d1))
(-.f64 (.f64 (neg.f64 d1) d1) (.f64 (-.f64 (-.f64 d3 d2) d4) d1))
(-.f64 (.f64 d2 d1) (.f64 (-.f64 d1 (-.f64 d4 d3)) d1))
(-.f64 (.f64 (-.f64 (-.f64 d4 d3) d1) d1) (.f64 (neg.f64 d2) d1))
(-.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 (-.f64 d4 (-.f64 d1 d2)) d1) (.f64 (neg.f64 d3) d1))
(+.f64 (.f64 (-.f64 d2 d1) d1) (.f64 (-.f64 d4 d3) d1))
(+.f64 (.f64 (-.f64 (neg.f64 d3) d1) d1) (.f64 (+.f64 d4 d2) d1))
(+.f64 (.f64 (+.f64 d4 d2) d1) (.f64 (-.f64 (neg.f64 d3) d1) d1))
(+.f64 (.f64 (-.f64 (-.f64 d2 d3) d1) d1) (.f64 d4 d1))
(+.f64 (.f64 (-.f64 d4 d3) d1) (.f64 (-.f64 d2 d1) d1))
(+.f64 (.f64 (-.f64 d4 d1) d1) (.f64 (-.f64 d2 d3) d1))
(+.f64 (.f64 (neg.f64 d3) d1) (.f64 (-.f64 d4 (-.f64 d1 d2)) d1))
(+.f64 (.f64 (neg.f64 d1) d1) (.f64 (-.f64 d4 (-.f64 d3 d2)) d1))
(+.f64 (.f64 d2 d1) (.f64 (-.f64 (-.f64 d4 d3) d1) d1))
(+.f64 (.f64 (-.f64 (-.f64 d4 d3) d1) d1) (.f64 d2 d1))
(+.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 d4 d1) d1))
(neg.f64 (-.f64 d1 (-.f64 d4 (-.f64 d3 d2))))
(-.f64 (-.f64 d4 (-.f64 d1 d2)) d3)
(-.f64 (-.f64 d2 d1) (-.f64 d3 d4))
(-.f64 (-.f64 (-.f64 d2 d3) d1) (neg.f64 d4))
(-.f64 (-.f64 (neg.f64 d3) d1) (-.f64 (neg.f64 d2) d4))
(-.f64 (-.f64 d4 d1) (-.f64 d3 d2))
(-.f64 (neg.f64 d3) (-.f64 (-.f64 d1 d2) d4))
(-.f64 (-.f64 d2 d3) (-.f64 d1 d4))
(-.f64 (neg.f64 d1) (-.f64 (-.f64 d3 d2) d4))
(-.f64 (-.f64 (-.f64 d4 d3) d1) (neg.f64 d2))
(-.f64 (-.f64 d4 d3) (-.f64 d1 d2))
(-.f64 (-.f64 d4 (-.f64 d3 d2)) d1)
(-.f64 (+.f64 d4 d2) (+.f64 d3 d1))
(-.f64 d4 (-.f64 d1 (-.f64 d2 d3)))
(-.f64 d2 (-.f64 d1 (-.f64 d4 d3)))
(+.f64 (-.f64 d4 (-.f64 d1 d2)) (neg.f64 d3))
(+.f64 (-.f64 d2 d1) (-.f64 d4 d3))
(+.f64 (-.f64 (-.f64 d2 d3) d1) d4)
(+.f64 (-.f64 (neg.f64 d3) d1) (+.f64 d4 d2))
(+.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 (-.f64 d4 d3) d1) d2)
(+.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 d3) 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 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 d4 (-.f64 d1 d2)) d1 (*.f64 (neg.f64 d3) d1))
(fma.f64 (-.f64 (-.f64 d1 d2) d4) (neg.f64 d1) (*.f64 (neg.f64 d3) d1))
(fma.f64 (-.f64 d1 d2) (neg.f64 d1) (*.f64 (-.f64 d4 d3) d1))
(fma.f64 (-.f64 d2 d1) d1 (*.f64 (-.f64 d4 d3) d1))
(fma.f64 (-.f64 (-.f64 d2 d3) d1) d1 (*.f64 d4 d1))
(fma.f64 (-.f64 (neg.f64 d3) d1) d1 (*.f64 (+.f64 d4 d2) 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 (neg.f64 (fabs.f64 d1)) (fabs.f64 d1) (*.f64 (-.f64 d4 (-.f64 d3 d2)) d1))
(fma.f64 (-.f64 d1 (-.f64 d2 d3)) (neg.f64 d1) (*.f64 d4 d1))
(fma.f64 (+.f64 d3 d1) (neg.f64 d1) (*.f64 (+.f64 d4 d2) d1))
(fma.f64 (-.f64 d1 (-.f64 d4 d3)) (neg.f64 d1) (*.f64 d2 d1))
(fma.f64 (neg.f64 d3) d1 (*.f64 (-.f64 d4 (-.f64 d1 d2)) d1))
(fma.f64 (neg.f64 d2) (neg.f64 d1) (*.f64 (-.f64 (-.f64 d4 d3) 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 (-.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 d4 (-.f64 d3 d2)) d1))
(fma.f64 (neg.f64 d1) (-.f64 (-.f64 d1 d2) d4) (*.f64 (neg.f64 d3) d1))
(fma.f64 (neg.f64 d1) (-.f64 d1 d2) (*.f64 (-.f64 d4 d3) 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 d1 (-.f64 d2 d3)) (*.f64 d4 d1))
(fma.f64 (neg.f64 d1) (+.f64 d3 d1) (*.f64 (+.f64 d4 d2) d1))
(fma.f64 (neg.f64 d1) (-.f64 d1 (-.f64 d4 d3)) (*.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 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 (-.f64 d2 d3) d1) d1))
(fma.f64 (neg.f64 d1) (-.f64 d3 d2) (*.f64 (-.f64 d4 d1) d1))
(fma.f64 (neg.f64 d1) d3 (*.f64 (-.f64 d4 (-.f64 d1 d2)) d1))
(fma.f64 (neg.f64 d1) d1 (*.f64 (-.f64 d4 (-.f64 d3 d2)) d1))
(fma.f64 (-.f64 (-.f64 d4 d3) d1) d1 (*.f64 d2 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 d4 d1) d1))
(fma.f64 (+.f64 d4 d2) d1 (*.f64 (-.f64 (neg.f64 d3) d1) d1))
(fma.f64 d4 d1 (*.f64 (-.f64 (-.f64 d2 d3) d1) d1))
(fma.f64 d3 (neg.f64 d1) (*.f64 (-.f64 d4 (-.f64 d1 d2)) d1))
(fma.f64 d2 d1 (*.f64 (-.f64 (-.f64 d4 d3) d1) d1))
(fma.f64 d1 (-.f64 d4 (-.f64 d1 d2)) (*.f64 (neg.f64 d3) d1))
(fma.f64 d1 (-.f64 d2 d1) (*.f64 (-.f64 d4 d3) d1))
(fma.f64 d1 (-.f64 (-.f64 d2 d3) d1) (*.f64 d4 d1))
(fma.f64 d1 (-.f64 (neg.f64 d3) d1) (*.f64 (+.f64 d4 d2) d1))
(fma.f64 d1 (-.f64 d4 d1) (*.f64 (-.f64 d2 d3) d1))
(fma.f64 d1 (neg.f64 d3) (*.f64 (-.f64 d4 (-.f64 d1 d2)) 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 (-.f64 d4 d3) d1) (*.f64 d2 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 d4 (*.f64 (-.f64 (-.f64 d2 d3) d1) d1))
(fma.f64 d1 d2 (*.f64 (-.f64 (-.f64 d4 d3) d1) d1))
(-.f64 (.f64 (-.f64 d4 (-.f64 d1 d2)) d1) (.f64 d3 d1))
(-.f64 (.f64 (-.f64 d2 d1) d1) (.f64 (-.f64 d3 d4) d1))
(-.f64 (.f64 (-.f64 (neg.f64 d3) d1) d1) (.f64 (-.f64 (neg.f64 d2) d4) d1))
(-.f64 (.f64 (+.f64 d4 d2) d1) (.f64 (+.f64 d3 d1) d1))
(-.f64 (.f64 (-.f64 (-.f64 d2 d3) d1) d1) (.f64 (neg.f64 d4) d1))
(-.f64 (.f64 (-.f64 d4 d3) d1) (.f64 (-.f64 d1 d2) d1))
(-.f64 (.f64 (-.f64 d4 d1) d1) (.f64 (-.f64 d3 d2) d1))
(-.f64 (.f64 (neg.f64 d3) d1) (.f64 (-.f64 (-.f64 d1 d2) d4) d1))
(-.f64 (.f64 (neg.f64 d1) d1) (.f64 (-.f64 (-.f64 d3 d2) d4) d1))
(-.f64 (.f64 d2 d1) (.f64 (-.f64 d1 (-.f64 d4 d3)) d1))
(-.f64 (.f64 (-.f64 (-.f64 d4 d3) d1) d1) (.f64 (neg.f64 d2) d1))
(-.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 (-.f64 d4 (-.f64 d1 d2)) d1) (.f64 (neg.f64 d3) d1))
(+.f64 (.f64 (-.f64 d2 d1) d1) (.f64 (-.f64 d4 d3) d1))
(+.f64 (.f64 (-.f64 (neg.f64 d3) d1) d1) (.f64 (+.f64 d4 d2) d1))
(+.f64 (.f64 (+.f64 d4 d2) d1) (.f64 (-.f64 (neg.f64 d3) d1) d1))
(+.f64 (.f64 (-.f64 (-.f64 d2 d3) d1) d1) (.f64 d4 d1))
(+.f64 (.f64 (-.f64 d4 d3) d1) (.f64 (-.f64 d2 d1) d1))
(+.f64 (.f64 (-.f64 d4 d1) d1) (.f64 (-.f64 d2 d3) d1))
(+.f64 (.f64 (neg.f64 d3) d1) (.f64 (-.f64 d4 (-.f64 d1 d2)) d1))
(+.f64 (.f64 (neg.f64 d1) d1) (.f64 (-.f64 d4 (-.f64 d3 d2)) d1))
(+.f64 (.f64 d2 d1) (.f64 (-.f64 (-.f64 d4 d3) d1) d1))
(+.f64 (.f64 (-.f64 (-.f64 d4 d3) d1) d1) (.f64 d2 d1))
(+.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 d4 d1) d1))
(*.f64 (-.f64 d1 (-.f64 d4 d3)) (neg.f64 d1))
(*.f64 (neg.f64 d1) (-.f64 d1 (-.f64 d4 d3)))
(*.f64 (-.f64 (-.f64 d4 d3) d1) d1)
(*.f64 d1 (-.f64 (-.f64 d4 d3) d1))
(neg.f64 (*.f64 (-.f64 d1 (-.f64 d4 d3)) d1))
(fma.f64 (-.f64 (neg.f64 d3) d1) d1 (*.f64 d4 d1))
(fma.f64 (-.f64 d1 d4) (neg.f64 d1) (*.f64 (neg.f64 d3) d1))
(fma.f64 (-.f64 d4 d1) d1 (*.f64 (neg.f64 d3) d1))
(fma.f64 (neg.f64 (fabs.f64 d1)) (fabs.f64 d1) (*.f64 (-.f64 d4 d3) d1))
(fma.f64 (+.f64 d3 d1) (neg.f64 d1) (*.f64 d4 d1))
(fma.f64 (neg.f64 d3) d1 (*.f64 (-.f64 d4 d1) d1))
(fma.f64 (-.f64 d3 d4) (neg.f64 d1) (*.f64 (neg.f64 d1) d1))
(fma.f64 (neg.f64 d4) (neg.f64 d1) (*.f64 (-.f64 (neg.f64 d3) d1) d1))
(fma.f64 (fabs.f64 d1) (neg.f64 (fabs.f64 d1)) (*.f64 (-.f64 d4 d3) d1))
(fma.f64 (neg.f64 d1) (-.f64 d1 d4) (*.f64 (neg.f64 d3) d1))
(fma.f64 (neg.f64 d1) (+.f64 d3 d1) (*.f64 d4 d1))
(fma.f64 (neg.f64 d1) (-.f64 d3 d4) (*.f64 (neg.f64 d1) d1))
(fma.f64 (neg.f64 d1) (neg.f64 d4) (*.f64 (-.f64 (neg.f64 d3) d1) d1))
(fma.f64 (neg.f64 d1) d3 (*.f64 (-.f64 d4 d1) d1))
(fma.f64 (neg.f64 d1) d1 (*.f64 (-.f64 d4 d3) d1))
(fma.f64 (-.f64 d4 d3) d1 (*.f64 (neg.f64 d1) d1))
(fma.f64 d4 d1 (*.f64 (-.f64 (neg.f64 d3) d1) d1))
(fma.f64 d3 (neg.f64 d1) (*.f64 (-.f64 d4 d1) d1))
(fma.f64 d1 (-.f64 (neg.f64 d3) d1) (*.f64 d4 d1))
(fma.f64 d1 (-.f64 d4 d1) (*.f64 (neg.f64 d3) d1))
(fma.f64 d1 (neg.f64 d3) (*.f64 (-.f64 d4 d1) d1))
(fma.f64 d1 (neg.f64 d1) (*.f64 (-.f64 d4 d3) d1))
(fma.f64 d1 (-.f64 d4 d3) (*.f64 (neg.f64 d1) d1))
(fma.f64 d1 d4 (*.f64 (-.f64 (neg.f64 d3) d1) d1))
(-.f64 (.f64 (-.f64 (neg.f64 d3) d1) d1) (.f64 (neg.f64 d4) d1))
(-.f64 (.f64 (-.f64 d4 d3) d1) (.f64 d1 d1))
(-.f64 (.f64 (-.f64 d4 d1) d1) (.f64 d3 d1))
(-.f64 (.f64 (neg.f64 d3) d1) (.f64 (-.f64 d1 d4) d1))
(-.f64 (.f64 (neg.f64 d1) d1) (.f64 (-.f64 d3 d4) d1))
(-.f64 (.f64 d4 d1) (.f64 (+.f64 d3 d1) d1))
(+.f64 (.f64 (-.f64 (neg.f64 d3) d1) d1) (.f64 d4 d1))
(+.f64 (.f64 (-.f64 d4 d3) d1) (.f64 (neg.f64 d1) d1))
(+.f64 (.f64 (-.f64 d4 d1) d1) (.f64 (neg.f64 d3) d1))
(+.f64 (.f64 (neg.f64 d3) d1) (.f64 (-.f64 d4 d1) d1))
(+.f64 (.f64 (neg.f64 d1) d1) (.f64 (-.f64 d4 d3) d1))
(+.f64 (.f64 d4 d1) (.f64 (-.f64 (neg.f64 d3) d1) d1))
(neg.f64 (-.f64 d1 (-.f64 d4 d3)))
(-.f64 (-.f64 (neg.f64 d3) d1) (neg.f64 d4))
(-.f64 (-.f64 d4 d1) d3)
(-.f64 (neg.f64 d3) (-.f64 d1 d4))
(-.f64 (neg.f64 d1) (-.f64 d3 d4))
(-.f64 (-.f64 d4 d3) d1)
(-.f64 d4 (+.f64 d3 d1))
(+.f64 (-.f64 (neg.f64 d3) d1) d4)
(+.f64 (-.f64 d4 d1) (neg.f64 d3))
(+.f64 (neg.f64 d3) (-.f64 d4 d1))
(+.f64 (neg.f64 d1) (-.f64 d4 d3))
(+.f64 (-.f64 d4 d3) (neg.f64 d1))
(+.f64 d4 (-.f64 (neg.f64 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 (-.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 d4 (-.f64 d1 d2)) d1 (*.f64 (neg.f64 d3) d1))
(fma.f64 (-.f64 (-.f64 d1 d2) d4) (neg.f64 d1) (*.f64 (neg.f64 d3) d1))
(fma.f64 (-.f64 d1 d2) (neg.f64 d1) (*.f64 (-.f64 d4 d3) d1))
(fma.f64 (-.f64 d2 d1) d1 (*.f64 (-.f64 d4 d3) d1))
(fma.f64 (-.f64 (-.f64 d2 d3) d1) d1 (*.f64 d4 d1))
(fma.f64 (-.f64 (neg.f64 d3) d1) d1 (*.f64 (+.f64 d4 d2) 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 (neg.f64 (fabs.f64 d1)) (fabs.f64 d1) (*.f64 (-.f64 d4 (-.f64 d3 d2)) d1))
(fma.f64 (-.f64 d1 (-.f64 d2 d3)) (neg.f64 d1) (*.f64 d4 d1))
(fma.f64 (+.f64 d3 d1) (neg.f64 d1) (*.f64 (+.f64 d4 d2) d1))
(fma.f64 (-.f64 d1 (-.f64 d4 d3)) (neg.f64 d1) (*.f64 d2 d1))
(fma.f64 (neg.f64 d3) d1 (*.f64 (-.f64 d4 (-.f64 d1 d2)) d1))
(fma.f64 (neg.f64 d2) (neg.f64 d1) (*.f64 (-.f64 (-.f64 d4 d3) 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 (-.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 d4 (-.f64 d3 d2)) d1))
(fma.f64 (neg.f64 d1) (-.f64 (-.f64 d1 d2) d4) (*.f64 (neg.f64 d3) d1))
(fma.f64 (neg.f64 d1) (-.f64 d1 d2) (*.f64 (-.f64 d4 d3) 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 d1 (-.f64 d2 d3)) (*.f64 d4 d1))
(fma.f64 (neg.f64 d1) (+.f64 d3 d1) (*.f64 (+.f64 d4 d2) d1))
(fma.f64 (neg.f64 d1) (-.f64 d1 (-.f64 d4 d3)) (*.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 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 (-.f64 d2 d3) d1) d1))
(fma.f64 (neg.f64 d1) (-.f64 d3 d2) (*.f64 (-.f64 d4 d1) d1))
(fma.f64 (neg.f64 d1) d3 (*.f64 (-.f64 d4 (-.f64 d1 d2)) d1))
(fma.f64 (neg.f64 d1) d1 (*.f64 (-.f64 d4 (-.f64 d3 d2)) d1))
(fma.f64 (-.f64 (-.f64 d4 d3) d1) d1 (*.f64 d2 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 d4 d1) d1))
(fma.f64 (+.f64 d4 d2) d1 (*.f64 (-.f64 (neg.f64 d3) d1) d1))
(fma.f64 d4 d1 (*.f64 (-.f64 (-.f64 d2 d3) d1) d1))
(fma.f64 d3 (neg.f64 d1) (*.f64 (-.f64 d4 (-.f64 d1 d2)) d1))
(fma.f64 d2 d1 (*.f64 (-.f64 (-.f64 d4 d3) d1) d1))
(fma.f64 d1 (-.f64 d4 (-.f64 d1 d2)) (*.f64 (neg.f64 d3) d1))
(fma.f64 d1 (-.f64 d2 d1) (*.f64 (-.f64 d4 d3) d1))
(fma.f64 d1 (-.f64 (-.f64 d2 d3) d1) (*.f64 d4 d1))
(fma.f64 d1 (-.f64 (neg.f64 d3) d1) (*.f64 (+.f64 d4 d2) d1))
(fma.f64 d1 (-.f64 d4 d1) (*.f64 (-.f64 d2 d3) d1))
(fma.f64 d1 (neg.f64 d3) (*.f64 (-.f64 d4 (-.f64 d1 d2)) 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 (-.f64 d4 d3) d1) (*.f64 d2 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 d4 (*.f64 (-.f64 (-.f64 d2 d3) d1) d1))
(fma.f64 d1 d2 (*.f64 (-.f64 (-.f64 d4 d3) d1) d1))
(-.f64 (.f64 (-.f64 d4 (-.f64 d1 d2)) d1) (.f64 d3 d1))
(-.f64 (.f64 (-.f64 d2 d1) d1) (.f64 (-.f64 d3 d4) d1))
(-.f64 (.f64 (-.f64 (neg.f64 d3) d1) d1) (.f64 (-.f64 (neg.f64 d2) d4) d1))
(-.f64 (.f64 (+.f64 d4 d2) d1) (.f64 (+.f64 d3 d1) d1))
(-.f64 (.f64 (-.f64 (-.f64 d2 d3) d1) d1) (.f64 (neg.f64 d4) d1))
(-.f64 (.f64 (-.f64 d4 d3) d1) (.f64 (-.f64 d1 d2) d1))
(-.f64 (.f64 (-.f64 d4 d1) d1) (.f64 (-.f64 d3 d2) d1))
(-.f64 (.f64 (neg.f64 d3) d1) (.f64 (-.f64 (-.f64 d1 d2) d4) d1))
(-.f64 (.f64 (neg.f64 d1) d1) (.f64 (-.f64 (-.f64 d3 d2) d4) d1))
(-.f64 (.f64 d2 d1) (.f64 (-.f64 d1 (-.f64 d4 d3)) d1))
(-.f64 (.f64 (-.f64 (-.f64 d4 d3) d1) d1) (.f64 (neg.f64 d2) d1))
(-.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 (-.f64 d4 (-.f64 d1 d2)) d1) (.f64 (neg.f64 d3) d1))
(+.f64 (.f64 (-.f64 d2 d1) d1) (.f64 (-.f64 d4 d3) d1))
(+.f64 (.f64 (-.f64 (neg.f64 d3) d1) d1) (.f64 (+.f64 d4 d2) d1))
(+.f64 (.f64 (+.f64 d4 d2) d1) (.f64 (-.f64 (neg.f64 d3) d1) d1))
(+.f64 (.f64 (-.f64 (-.f64 d2 d3) d1) d1) (.f64 d4 d1))
(+.f64 (.f64 (-.f64 d4 d3) d1) (.f64 (-.f64 d2 d1) d1))
(+.f64 (.f64 (-.f64 d4 d1) d1) (.f64 (-.f64 d2 d3) d1))
(+.f64 (.f64 (neg.f64 d3) d1) (.f64 (-.f64 d4 (-.f64 d1 d2)) d1))
(+.f64 (.f64 (neg.f64 d1) d1) (.f64 (-.f64 d4 (-.f64 d3 d2)) d1))
(+.f64 (.f64 d2 d1) (.f64 (-.f64 (-.f64 d4 d3) d1) d1))
(+.f64 (.f64 (-.f64 (-.f64 d4 d3) d1) d1) (.f64 d2 d1))
(+.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 d4 d1) d1))
(*.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 d2) d1))

eval49.0ms (2%)

Memory: 13.7MiB live, 109.2MiB allocated; 22ms collecting garbage
Compiler: Compiled 6 962 to 1 119 computations (83.9% saved)

prune13.0ms (0.5%)

Memory

-21.1MiB live, 23.4MiB allocated; 6ms collecting garbage

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	384	9	393
Fresh	0	0	0
Picked	4	0	4
Done	0	0	0
Total	388	9	397

Accuracy

100.0%

Counts

397 → 9

Alt Table

Click to see full alt table

Status	Accuracy	Program
	77.5%	(fma.f64 #s(approx (- (- d4 d3) d1) (-.f64 d4 d3)) d1 (*.f64 d2 d1))
▶	78.7%	(fma.f64 d2 d1 (*.f64 #s(approx (- (- d4 d3) d1) (-.f64 d4 d1)) d1))
	75.1%	(*.f64 (-.f64 (-.f64 d4 #s(approx (- d3 d2) d3)) d1) d1)
▶	75.7%	(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) (-.f64 d2 (+.f64 d1 d3))) d1)
▶	32.3%	(.f64 #s(approx (- (- d4 (- d3 d2)) d1) (.f64 #s(literal -1 binary64) d1)) d1)
▶	51.2%	#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 (-.f64 #s(approx (+ d2 d4) d4) d3)))
	53.6%	#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 #s(approx (- (+ d2 d4) d3) (-.f64 d2 d3))))
▶	29.4%	#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 d4))
	58.0%	#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) #s(approx (* d1 (- (+ d2 d4) d3)) (*.f64 d1 (+.f64 d2 d4))))

Compiler

Compiled 334 to 230 computations (31.1% saved)

series46.0ms (1.9%)

Memory

26.6MiB live, 73.0MiB allocated; 6ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	477	2360

Stop Event

1×	iter-limit

Counts

22 → 126

Calls

Call 1

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

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

Calls

12 calls:

Time	Variable	Point
17.0ms	d4	-inf
2.0ms	d1	-inf
2.0ms	d1	inf
1.0ms	d3	-inf
1.0ms	d1	0

rewrite497.0ms (20.2%)

Memory

-106.6MiB live, 245.3MiB allocated; 782ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	35	173
0	47	165
1	134	161
2	399	157
3	1205	157
4	2903	157
0	4340	157

Stop Event

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

Counts

22 → 253

Calls

Call 1

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

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

eval42.0ms (1.7%)

Memory: 28.7MiB live, 118.3MiB allocated; 12ms collecting garbage
Compiler: Compiled 8 116 to 1 255 computations (84.5% saved)

prune19.0ms (0.8%)

Memory

-12.2MiB live, 40.7MiB allocated; 13ms collecting garbage

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	362	5	367
Fresh	1	3	4
Picked	3	2	5
Done	0	0	0
Total	366	10	376

Accuracy

100.0%

Counts

376 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	77.5%	(fma.f64 #s(approx (- (- d4 d3) d1) (-.f64 d4 d3)) d1 (*.f64 d2 d1))
✓	78.7%	(fma.f64 d2 d1 (*.f64 #s(approx (- (- d4 d3) d1) (-.f64 d4 d1)) d1))
▶	75.1%	(*.f64 (-.f64 (-.f64 d4 #s(approx (- d3 d2) d3)) d1) d1)
	75.7%	(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) (-.f64 (-.f64 d2 d3) d1)) d1)
	53.6%	(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) (-.f64 d2 #s(approx (+ d1 d3) d3))) d1)
	32.3%	(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) (neg.f64 d1)) d1)
▶	57.1%	(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) #s(approx (- d2 (+ d1 d3)) (-.f64 d2 d1))) d1)
✓	29.4%	#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 d4))
▶	58.0%	#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) #s(approx (* d1 (- (+ d2 d4) d3)) (*.f64 d1 (+.f64 d2 d4))))
▶	33.0%	#s(approx (+ (* d2 d1) (* (- (- d4 d3) d1) d1)) (*.f64 d1 d2))

Compiler

Compiled 297 to 211 computations (29% saved)

series38.0ms (1.6%)

Memory

-1.2MiB live, 88.3MiB allocated; 14ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	489	2326

Stop Event

1×	iter-limit

Counts

22 → 128

Calls

Call 1

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

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

Calls

12 calls:

Time	Variable	Point
5.0ms	d3	0
2.0ms	d1	-inf
2.0ms	d1	inf
1.0ms	d2	-inf
1.0ms	d1	0

rewrite88.0ms (3.6%)

Memory

25.8MiB live, 125.5MiB allocated; 11ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	42	181
0	54	176
1	163	174
2	476	172
3	1255	172
4	1986	172
5	3103	172
0	4354	172

Stop Event

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

Counts

22 → 137

Calls

Call 1

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

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

eval34.0ms (1.4%)

Memory: -24.0MiB live, 66.1MiB allocated; 10ms collecting garbage
Compiler: Compiled 5 364 to 914 computations (83% saved)

prune7.0ms (0.3%)

Memory

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

Pruning

11 alts after pruning (4 fresh and 7 done)

	Pruned	Kept	Total
New	243	1	244
Fresh	0	3	3
Picked	0	5	5
Done	0	2	2
Total	243	11	254

Accuracy

100.0%

Counts

254 → 11

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	77.5%	(fma.f64 #s(approx (- (- d4 d3) d1) (-.f64 d4 d3)) d1 (*.f64 d2 d1))
✓	78.7%	(fma.f64 d2 d1 (*.f64 #s(approx (- (- d4 d3) d1) (-.f64 d4 d1)) d1))
✓	75.1%	(*.f64 (-.f64 (-.f64 d4 #s(approx (- d3 d2) d3)) d1) d1)
	75.7%	(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) (-.f64 (-.f64 d2 d3) d1)) d1)
	53.6%	(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) (-.f64 d2 #s(approx (+ d1 d3) d3))) d1)
	32.3%	(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) (neg.f64 d1)) d1)
✓	57.1%	(*.f64 #s(approx (- (- d4 (- d3 d2)) d1) #s(approx (- d2 (+ d1 d3)) (-.f64 d2 d1))) d1)
✓	29.4%	#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 d4))
	58.0%	#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) #s(approx (* d1 (- (+ d2 d4) d3)) (fma.f64 d4 d1 (*.f64 d2 d1))))
✓	58.0%	#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) #s(approx (* d1 (- (+ d2 d4) d3)) (*.f64 d1 (+.f64 d2 d4))))
✓	33.0%	#s(approx (+ (* d2 d1) (* (- (- d4 d3) d1) d1)) (*.f64 d1 d2))

Compiler

Compiled 195 to 135 computations (30.8% saved)

regimes169.0ms (6.8%)

Memory

4.5MiB live, 292.3MiB allocated; 57ms collecting garbage

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

2 → 2

3 → 3

4 → 2

5 → 3

10 → 2

11 → 2

16 → 2

20 → 1

Calls

Call 1

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

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

Call 2

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

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

Call 3

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

Call 4

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

Call 5

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

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) (neg.f64 d1)) d1)

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

Call 6

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

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

Call 7

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

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

Call 8

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

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

Call 9

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

35 calls:

23.0ms	(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))
20.0ms	d2
17.0ms	d2
10.0ms	d2
7.0ms	d4

Results

Accuracy	Segments	Branch
33.0%	1	`d3`
33.0%	1	`(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))`
33.0%	1	`d1`
33.0%	1	`d2`
33.0%	1	`d4`
36.6%	3	`d3`
53.4%	2	`d4`
49.2%	4	`(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))`
54.8%	3	`d2`
52.6%	5	`d1`
59.7%	3	`d4`
61.3%	2	`(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))`
63.3%	3	`d2`
64.3%	3	`d1`
67.6%	2	`d4`
71.8%	2	`d2`
59.3%	4	`d3`
76.1%	3	`d4`
76.4%	2	`d2`
73.7%	4	`(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))`
76.0%	4	`d1`
81.5%	2	`d4`
79.9%	3	`d3`
82.2%	2	`d2`
92.7%	2	`d4`
93.8%	3	`(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))`
95.6%	4	`d1`
95.6%	3	`d2`
95.1%	3	`d3`
95.7%	2	`d4`
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 461 to 276 computations (40.1% saved)

bsearch22.0ms (0.9%)

Memory

-27.1MiB live, 18.5MiB allocated; 4ms collecting garbage

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
21.0ms	3.470089345913783e+59	2.6599011887392565e+60

Samples

5.0ms

96×

valid

Compiler

Compiled 174 to 150 computations (13.8% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

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

bsearch11.0ms (0.4%)

Memory

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

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
9.0ms	2.6599011887392565e+60	1.473014971253164e+62

Samples

5.0ms

112×

valid

Compiler

Compiled 298 to 221 computations (25.8% saved)

Precisions

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

ival-mult!: 2.0ms (75.4% 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.7%)

Memory

-9.4MiB live, 35.8MiB allocated; 5ms collecting garbage

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
15.0ms	1.0739481835486547e-18	1.530479477099456e-13

Samples

9.0ms

144×

valid

Compiler

Compiled 414 to 297 computations (28.3% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

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

bsearch22.0ms (0.9%)

Memory

14.0MiB live, 58.3MiB allocated; 5ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
9.0ms	1.0739481835486547e-18	1.530479477099456e-13
11.0ms	6.105043873546224e-165	6.985010925074793e-162

Samples

10.0ms

208×

valid

Compiler

Compiled 663 to 502 computations (24.3% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

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

bsearch8.0ms (0.3%)

Memory

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

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
7.0ms	3.470089345913783e+59	2.6599011887392565e+60

Samples

4.0ms

80×

valid

Compiler

Compiled 294 to 210 computations (28.6% saved)

Precisions

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

ival-mult!: 1.0ms (51.9% of total)

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

adjust: 0.0ms (0% of total)

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

bsearch17.0ms (0.7%)

Memory

-23.6MiB live, 27.6MiB allocated; 10ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
2.0ms	3.470089345913783e+59	2.6599011887392565e+60
14.0ms	6.105043873546224e-165	6.985010925074793e-162

Samples

5.0ms

96×

valid

Compiler

Compiled 420 to 352 computations (16.2% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

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

bsearch1.0ms (0%)

Memory

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

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
1.0ms	3.470089345913783e+59	2.6599011887392565e+60

Compiler

Compiled 222 to 174 computations (21.6% saved)

derivations106.0ms (4.3%)

Memory

-2.0MiB live, 126.8MiB allocated; 22ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 360 to 78 computations (78.3% saved)

preprocess94.0ms (3.8%)

Memory: 30.5MiB live, 214.0MiB allocated; 47ms collecting garbage
Remove: (sort d2 d4)
Compiler: Compiled 1 104 to 499 computations (54.8% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample813.0ms (33%)

preprocess40.0ms (1.6%)

series27.0ms (1.1%)

rewrite113.0ms (4.6%)

eval24.0ms (1%)

prune5.0ms (0.2%)

series51.0ms (2.1%)

rewrite91.0ms (3.7%)

eval49.0ms (2%)

prune13.0ms (0.5%)

series46.0ms (1.9%)

rewrite497.0ms (20.2%)

eval42.0ms (1.7%)

prune19.0ms (0.8%)

series38.0ms (1.6%)

rewrite88.0ms (3.6%)

eval34.0ms (1.4%)

prune7.0ms (0.3%)

regimes169.0ms (6.8%)

bsearch22.0ms (0.9%)

bsearch11.0ms (0.4%)

bsearch16.0ms (0.7%)

bsearch22.0ms (0.9%)

bsearch8.0ms (0.3%)

bsearch17.0ms (0.7%)

bsearch1.0ms (0%)

derivations106.0ms (4.3%)

preprocess94.0ms (3.8%)

end0.0ms (0%)

Profiling