Metrics for FastMath test3

start0.0ms (0.0%)

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

analyze0.0ms (0.0%)

Memory

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

Algorithm

1×

Search

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

Compiler

Compiled 13 to 11 computations (15.4% saved)

sample803.0ms (44.8%)

Memory

40.7MiB live, 1 542.5MiB allocated; 285ms collecting garbage

Samples

485.0ms	7 800×	0	valid
36.0ms	381×	1	valid
7.0ms	75×	2	valid

Precisions

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

ival-mult!: 161.0ms (70.9% of total)

ival-add!: 46.0ms (20.2% of total)

adjust: 20.0ms (8.8% of total)

Bogosity

preprocess42.0ms (2.4%)

Memory

-25.9MiB live, 66.1MiB allocated; 12ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	37	97
1	150	75
2	588	70
3	1384	70
4	1731	70
5	1781	70

Stop Event

1×

saturated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	97.2%	(+.f64 (+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2)) (*.f64 d1 d3))

Symmetry

(negabs d1)

(sort d2 d3)

Compiler

Compiled 22 to 18 computations (18.2% saved)

sample0.0ms (0.0%)

Memory

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

Calls

Call 1

Inputs
3

Outputs
#s(literal 3 binary64)

Samples

0.0ms

1×

valid

Compiler

Compiled 3 to 3 computations (0.0% saved)

Precisions

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

adjust: 0.0ms (0.0% of total)

series16.0ms (0.9%)

Memory

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	78	290

Stop Event

1×	iter-limit

Counts

9 → 19

Calls

Call 1

Inputs
d1
#s(literal 3 binary64)
(*.f64 d1 #s(literal 3 binary64))
d2
(*.f64 d1 d2)
(+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2))
d3
(*.f64 d1 d3)
(+.f64 (+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2)) (*.f64 d1 d3))

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

Calls

9 calls:

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

rewrite143.0ms (8.0%)

Memory

4.0MiB live, 101.9MiB allocated; 13ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	31
0	14	27
1	63	25
2	257	25
3	843	25
4	1652	25
5	2302	25
0	4037	25

Stop Event

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

Counts

9 → 125

Calls

Call 1

Inputs
d1
#s(literal 3 binary64)
(*.f64 d1 #s(literal 3 binary64))
d2
(*.f64 d1 d2)
(+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2))
d3
(*.f64 d1 d3)
(+.f64 (+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2)) (*.f64 d1 d3))

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

eval14.0ms (0.8%)

Memory: -17.4MiB live, 28.7MiB allocated; 3ms collecting garbage
Compiler: Compiled 2 473 to 441 computations (82.2% saved)

prune4.0ms (0.2%)

Memory

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

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	134	4	138
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	135	4	139

Accuracy

100.0%

Counts

