Metrics for Examples.Basics.BasicTests:f2 from sbv-4.4

start0.0ms (0.0%)

analyze0.0ms (0.0%)

Algorithm

1×

Search

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

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample218.0ms (24.4%)

Samples

148.0ms

8 256×

valid

Precisions

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

Mul: 5.0ms (77.3% of total, 0.0 MiB)

Sub: 2.0ms (30.9% of total, 0.0 MiB)

Bogosity

preprocess29.0ms (3.2%)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	42
1	77	42
2	310	42
3	590	42
4	1560	42

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	92.6%	(-.f64 (.f64 x x) (.f64 y y))

Symmetry

(abs x)

(abs y)

Compiler

Compiled 2 to 10 computations (-400.0% saved)

sample0.0ms (0.0%)

Calls

Call 1

Inputs

Outputs

series8.0ms (0.9%)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	111

Stop Event

1×	iter-limit

Counts

5 → 10

Calls

Call 1

Inputs
%1 = (.f64 x x) %3 = (.f64 y y) x %1 y %3 (-.f64 %1 %3)

Outputs
%4 = (* x x) %6 = (pow.f64 x #s(literal 2 binary64)) %9 = (* y y) %10 = (- %4 %9) %12 = (pow.f64 y #s(literal 2 binary64)) (approx x #s(literal 0 binary64)) (approx x x) (approx %4 %6) (approx %10 (.f64 #s(literal -1 binary64) %12)) (approx %10 (-.f64 %6 %12)) (approx %10 (.f64 %6 (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 %12 %6))))) (approx y y) (approx %9 %12) (approx %10 (fma.f64 #s(literal -1 binary64) %12 %6)) (approx %10 (.f64 %12 (-.f64 (/.f64 %6 %12) #s(literal 1 binary64))))

Outputs

%4 = (* x x)
%6 = (pow.f64 x #s(literal 2 binary64))
%9 = (* y y)
%10 = (- %4 %9)
%12 = (pow.f64 y #s(literal 2 binary64))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %4 %6)
(approx %10 (*.f64 #s(literal -1 binary64) %12))
(approx %10 (-.f64 %6 %12))
(approx %10 (*.f64 %6 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 %12 %6)))))
(approx y y)
(approx %9 %12)
(approx %10 (fma.f64 #s(literal -1 binary64) %12 %6))
(approx %10 (*.f64 %12 (-.f64 (/.f64 %6 %12) #s(literal 1 binary64))))

Calls

6 calls:

Time	Variable	Point
1.0ms	x	inf
1.0ms	y	inf
1.0ms	x	-inf
1.0ms	y	-inf
0.0ms	x	0

rewrite91.0ms (10.2%)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	15
0	8	15
1	34	15
2	157	15
3	574	15
4	1451	15
0	4452	15
0	4714	15

Stop Event

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

Counts

5 → 226

Calls

Call 1

Inputs
%1 = (.f64 x x) %3 = (.f64 y y) x %1 y %3 (-.f64 %1 %3)

Outputs
%1 = (fabs.f64 x) %2 = (sqrt.f64 %1) %3 = (.f64 %2 %1) %6 = (neg.f64 %1) %9 = (neg.f64 x) %12 = (.f64 x x) %18 = (.f64 %12 %12) %41 = (.f64 %9 x) %44 = (.f64 %9 %6) %47 = (.f64 x %6) %50 = (.f64 %9 %1) %53 = (.f64 x %1) %56 = (.f64 %6 %9) %59 = (.f64 %1 %9) %62 = (.f64 %6 x) %65 = (.f64 %1 x) %79 = (fabs.f64 y) %80 = (sqrt.f64 %79) %81 = (.f64 %80 %79) %84 = (neg.f64 %79) %87 = (neg.f64 y) %89 = (.f64 y y) %93 = (.f64 %89 %89) %111 = (.f64 %87 y) %114 = (.f64 %87 %84) %117 = (.f64 y %84) %120 = (.f64 %87 %79) %123 = (.f64 y %79) %126 = (.f64 %84 %87) %129 = (.f64 %79 %87) %132 = (.f64 %84 y) %135 = (.f64 %79 y) %148 = (+.f64 %79 %1) %149 = (neg.f64 %148) %150 = (-.f64 %79 %1) %153 = (-.f64 %1 %79) %155 = (+.f64 %79 x) %156 = (-.f64 x %79) %158 = (-.f64 %79 x) %159 = (-.f64 %84 x) %161 = (+.f64 %1 y) %162 = (neg.f64 %161) %163 = (-.f64 y %1) %165 = (+.f64 y x) %166 = (neg.f64 %165) %167 = (-.f64 y x) %172 = (-.f64 %1 y) %177 = (-.f64 x y) %178 = (.f64 %177 %165) %182 = (fma.f64 x x %89) %192 = (.f64 %149 %6) %197 = (.f64 %148 %84) %199 = (.f64 %155 %84) %201 = (.f64 %158 %84) %203 = (.f64 %162 %6) %205 = (.f64 %166 y) %207 = (.f64 %166 %9) %209 = (.f64 %163 %6) %211 = (.f64 %167 %9) %213 = (.f64 %167 %87) %215 = (.f64 %153 %1) %217 = (.f64 %153 %79) %219 = (.f64 %161 %87) %221 = (.f64 %161 %1) %223 = (.f64 %172 y) %225 = (.f64 %172 %1) %227 = (.f64 %159 %9) %229 = (.f64 %159 %79) %231 = (.f64 %156 x) %233 = (.f64 %156 %79) %237 = (.f64 %177 x) %239 = (.f64 %177 y) %241 = (.f64 %165 x) %243 = (.f64 %165 %87) %245 = (.f64 %6 %149) %247 = (.f64 %1 %153) %249 = (.f64 %9 %159) %251 = (.f64 x %156) %254 = (.f64 %84 %148) %256 = (.f64 %79 %153) %258 = (.f64 %87 %161) %260 = (.f64 y %172) %263 = (.f64 %6 %163) %265 = (.f64 %9 %167) %267 = (.f64 %1 %161) %271 = (.f64 %84 %158) %273 = (.f64 y %166) %275 = (.f64 %87 %167) %277 = (.f64 %79 %159) %286 = (.f64 %6 %162) %288 = (.f64 %9 %166) %290 = (.f64 %1 %172) %294 = (.f64 %84 %155) %296 = (.f64 %79 %156) x (.f64 %3 %2) (.f64 %2 %3) (.f64 %6 %6) (.f64 %1 %1) (.f64 %9 %9) (.f64 #s(literal 1 binary64) %12) %12 (pow.f64 (pow.f64 x #s(literal 8 binary64)) #s(literal 1/4 binary64)) (pow.f64 %18 #s(literal 1/2 binary64)) (pow.f64 %2 #s(literal 4 binary64)) (pow.f64 %6 #s(literal 2 binary64)) (pow.f64 %1 #s(literal 2 binary64)) (pow.f64 %9 #s(literal 2 binary64)) (pow.f64 %12 #s(literal 1 binary64)) (pow.f64 x #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 %6 #s(literal -2 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 %1 #s(literal -2 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 %9 #s(literal -2 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 %12 #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal -2 binary64))) (neg.f64 %41) (sqrt.f64 %18) (fabs.f64 (neg.f64 %44)) (fabs.f64 (neg.f64 %47)) (fabs.f64 (neg.f64 %50)) (fabs.f64 (neg.f64 %53)) (fabs.f64 (neg.f64 %56)) (fabs.f64 (neg.f64 %59)) (fabs.f64 (neg.f64 %62)) (fabs.f64 (neg.f64 %65)) (fabs.f64 %44) (fabs.f64 %47) (fabs.f64 %50) (fabs.f64 %53) (fabs.f64 %56) (fabs.f64 %59) (fabs.f64 %62) (fabs.f64 %65) (fabs.f64 %41) (fabs.f64 %12) y (.f64 %81 %80) (.f64 %80 %81) (.f64 %84 %84) (.f64 %79 %79) (.f64 %87 %87) (.f64 #s(literal 1 binary64) %89) %89 (pow.f64 (pow.f64 y #s(literal 8 binary64)) #s(literal 1/4 binary64)) (pow.f64 %93 #s(literal 1/2 binary64)) (pow.f64 %80 #s(literal 4 binary64)) (pow.f64 %84 #s(literal 2 binary64)) (pow.f64 %79 #s(literal 2 binary64)) (pow.f64 %87 #s(literal 2 binary64)) (pow.f64 %89 #s(literal 1 binary64)) (pow.f64 y #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 %84 #s(literal -2 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 %79 #s(literal -2 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 %87 #s(literal -2 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 %89 #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal -2 binary64))) (neg.f64 %111) (sqrt.f64 %93) (fabs.f64 (neg.f64 %114)) (fabs.f64 (neg.f64 %117)) (fabs.f64 (neg.f64 %120)) (fabs.f64 (neg.f64 %123)) (fabs.f64 (neg.f64 %126)) (fabs.f64 (neg.f64 %129)) (fabs.f64 (neg.f64 %132)) (fabs.f64 (neg.f64 %135)) (fabs.f64 %114) (fabs.f64 %117) (fabs.f64 %120) (fabs.f64 %123) (fabs.f64 %126) (fabs.f64 %129) (fabs.f64 %132) (fabs.f64 %135) (fabs.f64 %111) (fabs.f64 %89) (.f64 %149 %150) (.f64 %150 %149) (.f64 %148 %153) (.f64 %155 %156) (.f64 %158 %159) (.f64 %162 %163) (.f64 %166 %167) (.f64 %163 %162) (.f64 %167 %166) (.f64 %153 %148) (.f64 %161 %172) (.f64 %172 %161) (.f64 %159 %158) (.f64 %156 %155) %178 (.f64 %165 %177) (.f64 #s(literal 1 binary64) %178) (pow.f64 %178 #s(literal 1 binary64)) (/.f64 (.f64 %182 %178) %182) (/.f64 #s(literal 1 binary64) (pow.f64 %178 #s(literal -1 binary64))) (neg.f64 (.f64 %167 %165)) (fma.f64 (.f64 %84 %80) %80 %12) (fma.f64 %3 %2 %111) (fma.f64 %149 %79 %192) (fma.f64 %80 (.f64 %80 %84) %12) (fma.f64 %2 %3 %111) (fma.f64 %148 %1 %197) (fma.f64 %155 x %199) (fma.f64 %158 %9 %201) (fma.f64 %162 y %203) (fma.f64 %166 %9 %205) (fma.f64 %166 y %207) (fma.f64 %163 %87 %209) (fma.f64 %167 %87 %211) (fma.f64 %167 %9 %213) (fma.f64 %153 %79 %215) (fma.f64 %153 %1 %217) (fma.f64 %161 %1 %219) (fma.f64 %161 %87 %221) (fma.f64 %172 %1 %223) (fma.f64 %172 y %225) (fma.f64 %159 %79 %227) (fma.f64 %159 %9 %229) (fma.f64 %156 %79 %231) (fma.f64 %156 x %233) (fma.f64 %84 %79 %12) (fma.f64 %6 %6 %111) (fma.f64 %177 y %237) (fma.f64 %177 x %239) (fma.f64 %165 %87 %241) (fma.f64 %165 x %243) (fma.f64 %79 %149 %245) (fma.f64 %79 %153 %247) (fma.f64 %79 %159 %249) (fma.f64 %79 %156 %251) (fma.f64 %79 %84 %12) (fma.f64 %1 %148 %254) (fma.f64 %1 %153 %256) (fma.f64 %1 %161 %258) (fma.f64 %1 %172 %260) (fma.f64 %1 %1 %111) (fma.f64 %87 %163 %263) (fma.f64 %87 %167 %265) (fma.f64 %87 %161 %267) (fma.f64 %87 %165 %241) (fma.f64 %87 y %12) (fma.f64 %9 %158 %271) (fma.f64 %9 %166 %273) (fma.f64 %9 %167 %275) (fma.f64 %9 %159 %277) (fma.f64 %9 %9 %111) (fma.f64 #s(literal 1 binary64) %243 %241) (fma.f64 #s(literal 1 binary64) %239 %237) (fma.f64 #s(literal 1 binary64) %237 %239) (fma.f64 #s(literal 1 binary64) %241 %243) (fma.f64 #s(literal 1 binary64) %111 %12) (fma.f64 #s(literal 1 binary64) %12 %111) (fma.f64 y %162 %286) (fma.f64 y %166 %288) (fma.f64 y %172 %290) (fma.f64 y %177 %237) (fma.f64 y %87 %12) (fma.f64 x %155 %294) (fma.f64 x %156 %296) (fma.f64 x %177 %239) (fma.f64 x %165 %243) (fma.f64 x x %111) (-.f64 %239 (.f64 %167 x)) (-.f64 %239 (.f64 %9 %177)) (-.f64 %239 (neg.f64 %237)) (-.f64 %237 (.f64 %167 y)) (-.f64 %237 (.f64 %87 %177)) (-.f64 %237 (neg.f64 %239)) (-.f64 %241 (.f64 %166 %87)) (-.f64 %241 (.f64 y %165)) (-.f64 %241 (neg.f64 %243)) (-.f64 %111 %41) (-.f64 %12 %89) (+.f64 (.f64 %149 %79) %192) (+.f64 (.f64 %148 %1) %197) (+.f64 (.f64 %155 x) %199) (+.f64 (.f64 %158 %9) %201) (+.f64 (.f64 %162 y) %203) (+.f64 %207 %205) (+.f64 %205 %207) (+.f64 (.f64 %163 %87) %209) (+.f64 %213 %211) (+.f64 %211 %213) (+.f64 %217 %215) (+.f64 %215 %217) (+.f64 %221 %219) (+.f64 %219 %221) (+.f64 %225 %223) (+.f64 %223 %225) (+.f64 %229 %227) (+.f64 %227 %229) (+.f64 %233 %231) (+.f64 %231 %233) (+.f64 (.f64 %79 %149) %245) (+.f64 (.f64 %1 %148) %254) (+.f64 (.f64 x %155) %294) (+.f64 (.f64 %9 %158) %271) (+.f64 (.f64 y %162) %286) (+.f64 %288 %273) (+.f64 %273 %288) (+.f64 (*.f64 %87 %163) %263) (+.f64 %275 %265) (+.f64 %265 %275) (+.f64 %256 %247) (+.f64 %247 %256) (+.f64 %267 %258) (+.f64 %258 %267) (+.f64 %290 %260) (+.f64 %260 %290) (+.f64 %277 %249) (+.f64 %249 %277) (+.f64 %296 %251) (+.f64 %251 %296) (+.f64 %243 %241) (+.f64 %239 %237) (+.f64 %237 %239) (+.f64 %241 %243) (+.f64 %111 %12) (+.f64 %12 %111)

Outputs

%1 = (fabs.f64 x)
%2 = (sqrt.f64 %1)
%3 = (*.f64 %2 %1)
%6 = (neg.f64 %1)
%9 = (neg.f64 x)
%12 = (*.f64 x x)
%18 = (*.f64 %12 %12)
%41 = (*.f64 %9 x)
%44 = (*.f64 %9 %6)
%47 = (*.f64 x %6)
%50 = (*.f64 %9 %1)
%53 = (*.f64 x %1)
%56 = (*.f64 %6 %9)
%59 = (*.f64 %1 %9)
%62 = (*.f64 %6 x)
%65 = (*.f64 %1 x)
%79 = (fabs.f64 y)
%80 = (sqrt.f64 %79)
%81 = (*.f64 %80 %79)
%84 = (neg.f64 %79)
%87 = (neg.f64 y)
%89 = (*.f64 y y)
%93 = (*.f64 %89 %89)
%111 = (*.f64 %87 y)
%114 = (*.f64 %87 %84)
%117 = (*.f64 y %84)
%120 = (*.f64 %87 %79)
%123 = (*.f64 y %79)
%126 = (*.f64 %84 %87)
%129 = (*.f64 %79 %87)
%132 = (*.f64 %84 y)
%135 = (*.f64 %79 y)
%148 = (+.f64 %79 %1)
%149 = (neg.f64 %148)
%150 = (-.f64 %79 %1)
%153 = (-.f64 %1 %79)
%155 = (+.f64 %79 x)
%156 = (-.f64 x %79)
%158 = (-.f64 %79 x)
%159 = (-.f64 %84 x)
%161 = (+.f64 %1 y)
%162 = (neg.f64 %161)
%163 = (-.f64 y %1)
%165 = (+.f64 y x)
%166 = (neg.f64 %165)
%167 = (-.f64 y x)
%172 = (-.f64 %1 y)
%177 = (-.f64 x y)
%178 = (*.f64 %177 %165)
%182 = (fma.f64 x x %89)
%192 = (*.f64 %149 %6)
%197 = (*.f64 %148 %84)
%199 = (*.f64 %155 %84)
%201 = (*.f64 %158 %84)
%203 = (*.f64 %162 %6)
%205 = (*.f64 %166 y)
%207 = (*.f64 %166 %9)
%209 = (*.f64 %163 %6)
%211 = (*.f64 %167 %9)
%213 = (*.f64 %167 %87)
%215 = (*.f64 %153 %1)
%217 = (*.f64 %153 %79)
%219 = (*.f64 %161 %87)
%221 = (*.f64 %161 %1)
%223 = (*.f64 %172 y)
%225 = (*.f64 %172 %1)
%227 = (*.f64 %159 %9)
%229 = (*.f64 %159 %79)
%231 = (*.f64 %156 x)
%233 = (*.f64 %156 %79)
%237 = (*.f64 %177 x)
%239 = (*.f64 %177 y)
%241 = (*.f64 %165 x)
%243 = (*.f64 %165 %87)
%245 = (*.f64 %6 %149)
%247 = (*.f64 %1 %153)
%249 = (*.f64 %9 %159)
%251 = (*.f64 x %156)
%254 = (*.f64 %84 %148)
%256 = (*.f64 %79 %153)
%258 = (*.f64 %87 %161)
%260 = (*.f64 y %172)
%263 = (*.f64 %6 %163)
%265 = (*.f64 %9 %167)
%267 = (*.f64 %1 %161)
%271 = (*.f64 %84 %158)
%273 = (*.f64 y %166)
%275 = (*.f64 %87 %167)
%277 = (*.f64 %79 %159)
%286 = (*.f64 %6 %162)
%288 = (*.f64 %9 %166)
%290 = (*.f64 %1 %172)
%294 = (*.f64 %84 %155)
%296 = (*.f64 %79 %156)
x
(*.f64 %3 %2)
(*.f64 %2 %3)
(*.f64 %6 %6)
(*.f64 %1 %1)
(*.f64 %9 %9)
(*.f64 #s(literal 1 binary64) %12)
%12
(pow.f64 (pow.f64 x #s(literal 8 binary64)) #s(literal 1/4 binary64))
(pow.f64 %18 #s(literal 1/2 binary64))
(pow.f64 %2 #s(literal 4 binary64))
(pow.f64 %6 #s(literal 2 binary64))
(pow.f64 %1 #s(literal 2 binary64))
(pow.f64 %9 #s(literal 2 binary64))
(pow.f64 %12 #s(literal 1 binary64))
(pow.f64 x #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %6 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %1 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %9 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %12 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal -2 binary64)))
(neg.f64 %41)
(sqrt.f64 %18)
(fabs.f64 (neg.f64 %44))
(fabs.f64 (neg.f64 %47))
(fabs.f64 (neg.f64 %50))
(fabs.f64 (neg.f64 %53))
(fabs.f64 (neg.f64 %56))
(fabs.f64 (neg.f64 %59))
(fabs.f64 (neg.f64 %62))
(fabs.f64 (neg.f64 %65))
(fabs.f64 %44)
(fabs.f64 %47)
(fabs.f64 %50)
(fabs.f64 %53)
(fabs.f64 %56)
(fabs.f64 %59)
(fabs.f64 %62)
(fabs.f64 %65)
(fabs.f64 %41)
(fabs.f64 %12)
y
(*.f64 %81 %80)
(*.f64 %80 %81)
(*.f64 %84 %84)
(*.f64 %79 %79)
(*.f64 %87 %87)
(*.f64 #s(literal 1 binary64) %89)
%89
(pow.f64 (pow.f64 y #s(literal 8 binary64)) #s(literal 1/4 binary64))
(pow.f64 %93 #s(literal 1/2 binary64))
(pow.f64 %80 #s(literal 4 binary64))
(pow.f64 %84 #s(literal 2 binary64))
(pow.f64 %79 #s(literal 2 binary64))
(pow.f64 %87 #s(literal 2 binary64))
(pow.f64 %89 #s(literal 1 binary64))
(pow.f64 y #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %84 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %79 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %87 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %89 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal -2 binary64)))
(neg.f64 %111)
(sqrt.f64 %93)
(fabs.f64 (neg.f64 %114))
(fabs.f64 (neg.f64 %117))
(fabs.f64 (neg.f64 %120))
(fabs.f64 (neg.f64 %123))
(fabs.f64 (neg.f64 %126))
(fabs.f64 (neg.f64 %129))
(fabs.f64 (neg.f64 %132))
(fabs.f64 (neg.f64 %135))
(fabs.f64 %114)
(fabs.f64 %117)
(fabs.f64 %120)
(fabs.f64 %123)
(fabs.f64 %126)
(fabs.f64 %129)
(fabs.f64 %132)
(fabs.f64 %135)
(fabs.f64 %111)
(fabs.f64 %89)
(*.f64 %149 %150)
(*.f64 %150 %149)
(*.f64 %148 %153)
(*.f64 %155 %156)
(*.f64 %158 %159)
(*.f64 %162 %163)
(*.f64 %166 %167)
(*.f64 %163 %162)
(*.f64 %167 %166)
(*.f64 %153 %148)
(*.f64 %161 %172)
(*.f64 %172 %161)
(*.f64 %159 %158)
(*.f64 %156 %155)
%178
(*.f64 %165 %177)
(*.f64 #s(literal 1 binary64) %178)
(pow.f64 %178 #s(literal 1 binary64))
(/.f64 (*.f64 %182 %178) %182)
(/.f64 #s(literal 1 binary64) (pow.f64 %178 #s(literal -1 binary64)))
(neg.f64 (*.f64 %167 %165))
(fma.f64 (*.f64 %84 %80) %80 %12)
(fma.f64 %3 %2 %111)
(fma.f64 %149 %79 %192)
(fma.f64 %80 (*.f64 %80 %84) %12)
(fma.f64 %2 %3 %111)
(fma.f64 %148 %1 %197)
(fma.f64 %155 x %199)
(fma.f64 %158 %9 %201)
(fma.f64 %162 y %203)
(fma.f64 %166 %9 %205)
(fma.f64 %166 y %207)
(fma.f64 %163 %87 %209)
(fma.f64 %167 %87 %211)
(fma.f64 %167 %9 %213)
(fma.f64 %153 %79 %215)
(fma.f64 %153 %1 %217)
(fma.f64 %161 %1 %219)
(fma.f64 %161 %87 %221)
(fma.f64 %172 %1 %223)
(fma.f64 %172 y %225)
(fma.f64 %159 %79 %227)
(fma.f64 %159 %9 %229)
(fma.f64 %156 %79 %231)
(fma.f64 %156 x %233)
(fma.f64 %84 %79 %12)
(fma.f64 %6 %6 %111)
(fma.f64 %177 y %237)
(fma.f64 %177 x %239)
(fma.f64 %165 %87 %241)
(fma.f64 %165 x %243)
(fma.f64 %79 %149 %245)
(fma.f64 %79 %153 %247)
(fma.f64 %79 %159 %249)
(fma.f64 %79 %156 %251)
(fma.f64 %79 %84 %12)
(fma.f64 %1 %148 %254)
(fma.f64 %1 %153 %256)
(fma.f64 %1 %161 %258)
(fma.f64 %1 %172 %260)
(fma.f64 %1 %1 %111)
(fma.f64 %87 %163 %263)
(fma.f64 %87 %167 %265)
(fma.f64 %87 %161 %267)
(fma.f64 %87 %165 %241)
(fma.f64 %87 y %12)
(fma.f64 %9 %158 %271)
(fma.f64 %9 %166 %273)
(fma.f64 %9 %167 %275)
(fma.f64 %9 %159 %277)
(fma.f64 %9 %9 %111)
(fma.f64 #s(literal 1 binary64) %243 %241)
(fma.f64 #s(literal 1 binary64) %239 %237)
(fma.f64 #s(literal 1 binary64) %237 %239)
(fma.f64 #s(literal 1 binary64) %241 %243)
(fma.f64 #s(literal 1 binary64) %111 %12)
(fma.f64 #s(literal 1 binary64) %12 %111)
(fma.f64 y %162 %286)
(fma.f64 y %166 %288)
(fma.f64 y %172 %290)
(fma.f64 y %177 %237)
(fma.f64 y %87 %12)
(fma.f64 x %155 %294)
(fma.f64 x %156 %296)
(fma.f64 x %177 %239)
(fma.f64 x %165 %243)
(fma.f64 x x %111)
(-.f64 %239 (*.f64 %167 x))
(-.f64 %239 (*.f64 %9 %177))
(-.f64 %239 (neg.f64 %237))
(-.f64 %237 (*.f64 %167 y))
(-.f64 %237 (*.f64 %87 %177))
(-.f64 %237 (neg.f64 %239))
(-.f64 %241 (*.f64 %166 %87))
(-.f64 %241 (*.f64 y %165))
(-.f64 %241 (neg.f64 %243))
(-.f64 %111 %41)
(-.f64 %12 %89)
(+.f64 (*.f64 %149 %79) %192)
(+.f64 (*.f64 %148 %1) %197)
(+.f64 (*.f64 %155 x) %199)
(+.f64 (*.f64 %158 %9) %201)
(+.f64 (*.f64 %162 y) %203)
(+.f64 %207 %205)
(+.f64 %205 %207)
(+.f64 (*.f64 %163 %87) %209)
(+.f64 %213 %211)
(+.f64 %211 %213)
(+.f64 %217 %215)
(+.f64 %215 %217)
(+.f64 %221 %219)
(+.f64 %219 %221)
(+.f64 %225 %223)
(+.f64 %223 %225)
(+.f64 %229 %227)
(+.f64 %227 %229)
(+.f64 %233 %231)
(+.f64 %231 %233)
(+.f64 (*.f64 %79 %149) %245)
(+.f64 (*.f64 %1 %148) %254)
(+.f64 (*.f64 x %155) %294)
(+.f64 (*.f64 %9 %158) %271)
(+.f64 (*.f64 y %162) %286)
(+.f64 %288 %273)
(+.f64 %273 %288)
(+.f64 (*.f64 %87 %163) %263)
(+.f64 %275 %265)
(+.f64 %265 %275)
(+.f64 %256 %247)
(+.f64 %247 %256)
(+.f64 %267 %258)
(+.f64 %258 %267)
(+.f64 %290 %260)
(+.f64 %260 %290)
(+.f64 %277 %249)
(+.f64 %249 %277)
(+.f64 %296 %251)
(+.f64 %251 %296)
(+.f64 %243 %241)
(+.f64 %239 %237)
(+.f64 %237 %239)
(+.f64 %241 %243)
(+.f64 %111 %12)
(+.f64 %12 %111)

reconstruct20.0ms (2.2%)

Counts: 236 → 33
Compiler: Compiled 236 to 390 computations (-65.3% saved)

eval3.0ms (0.3%)

Compiler: Compiled 29 to 90 computations (-210.3% saved)

prune1.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	28	1	29
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	29	1	30

Accuracy

100.0%

Counts

30 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(*.f64 (+.f64 y x) (-.f64 x y))

Compiler

Compiled 1 to 5 computations (-400.0% saved)

sample0.0ms (0.0%)

Calls

Call 1

Inputs

Outputs

series10.0ms (1.1%)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	117	438

Stop Event

1×	iter-limit

Counts

5 → 28

Calls

Call 1

Inputs
%2 = (+.f64 y x) %3 = (-.f64 x y) x y %2 %3 (*.f64 %2 %3)

Outputs
%5 = (+ y x) %9 = (- x y) %11 = (.f64 #s(literal -1 binary64) y) %15 = ( %5 %9) %17 = (pow.f64 y #s(literal 2 binary64)) %20 = (+.f64 y %11) %29 = (/.f64 y x) %33 = (.f64 #s(literal -1 binary64) %29) %37 = (pow.f64 x #s(literal 2 binary64)) %67 = (+.f64 x (.f64 #s(literal -1 binary64) x)) %74 = (/.f64 x y) %91 = (.f64 #s(literal -1 binary64) %74) (approx x #s(literal 0 binary64)) (approx x x) (approx %5 y) (approx %5 (+.f64 x y)) (approx %9 %11) (approx %9 (-.f64 x y)) (approx %15 (.f64 #s(literal -1 binary64) %17)) (approx %15 (fma.f64 #s(literal -1 binary64) %17 (.f64 x %20))) (approx %15 (fma.f64 #s(literal -1 binary64) %17 (.f64 x (+.f64 x %20)))) (approx %5 (.f64 x (+.f64 #s(literal 1 binary64) %29))) (approx %9 (.f64 x (+.f64 #s(literal 1 binary64) %33))) (approx %15 %37) (approx %15 (.f64 %37 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) %29 %29)))) (approx %15 (.f64 %37 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) %29 (fma.f64 #s(literal -1 binary64) (/.f64 %17 %37) %29))))) (approx %5 (.f64 #s(literal -1 binary64) (.f64 x (-.f64 %33 #s(literal 1 binary64))))) (approx %9 (.f64 #s(literal -1 binary64) (.f64 x (-.f64 %29 #s(literal 1 binary64))))) (approx %15 (.f64 %37 (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) %20 (/.f64 %17 x)) x))))) (approx %9 (+.f64 x %11)) (approx %15 (fma.f64 y %67 %37)) (approx %15 (fma.f64 y (+.f64 x (fma.f64 #s(literal -1 binary64) x %11)) %37)) (approx %5 (.f64 y (+.f64 #s(literal 1 binary64) %74))) (approx %9 (.f64 y (-.f64 %74 #s(literal 1 binary64)))) (approx %15 (.f64 %17 (-.f64 (fma.f64 #s(literal -1 binary64) %74 %74) #s(literal 1 binary64)))) (approx %15 (.f64 %17 (-.f64 (fma.f64 #s(literal -1 binary64) %74 (+.f64 %74 (/.f64 %37 %17))) #s(literal 1 binary64)))) (approx %5 (.f64 #s(literal -1 binary64) (.f64 y (-.f64 %91 #s(literal 1 binary64))))) (approx %9 (.f64 #s(literal -1 binary64) (.f64 y (+.f64 #s(literal 1 binary64) %91)))) (approx %15 (.f64 %17 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 %67 y)) #s(literal 1 binary64)))) (approx %15 (.f64 %17 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) (/.f64 %37 y)))) y)) #s(literal 1 binary64))))

Outputs

%5 = (+ y x)
%9 = (- x y)
%11 = (*.f64 #s(literal -1 binary64) y)
%15 = (* %5 %9)
%17 = (pow.f64 y #s(literal 2 binary64))
%20 = (+.f64 y %11)
%29 = (/.f64 y x)
%33 = (*.f64 #s(literal -1 binary64) %29)
%37 = (pow.f64 x #s(literal 2 binary64))
%67 = (+.f64 x (*.f64 #s(literal -1 binary64) x))
%74 = (/.f64 x y)
%91 = (*.f64 #s(literal -1 binary64) %74)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 y)
(approx %5 (+.f64 x y))
(approx %9 %11)
(approx %9 (-.f64 x y))
(approx %15 (*.f64 #s(literal -1 binary64) %17))
(approx %15 (fma.f64 #s(literal -1 binary64) %17 (*.f64 x %20)))
(approx %15 (fma.f64 #s(literal -1 binary64) %17 (*.f64 x (+.f64 x %20))))
(approx %5 (*.f64 x (+.f64 #s(literal 1 binary64) %29)))
(approx %9 (*.f64 x (+.f64 #s(literal 1 binary64) %33)))
(approx %15 %37)
(approx %15 (*.f64 %37 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) %29 %29))))
(approx %15 (*.f64 %37 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) %29 (fma.f64 #s(literal -1 binary64) (/.f64 %17 %37) %29)))))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %33 #s(literal 1 binary64)))))
(approx %9 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %29 #s(literal 1 binary64)))))
(approx %15 (*.f64 %37 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) %20 (/.f64 %17 x)) x)))))
(approx %9 (+.f64 x %11))
(approx %15 (fma.f64 y %67 %37))
(approx %15 (fma.f64 y (+.f64 x (fma.f64 #s(literal -1 binary64) x %11)) %37))
(approx %5 (*.f64 y (+.f64 #s(literal 1 binary64) %74)))
(approx %9 (*.f64 y (-.f64 %74 #s(literal 1 binary64))))
(approx %15 (*.f64 %17 (-.f64 (fma.f64 #s(literal -1 binary64) %74 %74) #s(literal 1 binary64))))
(approx %15 (*.f64 %17 (-.f64 (fma.f64 #s(literal -1 binary64) %74 (+.f64 %74 (/.f64 %37 %17))) #s(literal 1 binary64))))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 %91 #s(literal 1 binary64)))))
(approx %9 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 #s(literal 1 binary64) %91))))
(approx %15 (*.f64 %17 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %67 y)) #s(literal 1 binary64))))
(approx %15 (*.f64 %17 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) (/.f64 %37 y)))) y)) #s(literal 1 binary64))))

Calls

6 calls:

Time	Variable	Point
1.0ms	x	-inf
1.0ms	x	inf
1.0ms	y	inf
1.0ms	y	-inf
0.0ms	x	0

rewrite84.0ms (9.4%)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	15
0	8	15
1	22	15
2	63	15
3	225	15
4	679	15
5	1795	15
0	4035	15
0	4282	15

Stop Event

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

Counts

5 → 160

Calls

Call 1

Inputs
%2 = (+.f64 y x) %3 = (-.f64 x y) x y %2 %3 (*.f64 %2 %3)

Outputs
%3 = (+.f64 y x) %9 = (neg.f64 %3) %11 = (neg.f64 x) %13 = (neg.f64 y) %16 = (-.f64 x y) %21 = (-.f64 y x) %27 = (fabs.f64 y) %28 = (fabs.f64 x) %29 = (+.f64 %27 %28) %33 = (neg.f64 %28) %34 = (neg.f64 %27) %47 = (-.f64 %28 %27) %50 = (+.f64 %28 y) %51 = (-.f64 %28 y) %54 = (+.f64 %27 x) %55 = (neg.f64 %54) %56 = (-.f64 %27 x) %58 = (-.f64 x %27) %62 = (-.f64 %13 %28) %63 = (-.f64 y %28) %68 = (.f64 %16 %3) %72 = (.f64 x x) %74 = (.f64 y y) %83 = (neg.f64 %33) %84 = (neg.f64 %83) %85 = (-.f64 x %3) %86 = (.f64 y %85) %88 = (.f64 %13 y) %90 = (neg.f64 %34) %91 = (+.f64 %16 y) %92 = (.f64 x %91) %107 = (.f64 %9 y) %109 = (.f64 %3 x) %117 = (.f64 %16 x) %119 = (-.f64 %117 %74) %124 = (fma.f64 %16 y %72) %127 = (.f64 %16 y) %137 = (.f64 %13 x) %139 = (.f64 y x) %181 = (.f64 %11 x) %190 = (.f64 %3 y) %193 = (.f64 %21 x) %202 = (.f64 %9 x) %216 = (.f64 %21 y) x y (.f64 #s(literal 1 binary64) %3) (pow.f64 %3 #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -1 binary64))) (neg.f64 %9) (-.f64 y %11) (-.f64 x %13) %3 (+.f64 x y) (.f64 #s(literal 1 binary64) %16) (pow.f64 %16 #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 %16 #s(literal -1 binary64))) (neg.f64 %21) (fma.f64 #s(literal 1 binary64) %13 x) (-.f64 %13 %11) %16 (+.f64 %13 x) (+.f64 x %13) (.f64 (neg.f64 %29) (-.f64 %27 %28)) (.f64 (+.f64 %33 %34) (-.f64 %33 %34)) (.f64 (+.f64 %33 %27) (-.f64 %33 %27)) (.f64 (+.f64 %33 %13) (-.f64 %33 %13)) (.f64 (+.f64 %33 y) (-.f64 %33 y)) (.f64 %47 %29) (.f64 %29 %47) (.f64 %50 %51) (.f64 %51 %50) (.f64 %55 %56) (.f64 %58 %54) (.f64 %54 %58) (.f64 %56 %55) (.f64 %62 %63) (.f64 %63 %62) (.f64 %9 %21) (.f64 %21 %9) (.f64 #s(literal 1 binary64) %68) %68 (.f64 %3 %16) (pow.f64 %68 #s(literal 1 binary64)) (/.f64 (-.f64 (.f64 %72 %72) (.f64 %74 %74)) (fma.f64 x x %74)) (/.f64 #s(literal 1 binary64) (pow.f64 %68 #s(literal -1 binary64))) (neg.f64 (*.f64 %21 %3)) (fma.f64 %84 %84 %86) (fma.f64 %84 %84 %88) (fma.f64 %90 %34 %92) (fma.f64 %90 %34 %72) (fma.f64 %83 %83 %86) (fma.f64 %83 %83 %88) (fma.f64 %34 %90 %92) (fma.f64 %34 %90 %72) (fma.f64 %34 %27 %92) (fma.f64 %34 %27 %72) (fma.f64 %33 %33 %86) (fma.f64 %33 %33 %88) (fma.f64 %27 %34 %92) (fma.f64 %27 %34 %72) (fma.f64 %28 %28 %86) (fma.f64 %28 %28 %88) (fma.f64 %9 %11 %107) (fma.f64 %9 y %109) (fma.f64 %13 (+.f64 x %21) %72) (fma.f64 %13 (+.f64 %21 x) %72) (fma.f64 %13 (-.f64 x %16) %72) (fma.f64 %13 %21 %117) (fma.f64 %13 %11 %119) (fma.f64 %13 %3 %109) (fma.f64 %13 y %92) (fma.f64 %13 y %72) (fma.f64 %13 x %124) (fma.f64 %21 %13 %117) (fma.f64 %21 %11 %127) (fma.f64 %11 %9 %107) (fma.f64 %11 %13 %119) (fma.f64 %11 %21 %127) (fma.f64 %11 %11 %86) (fma.f64 %11 %11 %88) (fma.f64 %11 y %124) (fma.f64 #s(literal 1 binary64) %86 %72) (fma.f64 #s(literal 1 binary64) %92 %88) (fma.f64 #s(literal 1 binary64) %124 %137) (fma.f64 #s(literal 1 binary64) %119 %139) (fma.f64 #s(literal 1 binary64) %139 %119) (fma.f64 #s(literal 1 binary64) %88 %92) (fma.f64 #s(literal 1 binary64) %88 %72) (fma.f64 #s(literal 1 binary64) %137 %124) (fma.f64 #s(literal 1 binary64) %127 %117) (fma.f64 #s(literal 1 binary64) %117 %127) (fma.f64 #s(literal 1 binary64) %107 %109) (fma.f64 #s(literal 1 binary64) %109 %107) (fma.f64 #s(literal 1 binary64) %72 %86) (fma.f64 #s(literal 1 binary64) %72 %88) (fma.f64 %16 y %117) (fma.f64 %16 x %127) (fma.f64 %3 %13 %109) (fma.f64 %3 x %107) (fma.f64 y (+.f64 %9 x) %72) (fma.f64 y (+.f64 x %9) %72) (fma.f64 y %85 %72) (fma.f64 y %9 %109) (fma.f64 y %13 %92) (fma.f64 y %13 %72) (fma.f64 y %11 %124) (fma.f64 y %16 %117) (fma.f64 y x %119) (fma.f64 x (+.f64 %3 %13) %88) (fma.f64 x (+.f64 %13 %3) %88) (fma.f64 x %91 %88) (fma.f64 x (+.f64 y %16) %88) (fma.f64 x (-.f64 y %21) %88) (fma.f64 x %13 %124) (fma.f64 x %16 %127) (fma.f64 x %3 %107) (fma.f64 x y %119) (fma.f64 x x %86) (fma.f64 x x %88) (-.f64 %86 %181) (-.f64 %92 %74) (-.f64 %124 %139) (-.f64 %119 %137) (-.f64 %139 (-.f64 %181 %107)) (-.f64 %139 (-.f64 %74 %117)) (-.f64 %139 (fma.f64 %11 x %190)) (-.f64 %139 (fma.f64 y y %193)) (-.f64 %139 (neg.f64 %119)) (-.f64 %88 (-.f64 %137 %117)) (-.f64 %88 (-.f64 %139 %109)) (-.f64 %88 (fma.f64 y x %202)) (-.f64 %88 (fma.f64 %13 x %193)) (-.f64 %88 (neg.f64 %92)) (-.f64 %88 %181) (-.f64 %137 (-.f64 %74 %109)) (-.f64 %137 (-.f64 %181 %127)) (-.f64 %137 (fma.f64 y y %202)) (-.f64 %137 (fma.f64 %11 x %216)) (-.f64 %137 (neg.f64 %124)) (-.f64 %127 %193) (-.f64 %117 %216) (-.f64 %107 %202) (-.f64 %109 %190) (-.f64 %72 (-.f64 %137 %107)) (-.f64 %72 (-.f64 %139 %127)) (-.f64 %72 (fma.f64 %13 x %190)) (-.f64 %72 (fma.f64 y x %216)) (-.f64 %72 (neg.f64 %86)) (-.f64 %72 %74) (+.f64 %86 %72) (+.f64 %92 %88) (+.f64 %124 %137) (+.f64 %119 %139) (+.f64 %139 %119) (+.f64 %88 %92) (+.f64 %88 %72) (+.f64 %137 %124) (+.f64 %127 %117) (+.f64 %117 %127) (+.f64 %107 %109) (+.f64 %109 %107) (+.f64 %72 %86) (+.f64 %72 %88)

Outputs

%3 = (+.f64 y x)
%9 = (neg.f64 %3)
%11 = (neg.f64 x)
%13 = (neg.f64 y)
%16 = (-.f64 x y)
%21 = (-.f64 y x)
%27 = (fabs.f64 y)
%28 = (fabs.f64 x)
%29 = (+.f64 %27 %28)
%33 = (neg.f64 %28)
%34 = (neg.f64 %27)
%47 = (-.f64 %28 %27)
%50 = (+.f64 %28 y)
%51 = (-.f64 %28 y)
%54 = (+.f64 %27 x)
%55 = (neg.f64 %54)
%56 = (-.f64 %27 x)
%58 = (-.f64 x %27)
%62 = (-.f64 %13 %28)
%63 = (-.f64 y %28)
%68 = (*.f64 %16 %3)
%72 = (*.f64 x x)
%74 = (*.f64 y y)
%83 = (neg.f64 %33)
%84 = (neg.f64 %83)
%85 = (-.f64 x %3)
%86 = (*.f64 y %85)
%88 = (*.f64 %13 y)
%90 = (neg.f64 %34)
%91 = (+.f64 %16 y)
%92 = (*.f64 x %91)
%107 = (*.f64 %9 y)
%109 = (*.f64 %3 x)
%117 = (*.f64 %16 x)
%119 = (-.f64 %117 %74)
%124 = (fma.f64 %16 y %72)
%127 = (*.f64 %16 y)
%137 = (*.f64 %13 x)
%139 = (*.f64 y x)
%181 = (*.f64 %11 x)
%190 = (*.f64 %3 y)
%193 = (*.f64 %21 x)
%202 = (*.f64 %9 x)
%216 = (*.f64 %21 y)
x
y
(*.f64 #s(literal 1 binary64) %3)
(pow.f64 %3 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -1 binary64)))
(neg.f64 %9)
(-.f64 y %11)
(-.f64 x %13)
%3
(+.f64 x y)
(*.f64 #s(literal 1 binary64) %16)
(pow.f64 %16 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %16 #s(literal -1 binary64)))
(neg.f64 %21)
(fma.f64 #s(literal 1 binary64) %13 x)
(-.f64 %13 %11)
%16
(+.f64 %13 x)
(+.f64 x %13)
(*.f64 (neg.f64 %29) (-.f64 %27 %28))
(*.f64 (+.f64 %33 %34) (-.f64 %33 %34))
(*.f64 (+.f64 %33 %27) (-.f64 %33 %27))
(*.f64 (+.f64 %33 %13) (-.f64 %33 %13))
(*.f64 (+.f64 %33 y) (-.f64 %33 y))
(*.f64 %47 %29)
(*.f64 %29 %47)
(*.f64 %50 %51)
(*.f64 %51 %50)
(*.f64 %55 %56)
(*.f64 %58 %54)
(*.f64 %54 %58)
(*.f64 %56 %55)
(*.f64 %62 %63)
(*.f64 %63 %62)
(*.f64 %9 %21)
(*.f64 %21 %9)
(*.f64 #s(literal 1 binary64) %68)
%68
(*.f64 %3 %16)
(pow.f64 %68 #s(literal 1 binary64))
(/.f64 (-.f64 (*.f64 %72 %72) (*.f64 %74 %74)) (fma.f64 x x %74))
(/.f64 #s(literal 1 binary64) (pow.f64 %68 #s(literal -1 binary64)))
(neg.f64 (*.f64 %21 %3))
(fma.f64 %84 %84 %86)
(fma.f64 %84 %84 %88)
(fma.f64 %90 %34 %92)
(fma.f64 %90 %34 %72)
(fma.f64 %83 %83 %86)
(fma.f64 %83 %83 %88)
(fma.f64 %34 %90 %92)
(fma.f64 %34 %90 %72)
(fma.f64 %34 %27 %92)
(fma.f64 %34 %27 %72)
(fma.f64 %33 %33 %86)
(fma.f64 %33 %33 %88)
(fma.f64 %27 %34 %92)
(fma.f64 %27 %34 %72)
(fma.f64 %28 %28 %86)
(fma.f64 %28 %28 %88)
(fma.f64 %9 %11 %107)
(fma.f64 %9 y %109)
(fma.f64 %13 (+.f64 x %21) %72)
(fma.f64 %13 (+.f64 %21 x) %72)
(fma.f64 %13 (-.f64 x %16) %72)
(fma.f64 %13 %21 %117)
(fma.f64 %13 %11 %119)
(fma.f64 %13 %3 %109)
(fma.f64 %13 y %92)
(fma.f64 %13 y %72)
(fma.f64 %13 x %124)
(fma.f64 %21 %13 %117)
(fma.f64 %21 %11 %127)
(fma.f64 %11 %9 %107)
(fma.f64 %11 %13 %119)
(fma.f64 %11 %21 %127)
(fma.f64 %11 %11 %86)
(fma.f64 %11 %11 %88)
(fma.f64 %11 y %124)
(fma.f64 #s(literal 1 binary64) %86 %72)
(fma.f64 #s(literal 1 binary64) %92 %88)
(fma.f64 #s(literal 1 binary64) %124 %137)
(fma.f64 #s(literal 1 binary64) %119 %139)
(fma.f64 #s(literal 1 binary64) %139 %119)
(fma.f64 #s(literal 1 binary64) %88 %92)
(fma.f64 #s(literal 1 binary64) %88 %72)
(fma.f64 #s(literal 1 binary64) %137 %124)
(fma.f64 #s(literal 1 binary64) %127 %117)
(fma.f64 #s(literal 1 binary64) %117 %127)
(fma.f64 #s(literal 1 binary64) %107 %109)
(fma.f64 #s(literal 1 binary64) %109 %107)
(fma.f64 #s(literal 1 binary64) %72 %86)
(fma.f64 #s(literal 1 binary64) %72 %88)
(fma.f64 %16 y %117)
(fma.f64 %16 x %127)
(fma.f64 %3 %13 %109)
(fma.f64 %3 x %107)
(fma.f64 y (+.f64 %9 x) %72)
(fma.f64 y (+.f64 x %9) %72)
(fma.f64 y %85 %72)
(fma.f64 y %9 %109)
(fma.f64 y %13 %92)
(fma.f64 y %13 %72)
(fma.f64 y %11 %124)
(fma.f64 y %16 %117)
(fma.f64 y x %119)
(fma.f64 x (+.f64 %3 %13) %88)
(fma.f64 x (+.f64 %13 %3) %88)
(fma.f64 x %91 %88)
(fma.f64 x (+.f64 y %16) %88)
(fma.f64 x (-.f64 y %21) %88)
(fma.f64 x %13 %124)
(fma.f64 x %16 %127)
(fma.f64 x %3 %107)
(fma.f64 x y %119)
(fma.f64 x x %86)
(fma.f64 x x %88)
(-.f64 %86 %181)
(-.f64 %92 %74)
(-.f64 %124 %139)
(-.f64 %119 %137)
(-.f64 %139 (-.f64 %181 %107))
(-.f64 %139 (-.f64 %74 %117))
(-.f64 %139 (fma.f64 %11 x %190))
(-.f64 %139 (fma.f64 y y %193))
(-.f64 %139 (neg.f64 %119))
(-.f64 %88 (-.f64 %137 %117))
(-.f64 %88 (-.f64 %139 %109))
(-.f64 %88 (fma.f64 y x %202))
(-.f64 %88 (fma.f64 %13 x %193))
(-.f64 %88 (neg.f64 %92))
(-.f64 %88 %181)
(-.f64 %137 (-.f64 %74 %109))
(-.f64 %137 (-.f64 %181 %127))
(-.f64 %137 (fma.f64 y y %202))
(-.f64 %137 (fma.f64 %11 x %216))
(-.f64 %137 (neg.f64 %124))
(-.f64 %127 %193)
(-.f64 %117 %216)
(-.f64 %107 %202)
(-.f64 %109 %190)
(-.f64 %72 (-.f64 %137 %107))
(-.f64 %72 (-.f64 %139 %127))
(-.f64 %72 (fma.f64 %13 x %190))
(-.f64 %72 (fma.f64 y x %216))
(-.f64 %72 (neg.f64 %86))
(-.f64 %72 %74)
(+.f64 %86 %72)
(+.f64 %92 %88)
(+.f64 %124 %137)
(+.f64 %119 %139)
(+.f64 %139 %119)
(+.f64 %88 %92)
(+.f64 %88 %72)
(+.f64 %137 %124)
(+.f64 %127 %117)
(+.f64 %117 %127)
(+.f64 %107 %109)
(+.f64 %109 %107)
(+.f64 %72 %86)
(+.f64 %72 %88)

reconstruct16.0ms (1.8%)

Counts: 188 → 55
Compiler: Compiled 188 to 327 computations (-73.9% saved)

eval4.0ms (0.5%)

Compiler: Compiled 53 to 150 computations (-183.0% saved)

prune1.0ms (0.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	52	1	53
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	52	2	54

Accuracy

100.0%

Counts

54 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(*.f64 (+.f64 y x) (-.f64 x y))
▶	60.8%	(*.f64 (approx (+ y x) y) (-.f64 x y))

Compiler

Compiled 2 to 6 computations (-200.0% saved)

sample0.0ms (0.0%)

Calls

Call 1

Inputs

Outputs

series8.0ms (0.9%)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	117	438

Stop Event

1×	iter-limit

Counts

5 → 28

Calls

Call 1

Inputs
%2 = (-.f64 x y) %4 = (approx (+ y x) y) x y %2 %4 (*.f64 %4 %2)

Outputs
%5 = (- x y) %7 = (.f64 #s(literal -1 binary64) y) %11 = (+ y x) %15 = ( %11 %5) %17 = (pow.f64 y #s(literal 2 binary64)) %20 = (+.f64 y %7) %29 = (/.f64 y x) %30 = (.f64 #s(literal -1 binary64) %29) %37 = (pow.f64 x #s(literal 2 binary64)) %67 = (+.f64 x (.f64 #s(literal -1 binary64) x)) %74 = (/.f64 x y) %91 = (.f64 #s(literal -1 binary64) %74) (approx x #s(literal 0 binary64)) (approx x x) (approx %5 %7) (approx %5 (-.f64 x y)) (approx %11 y) (approx %11 (+.f64 x y)) (approx %15 (.f64 #s(literal -1 binary64) %17)) (approx %15 (fma.f64 #s(literal -1 binary64) %17 (.f64 x %20))) (approx %15 (fma.f64 #s(literal -1 binary64) %17 (.f64 x (+.f64 x %20)))) (approx %5 (.f64 x (+.f64 #s(literal 1 binary64) %30))) (approx %11 (.f64 x (+.f64 #s(literal 1 binary64) %29))) (approx %15 %37) (approx %15 (.f64 %37 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) %29 %29)))) (approx %15 (.f64 %37 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) %29 (fma.f64 #s(literal -1 binary64) (/.f64 %17 %37) %29))))) (approx %5 (.f64 #s(literal -1 binary64) (.f64 x (-.f64 %29 #s(literal 1 binary64))))) (approx %11 (.f64 #s(literal -1 binary64) (.f64 x (-.f64 %30 #s(literal 1 binary64))))) (approx %15 (.f64 %37 (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) %20 (/.f64 %17 x)) x))))) (approx %5 (+.f64 x %7)) (approx %15 (fma.f64 y %67 %37)) (approx %15 (fma.f64 y (+.f64 x (fma.f64 #s(literal -1 binary64) x %7)) %37)) (approx %5 (.f64 y (-.f64 %74 #s(literal 1 binary64)))) (approx %11 (.f64 y (+.f64 #s(literal 1 binary64) %74))) (approx %15 (.f64 %17 (-.f64 (fma.f64 #s(literal -1 binary64) %74 %74) #s(literal 1 binary64)))) (approx %15 (.f64 %17 (-.f64 (fma.f64 #s(literal -1 binary64) %74 (+.f64 %74 (/.f64 %37 %17))) #s(literal 1 binary64)))) (approx %5 (.f64 #s(literal -1 binary64) (.f64 y (+.f64 #s(literal 1 binary64) %91)))) (approx %11 (.f64 #s(literal -1 binary64) (.f64 y (-.f64 %91 #s(literal 1 binary64))))) (approx %15 (.f64 %17 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 %67 y)) #s(literal 1 binary64)))) (approx %15 (.f64 %17 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) (/.f64 %37 y)))) y)) #s(literal 1 binary64))))

Outputs

%5 = (- x y)
%7 = (*.f64 #s(literal -1 binary64) y)
%11 = (+ y x)
%15 = (* %11 %5)
%17 = (pow.f64 y #s(literal 2 binary64))
%20 = (+.f64 y %7)
%29 = (/.f64 y x)
%30 = (*.f64 #s(literal -1 binary64) %29)
%37 = (pow.f64 x #s(literal 2 binary64))
%67 = (+.f64 x (*.f64 #s(literal -1 binary64) x))
%74 = (/.f64 x y)
%91 = (*.f64 #s(literal -1 binary64) %74)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 %7)
(approx %5 (-.f64 x y))
(approx %11 y)
(approx %11 (+.f64 x y))
(approx %15 (*.f64 #s(literal -1 binary64) %17))
(approx %15 (fma.f64 #s(literal -1 binary64) %17 (*.f64 x %20)))
(approx %15 (fma.f64 #s(literal -1 binary64) %17 (*.f64 x (+.f64 x %20))))
(approx %5 (*.f64 x (+.f64 #s(literal 1 binary64) %30)))
(approx %11 (*.f64 x (+.f64 #s(literal 1 binary64) %29)))
(approx %15 %37)
(approx %15 (*.f64 %37 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) %29 %29))))
(approx %15 (*.f64 %37 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) %29 (fma.f64 #s(literal -1 binary64) (/.f64 %17 %37) %29)))))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %29 #s(literal 1 binary64)))))
(approx %11 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %30 #s(literal 1 binary64)))))
(approx %15 (*.f64 %37 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) %20 (/.f64 %17 x)) x)))))
(approx %5 (+.f64 x %7))
(approx %15 (fma.f64 y %67 %37))
(approx %15 (fma.f64 y (+.f64 x (fma.f64 #s(literal -1 binary64) x %7)) %37))
(approx %5 (*.f64 y (-.f64 %74 #s(literal 1 binary64))))
(approx %11 (*.f64 y (+.f64 #s(literal 1 binary64) %74)))
(approx %15 (*.f64 %17 (-.f64 (fma.f64 #s(literal -1 binary64) %74 %74) #s(literal 1 binary64))))
(approx %15 (*.f64 %17 (-.f64 (fma.f64 #s(literal -1 binary64) %74 (+.f64 %74 (/.f64 %37 %17))) #s(literal 1 binary64))))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 #s(literal 1 binary64) %91))))
(approx %11 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 %91 #s(literal 1 binary64)))))
(approx %15 (*.f64 %17 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %67 y)) #s(literal 1 binary64))))
(approx %15 (*.f64 %17 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) (/.f64 %37 y)))) y)) #s(literal 1 binary64))))

Calls

6 calls:

Time	Variable	Point
1.0ms	x	-inf
1.0ms	y	inf
1.0ms	x	inf
1.0ms	y	-inf
0.0ms	x	0

rewrite73.0ms (8.2%)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	19
0	8	19
1	23	19
2	53	19
3	118	19
4	229	19
5	650	19
0	4090	19
0	4244	19

Stop Event

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

Counts

5 → 52

Calls

Call 1

Inputs
%2 = (-.f64 x y) %4 = (approx (+ y x) y) x y %2 %4 (*.f64 %4 %2)

Outputs
%3 = (-.f64 y x) %6 = (-.f64 x y) %13 = (neg.f64 y) %14 = (.f64 x #s(literal 1 binary64)) %17 = (.f64 %13 #s(literal 1 binary64)) %19 = (neg.f64 x) %26 = (approx (+ y x) y) %27 = (neg.f64 %26) %34 = (.f64 %3 %26) %38 = (.f64 %26 %6) %45 = (.f64 %27 x) %46 = (.f64 %13 %26) %48 = (.f64 %26 y) %49 = (.f64 %26 x) %53 = (.f64 %49 #s(literal 1 binary64)) %55 = (.f64 %46 #s(literal 1 binary64)) x y (.f64 #s(literal -1 binary64) %3) (.f64 #s(literal 1 binary64) %6) (pow.f64 %6 #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 %6 #s(literal -1 binary64))) (neg.f64 %3) (fma.f64 #s(literal -1 binary64) y x) (fma.f64 %13 #s(literal 1 binary64) %14) (fma.f64 #s(literal 1 binary64) %13 x) (fma.f64 x #s(literal 1 binary64) %17) (-.f64 %13 %19) %6 (+.f64 %14 %17) (+.f64 %17 %14) (+.f64 %13 x) (+.f64 x %13) (.f64 #s(literal -1 binary64) %27) (.f64 #s(literal 1 binary64) %26) (pow.f64 %26 #s(literal 1 binary64)) %26 (/.f64 #s(literal 1 binary64) (pow.f64 %26 #s(literal -1 binary64))) (neg.f64 %27) (.f64 #s(literal -1 binary64) %34) (.f64 %27 %3) (.f64 %3 %27) (.f64 #s(literal 1 binary64) %38) %38 (*.f64 %6 %26) (pow.f64 %38 #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 %38 #s(literal -1 binary64))) (neg.f64 %34) (fma.f64 #s(literal -1 binary64) %45 %46) (fma.f64 #s(literal -1 binary64) %48 %49) (fma.f64 %27 %19 %46) (fma.f64 %27 y %49) (fma.f64 %46 #s(literal 1 binary64) %53) (fma.f64 %49 #s(literal 1 binary64) %55) (fma.f64 %13 %26 %49) (fma.f64 %19 %27 %46) (fma.f64 #s(literal 1 binary64) %46 %49) (fma.f64 #s(literal 1 binary64) %49 %46) (fma.f64 %26 %13 %49) (fma.f64 %26 x %46) (fma.f64 y %27 %49) (fma.f64 x %26 %46) (-.f64 %46 %45) (-.f64 %49 %48) (+.f64 %55 %53) (+.f64 %53 %55) (+.f64 %46 %49) (+.f64 %49 %46)

Outputs

%3 = (-.f64 y x)
%6 = (-.f64 x y)
%13 = (neg.f64 y)
%14 = (*.f64 x #s(literal 1 binary64))
%17 = (*.f64 %13 #s(literal 1 binary64))
%19 = (neg.f64 x)
%26 = (approx (+ y x) y)
%27 = (neg.f64 %26)
%34 = (*.f64 %3 %26)
%38 = (*.f64 %26 %6)
%45 = (*.f64 %27 x)
%46 = (*.f64 %13 %26)
%48 = (*.f64 %26 y)
%49 = (*.f64 %26 x)
%53 = (*.f64 %49 #s(literal 1 binary64))
%55 = (*.f64 %46 #s(literal 1 binary64))
x
y
(*.f64 #s(literal -1 binary64) %3)
(*.f64 #s(literal 1 binary64) %6)
(pow.f64 %6 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %6 #s(literal -1 binary64)))
(neg.f64 %3)
(fma.f64 #s(literal -1 binary64) y x)
(fma.f64 %13 #s(literal 1 binary64) %14)
(fma.f64 #s(literal 1 binary64) %13 x)
(fma.f64 x #s(literal 1 binary64) %17)
(-.f64 %13 %19)
%6
(+.f64 %14 %17)
(+.f64 %17 %14)
(+.f64 %13 x)
(+.f64 x %13)
(*.f64 #s(literal -1 binary64) %27)
(*.f64 #s(literal 1 binary64) %26)
(pow.f64 %26 #s(literal 1 binary64))
%26
(/.f64 #s(literal 1 binary64) (pow.f64 %26 #s(literal -1 binary64)))
(neg.f64 %27)
(*.f64 #s(literal -1 binary64) %34)
(*.f64 %27 %3)
(*.f64 %3 %27)
(*.f64 #s(literal 1 binary64) %38)
%38
(*.f64 %6 %26)
(pow.f64 %38 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %38 #s(literal -1 binary64)))
(neg.f64 %34)
(fma.f64 #s(literal -1 binary64) %45 %46)
(fma.f64 #s(literal -1 binary64) %48 %49)
(fma.f64 %27 %19 %46)
(fma.f64 %27 y %49)
(fma.f64 %46 #s(literal 1 binary64) %53)
(fma.f64 %49 #s(literal 1 binary64) %55)
(fma.f64 %13 %26 %49)
(fma.f64 %19 %27 %46)
(fma.f64 #s(literal 1 binary64) %46 %49)
(fma.f64 #s(literal 1 binary64) %49 %46)
(fma.f64 %26 %13 %49)
(fma.f64 %26 x %46)
(fma.f64 y %27 %49)
(fma.f64 x %26 %46)
(-.f64 %46 %45)
(-.f64 %49 %48)
(+.f64 %55 %53)
(+.f64 %53 %55)
(+.f64 %46 %49)
(+.f64 %49 %46)

reconstruct6.0ms (0.7%)

Counts: 79 → 29
Compiler: Compiled 79 to 147 computations (-86.1% saved)

eval3.0ms (0.3%)

Compiler: Compiled 26 to 88 computations (-238.5% saved)

prune1.0ms (0.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	25	1	26
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	25	3	28

Accuracy

100.0%

Counts

28 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(*.f64 (+.f64 y x) (-.f64 x y))
▶	53.0%	(*.f64 (approx (+ y x) y) (-.f64 (approx x #s(literal 0 binary64)) y))
✓	60.8%	(*.f64 (approx (+ y x) y) (-.f64 x y))

Compiler

Compiled 3 to 9 computations (-200.0% saved)

sample0.0ms (0.0%)

Calls

Call 1

Inputs

Outputs

series9.0ms (1.0%)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	117	438

Stop Event

1×	iter-limit

Counts

7 → 28

Calls

Call 1

Inputs
%3 = (approx x #s(literal 0 binary64)) %5 = (approx (+ y x) y) %6 = (-.f64 %3 y) x y #s(literal 0 binary64) %3 %5 %6 (*.f64 %5 %6)

Outputs

%5 = (+ y x)
%9 = (- x y)
%11 = (*.f64 #s(literal -1 binary64) y)
%15 = (* %5 %9)
%17 = (pow.f64 y #s(literal 2 binary64))
%20 = (+.f64 y %11)
%29 = (/.f64 y x)
%33 = (*.f64 #s(literal -1 binary64) %29)
%37 = (pow.f64 x #s(literal 2 binary64))
%67 = (+.f64 x (*.f64 #s(literal -1 binary64) x))
%74 = (/.f64 x y)
%91 = (*.f64 #s(literal -1 binary64) %74)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 y)
(approx %5 (+.f64 x y))
(approx %9 %11)
(approx %9 (-.f64 x y))
(approx %15 (*.f64 #s(literal -1 binary64) %17))
(approx %15 (fma.f64 #s(literal -1 binary64) %17 (*.f64 x %20)))
(approx %15 (fma.f64 #s(literal -1 binary64) %17 (*.f64 x (+.f64 x %20))))
(approx %5 (*.f64 x (+.f64 #s(literal 1 binary64) %29)))
(approx %9 (*.f64 x (+.f64 #s(literal 1 binary64) %33)))
(approx %15 %37)
(approx %15 (*.f64 %37 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) %29 %29))))
(approx %15 (*.f64 %37 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) %29 (fma.f64 #s(literal -1 binary64) (/.f64 %17 %37) %29)))))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %33 #s(literal 1 binary64)))))
(approx %9 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %29 #s(literal 1 binary64)))))
(approx %15 (*.f64 %37 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) %20 (/.f64 %17 x)) x)))))
(approx %9 (+.f64 x %11))
(approx %15 (fma.f64 y %67 %37))
(approx %15 (fma.f64 y (+.f64 x (fma.f64 #s(literal -1 binary64) x %11)) %37))
(approx %5 (*.f64 y (+.f64 #s(literal 1 binary64) %74)))
(approx %9 (*.f64 y (-.f64 %74 #s(literal 1 binary64))))
(approx %15 (*.f64 %17 (-.f64 (fma.f64 #s(literal -1 binary64) %74 %74) #s(literal 1 binary64))))
(approx %15 (*.f64 %17 (-.f64 (fma.f64 #s(literal -1 binary64) %74 (+.f64 %74 (/.f64 %37 %17))) #s(literal 1 binary64))))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 %91 #s(literal 1 binary64)))))
(approx %9 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 #s(literal 1 binary64) %91))))
(approx %15 (*.f64 %17 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %67 y)) #s(literal 1 binary64))))
(approx %15 (*.f64 %17 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) (/.f64 %37 y)))) y)) #s(literal 1 binary64))))

Calls

6 calls:

Time	Variable	Point
1.0ms	x	-inf
1.0ms	x	inf
1.0ms	y	inf
1.0ms	y	-inf
0.0ms	x	0

rewrite73.0ms (8.2%)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	27
0	10	27
1	28	27
2	63	27
3	162	27
4	688	27
0	4759	27
0	4879	27

Stop Event

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

Counts

7 → 69

Calls

Call 1

Inputs
%3 = (approx x #s(literal 0 binary64)) %5 = (approx (+ y x) y) %6 = (-.f64 %3 y) x y #s(literal 0 binary64) %3 %5 %6 (*.f64 %5 %6)

Outputs

%4 = (approx x #s(literal 0 binary64))
%10 = (neg.f64 %4)
%13 = (approx (+ y x) y)
%18 = (-.f64 %4 y)
%23 = (-.f64 y %4)
%25 = (neg.f64 y)
%31 = (neg.f64 %13)
%34 = (*.f64 %18 %13)
%42 = (*.f64 %25 %13)
%44 = (*.f64 %10 %31)
%46 = (*.f64 %31 %10)
%48 = (*.f64 %10 %13)
%49 = (neg.f64 %48)
%51 = (*.f64 %13 %4)
%63 = (*.f64 (neg.f64 %31) %25)
x
y
#s(literal 0 binary64)
(*.f64 #s(literal 1 binary64) %4)
(pow.f64 %4 #s(literal 1 binary64))
%4
(/.f64 #s(literal 1 binary64) (pow.f64 %4 #s(literal -1 binary64)))
(neg.f64 %10)
(*.f64 #s(literal 1 binary64) %13)
(pow.f64 %13 #s(literal 1 binary64))
%13
(/.f64 #s(literal 1 binary64) (pow.f64 %13 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %18)
(pow.f64 %18 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %18 #s(literal -1 binary64)))
(neg.f64 %23)
(fma.f64 #s(literal 1 binary64) %25 %4)
(fma.f64 #s(literal 1 binary64) %4 %25)
(-.f64 %25 %10)
%18
(+.f64 %25 %4)
(+.f64 %4 %25)
(*.f64 %31 %23)
(*.f64 %23 %31)
(*.f64 #s(literal 1 binary64) %34)
%34
(*.f64 %13 %18)
(pow.f64 %34 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %34 #s(literal -1 binary64)))
(neg.f64 (*.f64 %23 %13))
(fma.f64 %31 %10 %42)
(fma.f64 %31 y %44)
(fma.f64 %31 y %46)
(fma.f64 %31 y %49)
(fma.f64 %31 y %51)
(fma.f64 %10 %31 %42)
(fma.f64 %25 %13 %44)
(fma.f64 %25 %13 %46)
(fma.f64 %25 %13 %49)
(fma.f64 %25 %13 %51)
(fma.f64 #s(literal 1 binary64) %42 %44)
(fma.f64 #s(literal 1 binary64) %42 %46)
(fma.f64 #s(literal 1 binary64) %42 %49)
(fma.f64 #s(literal 1 binary64) %42 %51)
(fma.f64 #s(literal 1 binary64) %51 %63)
(fma.f64 #s(literal 1 binary64) %51 %42)
(fma.f64 %13 %25 %44)
(fma.f64 %13 %25 %46)
(fma.f64 %13 %25 %49)
(fma.f64 %13 %25 %51)
(fma.f64 %13 %4 %63)
(fma.f64 %13 %4 %42)
(fma.f64 %4 %13 %63)
(fma.f64 %4 %13 %42)
(fma.f64 y %31 %44)
(fma.f64 y %31 %46)
(fma.f64 y %31 %49)
(fma.f64 y %31 %51)
(-.f64 %42 (*.f64 %31 %4))
(-.f64 %42 %48)
(-.f64 %51 (*.f64 %13 y))
(+.f64 %44 %42)
(+.f64 %46 %42)
(+.f64 %42 %44)
(+.f64 %42 %46)
(+.f64 %42 %49)
(+.f64 %42 %51)
(+.f64 %51 %63)
(+.f64 %51 %42)

reconstruct8.0ms (0.9%)

Counts: 96 → 27
Compiler: Compiled 96 to 166 computations (-72.9% saved)

eval2.0ms (0.2%)

Compiler: Compiled 20 to 79 computations (-295.0% saved)

prune2.0ms (0.3%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	20	0	20
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	20	3	23

Accuracy

100.0%

Counts

23 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(*.f64 (+.f64 y x) (-.f64 x y))
✓	53.0%	(*.f64 (approx (+ y x) y) (-.f64 (approx x #s(literal 0 binary64)) y))
✓	60.8%	(*.f64 (approx (+ y x) y) (-.f64 x y))

Compiler

Compiled 3 to 9 computations (-200.0% saved)

regimes13.0ms (1.4%)

Accuracy

Total -0.0b remaining (-0.0%)

Threshold costs -0.0b (-0.0%)

0.0b	0%
-0.0b	-0.0%

Counts

1 → 1

3 → 1

Calls

Call 1

Inputs
(*.f64 (approx (+ y x) y) (-.f64 x y))

Outputs
(*.f64 (approx (+ y x) y) (-.f64 x y))

Call 2

Inputs
%3 = (approx (+ y x) y) %4 = (-.f64 x y) (.f64 %3 %4) (.f64 %3 (-.f64 (approx x #s(literal 0 binary64)) y)) (*.f64 (+.f64 y x) %4)

Outputs
(*.f64 (+.f64 y x) (-.f64 x y))

Calls

5 calls:

3.0ms	(*.f64 x x)
3.0ms	x
3.0ms	y
2.0ms	(-.f64 (.f64 x x) (.f64 y y))
2.0ms	(*.f64 y y)

Results

Accuracy	Segments	Branch
60.8%	1	y
60.8%	1	x
60.8%	1	(-.f64 (.f64 x x) (.f64 y y))
60.8%	1	(*.f64 x x)
60.8%	1	(*.f64 y y)

Compiler

Compiled 9 to 17 computations (-88.9% saved)

bsearch0.0ms (0.0%)

derivations25.0ms (2.8%)

Stop Event

1×

done

Compiler

Compiled 2 to 6 computations (-200.0% saved)

preprocess12.0ms (1.3%)

Symmetry

(abs x)

(abs y)

Compiler

Compiled 11 to 50 computations (-354.5% saved)

end0.0ms (0.0%)

gc175ms (19.5%)

Allocations

Allocated	Percent	Phase
432.7 MiB	37.4%	`rewrite`
414.4 MiB	35.9%	`sample`
85.3 MiB	7.4%	`reconstruct`
62.6 MiB	5.4%	`preprocess`
58.4 MiB	5.1%	`series`
49.7 MiB	4.3%	`regimes`
22.3 MiB	1.9%	`eval`
15.6 MiB	1.3%	`prune`
14.2 MiB	1.2%	`derivations`
0.4 MiB	0.0%	`analyze`
0.1 MiB	0.0%	`bsearch`
0.1 MiB	0.0%	`start`
0.0 MiB	0.0%	`end`
1 155.7 MiB	100.0%	`total`

start0.0ms (0.0%)

analyze0.0ms (0.0%)

sample218.0ms (24.4%)

preprocess29.0ms (3.2%)

sample0.0ms (0.0%)

series8.0ms (0.9%)

rewrite91.0ms (10.2%)

reconstruct20.0ms (2.2%)

eval3.0ms (0.3%)

prune1.0ms (0.1%)

sample0.0ms (0.0%)

series10.0ms (1.1%)

rewrite84.0ms (9.4%)

reconstruct16.0ms (1.8%)

eval4.0ms (0.5%)

prune1.0ms (0.1%)

sample0.0ms (0.0%)

series8.0ms (0.9%)

rewrite73.0ms (8.2%)

reconstruct6.0ms (0.7%)

eval3.0ms (0.3%)

prune1.0ms (0.1%)

sample0.0ms (0.0%)

series9.0ms (1.0%)

rewrite73.0ms (8.2%)

reconstruct8.0ms (0.9%)

eval2.0ms (0.2%)

prune2.0ms (0.3%)

regimes13.0ms (1.4%)

bsearch0.0ms (0.0%)

bsearch0.0ms (0.0%)

derivations25.0ms (2.8%)

preprocess12.0ms (1.3%)

end0.0ms (0.0%)

gc175ms (19.5%)

Profiling