Exp of sum of logs

Time bar (total: 22.0s)

start0.0ms (0.0%)

analyze1.0ms (0.0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0.0%0.0%99.9%0.1%0.0%0.0%0.0%0
0.0%0.0%99.9%0.1%0.0%0.0%0.0%1
0.0%0.0%50.0%0.1%0.0%50.0%0.0%2
100.0%25.0%0.0%0.1%0.0%74.9%0.0%3
Compiler

Compiled 8 to 8 computations (0.0% saved)

sample8.4s (37.9%)

Samples
5.9s8 243×0valid
3.0ms13×1valid
Precisions
Click to see histograms. Total time spent on operations: 2.4s
ival-log!: 1.3s (55.8% of total, 102.5 MiB)
ival-exp!: 702.0ms (29.3% of total, 50.6 MiB)
ival-add!: 309.0ms (12.9% of total, 38.1 MiB)
adjust: 49.0ms (2.0% of total, 2.1 MiB)
Bogosity

preprocess287.0ms (1.3%)

Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01830
17918
232918
3135518
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶92.3%
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
Symmetry

(abs a)

(abs b)

(negabs a)

(negabs b)

(sort a b)

Compiler

Compiled 2 to 12 computations (-500.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series1.5s (6.7%)
Counts
6 → 13
Calls
Call 1
Inputs
%1 = (log.f64 a)
%3 = (log.f64 b)
%4 = (+.f64 %1 %3)
a
%1
b
%3
%4
(exp.f64 %4)
Outputs
%4 = (log a)
%5 = (log.f64 a)
%8 = (log b)
%9 = (+ %4 %8)
%10 = (log.f64 b)
%11 = (+.f64 %5 %10)
%13 = (exp %9)
%20 = (*.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal 1 binary64) a)))
%22 = (+.f64 %10 %20)
%30 = (*.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal 1 binary64) b)))
%32 = (+.f64 %5 %30)
(approx a #s(literal 0 binary64))
(approx a a)
(approx %4 %5)
(approx %9 %11)
(approx %13 (exp.f64 %11))
(approx %4 %20)
(approx %9 %22)
(approx %13 (exp.f64 %22))
(approx b b)
(approx %8 %10)
(approx %8 %30)
(approx %9 %32)
(approx %13 (exp.f64 %32))
Calls
6 calls:
TimeVariablePoint
262.0ms
b
inf
113.0ms
a
0
1.0ms
b
-inf
1.0ms
a
inf
1.0ms
a
-inf
rewrite4.9s (22.1%)
Counts
6 → 255
Calls
Call 1
Inputs
%1 = (log.f64 a)
%3 = (log.f64 b)
%4 = (+.f64 %1 %3)
a
%1
b
%3
%4
(exp.f64 %4)
Outputs
%2 = (neg.f64 a)
%5 = (*.f64 a a)
%7 = (sqrt.f64 a)
%9 = (log.f64 a)
%12 = (/.f64 #s(literal 1 binary64) a)
%13 = (+.f64 %12 a)
%14 = (-.f64 a %12)
%22 = (*.f64 %14 #s(literal 1/2 binary64))
%24 = (*.f64 %13 #s(literal 1/2 binary64))
%29 = (/.f64 %13 #s(literal -2 binary64))
%32 = (/.f64 (-.f64 %12 a) #s(literal 2 binary64))
%34 = (neg.f64 %32)
%54 = (neg.f64 %9)
%56 = (/.f64 #s(literal 1 binary64) %12)
%60 = (neg.f64 b)
%67 = (*.f64 b b)
%69 = (/.f64 #s(literal 1 binary64) #s(literal 1 binary64))
%71 = (sqrt.f64 b)
%73 = (/.f64 #s(literal 1 binary64) b)
%75 = (/.f64 #s(literal -1 binary64) b)
%79 = (/.f64 #s(literal 1/2 binary64) %73)
%86 = (log.f64 b)
%90 = (-.f64 b %75)
%91 = (-.f64 b %73)
%96 = (-.f64 %73 b)
%101 = (*.f64 %90 #s(literal 1/2 binary64))
%103 = (*.f64 %91 #s(literal 1/2 binary64))
%107 = (*.f64 %96 #s(literal 1/2 binary64))
%124 = (*.f64 %90 #s(literal 2 binary64))
%133 = (neg.f64 %86)
%138 = (*.f64 a b)
%139 = (log.f64 %138)
%140 = (neg.f64 %139)
%145 = (*.f64 %139 #s(literal 2 binary64))
%151 = (*.f64 #s(literal 2 binary64) %138)
%152 = (fabs.f64 %151)
%154 = (fabs.f64 #s(literal 2 binary64))
%157 = (sqrt.f64 %138)
%158 = (log.f64 %157)
%160 = (*.f64 #s(literal 2 binary64) %151)
%161 = (fabs.f64 %160)
%163 = (fabs.f64 #s(literal 4 binary64))
%168 = (*.f64 %2 b)
%175 = (/.f64 a #s(literal 1 binary64))
%188 = (/.f64 #s(literal 1 binary64) %138)
%190 = (/.f64 #s(literal -1 binary64) %138)
%197 = (*.f64 %5 %67)
%205 = (sqrt.f64 (*.f64 %67 a))
%208 = (sqrt.f64 (*.f64 %5 b))
%219 = (neg.f64 %157)
%235 = (*.f64 %101 a)
%237 = (*.f64 %103 a)
%239 = (*.f64 %24 b)
%241 = (*.f64 %22 b)
%263 = (-.f64 %190 %138)
%264 = (fma.f64 a b %190)
%271 = (-.f64 %188 %138)
%280 = (fma.f64 a b %188)
%281 = (*.f64 %264 #s(literal 1/2 binary64))
%283 = (*.f64 %280 #s(literal 1/2 binary64))
%291 = (*.f64 %271 #s(literal 1/2 binary64))
%293 = (*.f64 %263 #s(literal 1/2 binary64))
%295 = (fma.f64 %188 #s(literal 1/2 binary64) %281)
%297 = (*.f64 %138 #s(literal 1/2 binary64))
%300 = (*.f64 %188 #s(literal 1/2 binary64))
%304 = (/.f64 b #s(literal 2 binary64))
%306 = (/.f64 a #s(literal 2 binary64))
%308 = (*.f64 %264 #s(literal 2 binary64))
%309 = (/.f64 %308 #s(literal 4 binary64))
%312 = (-.f64 %300 %291)
%327 = (/.f64 #s(literal 1 binary64) #s(literal -2 binary64))
%331 = (/.f64 %103 %12)
%332 = (/.f64 %101 %12)
%337 = (*.f64 %263 #s(literal -2 binary64))
%343 = (*.f64 #s(literal -2 binary64) %271)
%349 = (*.f64 #s(literal -2 binary64) %264)
%353 = (*.f64 #s(literal 2 binary64) %271)
%360 = (*.f64 %283 #s(literal 1/2 binary64))
%364 = (/.f64 %283 #s(literal 2 binary64))
%370 = (*.f64 #s(literal -2 binary64) #s(literal 2 binary64))
%372 = (*.f64 %280 #s(literal -2 binary64))
%378 = (*.f64 %263 #s(literal 2 binary64))
%380 = (*.f64 #s(literal 2 binary64) #s(literal -2 binary64))
%402 = (/.f64 %157 #s(literal 2 binary64))
%406 = (/.f64 %73 b)
%413 = (/.f64 (*.f64 %90 %14) #s(literal 4 binary64))
%415 = (/.f64 (*.f64 %91 %14) #s(literal 4 binary64))
%416 = (fma.f64 %24 b %415)
%419 = (/.f64 (*.f64 %13 %91) #s(literal 4 binary64))
%421 = (/.f64 (*.f64 %13 %90) #s(literal 4 binary64))
%422 = (fma.f64 %22 b %421)
%424 = (fma.f64 %22 b %419)
%432 = (+.f64 %413 %239)
%436 = (/.f64 (*.f64 %96 %14) #s(literal 4 binary64))
%438 = (neg.f64 %416)
%444 = (neg.f64 %413)
%452 = (neg.f64 %438)
%460 = (fma.f64 %271 #s(literal 1/2 binary64) %436)
%462 = (-.f64 %421 %291)
%466 = (neg.f64 %460)
a
(fabs.f64 a)
(fabs.f64 %2)
(neg.f64 %2)
(sqrt.f64 %5)
(*.f64 %7 %7)
(exp.f64 %9)
(/.f64 (+.f64 %13 %14) #s(literal 2 binary64))
(/.f64 (+.f64 %14 %13) #s(literal 2 binary64))
(pow.f64 %5 #s(literal 1/2 binary64))
(fma.f64 %13 #s(literal 1/2 binary64) %22)
(fma.f64 %14 #s(literal 1/2 binary64) %24)
(+.f64 %22 %24)
(+.f64 %24 %22)
(-.f64 %22 %29)
(-.f64 %24 %32)
(fma.f64 %13 #s(literal 1/2 binary64) %34)
(+.f64 %24 %34)
(/.f64 (fma.f64 %22 #s(literal 2 binary64) %13) #s(literal 2 binary64))
(/.f64 (fma.f64 %24 #s(literal 2 binary64) %14) #s(literal 2 binary64))
(/.f64 (fma.f64 %13 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %14)) #s(literal 4 binary64))
(/.f64 (fma.f64 %13 #s(literal 2 binary64) (*.f64 %14 #s(literal 2 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 %14 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %13)) #s(literal 4 binary64))
(/.f64 (fma.f64 %14 #s(literal 2 binary64) (*.f64 %13 #s(literal 2 binary64))) #s(literal 4 binary64))
%9
(neg.f64 %54)
(log.f64 %56)
b
(fabs.f64 b)
(fabs.f64 %60)
(neg.f64 %60)
(*.f64 #s(literal 1 binary64) b)
(/.f64 b #s(literal 1 binary64))
(/.f64 %60 #s(literal -1 binary64))
(sqrt.f64 %67)
(*.f64 %69 b)
(*.f64 %71 %71)
(/.f64 #s(literal 1 binary64) %73)
(/.f64 #s(literal -1 binary64) %75)
(*.f64 (/.f64 #s(literal 1 binary64) #s(literal -1 binary64)) %60)
(*.f64 #s(literal 2 binary64) %79)
(/.f64 #s(literal 1 binary64) (/.f64 %73 #s(literal 1 binary64)))
(/.f64 %69 %73)
(*.f64 (/.f64 #s(literal 2 binary64) #s(literal 1 binary64)) %79)
(exp.f64 %86)
(pow.f64 b (neg.f64 #s(literal -1 binary64)))
(/.f64 (+.f64 %90 %91) #s(literal 2 binary64))
(/.f64 (+.f64 %91 %90) #s(literal 2 binary64))
(/.f64 (-.f64 %90 %96) #s(literal 2 binary64))
(pow.f64 %67 #s(literal 1/2 binary64))
(pow.f64 %73 #s(literal -1 binary64))
(fma.f64 %91 #s(literal 1/2 binary64) %101)
(fma.f64 %90 #s(literal 1/2 binary64) %103)
(+.f64 %103 %101)
(+.f64 %101 %103)
(-.f64 %101 %107)
(-.f64 %103 (/.f64 %90 #s(literal -2 binary64)))
(/.f64 (fma.f64 %103 #s(literal 2 binary64) %90) #s(literal 2 binary64))
(/.f64 (fma.f64 %101 #s(literal 2 binary64) %91) #s(literal 2 binary64))
(/.f64 (fma.f64 %90 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %91)) #s(literal 4 binary64))
(/.f64 (fma.f64 %90 #s(literal 2 binary64) (*.f64 %91 #s(literal 2 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 %91 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %90)) #s(literal 4 binary64))
(/.f64 (fma.f64 %91 #s(literal 2 binary64) %124) #s(literal 4 binary64))
(/.f64 (-.f64 %124 (*.f64 #s(literal 2 binary64) %96)) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %101 #s(literal 2 binary64)) %96) #s(literal 2 binary64))
%86
(neg.f64 %133)
(-.f64 %86 #s(literal 0 binary64))
(-.f64 #s(literal 0 binary64) %133)
%139
(neg.f64 %140)
(-.f64 #s(literal 0 binary64) %140)
(+.f64 %9 %86)
(+.f64 %86 %9)
(*.f64 #s(literal 1/2 binary64) %145)
(-.f64 %9 %133)
(-.f64 %86 %54)
(+.f64 (-.f64 %9 #s(literal 0 binary64)) %86)
(-.f64 (log.f64 %152) (log.f64 %154))
(+.f64 %158 %158)
(-.f64 (log.f64 %161) (log.f64 %163))
%138
(*.f64 b a)
(fabs.f64 %138)
(fabs.f64 %168)
(*.f64 %2 %60)
(*.f64 %60 %2)
(neg.f64 %168)
(*.f64 #s(literal 1 binary64) %138)
(/.f64 %138 #s(literal 1 binary64))
(*.f64 %175 b)
(/.f64 a %73)
(/.f64 b %12)
(*.f64 (/.f64 a #s(literal -1 binary64)) %60)
(/.f64 %2 %75)
(*.f64 #s(literal 1/2 binary64) %151)
(*.f64 %151 #s(literal 1/2 binary64))
(/.f64 %60 (neg.f64 %12))
(/.f64 %151 #s(literal 2 binary64))
(*.f64 %69 %138)
(/.f64 #s(literal 1 binary64) %188)
(/.f64 #s(literal -1 binary64) %190)
(/.f64 (*.f64 a #s(literal 1 binary64)) %73)
(*.f64 b %56)
(/.f64 (neg.f64 %151) #s(literal -2 binary64))
(sqrt.f64 %197)
(/.f64 %175 %73)
(*.f64 %2 (/.f64 #s(literal 1 binary64) %75))
(/.f64 %152 %154)
(/.f64 %160 #s(literal 4 binary64))
(*.f64 %7 %205)
(*.f64 %71 %208)
(*.f64 %157 %157)
(*.f64 %208 %71)
(*.f64 %205 %7)
(*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1/2 binary64) %188))
(/.f64 %161 %163)
(/.f64 (neg.f64 %160) (neg.f64 #s(literal 4 binary64)))
(*.f64 %219 %219)
(*.f64 %160 (/.f64 #s(literal 1 binary64) #s(literal 4 binary64)))
(/.f64 (/.f64 %160 #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 %208 (sqrt.f64 %73))
(exp.f64 %139)
(pow.f64 %157 #s(literal 2 binary64))
(pow.f64 %188 #s(literal -1 binary64))
(exp.f64 (*.f64 %145 #s(literal 1/2 binary64)))
(pow.f64 %197 #s(literal 1/2 binary64))
(exp.f64 (/.f64 %145 #s(literal 2 binary64)))
(fma.f64 a %103 %235)
(fma.f64 a %101 %237)
(fma.f64 b %22 %239)
(fma.f64 b %24 %241)
(fma.f64 %22 b %239)
(fma.f64 %103 a %235)
(fma.f64 %24 b %241)
(fma.f64 %101 a %237)
(+.f64 %241 %239)
(+.f64 %237 %235)
(+.f64 %239 %241)
(+.f64 %235 %237)
(-.f64 %235 (*.f64 %107 a))
(-.f64 %239 (*.f64 %32 b))
(-.f64 %239 (*.f64 %60 %22))
(-.f64 %239 (neg.f64 %241))
(-.f64 %235 (*.f64 %2 %103))
(-.f64 %235 (neg.f64 %237))
(/.f64 (-.f64 %263 %264) #s(literal -2 binary64))
(fma.f64 (/.f64 %22 #s(literal 1 binary64)) b %239)
(fma.f64 (/.f64 %24 #s(literal 1 binary64)) b %241)
(/.f64 (+.f64 %263 %271) #s(literal -2 binary64))
(/.f64 (+.f64 %271 %263) #s(literal -2 binary64))
(fma.f64 (/.f64 %22 #s(literal -1 binary64)) %60 %239)
(fma.f64 (/.f64 %24 #s(literal -1 binary64)) %60 %241)
(fma.f64 #s(literal 1/2 binary64) %280 %281)
(fma.f64 #s(literal 1/2 binary64) %264 %283)
(fma.f64 %280 #s(literal 1/2 binary64) %281)
(fma.f64 %264 #s(literal 1/2 binary64) %283)
(+.f64 %283 %281)
(+.f64 %281 %283)
(-.f64 %239 (/.f64 %32 %73))
(-.f64 %283 %291)
(-.f64 %281 %293)
(fma.f64 %138 #s(literal 1/2 binary64) %295)
(+.f64 %297 %295)
(+.f64 (fma.f64 %264 #s(literal 1/2 binary64) %297) %300)
(-.f64 (fma.f64 %280 #s(literal 1/2 binary64) %297) %300)
(fma.f64 a %304 %295)
(fma.f64 b %306 %295)
(fma.f64 #s(literal 1/2 binary64) %280 %309)
(fma.f64 %280 #s(literal 1/2 binary64) %309)
(fma.f64 %138 #s(literal 1/2 binary64) %312)
(-.f64 %297 (fma.f64 %188 #s(literal 1/2 binary64) %293))
(-.f64 %297 (-.f64 %300 %283))
(+.f64 %283 %309)
(+.f64 %309 %283)
(/.f64 (fma.f64 %281 #s(literal -2 binary64) %263) #s(literal -2 binary64))
(/.f64 (fma.f64 %283 #s(literal -2 binary64) %271) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 %283 #s(literal -2 binary64)) %264) #s(literal -2 binary64))
(fma.f64 %263 %327 %281)
(fma.f64 %271 %327 %283)
(+.f64 %297 %312)
(+.f64 %331 %332)
(+.f64 %332 %331)
(-.f64 %332 (/.f64 %107 %12))
(/.f64 (fma.f64 %271 #s(literal -2 binary64) %337) #s(literal 4 binary64))
(/.f64 (fma.f64 %263 #s(literal -2 binary64) (*.f64 %271 #s(literal -2 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 %263 #s(literal -2 binary64) %343) #s(literal 4 binary64))
(/.f64 (fma.f64 %271 #s(literal -2 binary64) (*.f64 #s(literal -2 binary64) %263)) #s(literal 4 binary64))
(/.f64 (-.f64 %337 %349) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %280 #s(literal 2 binary64)) %353) #s(literal 4 binary64))
(fma.f64 a %304 %312)
(fma.f64 b %306 %312)
(fma.f64 #s(literal 2 binary64) (*.f64 %281 #s(literal 1/2 binary64)) %283)
(fma.f64 #s(literal 2 binary64) %360 %281)
(/.f64 (fma.f64 %239 %73 %22) %73)
(fma.f64 #s(literal 2 binary64) %364 %281)
(fma.f64 #s(literal 2 binary64) (/.f64 %281 #s(literal 2 binary64)) %283)
(/.f64 (fma.f64 %271 #s(literal 2 binary64) (*.f64 #s(literal -2 binary64) %280)) %370)
(/.f64 (fma.f64 %271 #s(literal 2 binary64) %372) %370)
(/.f64 (fma.f64 %263 #s(literal 2 binary64) (*.f64 %264 #s(literal -2 binary64))) %370)
(/.f64 (fma.f64 %264 #s(literal -2 binary64) %378) %380)
(/.f64 (fma.f64 %280 #s(literal -2 binary64) (*.f64 %271 #s(literal 2 binary64))) %380)
(/.f64 (fma.f64 %264 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %263)) %380)
(/.f64 (fma.f64 %280 #s(literal -2 binary64) %353) %380)
(/.f64 (fma.f64 %263 #s(literal 2 binary64) %349) %370)
(/.f64 (-.f64 %372 %308) %380)
(fma.f64 %263 %327 %309)
(/.f64 (-.f64 %378 %343) %370)
(pow.f64 (pow.f64 %138 #s(literal 4 binary64)) (/.f64 #s(literal 1/2 binary64) #s(literal 2 binary64)))
(fma.f64 #s(literal 2 binary64) %360 %309)
(fma.f64 #s(literal 2 binary64) %364 %309)
(fma.f64 %157 %402 %295)
(/.f64 (fma.f64 %24 %73 (*.f64 %73 %22)) %406)
(/.f64 (fma.f64 %24 %73 (*.f64 %22 %73)) %406)
(fma.f64 %157 %402 %312)
(+.f64 %413 %416)
(+.f64 %419 %422)
(+.f64 %421 %424)
(+.f64 %424 %421)
(+.f64 %416 %413)
(+.f64 %422 %419)
(-.f64 %422 (/.f64 (*.f64 %13 %96) #s(literal 4 binary64)))
(+.f64 %415 %432)
(+.f64 %432 %415)
(-.f64 %432 %436)
(-.f64 %413 %438)
(-.f64 %419 (neg.f64 %422))
(-.f64 %421 (neg.f64 %424))
(-.f64 %416 %444)
(fma.f64 %22 %101 %416)
(fma.f64 %103 %24 %422)
(fma.f64 %24 %103 %422)
(fma.f64 %24 %101 %424)
(fma.f64 %101 %22 %416)
(fma.f64 %101 %24 %424)
(+.f64 %413 %452)
(fma.f64 %22 %103 %432)
(fma.f64 %103 %22 %432)
(fma.f64 %107 %29 %422)
(fma.f64 %29 %107 %422)
(fma.f64 %107 %32 %432)
(fma.f64 %32 %107 %432)
(-.f64 %421 %460)
(+.f64 %415 %462)
(fma.f64 %22 %101 %452)
(fma.f64 %101 %22 %452)
(+.f64 %421 %466)
(-.f64 %419 (-.f64 %444 %283))
(-.f64 %419 (+.f64 %444 %293))
(fma.f64 %22 %103 %462)
(fma.f64 %103 %22 %462)
(fma.f64 %24 %101 %466)
(fma.f64 %101 %24 %466)
(fma.f64 %107 %32 %462)
(fma.f64 %32 %107 %462)
reconstruct332.0ms (1.5%)
Counts
268 → 68
Compiler
Compiled 268 to 487 computations (-81.7% saved)
eval73.0ms (0.3%)
Compiler
Compiled 66 to 209 computations (-216.7% saved)
prune23.0ms (0.1%)
Pruning
1 alts after pruning (1 fresh and 0 done)
PrunedKeptTotal
New65166
Fresh000
Picked101
Done000
Total66167
Accuracy
100.0%
Counts
67 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(*.f64 a b)
Compiler
Compiled 1 to 3 computations (-200.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series1.1s (5.0%)
Counts
3 → 4
Calls
Call 1
Inputs
a
b
(*.f64 a b)
Outputs
(approx a #s(literal 0 binary64))
(approx a a)
(approx (* a b) (*.f64 a b))
(approx b b)
Calls
6 calls:
TimeVariablePoint
22.0ms
b
inf
1.0ms
a
inf
0.0ms
b
-inf
0.0ms
a
-inf
0.0ms
a
0
rewrite4.8s (21.6%)
Counts
3 → 4
Calls
Call 1
Inputs
a
b
(*.f64 a b)
Outputs
a
b
(*.f64 a b)
(*.f64 b a)
reconstruct1.0ms (0.0%)
Counts
8 → 4
Compiler
Compiled 8 to 5 computations (37.5% saved)
eval1.0ms (0.0%)
Compiler
Compiled 3 to 5 computations (-66.7% saved)
prune1.0ms (0.0%)
Pruning
1 alts after pruning (0 fresh and 1 done)
PrunedKeptTotal
New303
Fresh000
Picked011
Done000
Total314
Accuracy
100.0%
Counts
4 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(*.f64 a b)
Compiler
Compiled 1 to 3 computations (-200.0% saved)
regimes278.0ms (1.3%)
Counts
1 → 1
Calls
Call 1
Inputs
(*.f64 a b)
Outputs
(*.f64 a b)
Calls
6 calls:
168.0ms
(+.f64 (log.f64 a) (log.f64 b))
29.0ms
b
28.0ms
a
24.0ms
(log.f64 a)
24.0ms
(log.f64 b)
Results
AccuracySegmentsBranch
100.0%1
b
100.0%1
a
100.0%1
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
100.0%1
(+.f64 (log.f64 a) (log.f64 b))
100.0%1
(log.f64 a)
100.0%1
(log.f64 b)
Compiler
Compiled 8 to 13 computations (-62.5% saved)
bsearch0.0ms (0.0%)
derivations0.0ms (0.0%)
Stop Event
1×done
Compiler
Compiled 1 to 3 computations (-200.0% saved)
preprocess209.0ms (0.9%)
Compiler
Compiled 13 to 42 computations (-223.1% saved)
end0.0ms (0.0%)
gc273ms (1.2%)
Allocations
AllocatedPercentPhase
658.2 MiB76.1%sample
65.1 MiB7.5%rewrite
30.9 MiB3.6%series
24.7 MiB2.9%preprocess
21.4 MiB2.5%series
21.4 MiB2.5%rewrite
13.9 MiB1.6%reconstruct
10.8 MiB1.2%preprocess
9.7 MiB1.1%regimes
5.3 MiB0.6%eval
2.0 MiB0.2%prune
0.5 MiB0.1%prune
0.3 MiB0.0%reconstruct
0.2 MiB0.0%eval
0.2 MiB0.0%analyze
0.1 MiB0.0%derivations
0.1 MiB0.0%sample
0.0 MiB0.0%sample
0.0 MiB0.0%bsearch
0.0 MiB0.0%start
0.0 MiB0.0%end
864.6 MiB100.0%total
Profiling
Loading profile data...