Data.Colour.CIE:cieLAB from colour-2.3.3, A

Time bar (total: 1.5s)

start0.0ms (0.0%)

analyze1.0ms (0.0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
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 11 to 11 computations (0.0% saved)

sample311.0ms (20.3%)

Samples
269.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 8.0ms
Mul: 6.0ms (70.6% of total, 0.0 MiB)
Sub: 3.0ms (35.3% of total, 0.0 MiB)
Bogosity

preprocess37.0ms (2.4%)

Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02146
19543
230242
3123642
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶99.7%
(*.f64 (*.f64 (-.f64 x (/.f64 #s(literal 16 binary64) #s(literal 116 binary64))) #s(literal 3 binary64)) y)
Symmetry

(negabs y)

Compiler

Compiled 2 to 18 computations (-800.0% saved)

sample1.0ms (0.0%)

Calls
Call 1
Inputs
(/ 16 116)
Outputs
#s(literal 2484744621997515/18014398509481984 binary64)
Samples
0.0ms1×0valid
Compiler

Compiled 5 to 5 computations (0.0% saved)

series19.0ms (1.2%)

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
066201
Stop Event
1×iter-limit
Counts
9 → 18
Calls
Call 1
Inputs
%3 = (/.f64 #s(literal 16 binary64) #s(literal 116 binary64))
%4 = (-.f64 x %3)
%6 = (*.f64 %4 #s(literal 3 binary64))
x
#s(literal 16 binary64)
#s(literal 116 binary64)
%3
%4
#s(literal 3 binary64)
%6
y
(*.f64 %6 y)
Outputs
%5 = (- x 4/29)
%9 = (-.f64 x #s(literal 4/29 binary64))
%12 = (* %5 3)
%16 = (*.f64 #s(literal 3 binary64) x)
%21 = (* %12 y)
%25 = (*.f64 #s(literal 3 binary64) (*.f64 x y))
%29 = (/.f64 #s(literal 1 binary64) x)
%30 = (*.f64 #s(literal 4/29 binary64) %29)
%35 = (*.f64 #s(literal 12/29 binary64) %29)
%40 = (/.f64 y x)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 #s(literal -4/29 binary64))
(approx %5 %9)
(approx %12 #s(literal -12/29 binary64))
(approx %12 (-.f64 %16 #s(literal 12/29 binary64)))
(approx %21 (*.f64 #s(literal -12/29 binary64) y))
(approx %21 (fma.f64 #s(literal -12/29 binary64) y %25))
(approx %5 (*.f64 x (-.f64 #s(literal 1 binary64) %30)))
(approx %12 %16)
(approx %12 (*.f64 x (-.f64 #s(literal 3 binary64) %35)))
(approx %21 %25)
(approx %21 (*.f64 x (fma.f64 #s(literal -12/29 binary64) %40 (*.f64 #s(literal 3 binary64) y))))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %30 #s(literal 1 binary64)))))
(approx %12 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %35 #s(literal 3 binary64)))))
(approx %21 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -3 binary64) y (*.f64 #s(literal 12/29 binary64) %40)))))
(approx y y)
(approx %21 (*.f64 #s(literal 3 binary64) (*.f64 y %9)))
Calls

6 calls:

TimeVariablePoint
2.0ms
x
-inf
2.0ms
y
inf
2.0ms
x
inf
1.0ms
y
-inf
1.0ms
x
0

rewrite104.0ms (6.8%)

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0921
01421
13321
26821
315921
441921
5105621
0409321
0428319
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
9 → 91
Calls
Call 1
Inputs
%3 = (/.f64 #s(literal 16 binary64) #s(literal 116 binary64))
%4 = (-.f64 x %3)
%6 = (*.f64 %4 #s(literal 3 binary64))
x
#s(literal 16 binary64)
#s(literal 116 binary64)
%3
%4
#s(literal 3 binary64)
%6
y
(*.f64 %6 y)
Outputs
%5 = (-.f64 #s(literal 4/29 binary64) x)
%8 = (-.f64 x #s(literal 4/29 binary64))
%15 = (neg.f64 x)
%22 = (fma.f64 #s(literal -3 binary64) x #s(literal 12/29 binary64))
%27 = (fma.f64 #s(literal 3 binary64) x #s(literal -12/29 binary64))
%35 = (*.f64 #s(literal -3 binary64) x)
%39 = (*.f64 #s(literal 3 binary64) x)
%47 = (neg.f64 y)
%48 = (neg.f64 %47)
%49 = (neg.f64 %48)
%53 = (*.f64 %22 y)
%55 = (*.f64 #s(literal -3 binary64) y)
%57 = (*.f64 %5 y)
%60 = (*.f64 y %8)
%64 = (*.f64 y #s(literal 3 binary64))
%67 = (*.f64 y %27)
%77 = (*.f64 #s(literal -12/29 binary64) y)
%79 = (*.f64 %39 y)
%81 = (*.f64 y #s(literal 4/29 binary64))
%85 = (*.f64 %15 y)
%88 = (*.f64 #s(literal -4/29 binary64) y)
%90 = (*.f64 y x)
x
#s(literal 16 binary64)
#s(literal 116 binary64)
#s(literal 4/29 binary64)
(*.f64 #s(literal -1 binary64) %5)
(*.f64 #s(literal 1 binary64) %8)
(pow.f64 %8 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %8 #s(literal -1 binary64)))
(neg.f64 %5)
(-.f64 #s(literal -4/29 binary64) %15)
%8
(+.f64 #s(literal -4/29 binary64) x)
(+.f64 x #s(literal -4/29 binary64))
#s(literal 3 binary64)
(*.f64 #s(literal -1 binary64) %22)
(*.f64 #s(literal -3 binary64) %5)
(*.f64 %5 #s(literal -3 binary64))
(*.f64 #s(literal 1 binary64) %27)
(*.f64 #s(literal 3 binary64) %8)
(*.f64 %8 #s(literal 3 binary64))
(pow.f64 %27 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %27 #s(literal -1 binary64)))
(neg.f64 %22)
(fma.f64 #s(literal -1 binary64) %35 #s(literal -12/29 binary64))
(fma.f64 #s(literal -3 binary64) %15 #s(literal -12/29 binary64))
(fma.f64 %15 #s(literal -3 binary64) #s(literal -12/29 binary64))
(fma.f64 #s(literal 1 binary64) %39 #s(literal -12/29 binary64))
%27
(fma.f64 x #s(literal 3 binary64) #s(literal -12/29 binary64))
(-.f64 %39 #s(literal 12/29 binary64))
(-.f64 #s(literal -12/29 binary64) %35)
(+.f64 %39 #s(literal -12/29 binary64))
(+.f64 #s(literal -12/29 binary64) %39)
y
(*.f64 %49 %22)
(*.f64 %48 %27)
(*.f64 %47 %22)
(*.f64 #s(literal -1 binary64) %53)
(*.f64 %55 %5)
(*.f64 %57 #s(literal -3 binary64))
(*.f64 #s(literal -3 binary64) %57)
(*.f64 %60 #s(literal 3 binary64))
(*.f64 %22 %49)
(*.f64 %22 %47)
(*.f64 %64 %8)
(*.f64 %5 %55)
(*.f64 #s(literal 1 binary64) %67)
%67
(*.f64 %27 %48)
(*.f64 %27 y)
(*.f64 #s(literal 3 binary64) %60)
(*.f64 %8 %64)
(pow.f64 %67 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %67 #s(literal -1 binary64)))
(neg.f64 %53)
(fma.f64 %48 %39 %77)
(fma.f64 %48 #s(literal -12/29 binary64) %79)
(fma.f64 %81 #s(literal -3 binary64) %79)
(fma.f64 %47 %35 %77)
(fma.f64 %47 #s(literal 12/29 binary64) %79)
(fma.f64 %85 #s(literal -3 binary64) %77)
(fma.f64 %35 %47 %77)
(fma.f64 %88 #s(literal 3 binary64) %79)
(fma.f64 %90 #s(literal 3 binary64) %77)
(fma.f64 %55 %15 %77)
(fma.f64 %55 #s(literal 4/29 binary64) %79)
(fma.f64 #s(literal -3 binary64) %81 %79)
(fma.f64 #s(literal -3 binary64) %85 %77)
(fma.f64 #s(literal 12/29 binary64) %47 %79)
(fma.f64 %39 %48 %77)
(fma.f64 %39 y %77)
(fma.f64 #s(literal -12/29 binary64) %48 %79)
(fma.f64 #s(literal -12/29 binary64) y %79)
(fma.f64 %15 %55 %77)
(fma.f64 %64 #s(literal -4/29 binary64) %79)
(fma.f64 %64 x %77)
(fma.f64 #s(literal -4/29 binary64) %64 %79)
(fma.f64 #s(literal 1 binary64) %79 %77)
(fma.f64 #s(literal 1 binary64) %77 %79)
(fma.f64 y %39 %77)
(fma.f64 y #s(literal -12/29 binary64) %79)
(fma.f64 #s(literal 3 binary64) %88 %79)
(fma.f64 #s(literal 3 binary64) %90 %77)
(fma.f64 #s(literal 4/29 binary64) %55 %79)
(fma.f64 x %64 %77)
(-.f64 %79 (*.f64 %49 #s(literal -12/29 binary64)))
(-.f64 %79 (*.f64 #s(literal 12/29 binary64) y))
(-.f64 %77 (*.f64 %48 %35))
(-.f64 %77 (*.f64 %35 y))
(+.f64 %79 %77)
(+.f64 %77 %79)

reconstruct16.0ms (1.0%)

Counts
110 → 34
Compiler

Compiled 110 to 149 computations (-35.5% saved)

eval5.0ms (0.3%)

Compiler

Compiled 30 to 86 computations (-186.7% saved)

prune3.0ms (0.2%)

Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New21930
Fresh000
Picked101
Done000
Total22931
Accuracy
100.0%
Counts
31 → 9
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶99.7%
(fma.f64 #s(literal -3 binary64) (*.f64 y #s(literal 4/29 binary64)) (*.f64 (*.f64 #s(literal 3 binary64) x) y))
▶99.8%
(*.f64 (fma.f64 #s(literal 3 binary64) x #s(literal -12/29 binary64)) y)
▶99.3%
(*.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (fma.f64 #s(literal 3 binary64) x #s(literal -12/29 binary64)) #s(literal -1 binary64))) y)
▶99.6%
(*.f64 (*.f64 #s(literal -3 binary64) y) (-.f64 #s(literal 4/29 binary64) x))
▶51.0%
(*.f64 (approx (* (- x 4/29) 3) (*.f64 #s(literal 3 binary64) x)) y)
▶50.7%
(*.f64 (approx (* (- x 4/29) 3) #s(literal -12/29 binary64)) y)
▶89.5%
(approx (* (* (- x 4/29) 3) y) (*.f64 x (fma.f64 #s(literal -12/29 binary64) (/.f64 y x) (*.f64 #s(literal 3 binary64) y))))
▶99.6%
(approx (* (* (- x 4/29) 3) y) (*.f64 #s(literal 3 binary64) (*.f64 y (-.f64 x #s(literal 4/29 binary64)))))
▶51.0%
(approx (* (* (- x 4/29) 3) y) (*.f64 #s(literal 3 binary64) (*.f64 x y)))
Compiler

Compiled 9 to 31 computations (-244.4% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series49.0ms (3.2%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0190721
Stop Event
1×iter-limit
Counts
36 → 53
Calls
Call 1
Inputs
%4 = (-.f64 x #s(literal 4/29 binary64))
%9 = (* (- x 4/29) 3)
%10 = (approx %9 #s(literal -12/29 binary64))
%11 = (*.f64 #s(literal 3 binary64) x)
%12 = (*.f64 x y)
%13 = (*.f64 #s(literal 3 binary64) %12)
%15 = (approx %9 %11)
%16 = (* %9 y)
%18 = (/.f64 y x)
%19 = (*.f64 #s(literal 3 binary64) y)
%20 = (fma.f64 #s(literal -12/29 binary64) %18 %19)
%21 = (*.f64 x %20)
%25 = (*.f64 y %4)
%26 = (*.f64 #s(literal 3 binary64) %25)
%28 = (-.f64 #s(literal 4/29 binary64) x)
%29 = (fma.f64 #s(literal 3 binary64) x #s(literal -12/29 binary64))
%30 = (pow.f64 %29 #s(literal -1 binary64))
%31 = (/.f64 #s(literal 1 binary64) %30)
%32 = (*.f64 #s(literal -3 binary64) y)
%35 = (*.f64 %11 y)
%36 = (*.f64 y #s(literal 4/29 binary64))
x
#s(literal 3 binary64)
y
#s(literal 4/29 binary64)
%4
#s(literal -12/29 binary64)
%10
%11
%12
%13
#s(literal 1 binary64)
%15
(approx %16 %13)
%18
%19
%20
%21
(approx %16 %21)
#s(literal -1 binary64)
#s(literal -3 binary64)
%25
%26
(approx %16 %26)
%28
%29
%30
%31
%32
(*.f64 %32 %28)
(*.f64 %29 y)
%35
%36
(fma.f64 #s(literal -3 binary64) %36 %35)
(*.f64 %10 y)
(*.f64 %15 y)
(*.f64 %31 y)
Outputs
%5 = (- x 4/29)
%9 = (-.f64 x #s(literal 4/29 binary64))
%12 = (* %5 3)
%16 = (*.f64 #s(literal 3 binary64) x)
%18 = (-.f64 %16 #s(literal 12/29 binary64))
%20 = (* 3 x)
%23 = (* x y)
%24 = (*.f64 x y)
%27 = (*.f64 #s(literal 3 binary64) %24)
%29 = (* %12 y)
%32 = (fma.f64 #s(literal -12/29 binary64) y %27)
%34 = (/ y x)
%35 = (/.f64 y x)
%40 = (+ (* -12/29 %34) (* 3 y))
%45 = (* y %5)
%50 = (- 4/29 x)
%53 = (*.f64 #s(literal -1 binary64) x)
%56 = (+ %20 -12/29)
%58 = (pow %56 -1)
%83 = (/.f64 #s(literal 1 binary64) x)
%84 = (*.f64 #s(literal 4/29 binary64) %83)
%86 = (*.f64 x (-.f64 #s(literal 1 binary64) %84))
%88 = (*.f64 #s(literal 12/29 binary64) %83)
%89 = (-.f64 #s(literal 3 binary64) %88)
%92 = (*.f64 #s(literal 3 binary64) y)
%93 = (fma.f64 #s(literal -12/29 binary64) %35 %92)
%104 = (*.f64 x (-.f64 %84 #s(literal 1 binary64)))
%110 = (*.f64 #s(literal 4/87 binary64) %83)
%116 = (pow.f64 x #s(literal 2 binary64))
%117 = (/.f64 #s(literal 16/2523 binary64) %116)
%133 = (-.f64 %88 #s(literal 3 binary64))
%150 = (*.f64 #s(literal 16/2523 binary64) %83)
%168 = (*.f64 y %9)
%171 = (*.f64 y %89)
%173 = (* x %40)
%178 = (* -3 y)
%189 = (* y 4/29)
%192 = (*.f64 y %133)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 #s(literal -4/29 binary64))
(approx %5 %9)
(approx %12 #s(literal -12/29 binary64))
(approx %12 %18)
(approx %20 %16)
(approx %23 %24)
(approx (* 3 %23) %27)
(approx %29 (*.f64 #s(literal -12/29 binary64) y))
(approx %29 %32)
(approx %34 %35)
(approx %40 (*.f64 #s(literal -12/29 binary64) %35))
(approx %40 (/.f64 %32 x))
(approx %45 (*.f64 #s(literal -4/29 binary64) y))
(approx %45 (fma.f64 #s(literal -4/29 binary64) y %24))
(approx %50 #s(literal 4/29 binary64))
(approx %50 (+.f64 #s(literal 4/29 binary64) %53))
(approx %58 #s(literal -29/12 binary64))
(approx %58 (-.f64 (*.f64 #s(literal -841/48 binary64) x) #s(literal 29/12 binary64)))
(approx %58 (-.f64 (*.f64 x (-.f64 (*.f64 #s(literal -24389/192 binary64) x) #s(literal 841/48 binary64))) #s(literal 29/12 binary64)))
(approx %58 (-.f64 (*.f64 x (-.f64 (*.f64 x (-.f64 (*.f64 #s(literal -707281/768 binary64) x) #s(literal 24389/192 binary64))) #s(literal 841/48 binary64))) #s(literal 29/12 binary64)))
(approx %5 %86)
(approx %12 (*.f64 x %89))
(approx %29 (*.f64 x %93))
(approx %40 %92)
(approx %40 %93)
(approx %45 (*.f64 x (+.f64 y (*.f64 #s(literal -4/29 binary64) %35))))
(approx %50 %53)
(approx %50 %104)
(approx %58 (/.f64 #s(literal 1/3 binary64) x))
(approx %58 (/.f64 (+.f64 #s(literal 1/3 binary64) %110) x))
(approx %58 (/.f64 (+.f64 #s(literal 1/3 binary64) (+.f64 %117 %110)) x))
(approx %58 (/.f64 (+.f64 #s(literal 1/3 binary64) (+.f64 %117 (fma.f64 #s(literal 4/87 binary64) %83 (*.f64 #s(literal 64/73167 binary64) (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))))) x))
(approx %5 (*.f64 #s(literal -1 binary64) %104))
(approx %12 (*.f64 #s(literal -1 binary64) (*.f64 x %133)))
(approx %29 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -3 binary64) y (*.f64 #s(literal 12/29 binary64) %35)))))
(approx %45 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1 binary64) y (*.f64 #s(literal 4/29 binary64) %35)))))
(approx %50 (*.f64 #s(literal -1 binary64) %86))
(approx %58 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 #s(literal 4/87 binary64) %150) x)) #s(literal 1/3 binary64)) x)))
(approx %58 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 #s(literal 4/87 binary64) (+.f64 (/.f64 #s(literal 64/73167 binary64) %116) %150)) x)) #s(literal 1/3 binary64)) x)))
(approx y y)
(approx %29 (*.f64 #s(literal 3 binary64) %168))
(approx %40 %171)
(approx %173 (*.f64 x %171))
(approx %45 %168)
(approx %178 (*.f64 #s(literal -3 binary64) y))
(approx (* %178 %50) (*.f64 #s(literal -3 binary64) (*.f64 y (-.f64 #s(literal 4/29 binary64) x))))
(approx (* %56 y) (*.f64 y %18))
(approx %189 (*.f64 #s(literal 4/29 binary64) y))
(approx %40 (*.f64 #s(literal -1 binary64) %192))
(approx %173 (*.f64 #s(literal -1 binary64) (*.f64 x %192)))
(approx (+ (* -3 %189) (* %20 y)) (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 #s(literal 12/29 binary64) (*.f64 #s(literal -3 binary64) x)))))
Calls
6 calls:
TimeVariablePoint
9.0ms
y
inf
6.0ms
x
inf
6.0ms
x
-inf
5.0ms
y
-inf
4.0ms
x
0
rewrite72.0ms (4.7%)
Iterations
Useful iterations: 3 (0.0ms)
IterNodesCost
039205
065214
1182207
2559197
32341173
04042173
04439173
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
36 → 1 652
Calls
Call 1
Inputs
%4 = (-.f64 x #s(literal 4/29 binary64))
%9 = (* (- x 4/29) 3)
%10 = (approx %9 #s(literal -12/29 binary64))
%11 = (*.f64 #s(literal 3 binary64) x)
%12 = (*.f64 x y)
%13 = (*.f64 #s(literal 3 binary64) %12)
%15 = (approx %9 %11)
%16 = (* %9 y)
%18 = (/.f64 y x)
%19 = (*.f64 #s(literal 3 binary64) y)
%20 = (fma.f64 #s(literal -12/29 binary64) %18 %19)
%21 = (*.f64 x %20)
%25 = (*.f64 y %4)
%26 = (*.f64 #s(literal 3 binary64) %25)
%28 = (-.f64 #s(literal 4/29 binary64) x)
%29 = (fma.f64 #s(literal 3 binary64) x #s(literal -12/29 binary64))
%30 = (pow.f64 %29 #s(literal -1 binary64))
%31 = (/.f64 #s(literal 1 binary64) %30)
%32 = (*.f64 #s(literal -3 binary64) y)
%35 = (*.f64 %11 y)
%36 = (*.f64 y #s(literal 4/29 binary64))
x
#s(literal 3 binary64)
y
#s(literal 4/29 binary64)
%4
#s(literal -12/29 binary64)
%10
%11
%12
%13
#s(literal 1 binary64)
%15
(approx %16 %13)
%18
%19
%20
%21
(approx %16 %21)
#s(literal -1 binary64)
#s(literal -3 binary64)
%25
%26
(approx %16 %26)
%28
%29
%30
%31
%32
(*.f64 %32 %28)
(*.f64 %29 y)
%35
%36
(fma.f64 #s(literal -3 binary64) %36 %35)
(*.f64 %10 y)
(*.f64 %15 y)
(*.f64 %31 y)
Outputs
%5 = (-.f64 x #s(literal 4/29 binary64))
%9 = (-.f64 #s(literal 4/29 binary64) x)
%10 = (/.f64 #s(literal -1 binary64) %9)
%14 = (neg.f64 x)
%20 = (- 4/29 x)
%22 = (* %20 -3)
%23 = (approx %22 #s(literal -12/29 binary64))
%28 = (*.f64 #s(literal 3 binary64) x)
%30 = (*.f64 %28 #s(literal 2 binary64))
%33 = (*.f64 %28 #s(literal 1/2 binary64))
%35 = (*.f64 #s(literal 2 binary64) %28)
%37 = (*.f64 #s(literal 1/2 binary64) %28)
%44 = (*.f64 x #s(literal 1 binary64))
%55 = (*.f64 %28 #s(literal -1 binary64))
%57 = (*.f64 #s(literal -1 binary64) %28)
%59 = (*.f64 #s(literal -3 binary64) x)
%68 = (*.f64 %28 #s(literal 0 binary64))
%70 = (*.f64 #s(literal 0 binary64) %28)
%98 = (*.f64 x #s(literal 2 binary64))
%99 = (*.f64 #s(literal 1/2 binary64) y)
%102 = (*.f64 %99 x)
%104 = (*.f64 y x)
%111 = (*.f64 %14 y)
%113 = (*.f64 %30 %99)
%114 = (neg.f64 y)
%115 = (*.f64 %14 %114)
%116 = (*.f64 %115 #s(literal 3 binary64))
%117 = (*.f64 %114 %59)
%118 = (*.f64 %111 #s(literal -3 binary64))
%119 = (*.f64 %99 %28)
%120 = (*.f64 #s(literal 2 binary64) %119)
%121 = (*.f64 %59 %114)
%122 = (*.f64 #s(literal -3 binary64) y)
%123 = (*.f64 %14 %122)
%124 = (*.f64 y #s(literal 3 binary64))
%125 = (*.f64 %124 x)
%126 = (*.f64 %125 #s(literal 1 binary64))
%127 = (*.f64 %122 %14)
%128 = (*.f64 #s(literal -3 binary64) %111)
%129 = (*.f64 #s(literal 1 binary64) %125)
%130 = (*.f64 %104 #s(literal 3 binary64))
%131 = (*.f64 %28 y)
%132 = (*.f64 y %28)
%133 = (*.f64 %114 %14)
%134 = (*.f64 #s(literal 3 binary64) %133)
%135 = (*.f64 #s(literal 3 binary64) %104)
%136 = (*.f64 x %124)
%137 = (pow.f64 %125 #s(literal 1 binary64))
%139 = (/.f64 #s(literal 1 binary64) (pow.f64 %125 #s(literal -1 binary64)))
%140 = (*.f64 %59 y)
%141 = (neg.f64 %140)
%142 = (approx %22 %28)
%148 = (* (* -3 y) %20)
%149 = (approx %148 %125)
%154 = (/.f64 #s(literal 1 binary64) x)
%157 = (*.f64 y #s(literal 2 binary64))
%158 = (/.f64 #s(literal 1/2 binary64) x)
%160 = (/.f64 #s(literal -1 binary64) x)
%170 = (/.f64 y x)
%175 = (*.f64 %114 #s(literal -1 binary64))
%184 = (/.f64 y %14)
%189 = (*.f64 %99 #s(literal 3 binary64))
%199 = (fma.f64 #s(literal 3 binary64) x #s(literal -12/29 binary64))
%200 = (*.f64 %199 y)
%203 = (*.f64 %5 y)
%208 = (/.f64 #s(literal -12/29 binary64) x)
%210 = (*.f64 y (+.f64 #s(literal 3 binary64) %208))
%221 = (*.f64 #s(literal -12/29 binary64) y)
%222 = (*.f64 %221 #s(literal -1 binary64))
%225 = (*.f64 x %14)
%228 = (*.f64 #s(literal 12/29 binary64) y)
%229 = (*.f64 x %228)
%232 = (*.f64 %14 %125)
%234 = (*.f64 %14 x)
%238 = (*.f64 #s(literal -12/29 binary64) x)
%241 = (*.f64 x x)
%247 = (*.f64 %221 x)
%251 = (*.f64 %14 %140)
%260 = (*.f64 #s(literal -1 binary64) %200)
%262 = (-.f64 %228 %125)
%264 = (fma.f64 %125 x %247)
%267 = (/.f64 #s(literal 1/3 binary64) %9)
%268 = (/.f64 y %267)
%270 = (/.f64 #s(literal 1/3 binary64) %5)
%271 = (*.f64 %270 x)
%274 = (*.f64 %267 x)
%276 = (fma.f64 #s(literal -3 binary64) x #s(literal 12/29 binary64))
%277 = (*.f64 %276 y)
%287 = (*.f64 #s(literal 12/29 binary64) %170)
%291 = (*.f64 y (-.f64 #s(literal -3 binary64) %208))
%293 = (*.f64 %221 #s(literal 2 binary64))
%294 = (/.f64 %125 x)
%297 = (*.f64 %170 #s(literal -4/29 binary64))
%300 = (*.f64 %170 #s(literal -3 binary64))
%303 = (*.f64 %170 #s(literal 4/29 binary64))
%306 = (*.f64 %170 #s(literal 3 binary64))
%309 = (*.f64 %170 #s(literal -12/29 binary64))
%313 = (/.f64 #s(literal 12/29 binary64) x)
%316 = (*.f64 %160 #s(literal -12/29 binary64))
%323 = (*.f64 %99 %208)
%326 = (*.f64 #s(literal 3 binary64) %170)
%335 = (*.f64 #s(literal 4/29 binary64) y)
%336 = (*.f64 #s(literal -3 binary64) %154)
%339 = (/.f64 #s(literal -3 binary64) x)
%342 = (*.f64 #s(literal 4/29 binary64) %154)
%345 = (/.f64 #s(literal 4/29 binary64) x)
%348 = (*.f64 %335 %154)
%351 = (*.f64 #s(literal 4/29 binary64) %170)
%354 = (/.f64 %335 x)
%366 = (*.f64 %122 %154)
%369 = (*.f64 #s(literal -3 binary64) %170)
%372 = (/.f64 %122 x)
%378 = (*.f64 #s(literal -4/29 binary64) %170)
%392 = (*.f64 #s(literal 3/2 binary64) %5)
%393 = (*.f64 %157 %392)
%394 = (*.f64 %268 #s(literal -1 binary64))
%395 = (/.f64 y #s(literal 2 binary64))
%397 = (/.f64 #s(literal -1/6 binary64) %9)
%398 = (/.f64 #s(literal 1 binary64) %397)
%399 = (*.f64 %395 %398)
%400 = (*.f64 %199 #s(literal 2 binary64))
%401 = (*.f64 %400 %99)
%403 = (*.f64 #s(literal -2 binary64) (/.f64 %99 %267))
%404 = (*.f64 %114 %276)
%405 = (*.f64 %276 %114)
%406 = (*.f64 %9 y)
%407 = (*.f64 %406 #s(literal -3 binary64))
%408 = (*.f64 #s(literal 2 binary64) %200)
%409 = (*.f64 #s(literal 1/2 binary64) %408)
%411 = (*.f64 #s(literal 1/2 binary64) (/.f64 y %397))
%413 = (*.f64 #s(literal 2 binary64) (*.f64 %392 y))
%415 = (*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %200))
%417 = (*.f64 #s(literal 2 binary64) (*.f64 %99 %199))
%419 = (*.f64 #s(literal 2 binary64) (/.f64 %99 %270))
%420 = (*.f64 %200 #s(literal 1 binary64))
%421 = (*.f64 %122 %9)
%422 = (*.f64 %9 %122)
%423 = (*.f64 %203 #s(literal 3 binary64))
%424 = (*.f64 #s(literal -3 binary64) %406)
%425 = (*.f64 #s(literal -1 binary64) %268)
%426 = (*.f64 #s(literal -1 binary64) %277)
%427 = (*.f64 %210 x)
%428 = (*.f64 %124 %5)
%430 = (*.f64 #s(literal 1 binary64) (/.f64 %99 %397))
%431 = (*.f64 #s(literal 1 binary64) %200)
%432 = (*.f64 %5 %124)
%433 = (*.f64 y %199)
%434 = (*.f64 #s(literal 3 binary64) %203)
%435 = (*.f64 x %210)
%436 = (pow.f64 %200 #s(literal 1 binary64))
%438 = (/.f64 (neg.f64 %408) #s(literal -2 binary64))
%439 = (*.f64 #s(literal 2 binary64) %114)
%441 = (*.f64 #s(literal 2 binary64) %267)
%442 = (neg.f64 %441)
%443 = (/.f64 (neg.f64 %439) %442)
%445 = (neg.f64 %397)
%446 = (/.f64 (neg.f64 %395) %445)
%447 = (*.f64 #s(literal 2 binary64) y)
%449 = (*.f64 #s(literal 2 binary64) %270)
%450 = (neg.f64 %449)
%451 = (/.f64 (neg.f64 %447) %450)
%452 = (*.f64 x %200)
%454 = (/.f64 (neg.f64 %452) %14)
%455 = (*.f64 %200 x)
%457 = (/.f64 (neg.f64 %455) %14)
%459 = (/.f64 (neg.f64 %264) %14)
%460 = (/.f64 %452 x)
%461 = (/.f64 %408 #s(literal 2 binary64))
%462 = (/.f64 %455 x)
%463 = (/.f64 %260 #s(literal -1 binary64))
%464 = (/.f64 %175 %270)
%465 = (/.f64 %262 #s(literal -1 binary64))
%466 = (/.f64 %264 x)
%467 = (/.f64 %268 #s(literal -1 binary64))
%468 = (/.f64 %395 %397)
%469 = (/.f64 %439 %441)
%470 = (/.f64 %447 %449)
%471 = (/.f64 %114 %267)
%472 = (/.f64 %277 #s(literal -1 binary64))
%473 = (/.f64 %200 #s(literal 1 binary64))
%475 = (/.f64 #s(literal 1 binary64) (/.f64 %267 %114))
%477 = (/.f64 #s(literal 1 binary64) (/.f64 %270 y))
%479 = (/.f64 #s(literal 1 binary64) (pow.f64 %200 #s(literal -1 binary64)))
%480 = (/.f64 y %270)
%481 = (neg.f64 %260)
%483 = (neg.f64 (*.f64 %291 x))
%485 = (neg.f64 (*.f64 x %291))
%486 = (neg.f64 %262)
%487 = (neg.f64 %268)
%488 = (neg.f64 %277)
%490 = (fma.f64 (*.f64 %238 %154) y %125)
%492 = (fma.f64 (*.f64 %238 %114) %160 %125)
%493 = (fma.f64 %30 %99 %221)
%495 = (fma.f64 #s(literal -24/29 binary64) %99 %125)
%496 = (fma.f64 %115 #s(literal 3 binary64) %221)
%497 = (fma.f64 %238 %170 %125)
%498 = (fma.f64 %247 %154 %125)
%500 = (fma.f64 %114 (*.f64 %160 %238) %125)
%501 = (fma.f64 %114 %59 %221)
%502 = (fma.f64 %114 #s(literal 12/29 binary64) %125)
%503 = (fma.f64 %111 #s(literal -3 binary64) %221)
%504 = (*.f64 #s(literal -4/29 binary64) y)
%505 = (fma.f64 %504 #s(literal 3 binary64) %125)
%506 = (fma.f64 #s(literal 2 binary64) %119 %221)
%508 = (fma.f64 #s(literal 2 binary64) (*.f64 %99 #s(literal -12/29 binary64)) %125)
%509 = (fma.f64 %59 %114 %221)
%510 = (fma.f64 #s(literal -4/29 binary64) %124 %125)
%511 = (fma.f64 #s(literal 12/29 binary64) %114 %125)
%512 = (fma.f64 %154 %247 %125)
%513 = (fma.f64 %14 %122 %221)
%514 = (fma.f64 %221 #s(literal 1 binary64) %125)
%515 = (fma.f64 %309 x %125)
%516 = (fma.f64 %335 #s(literal -3 binary64) %125)
%517 = (fma.f64 %125 #s(literal 1 binary64) %221)
%518 = (fma.f64 %122 %14 %221)
%519 = (fma.f64 %122 #s(literal 4/29 binary64) %125)
%520 = (fma.f64 #s(literal -3 binary64) %111 %221)
%521 = (fma.f64 #s(literal -3 binary64) %335 %125)
%522 = (fma.f64 %124 #s(literal -4/29 binary64) %125)
%523 = (fma.f64 %124 x %221)
%524 = (fma.f64 %170 %238 %125)
%525 = (fma.f64 #s(literal 1 binary64) %221 %125)
%526 = (fma.f64 #s(literal 1 binary64) %125 %221)
%527 = (fma.f64 %104 %208 %125)
%528 = (fma.f64 %104 #s(literal 3 binary64) %221)
%529 = (fma.f64 %28 y %221)
%530 = (fma.f64 #s(literal -12/29 binary64) y %125)
%531 = (fma.f64 #s(literal 4/29 binary64) %122 %125)
%533 = (fma.f64 y (*.f64 %208 x) %125)
%535 = (fma.f64 y (*.f64 %154 %238) %125)
%536 = (fma.f64 y %28 %221)
%537 = (fma.f64 y #s(literal -12/29 binary64) %125)
%538 = (fma.f64 #s(literal 3 binary64) %133 %221)
%539 = (fma.f64 #s(literal 3 binary64) %504 %125)
%540 = (fma.f64 #s(literal 3 binary64) %104 %221)
%541 = (fma.f64 x %309 %125)
%542 = (fma.f64 x %124 %221)
%543 = (-.f64 %221 %140)
%545 = (-.f64 %125 (*.f64 %184 %238))
%548 = (-.f64 %125 (*.f64 (neg.f64 %238) %170))
%550 = (-.f64 %125 (*.f64 %287 x))
%552 = (-.f64 %125 (*.f64 %14 %309))
%553 = (-.f64 %125 %228)
%554 = (+.f64 %221 %125)
%555 = (+.f64 %125 %221)
%556 = (approx %148 %200)
%557 = (*.f64 #s(literal 1 binary64) %556)
%558 = (pow.f64 %556 #s(literal 1 binary64))
%560 = (/.f64 #s(literal 1 binary64) (pow.f64 %556 #s(literal -1 binary64)))
%563 = (*.f64 %5 #s(literal 1 binary64))
%607 = (/.f64 %276 #s(literal -2 binary64))
%608 = (*.f64 %607 #s(literal 2 binary64))
%610 = (/.f64 %276 #s(literal -1/2 binary64))
%611 = (*.f64 %610 #s(literal 1/2 binary64))
%612 = (/.f64 %9 #s(literal -2 binary64))
%613 = (*.f64 %612 #s(literal 6 binary64))
%614 = (*.f64 #s(literal 6 binary64) %612)
%615 = (/.f64 %9 #s(literal -1/2 binary64))
%616 = (*.f64 %615 #s(literal 3/2 binary64))
%617 = (*.f64 #s(literal 3/2 binary64) %615)
%618 = (/.f64 %9 #s(literal -1 binary64))
%619 = (*.f64 %618 #s(literal 3 binary64))
%621 = (/.f64 #s(literal 2 binary64) %397)
%622 = (*.f64 #s(literal 1/4 binary64) %621)
%624 = (/.f64 %392 #s(literal 2 binary64))
%625 = (*.f64 #s(literal 4 binary64) %624)
%626 = (*.f64 %400 #s(literal 1/2 binary64))
%627 = (*.f64 %392 #s(literal 2 binary64))
%628 = (*.f64 #s(literal 1/2 binary64) %276)
%629 = (*.f64 #s(literal -2 binary64) %628)
%630 = (/.f64 %276 #s(literal 2 binary64))
%631 = (*.f64 #s(literal -2 binary64) %630)
%632 = (/.f64 #s(literal -1/2 binary64) %270)
%633 = (*.f64 #s(literal -2 binary64) %632)
%634 = (/.f64 %276 #s(literal 1/2 binary64))
%635 = (*.f64 #s(literal -1/2 binary64) %634)
%636 = (/.f64 #s(literal -2 binary64) %270)
%637 = (*.f64 #s(literal -1/2 binary64) %636)
%638 = (*.f64 %276 #s(literal -1 binary64))
%639 = (*.f64 #s(literal 1/2 binary64) %610)
%640 = (/.f64 #s(literal -2 binary64) %267)
%641 = (*.f64 #s(literal 1/2 binary64) %640)
%642 = (*.f64 #s(literal 1/2 binary64) %398)
%643 = (*.f64 #s(literal 2 binary64) %199)
%644 = (*.f64 #s(literal 1/2 binary64) %643)
%645 = (*.f64 #s(literal 2 binary64) %607)
%646 = (*.f64 #s(literal 2 binary64) %392)
%647 = (*.f64 %199 #s(literal 1 binary64))
%648 = (*.f64 %9 #s(literal -3 binary64))
%649 = (*.f64 #s(literal -3 binary64) %9)
%650 = (*.f64 #s(literal -1 binary64) %276)
%651 = (/.f64 %392 #s(literal 1/2 binary64))
%652 = (*.f64 #s(literal 1 binary64) %651)
%653 = (*.f64 #s(literal 1 binary64) %199)
%654 = (*.f64 %5 #s(literal 3 binary64))
%655 = (*.f64 #s(literal 3 binary64) %563)
%656 = (*.f64 #s(literal 3 binary64) %618)
%657 = (*.f64 #s(literal 3 binary64) %5)
%658 = (pow.f64 %270 #s(literal -1 binary64))
%659 = (pow.f64 %199 #s(literal 1 binary64))
%663 = (/.f64 (fma.f64 #s(literal 1/4 binary64) %397 (*.f64 %397 #s(literal 1/4 binary64))) (*.f64 %397 %397))
%666 = (/.f64 (+.f64 #s(literal 1/4 binary64) (*.f64 %397 %392)) %397)
%670 = (/.f64 (fma.f64 #s(literal 1/4 binary64) %267 (*.f64 %397 #s(literal -1/2 binary64))) (*.f64 %397 %267))
%673 = (*.f64 %397 %270)
%674 = (/.f64 (fma.f64 #s(literal 1/4 binary64) %270 (*.f64 %397 #s(literal 1/2 binary64))) %673)
%676 = (/.f64 (fma.f64 %392 %397 #s(literal 1/4 binary64)) %397)
%678 = (/.f64 (fma.f64 %392 %267 #s(literal -1/2 binary64)) %267)
%680 = (/.f64 (fma.f64 %392 %270 #s(literal 1/2 binary64)) %270)
%684 = (/.f64 (fma.f64 #s(literal -1/2 binary64) %397 (*.f64 %267 #s(literal 1/4 binary64))) (*.f64 %267 %397))
%687 = (/.f64 (+.f64 #s(literal -1/2 binary64) (*.f64 %267 %392)) %267)
%691 = (/.f64 (+.f64 %397 (*.f64 %267 #s(literal -1/2 binary64))) (*.f64 %267 %267))
%694 = (*.f64 %267 %270)
%695 = (/.f64 (fma.f64 #s(literal -1/2 binary64) %270 (*.f64 %267 #s(literal 1/2 binary64))) %694)
%699 = (/.f64 (fma.f64 #s(literal 1/2 binary64) %397 (*.f64 %270 #s(literal 1/4 binary64))) (*.f64 %270 %397))
%702 = (/.f64 (+.f64 #s(literal 1/2 binary64) (*.f64 %270 %392)) %270)
%706 = (/.f64 (fma.f64 #s(literal 1/2 binary64) %267 (*.f64 %270 #s(literal -1/2 binary64))) (*.f64 %270 %267))
%709 = (*.f64 %270 %270)
%710 = (/.f64 (+.f64 %397 (*.f64 %270 #s(literal 1/2 binary64))) %709)
%712 = (/.f64 (fma.f64 %607 %270 #s(literal 0 binary64)) %397)
%714 = (/.f64 (fma.f64 %610 %270 #s(literal 0 binary64)) %449)
%716 = (/.f64 (fma.f64 %400 %270 #s(literal 0 binary64)) %449)
%718 = (/.f64 (fma.f64 %643 %270 #s(literal 0 binary64)) %449)
%719 = (*.f64 %267 #s(literal 2 binary64))
%723 = (/.f64 (fma.f64 #s(literal -2 binary64) %270 (*.f64 %719 #s(literal 0 binary64))) (*.f64 %719 %270))
%727 = (/.f64 (fma.f64 #s(literal -2 binary64) %270 (*.f64 %441 #s(literal 0 binary64))) (*.f64 %441 %270))
%729 = (/.f64 (fma.f64 %276 %270 #s(literal 0 binary64)) %267)
%730 = (*.f64 %270 #s(literal 2 binary64))
%734 = (/.f64 (fma.f64 #s(literal 2 binary64) %270 (*.f64 %730 #s(literal 0 binary64))) (*.f64 %730 %270))
%738 = (/.f64 (fma.f64 #s(literal 2 binary64) %270 (*.f64 %449 #s(literal 0 binary64))) (*.f64 %449 %270))
%740 = (/.f64 (fma.f64 %199 %270 #s(literal 0 binary64)) %270)
%743 = (/.f64 (fma.f64 %30 #s(literal 2 binary64) #s(literal -48/29 binary64)) #s(literal 4 binary64))
%745 = (/.f64 (fma.f64 %30 #s(literal 1 binary64) #s(literal -24/29 binary64)) #s(literal 2 binary64))
%747 = (/.f64 (fma.f64 %35 #s(literal 2 binary64) #s(literal -48/29 binary64)) #s(literal 4 binary64))
%749 = (/.f64 (fma.f64 %35 #s(literal 1 binary64) #s(literal -24/29 binary64)) #s(literal 2 binary64))
%751 = (/.f64 (fma.f64 %28 #s(literal 2 binary64) #s(literal -24/29 binary64)) #s(literal 2 binary64))
%754 = (/.f64 (+.f64 #s(literal -48/29 binary64) (*.f64 #s(literal 2 binary64) %30)) #s(literal 4 binary64))
%757 = (/.f64 (+.f64 #s(literal -48/29 binary64) (*.f64 #s(literal 2 binary64) %35)) #s(literal 4 binary64))
%759 = (/.f64 (+.f64 #s(literal -24/29 binary64) %35) #s(literal 2 binary64))
%762 = (/.f64 (+.f64 #s(literal -24/29 binary64) (*.f64 #s(literal 1 binary64) %30)) #s(literal 2 binary64))
%765 = (/.f64 (+.f64 #s(literal -24/29 binary64) (*.f64 #s(literal 1 binary64) %35)) #s(literal 2 binary64))
%768 = (/.f64 (+.f64 %397 (*.f64 %397 #s(literal 0 binary64))) %673)
%771 = (/.f64 (+.f64 %270 (*.f64 %270 #s(literal 0 binary64))) %709)
%774 = (/.f64 (+.f64 %267 (*.f64 %267 #s(literal 0 binary64))) %694)
%778 = (/.f64 (-.f64 (*.f64 %30 #s(literal 1 binary64)) #s(literal 24/29 binary64)) #s(literal 2 binary64))
%781 = (/.f64 (-.f64 (*.f64 %35 #s(literal 1 binary64)) #s(literal 24/29 binary64)) #s(literal 2 binary64))
%784 = (/.f64 (-.f64 #s(literal -24/29 binary64) (*.f64 #s(literal 2 binary64) %59)) #s(literal 2 binary64))
%786 = (/.f64 (neg.f64 %607) #s(literal -1/2 binary64))
%788 = (/.f64 (neg.f64 %610) #s(literal -2 binary64))
%790 = (/.f64 (neg.f64 %400) #s(literal -2 binary64))
%791 = (neg.f64 %643)
%792 = (/.f64 %791 #s(literal -2 binary64))
%793 = (/.f64 %607 #s(literal 1/2 binary64))
%794 = (/.f64 %610 #s(literal 2 binary64))
%795 = (/.f64 %400 #s(literal 2 binary64))
%796 = (/.f64 %643 #s(literal 2 binary64))
%798 = (/.f64 #s(literal -2 binary64) (neg.f64 %730))
%799 = (/.f64 #s(literal -2 binary64) %450)
%800 = (/.f64 #s(literal -2 binary64) %719)
%801 = (/.f64 #s(literal -2 binary64) %441)
%802 = (/.f64 #s(literal -1/2 binary64) %445)
%803 = (/.f64 #s(literal -1/2 binary64) %199)
%804 = (/.f64 #s(literal -1/2 binary64) %803)
%805 = (/.f64 %276 #s(literal -1 binary64))
%806 = (/.f64 #s(literal 1/2 binary64) %397)
%808 = (/.f64 #s(literal 2 binary64) (neg.f64 %719))
%809 = (/.f64 #s(literal 2 binary64) %442)
%810 = (/.f64 #s(literal 2 binary64) %730)
%811 = (/.f64 #s(literal 2 binary64) %449)
%812 = (/.f64 %199 #s(literal 1 binary64))
%813 = (/.f64 #s(literal -1 binary64) %267)
%814 = (/.f64 #s(literal 1 binary64) %270)
%815 = (neg.f64 %276)
%817 = (fma.f64 (*.f64 #s(literal 1/2 binary64) %5) #s(literal 3 binary64) %392)
%818 = (fma.f64 %30 #s(literal 1/2 binary64) #s(literal -12/29 binary64))
%819 = (fma.f64 %33 #s(literal 2 binary64) #s(literal -12/29 binary64))
%820 = (*.f64 %199 #s(literal 0 binary64))
%821 = (fma.f64 %607 #s(literal 2 binary64) %820)
%822 = (*.f64 #s(literal 0 binary64) %199)
%823 = (fma.f64 %607 #s(literal 2 binary64) %822)
%824 = (/.f64 #s(literal 0 binary64) %267)
%825 = (fma.f64 %607 #s(literal 2 binary64) %824)
%826 = (fma.f64 %610 #s(literal 1/2 binary64) %820)
%827 = (fma.f64 %610 #s(literal 1/2 binary64) %822)
%828 = (fma.f64 %610 #s(literal 1/2 binary64) %824)
%829 = (fma.f64 %612 #s(literal 6 binary64) %820)
%830 = (fma.f64 %612 #s(literal 6 binary64) %822)
%831 = (fma.f64 %612 #s(literal 6 binary64) %824)
%832 = (fma.f64 #s(literal 6 binary64) %612 %820)
%833 = (fma.f64 #s(literal 6 binary64) %612 %822)
%834 = (fma.f64 #s(literal 6 binary64) %612 %824)
%835 = (fma.f64 %615 #s(literal 3/2 binary64) %820)
%836 = (fma.f64 %615 #s(literal 3/2 binary64) %822)
%837 = (fma.f64 %615 #s(literal 3/2 binary64) %824)
%838 = (fma.f64 #s(literal 3/2 binary64) %615 %820)
%839 = (fma.f64 #s(literal 3/2 binary64) %615 %822)
%840 = (fma.f64 #s(literal 3/2 binary64) %615 %824)
%841 = (fma.f64 #s(literal 3/2 binary64) %5 %392)
%842 = (fma.f64 %618 #s(literal 3 binary64) %820)
%843 = (fma.f64 %618 #s(literal 3 binary64) %822)
%844 = (fma.f64 %618 #s(literal 3 binary64) %824)
%845 = (fma.f64 #s(literal 1/4 binary64) %621 %820)
%846 = (fma.f64 #s(literal 1/4 binary64) %621 %822)
%847 = (fma.f64 #s(literal 1/4 binary64) %621 %824)
%848 = (fma.f64 %632 #s(literal -1 binary64) %392)
%849 = (fma.f64 #s(literal 4 binary64) %624 %820)
%850 = (fma.f64 #s(literal 4 binary64) %624 %822)
%851 = (fma.f64 #s(literal 4 binary64) %624 %824)
%852 = (fma.f64 %400 #s(literal 1/2 binary64) %820)
%853 = (fma.f64 %400 #s(literal 1/2 binary64) %822)
%854 = (fma.f64 %400 #s(literal 1/2 binary64) %824)
%855 = (fma.f64 %392 #s(literal 2 binary64) %820)
%856 = (fma.f64 %392 #s(literal 2 binary64) %822)
%857 = (fma.f64 %392 #s(literal 2 binary64) %824)
%858 = (fma.f64 %392 #s(literal 1 binary64) %392)
%859 = (fma.f64 #s(literal -2 binary64) %628 %820)
%860 = (fma.f64 #s(literal -2 binary64) %628 %822)
%861 = (fma.f64 #s(literal -2 binary64) %628 %824)
%862 = (fma.f64 #s(literal -2 binary64) %630 %820)
%863 = (fma.f64 #s(literal -2 binary64) %630 %822)
%864 = (fma.f64 #s(literal -2 binary64) %630 %824)
%865 = (fma.f64 #s(literal -2 binary64) %632 %820)
%866 = (fma.f64 #s(literal -2 binary64) %632 %822)
%867 = (fma.f64 #s(literal -2 binary64) %632 %824)
%868 = (fma.f64 #s(literal -1/2 binary64) %634 %820)
%869 = (fma.f64 #s(literal -1/2 binary64) %634 %822)
%870 = (fma.f64 #s(literal -1/2 binary64) %634 %824)
%871 = (fma.f64 #s(literal -1/2 binary64) %636 %820)
%872 = (fma.f64 #s(literal -1/2 binary64) %636 %822)
%873 = (fma.f64 #s(literal -1/2 binary64) %636 %824)
%874 = (fma.f64 #s(literal -1/2 binary64) %276 %392)
%875 = (fma.f64 %276 #s(literal -1 binary64) %820)
%876 = (fma.f64 %276 #s(literal -1 binary64) %822)
%877 = (fma.f64 %276 #s(literal -1 binary64) %824)
%878 = (fma.f64 #s(literal 1/2 binary64) %35 #s(literal -12/29 binary64))
%879 = (fma.f64 #s(literal 1/2 binary64) %610 %820)
%880 = (fma.f64 #s(literal 1/2 binary64) %610 %822)
%881 = (fma.f64 #s(literal 1/2 binary64) %610 %824)
%882 = (fma.f64 #s(literal 1/2 binary64) %640 %820)
%883 = (fma.f64 #s(literal 1/2 binary64) %640 %822)
%884 = (fma.f64 #s(literal 1/2 binary64) %640 %824)
%885 = (fma.f64 #s(literal 1/2 binary64) %398 %820)
%886 = (fma.f64 #s(literal 1/2 binary64) %398 %822)
%887 = (fma.f64 #s(literal 1/2 binary64) %398 %824)
%888 = (fma.f64 #s(literal 1/2 binary64) %643 %820)
%889 = (fma.f64 #s(literal 1/2 binary64) %643 %822)
%890 = (fma.f64 #s(literal 1/2 binary64) %643 %824)
%891 = (fma.f64 #s(literal 1/2 binary64) %199 %392)
%892 = (fma.f64 #s(literal 2 binary64) %37 #s(literal -12/29 binary64))
%893 = (fma.f64 #s(literal 2 binary64) %607 %820)
%894 = (fma.f64 #s(literal 2 binary64) %607 %822)
%895 = (fma.f64 #s(literal 2 binary64) %607 %824)
%896 = (fma.f64 #s(literal 2 binary64) %392 %820)
%897 = (fma.f64 #s(literal 2 binary64) %392 %822)
%898 = (fma.f64 #s(literal 2 binary64) %392 %824)
%899 = (fma.f64 %14 #s(literal -3 binary64) #s(literal -12/29 binary64))
%900 = (fma.f64 %199 #s(literal 1/2 binary64) %392)
%901 = (fma.f64 %199 #s(literal 1 binary64) %820)
%902 = (fma.f64 %199 #s(literal 1 binary64) %822)
%903 = (fma.f64 %199 #s(literal 1 binary64) %824)
%904 = (fma.f64 %9 #s(literal -3 binary64) %820)
%905 = (fma.f64 %9 #s(literal -3 binary64) %822)
%906 = (fma.f64 %9 #s(literal -3 binary64) %824)
%907 = (fma.f64 #s(literal -3 binary64) %14 #s(literal -12/29 binary64))
%908 = (fma.f64 #s(literal -3 binary64) %9 %820)
%909 = (fma.f64 #s(literal -3 binary64) %9 %822)
%910 = (fma.f64 #s(literal -3 binary64) %9 %824)
%911 = (fma.f64 #s(literal -1 binary64) %276 %820)
%912 = (fma.f64 #s(literal -1 binary64) %276 %822)
%913 = (fma.f64 #s(literal -1 binary64) %276 %824)
%914 = (fma.f64 #s(literal 1 binary64) %651 %820)
%915 = (fma.f64 #s(literal 1 binary64) %651 %822)
%916 = (fma.f64 #s(literal 1 binary64) %651 %824)
%917 = (fma.f64 #s(literal 1 binary64) %392 %392)
%918 = (fma.f64 #s(literal 1 binary64) %199 %820)
%919 = (fma.f64 #s(literal 1 binary64) %199 %822)
%920 = (fma.f64 #s(literal 1 binary64) %199 %824)
%921 = (fma.f64 #s(literal 1 binary64) %28 #s(literal -12/29 binary64))
%922 = (fma.f64 %28 #s(literal 1 binary64) #s(literal -12/29 binary64))
%923 = (fma.f64 %5 #s(literal 3 binary64) %820)
%924 = (fma.f64 %5 #s(literal 3 binary64) %822)
%925 = (fma.f64 %5 #s(literal 3 binary64) %824)
%926 = (fma.f64 #s(literal 3 binary64) %563 %820)
%927 = (fma.f64 #s(literal 3 binary64) %563 %822)
%928 = (fma.f64 #s(literal 3 binary64) %563 %824)
%929 = (fma.f64 #s(literal 3 binary64) %44 #s(literal -12/29 binary64))
%930 = (fma.f64 #s(literal 3 binary64) %618 %820)
%931 = (fma.f64 #s(literal 3 binary64) %618 %822)
%932 = (fma.f64 #s(literal 3 binary64) %618 %824)
%933 = (fma.f64 #s(literal 3 binary64) %5 %820)
%934 = (fma.f64 #s(literal 3 binary64) %5 %822)
%935 = (fma.f64 #s(literal 3 binary64) %5 %824)
%936 = (fma.f64 x #s(literal 3 binary64) #s(literal -12/29 binary64))
%937 = (-.f64 %28 #s(literal 12/29 binary64))
%938 = (-.f64 #s(literal -12/29 binary64) %57)
%940 = (-.f64 #s(literal -12/29 binary64) (*.f64 %59 #s(literal 1 binary64)))
%942 = (-.f64 #s(literal -12/29 binary64) (/.f64 %59 #s(literal 1 binary64)))
%943 = (-.f64 #s(literal -12/29 binary64) %59)
%944 = (+.f64 %392 %392)
%945 = (+.f64 %199 %820)
%946 = (+.f64 %199 %822)
%947 = (+.f64 %199 %824)
%948 = (+.f64 %28 #s(literal -12/29 binary64))
%949 = (+.f64 #s(literal -12/29 binary64) %28)
%950 = (/.f64 %267 #s(literal -2 binary64))
%952 = (/.f64 #s(literal 2 binary64) %392)
%954 = (/.f64 #s(literal -2 binary64) %276)
%957 = (/.f64 #s(literal -2 binary64) %9)
%960 = (/.f64 #s(literal -1/2 binary64) %9)
%966 = (/.f64 %397 #s(literal 2 binary64))
%968 = (*.f64 #s(literal 1/2 binary64) %267)
%970 = (/.f64 %267 #s(literal 2 binary64))
%973 = (/.f64 %267 #s(literal 1/2 binary64))
%975 = (/.f64 #s(literal -2 binary64) %199)
%978 = (/.f64 %267 #s(literal -1/2 binary64))
%981 = (/.f64 #s(literal 1 binary64) %392)
%989 = (/.f64 %397 #s(literal 1/2 binary64))
%1016 = (*.f64 %392 %199)
%1038 = (*.f64 %5 %199)
%1057 = (*.f64 #s(literal 3 binary64) %199)
%1080 = (*.f64 %276 %199)
%1129 = (*.f64 #s(literal 2 binary64) %276)
%1183 = (/.f64 #s(literal 0 binary64) %276)
%1247 = (*.f64 %23 y)
%1264 = (*.f64 %142 y)
x
#s(literal 3 binary64)
y
#s(literal 4/29 binary64)
(*.f64 #s(literal 1 binary64) %5)
(pow.f64 %5 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %10)
(neg.f64 %9)
(-.f64 #s(literal -4/29 binary64) %14)
%5
(+.f64 #s(literal -4/29 binary64) x)
(+.f64 x #s(literal -4/29 binary64))
#s(literal -12/29 binary64)
(*.f64 #s(literal 1 binary64) %23)
(pow.f64 %23 #s(literal 1 binary64))
%23
(/.f64 #s(literal 1 binary64) (pow.f64 %23 #s(literal -1 binary64)))
(*.f64 %30 #s(literal 1/2 binary64))
(*.f64 %33 #s(literal 2 binary64))
(*.f64 #s(literal 1/2 binary64) %35)
(*.f64 #s(literal 2 binary64) %37)
(*.f64 %14 #s(literal -3 binary64))
(*.f64 #s(literal -3 binary64) %14)
(*.f64 #s(literal 1 binary64) %28)
(*.f64 %28 #s(literal 1 binary64))
(*.f64 #s(literal 3 binary64) %44)
%28
(*.f64 x #s(literal 3 binary64))
(pow.f64 %28 #s(literal 1 binary64))
(/.f64 (neg.f64 %30) #s(literal -2 binary64))
(/.f64 (neg.f64 %35) #s(literal -2 binary64))
(/.f64 %30 #s(literal 2 binary64))
(/.f64 %35 #s(literal 2 binary64))
(/.f64 %55 #s(literal -1 binary64))
(/.f64 %57 #s(literal -1 binary64))
(/.f64 %59 #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %28 #s(literal -1 binary64)))
(/.f64 %28 #s(literal 1 binary64))
(neg.f64 %55)
(neg.f64 %57)
(neg.f64 %59)
(fma.f64 %30 #s(literal 1/2 binary64) %68)
(fma.f64 %30 #s(literal 1/2 binary64) %70)
(fma.f64 %33 #s(literal 2 binary64) %68)
(fma.f64 %33 #s(literal 2 binary64) %70)
(fma.f64 #s(literal 1/2 binary64) %35 %68)
(fma.f64 #s(literal 1/2 binary64) %35 %70)
(fma.f64 #s(literal 1/2 binary64) %28 %37)
(fma.f64 #s(literal 2 binary64) %37 %68)
(fma.f64 #s(literal 2 binary64) %37 %70)
(fma.f64 %14 #s(literal -3 binary64) %68)
(fma.f64 %14 #s(literal -3 binary64) %70)
(fma.f64 #s(literal -3 binary64) %14 %68)
(fma.f64 #s(literal -3 binary64) %14 %70)
(fma.f64 #s(literal 1 binary64) %28 %68)
(fma.f64 #s(literal 1 binary64) %28 %70)
(fma.f64 %28 #s(literal 1/2 binary64) %33)
(fma.f64 %28 #s(literal 1 binary64) %68)
(fma.f64 %28 #s(literal 1 binary64) %70)
(fma.f64 #s(literal 3 binary64) %44 %68)
(fma.f64 #s(literal 3 binary64) %44 %70)
(fma.f64 #s(literal 3 binary64) x %68)
(fma.f64 #s(literal 3 binary64) x %70)
(fma.f64 x #s(literal 3 binary64) %68)
(fma.f64 x #s(literal 3 binary64) %70)
(+.f64 %33 %33)
(+.f64 %37 %37)
(+.f64 %28 %68)
(+.f64 %28 %70)
(*.f64 %98 %99)
(*.f64 %44 y)
(*.f64 #s(literal 2 binary64) %102)
(*.f64 #s(literal 1 binary64) %104)
(*.f64 %104 #s(literal 1 binary64))
%104
(*.f64 x y)
(pow.f64 %104 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %104 #s(literal -1 binary64)))
(neg.f64 %111)
%113
%116
%117
%118
%120
%121
%123
%126
%127
%128
%125
%129
%130
%131
%132
%134
%135
%136
%137
%139
%141
#s(literal 1 binary64)
(*.f64 #s(literal 1 binary64) %142)
(pow.f64 %142 #s(literal 1 binary64))
%142
(/.f64 #s(literal 1 binary64) (pow.f64 %142 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %149)
(pow.f64 %149 #s(literal 1 binary64))
%149
(/.f64 #s(literal 1 binary64) (pow.f64 %149 #s(literal -1 binary64)))
(*.f64 (*.f64 %154 #s(literal 2 binary64)) %99)
(*.f64 %157 %158)
(*.f64 %114 %160)
(*.f64 %160 %114)
(*.f64 #s(literal 2 binary64) (*.f64 %158 y))
(*.f64 #s(literal 2 binary64) (*.f64 %99 %154))
(*.f64 #s(literal 2 binary64) (/.f64 %99 x))
(*.f64 %154 y)
(*.f64 %170 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %170)
(*.f64 y %154)
(pow.f64 %170 #s(literal 1 binary64))
(/.f64 %175 x)
(/.f64 %114 %14)
(/.f64 #s(literal 1 binary64) (/.f64 %14 %114))
(/.f64 #s(literal 1 binary64) (pow.f64 %170 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 x y))
%170
(neg.f64 %184)
(*.f64 #s(literal 6 binary64) %99)
(*.f64 %114 #s(literal -3 binary64))
(*.f64 #s(literal 2 binary64) %189)
(*.f64 #s(literal -3 binary64) %114)
(*.f64 %124 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %124)
%124
(*.f64 #s(literal 3 binary64) y)
(pow.f64 %124 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %124 #s(literal -1 binary64)))
(neg.f64 %122)
(*.f64 %200 %154)
(*.f64 %199 %170)
(*.f64 %203 (/.f64 #s(literal 3 binary64) x))
(*.f64 %124 (/.f64 %5 x))
(*.f64 #s(literal 1 binary64) %210)
(*.f64 %5 (/.f64 %124 x))
%210
(*.f64 y (+.f64 %208 #s(literal 3 binary64)))
(*.f64 y (-.f64 %208 #s(literal -3 binary64)))
(*.f64 #s(literal 3 binary64) (/.f64 %203 x))
(pow.f64 %210 #s(literal 1 binary64))
(/.f64 (fma.f64 %125 %14 (*.f64 x %222)) %225)
(/.f64 (fma.f64 %125 %14 %229) %225)
(/.f64 (fma.f64 %222 x %232) %234)
(/.f64 (fma.f64 %228 x %232) %234)
(/.f64 (fma.f64 %238 y (*.f64 x %125)) %241)
(/.f64 (-.f64 (*.f64 %125 x) %229) %241)
(/.f64 (-.f64 (*.f64 %125 %14) %247) %225)
(/.f64 (-.f64 (*.f64 %222 x) %251) %234)
(/.f64 (-.f64 (*.f64 %228 x) %251) %234)
(/.f64 (-.f64 %247 (*.f64 x %140)) %241)
(/.f64 %260 %14)
(/.f64 %262 %14)
(/.f64 %264 %241)
(/.f64 %268 %14)
(/.f64 %114 (neg.f64 %271))
(/.f64 %114 %274)
(/.f64 %277 %14)
(/.f64 %200 x)
(/.f64 #s(literal 1 binary64) (/.f64 x %200))
(/.f64 #s(literal 1 binary64) (pow.f64 %210 #s(literal -1 binary64)))
(/.f64 y (neg.f64 %274))
(/.f64 y %271)
(neg.f64 (-.f64 %287 %124))
(neg.f64 %291)
(fma.f64 %293 %158 %294)
(fma.f64 %293 %158 %124)
(fma.f64 %297 #s(literal 3 binary64) %294)
(fma.f64 %297 #s(literal 3 binary64) %124)
(fma.f64 %300 #s(literal 4/29 binary64) %294)
(fma.f64 %300 #s(literal 4/29 binary64) %124)
(fma.f64 %303 #s(literal -3 binary64) %294)
(fma.f64 %303 #s(literal -3 binary64) %124)
(fma.f64 %306 #s(literal -4/29 binary64) %294)
(fma.f64 %306 #s(literal -4/29 binary64) %124)
(fma.f64 #s(literal 6 binary64) %99 %309)
(fma.f64 %208 y %294)
(fma.f64 %208 y %124)
(fma.f64 %114 %313 %294)
(fma.f64 %114 %313 %124)
(fma.f64 %114 %316 %294)
(fma.f64 %114 %316 %124)
(fma.f64 %114 #s(literal -3 binary64) %309)
(fma.f64 %228 %160 %294)
(fma.f64 %228 %160 %124)
(fma.f64 #s(literal 2 binary64) %189 %309)
(fma.f64 #s(literal 2 binary64) %323 %294)
(fma.f64 #s(literal 2 binary64) %323 %124)
(fma.f64 #s(literal -4/29 binary64) %326 %294)
(fma.f64 #s(literal -4/29 binary64) %326 %124)
(fma.f64 %154 %221 %294)
(fma.f64 %154 %221 %124)
(fma.f64 %221 %154 %294)
(fma.f64 %221 %154 %124)
(fma.f64 %309 #s(literal 1 binary64) %294)
(fma.f64 %309 #s(literal 1 binary64) %124)
(fma.f64 %335 %336 %294)
(fma.f64 %335 %336 %124)
(fma.f64 %335 %339 %294)
(fma.f64 %335 %339 %124)
(fma.f64 %122 %342 %294)
(fma.f64 %122 %342 %124)
(fma.f64 %122 %345 %294)
(fma.f64 %122 %345 %124)
(fma.f64 #s(literal -3 binary64) %348 %294)
(fma.f64 #s(literal -3 binary64) %348 %124)
(fma.f64 #s(literal -3 binary64) %351 %294)
(fma.f64 #s(literal -3 binary64) %351 %124)
(fma.f64 #s(literal -3 binary64) %354 %294)
(fma.f64 #s(literal -3 binary64) %354 %124)
(fma.f64 #s(literal -3 binary64) %114 %309)
(fma.f64 %124 #s(literal 1 binary64) %309)
(fma.f64 %170 #s(literal -12/29 binary64) %294)
(fma.f64 %170 #s(literal -12/29 binary64) %124)
(fma.f64 #s(literal 1 binary64) %309 %294)
(fma.f64 #s(literal 1 binary64) %309 %124)
(fma.f64 #s(literal 1 binary64) %124 %309)
(fma.f64 #s(literal -12/29 binary64) %170 %294)
(fma.f64 #s(literal -12/29 binary64) %170 %124)
(fma.f64 #s(literal 4/29 binary64) %366 %294)
(fma.f64 #s(literal 4/29 binary64) %366 %124)
(fma.f64 #s(literal 4/29 binary64) %369 %294)
(fma.f64 #s(literal 4/29 binary64) %369 %124)
(fma.f64 #s(literal 4/29 binary64) %372 %294)
(fma.f64 #s(literal 4/29 binary64) %372 %124)
(fma.f64 y %208 %294)
(fma.f64 y %208 %124)
(fma.f64 y #s(literal 3 binary64) %309)
(fma.f64 #s(literal 3 binary64) %378 %294)
(fma.f64 #s(literal 3 binary64) %378 %124)
(fma.f64 #s(literal 3 binary64) y %309)
(-.f64 %294 %287)
(-.f64 %309 (/.f64 %140 x))
(-.f64 %309 %122)
(-.f64 %124 %287)
(+.f64 %294 %309)
(+.f64 %309 %294)
(+.f64 %309 %124)
(+.f64 %124 %309)
%393
%394
%399
%401
%403
%404
%405
%407
%409
%411
%413
%415
%417
%419
%420
%421
%200
%422
%423
%424
%425
%426
%427
%428
%430
%431
%432
%433
%434
%435
%436
%438
%443
%446
%451
%454
%457
%459
%460
%461
%462
%463
%464
%465
%466
%467
%468
%469
%470
%471
%472
%473
%475
%477
%479
%480
%481
%483
%485
%486
%487
%488
%490
%492
%493
%495
%496
%497
%498
%500
%501
%502
%503
%505
%506
%508
%509
%510
%511
%512
%513
%514
%515
%516
%517
%518
%519
%520
%521
%522
%523
%524
%525
%526
%527
%528
%529
%530
%531
%533
%535
%536
%537
%538
%539
%540
%541
%542
%543
%545
%548
%550
%552
%553
%554
%555
%557
%558
%556
%560
#s(literal -1 binary64)
#s(literal -3 binary64)
(*.f64 (*.f64 %5 #s(literal 2 binary64)) %99)
(*.f64 %563 y)
(*.f64 %114 %9)
(*.f64 #s(literal 2 binary64) (*.f64 %99 %5))
(*.f64 %9 %114)
(*.f64 %203 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %203)
%203
(*.f64 y %5)
(pow.f64 %203 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %203 #s(literal -1 binary64)))
(neg.f64 %406)
(fma.f64 #s(literal -8/29 binary64) %99 %104)
(fma.f64 %98 %99 %504)
(fma.f64 %44 y %504)
(fma.f64 %114 #s(literal 4/29 binary64) %104)
(fma.f64 %504 #s(literal 1 binary64) %104)
(fma.f64 #s(literal 2 binary64) %102 %504)
(fma.f64 #s(literal 2 binary64) (*.f64 %99 #s(literal -4/29 binary64)) %104)
(fma.f64 #s(literal -4/29 binary64) y %104)
(fma.f64 #s(literal 1 binary64) %504 %104)
(fma.f64 #s(literal 1 binary64) %104 %504)
(fma.f64 %104 #s(literal 1 binary64) %504)
(fma.f64 #s(literal 4/29 binary64) %114 %104)
(fma.f64 y #s(literal -4/29 binary64) %104)
(fma.f64 y x %504)
(fma.f64 x y %504)
(-.f64 %104 (*.f64 %114 #s(literal -4/29 binary64)))
(-.f64 %104 %335)
(+.f64 %504 %104)
(+.f64 %104 %504)
%393
%394
%399
%401
%403
%404
%405
%407
%409
%411
%413
%415
%417
%419
%420
%421
%200
%422
%423
%424
%425
%426
%427
%428
%430
%431
%432
%433
%434
%435
%436
%438
%443
%446
%451
%454
%457
%459
%460
%461
%462
%463
%464
%465
%466
%467
%468
%469
%470
%471
%472
%473
%475
%477
%479
%480
%481
%483
%485
%486
%487
%488
%490
%492
%493
%495
%496
%497
%498
%500
%501
%502
%503
%505
%506
%508
%509
%510
%511
%512
%513
%514
%515
%516
%517
%518
%519
%520
%521
%522
%523
%524
%525
%526
%527
%528
%529
%530
%531
%533
%535
%536
%537
%538
%539
%540
%541
%542
%543
%545
%548
%550
%552
%553
%554
%555
%557
%558
%556
%560
(*.f64 #s(literal 1 binary64) %9)
(pow.f64 %9 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %9 #s(literal -1 binary64)))
(neg.f64 %5)
(fma.f64 #s(literal 1 binary64) %14 #s(literal 4/29 binary64))
(-.f64 %14 #s(literal -4/29 binary64))
%9
(+.f64 %14 #s(literal 4/29 binary64))
(+.f64 #s(literal 4/29 binary64) %14)
%608
%611
%613
%614
%616
%617
%619
%622
%625
%626
%627
%629
%631
%633
%635
%637
%638
%639
%641
%642
%644
%645
%646
%647
%648
%649
%650
%652
%653
%654
%655
%656
%657
%658
%659
%663
%666
%670
%674
%676
%678
%680
%684
%687
%691
%695
%699
%702
%706
%710
%712
%714
%716
%718
%723
%727
%729
%734
%738
%740
%743
%745
%747
%749
%751
%754
%757
%759
%762
%765
%768
%771
%774
%778
%781
%784
%786
%788
%790
%792
%793
%794
%795
%796
%798
%799
%800
%801
%802
%804
%805
%806
%808
%809
%810
%811
%812
%813
%814
%815
%817
%818
%819
%821
%823
%825
%826
%827
%828
%829
%830
%831
%832
%833
%834
%835
%836
%837
%838
%839
%840
%841
%842
%843
%844
%845
%846
%847
%848
%849
%850
%851
%852
%853
%854
%855
%856
%857
%858
%859
%860
%861
%862
%863
%864
%865
%866
%867
%868
%869
%870
%871
%872
%873
%874
%875
%876
%877
%878
%879
%880
%881
%882
%883
%884
%885
%886
%887
%888
%889
%890
%891
%892
%893
%894
%895
%896
%897
%898
%899
%900
%901
%902
%903
%904
%905
%906
%907
%908
%909
%910
%911
%912
%913
%914
%915
%916
%917
%918
%919
%920
%921
%922
%923
%924
%925
%926
%927
%928
%929
%930
%931
%932
%933
%934
%935
%199
%936
%937
%938
%940
%942
%943
%944
%945
%946
%947
%948
%949
(*.f64 %950 #s(literal 2 binary64))
(*.f64 #s(literal 1/4 binary64) %952)
(*.f64 %954 #s(literal 1/2 binary64))
(*.f64 #s(literal 1/6 binary64) %957)
(*.f64 %957 #s(literal 1/6 binary64))
(*.f64 %960 #s(literal 2/3 binary64))
(*.f64 #s(literal 2/3 binary64) %960)
(*.f64 %10 #s(literal 1/3 binary64))
(*.f64 #s(literal 1/3 binary64) %10)
(*.f64 #s(literal 4 binary64) %966)
(*.f64 #s(literal -2 binary64) %968)
(*.f64 #s(literal -2 binary64) %970)
(*.f64 #s(literal -2 binary64) %803)
(*.f64 #s(literal -1/2 binary64) %973)
(*.f64 #s(literal -1/2 binary64) %975)
(*.f64 %397 #s(literal 2 binary64))
(*.f64 #s(literal 1/2 binary64) %978)
(*.f64 #s(literal 1/2 binary64) %954)
(*.f64 #s(literal 1/2 binary64) %981)
(*.f64 #s(literal 1/2 binary64) %449)
(*.f64 #s(literal 2 binary64) %950)
(*.f64 #s(literal 2 binary64) %397)
(*.f64 %267 #s(literal -1 binary64))
(*.f64 %270 #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) %267)
(*.f64 #s(literal 1 binary64) %989)
(*.f64 #s(literal 1 binary64) %270)
(pow.f64 %270 #s(literal 1 binary64))
(pow.f64 %199 #s(literal -1 binary64))
(/.f64 (fma.f64 #s(literal 1/4 binary64) %392 (*.f64 %392 #s(literal 1/4 binary64))) (*.f64 %392 %392))
(/.f64 (fma.f64 #s(literal 1/4 binary64) %5 (*.f64 %392 #s(literal 1/6 binary64))) (*.f64 %392 %5))
(/.f64 (+.f64 #s(literal 3/4 binary64) (*.f64 %392 %960)) (*.f64 %392 #s(literal 3 binary64)))
(/.f64 (fma.f64 #s(literal 1/4 binary64) %276 (*.f64 %392 #s(literal -1/2 binary64))) (*.f64 %392 %276))
(/.f64 (+.f64 #s(literal 1/4 binary64) (*.f64 %392 %397)) %392)
(/.f64 (fma.f64 #s(literal 1/4 binary64) %199 (*.f64 %392 #s(literal 1/2 binary64))) %1016)
(/.f64 (fma.f64 #s(literal 1/6 binary64) %392 (*.f64 %5 #s(literal 1/4 binary64))) (*.f64 %5 %392))
(/.f64 (fma.f64 #s(literal 1/6 binary64) %5 (*.f64 %5 #s(literal 1/6 binary64))) (*.f64 %5 %5))
(/.f64 (+.f64 #s(literal 1/2 binary64) (*.f64 %5 %960)) %199)
(/.f64 (fma.f64 #s(literal 1/6 binary64) %276 (*.f64 %5 #s(literal -1/2 binary64))) (*.f64 %5 %276))
(/.f64 (+.f64 #s(literal 1/6 binary64) (*.f64 %5 %397)) %563)
(/.f64 (fma.f64 #s(literal 1/6 binary64) %199 (*.f64 %5 #s(literal 1/2 binary64))) %1038)
(/.f64 (fma.f64 %960 %392 #s(literal 3/4 binary64)) (*.f64 #s(literal 3 binary64) %392))
(/.f64 (fma.f64 %960 %5 #s(literal 1/2 binary64)) %199)
(/.f64 (fma.f64 %960 #s(literal 3 binary64) (*.f64 #s(literal 3 binary64) %960)) #s(literal 9 binary64))
(/.f64 (fma.f64 %960 %276 #s(literal -3/2 binary64)) (*.f64 #s(literal 3 binary64) %276))
(/.f64 (fma.f64 %960 #s(literal 1 binary64) (*.f64 #s(literal 3 binary64) %397)) #s(literal 3 binary64))
(/.f64 (fma.f64 %960 %199 #s(literal 3/2 binary64)) %1057)
(/.f64 (fma.f64 #s(literal -1/2 binary64) %392 (*.f64 %276 #s(literal 1/4 binary64))) (*.f64 %276 %392))
(/.f64 (fma.f64 #s(literal -1/2 binary64) %5 (*.f64 %276 #s(literal 1/6 binary64))) (*.f64 %276 %5))
(/.f64 (+.f64 #s(literal -3/2 binary64) (*.f64 %276 %960)) (*.f64 %276 #s(literal 3 binary64)))
(/.f64 (fma.f64 #s(literal 3/2 binary64) %5 (*.f64 %276 #s(literal -1/2 binary64))) (*.f64 %276 %276))
(/.f64 (+.f64 #s(literal -1/2 binary64) (*.f64 %276 %397)) %276)
(/.f64 (fma.f64 #s(literal -1/2 binary64) %199 (*.f64 %276 #s(literal 1/2 binary64))) %1080)
(/.f64 (fma.f64 %397 %392 #s(literal 1/4 binary64)) %392)
(/.f64 (fma.f64 %397 %5 #s(literal 1/6 binary64)) %5)
(/.f64 (fma.f64 %397 #s(literal 3 binary64) (*.f64 #s(literal 1 binary64) %960)) #s(literal 3 binary64))
(/.f64 (fma.f64 %397 %276 #s(literal -1/2 binary64)) %276)
(/.f64 (fma.f64 %397 %199 #s(literal 1/2 binary64)) %199)
(/.f64 (fma.f64 #s(literal 1/2 binary64) %392 (*.f64 %199 #s(literal 1/4 binary64))) (*.f64 %199 %392))
(/.f64 (fma.f64 #s(literal 1/2 binary64) %5 (*.f64 %199 #s(literal 1/6 binary64))) (*.f64 %199 %5))
(/.f64 (+.f64 #s(literal 3/2 binary64) (*.f64 %199 %960)) (*.f64 %199 #s(literal 3 binary64)))
(/.f64 (fma.f64 #s(literal 1/2 binary64) %276 (*.f64 %199 #s(literal -1/2 binary64))) (*.f64 %199 %276))
(/.f64 (+.f64 #s(literal 1/2 binary64) (*.f64 %199 %397)) %199)
(/.f64 (fma.f64 %970 %199 #s(literal 0 binary64)) (*.f64 #s(literal -1/2 binary64) %199))
(/.f64 (fma.f64 %950 %199 #s(literal 0 binary64)) %392)
(/.f64 (fma.f64 %978 %199 #s(literal 0 binary64)) %643)
(/.f64 (fma.f64 %10 %199 #s(literal 0 binary64)) %1057)
(/.f64 (fma.f64 #s(literal 1/3 binary64) %199 (*.f64 %5 #s(literal 0 binary64))) %1038)
(/.f64 (fma.f64 %441 %199 #s(literal 0 binary64)) (*.f64 #s(literal -2 binary64) %199))
(/.f64 (fma.f64 %449 %199 #s(literal 0 binary64)) %643)
(/.f64 (fma.f64 #s(literal -2 binary64) %199 (*.f64 %1129 #s(literal 0 binary64))) (*.f64 %1129 %199))
(/.f64 (fma.f64 #s(literal 3/2 binary64) %5 (*.f64 %392 #s(literal 0 binary64))) %1016)
(/.f64 (fma.f64 #s(literal 2 binary64) %199 (*.f64 %643 #s(literal 0 binary64))) (*.f64 %643 %199))
(/.f64 (fma.f64 %267 %199 #s(literal 0 binary64)) %276)
(/.f64 (fma.f64 %270 %199 #s(literal 0 binary64)) %199)
(/.f64 (fma.f64 %9 #s(literal 3 binary64) (*.f64 %276 #s(literal 0 binary64))) %1080)
(/.f64 (neg.f64 %970) #s(literal 1/2 binary64))
(/.f64 (neg.f64 %950) #s(literal -1/2 binary64))
(/.f64 (neg.f64 %978) #s(literal -2 binary64))
(/.f64 (neg.f64 %10) #s(literal -3 binary64))
(/.f64 %450 #s(literal -2 binary64))
(/.f64 %442 #s(literal 2 binary64))
(/.f64 %970 #s(literal -1/2 binary64))
(/.f64 %950 #s(literal 1/2 binary64))
(/.f64 %978 #s(literal 2 binary64))
(/.f64 %10 #s(literal 3 binary64))
%270
(/.f64 %441 #s(literal -2 binary64))
(/.f64 %449 #s(literal 2 binary64))
(/.f64 #s(literal -2 binary64) %791)
(/.f64 #s(literal -2 binary64) %1129)
(/.f64 #s(literal -1/2 binary64) (neg.f64 %392))
(/.f64 #s(literal -1/2 binary64) %628)
(/.f64 #s(literal -1/2 binary64) %632)
(/.f64 #s(literal -1/3 binary64) %9)
(/.f64 #s(literal 1/2 binary64) %392)
(/.f64 #s(literal 2 binary64) (neg.f64 %1129))
(/.f64 #s(literal 2 binary64) %643)
(/.f64 %267 #s(literal -1 binary64))
(/.f64 %270 #s(literal 1 binary64))
(/.f64 %199 (*.f64 %199 %199))
(/.f64 #s(literal -1 binary64) %276)
(/.f64 #s(literal 1 binary64) %199)
(neg.f64 %267)
(fma.f64 %950 #s(literal 2 binary64) %1183)
(fma.f64 #s(literal 1/4 binary64) %952 %1183)
(fma.f64 %954 #s(literal 1/2 binary64) %1183)
(fma.f64 #s(literal 1/6 binary64) %957 %1183)
(fma.f64 %957 #s(literal 1/6 binary64) %1183)
(fma.f64 %960 #s(literal 2/3 binary64) %1183)
(fma.f64 #s(literal 2/3 binary64) %960 %1183)
(fma.f64 %10 #s(literal 1/3 binary64) %1183)
(fma.f64 #s(literal 1/3 binary64) %10 %1183)
(fma.f64 #s(literal 4 binary64) %966 %1183)
(fma.f64 #s(literal -2 binary64) %968 %1183)
(fma.f64 #s(literal -2 binary64) %970 %1183)
(fma.f64 #s(literal -2 binary64) %803 %1183)
(fma.f64 #s(literal -1/2 binary64) %973 %1183)
(fma.f64 #s(literal -1/2 binary64) %975 %1183)
(fma.f64 #s(literal -1/2 binary64) %267 %397)
(fma.f64 %397 #s(literal 2 binary64) %1183)
(fma.f64 %397 #s(literal 1 binary64) %397)
(fma.f64 #s(literal 1/2 binary64) %978 %1183)
(fma.f64 #s(literal 1/2 binary64) %954 %1183)
(fma.f64 #s(literal 1/2 binary64) %981 %1183)
(fma.f64 #s(literal 1/2 binary64) %449 %1183)
(fma.f64 #s(literal 1/2 binary64) %270 %397)
(fma.f64 #s(literal 2 binary64) %950 %1183)
(fma.f64 #s(literal 2 binary64) %397 %1183)
(fma.f64 %267 #s(literal -1 binary64) %1183)
(fma.f64 %270 #s(literal 1 binary64) %1183)
(fma.f64 #s(literal -1 binary64) %267 %1183)
(fma.f64 #s(literal 1 binary64) %989 %1183)
(fma.f64 #s(literal 1 binary64) %397 %397)
(fma.f64 #s(literal 1 binary64) %270 %1183)
(+.f64 %397 %397)
(+.f64 %270 %1183)
%608
%611
%613
%614
%616
%617
%619
%622
%625
%626
%627
%629
%631
%633
%635
%637
%638
%639
%641
%642
%644
%645
%646
%647
%648
%649
%650
%652
%653
%654
%655
%656
%657
%658
%659
%663
%666
%670
%674
%676
%678
%680
%684
%687
%691
%695
%699
%702
%706
%710
%712
%714
%716
%718
%723
%727
%729
%734
%738
%740
%743
%745
%747
%749
%751
%754
%757
%759
%762
%765
%768
%771
%774
%778
%781
%784
%786
%788
%790
%792
%793
%794
%795
%796
%798
%799
%800
%801
%802
%804
%805
%806
%808
%809
%810
%811
%812
%813
%814
%815
%817
%818
%819
%821
%823
%825
%826
%827
%828
%829
%830
%831
%832
%833
%834
%835
%836
%837
%838
%839
%840
%841
%842
%843
%844
%845
%846
%847
%848
%849
%850
%851
%852
%853
%854
%855
%856
%857
%858
%859
%860
%861
%862
%863
%864
%865
%866
%867
%868
%869
%870
%871
%872
%873
%874
%875
%876
%877
%878
%879
%880
%881
%882
%883
%884
%885
%886
%887
%888
%889
%890
%891
%892
%893
%894
%895
%896
%897
%898
%899
%900
%901
%902
%903
%904
%905
%906
%907
%908
%909
%910
%911
%912
%913
%914
%915
%916
%917
%918
%919
%920
%921
%922
%923
%924
%925
%926
%927
%928
%929
%930
%931
%932
%933
%934
%935
%199
%936
%937
%938
%940
%942
%943
%944
%945
%946
%947
%948
%949
(*.f64 #s(literal -6 binary64) %99)
(*.f64 %114 #s(literal 3 binary64))
(*.f64 #s(literal 2 binary64) (*.f64 %99 #s(literal -3 binary64)))
(*.f64 %122 #s(literal 1 binary64))
%122
(*.f64 #s(literal 1 binary64) %122)
(*.f64 y #s(literal -3 binary64))
(*.f64 #s(literal 3 binary64) %114)
(pow.f64 %122 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %122 #s(literal -1 binary64)))
(neg.f64 %124)
%393
%394
%399
%401
%403
%404
%405
%407
%409
%411
%413
%415
%417
%419
%420
%421
%200
%422
%423
%424
%425
%426
%427
%428
%430
%431
%432
%433
%434
%435
%436
%438
%443
%446
%451
%454
%457
%459
%460
%461
%462
%463
%464
%465
%466
%467
%468
%469
%470
%471
%472
%473
%475
%477
%479
%480
%481
%483
%485
%486
%487
%488
%490
%492
%493
%495
%496
%497
%498
%500
%501
%502
%503
%505
%506
%508
%509
%510
%511
%512
%513
%514
%515
%516
%517
%518
%519
%520
%521
%522
%523
%524
%525
%526
%527
%528
%529
%530
%531
%533
%535
%536
%537
%538
%539
%540
%541
%542
%543
%545
%548
%550
%552
%553
%554
%555
%393
%394
%399
%401
%403
%404
%405
%407
%409
%411
%413
%415
%417
%419
%420
%421
%200
%422
%423
%424
%425
%426
%427
%428
%430
%431
%432
%433
%434
%435
%436
%438
%443
%446
%451
%454
%457
%459
%460
%461
%462
%463
%464
%465
%466
%467
%468
%469
%470
%471
%472
%473
%475
%477
%479
%480
%481
%483
%485
%486
%487
%488
%490
%492
%493
%495
%496
%497
%498
%500
%501
%502
%503
%505
%506
%508
%509
%510
%511
%512
%513
%514
%515
%516
%517
%518
%519
%520
%521
%522
%523
%524
%525
%526
%527
%528
%529
%530
%531
%533
%535
%536
%537
%538
%539
%540
%541
%542
%543
%545
%548
%550
%552
%553
%554
%555
%113
%116
%117
%118
%120
%121
%123
%126
%127
%128
%125
%129
%130
%131
%132
%134
%135
%136
%137
%139
%141
(*.f64 #s(literal 8/29 binary64) %99)
(*.f64 #s(literal 2 binary64) (*.f64 %99 #s(literal 4/29 binary64)))
(*.f64 %335 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %335)
%335
(*.f64 y #s(literal 4/29 binary64))
(pow.f64 %335 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %335 #s(literal -1 binary64)))
(neg.f64 %504)
%393
%394
%399
%401
%403
%404
%405
%407
%409
%411
%413
%415
%417
%419
%420
%421
%200
%422
%423
%424
%425
%426
%427
%428
%430
%431
%432
%433
%434
%435
%436
%438
%443
%446
%451
%454
%457
%459
%460
%461
%462
%463
%464
%465
%466
%467
%468
%469
%470
%471
%472
%473
%475
%477
%479
%480
%481
%483
%485
%486
%487
%488
%490
%492
%493
%495
%496
%497
%498
%500
%501
%502
%503
%505
%506
%508
%509
%510
%511
%512
%513
%514
%515
%516
%517
%518
%519
%520
%521
%522
%523
%524
%525
%526
%527
%528
%529
%530
%531
%533
%535
%536
%537
%538
%539
%540
%541
%542
%543
%545
%548
%550
%552
%553
%554
%555
(*.f64 (*.f64 %23 #s(literal 2 binary64)) %99)
(*.f64 (*.f64 %23 #s(literal 1 binary64)) y)
(*.f64 #s(literal 2 binary64) (*.f64 %99 %23))
(*.f64 %1247 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %1247)
%1247
(*.f64 y %23)
(pow.f64 %1247 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1247 #s(literal -1 binary64)))
(neg.f64 (*.f64 %114 %23))
(neg.f64 (*.f64 %23 %114))
(*.f64 (*.f64 %142 #s(literal 2 binary64)) %99)
(*.f64 (*.f64 %142 #s(literal 1 binary64)) y)
(*.f64 #s(literal 2 binary64) (*.f64 %99 %142))
(*.f64 %1264 #s(literal 1 binary64))
%1264
(*.f64 #s(literal 1 binary64) %1264)
(*.f64 y %142)
(pow.f64 %1264 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1264 #s(literal -1 binary64)))
(neg.f64 (*.f64 %114 %142))
(neg.f64 (*.f64 %142 %114))
%393
%394
%399
%401
%403
%404
%405
%407
%409
%411
%413
%415
%417
%419
%420
%421
%200
%422
%423
%424
%425
%426
%427
%428
%430
%431
%432
%433
%434
%435
%436
%438
%443
%446
%451
%454
%457
%459
%460
%461
%462
%463
%464
%465
%466
%467
%468
%469
%470
%471
%472
%473
%475
%477
%479
%480
%481
%483
%485
%486
%487
%488
%490
%492
%493
%495
%496
%497
%498
%500
%501
%502
%503
%505
%506
%508
%509
%510
%511
%512
%513
%514
%515
%516
%517
%518
%519
%520
%521
%522
%523
%524
%525
%526
%527
%528
%529
%530
%531
%533
%535
%536
%537
%538
%539
%540
%541
%542
%543
%545
%548
%550
%552
%553
%554
%555
reconstruct124.0ms (8.1%)
Counts
1 705 → 373
Compiler
Compiled 1 705 to 1 360 computations (20.2% saved)
eval45.0ms (3.0%)
Compiler
Compiled 262 to 729 computations (-178.2% saved)
prune5.0ms (0.4%)
Pruning
10 alts after pruning (5 fresh and 5 done)
PrunedKeptTotal
New2575262
Fresh000
Picked459
Done000
Total26110271
Accuracy
100.0%
Counts
271 → 10
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓99.8%
(*.f64 (fma.f64 #s(literal 3 binary64) x #s(literal -12/29 binary64)) y)
▶50.2%
(*.f64 (/.f64 #s(literal 1 binary64) (approx (pow (+ (* 3 x) -12/29) -1) #s(literal -29/12 binary64))) y)
✓99.6%
(*.f64 (*.f64 #s(literal -3 binary64) y) (-.f64 #s(literal 4/29 binary64) x))
▶50.5%
(*.f64 (*.f64 #s(literal -3 binary64) y) (approx (- 4/29 x) #s(literal 4/29 binary64)))
✓51.0%
(*.f64 (approx (* (- x 4/29) 3) (*.f64 #s(literal 3 binary64) x)) y)
✓50.7%
(*.f64 (approx (* (- x 4/29) 3) #s(literal -12/29 binary64)) y)
▶51.0%
(approx (* (* (- x 4/29) 3) y) (*.f64 x (*.f64 y #s(literal 3 binary64))))
▶40.4%
(approx (* (* (- x 4/29) 3) y) (*.f64 x (approx (+ (* -12/29 (/ y x)) (* 3 y)) (*.f64 #s(literal -12/29 binary64) (/.f64 y x)))))
▶50.5%
%2 = (- x 4/29)
(approx (* (* %2 3) y) (*.f64 #s(literal 3 binary64) (*.f64 y (approx %2 #s(literal -4/29 binary64)))))
✓51.0%
(approx (* (* (- x 4/29) 3) y) (*.f64 #s(literal 3 binary64) (*.f64 x y)))
Compiler
Compiled 10 to 29 computations (-190.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series19.0ms (1.2%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0182726
Stop Event
1×iter-limit
Counts
27 → 51
Calls
Call 1
Inputs
%5 = (- x 4/29)
%6 = (approx %5 #s(literal -4/29 binary64))
%10 = (/.f64 y x)
%12 = (*.f64 #s(literal -3 binary64) y)
%13 = (*.f64 y #s(literal 3 binary64))
%14 = (*.f64 #s(literal -12/29 binary64) %10)
%21 = (approx (+ (* -12/29 (/ y x)) (* 3 y)) %14)
%23 = (approx (- 4/29 x) #s(literal 4/29 binary64))
%29 = (approx (pow (+ (* 3 x) -12/29) -1) #s(literal -29/12 binary64))
%30 = (*.f64 x %13)
%31 = (*.f64 x %21)
%33 = (* (* %5 3) y)
%36 = (/.f64 #s(literal 1 binary64) %29)
%38 = (*.f64 y %6)
%39 = (*.f64 #s(literal 3 binary64) %38)
x
#s(literal 3 binary64)
y
#s(literal -4/29 binary64)
%6
#s(literal 4/29 binary64)
#s(literal -12/29 binary64)
#s(literal 1 binary64)
%10
#s(literal -3 binary64)
%12
%13
%14
%21
%23
#s(literal -29/12 binary64)
%29
%30
%31
(approx %33 %31)
(*.f64 %12 %23)
%36
(*.f64 %36 y)
%38
%39
(approx %33 %39)
(approx %33 %30)
Outputs
%5 = (- x 4/29)
%9 = (-.f64 x #s(literal 4/29 binary64))
%12 = (/ y x)
%13 = (/.f64 y x)
%16 = (* -12/29 %12)
%22 = (+ %16 (* 3 y))
%24 = (*.f64 x y)
%25 = (*.f64 #s(literal 3 binary64) %24)
%26 = (fma.f64 #s(literal -12/29 binary64) y %25)
%29 = (- 4/29 x)
%32 = (*.f64 #s(literal -1 binary64) x)
%38 = (pow (+ (* 3 x) -12/29) -1)
%65 = (* x %22)
%70 = (/ 1 %38)
%72 = (*.f64 #s(literal 3 binary64) x)
%74 = (-.f64 %72 #s(literal 12/29 binary64))
%76 = (* y %5)
%82 = (/.f64 #s(literal 1 binary64) x)
%83 = (*.f64 #s(literal 4/29 binary64) %82)
%85 = (*.f64 x (-.f64 #s(literal 1 binary64) %83))
%87 = (*.f64 #s(literal 3 binary64) y)
%89 = (fma.f64 #s(literal -12/29 binary64) %13 %87)
%93 = (*.f64 x (-.f64 %83 #s(literal 1 binary64)))
%99 = (*.f64 #s(literal 4/87 binary64) %82)
%105 = (pow.f64 x #s(literal 2 binary64))
%106 = (/.f64 #s(literal 16/2523 binary64) %105)
%123 = (*.f64 #s(literal 12/29 binary64) %82)
%124 = (-.f64 #s(literal 3 binary64) %123)
%136 = (*.f64 #s(literal 16/2523 binary64) %82)
%159 = (-.f64 %123 #s(literal 3 binary64))
%170 = (* -3 y)
%173 = (*.f64 y %124)
%179 = (*.f64 y %9)
%191 = (*.f64 y %159)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 #s(literal -4/29 binary64))
(approx %5 %9)
(approx %12 %13)
(approx %16 (*.f64 #s(literal -12/29 binary64) %13))
(approx %22 (/.f64 %26 x))
(approx %29 #s(literal 4/29 binary64))
(approx %29 (+.f64 #s(literal 4/29 binary64) %32))
(approx %38 #s(literal -29/12 binary64))
(approx %38 (-.f64 (*.f64 #s(literal -841/48 binary64) x) #s(literal 29/12 binary64)))
(approx %38 (-.f64 (*.f64 x (-.f64 (*.f64 #s(literal -24389/192 binary64) x) #s(literal 841/48 binary64))) #s(literal 29/12 binary64)))
(approx %38 (-.f64 (*.f64 x (-.f64 (*.f64 x (-.f64 (*.f64 #s(literal -707281/768 binary64) x) #s(literal 24389/192 binary64))) #s(literal 841/48 binary64))) #s(literal 29/12 binary64)))
(approx (* x (* y 3)) %25)
(approx %65 (*.f64 #s(literal -12/29 binary64) y))
(approx %65 %26)
(approx %70 #s(literal -12/29 binary64))
(approx %70 %74)
(approx %76 (*.f64 #s(literal -4/29 binary64) y))
(approx %76 (fma.f64 #s(literal -4/29 binary64) y %24))
(approx %5 %85)
(approx %22 %87)
(approx %22 %89)
(approx %29 %32)
(approx %29 %93)
(approx %38 (/.f64 #s(literal 1/3 binary64) x))
(approx %38 (/.f64 (+.f64 #s(literal 1/3 binary64) %99) x))
(approx %38 (/.f64 (+.f64 #s(literal 1/3 binary64) (+.f64 %106 %99)) x))
(approx %38 (/.f64 (+.f64 #s(literal 1/3 binary64) (+.f64 %106 (fma.f64 #s(literal 4/87 binary64) %82 (*.f64 #s(literal 64/73167 binary64) (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))))) x))
(approx %65 (*.f64 x %89))
(approx %70 %72)
(approx %70 (*.f64 x %124))
(approx %76 %24)
(approx %76 (*.f64 x (+.f64 y (*.f64 #s(literal -4/29 binary64) %13))))
(approx %5 (*.f64 #s(literal -1 binary64) %93))
(approx %29 (*.f64 #s(literal -1 binary64) %85))
(approx %38 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 #s(literal 4/87 binary64) %136) x)) #s(literal 1/3 binary64)) x)))
(approx %38 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 #s(literal 4/87 binary64) (+.f64 (/.f64 #s(literal 64/73167 binary64) %105) %136)) x)) #s(literal 1/3 binary64)) x)))
(approx %65 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -3 binary64) y (*.f64 #s(literal 12/29 binary64) %13)))))
(approx %70 (*.f64 #s(literal -1 binary64) (*.f64 x %159)))
(approx %76 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1 binary64) y (*.f64 #s(literal 4/29 binary64) %13)))))
(approx y y)
(approx %170 (*.f64 #s(literal -3 binary64) y))
(approx %22 %173)
(approx %65 (*.f64 x %173))
(approx (* (* %5 3) y) (*.f64 #s(literal 3 binary64) %179))
(approx (* %170 %29) (*.f64 #s(literal -3 binary64) (*.f64 y (-.f64 #s(literal 4/29 binary64) x))))
(approx (* %70 y) (*.f64 y %74))
(approx %76 %179)
(approx %22 (*.f64 #s(literal -1 binary64) %191))
(approx %65 (*.f64 #s(literal -1 binary64) (*.f64 x %191)))
Calls
6 calls:
TimeVariablePoint
4.0ms
y
inf
3.0ms
y
-inf
2.0ms
x
-inf
1.0ms
y
0
1.0ms
x
inf
rewrite92.0ms (6.0%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
039183
050183
1145181
2327169
31278169
04014169
04463166
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
27 → 584
Calls
Call 1
Inputs
%5 = (- x 4/29)
%6 = (approx %5 #s(literal -4/29 binary64))
%10 = (/.f64 y x)
%12 = (*.f64 #s(literal -3 binary64) y)
%13 = (*.f64 y #s(literal 3 binary64))
%14 = (*.f64 #s(literal -12/29 binary64) %10)
%21 = (approx (+ (* -12/29 (/ y x)) (* 3 y)) %14)
%23 = (approx (- 4/29 x) #s(literal 4/29 binary64))
%29 = (approx (pow (+ (* 3 x) -12/29) -1) #s(literal -29/12 binary64))
%30 = (*.f64 x %13)
%31 = (*.f64 x %21)
%33 = (* (* %5 3) y)
%36 = (/.f64 #s(literal 1 binary64) %29)
%38 = (*.f64 y %6)
%39 = (*.f64 #s(literal 3 binary64) %38)
x
#s(literal 3 binary64)
y
#s(literal -4/29 binary64)
%6
#s(literal 4/29 binary64)
#s(literal -12/29 binary64)
#s(literal 1 binary64)
%10
#s(literal -3 binary64)
%12
%13
%14
%21
%23
#s(literal -29/12 binary64)
%29
%30
%31
(approx %33 %31)
(*.f64 %12 %23)
%36
(*.f64 %36 y)
%38
%39
(approx %33 %39)
(approx %33 %30)
Outputs
%7 = (approx (- x 4/29) #s(literal -4/29 binary64))
%15 = (/.f64 #s(literal 1 binary64) x)
%17 = (*.f64 %15 #s(literal 2 binary64))
%19 = (*.f64 #s(literal 1/2 binary64) y)
%21 = (*.f64 y #s(literal 2 binary64))
%22 = (/.f64 #s(literal 1/2 binary64) x)
%24 = (/.f64 #s(literal -1 binary64) x)
%25 = (neg.f64 y)
%27 = (*.f64 %22 y)
%29 = (/.f64 %19 x)
%33 = (/.f64 y x)
%39 = (*.f64 #s(literal 8 binary64) %19)
%41 = (*.f64 #s(literal 4 binary64) x)
%43 = (*.f64 #s(literal 4 binary64) %19)
%44 = (*.f64 #s(literal 2 binary64) x)
%46 = (/.f64 #s(literal 2 binary64) x)
%49 = (*.f64 #s(literal 2 binary64) y)
%52 = (*.f64 #s(literal -1 binary64) %21)
%53 = (neg.f64 x)
%54 = (*.f64 %53 #s(literal 2 binary64))
%56 = (*.f64 #s(literal -1 binary64) %49)
%58 = (*.f64 %25 #s(literal 4 binary64))
%62 = (*.f64 %25 #s(literal -2 binary64))
%65 = (*.f64 %25 #s(literal 2 binary64))
%67 = (*.f64 y #s(literal 4 binary64))
%70 = (*.f64 #s(literal 4 binary64) %25)
%71 = (*.f64 #s(literal 4 binary64) %53)
%73 = (*.f64 #s(literal 4 binary64) y)
%75 = (*.f64 #s(literal -2 binary64) %25)
%76 = (*.f64 #s(literal -2 binary64) %53)
%78 = (*.f64 #s(literal -2 binary64) y)
%79 = (*.f64 #s(literal -2 binary64) x)
%83 = (*.f64 %21 #s(literal -1 binary64))
%84 = (*.f64 #s(literal 2 binary64) %53)
%88 = (*.f64 %49 #s(literal -1 binary64))
%90 = (*.f64 #s(literal -2 binary64) %21)
%91 = (*.f64 %84 #s(literal 2 binary64))
%93 = (*.f64 #s(literal -2 binary64) %49)
%95 = (*.f64 #s(literal 2 binary64) %21)
%96 = (*.f64 %44 #s(literal 2 binary64))
%98 = (*.f64 #s(literal 2 binary64) %49)
%100 = (*.f64 %21 #s(literal -2 binary64))
%101 = (*.f64 #s(literal 2 binary64) %84)
%103 = (*.f64 %21 #s(literal 2 binary64))
%104 = (*.f64 #s(literal 2 binary64) %44)
%106 = (*.f64 %49 #s(literal -2 binary64))
%108 = (*.f64 %49 #s(literal 2 binary64))
%110 = (*.f64 #s(literal 1 binary64) %21)
%111 = (*.f64 x #s(literal 2 binary64))
%113 = (*.f64 #s(literal 1 binary64) %49)
%115 = (*.f64 %21 #s(literal 1 binary64))
%117 = (*.f64 %49 #s(literal 1 binary64))
%119 = (*.f64 y #s(literal -2 binary64))
%123 = (*.f64 #s(literal 2 binary64) %25)
%141 = (*.f64 y #s(literal 0 binary64))
%142 = (/.f64 %141 x)
%144 = (*.f64 #s(literal 0 binary64) y)
%145 = (/.f64 %144 x)
%175 = (*.f64 #s(literal -3 binary64) y)
%184 = (*.f64 y #s(literal 3 binary64))
%200 = (*.f64 #s(literal -12/29 binary64) y)
%207 = (*.f64 %200 #s(literal -1 binary64))
%209 = (/.f64 #s(literal -12/29 binary64) x)
%212 = (*.f64 #s(literal 12/29 binary64) y)
%222 = (*.f64 %33 #s(literal -12/29 binary64))
%291 = (approx (* y (+ 3 (/ -12/29 x))) %222)
%296 = (- 4/29 x)
%297 = (approx %296 #s(literal 4/29 binary64))
%305 = (approx (/ -1/3 %296) #s(literal -29/12 binary64))
%308 = (/.f64 #s(literal 1 binary64) %305)
%310 = (neg.f64 %305)
%312 = (*.f64 #s(literal 3 binary64) x)
%317 = (*.f64 y x)
%321 = (*.f64 %312 y)
%336 = (*.f64 %291 x)
%344 = (* (* %296 -3) y)
%345 = (approx %344 %336)
%350 = (*.f64 %297 #s(literal -3 binary64))
%360 = (*.f64 %297 y)
%366 = (*.f64 %297 %175)
%384 = (/.f64 %308 #s(literal 1/2 binary64))
%386 = (*.f64 %308 #s(literal 2 binary64))
%388 = (/.f64 #s(literal 2 binary64) %305)
%390 = (/.f64 #s(literal -2 binary64) %305)
%394 = (/.f64 #s(literal 4 binary64) %305)
%396 = (/.f64 %308 #s(literal 4 binary64))
%398 = (/.f64 #s(literal 1/2 binary64) %305)
%400 = (*.f64 %310 #s(literal 2 binary64))
%401 = (/.f64 #s(literal 1 binary64) %400)
%403 = (/.f64 #s(literal -1/2 binary64) %305)
%406 = (/.f64 #s(literal -1 binary64) %305)
%411 = (*.f64 %406 #s(literal 1 binary64))
%425 = (*.f64 %310 %310)
%429 = (*.f64 %310 %305)
%433 = (*.f64 %305 %310)
%437 = (*.f64 %305 %305)
%441 = (*.f64 %400 %305)
%443 = (*.f64 #s(literal 2 binary64) %310)
%446 = (*.f64 %443 %305)
%448 = (*.f64 %305 #s(literal 2 binary64))
%451 = (*.f64 %448 %305)
%453 = (*.f64 #s(literal 2 binary64) %305)
%456 = (*.f64 %453 %305)
%537 = (*.f64 %453 #s(literal -2 binary64))
%541 = (*.f64 #s(literal -2 binary64) %453)
%543 = (*.f64 #s(literal 2 binary64) %400)
%545 = (*.f64 #s(literal 4 binary64) %310)
%547 = (*.f64 #s(literal 2 binary64) %443)
%549 = (*.f64 %400 #s(literal 2 binary64))
%551 = (*.f64 %443 #s(literal 2 binary64))
%553 = (*.f64 %310 #s(literal 4 binary64))
%558 = (*.f64 #s(literal 4 binary64) %443)
%562 = (*.f64 %443 #s(literal 4 binary64))
%568 = (*.f64 #s(literal 4 binary64) %453)
%572 = (*.f64 %453 #s(literal 4 binary64))
%576 = (*.f64 %443 #s(literal -2 binary64))
%580 = (*.f64 #s(literal -2 binary64) %443)
%582 = (*.f64 #s(literal 2 binary64) %448)
%584 = (*.f64 #s(literal 4 binary64) %305)
%586 = (*.f64 #s(literal 2 binary64) %453)
%588 = (*.f64 %448 #s(literal 2 binary64))
%590 = (*.f64 %453 #s(literal 2 binary64))
%592 = (*.f64 %305 #s(literal 4 binary64))
%596 = (*.f64 %443 #s(literal 1 binary64))
%600 = (*.f64 #s(literal 1 binary64) %443)
%602 = (*.f64 %305 #s(literal -2 binary64))
%604 = (*.f64 #s(literal -2 binary64) %305)
%608 = (neg.f64 %453)
%614 = (*.f64 %453 #s(literal 1 binary64))
%618 = (*.f64 #s(literal 1 binary64) %453)
%620 = (*.f64 %310 #s(literal -2 binary64))
%622 = (*.f64 #s(literal -2 binary64) %310)
%626 = (neg.f64 %443)
%631 = (*.f64 %310 #s(literal 1 binary64))
%646 = (*.f64 %305 #s(literal 1 binary64))
%656 = (*.f64 %308 #s(literal 0 binary64))
%658 = (/.f64 #s(literal 0 binary64) %305)
%704 = (/.f64 #s(literal 3/2 binary64) %448)
%705 = (/.f64 #s(literal 1/2 binary64) %448)
%708 = (/.f64 #s(literal 3/2 binary64) %453)
%709 = (/.f64 #s(literal 1/2 binary64) %453)
%718 = (/.f64 y %305)
%719 = (*.f64 #s(literal 2 binary64) %718)
%721 = (/.f64 %718 #s(literal 4 binary64))
%726 = (/.f64 %718 #s(literal 2 binary64))
%728 = (*.f64 %398 y)
%730 = (*.f64 #s(literal 1/2 binary64) %718)
%732 = (/.f64 %19 %305)
%737 = (*.f64 %406 y)
%739 = (/.f64 %25 %305)
%869 = (/.f64 %141 %305)
%871 = (/.f64 %144 %305)
%917 = (*.f64 %7 y)
%925 = (*.f64 %7 #s(literal 3 binary64))
%933 = (*.f64 %917 #s(literal 3 binary64))
%948 = (approx %344 %933)
%953 = (approx %344 %321)
x
#s(literal 3 binary64)
y
#s(literal -4/29 binary64)
(*.f64 #s(literal 1 binary64) %7)
(pow.f64 %7 #s(literal 1 binary64))
%7
(/.f64 #s(literal 1 binary64) (pow.f64 %7 #s(literal -1 binary64)))
#s(literal 4/29 binary64)
#s(literal -12/29 binary64)
#s(literal 1 binary64)
(*.f64 %17 %19)
(*.f64 %21 %22)
(*.f64 %24 %25)
(*.f64 #s(literal 2 binary64) %27)
(*.f64 #s(literal 2 binary64) %29)
(*.f64 %15 y)
(*.f64 %25 %24)
(*.f64 %33 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %33)
(*.f64 y %15)
(pow.f64 %33 #s(literal 1 binary64))
(/.f64 %39 %41)
(/.f64 %43 %44)
(/.f64 (*.f64 %46 %21) #s(literal 4 binary64))
(/.f64 (*.f64 %46 %49) #s(literal 4 binary64))
(/.f64 %52 %54)
(/.f64 %56 %54)
(/.f64 %58 (*.f64 %53 #s(literal 4 binary64)))
(/.f64 %62 (*.f64 %53 #s(literal -2 binary64)))
(/.f64 %65 %54)
(/.f64 %67 (*.f64 x #s(literal 4 binary64)))
(/.f64 %70 %71)
(/.f64 %73 %41)
(/.f64 %75 %76)
(/.f64 %78 %79)
(/.f64 (*.f64 %21 %46) #s(literal 4 binary64))
(/.f64 %83 %84)
(/.f64 (*.f64 %49 %46) #s(literal 4 binary64))
(/.f64 %88 %84)
(/.f64 %90 %91)
(/.f64 %93 %91)
(/.f64 %95 %96)
(/.f64 %98 %96)
(/.f64 %100 %101)
(/.f64 %103 %104)
(/.f64 %106 %101)
(/.f64 %108 %104)
(/.f64 %110 %111)
(/.f64 %113 %111)
(/.f64 %115 %44)
(/.f64 %117 %44)
(/.f64 %119 (*.f64 x #s(literal -2 binary64)))
(/.f64 %21 %111)
(/.f64 %123 %84)
(/.f64 %49 %44)
(/.f64 %25 (*.f64 %53 #s(literal 1 binary64)))
(/.f64 %25 %53)
(/.f64 %33 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %33 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %53 %25))
(/.f64 #s(literal 1 binary64) (/.f64 x y))
(/.f64 y (*.f64 x #s(literal 1 binary64)))
%33
(neg.f64 (/.f64 %25 x))
(fma.f64 %17 %19 %142)
(fma.f64 %17 %19 %145)
(fma.f64 %21 %22 %142)
(fma.f64 %21 %22 %145)
(fma.f64 %19 %15 %29)
(fma.f64 %24 %25 %142)
(fma.f64 %24 %25 %145)
(fma.f64 #s(literal 2 binary64) %27 %142)
(fma.f64 #s(literal 2 binary64) %27 %145)
(fma.f64 #s(literal 2 binary64) %29 %142)
(fma.f64 #s(literal 2 binary64) %29 %145)
(fma.f64 %15 y %142)
(fma.f64 %15 y %145)
(fma.f64 %25 %24 %142)
(fma.f64 %25 %24 %145)
(fma.f64 %33 #s(literal 1 binary64) %142)
(fma.f64 %33 #s(literal 1 binary64) %145)
(fma.f64 #s(literal 1 binary64) %33 %142)
(fma.f64 #s(literal 1 binary64) %33 %145)
(fma.f64 y %15 %142)
(fma.f64 y %15 %145)
(+.f64 %29 %29)
(+.f64 %33 %142)
(+.f64 %33 %145)
#s(literal -3 binary64)
(*.f64 #s(literal -6 binary64) %19)
(*.f64 #s(literal 2 binary64) (*.f64 %19 #s(literal -3 binary64)))
(*.f64 %25 #s(literal 3 binary64))
(*.f64 %175 #s(literal 1 binary64))
%175
(*.f64 #s(literal 1 binary64) %175)
(*.f64 y #s(literal -3 binary64))
(*.f64 #s(literal 3 binary64) %25)
(pow.f64 %175 #s(literal 1 binary64))
(/.f64 %175 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %175 #s(literal -1 binary64)))
(neg.f64 %184)
(*.f64 #s(literal 6 binary64) %19)
(*.f64 #s(literal 2 binary64) (*.f64 %19 #s(literal 3 binary64)))
(*.f64 %25 #s(literal -3 binary64))
(*.f64 %184 #s(literal 1 binary64))
(*.f64 #s(literal -3 binary64) %25)
(*.f64 #s(literal 1 binary64) %184)
%184
(*.f64 #s(literal 3 binary64) y)
(pow.f64 %184 #s(literal 1 binary64))
(/.f64 %184 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %184 #s(literal -1 binary64)))
(neg.f64 %175)
(*.f64 (*.f64 %200 #s(literal 2 binary64)) %22)
(*.f64 (*.f64 %33 #s(literal -4/29 binary64)) #s(literal 3 binary64))
(*.f64 (*.f64 %33 #s(literal 3 binary64)) #s(literal -4/29 binary64))
(*.f64 %207 %24)
(*.f64 %209 y)
(*.f64 %212 %24)
(*.f64 %200 %15)
(*.f64 #s(literal 2 binary64) (*.f64 %19 %209))
(*.f64 %15 %200)
(*.f64 %25 (*.f64 %24 #s(literal -12/29 binary64)))
(*.f64 %25 (/.f64 #s(literal 12/29 binary64) x))
%222
(*.f64 #s(literal 1 binary64) %222)
(*.f64 #s(literal -12/29 binary64) %33)
(*.f64 #s(literal -4/29 binary64) (*.f64 #s(literal 3 binary64) %33))
(*.f64 y %209)
(*.f64 #s(literal 3 binary64) (*.f64 #s(literal -4/29 binary64) %33))
(pow.f64 %222 #s(literal 1 binary64))
(/.f64 (*.f64 #s(literal 12/29 binary64) %21) %54)
(/.f64 (*.f64 #s(literal 12/29 binary64) %49) %54)
(/.f64 (*.f64 #s(literal -12/29 binary64) %21) %111)
(/.f64 (*.f64 #s(literal -12/29 binary64) %49) %111)
(/.f64 (*.f64 #s(literal 4 binary64) %207) %71)
(/.f64 (*.f64 #s(literal 4 binary64) %212) %71)
(/.f64 (*.f64 #s(literal 4 binary64) %200) %41)
(/.f64 (*.f64 #s(literal -2 binary64) %207) %76)
(/.f64 (*.f64 #s(literal -2 binary64) %212) %76)
(/.f64 (*.f64 #s(literal -2 binary64) %200) %79)
(/.f64 (*.f64 #s(literal 2 binary64) %207) %84)
(/.f64 (*.f64 #s(literal 2 binary64) %212) %84)
(/.f64 (*.f64 #s(literal 2 binary64) %200) %44)
(/.f64 (*.f64 #s(literal 1 binary64) %207) %53)
(/.f64 (*.f64 %21 #s(literal 12/29 binary64)) %84)
(/.f64 (*.f64 %21 #s(literal -12/29 binary64)) %44)
(/.f64 (*.f64 %49 #s(literal 12/29 binary64)) %84)
(/.f64 (*.f64 %49 #s(literal -12/29 binary64)) %44)
(/.f64 (neg.f64 %207) x)
(/.f64 %207 %53)
(/.f64 (*.f64 #s(literal 12/29 binary64) %25) x)
(/.f64 (*.f64 %25 #s(literal 12/29 binary64)) x)
(/.f64 %212 %53)
(/.f64 %200 x)
(/.f64 #s(literal 1 binary64) (/.f64 %53 %207))
(/.f64 #s(literal 1 binary64) (/.f64 %53 %212))
(/.f64 #s(literal 1 binary64) (pow.f64 %222 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 x %200))
(neg.f64 (*.f64 #s(literal 12/29 binary64) %33))
(*.f64 #s(literal 1 binary64) %291)
(pow.f64 %291 #s(literal 1 binary64))
%291
(/.f64 #s(literal 1 binary64) (pow.f64 %291 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %297)
(pow.f64 %297 #s(literal 1 binary64))
%297
(/.f64 #s(literal 1 binary64) (pow.f64 %297 #s(literal -1 binary64)))
#s(literal -29/12 binary64)
(*.f64 #s(literal 1 binary64) %305)
(pow.f64 %305 #s(literal 1 binary64))
%305
(/.f64 #s(literal 1 binary64) %308)
(neg.f64 %310)
(*.f64 (*.f64 %312 #s(literal 2 binary64)) %19)
(*.f64 (*.f64 %312 #s(literal 1 binary64)) y)
(*.f64 %317 #s(literal 3 binary64))
(*.f64 #s(literal 2 binary64) (*.f64 %19 %312))
(*.f64 %321 #s(literal 1 binary64))
%321
(*.f64 %184 x)
(*.f64 #s(literal 1 binary64) %321)
(*.f64 y %312)
(*.f64 #s(literal 3 binary64) %317)
(*.f64 x %184)
(pow.f64 %321 #s(literal 1 binary64))
(/.f64 %321 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %321 #s(literal -1 binary64)))
(neg.f64 (*.f64 #s(literal -3 binary64) %317))
(neg.f64 (*.f64 %317 #s(literal -3 binary64)))
%336
(*.f64 #s(literal 1 binary64) %336)
(*.f64 x %291)
(pow.f64 %336 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %336 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %345)
(pow.f64 %345 #s(literal 1 binary64))
%345
(/.f64 #s(literal 1 binary64) (pow.f64 %345 #s(literal -1 binary64)))
(*.f64 (*.f64 %350 #s(literal 2 binary64)) %19)
(*.f64 (*.f64 %350 #s(literal 1 binary64)) y)
(*.f64 (*.f64 %297 %25) #s(literal 3 binary64))
(*.f64 (*.f64 %297 #s(literal 3 binary64)) %25)
(*.f64 %350 y)
(*.f64 %360 #s(literal -3 binary64))
(*.f64 #s(literal 2 binary64) (*.f64 %19 %350))
(*.f64 %25 (*.f64 #s(literal 3 binary64) %297))
(*.f64 %366 #s(literal 1 binary64))
%366
(*.f64 %175 %297)
(*.f64 #s(literal -3 binary64) %360)
(*.f64 #s(literal 1 binary64) %366)
(*.f64 y %350)
(*.f64 #s(literal 3 binary64) (*.f64 %25 %297))
(*.f64 #s(literal 3 binary64) (neg.f64 %360))
(pow.f64 %366 #s(literal 1 binary64))
(/.f64 %366 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %366 #s(literal -1 binary64)))
(neg.f64 (*.f64 %297 %184))
(neg.f64 (*.f64 %360 #s(literal 3 binary64)))
(*.f64 %384 #s(literal 1/2 binary64))
(*.f64 %386 #s(literal 1/2 binary64))
(*.f64 %388 #s(literal 1/2 binary64))
(*.f64 %390 #s(literal -1/2 binary64))
(*.f64 #s(literal 1/4 binary64) %394)
(*.f64 #s(literal 4 binary64) %396)
(*.f64 %398 #s(literal 2 binary64))
(*.f64 #s(literal -2 binary64) %401)
(*.f64 #s(literal -2 binary64) %403)
(*.f64 #s(literal -1/2 binary64) %390)
(*.f64 %406 #s(literal -1 binary64))
(*.f64 #s(literal 1/2 binary64) %388)
(*.f64 #s(literal 2 binary64) %398)
(*.f64 %308 #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) %411)
(*.f64 #s(literal -1 binary64) %406)
(*.f64 #s(literal 1 binary64) %308)
(pow.f64 %308 #s(literal 1 binary64))
(pow.f64 %305 #s(literal -1 binary64))
(/.f64 (fma.f64 %398 %310 #s(literal -1/2 binary64)) %310)
(/.f64 (fma.f64 %398 %305 #s(literal 1/2 binary64)) %305)
(/.f64 (fma.f64 %308 %305 #s(literal 0 binary64)) %305)
(/.f64 (fma.f64 #s(literal -1/2 binary64) %310 (*.f64 #s(literal -1/2 binary64) %310)) %425)
(/.f64 (fma.f64 #s(literal -1/2 binary64) %305 (*.f64 #s(literal 1/2 binary64) %310)) %429)
(/.f64 (fma.f64 #s(literal 1/2 binary64) %310 (*.f64 #s(literal -1/2 binary64) %305)) %433)
(/.f64 (fma.f64 #s(literal 1/2 binary64) %305 (*.f64 #s(literal 1/2 binary64) %305)) %437)
(/.f64 (fma.f64 #s(literal -2 binary64) %305 (*.f64 #s(literal 0 binary64) %400)) %441)
(/.f64 (fma.f64 #s(literal -2 binary64) %305 (*.f64 #s(literal 0 binary64) %443)) %446)
(/.f64 (fma.f64 #s(literal 2 binary64) %305 (*.f64 #s(literal 0 binary64) %448)) %451)
(/.f64 (fma.f64 #s(literal 2 binary64) %305 (*.f64 #s(literal 0 binary64) %453)) %456)
(/.f64 (fma.f64 #s(literal -1 binary64) %305 (*.f64 #s(literal 0 binary64) %310)) %429)
(/.f64 (+.f64 %305 (*.f64 #s(literal 0 binary64) %305)) %437)
(/.f64 (fma.f64 #s(literal -1/2 binary64) %310 (*.f64 %310 #s(literal -1/2 binary64))) %425)
(/.f64 (fma.f64 #s(literal -1/2 binary64) %305 (*.f64 %310 #s(literal 1/2 binary64))) %429)
(/.f64 (fma.f64 #s(literal 1/2 binary64) %310 (*.f64 %305 #s(literal -1/2 binary64))) %433)
(/.f64 (fma.f64 #s(literal 1/2 binary64) %305 (*.f64 %305 #s(literal 1/2 binary64))) %437)
(/.f64 (fma.f64 %386 %305 #s(literal 0 binary64)) %453)
(/.f64 (fma.f64 %388 %305 #s(literal 0 binary64)) %453)
(/.f64 (fma.f64 #s(literal -2 binary64) %305 (*.f64 %400 #s(literal 0 binary64))) %441)
(/.f64 (fma.f64 #s(literal -2 binary64) %305 (*.f64 %443 #s(literal 0 binary64))) %446)
(/.f64 (fma.f64 #s(literal 2 binary64) %305 (*.f64 %448 #s(literal 0 binary64))) %451)
(/.f64 (fma.f64 #s(literal 2 binary64) %305 (*.f64 %453 #s(literal 0 binary64))) %456)
(/.f64 (fma.f64 #s(literal -1 binary64) %305 (*.f64 %310 #s(literal 0 binary64))) %429)
(/.f64 (+.f64 %305 (*.f64 %305 #s(literal 0 binary64))) %437)
(/.f64 (*.f64 %386 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %386 #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %388 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %388 #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) %386) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) %388) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %386) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %388) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %386) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %388) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %386) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %388) #s(literal 2 binary64))
(/.f64 (*.f64 %386 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 %388 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 %386 #s(literal 4 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %388 #s(literal 4 binary64)) #s(literal 8 binary64))
(/.f64 (neg.f64 %386) #s(literal -2 binary64))
(/.f64 (neg.f64 %388) #s(literal -2 binary64))
(/.f64 #s(literal -4 binary64) (*.f64 %448 #s(literal -2 binary64)))
(/.f64 #s(literal -4 binary64) %537)
(/.f64 #s(literal -4 binary64) (*.f64 #s(literal -2 binary64) %448))
(/.f64 #s(literal -4 binary64) %541)
(/.f64 #s(literal -4 binary64) %543)
(/.f64 #s(literal -4 binary64) %545)
(/.f64 #s(literal -4 binary64) %547)
(/.f64 #s(literal -4 binary64) %549)
(/.f64 #s(literal -4 binary64) %551)
(/.f64 #s(literal -4 binary64) %553)
(/.f64 #s(literal -8 binary64) (*.f64 #s(literal 4 binary64) %400))
(/.f64 #s(literal -8 binary64) %558)
(/.f64 #s(literal -8 binary64) (*.f64 %400 #s(literal 4 binary64)))
(/.f64 #s(literal -8 binary64) %562)
(/.f64 %386 #s(literal 2 binary64))
(/.f64 %388 #s(literal 2 binary64))
(/.f64 #s(literal 8 binary64) (*.f64 #s(literal 4 binary64) %448))
(/.f64 #s(literal 8 binary64) %568)
(/.f64 #s(literal 8 binary64) (*.f64 %448 #s(literal 4 binary64)))
(/.f64 #s(literal 8 binary64) %572)
(/.f64 #s(literal 4 binary64) (*.f64 %400 #s(literal -2 binary64)))
(/.f64 #s(literal 4 binary64) %576)
(/.f64 #s(literal 4 binary64) (*.f64 #s(literal -2 binary64) %400))
(/.f64 #s(literal 4 binary64) %580)
(/.f64 #s(literal 4 binary64) %582)
(/.f64 #s(literal 4 binary64) %584)
(/.f64 #s(literal 4 binary64) %586)
(/.f64 #s(literal 4 binary64) %588)
(/.f64 #s(literal 4 binary64) %590)
(/.f64 #s(literal 4 binary64) %592)
(/.f64 #s(literal -2 binary64) (*.f64 %400 #s(literal 1 binary64)))
(/.f64 #s(literal -2 binary64) %596)
(/.f64 #s(literal -2 binary64) (*.f64 #s(literal 1 binary64) %400))
(/.f64 #s(literal -2 binary64) %600)
(/.f64 #s(literal -2 binary64) %602)
(/.f64 #s(literal -2 binary64) %604)
(/.f64 #s(literal -2 binary64) (neg.f64 %448))
(/.f64 #s(literal -2 binary64) %608)
(/.f64 #s(literal -2 binary64) %400)
(/.f64 #s(literal -2 binary64) %443)
(/.f64 #s(literal 2 binary64) (*.f64 %448 #s(literal 1 binary64)))
(/.f64 #s(literal 2 binary64) %614)
(/.f64 #s(literal 2 binary64) (*.f64 #s(literal 1 binary64) %448))
(/.f64 #s(literal 2 binary64) %618)
(/.f64 #s(literal 2 binary64) %620)
(/.f64 #s(literal 2 binary64) %622)
(/.f64 #s(literal 2 binary64) (neg.f64 %400))
(/.f64 #s(literal 2 binary64) %626)
(/.f64 #s(literal 2 binary64) %448)
(/.f64 #s(literal 2 binary64) %453)
(/.f64 %308 #s(literal 1 binary64))
(/.f64 #s(literal -1 binary64) %631)
(/.f64 #s(literal -1 binary64) %310)
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %386))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %388))
(/.f64 #s(literal 1 binary64) (/.f64 %400 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %443 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %448 #s(literal 2 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %453 #s(literal 2 binary64)))
(/.f64 #s(literal 1 binary64) %646)
(/.f64 #s(literal 1 binary64) (pow.f64 %308 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %310 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %305 #s(literal 1 binary64)))
%308
(neg.f64 %411)
(neg.f64 %406)
(fma.f64 %384 #s(literal 1/2 binary64) %656)
(fma.f64 %384 #s(literal 1/2 binary64) %658)
(fma.f64 %386 #s(literal 1/2 binary64) %656)
(fma.f64 %386 #s(literal 1/2 binary64) %658)
(fma.f64 %388 #s(literal 1/2 binary64) %656)
(fma.f64 %388 #s(literal 1/2 binary64) %658)
(fma.f64 %390 #s(literal -1/2 binary64) %656)
(fma.f64 %390 #s(literal -1/2 binary64) %658)
(fma.f64 #s(literal 1/4 binary64) %394 %656)
(fma.f64 #s(literal 1/4 binary64) %394 %658)
(fma.f64 #s(literal 4 binary64) %396 %656)
(fma.f64 #s(literal 4 binary64) %396 %658)
(fma.f64 %398 #s(literal 2 binary64) %656)
(fma.f64 %398 #s(literal 2 binary64) %658)
(fma.f64 %398 #s(literal 1 binary64) %398)
(fma.f64 #s(literal -2 binary64) %401 %656)
(fma.f64 #s(literal -2 binary64) %401 %658)
(fma.f64 #s(literal -2 binary64) %403 %656)
(fma.f64 #s(literal -2 binary64) %403 %658)
(fma.f64 #s(literal -1/2 binary64) %390 %656)
(fma.f64 #s(literal -1/2 binary64) %390 %658)
(fma.f64 #s(literal -1/2 binary64) %406 %398)
(fma.f64 %406 #s(literal -1 binary64) %656)
(fma.f64 %406 #s(literal -1 binary64) %658)
(fma.f64 #s(literal 1/2 binary64) %388 %656)
(fma.f64 #s(literal 1/2 binary64) %388 %658)
(fma.f64 #s(literal 1/2 binary64) %308 %398)
(fma.f64 #s(literal 2 binary64) %398 %656)
(fma.f64 #s(literal 2 binary64) %398 %658)
(fma.f64 #s(literal 0 binary64) %406 %308)
(fma.f64 #s(literal 0 binary64) %308 %308)
(fma.f64 %308 #s(literal 1/2 binary64) %398)
(fma.f64 %308 #s(literal 1 binary64) %656)
(fma.f64 %308 #s(literal 1 binary64) %658)
(fma.f64 #s(literal -1 binary64) %411 %656)
(fma.f64 #s(literal -1 binary64) %411 %658)
(fma.f64 #s(literal -1 binary64) %406 %656)
(fma.f64 #s(literal -1 binary64) %406 %658)
(fma.f64 #s(literal 1 binary64) %398 %398)
(fma.f64 #s(literal 1 binary64) %308 %656)
(fma.f64 #s(literal 1 binary64) %308 %658)
(-.f64 %398 (/.f64 #s(literal -1 binary64) %448))
(-.f64 %398 %403)
(-.f64 %308 %658)
(+.f64 %704 %705)
(+.f64 %705 %704)
(+.f64 %708 %709)
(+.f64 %709 %708)
(+.f64 %658 %308)
(+.f64 %398 %398)
(+.f64 %308 %656)
(+.f64 %308 %658)
(*.f64 %386 %19)
(*.f64 %21 %398)
(*.f64 %719 #s(literal 1/2 binary64))
(*.f64 #s(literal 4 binary64) %721)
(*.f64 %123 %403)
(*.f64 %49 %398)
(*.f64 #s(literal 1/2 binary64) %719)
(*.f64 #s(literal 2 binary64) %726)
(*.f64 #s(literal 2 binary64) %728)
(*.f64 #s(literal 2 binary64) %730)
(*.f64 #s(literal 2 binary64) %732)
(*.f64 %25 %406)
(*.f64 %718 #s(literal 1 binary64))
(*.f64 %308 y)
(*.f64 #s(literal -1 binary64) %737)
(*.f64 #s(literal -1 binary64) %739)
(*.f64 #s(literal 1 binary64) %718)
(*.f64 y %308)
(pow.f64 %718 #s(literal 1 binary64))
(/.f64 (*.f64 %719 #s(literal 4 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %719 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %719 #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %719 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 %123 #s(literal 4 binary64)) %562)
(/.f64 (*.f64 %123 #s(literal -2 binary64)) %576)
(/.f64 (*.f64 %123 #s(literal 2 binary64)) %551)
(/.f64 (*.f64 %123 #s(literal 1 binary64)) %596)
(/.f64 (*.f64 %386 %21) #s(literal 4 binary64))
(/.f64 (*.f64 %386 %49) #s(literal 4 binary64))
(/.f64 (*.f64 %388 %21) #s(literal 4 binary64))
(/.f64 (*.f64 %388 %49) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) %719) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) %123) %558)
(/.f64 (*.f64 #s(literal -2 binary64) %719) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %123) %580)
(/.f64 (*.f64 #s(literal 2 binary64) %719) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %123) %547)
(/.f64 (*.f64 %21 %386) #s(literal 4 binary64))
(/.f64 (*.f64 %21 %388) #s(literal 4 binary64))
(/.f64 (*.f64 %49 %386) #s(literal 4 binary64))
(/.f64 (*.f64 %49 %388) #s(literal 4 binary64))
(/.f64 %39 %584)
(/.f64 %43 %453)
(/.f64 %52 %400)
(/.f64 %56 %400)
(/.f64 %58 %553)
(/.f64 %62 %620)
(/.f64 %65 %400)
(/.f64 %67 %592)
(/.f64 %70 %545)
(/.f64 %73 %584)
(/.f64 %75 %622)
(/.f64 %78 %604)
(/.f64 %78 %443)
(/.f64 %83 %443)
(/.f64 %88 %443)
(/.f64 (*.f64 #s(literal 4 binary64) %49) %568)
(/.f64 %90 %549)
(/.f64 %90 %551)
(/.f64 %93 %541)
(/.f64 %93 %549)
(/.f64 %93 %551)
(/.f64 %95 %588)
(/.f64 %95 %590)
(/.f64 %98 %586)
(/.f64 %98 %588)
(/.f64 %98 %590)
(/.f64 %100 %543)
(/.f64 %100 %547)
(/.f64 %103 %582)
(/.f64 %103 %586)
(/.f64 (*.f64 %49 #s(literal 4 binary64)) %572)
(/.f64 %106 %537)
(/.f64 %106 %543)
(/.f64 %106 %547)
(/.f64 %108 %582)
(/.f64 %108 %586)
(/.f64 %108 %590)
(/.f64 (*.f64 #s(literal 1 binary64) %719) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %123) %600)
(/.f64 %110 %448)
(/.f64 %113 %618)
(/.f64 %113 %448)
(/.f64 %115 %453)
(/.f64 %117 %614)
(/.f64 %117 %453)
(/.f64 (neg.f64 %719) #s(literal -2 binary64))
(/.f64 (neg.f64 %123) %626)
(/.f64 (neg.f64 %49) %608)
(/.f64 %119 %602)
(/.f64 %21 %448)
(/.f64 %719 #s(literal 2 binary64))
(/.f64 %123 %443)
(/.f64 %49 %622)
(/.f64 %49 %453)
(/.f64 %25 %631)
(/.f64 %25 %310)
(/.f64 %718 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %719))
(/.f64 #s(literal 1 binary64) (/.f64 %443 %123))
(/.f64 #s(literal 1 binary64) (/.f64 %453 %49))
(/.f64 #s(literal 1 binary64) (/.f64 %310 %25))
(/.f64 #s(literal 1 binary64) (pow.f64 %718 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %305 y))
(/.f64 y %646)
%718
(neg.f64 %737)
(neg.f64 (*.f64 #s(literal -1 binary64) %718))
(neg.f64 %739)
(fma.f64 %386 %19 %869)
(fma.f64 %386 %19 %871)
(fma.f64 %21 %398 %869)
(fma.f64 %21 %398 %871)
(fma.f64 %719 #s(literal 1/2 binary64) %869)
(fma.f64 %719 #s(literal 1/2 binary64) %871)
(fma.f64 #s(literal 4 binary64) %721 %869)
(fma.f64 #s(literal 4 binary64) %721 %871)
(fma.f64 %123 %403 %869)
(fma.f64 %123 %403 %871)
(fma.f64 %49 %398 %869)
(fma.f64 %49 %398 %871)
(fma.f64 %19 %308 %732)
(fma.f64 #s(literal 1/2 binary64) %719 %869)
(fma.f64 #s(literal 1/2 binary64) %719 %871)
(fma.f64 #s(literal 2 binary64) %726 %869)
(fma.f64 #s(literal 2 binary64) %726 %871)
(fma.f64 #s(literal 2 binary64) %728 %869)
(fma.f64 #s(literal 2 binary64) %728 %871)
(fma.f64 #s(literal 2 binary64) %730 %869)
(fma.f64 #s(literal 2 binary64) %730 %871)
(fma.f64 #s(literal 2 binary64) %732 %869)
(fma.f64 #s(literal 2 binary64) %732 %871)
(fma.f64 %25 %406 %869)
(fma.f64 %25 %406 %871)
(fma.f64 %718 #s(literal 1 binary64) %869)
(fma.f64 %718 #s(literal 1 binary64) %871)
(fma.f64 %308 y %869)
(fma.f64 %308 y %871)
(fma.f64 #s(literal -1 binary64) %737 %869)
(fma.f64 #s(literal -1 binary64) %737 %871)
(fma.f64 #s(literal -1 binary64) %739 %869)
(fma.f64 #s(literal -1 binary64) %739 %871)
(fma.f64 #s(literal 1 binary64) %718 %869)
(fma.f64 #s(literal 1 binary64) %718 %871)
(fma.f64 y %308 %869)
(fma.f64 y %308 %871)
(+.f64 %732 %732)
(+.f64 %718 %869)
(+.f64 %718 %871)
(*.f64 (*.f64 %7 #s(literal 2 binary64)) %19)
(*.f64 (*.f64 %7 #s(literal 1 binary64)) y)
(*.f64 #s(literal 2 binary64) (*.f64 %19 %7))
(*.f64 %917 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %917)
%917
(*.f64 y %7)
(pow.f64 %917 #s(literal 1 binary64))
(/.f64 %917 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %917 #s(literal -1 binary64)))
(*.f64 (*.f64 %925 #s(literal 2 binary64)) %19)
(*.f64 (*.f64 %925 #s(literal 1 binary64)) y)
(*.f64 %925 y)
(*.f64 #s(literal 2 binary64) (*.f64 %19 %925))
(*.f64 %933 #s(literal 1 binary64))
%933
(*.f64 %184 %7)
(*.f64 #s(literal 1 binary64) %933)
(*.f64 %7 %184)
(*.f64 y %925)
(*.f64 #s(literal 3 binary64) %917)
(pow.f64 %933 #s(literal 1 binary64))
(/.f64 %933 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %933 #s(literal -1 binary64)))
(neg.f64 (*.f64 #s(literal -3 binary64) %917))
(neg.f64 (*.f64 %917 #s(literal -3 binary64)))
(*.f64 #s(literal 1 binary64) %948)
(pow.f64 %948 #s(literal 1 binary64))
%948
(/.f64 #s(literal 1 binary64) (pow.f64 %948 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %953)
(pow.f64 %953 #s(literal 1 binary64))
%953
(/.f64 #s(literal 1 binary64) (pow.f64 %953 #s(literal -1 binary64)))
reconstruct74.0ms (4.8%)
Counts
633 → 100
Compiler
Compiled 633 to 1 037 computations (-63.8% saved)
eval9.0ms (0.6%)
Compiler
Compiled 92 to 275 computations (-198.9% saved)
prune3.0ms (0.2%)
Pruning
8 alts after pruning (1 fresh and 7 done)
PrunedKeptTotal
New91192
Fresh000
Picked325
Done055
Total948102
Accuracy
100.0%
Counts
102 → 8
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶50.5%
(/.f64 y (approx (/ -1/3 (- 4/29 x)) #s(literal -29/12 binary64)))
✓99.8%
(*.f64 (fma.f64 #s(literal 3 binary64) x #s(literal -12/29 binary64)) y)
✓50.2%
(*.f64 (/.f64 #s(literal 1 binary64) (approx (pow (+ (* 3 x) -12/29) -1) #s(literal -29/12 binary64))) y)
✓99.6%
(*.f64 (*.f64 #s(literal -3 binary64) y) (-.f64 #s(literal 4/29 binary64) x))
✓51.0%
(*.f64 (approx (* (- x 4/29) 3) (*.f64 #s(literal 3 binary64) x)) y)
✓50.7%
(*.f64 (approx (* (- x 4/29) 3) #s(literal -12/29 binary64)) y)
✓51.0%
(approx (* (* (- x 4/29) 3) y) (*.f64 x (*.f64 y #s(literal 3 binary64))))
✓51.0%
(approx (* (* (- x 4/29) 3) y) (*.f64 #s(literal 3 binary64) (*.f64 x y)))
Compiler
Compiled 8 to 23 computations (-187.5% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series7.0ms (0.5%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0104276
Stop Event
1×iter-limit
Counts
4 → 18
Calls
Call 1
Inputs
%7 = (approx (/ -1/3 (- 4/29 x)) #s(literal -29/12 binary64))
y
#s(literal -29/12 binary64)
%7
(/.f64 y %7)
Outputs
%7 = (/ -1/3 (- 4/29 x))
%31 = (/ y %7)
%37 = (*.f64 #s(literal 3 binary64) (*.f64 x y))
%45 = (/.f64 #s(literal 1 binary64) x)
%46 = (*.f64 #s(literal 4/87 binary64) %45)
%52 = (pow.f64 x #s(literal 2 binary64))
%53 = (/.f64 #s(literal 16/2523 binary64) %52)
%68 = (/.f64 y x)
%74 = (*.f64 #s(literal 16/2523 binary64) %45)
(approx y #s(literal 0 binary64))
(approx %7 #s(literal -29/12 binary64))
(approx %7 (-.f64 (*.f64 #s(literal -841/48 binary64) x) #s(literal 29/12 binary64)))
(approx %7 (-.f64 (*.f64 x (-.f64 (*.f64 #s(literal -24389/192 binary64) x) #s(literal 841/48 binary64))) #s(literal 29/12 binary64)))
(approx %7 (-.f64 (*.f64 x (-.f64 (*.f64 x (-.f64 (*.f64 #s(literal -707281/768 binary64) x) #s(literal 24389/192 binary64))) #s(literal 841/48 binary64))) #s(literal 29/12 binary64)))
(approx %31 (*.f64 #s(literal -12/29 binary64) y))
(approx %31 (fma.f64 #s(literal -12/29 binary64) y %37))
(approx %7 (/.f64 #s(literal 1/3 binary64) x))
(approx %7 (/.f64 (+.f64 #s(literal 1/3 binary64) %46) x))
(approx %7 (/.f64 (+.f64 #s(literal 1/3 binary64) (+.f64 %53 %46)) x))
(approx %7 (/.f64 (+.f64 #s(literal 1/3 binary64) (+.f64 %53 (fma.f64 #s(literal 4/87 binary64) %45 (*.f64 #s(literal 64/73167 binary64) (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))))) x))
(approx %31 %37)
(approx %31 (*.f64 x (fma.f64 #s(literal -12/29 binary64) %68 (*.f64 #s(literal 3 binary64) y))))
(approx %7 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 #s(literal 4/87 binary64) %74) x)) #s(literal 1/3 binary64)) x)))
(approx %7 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 #s(literal 4/87 binary64) (+.f64 (/.f64 #s(literal 64/73167 binary64) %52) %74)) x)) #s(literal 1/3 binary64)) x)))
(approx %31 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -3 binary64) y (*.f64 #s(literal 12/29 binary64) %68)))))
(approx y y)
(approx %31 (*.f64 #s(literal -3 binary64) (*.f64 y (-.f64 #s(literal 4/29 binary64) x))))
Calls
6 calls:
TimeVariablePoint
1.0ms
y
inf
1.0ms
y
-inf
0.0ms
x
inf
0.0ms
x
0
0.0ms
y
0
rewrite86.0ms (5.6%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0918
01018
14018
210718
325018
475518
0419118
0451018
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
4 → 222
Calls
Call 1
Inputs
%7 = (approx (/ -1/3 (- 4/29 x)) #s(literal -29/12 binary64))
y
#s(literal -29/12 binary64)
%7
(/.f64 y %7)
Outputs
%8 = (approx (/ -1/3 (- 4/29 x)) #s(literal -29/12 binary64))
%11 = (/.f64 #s(literal 1 binary64) %8)
%13 = (neg.f64 %8)
%16 = (/.f64 y %8)
%17 = (*.f64 #s(literal 2 binary64) %16)
%21 = (*.f64 #s(literal -1/2 binary64) y)
%23 = (/.f64 #s(literal -2 binary64) %8)
%25 = (*.f64 #s(literal 1/2 binary64) y)
%26 = (/.f64 #s(literal 2 binary64) %8)
%28 = (*.f64 #s(literal -2 binary64) y)
%29 = (/.f64 #s(literal -1/2 binary64) %8)
%32 = (/.f64 %16 #s(literal 4 binary64))
%34 = (+.f64 y y)
%35 = (/.f64 #s(literal 1/2 binary64) %8)
%37 = (/.f64 %25 %13)
%39 = (/.f64 %34 %8)
%42 = (neg.f64 y)
%43 = (+.f64 %8 %8)
%44 = (neg.f64 %43)
%45 = (/.f64 %42 %44)
%47 = (/.f64 %16 #s(literal 2 binary64))
%49 = (/.f64 y %43)
%51 = (/.f64 %21 %13)
%53 = (/.f64 %25 %8)
%55 = (*.f64 %35 y)
%57 = (*.f64 #s(literal 1/2 binary64) %16)
%59 = (/.f64 %42 %8)
%62 = (/.f64 #s(literal -1 binary64) %8)
%92 = (*.f64 %17 #s(literal 0 binary64))
%94 = (*.f64 %16 #s(literal 0 binary64))
%96 = (*.f64 #s(literal 0 binary64) %17)
%98 = (*.f64 #s(literal 0 binary64) %16)
%100 = (*.f64 %62 #s(literal 0 binary64))
%109 = (*.f64 %21 %62)
%117 = (*.f64 %25 %11)
%206 = (*.f64 %62 %21)
%220 = (*.f64 %11 %25)
%229 = (*.f64 %42 %29)
%243 = (*.f64 %16 #s(literal 1/2 binary64))
%252 = (*.f64 y %35)
y
#s(literal -29/12 binary64)
(*.f64 #s(literal 1 binary64) %8)
(pow.f64 %8 #s(literal 1 binary64))
%8
(/.f64 #s(literal 1 binary64) %11)
(neg.f64 %13)
(*.f64 %17 #s(literal 1/2 binary64))
(*.f64 %21 %23)
(*.f64 %25 %26)
(*.f64 %28 %29)
(*.f64 #s(literal 4 binary64) %32)
(*.f64 %34 %35)
(*.f64 #s(literal -2 binary64) %37)
(*.f64 #s(literal 1/2 binary64) %39)
(*.f64 #s(literal 1/2 binary64) %17)
(*.f64 #s(literal 2 binary64) %45)
(*.f64 #s(literal 2 binary64) %47)
(*.f64 #s(literal 2 binary64) %49)
(*.f64 #s(literal 2 binary64) %51)
(*.f64 #s(literal 2 binary64) %53)
(*.f64 #s(literal 2 binary64) %55)
(*.f64 #s(literal 2 binary64) %57)
(*.f64 %59 #s(literal -1 binary64))
(*.f64 %62 %42)
(*.f64 #s(literal -1 binary64) %59)
(*.f64 %11 y)
(*.f64 %42 %62)
(*.f64 #s(literal 1 binary64) %16)
(*.f64 %16 #s(literal 1 binary64))
(*.f64 y %11)
(pow.f64 %16 #s(literal 1 binary64))
(/.f64 (neg.f64 %17) #s(literal -2 binary64))
(/.f64 %17 #s(literal 2 binary64))
(/.f64 %28 %44)
(/.f64 %34 %43)
(/.f64 %42 %13)
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %17))
(/.f64 #s(literal 1 binary64) (/.f64 %44 %28))
(/.f64 #s(literal 1 binary64) (/.f64 %43 %34))
(/.f64 #s(literal 1 binary64) (pow.f64 %16 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %13 %42))
(/.f64 #s(literal 1 binary64) (/.f64 %8 y))
(/.f64 %16 #s(literal 1 binary64))
%16
(neg.f64 %59)
(fma.f64 %17 #s(literal 1/2 binary64) %92)
(fma.f64 %17 #s(literal 1/2 binary64) %94)
(fma.f64 %17 #s(literal 1/2 binary64) %96)
(fma.f64 %17 #s(literal 1/2 binary64) %98)
(fma.f64 %17 #s(literal 1/2 binary64) %100)
(fma.f64 %17 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %21 %23 %92)
(fma.f64 %21 %23 %94)
(fma.f64 %21 %23 %96)
(fma.f64 %21 %23 %98)
(fma.f64 %21 %23 %100)
(fma.f64 %21 %23 #s(literal 0 binary64))
(fma.f64 %21 %62 %109)
(fma.f64 %25 %26 %92)
(fma.f64 %25 %26 %94)
(fma.f64 %25 %26 %96)
(fma.f64 %25 %26 %98)
(fma.f64 %25 %26 %100)
(fma.f64 %25 %26 #s(literal 0 binary64))
(fma.f64 %25 %11 %117)
(fma.f64 %28 %29 %92)
(fma.f64 %28 %29 %94)
(fma.f64 %28 %29 %96)
(fma.f64 %28 %29 %98)
(fma.f64 %28 %29 %100)
(fma.f64 %28 %29 #s(literal 0 binary64))
(fma.f64 #s(literal 4 binary64) %32 %92)
(fma.f64 #s(literal 4 binary64) %32 %94)
(fma.f64 #s(literal 4 binary64) %32 %96)
(fma.f64 #s(literal 4 binary64) %32 %98)
(fma.f64 #s(literal 4 binary64) %32 %100)
(fma.f64 #s(literal 4 binary64) %32 #s(literal 0 binary64))
(fma.f64 %34 %35 %92)
(fma.f64 %34 %35 %94)
(fma.f64 %34 %35 %96)
(fma.f64 %34 %35 %98)
(fma.f64 %34 %35 %100)
(fma.f64 %34 %35 #s(literal 0 binary64))
(fma.f64 %29 %42 %55)
(fma.f64 %35 y %55)
(fma.f64 #s(literal -2 binary64) %37 %92)
(fma.f64 #s(literal -2 binary64) %37 %94)
(fma.f64 #s(literal -2 binary64) %37 %96)
(fma.f64 #s(literal -2 binary64) %37 %98)
(fma.f64 #s(literal -2 binary64) %37 %100)
(fma.f64 #s(literal -2 binary64) %37 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %39 %92)
(fma.f64 #s(literal 1/2 binary64) %39 %94)
(fma.f64 #s(literal 1/2 binary64) %39 %96)
(fma.f64 #s(literal 1/2 binary64) %39 %98)
(fma.f64 #s(literal 1/2 binary64) %39 %100)
(fma.f64 #s(literal 1/2 binary64) %39 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %17 %92)
(fma.f64 #s(literal 1/2 binary64) %17 %94)
(fma.f64 #s(literal 1/2 binary64) %17 %96)
(fma.f64 #s(literal 1/2 binary64) %17 %98)
(fma.f64 #s(literal 1/2 binary64) %17 %100)
(fma.f64 #s(literal 1/2 binary64) %17 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %16 %57)
(fma.f64 #s(literal 2 binary64) %45 %92)
(fma.f64 #s(literal 2 binary64) %45 %94)
(fma.f64 #s(literal 2 binary64) %45 %96)
(fma.f64 #s(literal 2 binary64) %45 %98)
(fma.f64 #s(literal 2 binary64) %45 %100)
(fma.f64 #s(literal 2 binary64) %45 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %47 %92)
(fma.f64 #s(literal 2 binary64) %47 %94)
(fma.f64 #s(literal 2 binary64) %47 %96)
(fma.f64 #s(literal 2 binary64) %47 %98)
(fma.f64 #s(literal 2 binary64) %47 %100)
(fma.f64 #s(literal 2 binary64) %47 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %49 %92)
(fma.f64 #s(literal 2 binary64) %49 %94)
(fma.f64 #s(literal 2 binary64) %49 %96)
(fma.f64 #s(literal 2 binary64) %49 %98)
(fma.f64 #s(literal 2 binary64) %49 %100)
(fma.f64 #s(literal 2 binary64) %49 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %51 %92)
(fma.f64 #s(literal 2 binary64) %51 %94)
(fma.f64 #s(literal 2 binary64) %51 %96)
(fma.f64 #s(literal 2 binary64) %51 %98)
(fma.f64 #s(literal 2 binary64) %51 %100)
(fma.f64 #s(literal 2 binary64) %51 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %53 %92)
(fma.f64 #s(literal 2 binary64) %53 %94)
(fma.f64 #s(literal 2 binary64) %53 %96)
(fma.f64 #s(literal 2 binary64) %53 %98)
(fma.f64 #s(literal 2 binary64) %53 %100)
(fma.f64 #s(literal 2 binary64) %53 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %55 %92)
(fma.f64 #s(literal 2 binary64) %55 %94)
(fma.f64 #s(literal 2 binary64) %55 %96)
(fma.f64 #s(literal 2 binary64) %55 %98)
(fma.f64 #s(literal 2 binary64) %55 %100)
(fma.f64 #s(literal 2 binary64) %55 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %57 %92)
(fma.f64 #s(literal 2 binary64) %57 %94)
(fma.f64 #s(literal 2 binary64) %57 %96)
(fma.f64 #s(literal 2 binary64) %57 %98)
(fma.f64 #s(literal 2 binary64) %57 %100)
(fma.f64 #s(literal 2 binary64) %57 #s(literal 0 binary64))
(fma.f64 %59 #s(literal -1 binary64) %92)
(fma.f64 %59 #s(literal -1 binary64) %94)
(fma.f64 %59 #s(literal -1 binary64) %96)
(fma.f64 %59 #s(literal -1 binary64) %98)
(fma.f64 %59 #s(literal -1 binary64) %100)
(fma.f64 %59 #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 %62 %21 %206)
(fma.f64 %62 %42 %92)
(fma.f64 %62 %42 %94)
(fma.f64 %62 %42 %96)
(fma.f64 %62 %42 %98)
(fma.f64 %62 %42 %100)
(fma.f64 %62 %42 #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) %59 %92)
(fma.f64 #s(literal -1 binary64) %59 %94)
(fma.f64 #s(literal -1 binary64) %59 %96)
(fma.f64 #s(literal -1 binary64) %59 %98)
(fma.f64 #s(literal -1 binary64) %59 %100)
(fma.f64 #s(literal -1 binary64) %59 #s(literal 0 binary64))
(fma.f64 %11 %25 %220)
(fma.f64 %11 y %92)
(fma.f64 %11 y %94)
(fma.f64 %11 y %96)
(fma.f64 %11 y %98)
(fma.f64 %11 y %100)
(fma.f64 %11 y #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %16 %16)
(fma.f64 %42 %29 %229)
(fma.f64 %42 %62 %92)
(fma.f64 %42 %62 %94)
(fma.f64 %42 %62 %96)
(fma.f64 %42 %62 %98)
(fma.f64 %42 %62 %100)
(fma.f64 %42 %62 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %16 %92)
(fma.f64 #s(literal 1 binary64) %16 %94)
(fma.f64 #s(literal 1 binary64) %16 %96)
(fma.f64 #s(literal 1 binary64) %16 %98)
(fma.f64 #s(literal 1 binary64) %16 %100)
(fma.f64 #s(literal 1 binary64) %16 #s(literal 0 binary64))
(fma.f64 %16 #s(literal 1/2 binary64) %243)
(fma.f64 %16 #s(literal 0 binary64) %16)
(fma.f64 %16 #s(literal 1 binary64) %92)
(fma.f64 %16 #s(literal 1 binary64) %94)
(fma.f64 %16 #s(literal 1 binary64) %96)
(fma.f64 %16 #s(literal 1 binary64) %98)
(fma.f64 %16 #s(literal 1 binary64) %100)
(fma.f64 %16 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 y %35 %252)
(fma.f64 y %11 %92)
(fma.f64 y %11 %94)
(fma.f64 y %11 %96)
(fma.f64 y %11 %98)
(fma.f64 y %11 %100)
(fma.f64 y %11 #s(literal 0 binary64))
(+.f64 %206 %206)
(+.f64 %220 %220)
(+.f64 %243 %243)
(+.f64 %94 %16)
(+.f64 %252 %252)
(+.f64 %109 %109)
(+.f64 %117 %117)
(+.f64 %98 %16)
(+.f64 %229 %229)
(+.f64 %49 %49)
(+.f64 %51 %51)
(+.f64 %53 %53)
(+.f64 %55 %55)
(+.f64 %57 %57)
(+.f64 %16 %92)
(+.f64 %16 %94)
(+.f64 %16 %96)
(+.f64 %16 %98)
(+.f64 %16 %100)
(+.f64 %16 #s(literal 0 binary64))
reconstruct19.0ms (1.2%)
Counts
239 → 24
Compiler
Compiled 239 to 349 computations (-46.0% saved)
eval3.0ms (0.2%)
Compiler
Compiled 21 to 102 computations (-385.7% saved)
prune2.0ms (0.1%)
Pruning
10 alts after pruning (2 fresh and 8 done)
PrunedKeptTotal
New19221
Fresh000
Picked011
Done077
Total191029
Accuracy
100.0%
Counts
29 → 10
Alt Table
Click to see full alt table
StatusAccuracyProgram
3.2%
(/.f64 (approx y #s(literal 0 binary64)) (approx (/ -1/3 (- 4/29 x)) #s(literal -29/12 binary64)))
51.0%
(/.f64 y (approx (/ -1/3 (- 4/29 x)) (/.f64 #s(literal 1/3 binary64) x)))
✓50.5%
(/.f64 y (approx (/ -1/3 (- 4/29 x)) #s(literal -29/12 binary64)))
✓99.8%
(*.f64 (fma.f64 #s(literal 3 binary64) x #s(literal -12/29 binary64)) y)
✓50.2%
(*.f64 (/.f64 #s(literal 1 binary64) (approx (pow (+ (* 3 x) -12/29) -1) #s(literal -29/12 binary64))) y)
✓99.6%
(*.f64 (*.f64 #s(literal -3 binary64) y) (-.f64 #s(literal 4/29 binary64) x))
✓51.0%
(*.f64 (approx (* (- x 4/29) 3) (*.f64 #s(literal 3 binary64) x)) y)
✓50.7%
(*.f64 (approx (* (- x 4/29) 3) #s(literal -12/29 binary64)) y)
✓51.0%
(approx (* (* (- x 4/29) 3) y) (*.f64 x (*.f64 y #s(literal 3 binary64))))
✓51.0%
(approx (* (* (- x 4/29) 3) y) (*.f64 #s(literal 3 binary64) (*.f64 x y)))
Compiler
Compiled 10 to 28 computations (-180.0% saved)
regimes46.0ms (3.0%)
Accuracy
Total 0.4b remaining (1.2%)
Threshold costs 0.4b (1.2%)
0.1b99.5%
0.1b0.0%
0.1b99.6%
0.1b99.8%
0.0b0.0%
Counts
1 → 1
4 → 3
6 → 3
7 → 3
11 → 1
Calls
Call 1
Inputs
(*.f64 (approx (* (- x 4/29) 3) #s(literal -12/29 binary64)) y)
Outputs
(*.f64 (approx (* (- x 4/29) 3) #s(literal -12/29 binary64)) y)
Call 2
Inputs
%4 = (* (- x 4/29) 3)
%13 = (approx (/ -1/3 (- 4/29 x)) #s(literal -29/12 binary64))
(*.f64 (approx %4 #s(literal -12/29 binary64)) y)
(/.f64 y %13)
(/.f64 (approx y #s(literal 0 binary64)) %13)
(approx (* %4 y) (*.f64 #s(literal 3 binary64) (*.f64 x y)))
Outputs
%4 = (* (- x 4/29) 3)
%10 = (approx (* %4 y) (*.f64 #s(literal 3 binary64) (*.f64 x y)))
%10
(*.f64 (approx %4 #s(literal -12/29 binary64)) y)
%10
Call 3
Inputs
%2 = (- x 4/29)
%4 = (* %2 3)
%13 = (approx (/ -1/3 (- 4/29 x)) #s(literal -29/12 binary64))
%18 = (* %4 y)
(*.f64 (approx %4 #s(literal -12/29 binary64)) y)
(/.f64 y %13)
(/.f64 (approx y #s(literal 0 binary64)) %13)
(approx %18 (*.f64 #s(literal 3 binary64) (*.f64 x y)))
(approx %18 (*.f64 #s(literal 3 binary64) (*.f64 y (approx %2 #s(literal -4/29 binary64)))))
(approx %18 (*.f64 x (*.f64 y #s(literal 3 binary64))))
Outputs
%4 = (* (- x 4/29) 3)
%6 = (* %4 y)
(approx %6 (*.f64 #s(literal 3 binary64) (*.f64 x y)))
(*.f64 (approx %4 #s(literal -12/29 binary64)) y)
(approx %6 (*.f64 x (*.f64 y #s(literal 3 binary64))))
Call 4
Inputs
%2 = (- x 4/29)
%4 = (* %2 3)
%13 = (approx (/ -1/3 (- 4/29 x)) #s(literal -29/12 binary64))
%18 = (* %4 y)
(*.f64 (approx %4 #s(literal -12/29 binary64)) y)
(/.f64 y %13)
(/.f64 (approx y #s(literal 0 binary64)) %13)
(approx %18 (*.f64 #s(literal 3 binary64) (*.f64 x y)))
(approx %18 (*.f64 #s(literal 3 binary64) (*.f64 y (approx %2 #s(literal -4/29 binary64)))))
(approx %18 (*.f64 x (*.f64 y #s(literal 3 binary64))))
(*.f64 (approx %4 (*.f64 #s(literal 3 binary64) x)) y)
Outputs
%4 = (* (- x 4/29) 3)
(approx (* %4 y) (*.f64 #s(literal 3 binary64) (*.f64 x y)))
(*.f64 (approx %4 #s(literal -12/29 binary64)) y)
(*.f64 (approx %4 (*.f64 #s(literal 3 binary64) x)) y)
Call 5
Inputs
%2 = (- x 4/29)
%4 = (* %2 3)
%10 = (- 4/29 x)
%11 = (/ -1/3 %10)
%13 = (approx %11 #s(literal -29/12 binary64))
%18 = (* %4 y)
(*.f64 (approx %4 #s(literal -12/29 binary64)) y)
(/.f64 y %13)
(/.f64 (approx y #s(literal 0 binary64)) %13)
(approx %18 (*.f64 #s(literal 3 binary64) (*.f64 x y)))
(approx %18 (*.f64 #s(literal 3 binary64) (*.f64 y (approx %2 #s(literal -4/29 binary64)))))
(approx %18 (*.f64 x (*.f64 y #s(literal 3 binary64))))
(*.f64 (approx %4 (*.f64 #s(literal 3 binary64) x)) y)
(*.f64 (*.f64 #s(literal -3 binary64) y) (approx %10 #s(literal 4/29 binary64)))
(*.f64 (/.f64 #s(literal 1 binary64) (approx (pow (+ (* 3 x) -12/29) -1) #s(literal -29/12 binary64))) y)
(/.f64 y (approx %11 (/.f64 #s(literal 1/3 binary64) x)))
(*.f64 (fma.f64 #s(literal 3 binary64) x #s(literal -12/29 binary64)) y)
Outputs
(*.f64 (fma.f64 #s(literal 3 binary64) x #s(literal -12/29 binary64)) y)
Calls
5 calls:
21.0ms
(*.f64 (*.f64 (-.f64 x (/.f64 #s(literal 16 binary64) #s(literal 116 binary64))) #s(literal 3 binary64)) y)
18.0ms
(*.f64 (-.f64 x (/.f64 #s(literal 16 binary64) #s(literal 116 binary64))) #s(literal 3 binary64))
13.0ms
x
9.0ms
y
8.0ms
(-.f64 x (/.f64 #s(literal 16 binary64) #s(literal 116 binary64)))
Results
AccuracySegmentsBranch
50.7%1
y
50.7%1
x
50.7%1
(*.f64 (*.f64 (-.f64 x (/.f64 #s(literal 16 binary64) #s(literal 116 binary64))) #s(literal 3 binary64)) y)
50.7%1
(*.f64 (-.f64 x (/.f64 #s(literal 16 binary64) #s(literal 116 binary64))) #s(literal 3 binary64))
50.7%1
(-.f64 x (/.f64 #s(literal 16 binary64) #s(literal 116 binary64)))
Compiler
Compiled 23 to 63 computations (-173.9% saved)
bsearch0.0ms (0.0%)
bsearch1.0ms (0.0%)
Algorithm
2×left-value
Steps
TimeLeftRight
0.0ms
-0.1377930123275781
254817.60085258388
0.0ms
-618.8989833751374
-0.17922245072152646
Compiler
Compiled 1 to 5 computations (-400.0% saved)
bsearch0.0ms (0.0%)
Algorithm
2×left-value
Steps
TimeLeftRight
0.0ms
-0.1377930123275781
254817.60085258388
0.0ms
-618.8989833751374
-0.17922245072152646
Compiler
Compiled 1 to 5 computations (-400.0% saved)
bsearch0.0ms (0.0%)
Algorithm
2×left-value
Steps
TimeLeftRight
0.0ms
-0.1377930123275781
254817.60085258388
0.0ms
-618.8989833751374
-0.17922245072152646
Compiler
Compiled 1 to 5 computations (-400.0% saved)
bsearch0.0ms (0.0%)
derivations35.0ms (2.3%)
Stop Event
1×fuel
Compiler
Compiled 5 to 27 computations (-440.0% saved)
preprocess24.0ms (1.6%)
Compiler
Compiled 16 to 164 computations (-925.0% saved)
end0.0ms (0.0%)
gc322ms (21.0%)
Allocations
AllocatedPercentPhase
499.9 MiB32.8%sample
343.6 MiB22.5%rewrite
236.6 MiB15.5%reconstruct
135.8 MiB8.9%series
109.8 MiB7.2%regimes
91.6 MiB6.0%preprocess
56.6 MiB3.7%eval
26.4 MiB1.7%prune
21.6 MiB1.4%derivations
2.2 MiB0.1%bsearch
0.4 MiB0.0%analyze
0.0 MiB0.0%start
0.0 MiB0.0%end
1 524.6 MiB100.0%total
Profiling
Loading profile data...