Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, D

Time bar (total: 3.3s)

start0.0ms (0.0%)

analyze231.0ms (7.0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0.0%0.0%99.8%0.2%0.0%0.0%0.0%0
0.0%0.0%99.8%0.2%0.0%0.0%0.0%1
0.0%0.0%99.8%0.2%0.0%0.0%0.0%2
0.0%0.0%99.8%0.2%0.0%0.0%0.0%3
0.0%0.0%99.8%0.2%0.0%0.0%0.0%4
0.0%0.0%99.8%0.2%0.0%0.0%0.0%5
0.0%0.0%99.8%0.2%0.0%0.0%0.0%6
0.0%0.0%99.8%0.2%0.0%0.0%0.0%7
0.0%0.0%99.8%0.2%0.0%0.0%0.0%8
4.2%3.1%71.7%0.2%0.0%25.0%0.0%9
4.2%3.1%71.3%0.2%0.0%25.3%0.0%10
6.3%4.7%69.2%0.2%0.0%25.9%0.0%11
9.2%6.6%65.8%0.2%0.0%27.4%0.0%12
Compiler

Compiled 21 to 19 computations (9.5% saved)

sample1.3s (39.7%)

Samples
677.0ms15 448×0invalid
340.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 104.0ms
Mul: 36.0ms (34.7% of total, 0.0 MiB)
Acos: 27.0ms (26.0% of total, 0.0 MiB)
Div: 20.0ms (19.3% of total, 0.0 MiB)
Sqrt: 20.0ms (19.3% of total, 0.0 MiB)
Bogosity

preprocess34.0ms (1.0%)

Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
092263
1533227
22742227
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶98.5%
(*.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (*.f64 (/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))
Compiler

Compiled 2 to 36 computations (-1700.0% saved)

sample0.0ms (0.0%)

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

Compiled 5 to 4 computations (20.0% saved)

series33.0ms (1.0%)

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
065238
Stop Event
1×iter-limit
Counts
18 → 18
Calls
Call 1
Inputs
%2 = (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))
%6 = (*.f64 y #s(literal 27 binary64))
%7 = (/.f64 x %6)
%8 = (*.f64 #s(literal 3 binary64) %7)
%11 = (*.f64 z #s(literal 2 binary64))
%12 = (/.f64 %8 %11)
%14 = (sqrt.f64 t)
%15 = (*.f64 %12 %14)
%16 = (acos.f64 %15)
#s(literal 1 binary64)
#s(literal 3 binary64)
%2
x
y
#s(literal 27 binary64)
%6
%7
%8
z
#s(literal 2 binary64)
%11
%12
t
%14
%15
%16
(*.f64 %2 %16)
Outputs
%7 = (* y 27)
%8 = (/ x %7)
%10 = (/.f64 x y)
%14 = (* 3 %8)
%20 = (* z 2)
%21 = (/ %14 %20)
%23 = (*.f64 y z)
%28 = (sqrt t)
%29 = (* %21 %28)
%30 = (sqrt.f64 t)
%33 = (*.f64 #s(literal 1/18 binary64) (/.f64 (*.f64 x %30) %23))
%35 = (acos %29)
%36 = (acos.f64 %33)
%55 = (sqrt.f64 (/.f64 #s(literal 1 binary64) t))
%56 = (*.f64 t %55)
%60 = (/.f64 (*.f64 t (*.f64 x %55)) %23)
(approx 1 #s(literal 0 binary64))
(approx x x)
(approx %8 (*.f64 #s(literal 1/27 binary64) %10))
(approx %14 (*.f64 #s(literal 1/9 binary64) %10))
(approx %21 (*.f64 #s(literal 1/18 binary64) (/.f64 x %23)))
(approx %29 %33)
(approx %35 %36)
(approx (* 1/3 %35) (*.f64 #s(literal 1/3 binary64) %36))
(approx y y)
(approx %7 (*.f64 #s(literal 27 binary64) y))
(approx z z)
(approx %20 (*.f64 #s(literal 2 binary64) z))
(approx t t)
(approx %28 %30)
(approx %28 %56)
(approx %29 (*.f64 #s(literal 1/18 binary64) %60))
(approx %28 (*.f64 #s(literal -1 binary64) %56))
(approx %29 (*.f64 #s(literal -1/18 binary64) %60))
Calls

12 calls:

TimeVariablePoint
7.0ms
y
inf
3.0ms
x
inf
3.0ms
x
0
3.0ms
x
-inf
3.0ms
y
0

rewrite103.0ms (3.1%)

Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01886
02986
19176
238768
3301768
0424668
0485568
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
18 → 556
Calls
Call 1
Inputs
%2 = (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))
%6 = (*.f64 y #s(literal 27 binary64))
%7 = (/.f64 x %6)
%8 = (*.f64 #s(literal 3 binary64) %7)
%11 = (*.f64 z #s(literal 2 binary64))
%12 = (/.f64 %8 %11)
%14 = (sqrt.f64 t)
%15 = (*.f64 %12 %14)
%16 = (acos.f64 %15)
#s(literal 1 binary64)
#s(literal 3 binary64)
%2
x
y
#s(literal 27 binary64)
%6
%7
%8
z
#s(literal 2 binary64)
%11
%12
t
%14
%15
%16
(*.f64 %2 %16)
Outputs
%6 = (neg.f64 y)
%7 = (neg.f64 %6)
%13 = (*.f64 #s(literal 27 binary64) y)
%18 = (/.f64 #s(literal 1/27 binary64) y)
%20 = (*.f64 #s(literal -27 binary64) y)
%25 = (/.f64 #s(literal 1/2 binary64) y)
%28 = (/.f64 #s(literal 2 binary64) y)
%33 = (/.f64 #s(literal 1/54 binary64) y)
%35 = (/.f64 x y)
%38 = (/.f64 #s(literal -1/27 binary64) y)
%39 = (neg.f64 x)
%41 = (*.f64 x #s(literal 1/27 binary64))
%42 = (/.f64 #s(literal 1 binary64) y)
%48 = (/.f64 %39 y)
%53 = (*.f64 %33 x)
%56 = (/.f64 x %13)
%66 = (/.f64 %39 #s(literal 27 binary64))
%70 = (*.f64 %35 #s(literal 1 binary64))
%92 = (*.f64 %35 #s(literal -1/27 binary64))
%94 = (*.f64 x #s(literal 3 binary64))
%95 = (*.f64 %94 #s(literal 2/27 binary64))
%97 = (*.f64 %94 %28)
%100 = (*.f64 #s(literal 1/9 binary64) x)
%102 = (/.f64 #s(literal 1/9 binary64) y)
%103 = (*.f64 %102 x)
%104 = (*.f64 %103 #s(literal 2 binary64))
%106 = (/.f64 #s(literal 3 binary64) %6)
%111 = (*.f64 %94 #s(literal 2 binary64))
%113 = (*.f64 x #s(literal 1/9 binary64))
%115 = (*.f64 %35 #s(literal 3 binary64))
%117 = (*.f64 %94 %33)
%121 = (/.f64 #s(literal 3 binary64) y)
%123 = (*.f64 %41 #s(literal 1 binary64))
%128 = (*.f64 #s(literal -3 binary64) x)
%135 = (*.f64 %38 #s(literal 3 binary64))
%137 = (/.f64 #s(literal 3 binary64) %20)
%141 = (*.f64 %102 #s(literal 1 binary64))
%144 = (*.f64 %56 #s(literal 1 binary64))
%159 = (*.f64 %94 #s(literal -1 binary64))
%161 = (*.f64 %113 #s(literal 1 binary64))
%163 = (*.f64 %115 #s(literal 1 binary64))
%165 = (*.f64 %128 #s(literal 1 binary64))
%167 = (*.f64 %41 #s(literal 3 binary64))
%169 = (*.f64 %48 #s(literal 3 binary64))
%174 = (*.f64 y #s(literal 2 binary64))
%181 = (*.f64 y #s(literal -54 binary64))
%183 = (*.f64 y #s(literal 54 binary64))
%205 = (*.f64 #s(literal -1/9 binary64) %35)
%208 = (*.f64 %103 #s(literal 0 binary64))
%210 = (*.f64 #s(literal 0 binary64) %103)
%236 = (/.f64 %121 #s(literal 2 binary64))
%239 = (/.f64 %94 #s(literal 2 binary64))
%242 = (/.f64 %56 #s(literal 1/2 binary64))
%246 = (/.f64 %56 #s(literal 4 binary64))
%261 = (/.f64 %56 #s(literal 1 binary64))
%265 = (*.f64 x #s(literal 1/2 binary64))
%268 = (/.f64 %35 #s(literal 2 binary64))
%276 = (/.f64 %41 #s(literal 2 binary64))
%302 = (*.f64 #s(literal 1/2 binary64) %103)
%312 = (/.f64 %102 #s(literal 2 binary64))
%331 = (neg.f64 z)
%332 = (neg.f64 %331)
%339 = (+.f64 z z)
%346 = (/.f64 #s(literal 1/2 binary64) z)
%348 = (*.f64 #s(literal -2 binary64) z)
%361 = (/.f64 #s(literal 2 binary64) z)
%366 = (*.f64 y z)
%367 = (/.f64 #s(literal 1/27 binary64) %366)
%369 = (/.f64 x z)
%372 = (/.f64 #s(literal 3 binary64) z)
%373 = (*.f64 %372 x)
%375 = (/.f64 #s(literal 1/4 binary64) z)
%379 = (/.f64 %35 z)
%380 = (*.f64 #s(literal 1/18 binary64) %379)
%390 = (/.f64 #s(literal 3 binary64) %331)
%391 = (/.f64 %92 #s(literal 2 binary64))
%393 = (/.f64 %56 %331)
%396 = (/.f64 %56 #s(literal -2 binary64))
%397 = (/.f64 #s(literal -3 binary64) z)
%401 = (/.f64 %92 z)
%406 = (/.f64 #s(literal 1 binary64) z)
%411 = (*.f64 x %367)
%416 = (/.f64 #s(literal 3/2 binary64) z)
%417 = (*.f64 x %416)
%426 = (/.f64 #s(literal -1/2 binary64) z)
%452 = (/.f64 %205 z)
%464 = (/.f64 %33 z)
%468 = (/.f64 %113 %366)
%470 = (*.f64 #s(literal 54 binary64) z)
%471 = (*.f64 y %470)
%472 = (/.f64 x %471)
%567 = (/.f64 %468 #s(literal 1/2 binary64))
%569 = (/.f64 %205 #s(literal 2 binary64))
%604 = (*.f64 z %13)
%624 = (*.f64 %20 %348)
%631 = (*.f64 %13 %348)
%635 = (*.f64 y %339)
%639 = (*.f64 %181 z)
%702 = (*.f64 #s(literal -1/18 binary64) %379)
%705 = (sqrt.f64 t)
%706 = (sqrt.f64 %705)
%714 = (neg.f64 %705)
%719 = (*.f64 %705 #s(literal 3 binary64))
%725 = (*.f64 (*.f64 %705 #s(literal 1/9 binary64)) %35)
%734 = (*.f64 %372 %705)
%735 = (*.f64 %734 %56)
%737 = (*.f64 %734 x)
%739 = (*.f64 %719 x)
%741 = (*.f64 %725 #s(literal 1 binary64))
%745 = (/.f64 %705 %331)
%748 = (/.f64 %705 #s(literal -2 binary64))
%754 = (*.f64 %53 %705)
%756 = (/.f64 %705 %339)
%759 = (/.f64 (*.f64 x %705) %471)
%762 = (*.f64 %705 %56)
%764 = (*.f64 %705 %117)
%766 = (*.f64 %468 %705)
%776 = (/.f64 %705 z)
%779 = (*.f64 %705 #s(literal 1/2 binary64))
%788 = (*.f64 %205 %705)
%804 = (*.f64 %705 %380)
%854 = (*.f64 %94 %705)
%917 = (*.f64 %702 %705)
%919 = (*.f64 %705 %702)
%921 = (/.f64 %725 %348)
%923 = (/.f64 %788 %339)
%925 = (acos.f64 %804)
%930 = (neg.f64 %925)
%932 = (PI.f64 )
%934 = (asin.f64 %804)
%935 = (neg.f64 %934)
%939 = (*.f64 #s(literal 1/2 binary64) %932)
%955 = (*.f64 %925 #s(literal 1/3 binary64))
%965 = (*.f64 %935 #s(literal 1/3 binary64))
%967 = (*.f64 #s(literal 1/3 binary64) %935)
#s(literal 1 binary64)
#s(literal 3 binary64)
#s(literal 1/3 binary64)
x
y
#s(literal 27 binary64)
(*.f64 %7 #s(literal 27 binary64))
(*.f64 %6 #s(literal -27 binary64))
(*.f64 #s(literal -27 binary64) %6)
(*.f64 #s(literal 27 binary64) %7)
%13
(*.f64 y #s(literal 27 binary64))
(*.f64 #s(literal 1 binary64) %13)
(pow.f64 %13 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %18)
(neg.f64 %20)
(*.f64 (*.f64 x #s(literal 2/27 binary64)) %25)
(*.f64 (*.f64 x %28) #s(literal 1/54 binary64))
(*.f64 (*.f64 x #s(literal 2 binary64)) %33)
(*.f64 #s(literal 1/27 binary64) %35)
(*.f64 %38 %39)
(*.f64 %41 %42)
(*.f64 #s(literal 2/27 binary64) (*.f64 %25 x))
(*.f64 %28 (*.f64 #s(literal 1/54 binary64) x))
(*.f64 %48 #s(literal -1/27 binary64))
(*.f64 %35 #s(literal 1/27 binary64))
(*.f64 %18 x)
(*.f64 %39 %38)
(*.f64 #s(literal 2 binary64) %53)
(*.f64 x %18)
(*.f64 #s(literal 1 binary64) %56)
(pow.f64 %56 #s(literal 1 binary64))
(/.f64 (*.f64 %39 #s(literal 1/27 binary64)) %6)
(/.f64 (*.f64 #s(literal 1/27 binary64) x) y)
(/.f64 (*.f64 #s(literal -1 binary64) x) %20)
(/.f64 %66 %6)
(/.f64 (*.f64 x #s(literal -1 binary64)) %20)
(/.f64 %70 #s(literal 27 binary64))
(/.f64 (*.f64 %39 #s(literal 1 binary64)) %20)
(/.f64 (neg.f64 %41) %6)
(/.f64 %41 y)
(/.f64 %48 #s(literal -27 binary64))
(/.f64 %35 #s(literal 27 binary64))
(/.f64 %39 %20)
%56
(/.f64 #s(literal 1 binary64) (pow.f64 %56 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 y %41))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -27 binary64) %48))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 27 binary64) %35))
(/.f64 #s(literal 1 binary64) (/.f64 %20 %39))
(/.f64 #s(literal 1 binary64) (/.f64 %13 x))
(neg.f64 %92)
(*.f64 %95 %25)
(*.f64 %97 #s(literal 1/54 binary64))
(*.f64 %100 %42)
(*.f64 %104 #s(literal 1/2 binary64))
(*.f64 %66 %106)
(*.f64 %106 %66)
(*.f64 #s(literal -1/9 binary64) %48)
(*.f64 %111 %33)
%103
(*.f64 %113 %42)
(*.f64 %115 #s(literal 1/27 binary64))
(*.f64 %117 #s(literal 2 binary64))
(*.f64 #s(literal 1/9 binary64) %70)
(*.f64 #s(literal 1/9 binary64) %35)
(*.f64 %41 %121)
(*.f64 %121 %123)
(*.f64 %121 %41)
(*.f64 %92 #s(literal -3 binary64))
(*.f64 %128 %38)
(*.f64 #s(literal -3 binary64) %92)
(*.f64 %48 #s(literal -1/9 binary64))
(*.f64 %94 %18)
(*.f64 %35 #s(literal 1/9 binary64))
(*.f64 %18 %94)
(*.f64 %39 %135)
(*.f64 %39 %137)
(*.f64 %103 #s(literal 1 binary64))
(*.f64 %56 #s(literal 3 binary64))
(*.f64 x %141)
(*.f64 x %102)
(*.f64 #s(literal 3 binary64) %144)
(*.f64 #s(literal 3 binary64) %56)
(*.f64 #s(literal 1 binary64) %103)
(pow.f64 %103 #s(literal 1 binary64))
(/.f64 (*.f64 #s(literal 1/9 binary64) %39) %6)
(/.f64 %100 y)
(/.f64 (*.f64 %121 x) #s(literal 27 binary64))
(/.f64 %104 #s(literal 2 binary64))
(/.f64 (/.f64 %128 #s(literal 27 binary64)) %6)
(/.f64 (/.f64 %128 y) #s(literal -27 binary64))
(/.f64 %159 %20)
(/.f64 %161 y)
(/.f64 %163 #s(literal 27 binary64))
(/.f64 %165 %20)
(/.f64 %167 y)
(/.f64 %169 #s(literal -27 binary64))
(/.f64 (*.f64 #s(literal 3 binary64) %48) #s(literal -27 binary64))
(/.f64 (*.f64 %113 #s(literal 2 binary64)) %174)
(/.f64 (*.f64 %115 #s(literal 2 binary64)) #s(literal 54 binary64))
(/.f64 (*.f64 %128 #s(literal 2 binary64)) %181)
(/.f64 %111 %183)
(/.f64 (neg.f64 %113) %6)
(/.f64 (neg.f64 %115) #s(literal -27 binary64))
(/.f64 (neg.f64 %128) %13)
(/.f64 %113 y)
(/.f64 %115 #s(literal 27 binary64))
(/.f64 %128 %20)
(/.f64 %94 %13)
(/.f64 #s(literal 1 binary64) (pow.f64 %103 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 y %113))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 27 binary64) %115))
(/.f64 #s(literal 1 binary64) (/.f64 %20 %128))
(/.f64 #s(literal 1 binary64) (/.f64 %13 %94))
(neg.f64 %205)
(fma.f64 %95 %25 %208)
(fma.f64 %95 %25 %210)
(fma.f64 %97 #s(literal 1/54 binary64) %208)
(fma.f64 %97 #s(literal 1/54 binary64) %210)
(fma.f64 %100 %42 %208)
(fma.f64 %100 %42 %210)
(fma.f64 %104 #s(literal 1/2 binary64) %208)
(fma.f64 %104 #s(literal 1/2 binary64) %210)
(fma.f64 #s(literal 2/9 binary64) (/.f64 %35 #s(literal 4 binary64)) %117)
(fma.f64 (/.f64 %121 #s(literal 1/2 binary64)) (/.f64 %41 #s(literal 4 binary64)) %117)
(fma.f64 (/.f64 %94 #s(literal 1/2 binary64)) (/.f64 %18 #s(literal 4 binary64)) %117)
(fma.f64 (/.f64 x #s(literal 1/2 binary64)) (/.f64 %102 #s(literal 4 binary64)) %117)
(fma.f64 %66 %106 %208)
(fma.f64 %66 %106 %210)
(fma.f64 #s(literal 1/18 binary64) (/.f64 %35 #s(literal 1 binary64)) %117)
(fma.f64 %236 (/.f64 %41 #s(literal 1 binary64)) %117)
(fma.f64 %239 (/.f64 %18 #s(literal 1 binary64)) %117)
(fma.f64 %242 #s(literal 3/4 binary64) %117)
(fma.f64 #s(literal 6 binary64) %246 %117)
(fma.f64 %106 %66 %208)
(fma.f64 %106 %66 %210)
(fma.f64 #s(literal -1/9 binary64) %48 %208)
(fma.f64 #s(literal -1/9 binary64) %48 %210)
(fma.f64 %111 %33 %208)
(fma.f64 %111 %33 %210)
(fma.f64 %102 x %208)
(fma.f64 %102 x %210)
(fma.f64 %113 %42 %208)
(fma.f64 %113 %42 %210)
(fma.f64 %115 #s(literal 1/27 binary64) %208)
(fma.f64 %115 #s(literal 1/27 binary64) %210)
(fma.f64 #s(literal 3/2 binary64) %261 %117)
(fma.f64 %117 #s(literal 2 binary64) %208)
(fma.f64 %117 #s(literal 2 binary64) %210)
(fma.f64 %265 (/.f64 %102 #s(literal 1 binary64)) %117)
(fma.f64 #s(literal 1/9 binary64) %268 %117)
(fma.f64 #s(literal 1/9 binary64) %70 %208)
(fma.f64 #s(literal 1/9 binary64) %70 %210)
(fma.f64 #s(literal 1/9 binary64) %35 %208)
(fma.f64 #s(literal 1/9 binary64) %35 %210)
(fma.f64 %41 %121 %208)
(fma.f64 %41 %121 %210)
(fma.f64 %121 %276 %117)
(fma.f64 %121 %123 %208)
(fma.f64 %121 %123 %210)
(fma.f64 %121 %41 %208)
(fma.f64 %121 %41 %210)
(fma.f64 %92 #s(literal -3 binary64) %208)
(fma.f64 %92 #s(literal -3 binary64) %210)
(fma.f64 %128 %38 %208)
(fma.f64 %128 %38 %210)
(fma.f64 #s(literal -3 binary64) %92 %208)
(fma.f64 #s(literal -3 binary64) %92 %210)
(fma.f64 %48 #s(literal -1/9 binary64) %208)
(fma.f64 %48 #s(literal -1/9 binary64) %210)
(fma.f64 %94 %33 %117)
(fma.f64 %94 %18 %208)
(fma.f64 %94 %18 %210)
(fma.f64 %35 #s(literal 1/9 binary64) %208)
(fma.f64 %35 #s(literal 1/9 binary64) %210)
(fma.f64 %18 %94 %208)
(fma.f64 %18 %94 %210)
(fma.f64 %53 #s(literal 3 binary64) %117)
(fma.f64 %39 %135 %208)
(fma.f64 %39 %135 %210)
(fma.f64 %39 %137 %208)
(fma.f64 %39 %137 %210)
(fma.f64 #s(literal 1/2 binary64) %103 %302)
(fma.f64 %103 #s(literal 1/2 binary64) %117)
(fma.f64 %103 #s(literal 1 binary64) %208)
(fma.f64 %103 #s(literal 1 binary64) %210)
(fma.f64 %56 #s(literal 3/2 binary64) %117)
(fma.f64 %56 #s(literal 3 binary64) %208)
(fma.f64 %56 #s(literal 3 binary64) %210)
(fma.f64 x %141 %208)
(fma.f64 x %141 %210)
(fma.f64 x %312 %117)
(fma.f64 x %102 %208)
(fma.f64 x %102 %210)
(fma.f64 #s(literal 3 binary64) %144 %208)
(fma.f64 #s(literal 3 binary64) %144 %210)
(fma.f64 #s(literal 3 binary64) %53 %117)
(fma.f64 #s(literal 3 binary64) %56 %208)
(fma.f64 #s(literal 3 binary64) %56 %210)
(fma.f64 #s(literal 1 binary64) %117 %117)
(fma.f64 #s(literal 1 binary64) %103 %208)
(fma.f64 #s(literal 1 binary64) %103 %210)
(+.f64 %302 %302)
(+.f64 %117 %117)
(+.f64 %103 %208)
(+.f64 %103 %210)
z
#s(literal 2 binary64)
(*.f64 (*.f64 z #s(literal 1/2 binary64)) #s(literal 4 binary64))
(*.f64 %332 #s(literal 2 binary64))
(*.f64 %331 #s(literal -2 binary64))
(*.f64 #s(literal -2 binary64) %331)
(*.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 4 binary64) z))
(*.f64 %339 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) %332)
(*.f64 #s(literal 2 binary64) z)
(*.f64 z #s(literal 2 binary64))
(*.f64 #s(literal 1 binary64) %339)
(pow.f64 %339 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %346)
(neg.f64 %348)
(-.f64 z (*.f64 %331 #s(literal 1 binary64)))
(-.f64 z (*.f64 #s(literal -1 binary64) z))
(-.f64 z %331)
%339
(*.f64 (*.f64 %346 #s(literal 1/9 binary64)) %35)
(*.f64 (*.f64 %346 %121) %41)
(*.f64 (*.f64 %346 x) %102)
(*.f64 (*.f64 %103 %361) #s(literal 1/4 binary64))
(*.f64 (*.f64 #s(literal 3 binary64) %265) %367)
(*.f64 (*.f64 #s(literal 3 binary64) %369) %33)
(*.f64 %373 %33)
(*.f64 %104 %375)
(*.f64 (/.f64 %372 #s(literal 1/2 binary64)) %246)
%380
(*.f64 (/.f64 #s(literal 1/9 binary64) z) %268)
(*.f64 %236 (/.f64 %41 z))
(*.f64 (/.f64 %121 z) %276)
(*.f64 %239 %367)
(*.f64 (/.f64 %94 z) %33)
(*.f64 %390 %391)
(*.f64 %393 #s(literal -3/2 binary64))
(*.f64 %396 %397)
(*.f64 %397 %396)
(*.f64 #s(literal -3/2 binary64) %393)
(*.f64 #s(literal -3/2 binary64) %401)
(*.f64 %401 #s(literal -3/2 binary64))
(*.f64 %391 %390)
(*.f64 (/.f64 %103 #s(literal 1/2 binary64)) (/.f64 %406 #s(literal 4 binary64)))
(*.f64 %242 (/.f64 %372 #s(literal 4 binary64)))
(*.f64 #s(literal 6 binary64) (/.f64 %411 #s(literal 4 binary64)))
(*.f64 %102 (/.f64 x %339))
(*.f64 %417 %18)
(*.f64 %113 (/.f64 %346 y))
(*.f64 %115 (/.f64 %346 #s(literal 27 binary64)))
(*.f64 %416 %261)
(*.f64 %416 %56)
(*.f64 %426 %205)
(*.f64 %411 #s(literal 3/2 binary64))
(*.f64 #s(literal 3/2 binary64) (/.f64 %411 #s(literal 1 binary64)))
(*.f64 #s(literal 3/2 binary64) %411)
(*.f64 %117 (/.f64 %406 #s(literal 1 binary64)))
(*.f64 %117 %406)
(*.f64 %265 (*.f64 %367 #s(literal 3 binary64)))
(*.f64 %265 (/.f64 %102 z))
(*.f64 %369 (*.f64 %33 #s(literal 3 binary64)))
(*.f64 %369 %312)
(*.f64 %361 (*.f64 #s(literal 1/4 binary64) %103))
(*.f64 #s(literal 1/9 binary64) (*.f64 %35 %346))
(*.f64 #s(literal 1/9 binary64) (/.f64 %35 %339))
(*.f64 %121 (*.f64 %41 %346))
(*.f64 %121 (/.f64 %41 %339))
(*.f64 %452 #s(literal -1/2 binary64))
(*.f64 %92 (*.f64 #s(literal 3 binary64) %426))
(*.f64 %92 (/.f64 #s(literal 3 binary64) %348))
(*.f64 #s(literal -3 binary64) (*.f64 %56 %426))
(*.f64 #s(literal -3 binary64) (/.f64 %56 %348))
(*.f64 %94 (/.f64 %346 %13))
(*.f64 %94 %464)
(*.f64 %35 (*.f64 #s(literal 1/27 binary64) %416))
(*.f64 %468 #s(literal 1/2 binary64))
(*.f64 %472 #s(literal 3 binary64))
(*.f64 %18 %417)
(*.f64 %346 %103)
(*.f64 %53 (/.f64 %372 #s(literal 1 binary64)))
(*.f64 %53 %372)
(*.f64 %372 %53)
(*.f64 %39 (*.f64 %38 %416))
(*.f64 %205 %426)
(*.f64 #s(literal 1/2 binary64) %468)
(*.f64 #s(literal 2 binary64) (*.f64 %375 %103))
(*.f64 %103 %346)
(*.f64 %56 (*.f64 %372 #s(literal 1/2 binary64)))
(*.f64 %56 (*.f64 #s(literal 1/2 binary64) %372))
(*.f64 %56 (*.f64 #s(literal -3 binary64) %426))
(*.f64 %56 %416)
(*.f64 x (*.f64 %464 #s(literal 3 binary64)))
(*.f64 x (*.f64 %33 %372))
(*.f64 x (*.f64 %102 %346))
(*.f64 x (*.f64 %18 %416))
(*.f64 x (/.f64 #s(literal 3 binary64) %471))
(*.f64 x (/.f64 %102 %339))
(*.f64 #s(literal 3 binary64) (*.f64 %406 %53))
(*.f64 #s(literal 3 binary64) %472)
(*.f64 #s(literal 1 binary64) %380)
(pow.f64 %380 #s(literal 1 binary64))
(/.f64 (*.f64 #s(literal 3/2 binary64) %56) z)
(/.f64 (*.f64 %468 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 %346 %113) y)
(/.f64 (*.f64 %346 %115) #s(literal 27 binary64))
(/.f64 (*.f64 %346 %128) %20)
(/.f64 (*.f64 %53 #s(literal -3 binary64)) %331)
(/.f64 (*.f64 %103 #s(literal -1 binary64)) %348)
(/.f64 (*.f64 %372 %35) #s(literal 54 binary64))
(/.f64 (*.f64 %372 %39) %181)
(/.f64 %373 %183)
(/.f64 (*.f64 %205 #s(literal 1/2 binary64)) %331)
(/.f64 (*.f64 #s(literal -1 binary64) %103) %348)
(/.f64 (*.f64 #s(literal -3 binary64) %53) %331)
(/.f64 (*.f64 %128 %426) %13)
(/.f64 (*.f64 %94 %426) %20)
(/.f64 (*.f64 %113 %346) y)
(/.f64 (*.f64 %115 %346) #s(literal 27 binary64))
(/.f64 (*.f64 %128 %346) %20)
(/.f64 (*.f64 %41 %416) y)
(/.f64 (*.f64 %48 %416) #s(literal -27 binary64))
(/.f64 (*.f64 %35 %416) #s(literal 27 binary64))
(/.f64 (*.f64 %39 %416) %20)
(/.f64 (*.f64 %35 %372) #s(literal 54 binary64))
(/.f64 (*.f64 %39 %372) %181)
(/.f64 (*.f64 x %372) %183)
(/.f64 (/.f64 %417 #s(literal 27 binary64)) y)
(/.f64 (/.f64 %417 y) #s(literal 27 binary64))
(/.f64 %302 z)
(/.f64 (*.f64 %372 %92) #s(literal -2 binary64))
(/.f64 %567 #s(literal 4 binary64))
(/.f64 %569 %331)
(/.f64 (*.f64 %205 #s(literal 1 binary64)) %348)
(/.f64 (*.f64 %406 %113) (*.f64 #s(literal 2 binary64) y))
(/.f64 (*.f64 %406 %115) #s(literal 54 binary64))
(/.f64 (*.f64 %406 %128) %181)
(/.f64 (*.f64 %406 %94) %183)
(/.f64 (*.f64 #s(literal -1 binary64) %113) (*.f64 %348 y))
(/.f64 (*.f64 #s(literal -1 binary64) %115) (*.f64 %348 #s(literal 27 binary64)))
(/.f64 (*.f64 #s(literal -1 binary64) %128) (*.f64 %348 %20))
(/.f64 (*.f64 #s(literal -1 binary64) %94) (*.f64 %348 %13))
(/.f64 (*.f64 #s(literal 1/2 binary64) %113) (*.f64 z y))
(/.f64 (*.f64 #s(literal 1/2 binary64) %115) (*.f64 z #s(literal 27 binary64)))
(/.f64 (*.f64 #s(literal 1/2 binary64) %128) (*.f64 z %20))
(/.f64 (*.f64 #s(literal 1/2 binary64) %94) %604)
(/.f64 (*.f64 %113 %406) %174)
(/.f64 (*.f64 %113 #s(literal -1 binary64)) (*.f64 y %348))
(/.f64 (*.f64 %113 #s(literal 1/2 binary64)) %366)
(/.f64 (*.f64 %115 %406) #s(literal 54 binary64))
(/.f64 (*.f64 %115 #s(literal -1 binary64)) (*.f64 #s(literal 27 binary64) %348))
(/.f64 (*.f64 %115 #s(literal 1/2 binary64)) (*.f64 #s(literal 27 binary64) z))
(/.f64 (*.f64 %128 %406) %181)
(/.f64 (*.f64 %128 #s(literal -1 binary64)) %624)
(/.f64 (*.f64 %128 #s(literal 1/2 binary64)) (*.f64 %20 z))
(/.f64 (*.f64 %94 %406) %183)
(/.f64 %159 %631)
(/.f64 (*.f64 %94 #s(literal 1/2 binary64)) %604)
(/.f64 %161 %635)
(/.f64 %163 %470)
(/.f64 %165 %631)
(/.f64 %165 %639)
(/.f64 %167 %635)
(/.f64 %169 (*.f64 #s(literal -27 binary64) %339))
(/.f64 (*.f64 %35 #s(literal -3 binary64)) (*.f64 #s(literal 54 binary64) %331))
(/.f64 (*.f64 %39 #s(literal -3 binary64)) (*.f64 %181 %331))
(/.f64 (*.f64 #s(literal -3 binary64) %35) (*.f64 %331 #s(literal 54 binary64)))
(/.f64 (*.f64 #s(literal -3 binary64) %39) (*.f64 %331 %181))
(/.f64 (neg.f64 %417) %20)
(/.f64 (neg.f64 %117) %331)
(/.f64 %417 %13)
(/.f64 %113 (*.f64 %339 y))
(/.f64 %113 %635)
(/.f64 %115 (*.f64 z #s(literal 54 binary64)))
(/.f64 %115 %470)
(/.f64 %117 z)
(/.f64 %452 #s(literal -2 binary64))
(/.f64 %128 (*.f64 %183 %331))
(/.f64 %128 (*.f64 %331 %183))
(/.f64 %128 (*.f64 z %181))
(/.f64 %128 %631)
(/.f64 %128 %639)
(/.f64 %94 (*.f64 z %183))
(/.f64 %94 %624)
(/.f64 %94 %471)
(/.f64 %468 #s(literal 2 binary64))
(/.f64 %205 %348)
(/.f64 %380 #s(literal 1 binary64))
(/.f64 %103 %339)
(/.f64 #s(literal 1 binary64) (pow.f64 %380 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %13 %417))
(/.f64 #s(literal 1 binary64) (/.f64 z %117))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %452))
(/.f64 #s(literal 1 binary64) (/.f64 %471 %94))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %468))
(/.f64 #s(literal 1 binary64) (/.f64 %348 %205))
(/.f64 #s(literal 1 binary64) (/.f64 %339 %103))
(neg.f64 %702)
t
(*.f64 %706 %706)
(*.f64 #s(literal 1 binary64) %705)
(pow.f64 %706 #s(literal 2 binary64))
(pow.f64 %705 #s(literal 1 binary64))
(pow.f64 t #s(literal 1/2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %705 #s(literal -1 binary64)))
%705
(fabs.f64 (neg.f64 %714))
(fabs.f64 %714)
(fabs.f64 %705)
(*.f64 (*.f64 %719 %265) %367)
(*.f64 (*.f64 %719 %369) %33)
(*.f64 (*.f64 %725 %361) #s(literal 1/4 binary64))
(*.f64 (*.f64 %725 #s(literal 2 binary64)) %375)
(*.f64 (*.f64 %705 %411) #s(literal 3/2 binary64))
(*.f64 (*.f64 %705 #s(literal 3/2 binary64)) %411)
(*.f64 %735 #s(literal 1/2 binary64))
(*.f64 %737 %33)
(*.f64 %739 %464)
(*.f64 %741 %346)
(*.f64 %567 (/.f64 %705 #s(literal 4 binary64)))
(*.f64 %745 %569)
(*.f64 %569 %745)
(*.f64 %748 %452)
(*.f64 (/.f64 %705 #s(literal 1/2 binary64)) (/.f64 %468 #s(literal 4 binary64)))
(*.f64 %734 %53)
(*.f64 %754 %372)
(*.f64 %756 %103)
(*.f64 %759 #s(literal 3 binary64))
(*.f64 %719 %472)
(*.f64 %762 %416)
(*.f64 %764 %406)
(*.f64 %766 #s(literal 1/2 binary64))
(*.f64 %411 (*.f64 #s(literal 3/2 binary64) %705))
(*.f64 %411 (/.f64 %719 #s(literal 2 binary64)))
(*.f64 #s(literal 3/2 binary64) (*.f64 %411 %705))
(*.f64 #s(literal 3/2 binary64) (/.f64 %762 z))
(*.f64 %776 %117)
(*.f64 %117 %776)
(*.f64 %779 (/.f64 %468 #s(literal 1 binary64)))
(*.f64 %779 %468)
(*.f64 #s(literal 1/9 binary64) (*.f64 %35 %756))
(*.f64 %121 (*.f64 %41 %756))
(*.f64 %452 %748)
(*.f64 %788 %426)
(*.f64 %94 (*.f64 %18 %756))
(*.f64 %725 %346)
(*.f64 %468 (*.f64 #s(literal 1/2 binary64) %705))
(*.f64 %468 %779)
(*.f64 %472 %719)
(*.f64 %346 %725)
(*.f64 %53 %734)
(*.f64 %372 %754)
(*.f64 %205 (*.f64 %426 %705))
(*.f64 %205 (/.f64 %705 %348))
%804
(*.f64 %380 (/.f64 %705 #s(literal 1 binary64)))
(*.f64 %380 %705)
(*.f64 %103 (*.f64 %406 %779))
(*.f64 %103 %756)
(*.f64 %56 (*.f64 %719 %346))
(*.f64 %56 (*.f64 %372 %779))
(*.f64 %56 (*.f64 %416 %705))
(*.f64 %56 (*.f64 #s(literal 3 binary64) %756))
(*.f64 %56 (/.f64 %719 %339))
(*.f64 x (*.f64 %102 %756))
(*.f64 #s(literal 3 binary64) (*.f64 %762 %346))
(*.f64 #s(literal 3 binary64) (*.f64 %411 %779))
(*.f64 #s(literal 3 binary64) (*.f64 %406 %754))
(*.f64 #s(literal 3 binary64) %759)
(*.f64 #s(literal 1 binary64) %804)
(pow.f64 %804 #s(literal 1 binary64))
(/.f64 (*.f64 %734 %92) #s(literal -2 binary64))
(/.f64 (*.f64 %734 %35) #s(literal 54 binary64))
(/.f64 (*.f64 %734 %39) %181)
(/.f64 %735 #s(literal 2 binary64))
(/.f64 %737 %183)
(/.f64 (*.f64 %719 %35) %470)
(/.f64 (*.f64 %719 %53) z)
(/.f64 (*.f64 %719 %39) %639)
(/.f64 %739 %471)
(/.f64 (*.f64 %725 #s(literal -1 binary64)) %348)
(/.f64 %741 %339)
(/.f64 (*.f64 %705 %417) %13)
(/.f64 (*.f64 %705 %452) #s(literal -2 binary64))
(/.f64 (*.f64 %854 %346) %13)
(/.f64 (*.f64 %94 %779) %604)
(/.f64 (*.f64 %205 %779) %331)
(/.f64 (*.f64 #s(literal -3 binary64) %754) %331)
(/.f64 (*.f64 %417 %705) %13)
(/.f64 (*.f64 %117 %705) z)
(/.f64 (*.f64 %452 %705) #s(literal -2 binary64))
(/.f64 (*.f64 %113 %756) y)
(/.f64 (*.f64 %115 %756) #s(literal 27 binary64))
(/.f64 (*.f64 %128 %756) %20)
(/.f64 (*.f64 %94 %756) %13)
(/.f64 (/.f64 %766 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(/.f64 (/.f64 %788 #s(literal 2 binary64)) %331)
(/.f64 (/.f64 %788 z) #s(literal -2 binary64))
(/.f64 (*.f64 %854 %406) %183)
(/.f64 (*.f64 %854 #s(literal -1 binary64)) %631)
(/.f64 (*.f64 %854 #s(literal 1/2 binary64)) %604)
(/.f64 (*.f64 %854 #s(literal 1 binary64)) %471)
(/.f64 (*.f64 %113 %705) %635)
(/.f64 (*.f64 %115 %705) %470)
(/.f64 (*.f64 %128 %705) %639)
(/.f64 (neg.f64 %764) %331)
(/.f64 (neg.f64 %766) #s(literal -2 binary64))
(/.f64 %854 %471)
(/.f64 %764 z)
(/.f64 %766 #s(literal 2 binary64))
(/.f64 %788 %348)
(/.f64 %725 %339)
(/.f64 %804 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %804 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 z %764))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %766))
(/.f64 #s(literal 1 binary64) (/.f64 %348 %788))
(/.f64 #s(literal 1 binary64) (/.f64 %339 %725))
(neg.f64 %917)
(neg.f64 %919)
(neg.f64 %921)
(neg.f64 %923)
(*.f64 #s(literal 1 binary64) %925)
(pow.f64 %925 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %925 #s(literal -1 binary64)))
(neg.f64 %930)
(fma.f64 (neg.f64 %932) #s(literal -1/2 binary64) %935)
(fma.f64 #s(literal 1/2 binary64) %932 %935)
(fma.f64 %932 #s(literal 1/2 binary64) %935)
(fma.f64 #s(literal 1 binary64) %935 %939)
(fma.f64 #s(literal 1 binary64) %939 %935)
(-.f64 %939 %934)
(-.f64 %932 (acos.f64 %917))
(-.f64 %932 (acos.f64 %919))
(-.f64 %932 (acos.f64 %921))
(-.f64 %932 (acos.f64 %923))
(+.f64 (-.f64 %939 %939) %925)
(+.f64 %935 %939)
(+.f64 %939 %935)
%925
%955
(*.f64 #s(literal 1/3 binary64) %925)
(*.f64 #s(literal 1 binary64) %955)
(pow.f64 %955 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %955 #s(literal -1 binary64)))
(neg.f64 (*.f64 %930 #s(literal 1/3 binary64)))
(neg.f64 (*.f64 #s(literal 1/3 binary64) %930))
(fma.f64 %939 #s(literal 1/3 binary64) %965)
(fma.f64 #s(literal 1/3 binary64) %939 %967)
(+.f64 (*.f64 #s(literal 1/3 binary64) %939) %967)
(+.f64 (*.f64 %939 #s(literal 1/3 binary64)) %965)

reconstruct55.0ms (1.7%)

Counts
575 → 227
Compiler

Compiled 575 to 989 computations (-72.0% saved)

eval21.0ms (0.6%)

Compiler

Compiled 218 to 1 113 computations (-410.6% saved)

prune3.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New2153218
Fresh000
Picked101
Done000
Total2163219
Accuracy
98.5%
Counts
219 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶98.1%
(fma.f64 #s(literal 1/3 binary64) (*.f64 #s(literal 1/2 binary64) (PI.f64 )) (*.f64 #s(literal 1/3 binary64) (neg.f64 (asin.f64 (*.f64 (sqrt.f64 t) (*.f64 #s(literal 1/18 binary64) (/.f64 (/.f64 x y) z)))))))
▶98.1%
(*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 (sqrt.f64 t) (*.f64 #s(literal 1/18 binary64) (/.f64 (/.f64 x y) z)))))
▶96.2%
(approx (* 1/3 (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 #s(literal 1/18 binary64) (/.f64 (*.f64 x (sqrt.f64 t)) (*.f64 y z))))))
Compiler

Compiled 3 to 26 computations (-766.7% saved)

sample1.0ms (0.0%)

Calls
Call 1
Inputs
%0 = (PI )
%0
(* 1/2 %0)
Outputs
#s(literal 884279719003555/281474976710656 binary64)
#s(literal 884279719003555/562949953421312 binary64)
Samples
0.0ms1×0valid
Compiler

Compiled 6 to 5 computations (16.7% saved)

series29.0ms (0.9%)

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
076412
Stop Event
1×iter-limit
Counts
27 → 27
Calls
Call 1
Inputs
%4 = (sqrt.f64 t)
%5 = (/.f64 x y)
%7 = (*.f64 y z)
%8 = (*.f64 x %4)
%9 = (/.f64 %8 %7)
%10 = (*.f64 #s(literal 1/18 binary64) %9)
%11 = (acos.f64 %10)
%13 = (*.f64 #s(literal 1/3 binary64) %11)
%29 = (/.f64 %5 z)
%30 = (*.f64 #s(literal 1/18 binary64) %29)
%31 = (*.f64 %4 %30)
%32 = (acos.f64 %31)
%33 = (PI.f64 )
%34 = (asin.f64 %31)
%35 = (neg.f64 %34)
%36 = (*.f64 #s(literal 1/2 binary64) %33)
%38 = (*.f64 #s(literal 1/3 binary64) %35)
x
y
z
t
%4
%5
#s(literal 1/18 binary64)
%7
%8
%9
%10
%11
#s(literal 1/3 binary64)
%13
(approx (* 1/3 (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) %13)
#s(literal 1/2 binary64)
%29
%30
%31
%32
%33
%34
%35
%36
(*.f64 #s(literal 1/3 binary64) %32)
%38
(fma.f64 #s(literal 1/3 binary64) %36 %38)
Outputs
%5 = (/ x y)
%9 = (sqrt t)
%10 = (* x %9)
%11 = (sqrt.f64 t)
%12 = (*.f64 x %11)
%15 = (* y z)
%16 = (/ %10 %15)
%17 = (*.f64 y z)
%18 = (/.f64 %12 %17)
%21 = (* 1/18 %16)
%23 = (*.f64 #s(literal 1/18 binary64) %18)
%25 = (acos %21)
%26 = (acos.f64 %23)
%33 = (/ %5 z)
%34 = (/.f64 x %17)
%36 = (* 1/18 %33)
%40 = (asin (* %9 %36))
%41 = (asin.f64 %23)
%43 = (neg %40)
%47 = (* 1/3 %43)
%68 = (sqrt.f64 (/.f64 #s(literal 1 binary64) t))
%69 = (*.f64 t %68)
%72 = (*.f64 t (*.f64 x %68))
%74 = (/.f64 %72 %17)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 (/.f64 x y))
(approx %10 %12)
(approx %16 %18)
(approx %21 %23)
(approx %25 %26)
(approx (* 1/3 %25) (*.f64 #s(literal 1/3 binary64) %26))
(approx %33 %34)
(approx %36 (*.f64 #s(literal 1/18 binary64) %34))
(approx %40 %41)
(approx %43 (*.f64 #s(literal -1 binary64) %41))
(approx %47 (*.f64 #s(literal -1/3 binary64) %41))
(approx (+ (* 1/3 (* 1/2 (PI ))) %47) (fma.f64 #s(literal -1/3 binary64) %41 (*.f64 #s(literal 1/6 binary64) (PI.f64 ))))
(approx y y)
(approx %15 %17)
(approx z z)
(approx t t)
(approx %9 %11)
(approx %9 %69)
(approx %10 %72)
(approx %16 %74)
(approx %21 (*.f64 #s(literal 1/18 binary64) %74))
(approx %9 (*.f64 #s(literal -1 binary64) %69))
(approx %10 (*.f64 #s(literal -1 binary64) %72))
(approx %16 (*.f64 #s(literal -1 binary64) %74))
(approx %21 (*.f64 #s(literal -1/18 binary64) %74))
Calls

12 calls:

TimeVariablePoint
13.0ms
z
inf
4.0ms
x
0
4.0ms
x
inf
3.0ms
x
-inf
2.0ms
y
inf

rewrite76.0ms (2.3%)

Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
039198
059192
1200189
2749186
04168186
04442186
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
27 → 989
Calls
Call 1
Inputs
%4 = (sqrt.f64 t)
%5 = (/.f64 x y)
%7 = (*.f64 y z)
%8 = (*.f64 x %4)
%9 = (/.f64 %8 %7)
%10 = (*.f64 #s(literal 1/18 binary64) %9)
%11 = (acos.f64 %10)
%13 = (*.f64 #s(literal 1/3 binary64) %11)
%29 = (/.f64 %5 z)
%30 = (*.f64 #s(literal 1/18 binary64) %29)
%31 = (*.f64 %4 %30)
%32 = (acos.f64 %31)
%33 = (PI.f64 )
%34 = (asin.f64 %31)
%35 = (neg.f64 %34)
%36 = (*.f64 #s(literal 1/2 binary64) %33)
%38 = (*.f64 #s(literal 1/3 binary64) %35)
x
y
z
t
%4
%5
#s(literal 1/18 binary64)
%7
%8
%9
%10
%11
#s(literal 1/3 binary64)
%13
(approx (* 1/3 (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) %13)
#s(literal 1/2 binary64)
%29
%30
%31
%32
%33
%34
%35
%36
(*.f64 #s(literal 1/3 binary64) %32)
%38
(fma.f64 #s(literal 1/3 binary64) %36 %38)
Outputs
%4 = (sqrt.f64 t)
%5 = (sqrt.f64 %4)
%11 = (neg.f64 %4)
%12 = (neg.f64 %11)
%16 = (/.f64 x y)
%20 = (/.f64 #s(literal 1 binary64) y)
%22 = (neg.f64 x)
%24 = (/.f64 #s(literal -1 binary64) y)
%34 = (*.f64 #s(literal -1 binary64) x)
%35 = (neg.f64 y)
%37 = (*.f64 #s(literal 1 binary64) x)
%39 = (*.f64 x #s(literal -1 binary64))
%46 = (/.f64 %22 y)
%47 = (*.f64 %46 #s(literal 1 binary64))
%51 = (neg.f64 z)
%54 = (*.f64 z y)
%57 = (*.f64 %51 y)
%59 = (*.f64 %4 x)
%71 = (*.f64 %22 %4)
%73 = (/.f64 #s(literal 1 binary64) %54)
%74 = (*.f64 %73 %4)
%76 = (*.f64 %16 %4)
%77 = (*.f64 %76 #s(literal 1 binary64))
%78 = (/.f64 #s(literal 1 binary64) z)
%80 = (/.f64 %4 z)
%81 = (*.f64 %80 %22)
%83 = (*.f64 %80 x)
%85 = (/.f64 %4 %51)
%87 = (/.f64 %4 %35)
%88 = (/.f64 %22 z)
%90 = (/.f64 x %51)
%91 = (/.f64 %11 y)
%95 = (/.f64 %11 z)
%97 = (*.f64 %22 %80)
%99 = (/.f64 %4 y)
%100 = (/.f64 x z)
%103 = (*.f64 x %80)
%105 = (*.f64 %11 %16)
%106 = (/.f64 #s(literal -1 binary64) z)
%108 = (/.f64 %22 %54)
%111 = (/.f64 %4 %54)
%117 = (/.f64 #s(literal -1 binary64) %54)
%131 = (/.f64 %59 %54)
%133 = (/.f64 x %54)
%136 = (*.f64 %78 %4)
%142 = (/.f64 (*.f64 #s(literal 1 binary64) %4) %54)
%196 = (/.f64 #s(literal 1/18 binary64) z)
%198 = (*.f64 (*.f64 %196 x) %99)
%199 = (*.f64 #s(literal 1/18 binary64) %4)
%201 = (*.f64 (*.f64 %199 %78) %16)
%203 = (*.f64 (*.f64 #s(literal 1/18 binary64) %99) %100)
%205 = (*.f64 (*.f64 #s(literal 1/18 binary64) %111) x)
%207 = (*.f64 %4 #s(literal 3 binary64))
%208 = (*.f64 x #s(literal 1/2 binary64))
%211 = (/.f64 #s(literal 1/27 binary64) %54)
%212 = (*.f64 (*.f64 %207 %208) %211)
%214 = (/.f64 #s(literal 1/27 binary64) y)
%215 = (*.f64 %214 #s(literal 1/2 binary64))
%216 = (*.f64 (*.f64 %207 %100) %215)
%217 = (*.f64 x %211)
%220 = (*.f64 (*.f64 %4 %217) #s(literal 3/2 binary64))
%222 = (*.f64 (*.f64 %4 #s(literal 3/2 binary64)) %217)
%224 = (*.f64 %133 #s(literal 1/54 binary64))
%226 = (*.f64 (*.f64 %4 %224) #s(literal 3 binary64))
%227 = (*.f64 %16 #s(literal 1/54 binary64))
%229 = (/.f64 #s(literal 3 binary64) z)
%230 = (*.f64 (*.f64 %4 %227) %229)
%232 = (*.f64 #s(literal 27 binary64) y)
%233 = (/.f64 x %232)
%235 = (/.f64 #s(literal 3/2 binary64) z)
%236 = (*.f64 (*.f64 %4 %233) %235)
%237 = (*.f64 #s(literal 1/18 binary64) %73)
%238 = (*.f64 %237 %59)
%239 = (*.f64 #s(literal 1/18 binary64) %80)
%240 = (*.f64 %239 %16)
%241 = (*.f64 %196 %4)
%242 = (*.f64 %241 %16)
%243 = (*.f64 #s(literal 1/18 binary64) %100)
%244 = (*.f64 %243 %99)
%245 = (*.f64 %199 %16)
%246 = (*.f64 %245 #s(literal 1 binary64))
%247 = (*.f64 %246 %78)
%248 = (*.f64 %196 %59)
%249 = (*.f64 %248 %20)
%250 = (*.f64 %59 #s(literal 1/18 binary64))
%251 = (*.f64 %250 #s(literal 1 binary64))
%252 = (*.f64 %251 %73)
%253 = (*.f64 %4 %229)
%254 = (*.f64 %253 %233)
%255 = (*.f64 %254 #s(literal 1/2 binary64))
%256 = (*.f64 %253 x)
%257 = (*.f64 %256 %215)
%258 = (*.f64 %207 x)
%259 = (+.f64 z z)
%260 = (*.f64 y %259)
%261 = (/.f64 #s(literal 1/27 binary64) %260)
%262 = (*.f64 %258 %261)
%265 = (*.f64 (*.f64 %4 #s(literal 1/9 binary64)) %16)
%266 = (*.f64 %265 #s(literal 1 binary64))
%267 = (/.f64 #s(literal 1/2 binary64) z)
%268 = (*.f64 %266 %267)
%269 = (*.f64 %227 #s(literal 3 binary64))
%270 = (*.f64 %269 %4)
%271 = (*.f64 %270 %78)
%272 = (/.f64 #s(literal 1/18 binary64) %35)
%273 = (*.f64 %272 %97)
%274 = (/.f64 #s(literal 1/18 binary64) %51)
%275 = (*.f64 %274 %105)
%276 = (*.f64 #s(literal 1/18 binary64) x)
%277 = (/.f64 %276 z)
%278 = (*.f64 %277 %99)
%280 = (*.f64 (/.f64 %199 y) %100)
%282 = (*.f64 #s(literal -1/9 binary64) %16)
%283 = (/.f64 %282 #s(literal 2 binary64))
%284 = (*.f64 %283 %85)
%286 = (/.f64 %4 #s(literal -2 binary64))
%287 = (/.f64 %282 z)
%288 = (*.f64 %286 %287)
%289 = (*.f64 %85 %283)
%290 = (*.f64 %253 %227)
%291 = (*.f64 %207 %224)
%292 = (*.f64 %80 #s(literal 1/18 binary64))
%293 = (*.f64 %292 %16)
%295 = (*.f64 #s(literal -1/18 binary64) %16)
%296 = (*.f64 %4 %295)
%297 = (*.f64 %296 %106)
%298 = (*.f64 %276 %142)
%299 = (*.f64 %276 %111)
%300 = (*.f64 %97 %272)
%301 = (*.f64 %199 %100)
%302 = (*.f64 %301 %20)
%303 = (*.f64 %245 %78)
%304 = (*.f64 %265 #s(literal 1/2 binary64))
%305 = (*.f64 %304 %78)
%306 = (*.f64 #s(literal 1/9 binary64) %133)
%307 = (*.f64 %306 %4)
%308 = (*.f64 %307 #s(literal 1/2 binary64))
%309 = (/.f64 %4 %259)
%310 = (*.f64 #s(literal 1/9 binary64) %16)
%311 = (*.f64 %309 %310)
%312 = (*.f64 %267 %4)
%314 = (*.f64 #s(literal 1/9 binary64) (*.f64 %16 %312))
%316 = (*.f64 #s(literal 1/9 binary64) (*.f64 %16 %309))
%317 = (/.f64 #s(literal 3 binary64) y)
%318 = (*.f64 x #s(literal 1/27 binary64))
%320 = (*.f64 %317 (*.f64 %318 %312))
%322 = (*.f64 %317 (*.f64 %318 %309))
%323 = (*.f64 %100 #s(literal 1/18 binary64))
%324 = (*.f64 %99 %323)
%326 = (*.f64 %217 (*.f64 #s(literal 3/2 binary64) %4))
%327 = (*.f64 #s(literal 3 binary64) %4)
%329 = (*.f64 %217 (/.f64 %327 #s(literal 2 binary64)))
%331 = (*.f64 #s(literal 3/2 binary64) (*.f64 %217 %4))
%332 = (*.f64 %233 %4)
%334 = (*.f64 #s(literal 3/2 binary64) (/.f64 %332 z))
%336 = (*.f64 %100 (*.f64 %99 #s(literal 1/18 binary64)))
%337 = (*.f64 %196 %76)
%338 = (/.f64 #s(literal 1/18 binary64) y)
%339 = (*.f64 %103 %338)
%340 = (*.f64 %338 %103)
%341 = (*.f64 %269 %80)
%342 = (*.f64 %4 #s(literal 1/2 binary64))
%344 = (*.f64 %342 (/.f64 %306 #s(literal 1 binary64)))
%345 = (*.f64 %342 %306)
%346 = (*.f64 %105 %274)
%347 = (*.f64 %287 %286)
%348 = (*.f64 #s(literal -1/18 binary64) %59)
%349 = (*.f64 %348 %117)
%350 = (*.f64 %282 %4)
%352 = (/.f64 #s(literal -1/2 binary64) z)
%353 = (*.f64 %350 %352)
%354 = (*.f64 %199 %133)
%355 = (*.f64 #s(literal 3 binary64) x)
%357 = (*.f64 %355 (*.f64 %214 %312))
%359 = (*.f64 %355 (*.f64 %214 %309))
%360 = (*.f64 %250 %73)
%361 = (*.f64 #s(literal 1/18 binary64) %16)
%362 = (*.f64 %361 %136)
%363 = (*.f64 %361 %80)
%364 = (*.f64 %265 %267)
%365 = (*.f64 %76 %196)
%367 = (*.f64 %306 (*.f64 #s(literal 1/2 binary64) %4))
%368 = (*.f64 %306 %342)
%369 = (*.f64 x #s(literal 1/18 binary64))
%370 = (*.f64 %111 %369)
%371 = (*.f64 %224 %327)
%372 = (*.f64 %73 %250)
%373 = (*.f64 %78 %245)
%374 = (*.f64 %267 %265)
%375 = (*.f64 x %292)
%376 = (*.f64 %20 %375)
%377 = (*.f64 %80 %269)
%378 = (*.f64 %80 %361)
%380 = (*.f64 %227 (*.f64 %229 %4))
%382 = (*.f64 %227 (/.f64 %327 z))
%383 = (*.f64 %227 %4)
%384 = (*.f64 %229 %383)
%386 = (*.f64 %71 (*.f64 %117 #s(literal 1/18 binary64)))
%388 = (*.f64 %71 (/.f64 #s(literal 1/18 binary64) %57))
%390 = (*.f64 %46 (*.f64 %106 %199))
%392 = (*.f64 %282 (*.f64 %352 %4))
%393 = (*.f64 #s(literal -2 binary64) z)
%395 = (*.f64 %282 (/.f64 %4 %393))
%397 = (*.f64 %22 (*.f64 %24 %292))
%398 = (*.f64 %133 #s(literal 1/18 binary64))
%400 = (*.f64 %398 (/.f64 %4 #s(literal 1 binary64)))
%401 = (*.f64 %398 %4)
%402 = (*.f64 %133 %199)
%404 = (*.f64 %310 (*.f64 %78 %342))
%405 = (*.f64 %310 %312)
%406 = (*.f64 %310 %309)
%408 = (*.f64 %233 (*.f64 %327 %267))
%410 = (*.f64 %233 (*.f64 %229 %342))
%412 = (*.f64 %233 (*.f64 %235 %4))
%414 = (*.f64 %233 (*.f64 #s(literal 3 binary64) %312))
%416 = (*.f64 %233 (*.f64 #s(literal 3 binary64) %309))
%418 = (*.f64 %233 (/.f64 %327 %259))
%420 = (*.f64 #s(literal 3 binary64) (*.f64 %332 %267))
%422 = (*.f64 #s(literal 3 binary64) (*.f64 %217 %342))
%424 = (*.f64 #s(literal 3 binary64) (*.f64 %78 %383))
%426 = (*.f64 #s(literal 3 binary64) (*.f64 %233 %309))
%428 = (*.f64 #s(literal 3 binary64) (*.f64 %224 %4))
%429 = (*.f64 %131 #s(literal 1/18 binary64))
%430 = (*.f64 %59 %237)
%431 = (/.f64 #s(literal 1/18 binary64) %54)
%432 = (*.f64 %59 %431)
%433 = (*.f64 #s(literal 1/18 binary64) %131)
%434 = (*.f64 %16 %239)
%435 = (*.f64 %16 %241)
%437 = (*.f64 %16 (*.f64 %78 %199))
%438 = (*.f64 %16 %292)
%439 = (*.f64 %4 %398)
%441 = (*.f64 x (*.f64 %73 %199))
%443 = (*.f64 x (*.f64 %142 #s(literal 1/18 binary64)))
%445 = (*.f64 x (*.f64 %20 %292))
%446 = (/.f64 #s(literal 1/9 binary64) y)
%448 = (*.f64 x (*.f64 %446 %312))
%450 = (*.f64 x (*.f64 %446 %309))
%452 = (*.f64 x (*.f64 %111 #s(literal 1/18 binary64)))
%453 = (pow.f64 %401 #s(literal 1 binary64))
%455 = (/.f64 (*.f64 %245 #s(literal -1 binary64)) %51)
%456 = (/.f64 %246 z)
%458 = (/.f64 (*.f64 %196 %71) %35)
%459 = (/.f64 %248 y)
%461 = (/.f64 (*.f64 %338 %59) z)
%463 = (/.f64 (*.f64 %199 %88) %35)
%465 = (/.f64 (*.f64 %250 #s(literal -1 binary64)) %57)
%466 = (/.f64 %251 %54)
%468 = (/.f64 (*.f64 #s(literal 1/18 binary64) %97) %35)
%470 = (*.f64 %16 #s(literal -1/27 binary64))
%472 = (/.f64 (*.f64 %253 %470) #s(literal -2 binary64))
%475 = (*.f64 y #s(literal -54 binary64))
%476 = (/.f64 (*.f64 %253 %22) %475)
%477 = (/.f64 %254 #s(literal 2 binary64))
%480 = (/.f64 (*.f64 %253 %16) #s(literal 54 binary64))
%481 = (*.f64 y #s(literal 54 binary64))
%482 = (/.f64 %256 %481)
%484 = (/.f64 (*.f64 %207 %227) z)
%486 = (*.f64 %475 z)
%487 = (/.f64 (*.f64 %207 %22) %486)
%489 = (*.f64 #s(literal 54 binary64) z)
%490 = (/.f64 (*.f64 %207 %16) %489)
%491 = (*.f64 y %489)
%492 = (/.f64 %258 %491)
%494 = (/.f64 (*.f64 %269 %11) %51)
%496 = (/.f64 (*.f64 %265 #s(literal -1 binary64)) %393)
%497 = (/.f64 %266 %259)
%498 = (*.f64 x %235)
%500 = (/.f64 (*.f64 %4 %498) %232)
%502 = (/.f64 (*.f64 %4 %287) #s(literal -2 binary64))
%504 = (/.f64 (*.f64 %4 %355) %491)
%505 = (*.f64 #s(literal 1/18 binary64) %22)
%507 = (/.f64 (*.f64 %505 %80) %35)
%509 = (/.f64 (*.f64 %369 %4) %54)
%511 = (/.f64 (*.f64 %295 %4) %51)
%513 = (/.f64 (*.f64 %88 %199) %35)
%515 = (/.f64 (*.f64 %100 %199) y)
%517 = (/.f64 (*.f64 %46 %199) %51)
%519 = (/.f64 (*.f64 %97 #s(literal 1/18 binary64)) %35)
%521 = (/.f64 (*.f64 %103 #s(literal 1/18 binary64)) y)
%523 = (/.f64 (*.f64 %105 #s(literal 1/18 binary64)) %51)
%525 = (/.f64 (*.f64 %22 %292) %35)
%526 = (/.f64 %375 y)
%527 = (*.f64 %355 %4)
%529 = (/.f64 (*.f64 %527 %267) %232)
%531 = (*.f64 %232 z)
%532 = (/.f64 (*.f64 %355 %342) %531)
%534 = (/.f64 (*.f64 %282 %342) %51)
%537 = (/.f64 (*.f64 #s(literal -3 binary64) %383) %51)
%539 = (/.f64 (*.f64 %498 %4) %232)
%540 = (/.f64 %270 z)
%542 = (/.f64 (*.f64 %287 %4) #s(literal -2 binary64))
%543 = (*.f64 x #s(literal 1/9 binary64))
%545 = (/.f64 (*.f64 %543 %312) y)
%546 = (*.f64 %317 x)
%548 = (/.f64 (*.f64 %546 %312) #s(literal 27 binary64))
%549 = (*.f64 #s(literal -3 binary64) x)
%552 = (*.f64 #s(literal -27 binary64) y)
%553 = (/.f64 (*.f64 %549 %312) %552)
%555 = (/.f64 (*.f64 %355 %312) %232)
%557 = (/.f64 (*.f64 %543 %309) y)
%559 = (/.f64 (*.f64 %546 %309) #s(literal 27 binary64))
%561 = (/.f64 (*.f64 %549 %309) %552)
%563 = (/.f64 (*.f64 %355 %309) %232)
%565 = (/.f64 (*.f64 %361 %11) %51)
%567 = (/.f64 (/.f64 %348 z) %35)
%569 = (/.f64 (/.f64 %350 #s(literal 2 binary64)) %51)
%571 = (/.f64 (/.f64 %350 z) #s(literal -2 binary64))
%573 = (/.f64 (*.f64 %505 %11) %54)
%575 = (*.f64 %232 %393)
%576 = (/.f64 (*.f64 %527 #s(literal -1 binary64)) %575)
%578 = (/.f64 (*.f64 %527 %78) %481)
%580 = (/.f64 (*.f64 %527 #s(literal 1 binary64)) %491)
%582 = (/.f64 (*.f64 %527 #s(literal 1/2 binary64)) %531)
%584 = (/.f64 (*.f64 %543 %4) %260)
%586 = (/.f64 (*.f64 %546 %4) %489)
%588 = (/.f64 (*.f64 %549 %4) %486)
%590 = (/.f64 (neg.f64 %301) %35)
%592 = (/.f64 (neg.f64 %348) %54)
%594 = (/.f64 (neg.f64 %304) %51)
%596 = (/.f64 (neg.f64 %307) #s(literal -2 binary64))
%597 = (/.f64 %296 %51)
%598 = (/.f64 %527 %491)
%599 = (/.f64 %301 y)
%600 = (/.f64 %245 z)
%601 = (/.f64 %304 z)
%602 = (/.f64 %307 #s(literal 2 binary64))
%603 = (/.f64 %348 %57)
%604 = (/.f64 %350 %393)
%605 = (/.f64 %250 %54)
%606 = (/.f64 %265 %259)
%608 = (/.f64 #s(literal 1 binary64) (/.f64 %51 %296))
%610 = (/.f64 #s(literal 1 binary64) (/.f64 y %301))
%612 = (/.f64 #s(literal 1 binary64) (/.f64 z %245))
%614 = (/.f64 #s(literal 1 binary64) (/.f64 %57 %348))
%616 = (/.f64 #s(literal 1 binary64) (/.f64 z %304))
%618 = (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %307))
%620 = (/.f64 #s(literal 1 binary64) (/.f64 %393 %350))
%622 = (/.f64 #s(literal 1 binary64) (/.f64 %54 %250))
%624 = (/.f64 #s(literal 1 binary64) (/.f64 %259 %265))
%625 = (/.f64 %401 #s(literal 1 binary64))
%627 = (neg.f64 (/.f64 %265 %393))
%629 = (neg.f64 (/.f64 %350 %259))
%630 = (*.f64 #s(literal -1/18 binary64) %131)
%631 = (neg.f64 %630)
%632 = (acos.f64 %401)
%633 = (pow.f64 %632 #s(literal 1 binary64))
%634 = (asin.f64 %630)
%635 = (PI.f64 )
%636 = (neg.f64 %635)
%638 = (/.f64 (fma.f64 %634 #s(literal -2 binary64) %636) #s(literal -2 binary64))
%640 = (/.f64 (fma.f64 %634 #s(literal 2 binary64) %635) #s(literal 2 binary64))
%641 = (neg.f64 %632)
%642 = (neg.f64 %641)
%643 = (fma.f64 %636 #s(literal -1/2 binary64) %634)
%644 = (fma.f64 %635 #s(literal 1/2 binary64) %634)
%645 = (fma.f64 #s(literal 1/2 binary64) %635 %634)
%647 = (-.f64 #s(literal 0 binary64) %641)
%648 = (*.f64 %635 #s(literal 1/2 binary64))
%649 = (asin.f64 %401)
%650 = (-.f64 %648 %649)
%651 = (*.f64 #s(literal -1/2 binary64) %635)
%652 = (-.f64 %634 %651)
%653 = (+.f64 #s(literal 0 binary64) %632)
%654 = (+.f64 %648 %634)
%655 = (+.f64 %634 %648)
%658 = (*.f64 #s(literal -1/3 binary64) %641)
%659 = (*.f64 %632 #s(literal 1/3 binary64))
%660 = (*.f64 #s(literal 1/3 binary64) %632)
%661 = (pow.f64 %659 #s(literal 1 binary64))
%663 = (neg.f64 (*.f64 %641 #s(literal 1/3 binary64)))
%665 = (neg.f64 (*.f64 #s(literal -1/3 binary64) %632))
%667 = (neg.f64 (*.f64 %632 #s(literal -1/3 binary64)))
%669 = (*.f64 #s(literal -1/6 binary64) %635)
%670 = (*.f64 #s(literal -1/3 binary64) %649)
%672 = (neg.f64 (-.f64 %669 %670))
%674 = (neg.f64 (*.f64 #s(literal 1/3 binary64) %641))
%675 = (*.f64 #s(literal 1/3 binary64) %635)
%676 = (fma.f64 %675 #s(literal 1/2 binary64) %670)
%677 = (*.f64 %635 #s(literal 1/3 binary64))
%678 = (fma.f64 %677 #s(literal 1/2 binary64) %670)
%680 = (fma.f64 #s(literal 1/6 binary64) %635 %670)
%681 = (*.f64 #s(literal 1/6 binary64) %635)
%682 = (fma.f64 #s(literal -1/3 binary64) %649 %681)
%683 = (fma.f64 %648 #s(literal 1/3 binary64) %670)
%684 = (fma.f64 %634 #s(literal 1/3 binary64) %681)
%685 = (fma.f64 %649 #s(literal -1/3 binary64) %681)
%686 = (fma.f64 %635 #s(literal 1/6 binary64) %670)
%687 = (fma.f64 #s(literal 1/2 binary64) %675 %670)
%688 = (fma.f64 #s(literal 1/2 binary64) %677 %670)
%689 = (fma.f64 #s(literal 1/3 binary64) %648 %670)
%690 = (fma.f64 #s(literal 1/3 binary64) %634 %681)
%691 = (*.f64 %649 #s(literal 1/3 binary64))
%692 = (-.f64 %681 %691)
%693 = (-.f64 %670 %669)
%694 = (+.f64 #s(literal 0 binary64) %659)
%695 = (+.f64 %681 %670)
%696 = (+.f64 %670 %681)
%706 = (approx (* (acos (* (* (/ (/ x y) z) 1/18) (sqrt t))) 1/3) %659)
%708 = (*.f64 %78 %22)
%710 = (*.f64 %78 x)
%781 = (*.f64 %267 #s(literal 3 binary64))
%783 = (*.f64 %361 #s(literal 1 binary64))
%785 = (*.f64 %267 %355)
%787 = (*.f64 %229 x)
%789 = (/.f64 #s(literal -3 binary64) z)
%790 = (/.f64 %233 #s(literal -2 binary64))
%792 = (/.f64 %470 z)
%795 = (/.f64 %470 #s(literal 2 binary64))
%796 = (/.f64 #s(literal 3 binary64) %51)
%812 = (/.f64 %233 %51)
%873 = (*.f64 x %196)
%1090 = (*.f64 %552 %393)
%1094 = (*.f64 %549 #s(literal 1 binary64))
%1180 = (acos.f64 %630)
%1195 = (neg.f64 %1180)
%1230 = (*.f64 #s(literal -1/3 binary64) %635)
%1231 = (*.f64 %641 #s(literal -1/3 binary64))
%1234 = (neg.f64 %675)
%1255 = (neg.f64 %677)
x
y
z
t
(*.f64 %5 %5)
(pow.f64 %4 #s(literal 1 binary64))
(pow.f64 t #s(literal 1/2 binary64))
%4
(fabs.f64 %12)
(fabs.f64 %11)
(fabs.f64 %4)
(*.f64 (*.f64 %16 #s(literal 2 binary64)) #s(literal 1/2 binary64))
(*.f64 %20 x)
(*.f64 %22 (*.f64 %24 #s(literal 1 binary64)))
(*.f64 %22 %24)
(*.f64 #s(literal 1 binary64) %16)
(*.f64 %16 #s(literal 1 binary64))
(*.f64 x (*.f64 %20 #s(literal 1 binary64)))
(*.f64 x %20)
(pow.f64 %16 #s(literal 1 binary64))
(/.f64 %34 %35)
(/.f64 %37 y)
(/.f64 %39 %35)
(/.f64 %22 %35)
(/.f64 #s(literal 1 binary64) (/.f64 %35 %22))
(/.f64 #s(literal 1 binary64) (/.f64 y x))
%16
(neg.f64 %47)
(neg.f64 %46)
#s(literal 1/18 binary64)
(*.f64 %51 %35)
(*.f64 %35 %51)
%54
(*.f64 y z)
(pow.f64 %54 #s(literal 1 binary64))
(neg.f64 %57)
(*.f64 (*.f64 %59 #s(literal 2 binary64)) #s(literal 1/2 binary64))
(*.f64 %12 x)
(*.f64 %11 %22)
(*.f64 %22 %11)
(*.f64 %59 #s(literal 1 binary64))
%59
(*.f64 x (*.f64 %4 #s(literal 1 binary64)))
(*.f64 x %12)
(*.f64 x %4)
(pow.f64 %59 #s(literal 1 binary64))
(neg.f64 %71)
(*.f64 %74 x)
(*.f64 %77 %78)
(*.f64 %81 %24)
(*.f64 %83 %20)
(*.f64 %85 %46)
(*.f64 %87 %88)
(*.f64 %90 %91)
(*.f64 %88 %87)
(*.f64 %91 %90)
(*.f64 %95 %46)
(*.f64 %97 %24)
(*.f64 %99 %100)
(*.f64 %100 %99)
(*.f64 %103 %20)
(*.f64 %105 %106)
(*.f64 %11 %108)
(*.f64 %76 %78)
(*.f64 %111 x)
(*.f64 %73 %59)
(*.f64 %78 %76)
(*.f64 %20 %103)
(*.f64 %80 %16)
(*.f64 %71 %117)
(*.f64 %46 (*.f64 %106 %4))
(*.f64 %46 %85)
(*.f64 %46 %95)
(*.f64 %22 (*.f64 %4 %117))
(*.f64 %22 (*.f64 %24 %80))
(*.f64 %22 (/.f64 %80 %35))
(*.f64 %22 (/.f64 %4 %57))
(*.f64 #s(literal 1 binary64) %131)
(*.f64 %133 %4)
(*.f64 %59 %73)
(*.f64 %16 %136)
(*.f64 %16 %80)
(*.f64 %4 %133)
(*.f64 x %74)
(*.f64 x %142)
(*.f64 x %111)
(pow.f64 %131 #s(literal 1 binary64))
(/.f64 (*.f64 %76 #s(literal -1 binary64)) %51)
(/.f64 %77 z)
(/.f64 %81 %35)
(/.f64 (*.f64 %16 %11) %51)
(/.f64 (*.f64 %4 %88) %35)
(/.f64 (*.f64 %88 %4) %35)
(/.f64 (*.f64 %100 %4) y)
(/.f64 %83 y)
(/.f64 (*.f64 #s(literal -1 binary64) %59) %57)
(/.f64 (*.f64 %78 %59) y)
(/.f64 (*.f64 #s(literal 1 binary64) %59) %54)
(/.f64 (*.f64 %46 %4) %51)
(/.f64 (*.f64 %71 #s(literal -1 binary64)) %54)
(/.f64 (*.f64 %71 #s(literal 1 binary64)) %57)
(/.f64 (*.f64 %59 #s(literal -1 binary64)) %57)
(/.f64 (neg.f64 %97) y)
(/.f64 %97 %35)
(/.f64 %103 y)
(/.f64 %105 %51)
(/.f64 %76 z)
(/.f64 %71 %57)
(/.f64 #s(literal 1 binary64) (/.f64 %35 %97))
(/.f64 #s(literal 1 binary64) (/.f64 y %103))
(/.f64 #s(literal 1 binary64) (/.f64 %51 %105))
(/.f64 #s(literal 1 binary64) (/.f64 z %76))
(/.f64 #s(literal 1 binary64) (/.f64 %57 %71))
(/.f64 #s(literal 1 binary64) (/.f64 %54 %59))
%131
(neg.f64 (*.f64 %108 %4))
(neg.f64 (*.f64 %11 %133))
%198
%201
%203
%205
%212
%216
%220
%222
%226
%230
%236
%238
%240
%242
%244
%247
%249
%252
%255
%257
%262
%268
%271
%273
%275
%278
%280
%284
%288
%289
%290
%291
%293
%297
%298
%299
%300
%302
%303
%305
%308
%311
%314
%316
%320
%322
%324
%326
%329
%331
%334
%336
%337
%339
%340
%341
%344
%345
%346
%347
%349
%353
%354
%357
%359
%360
%362
%363
%364
%365
%367
%368
%370
%371
%372
%373
%374
%376
%377
%378
%380
%382
%384
%386
%388
%390
%392
%395
%397
%400
%401
%402
%404
%405
%406
%408
%410
%412
%414
%416
%418
%420
%422
%424
%426
%428
%429
%430
%432
%433
%434
%435
%437
%438
%439
%441
%443
%445
%448
%450
%452
%453
%455
%456
%458
%459
%461
%463
%465
%466
%468
%472
%476
%477
%480
%482
%484
%487
%490
%492
%494
%496
%497
%500
%502
%504
%507
%509
%511
%513
%515
%517
%519
%521
%523
%525
%526
%529
%532
%534
%537
%539
%540
%542
%545
%548
%553
%555
%557
%559
%561
%563
%565
%567
%569
%571
%573
%576
%578
%580
%582
%584
%586
%588
%590
%592
%594
%596
%597
%598
%599
%600
%601
%602
%603
%604
%605
%606
%608
%610
%612
%614
%616
%618
%620
%622
%624
%625
%627
%629
%631
%633
%638
%640
%642
%643
%644
%645
%647
%650
%652
%653
%654
%655
%632
#s(literal 1/3 binary64)
%658
%659
%660
%661
%663
%665
%667
%672
%674
%676
%678
%680
%682
%683
%684
%685
%686
%687
%688
%689
%690
%692
%693
%694
%695
%696
(pow.f64 %706 #s(literal 1 binary64))
%706
#s(literal 1/2 binary64)
(*.f64 %708 %24)
(*.f64 %710 %20)
(*.f64 %88 %24)
(*.f64 %100 %20)
(*.f64 %73 x)
(*.f64 %78 %16)
(*.f64 %20 %100)
(*.f64 %46 %106)
(*.f64 %22 (*.f64 %20 %106))
(*.f64 %22 (*.f64 %24 %78))
(*.f64 %22 %117)
(*.f64 #s(literal 1 binary64) %133)
(*.f64 %16 %78)
(*.f64 x (*.f64 %24 %106))
(*.f64 x %73)
(pow.f64 %133 #s(literal 1 binary64))
(/.f64 %708 %35)
(/.f64 %710 y)
(/.f64 (*.f64 #s(literal -1 binary64) %16) %51)
(/.f64 (*.f64 %22 %106) y)
(/.f64 (*.f64 x %106) %35)
(/.f64 (neg.f64 %88) y)
(/.f64 %88 %35)
(/.f64 %47 %51)
(/.f64 (*.f64 %16 #s(literal -1 binary64)) %51)
(/.f64 (*.f64 #s(literal -1 binary64) %22) %54)
(/.f64 %34 %57)
(/.f64 (*.f64 #s(literal 1 binary64) %22) %57)
(/.f64 %37 %54)
(/.f64 (*.f64 %22 #s(literal -1 binary64)) %54)
(/.f64 %39 %57)
(/.f64 %100 y)
(/.f64 %46 %51)
(/.f64 %22 %57)
(/.f64 #s(literal 1 binary64) (/.f64 %35 %88))
(/.f64 #s(literal 1 binary64) (/.f64 y %100))
(/.f64 #s(literal 1 binary64) (/.f64 %57 %22))
(/.f64 #s(literal 1 binary64) (/.f64 %51 %46))
(/.f64 #s(literal 1 binary64) (/.f64 %54 x))
(/.f64 #s(literal 1 binary64) (/.f64 z %16))
(/.f64 %16 z)
%133
(neg.f64 %108)
(*.f64 (*.f64 %267 #s(literal 1/9 binary64)) %16)
(*.f64 (*.f64 %267 %317) %318)
(*.f64 (*.f64 %267 %233) #s(literal 3 binary64))
(*.f64 (*.f64 %267 x) %446)
(*.f64 (*.f64 #s(literal 3 binary64) %208) %211)
(*.f64 (*.f64 #s(literal 3 binary64) %100) %215)
(*.f64 %781 %233)
(*.f64 %783 %78)
(*.f64 %785 %214)
(*.f64 %787 %215)
(*.f64 %789 %790)
(*.f64 %792 #s(literal -3/2 binary64))
(*.f64 %795 %796)
(*.f64 (/.f64 #s(literal 1/9 binary64) z) (/.f64 %16 #s(literal 2 binary64)))
(*.f64 (/.f64 %317 #s(literal 2 binary64)) (/.f64 %318 z))
(*.f64 (/.f64 %317 z) (/.f64 %318 #s(literal 2 binary64)))
(*.f64 (/.f64 %355 #s(literal 2 binary64)) %211)
(*.f64 (/.f64 %355 z) %215)
(*.f64 #s(literal -3/2 binary64) %792)
(*.f64 #s(literal -3/2 binary64) %812)
(*.f64 %796 %795)
(*.f64 %812 #s(literal -3/2 binary64))
(*.f64 %790 %789)
(*.f64 %446 (/.f64 x %259))
(*.f64 %295 %106)
(*.f64 %276 %73)
(*.f64 %498 %214)
(*.f64 %369 %73)
(*.f64 %543 (/.f64 %267 y))
(*.f64 %546 (/.f64 %267 #s(literal 27 binary64)))
(*.f64 %235 (/.f64 %233 #s(literal 1 binary64)))
(*.f64 #s(literal 1/9 binary64) (*.f64 %16 %267))
(*.f64 #s(literal 1/9 binary64) (/.f64 %16 %259))
(*.f64 %317 (*.f64 %318 %267))
(*.f64 %317 (/.f64 %318 %259))
(*.f64 %217 #s(literal 3/2 binary64))
(*.f64 #s(literal 3/2 binary64) (/.f64 %217 #s(literal 1 binary64)))
(*.f64 #s(literal 3/2 binary64) %217)
(*.f64 %208 (*.f64 %211 #s(literal 3 binary64)))
(*.f64 %208 (/.f64 %446 z))
(*.f64 %100 (*.f64 %215 #s(literal 3 binary64)))
(*.f64 %100 (/.f64 %446 #s(literal 2 binary64)))
(*.f64 %100 %338)
(*.f64 %196 %16)
(*.f64 %338 %100)
(*.f64 %269 (/.f64 %78 #s(literal 1 binary64)))
(*.f64 %269 %78)
(*.f64 %287 #s(literal -1/2 binary64))
(*.f64 #s(literal -3 binary64) (*.f64 %233 %352))
(*.f64 #s(literal -3 binary64) (/.f64 %233 %393))
(*.f64 %470 (*.f64 #s(literal 3 binary64) %352))
(*.f64 %470 (/.f64 #s(literal 3 binary64) %393))
(*.f64 %355 (/.f64 %267 %232))
(*.f64 %355 %261)
(*.f64 %361 %78)
(*.f64 %306 #s(literal 1/2 binary64))
(*.f64 %224 #s(literal 3 binary64))
(*.f64 %214 %498)
(*.f64 %78 %361)
(*.f64 %267 %310)
(*.f64 %20 %873)
(*.f64 %227 (/.f64 %229 #s(literal 1 binary64)))
(*.f64 %227 %229)
(*.f64 %229 %227)
(*.f64 %46 (*.f64 %106 #s(literal 1/18 binary64)))
(*.f64 %46 %274)
(*.f64 %282 %352)
(*.f64 %22 (*.f64 %24 %196))
(*.f64 %22 (*.f64 (/.f64 #s(literal -1/27 binary64) y) %235))
(*.f64 #s(literal 1 binary64) %398)
%398
(*.f64 %310 %267)
(*.f64 %233 (*.f64 %229 #s(literal 1/2 binary64)))
(*.f64 %233 %781)
(*.f64 %233 (*.f64 #s(literal 1/2 binary64) %229))
(*.f64 %233 (*.f64 #s(literal -3 binary64) %352))
(*.f64 %233 %235)
(*.f64 #s(literal 3 binary64) (*.f64 %78 %227))
(*.f64 #s(literal 3 binary64) %224)
(*.f64 #s(literal 1/18 binary64) %133)
(*.f64 %16 (*.f64 #s(literal 1/27 binary64) %235))
(*.f64 %16 %196)
(*.f64 x (*.f64 %20 %196))
(*.f64 x (*.f64 %261 #s(literal 3 binary64)))
(*.f64 x (*.f64 %215 %229))
(*.f64 x (*.f64 %446 %267))
(*.f64 x (*.f64 %214 %235))
(*.f64 x (/.f64 #s(literal 3 binary64) %491))
(*.f64 x (/.f64 %446 %259))
(*.f64 x %431)
(pow.f64 %398 #s(literal 1 binary64))
(/.f64 (*.f64 %361 #s(literal -1 binary64)) %51)
(/.f64 %783 z)
(/.f64 (*.f64 #s(literal 1/18 binary64) %88) %35)
(/.f64 %243 y)
(/.f64 (*.f64 #s(literal 3/2 binary64) %233) z)
(/.f64 (*.f64 %306 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 %267 %543) y)
(/.f64 (*.f64 %267 %546) #s(literal 27 binary64))
(/.f64 (*.f64 %267 %549) %552)
(/.f64 %785 %232)
(/.f64 (*.f64 %227 #s(literal -3 binary64)) %51)
(/.f64 (*.f64 %310 #s(literal -1 binary64)) %393)
(/.f64 (*.f64 %229 %22) %475)
(/.f64 (*.f64 %229 %16) #s(literal 54 binary64))
(/.f64 %787 %481)
(/.f64 (*.f64 %505 %78) %35)
(/.f64 (*.f64 %276 %78) y)
(/.f64 (*.f64 %88 #s(literal 1/18 binary64)) %35)
(/.f64 %323 y)
(/.f64 (*.f64 %22 %196) %35)
(/.f64 %873 y)
(/.f64 (*.f64 %22 #s(literal 1/18 binary64)) %57)
(/.f64 (*.f64 %282 #s(literal 1/2 binary64)) %51)
(/.f64 (*.f64 %217 #s(literal 3 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %310) %393)
(/.f64 (*.f64 %78 %310) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %310) %259)
(/.f64 (*.f64 #s(literal 1/2 binary64) %310) z)
(/.f64 (*.f64 %22 %229) %475)
(/.f64 (*.f64 %16 %229) #s(literal 54 binary64))
(/.f64 (*.f64 x %229) %481)
(/.f64 (*.f64 #s(literal -3 binary64) %227) %51)
(/.f64 (*.f64 %549 %352) %232)
(/.f64 (*.f64 %355 %352) %552)
(/.f64 (*.f64 %543 %267) y)
(/.f64 (*.f64 %546 %267) #s(literal 27 binary64))
(/.f64 (*.f64 %549 %267) %552)
(/.f64 (*.f64 %318 %235) y)
(/.f64 (*.f64 %46 %235) #s(literal -27 binary64))
(/.f64 (*.f64 %22 %235) %552)
(/.f64 (*.f64 %16 %235) #s(literal 27 binary64))
(/.f64 (/.f64 %369 z) y)
(/.f64 (/.f64 %498 #s(literal 27 binary64)) y)
(/.f64 (/.f64 %498 y) #s(literal 27 binary64))
(/.f64 (*.f64 %229 %470) #s(literal -2 binary64))
(/.f64 %277 y)
(/.f64 %283 %51)
(/.f64 (*.f64 %505 #s(literal -1 binary64)) %54)
(/.f64 (*.f64 %505 #s(literal 1 binary64)) %57)
(/.f64 (*.f64 %276 #s(literal -1 binary64)) %57)
(/.f64 (*.f64 %276 #s(literal 1 binary64)) %54)
(/.f64 (*.f64 %282 #s(literal 1 binary64)) %393)
(/.f64 (*.f64 #s(literal -1 binary64) %543) (*.f64 %393 y))
(/.f64 (*.f64 #s(literal -1 binary64) %546) (*.f64 %393 #s(literal 27 binary64)))
(/.f64 (*.f64 #s(literal -1 binary64) %549) (*.f64 %393 %552))
(/.f64 (*.f64 #s(literal -1 binary64) %355) (*.f64 %393 %232))
(/.f64 (*.f64 %78 %543) (*.f64 #s(literal 2 binary64) y))
(/.f64 (*.f64 %78 %546) #s(literal 54 binary64))
(/.f64 (*.f64 %78 %549) (*.f64 #s(literal 2 binary64) %552))
(/.f64 (*.f64 %78 %355) (*.f64 #s(literal 2 binary64) %232))
(/.f64 (*.f64 #s(literal 1 binary64) %543) (*.f64 %259 y))
(/.f64 (*.f64 #s(literal 1 binary64) %546) (*.f64 %259 #s(literal 27 binary64)))
(/.f64 (*.f64 #s(literal 1 binary64) %549) (*.f64 %259 %552))
(/.f64 (*.f64 #s(literal 1 binary64) %355) (*.f64 %259 %232))
(/.f64 (*.f64 #s(literal 1/2 binary64) %543) %54)
(/.f64 (*.f64 #s(literal 1/2 binary64) %546) (*.f64 z #s(literal 27 binary64)))
(/.f64 (*.f64 #s(literal 1/2 binary64) %549) (*.f64 z %552))
(/.f64 (*.f64 #s(literal 1/2 binary64) %355) (*.f64 z %232))
(/.f64 (*.f64 %22 #s(literal -3 binary64)) (*.f64 %475 %51))
(/.f64 (*.f64 %16 #s(literal -3 binary64)) (*.f64 #s(literal 54 binary64) %51))
(/.f64 (*.f64 %543 #s(literal -1 binary64)) (*.f64 y %393))
(/.f64 (*.f64 %543 %78) (*.f64 y #s(literal 2 binary64)))
(/.f64 (*.f64 %543 #s(literal 1 binary64)) %260)
(/.f64 (*.f64 %543 #s(literal 1/2 binary64)) %54)
(/.f64 (*.f64 %546 #s(literal -1 binary64)) (*.f64 #s(literal 27 binary64) %393))
(/.f64 (*.f64 %546 %78) #s(literal 54 binary64))
(/.f64 (*.f64 %546 #s(literal 1 binary64)) %489)
(/.f64 (*.f64 %546 #s(literal 1/2 binary64)) (*.f64 #s(literal 27 binary64) z))
(/.f64 (*.f64 %549 #s(literal -1 binary64)) %1090)
(/.f64 (*.f64 %549 %78) %475)
(/.f64 %1094 %575)
(/.f64 %1094 %486)
(/.f64 (*.f64 %549 #s(literal 1/2 binary64)) (*.f64 %552 z))
(/.f64 (*.f64 %355 #s(literal -1 binary64)) %575)
(/.f64 (*.f64 %355 %78) %481)
(/.f64 (*.f64 %355 #s(literal 1/2 binary64)) %531)
(/.f64 (*.f64 %318 #s(literal 3 binary64)) %260)
(/.f64 (*.f64 %46 #s(literal 3 binary64)) (*.f64 #s(literal -27 binary64) %259))
(/.f64 (*.f64 #s(literal -3 binary64) %22) (*.f64 %51 %475))
(/.f64 (*.f64 #s(literal -3 binary64) %16) (*.f64 %51 #s(literal 54 binary64)))
(/.f64 (neg.f64 %369) %57)
(/.f64 (neg.f64 %498) %552)
(/.f64 (neg.f64 %269) %51)
(/.f64 %295 %51)
(/.f64 %505 %57)
(/.f64 %276 %54)
(/.f64 %498 %232)
(/.f64 %369 %54)
(/.f64 %543 %260)
(/.f64 %546 (*.f64 z #s(literal 54 binary64)))
(/.f64 %546 %489)
(/.f64 %269 z)
(/.f64 %549 (*.f64 %481 %51))
(/.f64 %549 (*.f64 %51 %481))
(/.f64 %549 (*.f64 z %475))
(/.f64 %549 %575)
(/.f64 %549 %486)
(/.f64 %287 #s(literal -2 binary64))
(/.f64 %355 (*.f64 z %481))
(/.f64 %355 %1090)
(/.f64 %355 %491)
(/.f64 %361 z)
(/.f64 %306 #s(literal 2 binary64))
(/.f64 %282 %393)
(/.f64 #s(literal 1 binary64) (/.f64 %51 %295))
(/.f64 #s(literal 1 binary64) (/.f64 %54 %276))
(/.f64 #s(literal 1 binary64) (/.f64 %54 %369))
(/.f64 #s(literal 1 binary64) (/.f64 %232 %498))
(/.f64 #s(literal 1 binary64) (/.f64 z %269))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %287))
(/.f64 #s(literal 1 binary64) (/.f64 %491 %355))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %306))
(/.f64 #s(literal 1 binary64) (/.f64 %393 %282))
(/.f64 #s(literal 1 binary64) (/.f64 z %361))
(/.f64 #s(literal 1 binary64) (/.f64 %259 %310))
(/.f64 %398 #s(literal 1 binary64))
(/.f64 %310 %259)
(neg.f64 (*.f64 #s(literal -1/18 binary64) %133))
%198
%201
%203
%205
%212
%216
%220
%222
%226
%230
%236
%238
%240
%242
%244
%247
%249
%252
%255
%257
%262
%268
%271
%273
%275
%278
%280
%284
%288
%289
%290
%291
%293
%297
%298
%299
%300
%302
%303
%305
%308
%311
%314
%316
%320
%322
%324
%326
%329
%331
%334
%336
%337
%339
%340
%341
%344
%345
%346
%347
%349
%353
%354
%357
%359
%360
%362
%363
%364
%365
%367
%368
%370
%371
%372
%373
%374
%376
%377
%378
%380
%382
%384
%386
%388
%390
%392
%395
%397
%400
%401
%402
%404
%405
%406
%408
%410
%412
%414
%416
%418
%420
%422
%424
%426
%428
%429
%430
%432
%433
%434
%435
%437
%438
%439
%441
%443
%445
%448
%450
%452
%453
%455
%456
%458
%459
%461
%463
%465
%466
%468
%472
%476
%477
%480
%482
%484
%487
%490
%492
%494
%496
%497
%500
%502
%504
%507
%509
%511
%513
%515
%517
%519
%521
%523
%525
%526
%529
%532
%534
%537
%539
%540
%542
%545
%548
%553
%555
%557
%559
%561
%563
%565
%567
%569
%571
%573
%576
%578
%580
%582
%584
%586
%588
%590
%592
%594
%596
%597
%598
%599
%600
%601
%602
%603
%604
%605
%606
%608
%610
%612
%614
%616
%618
%620
%622
%624
%625
%627
%629
%631
%633
%638
%640
%642
%643
%644
%645
%647
%650
%652
%653
%654
%655
%632
%635
(pow.f64 %649 #s(literal 1 binary64))
%649
(neg.f64 %634)
(fma.f64 %636 #s(literal -1/2 binary64) %641)
(fma.f64 %635 #s(literal 1/2 binary64) %641)
(fma.f64 #s(literal 1/2 binary64) %635 %641)
(-.f64 %1180 %648)
(-.f64 #s(literal 0 binary64) %634)
(-.f64 %648 %632)
(+.f64 #s(literal 0 binary64) %649)
(+.f64 %648 %641)
(pow.f64 %634 #s(literal 1 binary64))
%634
(/.f64 (-.f64 (*.f64 %632 #s(literal -2 binary64)) %636) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 %632 #s(literal 2 binary64)) %635) #s(literal 2 binary64))
(neg.f64 %649)
(fma.f64 #s(literal -1/2 binary64) %635 %632)
(fma.f64 %636 #s(literal -1/2 binary64) %1195)
(fma.f64 %636 #s(literal 1/2 binary64) %632)
(fma.f64 %635 #s(literal -1/2 binary64) %632)
(fma.f64 %635 #s(literal 1/2 binary64) %1195)
(fma.f64 #s(literal 1/2 binary64) %636 %632)
(fma.f64 #s(literal 1/2 binary64) %635 %1195)
(-.f64 %648 %1180)
(-.f64 %632 %648)
(+.f64 %651 %632)
(+.f64 #s(literal 0 binary64) %634)
(+.f64 %648 %1195)
(+.f64 %632 %651)
(*.f64 %636 #s(literal -1/2 binary64))
%648
(*.f64 #s(literal 1/2 binary64) %635)
(pow.f64 %648 #s(literal 1 binary64))
(/.f64 (*.f64 %635 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %635) #s(literal 2 binary64))
(/.f64 (neg.f64 %636) #s(literal 2 binary64))
(/.f64 %636 #s(literal -2 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %636))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %635))
(/.f64 %648 #s(literal 1 binary64))
(/.f64 %635 #s(literal 2 binary64))
(neg.f64 %651)
%658
%659
%660
%661
%663
%665
%667
%672
%674
%676
%678
%680
%682
%683
%684
%685
%686
%687
%688
%689
%690
%692
%693
%694
%695
%696
%670
(*.f64 %634 #s(literal 1/3 binary64))
(*.f64 %649 #s(literal -1/3 binary64))
(*.f64 #s(literal 1/3 binary64) %634)
(pow.f64 %670 #s(literal 1 binary64))
(neg.f64 %691)
(fma.f64 %1230 #s(literal 1/2 binary64) %1231)
(fma.f64 %1230 #s(literal 1/2 binary64) %659)
(fma.f64 %1234 #s(literal 1/2 binary64) %1231)
(fma.f64 %1234 #s(literal 1/2 binary64) %659)
(fma.f64 #s(literal -1/2 binary64) %677 %1231)
(fma.f64 #s(literal -1/2 binary64) %677 %659)
(fma.f64 %675 #s(literal -1/2 binary64) %1231)
(fma.f64 %675 #s(literal -1/2 binary64) %659)
(fma.f64 #s(literal -1/6 binary64) %635 %1231)
(fma.f64 #s(literal -1/6 binary64) %635 %659)
(fma.f64 %651 #s(literal 1/3 binary64) %1231)
(fma.f64 %651 #s(literal 1/3 binary64) %659)
(fma.f64 %636 #s(literal 1/6 binary64) %1231)
(fma.f64 %636 #s(literal 1/6 binary64) %659)
(fma.f64 #s(literal 1/6 binary64) %636 %1231)
(fma.f64 #s(literal 1/6 binary64) %636 %659)
(fma.f64 #s(literal -1/3 binary64) %648 %1231)
(fma.f64 #s(literal -1/3 binary64) %648 %659)
(fma.f64 %648 #s(literal -1/3 binary64) %1231)
(fma.f64 %648 #s(literal -1/3 binary64) %659)
(fma.f64 %635 #s(literal -1/6 binary64) %1231)
(fma.f64 %635 #s(literal -1/6 binary64) %659)
(fma.f64 #s(literal 1/2 binary64) %1255 %1231)
(fma.f64 #s(literal 1/2 binary64) %1255 %659)
(fma.f64 #s(literal 1/3 binary64) %651 %1231)
(fma.f64 #s(literal 1/3 binary64) %651 %659)
(+.f64 %669 %1231)
(+.f64 %669 %659)
(+.f64 #s(literal 0 binary64) %670)
%658
%659
%660
%661
%663
%665
%667
%672
%674
%676
%678
%680
%682
%683
%684
%685
%686
%687
%688
%689
%690
%692
%693
%694
%695
%696

reconstruct72.0ms (2.2%)

Counts
1 018 → 414
Compiler

Compiled 1 018 to 1 276 computations (-25.3% saved)

eval-213.0ms (-6.5%)

Compiler

Compiled 632 to 2 207 computations (-249.2% saved)

prune58.0ms (1.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New6302632
Fresh000
Picked213
Done000
Total6323635
Accuracy
98.5%
Counts
635 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶97.7%
(fma.f64 #s(literal 1/6 binary64) (PI.f64 ) (*.f64 #s(literal -1/3 binary64) (asin.f64 (*.f64 (*.f64 (/.f64 x (*.f64 z y)) #s(literal 1/18 binary64)) (sqrt.f64 t)))))
▶97.7%
(*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 (*.f64 (/.f64 x (*.f64 z y)) #s(literal 1/18 binary64)) (sqrt.f64 t))))
✓98.1%
(*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 (sqrt.f64 t) (*.f64 #s(literal 1/18 binary64) (/.f64 (/.f64 x y) z)))))
Compiler

Compiled 3 to 25 computations (-733.3% saved)

sample1.0ms (0.0%)

Calls
Call 1
Inputs
(PI )
Outputs
#s(literal 884279719003555/281474976710656 binary64)
Samples
0.0ms1×0valid
Compiler

Compiled 3 to 3 computations (0.0% saved)

series23.0ms (0.7%)

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
063277
Stop Event
1×iter-limit
Counts
19 → 19
Calls
Call 1
Inputs
%4 = (sqrt.f64 t)
%7 = (*.f64 z y)
%8 = (PI.f64 )
%11 = (/.f64 x %7)
%12 = (*.f64 %11 #s(literal 1/18 binary64))
%13 = (*.f64 %12 %4)
%14 = (acos.f64 %13)
%15 = (asin.f64 %13)
%17 = (*.f64 #s(literal -1/3 binary64) %15)
x
y
z
t
%4
#s(literal 1/18 binary64)
#s(literal 1/3 binary64)
%7
%8
#s(literal -1/3 binary64)
#s(literal 1/6 binary64)
%11
%12
%13
%14
%15
(*.f64 #s(literal 1/3 binary64) %14)
%17
(fma.f64 #s(literal 1/6 binary64) %8 %17)
Outputs
%6 = (* z y)
%7 = (/ x %6)
%8 = (*.f64 y z)
%9 = (/.f64 x %8)
%12 = (* %7 1/18)
%17 = (sqrt t)
%18 = (* %12 %17)
%19 = (sqrt.f64 t)
%22 = (*.f64 #s(literal 1/18 binary64) (/.f64 (*.f64 x %19) %8))
%24 = (acos %18)
%25 = (acos.f64 %22)
%27 = (asin %18)
%28 = (asin.f64 %22)
%36 = (* -1/3 %27)
%56 = (sqrt.f64 (/.f64 #s(literal 1 binary64) t))
%57 = (*.f64 t %56)
%61 = (/.f64 (*.f64 t (*.f64 x %56)) %8)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %7 %9)
(approx %12 (*.f64 #s(literal 1/18 binary64) %9))
(approx %18 %22)
(approx %24 %25)
(approx %27 %28)
(approx (* 1/3 %24) (*.f64 #s(literal 1/3 binary64) %25))
(approx %36 (*.f64 #s(literal -1/3 binary64) %28))
(approx (+ (* 1/6 (PI )) %36) (fma.f64 #s(literal -1/3 binary64) %28 (*.f64 #s(literal 1/6 binary64) (PI.f64 ))))
(approx y y)
(approx %6 %8)
(approx z z)
(approx t t)
(approx %17 %19)
(approx %17 %57)
(approx %18 (*.f64 #s(literal 1/18 binary64) %61))
(approx %17 (*.f64 #s(literal -1 binary64) %57))
(approx %18 (*.f64 #s(literal -1/18 binary64) %61))
Calls

12 calls:

TimeVariablePoint
3.0ms
z
inf
2.0ms
y
inf
2.0ms
x
inf
2.0ms
x
0
2.0ms
y
0

rewrite94.0ms (2.9%)

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
019100
031100
185100
2241100
3994100
04254100
04718100
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
19 → 581
Calls
Call 1
Inputs
%4 = (sqrt.f64 t)
%7 = (*.f64 z y)
%8 = (PI.f64 )
%11 = (/.f64 x %7)
%12 = (*.f64 %11 #s(literal 1/18 binary64))
%13 = (*.f64 %12 %4)
%14 = (acos.f64 %13)
%15 = (asin.f64 %13)
%17 = (*.f64 #s(literal -1/3 binary64) %15)
x
y
z
t
%4
#s(literal 1/18 binary64)
#s(literal 1/3 binary64)
%7
%8
#s(literal -1/3 binary64)
#s(literal 1/6 binary64)
%11
%12
%13
%14
%15
(*.f64 #s(literal 1/3 binary64) %14)
%17
(fma.f64 #s(literal 1/6 binary64) %8 %17)
Outputs
%4 = (sqrt.f64 t)
%5 = (sqrt.f64 %4)
%6 = (neg.f64 %5)
%21 = (neg.f64 %4)
%22 = (neg.f64 %21)
%30 = (neg.f64 z)
%31 = (neg.f64 %30)
%33 = (neg.f64 y)
%34 = (neg.f64 %33)
%39 = (*.f64 z y)
%43 = (/.f64 #s(literal 1 binary64) %39)
%45 = (neg.f64 %39)
%47 = (PI.f64 )
%50 = (*.f64 x #s(literal 2 binary64))
%52 = (/.f64 #s(literal 1/2 binary64) y)
%55 = (/.f64 #s(literal 1/2 binary64) z)
%63 = (/.f64 %50 z)
%67 = (/.f64 %50 y)
%71 = (/.f64 #s(literal -1 binary64) z)
%72 = (neg.f64 x)
%73 = (/.f64 %72 y)
%75 = (/.f64 #s(literal -1 binary64) y)
%76 = (/.f64 %72 z)
%79 = (/.f64 #s(literal 1 binary64) y)
%80 = (/.f64 x z)
%82 = (/.f64 #s(literal -1 binary64) %39)
%84 = (/.f64 #s(literal 1 binary64) z)
%85 = (/.f64 x y)
%92 = (/.f64 x %39)
%102 = (*.f64 %80 #s(literal 1 binary64))
%104 = (*.f64 #s(literal 2 binary64) y)
%106 = (*.f64 x #s(literal -1 binary64))
%108 = (*.f64 #s(literal 2 binary64) %45)
%110 = (*.f64 %72 %79)
%112 = (*.f64 #s(literal 2 binary64) %30)
%114 = (*.f64 %79 x)
%116 = (*.f64 #s(literal 2 binary64) z)
%118 = (*.f64 #s(literal -1 binary64) x)
%123 = (*.f64 %72 #s(literal 1 binary64))
%126 = (neg.f64 %85)
%134 = (*.f64 #s(literal 2 binary64) %80)
%160 = (*.f64 %31 %33)
%165 = (*.f64 %33 %31)
%209 = (/.f64 %72 %39)
%212 = (/.f64 #s(literal -1/18 binary64) y)
%214 = (/.f64 #s(literal -1/18 binary64) z)
%216 = (*.f64 #s(literal 1/18 binary64) x)
%217 = (/.f64 %216 %30)
%219 = (/.f64 %216 %33)
%221 = (/.f64 %216 %34)
%223 = (/.f64 %216 %31)
%225 = (*.f64 %216 #s(literal 1 binary64))
%227 = (/.f64 #s(literal 1/18 binary64) %33)
%229 = (/.f64 #s(literal 1/18 binary64) %30)
%233 = (*.f64 %80 #s(literal 1/18 binary64))
%235 = (*.f64 #s(literal 1/18 binary64) %85)
%237 = (/.f64 #s(literal 1/18 binary64) %39)
%239 = (/.f64 #s(literal 1/18 binary64) y)
%241 = (/.f64 #s(literal 1/18 binary64) z)
%246 = (*.f64 #s(literal -1/18 binary64) x)
%257 = (*.f64 %92 #s(literal 1/18 binary64))
%269 = (*.f64 %216 #s(literal -1 binary64))
%274 = (*.f64 #s(literal 1/18 binary64) %76)
%277 = (*.f64 %72 %239)
%280 = (*.f64 %85 #s(literal 1/18 binary64))
%283 = (*.f64 %76 #s(literal 1/18 binary64))
%286 = (/.f64 %246 z)
%289 = (/.f64 %246 y)
%292 = (neg.f64 %233)
%295 = (neg.f64 %235)
%298 = (neg.f64 %246)
%356 = (*.f64 %72 %4)
%365 = (*.f64 %4 x)
%378 = (*.f64 x %4)
%379 = (/.f64 %378 %30)
%381 = (/.f64 %378 %33)
%383 = (/.f64 %378 %34)
%385 = (/.f64 %378 y)
%387 = (/.f64 %378 %31)
%389 = (/.f64 %378 z)
%391 = (/.f64 %4 %33)
%393 = (/.f64 %4 %30)
%395 = (/.f64 %4 z)
%397 = (/.f64 %4 y)
%399 = (*.f64 #s(literal 1/18 binary64) %4)
%400 = (/.f64 %399 %34)
%402 = (/.f64 %399 %31)
%408 = (/.f64 %4 %34)
%410 = (/.f64 %4 %31)
%425 = (/.f64 %399 %33)
%427 = (/.f64 %399 %30)
%430 = (/.f64 %399 y)
%432 = (/.f64 %399 z)
%434 = (*.f64 %92 %4)
%436 = (*.f64 %237 %4)
%438 = (*.f64 %233 %4)
%440 = (*.f64 %246 %4)
%442 = (*.f64 %399 x)
%473 = (*.f64 %257 %4)
%489 = (*.f64 %399 %85)
%492 = (*.f64 %399 %76)
%495 = (*.f64 %4 %233)
%498 = (*.f64 %4 %235)
%501 = (*.f64 %4 %246)
%504 = (*.f64 %235 %4)
%507 = (*.f64 %85 %399)
%510 = (*.f64 %76 %399)
%513 = (/.f64 %440 z)
%516 = (/.f64 %440 y)
%519 = (/.f64 %442 y)
%522 = (neg.f64 %438)
%525 = (neg.f64 %440)
%579 = (*.f64 %209 %399)
%581 = (*.f64 %399 %209)
%583 = (/.f64 %440 %39)
%585 = (acos.f64 %473)
%588 = (*.f64 #s(literal 1/2 binary64) %47)
%589 = (+.f64 #s(literal 0 binary64) %588)
%592 = (neg.f64 %47)
%593 = (-.f64 (*.f64 %585 #s(literal -2 binary64)) %592)
%597 = (-.f64 (*.f64 %585 #s(literal 2 binary64)) %47)
%600 = (asin.f64 %473)
%601 = (neg.f64 %600)
%602 = (*.f64 %47 #s(literal 1 binary64))
%605 = (neg.f64 %592)
%617 = (-.f64 (*.f64 %588 #s(literal -2 binary64)) %592)
%621 = (-.f64 (*.f64 %588 #s(literal 2 binary64)) %47)
%624 = (-.f64 %592 %592)
%627 = (-.f64 %47 %47)
%631 = (*.f64 %592 #s(literal -2 binary64))
%632 = (*.f64 #s(literal -2 binary64) %592)
%633 = (-.f64 %631 %632)
%637 = (*.f64 %592 #s(literal 2 binary64))
%638 = (*.f64 #s(literal -2 binary64) %47)
%639 = (-.f64 %637 %638)
%642 = (*.f64 %47 #s(literal -2 binary64))
%643 = (*.f64 #s(literal 2 binary64) %592)
%644 = (-.f64 %642 %643)
%647 = (*.f64 %47 #s(literal 2 binary64))
%648 = (*.f64 #s(literal 2 binary64) %47)
%649 = (-.f64 %647 %648)
%655 = (-.f64 (*.f64 %600 #s(literal -2 binary64)) %592)
%658 = (*.f64 %602 #s(literal -2 binary64))
%661 = (*.f64 %605 #s(literal -2 binary64))
%668 = (*.f64 %602 #s(literal 2 binary64))
%671 = (*.f64 %605 #s(literal 2 binary64))
%678 = (*.f64 %593 #s(literal 2 binary64))
%681 = (*.f64 %597 #s(literal 2 binary64))
%719 = (-.f64 (*.f64 %600 #s(literal 2 binary64)) %47)
%726 = (*.f64 #s(literal -2 binary64) %602)
%729 = (*.f64 #s(literal -2 binary64) %605)
%736 = (*.f64 #s(literal 2 binary64) %602)
%739 = (*.f64 #s(literal 2 binary64) %605)
%746 = (*.f64 #s(literal 2 binary64) %593)
%749 = (*.f64 #s(literal 2 binary64) %597)
%756 = (*.f64 #s(literal -2 binary64) %593)
%759 = (*.f64 #s(literal -2 binary64) %597)
%766 = (*.f64 %617 #s(literal -2 binary64))
%767 = (*.f64 #s(literal -2 binary64) %655)
%770 = (*.f64 %617 #s(literal 2 binary64))
%771 = (*.f64 #s(literal -2 binary64) %719)
%774 = (*.f64 %621 #s(literal -2 binary64))
%775 = (*.f64 #s(literal 2 binary64) %655)
%778 = (*.f64 %621 #s(literal 2 binary64))
%779 = (*.f64 #s(literal 2 binary64) %719)
%782 = (*.f64 %624 #s(literal -2 binary64))
%785 = (*.f64 %624 #s(literal 2 binary64))
%788 = (*.f64 %627 #s(literal -2 binary64))
%791 = (*.f64 %627 #s(literal 2 binary64))
%794 = (*.f64 %633 #s(literal -2 binary64))
%795 = (*.f64 #s(literal 4 binary64) %655)
%799 = (*.f64 %633 #s(literal 2 binary64))
%800 = (*.f64 #s(literal 4 binary64) %719)
%804 = (*.f64 %639 #s(literal -2 binary64))
%805 = (*.f64 #s(literal -4 binary64) %655)
%808 = (*.f64 %639 #s(literal 2 binary64))
%809 = (*.f64 #s(literal -4 binary64) %719)
%812 = (*.f64 %644 #s(literal -2 binary64))
%815 = (*.f64 %644 #s(literal 2 binary64))
%818 = (*.f64 %649 #s(literal -2 binary64))
%821 = (*.f64 %649 #s(literal 2 binary64))
%830 = (neg.f64 %585)
%832 = (/.f64 %47 #s(literal 1/2 binary64))
%840 = (-.f64 %588 #s(literal 0 binary64))
%911 = (*.f64 %655 #s(literal 2 binary64))
%914 = (*.f64 %719 #s(literal 2 binary64))
%1005 = (*.f64 #s(literal 4 binary64) %593)
%1008 = (*.f64 #s(literal 4 binary64) %597)
%1011 = (*.f64 #s(literal -4 binary64) %593)
%1014 = (*.f64 #s(literal -4 binary64) %597)
%1053 = (*.f64 %585 #s(literal 1/3 binary64))
%1065 = (*.f64 %600 #s(literal -1/3 binary64))
%1079 = (*.f64 %600 #s(literal 1/3 binary64))
%1088 = (fma.f64 #s(literal 1/6 binary64) %47 %1065)
%1093 = (*.f64 #s(literal -1/6 binary64) %47)
%1098 = (*.f64 %605 #s(literal 1/6 binary64))
%1100 = (neg.f64 %1093)
%1102 = (*.f64 #s(literal 1/6 binary64) %47)
x
y
z
t
(*.f64 %6 %6)
(*.f64 %5 %5)
(pow.f64 %5 #s(literal 2 binary64))
(pow.f64 (*.f64 t t) #s(literal 1/4 binary64))
(pow.f64 %4 #s(literal 1 binary64))
(pow.f64 t #s(literal 1/2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %4 #s(literal -1 binary64)))
%4
(fabs.f64 (neg.f64 %22))
(fabs.f64 %22)
(fabs.f64 %21)
(fabs.f64 %4)
#s(literal 1/18 binary64)
#s(literal 1/3 binary64)
(*.f64 %31 y)
(*.f64 %34 z)
(*.f64 %33 %30)
(*.f64 %30 %33)
(*.f64 z %34)
%39
(*.f64 y %31)
(*.f64 y z)
(pow.f64 %39 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %43)
(neg.f64 %45)
%47
#s(literal -1/3 binary64)
#s(literal 1/6 binary64)
(*.f64 (/.f64 %50 %31) %52)
(*.f64 (/.f64 %50 %34) %55)
(*.f64 (/.f64 %50 %33) (/.f64 #s(literal 1/2 binary64) %30))
(*.f64 (/.f64 %50 %30) (/.f64 #s(literal 1/2 binary64) %33))
(*.f64 %63 (/.f64 #s(literal 1/2 binary64) %34))
(*.f64 %63 %52)
(*.f64 %67 (/.f64 #s(literal 1/2 binary64) %31))
(*.f64 %67 %55)
(*.f64 %71 %73)
(*.f64 %75 %76)
(*.f64 %73 %71)
(*.f64 %79 %80)
(*.f64 %82 %72)
(*.f64 %84 %85)
(*.f64 %85 %84)
(*.f64 %76 %75)
(*.f64 %80 %79)
(*.f64 %43 x)
(*.f64 %72 %82)
(*.f64 #s(literal 1 binary64) %92)
(*.f64 x %43)
(pow.f64 %92 #s(literal 1 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %72) %39)
(/.f64 (*.f64 #s(literal 1 binary64) %72) %45)
(/.f64 (*.f64 %72 #s(literal -1 binary64)) %39)
(/.f64 (*.f64 #s(literal 2 binary64) %102) %104)
(/.f64 (*.f64 #s(literal 2 binary64) %106) %108)
(/.f64 (*.f64 #s(literal 2 binary64) %110) %112)
(/.f64 (*.f64 #s(literal 2 binary64) %114) %116)
(/.f64 (*.f64 #s(literal 2 binary64) %118) %108)
(/.f64 (*.f64 #s(literal 2 binary64) %73) %112)
(/.f64 (*.f64 #s(literal 2 binary64) %123) %108)
(/.f64 (*.f64 #s(literal 2 binary64) %126) %112)
(/.f64 (*.f64 #s(literal 2 binary64) %85) %116)
(/.f64 (*.f64 #s(literal 2 binary64) %76) (*.f64 #s(literal 2 binary64) %33))
(/.f64 %134 (*.f64 #s(literal 2 binary64) %34))
(/.f64 %134 %104)
(/.f64 (*.f64 #s(literal 2 binary64) %72) %108)
(/.f64 (*.f64 #s(literal 2 binary64) x) (*.f64 #s(literal 2 binary64) %39))
(/.f64 (neg.f64 %102) %33)
(/.f64 (neg.f64 %106) %39)
(/.f64 (neg.f64 %110) %31)
(/.f64 (neg.f64 %114) %30)
(/.f64 (neg.f64 %118) %39)
(/.f64 (neg.f64 %123) %39)
(/.f64 (neg.f64 %126) %31)
(/.f64 (neg.f64 %73) %31)
(/.f64 %102 y)
(/.f64 %106 %160)
(/.f64 %106 %45)
(/.f64 %110 %30)
(/.f64 %114 z)
(/.f64 %118 %165)
(/.f64 %118 %45)
(/.f64 %73 %30)
(/.f64 %123 %160)
(/.f64 %123 %45)
(/.f64 %126 %30)
(/.f64 %85 z)
(/.f64 %76 (neg.f64 %34))
(/.f64 %76 %33)
(/.f64 %80 %34)
(/.f64 %80 y)
(/.f64 %72 %45)
(/.f64 #s(literal 1 binary64) (/.f64 y %102))
(/.f64 #s(literal 1 binary64) (/.f64 %45 %106))
(/.f64 #s(literal 1 binary64) (/.f64 %30 %110))
(/.f64 #s(literal 1 binary64) (/.f64 z %114))
(/.f64 #s(literal 1 binary64) (/.f64 %45 %118))
(/.f64 #s(literal 1 binary64) (/.f64 %30 %73))
(/.f64 #s(literal 1 binary64) (/.f64 %45 %123))
(/.f64 #s(literal 1 binary64) (/.f64 %30 %126))
(/.f64 #s(literal 1 binary64) (/.f64 %34 %80))
(/.f64 #s(literal 1 binary64) (pow.f64 %92 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 z %85))
(/.f64 #s(literal 1 binary64) (/.f64 %33 %76))
(/.f64 #s(literal 1 binary64) (/.f64 y %80))
(/.f64 #s(literal 1 binary64) (/.f64 %45 %72))
(/.f64 #s(literal 1 binary64) (/.f64 %39 x))
%92
(neg.f64 %209)
(*.f64 %212 %76)
(*.f64 %214 %73)
(*.f64 %217 %75)
(*.f64 %219 %71)
(*.f64 %221 %84)
(*.f64 %223 %79)
(*.f64 %225 %43)
(*.f64 %227 %76)
(*.f64 %229 %73)
(*.f64 %73 %214)
(*.f64 %73 %229)
(*.f64 %233 %79)
(*.f64 %235 %84)
(*.f64 %237 x)
(*.f64 %239 %80)
(*.f64 %241 %85)
(*.f64 %85 %241)
(*.f64 %76 %212)
(*.f64 %76 %227)
(*.f64 %246 %82)
(*.f64 %216 %43)
(*.f64 %80 (*.f64 %79 #s(literal 1/18 binary64)))
(*.f64 %80 %239)
(*.f64 %43 %216)
(*.f64 %72 (*.f64 %82 #s(literal 1/18 binary64)))
(*.f64 %72 (/.f64 #s(literal -1/18 binary64) %39))
%257
(*.f64 #s(literal 1/18 binary64) %92)
(*.f64 x %237)
(pow.f64 %257 #s(literal 1 binary64))
(/.f64 (*.f64 %246 #s(literal -1 binary64)) %39)
(/.f64 (*.f64 %246 #s(literal 1 binary64)) %45)
(/.f64 (*.f64 #s(literal -1/18 binary64) %72) %39)
(/.f64 (*.f64 %72 #s(literal -1/18 binary64)) %39)
(/.f64 (neg.f64 %269) %39)
(/.f64 (neg.f64 %225) %45)
(/.f64 (neg.f64 %274) %34)
(/.f64 (neg.f64 %277) %31)
(/.f64 (neg.f64 %280) %30)
(/.f64 (neg.f64 %283) %34)
(/.f64 (neg.f64 %286) %34)
(/.f64 (neg.f64 %289) %31)
(/.f64 (neg.f64 %292) %34)
(/.f64 (neg.f64 %295) %31)
(/.f64 (neg.f64 %298) %45)
(/.f64 %269 %45)
(/.f64 %225 %39)
(/.f64 %274 %33)
(/.f64 %277 %30)
(/.f64 %280 z)
(/.f64 %283 %33)
(/.f64 %286 %33)
(/.f64 %289 %30)
(/.f64 %292 %33)
(/.f64 %295 %30)
(/.f64 %298 %39)
(/.f64 %233 y)
(/.f64 %235 z)
(/.f64 %246 %165)
(/.f64 %246 %160)
(/.f64 %246 %45)
(/.f64 %216 %39)
(/.f64 #s(literal 1 binary64) (/.f64 %45 %269))
(/.f64 #s(literal 1 binary64) (/.f64 %39 %225))
(/.f64 #s(literal 1 binary64) (/.f64 %33 %274))
(/.f64 #s(literal 1 binary64) (/.f64 %30 %277))
(/.f64 #s(literal 1 binary64) (/.f64 z %280))
(/.f64 #s(literal 1 binary64) (/.f64 %33 %283))
(/.f64 #s(literal 1 binary64) (/.f64 %33 %286))
(/.f64 #s(literal 1 binary64) (/.f64 %30 %289))
(/.f64 #s(literal 1 binary64) (/.f64 %33 %292))
(/.f64 #s(literal 1 binary64) (/.f64 %30 %295))
(/.f64 #s(literal 1 binary64) (/.f64 %39 %298))
(/.f64 #s(literal 1 binary64) (pow.f64 %257 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 y %233))
(/.f64 #s(literal 1 binary64) (/.f64 z %235))
(/.f64 #s(literal 1 binary64) (/.f64 %45 %246))
(/.f64 #s(literal 1 binary64) (/.f64 %39 %216))
(neg.f64 (*.f64 %209 #s(literal 1/18 binary64)))
(neg.f64 (*.f64 #s(literal 1/18 binary64) %209))
(neg.f64 (/.f64 %246 %39))
(*.f64 (/.f64 %356 %33) %241)
(*.f64 (/.f64 %356 %30) %239)
(*.f64 (/.f64 %356 z) %227)
(*.f64 (/.f64 %356 y) %229)
(*.f64 (/.f64 %365 %31) %239)
(*.f64 (/.f64 %365 %34) %241)
(*.f64 (/.f64 %365 %33) %229)
(*.f64 (/.f64 %365 %30) %227)
(*.f64 (/.f64 %365 z) %239)
(*.f64 (/.f64 %365 y) %241)
(*.f64 %379 %227)
(*.f64 %381 %229)
(*.f64 %383 %241)
(*.f64 %385 %241)
(*.f64 %387 %239)
(*.f64 %389 %239)
(*.f64 %217 %391)
(*.f64 %219 %393)
(*.f64 %221 %395)
(*.f64 %223 %397)
(*.f64 %400 %80)
(*.f64 %402 %85)
(*.f64 %393 %219)
(*.f64 %393 %289)
(*.f64 %391 %217)
(*.f64 %391 %286)
(*.f64 %408 %233)
(*.f64 %410 %235)
(*.f64 (*.f64 %4 %85) %241)
(*.f64 (*.f64 %4 %80) %239)
(*.f64 %365 %237)
(*.f64 %286 %391)
(*.f64 %289 %393)
(*.f64 %227 %379)
(*.f64 %229 %381)
(*.f64 %397 %223)
(*.f64 %397 %233)
(*.f64 %395 %221)
(*.f64 %395 %235)
(*.f64 %425 %76)
(*.f64 %427 %73)
(*.f64 %73 %427)
(*.f64 %430 %80)
(*.f64 %432 %85)
(*.f64 %434 #s(literal 1/18 binary64))
(*.f64 %436 x)
(*.f64 %438 %79)
(*.f64 %440 %82)
(*.f64 %442 %43)
(*.f64 %233 %408)
(*.f64 %233 %397)
(*.f64 %235 %410)
(*.f64 %235 %395)
(*.f64 %239 %387)
(*.f64 %239 %389)
(*.f64 %241 %383)
(*.f64 %241 %385)
(*.f64 %85 %402)
(*.f64 %85 (*.f64 %241 %4))
(*.f64 %85 %432)
(*.f64 %76 %425)
(*.f64 %399 %92)
(*.f64 %216 (*.f64 %43 %4))
(*.f64 %216 (/.f64 %4 %39))
(*.f64 %80 %400)
(*.f64 %80 (*.f64 %239 %4))
(*.f64 %80 (*.f64 %79 %399))
(*.f64 %80 %430)
(*.f64 %43 %442)
(*.f64 %72 (*.f64 %82 %399))
(*.f64 %72 (/.f64 %399 %45))
%473
(*.f64 %92 %399)
(*.f64 #s(literal 1/18 binary64) %434)
(*.f64 %4 %257)
(*.f64 x (/.f64 %399 %39))
(*.f64 x %436)
(pow.f64 %473 #s(literal 1 binary64))
(/.f64 (*.f64 %440 #s(literal -1 binary64)) %39)
(/.f64 (*.f64 %440 #s(literal 1 binary64)) %45)
(/.f64 (*.f64 %442 #s(literal -1 binary64)) %45)
(/.f64 (*.f64 %442 #s(literal 1 binary64)) %39)
(/.f64 (neg.f64 %489) %30)
(/.f64 (neg.f64 %492) %34)
(/.f64 (neg.f64 %495) %33)
(/.f64 (neg.f64 %498) %30)
(/.f64 (neg.f64 %501) %39)
(/.f64 (neg.f64 %504) %30)
(/.f64 (neg.f64 %507) %30)
(/.f64 (neg.f64 %510) %34)
(/.f64 (neg.f64 %513) %34)
(/.f64 (neg.f64 %516) %31)
(/.f64 (neg.f64 %519) %30)
(/.f64 (neg.f64 %522) %34)
(/.f64 (neg.f64 %525) %45)
(/.f64 %489 z)
(/.f64 %492 %33)
(/.f64 %495 y)
(/.f64 %498 z)
(/.f64 %501 %45)
(/.f64 %504 z)
(/.f64 %507 z)
(/.f64 %510 %33)
(/.f64 %513 %33)
(/.f64 %516 %30)
(/.f64 %519 z)
(/.f64 %522 %33)
(/.f64 %525 %39)
(/.f64 %438 y)
(/.f64 %440 %160)
(/.f64 %440 %45)
(/.f64 %442 %39)
(/.f64 #s(literal 1 binary64) (/.f64 z %489))
(/.f64 #s(literal 1 binary64) (/.f64 %33 %492))
(/.f64 #s(literal 1 binary64) (/.f64 y %495))
(/.f64 #s(literal 1 binary64) (/.f64 z %498))
(/.f64 #s(literal 1 binary64) (/.f64 %45 %501))
(/.f64 #s(literal 1 binary64) (/.f64 z %504))
(/.f64 #s(literal 1 binary64) (/.f64 z %507))
(/.f64 #s(literal 1 binary64) (/.f64 %33 %510))
(/.f64 #s(literal 1 binary64) (/.f64 %33 %513))
(/.f64 #s(literal 1 binary64) (/.f64 %30 %516))
(/.f64 #s(literal 1 binary64) (/.f64 z %519))
(/.f64 #s(literal 1 binary64) (/.f64 %33 %522))
(/.f64 #s(literal 1 binary64) (/.f64 %39 %525))
(/.f64 #s(literal 1 binary64) (pow.f64 %473 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 y %438))
(/.f64 #s(literal 1 binary64) (/.f64 %45 %440))
(/.f64 #s(literal 1 binary64) (/.f64 %39 %442))
(neg.f64 %579)
(neg.f64 %581)
(neg.f64 %583)
(pow.f64 %585 #s(literal 1 binary64))
(/.f64 (fma.f64 %589 #s(literal -2 binary64) %593) #s(literal -2 binary64))
(/.f64 (fma.f64 %589 #s(literal 2 binary64) %597) #s(literal 2 binary64))
(/.f64 (fma.f64 %601 #s(literal 2 binary64) %602) #s(literal 2 binary64))
(/.f64 (fma.f64 %601 #s(literal 2 binary64) %605) #s(literal 2 binary64))
(/.f64 (fma.f64 %601 #s(literal -2 binary64) %592) #s(literal -2 binary64))
(/.f64 (fma.f64 %601 #s(literal 2 binary64) %47) #s(literal 2 binary64))
(/.f64 (fma.f64 %588 #s(literal -2 binary64) %593) #s(literal -2 binary64))
(/.f64 (fma.f64 %588 #s(literal 2 binary64) %597) #s(literal 2 binary64))
(/.f64 (fma.f64 %585 #s(literal -2 binary64) %617) #s(literal -2 binary64))
(/.f64 (fma.f64 %585 #s(literal 2 binary64) %621) #s(literal 2 binary64))
(/.f64 (fma.f64 %585 #s(literal -2 binary64) %624) #s(literal -2 binary64))
(/.f64 (fma.f64 %585 #s(literal 2 binary64) %627) #s(literal 2 binary64))
(/.f64 (fma.f64 %585 #s(literal 4 binary64) %633) #s(literal 4 binary64))
(/.f64 (fma.f64 %585 #s(literal -4 binary64) %639) #s(literal -4 binary64))
(/.f64 (fma.f64 %585 #s(literal -4 binary64) %644) #s(literal -4 binary64))
(/.f64 (fma.f64 %585 #s(literal 4 binary64) %649) #s(literal 4 binary64))
(/.f64 (fma.f64 %585 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) %655) #s(literal -2 binary64))
(/.f64 (fma.f64 %593 #s(literal 2 binary64) %658) #s(literal -4 binary64))
(/.f64 (fma.f64 %593 #s(literal 2 binary64) %661) #s(literal -4 binary64))
(/.f64 (fma.f64 %593 #s(literal -2 binary64) %631) #s(literal 4 binary64))
(/.f64 (fma.f64 %593 #s(literal 2 binary64) %642) #s(literal -4 binary64))
(/.f64 (fma.f64 %597 #s(literal 2 binary64) %668) #s(literal 4 binary64))
(/.f64 (fma.f64 %597 #s(literal 2 binary64) %671) #s(literal 4 binary64))
(/.f64 (fma.f64 %597 #s(literal -2 binary64) %637) #s(literal -4 binary64))
(/.f64 (fma.f64 %597 #s(literal 2 binary64) %647) #s(literal 4 binary64))
(/.f64 (fma.f64 %602 #s(literal -2 binary64) %678) #s(literal -4 binary64))
(/.f64 (fma.f64 %602 #s(literal 2 binary64) %681) #s(literal 4 binary64))
(/.f64 (fma.f64 %605 #s(literal -2 binary64) %678) #s(literal -4 binary64))
(/.f64 (fma.f64 %605 #s(literal 2 binary64) %681) #s(literal 4 binary64))
(/.f64 (fma.f64 %592 #s(literal -2 binary64) (*.f64 %593 #s(literal -2 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 %592 #s(literal 2 binary64) (*.f64 %597 #s(literal -2 binary64))) #s(literal -4 binary64))
(/.f64 (fma.f64 %47 #s(literal -2 binary64) %678) #s(literal -4 binary64))
(/.f64 (fma.f64 %47 #s(literal 2 binary64) %681) #s(literal 4 binary64))
(/.f64 (+.f64 %597 %602) #s(literal 2 binary64))
(/.f64 (+.f64 %597 %605) #s(literal 2 binary64))
(/.f64 (+.f64 %593 %592) #s(literal -2 binary64))
(/.f64 (+.f64 %597 %47) #s(literal 2 binary64))
(/.f64 (+.f64 %592 %593) #s(literal -2 binary64))
(/.f64 (fma.f64 %47 #s(literal 1 binary64) %597) #s(literal 2 binary64))
(/.f64 (+.f64 %605 %597) #s(literal 2 binary64))
(/.f64 (+.f64 %47 %597) #s(literal 2 binary64))
(/.f64 (-.f64 %617 %655) #s(literal -2 binary64))
(/.f64 (-.f64 %624 %655) #s(literal -2 binary64))
(/.f64 (-.f64 %621 %719) #s(literal 2 binary64))
(/.f64 (-.f64 %627 %719) #s(literal 2 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) %719) #s(literal 2 binary64))
(/.f64 (fma.f64 %593 #s(literal 2 binary64) %726) #s(literal -4 binary64))
(/.f64 (fma.f64 %593 #s(literal 2 binary64) %729) #s(literal -4 binary64))
(/.f64 (fma.f64 %593 #s(literal -2 binary64) %632) #s(literal 4 binary64))
(/.f64 (fma.f64 %593 #s(literal 2 binary64) %638) #s(literal -4 binary64))
(/.f64 (fma.f64 %597 #s(literal 2 binary64) %736) #s(literal 4 binary64))
(/.f64 (fma.f64 %597 #s(literal 2 binary64) %739) #s(literal 4 binary64))
(/.f64 (fma.f64 %597 #s(literal -2 binary64) %643) #s(literal -4 binary64))
(/.f64 (fma.f64 %597 #s(literal 2 binary64) %648) #s(literal 4 binary64))
(/.f64 (fma.f64 %602 #s(literal -2 binary64) %746) #s(literal -4 binary64))
(/.f64 (fma.f64 %602 #s(literal 2 binary64) %749) #s(literal 4 binary64))
(/.f64 (fma.f64 %605 #s(literal -2 binary64) %746) #s(literal -4 binary64))
(/.f64 (fma.f64 %605 #s(literal 2 binary64) %749) #s(literal 4 binary64))
(/.f64 (fma.f64 %592 #s(literal -2 binary64) %756) #s(literal 4 binary64))
(/.f64 (fma.f64 %592 #s(literal 2 binary64) %759) #s(literal -4 binary64))
(/.f64 (fma.f64 %47 #s(literal -2 binary64) %746) #s(literal -4 binary64))
(/.f64 (fma.f64 %47 #s(literal 2 binary64) %749) #s(literal 4 binary64))
(/.f64 (-.f64 %766 %767) #s(literal 4 binary64))
(/.f64 (-.f64 %770 %771) #s(literal -4 binary64))
(/.f64 (-.f64 %774 %775) #s(literal -4 binary64))
(/.f64 (-.f64 %778 %779) #s(literal 4 binary64))
(/.f64 (-.f64 %782 %767) #s(literal 4 binary64))
(/.f64 (-.f64 %785 %771) #s(literal -4 binary64))
(/.f64 (-.f64 %788 %775) #s(literal -4 binary64))
(/.f64 (-.f64 %791 %779) #s(literal 4 binary64))
(/.f64 (-.f64 %794 %795) #s(literal -8 binary64))
(/.f64 (-.f64 %799 %800) #s(literal 8 binary64))
(/.f64 (-.f64 %804 %805) #s(literal 8 binary64))
(/.f64 (-.f64 %808 %809) #s(literal -8 binary64))
(/.f64 (-.f64 %812 %805) #s(literal 8 binary64))
(/.f64 (-.f64 %815 %809) #s(literal -8 binary64))
(/.f64 (-.f64 %818 %795) #s(literal -8 binary64))
(/.f64 (-.f64 %821 %800) #s(literal 8 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) %775) #s(literal -4 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) %779) #s(literal 4 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %585 #s(literal -1 binary64)))
(neg.f64 %830)
(fma.f64 %832 #s(literal 1/4 binary64) %601)
(fma.f64 %592 #s(literal -1/2 binary64) %601)
(fma.f64 #s(literal 1/2 binary64) %47 %601)
(fma.f64 %588 #s(literal 1 binary64) %601)
(fma.f64 %47 #s(literal 1/2 binary64) %601)
(-.f64 %589 %600)
(-.f64 %840 %600)
(-.f64 #s(literal 0 binary64) %830)
(-.f64 %588 %600)
(-.f64 %47 (acos.f64 %579))
(-.f64 %47 (acos.f64 %581))
(-.f64 %47 (acos.f64 %583))
(+.f64 %589 %601)
(+.f64 %601 %588)
(+.f64 #s(literal 0 binary64) %585)
(+.f64 %588 %601)
(+.f64 %585 #s(literal 0 binary64))
%585
(pow.f64 %600 #s(literal 1 binary64))
(asin.f64 (neg.f64 (neg.f64 %473)))
%600
(/.f64 (fma.f64 %589 #s(literal -2 binary64) %655) #s(literal -2 binary64))
(/.f64 (fma.f64 %589 #s(literal 2 binary64) %719) #s(literal 2 binary64))
(/.f64 (fma.f64 %830 #s(literal 2 binary64) %602) #s(literal 2 binary64))
(/.f64 (fma.f64 %830 #s(literal 2 binary64) %605) #s(literal 2 binary64))
(/.f64 (fma.f64 %830 #s(literal -2 binary64) %592) #s(literal -2 binary64))
(/.f64 (fma.f64 %830 #s(literal 2 binary64) %47) #s(literal 2 binary64))
(/.f64 (fma.f64 %588 #s(literal -2 binary64) %655) #s(literal -2 binary64))
(/.f64 (fma.f64 %588 #s(literal 2 binary64) %719) #s(literal 2 binary64))
(/.f64 (fma.f64 %600 #s(literal -2 binary64) %617) #s(literal -2 binary64))
(/.f64 (fma.f64 %600 #s(literal 2 binary64) %621) #s(literal 2 binary64))
(/.f64 (fma.f64 %600 #s(literal -2 binary64) %624) #s(literal -2 binary64))
(/.f64 (fma.f64 %600 #s(literal 2 binary64) %627) #s(literal 2 binary64))
(/.f64 (fma.f64 %600 #s(literal 4 binary64) %633) #s(literal 4 binary64))
(/.f64 (fma.f64 %600 #s(literal -4 binary64) %639) #s(literal -4 binary64))
(/.f64 (fma.f64 %600 #s(literal -4 binary64) %644) #s(literal -4 binary64))
(/.f64 (fma.f64 %600 #s(literal 4 binary64) %649) #s(literal 4 binary64))
(/.f64 (fma.f64 %600 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) %593) #s(literal -2 binary64))
(/.f64 (fma.f64 %655 #s(literal 2 binary64) %658) #s(literal -4 binary64))
(/.f64 (fma.f64 %655 #s(literal 2 binary64) %661) #s(literal -4 binary64))
(/.f64 (fma.f64 %655 #s(literal -2 binary64) %631) #s(literal 4 binary64))
(/.f64 (fma.f64 %655 #s(literal 2 binary64) %642) #s(literal -4 binary64))
(/.f64 (fma.f64 %719 #s(literal 2 binary64) %668) #s(literal 4 binary64))
(/.f64 (fma.f64 %719 #s(literal 2 binary64) %671) #s(literal 4 binary64))
(/.f64 (fma.f64 %719 #s(literal -2 binary64) %637) #s(literal -4 binary64))
(/.f64 (fma.f64 %719 #s(literal 2 binary64) %647) #s(literal 4 binary64))
(/.f64 (fma.f64 %602 #s(literal -2 binary64) %911) #s(literal -4 binary64))
(/.f64 (fma.f64 %602 #s(literal 2 binary64) %914) #s(literal 4 binary64))
(/.f64 (fma.f64 %605 #s(literal -2 binary64) %911) #s(literal -4 binary64))
(/.f64 (fma.f64 %605 #s(literal 2 binary64) %914) #s(literal 4 binary64))
(/.f64 (fma.f64 %592 #s(literal -2 binary64) (*.f64 %655 #s(literal -2 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 %592 #s(literal 2 binary64) (*.f64 %719 #s(literal -2 binary64))) #s(literal -4 binary64))
(/.f64 (fma.f64 %47 #s(literal -2 binary64) %911) #s(literal -4 binary64))
(/.f64 (fma.f64 %47 #s(literal 2 binary64) %914) #s(literal 4 binary64))
(/.f64 (+.f64 %719 %602) #s(literal 2 binary64))
(/.f64 (+.f64 %719 %605) #s(literal 2 binary64))
(/.f64 (+.f64 %655 %592) #s(literal -2 binary64))
(/.f64 (+.f64 %719 %47) #s(literal 2 binary64))
(/.f64 (+.f64 %592 %655) #s(literal -2 binary64))
(/.f64 (fma.f64 %47 #s(literal 1 binary64) %719) #s(literal 2 binary64))
(/.f64 (+.f64 %605 %719) #s(literal 2 binary64))
(/.f64 (+.f64 %47 %719) #s(literal 2 binary64))
(/.f64 (-.f64 %617 %593) #s(literal -2 binary64))
(/.f64 (-.f64 %624 %593) #s(literal -2 binary64))
(/.f64 (-.f64 %621 %597) #s(literal 2 binary64))
(/.f64 (-.f64 %627 %597) #s(literal 2 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) %597) #s(literal 2 binary64))
(/.f64 (fma.f64 %655 #s(literal 2 binary64) %726) #s(literal -4 binary64))
(/.f64 (fma.f64 %655 #s(literal 2 binary64) %729) #s(literal -4 binary64))
(/.f64 (fma.f64 %655 #s(literal -2 binary64) %632) #s(literal 4 binary64))
(/.f64 (fma.f64 %655 #s(literal 2 binary64) %638) #s(literal -4 binary64))
(/.f64 (fma.f64 %719 #s(literal 2 binary64) %736) #s(literal 4 binary64))
(/.f64 (fma.f64 %719 #s(literal 2 binary64) %739) #s(literal 4 binary64))
(/.f64 (fma.f64 %719 #s(literal -2 binary64) %643) #s(literal -4 binary64))
(/.f64 (fma.f64 %719 #s(literal 2 binary64) %648) #s(literal 4 binary64))
(/.f64 (fma.f64 %602 #s(literal -2 binary64) %775) #s(literal -4 binary64))
(/.f64 (fma.f64 %602 #s(literal 2 binary64) %779) #s(literal 4 binary64))
(/.f64 (fma.f64 %605 #s(literal -2 binary64) %775) #s(literal -4 binary64))
(/.f64 (fma.f64 %605 #s(literal 2 binary64) %779) #s(literal 4 binary64))
(/.f64 (fma.f64 %592 #s(literal -2 binary64) %767) #s(literal 4 binary64))
(/.f64 (fma.f64 %592 #s(literal 2 binary64) %771) #s(literal -4 binary64))
(/.f64 (fma.f64 %47 #s(literal -2 binary64) %775) #s(literal -4 binary64))
(/.f64 (fma.f64 %47 #s(literal 2 binary64) %779) #s(literal 4 binary64))
(/.f64 (-.f64 %766 %756) #s(literal 4 binary64))
(/.f64 (-.f64 %770 %759) #s(literal -4 binary64))
(/.f64 (-.f64 %774 %746) #s(literal -4 binary64))
(/.f64 (-.f64 %778 %749) #s(literal 4 binary64))
(/.f64 (-.f64 %782 %756) #s(literal 4 binary64))
(/.f64 (-.f64 %785 %759) #s(literal -4 binary64))
(/.f64 (-.f64 %788 %746) #s(literal -4 binary64))
(/.f64 (-.f64 %791 %749) #s(literal 4 binary64))
(/.f64 (-.f64 %794 %1005) #s(literal -8 binary64))
(/.f64 (-.f64 %799 %1008) #s(literal 8 binary64))
(/.f64 (-.f64 %804 %1011) #s(literal 8 binary64))
(/.f64 (-.f64 %808 %1014) #s(literal -8 binary64))
(/.f64 (-.f64 %812 %1011) #s(literal 8 binary64))
(/.f64 (-.f64 %815 %1014) #s(literal -8 binary64))
(/.f64 (-.f64 %818 %1005) #s(literal -8 binary64))
(/.f64 (-.f64 %821 %1008) #s(literal 8 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) %746) #s(literal -4 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) %749) #s(literal 4 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %600 #s(literal -1 binary64)))
(neg.f64 (asin.f64 %579))
(neg.f64 (asin.f64 %581))
(neg.f64 (asin.f64 %583))
(neg.f64 %601)
(fma.f64 %832 #s(literal 1/4 binary64) %830)
(fma.f64 %592 #s(literal -1/2 binary64) %830)
(fma.f64 #s(literal 1/2 binary64) %47 %830)
(fma.f64 %588 #s(literal 1 binary64) %830)
(fma.f64 %47 #s(literal 1/2 binary64) %830)
(-.f64 %589 %585)
(-.f64 %840 %585)
(-.f64 #s(literal 0 binary64) %601)
(-.f64 %588 %585)
(+.f64 %589 %830)
(+.f64 %830 %588)
(+.f64 #s(literal 0 binary64) %600)
(+.f64 %588 %830)
(+.f64 %600 #s(literal 0 binary64))
(*.f64 %830 #s(literal -1/3 binary64))
%1053
(*.f64 #s(literal -1/3 binary64) %830)
(*.f64 #s(literal 1/3 binary64) %585)
(pow.f64 %1053 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1053 #s(literal -1 binary64)))
(neg.f64 (*.f64 %830 #s(literal 1/3 binary64)))
(neg.f64 (*.f64 #s(literal 1/3 binary64) %830))
(neg.f64 (*.f64 %585 #s(literal -1/3 binary64)))
(fma.f64 %588 #s(literal 1/3 binary64) %1065)
(fma.f64 #s(literal 1/3 binary64) %588 %1065)
(+.f64 (*.f64 #s(literal 1/3 binary64) %588) %1065)
(+.f64 (*.f64 %588 #s(literal 1/3 binary64)) %1065)
(+.f64 #s(literal 0 binary64) %1053)
(*.f64 %601 #s(literal 1/3 binary64))
%1065
(*.f64 #s(literal -1/3 binary64) %600)
(*.f64 #s(literal 1/3 binary64) %601)
(pow.f64 %1065 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1065 #s(literal -1 binary64)))
(neg.f64 %1079)
(fma.f64 %588 #s(literal -1/3 binary64) %1053)
(fma.f64 #s(literal -1/3 binary64) %588 %1053)
(+.f64 (*.f64 #s(literal -1/3 binary64) %588) %1053)
(+.f64 (*.f64 %588 #s(literal -1/3 binary64)) %1053)
(+.f64 #s(literal 0 binary64) %1065)
(pow.f64 %1088 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1088 #s(literal -1 binary64)))
(neg.f64 (-.f64 %1093 %1065))
(neg.f64 (fma.f64 %600 #s(literal 1/3 binary64) %1093))
(fma.f64 %601 #s(literal 1/3 binary64) %1098)
(fma.f64 %601 #s(literal 1/3 binary64) %1100)
(fma.f64 %601 #s(literal 1/3 binary64) %1102)
(fma.f64 %600 #s(literal -1/3 binary64) %1098)
(fma.f64 %600 #s(literal -1/3 binary64) %1100)
(fma.f64 %600 #s(literal -1/3 binary64) %1102)
%1088
(fma.f64 #s(literal -1/3 binary64) %600 %1098)
(fma.f64 #s(literal -1/3 binary64) %600 %1100)
(fma.f64 #s(literal -1/3 binary64) %600 %1102)
(fma.f64 %47 #s(literal 1/6 binary64) %1065)
(fma.f64 #s(literal 1/3 binary64) %601 %1098)
(fma.f64 #s(literal 1/3 binary64) %601 %1100)
(fma.f64 #s(literal 1/3 binary64) %601 %1102)
(-.f64 %1102 %1079)
(-.f64 %1065 %1093)
(+.f64 %1102 %1065)
(+.f64 %1065 %1098)
(+.f64 %1065 %1100)
(+.f64 %1065 %1102)

reconstruct48.0ms (1.5%)

Counts
601 → 132
Compiler

Compiled 601 to 1 139 computations (-89.5% saved)

eval19.0ms (0.6%)

Compiler

Compiled 217 to 840 computations (-287.1% saved)

prune5.0ms (0.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New2170217
Fresh000
Picked022
Done011
Total2173220
Accuracy
98.5%
Counts
220 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓97.7%
(fma.f64 #s(literal 1/6 binary64) (PI.f64 ) (*.f64 #s(literal -1/3 binary64) (asin.f64 (*.f64 (*.f64 (/.f64 x (*.f64 z y)) #s(literal 1/18 binary64)) (sqrt.f64 t)))))
✓97.7%
(*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 (*.f64 (/.f64 x (*.f64 z y)) #s(literal 1/18 binary64)) (sqrt.f64 t))))
✓98.1%
(*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 (sqrt.f64 t) (*.f64 #s(literal 1/18 binary64) (/.f64 (/.f64 x y) z)))))
Compiler

Compiled 3 to 25 computations (-733.3% saved)

regimes44.0ms (1.3%)

Accuracy

Total 0.2b remaining (4.1%)

Threshold costs 0.2b (4.1%)

0.2b0.0%
0.0b0.0%
0.0b0%
0.0b0%

Counts
1 → 1
2 → 1
3 → 1
6 → 1
Calls
Call 1
Inputs
(approx (* 1/3 (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 #s(literal 1/18 binary64) (/.f64 (*.f64 x (sqrt.f64 t)) (*.f64 y z))))))
Outputs
(approx (* 1/3 (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 #s(literal 1/18 binary64) (/.f64 (*.f64 x (sqrt.f64 t)) (*.f64 y z))))))
Call 2
Inputs
%19 = (sqrt.f64 t)
(approx (* 1/3 (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 #s(literal 1/18 binary64) (/.f64 (*.f64 x %19) (*.f64 y z))))))
(*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 (*.f64 (/.f64 x (*.f64 z y)) #s(literal 1/18 binary64)) %19)))
Outputs
(*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 (*.f64 (/.f64 x (*.f64 z y)) #s(literal 1/18 binary64)) (sqrt.f64 t))))
Call 3
Inputs
%19 = (sqrt.f64 t)
(approx (* 1/3 (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 #s(literal 1/18 binary64) (/.f64 (*.f64 x %19) (*.f64 y z))))))
(*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 (*.f64 (/.f64 x (*.f64 z y)) #s(literal 1/18 binary64)) %19)))
(*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 %19 (*.f64 #s(literal 1/18 binary64) (/.f64 (/.f64 x y) z)))))
Outputs
(*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 (sqrt.f64 t) (*.f64 #s(literal 1/18 binary64) (/.f64 (/.f64 x y) z)))))
Call 4
Inputs
%19 = (sqrt.f64 t)
%30 = (*.f64 (*.f64 (/.f64 x (*.f64 z y)) #s(literal 1/18 binary64)) %19)
%36 = (*.f64 %19 (*.f64 #s(literal 1/18 binary64) (/.f64 (/.f64 x y) z)))
%40 = (PI.f64 )
(approx (* 1/3 (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 #s(literal 1/18 binary64) (/.f64 (*.f64 x %19) (*.f64 y z))))))
(*.f64 #s(literal 1/3 binary64) (acos.f64 %30))
(*.f64 #s(literal 1/3 binary64) (acos.f64 %36))
(fma.f64 #s(literal 1/6 binary64) %40 (*.f64 #s(literal -1/3 binary64) (asin.f64 %30)))
(fma.f64 #s(literal 1/3 binary64) (*.f64 #s(literal 1/2 binary64) %40) (*.f64 #s(literal 1/3 binary64) (neg.f64 (asin.f64 %36))))
(*.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (*.f64 (/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) %19)))
Outputs
(*.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (*.f64 (/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))
Calls

13 calls:

6.0ms
z
5.0ms
(/.f64 x (*.f64 y #s(literal 27 binary64)))
4.0ms
x
4.0ms
y
4.0ms
(*.f64 y #s(literal 27 binary64))
Results
AccuracySegmentsBranch
96.2%1
t
96.2%1
z
96.2%1
y
96.2%1
x
96.2%1
(*.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (*.f64 (/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))
96.2%1
(acos.f64 (*.f64 (/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t)))
96.2%1
(*.f64 (/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))
96.2%1
(/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64)))
96.2%1
(*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64))))
96.2%1
(/.f64 x (*.f64 y #s(literal 27 binary64)))
96.2%1
(*.f64 y #s(literal 27 binary64))
96.2%1
(*.f64 z #s(literal 2 binary64))
96.2%1
(sqrt.f64 t)
Compiler

Compiled 19 to 68 computations (-257.9% saved)

bsearch0.0ms (0.0%)

bsearch0.0ms (0.0%)

bsearch0.0ms (0.0%)

bsearch0.0ms (0.0%)

derivations38.0ms (1.2%)

Stop Event
1×done
Compiler

Compiled 4 to 38 computations (-850.0% saved)

preprocess21.0ms (0.6%)

Compiler

Compiled 5 to 56 computations (-1020.0% saved)

end0.0ms (0.0%)

gc1.2s (36.0%)

Allocations
AllocatedPercentPhase
1 940.7 MiB59.6%sample
300.0 MiB9.2%rewrite
293.4 MiB9.0%analyze
191.1 MiB5.9%reconstruct
167.6 MiB5.1%series
150.0 MiB4.6%eval
69.0 MiB2.1%regimes
63.4 MiB1.9%preprocess
55.6 MiB1.7%prune
23.0 MiB0.7%derivations
0.6 MiB0.0%bsearch
0.4 MiB0.0%start
0.0 MiB0.0%end
3 254.7 MiB100.0%total

Profiling

Loading profile data...