forward-rot-x

Time bar (total: 34.6s)

start0.0ms (0.0%)

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

analyze1.0ms (0.0%)

Memory
0.1MiB live, 0.1MiB allocated; 0ms collecting garbage
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0.0%0.0%99.8%0.2%0.0%0.0%0.0%0
100.0%99.8%0.0%0.2%0.0%0.0%0.0%1
Compiler

Compiled 11 to 11 computations (0.0% saved)

sample7.3s (21.1%)

Memory
-13.0MiB live, 996.5MiB allocated; 165ms collecting garbage
Samples
5.3s8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 1.9s
ival-mult!: 1.0s (54.5% of total, 102.6 MiB)
ival-sub!: 483.0ms (25.8% of total, 74.9 MiB)
ival-add!: 269.0ms (14.4% of total, 42.1 MiB)
adjust: 98.0ms (5.2% of total, 3.5 MiB)
Bogosity

preprocess613.0ms (1.8%)

Memory
-12.9MiB live, 16.8MiB allocated; 8ms collecting garbage
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
064200
1272190
2681190
31660190
42466190
53215190
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶98.0%
(+.f64 (*.f64 v cosrot) (*.f64 (-.f64 u u0) sinrot))
Symmetry

(sort v cosrot)

Compiler

Compiled 18 to 18 computations (0.0% saved)