139 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.2%	(fma.f64 (-.f64 d3 #s(literal -3 binary64)) d1 (*.f64 d2 d1))
▶	98.0%	(fma.f64 (-.f64 d2 #s(literal -3 binary64)) d1 (*.f64 d3 d1))
▶	99.9%	(*.f64 (-.f64 (+.f64 d3 d2) #s(literal -3 binary64)) d1)
▶	60.1%	#s(approx (+ (+ (* d1 3) (* d1 d2)) (* d1 d3)) (fma.f64 #s(literal 3 binary64) d1 (*.f64 d1 d3)))

Compiler

Compiled 41 to 34 computations (17.1% saved)

sample0.0ms (0.0%)

Memory

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

Calls

Call 1

Inputs
3
-3

Outputs
#s(literal 3 binary64)
#s(literal -3 binary64)

Samples

0.0ms

1×

valid

Compiler

Compiled 4 to 4 computations (0.0% saved)

Precisions

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

adjust: 0.0ms (0.0% of total)

series22.0ms (1.2%)

Memory

-8.7MiB live, 36.6MiB allocated; 4ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	178	663

Stop Event

1×	iter-limit

Counts

17 → 43

Calls

Call 1

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

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

Calls

9 calls:

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

rewrite148.0ms (8.3%)

Memory

26.6MiB live, 217.5MiB allocated; 14ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	22	75
0	36	71
1	240	67
2	764	67
3	1731	67
4	2189	67
5	2526	67
0	4036	67

Stop Event

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

Counts

17 → 381

Calls

Call 1

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

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

eval37.0ms (2.0%)

Memory: -33.2MiB live, 61.4MiB allocated; 13ms collecting garbage
Compiler: Compiled 4 697 to 968 computations (79.4% saved)

prune6.0ms (0.3%)

Memory

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

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	253	4	257
Fresh	0	0	0
Picked	4	0	4
Done	-3	3	0
Total	254	7	261

Accuracy

100.0%

Counts

261 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	98.0%	(fma.f64 (-.f64 d2 #s(literal -3 binary64)) d1 (*.f64 d3 d1))
✓	99.9%	(*.f64 (-.f64 (+.f64 d3 d2) #s(literal -3 binary64)) d1)
▶	60.1%	(*.f64 (-.f64 #s(approx (+ d3 d2) d3) #s(literal -3 binary64)) d1)
✓	60.1%	#s(approx (+ (+ (* d1 3) (* d1 d2)) (* d1 d3)) (fma.f64 #s(literal 3 binary64) d1 (*.f64 d1 d3)))
▶	66.9%	#s(approx (+ (+ (* d1 3) (* d1 d2)) (* d1 d3)) (fma.f64 #s(literal 3 binary64) d1 (*.f64 d1 d2)))
▶	26.9%	#s(approx (+ (+ (* d1 3) (* d1 d2)) (* d1 d3)) #s(approx (+ (* 3 d1) (* d1 d3)) (*.f64 #s(literal 3 binary64) d1)))
▶	66.9%	#s(approx (* (- (+ d3 d2) -3) d1) (*.f64 d1 (+.f64 #s(literal 3 binary64) d2)))

Compiler

Compiled 96 to 74 computations (22.9% saved)

sample0.0ms (0.0%)

Memory

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

Calls

Call 1

Inputs
3
-3

Outputs
#s(literal 3 binary64)
#s(literal -3 binary64)

Samples

0.0ms

1×

valid

Compiler

Compiled 4 to 4 computations (0.0% saved)

Precisions

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

adjust: 0.0ms (0.0% of total)

series18.0ms (1.0%)

Memory

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	169	648

Stop Event

1×	iter-limit

Counts

17 → 43

Calls

Call 1

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

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

Calls

9 calls:

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

rewrite138.0ms (7.7%)

Memory

12.8MiB live, 161.6MiB allocated; 22ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	27	111
0	34	103
1	190	97
2	576	97
3	1589	97
4	2470	97
5	3047	97
0	4014	97

Stop Event

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

Counts

17 → 142

Calls

Call 1

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

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

eval18.0ms (1.0%)

Memory: -17.5MiB live, 27.8MiB allocated; 4ms collecting garbage
Compiler: Compiled 3 090 to 585 computations (81.1% saved)

prune5.0ms (0.3%)

Memory

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

Pruning

8 alts after pruning (1 fresh and 7 done)

	Pruned	Kept	Total
New	147	1	148
Fresh	0	0	0
Picked	4	0	4
Done	-4	7	3
Total	147	8	155

Accuracy

100.0%

Counts

155 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	98.0%	(fma.f64 (-.f64 d2 #s(literal -3 binary64)) d1 (*.f64 d3 d1))
✓	99.9%	(*.f64 (-.f64 (+.f64 d3 d2) #s(literal -3 binary64)) d1)
✓	60.1%	(*.f64 (-.f64 #s(approx (+ d3 d2) d3) #s(literal -3 binary64)) d1)
✓	60.1%	#s(approx (+ (+ (* d1 3) (* d1 d2)) (* d1 d3)) (fma.f64 #s(literal 3 binary64) d1 (*.f64 d1 d3)))
✓	66.9%	#s(approx (+ (+ (* d1 3) (* d1 d2)) (* d1 d3)) (fma.f64 #s(literal 3 binary64) d1 (*.f64 d1 d2)))
✓	26.9%	#s(approx (+ (+ (* d1 3) (* d1 d2)) (* d1 d3)) #s(approx (+ (* 3 d1) (* d1 d3)) (*.f64 #s(literal 3 binary64) d1)))
✓	66.9%	#s(approx (* (- (+ d3 d2) -3) d1) (*.f64 d1 (+.f64 #s(literal 3 binary64) d2)))
▶	36.6%	#s(approx (* (- (+ d3 d2) -3) d1) (*.f64 d1 d3))

Compiler

Compiled 107 to 83 computations (22.4% saved)

sample0.0ms (0.0%)

Memory

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

Calls

Call 1

Inputs

Outputs

series6.0ms (0.4%)

Memory

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	48	183

Stop Event

1×	iter-limit

Counts

4 → 13

Calls

Call 1

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

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

Calls

9 calls:

Time	Variable	Point
1.0ms	d1	-inf
1.0ms	d3	-inf
1.0ms	d1	inf
0.0ms	d3	inf
0.0ms	d1	0

rewrite110.0ms (6.1%)

Memory

13.0MiB live, 108.9MiB allocated; 10ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	16
0	10	16
1	53	16
2	171	16
3	627	16
4	1435	16
5	2745	16
0	4079	16

Stop Event

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

Counts

4 → 8

Calls

Call 1

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

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

eval2.0ms (0.1%)

Memory: 2.6MiB live, 2.6MiB allocated; 0ms collecting garbage
Compiler: Compiled 272 to 65 computations (76.1% saved)

prune3.0ms (0.1%)

Memory

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

Pruning

9 alts after pruning (1 fresh and 8 done)

	Pruned	Kept	Total
New	17	1	18
Fresh	0	0	0
Picked	1	0	1
Done	-1	8	7
Total	17	9	26

Accuracy

100.0%

Counts

26 → 9

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	98.0%	(fma.f64 (-.f64 d2 #s(literal -3 binary64)) d1 (*.f64 d3 d1))
✓	99.9%	(*.f64 (-.f64 (+.f64 d3 d2) #s(literal -3 binary64)) d1)
✓	60.1%	(*.f64 (-.f64 #s(approx (+ d3 d2) d3) #s(literal -3 binary64)) d1)
✓	60.1%	#s(approx (+ (+ (* d1 3) (* d1 d2)) (* d1 d3)) (fma.f64 #s(literal 3 binary64) d1 (*.f64 d1 d3)))
✓	66.9%	#s(approx (+ (+ (* d1 3) (* d1 d2)) (* d1 d3)) (fma.f64 #s(literal 3 binary64) d1 (*.f64 d1 d2)))
✓	26.9%	#s(approx (+ (+ (* d1 3) (* d1 d2)) (* d1 d3)) #s(approx (+ (* 3 d1) (* d1 d3)) (*.f64 #s(literal 3 binary64) d1)))
✓	66.9%	#s(approx (* (- (+ d3 d2) -3) d1) (*.f64 d1 (+.f64 #s(literal 3 binary64) d2)))
✓	36.6%	#s(approx (* (- (+ d3 d2) -3) d1) (*.f64 d1 d3))
	41.5%	#s(approx (* (- (+ d3 d2) -3) d1) (*.f64 d1 d2))

Compiler

Compiled 118 to 92 computations (22.0% saved)

regimes88.0ms (4.9%)

Memory

-21.5MiB live, 117.0MiB allocated; 12ms collecting garbage

Counts

1 → 1

2 → 2

3 → 4

4 → 2

6 → 2

7 → 2

11 → 1

Calls

Call 1

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

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

Call 2

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

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

Call 3

Inputs

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

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

#s(approx (+ (+ (* d1 3) (* d1 d2)) (* d1 d3)) #s(approx (+ (* 3 d1) (* d1 d3)) (*.f64 #s(literal 3 binary64) d1)))

Outputs
#s(approx (* (- (+ d3 d2) -3) d1) (*.f64 d1 d2))
#s(approx (* (- (+ d3 d2) -3) d1) (*.f64 d1 d3))
#s(approx (+ (+ (* d1 3) (* d1 d2)) (* d1 d3)) #s(approx (+ (* 3 d1) (* d1 d3)) (*.f64 #s(literal 3 binary64) d1)))
#s(approx (* (- (+ d3 d2) -3) d1) (*.f64 d1 d3))

Call 4

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

Outputs
#s(approx (* (- (+ d3 d2) -3) d1) (*.f64 d1 (+.f64 #s(literal 3 binary64) d2)))
#s(approx (* (- (+ d3 d2) -3) d1) (*.f64 d1 d3))

Call 5

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

Outputs
#s(approx (* (- (+ d3 d2) -3) d1) (*.f64 d1 (+.f64 #s(literal 3 binary64) d2)))
(*.f64 (-.f64 #s(approx (+ d3 d2) d3) #s(literal -3 binary64)) d1)

Call 6

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

Outputs
#s(approx (* (- (+ d3 d2) -3) d1) (*.f64 d1 (+.f64 #s(literal 3 binary64) d2)))
#s(approx (+ (+ (* d1 3) (* d1 d2)) (* d1 d3)) (fma.f64 #s(literal 3 binary64) d1 (*.f64 d1 d3)))

Call 7

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

Outputs
(*.f64 (-.f64 (+.f64 d3 d2) #s(literal -3 binary64)) d1)

Calls

21 calls:

23.0ms	d2
10.0ms	d2
6.0ms	(+.f64 (+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2)) (*.f64 d1 d3))
4.0ms	d3
4.0ms	d1

Results

Accuracy	Segments	Branch
41.5%	1	`d3`
41.5%	1	`d1`
41.5%	1	`d2`
41.5%	1	`(+.f64 (+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2)) (*.f64 d1 d3))`
72.4%	2	`(+.f64 (+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2)) (*.f64 d1 d3))`
69.3%	2	`d2`
75.1%	3	`(+.f64 (+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2)) (*.f64 d1 d3))`
78.0%	4	`d2`
69.4%	3	`d3`
92.0%	2	`d3`
76.8%	2	`d2`
76.2%	2	`(+.f64 (+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2)) (*.f64 d1 d3))`
96.7%	2	`(+.f64 (+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2)) (*.f64 d1 d3))`
96.8%	2	`(+.f64 (+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2)) (*.f64 d1 d3))`
66.9%	1	`d1`
93.3%	2	`d2`
92.5%	2	`d3`
99.9%	1	`(+.f64 (+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2)) (*.f64 d1 d3))`
99.9%	1	`d1`
99.9%	1	`d2`
99.9%	1	`d3`

Compiler

Compiled 228 to 151 computations (33.8% saved)

bsearch0.0ms (0.0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-3.369835875893507e-262	4.098235304014732e-288

Compiler

Compiled 24 to 21 computations (12.5% saved)

bsearch0.0ms (0.0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-3.369835875893507e-262	4.098235304014732e-288

Compiler

Compiled 24 to 21 computations (12.5% saved)

bsearch13.0ms (0.7%)

Memory

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

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
11.0ms	9595740.706339955	64805259395094.44

Samples

5.0ms	136×	0	valid
1.0ms	7×	1	valid
0.0ms	1×	2	valid

Compiler

Compiled 230 to 213 computations (7.4% saved)

Precisions

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

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

ival-add!: 1.0ms (37.0% of total)

adjust: 0.0ms (0.0% of total)

bsearch36.0ms (2.0%)

Memory

-1.1MiB live, 52.1MiB allocated; 7ms collecting garbage

Algorithm

3×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
10.0ms	7.11914809311796e-272	2.1049073114070085e-268
9.0ms	-4.085291920858615e-27	-6.867134250770272e-29
14.0ms	-5.665815536226982e+46	-4.767190369687162e+43

Samples

14.0ms	348×	0	valid
1.0ms	18×	1	valid
0.0ms	2×	2	valid

Compiler

Compiled 700 to 565 computations (19.3% saved)

Precisions

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

ival-mult!: 5.0ms (72.4% of total)

ival-add!: 2.0ms (29.0% of total)

adjust: 0.0ms (0.0% of total)

bsearch0.0ms (0.0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-3.369835875893507e-262	4.098235304014732e-288

Compiler

Compiled 24 to 21 computations (12.5% saved)

derivations36.0ms (2.0%)

Memory

-18.5MiB live, 27.4MiB allocated; 5ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 231 to 55 computations (76.2% saved)

preprocess81.0ms (4.5%)

Memory: 4.0MiB live, 286.2MiB allocated; 18ms collecting garbage
Compiler: Compiled 1 492 to 720 computations (51.7% saved)

end0.0ms (0.0%)

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

start0.0ms (0.0%)

analyze0.0ms (0.0%)

sample803.0ms (44.8%)

preprocess42.0ms (2.4%)

sample0.0ms (0.0%)

series16.0ms (0.9%)

rewrite143.0ms (8.0%)

eval14.0ms (0.8%)

prune4.0ms (0.2%)

sample0.0ms (0.0%)

series22.0ms (1.2%)

rewrite148.0ms (8.3%)

eval37.0ms (2.0%)

prune6.0ms (0.3%)

sample0.0ms (0.0%)

series18.0ms (1.0%)

rewrite138.0ms (7.7%)

eval18.0ms (1.0%)

prune5.0ms (0.3%)

sample0.0ms (0.0%)

series6.0ms (0.4%)

rewrite110.0ms (6.1%)

eval2.0ms (0.1%)

prune3.0ms (0.1%)

regimes88.0ms (4.9%)

bsearch0.0ms (0.0%)

bsearch0.0ms (0.0%)

bsearch13.0ms (0.7%)

bsearch36.0ms (2.0%)

bsearch0.0ms (0.0%)

derivations36.0ms (2.0%)

preprocess81.0ms (4.5%)

end0.0ms (0.0%)

Profiling