Data.Number.Erf:$cinvnormcdf from erf-2.0.0.0, B

Time bar (total: 1.5s)

start0.0ms (0.0%)

analyze10.0ms (0.6%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0.0%0.0%99.9%0.1%0.0%0.0%0.0%0
0.0%0.0%99.9%0.1%0.0%0.0%0.0%1
0.0%0.0%99.9%0.1%0.0%0.0%0.0%2
50.0%50.0%50.0%0.1%0.0%0.0%0.0%3
50.0%50.0%50.0%0.1%0.0%0.0%0.0%4
62.5%62.4%37.5%0.1%0.0%0.0%0.0%5
68.8%68.7%31.2%0.1%0.0%0.0%0.0%6
78.1%78.0%21.9%0.1%0.0%0.0%0.0%7
82.8%82.7%17.2%0.1%0.0%0.0%0.0%8
88.3%88.2%11.7%0.1%0.0%0.0%0.0%9
91.0%90.9%9.0%0.1%0.0%0.0%0.0%10
93.9%93.9%6.0%0.1%0.0%0.0%0.0%11
95.4%95.3%4.6%0.1%0.0%0.0%0.0%12
Compiler

Compiled 13 to 10 computations (23.1% saved)

sample240.0ms (15.7%)

Samples
208.0ms8 253×0valid
0.0ms2×3valid
0.0ms1×1valid
Precisions
Click to see histograms. Total time spent on operations: 12.0ms
Div: 5.0ms (40.1% of total, 0.0 MiB)
Mul: 4.0ms (32.1% of total, 0.0 MiB)
Add: 2.0ms (16.1% of total, 0.0 MiB)
Sub: 2.0ms (16.1% of total, 0.0 MiB)
adjust: 0.0ms (0.0% of total, 0.0 MiB)
Bogosity

preprocess40.0ms (2.6%)

Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
02874
118766
261666
3326866
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶99.9%
(-.f64 x (/.f64 y (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 x y) #s(literal 2 binary64)))))
Compiler

Compiled 2 to 18 computations (-800.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series22.0ms (1.4%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
02841290
Stop Event
1×iter-limit
Counts
9 → 48
Calls
Call 1
Inputs
%3 = (*.f64 x y)
%5 = (/.f64 %3 #s(literal 2 binary64))
%6 = (+.f64 #s(literal 1 binary64) %5)
%7 = (/.f64 y %6)
x
y
#s(literal 1 binary64)
%3
#s(literal 2 binary64)
%5
%6
%7
(-.f64 x %7)
Outputs
%5 = (* x y)
%6 = (*.f64 x y)
%9 = (/ %5 2)
%11 = (*.f64 #s(literal 1/2 binary64) %6)
%14 = (+ 1 %9)
%19 = (/ y %14)
%23 = (pow.f64 y #s(literal 2 binary64))
%24 = (*.f64 x %23)
%30 = (pow.f64 y #s(literal 3 binary64))
%31 = (*.f64 x %30)
%33 = (*.f64 #s(literal 1/2 binary64) %23)
%41 = (*.f64 x (pow.f64 y #s(literal 4 binary64)))
%51 = (- x %19)
%53 = (*.f64 #s(literal -1 binary64) y)
%73 = (/.f64 #s(literal 1 binary64) x)
%80 = (*.f64 #s(literal 4 binary64) (/.f64 #s(literal 1 binary64) %6))
%85 = (pow.f64 x #s(literal 2 binary64))
%86 = (*.f64 %85 %23)
%89 = (/.f64 #s(literal 4 binary64) %6)
%97 = (pow.f64 x #s(literal 3 binary64))
%104 = (/.f64 #s(literal 1 binary64) %85)
%105 = (*.f64 #s(literal 2 binary64) %104)
%109 = (*.f64 %97 y)
%111 = (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) %109))
%115 = (/.f64 #s(literal 1 binary64) %109)
%118 = (pow.f64 x #s(literal 4 binary64))
%135 = (*.f64 #s(literal 8 binary64) (/.f64 #s(literal 1 binary64) %24))
%136 = (/.f64 #s(literal 1 binary64) y)
%137 = (*.f64 #s(literal 4 binary64) %136)
%178 = (*.f64 %85 y)
%180 = (*.f64 #s(literal 1/2 binary64) x)
%210 = (*.f64 #s(literal 2 binary64) %73)
%212 = (*.f64 #s(literal 4 binary64) (/.f64 #s(literal 1 binary64) %178))
%215 = (*.f64 %97 %23)
%217 = (fma.f64 #s(literal 2 binary64) %73 (/.f64 #s(literal 8 binary64) %215))
%218 = (/.f64 #s(literal 4 binary64) %178)
%223 = (fma.f64 #s(literal 2 binary64) %73 (*.f64 #s(literal 8 binary64) (/.f64 #s(literal 1 binary64) %215)))
%226 = (fma.f64 #s(literal 16 binary64) (/.f64 #s(literal 1 binary64) (*.f64 %118 %30)) %218)
%245 = (*.f64 #s(literal 4 binary64) %104)
%246 = (*.f64 #s(literal 8 binary64) %115)
%252 = (*.f64 #s(literal 8 binary64) (/.f64 #s(literal 1 binary64) %97))
%255 = (*.f64 #s(literal 16 binary64) (/.f64 #s(literal 1 binary64) (*.f64 %118 y)))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 %6)
(approx %9 %11)
(approx %14 #s(literal 1 binary64))
(approx %14 (+.f64 #s(literal 1 binary64) %11))
(approx %19 y)
(approx %19 (+.f64 y (*.f64 #s(literal -1/2 binary64) %24)))
(approx %19 (+.f64 y (*.f64 x (-.f64 (*.f64 #s(literal 1/4 binary64) %31) %33))))
(approx %19 (+.f64 y (*.f64 x (-.f64 (*.f64 x (-.f64 (*.f64 #s(literal -1/8 binary64) %41) (*.f64 #s(literal -1/4 binary64) %30))) %33))))
(approx %51 %53)
(approx %51 (-.f64 (*.f64 x (+.f64 #s(literal 1 binary64) %33)) y))
(approx %51 (-.f64 (*.f64 x (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1/4 binary64) %31 %33))) y))
(approx %51 (-.f64 (*.f64 x (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal 1/2 binary64) %23 (*.f64 x (fma.f64 #s(literal -1/4 binary64) %30 (*.f64 #s(literal 1/8 binary64) %41)))))) y))
(approx %14 (*.f64 x (fma.f64 #s(literal 1/2 binary64) y %73)))
(approx %19 (/.f64 #s(literal 2 binary64) x))
(approx %19 (/.f64 (-.f64 #s(literal 2 binary64) %80) x))
(approx %19 (/.f64 (-.f64 (+.f64 #s(literal 2 binary64) (/.f64 #s(literal 8 binary64) %86)) %89) x))
(approx %19 (/.f64 (-.f64 (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 8 binary64) (/.f64 #s(literal 1 binary64) %86))) (fma.f64 #s(literal 16 binary64) (/.f64 #s(literal 1 binary64) (*.f64 %97 %30)) %89)) x))
(approx %51 (*.f64 x (-.f64 #s(literal 1 binary64) %105)))
(approx %51 (*.f64 x (-.f64 %111 %105)))
(approx %51 (*.f64 x (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 4 binary64) %115)) (fma.f64 #s(literal 8 binary64) (/.f64 #s(literal 1 binary64) (*.f64 %118 %23)) %105))))
(approx %14 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1/2 binary64) y) %73))))
(approx %19 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %80 #s(literal 2 binary64)) x)))
(approx %19 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %135 %137) x)) #s(literal 2 binary64)) x)))
(approx %19 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal 16 binary64) (/.f64 #s(literal 1 binary64) %31)) (*.f64 #s(literal 8 binary64) (/.f64 #s(literal 1 binary64) %23))) x)) %137) x)) #s(literal 2 binary64)) x)))
(approx %51 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %105 #s(literal 1 binary64)))))
(approx %51 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %105 %111))))
(approx %51 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 %137 %135) %97) %105) #s(literal 1 binary64)))))
(approx %19 (*.f64 y (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) %6))))
(approx %19 (*.f64 y (+.f64 #s(literal 1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal 1/4 binary64) %178) %180)))))
(approx %19 (*.f64 y (+.f64 #s(literal 1 binary64) (*.f64 y (-.f64 (*.f64 y (-.f64 (*.f64 #s(literal -1/8 binary64) %109) (*.f64 #s(literal -1/4 binary64) %85))) %180)))))
(approx %51 (+.f64 x %53))
(approx %51 (+.f64 x (*.f64 y (-.f64 %11 #s(literal 1 binary64)))))
(approx %51 (+.f64 x (*.f64 y (-.f64 (*.f64 y (fma.f64 #s(literal -1/4 binary64) %178 %180)) #s(literal 1 binary64)))))
(approx %14 (*.f64 y (fma.f64 #s(literal 1/2 binary64) x %136)))
(approx %19 (-.f64 %210 %212))
(approx %19 (-.f64 %217 %218))
(approx %19 (-.f64 %223 %226))
(approx %51 (-.f64 x %210))
(approx %51 (-.f64 (+.f64 x %212) %210))
(approx %51 (-.f64 (+.f64 x %218) %217))
(approx %51 (-.f64 (+.f64 x %226) %223))
(approx %14 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1/2 binary64) x) %136))))
(approx %19 (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 %245 %246) y) %210))
(approx %19 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 %252 %255) y) %245) y) %210))
(approx %51 (-.f64 (+.f64 x (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %246 %245) y))) %210))
(approx %51 (-.f64 (+.f64 x (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %255 %252) y)) %245) y))) %210))
Calls
6 calls:
TimeVariablePoint
3.0ms
x
inf
2.0ms
y
inf
2.0ms
y
-inf
2.0ms
x
-inf
1.0ms
x
0
rewrite95.0ms (6.2%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0939
01439
16039
224039
3139639
0417139
0439435
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
9 → 557
Calls
Call 1
Inputs
%3 = (*.f64 x y)
%5 = (/.f64 %3 #s(literal 2 binary64))
%6 = (+.f64 #s(literal 1 binary64) %5)
%7 = (/.f64 y %6)
x
y
#s(literal 1 binary64)
%3
#s(literal 2 binary64)
%5
%6
%7
(-.f64 x %7)
Outputs
%3 = (neg.f64 x)
%4 = (neg.f64 %3)
%6 = (+.f64 y y)
%8 = (*.f64 #s(literal 1/2 binary64) x)
%10 = (+.f64 x x)
%11 = (*.f64 #s(literal 1/2 binary64) y)
%13 = (*.f64 y x)
%15 = (*.f64 %13 #s(literal 2 binary64))
%17 = (neg.f64 y)
%22 = (*.f64 %8 y)
%31 = (*.f64 %13 #s(literal -1 binary64))
%34 = (*.f64 #s(literal -1 binary64) %13)
%37 = (/.f64 %13 #s(literal -1 binary64))
%41 = (/.f64 %13 #s(literal 1/2 binary64))
%44 = (neg.f64 %13)
%45 = (*.f64 %44 #s(literal 1 binary64))
%102 = (neg.f64 %41)
%109 = (*.f64 y #s(literal -1/2 binary64))
%110 = (*.f64 %109 x)
%122 = (*.f64 %13 #s(literal 0 binary64))
%123 = (/.f64 %122 #s(literal 1 binary64))
%125 = (*.f64 #s(literal 0 binary64) %13)
%126 = (/.f64 %125 #s(literal 1 binary64))
%132 = (/.f64 x #s(literal -1 binary64))
%134 = (/.f64 y #s(literal -1 binary64))
%135 = (/.f64 x #s(literal -2 binary64))
%137 = (/.f64 x #s(literal 4 binary64))
%143 = (/.f64 y #s(literal 4 binary64))
%171 = (*.f64 x #s(literal -1/2 binary64))
%184 = (*.f64 #s(literal 1/4 binary64) %13)
%196 = (*.f64 %3 #s(literal -1/2 binary64))
%265 = (/.f64 %122 #s(literal 2 binary64))
%267 = (/.f64 %125 #s(literal 2 binary64))
%311 = (/.f64 %22 #s(literal 2 binary64))
%315 = (fma.f64 y x #s(literal 2 binary64))
%316 = (*.f64 %315 #s(literal 2 binary64))
%318 = (-.f64 #s(literal -2 binary64) %13)
%320 = (*.f64 #s(literal 1/2 binary64) %315)
%323 = (*.f64 #s(literal 1/4 binary64) %315)
%327 = (fma.f64 %8 y #s(literal 1/2 binary64))
%362 = (fma.f64 %13 #s(literal 2 binary64) #s(literal 4 binary64))
%365 = (+.f64 #s(literal 4 binary64) %15)
%368 = (*.f64 #s(literal 2 binary64) %13)
%369 = (+.f64 #s(literal 4 binary64) %368)
%372 = (*.f64 #s(literal 2 binary64) %44)
%373 = (-.f64 #s(literal 4 binary64) %372)
%380 = (+.f64 #s(literal -2 binary64) %45)
%383 = (fma.f64 %44 #s(literal 1 binary64) #s(literal -2 binary64))
%405 = (*.f64 %315 #s(literal -1 binary64))
%408 = (*.f64 #s(literal -1 binary64) %315)
%411 = (*.f64 %44 #s(literal 2 binary64))
%412 = (+.f64 #s(literal -4 binary64) %411)
%419 = (fma.f64 %44 #s(literal 2 binary64) #s(literal -4 binary64))
%424 = (+.f64 #s(literal -4 binary64) %372)
%431 = (-.f64 #s(literal -4 binary64) %368)
%450 = (*.f64 #s(literal -1/2 binary64) %315)
%453 = (/.f64 #s(literal 2 binary64) %315)
%500 = (/.f64 %411 #s(literal -4 binary64))
%502 = (/.f64 %15 #s(literal 4 binary64))
%505 = (fma.f64 y x #s(literal 1 binary64))
%512 = (*.f64 #s(literal 1/2 binary64) %505)
%515 = (*.f64 %505 #s(literal 1/2 binary64))
%534 = (/.f64 y %315)
%535 = (*.f64 %534 #s(literal 1/2 binary64))
%537 = (*.f64 %534 #s(literal 1 binary64))
%539 = (/.f64 #s(literal 1 binary64) %315)
%541 = (/.f64 y %318)
%543 = (*.f64 y #s(literal 2 binary64))
%546 = (*.f64 #s(literal 2 binary64) y)
%548 = (/.f64 #s(literal -2 binary64) %315)
%552 = (/.f64 %6 %315)
%554 = (*.f64 %539 y)
%560 = (*.f64 y #s(literal -1 binary64))
%563 = (*.f64 %17 #s(literal 1 binary64))
%566 = (*.f64 #s(literal -1 binary64) y)
%579 = (neg.f64 %534)
%583 = (*.f64 %534 #s(literal -2 binary64))
%596 = (/.f64 (*.f64 y #s(literal 0 binary64)) %320)
%599 = (/.f64 (*.f64 #s(literal 0 binary64) y) %320)
%626 = (/.f64 %537 #s(literal 1 binary64))
%636 = (/.f64 %534 #s(literal 1 binary64))
%638 = (/.f64 %11 %320)
%645 = (fma.f64 #s(literal 1/2 binary64) x %541)
%648 = (*.f64 x x)
%649 = (-.f64 x y)
%650 = (fma.f64 %648 %11 %649)
%651 = (*.f64 %650 #s(literal 1 binary64))
%653 = (*.f64 %645 #s(literal 1 binary64))
%655 = (fma.f64 %450 x y)
%656 = (/.f64 %655 %315)
%658 = (*.f64 %650 #s(literal 2 binary64))
%664 = (fma.f64 %534 #s(literal -2 binary64) x)
%683 = (*.f64 %17 #s(literal 2 binary64))
%686 = (*.f64 %315 x)
%692 = (fma.f64 x %13 %10)
%699 = (*.f64 %450 x)
%712 = (*.f64 %650 #s(literal -1 binary64))
%717 = (-.f64 %686 %6)
%720 = (*.f64 %686 #s(literal 1/2 binary64))
%721 = (*.f64 %720 %450)
%722 = (*.f64 %320 %17)
%723 = (-.f64 %721 %722)
%725 = (*.f64 %320 %450)
%728 = (*.f64 %720 %320)
%729 = (*.f64 %320 y)
%730 = (-.f64 %728 %729)
%732 = (*.f64 %450 %450)
%750 = (-.f64 %552 x)
%761 = (*.f64 %17 %539)
%763 = (/.f64 (*.f64 %3 %320) %450)
%788 = (/.f64 %653 #s(literal 1 binary64))
%808 = (*.f64 %8 %13)
%817 = (/.f64 %583 #s(literal 1 binary64))
%824 = (/.f64 %645 #s(literal 1 binary64))
%828 = (/.f64 %808 %320)
%834 = (/.f64 x %320)
x
y
#s(literal 1 binary64)
(*.f64 %4 y)
(*.f64 %6 %8)
(*.f64 %10 %11)
(*.f64 %15 #s(literal 1/2 binary64))
(*.f64 %3 %17)
(*.f64 %8 %6)
(*.f64 %11 %10)
(*.f64 %17 %3)
(*.f64 %22 #s(literal 2 binary64))
(*.f64 %13 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %13)
(*.f64 y %4)
%13
(*.f64 x y)
(pow.f64 %13 #s(literal 1 binary64))
(/.f64 (fma.f64 %22 #s(literal -2 binary64) %31) #s(literal -2 binary64))
(/.f64 (fma.f64 %22 #s(literal -2 binary64) %34) #s(literal -2 binary64))
(/.f64 (fma.f64 %22 #s(literal -2 binary64) %37) #s(literal -2 binary64))
(/.f64 (fma.f64 %22 #s(literal 4 binary64) %41) #s(literal 4 binary64))
(/.f64 (fma.f64 %22 #s(literal -2 binary64) %45) #s(literal -2 binary64))
(/.f64 (fma.f64 %22 #s(literal -2 binary64) %44) #s(literal -2 binary64))
(/.f64 (fma.f64 %13 #s(literal -1 binary64) %31) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -1 binary64) %13 %31) #s(literal -2 binary64))
(/.f64 (+.f64 %37 %31) #s(literal -2 binary64))
(/.f64 (fma.f64 %44 #s(literal 1 binary64) %31) #s(literal -2 binary64))
(/.f64 (fma.f64 %3 y %31) #s(literal -2 binary64))
(/.f64 (fma.f64 %13 #s(literal -1 binary64) %34) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -1 binary64) %13 %34) #s(literal -2 binary64))
(/.f64 (+.f64 %37 %34) #s(literal -2 binary64))
(/.f64 (fma.f64 %44 #s(literal 1 binary64) %34) #s(literal -2 binary64))
(/.f64 (fma.f64 %3 y %34) #s(literal -2 binary64))
(/.f64 (fma.f64 %13 #s(literal -1 binary64) %37) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -1 binary64) %13 %37) #s(literal -2 binary64))
(/.f64 (+.f64 %37 %37) #s(literal -2 binary64))
(/.f64 (fma.f64 %44 #s(literal 1 binary64) %37) #s(literal -2 binary64))
(/.f64 (fma.f64 %3 y %37) #s(literal -2 binary64))
(/.f64 (+.f64 %41 %41) #s(literal 4 binary64))
(/.f64 (fma.f64 %13 #s(literal -1 binary64) %45) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -1 binary64) %13 %45) #s(literal -2 binary64))
(/.f64 (+.f64 %37 %45) #s(literal -2 binary64))
(/.f64 (fma.f64 %44 #s(literal 1 binary64) %45) #s(literal -2 binary64))
(/.f64 (fma.f64 %3 y %45) #s(literal -2 binary64))
(/.f64 (fma.f64 %13 #s(literal -1 binary64) %44) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -1 binary64) %13 %44) #s(literal -2 binary64))
(/.f64 (+.f64 %37 %44) #s(literal -2 binary64))
(/.f64 (fma.f64 %44 #s(literal 1 binary64) %44) #s(literal -2 binary64))
(/.f64 (fma.f64 %3 y %44) #s(literal -2 binary64))
(/.f64 %102 #s(literal -2 binary64))
(/.f64 (neg.f64 %15) #s(literal -2 binary64))
(/.f64 %41 #s(literal 2 binary64))
(/.f64 %15 #s(literal 2 binary64))
(/.f64 %110 #s(literal -1/2 binary64))
(/.f64 %44 #s(literal -1 binary64))
(/.f64 %22 #s(literal 1/2 binary64))
(/.f64 %13 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %13 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) %13))
(neg.f64 %44)
(fma.f64 %4 %11 %22)
(fma.f64 %4 y %123)
(fma.f64 %4 y %126)
(fma.f64 %4 y %122)
(fma.f64 %4 y %125)
(fma.f64 %41 #s(literal 1/4 binary64) %22)
(fma.f64 %132 %109 %22)
(fma.f64 %134 %135 %22)
(fma.f64 %6 %137 %22)
(fma.f64 %6 %8 %123)
(fma.f64 %6 %8 %126)
(fma.f64 %6 %8 %122)
(fma.f64 %6 %8 %125)
(fma.f64 %10 %143 %22)
(fma.f64 %10 %11 %123)
(fma.f64 %10 %11 %126)
(fma.f64 %10 %11 %122)
(fma.f64 %10 %11 %125)
(fma.f64 %15 #s(literal 1/4 binary64) %22)
(fma.f64 %15 #s(literal 1/2 binary64) %123)
(fma.f64 %15 #s(literal 1/2 binary64) %126)
(fma.f64 %15 #s(literal 1/2 binary64) %122)
(fma.f64 %15 #s(literal 1/2 binary64) %125)
(fma.f64 %3 %109 %22)
(fma.f64 %3 %17 %123)
(fma.f64 %3 %17 %126)
(fma.f64 %3 %17 %122)
(fma.f64 %3 %17 %125)
(fma.f64 #s(literal -1/2 binary64) %44 %22)
(fma.f64 %8 %6 %123)
(fma.f64 %8 %6 %126)
(fma.f64 %8 %6 %122)
(fma.f64 %8 %6 %125)
(fma.f64 %8 y %22)
(fma.f64 %11 %10 %123)
(fma.f64 %11 %10 %126)
(fma.f64 %11 %10 %122)
(fma.f64 %11 %10 %125)
(fma.f64 %11 x %22)
(fma.f64 #s(literal 1/2 binary64) %13 %22)
(fma.f64 %17 %171 %22)
(fma.f64 %17 %135 %22)
(fma.f64 %17 %3 %123)
(fma.f64 %17 %3 %126)
(fma.f64 %17 %3 %122)
(fma.f64 %17 %3 %125)
(fma.f64 %44 #s(literal -1/2 binary64) %22)
(fma.f64 %22 #s(literal 2 binary64) %123)
(fma.f64 %22 #s(literal 2 binary64) %126)
(fma.f64 %22 #s(literal 2 binary64) %122)
(fma.f64 %22 #s(literal 2 binary64) %125)
(fma.f64 %22 #s(literal 1 binary64) %22)
(fma.f64 #s(literal 2 binary64) %184 %22)
(fma.f64 %13 #s(literal 1/2 binary64) %22)
(fma.f64 %13 #s(literal 1 binary64) %123)
(fma.f64 %13 #s(literal 1 binary64) %126)
(fma.f64 %13 #s(literal 1 binary64) %122)
(fma.f64 %13 #s(literal 1 binary64) %125)
(fma.f64 #s(literal 1 binary64) %22 %22)
(fma.f64 #s(literal 1 binary64) %13 %123)
(fma.f64 #s(literal 1 binary64) %13 %126)
(fma.f64 #s(literal 1 binary64) %13 %122)
(fma.f64 #s(literal 1 binary64) %13 %125)
(fma.f64 y %196 %22)
(fma.f64 y %4 %123)
(fma.f64 y %4 %126)
(fma.f64 y %4 %122)
(fma.f64 y %4 %125)
(fma.f64 y %8 %22)
(fma.f64 y x %123)
(fma.f64 y x %126)
(fma.f64 y x %122)
(fma.f64 y x %125)
(fma.f64 x %11 %22)
(fma.f64 x y %123)
(fma.f64 x y %126)
(fma.f64 x y %122)
(fma.f64 x y %125)
(+.f64 %22 %22)
(+.f64 %13 %123)
(+.f64 %13 %126)
(+.f64 %13 %122)
(+.f64 %13 %125)
#s(literal 2 binary64)
(*.f64 %4 %11)
(*.f64 %41 #s(literal 1/4 binary64))
(*.f64 %132 %109)
(*.f64 %134 %135)
(*.f64 %6 %137)
(*.f64 %10 %143)
(*.f64 %15 #s(literal 1/4 binary64))
(*.f64 %3 %109)
(*.f64 #s(literal -1/2 binary64) %44)
%22
(*.f64 %11 x)
(*.f64 #s(literal 1/2 binary64) %13)
(*.f64 %17 %171)
(*.f64 %17 %135)
(*.f64 %44 #s(literal -1/2 binary64))
(*.f64 %22 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) %184)
(*.f64 %13 #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) %22)
(*.f64 y %196)
(*.f64 y %8)
(*.f64 x %11)
(pow.f64 %22 #s(literal 1 binary64))
(/.f64 (neg.f64 %31) #s(literal 2 binary64))
(/.f64 (neg.f64 %34) #s(literal 2 binary64))
(/.f64 %102 #s(literal -4 binary64))
(/.f64 (neg.f64 %37) #s(literal 2 binary64))
(/.f64 (neg.f64 %45) #s(literal 2 binary64))
(/.f64 %31 #s(literal -2 binary64))
(/.f64 %34 #s(literal -2 binary64))
(/.f64 %37 #s(literal -2 binary64))
(/.f64 %41 #s(literal 4 binary64))
(/.f64 %45 #s(literal -2 binary64))
(/.f64 %110 #s(literal -1 binary64))
(/.f64 %44 #s(literal -2 binary64))
(/.f64 %22 #s(literal 1 binary64))
(/.f64 %13 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %22 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %44))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %13))
(neg.f64 %110)
(fma.f64 %4 %11 %265)
(fma.f64 %4 %11 %267)
(fma.f64 %41 #s(literal 1/4 binary64) %265)
(fma.f64 %41 #s(literal 1/4 binary64) %267)
(fma.f64 %132 %109 %265)
(fma.f64 %132 %109 %267)
(fma.f64 %134 %135 %265)
(fma.f64 %134 %135 %267)
(fma.f64 %6 %137 %265)
(fma.f64 %6 %137 %267)
(fma.f64 %10 %143 %265)
(fma.f64 %10 %143 %267)
(fma.f64 %15 #s(literal 1/4 binary64) %265)
(fma.f64 %15 #s(literal 1/4 binary64) %267)
(fma.f64 %3 %109 %265)
(fma.f64 %3 %109 %267)
(fma.f64 #s(literal -1/2 binary64) %44 %265)
(fma.f64 #s(literal -1/2 binary64) %44 %267)
(fma.f64 %8 y %265)
(fma.f64 %8 y %267)
(fma.f64 %11 x %265)
(fma.f64 %11 x %267)
(fma.f64 #s(literal 1/2 binary64) %13 %265)
(fma.f64 #s(literal 1/2 binary64) %13 %267)
(fma.f64 %17 %171 %265)
(fma.f64 %17 %171 %267)
(fma.f64 %17 %135 %265)
(fma.f64 %17 %135 %267)
(fma.f64 %44 #s(literal -1/2 binary64) %265)
(fma.f64 %44 #s(literal -1/2 binary64) %267)
(fma.f64 %22 #s(literal 1 binary64) %265)
(fma.f64 %22 #s(literal 1 binary64) %267)
(fma.f64 #s(literal 2 binary64) %184 %265)
(fma.f64 #s(literal 2 binary64) %184 %267)
(fma.f64 %13 #s(literal 1/2 binary64) %265)
(fma.f64 %13 #s(literal 1/2 binary64) %267)
(fma.f64 #s(literal 1 binary64) %22 %265)
(fma.f64 #s(literal 1 binary64) %22 %267)
(fma.f64 y %196 %265)
(fma.f64 y %196 %267)
(fma.f64 y %8 %265)
(fma.f64 y %8 %267)
(fma.f64 x %11 %265)
(fma.f64 x %11 %267)
(+.f64 %311 %311)
(+.f64 %22 %265)
(+.f64 %22 %267)
(*.f64 %316 #s(literal 1/4 binary64))
(*.f64 %318 #s(literal -1/2 binary64))
%320
(*.f64 %315 #s(literal 1/2 binary64))
(*.f64 %320 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) %323)
(*.f64 #s(literal 1 binary64) %320)
(pow.f64 %320 #s(literal 1 binary64))
(/.f64 (fma.f64 %327 #s(literal 1/2 binary64) #s(literal 1/4 binary64)) #s(literal 1/2 binary64))
(/.f64 (fma.f64 %327 #s(literal -2 binary64) #s(literal -1 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 %327 #s(literal 1 binary64) #s(literal 1/2 binary64)) #s(literal 1 binary64))
(/.f64 (fma.f64 %327 #s(literal -4 binary64) #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (fma.f64 %327 #s(literal 4 binary64) #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %327 #s(literal 2 binary64) #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %320 #s(literal 4 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %320 #s(literal 1/2 binary64) #s(literal 0 binary64)) #s(literal 1/2 binary64))
(/.f64 (fma.f64 %320 #s(literal -2 binary64) #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 %22 #s(literal -4 binary64) #s(literal -4 binary64)) #s(literal -4 binary64))
(/.f64 (fma.f64 %22 #s(literal 4 binary64) #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %22 #s(literal -1 binary64) #s(literal -1 binary64)) #s(literal -1 binary64))
(/.f64 (fma.f64 %22 #s(literal 1/2 binary64) #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(/.f64 (fma.f64 %22 #s(literal -2 binary64) #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 %22 #s(literal -2 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 %22 #s(literal -1 binary64)) #s(literal 1 binary64)) #s(literal -1 binary64))
(/.f64 (+.f64 %362 #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (+.f64 %365 #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (+.f64 %369 #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (+.f64 %373 #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %315 #s(literal -1 binary64) #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -1 binary64) %315 #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (+.f64 %380 #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (+.f64 %383 #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (+.f64 %318 #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 %13 #s(literal -1 binary64) #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -1 binary64) %13 #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (+.f64 #s(literal -2 binary64) %31) #s(literal -2 binary64))
(/.f64 (+.f64 #s(literal -2 binary64) %34) #s(literal -2 binary64))
(/.f64 (-.f64 %31 #s(literal 2 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 %34 #s(literal 2 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 #s(literal -2 binary64) (*.f64 %44 #s(literal -1 binary64))) #s(literal -2 binary64))
(/.f64 (-.f64 #s(literal 2 binary64) %45) #s(literal 2 binary64))
(/.f64 (neg.f64 %405) #s(literal 2 binary64))
(/.f64 (neg.f64 %408) #s(literal 2 binary64))
(/.f64 (neg.f64 %412) #s(literal 4 binary64))
(/.f64 (neg.f64 %365) #s(literal -4 binary64))
(/.f64 (neg.f64 %380) #s(literal 2 binary64))
(/.f64 (neg.f64 %419) #s(literal 4 binary64))
(/.f64 (neg.f64 %383) #s(literal 2 binary64))
(/.f64 (neg.f64 %424) #s(literal 4 binary64))
(/.f64 (neg.f64 %369) #s(literal -4 binary64))
(/.f64 (neg.f64 %373) #s(literal -4 binary64))
(/.f64 (neg.f64 %431) #s(literal 4 binary64))
(/.f64 (neg.f64 %362) #s(literal -4 binary64))
(/.f64 %405 #s(literal -2 binary64))
(/.f64 %408 #s(literal -2 binary64))
(/.f64 %362 #s(literal 4 binary64))
(/.f64 %412 #s(literal -4 binary64))
(/.f64 %365 #s(literal 4 binary64))
(/.f64 %380 #s(literal -2 binary64))
(/.f64 %419 #s(literal -4 binary64))
(/.f64 %383 #s(literal -2 binary64))
(/.f64 %424 #s(literal -4 binary64))
(/.f64 %369 #s(literal 4 binary64))
(/.f64 %373 #s(literal 4 binary64))
(/.f64 %431 #s(literal -4 binary64))
(/.f64 %318 #s(literal -2 binary64))
(/.f64 %315 #s(literal 2 binary64))
(/.f64 %450 #s(literal -1 binary64))
(/.f64 %320 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %453)
(neg.f64 %450)
(fma.f64 %316 #s(literal 1/4 binary64) #s(literal 0 binary64))
(fma.f64 %4 %11 #s(literal 1 binary64))
(fma.f64 %41 #s(literal 1/4 binary64) #s(literal 1 binary64))
(fma.f64 %132 %109 #s(literal 1 binary64))
(fma.f64 %134 %135 #s(literal 1 binary64))
(fma.f64 %6 %137 #s(literal 1 binary64))
(fma.f64 %10 %143 #s(literal 1 binary64))
(fma.f64 %15 #s(literal 1/4 binary64) #s(literal 1 binary64))
(fma.f64 %3 %109 #s(literal 1 binary64))
(fma.f64 #s(literal -1/2 binary64) %44 #s(literal 1 binary64))
(fma.f64 %8 y #s(literal 1 binary64))
(fma.f64 %318 #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 %11 x #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) %315 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %13 #s(literal 1 binary64))
(fma.f64 %315 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %17 %171 #s(literal 1 binary64))
(fma.f64 %17 %135 #s(literal 1 binary64))
(fma.f64 %44 #s(literal -1/2 binary64) #s(literal 1 binary64))
(fma.f64 %320 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 %22 #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %184 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %323 #s(literal 0 binary64))
(fma.f64 %13 #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %320 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %22 #s(literal 1 binary64))
(fma.f64 y %196 #s(literal 1 binary64))
(fma.f64 y %8 #s(literal 1 binary64))
(fma.f64 x %11 #s(literal 1 binary64))
(-.f64 %327 #s(literal -1/2 binary64))
(-.f64 #s(literal 1/2 binary64) (/.f64 (-.f64 #s(literal -1 binary64) %13) #s(literal 2 binary64)))
(-.f64 #s(literal 1/2 binary64) (/.f64 (+.f64 #s(literal -1 binary64) %44) #s(literal 2 binary64)))
(-.f64 #s(literal 1/2 binary64) (fma.f64 %109 x #s(literal -1/2 binary64)))
(-.f64 %22 #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) (/.f64 %372 #s(literal 4 binary64)))
(-.f64 #s(literal 1 binary64) (/.f64 %368 #s(literal -4 binary64)))
(-.f64 #s(literal 1 binary64) %110)
(+.f64 %500 #s(literal 1 binary64))
(+.f64 %502 #s(literal 1 binary64))
(+.f64 %327 #s(literal 1/2 binary64))
(+.f64 #s(literal 1/4 binary64) (/.f64 (+.f64 #s(literal 1/2 binary64) %505) #s(literal 2 binary64)))
(+.f64 #s(literal 1/2 binary64) (/.f64 (+.f64 #s(literal 0 binary64) %505) #s(literal 2 binary64)))
(+.f64 #s(literal 1/2 binary64) (/.f64 %512 #s(literal 1 binary64)))
(+.f64 #s(literal 1/2 binary64) (/.f64 %515 #s(literal 1 binary64)))
(+.f64 #s(literal 1/2 binary64) %327)
(+.f64 #s(literal 1/2 binary64) %512)
(+.f64 #s(literal 1/2 binary64) %515)
(+.f64 %320 #s(literal 0 binary64))
(+.f64 %22 #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) %500)
(+.f64 #s(literal 1 binary64) %502)
(+.f64 #s(literal 1 binary64) (/.f64 %372 #s(literal -4 binary64)))
(+.f64 #s(literal 1 binary64) (/.f64 %368 #s(literal 4 binary64)))
(+.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) %22))
(+.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) %110))
(+.f64 #s(literal 1 binary64) %22)
(*.f64 %535 #s(literal 4 binary64))
(*.f64 %537 #s(literal 2 binary64))
(*.f64 %6 %539)
(*.f64 %541 #s(literal -2 binary64))
(*.f64 %543 %539)
(*.f64 %534 #s(literal 2 binary64))
(*.f64 %539 %546)
(*.f64 %548 %17)
(*.f64 %453 y)
(*.f64 %17 %548)
(*.f64 %552 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) %554)
(*.f64 #s(literal 2 binary64) %534)
(*.f64 #s(literal 1 binary64) %552)
(*.f64 y %453)
(pow.f64 %552 #s(literal 1 binary64))
(/.f64 (neg.f64 %560) %320)
(/.f64 (neg.f64 %563) %320)
(/.f64 (neg.f64 %566) %320)
(/.f64 (neg.f64 %546) %318)
(/.f64 (neg.f64 %6) %318)
(/.f64 (neg.f64 %543) %318)
(/.f64 %560 %450)
(/.f64 %563 %450)
(/.f64 %566 %450)
(/.f64 %546 %315)
(/.f64 %579 #s(literal -1/2 binary64))
%552
(/.f64 %543 %315)
(/.f64 %534 #s(literal 1/2 binary64))
(/.f64 %583 #s(literal -1 binary64))
(/.f64 %17 %450)
(/.f64 %552 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %552 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %450 %17))
(/.f64 #s(literal 1 binary64) (/.f64 %320 y))
(/.f64 y %320)
(neg.f64 %583)
(fma.f64 %535 #s(literal 4 binary64) %596)
(fma.f64 %535 #s(literal 4 binary64) %599)
(fma.f64 %537 #s(literal 2 binary64) %596)
(fma.f64 %537 #s(literal 2 binary64) %599)
(fma.f64 %6 %539 %596)
(fma.f64 %6 %539 %599)
(fma.f64 %541 #s(literal -2 binary64) %596)
(fma.f64 %541 #s(literal -2 binary64) %599)
(fma.f64 %543 %539 %596)
(fma.f64 %543 %539 %599)
(fma.f64 %534 #s(literal 2 binary64) %596)
(fma.f64 %534 #s(literal 2 binary64) %599)
(fma.f64 %534 #s(literal 1 binary64) %537)
(fma.f64 %539 %546 %596)
(fma.f64 %539 %546 %599)
(fma.f64 %548 %17 %596)
(fma.f64 %548 %17 %599)
(fma.f64 %453 y %596)
(fma.f64 %453 y %599)
(fma.f64 %17 %548 %596)
(fma.f64 %17 %548 %599)
(fma.f64 %552 #s(literal 1 binary64) %596)
(fma.f64 %552 #s(literal 1 binary64) %599)
(fma.f64 #s(literal 2 binary64) %554 %596)
(fma.f64 #s(literal 2 binary64) %554 %599)
(fma.f64 #s(literal 2 binary64) %534 %596)
(fma.f64 #s(literal 2 binary64) %534 %599)
(fma.f64 #s(literal 1 binary64) %534 %626)
(fma.f64 #s(literal 1 binary64) %534 %534)
(fma.f64 #s(literal 1 binary64) %552 %596)
(fma.f64 #s(literal 1 binary64) %552 %599)
(fma.f64 y %539 %626)
(fma.f64 y %539 %534)
(fma.f64 y %453 %596)
(fma.f64 y %453 %599)
(+.f64 %626 %626)
(+.f64 %636 %636)
(+.f64 %638 %638)
(+.f64 %537 %537)
(+.f64 %534 %626)
(+.f64 %534 %534)
(+.f64 %552 %596)
(+.f64 %552 %599)
(*.f64 (*.f64 %645 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(*.f64 %651 %453)
(*.f64 %653 #s(literal 2 binary64))
(*.f64 %656 #s(literal -2 binary64))
(*.f64 %658 %539)
(*.f64 %645 #s(literal 2 binary64))
(*.f64 %655 %548)
(*.f64 %453 %650)
(*.f64 %650 %453)
(*.f64 %664 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) %645)
(*.f64 #s(literal 1 binary64) %664)
(pow.f64 %664 #s(literal 1 binary64))
(/.f64 (fma.f64 %583 #s(literal 2 binary64) (*.f64 x #s(literal 2 binary64))) #s(literal 2 binary64))
(/.f64 (fma.f64 %583 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))
(/.f64 (fma.f64 %583 #s(literal 2 binary64) %10) #s(literal 2 binary64))
(/.f64 (fma.f64 %583 #s(literal -1 binary64) %3) #s(literal -1 binary64))
(/.f64 (fma.f64 %583 #s(literal 1/2 binary64) %8) #s(literal 1/2 binary64))
(/.f64 (fma.f64 %583 #s(literal 1 binary64) x) #s(literal 1 binary64))
(/.f64 (fma.f64 %315 x %683) %315)
(/.f64 (-.f64 %686 %546) %315)
(/.f64 (fma.f64 %450 x (*.f64 %17 #s(literal -1 binary64))) %450)
(/.f64 (+.f64 %692 %683) %315)
(/.f64 (fma.f64 %686 #s(literal 1/2 binary64) %563) %320)
(/.f64 (+.f64 %541 %8) #s(literal 1/2 binary64))
(/.f64 (-.f64 %699 %560) %450)
(/.f64 (-.f64 %699 %563) %450)
(/.f64 (-.f64 %699 %566) %450)
(/.f64 (-.f64 %692 %546) %315)
(/.f64 (-.f64 %692 %543) %315)
(/.f64 (-.f64 %686 %543) %315)
(/.f64 (neg.f64 %712) %320)
(/.f64 (neg.f64 %651) %450)
(/.f64 (neg.f64 %717) %318)
(/.f64 (neg.f64 %723) (neg.f64 %725))
(/.f64 (neg.f64 %730) (neg.f64 %732))
(/.f64 (neg.f64 %658) %318)
(/.f64 %712 %450)
(/.f64 %651 %320)
(/.f64 %717 %315)
(/.f64 (neg.f64 %645) #s(literal -1/2 binary64))
(/.f64 %656 #s(literal -1/2 binary64))
(/.f64 (-.f64 %17 %699) %320)
(/.f64 %723 %725)
(/.f64 %730 %732)
(/.f64 %658 %315)
(/.f64 %645 #s(literal 1/2 binary64))
(/.f64 %655 %450)
(/.f64 %750 #s(literal -1 binary64))
(/.f64 %650 %320)
(/.f64 %664 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %664 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %450 %655))
(/.f64 #s(literal 1 binary64) (/.f64 %320 %650))
(neg.f64 %750)
(fma.f64 %761 #s(literal 2 binary64) %763)
(fma.f64 %761 #s(literal 2 binary64) %4)
(fma.f64 %761 #s(literal 2 binary64) x)
(fma.f64 %683 %539 %763)
(fma.f64 %683 %539 %4)
(fma.f64 %683 %539 x)
(fma.f64 %563 %453 %763)
(fma.f64 %563 %453 %4)
(fma.f64 %563 %453 x)
(fma.f64 %579 #s(literal 2 binary64) %763)
(fma.f64 %579 #s(literal 2 binary64) %4)
(fma.f64 %579 #s(literal 2 binary64) x)
(fma.f64 %541 #s(literal 2 binary64) %763)
(fma.f64 %541 #s(literal 2 binary64) %4)
(fma.f64 %541 #s(literal 2 binary64) x)
(fma.f64 %534 #s(literal -2 binary64) %763)
(fma.f64 %534 #s(literal -2 binary64) %4)
%664
(fma.f64 %645 #s(literal 1 binary64) %653)
(fma.f64 %548 y %763)
(fma.f64 %548 y %4)
(fma.f64 %548 y x)
(fma.f64 %453 %17 %763)
(fma.f64 %453 %17 %4)
(fma.f64 %453 %17 x)
(fma.f64 %650 %539 %788)
(fma.f64 %650 %539 %645)
(fma.f64 %17 %453 %763)
(fma.f64 %17 %453 %4)
(fma.f64 %17 %453 x)
(fma.f64 #s(literal 1 binary64) %645 %788)
(fma.f64 #s(literal 1 binary64) %645 %645)
(fma.f64 #s(literal 1 binary64) %583 %763)
(fma.f64 #s(literal 1 binary64) %583 %4)
(fma.f64 #s(literal 1 binary64) %583 x)
(fma.f64 y %548 %763)
(fma.f64 y %548 %4)
(fma.f64 y %548 x)
(-.f64 (/.f64 %721 %725) (/.f64 %722 %725))
(-.f64 (/.f64 %728 %732) (/.f64 %729 %732))
(-.f64 (/.f64 (-.f64 y %808) %450) (/.f64 x %450))
(-.f64 (/.f64 (-.f64 y x) %450) (/.f64 %808 %450))
(-.f64 %817 %132)
(-.f64 %583 (/.f64 %699 %320))
(-.f64 %583 %3)
(-.f64 x %552)
(+.f64 %788 %788)
(+.f64 %824 %824)
(+.f64 %817 x)
(+.f64 %653 %653)
(+.f64 %828 (/.f64 (+.f64 x %17) %320))
(+.f64 %828 (/.f64 %649 %320))
(+.f64 %834 (/.f64 (fma.f64 %648 %11 %17) %320))
(+.f64 %834 (/.f64 (-.f64 %808 y) %320))
(+.f64 %645 %788)
(+.f64 %645 %645)
(+.f64 %583 %763)
(+.f64 %583 %4)
(+.f64 %583 x)
(+.f64 x %817)
(+.f64 x %583)
reconstruct52.0ms (3.4%)
Counts
605 → 83
Compiler
Compiled 605 to 1 057 computations (-74.7% saved)
eval8.0ms (0.5%)
Compiler
Compiled 80 to 389 computations (-386.3% saved)
prune2.0ms (0.1%)
Pruning
6 alts after pruning (6 fresh and 0 done)
PrunedKeptTotal
New74680
Fresh000
Picked101
Done000
Total75681
Accuracy
100.0%
Counts
81 → 6
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶99.9%
(fma.f64 (/.f64 y (fma.f64 y x #s(literal 2 binary64))) #s(literal -2 binary64) x)
▶99.9%
(fma.f64 y (/.f64 #s(literal -2 binary64) (fma.f64 y x #s(literal 2 binary64))) x)
▶77.7%
%22 = (fma.f64 y x #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %22 x) (+.f64 y y)) %22)
▶61.5%
(-.f64 x (approx (/ y (+ 1 (/ (* x y) 2))) (/.f64 #s(literal 2 binary64) x)))
▶66.2%
(-.f64 x (approx (/ y (+ 1 (/ (* x y) 2))) (*.f64 y (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) (*.f64 x y))))))
▶76.9%
(-.f64 x (approx (/ y (+ 1 (/ (* x y) 2))) y))
Compiler
Compiled 6 to 23 computations (-283.3% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series57.0ms (3.7%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
06863652
Stop Event
1×iter-limit
Counts
26 → 131
Calls
Call 1
Inputs
%3 = (*.f64 x y)
%10 = (/ y (+ 1 (/ (* x y) 2)))
%11 = (approx %10 y)
%13 = (/.f64 #s(literal 2 binary64) x)
%14 = (approx %10 %13)
%15 = (*.f64 #s(literal -1/2 binary64) %3)
%16 = (+.f64 #s(literal 1 binary64) %15)
%17 = (*.f64 y %16)
%18 = (approx %10 %17)
%19 = (+.f64 y y)
%21 = (fma.f64 y x #s(literal 2 binary64))
%22 = (/.f64 y %21)
%23 = (/.f64 #s(literal -2 binary64) %21)
%25 = (*.f64 %21 x)
%26 = (-.f64 %25 %19)
x
y
#s(literal 1 binary64)
%3
#s(literal 2 binary64)
%11
#s(literal -1/2 binary64)
%13
%14
%15
%16
%17
%18
%19
#s(literal -2 binary64)
%21
%22
%23
(fma.f64 %22 #s(literal -2 binary64) x)
%25
%26
(/.f64 %26 %21)
(fma.f64 y %23 x)
(-.f64 x %11)
(-.f64 x %18)
(-.f64 x %14)
Outputs
%5 = (* x y)
%6 = (*.f64 x y)
%12 = (/ y (+ 1 (/ %5 2)))
%16 = (pow.f64 y #s(literal 2 binary64))
%17 = (*.f64 x %16)
%18 = (*.f64 #s(literal -1/2 binary64) %17)
%23 = (pow.f64 y #s(literal 3 binary64))
%24 = (*.f64 x %23)
%27 = (*.f64 #s(literal 1/2 binary64) %16)
%34 = (pow.f64 y #s(literal 4 binary64))
%35 = (*.f64 x %34)
%49 = (* -1/2 %5)
%50 = (*.f64 #s(literal -1/2 binary64) %6)
%52 = (+ 1 %49)
%55 = (+.f64 #s(literal 1 binary64) %50)
%58 = (+ (* y x) 2)
%60 = (+.f64 #s(literal 2 binary64) %6)
%62 = (/ y %58)
%63 = (*.f64 #s(literal 1/2 binary64) y)
%69 = (*.f64 #s(literal 1/4 binary64) %16)
%71 = (*.f64 x (-.f64 (*.f64 #s(literal 1/8 binary64) %24) %69))
%84 = (/ -2 %58)
%88 = (-.f64 (*.f64 #s(literal 1/2 binary64) %6) #s(literal 1 binary64))
%91 = (*.f64 #s(literal -1/2 binary64) y)
%101 = (+ (* %62 -2) x)
%102 = (*.f64 #s(literal -1 binary64) y)
%105 = (*.f64 x (+.f64 #s(literal 1 binary64) %27))
%110 = (*.f64 x (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1/4 binary64) %24 %27)))
%118 = (*.f64 x (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal 1/2 binary64) %16 (*.f64 x (fma.f64 #s(literal -1/4 binary64) %23 (*.f64 #s(literal 1/8 binary64) %35))))))
%121 = (* %58 x)
%122 = (*.f64 #s(literal 2 binary64) x)
%124 = (*.f64 x %60)
%126 = (+ y y)
%127 = (- %121 %126)
%131 = (*.f64 #s(literal 2 binary64) y)
%136 = (/ %127 %58)
%137 = (*.f64 #s(literal -1/2 binary64) %16)
%138 = (-.f64 #s(literal 1 binary64) %137)
%143 = (*.f64 #s(literal 1/2 binary64) (*.f64 y %138))
%144 = (-.f64 %63 %143)
%161 = (- x %12)
%168 = (/.f64 #s(literal 1 binary64) %6)
%169 = (*.f64 #s(literal 4 binary64) %168)
%174 = (pow.f64 x #s(literal 2 binary64))
%175 = (*.f64 %174 %16)
%178 = (/.f64 #s(literal 4 binary64) %6)
%182 = (/.f64 #s(literal 1 binary64) %175)
%186 = (pow.f64 x #s(literal 3 binary64))
%188 = (/.f64 #s(literal 1 binary64) (*.f64 %186 %23))
%193 = (/.f64 #s(literal 1 binary64) x)
%197 = (* y %52)
%199 = (/.f64 y x)
%203 = (*.f64 #s(literal 2 binary64) %193)
%204 = (+.f64 y %203)
%208 = (*.f64 #s(literal 2 binary64) %168)
%214 = (/.f64 #s(literal 2 binary64) %6)
%226 = (/.f64 #s(literal 1 binary64) %17)
%227 = (*.f64 #s(literal 4 binary64) %226)
%228 = (/.f64 #s(literal 1 binary64) y)
%229 = (*.f64 #s(literal 2 binary64) %228)
%231 = (/.f64 (-.f64 %227 %229) x)
%233 = (/.f64 #s(literal 4 binary64) %17)
%234 = (*.f64 %174 %23)
%249 = (/.f64 #s(literal 1 binary64) %174)
%250 = (*.f64 #s(literal 2 binary64) %249)
%254 = (*.f64 %186 y)
%256 = (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) %254))
%260 = (/.f64 #s(literal 1 binary64) %254)
%261 = (*.f64 #s(literal 4 binary64) %260)
%263 = (pow.f64 x #s(literal 4 binary64))
%270 = (*.f64 %174 y)
%283 = (*.f64 #s(literal 8 binary64) %226)
%284 = (*.f64 #s(literal 4 binary64) %228)
%292 = (/.f64 #s(literal 1 binary64) %24)
%294 = (/.f64 #s(literal 1 binary64) %16)
%327 = (*.f64 #s(literal 8 binary64) %292)
%328 = (*.f64 #s(literal 4 binary64) %294)
%386 = (*.f64 #s(literal 1/2 binary64) x)
%407 = (*.f64 #s(literal 1/4 binary64) x)
%423 = (*.f64 #s(literal -1/2 binary64) x)
%449 = (-.f64 %174 #s(literal 2 binary64))
%450 = (*.f64 y %449)
%453 = (*.f64 #s(literal 1/2 binary64) %449)
%454 = (*.f64 #s(literal 1/2 binary64) %174)
%455 = (-.f64 %453 %454)
%456 = (*.f64 y %455)
%476 = (/.f64 #s(literal 1 binary64) %270)
%477 = (*.f64 #s(literal 4 binary64) %476)
%478 = (-.f64 %203 %477)
%480 = (*.f64 %186 %16)
%482 = (fma.f64 #s(literal 2 binary64) %193 (/.f64 #s(literal 8 binary64) %480))
%483 = (/.f64 #s(literal 4 binary64) %270)
%486 = (/.f64 #s(literal 1 binary64) %480)
%488 = (fma.f64 #s(literal 2 binary64) %193 (*.f64 #s(literal 8 binary64) %486))
%490 = (/.f64 #s(literal 1 binary64) (*.f64 %263 %23))
%491 = (fma.f64 #s(literal 16 binary64) %490 %483)
%494 = (fma.f64 #s(literal -1/2 binary64) x %228)
%499 = (+.f64 x %229)
%507 = (/.f64 #s(literal 2 binary64) %270)
%535 = (/.f64 x y)
%536 = (fma.f64 #s(literal 2 binary64) %535 %174)
%546 = (fma.f64 #s(literal 2 binary64) (/.f64 %449 %270) %203)
%551 = (-.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) (/.f64 %449 %174)))
%552 = (/.f64 %551 %17)
%563 = (*.f64 #s(literal 4 binary64) %249)
%564 = (*.f64 #s(literal 8 binary64) %260)
%567 = (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 %563 %564) y) %203)
%569 = (/.f64 #s(literal 1 binary64) %186)
%570 = (*.f64 #s(literal 8 binary64) %569)
%572 = (/.f64 #s(literal 1 binary64) (*.f64 %263 y))
%573 = (*.f64 #s(literal 16 binary64) %572)
%578 = (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 %570 %573) y) %563) y) %203)
%625 = (*.f64 #s(literal -1 binary64) %174)
%626 = (fma.f64 #s(literal -2 binary64) %535 %625)
%630 = (+.f64 #s(literal 2 binary64) %625)
%638 = (/.f64 %630 x)
%647 = (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) (/.f64 %630 %174)))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 %6)
(approx %12 y)
(approx %12 (+.f64 y %18))
(approx %12 (+.f64 y (*.f64 x (-.f64 (*.f64 #s(literal 1/4 binary64) %24) %27))))
(approx %12 (+.f64 y (*.f64 x (-.f64 (*.f64 x (-.f64 (*.f64 #s(literal -1/8 binary64) %35) (*.f64 #s(literal -1/4 binary64) %23))) %27))))
(approx (/ 2 x) (/.f64 #s(literal 2 binary64) x))
(approx %49 %50)
(approx %52 #s(literal 1 binary64))
(approx %52 %55)
(approx %58 #s(literal 2 binary64))
(approx %58 %60)
(approx %62 %63)
(approx %62 (fma.f64 #s(literal -1/4 binary64) %17 %63))
(approx %62 (fma.f64 #s(literal 1/2 binary64) y %71))
(approx %62 (fma.f64 #s(literal 1/2 binary64) y (*.f64 x (-.f64 (*.f64 x (-.f64 (*.f64 #s(literal -1/16 binary64) %35) (*.f64 #s(literal -1/8 binary64) %23))) %69))))
(approx %84 #s(literal -1 binary64))
(approx %84 %88)
(approx %84 (-.f64 (*.f64 x (-.f64 (*.f64 #s(literal -1/4 binary64) %17) %91)) #s(literal 1 binary64)))
(approx %84 (-.f64 (*.f64 x (-.f64 %71 %91)) #s(literal 1 binary64)))
(approx %101 %102)
(approx %101 (fma.f64 #s(literal -1 binary64) y %105))
(approx %101 (fma.f64 #s(literal -1 binary64) y %110))
(approx %101 (fma.f64 #s(literal -1 binary64) y %118))
(approx %121 %122)
(approx %121 %124)
(approx %127 (*.f64 #s(literal -2 binary64) y))
(approx %127 (-.f64 %122 %131))
(approx %127 (-.f64 %124 %131))
(approx %136 (fma.f64 #s(literal -1 binary64) y (*.f64 x %138)))
(approx %136 (fma.f64 #s(literal -1 binary64) y (*.f64 x (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 x %144)) %137))))
(approx %136 (fma.f64 #s(literal -1 binary64) y (*.f64 x (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 x (-.f64 (fma.f64 #s(literal -1/2 binary64) (*.f64 x (*.f64 y %144)) %63) %143))) %137))))
(approx %161 (-.f64 %105 y))
(approx %161 (-.f64 %110 y))
(approx %161 (-.f64 %118 y))
(approx %12 (/.f64 (-.f64 #s(literal 2 binary64) %169) x))
(approx %12 (/.f64 (-.f64 (+.f64 #s(literal 2 binary64) (/.f64 #s(literal 8 binary64) %175)) %178) x))
(approx %12 (/.f64 (-.f64 (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 8 binary64) %182)) (fma.f64 #s(literal 16 binary64) %188 %178)) x))
(approx %52 (*.f64 x (fma.f64 #s(literal -1/2 binary64) y %193)))
(approx %197 %18)
(approx %197 (*.f64 x (fma.f64 #s(literal -1/2 binary64) %16 %199)))
(approx %58 (*.f64 x %204))
(approx %62 %193)
(approx %62 (/.f64 (-.f64 #s(literal 1 binary64) %208) x))
(approx %62 (/.f64 (-.f64 (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) %175)) %214) x))
(approx %62 (/.f64 (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 4 binary64) %182)) (fma.f64 #s(literal 8 binary64) %188 %214)) x))
(approx %84 (/.f64 #s(literal -2 binary64) %6))
(approx %84 %231)
(approx %84 (/.f64 (-.f64 %233 (fma.f64 #s(literal 2 binary64) %228 (/.f64 #s(literal 8 binary64) %234))) x))
(approx %84 (/.f64 (-.f64 (fma.f64 #s(literal 16 binary64) (/.f64 #s(literal 1 binary64) (*.f64 %186 %34)) %233) (fma.f64 #s(literal 2 binary64) %228 (*.f64 #s(literal 8 binary64) (/.f64 #s(literal 1 binary64) %234)))) x))
(approx %101 (*.f64 x (-.f64 #s(literal 1 binary64) %250)))
(approx %101 (*.f64 x (-.f64 %256 %250)))
(approx %101 (*.f64 x (-.f64 (+.f64 #s(literal 1 binary64) %261) (fma.f64 #s(literal 8 binary64) (/.f64 #s(literal 1 binary64) (*.f64 %263 %16)) %250))))
(approx %121 %270)
(approx %121 (*.f64 %174 %204))
(approx %127 (*.f64 %174 (+.f64 y (fma.f64 #s(literal -2 binary64) (/.f64 y %174) %203))))
(approx %12 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %169 #s(literal 2 binary64)) x)))
(approx %12 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %283 %284) x)) #s(literal 2 binary64)) x)))
(approx %12 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal 16 binary64) %292) (*.f64 #s(literal 8 binary64) %294)) x)) %284) x)) #s(literal 2 binary64)) x)))
(approx %52 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %63 %193))))
(approx %197 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1 binary64) %199 %27))))
(approx %58 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %102 %203))))
(approx %62 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %208 #s(literal 1 binary64)) x)))
(approx %62 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) %231) #s(literal 1 binary64)) x)))
(approx %62 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %327 %328) x)) %229) x)) #s(literal 1 binary64)) x)))
(approx %84 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %229 %227) x)))
(approx %84 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 %328 %327) x) %229) x)))
(approx %84 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal 8 binary64) (/.f64 #s(literal 1 binary64) %23)) (*.f64 #s(literal 16 binary64) (/.f64 #s(literal 1 binary64) %35))) x) %328) x) %229) x)))
(approx %101 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %250 #s(literal 1 binary64)))))
(approx %101 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %250 %256))))
(approx %101 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 %284 %283) %186) %250) #s(literal 1 binary64)))))
(approx %127 (*.f64 %174 (+.f64 y (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal 2 binary64) %199) #s(literal 2 binary64)) x)))))
(approx %12 (*.f64 y %55))
(approx %12 (*.f64 y (+.f64 #s(literal 1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal 1/4 binary64) %270) %386)))))
(approx %12 (*.f64 y (+.f64 #s(literal 1 binary64) (*.f64 y (-.f64 (*.f64 y (-.f64 (*.f64 #s(literal -1/8 binary64) %254) (*.f64 #s(literal -1/4 binary64) %174))) %386)))))
(approx %126 %131)
(approx %62 (*.f64 y (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -1/4 binary64) %6))))
(approx %62 (*.f64 y (+.f64 #s(literal 1/2 binary64) (*.f64 y (-.f64 (*.f64 #s(literal 1/8 binary64) %270) %407)))))
(approx %62 (*.f64 y (+.f64 #s(literal 1/2 binary64) (*.f64 y (-.f64 (*.f64 y (-.f64 (*.f64 #s(literal -1/16 binary64) %254) (*.f64 #s(literal -1/8 binary64) %174))) %407)))))
(approx %84 (-.f64 (*.f64 y (-.f64 (*.f64 #s(literal -1/4 binary64) %270) %423)) #s(literal 1 binary64)))
(approx %84 (-.f64 (*.f64 y (-.f64 (*.f64 y (-.f64 (*.f64 #s(literal 1/8 binary64) %254) (*.f64 #s(literal 1/4 binary64) %174))) %423)) #s(literal 1 binary64)))
(approx %101 (+.f64 x %102))
(approx %101 (+.f64 x (*.f64 y %88)))
(approx %101 (+.f64 x (*.f64 y (-.f64 (*.f64 y (fma.f64 #s(literal -1/4 binary64) %270 %386)) #s(literal 1 binary64)))))
(approx %121 (fma.f64 #s(literal 2 binary64) x %270))
(approx %127 (fma.f64 #s(literal 2 binary64) x %450))
(approx %136 (+.f64 x %456))
(approx %136 (+.f64 x (*.f64 y (-.f64 (fma.f64 #s(literal -1/2 binary64) (*.f64 x %456) %453) %454))))
(approx %136 (+.f64 x (*.f64 y (-.f64 (fma.f64 #s(literal 1/2 binary64) %449 (*.f64 y (-.f64 (*.f64 #s(literal 1/4 binary64) (*.f64 %174 %456)) (*.f64 #s(literal 1/2 binary64) (*.f64 x %455))))) %454))))
(approx %12 %478)
(approx %12 (-.f64 %482 %483))
(approx %12 (-.f64 %488 %491))
(approx %52 (*.f64 y %494))
(approx %197 (*.f64 %16 %494))
(approx %58 (*.f64 y %499))
(approx %62 (-.f64 %193 (*.f64 #s(literal 2 binary64) %476)))
(approx %62 (-.f64 (+.f64 %193 (/.f64 #s(literal 4 binary64) %480)) %507))
(approx %62 (-.f64 (+.f64 %193 (*.f64 #s(literal 4 binary64) %486)) (fma.f64 #s(literal 8 binary64) %490 %507)))
(approx %84 (/.f64 (-.f64 %477 %203) y))
(approx %84 (/.f64 (-.f64 %483 %482) y))
(approx %84 (/.f64 (-.f64 %491 %488) y))
(approx %101 (-.f64 x %203))
(approx %101 (-.f64 (+.f64 x %477) %203))
(approx %101 (-.f64 (+.f64 x %483) %482))
(approx %101 (-.f64 (+.f64 x %491) %488))
(approx %121 (*.f64 y %536))
(approx %127 %450)
(approx %127 (*.f64 y (-.f64 %536 #s(literal 2 binary64))))
(approx %136 (/.f64 %449 x))
(approx %136 (-.f64 %499 %546))
(approx %136 (-.f64 (+.f64 x (fma.f64 #s(literal -2 binary64) %552 %229)) %546))
(approx %136 (-.f64 (+.f64 x (fma.f64 #s(literal 4 binary64) (/.f64 %551 %234) %229)) (fma.f64 #s(literal 2 binary64) %552 %546)))
(approx %12 %567)
(approx %12 %578)
(approx %52 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 %386 %228))))
(approx %58 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) x) %229))))
(approx %62 (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 %250 %261) y) %193))
(approx %62 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal 4 binary64) %569) (*.f64 #s(literal 8 binary64) %572)) y) %250) y) %193))
(approx %84 (*.f64 #s(literal -1 binary64) (/.f64 %478 y)))
(approx %84 (*.f64 #s(literal -1 binary64) (/.f64 %567 y)))
(approx %84 (*.f64 #s(literal -1 binary64) (/.f64 %578 y)))
(approx %101 (-.f64 (+.f64 x (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %564 %563) y))) %203))
(approx %101 (-.f64 (+.f64 x (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %573 %570) y)) %563) y))) %203))
(approx %121 (*.f64 #s(literal -1 binary64) (*.f64 y %626)))
(approx %127 (*.f64 #s(literal -1 binary64) (*.f64 y %630)))
(approx %127 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 #s(literal 2 binary64) %626))))
(approx %136 (*.f64 #s(literal -1 binary64) %638))
(approx %136 (fma.f64 #s(literal -1 binary64) %638 (fma.f64 #s(literal 2 binary64) (/.f64 %630 %270) %229)))
(approx %136 (fma.f64 #s(literal -1 binary64) %638 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal 2 binary64) (/.f64 %647 %6)) %647) y))))
(approx %136 (fma.f64 #s(literal -1 binary64) %638 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal 4 binary64) (/.f64 %647 %270)) (*.f64 #s(literal 2 binary64) (/.f64 %647 x))) y)) %647) y))))
Calls
6 calls:
TimeVariablePoint
4.0ms
y
0
4.0ms
y
-inf
4.0ms
y
inf
3.0ms
x
inf
3.0ms
x
-inf
rewrite126.0ms (8.2%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
030193
050181
1183181
2604181
33261181
04017181
04817176
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
26 → 902
Calls
Call 1
Inputs
%3 = (*.f64 x y)
%10 = (/ y (+ 1 (/ (* x y) 2)))
%11 = (approx %10 y)
%13 = (/.f64 #s(literal 2 binary64) x)
%14 = (approx %10 %13)
%15 = (*.f64 #s(literal -1/2 binary64) %3)
%16 = (+.f64 #s(literal 1 binary64) %15)
%17 = (*.f64 y %16)
%18 = (approx %10 %17)
%19 = (+.f64 y y)
%21 = (fma.f64 y x #s(literal 2 binary64))
%22 = (/.f64 y %21)
%23 = (/.f64 #s(literal -2 binary64) %21)
%25 = (*.f64 %21 x)
%26 = (-.f64 %25 %19)
x
y
#s(literal 1 binary64)
%3
#s(literal 2 binary64)
%11
#s(literal -1/2 binary64)
%13
%14
%15
%16
%17
%18
%19
#s(literal -2 binary64)
%21
%22
%23
(fma.f64 %22 #s(literal -2 binary64) x)
%25
%26
(/.f64 %26 %21)
(fma.f64 y %23 x)
(-.f64 x %11)
(-.f64 x %18)
(-.f64 x %14)
Outputs
%3 = (+.f64 y y)
%4 = (*.f64 x %3)
%7 = (/.f64 x #s(literal 1/2 binary64))
%8 = (*.f64 #s(literal 1/2 binary64) y)
%10 = (/.f64 y #s(literal 1/2 binary64))
%11 = (*.f64 #s(literal 1/2 binary64) x)
%13 = (*.f64 y x)
%15 = (*.f64 %13 #s(literal 2 binary64))
%17 = (+.f64 x x)
%21 = (*.f64 #s(literal 2 binary64) %13)
%23 = (neg.f64 x)
%24 = (neg.f64 y)
%28 = (*.f64 %11 y)
%35 = (/.f64 %13 #s(literal 1/2 binary64))
%39 = (*.f64 %24 x)
%45 = (-.f64 #s(literal -2 binary64) %13)
%46 = (fma.f64 y x #s(literal 2 binary64))
%47 = (/.f64 %45 %46)
%50 = (/.f64 %46 %45)
%61 = (/.f64 %13 #s(literal -1 binary64))
%67 = (*.f64 %13 #s(literal 0 binary64))
%69 = (*.f64 #s(literal 0 binary64) %13)
%72 = (*.f64 #s(literal -1/2 binary64) %24)
%76 = (/.f64 %23 #s(literal 1 binary64))
%77 = (*.f64 #s(literal -1/2 binary64) y)
%80 = (/.f64 y #s(literal 4 binary64))
%84 = (/.f64 %24 #s(literal 1 binary64))
%85 = (*.f64 #s(literal -1/2 binary64) x)
%87 = (/.f64 x #s(literal -1 binary64))
%89 = (/.f64 y #s(literal -1 binary64))
%90 = (/.f64 %23 #s(literal 2 binary64))
%92 = (/.f64 x #s(literal 4 binary64))
%158 = (/ (* 2 y) (- (* y x) -2))
%159 = (approx %158 y)
%168 = (neg.f64 %159)
%170 = (/.f64 #s(literal 1 binary64) x)
%173 = (/.f64 #s(literal 1/2 binary64) x)
%176 = (/.f64 #s(literal -1 binary64) x)
%178 = (/.f64 #s(literal -2 binary64) x)
%183 = (/.f64 #s(literal 2 binary64) x)
%184 = (*.f64 #s(literal 2 binary64) %183)
%200 = (*.f64 %23 %23)
%203 = (*.f64 %23 x)
%207 = (*.f64 x %23)
%212 = (*.f64 %23 #s(literal 1 binary64))
%221 = (*.f64 x x)
%249 = (approx %158 %183)
%258 = (neg.f64 %249)
%260 = (*.f64 %85 %3)
%262 = (*.f64 %85 #s(literal 2 binary64))
%264 = (*.f64 %85 #s(literal 1 binary64))
%266 = (/.f64 %23 #s(literal 1/2 binary64))
%268 = (/.f64 %24 #s(literal 1/2 binary64))
%272 = (/.f64 %24 #s(literal 4 binary64))
%277 = (/.f64 %23 #s(literal 4 binary64))
%279 = (*.f64 %39 #s(literal 2 binary64))
%291 = (*.f64 #s(literal 1/2 binary64) %85)
%293 = (*.f64 #s(literal -1/2 binary64) %13)
%295 = (*.f64 %8 %85)
%299 = (*.f64 %23 #s(literal 1/2 binary64))
%310 = (/.f64 %39 #s(literal 1 binary64))
%326 = (fma.f64 %23 y #s(literal 2 binary64))
%328 = (+.f64 #s(literal 2 binary64) %39)
%330 = (-.f64 %39 #s(literal -2 binary64))
%332 = (-.f64 #s(literal 2 binary64) %13)
%334 = (-.f64 %13 #s(literal 2 binary64))
%336 = (fma.f64 #s(literal -1/2 binary64) %13 #s(literal 1 binary64))
%343 = (*.f64 %293 #s(literal 2 binary64))
%362 = (*.f64 #s(literal 2 binary64) %39)
%386 = (fma.f64 %11 y #s(literal -1 binary64))
%449 = (*.f64 %336 y)
%466 = (*.f64 %8 %13)
%471 = (*.f64 %77 y)
%473 = (*.f64 y %77)
%478 = (*.f64 y y)
%480 = (*.f64 %13 y)
%484 = (*.f64 %293 y)
%506 = (approx %158 %449)
%515 = (neg.f64 %506)
%517 = (*.f64 #s(literal 2 binary64) %3)
%519 = (*.f64 %24 #s(literal -1 binary64))
%522 = (*.f64 #s(literal -2 binary64) y)
%546 = (*.f64 #s(literal -1 binary64) %24)
%553 = (*.f64 #s(literal 1/2 binary64) %46)
%559 = (fma.f64 y x #s(literal 1 binary64))
%571 = (/.f64 #s(literal 1 binary64) %46)
%619 = (/.f64 #s(literal -1 binary64) %46)
%622 = (/.f64 #s(literal 2 binary64) %46)
%624 = (/.f64 %3 %46)
%627 = (/.f64 y %46)
%629 = (/.f64 #s(literal 1/2 binary64) %46)
%651 = (/.f64 y %45)
%653 = (*.f64 %571 #s(literal -1 binary64))
%658 = (*.f64 #s(literal 4 binary64) %619)
%660 = (/.f64 #s(literal -2 binary64) %46)
%661 = (*.f64 #s(literal 2 binary64) %660)
%663 = (/.f64 #s(literal 4 binary64) %45)
%665 = (*.f64 %46 #s(literal -1/2 binary64))
%666 = (/.f64 #s(literal 2 binary64) %665)
%671 = (*.f64 %629 #s(literal -2 binary64))
%673 = (/.f64 #s(literal 1/2 binary64) %665)
%683 = (*.f64 %46 %46)
%705 = (/.f64 #s(literal 0 binary64) %665)
%709 = (*.f64 %619 #s(literal 1 binary64))
%711 = (*.f64 #s(literal -1 binary64) %571)
%724 = (/.f64 #s(literal 1/2 binary64) %45)
%737 = (*.f64 %46 x)
%738 = (fma.f64 #s(literal -2 binary64) y %737)
%739 = (*.f64 %738 #s(literal 2 binary64))
%740 = (*.f64 %739 %629)
%741 = (fma.f64 %45 x %3)
%742 = (*.f64 %619 %741)
%743 = (*.f64 %45 %3)
%744 = (fma.f64 %737 %46 %743)
%746 = (*.f64 %744 (/.f64 #s(literal 1 binary64) %683))
%747 = (*.f64 %571 %738)
%748 = (*.f64 %741 %619)
%749 = (*.f64 %738 %571)
%751 = (*.f64 #s(literal 2 binary64) (*.f64 %629 %738))
%752 = (fma.f64 %660 y x)
%753 = (*.f64 #s(literal 1 binary64) %752)
%754 = (pow.f64 %752 #s(literal 1 binary64))
%756 = (/.f64 (*.f64 #s(literal -1 binary64) %738) %45)
%758 = (/.f64 (/.f64 %744 %46) %46)
%759 = (*.f64 %741 #s(literal 1 binary64))
%760 = (/.f64 %759 %45)
%761 = (*.f64 %738 #s(literal -1 binary64))
%762 = (/.f64 %761 %45)
%763 = (-.f64 x %627)
%766 = (/.f64 (-.f64 (*.f64 %763 %45) %24) %45)
%769 = (/.f64 (-.f64 (*.f64 %763 %46) y) %46)
%770 = (*.f64 %45 x)
%773 = (*.f64 %45 %46)
%774 = (/.f64 (fma.f64 %770 %46 (*.f64 %522 %45)) %773)
%777 = (/.f64 (fma.f64 %770 %45 (*.f64 %3 %45)) %683)
%780 = (/.f64 (fma.f64 %737 %46 (*.f64 %522 %46)) %683)
%781 = (*.f64 %45 %522)
%783 = (/.f64 (fma.f64 %770 %46 %781) %773)
%785 = (/.f64 (fma.f64 %770 %45 %743) %683)
%786 = (*.f64 %46 %522)
%788 = (/.f64 (fma.f64 %737 %46 %786) %683)
%791 = (*.f64 %46 %45)
%792 = (/.f64 (fma.f64 %737 %45 (*.f64 %46 %3)) %791)
%793 = (-.f64 %737 y)
%797 = (/.f64 (-.f64 (*.f64 %793 %45) (*.f64 %46 %24)) %791)
%801 = (/.f64 (-.f64 (*.f64 %793 %46) (*.f64 %46 y)) %683)
%804 = (/.f64 (-.f64 (*.f64 %770 %45) %781) %683)
%805 = (*.f64 %770 %46)
%807 = (/.f64 (-.f64 %805 %743) %773)
%810 = (/.f64 (-.f64 (*.f64 %737 %45) %786) %791)
%813 = (/.f64 (neg.f64 %744) (neg.f64 %683))
%814 = (/.f64 %744 %683)
%815 = (/.f64 %741 %45)
%816 = (/.f64 %738 %46)
%818 = (/.f64 #s(literal 1 binary64) (pow.f64 %752 %47))
%820 = (/.f64 #s(literal 1 binary64) (pow.f64 %752 %50))
%822 = (/.f64 #s(literal 1 binary64) (/.f64 %683 %744))
%824 = (/.f64 #s(literal 1 binary64) (pow.f64 %752 #s(literal -1 binary64)))
%826 = (/.f64 #s(literal 1 binary64) (/.f64 %45 %741))
%828 = (/.f64 #s(literal 1 binary64) (/.f64 %46 %738))
%830 = (neg.f64 (-.f64 %624 x))
%832 = (fma.f64 (*.f64 %522 #s(literal 2 binary64)) %629 x)
%834 = (fma.f64 (*.f64 %660 %3) #s(literal 1/2 binary64) x)
%836 = (fma.f64 (*.f64 %660 #s(literal 2 binary64)) %8 x)
%838 = (fma.f64 (*.f64 %627 #s(literal -1 binary64)) #s(literal 2 binary64) x)
%839 = (fma.f64 %651 #s(literal 2 binary64) x)
%840 = (fma.f64 %619 y %763)
%841 = (fma.f64 #s(literal -1 binary64) %624 x)
%842 = (fma.f64 %793 %571 %651)
%843 = (fma.f64 %522 %571 x)
%844 = (fma.f64 %571 %793 %651)
%845 = (fma.f64 %571 %522 x)
%846 = (fma.f64 %571 %24 %763)
%847 = (fma.f64 %622 %24 x)
%848 = (fma.f64 %24 %571 %763)
%849 = (fma.f64 %24 %622 x)
%850 = (*.f64 %660 y)
%851 = (fma.f64 %850 #s(literal 1 binary64) x)
%852 = (fma.f64 %627 #s(literal -2 binary64) x)
%853 = (fma.f64 #s(literal -2 binary64) %627 x)
%854 = (fma.f64 %3 %724 %763)
%855 = (fma.f64 %3 %673 x)
%856 = (fma.f64 %3 %619 x)
%858 = (fma.f64 #s(literal 2 binary64) (*.f64 %8 %660) x)
%860 = (fma.f64 #s(literal 2 binary64) (/.f64 %8 %665) x)
%862 = (fma.f64 #s(literal 2 binary64) (/.f64 %8 %45) %763)
%863 = (fma.f64 #s(literal 2 binary64) %651 x)
%864 = (fma.f64 #s(literal 1 binary64) %763 %651)
%865 = (fma.f64 #s(literal 1 binary64) %651 %763)
%866 = (fma.f64 #s(literal 1 binary64) %850 x)
%867 = (fma.f64 y %619 %763)
%868 = (fma.f64 y %660 x)
%869 = (*.f64 %737 %46)
%871 = (-.f64 (/.f64 %869 %683) %624)
%872 = (-.f64 %763 %627)
%874 = (-.f64 %651 (/.f64 %793 %45))
%876 = (-.f64 %850 (/.f64 %737 %45))
%877 = (-.f64 %850 %23)
%878 = (-.f64 x %624)
%880 = (+.f64 (*.f64 %571 %793) %651)
%881 = (+.f64 %763 %651)
%882 = (+.f64 %651 %763)
%883 = (+.f64 %850 x)
%884 = (+.f64 x %850)
%900 = (*.f64 %13 x)
%903 = (*.f64 #s(literal 4 binary64) x)
%925 = (*.f64 x %559)
%927 = (*.f64 %559 x)
%934 = (*.f64 %738 #s(literal 1/2 binary64))
%952 = (*.f64 %738 #s(literal 0 binary64))
%954 = (*.f64 #s(literal 0 binary64) %738)
%958 = (fma.f64 #s(literal 2 binary64) x %522)
%960 = (-.f64 %17 %3)
%963 = (fma.f64 %221 y %522)
%965 = (-.f64 %900 %3)
%977 = (*.f64 #s(literal 1/2 binary64) %738)
%1037 = (-.f64 x %159)
%1052 = (-.f64 x %506)
%1067 = (-.f64 x %249)
x
y
#s(literal 1 binary64)
(*.f64 %4 #s(literal 1/2 binary64))
(*.f64 %7 %8)
(*.f64 %10 %11)
(*.f64 %15 #s(literal 1/2 binary64))
(*.f64 %17 %8)
(*.f64 %11 %10)
(*.f64 %8 %7)
(*.f64 #s(literal 1/2 binary64) %21)
(*.f64 %23 %24)
(*.f64 %24 %23)
(*.f64 %3 %11)
(*.f64 %28 #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) %28)
(*.f64 %13 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %13)
%13
(*.f64 x y)
(pow.f64 %13 #s(literal 1 binary64))
(/.f64 %35 #s(literal 2 binary64))
(/.f64 %15 #s(literal 2 binary64))
(/.f64 %21 #s(literal 2 binary64))
(/.f64 %39 #s(literal -1 binary64))
(/.f64 %28 #s(literal 1/2 binary64))
(/.f64 %13 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %13 %47))
(/.f64 #s(literal 1 binary64) (pow.f64 %13 %50))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) %13))
(/.f64 #s(literal 1 binary64) (pow.f64 %13 #s(literal -1 binary64)))
(neg.f64 (*.f64 #s(literal -1 binary64) %13))
(neg.f64 (*.f64 %13 #s(literal -1 binary64)))
(neg.f64 %61)
(neg.f64 %39)
(fma.f64 (*.f64 %11 %3) #s(literal 1/2 binary64) %28)
(fma.f64 %4 #s(literal 1/2 binary64) %67)
(fma.f64 %4 #s(literal 1/2 binary64) %69)
(fma.f64 %72 x %28)
(fma.f64 %35 #s(literal 1/4 binary64) %28)
(fma.f64 %76 %77 %28)
(fma.f64 %7 %80 %28)
(fma.f64 %7 %8 %67)
(fma.f64 %7 %8 %69)
(fma.f64 %84 %85 %28)
(fma.f64 %87 %77 %28)
(fma.f64 %89 %90 %28)
(fma.f64 %10 %92 %28)
(fma.f64 %10 %11 %67)
(fma.f64 %10 %11 %69)
(fma.f64 %15 #s(literal 1/4 binary64) %28)
(fma.f64 %15 #s(literal 1/2 binary64) %67)
(fma.f64 %15 #s(literal 1/2 binary64) %69)
(fma.f64 %17 %8 %67)
(fma.f64 %17 %8 %69)
(fma.f64 %77 %76 %28)
(fma.f64 %77 %23 %28)
(fma.f64 %11 %10 %67)
(fma.f64 %11 %10 %69)
(fma.f64 %11 y %28)
(fma.f64 %85 %84 %28)
(fma.f64 %85 %24 %28)
(fma.f64 %8 %7 %67)
(fma.f64 %8 %7 %69)
(fma.f64 %8 x %28)
(fma.f64 #s(literal 1/2 binary64) %21 %67)
(fma.f64 #s(literal 1/2 binary64) %21 %69)
(fma.f64 #s(literal 1/2 binary64) %13 %28)
(fma.f64 %23 %77 %28)
(fma.f64 %23 %24 %67)
(fma.f64 %23 %24 %69)
(fma.f64 %39 #s(literal -1/2 binary64) %28)
(fma.f64 %24 %85 %28)
(fma.f64 %24 %23 %67)
(fma.f64 %24 %23 %69)
(fma.f64 %3 (*.f64 #s(literal 1/2 binary64) %11) %28)
(fma.f64 %3 %11 %67)
(fma.f64 %3 %11 %69)
(fma.f64 #s(literal -1/2 binary64) %39 %28)
(fma.f64 %28 #s(literal 2 binary64) %67)
(fma.f64 %28 #s(literal 2 binary64) %69)
(fma.f64 %28 #s(literal 1 binary64) %28)
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/4 binary64) %13) %28)
(fma.f64 #s(literal 2 binary64) (*.f64 %8 %11) %28)
(fma.f64 #s(literal 2 binary64) (/.f64 %13 #s(literal 4 binary64)) %28)
(fma.f64 #s(literal 2 binary64) %28 %67)
(fma.f64 #s(literal 2 binary64) %28 %69)
(fma.f64 %13 #s(literal 1/2 binary64) %28)
(fma.f64 %13 #s(literal 1 binary64) %67)
(fma.f64 %13 #s(literal 1 binary64) %69)
(fma.f64 #s(literal 1 binary64) %28 %28)
(fma.f64 #s(literal 1 binary64) %13 %67)
(fma.f64 #s(literal 1 binary64) %13 %69)
(fma.f64 y %11 %28)
(fma.f64 y x %67)
(fma.f64 y x %69)
(fma.f64 x %72 %28)
(fma.f64 x %8 %28)
(fma.f64 x y %67)
(fma.f64 x y %69)
(+.f64 %28 %28)
(+.f64 %13 %67)
(+.f64 %13 %69)
#s(literal 2 binary64)
(*.f64 #s(literal 1 binary64) %159)
(pow.f64 %159 #s(literal 1 binary64))
%159
(/.f64 #s(literal 1 binary64) (pow.f64 %159 %47))
(/.f64 #s(literal 1 binary64) (pow.f64 %159 %50))
(/.f64 #s(literal 1 binary64) (pow.f64 %159 #s(literal -1 binary64)))
(neg.f64 %168)
#s(literal -1/2 binary64)
(*.f64 (*.f64 %170 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(*.f64 %173 #s(literal 4 binary64))
(*.f64 #s(literal 4 binary64) %173)
(*.f64 %176 #s(literal -2 binary64))
(*.f64 #s(literal -1 binary64) %178)
(*.f64 %170 #s(literal 2 binary64))
(*.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 4 binary64) %170))
(*.f64 #s(literal 1/2 binary64) %184)
(*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 4 binary64) x))
(*.f64 #s(literal -2 binary64) %176)
(*.f64 %183 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) %170)
(*.f64 #s(literal 1 binary64) %183)
(pow.f64 %183 #s(literal 1 binary64))
(/.f64 %184 #s(literal 2 binary64))
(/.f64 (fma.f64 %170 %23 #s(literal -1 binary64)) %23)
(/.f64 (fma.f64 %170 x #s(literal 1 binary64)) x)
(/.f64 (fma.f64 #s(literal -1 binary64) %23 (*.f64 #s(literal -1 binary64) %23)) %200)
(/.f64 (fma.f64 #s(literal -1 binary64) x %23) %203)
(/.f64 (+.f64 %23 (*.f64 #s(literal -1 binary64) x)) %207)
(/.f64 (fma.f64 #s(literal -1 binary64) %23 (*.f64 %23 #s(literal -1 binary64))) %200)
(/.f64 (fma.f64 #s(literal -1 binary64) x %212) %203)
(/.f64 (+.f64 %23 (*.f64 x #s(literal -1 binary64))) %207)
(/.f64 #s(literal -4 binary64) (*.f64 #s(literal 2 binary64) %23))
(/.f64 %17 %221)
(/.f64 #s(literal 4 binary64) %17)
(/.f64 #s(literal -2 binary64) %212)
(/.f64 #s(literal -2 binary64) %23)
(/.f64 %183 #s(literal 1 binary64))
%183
(/.f64 #s(literal 1 binary64) (pow.f64 %183 %47))
(/.f64 #s(literal 1 binary64) (pow.f64 %183 %50))
(/.f64 #s(literal 1 binary64) (pow.f64 %183 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) %11)
(neg.f64 %178)
(fma.f64 %173 #s(literal 2 binary64) %170)
(fma.f64 #s(literal -1 binary64) %176 %170)
(fma.f64 %170 #s(literal 1 binary64) %170)
(fma.f64 #s(literal 1/2 binary64) %183 %170)
(fma.f64 #s(literal -2 binary64) (/.f64 #s(literal 1/2 binary64) %23) %170)
(fma.f64 #s(literal 2 binary64) %173 %170)
(fma.f64 #s(literal 1 binary64) %170 %170)
(-.f64 %170 (*.f64 #s(literal -2 binary64) %173))
(-.f64 %170 (*.f64 #s(literal -1 binary64) %170))
(-.f64 %170 %176)
(+.f64 %170 %170)
(*.f64 #s(literal 1 binary64) %249)
(pow.f64 %249 #s(literal 1 binary64))
%249
(/.f64 #s(literal 1 binary64) (pow.f64 %249 %47))
(/.f64 #s(literal 1 binary64) (pow.f64 %249 %50))
(/.f64 #s(literal 1 binary64) (pow.f64 %249 #s(literal -1 binary64)))
(neg.f64 %258)
(*.f64 %260 #s(literal 1/2 binary64))
(*.f64 %262 %8)
(*.f64 %264 y)
(*.f64 %266 %80)
(*.f64 %268 %92)
(*.f64 %76 %8)
(*.f64 %90 y)
(*.f64 %7 %272)
(*.f64 %84 %11)
(*.f64 %87 %8)
(*.f64 %89 %11)
(*.f64 %10 %277)
(*.f64 %279 #s(literal 1/4 binary64))
(*.f64 %77 x)
(*.f64 %11 %84)
(*.f64 %11 %24)
(*.f64 %85 y)
(*.f64 %8 %76)
(*.f64 %8 %23)
(*.f64 #s(literal 1/2 binary64) %39)
(*.f64 %23 %8)
(*.f64 %39 #s(literal 1/2 binary64))
(*.f64 %24 %11)
(*.f64 %3 %291)
(*.f64 %293 #s(literal 1 binary64))
%293
(*.f64 #s(literal 2 binary64) %295)
(*.f64 %13 #s(literal -1/2 binary64))
(*.f64 #s(literal 1 binary64) %293)
(*.f64 y %299)
(*.f64 y %90)
(*.f64 y %85)
(*.f64 x %77)
(pow.f64 %293 #s(literal 1 binary64))
(/.f64 (*.f64 %39 #s(literal -1 binary64)) #s(literal -2 binary64))
(/.f64 (/.f64 %39 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(/.f64 %61 #s(literal 2 binary64))
(/.f64 %310 #s(literal 2 binary64))
(/.f64 %39 #s(literal 2 binary64))
(/.f64 %293 #s(literal 1 binary64))
(/.f64 %13 #s(literal -2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %293 %47))
(/.f64 #s(literal 1 binary64) (pow.f64 %293 %50))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %39))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %13))
(/.f64 #s(literal 1 binary64) (pow.f64 %293 #s(literal -1 binary64)))
(neg.f64 %28)
(*.f64 #s(literal 1/2 binary64) %326)
(*.f64 #s(literal 1/2 binary64) %328)
(*.f64 #s(literal 1/2 binary64) %330)
(*.f64 #s(literal 1/2 binary64) %332)
(*.f64 #s(literal -1/2 binary64) %334)
(*.f64 #s(literal 1 binary64) %336)
(pow.f64 %336 #s(literal 1 binary64))
(/.f64 (fma.f64 %293 #s(literal 2 binary64) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal -2 binary64) %13) #s(literal -2 binary64))
(/.f64 (-.f64 %343 #s(literal -2 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 #s(literal -2 binary64) %39) #s(literal -2 binary64))
(/.f64 (+.f64 #s(literal 4 binary64) %279) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal -4 binary64) %15) #s(literal -4 binary64))
(/.f64 %326 #s(literal 2 binary64))
(/.f64 %328 #s(literal 2 binary64))
(/.f64 %330 #s(literal 2 binary64))
(/.f64 %332 #s(literal 2 binary64))
(/.f64 (fma.f64 y x #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 %39 #s(literal 2 binary64) #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %13 #s(literal 2 binary64) #s(literal -4 binary64)) #s(literal -4 binary64))
(/.f64 (+.f64 #s(literal 4 binary64) %362) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal -4 binary64) %21) #s(literal -4 binary64))
(/.f64 (-.f64 %279 #s(literal -4 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 %15 #s(literal 4 binary64)) #s(literal -4 binary64))
(/.f64 (-.f64 #s(literal -4 binary64) %362) #s(literal -4 binary64))
(/.f64 (-.f64 #s(literal 4 binary64) %21) #s(literal 4 binary64))
(/.f64 %336 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %336 %47))
(/.f64 #s(literal 1 binary64) (pow.f64 %336 %50))
(/.f64 #s(literal 1 binary64) (pow.f64 %336 #s(literal -1 binary64)))
(neg.f64 (+.f64 #s(literal -1 binary64) %28))
(neg.f64 (-.f64 #s(literal -1 binary64) %293))
(neg.f64 %386)
(fma.f64 %260 #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 %262 %8 #s(literal 1 binary64))
(fma.f64 %264 y #s(literal 1 binary64))
(fma.f64 %266 %80 #s(literal 1 binary64))
(fma.f64 %268 %92 #s(literal 1 binary64))
(fma.f64 %76 %8 #s(literal 1 binary64))
(fma.f64 %90 y #s(literal 1 binary64))
(fma.f64 %7 %272 #s(literal 1 binary64))
(fma.f64 %84 %11 #s(literal 1 binary64))
(fma.f64 %87 %8 #s(literal 1 binary64))
(fma.f64 %89 %11 #s(literal 1 binary64))
(fma.f64 %10 %277 #s(literal 1 binary64))
(fma.f64 %279 #s(literal 1/4 binary64) #s(literal 1 binary64))
(fma.f64 %77 x #s(literal 1 binary64))
(fma.f64 %11 %84 #s(literal 1 binary64))
(fma.f64 %11 %24 #s(literal 1 binary64))
(fma.f64 %85 y #s(literal 1 binary64))
(fma.f64 %8 %76 #s(literal 1 binary64))
(fma.f64 %8 %23 #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) %326 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %328 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %330 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %332 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %39 #s(literal 1 binary64))
(fma.f64 %23 %8 #s(literal 1 binary64))
(fma.f64 %39 #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 %24 %11 #s(literal 1 binary64))
(fma.f64 %3 %291 #s(literal 1 binary64))
(fma.f64 %293 #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1/2 binary64) %334 #s(literal 0 binary64))
%336
(fma.f64 #s(literal 2 binary64) %295 #s(literal 1 binary64))
(fma.f64 %13 #s(literal -1/2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %336 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %293 #s(literal 1 binary64))
(fma.f64 y %299 #s(literal 1 binary64))
(fma.f64 y %90 #s(literal 1 binary64))
(fma.f64 y %85 #s(literal 1 binary64))
(fma.f64 x %77 #s(literal 1 binary64))
(-.f64 %293 #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) %28)
(+.f64 (fma.f64 %77 x #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1/2 binary64) %293))
(+.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 1/2 binary64) %28))
(+.f64 %336 #s(literal 0 binary64))
(+.f64 %293 #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) %293))
(+.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) %28))
(+.f64 #s(literal 1 binary64) %293)
(*.f64 (*.f64 %336 %3) #s(literal 1/2 binary64))
(*.f64 (*.f64 %336 #s(literal 2 binary64)) %8)
(*.f64 (*.f64 %336 #s(literal 1 binary64)) y)
(*.f64 %3 (*.f64 #s(literal 1/2 binary64) %336))
(*.f64 %449 #s(literal 1 binary64))
%449
(*.f64 #s(literal 2 binary64) (*.f64 %8 %336))
(*.f64 #s(literal 1 binary64) %449)
(*.f64 y %336)
(pow.f64 %449 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %449 %47))
(/.f64 #s(literal 1 binary64) (pow.f64 %449 %50))
(/.f64 #s(literal 1 binary64) (pow.f64 %449 #s(literal -1 binary64)))
(neg.f64 (*.f64 %386 y))
(neg.f64 (*.f64 y %386))
(neg.f64 (-.f64 %466 y))
(fma.f64 (*.f64 %293 %3) #s(literal 1/2 binary64) y)
(fma.f64 %471 x y)
(fma.f64 %473 x y)
(fma.f64 (*.f64 y %39) #s(literal 1/2 binary64) y)
(fma.f64 %343 %8 y)
(fma.f64 %478 %85 y)
(fma.f64 %480 #s(literal -1/2 binary64) y)
(fma.f64 %77 %13 y)
(fma.f64 %85 %478 y)
(fma.f64 %484 #s(literal 1 binary64) y)
(fma.f64 %23 (*.f64 %8 y) y)
(fma.f64 %39 %8 y)
(fma.f64 %3 (*.f64 #s(literal 1/2 binary64) %293) y)
(fma.f64 %293 y y)
(fma.f64 #s(literal -1/2 binary64) %480 y)
(fma.f64 #s(literal 2 binary64) (*.f64 %8 %293) y)
(fma.f64 %13 %77 y)
(fma.f64 #s(literal 1 binary64) %484 y)
(fma.f64 y %293 y)
(fma.f64 x (*.f64 #s(literal -1/2 binary64) %478) y)
(fma.f64 x %471 y)
(fma.f64 x %473 y)
(-.f64 %484 %24)
(-.f64 y %466)
(+.f64 %484 y)
(+.f64 y %484)
(*.f64 #s(literal 1 binary64) %506)
(pow.f64 %506 #s(literal 1 binary64))
%506
(/.f64 #s(literal 1 binary64) (pow.f64 %506 %47))
(/.f64 #s(literal 1 binary64) (pow.f64 %506 %50))
(/.f64 #s(literal 1 binary64) (pow.f64 %506 #s(literal -1 binary64)))
(neg.f64 %515)
(*.f64 %517 #s(literal 1/2 binary64))
(*.f64 %519 #s(literal 2 binary64))
(*.f64 #s(literal 4 binary64) %8)
(*.f64 #s(literal -1 binary64) %522)
(*.f64 %8 #s(literal 4 binary64))
(*.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 4 binary64) y))
(*.f64 #s(literal 1/2 binary64) %517)
(*.f64 #s(literal 1/2 binary64) (fma.f64 #s(literal 2 binary64) y %3))
(*.f64 %24 #s(literal -2 binary64))
(*.f64 #s(literal -2 binary64) %24)
(*.f64 %3 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) y)
(*.f64 #s(literal 1 binary64) %3)
(*.f64 y #s(literal 2 binary64))
(pow.f64 %3 #s(literal 1 binary64))
(/.f64 %517 #s(literal 2 binary64))
(/.f64 %3 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %3 %47))
(/.f64 #s(literal 1 binary64) (pow.f64 %3 %50))
(/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -1 binary64)))
(neg.f64 %522)
(fma.f64 #s(literal -1 binary64) %24 %546)
(fma.f64 %24 #s(literal -1 binary64) %519)
(-.f64 y %24)
(+.f64 %519 %519)
(+.f64 %546 %546)
%3
#s(literal -2 binary64)
(*.f64 %46 #s(literal 1 binary64))
(*.f64 %553 #s(literal 2 binary64))
(*.f64 #s(literal 1 binary64) %46)
(pow.f64 %46 #s(literal 1 binary64))
(/.f64 (/.f64 %46 #s(literal 1/2 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %559 #s(literal 2 binary64) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %559 #s(literal 1 binary64) #s(literal 1 binary64)) #s(literal 1 binary64))
(/.f64 %45 #s(literal -1 binary64))
(/.f64 %46 #s(literal 1 binary64))
(/.f64 %553 #s(literal 1/2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %46 %47))
(/.f64 #s(literal 1 binary64) (pow.f64 %46 %50))
(/.f64 #s(literal 1 binary64) %571)
(neg.f64 (/.f64 %45 #s(literal 1 binary64)))
(neg.f64 (/.f64 %46 #s(literal -1 binary64)))
(neg.f64 %45)
(fma.f64 %4 #s(literal 1/2 binary64) #s(literal 2 binary64))
(fma.f64 %7 %8 #s(literal 2 binary64))
(fma.f64 %10 %11 #s(literal 2 binary64))
(fma.f64 %15 #s(literal 1/2 binary64) #s(literal 2 binary64))
(fma.f64 %17 %8 #s(literal 2 binary64))
(fma.f64 %11 %10 #s(literal 2 binary64))
(fma.f64 %8 %7 #s(literal 2 binary64))
(fma.f64 #s(literal 1/2 binary64) %21 #s(literal 2 binary64))
(fma.f64 %23 %24 #s(literal 2 binary64))
(fma.f64 %24 %23 #s(literal 2 binary64))
(fma.f64 %46 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 %3 %11 #s(literal 2 binary64))
(fma.f64 %553 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %28 #s(literal 2 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 2 binary64) %28 #s(literal 2 binary64))
(fma.f64 %13 #s(literal 1 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 1 binary64) %559 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %46 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %13 #s(literal 2 binary64))
%46
(fma.f64 x y #s(literal 2 binary64))
(-.f64 %559 #s(literal -1 binary64))
(-.f64 #s(literal 2 binary64) %310)
(-.f64 #s(literal 2 binary64) %39)
(-.f64 %13 #s(literal -2 binary64))
(-.f64 #s(literal 1 binary64) (-.f64 #s(literal -1 binary64) %13))
(-.f64 #s(literal 1 binary64) (+.f64 #s(literal -1 binary64) %39))
(-.f64 #s(literal 1 binary64) (neg.f64 %559))
(+.f64 (+.f64 %559 #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(+.f64 %559 #s(literal 1 binary64))
(+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1/2 binary64) %559))
(+.f64 %46 #s(literal 0 binary64))
(+.f64 #s(literal 2 binary64) %13)
(+.f64 %13 #s(literal 2 binary64))
(+.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) %559))
(+.f64 #s(literal 1 binary64) %559)
(*.f64 %619 %24)
(*.f64 %571 y)
(*.f64 %622 %8)
(*.f64 %624 #s(literal 1/2 binary64))
(*.f64 %24 %619)
(*.f64 %627 #s(literal 1 binary64))
(*.f64 %3 %629)
(*.f64 #s(literal 2 binary64) (*.f64 %629 y))
(*.f64 #s(literal 2 binary64) (*.f64 %8 %571))
(*.f64 #s(literal 2 binary64) (/.f64 %8 %46))
(*.f64 #s(literal 1 binary64) %627)
(*.f64 y %571)
(pow.f64 %627 #s(literal 1 binary64))
(/.f64 %24 %45)
(/.f64 #s(literal 1 binary64) (pow.f64 %627 %47))
(/.f64 #s(literal 1 binary64) (pow.f64 %627 %50))
(/.f64 #s(literal 1 binary64) (pow.f64 %627 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %45 %24))
(/.f64 #s(literal 1 binary64) (/.f64 %46 y))
%627
(neg.f64 %651)
(*.f64 %653 #s(literal 2 binary64))
(*.f64 #s(literal -4 binary64) %629)
(*.f64 %619 #s(literal 2 binary64))
(*.f64 #s(literal -1 binary64) %622)
(*.f64 #s(literal 1/2 binary64) %658)
(*.f64 #s(literal 1/2 binary64) %661)
(*.f64 #s(literal 1/2 binary64) %663)
(*.f64 #s(literal 1/2 binary64) %666)
(*.f64 %571 #s(literal -2 binary64))
(*.f64 %660 #s(literal 1 binary64))
(*.f64 #s(literal -2 binary64) %571)
(*.f64 #s(literal 2 binary64) %671)
(*.f64 #s(literal 2 binary64) %673)
(*.f64 #s(literal 2 binary64) %619)
(*.f64 #s(literal 1 binary64) %660)
(pow.f64 %665 #s(literal -1 binary64))
(pow.f64 %660 #s(literal 1 binary64))
(/.f64 %661 #s(literal 2 binary64))
(/.f64 (fma.f64 %619 %45 #s(literal 1 binary64)) %45)
(/.f64 (+.f64 %45 %45) %683)
(/.f64 (+.f64 %45 (*.f64 %45 #s(literal 1 binary64))) %683)
(/.f64 #s(literal -4 binary64) (*.f64 #s(literal 2 binary64) %46))
(/.f64 #s(literal 4 binary64) (*.f64 #s(literal 2 binary64) %45))
(/.f64 #s(literal -1 binary64) %553)
(/.f64 %660 #s(literal 1 binary64))
%660
(/.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %665))
(/.f64 #s(literal 2 binary64) %45)
(/.f64 #s(literal 1 binary64) (pow.f64 %660 %47))
(/.f64 #s(literal 1 binary64) (pow.f64 %660 %50))
(/.f64 #s(literal 1 binary64) (pow.f64 %660 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) %665)
(neg.f64 %622)
(fma.f64 %653 #s(literal 2 binary64) %705)
(fma.f64 #s(literal -4 binary64) %629 %705)
(fma.f64 %619 #s(literal 2 binary64) %705)
(fma.f64 %619 #s(literal 1 binary64) %709)
(fma.f64 #s(literal -1 binary64) %571 %711)
(fma.f64 #s(literal -1 binary64) %622 %705)
(fma.f64 #s(literal 1/2 binary64) %658 %705)
(fma.f64 #s(literal 1/2 binary64) %661 %705)
(fma.f64 #s(literal 1/2 binary64) %663 %705)
(fma.f64 #s(literal 1/2 binary64) %666 %705)
(fma.f64 #s(literal 1/2 binary64) %660 %619)
(fma.f64 %571 #s(literal -1 binary64) %653)
(fma.f64 %571 #s(literal -2 binary64) %705)
(fma.f64 %660 #s(literal 1 binary64) %705)
(fma.f64 #s(literal -2 binary64) %571 %705)
(fma.f64 #s(literal 2 binary64) %671 %705)
(fma.f64 #s(literal 2 binary64) %724 %619)
(fma.f64 #s(literal 2 binary64) %673 %705)
(fma.f64 #s(literal 2 binary64) %619 %705)
(fma.f64 #s(literal 1 binary64) %619 %619)
(fma.f64 #s(literal 1 binary64) %660 %705)
(-.f64 %619 %571)
(+.f64 %653 %653)
(+.f64 %709 %709)
(+.f64 %711 %711)
(+.f64 %673 %673)
(+.f64 %619 %619)
(+.f64 %660 %705)
%740
%742
%746
%747
%748
%749
%751
%753
%754
%756
%758
%760
%762
%766
%769
%774
%777
%780
%783
%785
%788
%792
%797
%801
%804
%807
%810
%813
%814
%815
%816
%818
%820
%822
%824
%826
%828
%830
%832
%834
%836
%838
%839
%840
%841
%842
%843
%844
%845
%846
%847
%848
%849
%851
%752
%852
%853
%854
%855
%856
%858
%860
%862
%863
%864
%865
%866
%867
%868
%871
%872
%874
%876
%877
%878
%880
%881
%882
%883
%884
(*.f64 %737 #s(literal 1 binary64))
%737
(*.f64 #s(literal 1 binary64) %737)
(*.f64 x %46)
(pow.f64 %737 #s(literal 1 binary64))
(/.f64 %805 %45)
(/.f64 %869 %46)
(/.f64 #s(literal 1 binary64) (pow.f64 %737 %47))
(/.f64 #s(literal 1 binary64) (pow.f64 %737 %50))
(/.f64 #s(literal 1 binary64) (pow.f64 %737 #s(literal -1 binary64)))
(neg.f64 %770)
(fma.f64 %221 y %17)
(fma.f64 %559 x x)
(fma.f64 %17 #s(literal 1 binary64) %900)
(fma.f64 %11 #s(literal 4 binary64) %900)
(fma.f64 #s(literal 1/2 binary64) %903 %900)
(fma.f64 #s(literal 2 binary64) x %900)
(fma.f64 %13 x %17)
(fma.f64 #s(literal 1 binary64) %17 %900)
(fma.f64 #s(literal 1 binary64) %900 %17)
(fma.f64 y %221 %17)
(fma.f64 x %559 x)
(fma.f64 x #s(literal 2 binary64) %900)
(fma.f64 x %13 %17)
(-.f64 %17 (*.f64 %23 %13))
(-.f64 %17 (*.f64 %39 x))
(-.f64 %17 (neg.f64 %900))
(-.f64 %900 (*.f64 %23 #s(literal 2 binary64)))
(-.f64 %900 (*.f64 #s(literal -2 binary64) x))
(-.f64 %900 (neg.f64 %17))
(+.f64 %925 x)
(+.f64 %927 x)
(+.f64 %17 %900)
(+.f64 %900 %17)
(+.f64 x %925)
(+.f64 x %927)
(*.f64 %739 #s(literal 1/2 binary64))
(*.f64 %934 #s(literal 2 binary64))
(*.f64 %738 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %738)
(pow.f64 %738 #s(literal 1 binary64))
(/.f64 %739 #s(literal 2 binary64))
(/.f64 %738 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %738 %47))
(/.f64 #s(literal 1 binary64) (pow.f64 %738 %50))
(/.f64 #s(literal 1 binary64) (pow.f64 %738 #s(literal -1 binary64)))
(neg.f64 %759)
(neg.f64 %761)
(neg.f64 %741)
(fma.f64 (*.f64 #s(literal -2 binary64) %3) #s(literal 1/2 binary64) %737)
(fma.f64 %739 #s(literal 1/2 binary64) %952)
(fma.f64 %739 #s(literal 1/2 binary64) %954)
(fma.f64 %934 #s(literal 2 binary64) %952)
(fma.f64 %934 #s(literal 2 binary64) %954)
(fma.f64 %221 y %958)
(fma.f64 %221 y %960)
(fma.f64 #s(literal -4 binary64) %8 %737)
(fma.f64 %17 #s(literal 1 binary64) %963)
(fma.f64 %17 #s(literal 1 binary64) %965)
(fma.f64 %11 #s(literal 4 binary64) %963)
(fma.f64 %11 #s(literal 4 binary64) %965)
(fma.f64 #s(literal -1 binary64) %3 %737)
(fma.f64 #s(literal -1 binary64) y %793)
(fma.f64 %522 #s(literal 1/2 binary64) %793)
(fma.f64 %522 #s(literal 1 binary64) %737)
(fma.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 4 binary64) %24) %737)
(fma.f64 #s(literal 1/2 binary64) %903 %963)
(fma.f64 #s(literal 1/2 binary64) %903 %965)
(fma.f64 #s(literal 1/2 binary64) %738 %977)
(fma.f64 %24 #s(literal 2 binary64) %737)
(fma.f64 %24 #s(literal 1 binary64) %793)
(fma.f64 %738 #s(literal 1/2 binary64) %934)
(fma.f64 %738 #s(literal 1 binary64) %952)
(fma.f64 %738 #s(literal 1 binary64) %954)
(fma.f64 %737 #s(literal 1 binary64) %522)
(fma.f64 %46 x %522)
(fma.f64 #s(literal -2 binary64) %8 %793)
%738
(fma.f64 %3 #s(literal -1 binary64) %737)
(fma.f64 %3 #s(literal -1/2 binary64) %793)
(fma.f64 #s(literal 2 binary64) (*.f64 %8 #s(literal -2 binary64)) %737)
(fma.f64 #s(literal 2 binary64) %77 %793)
(fma.f64 #s(literal 2 binary64) %24 %737)
(fma.f64 #s(literal 2 binary64) x %963)
(fma.f64 #s(literal 2 binary64) x %965)
(fma.f64 %13 x %958)
(fma.f64 %13 x %960)
(fma.f64 #s(literal 1 binary64) %17 %963)
(fma.f64 #s(literal 1 binary64) %17 %965)
(fma.f64 #s(literal 1 binary64) %900 %958)
(fma.f64 #s(literal 1 binary64) %900 %960)
(fma.f64 #s(literal 1 binary64) %793 %24)
(fma.f64 #s(literal 1 binary64) %522 %737)
(fma.f64 #s(literal 1 binary64) %24 %793)
(fma.f64 #s(literal 1 binary64) %738 %952)
(fma.f64 #s(literal 1 binary64) %738 %954)
(fma.f64 #s(literal 1 binary64) %737 %522)
(fma.f64 y %221 %958)
(fma.f64 y %221 %960)
(fma.f64 y #s(literal -1 binary64) %793)
(fma.f64 y #s(literal -2 binary64) %737)
(fma.f64 x %46 %522)
(fma.f64 x #s(literal 2 binary64) %963)
(fma.f64 x #s(literal 2 binary64) %965)
(fma.f64 x %13 %958)
(fma.f64 x %13 %960)
(-.f64 %793 y)
(-.f64 %522 %770)
(-.f64 %24 (-.f64 y %737))
(-.f64 %737 %3)
(+.f64 (fma.f64 #s(literal -2 binary64) y %17) %900)
(+.f64 (fma.f64 #s(literal -2 binary64) y %900) %17)
(+.f64 %934 %934)
(+.f64 %977 %977)
(+.f64 %17 %963)
(+.f64 %17 %965)
(+.f64 %900 %958)
(+.f64 %900 %960)
(+.f64 %793 %24)
(+.f64 %522 %737)
(+.f64 %24 %793)
(+.f64 %738 %952)
(+.f64 %738 %954)
(+.f64 %737 %522)
%740
%742
%746
%747
%748
%749
%751
%753
%754
%756
%758
%760
%762
%766
%769
%774
%777
%780
%783
%785
%788
%792
%797
%801
%804
%807
%810
%813
%814
%815
%816
%818
%820
%822
%824
%826
%828
%830
%832
%834
%836
%838
%839
%840
%841
%842
%843
%844
%845
%846
%847
%848
%849
%851
%752
%852
%853
%854
%855
%856
%858
%860
%862
%863
%864
%865
%866
%867
%868
%871
%872
%874
%876
%877
%878
%880
%881
%882
%883
%884
%740
%742
%746
%747
%748
%749
%751
%753
%754
%756
%758
%760
%762
%766
%769
%774
%777
%780
%783
%785
%788
%792
%797
%801
%804
%807
%810
%813
%814
%815
%816
%818
%820
%822
%824
%826
%828
%830
%832
%834
%836
%838
%839
%840
%841
%842
%843
%844
%845
%846
%847
%848
%849
%851
%752
%852
%853
%854
%855
%856
%858
%860
%862
%863
%864
%865
%866
%867
%868
%871
%872
%874
%876
%877
%878
%880
%881
%882
%883
%884
(*.f64 #s(literal 1 binary64) %1037)
(pow.f64 %1037 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1037 %47))
(/.f64 #s(literal 1 binary64) (pow.f64 %1037 %50))
(/.f64 #s(literal 1 binary64) (pow.f64 %1037 #s(literal -1 binary64)))
(neg.f64 (-.f64 %159 x))
(fma.f64 #s(literal 1 binary64) %168 x)
(-.f64 %168 %23)
%1037
(+.f64 %168 x)
(+.f64 x %168)
(*.f64 #s(literal 1 binary64) %1052)
(pow.f64 %1052 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1052 %47))
(/.f64 #s(literal 1 binary64) (pow.f64 %1052 %50))
(/.f64 #s(literal 1 binary64) (pow.f64 %1052 #s(literal -1 binary64)))
(neg.f64 (-.f64 %506 x))
(fma.f64 #s(literal 1 binary64) %515 x)
(-.f64 %515 %23)
%1052
(+.f64 %515 x)
(+.f64 x %515)
(*.f64 #s(literal 1 binary64) %1067)
(pow.f64 %1067 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1067 %47))
(/.f64 #s(literal 1 binary64) (pow.f64 %1067 %50))
(/.f64 #s(literal 1 binary64) (pow.f64 %1067 #s(literal -1 binary64)))
(neg.f64 (-.f64 %249 x))
(fma.f64 #s(literal 1 binary64) %258 x)
(-.f64 %258 %23)
%1067
(+.f64 %258 x)
(+.f64 x %258)
reconstruct90.0ms (5.9%)
Counts
1 033 → 264
Compiler
Compiled 1 033 to 1 564 computations (-51.4% saved)
eval23.0ms (1.5%)
Compiler
Compiled 227 to 932 computations (-310.6% saved)
prune3.0ms (0.2%)
Pruning
6 alts after pruning (3 fresh and 3 done)
PrunedKeptTotal
New2243227
Fresh000
Picked336
Done000
Total2276233
Accuracy
100.0%
Counts
233 → 6
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓99.9%
(fma.f64 y (/.f64 #s(literal -2 binary64) (fma.f64 y x #s(literal 2 binary64))) x)
▶66.2%
(fma.f64 y (approx (/ -2 (+ (* y x) 2)) (-.f64 (*.f64 #s(literal 1/2 binary64) (*.f64 x y)) #s(literal 1 binary64))) x)
▶77.7%
%22 = (fma.f64 y x #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) y (*.f64 %22 x)) %22)
▶38.2%
(/.f64 (approx (- (* (+ (* y x) 2) x) (+ y y)) (*.f64 #s(literal -2 binary64) y)) (fma.f64 y x #s(literal 2 binary64)))
✓61.5%
(-.f64 x (approx (/ y (+ 1 (/ (* x y) 2))) (/.f64 #s(literal 2 binary64) x)))
✓76.9%
(-.f64 x (approx (/ y (+ 1 (/ (* x y) 2))) y))
Compiler
Compiled 6 to 21 computations (-250.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series26.0ms (1.7%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
04772442
Stop Event
1×iter-limit
Counts
18 → 86
Calls
Call 1
Inputs
%3 = (*.f64 x y)
%6 = (*.f64 #s(literal 1/2 binary64) %3)
%7 = (-.f64 %6 #s(literal 1 binary64))
%9 = (fma.f64 y x #s(literal 2 binary64))
%10 = (*.f64 %9 x)
%14 = (+ (* y x) 2)
%16 = (approx (/ -2 %14) %7)
%17 = (*.f64 #s(literal -2 binary64) y)
%21 = (approx (- (* %14 x) (+ y y)) %17)
%22 = (fma.f64 #s(literal -2 binary64) y %10)
x
y
#s(literal 1 binary64)
%3
#s(literal 2 binary64)
#s(literal 1/2 binary64)
%6
%7
#s(literal -2 binary64)
%9
%10
%16
%17
%21
%22
(/.f64 %22 %9)
(/.f64 %21 %9)
(fma.f64 y %16 x)
Outputs
%5 = (* x y)
%6 = (*.f64 x y)
%9 = (* 1/2 %5)
%11 = (*.f64 #s(literal 1/2 binary64) %6)
%14 = (- %9 1)
%18 = (-.f64 %11 #s(literal 1 binary64))
%22 = (+ (* y x) 2)
%25 = (+.f64 #s(literal 2 binary64) %6)
%27 = (* %22 x)
%28 = (*.f64 #s(literal 2 binary64) x)
%30 = (*.f64 x %25)
%33 = (/ -2 %22)
%35 = (pow.f64 y #s(literal 2 binary64))
%36 = (*.f64 x %35)
%39 = (*.f64 #s(literal -1/2 binary64) y)
%46 = (pow.f64 y #s(literal 3 binary64))
%47 = (*.f64 x %46)
%58 = (- %27 (+ y y))
%62 = (*.f64 #s(literal 2 binary64) y)
%68 = (+ (* -2 y) %27)
%73 = (/ %68 %22)
%74 = (*.f64 #s(literal -1 binary64) y)
%76 = (*.f64 #s(literal -1/2 binary64) %35)
%77 = (-.f64 #s(literal 1 binary64) %76)
%81 = (*.f64 #s(literal 1/2 binary64) y)
%83 = (*.f64 #s(literal 1/2 binary64) (*.f64 y %77))
%84 = (-.f64 %81 %83)
%102 = (+ (* y %33) x)
%103 = (*.f64 #s(literal 1/2 binary64) %35)
%114 = (pow.f64 y #s(literal 4 binary64))
%115 = (*.f64 x %114)
%124 = (/.f64 #s(literal 1 binary64) x)
%128 = (*.f64 #s(literal 2 binary64) %124)
%129 = (+.f64 y %128)
%132 = (pow.f64 x #s(literal 2 binary64))
%133 = (*.f64 %132 y)
%139 = (/.f64 #s(literal 1 binary64) %36)
%140 = (*.f64 #s(literal 4 binary64) %139)
%141 = (/.f64 #s(literal 1 binary64) y)
%142 = (*.f64 #s(literal 2 binary64) %141)
%146 = (/.f64 #s(literal 4 binary64) %36)
%148 = (*.f64 %132 %46)
%155 = (pow.f64 x #s(literal 3 binary64))
%170 = (/.f64 #s(literal 1 binary64) %132)
%171 = (*.f64 #s(literal 2 binary64) %170)
%175 = (*.f64 %155 y)
%177 = (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) %175))
%181 = (/.f64 #s(literal 1 binary64) %175)
%184 = (pow.f64 x #s(literal 4 binary64))
%204 = (*.f64 #s(literal 4 binary64) (/.f64 #s(literal 1 binary64) %35))
%254 = (*.f64 #s(literal -1/2 binary64) x)
%267 = (-.f64 %132 #s(literal 2 binary64))
%268 = (*.f64 y %267)
%271 = (*.f64 #s(literal 1/2 binary64) %267)
%272 = (*.f64 #s(literal 1/2 binary64) %132)
%273 = (-.f64 %271 %272)
%274 = (*.f64 y %273)
%299 = (*.f64 #s(literal 1/2 binary64) x)
%309 = (+.f64 x %142)
%312 = (/.f64 x y)
%313 = (fma.f64 #s(literal 2 binary64) %312 %132)
%317 = (*.f64 #s(literal 4 binary64) (/.f64 #s(literal 1 binary64) %133))
%321 = (/.f64 #s(literal 4 binary64) %133)
%322 = (*.f64 %155 %35)
%324 = (fma.f64 #s(literal 2 binary64) %124 (/.f64 #s(literal 8 binary64) %322))
%330 = (fma.f64 #s(literal 16 binary64) (/.f64 #s(literal 1 binary64) (*.f64 %184 %46)) %321)
%333 = (fma.f64 #s(literal 2 binary64) %124 (*.f64 #s(literal 8 binary64) (/.f64 #s(literal 1 binary64) %322)))
%344 = (fma.f64 #s(literal 2 binary64) (/.f64 %267 %133) %128)
%349 = (-.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) (/.f64 %267 %132)))
%350 = (/.f64 %349 %36)
%381 = (*.f64 #s(literal -1 binary64) %132)
%382 = (fma.f64 #s(literal -2 binary64) %312 %381)
%390 = (*.f64 #s(literal 4 binary64) %170)
%391 = (*.f64 #s(literal 8 binary64) %181)
%399 = (*.f64 #s(literal 8 binary64) (/.f64 #s(literal 1 binary64) %155))
%402 = (*.f64 #s(literal 16 binary64) (/.f64 #s(literal 1 binary64) (*.f64 %184 y)))
%411 = (+.f64 #s(literal 2 binary64) %381)
%419 = (/.f64 %411 x)
%428 = (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) (/.f64 %411 %132)))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 %6)
(approx %9 %11)
(approx %14 #s(literal -1 binary64))
(approx %14 %18)
(approx %22 #s(literal 2 binary64))
(approx %22 %25)
(approx %27 %28)
(approx %27 %30)
(approx %33 (-.f64 (*.f64 x (-.f64 (*.f64 #s(literal -1/4 binary64) %36) %39)) #s(literal 1 binary64)))
(approx %33 (-.f64 (*.f64 x (-.f64 (*.f64 x (-.f64 (*.f64 #s(literal 1/8 binary64) %47) (*.f64 #s(literal 1/4 binary64) %35))) %39)) #s(literal 1 binary64)))
(approx %58 (*.f64 #s(literal -2 binary64) y))
(approx %58 (-.f64 %28 %62))
(approx %58 (-.f64 %30 %62))
(approx %68 (fma.f64 #s(literal -2 binary64) y %28))
(approx %68 (fma.f64 #s(literal -2 binary64) y %30))
(approx %73 %74)
(approx %73 (fma.f64 #s(literal -1 binary64) y (*.f64 x %77)))
(approx %73 (fma.f64 #s(literal -1 binary64) y (*.f64 x (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 x %84)) %76))))
(approx %73 (fma.f64 #s(literal -1 binary64) y (*.f64 x (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 x (-.f64 (fma.f64 #s(literal -1/2 binary64) (*.f64 x (*.f64 y %84)) %81) %83))) %76))))
(approx %102 (fma.f64 #s(literal -1 binary64) y (*.f64 x (+.f64 #s(literal 1 binary64) %103))))
(approx %102 (fma.f64 #s(literal -1 binary64) y (*.f64 x (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1/4 binary64) %47 %103)))))
(approx %102 (fma.f64 #s(literal -1 binary64) y (*.f64 x (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal 1/2 binary64) %35 (*.f64 x (fma.f64 #s(literal -1/4 binary64) %46 (*.f64 #s(literal 1/8 binary64) %115))))))))
(approx %14 (*.f64 x (-.f64 %81 %124)))
(approx %22 (*.f64 x %129))
(approx %27 %133)
(approx %27 (*.f64 %132 %129))
(approx %33 (/.f64 #s(literal -2 binary64) %6))
(approx %33 (/.f64 (-.f64 %140 %142) x))
(approx %33 (/.f64 (-.f64 %146 (fma.f64 #s(literal 2 binary64) %141 (/.f64 #s(literal 8 binary64) %148))) x))
(approx %33 (/.f64 (-.f64 (fma.f64 #s(literal 16 binary64) (/.f64 #s(literal 1 binary64) (*.f64 %155 %114)) %146) (fma.f64 #s(literal 2 binary64) %141 (*.f64 #s(literal 8 binary64) (/.f64 #s(literal 1 binary64) %148)))) x))
(approx %58 (*.f64 %132 (+.f64 y (fma.f64 #s(literal -2 binary64) (/.f64 y %132) %128))))
(approx %73 (*.f64 x (-.f64 #s(literal 1 binary64) %171)))
(approx %73 (*.f64 x (-.f64 %177 %171)))
(approx %73 (*.f64 x (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 4 binary64) %181)) (fma.f64 #s(literal 8 binary64) (/.f64 #s(literal 1 binary64) (*.f64 %184 %35)) %171))))
(approx %14 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1/2 binary64) y %124))))
(approx %22 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %74 %128))))
(approx %33 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %142 %140) x)))
(approx %33 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 %204 (*.f64 #s(literal 8 binary64) (/.f64 #s(literal 1 binary64) %47))) x) %142) x)))
(approx %33 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal 8 binary64) (/.f64 #s(literal 1 binary64) %46)) (*.f64 #s(literal 16 binary64) (/.f64 #s(literal 1 binary64) %115))) x) %204) x) %142) x)))
(approx %58 (*.f64 %132 (+.f64 y (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal 2 binary64) (/.f64 y x)) #s(literal 2 binary64)) x)))))
(approx %73 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %171 #s(literal 1 binary64)))))
(approx %73 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %171 %177))))
(approx %73 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal 4 binary64) %141) (*.f64 #s(literal 8 binary64) %139)) %155) %171) #s(literal 1 binary64)))))
(approx y y)
(approx %27 (fma.f64 #s(literal 2 binary64) x %133))
(approx %33 (-.f64 (*.f64 y (-.f64 (*.f64 #s(literal -1/4 binary64) %133) %254)) #s(literal 1 binary64)))
(approx %33 (-.f64 (*.f64 y (-.f64 (*.f64 y (-.f64 (*.f64 #s(literal 1/8 binary64) %175) (*.f64 #s(literal 1/4 binary64) %132))) %254)) #s(literal 1 binary64)))
(approx %58 (fma.f64 #s(literal 2 binary64) x %268))
(approx %73 (+.f64 x %274))
(approx %73 (+.f64 x (*.f64 y (-.f64 (fma.f64 #s(literal -1/2 binary64) (*.f64 x %274) %271) %272))))
(approx %73 (+.f64 x (*.f64 y (-.f64 (fma.f64 #s(literal 1/2 binary64) %267 (*.f64 y (-.f64 (*.f64 #s(literal 1/4 binary64) (*.f64 %132 %274)) (*.f64 #s(literal 1/2 binary64) (*.f64 x %273))))) %272))))
(approx %102 (+.f64 x %74))
(approx %102 (+.f64 x (*.f64 y %18)))
(approx %102 (+.f64 x (*.f64 y (-.f64 (*.f64 y (fma.f64 #s(literal -1/4 binary64) %133 %299)) #s(literal 1 binary64)))))
(approx %14 (*.f64 y (-.f64 %299 %141)))
(approx %22 (*.f64 y %309))
(approx %27 (*.f64 y %313))
(approx %33 (/.f64 (-.f64 %317 %128) y))
(approx %33 (/.f64 (-.f64 %321 %324) y))
(approx %33 (/.f64 (-.f64 %330 %333) y))
(approx %58 %268)
(approx %58 (*.f64 y (-.f64 %313 #s(literal 2 binary64))))
(approx %73 (/.f64 %267 x))
(approx %73 (-.f64 %309 %344))
(approx %73 (-.f64 (+.f64 x (fma.f64 #s(literal -2 binary64) %350 %142)) %344))
(approx %73 (-.f64 (+.f64 x (fma.f64 #s(literal 4 binary64) (/.f64 %349 %148) %142)) (fma.f64 #s(literal 2 binary64) %350 %344)))
(approx %102 (-.f64 x %128))
(approx %102 (-.f64 (+.f64 x %317) %128))
(approx %102 (-.f64 (+.f64 x %321) %324))
(approx %102 (-.f64 (+.f64 x %330) %333))
(approx %14 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1/2 binary64) x %141))))
(approx %22 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) x) %142))))
(approx %27 (*.f64 #s(literal -1 binary64) (*.f64 y %382)))
(approx %33 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %128 %317) y)))
(approx %33 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 %390 %391) y) %128) y)))
(approx %33 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 %399 %402) y) %390) y) %128) y)))
(approx %58 (*.f64 #s(literal -1 binary64) (*.f64 y %411)))
(approx %58 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 #s(literal 2 binary64) %382))))
(approx %73 (*.f64 #s(literal -1 binary64) %419))
(approx %73 (fma.f64 #s(literal -1 binary64) %419 (fma.f64 #s(literal 2 binary64) (/.f64 %411 %133) %142)))
(approx %73 (fma.f64 #s(literal -1 binary64) %419 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal 2 binary64) (/.f64 %428 %6)) %428) y))))
(approx %73 (fma.f64 #s(literal -1 binary64) %419 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal 4 binary64) (/.f64 %428 %133)) (*.f64 #s(literal 2 binary64) (/.f64 %428 x))) y)) %428) y))))
(approx %102 (-.f64 (+.f64 x (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %391 %390) y))) %128))
(approx %102 (-.f64 (+.f64 x (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %402 %399) y)) %390) y))) %128))
Calls
6 calls:
TimeVariablePoint
2.0ms
y
inf
2.0ms
x
inf
2.0ms
y
-inf
2.0ms
x
-inf
1.0ms
y
0
rewrite88.0ms (5.8%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
024121
037121
1118115
2344115
31579115
04201115
04692111
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
18 → 561
Calls
Call 1
Inputs
%3 = (*.f64 x y)
%6 = (*.f64 #s(literal 1/2 binary64) %3)
%7 = (-.f64 %6 #s(literal 1 binary64))
%9 = (fma.f64 y x #s(literal 2 binary64))
%10 = (*.f64 %9 x)
%14 = (+ (* y x) 2)
%16 = (approx (/ -2 %14) %7)
%17 = (*.f64 #s(literal -2 binary64) y)
%21 = (approx (- (* %14 x) (+ y y)) %17)
%22 = (fma.f64 #s(literal -2 binary64) y %10)
x
y
#s(literal 1 binary64)
%3
#s(literal 2 binary64)
#s(literal 1/2 binary64)
%6
%7
#s(literal -2 binary64)
%9
%10
%16
%17
%21
%22
(/.f64 %22 %9)
(/.f64 %21 %9)
(fma.f64 y %16 x)
Outputs
%3 = (*.f64 y x)
%8 = (-.f64 #s(literal -2 binary64) %3)
%10 = (fma.f64 y x #s(literal 2 binary64))
%11 = (/.f64 %8 %10)
%18 = (*.f64 #s(literal 1/2 binary64) y)
%20 = (*.f64 #s(literal 1/2 binary64) x)
%22 = (*.f64 #s(literal 1/2 binary64) %3)
%32 = (fma.f64 y x #s(literal -2 binary64))
%33 = (*.f64 %32 #s(literal 1/2 binary64))
%43 = (-.f64 (*.f64 %22 #s(literal 2 binary64)) #s(literal 2 binary64))
%84 = (*.f64 (*.f64 #s(literal -1/2 binary64) y) x)
%95 = (fma.f64 %3 #s(literal 2 binary64) #s(literal 2 binary64))
%98 = (fma.f64 y x #s(literal 1 binary64))
%99 = (fma.f64 %98 #s(literal 2 binary64) #s(literal 2 binary64))
%108 = (*.f64 #s(literal 2 binary64) %8)
%111 = (*.f64 #s(literal 2 binary64) %10)
%166 = (/.f64 #s(literal 1 binary64) %10)
%175 = (neg.f64 y)
%176 = (*.f64 %175 x)
%190 = (neg.f64 %176)
%202 = (neg.f64 x)
%205 = (*.f64 %10 x)
%213 = (*.f64 %8 x)
%215 = (*.f64 x x)
%216 = (+.f64 x x)
%219 = (*.f64 %3 x)
%222 = (*.f64 #s(literal 4 binary64) x)
%244 = (*.f64 x %98)
%246 = (*.f64 %98 x)
%254 = (- (* y x) -2)
%256 = (approx (/ -2 %254) %33)
%264 = (/.f64 #s(literal -2 binary64) %10)
%265 = (*.f64 %264 y)
%267 = (*.f64 #s(literal -2 binary64) y)
%270 = (/.f64 y %10)
%271 = (*.f64 %270 %10)
%273 = (*.f64 #s(literal 4 binary64) %175)
%277 = (*.f64 %264 %10)
%281 = (*.f64 %267 %10)
%284 = (*.f64 %267 %8)
%286 = (+.f64 y y)
%287 = (*.f64 %286 %10)
%297 = (*.f64 %267 #s(literal 2 binary64))
%298 = (/.f64 #s(literal 1/2 binary64) %10)
%300 = (/.f64 (*.f64 %98 %267) %10)
%303 = (/.f64 (*.f64 %267 %98) %10)
%305 = (*.f64 %98 %265)
%311 = (*.f64 #s(literal -1 binary64) y)
%316 = (*.f64 %265 #s(literal 1 binary64))
%318 = (*.f64 %265 %3)
%320 = (*.f64 %265 #s(literal 2 binary64))
%322 = (*.f64 %265 %98)
%324 = (/.f64 #s(literal -1 binary64) %10)
%337 = (*.f64 %175 %166)
%341 = (/.f64 y %8)
%345 = (*.f64 %3 %265)
%347 = (*.f64 #s(literal 2 binary64) %265)
%353 = (*.f64 y #s(literal -1 binary64))
%359 = (/.f64 %297 %10)
%361 = (/.f64 (*.f64 %267 %3) %10)
%365 = (/.f64 (*.f64 #s(literal 2 binary64) %267) %10)
%367 = (/.f64 (*.f64 %3 %267) %10)
%389 = (approx (- (* %254 x) (* 2 y)) %267)
%390 = (*.f64 %389 #s(literal 2 binary64))
%392 = (*.f64 %389 #s(literal 1/2 binary64))
%404 = (*.f64 %389 #s(literal -1 binary64))
%406 = (neg.f64 %389)
%408 = (*.f64 %389 #s(literal 0 binary64))
%410 = (*.f64 #s(literal 0 binary64) %389)
%417 = (*.f64 #s(literal 1/2 binary64) %389)
%425 = (fma.f64 %10 x %267)
%426 = (*.f64 %425 #s(literal 2 binary64))
%428 = (*.f64 %425 #s(literal 1/2 binary64))
%431 = (fma.f64 %264 y x)
%442 = (fma.f64 %8 x %286)
%443 = (*.f64 %442 #s(literal 1 binary64))
%445 = (*.f64 %425 #s(literal -1 binary64))
%448 = (fma.f64 #s(literal 2 binary64) x %267)
%450 = (-.f64 %216 %286)
%452 = (*.f64 %425 #s(literal 0 binary64))
%454 = (*.f64 #s(literal 0 binary64) %425)
%458 = (fma.f64 %215 y %267)
%460 = (-.f64 %219 %286)
%480 = (*.f64 #s(literal 1/2 binary64) %425)
%491 = (-.f64 %205 y)
%508 = (-.f64 y %205)
%512 = (fma.f64 #s(literal -2 binary64) y %216)
%514 = (fma.f64 #s(literal -2 binary64) y %219)
%529 = (*.f64 %10 %425)
%530 = (*.f64 %10 %10)
%531 = (/.f64 #s(literal 1 binary64) %530)
%537 = (*.f64 %298 %425)
%541 = (*.f64 %267 #s(literal -1 binary64))
%550 = (*.f64 %205 #s(literal -1 binary64))
%555 = (*.f64 %205 #s(literal 1 binary64))
%566 = (*.f64 %530 x)
%574 = (*.f64 %10 %175)
%577 = (*.f64 %8 %541)
%580 = (*.f64 %8 %286)
%583 = (*.f64 %8 %267)
%585 = (*.f64 %8 %10)
%587 = (*.f64 %10 %541)
%589 = (*.f64 %10 %8)
%591 = (*.f64 %10 %286)
%600 = (*.f64 %8 %550)
%603 = (*.f64 %8 %555)
%606 = (*.f64 %8 %213)
%609 = (*.f64 %8 %205)
%639 = (*.f64 %213 %8)
%642 = (*.f64 %205 %8)
%651 = (*.f64 %213 %10)
%662 = (*.f64 %286 %8)
%667 = (*.f64 #s(literal -1 binary64) %425)
%670 = (/.f64 %529 %10)
%673 = (fma.f64 %265 %8 %213)
%676 = (fma.f64 %213 %8 %662)
%678 = (neg.f64 %530)
%680 = (fma.f64 %213 %10 %284)
%683 = (fma.f64 %205 %8 %287)
%686 = (fma.f64 %286 %8 %639)
%689 = (fma.f64 %286 %10 %642)
%692 = (fma.f64 %267 %8 %651)
%695 = (fma.f64 %213 %8 %580)
%698 = (fma.f64 %213 %10 %583)
%701 = (fma.f64 %205 %8 %591)
%704 = (fma.f64 %286 %8 %606)
%707 = (fma.f64 %286 %10 %609)
%710 = (*.f64 %10 %213)
%711 = (fma.f64 %267 %8 %710)
%714 = (-.f64 %287 %606)
%717 = (-.f64 %281 %710)
%720 = (neg.f64 %529)
%759 = (/.f64 %286 %10)
%762 = (/.f64 %452 %10)
%764 = (/.f64 %454 %10)
%773 = (*.f64 %166 %175)
%795 = (+.f64 %341 x)
%807 = (/.f64 %639 %530)
%810 = (/.f64 %662 %530)
%812 = (/.f64 %651 %585)
%815 = (/.f64 %281 %530)
%827 = (/.f64 %219 %10)
%830 = (/.f64 %216 %10)
%832 = (/.f64 %428 %10)
%834 = (/.f64 %480 %10)
%840 = (/.f64 %566 %530)
%868 = (*.f64 %298 %389)
%870 = (/.f64 %389 %10)
%873 = (*.f64 %406 #s(literal 1 binary64))
%876 = (*.f64 #s(literal -1 binary64) %389)
%893 = (/.f64 %408 %10)
%895 = (/.f64 %410 %10)
%909 = (/.f64 %392 %10)
%911 = (/.f64 %417 %10)
%915 = (fma.f64 %256 y x)
%922 = (*.f64 %175 %256)
%927 = (*.f64 %256 y)
x
y
#s(literal 1 binary64)
(*.f64 #s(literal 1 binary64) %3)
%3
(*.f64 x y)
(pow.f64 %3 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %3 %11))
(/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -1 binary64)))
#s(literal 2 binary64)
#s(literal 1/2 binary64)
(*.f64 %18 x)
(*.f64 %20 y)
%22
(*.f64 %3 #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) %22)
(*.f64 y %20)
(*.f64 x %18)
(pow.f64 %22 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %22 %11))
(/.f64 #s(literal 1 binary64) (pow.f64 %22 #s(literal -1 binary64)))
%33
(*.f64 #s(literal -1/2 binary64) (-.f64 #s(literal 2 binary64) %3))
(*.f64 #s(literal 1/2 binary64) (+.f64 #s(literal -2 binary64) %3))
(*.f64 #s(literal 1/2 binary64) %32)
(*.f64 #s(literal 1 binary64) %33)
(pow.f64 %33 #s(literal 1 binary64))
(/.f64 (-.f64 %43 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %43 #s(literal 4 binary64)) #s(literal 0 binary64)) #s(literal 8 binary64))
(/.f64 (-.f64 (*.f64 %43 #s(literal -2 binary64)) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (-.f64 (*.f64 %43 #s(literal 1/2 binary64)) #s(literal 0 binary64)) #s(literal 1 binary64))
(/.f64 (-.f64 (*.f64 %43 #s(literal 2 binary64)) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %43 #s(literal 1 binary64)) #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (neg.f64 %43) #s(literal -2 binary64))
(/.f64 %43 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %33 %11))
(/.f64 #s(literal 1 binary64) (pow.f64 %33 #s(literal -1 binary64)))
(neg.f64 (*.f64 #s(literal -1/2 binary64) %32))
(fma.f64 %18 x #s(literal -1 binary64))
(fma.f64 %20 y #s(literal -1 binary64))
(fma.f64 #s(literal 1/2 binary64) %3 #s(literal -1 binary64))
(fma.f64 %3 #s(literal 1/2 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal 1 binary64) %22 #s(literal -1 binary64))
(fma.f64 y %20 #s(literal -1 binary64))
(fma.f64 x %18 #s(literal -1 binary64))
(-.f64 (-.f64 %22 #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(-.f64 #s(literal -1 binary64) %84)
(-.f64 %33 #s(literal 0 binary64))
(-.f64 %22 #s(literal 1 binary64))
(+.f64 #s(literal -1 binary64) (neg.f64 %84))
(+.f64 #s(literal -1 binary64) %22)
(+.f64 %22 #s(literal -1 binary64))
#s(literal -2 binary64)
(*.f64 %10 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %10)
(pow.f64 %10 #s(literal 1 binary64))
(/.f64 (+.f64 %95 #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (+.f64 %99 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal 2 binary64) %95) #s(literal 2 binary64))
(/.f64 (-.f64 %95 #s(literal -2 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %95 #s(literal 4 binary64) #s(literal 8 binary64)) #s(literal 8 binary64))
(/.f64 (fma.f64 %95 %8 %108) %108)
(/.f64 (fma.f64 %95 %10 %111) %111)
(/.f64 (fma.f64 %95 #s(literal -2 binary64) #s(literal -4 binary64)) #s(literal -4 binary64))
(/.f64 (fma.f64 %95 #s(literal 1/2 binary64) #s(literal 1 binary64)) #s(literal 1 binary64))
(/.f64 (fma.f64 %95 #s(literal 2 binary64) #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %95 #s(literal 1 binary64) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %99 #s(literal 4 binary64) #s(literal 0 binary64)) #s(literal 8 binary64))
(/.f64 (fma.f64 %99 #s(literal -2 binary64) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (fma.f64 %99 #s(literal 1/2 binary64) #s(literal 0 binary64)) #s(literal 1 binary64))
(/.f64 (fma.f64 %99 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %99 #s(literal 1 binary64) #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal 8 binary64) (*.f64 #s(literal 4 binary64) %95)) #s(literal 8 binary64))
(/.f64 (fma.f64 %8 #s(literal 2 binary64) (*.f64 %8 %95)) (*.f64 %8 #s(literal 2 binary64)))
(/.f64 (fma.f64 %10 #s(literal 2 binary64) (*.f64 %10 %95)) (*.f64 %10 #s(literal 2 binary64)))
(/.f64 (+.f64 #s(literal -4 binary64) (*.f64 #s(literal -2 binary64) %95)) #s(literal -4 binary64))
(/.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 1/2 binary64) %95)) #s(literal 1 binary64))
(/.f64 (+.f64 #s(literal 4 binary64) (*.f64 #s(literal 2 binary64) %95)) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 1 binary64) %95)) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %95 #s(literal 2 binary64)) #s(literal -4 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %95 #s(literal -2 binary64)) #s(literal 4 binary64)) #s(literal -4 binary64))
(/.f64 (neg.f64 %99) #s(literal -2 binary64))
(/.f64 %99 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %10 %11))
(/.f64 #s(literal 1 binary64) %166)
(neg.f64 %8)
(fma.f64 %10 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %98 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %10 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %3 #s(literal 2 binary64))
%10
(fma.f64 x y #s(literal 2 binary64))
(-.f64 %98 #s(literal -1 binary64))
(-.f64 #s(literal 2 binary64) %176)
(-.f64 %3 #s(literal -2 binary64))
(-.f64 #s(literal 1 binary64) (-.f64 #s(literal -1 binary64) %3))
(-.f64 #s(literal 1 binary64) (+.f64 #s(literal -1 binary64) %176))
(-.f64 #s(literal 1 binary64) (neg.f64 %98))
(+.f64 (/.f64 (*.f64 %98 #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 1 binary64))
(+.f64 (+.f64 %98 #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(+.f64 %190 #s(literal 2 binary64))
(+.f64 %98 #s(literal 1 binary64))
(+.f64 %10 #s(literal 0 binary64))
(+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1/2 binary64) %98))
(+.f64 #s(literal 2 binary64) %190)
(+.f64 #s(literal 2 binary64) %3)
(+.f64 %3 #s(literal 2 binary64))
(+.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) %98))
(+.f64 #s(literal 1 binary64) %98)
(*.f64 %202 %8)
(*.f64 %8 %202)
%205
(*.f64 #s(literal 1 binary64) %205)
(*.f64 x %10)
(pow.f64 %205 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %205 %11))
(/.f64 #s(literal 1 binary64) (pow.f64 %205 #s(literal -1 binary64)))
(neg.f64 %213)
(fma.f64 %215 y %216)
(fma.f64 %98 x x)
(fma.f64 %216 #s(literal 1 binary64) %219)
(fma.f64 %20 #s(literal 4 binary64) %219)
(fma.f64 #s(literal 1/2 binary64) %222 %219)
(fma.f64 #s(literal 2 binary64) x %219)
(fma.f64 %3 x %216)
(fma.f64 #s(literal 1 binary64) %216 %219)
(fma.f64 #s(literal 1 binary64) %219 %216)
(fma.f64 y %215 %216)
(fma.f64 x %98 x)
(fma.f64 x #s(literal 2 binary64) %219)
(fma.f64 x %3 %216)
(-.f64 %216 (*.f64 %202 %3))
(-.f64 %216 (*.f64 %176 x))
(-.f64 %216 (neg.f64 %219))
(-.f64 %219 (*.f64 %202 #s(literal 2 binary64)))
(-.f64 %219 (*.f64 #s(literal -2 binary64) x))
(-.f64 %219 (neg.f64 %216))
(+.f64 %244 x)
(+.f64 %246 x)
(+.f64 %216 %219)
(+.f64 %219 %216)
(+.f64 x %244)
(+.f64 x %246)
(*.f64 #s(literal 1 binary64) %256)
(pow.f64 %256 #s(literal 1 binary64))
%256
(/.f64 #s(literal 1 binary64) (pow.f64 %256 %11))
(/.f64 #s(literal 1 binary64) (pow.f64 %256 #s(literal -1 binary64)))
(*.f64 %175 #s(literal 2 binary64))
(*.f64 %265 %10)
(*.f64 %267 #s(literal 1 binary64))
(*.f64 %10 %265)
(*.f64 #s(literal -2 binary64) %271)
%267
(*.f64 #s(literal 1/2 binary64) %273)
(*.f64 #s(literal 2 binary64) %175)
(*.f64 #s(literal 1 binary64) %267)
(*.f64 y %277)
(*.f64 y #s(literal -2 binary64))
(pow.f64 %267 #s(literal 1 binary64))
(/.f64 (neg.f64 %281) %8)
(/.f64 %284 %8)
(/.f64 %287 %8)
(/.f64 %281 %10)
(/.f64 #s(literal 1 binary64) (pow.f64 %267 %11))
(/.f64 #s(literal 1 binary64) (pow.f64 %267 #s(literal -1 binary64)))
(neg.f64 (*.f64 %265 %8))
(neg.f64 %286)
(fma.f64 %297 %298 %300)
(fma.f64 %297 %298 %303)
(fma.f64 %297 %298 %305)
(fma.f64 %98 %265 %265)
(fma.f64 %270 #s(literal -2 binary64) %300)
(fma.f64 %270 #s(literal -2 binary64) %303)
(fma.f64 %270 #s(literal -2 binary64) %305)
(fma.f64 #s(literal -1 binary64) y %311)
(fma.f64 %166 %267 %300)
(fma.f64 %166 %267 %303)
(fma.f64 %166 %267 %305)
(fma.f64 %265 %98 %316)
(fma.f64 %265 #s(literal 2 binary64) %318)
(fma.f64 %265 %3 %320)
(fma.f64 %265 #s(literal 1 binary64) %322)
(fma.f64 %286 %324 %300)
(fma.f64 %286 %324 %303)
(fma.f64 %286 %324 %305)
(fma.f64 %267 %166 %300)
(fma.f64 %267 %166 %303)
(fma.f64 %267 %166 %305)
(fma.f64 %264 y %300)
(fma.f64 %264 y %303)
(fma.f64 %264 y %305)
(fma.f64 #s(literal -2 binary64) %270 %300)
(fma.f64 #s(literal -2 binary64) %270 %303)
(fma.f64 #s(literal -2 binary64) %270 %305)
(fma.f64 #s(literal 2 binary64) %337 %300)
(fma.f64 #s(literal 2 binary64) %337 %303)
(fma.f64 #s(literal 2 binary64) %337 %305)
(fma.f64 #s(literal 2 binary64) %341 %300)
(fma.f64 #s(literal 2 binary64) %341 %303)
(fma.f64 #s(literal 2 binary64) %341 %305)
(fma.f64 #s(literal 2 binary64) %265 %345)
(fma.f64 %3 %265 %347)
(fma.f64 #s(literal 1 binary64) %175 %175)
(fma.f64 #s(literal 1 binary64) %265 %300)
(fma.f64 #s(literal 1 binary64) %265 %303)
(fma.f64 #s(literal 1 binary64) %265 %305)
(fma.f64 y #s(literal -1 binary64) %353)
(fma.f64 y %264 %300)
(fma.f64 y %264 %303)
(fma.f64 y %264 %305)
(-.f64 %175 y)
(+.f64 %359 %361)
(+.f64 %361 %359)
(+.f64 %365 %367)
(+.f64 %367 %365)
(+.f64 %300 %265)
(+.f64 %303 %265)
(+.f64 %353 %353)
(+.f64 %322 %316)
(+.f64 %320 %318)
(+.f64 %318 %320)
(+.f64 %316 %322)
(+.f64 %311 %311)
(+.f64 %305 %265)
(+.f64 %347 %345)
(+.f64 %345 %347)
(+.f64 %175 %175)
(+.f64 %265 %300)
(+.f64 %265 %303)
(+.f64 %265 %305)
(*.f64 %390 #s(literal 1/2 binary64))
(*.f64 %392 #s(literal 2 binary64))
(*.f64 %389 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %389)
(pow.f64 %389 #s(literal 1 binary64))
%389
(/.f64 (neg.f64 %390) #s(literal -2 binary64))
(/.f64 %390 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %389 %11))
(/.f64 #s(literal 1 binary64) (pow.f64 %389 #s(literal -1 binary64)))
(neg.f64 %404)
(neg.f64 %406)
(fma.f64 %390 #s(literal 1/2 binary64) %408)
(fma.f64 %390 #s(literal 1/2 binary64) %410)
(fma.f64 %392 #s(literal 2 binary64) %408)
(fma.f64 %392 #s(literal 2 binary64) %410)
(fma.f64 %389 #s(literal 1/2 binary64) %392)
(fma.f64 %389 #s(literal 1 binary64) %408)
(fma.f64 %389 #s(literal 1 binary64) %410)
(fma.f64 #s(literal 1/2 binary64) %389 %417)
(fma.f64 #s(literal 1 binary64) %389 %408)
(fma.f64 #s(literal 1 binary64) %389 %410)
(+.f64 %392 %392)
(+.f64 %417 %417)
(+.f64 %389 %408)
(+.f64 %389 %410)
(*.f64 %426 #s(literal 1/2 binary64))
(*.f64 %428 #s(literal 2 binary64))
(*.f64 %425 #s(literal 1 binary64))
(*.f64 %10 %431)
(*.f64 #s(literal 1 binary64) %425)
(pow.f64 %425 #s(literal 1 binary64))
(/.f64 (neg.f64 %426) #s(literal -2 binary64))
(/.f64 %426 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %425 %11))
(/.f64 #s(literal 1 binary64) (pow.f64 %425 #s(literal -1 binary64)))
(neg.f64 %443)
(neg.f64 %445)
(neg.f64 %442)
(fma.f64 %215 y %448)
(fma.f64 %215 y %450)
(fma.f64 %426 #s(literal 1/2 binary64) %452)
(fma.f64 %426 #s(literal 1/2 binary64) %454)
(fma.f64 %428 #s(literal 2 binary64) %452)
(fma.f64 %428 #s(literal 2 binary64) %454)
(fma.f64 %216 #s(literal 1 binary64) %458)
(fma.f64 %216 #s(literal 1 binary64) %460)
(fma.f64 %20 #s(literal 4 binary64) %458)
(fma.f64 %20 #s(literal 4 binary64) %460)
(fma.f64 %175 #s(literal 2 binary64) %205)
(fma.f64 %202 %8 %267)
(fma.f64 %265 %10 %205)
(fma.f64 %8 %202 %267)
(fma.f64 %425 #s(literal 1/2 binary64) %428)
(fma.f64 %425 #s(literal 1 binary64) %452)
(fma.f64 %425 #s(literal 1 binary64) %454)
(fma.f64 %267 #s(literal 1 binary64) %205)
(fma.f64 %10 %265 %205)
(fma.f64 %10 %431 %452)
(fma.f64 %10 %431 %454)
%425
(fma.f64 #s(literal -2 binary64) %271 %205)
(fma.f64 #s(literal -2 binary64) y %205)
(fma.f64 #s(literal 1/2 binary64) %273 %205)
(fma.f64 #s(literal 1/2 binary64) %222 %458)
(fma.f64 #s(literal 1/2 binary64) %222 %460)
(fma.f64 #s(literal 1/2 binary64) %425 %480)
(fma.f64 #s(literal 2 binary64) %175 %205)
(fma.f64 #s(literal 2 binary64) x %458)
(fma.f64 #s(literal 2 binary64) x %460)
(fma.f64 %3 x %448)
(fma.f64 %3 x %450)
(fma.f64 #s(literal 1 binary64) %216 %458)
(fma.f64 #s(literal 1 binary64) %216 %460)
(fma.f64 #s(literal 1 binary64) %219 %448)
(fma.f64 #s(literal 1 binary64) %219 %450)
(fma.f64 #s(literal 1 binary64) %491 %175)
(fma.f64 #s(literal 1 binary64) %175 %491)
(fma.f64 #s(literal 1 binary64) %425 %452)
(fma.f64 #s(literal 1 binary64) %425 %454)
(fma.f64 #s(literal 1 binary64) %267 %205)
(fma.f64 #s(literal 1 binary64) %205 %267)
(fma.f64 y %215 %448)
(fma.f64 y %215 %450)
(fma.f64 y %277 %205)
(fma.f64 y #s(literal -2 binary64) %205)
(fma.f64 x %10 %267)
(fma.f64 x #s(literal 2 binary64) %458)
(fma.f64 x #s(literal 2 binary64) %460)
(fma.f64 x %3 %448)
(fma.f64 x %3 %450)
(-.f64 %491 y)
(-.f64 %175 %508)
(-.f64 %267 %213)
(-.f64 %205 %286)
(+.f64 %512 %219)
(+.f64 %514 %216)
(+.f64 %428 %428)
(+.f64 %480 %480)
(+.f64 %216 %458)
(+.f64 %216 %460)
(+.f64 %219 %448)
(+.f64 %219 %450)
(+.f64 %491 %175)
(+.f64 %175 %491)
(+.f64 %425 %452)
(+.f64 %425 %454)
(+.f64 %267 %205)
(+.f64 %205 %267)
(*.f64 %426 %298)
(*.f64 %529 %531)
(*.f64 %324 %442)
(*.f64 %166 %425)
(*.f64 %442 %324)
(*.f64 %425 %166)
(*.f64 #s(literal 2 binary64) %537)
(*.f64 #s(literal 1 binary64) %431)
(pow.f64 %431 #s(literal 1 binary64))
(/.f64 (fma.f64 %205 #s(literal -1 binary64) %541) %8)
(/.f64 (fma.f64 %8 x %541) %8)
(/.f64 (fma.f64 %205 #s(literal -1 binary64) %286) %8)
(/.f64 (fma.f64 %205 #s(literal 1 binary64) %267) %10)
(/.f64 (fma.f64 %267 #s(literal -1 binary64) %550) %8)
(/.f64 (fma.f64 #s(literal 2 binary64) y %550) %8)
(/.f64 (fma.f64 #s(literal -2 binary64) y %555) %10)
(/.f64 (fma.f64 %267 #s(literal -1 binary64) %213) %8)
(/.f64 (-.f64 %550 %267) %8)
(/.f64 (-.f64 %555 %286) %10)
(/.f64 (-.f64 %541 %205) %8)
(/.f64 (fma.f64 %281 %530 (*.f64 %530 %566)) (*.f64 %530 %530))
(/.f64 (fma.f64 y %8 (*.f64 %8 %508)) %530)
(/.f64 (fma.f64 %491 %10 %574) %530)
(/.f64 (fma.f64 %550 %8 %577) %530)
(/.f64 (fma.f64 %550 %8 %580) %530)
(/.f64 (fma.f64 %550 %10 %583) %585)
(/.f64 (fma.f64 %555 %8 %587) %589)
(/.f64 (fma.f64 %555 %8 %591) %589)
(/.f64 (fma.f64 %555 %10 %281) %530)
(/.f64 (fma.f64 %213 %8 %577) %530)
(/.f64 (fma.f64 %205 %8 %587) %589)
(/.f64 (fma.f64 %541 %8 %600) %530)
(/.f64 (fma.f64 %541 %10 %603) %585)
(/.f64 (fma.f64 %541 %8 %606) %530)
(/.f64 (fma.f64 %541 %10 %609) %585)
(/.f64 (fma.f64 %286 %8 %600) %530)
(/.f64 (fma.f64 %286 %10 %603) %585)
(/.f64 (fma.f64 %267 %8 (*.f64 %10 %550)) %589)
(/.f64 (fma.f64 %267 %10 (*.f64 %10 %555)) %530)
(/.f64 (-.f64 (*.f64 y %8) (*.f64 %8 %491)) %530)
(/.f64 (-.f64 (*.f64 %491 %8) %574) %589)
(/.f64 (-.f64 (*.f64 %491 %10) (*.f64 %10 y)) %530)
(/.f64 (-.f64 (*.f64 %550 %8) %583) %530)
(/.f64 (-.f64 (*.f64 %555 %8) %281) %589)
(/.f64 (-.f64 %639 %583) %530)
(/.f64 (-.f64 %642 %281) %589)
(/.f64 (-.f64 (*.f64 %550 %10) %580) %585)
(/.f64 (-.f64 (*.f64 %555 %10) %591) %530)
(/.f64 (-.f64 %651 %580) %585)
(/.f64 (-.f64 %566 %591) %530)
(/.f64 (-.f64 (*.f64 %541 %10) %606) %585)
(/.f64 (-.f64 (*.f64 %541 %8) %609) %530)
(/.f64 (-.f64 %662 %609) %530)
(/.f64 (-.f64 %284 %566) %589)
(/.f64 (neg.f64 %667) %10)
(/.f64 (neg.f64 %670) %8)
(/.f64 (neg.f64 %673) %10)
(/.f64 (neg.f64 %676) %678)
(/.f64 (neg.f64 %680) %530)
(/.f64 (neg.f64 %683) %530)
(/.f64 (neg.f64 %686) %678)
(/.f64 (neg.f64 %689) %530)
(/.f64 (neg.f64 %692) %530)
(/.f64 (neg.f64 %695) %678)
(/.f64 (neg.f64 %698) %530)
(/.f64 (neg.f64 %701) %530)
(/.f64 (neg.f64 %704) %678)
(/.f64 (neg.f64 %707) %530)
(/.f64 (neg.f64 %711) %530)
(/.f64 (neg.f64 %714) %530)
(/.f64 (neg.f64 %717) %678)
(/.f64 (neg.f64 %720) (neg.f64 %678))
(/.f64 %667 %8)
(/.f64 %670 %10)
(/.f64 %443 %8)
(/.f64 %445 %8)
(/.f64 %673 %8)
(/.f64 %676 %530)
(/.f64 %680 %585)
(/.f64 %683 %589)
(/.f64 %686 %530)
(/.f64 %689 %585)
(/.f64 %692 %589)
(/.f64 %695 %530)
(/.f64 %698 %585)
(/.f64 %701 %589)
(/.f64 %704 %530)
(/.f64 %707 %585)
(/.f64 %711 %589)
(/.f64 %714 %585)
(/.f64 %717 %530)
(/.f64 %720 %678)
(/.f64 %529 %530)
(/.f64 %442 %8)
(/.f64 %425 %10)
(/.f64 #s(literal 1 binary64) (pow.f64 %431 %11))
(/.f64 #s(literal 1 binary64) (/.f64 %530 %529))
(/.f64 #s(literal 1 binary64) (pow.f64 %431 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %8 %442))
(/.f64 #s(literal 1 binary64) (/.f64 %10 %425))
(neg.f64 (*.f64 %166 %442))
(neg.f64 (-.f64 %759 x))
(fma.f64 %426 %298 %762)
(fma.f64 %426 %298 %764)
(fma.f64 %297 %298 x)
(fma.f64 %270 #s(literal -2 binary64) x)
(fma.f64 %529 %531 %762)
(fma.f64 %529 %531 %764)
(fma.f64 %324 %442 %762)
(fma.f64 %324 %442 %764)
(fma.f64 %491 %166 %337)
(fma.f64 %166 %491 %773)
(fma.f64 %166 %425 %762)
(fma.f64 %166 %425 %764)
(fma.f64 %166 %267 x)
(fma.f64 %442 %324 %762)
(fma.f64 %442 %324 %764)
(fma.f64 %425 %166 %762)
(fma.f64 %425 %166 %764)
(fma.f64 %286 %324 x)
(fma.f64 %267 %166 x)
%431
(fma.f64 #s(literal -2 binary64) %270 x)
(fma.f64 #s(literal 2 binary64) %537 %762)
(fma.f64 #s(literal 2 binary64) %537 %764)
(fma.f64 #s(literal 2 binary64) %337 x)
(fma.f64 #s(literal 2 binary64) %341 x)
(fma.f64 #s(literal 1 binary64) %265 x)
(fma.f64 #s(literal 1 binary64) %431 %762)
(fma.f64 #s(literal 1 binary64) %431 %764)
(fma.f64 y %264 x)
(-.f64 %341 (+.f64 %270 %202))
(-.f64 %795 %270)
(-.f64 %265 %202)
(-.f64 x (*.f64 %286 %166))
(-.f64 x (*.f64 #s(literal 2 binary64) %270))
(-.f64 x (*.f64 %175 %264))
(-.f64 x (neg.f64 %265))
(-.f64 x %759)
(+.f64 %807 (/.f64 %580 %530))
(+.f64 %807 %810)
(+.f64 %812 (/.f64 %583 %585))
(+.f64 %812 %815)
(+.f64 %810 %807)
(+.f64 %810 (/.f64 %606 %530))
(+.f64 (/.f64 (fma.f64 %8 x y) %8) %341)
(+.f64 (/.f64 (-.f64 %213 %175) %8) %341)
(+.f64 (/.f64 %512 %10) %827)
(+.f64 (/.f64 %514 %10) %830)
(+.f64 %832 %832)
(+.f64 %834 %834)
(+.f64 (*.f64 %166 %491) %773)
(+.f64 (*.f64 %491 %166) %337)
(+.f64 %840 (/.f64 %591 %589))
(+.f64 %840 %815)
(+.f64 %815 (/.f64 %651 %589))
(+.f64 %815 (/.f64 %710 %589))
(+.f64 %815 %840)
(+.f64 %341 %795)
(+.f64 %795 %341)
(+.f64 %830 (/.f64 %458 %10))
(+.f64 %830 (/.f64 %460 %10))
(+.f64 %827 (/.f64 %448 %10))
(+.f64 %827 (/.f64 %450 %10))
(+.f64 %265 x)
(+.f64 %431 %762)
(+.f64 %431 %764)
(+.f64 x %265)
(*.f64 %390 %298)
(*.f64 %324 %406)
(*.f64 %166 %389)
(*.f64 %406 %324)
(*.f64 %389 %166)
(*.f64 #s(literal 2 binary64) %868)
(*.f64 #s(literal 1 binary64) %870)
(pow.f64 %870 #s(literal 1 binary64))
(/.f64 (neg.f64 %873) %10)
(/.f64 (neg.f64 %876) %10)
(/.f64 %873 %8)
(/.f64 %876 %8)
(/.f64 %404 %8)
(/.f64 %406 %8)
%870
(/.f64 #s(literal 1 binary64) (pow.f64 %870 %11))
(/.f64 #s(literal 1 binary64) (pow.f64 %870 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %8 %406))
(/.f64 #s(literal 1 binary64) (/.f64 %10 %389))
(neg.f64 (/.f64 %389 %8))
(fma.f64 %390 %298 %893)
(fma.f64 %390 %298 %895)
(fma.f64 %324 %406 %893)
(fma.f64 %324 %406 %895)
(fma.f64 %166 %389 %893)
(fma.f64 %166 %389 %895)
(fma.f64 %406 %324 %893)
(fma.f64 %406 %324 %895)
(fma.f64 %389 %166 %893)
(fma.f64 %389 %166 %895)
(fma.f64 #s(literal 2 binary64) %868 %893)
(fma.f64 #s(literal 2 binary64) %868 %895)
(fma.f64 #s(literal 1 binary64) %870 %893)
(fma.f64 #s(literal 1 binary64) %870 %895)
(+.f64 %909 %909)
(+.f64 %911 %911)
(+.f64 %870 %893)
(+.f64 %870 %895)
(*.f64 #s(literal 1 binary64) %915)
(pow.f64 %915 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %915 %11))
(/.f64 #s(literal 1 binary64) (pow.f64 %915 #s(literal -1 binary64)))
(neg.f64 (-.f64 %922 x))
(neg.f64 (neg.f64 %915))
%915
(fma.f64 #s(literal 1 binary64) %927 x)
(fma.f64 y %256 x)
(-.f64 %927 %202)
(-.f64 x %922)
(+.f64 %927 x)
(+.f64 x (*.f64 (neg.f64 (neg.f64 %256)) y))
(+.f64 x (neg.f64 %922))
(+.f64 x %927)
reconstruct62.0ms (4.0%)
Counts
647 → 175
Compiler
Compiled 647 to 1 272 computations (-96.6% saved)
eval29.0ms (1.9%)
Compiler
Compiled 179 to 689 computations (-284.9% saved)
prune6.0ms (0.4%)
Pruning
6 alts after pruning (1 fresh and 5 done)
PrunedKeptTotal
New1781179
Fresh000
Picked123
Done033
Total1796185
Accuracy
100.0%
Counts
185 → 6
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓99.9%
(fma.f64 y (/.f64 #s(literal -2 binary64) (fma.f64 y x #s(literal 2 binary64))) x)
▶66.2%
(fma.f64 y (approx (/ -2 (- (* y x) -2)) (*.f64 (fma.f64 y x #s(literal -2 binary64)) #s(literal 1/2 binary64))) x)
✓77.7%
%22 = (fma.f64 y x #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) y (*.f64 %22 x)) %22)
✓38.2%
(/.f64 (approx (- (* (+ (* y x) 2) x) (+ y y)) (*.f64 #s(literal -2 binary64) y)) (fma.f64 y x #s(literal 2 binary64)))
✓61.5%
(-.f64 x (approx (/ y (+ 1 (/ (* x y) 2))) (/.f64 #s(literal 2 binary64) x)))
✓76.9%
(-.f64 x (approx (/ y (+ 1 (/ (* x y) 2))) y))
Compiler
Compiled 6 to 19 computations (-216.7% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series26.0ms (1.7%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
03101336
Stop Event
1×iter-limit
Counts
8 → 53
Calls
Call 1
Inputs
%4 = (fma.f64 y x #s(literal -2 binary64))
%5 = (*.f64 %4 #s(literal 1/2 binary64))
%10 = (approx (/ -2 (- (* y x) -2)) %5)
x
y
#s(literal 1/2 binary64)
#s(literal -2 binary64)
%4
%5
%10
(fma.f64 y %10 x)
Outputs
%5 = (* y x)
%7 = (+ %5 -2)
%10 = (*.f64 x y)
%15 = (* %7 1/2)
%19 = (*.f64 #s(literal 1/2 binary64) %10)
%21 = (-.f64 %19 #s(literal 1 binary64))
%24 = (/ -2 (- %5 -2))
%26 = (pow.f64 y #s(literal 2 binary64))
%27 = (*.f64 x %26)
%30 = (*.f64 #s(literal -1/2 binary64) y)
%37 = (pow.f64 y #s(literal 3 binary64))
%38 = (*.f64 x %37)
%49 = (+ (* y %24) x)
%50 = (*.f64 #s(literal -1 binary64) y)
%52 = (*.f64 #s(literal 1/2 binary64) %26)
%63 = (pow.f64 y #s(literal 4 binary64))
%64 = (*.f64 x %63)
%74 = (/.f64 #s(literal 1 binary64) x)
%75 = (*.f64 #s(literal 2 binary64) %74)
%86 = (/.f64 #s(literal 1 binary64) %27)
%87 = (*.f64 #s(literal 4 binary64) %86)
%88 = (/.f64 #s(literal 1 binary64) y)
%89 = (*.f64 #s(literal 2 binary64) %88)
%93 = (/.f64 #s(literal 4 binary64) %27)
%95 = (pow.f64 x #s(literal 2 binary64))
%96 = (*.f64 %95 %37)
%103 = (pow.f64 x #s(literal 3 binary64))
%113 = (/.f64 #s(literal 1 binary64) %95)
%114 = (*.f64 #s(literal 2 binary64) %113)
%118 = (*.f64 %103 y)
%120 = (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) %118))
%124 = (/.f64 #s(literal 1 binary64) %118)
%127 = (pow.f64 x #s(literal 4 binary64))
%147 = (*.f64 #s(literal 4 binary64) (/.f64 #s(literal 1 binary64) %26))
%186 = (*.f64 %95 y)
%188 = (*.f64 #s(literal -1/2 binary64) x)
%206 = (*.f64 #s(literal 1/2 binary64) x)
%220 = (*.f64 #s(literal 4 binary64) (/.f64 #s(literal 1 binary64) %186))
%224 = (/.f64 #s(literal 4 binary64) %186)
%225 = (*.f64 %103 %26)
%227 = (fma.f64 #s(literal 2 binary64) %74 (/.f64 #s(literal 8 binary64) %225))
%233 = (fma.f64 #s(literal 16 binary64) (/.f64 #s(literal 1 binary64) (*.f64 %127 %37)) %224)
%236 = (fma.f64 #s(literal 2 binary64) %74 (*.f64 #s(literal 8 binary64) (/.f64 #s(literal 1 binary64) %225)))
%263 = (*.f64 #s(literal 4 binary64) %113)
%264 = (*.f64 #s(literal 8 binary64) %124)
%272 = (*.f64 #s(literal 8 binary64) (/.f64 #s(literal 1 binary64) %103))
%275 = (*.f64 #s(literal 16 binary64) (/.f64 #s(literal 1 binary64) (*.f64 %127 y)))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %7 #s(literal -2 binary64))
(approx %7 (-.f64 %10 #s(literal 2 binary64)))
(approx %15 #s(literal -1 binary64))
(approx %15 %21)
(approx %24 (-.f64 (*.f64 x (-.f64 (*.f64 #s(literal -1/4 binary64) %27) %30)) #s(literal 1 binary64)))
(approx %24 (-.f64 (*.f64 x (-.f64 (*.f64 x (-.f64 (*.f64 #s(literal 1/8 binary64) %38) (*.f64 #s(literal 1/4 binary64) %26))) %30)) #s(literal 1 binary64)))
(approx %49 %50)
(approx %49 (fma.f64 #s(literal -1 binary64) y (*.f64 x (+.f64 #s(literal 1 binary64) %52))))
(approx %49 (fma.f64 #s(literal -1 binary64) y (*.f64 x (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1/4 binary64) %38 %52)))))
(approx %49 (fma.f64 #s(literal -1 binary64) y (*.f64 x (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal 1/2 binary64) %26 (*.f64 x (fma.f64 #s(literal -1/4 binary64) %37 (*.f64 #s(literal 1/8 binary64) %64))))))))
(approx %7 %10)
(approx %7 (*.f64 x (-.f64 y %75)))
(approx %15 %19)
(approx %15 (*.f64 x (-.f64 (*.f64 #s(literal 1/2 binary64) y) %74)))
(approx %24 (/.f64 #s(literal -2 binary64) %10))
(approx %24 (/.f64 (-.f64 %87 %89) x))
(approx %24 (/.f64 (-.f64 %93 (fma.f64 #s(literal 2 binary64) %88 (/.f64 #s(literal 8 binary64) %96))) x))
(approx %24 (/.f64 (-.f64 (fma.f64 #s(literal 16 binary64) (/.f64 #s(literal 1 binary64) (*.f64 %103 %63)) %93) (fma.f64 #s(literal 2 binary64) %88 (*.f64 #s(literal 8 binary64) (/.f64 #s(literal 1 binary64) %96)))) x))
(approx %49 (*.f64 x (-.f64 #s(literal 1 binary64) %114)))
(approx %49 (*.f64 x (-.f64 %120 %114)))
(approx %49 (*.f64 x (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 4 binary64) %124)) (fma.f64 #s(literal 8 binary64) (/.f64 #s(literal 1 binary64) (*.f64 %127 %26)) %114))))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1 binary64) y %75))))
(approx %15 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1/2 binary64) y %74))))
(approx %24 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %89 %87) x)))
(approx %24 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 %147 (*.f64 #s(literal 8 binary64) (/.f64 #s(literal 1 binary64) %38))) x) %89) x)))
(approx %24 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal 8 binary64) (/.f64 #s(literal 1 binary64) %37)) (*.f64 #s(literal 16 binary64) (/.f64 #s(literal 1 binary64) %64))) x) %147) x) %89) x)))
(approx %49 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %114 #s(literal 1 binary64)))))
(approx %49 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %114 %120))))
(approx %49 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal 4 binary64) %88) (*.f64 #s(literal 8 binary64) %86)) %103) %114) #s(literal 1 binary64)))))
(approx y y)
(approx %24 (-.f64 (*.f64 y (-.f64 (*.f64 #s(literal -1/4 binary64) %186) %188)) #s(literal 1 binary64)))
(approx %24 (-.f64 (*.f64 y (-.f64 (*.f64 y (-.f64 (*.f64 #s(literal 1/8 binary64) %118) (*.f64 #s(literal 1/4 binary64) %95))) %188)) #s(literal 1 binary64)))
(approx %49 (+.f64 x %50))
(approx %49 (+.f64 x (*.f64 y %21)))
(approx %49 (+.f64 x (*.f64 y (-.f64 (*.f64 y (fma.f64 #s(literal -1/4 binary64) %186 %206)) #s(literal 1 binary64)))))
(approx %7 (*.f64 y (-.f64 x %89)))
(approx %15 (*.f64 y (-.f64 %206 %88)))
(approx %24 (/.f64 (-.f64 %220 %75) y))
(approx %24 (/.f64 (-.f64 %224 %227) y))
(approx %24 (/.f64 (-.f64 %233 %236) y))
(approx %49 (-.f64 x %75))
(approx %49 (-.f64 (+.f64 x %220) %75))
(approx %49 (-.f64 (+.f64 x %224) %227))
(approx %49 (-.f64 (+.f64 x %233) %236))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x %89))))
(approx %15 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1/2 binary64) x %88))))
(approx %24 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %75 %220) y)))
(approx %24 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 %263 %264) y) %75) y)))
(approx %24 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 %272 %275) y) %263) y) %75) y)))
(approx %49 (-.f64 (+.f64 x (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %264 %263) y))) %75))
(approx %49 (-.f64 (+.f64 x (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %275 %272) y)) %263) y))) %75))
Calls
6 calls:
TimeVariablePoint
3.0ms
x
inf
2.0ms
y
inf
2.0ms
x
-inf
1.0ms
y
-inf
1.0ms
x
0
rewrite118.0ms (7.7%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01145
01545
14845
211745
329545
498845
0407145
0427643
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
8 → 110
Calls
Call 1
Inputs
%4 = (fma.f64 y x #s(literal -2 binary64))
%5 = (*.f64 %4 #s(literal 1/2 binary64))
%10 = (approx (/ -2 (- (* y x) -2)) %5)
x
y
#s(literal 1/2 binary64)
#s(literal -2 binary64)
%4
%5
%10
(fma.f64 y %10 x)
Outputs
%5 = (fma.f64 y x #s(literal -2 binary64))
%8 = (*.f64 y x)
%11 = (-.f64 (*.f64 %8 #s(literal 2 binary64)) #s(literal 2 binary64))
%12 = (*.f64 %11 #s(literal 1 binary64))
%16 = (*.f64 %11 #s(literal -2 binary64))
%21 = (*.f64 %11 #s(literal -1 binary64))
%24 = (*.f64 %11 #s(literal 2 binary64))
%33 = (fma.f64 y x #s(literal -1 binary64))
%34 = (*.f64 %33 #s(literal 2 binary64))
%35 = (-.f64 %34 #s(literal 2 binary64))
%59 = (E.f64 )
%61 = (*.f64 #s(literal 2 binary64) %59)
%102 = (-.f64 #s(literal 2 binary64) %8)
%104 = (neg.f64 y)
%105 = (neg.f64 x)
%118 = (*.f64 %105 y)
%133 = (*.f64 %5 #s(literal 1/2 binary64))
%137 = (*.f64 %8 #s(literal 1/2 binary64))
%138 = (*.f64 %137 #s(literal 2 binary64))
%139 = (-.f64 %138 #s(literal 2 binary64))
%168 = (*.f64 (*.f64 #s(literal -1/2 binary64) y) x)
%175 = (*.f64 #s(literal 1/2 binary64) y)
%177 = (*.f64 #s(literal 1/2 binary64) x)
%197 = (approx (/ -2 (- (* y x) -2)) %133)
%202 = (neg.f64 %197)
%204 = (fma.f64 %197 y x)
%213 = (*.f64 %197 y)
x
y
#s(literal 1/2 binary64)
#s(literal -2 binary64)
(*.f64 #s(literal 1 binary64) %5)
(pow.f64 %5 #s(literal 1 binary64))
(/.f64 (+.f64 #s(literal -2 binary64) %12) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal 4 binary64) %16) #s(literal -4 binary64))
(/.f64 (+.f64 #s(literal 2 binary64) %21) #s(literal -2 binary64))
(/.f64 (+.f64 #s(literal -4 binary64) %24) #s(literal 4 binary64))
(/.f64 (+.f64 %11 #s(literal -2 binary64)) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal -2 binary64) %11) #s(literal 2 binary64))
(/.f64 (-.f64 %11 #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 %35 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %11 #s(literal 1 binary64) #s(literal -2 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %11 #s(literal -2 binary64) #s(literal 4 binary64)) #s(literal -4 binary64))
(/.f64 (fma.f64 %11 #s(literal -1 binary64) #s(literal 2 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 %11 #s(literal 2 binary64) #s(literal -4 binary64)) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal -2 binary64) (*.f64 #s(literal 1 binary64) %11)) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal 4 binary64) (*.f64 #s(literal -2 binary64) %11)) #s(literal -4 binary64))
(/.f64 (+.f64 #s(literal 2 binary64) (*.f64 #s(literal -1 binary64) %11)) #s(literal -2 binary64))
(/.f64 (+.f64 #s(literal -4 binary64) (*.f64 #s(literal 2 binary64) %11)) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %11 %59) %61) %61)
(/.f64 (-.f64 (*.f64 %11 #s(literal 4 binary64)) #s(literal 8 binary64)) #s(literal 8 binary64))
(/.f64 (-.f64 %21 #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 %24 #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 %12 #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 %16 #s(literal -4 binary64)) #s(literal -4 binary64))
(/.f64 (-.f64 (*.f64 %11 #s(literal 1/2 binary64)) #s(literal 1 binary64)) #s(literal 1 binary64))
(/.f64 (-.f64 (*.f64 %35 #s(literal 4 binary64)) #s(literal 0 binary64)) #s(literal 8 binary64))
(/.f64 (-.f64 (*.f64 %35 #s(literal -1 binary64)) #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 %35 #s(literal 2 binary64)) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %35 #s(literal 1 binary64)) #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %35 #s(literal -2 binary64)) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (-.f64 (*.f64 %35 #s(literal 1/2 binary64)) #s(literal 0 binary64)) #s(literal 1 binary64))
(/.f64 (neg.f64 %35) #s(literal -2 binary64))
(/.f64 %35 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %5 #s(literal -1 binary64)))
(neg.f64 %102)
(fma.f64 %104 %105 #s(literal -2 binary64))
(fma.f64 %105 %104 #s(literal -2 binary64))
(fma.f64 #s(literal 1 binary64) %33 #s(literal -1 binary64))
(fma.f64 #s(literal 1 binary64) %8 #s(literal -2 binary64))
%5
(fma.f64 x y #s(literal -2 binary64))
(-.f64 (/.f64 %34 #s(literal 2 binary64)) #s(literal 1 binary64))
(-.f64 (-.f64 %33 #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(-.f64 %33 #s(literal 1 binary64))
(-.f64 %8 #s(literal 2 binary64))
(-.f64 %5 #s(literal 0 binary64))
(-.f64 #s(literal -2 binary64) %118)
(+.f64 %33 #s(literal -1 binary64))
(+.f64 #s(literal -1 binary64) (-.f64 #s(literal -1 binary64) %118))
(+.f64 #s(literal -1 binary64) (+.f64 #s(literal -1 binary64) %8))
(+.f64 #s(literal -1 binary64) %33)
(+.f64 %8 #s(literal -2 binary64))
(+.f64 #s(literal -2 binary64) %8)
(*.f64 (*.f64 %5 #s(literal 1 binary64)) #s(literal 1/2 binary64))
(*.f64 #s(literal -1/2 binary64) %102)
(*.f64 %102 #s(literal -1/2 binary64))
(*.f64 #s(literal 1 binary64) %133)
%133
(*.f64 #s(literal 1/2 binary64) %5)
(pow.f64 %133 #s(literal 1 binary64))
(/.f64 (-.f64 %139 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %139 #s(literal 4 binary64)) #s(literal 0 binary64)) #s(literal 8 binary64))
(/.f64 (-.f64 (*.f64 %139 #s(literal -1 binary64)) #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 %139 #s(literal 2 binary64)) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %139 #s(literal 1 binary64)) #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %139 #s(literal -2 binary64)) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (-.f64 (*.f64 %139 #s(literal 1/2 binary64)) #s(literal 0 binary64)) #s(literal 1 binary64))
(/.f64 (neg.f64 %139) #s(literal -2 binary64))
(/.f64 %139 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %133 #s(literal -1 binary64)))
(neg.f64 (-.f64 #s(literal 1 binary64) %137))
(neg.f64 (-.f64 %168 #s(literal -1 binary64)))
(neg.f64 (*.f64 %102 #s(literal 1/2 binary64)))
(fma.f64 (*.f64 %8 #s(literal 1 binary64)) #s(literal 1/2 binary64) #s(literal -1 binary64))
(fma.f64 %175 x #s(literal -1 binary64))
(fma.f64 %177 y #s(literal -1 binary64))
(fma.f64 #s(literal 1 binary64) %137 #s(literal -1 binary64))
(fma.f64 %8 #s(literal 1/2 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal 1/2 binary64) %8 #s(literal -1 binary64))
(fma.f64 y %177 #s(literal -1 binary64))
(fma.f64 x %175 #s(literal -1 binary64))
(-.f64 (/.f64 %138 #s(literal 2 binary64)) #s(literal 1 binary64))
(-.f64 (-.f64 %137 #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(-.f64 %137 #s(literal 1 binary64))
(-.f64 #s(literal -1 binary64) %168)
(-.f64 %133 #s(literal 0 binary64))
(+.f64 %137 #s(literal -1 binary64))
(+.f64 #s(literal -1 binary64) %137)
(*.f64 #s(literal 1 binary64) %197)
(pow.f64 %197 #s(literal 1 binary64))
%197
(/.f64 #s(literal 1 binary64) (pow.f64 %197 #s(literal -1 binary64)))
(neg.f64 %202)
(*.f64 #s(literal 1 binary64) %204)
(pow.f64 %204 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %204 #s(literal -1 binary64)))
(neg.f64 (neg.f64 %204))
(fma.f64 %202 %104 x)
(fma.f64 %104 %202 x)
(fma.f64 #s(literal 1 binary64) %213 x)
%204
(fma.f64 y %197 x)
(-.f64 %213 %105)
(-.f64 x (*.f64 %104 %197))
(+.f64 %213 x)
(+.f64 x %213)
reconstruct15.0ms (1.0%)
Counts
163 → 58
Compiler
Compiled 163 to 439 computations (-169.3% saved)
eval7.0ms (0.4%)
Compiler
Compiled 53 to 286 computations (-439.6% saved)
prune2.0ms (0.1%)
Pruning
6 alts after pruning (0 fresh and 6 done)
PrunedKeptTotal
New53053
Fresh000
Picked011
Done055
Total53659
Accuracy
100.0%
Counts
59 → 6
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓99.9%
(fma.f64 y (/.f64 #s(literal -2 binary64) (fma.f64 y x #s(literal 2 binary64))) x)
✓66.2%
(fma.f64 y (approx (/ -2 (- (* y x) -2)) (*.f64 (fma.f64 y x #s(literal -2 binary64)) #s(literal 1/2 binary64))) x)
✓77.7%
%22 = (fma.f64 y x #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) y (*.f64 %22 x)) %22)
✓38.2%
(/.f64 (approx (- (* (+ (* y x) 2) x) (+ y y)) (*.f64 #s(literal -2 binary64) y)) (fma.f64 y x #s(literal 2 binary64)))
✓61.5%
(-.f64 x (approx (/ y (+ 1 (/ (* x y) 2))) (/.f64 #s(literal 2 binary64) x)))
✓76.9%
(-.f64 x (approx (/ y (+ 1 (/ (* x y) 2))) y))
Compiler
Compiled 6 to 19 computations (-216.7% saved)
regimes22.0ms (1.4%)
Accuracy
Total 3.2b remaining (17.2%)
Threshold costs 0.1b (0.5%)
3.2b77.5%
0.1b0.0%
0.0b0.0%
0.0b0.0%
Counts
1 → 1
2 → 3
6 → 1
7 → 1
Calls
Call 1
Inputs
(-.f64 x (approx (/ y (+ 1 (/ (* x y) 2))) y))
Outputs
(-.f64 x (approx (/ y (+ 1 (/ (* x y) 2))) y))
Call 2
Inputs
%7 = (/ y (+ 1 (/ (* x y) 2)))
(-.f64 x (approx %7 y))
(-.f64 x (approx %7 (/.f64 #s(literal 2 binary64) x)))
Outputs
%7 = (/ y (+ 1 (/ (* x y) 2)))
%11 = (-.f64 x (approx %7 (/.f64 #s(literal 2 binary64) x)))
%11
(-.f64 x (approx %7 y))
%11
Call 3
Inputs
%7 = (/ y (+ 1 (/ (* x y) 2)))
%14 = (* y x)
%15 = (+ %14 2)
%22 = (fma.f64 y x #s(literal 2 binary64))
(-.f64 x (approx %7 y))
(-.f64 x (approx %7 (/.f64 #s(literal 2 binary64) x)))
(/.f64 (approx (- (* %15 x) (+ y y)) (*.f64 #s(literal -2 binary64) y)) %22)
(fma.f64 y (approx (/ -2 (- %14 -2)) (*.f64 (fma.f64 y x #s(literal -2 binary64)) #s(literal 1/2 binary64))) x)
(fma.f64 y (approx (/ -2 %15) (-.f64 (*.f64 #s(literal 1/2 binary64) (*.f64 x y)) #s(literal 1 binary64))) x)
(fma.f64 y (/.f64 #s(literal -2 binary64) %22) x)
Outputs
(fma.f64 y (/.f64 #s(literal -2 binary64) (fma.f64 y x #s(literal 2 binary64))) x)
Call 4
Inputs
%7 = (/ y (+ 1 (/ (* x y) 2)))
%14 = (* y x)
%15 = (+ %14 2)
%22 = (fma.f64 y x #s(literal 2 binary64))
(-.f64 x (approx %7 y))
(-.f64 x (approx %7 (/.f64 #s(literal 2 binary64) x)))
(/.f64 (approx (- (* %15 x) (+ y y)) (*.f64 #s(literal -2 binary64) y)) %22)
(fma.f64 y (approx (/ -2 (- %14 -2)) (*.f64 (fma.f64 y x #s(literal -2 binary64)) #s(literal 1/2 binary64))) x)
(fma.f64 y (approx (/ -2 %15) (-.f64 (*.f64 #s(literal 1/2 binary64) (*.f64 x y)) #s(literal 1 binary64))) x)
(fma.f64 y (/.f64 #s(literal -2 binary64) %22) x)
(fma.f64 (/.f64 y %22) #s(literal -2 binary64) x)
Outputs
(fma.f64 (/.f64 y (fma.f64 y x #s(literal 2 binary64))) #s(literal -2 binary64) x)
Calls
3 calls:
6.0ms
y
6.0ms
x
6.0ms
(-.f64 x (/.f64 y (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 x y) #s(literal 2 binary64)))))
Results
AccuracySegmentsBranch
76.9%1
y
76.9%1
x
76.9%1
(-.f64 x (/.f64 y (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 x y) #s(literal 2 binary64)))))
Compiler
Compiled 14 to 47 computations (-235.7% saved)
bsearch0.0ms (0.0%)
bsearch0.0ms (0.0%)
bsearch24.0ms (1.6%)
Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
13.0ms
2.0645343699431568e+124
1.0813006817647976e+128
8.0ms
-1.3710647167506057e+90
-2.9248327769404554e+89
Samples
10.0ms224×0valid
Compiler
Compiled 18 to 24 computations (-33.3% saved)
Precisions
Click to see histograms. Total time spent on operations: 1.0ms
Div: 0.0ms (0.0% of total, 0.0 MiB)
Sub: 0.0ms (0.0% of total, 0.0 MiB)
Mul: 0.0ms (0.0% of total, 0.0 MiB)
Add: 0.0ms (0.0% of total, 0.0 MiB)
bsearch0.0ms (0.0%)
derivations54.0ms (3.5%)
Stop Event
1×done
Compiler
Compiled 4 to 18 computations (-350.0% saved)
preprocess42.0ms (2.7%)
Compiler
Compiled 5 to 27 computations (-440.0% saved)
end0.0ms (0.0%)
gc241ms (15.8%)
Allocations
AllocatedPercentPhase
722.3 MiB32.4%rewrite
418.1 MiB18.7%sample
389.9 MiB17.5%reconstruct
297.7 MiB13.3%series
142.3 MiB6.4%eval
58.5 MiB2.6%preprocess
53.3 MiB2.4%regimes
51.1 MiB2.3%bsearch
44.1 MiB2.0%derivations
35.6 MiB1.6%prune
19.3 MiB0.9%analyze
0.1 MiB0.0%start
0.0 MiB0.0%end
2 232.5 MiB100.0%total
Profiling
Loading profile data...