Bouland and Aaronson, Equation (25)

Time bar (total: 2.4s)

analyze0.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
100%99.9%0%0.1%0%0%0%1
Compiler

Compiled 34 to 20 computations (41.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 0.0ms
ival-sub: 0.0ms (0% of total)
ival-add: 0.0ms (0% of total)
ival-mult: 0.0ms (0% of total)
const: 0.0ms (0% of total)
ival-pow: 0.0ms (0% of total)

sample2.0s (84.4%)

Results
1.7s8256×256valid
Precisions
Click to see histograms. Total time spent on operations: 1.5s
ival-add: 896.0ms (60.8% of total)
ival-mult: 372.0ms (25.2% of total)
ival-pow: 99.0ms (6.7% of total)
ival-sub: 87.0ms (5.9% of total)
const: 19.0ms (1.3% of total)
Bogosity

preprocess119.0ms (4.9%)

Algorithm
1×egg-herbie
Rules
646×sub-neg
611×unsub-neg
510×fma-define
479×fma-neg
296×distribute-lft-neg-out
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
060807
1211771
2772715
33548715
47867715
Stop Event
1×node limit
Calls
Call 1
Inputs
(-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (+.f64 (*.f64 (*.f64 a a) (+.f64 #s(literal 1 binary64) a)) (*.f64 (*.f64 b b) (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 3 binary64) a)))))) #s(literal 1 binary64))
(-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (+.f64 (*.f64 (*.f64 a a) (+.f64 #s(literal 1 binary64) a)) (*.f64 (*.f64 b b) (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 3 binary64) a)))))) #s(literal 1 binary64))
(-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 (neg.f64 a) (neg.f64 a)) (*.f64 b b)) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (+.f64 (*.f64 (*.f64 (neg.f64 a) (neg.f64 a)) (+.f64 #s(literal 1 binary64) (neg.f64 a))) (*.f64 (*.f64 b b) (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 3 binary64) (neg.f64 a))))))) #s(literal 1 binary64))
(-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 (neg.f64 b) (neg.f64 b))) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (+.f64 (*.f64 (*.f64 a a) (+.f64 #s(literal 1 binary64) a)) (*.f64 (*.f64 (neg.f64 b) (neg.f64 b)) (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 3 binary64) a)))))) #s(literal 1 binary64))
(neg.f64 (-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 (neg.f64 a) (neg.f64 a)) (*.f64 b b)) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (+.f64 (*.f64 (*.f64 (neg.f64 a) (neg.f64 a)) (+.f64 #s(literal 1 binary64) (neg.f64 a))) (*.f64 (*.f64 b b) (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 3 binary64) (neg.f64 a))))))) #s(literal 1 binary64)))
(neg.f64 (-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 (neg.f64 b) (neg.f64 b))) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (+.f64 (*.f64 (*.f64 a a) (+.f64 #s(literal 1 binary64) a)) (*.f64 (*.f64 (neg.f64 b) (neg.f64 b)) (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 3 binary64) a)))))) #s(literal 1 binary64)))
(-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (+.f64 (*.f64 (*.f64 b b) (+.f64 #s(literal 1 binary64) b)) (*.f64 (*.f64 a a) (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 3 binary64) b)))))) #s(literal 1 binary64))
Outputs
(-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (+.f64 (*.f64 (*.f64 a a) (+.f64 #s(literal 1 binary64) a)) (*.f64 (*.f64 b b) (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 3 binary64) a)))))) #s(literal 1 binary64))
(+.f64 (+.f64 (*.f64 #s(literal 4 binary64) (fma.f64 (*.f64 a a) (+.f64 a #s(literal 1 binary64)) (*.f64 b (*.f64 b (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -3 binary64) a)))))) (pow.f64 (fma.f64 a a (*.f64 b b)) #s(literal 2 binary64))) #s(literal -1 binary64))
(+.f64 (fma.f64 #s(literal 4 binary64) (fma.f64 a (*.f64 a (+.f64 a #s(literal 1 binary64))) (*.f64 b (*.f64 b (+.f64 #s(literal 1 binary64) (*.f64 a #s(literal -3 binary64)))))) (pow.f64 (fma.f64 a a (*.f64 b b)) #s(literal 2 binary64))) #s(literal -1 binary64))
(+.f64 (fma.f64 #s(literal 4 binary64) (fma.f64 b (*.f64 b (fma.f64 a #s(literal -3 binary64) #s(literal 1 binary64))) (fma.f64 a a (pow.f64 a #s(literal 3 binary64)))) (pow.f64 (fma.f64 a a (*.f64 b b)) #s(literal 2 binary64))) #s(literal -1 binary64))
(fma.f64 #s(literal 4 binary64) (fma.f64 (*.f64 b b) (fma.f64 a #s(literal -3 binary64) #s(literal 1 binary64)) (fma.f64 a a (pow.f64 a #s(literal 3 binary64)))) (+.f64 (pow.f64 (fma.f64 a a (*.f64 b b)) #s(literal 2 binary64)) #s(literal -1 binary64)))
(-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (+.f64 (*.f64 (*.f64 a a) (+.f64 #s(literal 1 binary64) a)) (*.f64 (*.f64 b b) (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 3 binary64) a)))))) #s(literal 1 binary64))
(+.f64 (+.f64 (*.f64 #s(literal 4 binary64) (fma.f64 (*.f64 a a) (+.f64 a #s(literal 1 binary64)) (*.f64 b (*.f64 b (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -3 binary64) a)))))) (pow.f64 (fma.f64 a a (*.f64 b b)) #s(literal 2 binary64))) #s(literal -1 binary64))
(+.f64 (fma.f64 #s(literal 4 binary64) (fma.f64 a (*.f64 a (+.f64 a #s(literal 1 binary64))) (*.f64 b (*.f64 b (+.f64 #s(literal 1 binary64) (*.f64 a #s(literal -3 binary64)))))) (pow.f64 (fma.f64 a a (*.f64 b b)) #s(literal 2 binary64))) #s(literal -1 binary64))
(+.f64 (fma.f64 #s(literal 4 binary64) (fma.f64 b (*.f64 b (fma.f64 a #s(literal -3 binary64) #s(literal 1 binary64))) (fma.f64 a a (pow.f64 a #s(literal 3 binary64)))) (pow.f64 (fma.f64 a a (*.f64 b b)) #s(literal 2 binary64))) #s(literal -1 binary64))
(fma.f64 #s(literal 4 binary64) (fma.f64 (*.f64 b b) (fma.f64 a #s(literal -3 binary64) #s(literal 1 binary64)) (fma.f64 a a (pow.f64 a #s(literal 3 binary64)))) (+.f64 (pow.f64 (fma.f64 a a (*.f64 b b)) #s(literal 2 binary64)) #s(literal -1 binary64)))
(-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 (neg.f64 a) (neg.f64 a)) (*.f64 b b)) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (+.f64 (*.f64 (*.f64 (neg.f64 a) (neg.f64 a)) (+.f64 #s(literal 1 binary64) (neg.f64 a))) (*.f64 (*.f64 b b) (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 3 binary64) (neg.f64 a))))))) #s(literal 1 binary64))
(+.f64 (+.f64 (*.f64 #s(literal 4 binary64) (fma.f64 (*.f64 a a) (-.f64 #s(literal 1 binary64) a) (*.f64 b (*.f64 b (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -3 binary64) (neg.f64 a))))))) (pow.f64 (fma.f64 a a (*.f64 b b)) #s(literal 2 binary64))) #s(literal -1 binary64))
(+.f64 (fma.f64 #s(literal 4 binary64) (fma.f64 (*.f64 a a) (-.f64 #s(literal 1 binary64) a) (*.f64 b (*.f64 b (+.f64 #s(literal 1 binary64) (*.f64 a #s(literal 3 binary64)))))) (pow.f64 (fma.f64 a a (*.f64 b b)) #s(literal 2 binary64))) #s(literal -1 binary64))
(+.f64 (pow.f64 (fma.f64 a a (*.f64 b b)) #s(literal 2 binary64)) (fma.f64 #s(literal 4 binary64) (-.f64 (fma.f64 b (*.f64 b (fma.f64 a #s(literal 3 binary64) #s(literal 1 binary64))) (*.f64 a a)) (pow.f64 a #s(literal 3 binary64))) #s(literal -1 binary64)))
(+.f64 (fma.f64 #s(literal 4 binary64) (fma.f64 a a (-.f64 (*.f64 (*.f64 b b) (fma.f64 a #s(literal 3 binary64) #s(literal 1 binary64))) (pow.f64 a #s(literal 3 binary64)))) (pow.f64 (fma.f64 a a (*.f64 b b)) #s(literal 2 binary64))) #s(literal -1 binary64))
(-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 (neg.f64 b) (neg.f64 b))) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (+.f64 (*.f64 (*.f64 a a) (+.f64 #s(literal 1 binary64) a)) (*.f64 (*.f64 (neg.f64 b) (neg.f64 b)) (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 3 binary64) a)))))) #s(literal 1 binary64))
(+.f64 (+.f64 (*.f64 #s(literal 4 binary64) (fma.f64 (*.f64 a a) (+.f64 a #s(literal 1 binary64)) (*.f64 b (*.f64 b (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -3 binary64) a)))))) (pow.f64 (fma.f64 a a (*.f64 b b)) #s(literal 2 binary64))) #s(literal -1 binary64))
(+.f64 (fma.f64 #s(literal 4 binary64) (fma.f64 a (*.f64 a (+.f64 a #s(literal 1 binary64))) (*.f64 b (*.f64 b (+.f64 #s(literal 1 binary64) (*.f64 a #s(literal -3 binary64)))))) (pow.f64 (fma.f64 a a (*.f64 b b)) #s(literal 2 binary64))) #s(literal -1 binary64))
(+.f64 (fma.f64 #s(literal 4 binary64) (fma.f64 b (*.f64 b (fma.f64 a #s(literal -3 binary64) #s(literal 1 binary64))) (fma.f64 a a (pow.f64 a #s(literal 3 binary64)))) (pow.f64 (fma.f64 a a (*.f64 b b)) #s(literal 2 binary64))) #s(literal -1 binary64))
(fma.f64 #s(literal 4 binary64) (fma.f64 (*.f64 b b) (fma.f64 a #s(literal -3 binary64) #s(literal 1 binary64)) (fma.f64 a a (pow.f64 a #s(literal 3 binary64)))) (+.f64 (pow.f64 (fma.f64 a a (*.f64 b b)) #s(literal 2 binary64)) #s(literal -1 binary64)))
(neg.f64 (-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 (neg.f64 a) (neg.f64 a)) (*.f64 b b)) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (+.f64 (*.f64 (*.f64 (neg.f64 a) (neg.f64 a)) (+.f64 #s(literal 1 binary64) (neg.f64 a))) (*.f64 (*.f64 b b) (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 3 binary64) (neg.f64 a))))))) #s(literal 1 binary64)))
(neg.f64 (+.f64 (+.f64 (*.f64 #s(literal 4 binary64) (fma.f64 (*.f64 a a) (-.f64 #s(literal 1 binary64) a) (*.f64 b (*.f64 b (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -3 binary64) (neg.f64 a))))))) (pow.f64 (fma.f64 a a (*.f64 b b)) #s(literal 2 binary64))) #s(literal -1 binary64)))
(+.f64 (neg.f64 (fma.f64 #s(literal 4 binary64) (fma.f64 (*.f64 a a) (-.f64 #s(literal 1 binary64) a) (*.f64 b (*.f64 b (+.f64 #s(literal 1 binary64) (*.f64 a #s(literal 3 binary64)))))) (pow.f64 (fma.f64 a a (*.f64 b b)) #s(literal 2 binary64)))) #s(literal 1 binary64))
(-.f64 #s(literal 1 binary64) (fma.f64 #s(literal 4 binary64) (-.f64 (fma.f64 b (*.f64 b (fma.f64 a #s(literal 3 binary64) #s(literal 1 binary64))) (*.f64 a a)) (pow.f64 a #s(literal 3 binary64))) (pow.f64 (fma.f64 a a (*.f64 b b)) #s(literal 2 binary64))))
(-.f64 #s(literal 1 binary64) (fma.f64 #s(literal 4 binary64) (fma.f64 a a (-.f64 (*.f64 (*.f64 b b) (fma.f64 a #s(literal 3 binary64) #s(literal 1 binary64))) (pow.f64 a #s(literal 3 binary64)))) (pow.f64 (fma.f64 a a (*.f64 b b)) #s(literal 2 binary64))))
(neg.f64 (-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 (neg.f64 b) (neg.f64 b))) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (+.f64 (*.f64 (*.f64 a a) (+.f64 #s(literal 1 binary64) a)) (*.f64 (*.f64 (neg.f64 b) (neg.f64 b)) (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 3 binary64) a)))))) #s(literal 1 binary64)))
(neg.f64 (+.f64 (+.f64 (*.f64 #s(literal 4 binary64) (fma.f64 (*.f64 a a) (+.f64 a #s(literal 1 binary64)) (*.f64 b (*.f64 b (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -3 binary64) a)))))) (pow.f64 (fma.f64 a a (*.f64 b b)) #s(literal 2 binary64))) #s(literal -1 binary64)))
(+.f64 (neg.f64 (fma.f64 #s(literal 4 binary64) (fma.f64 a (*.f64 a (+.f64 a #s(literal 1 binary64))) (*.f64 b (*.f64 b (+.f64 #s(literal 1 binary64) (*.f64 a #s(literal -3 binary64)))))) (pow.f64 (fma.f64 a a (*.f64 b b)) #s(literal 2 binary64)))) #s(literal 1 binary64))
(-.f64 #s(literal 1 binary64) (fma.f64 #s(literal 4 binary64) (fma.f64 b (*.f64 b (fma.f64 a #s(literal -3 binary64) #s(literal 1 binary64))) (fma.f64 a a (pow.f64 a #s(literal 3 binary64)))) (pow.f64 (fma.f64 a a (*.f64 b b)) #s(literal 2 binary64))))
(-.f64 #s(literal 1 binary64) (fma.f64 #s(literal 4 binary64) (fma.f64 (*.f64 b b) (fma.f64 a #s(literal -3 binary64) #s(literal 1 binary64)) (fma.f64 a a (pow.f64 a #s(literal 3 binary64)))) (pow.f64 (fma.f64 a a (*.f64 b b)) #s(literal 2 binary64))))
(-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (+.f64 (*.f64 (*.f64 b b) (+.f64 #s(literal 1 binary64) b)) (*.f64 (*.f64 a a) (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 3 binary64) b)))))) #s(literal 1 binary64))
(+.f64 (pow.f64 (fma.f64 a a (*.f64 b b)) #s(literal 2 binary64)) (-.f64 (*.f64 #s(literal 4 binary64) (fma.f64 (*.f64 b b) (+.f64 b #s(literal 1 binary64)) (*.f64 (*.f64 a a) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -3 binary64) b))))) #s(literal 1 binary64)))
(+.f64 (pow.f64 (fma.f64 a a (*.f64 b b)) #s(literal 2 binary64)) (fma.f64 #s(literal 4 binary64) (fma.f64 a (*.f64 a (+.f64 #s(literal 1 binary64) (*.f64 b #s(literal -3 binary64)))) (+.f64 (*.f64 b b) (pow.f64 b #s(literal 3 binary64)))) #s(literal -1 binary64)))
(+.f64 (pow.f64 (fma.f64 a a (*.f64 b b)) #s(literal 2 binary64)) (fma.f64 #s(literal 4 binary64) (fma.f64 a (*.f64 a (fma.f64 b #s(literal -3 binary64) #s(literal 1 binary64))) (fma.f64 b b (pow.f64 b #s(literal 3 binary64)))) #s(literal -1 binary64)))
(fma.f64 #s(literal 4 binary64) (fma.f64 a (*.f64 a (fma.f64 b #s(literal -3 binary64) #s(literal 1 binary64))) (fma.f64 b b (pow.f64 b #s(literal 3 binary64)))) (+.f64 (pow.f64 (fma.f64 a a (*.f64 b b)) #s(literal 2 binary64)) #s(literal -1 binary64)))
Symmetry

(abs b)

explain214.0ms (8.9%)

FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
520-0-(+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (+.f64 (*.f64 (*.f64 a a) (+.f64 #s(literal 1 binary64) a)) (*.f64 (*.f64 b b) (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 3 binary64) a))))))
390-0-(+.f64 (*.f64 (*.f64 a a) (+.f64 #s(literal 1 binary64) a)) (*.f64 (*.f64 b b) (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 3 binary64) a))))
140-0-(*.f64 (*.f64 b b) (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 3 binary64) a)))
00-0-(*.f64 #s(literal 3 binary64) a)
00-0-(*.f64 #s(literal 4 binary64) (+.f64 (*.f64 (*.f64 a a) (+.f64 #s(literal 1 binary64) a)) (*.f64 (*.f64 b b) (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 3 binary64) a)))))
00-0-b
00-0-(-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (+.f64 (*.f64 (*.f64 a a) (+.f64 #s(literal 1 binary64) a)) (*.f64 (*.f64 b b) (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 3 binary64) a)))))) #s(literal 1 binary64))
00-0-#s(literal 2 binary64)
00-0-(+.f64 #s(literal 1 binary64) a)
00-0-#s(literal 4 binary64)
00-0-(*.f64 (*.f64 a a) (+.f64 #s(literal 1 binary64) a))
048(-1.0016935890433179e-63 5.006567923731775e-238)0-(pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) #s(literal 2 binary64))
00-0-(+.f64 (*.f64 a a) (*.f64 b b))
00-0-(*.f64 b b)
00-0-#s(literal 1 binary64)
00-0-#s(literal 3 binary64)
00-0-(-.f64 #s(literal 1 binary64) (*.f64 #s(literal 3 binary64) a))
00-0-a
00-0-(*.f64 a a)
Results
101.0ms468×256valid
13.0ms28×1024valid
5.0ms16×512valid
Compiler

Compiled 341 to 59 computations (82.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 73.0ms
ival-add: 30.0ms (40.9% of total)
ival-mult: 29.0ms (39.5% of total)
ival-pow: 7.0ms (9.5% of total)
ival-sub: 6.0ms (8.2% of total)
const: 1.0ms (1.4% of total)

eval0.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune1.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
73.3%
(-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (+.f64 (*.f64 (*.f64 a a) (+.f64 #s(literal 1 binary64) a)) (*.f64 (*.f64 b b) (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 3 binary64) a)))))) #s(literal 1 binary64))
Compiler

Compiled 66 to 38 computations (42.4% saved)

simplify5.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
11×+-commutative
10×neg-mul-1
9×unsub-neg
9×*-commutative
6×sub-neg
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
024121
145121
259121
370121
487121
5110121
6112121
Stop Event
1×saturated
Calls
Call 1
Inputs
(-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (+.f64 (*.f64 (*.f64 a a) (+.f64 #s(literal 1 binary64) a)) (*.f64 (*.f64 b b) (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 3 binary64) a)))))) #s(literal 1 binary64))
Outputs
(-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (+.f64 (*.f64 (*.f64 a a) (+.f64 #s(literal 1 binary64) a)) (*.f64 (*.f64 b b) (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 3 binary64) a)))))) #s(literal 1 binary64))
(-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (+.f64 (*.f64 (*.f64 a a) (+.f64 a #s(literal 1 binary64))) (*.f64 (*.f64 b b) (-.f64 #s(literal 1 binary64) (*.f64 a #s(literal 3 binary64))))))) #s(literal 1 binary64))
(+.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (+.f64 (*.f64 (*.f64 a a) (+.f64 a #s(literal 1 binary64))) (*.f64 (*.f64 b b) (-.f64 #s(literal 1 binary64) (*.f64 a #s(literal 3 binary64))))))) #s(literal -1 binary64))

soundness0.0ms (0%)

Stop Event
1×fuel
Compiler

Compiled 33 to 20 computations (39.4% saved)

preprocess38.0ms (1.6%)

Remove

(abs b)

Compiler

Compiled 264 to 158 computations (40.2% saved)

end0.0ms (0%)

Profiling

Loading profile data...