sample0.0ms (0.0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage
Calls
Call 1
Inputs
Outputs
series2.1s (6.1%)
Memory
-9.4MiB live, 53.1MiB allocated; 8ms collecting garbage
Counts
9 → 36
Calls
Call 1
Inputs
%2 = (*.f64 v cosrot)
%5 = (-.f64 u u0)
%7 = (*.f64 %5 sinrot)
v
cosrot
%2
u
u0
%5
sinrot
%7
(+.f64 %2 %7)
Outputs
%6 = (- u u0)
%8 = (*.f64 #s(literal -1 binary64) u0)
%10 = (-.f64 u u0)
%13 = (* %6 sinrot)
%14 = (*.f64 sinrot u0)
%17 = (*.f64 sinrot u)
%21 = (* v cosrot)
%22 = (+ %21 %13)
%23 = (*.f64 cosrot v)
%24 = (fma.f64 #s(literal -1 binary64) %14 %23)
%26 = (fma.f64 cosrot v %17)
%30 = (/.f64 u0 u)
%36 = (/.f64 %14 u)
%62 = (*.f64 sinrot %10)
%66 = (/.f64 %62 v)
%76 = (/.f64 %62 cosrot)
%86 = (/.f64 %23 sinrot)
%100 = (/.f64 u u0)
%104 = (/.f64 %17 u0)
(approx v #s(literal 0 binary64))
(approx u u)
(approx %6 %8)
(approx %6 %10)
(approx %13 (*.f64 #s(literal -1 binary64) %14))
(approx %13 (fma.f64 #s(literal -1 binary64) %14 %17))
(approx %22 %24)
(approx %22 (fma.f64 #s(literal -1 binary64) %14 %26))
(approx %6 (*.f64 u (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %30))))
(approx %13 %17)
(approx %13 (*.f64 u (+.f64 sinrot (*.f64 #s(literal -1 binary64) %36))))
(approx %22 (*.f64 u (+.f64 sinrot (fma.f64 #s(literal -1 binary64) %36 (/.f64 %23 u)))))
(approx %6 (*.f64 #s(literal -1 binary64) (*.f64 u (-.f64 %30 #s(literal 1 binary64)))))
(approx %13 (*.f64 #s(literal -1 binary64) (*.f64 u (fma.f64 #s(literal -1 binary64) sinrot %36))))
(approx %22 (*.f64 #s(literal -1 binary64) (*.f64 u (fma.f64 #s(literal -1 binary64) sinrot (*.f64 #s(literal -1 binary64) (/.f64 %24 u))))))
(approx v v)
(approx %21 %23)
(approx %22 %62)
(approx %22 (fma.f64 cosrot v %62))
(approx %22 (*.f64 v (+.f64 cosrot %66)))
(approx %22 (*.f64 #s(literal -1 binary64) (*.f64 v (fma.f64 #s(literal -1 binary64) cosrot (*.f64 #s(literal -1 binary64) %66)))))
(approx cosrot cosrot)
(approx %22 (*.f64 cosrot (+.f64 v %76)))
(approx %22 (*.f64 #s(literal -1 binary64) (*.f64 cosrot (fma.f64 #s(literal -1 binary64) v (*.f64 #s(literal -1 binary64) %76)))))
(approx sinrot sinrot)
(approx %22 (*.f64 sinrot (-.f64 (+.f64 u %86) u0)))
(approx %22 (*.f64 #s(literal -1 binary64) (*.f64 sinrot (fma.f64 #s(literal -1 binary64) %10 (*.f64 #s(literal -1 binary64) %86)))))
(approx u0 u0)
(approx %6 (+.f64 u %8))
(approx %22 %26)
(approx %6 (*.f64 u0 (-.f64 %100 #s(literal 1 binary64))))
(approx %13 (*.f64 u0 (fma.f64 #s(literal -1 binary64) sinrot %104)))
(approx %22 (*.f64 u0 (fma.f64 #s(literal -1 binary64) sinrot (+.f64 (/.f64 %23 u0) %104))))
(approx %6 (*.f64 #s(literal -1 binary64) (*.f64 u0 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %100)))))
(approx %13 (*.f64 #s(literal -1 binary64) (*.f64 u0 (+.f64 sinrot (*.f64 #s(literal -1 binary64) %104)))))
(approx %22 (*.f64 #s(literal -1 binary64) (*.f64 u0 (+.f64 sinrot (*.f64 #s(literal -1 binary64) (/.f64 %26 u0))))))
Calls
15 calls:
TimeVariablePoint
16.0ms
u
inf
16.0ms
sinrot
0
15.0ms
u0
inf
15.0ms
v
inf
1.0ms
sinrot
inf
rewrite3.5s (10.1%)
Memory
3.8MiB live, 73.6MiB allocated; 12ms collecting garbage
Counts
9 → 66
Calls
Call 1
Inputs
%2 = (*.f64 v cosrot)
%5 = (-.f64 u u0)
%7 = (*.f64 %5 sinrot)
v
cosrot
%2
u
u0
%5
sinrot
%7
(+.f64 %2 %7)
Outputs
%1 = (neg.f64 v)
%4 = (neg.f64 cosrot)
%6 = (*.f64 v cosrot)
%10 = (neg.f64 %6)
%13 = (neg.f64 u)
%16 = (neg.f64 u0)
%18 = (-.f64 u u0)
%21 = (-.f64 u0 u)
%25 = (neg.f64 sinrot)
%28 = (*.f64 %18 sinrot)
%31 = (*.f64 %21 sinrot)
%33 = (*.f64 u sinrot)
%34 = (*.f64 sinrot u0)
%36 = (neg.f64 %34)
%45 = (neg.f64 %33)
%63 = (-.f64 %6 %34)
%66 = (fma.f64 u sinrot %6)
v
(neg.f64 %1)
cosrot
(neg.f64 %4)
%6
(*.f64 cosrot v)
(*.f64 %1 %4)
(*.f64 %4 %1)
(neg.f64 %10)
u
(neg.f64 %13)
u0
(neg.f64 %16)
%18
(+.f64 u %16)
(+.f64 %16 u)
(neg.f64 %21)
(-.f64 %16 %13)
sinrot
(neg.f64 %25)
(*.f64 sinrot %18)
%28
(*.f64 %21 %25)
(*.f64 %25 %21)
(neg.f64 %31)
(-.f64 %33 %34)
(fma.f64 u sinrot %36)
(fma.f64 sinrot u %36)
(fma.f64 sinrot %16 %33)
(fma.f64 u0 %25 %33)
(fma.f64 %25 u0 %33)
(fma.f64 %16 sinrot %33)
(+.f64 %33 %36)
(+.f64 %36 %33)
(-.f64 %36 %45)
(fma.f64 %13 %25 %36)
(fma.f64 %25 %13 %36)
(fma.f64 v cosrot %28)
(fma.f64 cosrot v %28)
(fma.f64 sinrot %18 %6)
(fma.f64 %18 sinrot %6)
(+.f64 %6 %28)
(+.f64 %28 %6)
(-.f64 %6 %31)
(fma.f64 %21 %25 %6)
(fma.f64 %25 %21 %6)
(neg.f64 (-.f64 %31 %6))
(-.f64 %28 %10)
(fma.f64 %1 %4 %28)
(fma.f64 %4 %1 %28)
(fma.f64 u sinrot %63)
(fma.f64 sinrot u %63)
(-.f64 %66 %34)
(fma.f64 sinrot %16 %66)
(fma.f64 u0 %25 %66)
(fma.f64 %25 u0 %66)
(fma.f64 %16 sinrot %66)
(+.f64 %33 %63)
(+.f64 %63 %33)
(-.f64 %33 (-.f64 %34 %6))
(+.f64 %66 %36)
(+.f64 %36 %66)
(-.f64 %63 %45)
(fma.f64 %13 %25 %63)
(fma.f64 %25 %13 %63)
(-.f64 %36 (neg.f64 %66))
reconstruct0.0ms (0.0%)
Memory
0.2MiB live, 0.2MiB allocated; 0ms collecting garbage
eval64.0ms (0.2%)
Memory
6.5MiB live, 6.5MiB allocated; 0ms collecting garbage
Compiler
Compiled 1 035 to 224 computations (78.4% saved)
prune37.0ms (0.1%)
Memory
3.5MiB live, 3.5MiB allocated; 0ms collecting garbage
Pruning
4 alts after pruning (4 fresh and 0 done)
PrunedKeptTotal
New90494
Fresh000
Picked101
Done000
Total91495
Accuracy
100.0%
Counts
95 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶98.8%
(fma.f64 (-.f64 u u0) sinrot (*.f64 v cosrot))
▶98.4%
(fma.f64 u sinrot (-.f64 (*.f64 v cosrot) (*.f64 sinrot u0)))
▶72.8%
(approx (+ (* v cosrot) (* (- u u0) sinrot)) (fma.f64 cosrot v (*.f64 sinrot u)))
▶63.0%
(approx (+ (* v cosrot) (* (- u u0) sinrot)) (*.f64 sinrot (-.f64 u u0)))
Compiler
Compiled 29 to 14 computations (51.7% saved)
sample0.0ms (0.0%)
Memory
0.1MiB live, 0.1MiB allocated; 0ms collecting garbage
Calls
Call 1
Inputs
Outputs
series2.3s (6.6%)
Memory
-2.2MiB live, 60.5MiB allocated; 10ms collecting garbage
Counts
16 → 66
Calls
Call 1
Inputs
%2 = (*.f64 v cosrot)
%5 = (-.f64 u u0)
%7 = (*.f64 sinrot u0)
%8 = (*.f64 sinrot u)
%9 = (fma.f64 cosrot v %8)
%10 = (*.f64 sinrot %5)
%14 = (+ (* v cosrot) (* (- u u0) sinrot))
%18 = (-.f64 %2 %7)
v
cosrot
%2
u
u0
%5
sinrot
%7
%8
%9
%10
(approx %14 %10)
(approx %14 %9)
(fma.f64 %5 sinrot %2)
%18
(fma.f64 u sinrot %18)
Outputs
%6 = (- u u0)
%8 = (*.f64 #s(literal -1 binary64) u0)
%10 = (-.f64 u u0)
%13 = (* sinrot u)
%14 = (*.f64 sinrot u)
%18 = (+ (* cosrot v) %13)
%19 = (*.f64 cosrot v)
%21 = (fma.f64 cosrot v %14)
%23 = (* sinrot %6)
%24 = (*.f64 sinrot u0)
%29 = (* v cosrot)
%31 = (+ %29 (* %6 sinrot))
%32 = (fma.f64 #s(literal -1 binary64) %24 %19)
%37 = (* sinrot u0)
%38 = (- %29 %37)
%39 = (+ (* u sinrot) %38)
%40 = (-.f64 %19 %24)
%45 = (/.f64 u0 u)
%50 = (/.f64 %19 u)
%51 = (+.f64 sinrot %50)
%54 = (/.f64 %24 u)
%92 = (*.f64 sinrot %10)
%96 = (-.f64 %14 %24)
%98 = (/.f64 %14 v)
%99 = (+.f64 cosrot %98)
%102 = (/.f64 %92 v)
%106 = (/.f64 %24 v)
%135 = (/.f64 %14 cosrot)
%136 = (+.f64 v %135)
%139 = (/.f64 %92 cosrot)
%143 = (/.f64 %24 cosrot)
%173 = (/.f64 %19 sinrot)
%174 = (+.f64 u %173)
%183 = (*.f64 #s(literal -1 binary64) %173)
%184 = (fma.f64 #s(literal -1 binary64) u %183)
%208 = (/.f64 u u0)
%212 = (/.f64 %14 u0)
%216 = (/.f64 %19 u0)
%217 = (+.f64 %216 %212)
%238 = (*.f64 #s(literal -1 binary64) (/.f64 %21 u0))
%244 = (*.f64 #s(literal -1 binary64) sinrot)
(approx v #s(literal 0 binary64))
(approx u u)
(approx %6 %8)
(approx %6 %10)
(approx %13 %14)
(approx %18 %19)
(approx %18 %21)
(approx %23 (*.f64 #s(literal -1 binary64) %24))
(approx %23 (fma.f64 #s(literal -1 binary64) %24 %14))
(approx %31 %32)
(approx %31 (fma.f64 #s(literal -1 binary64) %24 %21))
(approx %39 %40)
(approx %39 (-.f64 %21 %24))
(approx %6 (*.f64 u (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %45))))
(approx %18 (*.f64 u %51))
(approx %23 (*.f64 u (+.f64 sinrot (*.f64 #s(literal -1 binary64) %54))))
(approx %31 (*.f64 u (+.f64 sinrot (fma.f64 #s(literal -1 binary64) %54 %50))))
(approx %39 (*.f64 u (-.f64 %51 %54)))
(approx %6 (*.f64 #s(literal -1 binary64) (*.f64 u (-.f64 %45 #s(literal 1 binary64)))))
(approx %18 (*.f64 #s(literal -1 binary64) (*.f64 u (fma.f64 #s(literal -1 binary64) sinrot (*.f64 #s(literal -1 binary64) %50)))))
(approx %23 (*.f64 #s(literal -1 binary64) (*.f64 u (fma.f64 #s(literal -1 binary64) sinrot %54))))
(approx %31 (*.f64 #s(literal -1 binary64) (*.f64 u (fma.f64 #s(literal -1 binary64) sinrot (*.f64 #s(literal -1 binary64) (/.f64 %32 u))))))
(approx %39 (*.f64 #s(literal -1 binary64) (*.f64 u (fma.f64 #s(literal -1 binary64) sinrot (*.f64 #s(literal -1 binary64) (/.f64 %40 u))))))
(approx v v)
(approx %31 %92)
(approx %31 (fma.f64 cosrot v %92))
(approx %39 %96)
(approx %18 (*.f64 v %99))
(approx %31 (*.f64 v (+.f64 cosrot %102)))
(approx %38 (*.f64 v (+.f64 cosrot (*.f64 #s(literal -1 binary64) %106))))
(approx %39 (*.f64 v (-.f64 %99 %106)))
(approx %18 (*.f64 #s(literal -1 binary64) (*.f64 v (fma.f64 #s(literal -1 binary64) cosrot (*.f64 #s(literal -1 binary64) %98)))))
(approx %31 (*.f64 #s(literal -1 binary64) (*.f64 v (fma.f64 #s(literal -1 binary64) cosrot (*.f64 #s(literal -1 binary64) %102)))))
(approx %38 (*.f64 #s(literal -1 binary64) (*.f64 v (fma.f64 #s(literal -1 binary64) cosrot %106))))
(approx %39 (*.f64 #s(literal -1 binary64) (*.f64 v (fma.f64 #s(literal -1 binary64) cosrot (*.f64 #s(literal -1 binary64) (/.f64 %96 v))))))
(approx cosrot cosrot)
(approx %18 (*.f64 cosrot %136))
(approx %31 (*.f64 cosrot (+.f64 v %139)))
(approx %38 (*.f64 cosrot (+.f64 v (*.f64 #s(literal -1 binary64) %143))))
(approx %39 (*.f64 cosrot (-.f64 %136 %143)))
(approx %18 (*.f64 #s(literal -1 binary64) (*.f64 cosrot (fma.f64 #s(literal -1 binary64) v (*.f64 #s(literal -1 binary64) %135)))))
(approx %31 (*.f64 #s(literal -1 binary64) (*.f64 cosrot (fma.f64 #s(literal -1 binary64) v (*.f64 #s(literal -1 binary64) %139)))))
(approx %38 (*.f64 #s(literal -1 binary64) (*.f64 cosrot (fma.f64 #s(literal -1 binary64) v %143))))
(approx %39 (*.f64 #s(literal -1 binary64) (*.f64 cosrot (fma.f64 #s(literal -1 binary64) v (*.f64 #s(literal -1 binary64) (/.f64 %96 cosrot))))))
(approx sinrot sinrot)
(approx %37 %24)
(approx %18 (*.f64 sinrot %174))
(approx %31 (*.f64 sinrot (-.f64 %174 u0)))
(approx %38 (*.f64 sinrot (-.f64 %173 u0)))
(approx %18 (*.f64 #s(literal -1 binary64) (*.f64 sinrot %184)))
(approx %31 (*.f64 #s(literal -1 binary64) (*.f64 sinrot (fma.f64 #s(literal -1 binary64) %10 %183))))
(approx %38 (*.f64 #s(literal -1 binary64) (*.f64 sinrot (-.f64 %183 %8))))
(approx %39 (*.f64 #s(literal -1 binary64) (*.f64 sinrot (-.f64 (*.f64 #s(literal -1 binary64) u) %8))))
(approx %39 (*.f64 #s(literal -1 binary64) (*.f64 sinrot (-.f64 %184 %8))))
(approx u0 u0)
(approx %6 (+.f64 u %8))
(approx %6 (*.f64 u0 (-.f64 %208 #s(literal 1 binary64))))
(approx %23 (*.f64 u0 (fma.f64 #s(literal -1 binary64) sinrot %212)))
(approx %31 (*.f64 u0 (fma.f64 #s(literal -1 binary64) sinrot %217)))
(approx %38 (*.f64 u0 (-.f64 %216 sinrot)))
(approx %39 (*.f64 u0 (-.f64 %217 sinrot)))
(approx %6 (*.f64 #s(literal -1 binary64) (*.f64 u0 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %208)))))
(approx %23 (*.f64 #s(literal -1 binary64) (*.f64 u0 (+.f64 sinrot (*.f64 #s(literal -1 binary64) %212)))))
(approx %31 (*.f64 #s(literal -1 binary64) (*.f64 u0 (+.f64 sinrot %238))))
(approx %38 (*.f64 #s(literal -1 binary64) (*.f64 u0 (-.f64 (*.f64 #s(literal -1 binary64) %216) %244))))
(approx %39 (*.f64 #s(literal -1 binary64) (*.f64 u0 (-.f64 %238 %244))))
Calls
15 calls:
TimeVariablePoint
19.0ms
u
0
19.0ms
v
-inf
19.0ms
sinrot
0
18.0ms
u0
0
1.0ms
sinrot
-inf
rewrite3.6s (10.5%)
Memory
15.4MiB live, 78.3MiB allocated; 10ms collecting garbage
Counts
16 → 133
Calls
Call 1
Inputs
%2 = (*.f64 v cosrot)
%5 = (-.f64 u u0)
%7 = (*.f64 sinrot u0)
%8 = (*.f64 sinrot u)
%9 = (fma.f64 cosrot v %8)
%10 = (*.f64 sinrot %5)
%14 = (+ (* v cosrot) (* (- u u0) sinrot))
%18 = (-.f64 %2 %7)
v
cosrot
%2
u
u0
%5
sinrot
%7
%8
%9
%10
(approx %14 %10)
(approx %14 %9)
(fma.f64 %5 sinrot %2)
%18
(fma.f64 u sinrot %18)
Outputs
%1 = (neg.f64 v)
%4 = (neg.f64 cosrot)
%6 = (*.f64 v cosrot)
%10 = (neg.f64 %6)
%13 = (neg.f64 u)
%16 = (neg.f64 u0)
%18 = (-.f64 u u0)
%21 = (-.f64 u0 u)
%25 = (neg.f64 sinrot)
%27 = (*.f64 sinrot u0)
%31 = (neg.f64 %27)
%34 = (*.f64 sinrot u)
%37 = (neg.f64 %34)
%41 = (fma.f64 cosrot v %34)
%51 = (neg.f64 %41)
%53 = (*.f64 sinrot %18)
%57 = (*.f64 %21 sinrot)
%74 = (+ (* v cosrot) (* (- u u0) sinrot))
%77 = (fma.f64 v cosrot %53)
%78 = (fma.f64 cosrot v %53)
%79 = (fma.f64 sinrot %18 %6)
%80 = (fma.f64 %18 sinrot %6)
%81 = (+.f64 %6 %53)
%82 = (+.f64 %53 %6)
%83 = (-.f64 %6 %57)
%84 = (fma.f64 %21 %25 %6)
%85 = (fma.f64 %25 %21 %6)
%87 = (neg.f64 (-.f64 %57 %6))
%88 = (-.f64 %53 %10)
%89 = (fma.f64 %1 %4 %53)
%90 = (fma.f64 %4 %1 %53)
%91 = (-.f64 %6 %27)
%92 = (fma.f64 u sinrot %91)
%93 = (fma.f64 sinrot u %91)
%94 = (-.f64 %41 %27)
%95 = (fma.f64 sinrot %16 %41)
%96 = (fma.f64 u0 %25 %41)
%97 = (fma.f64 %25 u0 %41)
%98 = (fma.f64 %16 sinrot %41)
%99 = (+.f64 %34 %91)
%100 = (+.f64 %91 %34)
%101 = (-.f64 %27 %6)
%102 = (-.f64 %34 %101)
%103 = (+.f64 %41 %31)
%104 = (+.f64 %31 %41)
%105 = (-.f64 %91 %37)
%106 = (fma.f64 %13 %25 %91)
%107 = (fma.f64 %25 %13 %91)
%108 = (-.f64 %31 %51)
v
(neg.f64 %1)
cosrot
(neg.f64 %4)
%6
(*.f64 cosrot v)
(*.f64 %1 %4)
(*.f64 %4 %1)
(neg.f64 %10)
u
(neg.f64 %13)
u0
(neg.f64 %16)
%18
(+.f64 u %16)
(+.f64 %16 u)
(neg.f64 %21)
(-.f64 %16 %13)
sinrot
(neg.f64 %25)
%27
(*.f64 u0 sinrot)
(*.f64 %25 %16)
(*.f64 %16 %25)
(neg.f64 %31)
(*.f64 u sinrot)
%34
(*.f64 %13 %25)
(*.f64 %25 %13)
(neg.f64 %37)
(fma.f64 u sinrot %6)
(fma.f64 v cosrot %34)
%41
(fma.f64 sinrot u %6)
(+.f64 %6 %34)
(+.f64 %34 %6)
(-.f64 %6 %37)
(-.f64 %34 %10)
(fma.f64 %13 %25 %6)
(fma.f64 %1 %4 %34)
(fma.f64 %4 %1 %34)
(fma.f64 %25 %13 %6)
(neg.f64 %51)
%53
(*.f64 %18 sinrot)
(*.f64 %21 %25)
(*.f64 %25 %21)
(neg.f64 %57)
(-.f64 %34 %27)
(fma.f64 u sinrot %31)
(fma.f64 sinrot u %31)
(fma.f64 sinrot %16 %34)
(fma.f64 u0 %25 %34)
(fma.f64 %25 u0 %34)
(fma.f64 %16 sinrot %34)
(+.f64 %34 %31)
(+.f64 %31 %34)
(-.f64 %31 %37)
(fma.f64 %13 %25 %31)
(fma.f64 %25 %13 %31)
(approx %74 %53)
(approx %74 %41)
%77
%78
%79
%80
%81
%82
%83
%84
%85
%87
%88
%89
%90
%92
%93
%94
%95
%96
%97
%98
%99
%100
%102
%103
%104
%105
%106
%107
%108
%91
(fma.f64 v cosrot %31)
(fma.f64 cosrot v %31)
(fma.f64 sinrot %16 %6)
(fma.f64 u0 %25 %6)
(fma.f64 %25 u0 %6)
(fma.f64 %16 sinrot %6)
(+.f64 %6 %31)
(+.f64 %31 %6)
(neg.f64 %101)
(-.f64 %31 %10)
(fma.f64 %1 %4 %31)
(fma.f64 %4 %1 %31)
%77
%78
%79
%80
%81
%82
%83
%84
%85
%87
%88
%89
%90
%92
%93
%94
%95
%96
%97
%98
%99
%100
%102
%103
%104
%105
%106
%107
%108
reconstruct1.0ms (0.0%)
Memory
0.6MiB live, 0.6MiB allocated; 0ms collecting garbage
eval168.0ms (0.5%)
Memory
-17.0MiB live, 14.1MiB allocated; 2ms collecting garbage
Compiler
Compiled 1 970 to 373 computations (81.1% saved)
prune68.0ms (0.2%)
Memory
6.5MiB live, 6.5MiB allocated; 0ms collecting garbage
Pruning
6 alts after pruning (3 fresh and 3 done)
PrunedKeptTotal
New1953198
Fresh000
Picked134
Done000
Total1966202
Accuracy
100.0%
Counts
202 → 6
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓98.8%
(fma.f64 (-.f64 u u0) sinrot (*.f64 v cosrot))
✓72.8%
(approx (+ (* v cosrot) (* (- u u0) sinrot)) (fma.f64 cosrot v (*.f64 sinrot u)))
▶61.8%
(approx (+ (* v cosrot) (* (- u u0) sinrot)) (-.f64 (*.f64 sinrot u) (*.f64 sinrot u0)))
✓63.0%
(approx (+ (* v cosrot) (* (- u u0) sinrot)) (*.f64 sinrot (-.f64 u u0)))
▶41.7%
(approx (+ (* v cosrot) (* (- u u0) sinrot)) (approx (+ (* cosrot v) (* sinrot u)) (*.f64 cosrot v)))
▶69.9%
(approx (+ (* u sinrot) (- (* v cosrot) (* sinrot u0))) (-.f64 (*.f64 cosrot v) (*.f64 sinrot u0)))
Compiler
Compiled 36 to 15 computations (58.3% saved)
sample0.0ms (0.0%)
Memory
0.2MiB live, 0.2MiB allocated; 0ms collecting garbage
Calls
Call 1
Inputs
Outputs
series2.2s (6.3%)
Memory
-6.6MiB live, 57.1MiB allocated; 9ms collecting garbage
Counts
14 → 59
Calls
Call 1
Inputs
%5 = (*.f64 sinrot u0)
%6 = (*.f64 sinrot u)
%7 = (*.f64 cosrot v)
%11 = (approx (+ (* cosrot v) (* sinrot u)) %7)
%12 = (-.f64 %7 %5)
%14 = (* v cosrot)
%19 = (-.f64 %6 %5)
%22 = (+ %14 (* (- u u0) sinrot))
v
cosrot
u
u0
sinrot
%5
%6
%7
%11
%12
(approx (+ (* u sinrot) (- %14 (* sinrot u0))) %12)
%19
(approx %22 %11)
(approx %22 %19)
Outputs
%6 = (* sinrot u)
%7 = (*.f64 sinrot u)
%10 = (* cosrot v)
%11 = (+ %10 %6)
%12 = (*.f64 cosrot v)
%14 = (fma.f64 cosrot v %7)
%17 = (* v cosrot)
%19 = (* sinrot u0)
%21 = (+ (* u sinrot) (- %17 %19))
%22 = (*.f64 sinrot u0)
%23 = (-.f64 %12 %22)
%27 = (- %6 %19)
%31 = (-.f64 %7 %22)
%35 = (+ %17 (* (- u u0) sinrot))
%36 = (fma.f64 #s(literal -1 binary64) %22 %12)
%40 = (/.f64 %12 u)
%41 = (+.f64 sinrot %40)
%44 = (/.f64 %22 u)
%78 = (-.f64 u u0)
%79 = (*.f64 sinrot %78)
%83 = (/.f64 %7 v)
%84 = (+.f64 cosrot %83)
%87 = (- %10 %19)
%88 = (/.f64 %22 v)
%96 = (/.f64 %79 v)
%121 = (/.f64 %7 cosrot)
%122 = (+.f64 v %121)
%125 = (/.f64 %22 cosrot)
%133 = (/.f64 %79 cosrot)
%159 = (/.f64 %12 sinrot)
%160 = (+.f64 u %159)
%169 = (*.f64 #s(literal -1 binary64) %159)
%170 = (fma.f64 #s(literal -1 binary64) u %169)
%174 = (*.f64 #s(literal -1 binary64) u0)
%195 = (/.f64 %12 u0)
%199 = (/.f64 %7 u0)
%200 = (+.f64 %195 %199)
%211 = (*.f64 #s(literal -1 binary64) sinrot)
%217 = (*.f64 #s(literal -1 binary64) (/.f64 %14 u0))
(approx v #s(literal 0 binary64))
(approx u u)
(approx %6 %7)
(approx %11 %12)
(approx %11 %14)
(approx %21 %23)
(approx %21 (-.f64 %14 %22))
(approx %27 (*.f64 #s(literal -1 binary64) %22))
(approx %27 %31)
(approx %35 %36)
(approx %35 (fma.f64 #s(literal -1 binary64) %22 %14))
(approx %11 (*.f64 u %41))
(approx %21 (*.f64 u (-.f64 %41 %44)))
(approx %27 (*.f64 u (+.f64 sinrot (*.f64 #s(literal -1 binary64) %44))))
(approx %35 (*.f64 u (+.f64 sinrot (fma.f64 #s(literal -1 binary64) %44 %40))))
(approx %11 (*.f64 #s(literal -1 binary64) (*.f64 u (fma.f64 #s(literal -1 binary64) sinrot (*.f64 #s(literal -1 binary64) %40)))))
(approx %21 (*.f64 #s(literal -1 binary64) (*.f64 u (fma.f64 #s(literal -1 binary64) sinrot (*.f64 #s(literal -1 binary64) (/.f64 %23 u))))))
(approx %27 (*.f64 #s(literal -1 binary64) (*.f64 u (fma.f64 #s(literal -1 binary64) sinrot %44))))
(approx %35 (*.f64 #s(literal -1 binary64) (*.f64 u (fma.f64 #s(literal -1 binary64) sinrot (*.f64 #s(literal -1 binary64) (/.f64 %36 u))))))
(approx v v)
(approx %35 %79)
(approx %35 (fma.f64 cosrot v %79))
(approx %11 (*.f64 v %84))
(approx %87 (*.f64 v (+.f64 cosrot (*.f64 #s(literal -1 binary64) %88))))
(approx %21 (*.f64 v (-.f64 %84 %88)))
(approx %35 (*.f64 v (+.f64 cosrot %96)))
(approx %11 (*.f64 #s(literal -1 binary64) (*.f64 v (fma.f64 #s(literal -1 binary64) cosrot (*.f64 #s(literal -1 binary64) %83)))))
(approx %87 (*.f64 #s(literal -1 binary64) (*.f64 v (fma.f64 #s(literal -1 binary64) cosrot %88))))
(approx %21 (*.f64 #s(literal -1 binary64) (*.f64 v (fma.f64 #s(literal -1 binary64) cosrot (*.f64 #s(literal -1 binary64) (/.f64 %31 v))))))
(approx %35 (*.f64 #s(literal -1 binary64) (*.f64 v (fma.f64 #s(literal -1 binary64) cosrot (*.f64 #s(literal -1 binary64) %96)))))
(approx cosrot cosrot)
(approx %11 (*.f64 cosrot %122))
(approx %87 (*.f64 cosrot (+.f64 v (*.f64 #s(literal -1 binary64) %125))))
(approx %21 (*.f64 cosrot (-.f64 %122 %125)))
(approx %35 (*.f64 cosrot (+.f64 v %133)))
(approx %11 (*.f64 #s(literal -1 binary64) (*.f64 cosrot (fma.f64 #s(literal -1 binary64) v (*.f64 #s(literal -1 binary64) %121)))))
(approx %87 (*.f64 #s(literal -1 binary64) (*.f64 cosrot (fma.f64 #s(literal -1 binary64) v %125))))
(approx %21 (*.f64 #s(literal -1 binary64) (*.f64 cosrot (fma.f64 #s(literal -1 binary64) v (*.f64 #s(literal -1 binary64) (/.f64 %31 cosrot))))))
(approx %35 (*.f64 #s(literal -1 binary64) (*.f64 cosrot (fma.f64 #s(literal -1 binary64) v (*.f64 #s(literal -1 binary64) %133)))))
(approx sinrot sinrot)
(approx %19 %22)
(approx %11 (*.f64 sinrot %160))
(approx %87 (*.f64 sinrot (-.f64 %159 u0)))
(approx %21 (*.f64 sinrot (-.f64 %160 u0)))
(approx %11 (*.f64 #s(literal -1 binary64) (*.f64 sinrot %170)))
(approx %87 (*.f64 #s(literal -1 binary64) (*.f64 sinrot (-.f64 %169 %174))))
(approx %21 (*.f64 #s(literal -1 binary64) (*.f64 sinrot (-.f64 (*.f64 #s(literal -1 binary64) u) %174))))
(approx %21 (*.f64 #s(literal -1 binary64) (*.f64 sinrot (-.f64 %170 %174))))
(approx %35 (*.f64 #s(literal -1 binary64) (*.f64 sinrot (fma.f64 #s(literal -1 binary64) %78 %169))))
(approx u0 u0)
(approx %27 (fma.f64 #s(literal -1 binary64) %22 %7))
(approx %87 (*.f64 u0 (-.f64 %195 sinrot)))
(approx %21 (*.f64 u0 (-.f64 %200 sinrot)))
(approx %27 (*.f64 u0 (-.f64 %199 sinrot)))
(approx %35 (*.f64 u0 (fma.f64 #s(literal -1 binary64) sinrot %200)))
(approx %87 (*.f64 #s(literal -1 binary64) (*.f64 u0 (-.f64 (*.f64 #s(literal -1 binary64) %195) %211))))
(approx %21 (*.f64 #s(literal -1 binary64) (*.f64 u0 (-.f64 %217 %211))))
(approx %27 (*.f64 #s(literal -1 binary64) (*.f64 u0 (-.f64 (*.f64 #s(literal -1 binary64) %199) %211))))
(approx %35 (*.f64 #s(literal -1 binary64) (*.f64 u0 (+.f64 sinrot %217))))
Calls
15 calls:
TimeVariablePoint
18.0ms
sinrot
0
18.0ms
u
0
18.0ms
v
0
16.0ms
u0
inf
1.0ms
sinrot
-inf
rewrite3.5s (10.2%)
Memory
12.3MiB live, 74.7MiB allocated; 6ms collecting garbage
Counts
14 → 59
Calls
Call 1
Inputs
%5 = (*.f64 sinrot u0)
%6 = (*.f64 sinrot u)
%7 = (*.f64 cosrot v)
%11 = (approx (+ (* cosrot v) (* sinrot u)) %7)
%12 = (-.f64 %7 %5)
%14 = (* v cosrot)
%19 = (-.f64 %6 %5)
%22 = (+ %14 (* (- u u0) sinrot))
v
cosrot
u
u0
sinrot
%5
%6
%7
%11
%12
(approx (+ (* u sinrot) (- %14 (* sinrot u0))) %12)
%19
(approx %22 %11)
(approx %22 %19)
Outputs
%1 = (neg.f64 v)
%4 = (neg.f64 cosrot)
%7 = (neg.f64 u)
%10 = (neg.f64 u0)
%13 = (neg.f64 sinrot)
%15 = (*.f64 sinrot u0)
%19 = (neg.f64 %15)
%22 = (*.f64 sinrot u)
%25 = (neg.f64 %22)
%28 = (*.f64 cosrot v)
%31 = (neg.f64 %28)
%33 = (* cosrot v)
%36 = (approx (+ %33 (* sinrot u)) %28)
%37 = (-.f64 %28 %15)
%53 = (+ %33 (* (- u u0) sinrot))
%55 = (-.f64 u u0)
%57 = (*.f64 %55 sinrot)
%58 = (-.f64 u0 u)
v
(neg.f64 %1)
cosrot
(neg.f64 %4)
u
(neg.f64 %7)
u0
(neg.f64 %10)
sinrot
(neg.f64 %13)
%15
(*.f64 u0 sinrot)
(*.f64 %13 %10)
(*.f64 %10 %13)
(neg.f64 %19)
(*.f64 u sinrot)
%22
(*.f64 %7 %13)
(*.f64 %13 %7)
(neg.f64 %25)
(*.f64 v cosrot)
%28
(*.f64 %1 %4)
(*.f64 %4 %1)
(neg.f64 %31)
%36
%37
(fma.f64 v cosrot %19)
(fma.f64 cosrot v %19)
(fma.f64 sinrot %10 %28)
(fma.f64 u0 %13 %28)
(fma.f64 %13 u0 %28)
(fma.f64 %10 sinrot %28)
(+.f64 %28 %19)
(+.f64 %19 %28)
(neg.f64 (-.f64 %15 %28))
(-.f64 %19 %31)
(fma.f64 %1 %4 %19)
(fma.f64 %4 %1 %19)
(approx %53 %37)
(*.f64 sinrot %55)
%57
(*.f64 %58 %13)
(*.f64 %13 %58)
(neg.f64 (*.f64 %58 sinrot))
(-.f64 %22 %15)
(fma.f64 u sinrot %19)
(fma.f64 sinrot u %19)
(fma.f64 sinrot %10 %22)
(fma.f64 u0 %13 %22)
(fma.f64 %13 u0 %22)
(fma.f64 %10 sinrot %22)
(+.f64 %22 %19)
(+.f64 %19 %22)
(-.f64 %19 %25)
(fma.f64 %7 %13 %19)
(fma.f64 %13 %7 %19)
(approx %53 %36)
(approx %53 %57)
reconstruct0.0ms (0.0%)
Memory
0.3MiB live, 0.3MiB allocated; 0ms collecting garbage
eval101.0ms (0.3%)
Memory
-21.4MiB live, 9.3MiB allocated; 3ms collecting garbage
Compiler
Compiled 1 158 to 245 computations (78.8% saved)
prune50.0ms (0.1%)
Memory
5.3MiB live, 5.3MiB allocated; 0ms collecting garbage
Pruning
7 alts after pruning (2 fresh and 5 done)
PrunedKeptTotal
New1232125
Fresh000
Picked033
Done123
Total1247131
Accuracy
100.0%
Counts
131 → 7
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓72.8%
(approx (+ (* v cosrot) (* (- u u0) sinrot)) (fma.f64 cosrot v (*.f64 sinrot u)))
✓61.8%
(approx (+ (* v cosrot) (* (- u u0) sinrot)) (-.f64 (*.f64 sinrot u) (*.f64 sinrot u0)))
✓63.0%
(approx (+ (* v cosrot) (* (- u u0) sinrot)) (*.f64 sinrot (-.f64 u u0)))
▶2.3%
(approx (+ (* v cosrot) (* (- u u0) sinrot)) (approx (+ (* cosrot v) (* sinrot u)) (*.f64 cosrot (approx v #s(literal 0 binary64)))))
✓41.7%
(approx (+ (* v cosrot) (* (- u u0) sinrot)) (approx (+ (* cosrot v) (* sinrot u)) (*.f64 cosrot v)))
▶70.3%
(approx (+ (* u sinrot) (- (* v cosrot) (* sinrot u0))) (fma.f64 (neg.f64 u0) sinrot (*.f64 cosrot v)))
✓69.9%
(approx (+ (* u sinrot) (- (* v cosrot) (* sinrot u0))) (-.f64 (*.f64 cosrot v) (*.f64 sinrot u0)))
Compiler
Compiled 38 to 17 computations (55.3% saved)
sample0.0ms (0.0%)
Memory
0.2MiB live, 0.2MiB allocated; 0ms collecting garbage
Calls
Call 1
Inputs
Outputs
series2.2s (6.2%)
Memory
-6.4MiB live, 57.3MiB allocated; 9ms collecting garbage
Counts
13 → 53
Calls
Call 1
Inputs
%5 = (approx v #s(literal 0 binary64))
%6 = (*.f64 cosrot v)
%7 = (neg.f64 u0)
%8 = (fma.f64 %7 sinrot %6)
%9 = (*.f64 cosrot %5)
%14 = (approx (+ (* cosrot v) (* sinrot u)) %9)
%15 = (* v cosrot)
v
cosrot
u0
sinrot
#s(literal 0 binary64)
%5
%6
%7
%8
%9
%14
(approx (+ %15 (* (- u u0) sinrot)) %14)
(approx (+ (* u sinrot) (- %15 (* sinrot u0))) %8)
Outputs
%4 = (* cosrot v)
%8 = (+ %4 (* sinrot u))
%9 = (*.f64 cosrot v)
%11 = (*.f64 sinrot u)
%12 = (fma.f64 cosrot v %11)
%14 = (* v cosrot)
%18 = (+ %14 (* (- u u0) sinrot))
%20 = (*.f64 sinrot u0)
%21 = (fma.f64 #s(literal -1 binary64) %20 %9)
%28 = (+ (* u sinrot) (- %14 (* sinrot u0)))
%29 = (-.f64 %9 %20)
%34 = (/.f64 %9 u)
%35 = (+.f64 sinrot %34)
%38 = (/.f64 %20 u)
%64 = (neg u0)
%66 = (+ (* %64 sinrot) %4)
%69 = (-.f64 u u0)
%70 = (*.f64 sinrot %69)
%74 = (-.f64 %11 %20)
%76 = (/.f64 %20 v)
%81 = (/.f64 %11 v)
%82 = (+.f64 cosrot %81)
%85 = (/.f64 %70 v)
%113 = (/.f64 %20 cosrot)
%118 = (/.f64 %11 cosrot)
%119 = (+.f64 v %118)
%122 = (/.f64 %70 cosrot)
%150 = (/.f64 %9 sinrot)
%154 = (+.f64 u %150)
%160 = (*.f64 #s(literal -1 binary64) %150)
%165 = (fma.f64 #s(literal -1 binary64) u %160)
%174 = (*.f64 #s(literal -1 binary64) u0)
%185 = (/.f64 %9 u0)
%190 = (+.f64 %185 (/.f64 %11 u0))
%203 = (*.f64 #s(literal -1 binary64) (/.f64 %12 u0))
(approx v #s(literal 0 binary64))
(approx %8 %9)
(approx %8 %12)
(approx %18 %21)
(approx %18 (fma.f64 #s(literal -1 binary64) %20 %12))
(approx %28 %29)
(approx %28 (-.f64 %12 %20))
(approx %8 %11)
(approx %8 (*.f64 u %35))
(approx %18 (*.f64 u (+.f64 sinrot (fma.f64 #s(literal -1 binary64) %38 %34))))
(approx %28 (*.f64 u (-.f64 %35 %38)))
(approx %8 (*.f64 #s(literal -1 binary64) (*.f64 u (fma.f64 #s(literal -1 binary64) sinrot (*.f64 #s(literal -1 binary64) %34)))))
(approx %18 (*.f64 #s(literal -1 binary64) (*.f64 u (fma.f64 #s(literal -1 binary64) sinrot (*.f64 #s(literal -1 binary64) (/.f64 %21 u))))))
(approx %28 (*.f64 #s(literal -1 binary64) (*.f64 u (fma.f64 #s(literal -1 binary64) sinrot (*.f64 #s(literal -1 binary64) (/.f64 %29 u))))))
(approx v v)
(approx %66 (*.f64 #s(literal -1 binary64) %20))
(approx %18 %70)
(approx %18 (fma.f64 cosrot v %70))
(approx %28 %74)
(approx %66 (*.f64 v (+.f64 cosrot (*.f64 #s(literal -1 binary64) %76))))
(approx %8 (*.f64 v %82))
(approx %18 (*.f64 v (+.f64 cosrot %85)))
(approx %28 (*.f64 v (-.f64 %82 %76)))
(approx %66 (*.f64 #s(literal -1 binary64) (*.f64 v (fma.f64 #s(literal -1 binary64) cosrot %76))))
(approx %8 (*.f64 #s(literal -1 binary64) (*.f64 v (fma.f64 #s(literal -1 binary64) cosrot (*.f64 #s(literal -1 binary64) %81)))))
(approx %18 (*.f64 #s(literal -1 binary64) (*.f64 v (fma.f64 #s(literal -1 binary64) cosrot (*.f64 #s(literal -1 binary64) %85)))))
(approx %28 (*.f64 #s(literal -1 binary64) (*.f64 v (fma.f64 #s(literal -1 binary64) cosrot (*.f64 #s(literal -1 binary64) (/.f64 %74 v))))))
(approx cosrot cosrot)
(approx %66 (*.f64 cosrot (+.f64 v (*.f64 #s(literal -1 binary64) %113))))
(approx %8 (*.f64 cosrot %119))
(approx %18 (*.f64 cosrot (+.f64 v %122)))
(approx %28 (*.f64 cosrot (-.f64 %119 %113)))
(approx %66 (*.f64 #s(literal -1 binary64) (*.f64 cosrot (fma.f64 #s(literal -1 binary64) v %113))))
(approx %8 (*.f64 #s(literal -1 binary64) (*.f64 cosrot (fma.f64 #s(literal -1 binary64) v (*.f64 #s(literal -1 binary64) %118)))))
(approx %18 (*.f64 #s(literal -1 binary64) (*.f64 cosrot (fma.f64 #s(literal -1 binary64) v (*.f64 #s(literal -1 binary64) %122)))))
(approx %28 (*.f64 #s(literal -1 binary64) (*.f64 cosrot (fma.f64 #s(literal -1 binary64) v (*.f64 #s(literal -1 binary64) (/.f64 %74 cosrot))))))
(approx sinrot sinrot)
(approx %66 (*.f64 sinrot (fma.f64 #s(literal -1 binary64) u0 %150)))
(approx %8 (*.f64 sinrot %154))
(approx %18 (*.f64 sinrot (-.f64 %154 u0)))
(approx %66 (*.f64 #s(literal -1 binary64) (*.f64 sinrot (+.f64 u0 %160))))
(approx %8 (*.f64 #s(literal -1 binary64) (*.f64 sinrot %165)))
(approx %18 (*.f64 #s(literal -1 binary64) (*.f64 sinrot (fma.f64 #s(literal -1 binary64) %69 %160))))
(approx %28 (*.f64 #s(literal -1 binary64) (*.f64 sinrot (-.f64 (*.f64 #s(literal -1 binary64) u) %174))))
(approx %28 (*.f64 #s(literal -1 binary64) (*.f64 sinrot (-.f64 %165 %174))))
(approx u0 u0)
(approx %64 %174)
(approx %66 (*.f64 u0 (fma.f64 #s(literal -1 binary64) sinrot %185)))
(approx %18 (*.f64 u0 (fma.f64 #s(literal -1 binary64) sinrot %190)))
(approx %28 (*.f64 u0 (-.f64 %190 sinrot)))
(approx %66 (*.f64 #s(literal -1 binary64) (*.f64 u0 (+.f64 sinrot (*.f64 #s(literal -1 binary64) %185)))))
(approx %18 (*.f64 #s(literal -1 binary64) (*.f64 u0 (+.f64 sinrot %203))))
(approx %28 (*.f64 #s(literal -1 binary64) (*.f64 u0 (-.f64 %203 (*.f64 #s(literal -1 binary64) sinrot)))))
Calls
15 calls:
TimeVariablePoint
18.0ms
sinrot
-inf
17.0ms
u
-inf
10.0ms
cosrot
0
1.0ms
v
0
1.0ms
u0
inf
rewrite3.9s (11.2%)
Memory
2.7MiB live, 97.2MiB allocated; 22ms collecting garbage
Counts
13 → 770
Calls
Call 1
Inputs
%5 = (approx v #s(literal 0 binary64))
%6 = (*.f64 cosrot v)
%7 = (neg.f64 u0)
%8 = (fma.f64 %7 sinrot %6)
%9 = (*.f64 cosrot %5)
%14 = (approx (+ (* cosrot v) (* sinrot u)) %9)
%15 = (* v cosrot)
v
cosrot
u0
sinrot
#s(literal 0 binary64)
%5
%6
%7
%8
%9
%14
(approx (+ %15 (* (- u u0) sinrot)) %14)
(approx (+ (* u sinrot) (- %15 (* sinrot u0))) %8)
Outputs
%1 = (neg.f64 v)
%4 = (neg.f64 cosrot)
%7 = (neg.f64 u0)
%10 = (neg.f64 sinrot)
%76 = (fabs.f64 #s(literal 0 binary64))
%160 = (+.f64 #s(literal 1/2 binary64) #s(literal -1 binary64))
%164 = (-.f64 #s(literal 0 binary64) #s(literal 1/4 binary64))
%166 = (-.f64 #s(literal 0 binary64) #s(literal -1/4 binary64))
%172 = (+.f64 #s(literal 0 binary64) #s(literal 1/4 binary64))
%174 = (+.f64 #s(literal 0 binary64) #s(literal -1/4 binary64))
%176 = (*.f64 #s(literal 4 binary64) #s(literal -1/2 binary64))
%178 = (*.f64 #s(literal -1/2 binary64) #s(literal 4 binary64))
%180 = (*.f64 #s(literal -1/2 binary64) #s(literal 1/2 binary64))
%185 = (+.f64 #s(literal 4 binary64) #s(literal 1/2 binary64))
%187 = (+.f64 #s(literal 4 binary64) #s(literal 4 binary64))
%189 = (+.f64 #s(literal 4 binary64) #s(literal 2 binary64))
%191 = (+.f64 #s(literal 2 binary64) #s(literal 1/2 binary64))
%193 = (+.f64 #s(literal 2 binary64) #s(literal 4 binary64))
%195 = (+.f64 #s(literal 2 binary64) #s(literal 1/4 binary64))
%197 = (+.f64 #s(literal 2 binary64) #s(literal -1/4 binary64))
%199 = (+.f64 #s(literal 2 binary64) #s(literal 1 binary64))
%201 = (+.f64 #s(literal 1 binary64) #s(literal 2 binary64))
%203 = (+.f64 #s(literal 1 binary64) #s(literal 1/4 binary64))
%205 = (+.f64 #s(literal 1 binary64) #s(literal -1/4 binary64))
%207 = (+.f64 #s(literal -2 binary64) #s(literal 1/2 binary64))
%209 = (+.f64 #s(literal -2 binary64) #s(literal 4 binary64))
%211 = (+.f64 #s(literal 1/2 binary64) #s(literal 2 binary64))
%213 = (+.f64 #s(literal 1/2 binary64) #s(literal -2 binary64))
%215 = (+.f64 #s(literal 1/2 binary64) #s(literal 4 binary64))
%217 = (+.f64 #s(literal 1/2 binary64) #s(literal 1/4 binary64))
%219 = (+.f64 #s(literal 1/2 binary64) #s(literal -1/4 binary64))
%221 = (+.f64 #s(literal -1/2 binary64) #s(literal 1/4 binary64))
%223 = (+.f64 #s(literal -1/2 binary64) #s(literal -1/4 binary64))
%225 = (+.f64 #s(literal -1/2 binary64) #s(literal 2 binary64))
%227 = (+.f64 #s(literal 0 binary64) #s(literal 4 binary64))
%231 = (+.f64 #s(literal 1/4 binary64) #s(literal 1/2 binary64))
%233 = (+.f64 #s(literal 1/4 binary64) #s(literal -1/2 binary64))
%235 = (+.f64 #s(literal 1/4 binary64) #s(literal 2 binary64))
%237 = (+.f64 #s(literal 1/4 binary64) #s(literal 1 binary64))
%239 = (+.f64 #s(literal -1/4 binary64) #s(literal 1/2 binary64))
%241 = (+.f64 #s(literal -1/4 binary64) #s(literal -1/2 binary64))
%243 = (+.f64 #s(literal -1/4 binary64) #s(literal 2 binary64))
%245 = (+.f64 #s(literal -1/4 binary64) #s(literal 1 binary64))
%247 = (-.f64 #s(literal 2 binary64) #s(literal 4 binary64))
%249 = (-.f64 #s(literal 2 binary64) #s(literal -1/2 binary64))
%251 = (-.f64 #s(literal 2 binary64) #s(literal 1/4 binary64))
%253 = (-.f64 #s(literal 2 binary64) #s(literal -1/4 binary64))
%255 = (-.f64 #s(literal 1 binary64) #s(literal 1/4 binary64))
%257 = (-.f64 #s(literal 1 binary64) #s(literal -1/4 binary64))
%259 = (-.f64 #s(literal 1/2 binary64) #s(literal 2 binary64))
%261 = (-.f64 #s(literal 1/2 binary64) #s(literal -2 binary64))
%263 = (-.f64 #s(literal 1/2 binary64) #s(literal 4 binary64))
%265 = (-.f64 #s(literal 1/2 binary64) #s(literal -1/4 binary64))
%267 = (-.f64 #s(literal -2 binary64) #s(literal 1/2 binary64))
%269 = (-.f64 #s(literal -2 binary64) #s(literal 4 binary64))
%271 = (-.f64 #s(literal -2 binary64) #s(literal 2 binary64))
%273 = (-.f64 #s(literal 4 binary64) #s(literal -2 binary64))
%275 = (-.f64 #s(literal 4 binary64) #s(literal 1/2 binary64))
%277 = (-.f64 #s(literal 4 binary64) #s(literal 4 binary64))
%279 = (-.f64 #s(literal 4 binary64) #s(literal 2 binary64))
%281 = (-.f64 #s(literal 1/4 binary64) #s(literal 1/2 binary64))
%283 = (-.f64 #s(literal 1/4 binary64) #s(literal -1/2 binary64))
%285 = (-.f64 #s(literal 1/4 binary64) #s(literal -1/4 binary64))
%287 = (-.f64 #s(literal 1/4 binary64) #s(literal 2 binary64))
%289 = (-.f64 #s(literal 1/4 binary64) #s(literal 1 binary64))
%291 = (-.f64 #s(literal -1/4 binary64) #s(literal 1/2 binary64))
%293 = (-.f64 #s(literal -1/4 binary64) #s(literal -1/2 binary64))
%295 = (-.f64 #s(literal -1/4 binary64) #s(literal 1/4 binary64))
%297 = (-.f64 #s(literal -1/4 binary64) #s(literal 2 binary64))
%299 = (-.f64 #s(literal -1/4 binary64) #s(literal 1 binary64))
%301 = (-.f64 #s(literal -1/2 binary64) #s(literal 1/4 binary64))
%303 = (-.f64 #s(literal -1/2 binary64) #s(literal 2 binary64))
%305 = (-.f64 #s(literal -1/2 binary64) #s(literal 1 binary64))
%307 = (-.f64 #s(literal 0 binary64) #s(literal 4 binary64))
%311 = (+.f64 #s(literal 4 binary64) #s(literal 1 binary64))
%314 = (*.f64 #s(literal 1/2 binary64) #s(literal 1/4 binary64))
%316 = (*.f64 #s(literal 1/2 binary64) #s(literal -1/4 binary64))
%318 = (*.f64 #s(literal 1/4 binary64) #s(literal 1/2 binary64))
%320 = (*.f64 #s(literal 1/4 binary64) #s(literal -1/2 binary64))
%322 = (*.f64 #s(literal 1/4 binary64) #s(literal 1/4 binary64))
%324 = (*.f64 #s(literal 1/4 binary64) #s(literal -1/4 binary64))
%326 = (*.f64 #s(literal -1/4 binary64) #s(literal 1/2 binary64))
%328 = (*.f64 #s(literal -1/4 binary64) #s(literal -1/2 binary64))
%330 = (*.f64 #s(literal -1/4 binary64) #s(literal 1/4 binary64))
%332 = (*.f64 #s(literal -1/4 binary64) #s(literal -1/4 binary64))
%334 = (*.f64 #s(literal -1/4 binary64) #s(literal 2 binary64))
%336 = (*.f64 #s(literal -1/4 binary64) #s(literal 1 binary64))
%339 = (*.f64 #s(literal -1/2 binary64) #s(literal 1/4 binary64))
%341 = (*.f64 #s(literal -1/2 binary64) #s(literal -1/4 binary64))
%343 = (*.f64 #s(literal 2 binary64) #s(literal 4 binary64))
%345 = (*.f64 #s(literal -2 binary64) #s(literal 4 binary64))
%347 = (*.f64 #s(literal 4 binary64) #s(literal 2 binary64))
%349 = (*.f64 #s(literal 4 binary64) #s(literal -2 binary64))
%351 = (*.f64 #s(literal 4 binary64) #s(literal 4 binary64))
%353 = (E.f64 )
%354 = (-.f64 %353 %353)
%359 = (*.f64 #s(literal 0 binary64) %353)
%361 = (/.f64 #s(literal 0 binary64) %353)
%382 = (/.f64 #s(literal 2 binary64) #s(literal 1/2 binary64))
%384 = (/.f64 #s(literal 1/2 binary64) #s(literal -4 binary64))
%386 = (/.f64 #s(literal 1/2 binary64) #s(literal 4 binary64))
%388 = (/.f64 #s(literal 1/4 binary64) #s(literal 2 binary64))
%390 = (/.f64 #s(literal 1/4 binary64) #s(literal -2 binary64))
%392 = (/.f64 #s(literal 1/4 binary64) #s(literal 1/2 binary64))
%394 = (/.f64 #s(literal 1/4 binary64) #s(literal -4 binary64))
%396 = (/.f64 #s(literal 1/4 binary64) #s(literal 4 binary64))
%398 = (/.f64 #s(literal -1/4 binary64) #s(literal 1 binary64))
%400 = (/.f64 #s(literal -1/4 binary64) #s(literal 2 binary64))
%402 = (/.f64 #s(literal -1/4 binary64) #s(literal -1 binary64))
%404 = (/.f64 #s(literal -1/4 binary64) #s(literal -2 binary64))
%406 = (/.f64 #s(literal -1/4 binary64) #s(literal 1/2 binary64))
%408 = (/.f64 #s(literal -1/4 binary64) #s(literal -4 binary64))
%410 = (/.f64 #s(literal -1/4 binary64) #s(literal 4 binary64))
%412 = (/.f64 #s(literal -1/2 binary64) #s(literal -4 binary64))
%414 = (/.f64 #s(literal -1/2 binary64) #s(literal 4 binary64))
%417 = (/.f64 #s(literal -2 binary64) #s(literal 1/2 binary64))
%419 = (/.f64 #s(literal 4 binary64) #s(literal -1 binary64))
%421 = (/.f64 #s(literal 4 binary64) #s(literal 1/2 binary64))
%550 = (/.f64 #s(literal 1 binary64) %353)
%552 = (/.f64 #s(literal 2 binary64) %353)
%583 = (sqrt.f64 #s(literal 2 binary64))
%585 = (sqrt.f64 #s(literal 1/2 binary64))
%588 = (*.f64 %353 #s(literal -1 binary64))
%589 = (+.f64 %353 %588)
%591 = (*.f64 #s(literal -1 binary64) %353)
%592 = (+.f64 %353 %591)
%598 = (*.f64 #s(literal 2 binary64) %353)
%600 = (*.f64 #s(literal -2 binary64) %353)
%611 = (neg.f64 %583)
%631 = (sqrt.f64 %353)
%632 = (*.f64 #s(literal 0 binary64) %631)
%634 = (/.f64 #s(literal 0 binary64) %631)
%638 = (+.f64 %353 %353)
%641 = (/.f64 #s(literal 0 binary64) %583)
%645 = (*.f64 %550 #s(literal 1/2 binary64))
%649 = (*.f64 %550 #s(literal 2 binary64))
%673 = (/.f64 %550 #s(literal 1 binary64))
%675 = (/.f64 %550 #s(literal 2 binary64))
%677 = (/.f64 %550 #s(literal -1 binary64))
%683 = (/.f64 #s(literal 1 binary64) %631)
%685 = (/.f64 #s(literal 2 binary64) %631)
%691 = (-.f64 %550 %550)
%693 = (*.f64 #s(literal 2 binary64) %631)
%695 = (*.f64 #s(literal 1 binary64) %631)
%697 = (*.f64 #s(literal -2 binary64) %631)
%708 = (/.f64 #s(literal 0 binary64) %550)
%710 = (/.f64 #s(literal 1/2 binary64) %353)
%712 = (/.f64 #s(literal -2 binary64) %353)
%714 = (/.f64 #s(literal 4 binary64) %353)
%716 = (/.f64 #s(literal 2 binary64) %550)
%718 = (/.f64 #s(literal 1/2 binary64) %550)
%720 = (/.f64 #s(literal 1/4 binary64) %550)
%722 = (/.f64 #s(literal -1/4 binary64) %550)
%724 = (/.f64 #s(literal -1/2 binary64) %550)
%728 = (/.f64 #s(literal 2 binary64) %583)
%730 = (/.f64 #s(literal 1/2 binary64) %583)
%732 = (/.f64 #s(literal -2 binary64) %583)
%734 = (/.f64 #s(literal 4 binary64) %583)
%737 = (/.f64 #s(literal 1 binary64) %583)
%740 = (/.f64 #s(literal 1/4 binary64) %583)
%742 = (/.f64 #s(literal -1/4 binary64) %583)
%744 = (/.f64 #s(literal -1/2 binary64) %583)
%747 = (fma.f64 #s(literal -1 binary64) %631 %631)
%753 = (+.f64 %550 %550)
%757 = (*.f64 %353 %353)
%760 = (*.f64 %631 #s(literal -1 binary64))
%763 = (*.f64 #s(literal -1 binary64) %631)
%772 = (*.f64 %353 #s(literal -2 binary64))
%775 = (*.f64 %353 #s(literal 2 binary64))
%784 = (/.f64 %353 #s(literal 2 binary64))
%831 = (exp.f64 #s(literal -1/2 binary64))
%847 = (/.f64 %353 %583)
%848 = (/.f64 %550 %583)
%858 = (*.f64 %631 %353)
%861 = (*.f64 %353 %631)
%870 = (*.f64 %631 #s(literal -2 binary64))
%873 = (*.f64 %631 #s(literal 2 binary64))
%883 = (cosh.f64 #s(literal 1/2 binary64))
%884 = (sinh.f64 #s(literal 1/2 binary64))
%891 = (tanh.f64 #s(literal -1 binary64))
%892 = (tanh.f64 #s(literal 1 binary64))
%897 = (tanh.f64 #s(literal 2 binary64))
%898 = (tanh.f64 #s(literal -2 binary64))
%907 = (tanh.f64 #s(literal 1/2 binary64))
%908 = (tanh.f64 #s(literal -1/2 binary64))
%918 = (/.f64 (-.f64 %353 %550) #s(literal 2 binary64))
%920 = (/.f64 (+.f64 %353 %550) #s(literal 2 binary64))
%922 = (/.f64 (-.f64 %550 %353) #s(literal 2 binary64))
%923 = (*.f64 %920 %922)
%925 = (*.f64 %918 %920)
%932 = (neg.f64 %925)
%934 = (neg.f64 %920)
%935 = (*.f64 %934 %918)
%941 = (neg.f64 %923)
%945 = (fma.f64 %920 %922 #s(literal 0 binary64))
%948 = (fma.f64 %918 %922 #s(literal -1 binary64))
%952 = (*.f64 %920 %920)
%954 = (-.f64 %923 #s(literal 0 binary64))
%957 = (*.f64 %918 %922)
%958 = (-.f64 %957 #s(literal 1 binary64))
%966 = (+.f64 #s(literal 0 binary64) %925)
%968 = (+.f64 #s(literal -1 binary64) %952)
%970 = (-.f64 #s(literal 1 binary64) %952)
%971 = (*.f64 %918 %918)
%973 = (-.f64 #s(literal 0 binary64) %925)
%983 = (fabs.f64 %920)
%988 = (*.f64 #s(literal 0 binary64) %923)
%990 = (*.f64 #s(literal 0 binary64) %957)
%992 = (*.f64 #s(literal 2 binary64) %923)
%994 = (*.f64 #s(literal 1/2 binary64) %923)
%996 = (*.f64 #s(literal -2 binary64) %923)
%998 = (*.f64 #s(literal 4 binary64) %923)
%1000 = (*.f64 %923 #s(literal 0 binary64))
%1002 = (*.f64 %923 #s(literal 2 binary64))
%1004 = (*.f64 %923 #s(literal 1/2 binary64))
%1006 = (*.f64 %923 #s(literal -2 binary64))
%1008 = (*.f64 %923 #s(literal 4 binary64))
%1010 = (*.f64 %957 #s(literal 0 binary64))
%1036 = (/.f64 %925 #s(literal 2 binary64))
%1039 = (/.f64 %925 #s(literal -2 binary64))
%1042 = (/.f64 %925 #s(literal 1 binary64))
%1045 = (/.f64 %925 #s(literal -4 binary64))
%1048 = (/.f64 %925 #s(literal 4 binary64))
%1056 = (sinh.f64 #s(literal 2 binary64))
%1057 = (cosh.f64 #s(literal -2 binary64))
%1060 = (*.f64 (cosh.f64 #s(literal 2 binary64)) (sinh.f64 #s(literal -2 binary64)))
%1062 = (sinh.f64 #s(literal -1/2 binary64))
%1063 = (*.f64 %883 %1062)
%1065 = (*.f64 %884 %883)
%1071 = (*.f64 %1062 %883)
%1074 = (sinh.f64 #s(literal 1/4 binary64))
%1075 = (cosh.f64 #s(literal 1/4 binary64))
%1079 = (sinh.f64 #s(literal -1/4 binary64))
%1080 = (cosh.f64 #s(literal -1/4 binary64))
%1085 = (neg.f64 %1065)
%1088 = (*.f64 (neg.f64 %883) %884)
%1096 = (*.f64 %883 %883)
%1100 = (pow.f64 %884 #s(literal 2 binary64))
%1112 = (/.f64 %1065 #s(literal 2 binary64))
%1114 = (/.f64 %1065 #s(literal -2 binary64))
%1116 = (/.f64 %1065 #s(literal 1 binary64))
%1118 = (/.f64 %1065 #s(literal -4 binary64))
%1120 = (/.f64 %1065 #s(literal 4 binary64))
%1125 = (tanh.f64 %925)
%1126 = (tanh.f64 %923)
%1131 = (sinh.f64 %925)
%1132 = (cosh.f64 %923)
%1133 = (cosh.f64 %925)
%1135 = (*.f64 %1133 (sinh.f64 %923))
%1142 = (sinh.f64 %1065)
%1143 = (cosh.f64 %1065)
%1147 = (approx v #s(literal 0 binary64))
%1149 = (*.f64 cosrot v)
%1152 = (neg.f64 %1149)
%1154 = (*.f64 sinrot u0)
%1155 = (-.f64 %1149 %1154)
%1156 = (neg.f64 %1154)
%1170 = (*.f64 cosrot %1147)
%1171 = (* cosrot v)
%1175 = (approx (+ %1171 (* sinrot u)) %1170)
%1178 = (+ %1171 (* (- u u0) sinrot))
v
(neg.f64 %1)
cosrot
(neg.f64 %4)
u0
(neg.f64 %7)
sinrot
(neg.f64 %10)
#s(literal 0 binary64)
(neg.f64 #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) #s(literal 0 binary64))
(+.f64 #s(literal 2 binary64) #s(literal -2 binary64))
(+.f64 #s(literal 1 binary64) #s(literal -1 binary64))
(+.f64 #s(literal 1/2 binary64) #s(literal -1/2 binary64))
(+.f64 #s(literal -1 binary64) #s(literal 1 binary64))
(+.f64 #s(literal -2 binary64) #s(literal 2 binary64))
(+.f64 #s(literal 4 binary64) #s(literal -4 binary64))
(+.f64 #s(literal -4 binary64) #s(literal 4 binary64))
(+.f64 #s(literal 1/4 binary64) #s(literal -1/4 binary64))
(+.f64 #s(literal -1/4 binary64) #s(literal 1/4 binary64))
(+.f64 #s(literal -1/2 binary64) #s(literal 1/2 binary64))
(-.f64 #s(literal 0 binary64) #s(literal 0 binary64))
(-.f64 #s(literal 2 binary64) #s(literal 2 binary64))
(-.f64 #s(literal 1 binary64) #s(literal 1 binary64))
(-.f64 #s(literal 1/2 binary64) #s(literal 1/2 binary64))
(-.f64 #s(literal -1 binary64) #s(literal -1 binary64))
(-.f64 #s(literal -2 binary64) #s(literal -2 binary64))
(-.f64 #s(literal 3/2 binary64) #s(literal 3/2 binary64))
(-.f64 #s(literal 1/4 binary64) #s(literal 1/4 binary64))
(-.f64 #s(literal -1/4 binary64) #s(literal -1/4 binary64))
(-.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))
(*.f64 #s(literal 0 binary64) #s(literal 0 binary64))
(*.f64 #s(literal 0 binary64) #s(literal 2 binary64))
(*.f64 #s(literal 0 binary64) #s(literal 1 binary64))
(*.f64 #s(literal 0 binary64) #s(literal 1/2 binary64))
(*.f64 #s(literal 0 binary64) #s(literal -1 binary64))
(*.f64 #s(literal 0 binary64) #s(literal -2 binary64))
(*.f64 #s(literal 0 binary64) #s(literal 3/2 binary64))
(*.f64 #s(literal 0 binary64) #s(literal 4 binary64))
(*.f64 #s(literal 0 binary64) #s(literal -4 binary64))
(*.f64 #s(literal 0 binary64) #s(literal 1/4 binary64))
(*.f64 #s(literal 0 binary64) #s(literal -1/4 binary64))
(*.f64 #s(literal 0 binary64) #s(literal -1/2 binary64))
(*.f64 #s(literal 2 binary64) #s(literal 0 binary64))
(*.f64 #s(literal 1 binary64) #s(literal 0 binary64))
(*.f64 #s(literal 1/2 binary64) #s(literal 0 binary64))
(*.f64 #s(literal -1 binary64) #s(literal 0 binary64))
(*.f64 #s(literal -2 binary64) #s(literal 0 binary64))
(*.f64 #s(literal 3/2 binary64) #s(literal 0 binary64))
(*.f64 #s(literal 4 binary64) #s(literal 0 binary64))
(*.f64 #s(literal -4 binary64) #s(literal 0 binary64))
(*.f64 #s(literal 1/4 binary64) #s(literal 0 binary64))
(*.f64 #s(literal -1/4 binary64) #s(literal 0 binary64))
(*.f64 #s(literal -1/2 binary64) #s(literal 0 binary64))
(/.f64 #s(literal 0 binary64) #s(literal 2 binary64))
(/.f64 #s(literal 0 binary64) #s(literal 1 binary64))
(/.f64 #s(literal 0 binary64) #s(literal 1/2 binary64))
(/.f64 #s(literal 0 binary64) #s(literal -1 binary64))
(/.f64 #s(literal 0 binary64) #s(literal -2 binary64))
(/.f64 #s(literal 0 binary64) #s(literal 4 binary64))
(/.f64 #s(literal 0 binary64) #s(literal -4 binary64))
(*.f64 %76 %76)
(fma.f64 #s(literal 0 binary64) #s(literal 0 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 3/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -4 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1/4 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -1/4 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 0 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 2 binary64) #s(literal -4 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1 binary64) #s(literal -2 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal -1 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal -2 binary64) #s(literal 4 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1/4 binary64) #s(literal -1/2 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal -1/4 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal -1/2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 0 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 2 binary64) #s(literal -2 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 1/2 binary64) #s(literal -1/2 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal -2 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 4 binary64) #s(literal -4 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal -4 binary64) #s(literal 4 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 1/4 binary64) #s(literal -1/4 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal -1/4 binary64) #s(literal 1/4 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal -1/2 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 0 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 1 binary64) #s(literal -1/2 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 1/2 binary64) #s(literal -1/4 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal -1 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal -2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 4 binary64) #s(literal -2 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal -4 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal -1/2 binary64) #s(literal 1/4 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal 0 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal 2 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal 1/2 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal -1 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal -2 binary64) #s(literal -2 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal 4 binary64) #s(literal 4 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal -4 binary64) #s(literal -4 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal 1/4 binary64) #s(literal 1/4 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal -1/2 binary64) #s(literal -1/2 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal 0 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal 2 binary64) #s(literal 4 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal 1 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal -1 binary64) #s(literal -2 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal -2 binary64) #s(literal -4 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal 1/4 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal -1/2 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal 3/2 binary64) #s(literal 0 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 4 binary64) #s(literal 0 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 4 binary64) #s(literal 1 binary64) #s(literal -4 binary64))
(fma.f64 #s(literal 4 binary64) #s(literal 1/2 binary64) #s(literal -2 binary64))
(fma.f64 #s(literal 4 binary64) #s(literal -1 binary64) #s(literal 4 binary64))
(fma.f64 #s(literal 4 binary64) #s(literal 1/4 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal 4 binary64) #s(literal -1/2 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal -4 binary64) #s(literal 0 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -4 binary64) #s(literal 1 binary64) #s(literal 4 binary64))
(fma.f64 #s(literal -4 binary64) #s(literal -1 binary64) #s(literal -4 binary64))
(fma.f64 #s(literal 1/4 binary64) #s(literal 0 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/4 binary64) #s(literal 2 binary64) #s(literal -1/2 binary64))
(fma.f64 #s(literal 1/4 binary64) #s(literal 1 binary64) #s(literal -1/4 binary64))
(fma.f64 #s(literal 1/4 binary64) #s(literal -2 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 1/4 binary64) #s(literal 4 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal -1/4 binary64) #s(literal 0 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal 0 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal 1 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal 1/2 binary64) #s(literal 1/4 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal -2 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal 4 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64) #s(literal -1/4 binary64))
(+.f64 #s(literal 1/2 binary64) %160)
(+.f64 (-.f64 #s(literal 1 binary64) #s(literal 3/2 binary64)) #s(literal 1/2 binary64))
(+.f64 %164 #s(literal 1/4 binary64))
(+.f64 %166 #s(literal -1/4 binary64))
(-.f64 #s(literal 3/2 binary64) (-.f64 #s(literal 1/2 binary64) #s(literal -1 binary64)))
(-.f64 (+.f64 #s(literal -1 binary64) #s(literal 3/2 binary64)) #s(literal 1/2 binary64))
(-.f64 %172 #s(literal 1/4 binary64))
(-.f64 %174 #s(literal -1/4 binary64))
(+.f64 #s(literal 2 binary64) %176)
(+.f64 #s(literal 2 binary64) %178)
(+.f64 #s(literal 1/4 binary64) %180)
(+.f64 %176 #s(literal 2 binary64))
(+.f64 %180 #s(literal 1/4 binary64))
(+.f64 %178 #s(literal 2 binary64))
(*.f64 #s(literal 0 binary64) %185)
(*.f64 #s(literal 0 binary64) %187)
(*.f64 #s(literal 0 binary64) %189)
(*.f64 #s(literal 0 binary64) %191)
(*.f64 #s(literal 0 binary64) %193)
(*.f64 #s(literal 0 binary64) %195)
(*.f64 #s(literal 0 binary64) %197)
(*.f64 #s(literal 0 binary64) %199)
(*.f64 #s(literal 0 binary64) %201)
(*.f64 #s(literal 0 binary64) %203)
(*.f64 #s(literal 0 binary64) %205)
(*.f64 #s(literal 0 binary64) %207)
(*.f64 #s(literal 0 binary64) %209)
(*.f64 #s(literal 0 binary64) %211)
(*.f64 #s(literal 0 binary64) %213)
(*.f64 #s(literal 0 binary64) %215)
(*.f64 #s(literal 0 binary64) %217)
(*.f64 #s(literal 0 binary64) %219)
(*.f64 #s(literal 0 binary64) %221)
(*.f64 #s(literal 0 binary64) %223)
(*.f64 #s(literal 0 binary64) %225)
(*.f64 #s(literal 0 binary64) %227)
(*.f64 #s(literal 0 binary64) %172)
(*.f64 #s(literal 0 binary64) %174)
(*.f64 #s(literal 0 binary64) %231)
(*.f64 #s(literal 0 binary64) %233)
(*.f64 #s(literal 0 binary64) %235)
(*.f64 #s(literal 0 binary64) %237)
(*.f64 #s(literal 0 binary64) %239)
(*.f64 #s(literal 0 binary64) %241)
(*.f64 #s(literal 0 binary64) %243)
(*.f64 #s(literal 0 binary64) %245)
(*.f64 #s(literal 0 binary64) %247)
(*.f64 #s(literal 0 binary64) %249)
(*.f64 #s(literal 0 binary64) %251)
(*.f64 #s(literal 0 binary64) %253)
(*.f64 #s(literal 0 binary64) %255)
(*.f64 #s(literal 0 binary64) %257)
(*.f64 #s(literal 0 binary64) %259)
(*.f64 #s(literal 0 binary64) %261)
(*.f64 #s(literal 0 binary64) %263)
(*.f64 #s(literal 0 binary64) %265)
(*.f64 #s(literal 0 binary64) %267)
(*.f64 #s(literal 0 binary64) %269)
(*.f64 #s(literal 0 binary64) %271)
(*.f64 #s(literal 0 binary64) %273)
(*.f64 #s(literal 0 binary64) %275)
(*.f64 #s(literal 0 binary64) %277)
(*.f64 #s(literal 0 binary64) %279)
(*.f64 #s(literal 0 binary64) %281)
(*.f64 #s(literal 0 binary64) %283)
(*.f64 #s(literal 0 binary64) %285)
(*.f64 #s(literal 0 binary64) %287)
(*.f64 #s(literal 0 binary64) %289)
(*.f64 #s(literal 0 binary64) %291)
(*.f64 #s(literal 0 binary64) %293)
(*.f64 #s(literal 0 binary64) %295)
(*.f64 #s(literal 0 binary64) %297)
(*.f64 #s(literal 0 binary64) %299)
(*.f64 #s(literal 0 binary64) %301)
(*.f64 #s(literal 0 binary64) %303)
(*.f64 #s(literal 0 binary64) %305)
(*.f64 #s(literal 0 binary64) %307)
(*.f64 #s(literal 0 binary64) %164)
(*.f64 #s(literal 0 binary64) %166)
(*.f64 %311 #s(literal 0 binary64))
(*.f64 %199 #s(literal 0 binary64))
(*.f64 #s(literal 0 binary64) %314)
(*.f64 #s(literal 0 binary64) %316)
(*.f64 #s(literal 0 binary64) %318)
(*.f64 #s(literal 0 binary64) %320)
(*.f64 #s(literal 0 binary64) %322)
(*.f64 #s(literal 0 binary64) %324)
(*.f64 #s(literal 0 binary64) %326)
(*.f64 #s(literal 0 binary64) %328)
(*.f64 #s(literal 0 binary64) %330)
(*.f64 #s(literal 0 binary64) %332)
(*.f64 #s(literal 0 binary64) %334)
(*.f64 #s(literal 0 binary64) %336)
(*.f64 #s(literal 0 binary64) %180)
(*.f64 #s(literal 0 binary64) %339)
(*.f64 #s(literal 0 binary64) %341)
(*.f64 %343 #s(literal 0 binary64))
(*.f64 %345 #s(literal 0 binary64))
(*.f64 %347 #s(literal 0 binary64))
(*.f64 %349 #s(literal 0 binary64))
(*.f64 %351 #s(literal 0 binary64))
(/.f64 %354 %353)
(/.f64 %277 #s(literal 4 binary64))
(/.f64 (-.f64 #s(literal -4 binary64) #s(literal -4 binary64)) #s(literal -4 binary64))
(/.f64 %359 %353)
(*.f64 %361 %353)
(/.f64 #s(literal 0 binary64) %343)
(/.f64 #s(literal 0 binary64) (*.f64 #s(literal 2 binary64) #s(literal -4 binary64)))
(/.f64 #s(literal 0 binary64) (*.f64 #s(literal -2 binary64) #s(literal -4 binary64)))
(/.f64 #s(literal 0 binary64) %345)
(/.f64 #s(literal 0 binary64) %347)
(/.f64 #s(literal 0 binary64) %349)
(/.f64 #s(literal 0 binary64) %351)
(/.f64 #s(literal 0 binary64) (*.f64 #s(literal 4 binary64) #s(literal -4 binary64)))
(/.f64 #s(literal 0 binary64) (*.f64 #s(literal -4 binary64) #s(literal 2 binary64)))
(/.f64 #s(literal 0 binary64) (*.f64 #s(literal -4 binary64) #s(literal -2 binary64)))
(/.f64 #s(literal 0 binary64) (*.f64 #s(literal -4 binary64) #s(literal -4 binary64)))
(/.f64 #s(literal 0 binary64) (*.f64 #s(literal -4 binary64) #s(literal 4 binary64)))
(*.f64 #s(literal 0 binary64) %382)
(*.f64 #s(literal 0 binary64) %384)
(*.f64 #s(literal 0 binary64) %386)
(*.f64 #s(literal 0 binary64) %388)
(*.f64 #s(literal 0 binary64) %390)
(*.f64 #s(literal 0 binary64) %392)
(*.f64 #s(literal 0 binary64) %394)
(*.f64 #s(literal 0 binary64) %396)
(*.f64 #s(literal 0 binary64) %398)
(*.f64 #s(literal 0 binary64) %400)
(*.f64 #s(literal 0 binary64) %402)
(*.f64 #s(literal 0 binary64) %404)
(*.f64 #s(literal 0 binary64) %406)
(*.f64 #s(literal 0 binary64) %408)
(*.f64 #s(literal 0 binary64) %410)
(*.f64 #s(literal 0 binary64) %412)
(*.f64 #s(literal 0 binary64) %414)
(*.f64 %382 #s(literal 0 binary64))
(*.f64 %417 #s(literal 0 binary64))
(*.f64 %419 #s(literal 0 binary64))
(*.f64 %421 #s(literal 0 binary64))
(fma.f64 %76 %76 #s(literal 0 binary64))
(expm1.f64 #s(literal 0 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) #s(literal 0 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) #s(literal 0 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) #s(literal 0 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) #s(literal 0 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -4 binary64) #s(literal 0 binary64)))
(fma.f64 #s(literal 0 binary64) %185 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %187 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %189 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %191 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %193 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %195 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %197 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %199 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %201 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %203 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %205 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %207 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %209 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %211 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %213 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %215 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %217 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %219 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %221 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %223 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %225 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %227 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %172 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %174 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %231 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %233 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %235 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %237 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %239 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %241 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %243 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %245 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %247 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %249 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %251 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %253 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %255 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %257 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %259 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %261 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %263 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %265 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %267 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %269 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %271 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %273 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %275 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %277 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %279 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %281 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %283 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %285 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %287 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %289 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %291 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %293 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %295 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %297 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %299 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %301 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %303 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %305 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %307 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %164 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %166 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1/4 binary64) %160)
(fma.f64 #s(literal 1 binary64) #s(literal 1/2 binary64) %160)
(fma.f64 #s(literal 1/2 binary64) #s(literal 1 binary64) %160)
(fma.f64 #s(literal -1 binary64) #s(literal -1/2 binary64) %160)
(fma.f64 #s(literal 1/4 binary64) #s(literal 2 binary64) %160)
(fma.f64 %311 #s(literal 0 binary64) #s(literal 0 binary64))
(fma.f64 %199 #s(literal 0 binary64) #s(literal 0 binary64))
(tanh.f64 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %314 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %316 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %318 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %320 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %322 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %324 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %326 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %328 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %330 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %332 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %334 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %336 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %180 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %339 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %341 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1 binary64) %176)
(fma.f64 #s(literal 2 binary64) #s(literal 1 binary64) %178)
(fma.f64 #s(literal 2 binary64) #s(literal 4 binary64) %345)
(fma.f64 #s(literal 1 binary64) #s(literal 2 binary64) %176)
(fma.f64 #s(literal 1 binary64) #s(literal 2 binary64) %178)
(fma.f64 #s(literal 1 binary64) #s(literal 1/4 binary64) %180)
(fma.f64 #s(literal 1/2 binary64) #s(literal 1/2 binary64) %180)
(fma.f64 #s(literal 1/2 binary64) #s(literal 4 binary64) %176)
(fma.f64 #s(literal 1/2 binary64) #s(literal 4 binary64) %178)
(fma.f64 #s(literal -1 binary64) #s(literal -2 binary64) %176)
(fma.f64 #s(literal -1 binary64) #s(literal -2 binary64) %178)
(fma.f64 #s(literal -2 binary64) #s(literal -1 binary64) %176)
(fma.f64 #s(literal -2 binary64) #s(literal -1 binary64) %178)
(fma.f64 #s(literal 4 binary64) #s(literal 2 binary64) %349)
(fma.f64 #s(literal 4 binary64) #s(literal 1/2 binary64) %176)
(fma.f64 #s(literal 4 binary64) #s(literal 1/2 binary64) %178)
(fma.f64 #s(literal 1/4 binary64) #s(literal 1 binary64) %180)
(fma.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64) %180)
(fma.f64 %343 #s(literal 0 binary64) #s(literal 0 binary64))
(fma.f64 %345 #s(literal 0 binary64) #s(literal 0 binary64))
(fma.f64 %347 #s(literal 0 binary64) #s(literal 0 binary64))
(fma.f64 %349 #s(literal 0 binary64) #s(literal 0 binary64))
(fma.f64 %351 #s(literal 0 binary64) #s(literal 0 binary64))
(+.f64 %343 %345)
(+.f64 %347 %349)
(/.f64 (fma.f64 #s(literal -1 binary64) %353 %353) %353)
(fma.f64 %353 %550 #s(literal -1 binary64))
(fma.f64 %552 %353 #s(literal -2 binary64))
(fma.f64 %550 %353 #s(literal -1 binary64))
(fma.f64 (/.f64 #s(literal -1 binary64) %353) %353 #s(literal 1 binary64))
(fma.f64 %361 %353 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %382 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %384 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %386 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %388 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %390 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %392 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %394 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %396 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %398 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %400 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %402 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %404 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %406 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %408 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %410 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %412 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %414 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %382 #s(literal -2 binary64))
(fma.f64 #s(literal 1/4 binary64) %382 #s(literal -1 binary64))
(fma.f64 %382 #s(literal 0 binary64) #s(literal 0 binary64))
(fma.f64 %382 #s(literal 1/2 binary64) #s(literal -2 binary64))
(fma.f64 %382 #s(literal 1/4 binary64) #s(literal -1 binary64))
(fma.f64 %417 #s(literal 0 binary64) #s(literal 0 binary64))
(fma.f64 %419 #s(literal 0 binary64) #s(literal 0 binary64))
(fma.f64 %421 #s(literal 0 binary64) #s(literal 0 binary64))
(fma.f64 %583 %583 #s(literal -2 binary64))
(fma.f64 %583 %585 #s(literal -1 binary64))
(fma.f64 %585 %583 #s(literal -1 binary64))
(/.f64 %589 %353)
(/.f64 %592 %353)
(*.f64 %550 %354)
(/.f64 (-.f64 (*.f64 #s(literal -1/4 binary64) #s(literal -2 binary64)) #s(literal 1/2 binary64)) #s(literal -2 binary64))
(/.f64 %359 %598)
(/.f64 %359 %600)
(/.f64 %359 (*.f64 #s(literal 4 binary64) %353))
(/.f64 %359 (*.f64 #s(literal -4 binary64) %353))
(fma.f64 %353 (neg.f64 %550) #s(literal 1 binary64))
(fma.f64 (neg.f64 %353) %550 #s(literal 1 binary64))
(*.f64 %359 %550)
(fma.f64 %583 %611 #s(literal 2 binary64))
(fma.f64 %611 %583 #s(literal 2 binary64))
(+.f64 %384 %412)
(+.f64 %386 %414)
(+.f64 %412 %384)
(+.f64 %414 %386)
(-.f64 %384 %384)
(-.f64 %386 %386)
(-.f64 %388 %388)
(-.f64 %390 %390)
(-.f64 %394 %394)
(-.f64 %396 %396)
(-.f64 %398 %398)
(-.f64 %400 %400)
(-.f64 %404 %404)
(-.f64 %408 %408)
(-.f64 %410 %410)
(-.f64 %412 %412)
(-.f64 %414 %414)
(/.f64 %632 %631)
(*.f64 %634 %631)
(fma.f64 %611 %611 #s(literal -2 binary64))
(/.f64 %361 %550)
(fma.f64 %550 %638 #s(literal -2 binary64))
(fma.f64 %550 %354 #s(literal 0 binary64))
(/.f64 %641 %583)
(/.f64 (fma.f64 %353 #s(literal -1 binary64) %353) %588)
(fma.f64 %353 %645 #s(literal -1/2 binary64))
(fma.f64 %353 (*.f64 %550 #s(literal -2 binary64)) #s(literal 2 binary64))
(fma.f64 %353 %649 #s(literal -2 binary64))
(fma.f64 %598 %550 #s(literal -2 binary64))
(fma.f64 %359 %550 #s(literal 0 binary64))
(fma.f64 %552 %353 %176)
(fma.f64 %552 %353 %178)
(fma.f64 #s(literal 1/2 binary64) %382 %176)
(fma.f64 #s(literal 1/2 binary64) %382 %178)
(fma.f64 %382 #s(literal 1/2 binary64) %176)
(fma.f64 %382 #s(literal 1/2 binary64) %178)
(fma.f64 %583 %583 %176)
(fma.f64 %583 %583 %178)
(fma.f64 %583 (*.f64 %583 #s(literal 2 binary64)) #s(literal -4 binary64))
(fma.f64 %583 (*.f64 %583 #s(literal -2 binary64)) #s(literal 4 binary64))
(fma.f64 (*.f64 #s(literal 2 binary64) %583) %583 #s(literal -4 binary64))
(fma.f64 (*.f64 #s(literal -2 binary64) %583) %583 #s(literal 4 binary64))
(/.f64 (-.f64 %631 %631) %631)
(/.f64 %589 %591)
(/.f64 %592 %591)
(fma.f64 %353 %673 #s(literal -1 binary64))
(fma.f64 %353 %675 #s(literal -1/2 binary64))
(fma.f64 %353 %677 #s(literal 1 binary64))
(fma.f64 %353 (/.f64 %550 #s(literal -2 binary64)) #s(literal 1/2 binary64))
(fma.f64 %631 (sqrt.f64 %550) #s(literal -1 binary64))
(fma.f64 %631 %683 #s(literal -1 binary64))
(fma.f64 %685 %631 #s(literal -2 binary64))
(fma.f64 %683 %631 #s(literal -1 binary64))
(fma.f64 (/.f64 #s(literal -1 binary64) %631) %631 #s(literal 1 binary64))
(fma.f64 %634 %631 #s(literal 0 binary64))
(*.f64 %353 %691)
(/.f64 %632 %693)
(/.f64 %632 %695)
(/.f64 %632 %697)
(/.f64 %632 (*.f64 #s(literal 4 binary64) %631))
(/.f64 %632 (*.f64 #s(literal -4 binary64) %631))
(sinh.f64 #s(literal 0 binary64))
(fma.f64 %611 %611 %176)
(fma.f64 %611 %611 %178)
(fma.f64 %550 %638 %176)
(fma.f64 %550 %638 %178)
(*.f64 %552 %708)
(*.f64 %710 %708)
(*.f64 %712 %708)
(*.f64 %714 %708)
(*.f64 %361 %716)
(*.f64 %361 %718)
(*.f64 %361 %720)
(*.f64 %361 %722)
(*.f64 %361 %724)
(*.f64 %361 %708)
(fma.f64 %353 %645 %160)
(*.f64 %728 %641)
(*.f64 %730 %641)
(*.f64 %732 %641)
(*.f64 %734 %641)
(*.f64 %641 %728)
(*.f64 %641 %737)
(*.f64 %641 %730)
(*.f64 %641 %740)
(*.f64 %641 %742)
(*.f64 %641 %744)
(*.f64 %641 %641)
(/.f64 %747 %631)
(fma.f64 %353 %649 %176)
(fma.f64 %353 %649 %178)
(fma.f64 %598 %550 %176)
(fma.f64 %598 %550 %178)
(fma.f64 %353 %753 #s(literal -2 binary64))
(fma.f64 %353 %691 #s(literal 0 binary64))
(fma.f64 %353 %675 %160)
(/.f64 (-.f64 %757 %757) %757)
(/.f64 (+.f64 %631 %760) %631)
(/.f64 (+.f64 %631 %763) %631)
(/.f64 (-.f64 %695 %631) %631)
(/.f64 (-.f64 %588 %588) %588)
(/.f64 (-.f64 %591 %591) %591)
(/.f64 (-.f64 %772 %772) %772)
(/.f64 (-.f64 %775 %775) %775)
(/.f64 (-.f64 %598 %598) %598)
(/.f64 (-.f64 %600 %600) %600)
(fma.f64 %685 %631 %176)
(fma.f64 %685 %631 %178)
(fma.f64 %784 %673 #s(literal -1/2 binary64))
(fma.f64 %784 (/.f64 %550 #s(literal 1/2 binary64)) #s(literal -1 binary64))
(fma.f64 %784 %677 #s(literal 1/2 binary64))
(fma.f64 (/.f64 %353 #s(literal 1/2 binary64)) %675 #s(literal -1 binary64))
(fma.f64 (/.f64 %353 #s(literal -1 binary64)) %675 #s(literal 1/2 binary64))
(fma.f64 %552 %718 #s(literal -1 binary64))
(fma.f64 %552 %708 #s(literal 0 binary64))
(fma.f64 %550 %716 #s(literal -2 binary64))
(fma.f64 %710 %716 #s(literal -1 binary64))
(fma.f64 %710 %708 #s(literal 0 binary64))
(fma.f64 %712 %708 #s(literal 0 binary64))
(fma.f64 %714 %708 #s(literal 0 binary64))
(fma.f64 %361 %716 #s(literal 0 binary64))
(fma.f64 %361 %718 #s(literal 0 binary64))
(fma.f64 %361 %720 #s(literal 0 binary64))
(fma.f64 %361 %722 #s(literal 0 binary64))
(fma.f64 %361 %724 #s(literal 0 binary64))
(fma.f64 %361 %708 #s(literal 0 binary64))
(fma.f64 %728 %730 #s(literal -1/2 binary64))
(fma.f64 %728 %641 #s(literal 0 binary64))
(fma.f64 %737 %737 #s(literal -1/2 binary64))
(fma.f64 %737 %730 #s(literal -1/4 binary64))
(fma.f64 %730 %728 #s(literal -1/2 binary64))
(fma.f64 %730 %641 #s(literal 0 binary64))
(fma.f64 %732 %641 #s(literal 0 binary64))
(fma.f64 %734 %641 #s(literal 0 binary64))
(fma.f64 %641 %728 #s(literal 0 binary64))
(fma.f64 %641 %737 #s(literal 0 binary64))
(fma.f64 %641 %730 #s(literal 0 binary64))
(fma.f64 %641 %740 #s(literal 0 binary64))
(fma.f64 %641 %742 #s(literal 0 binary64))
(fma.f64 %641 %744 #s(literal 0 binary64))
(fma.f64 %641 %641 #s(literal 0 binary64))
(tanh.f64 (asinh.f64 #s(literal 0 binary64)))
(pow.f64 #s(literal 0 binary64) #s(literal 2 binary64))
(pow.f64 #s(literal 0 binary64) #s(literal 3 binary64))
(sinh.f64 (atanh.f64 #s(literal 0 binary64)))
(/.f64 (fma.f64 %631 #s(literal -1 binary64) %631) %760)
(/.f64 %747 %695)
(fma.f64 %631 %831 #s(literal -1 binary64))
(fma.f64 %831 %631 #s(literal -1 binary64))
(fma.f64 %353 %753 %176)
(fma.f64 %353 %753 %178)
(fma.f64 %757 (*.f64 %550 %550) #s(literal -1 binary64))
(fma.f64 %757 (exp.f64 #s(literal -2 binary64)) #s(literal -1 binary64))
(fma.f64 %784 %673 %160)
(fma.f64 %728 %730 %160)
(fma.f64 %737 %737 %160)
(fma.f64 %730 %728 %160)
(fma.f64 %550 %716 %176)
(fma.f64 %550 %716 %178)
(fma.f64 %737 %730 %180)
(fma.f64 %847 %848 #s(literal -1/2 binary64))
(/.f64 (fma.f64 #s(literal -1 binary64) %631 %695) %695)
(/.f64 (fma.f64 %631 #s(literal -1 binary64) %695) %760)
(/.f64 (fma.f64 #s(literal 1 binary64) %631 %760) %763)
(/.f64 (fma.f64 #s(literal 1 binary64) %631 %763) %763)
(/.f64 (-.f64 %858 %858) %858)
(/.f64 (-.f64 %861 %861) %861)
(/.f64 (-.f64 %760 %760) %760)
(/.f64 (-.f64 %763 %763) %763)
(/.f64 (-.f64 %695 %695) %695)
(/.f64 (-.f64 %870 %870) %870)
(/.f64 (-.f64 %873 %873) %873)
(/.f64 (-.f64 %693 %693) %693)
(/.f64 (-.f64 %697 %697) %697)
(fma.f64 %847 %848 %160)
(fma.f64 (pow.f64 %757 #s(literal -1 binary64)) %757 #s(literal -1 binary64))
(fma.f64 %631 (-.f64 %883 %884) #s(literal -1 binary64))
(tan.f64 (asin.f64 #s(literal 0 binary64)))
(sin.f64 (atan.f64 #s(literal 0 binary64)))
(/.f64 (+.f64 %891 %892) (+.f64 #s(literal 1 binary64) (*.f64 %891 %892)))
(/.f64 (+.f64 %897 %898) (+.f64 #s(literal 1 binary64) (*.f64 %897 %898)))
(/.f64 (+.f64 %892 %891) (+.f64 #s(literal 1 binary64) (*.f64 %892 %891)))
(/.f64 (+.f64 %907 %908) (+.f64 #s(literal 1 binary64) (*.f64 %907 %908)))
(/.f64 (+.f64 %908 %907) (+.f64 #s(literal 1 binary64) (*.f64 %908 %907)))
(fma.f64 %918 %920 %923)
(fma.f64 %922 %920 %925)
(fma.f64 %920 %918 %923)
(fma.f64 %920 %922 %925)
(+.f64 %925 %923)
(+.f64 %923 %925)
(-.f64 %925 %925)
(fma.f64 %918 %920 %932)
(fma.f64 %918 %920 %935)
(fma.f64 %920 %918 %932)
(fma.f64 %920 %918 %935)
(+.f64 %925 %932)
(+.f64 %925 %935)
(-.f64 %925 %941)
(-.f64 %925 (*.f64 %934 %922))
(fma.f64 %918 %920 %945)
(fma.f64 %920 %918 %945)
(fma.f64 %920 %920 %948)
(+.f64 %932 %941)
(+.f64 %925 %945)
(+.f64 %952 %948)
(fma.f64 %918 %920 %954)
(fma.f64 %920 %918 %954)
(fma.f64 %920 %920 %958)
(-.f64 %925 (fma.f64 %918 %920 #s(literal 0 binary64)))
(-.f64 %952 (fma.f64 %918 %918 #s(literal 1 binary64)))
(+.f64 %925 %954)
(+.f64 %952 %958)
(+.f64 %966 %923)
(+.f64 %968 %957)
(+.f64 %970 %971)
(+.f64 %973 %925)
(-.f64 %925 (-.f64 %925 #s(literal 0 binary64)))
(-.f64 %952 (-.f64 %971 #s(literal -1 binary64)))
(-.f64 %966 %925)
(-.f64 %968 %971)
(-.f64 %970 %957)
(-.f64 %973 %923)
(fma.f64 %983 %983 %948)
(fma.f64 %934 %934 %948)
(fma.f64 %983 %983 %958)
(fma.f64 %934 %934 %958)
(fma.f64 #s(literal 0 binary64) %925 %988)
(fma.f64 #s(literal 0 binary64) %952 %990)
(fma.f64 #s(literal 2 binary64) %925 %992)
(fma.f64 #s(literal 1/2 binary64) %925 %994)
(fma.f64 #s(literal -2 binary64) %925 %996)
(fma.f64 #s(literal 4 binary64) %925 %998)
(fma.f64 %925 #s(literal 0 binary64) %1000)
(fma.f64 %925 #s(literal 2 binary64) %1002)
(fma.f64 %925 #s(literal 1/2 binary64) %1004)
(fma.f64 %925 #s(literal -2 binary64) %1006)
(fma.f64 %925 #s(literal 4 binary64) %1008)
(fma.f64 %952 #s(literal 0 binary64) %1010)
(+.f64 (*.f64 %925 #s(literal 2 binary64)) %1002)
(+.f64 (*.f64 %925 #s(literal -2 binary64)) %1006)
(+.f64 (*.f64 %925 #s(literal 1/2 binary64)) %1004)
(+.f64 (*.f64 %925 #s(literal 4 binary64)) %1008)
(+.f64 (*.f64 %925 #s(literal 0 binary64)) %1000)
(+.f64 (*.f64 %952 #s(literal 0 binary64)) %1010)
(+.f64 (*.f64 #s(literal 2 binary64) %925) %992)
(+.f64 (*.f64 #s(literal -2 binary64) %925) %996)
(+.f64 (*.f64 #s(literal 1/2 binary64) %925) %994)
(+.f64 (*.f64 #s(literal 4 binary64) %925) %998)
(+.f64 (*.f64 #s(literal 0 binary64) %925) %988)
(+.f64 (*.f64 #s(literal 0 binary64) %952) %990)
(+.f64 %1036 (/.f64 %923 #s(literal 2 binary64)))
(+.f64 %1039 (/.f64 %923 #s(literal -2 binary64)))
(+.f64 %1042 (/.f64 %923 #s(literal 1 binary64)))
(+.f64 %1045 (/.f64 %923 #s(literal -4 binary64)))
(+.f64 %1048 (/.f64 %923 #s(literal 4 binary64)))
(-.f64 %1036 %1036)
(-.f64 %1039 %1039)
(-.f64 %1042 %1042)
(-.f64 %1045 %1045)
(-.f64 %1048 %1048)
(fma.f64 %1056 %1057 %1060)
(fma.f64 %884 %883 %1063)
(fma.f64 %1062 %883 %1065)
(fma.f64 %883 %884 %1063)
(+.f64 %1065 %1063)
(+.f64 (*.f64 %1056 %1057) %1060)
(+.f64 %1071 %1065)
(-.f64 %1065 %1065)
(-.f64 (*.f64 %1074 %1075) (*.f64 %1075 %1074))
(-.f64 (*.f64 %1079 %1080) (*.f64 %1080 %1079))
(-.f64 %1071 %1063)
(fma.f64 %884 %883 %1085)
(fma.f64 %884 %883 %1088)
(fma.f64 %883 %884 %1085)
(fma.f64 %883 %884 %1088)
(+.f64 %1065 %1085)
(+.f64 %1065 %1088)
(-.f64 %1065 (fma.f64 %884 %883 #s(literal 0 binary64)))
(-.f64 %1096 (fma.f64 %884 %884 #s(literal 1 binary64)))
(+.f64 (-.f64 #s(literal 1 binary64) %1096) %1100)
(+.f64 (-.f64 #s(literal 0 binary64) %1065) %1065)
(-.f64 %1065 (-.f64 %1065 #s(literal 0 binary64)))
(-.f64 %1096 (-.f64 %1100 #s(literal -1 binary64)))
(-.f64 (+.f64 #s(literal 0 binary64) %1065) %1065)
(-.f64 (+.f64 #s(literal -1 binary64) %1096) %1100)
(-.f64 %1112 %1112)
(-.f64 %1114 %1114)
(-.f64 %1116 %1116)
(-.f64 %1118 %1118)
(-.f64 %1120 %1120)
(fma.f64 (exp.f64 %925) (exp.f64 %923) #s(literal -1 binary64))
(/.f64 (+.f64 %1125 %1126) (+.f64 #s(literal 1 binary64) (*.f64 %1125 %1126)))
(fma.f64 %1131 %1132 %1135)
(+.f64 (*.f64 %1131 %1132) %1135)
(-.f64 (*.f64 %1131 %1133) (*.f64 %1133 %1131))
(-.f64 (*.f64 %1142 %1143) (*.f64 %1143 %1142))
%1147
(*.f64 v cosrot)
%1149
(*.f64 %1 %4)
(*.f64 %4 %1)
(neg.f64 %1152)
%7
%1155
(fma.f64 v cosrot %1156)
(fma.f64 cosrot v %1156)
(fma.f64 sinrot %7 %1149)
(fma.f64 u0 %10 %1149)
(fma.f64 %7 sinrot %1149)
(fma.f64 %10 u0 %1149)
(+.f64 %1149 %1156)
(+.f64 %1156 %1149)
(neg.f64 (-.f64 %1154 %1149))
(-.f64 %1156 %1152)
(fma.f64 %1 %4 %1156)
(fma.f64 %4 %1 %1156)
%1170
%1175
(approx %1178 %1175)
(approx %1178 %1155)
reconstruct23.0ms (0.1%)
Memory
3.4MiB live, 3.4MiB allocated; 0ms collecting garbage
eval747.0ms (2.2%)
Memory
6.1MiB live, 62.8MiB allocated; 14ms collecting garbage
Compiler
Compiled 9 385 to 2 058 computations (78.1% saved)
prune143.0ms (0.4%)
Memory
21.0MiB live, 21.0MiB allocated; 0ms collecting garbage
Pruning
8 alts after pruning (1 fresh and 7 done)
PrunedKeptTotal
New8141815
Fresh000
Picked022
Done055
Total8148822
Accuracy
100.0%
Counts
822 → 8
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓72.8%
(approx (+ (* v cosrot) (* (- u u0) sinrot)) (fma.f64 cosrot v (*.f64 sinrot u)))
✓61.8%
(approx (+ (* v cosrot) (* (- u u0) sinrot)) (-.f64 (*.f64 sinrot u) (*.f64 sinrot u0)))
✓63.0%
(approx (+ (* v cosrot) (* (- u u0) sinrot)) (*.f64 sinrot (-.f64 u u0)))
35.6%
(approx (+ (* v cosrot) (* (- u u0) sinrot)) (approx (+ (* cosrot v) (* sinrot u)) (*.f64 sinrot u)))
✓2.3%
(approx (+ (* v cosrot) (* (- u u0) sinrot)) (approx (+ (* cosrot v) (* sinrot u)) (*.f64 cosrot (approx v #s(literal 0 binary64)))))
✓41.7%
(approx (+ (* v cosrot) (* (- u u0) sinrot)) (approx (+ (* cosrot v) (* sinrot u)) (*.f64 cosrot v)))
✓70.3%
(approx (+ (* u sinrot) (- (* v cosrot) (* sinrot u0))) (fma.f64 (neg.f64 u0) sinrot (*.f64 cosrot v)))
✓69.9%
(approx (+ (* u sinrot) (- (* v cosrot) (* sinrot u0))) (-.f64 (*.f64 cosrot v) (*.f64 sinrot u0)))
Compiler
Compiled 41 to 17 computations (58.5% saved)
regimes1.3s (3.9%)
Memory
-27.1MiB live, 106.6MiB allocated; 6ms collecting garbage
Counts
2 → 1
3 → 3
4 → 3
5 → 3
7 → 3
8 → 3
11 → 1
Calls
Call 1
Inputs
%8 = (+ (* v cosrot) (* (- u u0) sinrot))
%11 = (+ (* cosrot v) (* sinrot u))
(approx %8 (approx %11 (*.f64 cosrot v)))
(approx %8 (approx %11 (*.f64 cosrot (approx v #s(literal 0 binary64)))))
Outputs
(approx (+ (* v cosrot) (* (- u u0) sinrot)) (approx (+ (* cosrot v) (* sinrot u)) (*.f64 cosrot v)))
Call 2
Inputs
%8 = (+ (* v cosrot) (* (- u u0) sinrot))
%11 = (+ (* cosrot v) (* sinrot u))
(approx %8 (approx %11 (*.f64 cosrot v)))
(approx %8 (approx %11 (*.f64 cosrot (approx v #s(literal 0 binary64)))))
(approx %8 (approx %11 (*.f64 sinrot u)))
Outputs
%8 = (+ (* v cosrot) (* (- u u0) sinrot))
%11 = (+ (* cosrot v) (* sinrot u))
%14 = (approx %8 (approx %11 (*.f64 cosrot v)))
%14
(approx %8 (approx %11 (*.f64 sinrot u)))
%14
Call 3
Inputs
%8 = (+ (* v cosrot) (* (- u u0) sinrot))
%11 = (+ (* cosrot v) (* sinrot u))
(approx %8 (approx %11 (*.f64 cosrot v)))
(approx %8 (approx %11 (*.f64 cosrot (approx v #s(literal 0 binary64)))))
(approx %8 (approx %11 (*.f64 sinrot u)))
(approx %8 (*.f64 sinrot (-.f64 u u0)))
Outputs
%8 = (+ (* v cosrot) (* (- u u0) sinrot))
%14 = (approx %8 (approx (+ (* cosrot v) (* sinrot u)) (*.f64 cosrot v)))
%14
(approx %8 (*.f64 sinrot (-.f64 u u0)))
%14
Call 4
Inputs
%8 = (+ (* v cosrot) (* (- u u0) sinrot))
%11 = (+ (* cosrot v) (* sinrot u))
%20 = (*.f64 sinrot u)
(approx %8 (approx %11 (*.f64 cosrot v)))
(approx %8 (approx %11 (*.f64 cosrot (approx v #s(literal 0 binary64)))))
(approx %8 (approx %11 %20))
(approx %8 (*.f64 sinrot (-.f64 u u0)))
(approx %8 (fma.f64 cosrot v %20))
Outputs
%8 = (+ (* v cosrot) (* (- u u0) sinrot))
%11 = (approx %8 (*.f64 sinrot (-.f64 u u0)))
%11
(approx %8 (fma.f64 cosrot v (*.f64 sinrot u)))
%11
Call 5
Inputs
%2 = (* v cosrot)
%8 = (+ %2 (* (- u u0) sinrot))
%11 = (+ (* cosrot v) (* sinrot u))
%12 = (*.f64 cosrot v)
%20 = (*.f64 sinrot u)
%32 = (*.f64 sinrot u0)
(approx %8 (approx %11 %12))
(approx %8 (approx %11 (*.f64 cosrot (approx v #s(literal 0 binary64)))))
(approx %8 (approx %11 %20))
(approx %8 (*.f64 sinrot (-.f64 u u0)))
(approx %8 (fma.f64 cosrot v %20))
(approx (+ (* u sinrot) (- %2 (* sinrot u0))) (-.f64 %12 %32))
(approx %8 (-.f64 %20 %32))
Outputs
%5 = (* v cosrot)
%13 = (approx (+ (* u sinrot) (- %5 (* sinrot u0))) (-.f64 (*.f64 cosrot v) (*.f64 sinrot u0)))
%13
(approx (+ %5 (* (- u u0) sinrot)) (fma.f64 cosrot v (*.f64 sinrot u)))
%13
Call 6
Inputs
%2 = (* v cosrot)
%8 = (+ %2 (* (- u u0) sinrot))
%11 = (+ (* cosrot v) (* sinrot u))
%12 = (*.f64 cosrot v)
%20 = (*.f64 sinrot u)
%31 = (+ (* u sinrot) (- %2 (* sinrot u0)))
%32 = (*.f64 sinrot u0)
(approx %8 (approx %11 %12))
(approx %8 (approx %11 (*.f64 cosrot (approx v #s(literal 0 binary64)))))
(approx %8 (approx %11 %20))
(approx %8 (*.f64 sinrot (-.f64 u u0)))
(approx %8 (fma.f64 cosrot v %20))
(approx %31 (-.f64 %12 %32))
(approx %8 (-.f64 %20 %32))
(approx %31 (fma.f64 (neg.f64 u0) sinrot %12))
Outputs
%5 = (* v cosrot)
%13 = (approx (+ (* u sinrot) (- %5 (* sinrot u0))) (fma.f64 (neg.f64 u0) sinrot (*.f64 cosrot v)))
%13
(approx (+ %5 (* (- u u0) sinrot)) (fma.f64 cosrot v (*.f64 sinrot u)))
%13
Call 7
Inputs
%2 = (* v cosrot)
%8 = (+ %2 (* (- u u0) sinrot))
%11 = (+ (* cosrot v) (* sinrot u))
%12 = (*.f64 cosrot v)
%20 = (*.f64 sinrot u)
%23 = (-.f64 u u0)
%31 = (+ (* u sinrot) (- %2 (* sinrot u0)))
%32 = (*.f64 sinrot u0)
%40 = (*.f64 v cosrot)
(approx %8 (approx %11 %12))
(approx %8 (approx %11 (*.f64 cosrot (approx v #s(literal 0 binary64)))))
(approx %8 (approx %11 %20))
(approx %8 (*.f64 sinrot %23))
(approx %8 (fma.f64 cosrot v %20))
(approx %31 (-.f64 %12 %32))
(approx %8 (-.f64 %20 %32))
(approx %31 (fma.f64 (neg.f64 u0) sinrot %12))
(fma.f64 %23 sinrot %40)
(+.f64 %40 (*.f64 %23 sinrot))
(fma.f64 u sinrot (-.f64 %40 %32))
Outputs
(fma.f64 (-.f64 u u0) sinrot (*.f64 v cosrot))
Calls
45 calls:
73.0ms
(*.f64 v cosrot)
65.0ms
u
45.0ms
u
45.0ms
cosrot
42.0ms
v
Results
AccuracySegmentsBranch
41.7%1
(+.f64 (*.f64 v cosrot) (*.f64 (-.f64 u u0) sinrot))
41.7%1
u0
41.7%1
(-.f64 u u0)
41.7%1
cosrot
41.7%1
sinrot
41.7%1
u
41.7%1
(*.f64 (-.f64 u u0) sinrot)
41.7%1
v
41.7%1
(*.f64 v cosrot)
54.0%3
sinrot
54.1%3
u
45.3%3
(+.f64 (*.f64 v cosrot) (*.f64 (-.f64 u u0) sinrot))
57.9%3
v
47.2%2
(-.f64 u u0)
56.5%3
(*.f64 (-.f64 u u0) sinrot)
51.7%3
cosrot
47.9%3
u0
61.5%3
(*.f64 v cosrot)
72.8%3
sinrot
78.5%3
v
83.2%3
(*.f64 v cosrot)
79.3%3
(*.f64 (-.f64 u u0) sinrot)
87.9%3
(*.f64 (-.f64 u u0) sinrot)
76.9%3
u
87.4%3
(*.f64 v cosrot)
83.1%3
u0
92.4%3
u0
92.8%3
u0
83.8%3
sinrot
83.8%5
cosrot
85.3%3
v
89.1%3
u
79.0%4
(+.f64 (*.f64 v cosrot) (*.f64 (-.f64 u u0) sinrot))
89.4%3
(*.f64 v cosrot)
87.9%3
(*.f64 (-.f64 u u0) sinrot)
80.7%4
(-.f64 u u0)
98.8%1
u0
98.8%1
sinrot
98.8%1
cosrot
98.8%1
v
98.8%1
u
98.8%1
(+.f64 (*.f64 v cosrot) (*.f64 (-.f64 u u0) sinrot))
98.8%1
(*.f64 v cosrot)
98.8%1
(*.f64 (-.f64 u u0) sinrot)
98.8%1
(-.f64 u u0)
Compiler
Compiled 93 to 32 computations (65.6% saved)
bsearch0.0ms (0.0%)
Memory
0.1MiB live, 0.1MiB allocated; 0ms collecting garbage
bsearch155.0ms (0.4%)
Memory
10.1MiB live, 10.1MiB allocated; 0ms collecting garbage
Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
86.0ms
9.88759890627509e+31
5.845321308992834e+32
66.0ms
-3.6281267418831816e+31
-1.264394154110324e+31
Samples
86.0ms176×0valid
Compiler
Compiled 155 to 123 computations (20.6% saved)
Precisions
Click to see histograms. Total time spent on operations: 33.0ms
ival-mult!: 31.0ms (93.4% of total, 1.0 MiB)
ival-sub!: 1.0ms (3.0% of total, 0.1 MiB)
ival-add!: 1.0ms (3.0% of total, 0.1 MiB)
adjust: 0.0ms (0.0% of total, 0.0 MiB)
bsearch19.0ms (0.1%)
Memory
2.9MiB live, 2.9MiB allocated; 0ms collecting garbage
Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
18.0ms
9.88759890627509e+31
5.845321308992834e+32
0.0ms
-3.6281267418831816e+31
-1.264394154110324e+31
Compiler
Compiled 155 to 123 computations (20.6% saved)
bsearch1.0ms (0.0%)
Memory
0.6MiB live, 0.6MiB allocated; 0ms collecting garbage
Algorithm
2×left-value
Steps
TimeLeftRight
0.0ms
4.96384686574165e+46
4.1815075203985504e+54
0.0ms
-1.2720654073313184e+142
-7.359405970344117e+139
Compiler
Compiled 5 to 5 computations (0.0% saved)
bsearch1.0ms (0.0%)
Memory
0.6MiB live, 0.6MiB allocated; 0ms collecting garbage
Algorithm
2×left-value
Steps
TimeLeftRight
0.0ms
1.9067759215150984e+131
2.939222155244176e+137
0.0ms
-5360698.966137608
-113427.02539356118
Compiler
Compiled 3 to 3 computations (0.0% saved)
bsearch1.0ms (0.0%)
Memory
0.6MiB live, 0.6MiB allocated; 0ms collecting garbage
Algorithm
2×left-value
Steps
TimeLeftRight
0.0ms
5.220582980363084e+105
1.63647789934304e+111
0.0ms
-5360698.966137608
-113427.02539356118
Compiler
Compiled 3 to 3 computations (0.0% saved)
bsearch0.0ms (0.0%)
Memory
0.1MiB live, 0.1MiB allocated; 0ms collecting garbage
derivations24.0ms (0.1%)
Memory
2.1MiB live, 2.1MiB allocated; 0ms collecting garbage
Stop Event
1×fuel
Compiler
Compiled 143 to 41 computations (71.3% saved)
preprocess530.0ms (1.5%)
Memory
-5.2MiB live, 57.4MiB allocated; 8ms collecting garbage
Compiler
Compiled 438 to 224 computations (48.9% saved)
end0.0ms (0.0%)
Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage
Profiling
Loading profile data...