Commute and associate

Time bar (total: 5.4s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

Memory
0.7MiB live, 0.7MiB allocated
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 13 to 10 computations (23.1% saved)

sample2.0s (36.9%)

Memory
41.1MiB live, 1 442.7MiB allocated
Samples
881.0ms3 914×2valid
798.0ms4 335×1valid
0.0ms7×0valid
Precisions
Click to see histograms. Total time spent on operations: 1.4s
ival-add: 860.0ms (62.1% of total)
adjust: 379.0ms (27.3% of total)
ival-sub: 138.0ms (10% of total)
ival-true: 6.0ms (0.4% of total)
ival-assert: 3.0ms (0.2% of total)
Bogosity

explain172.0ms (3.2%)

Memory
-9.2MiB live, 125.8MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
00-0-(+.f64 (+.f64 x y) z)
00-0-(+.f64 y z)
00-0-y
00-0-(-.f64 (+.f64 (+.f64 x y) z) (+.f64 x (+.f64 y z)))
00-0-(+.f64 x y)
00-0-(+.f64 x (+.f64 y z))
00-0-z
00-0-x
Confusion
Predicted +Predicted -
+00
-0256
Precision
0/0
Recall
0/0
Confusion?
Predicted +Predicted MaybePredicted -
+000
-00256
Precision?
0/0
Recall?
0/0
Freqs
test
numberfreq
0256
Total Confusion?
Predicted +Predicted MaybePredicted -
+000
-001
Precision?
0/0
Recall?
0/0
Samples
45.0ms258×2valid
33.0ms254×1valid
Compiler

Compiled 105 to 36 computations (65.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 49.0ms
adjust: 23.0ms (46.7% of total)
ival-add: 21.0ms (42.6% of total)
ival-sub: 5.0ms (10.2% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)

preprocess669.0ms (12.4%)

Memory
5.7MiB live, 135.7MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
036117
11229
25339
317279
428339
530999
631109
731189
831189
931189
1031189
0811
01311
1261
2901
33681
412871
523361
631121
736641
838701
939331
1039471
1145911
1250871
1354911
1456351
1556351
1656831
1756831
1856831
1965311
2067211
2173991
2275131
2375511
2475511
2575511
2675891
2775891
2876131
2976251
3076251
083351
Stop Event
1×iter limit
1×node limit
1×iter limit
1×node limit
Calls
Call 1
Inputs
(-.f64 (+.f64 (+.f64 x y) z) (+.f64 x (+.f64 y z)))
Outputs
(-.f64 (+.f64 (+.f64 x y) z) (+.f64 x (+.f64 y z)))
#s(literal 0 binary64)
Symmetry

(abs z)

(abs y)

(abs x)

(negabs z)

(negabs y)

(negabs x)

(sort x y z)

Compiler

Compiled 11 to 8 computations (27.3% saved)

eval0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated
Compiler

Compiled 0 to 3 computations (-∞% saved)

prune0.0ms (0%)

Memory
0.8MiB live, 0.8MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(-.f64 (+.f64 (+.f64 x y) z) (+.f64 x (+.f64 y z)))
Compiler

Compiled 11 to 8 computations (27.3% saved)

simplify603.0ms (11.2%)

Memory
-10.1MiB live, 91.5MiB allocated
Algorithm
1×egg-herbie
Localize:

Found 4 expressions of interest:

NewMetricScoreProgram
cost-diff0
(+.f64 x (+.f64 y z))
cost-diff0
(+.f64 x y)
cost-diff0
(+.f64 (+.f64 x y) z)
cost-diff960
(-.f64 (+.f64 (+.f64 x y) z) (+.f64 x (+.f64 y z)))
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0830
01330
12620
29020
336820
4128720
5233620
6311220
7366420
8387020
9393320
10394720
11459120
12508720
13549120
14563520
15563520
16568320
17568320
18568320
19653120
20672120
21739920
22751320
23755120
24755120
25755120
26758920
27758920
28761320
29762520
30762520
0833520
Stop Event
1×iter limit
1×node limit
1×iter limit
Calls
Call 1
Inputs
(-.f64 (+.f64 (+.f64 x y) z) (+.f64 x (+.f64 y z)))
(+.f64 (+.f64 x y) z)
(+.f64 x y)
x
y
z
(+.f64 x (+.f64 y z))
(+.f64 y z)
Outputs
(-.f64 (+.f64 (+.f64 x y) z) (+.f64 x (+.f64 y z)))
#s(literal 0 binary64)
(+.f64 (+.f64 x y) z)
(+.f64 (+.f64 z y) x)
(+.f64 x y)
(+.f64 y x)
x
y
z
(+.f64 x (+.f64 y z))
(+.f64 (+.f64 z y) x)
(+.f64 y z)
(+.f64 z y)

localize63.0ms (1.2%)

Memory
-14.7MiB live, 16.1MiB allocated
Localize:

Found 4 expressions of interest:

NewMetricScoreProgram
accuracy0
(+.f64 (+.f64 x y) z)
accuracy0
(+.f64 y z)
accuracy0
(+.f64 x (+.f64 y z))
accuracy0
(+.f64 x y)
Samples
22.0ms129×2valid
14.0ms127×1valid
Compiler

Compiled 62 to 18 computations (71% saved)

Precisions
Click to see histograms. Total time spent on operations: 23.0ms
adjust: 11.0ms (47.2% of total)
ival-add: 10.0ms (42.9% of total)
ival-sub: 2.0ms (8.6% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)

series3.0ms (0%)

Memory
1.5MiB live, 1.5MiB allocated
Counts
5 → 22
Calls
Call 1
Inputs
(-.f64 (+.f64 (+.f64 x y) z) (+.f64 x (+.f64 y z)))
(+.f64 (+.f64 x y) z)
(+.f64 x y)
(+.f64 x (+.f64 y z))
(+.f64 y z)
Outputs
0
(+ y z)
(+ x (+ y z))
y
(+ x y)
x
(* x (+ 1 (+ (/ y x) (/ z x))))
(* x (+ 1 (/ y x)))
(* -1 (* x (- (* -1 (/ (+ y z) x)) 1)))
(* -1 (* x (- (* -1 (/ y x)) 1)))
(+ x z)
z
(* y (+ 1 (+ (/ x y) (/ z y))))
(* y (+ 1 (/ x y)))
(* y (+ 1 (/ z y)))
(* -1 (* y (- (* -1 (/ (+ x z) y)) 1)))
(* -1 (* y (- (* -1 (/ x y)) 1)))
(* -1 (* y (- (* -1 (/ z y)) 1)))
(* z (+ 1 (+ (/ x z) (/ y z))))
(* z (+ 1 (/ y z)))
(* -1 (* z (- (* -1 (/ (+ x y) z)) 1)))
(* -1 (* z (- (* -1 (/ y z)) 1)))
Calls

9 calls:

TimeVariablePointExpression
0.0ms
y
@-inf
((- (+ (+ x y) z) (+ x (+ y z))) (+ (+ x y) z) (+ x y) (+ x (+ y z)) (+ y z))
0.0ms
x
@inf
((- (+ (+ x y) z) (+ x (+ y z))) (+ (+ x y) z) (+ x y) (+ x (+ y z)) (+ y z))
0.0ms
y
@inf
((- (+ (+ x y) z) (+ x (+ y z))) (+ (+ x y) z) (+ x y) (+ x (+ y z)) (+ y z))
0.0ms
x
@-inf
((- (+ (+ x y) z) (+ x (+ y z))) (+ (+ x y) z) (+ x y) (+ x (+ y z)) (+ y z))
0.0ms
z
@-inf
((- (+ (+ x y) z) (+ x (+ y z))) (+ (+ x y) z) (+ x y) (+ x (+ y z)) (+ y z))

simplify243.0ms (4.5%)

Memory
-1.6MiB live, 29.1MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06472
119172
252872
3182472
4478272
5677972
6723272
7746372
8748172
9748172
0846972
Stop Event
1×iter limit
1×node limit
Counts
22 → 19
Calls
Call 1
Inputs
0
(+ y z)
(+ x (+ y z))
y
(+ x y)
x
(* x (+ 1 (+ (/ y x) (/ z x))))
(* x (+ 1 (/ y x)))
(* -1 (* x (- (* -1 (/ (+ y z) x)) 1)))
(* -1 (* x (- (* -1 (/ y x)) 1)))
(+ x z)
z
(* y (+ 1 (+ (/ x y) (/ z y))))
(* y (+ 1 (/ x y)))
(* y (+ 1 (/ z y)))
(* -1 (* y (- (* -1 (/ (+ x z) y)) 1)))
(* -1 (* y (- (* -1 (/ x y)) 1)))
(* -1 (* y (- (* -1 (/ z y)) 1)))
(* z (+ 1 (+ (/ x z) (/ y z))))
(* z (+ 1 (/ y z)))
(* -1 (* z (- (* -1 (/ (+ x y) z)) 1)))
(* -1 (* z (- (* -1 (/ y z)) 1)))
Outputs
0
#s(literal 0 binary64)
(+ y z)
(+.f64 z y)
(+ x (+ y z))
(+.f64 (+.f64 z x) y)
y
(+ x y)
(+.f64 y x)
x
(* x (+ 1 (+ (/ y x) (/ z x))))
(+.f64 (+.f64 z x) y)
(* x (+ 1 (/ y x)))
(+.f64 y x)
(* -1 (* x (- (* -1 (/ (+ y z) x)) 1)))
(+.f64 (+.f64 z x) y)
(* -1 (* x (- (* -1 (/ y x)) 1)))
(+.f64 y x)
(+ x z)
(+.f64 z x)
z
(* y (+ 1 (+ (/ x y) (/ z y))))
(+.f64 (+.f64 z x) y)
(* y (+ 1 (/ x y)))
(+.f64 y x)
(* y (+ 1 (/ z y)))
(+.f64 z y)
(* -1 (* y (- (* -1 (/ (+ x z) y)) 1)))
(+.f64 (+.f64 z x) y)
(* -1 (* y (- (* -1 (/ x y)) 1)))
(+.f64 y x)
(* -1 (* y (- (* -1 (/ z y)) 1)))
(+.f64 z y)
(* z (+ 1 (+ (/ x z) (/ y z))))
(+.f64 (+.f64 z x) y)
(* z (+ 1 (/ y z)))
(+.f64 z y)
(* -1 (* z (- (* -1 (/ (+ x y) z)) 1)))
(+.f64 (+.f64 z x) y)
(* -1 (* z (- (* -1 (/ y z)) 1)))
(+.f64 z y)

rewrite275.0ms (5.1%)

Memory
8.8MiB live, 101.6MiB allocated
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0827
01327
18617
2100717
0857217
Stop Event
1×iter limit
1×node limit
1×iter limit
Counts
5 → 211
Calls
Call 1
Inputs
(-.f64 (+.f64 (+.f64 x y) z) (+.f64 x (+.f64 y z)))
(+.f64 (+.f64 x y) z)
(+.f64 x y)
(+.f64 x (+.f64 y z))
(+.f64 y z)
Outputs
#s(literal 0 binary64)
(*.f64 (-.f64 (*.f64 x x) (pow.f64 (+.f64 z y) #s(literal 2 binary64))) (pow.f64 (-.f64 (-.f64 x y) z) #s(literal -1 binary64)))
(*.f64 (-.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (*.f64 z z)) (pow.f64 (-.f64 (+.f64 y x) z) #s(literal -1 binary64)))
(*.f64 (+.f64 (pow.f64 (+.f64 z y) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (pow.f64 (fma.f64 (+.f64 z y) (-.f64 (+.f64 z y) x) (*.f64 x x)) #s(literal -1 binary64)))
(*.f64 (+.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) (pow.f64 (fma.f64 z (-.f64 z (+.f64 y x)) (pow.f64 (+.f64 y x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(pow.f64 (/.f64 (-.f64 (-.f64 x y) z) (-.f64 (*.f64 x x) (pow.f64 (+.f64 z y) #s(literal 2 binary64)))) #s(literal -1 binary64))
(pow.f64 (/.f64 (-.f64 (+.f64 y x) z) (-.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (*.f64 z z))) #s(literal -1 binary64))
(pow.f64 (/.f64 (fma.f64 (+.f64 z y) (-.f64 (+.f64 z y) x) (*.f64 x x)) (+.f64 (pow.f64 (+.f64 z y) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) #s(literal -1 binary64))
(pow.f64 (/.f64 (fma.f64 z (-.f64 z (+.f64 y x)) (pow.f64 (+.f64 y x) #s(literal 2 binary64))) (+.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64)))) #s(literal -1 binary64))
(/.f64 (-.f64 (pow.f64 (/.f64 (*.f64 x x) (-.f64 (-.f64 x y) z)) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (+.f64 z y) #s(literal 2 binary64)) (-.f64 (-.f64 x y) z)) #s(literal 3 binary64))) (fma.f64 (/.f64 (*.f64 x x) (-.f64 (-.f64 x y) z)) (/.f64 (*.f64 x x) (-.f64 (-.f64 x y) z)) (fma.f64 (/.f64 (pow.f64 (+.f64 z y) #s(literal 2 binary64)) (-.f64 (-.f64 x y) z)) (/.f64 (pow.f64 (+.f64 z y) #s(literal 2 binary64)) (-.f64 (-.f64 x y) z)) (*.f64 (/.f64 (*.f64 x x) (-.f64 (-.f64 x y) z)) (/.f64 (pow.f64 (+.f64 z y) #s(literal 2 binary64)) (-.f64 (-.f64 x y) z))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (-.f64 (+.f64 y x) z)) #s(literal 3 binary64)) (pow.f64 (/.f64 (*.f64 z z) (-.f64 (+.f64 y x) z)) #s(literal 3 binary64))) (fma.f64 (/.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (-.f64 (+.f64 y x) z)) (/.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (-.f64 (+.f64 y x) z)) (fma.f64 (/.f64 (*.f64 z z) (-.f64 (+.f64 y x) z)) (/.f64 (*.f64 z z) (-.f64 (+.f64 y x) z)) (*.f64 (/.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (-.f64 (+.f64 y x) z)) (/.f64 (*.f64 z z) (-.f64 (+.f64 y x) z))))))
(/.f64 (+.f64 (pow.f64 (+.f64 z x) #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64))) (fma.f64 (+.f64 z x) (+.f64 z x) (-.f64 (*.f64 y y) (*.f64 (+.f64 z x) y))))
(/.f64 (+.f64 (pow.f64 (+.f64 x z) #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64))) (fma.f64 (+.f64 x z) (+.f64 x z) (-.f64 (*.f64 y y) (*.f64 (+.f64 x z) y))))
(/.f64 (+.f64 (pow.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (+.f64 z y) (-.f64 (+.f64 z y) x) (*.f64 x x))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (+.f64 z y) #s(literal 3 binary64)) (fma.f64 (+.f64 z y) (-.f64 (+.f64 z y) x) (*.f64 x x))) #s(literal 3 binary64))) (fma.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (+.f64 z y) (-.f64 (+.f64 z y) x) (*.f64 x x))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (+.f64 z y) (-.f64 (+.f64 z y) x) (*.f64 x x))) (-.f64 (*.f64 (/.f64 (pow.f64 (+.f64 z y) #s(literal 3 binary64)) (fma.f64 (+.f64 z y) (-.f64 (+.f64 z y) x) (*.f64 x x))) (/.f64 (pow.f64 (+.f64 z y) #s(literal 3 binary64)) (fma.f64 (+.f64 z y) (-.f64 (+.f64 z y) x) (*.f64 x x)))) (*.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (+.f64 z y) (-.f64 (+.f64 z y) x) (*.f64 x x))) (/.f64 (pow.f64 (+.f64 z y) #s(literal 3 binary64)) (fma.f64 (+.f64 z y) (-.f64 (+.f64 z y) x) (*.f64 x x)))))))
(/.f64 (+.f64 (pow.f64 (/.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (fma.f64 z (-.f64 z (+.f64 y x)) (pow.f64 (+.f64 y x) #s(literal 2 binary64)))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 z #s(literal 3 binary64)) (fma.f64 z (-.f64 z (+.f64 y x)) (pow.f64 (+.f64 y x) #s(literal 2 binary64)))) #s(literal 3 binary64))) (fma.f64 (/.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (fma.f64 z (-.f64 z (+.f64 y x)) (pow.f64 (+.f64 y x) #s(literal 2 binary64)))) (/.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (fma.f64 z (-.f64 z (+.f64 y x)) (pow.f64 (+.f64 y x) #s(literal 2 binary64)))) (-.f64 (*.f64 (/.f64 (pow.f64 z #s(literal 3 binary64)) (fma.f64 z (-.f64 z (+.f64 y x)) (pow.f64 (+.f64 y x) #s(literal 2 binary64)))) (/.f64 (pow.f64 z #s(literal 3 binary64)) (fma.f64 z (-.f64 z (+.f64 y x)) (pow.f64 (+.f64 y x) #s(literal 2 binary64))))) (*.f64 (/.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (fma.f64 z (-.f64 z (+.f64 y x)) (pow.f64 (+.f64 y x) #s(literal 2 binary64)))) (/.f64 (pow.f64 z #s(literal 3 binary64)) (fma.f64 z (-.f64 z (+.f64 y x)) (pow.f64 (+.f64 y x) #s(literal 2 binary64))))))))
(/.f64 (+.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 (+.f64 z x) #s(literal 3 binary64))) (fma.f64 y y (-.f64 (*.f64 (+.f64 z x) (+.f64 z x)) (*.f64 y (+.f64 z x)))))
(/.f64 (+.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 (+.f64 x z) #s(literal 3 binary64))) (fma.f64 y y (-.f64 (*.f64 (+.f64 x z) (+.f64 x z)) (*.f64 y (+.f64 x z)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 z y) #s(literal 2 binary64)) (*.f64 x x))) (neg.f64 (-.f64 (+.f64 z y) x)))
(/.f64 (neg.f64 (-.f64 (*.f64 z z) (pow.f64 (+.f64 y x) #s(literal 2 binary64)))) (neg.f64 (-.f64 z (+.f64 y x))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (*.f64 x x) (pow.f64 (+.f64 z y) #s(literal 2 binary64))))) (neg.f64 (neg.f64 (-.f64 (-.f64 x y) z))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (*.f64 z z)))) (neg.f64 (neg.f64 (-.f64 (+.f64 y x) z))))
(/.f64 (neg.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 z y) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 (+.f64 z y) (-.f64 (+.f64 z y) x) (*.f64 x x)))))
(/.f64 (neg.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 z (-.f64 z (+.f64 y x)) (pow.f64 (+.f64 y x) #s(literal 2 binary64))))))
(/.f64 (-.f64 (*.f64 (*.f64 x x) (-.f64 (-.f64 x y) z)) (*.f64 (-.f64 (-.f64 x y) z) (pow.f64 (+.f64 z y) #s(literal 2 binary64)))) (pow.f64 (-.f64 (-.f64 x y) z) #s(literal 2 binary64)))
(/.f64 (-.f64 (*.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (-.f64 (+.f64 y x) z)) (*.f64 (-.f64 (+.f64 y x) z) (*.f64 z z))) (pow.f64 (-.f64 (+.f64 y x) z) #s(literal 2 binary64)))
(/.f64 (-.f64 (pow.f64 (+.f64 z y) #s(literal 2 binary64)) (*.f64 x x)) (-.f64 (+.f64 z y) x))
(/.f64 (-.f64 (*.f64 z z) (pow.f64 (+.f64 y x) #s(literal 2 binary64))) (-.f64 z (+.f64 y x)))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 (-.f64 (-.f64 x y) z) (-.f64 (*.f64 x x) (pow.f64 (+.f64 z y) #s(literal 2 binary64))))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 (-.f64 (+.f64 y x) z) (-.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (*.f64 z z)))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 (fma.f64 (+.f64 z y) (-.f64 (+.f64 z y) x) (*.f64 x x)) (+.f64 (pow.f64 (+.f64 z y) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 (fma.f64 z (-.f64 z (+.f64 y x)) (pow.f64 (+.f64 y x) #s(literal 2 binary64))) (+.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))))))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 (-.f64 x y) z) (-.f64 (*.f64 x x) (pow.f64 (+.f64 z y) #s(literal 2 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 (+.f64 y x) z) (-.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (*.f64 z z))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (+.f64 z y) (-.f64 (+.f64 z y) x) (*.f64 x x)) (+.f64 (pow.f64 (+.f64 z y) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 z (-.f64 z (+.f64 y x)) (pow.f64 (+.f64 y x) #s(literal 2 binary64))) (+.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64)))))
(/.f64 (neg.f64 (-.f64 (*.f64 x x) (pow.f64 (+.f64 z y) #s(literal 2 binary64)))) (neg.f64 (-.f64 (-.f64 x y) z)))
(/.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (*.f64 z z))) (neg.f64 (-.f64 (+.f64 y x) z)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 z y) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (neg.f64 (+.f64 (pow.f64 (+.f64 z y) #s(literal 2 binary64)) (-.f64 (*.f64 x x) (*.f64 (+.f64 z y) x)))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 z y) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (neg.f64 (fma.f64 (+.f64 z y) (-.f64 (+.f64 z y) x) (*.f64 x x))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64)))) (neg.f64 (fma.f64 z z (-.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (*.f64 z (+.f64 y x))))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64)))) (neg.f64 (fma.f64 z (-.f64 z (+.f64 y x)) (pow.f64 (+.f64 y x) #s(literal 2 binary64)))))
(/.f64 (-.f64 (*.f64 x x) (pow.f64 (+.f64 z y) #s(literal 2 binary64))) (-.f64 (-.f64 x y) z))
(/.f64 (-.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (*.f64 z z)) (-.f64 (+.f64 y x) z))
(/.f64 (+.f64 (pow.f64 (+.f64 z y) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (+.f64 (pow.f64 (+.f64 z y) #s(literal 2 binary64)) (-.f64 (*.f64 x x) (*.f64 (+.f64 z y) x))))
(/.f64 (+.f64 (pow.f64 (+.f64 z y) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (fma.f64 (+.f64 z y) (-.f64 (+.f64 z y) x) (*.f64 x x)))
(/.f64 (+.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) (fma.f64 z z (-.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (*.f64 z (+.f64 y x)))))
(/.f64 (+.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) (fma.f64 z (-.f64 z (+.f64 y x)) (pow.f64 (+.f64 y x) #s(literal 2 binary64))))
(fma.f64 (*.f64 (+.f64 y x) (-.f64 x y)) (pow.f64 (-.f64 x y) #s(literal -1 binary64)) z)
(fma.f64 (*.f64 (+.f64 z y) (-.f64 y z)) (pow.f64 (-.f64 y z) #s(literal -1 binary64)) x)
(fma.f64 (+.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64))) (pow.f64 (fma.f64 y (-.f64 y x) (*.f64 x x)) #s(literal -1 binary64)) z)
(fma.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64))) (pow.f64 (fma.f64 z (-.f64 z y) (*.f64 y y)) #s(literal -1 binary64)) x)
(-.f64 (/.f64 (pow.f64 (+.f64 z y) #s(literal 2 binary64)) (-.f64 (+.f64 z y) x)) (/.f64 (*.f64 x x) (-.f64 (+.f64 z y) x)))
(-.f64 (/.f64 (*.f64 z z) (-.f64 z (+.f64 y x))) (/.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (-.f64 z (+.f64 y x))))
(-.f64 (/.f64 (*.f64 x x) (-.f64 (-.f64 x y) z)) (/.f64 (pow.f64 (+.f64 z y) #s(literal 2 binary64)) (-.f64 (-.f64 x y) z)))
(-.f64 (/.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (-.f64 (+.f64 y x) z)) (/.f64 (*.f64 z z) (-.f64 (+.f64 y x) z)))
(+.f64 (/.f64 (pow.f64 (+.f64 z y) #s(literal 3 binary64)) (+.f64 (pow.f64 (+.f64 z y) #s(literal 2 binary64)) (-.f64 (*.f64 x x) (*.f64 (+.f64 z y) x)))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (+.f64 (pow.f64 (+.f64 z y) #s(literal 2 binary64)) (-.f64 (*.f64 x x) (*.f64 (+.f64 z y) x)))))
(+.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (+.f64 (pow.f64 (+.f64 z y) #s(literal 2 binary64)) (-.f64 (*.f64 x x) (*.f64 (+.f64 z y) x)))) (/.f64 (pow.f64 (+.f64 z y) #s(literal 3 binary64)) (+.f64 (pow.f64 (+.f64 z y) #s(literal 2 binary64)) (-.f64 (*.f64 x x) (*.f64 (+.f64 z y) x)))))
(+.f64 (/.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (fma.f64 z z (-.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (*.f64 z (+.f64 y x))))) (/.f64 (pow.f64 z #s(literal 3 binary64)) (fma.f64 z z (-.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (*.f64 z (+.f64 y x))))))
(+.f64 (/.f64 (pow.f64 z #s(literal 3 binary64)) (fma.f64 z z (-.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (*.f64 z (+.f64 y x))))) (/.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (fma.f64 z z (-.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (*.f64 z (+.f64 y x))))))
(+.f64 (+.f64 z x) y)
(+.f64 (+.f64 x z) y)
(+.f64 (/.f64 (pow.f64 (+.f64 z y) #s(literal 3 binary64)) (fma.f64 (+.f64 z y) (-.f64 (+.f64 z y) x) (*.f64 x x))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (+.f64 z y) (-.f64 (+.f64 z y) x) (*.f64 x x))))
(+.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (+.f64 z y) (-.f64 (+.f64 z y) x) (*.f64 x x))) (/.f64 (pow.f64 (+.f64 z y) #s(literal 3 binary64)) (fma.f64 (+.f64 z y) (-.f64 (+.f64 z y) x) (*.f64 x x))))
(+.f64 (/.f64 (pow.f64 z #s(literal 3 binary64)) (fma.f64 z (-.f64 z (+.f64 y x)) (pow.f64 (+.f64 y x) #s(literal 2 binary64)))) (/.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (fma.f64 z (-.f64 z (+.f64 y x)) (pow.f64 (+.f64 y x) #s(literal 2 binary64)))))
(+.f64 (/.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (fma.f64 z (-.f64 z (+.f64 y x)) (pow.f64 (+.f64 y x) #s(literal 2 binary64)))) (/.f64 (pow.f64 z #s(literal 3 binary64)) (fma.f64 z (-.f64 z (+.f64 y x)) (pow.f64 (+.f64 y x) #s(literal 2 binary64)))))
(+.f64 (/.f64 (*.f64 x x) (-.f64 (-.f64 x y) z)) (/.f64 (*.f64 (neg.f64 (+.f64 z y)) (+.f64 z y)) (-.f64 (-.f64 x y) z)))
(+.f64 (/.f64 (*.f64 x x) (-.f64 (-.f64 x y) z)) (/.f64 (neg.f64 (pow.f64 (+.f64 z y) #s(literal 2 binary64))) (-.f64 (-.f64 x y) z)))
(+.f64 (/.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (-.f64 (+.f64 y x) z)) (/.f64 (*.f64 (neg.f64 z) z) (-.f64 (+.f64 y x) z)))
(+.f64 (/.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (-.f64 (+.f64 y x) z)) (/.f64 (neg.f64 (*.f64 z z)) (-.f64 (+.f64 y x) z)))
(+.f64 (+.f64 z y) x)
(+.f64 z (+.f64 y x))
(+.f64 (+.f64 y x) z)
(+.f64 y (+.f64 z x))
(+.f64 y (+.f64 x z))
(+.f64 x (+.f64 z y))
(*.f64 (*.f64 (+.f64 y x) (-.f64 x y)) (pow.f64 (-.f64 x y) #s(literal -1 binary64)))
(*.f64 (+.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64))) (pow.f64 (fma.f64 y (-.f64 y x) (*.f64 x x)) #s(literal -1 binary64)))
(pow.f64 (/.f64 (-.f64 x y) (*.f64 (+.f64 y x) (-.f64 x y))) #s(literal -1 binary64))
(pow.f64 (/.f64 (fma.f64 y (-.f64 y x) (*.f64 x x)) (+.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64)))) #s(literal -1 binary64))
(/.f64 (-.f64 (pow.f64 (/.f64 (*.f64 x x) (-.f64 x y)) #s(literal 3 binary64)) (pow.f64 (/.f64 (*.f64 y y) (-.f64 x y)) #s(literal 3 binary64))) (fma.f64 (/.f64 (*.f64 x x) (-.f64 x y)) (/.f64 (*.f64 x x) (-.f64 x y)) (fma.f64 (/.f64 (*.f64 y y) (-.f64 x y)) (/.f64 (*.f64 y y) (-.f64 x y)) (*.f64 (/.f64 (*.f64 x x) (-.f64 x y)) (/.f64 (*.f64 y y) (-.f64 x y))))))
(/.f64 (+.f64 (pow.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 y (-.f64 y x) (*.f64 x x))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 y (-.f64 y x) (*.f64 x x))) #s(literal 3 binary64))) (fma.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 y (-.f64 y x) (*.f64 x x))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 y (-.f64 y x) (*.f64 x x))) (-.f64 (*.f64 (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 y (-.f64 y x) (*.f64 x x))) (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 y (-.f64 y x) (*.f64 x x)))) (*.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 y (-.f64 y x) (*.f64 x x))) (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 y (-.f64 y x) (*.f64 x x)))))))
(/.f64 (neg.f64 (-.f64 (*.f64 y y) (*.f64 x x))) (neg.f64 (-.f64 y x)))
(/.f64 (neg.f64 (neg.f64 (*.f64 (+.f64 y x) (-.f64 x y)))) (neg.f64 (neg.f64 (-.f64 x y))))
(/.f64 (neg.f64 (neg.f64 (+.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 y (-.f64 y x) (*.f64 x x)))))
(/.f64 (-.f64 (*.f64 (*.f64 x x) (-.f64 x y)) (*.f64 (-.f64 x y) (*.f64 y y))) (pow.f64 (-.f64 x y) #s(literal 2 binary64)))
(/.f64 (-.f64 (*.f64 y y) (*.f64 x x)) (-.f64 y x))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 (-.f64 x y) (*.f64 (+.f64 y x) (-.f64 x y)))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 (fma.f64 y (-.f64 y x) (*.f64 x x)) (+.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64))))))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (*.f64 (+.f64 y x) (-.f64 x y))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 y (-.f64 y x) (*.f64 x x)) (+.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64)))))
(/.f64 (neg.f64 (*.f64 (+.f64 y x) (-.f64 x y))) (neg.f64 (-.f64 x y)))
(/.f64 (neg.f64 (+.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64)))) (neg.f64 (fma.f64 y y (-.f64 (*.f64 x x) (*.f64 y x)))))
(/.f64 (neg.f64 (+.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64)))) (neg.f64 (fma.f64 y (-.f64 y x) (*.f64 x x))))
(/.f64 (*.f64 (+.f64 y x) (-.f64 x y)) (-.f64 x y))
(/.f64 (+.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64))) (fma.f64 y y (-.f64 (*.f64 x x) (*.f64 y x))))
(/.f64 (+.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64))) (fma.f64 y (-.f64 y x) (*.f64 x x)))
(-.f64 (/.f64 (*.f64 y y) (-.f64 y x)) (/.f64 (*.f64 x x) (-.f64 y x)))
(-.f64 (/.f64 (*.f64 x x) (-.f64 x y)) (/.f64 (*.f64 y y) (-.f64 x y)))
(+.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 y y (-.f64 (*.f64 x x) (*.f64 y x)))) (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 y y (-.f64 (*.f64 x x) (*.f64 y x)))))
(+.f64 (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 y y (-.f64 (*.f64 x x) (*.f64 y x)))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 y y (-.f64 (*.f64 x x) (*.f64 y x)))))
(+.f64 (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 y (-.f64 y x) (*.f64 x x))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 y (-.f64 y x) (*.f64 x x))))
(+.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 y (-.f64 y x) (*.f64 x x))) (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 y (-.f64 y x) (*.f64 x x))))
(+.f64 (/.f64 (*.f64 x x) (-.f64 x y)) (/.f64 (*.f64 (neg.f64 y) y) (-.f64 x y)))
(+.f64 (/.f64 (*.f64 x x) (-.f64 x y)) (/.f64 (neg.f64 (*.f64 y y)) (-.f64 x y)))
(+.f64 y x)
(+.f64 x y)
(*.f64 (-.f64 (*.f64 x x) (pow.f64 (+.f64 z y) #s(literal 2 binary64))) (pow.f64 (-.f64 (-.f64 x y) z) #s(literal -1 binary64)))
(*.f64 (-.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (*.f64 z z)) (pow.f64 (-.f64 (+.f64 y x) z) #s(literal -1 binary64)))
(*.f64 (+.f64 (pow.f64 (+.f64 z y) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (pow.f64 (fma.f64 (+.f64 z y) (-.f64 (+.f64 z y) x) (*.f64 x x)) #s(literal -1 binary64)))
(*.f64 (+.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) (pow.f64 (fma.f64 z (-.f64 z (+.f64 y x)) (pow.f64 (+.f64 y x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(pow.f64 (/.f64 (-.f64 (-.f64 x y) z) (-.f64 (*.f64 x x) (pow.f64 (+.f64 z y) #s(literal 2 binary64)))) #s(literal -1 binary64))
(pow.f64 (/.f64 (-.f64 (+.f64 y x) z) (-.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (*.f64 z z))) #s(literal -1 binary64))
(pow.f64 (/.f64 (fma.f64 (+.f64 z y) (-.f64 (+.f64 z y) x) (*.f64 x x)) (+.f64 (pow.f64 (+.f64 z y) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) #s(literal -1 binary64))
(pow.f64 (/.f64 (fma.f64 z (-.f64 z (+.f64 y x)) (pow.f64 (+.f64 y x) #s(literal 2 binary64))) (+.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64)))) #s(literal -1 binary64))
(/.f64 (-.f64 (pow.f64 (/.f64 (*.f64 x x) (-.f64 (-.f64 x y) z)) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (+.f64 z y) #s(literal 2 binary64)) (-.f64 (-.f64 x y) z)) #s(literal 3 binary64))) (fma.f64 (/.f64 (*.f64 x x) (-.f64 (-.f64 x y) z)) (/.f64 (*.f64 x x) (-.f64 (-.f64 x y) z)) (fma.f64 (/.f64 (pow.f64 (+.f64 z y) #s(literal 2 binary64)) (-.f64 (-.f64 x y) z)) (/.f64 (pow.f64 (+.f64 z y) #s(literal 2 binary64)) (-.f64 (-.f64 x y) z)) (*.f64 (/.f64 (*.f64 x x) (-.f64 (-.f64 x y) z)) (/.f64 (pow.f64 (+.f64 z y) #s(literal 2 binary64)) (-.f64 (-.f64 x y) z))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (-.f64 (+.f64 y x) z)) #s(literal 3 binary64)) (pow.f64 (/.f64 (*.f64 z z) (-.f64 (+.f64 y x) z)) #s(literal 3 binary64))) (fma.f64 (/.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (-.f64 (+.f64 y x) z)) (/.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (-.f64 (+.f64 y x) z)) (fma.f64 (/.f64 (*.f64 z z) (-.f64 (+.f64 y x) z)) (/.f64 (*.f64 z z) (-.f64 (+.f64 y x) z)) (*.f64 (/.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (-.f64 (+.f64 y x) z)) (/.f64 (*.f64 z z) (-.f64 (+.f64 y x) z))))))
(/.f64 (+.f64 (pow.f64 (+.f64 z x) #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64))) (fma.f64 (+.f64 z x) (+.f64 z x) (-.f64 (*.f64 y y) (*.f64 (+.f64 z x) y))))
(/.f64 (+.f64 (pow.f64 (+.f64 x z) #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64))) (fma.f64 (+.f64 x z) (+.f64 x z) (-.f64 (*.f64 y y) (*.f64 (+.f64 x z) y))))
(/.f64 (+.f64 (pow.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (+.f64 z y) (-.f64 (+.f64 z y) x) (*.f64 x x))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (+.f64 z y) #s(literal 3 binary64)) (fma.f64 (+.f64 z y) (-.f64 (+.f64 z y) x) (*.f64 x x))) #s(literal 3 binary64))) (fma.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (+.f64 z y) (-.f64 (+.f64 z y) x) (*.f64 x x))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (+.f64 z y) (-.f64 (+.f64 z y) x) (*.f64 x x))) (-.f64 (*.f64 (/.f64 (pow.f64 (+.f64 z y) #s(literal 3 binary64)) (fma.f64 (+.f64 z y) (-.f64 (+.f64 z y) x) (*.f64 x x))) (/.f64 (pow.f64 (+.f64 z y) #s(literal 3 binary64)) (fma.f64 (+.f64 z y) (-.f64 (+.f64 z y) x) (*.f64 x x)))) (*.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (+.f64 z y) (-.f64 (+.f64 z y) x) (*.f64 x x))) (/.f64 (pow.f64 (+.f64 z y) #s(literal 3 binary64)) (fma.f64 (+.f64 z y) (-.f64 (+.f64 z y) x) (*.f64 x x)))))))
(/.f64 (+.f64 (pow.f64 (/.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (fma.f64 z (-.f64 z (+.f64 y x)) (pow.f64 (+.f64 y x) #s(literal 2 binary64)))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 z #s(literal 3 binary64)) (fma.f64 z (-.f64 z (+.f64 y x)) (pow.f64 (+.f64 y x) #s(literal 2 binary64)))) #s(literal 3 binary64))) (fma.f64 (/.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (fma.f64 z (-.f64 z (+.f64 y x)) (pow.f64 (+.f64 y x) #s(literal 2 binary64)))) (/.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (fma.f64 z (-.f64 z (+.f64 y x)) (pow.f64 (+.f64 y x) #s(literal 2 binary64)))) (-.f64 (*.f64 (/.f64 (pow.f64 z #s(literal 3 binary64)) (fma.f64 z (-.f64 z (+.f64 y x)) (pow.f64 (+.f64 y x) #s(literal 2 binary64)))) (/.f64 (pow.f64 z #s(literal 3 binary64)) (fma.f64 z (-.f64 z (+.f64 y x)) (pow.f64 (+.f64 y x) #s(literal 2 binary64))))) (*.f64 (/.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (fma.f64 z (-.f64 z (+.f64 y x)) (pow.f64 (+.f64 y x) #s(literal 2 binary64)))) (/.f64 (pow.f64 z #s(literal 3 binary64)) (fma.f64 z (-.f64 z (+.f64 y x)) (pow.f64 (+.f64 y x) #s(literal 2 binary64))))))))
(/.f64 (+.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 (+.f64 z x) #s(literal 3 binary64))) (fma.f64 y y (-.f64 (*.f64 (+.f64 z x) (+.f64 z x)) (*.f64 y (+.f64 z x)))))
(/.f64 (+.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 (+.f64 x z) #s(literal 3 binary64))) (fma.f64 y y (-.f64 (*.f64 (+.f64 x z) (+.f64 x z)) (*.f64 y (+.f64 x z)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 z y) #s(literal 2 binary64)) (*.f64 x x))) (neg.f64 (-.f64 (+.f64 z y) x)))
(/.f64 (neg.f64 (-.f64 (*.f64 z z) (pow.f64 (+.f64 y x) #s(literal 2 binary64)))) (neg.f64 (-.f64 z (+.f64 y x))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (*.f64 x x) (pow.f64 (+.f64 z y) #s(literal 2 binary64))))) (neg.f64 (neg.f64 (-.f64 (-.f64 x y) z))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (*.f64 z z)))) (neg.f64 (neg.f64 (-.f64 (+.f64 y x) z))))
(/.f64 (neg.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 z y) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 (+.f64 z y) (-.f64 (+.f64 z y) x) (*.f64 x x)))))
(/.f64 (neg.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 z (-.f64 z (+.f64 y x)) (pow.f64 (+.f64 y x) #s(literal 2 binary64))))))
(/.f64 (-.f64 (*.f64 (*.f64 x x) (-.f64 (-.f64 x y) z)) (*.f64 (-.f64 (-.f64 x y) z) (pow.f64 (+.f64 z y) #s(literal 2 binary64)))) (pow.f64 (-.f64 (-.f64 x y) z) #s(literal 2 binary64)))
(/.f64 (-.f64 (*.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (-.f64 (+.f64 y x) z)) (*.f64 (-.f64 (+.f64 y x) z) (*.f64 z z))) (pow.f64 (-.f64 (+.f64 y x) z) #s(literal 2 binary64)))
(/.f64 (-.f64 (pow.f64 (+.f64 z y) #s(literal 2 binary64)) (*.f64 x x)) (-.f64 (+.f64 z y) x))
(/.f64 (-.f64 (*.f64 z z) (pow.f64 (+.f64 y x) #s(literal 2 binary64))) (-.f64 z (+.f64 y x)))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 (-.f64 (-.f64 x y) z) (-.f64 (*.f64 x x) (pow.f64 (+.f64 z y) #s(literal 2 binary64))))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 (-.f64 (+.f64 y x) z) (-.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (*.f64 z z)))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 (fma.f64 (+.f64 z y) (-.f64 (+.f64 z y) x) (*.f64 x x)) (+.f64 (pow.f64 (+.f64 z y) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 (fma.f64 z (-.f64 z (+.f64 y x)) (pow.f64 (+.f64 y x) #s(literal 2 binary64))) (+.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))))))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 (-.f64 x y) z) (-.f64 (*.f64 x x) (pow.f64 (+.f64 z y) #s(literal 2 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 (+.f64 y x) z) (-.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (*.f64 z z))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (+.f64 z y) (-.f64 (+.f64 z y) x) (*.f64 x x)) (+.f64 (pow.f64 (+.f64 z y) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 z (-.f64 z (+.f64 y x)) (pow.f64 (+.f64 y x) #s(literal 2 binary64))) (+.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64)))))
(/.f64 (neg.f64 (-.f64 (*.f64 x x) (pow.f64 (+.f64 z y) #s(literal 2 binary64)))) (neg.f64 (-.f64 (-.f64 x y) z)))
(/.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (*.f64 z z))) (neg.f64 (-.f64 (+.f64 y x) z)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 z y) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (neg.f64 (+.f64 (pow.f64 (+.f64 z y) #s(literal 2 binary64)) (-.f64 (*.f64 x x) (*.f64 (+.f64 z y) x)))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 z y) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (neg.f64 (fma.f64 (+.f64 z y) (-.f64 (+.f64 z y) x) (*.f64 x x))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64)))) (neg.f64 (fma.f64 z z (-.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (*.f64 z (+.f64 y x))))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64)))) (neg.f64 (fma.f64 z (-.f64 z (+.f64 y x)) (pow.f64 (+.f64 y x) #s(literal 2 binary64)))))
(/.f64 (-.f64 (*.f64 x x) (pow.f64 (+.f64 z y) #s(literal 2 binary64))) (-.f64 (-.f64 x y) z))
(/.f64 (-.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (*.f64 z z)) (-.f64 (+.f64 y x) z))
(/.f64 (+.f64 (pow.f64 (+.f64 z y) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (+.f64 (pow.f64 (+.f64 z y) #s(literal 2 binary64)) (-.f64 (*.f64 x x) (*.f64 (+.f64 z y) x))))
(/.f64 (+.f64 (pow.f64 (+.f64 z y) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (fma.f64 (+.f64 z y) (-.f64 (+.f64 z y) x) (*.f64 x x)))
(/.f64 (+.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) (fma.f64 z z (-.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (*.f64 z (+.f64 y x)))))
(/.f64 (+.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) (fma.f64 z (-.f64 z (+.f64 y x)) (pow.f64 (+.f64 y x) #s(literal 2 binary64))))
(fma.f64 (*.f64 (+.f64 y x) (-.f64 x y)) (pow.f64 (-.f64 x y) #s(literal -1 binary64)) z)
(fma.f64 (*.f64 (+.f64 z y) (-.f64 y z)) (pow.f64 (-.f64 y z) #s(literal -1 binary64)) x)
(fma.f64 (+.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64))) (pow.f64 (fma.f64 y (-.f64 y x) (*.f64 x x)) #s(literal -1 binary64)) z)
(fma.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64))) (pow.f64 (fma.f64 z (-.f64 z y) (*.f64 y y)) #s(literal -1 binary64)) x)
(-.f64 (/.f64 (pow.f64 (+.f64 z y) #s(literal 2 binary64)) (-.f64 (+.f64 z y) x)) (/.f64 (*.f64 x x) (-.f64 (+.f64 z y) x)))
(-.f64 (/.f64 (*.f64 z z) (-.f64 z (+.f64 y x))) (/.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (-.f64 z (+.f64 y x))))
(-.f64 (/.f64 (*.f64 x x) (-.f64 (-.f64 x y) z)) (/.f64 (pow.f64 (+.f64 z y) #s(literal 2 binary64)) (-.f64 (-.f64 x y) z)))
(-.f64 (/.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (-.f64 (+.f64 y x) z)) (/.f64 (*.f64 z z) (-.f64 (+.f64 y x) z)))
(+.f64 (/.f64 (pow.f64 (+.f64 z y) #s(literal 3 binary64)) (+.f64 (pow.f64 (+.f64 z y) #s(literal 2 binary64)) (-.f64 (*.f64 x x) (*.f64 (+.f64 z y) x)))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (+.f64 (pow.f64 (+.f64 z y) #s(literal 2 binary64)) (-.f64 (*.f64 x x) (*.f64 (+.f64 z y) x)))))
(+.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (+.f64 (pow.f64 (+.f64 z y) #s(literal 2 binary64)) (-.f64 (*.f64 x x) (*.f64 (+.f64 z y) x)))) (/.f64 (pow.f64 (+.f64 z y) #s(literal 3 binary64)) (+.f64 (pow.f64 (+.f64 z y) #s(literal 2 binary64)) (-.f64 (*.f64 x x) (*.f64 (+.f64 z y) x)))))
(+.f64 (/.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (fma.f64 z z (-.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (*.f64 z (+.f64 y x))))) (/.f64 (pow.f64 z #s(literal 3 binary64)) (fma.f64 z z (-.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (*.f64 z (+.f64 y x))))))
(+.f64 (/.f64 (pow.f64 z #s(literal 3 binary64)) (fma.f64 z z (-.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (*.f64 z (+.f64 y x))))) (/.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (fma.f64 z z (-.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (*.f64 z (+.f64 y x))))))
(+.f64 (+.f64 z x) y)
(+.f64 (+.f64 x z) y)
(+.f64 (/.f64 (pow.f64 (+.f64 z y) #s(literal 3 binary64)) (fma.f64 (+.f64 z y) (-.f64 (+.f64 z y) x) (*.f64 x x))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (+.f64 z y) (-.f64 (+.f64 z y) x) (*.f64 x x))))
(+.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (+.f64 z y) (-.f64 (+.f64 z y) x) (*.f64 x x))) (/.f64 (pow.f64 (+.f64 z y) #s(literal 3 binary64)) (fma.f64 (+.f64 z y) (-.f64 (+.f64 z y) x) (*.f64 x x))))
(+.f64 (/.f64 (pow.f64 z #s(literal 3 binary64)) (fma.f64 z (-.f64 z (+.f64 y x)) (pow.f64 (+.f64 y x) #s(literal 2 binary64)))) (/.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (fma.f64 z (-.f64 z (+.f64 y x)) (pow.f64 (+.f64 y x) #s(literal 2 binary64)))))
(+.f64 (/.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (fma.f64 z (-.f64 z (+.f64 y x)) (pow.f64 (+.f64 y x) #s(literal 2 binary64)))) (/.f64 (pow.f64 z #s(literal 3 binary64)) (fma.f64 z (-.f64 z (+.f64 y x)) (pow.f64 (+.f64 y x) #s(literal 2 binary64)))))
(+.f64 (/.f64 (*.f64 x x) (-.f64 (-.f64 x y) z)) (/.f64 (*.f64 (neg.f64 (+.f64 z y)) (+.f64 z y)) (-.f64 (-.f64 x y) z)))
(+.f64 (/.f64 (*.f64 x x) (-.f64 (-.f64 x y) z)) (/.f64 (neg.f64 (pow.f64 (+.f64 z y) #s(literal 2 binary64))) (-.f64 (-.f64 x y) z)))
(+.f64 (/.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (-.f64 (+.f64 y x) z)) (/.f64 (*.f64 (neg.f64 z) z) (-.f64 (+.f64 y x) z)))
(+.f64 (/.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (-.f64 (+.f64 y x) z)) (/.f64 (neg.f64 (*.f64 z z)) (-.f64 (+.f64 y x) z)))
(+.f64 (+.f64 z y) x)
(+.f64 z (+.f64 y x))
(+.f64 (+.f64 y x) z)
(+.f64 y (+.f64 z x))
(+.f64 y (+.f64 x z))
(+.f64 x (+.f64 z y))
(*.f64 (*.f64 (+.f64 z y) (-.f64 y z)) (pow.f64 (-.f64 y z) #s(literal -1 binary64)))
(*.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64))) (pow.f64 (fma.f64 z (-.f64 z y) (*.f64 y y)) #s(literal -1 binary64)))
(pow.f64 (/.f64 (-.f64 y z) (*.f64 (+.f64 z y) (-.f64 y z))) #s(literal -1 binary64))
(pow.f64 (/.f64 (fma.f64 z (-.f64 z y) (*.f64 y y)) (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64)))) #s(literal -1 binary64))
(/.f64 (-.f64 (pow.f64 (/.f64 (*.f64 y y) (-.f64 y z)) #s(literal 3 binary64)) (pow.f64 (/.f64 (*.f64 z z) (-.f64 y z)) #s(literal 3 binary64))) (fma.f64 (/.f64 (*.f64 y y) (-.f64 y z)) (/.f64 (*.f64 y y) (-.f64 y z)) (fma.f64 (/.f64 (*.f64 z z) (-.f64 y z)) (/.f64 (*.f64 z z) (-.f64 y z)) (*.f64 (/.f64 (*.f64 y y) (-.f64 y z)) (/.f64 (*.f64 z z) (-.f64 y z))))))
(/.f64 (+.f64 (pow.f64 (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 z (-.f64 z y) (*.f64 y y))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 z #s(literal 3 binary64)) (fma.f64 z (-.f64 z y) (*.f64 y y))) #s(literal 3 binary64))) (fma.f64 (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 z (-.f64 z y) (*.f64 y y))) (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 z (-.f64 z y) (*.f64 y y))) (-.f64 (*.f64 (/.f64 (pow.f64 z #s(literal 3 binary64)) (fma.f64 z (-.f64 z y) (*.f64 y y))) (/.f64 (pow.f64 z #s(literal 3 binary64)) (fma.f64 z (-.f64 z y) (*.f64 y y)))) (*.f64 (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 z (-.f64 z y) (*.f64 y y))) (/.f64 (pow.f64 z #s(literal 3 binary64)) (fma.f64 z (-.f64 z y) (*.f64 y y)))))))
(/.f64 (neg.f64 (-.f64 (*.f64 z z) (*.f64 y y))) (neg.f64 (-.f64 z y)))
(/.f64 (neg.f64 (neg.f64 (*.f64 (+.f64 z y) (-.f64 y z)))) (neg.f64 (neg.f64 (-.f64 y z))))
(/.f64 (neg.f64 (neg.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 z (-.f64 z y) (*.f64 y y)))))
(/.f64 (-.f64 (*.f64 (*.f64 y y) (-.f64 y z)) (*.f64 (-.f64 y z) (*.f64 z z))) (pow.f64 (-.f64 y z) #s(literal 2 binary64)))
(/.f64 (-.f64 (*.f64 z z) (*.f64 y y)) (-.f64 z y))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 (-.f64 y z) (*.f64 (+.f64 z y) (-.f64 y z)))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 (fma.f64 z (-.f64 z y) (*.f64 y y)) (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64))))))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 y z) (*.f64 (+.f64 z y) (-.f64 y z))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 z (-.f64 z y) (*.f64 y y)) (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64)))))
(/.f64 (neg.f64 (*.f64 (+.f64 z y) (-.f64 y z))) (neg.f64 (-.f64 y z)))
(/.f64 (neg.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64)))) (neg.f64 (fma.f64 z z (-.f64 (*.f64 y y) (*.f64 z y)))))
(/.f64 (neg.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64)))) (neg.f64 (fma.f64 z (-.f64 z y) (*.f64 y y))))
(/.f64 (*.f64 (+.f64 z y) (-.f64 y z)) (-.f64 y z))
(/.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64))) (fma.f64 z z (-.f64 (*.f64 y y) (*.f64 z y))))
(/.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64))) (fma.f64 z (-.f64 z y) (*.f64 y y)))
(-.f64 (/.f64 (*.f64 z z) (-.f64 z y)) (/.f64 (*.f64 y y) (-.f64 z y)))
(-.f64 (/.f64 (*.f64 y y) (-.f64 y z)) (/.f64 (*.f64 z z) (-.f64 y z)))
(+.f64 (/.f64 (pow.f64 z #s(literal 3 binary64)) (fma.f64 z z (-.f64 (*.f64 y y) (*.f64 z y)))) (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 z z (-.f64 (*.f64 y y) (*.f64 z y)))))
(+.f64 (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 z z (-.f64 (*.f64 y y) (*.f64 z y)))) (/.f64 (pow.f64 z #s(literal 3 binary64)) (fma.f64 z z (-.f64 (*.f64 y y) (*.f64 z y)))))
(+.f64 (/.f64 (pow.f64 z #s(literal 3 binary64)) (fma.f64 z (-.f64 z y) (*.f64 y y))) (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 z (-.f64 z y) (*.f64 y y))))
(+.f64 (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 z (-.f64 z y) (*.f64 y y))) (/.f64 (pow.f64 z #s(literal 3 binary64)) (fma.f64 z (-.f64 z y) (*.f64 y y))))
(+.f64 (/.f64 (*.f64 y y) (-.f64 y z)) (/.f64 (*.f64 (neg.f64 z) z) (-.f64 y z)))
(+.f64 (/.f64 (*.f64 y y) (-.f64 y z)) (/.f64 (neg.f64 (*.f64 z z)) (-.f64 y z)))
(+.f64 z y)
(+.f64 y z)

eval17.0ms (0.3%)

Memory
-0.5MiB live, 30.2MiB allocated
Compiler

Compiled 4 285 to 609 computations (85.8% saved)

prune2.0ms (0%)

Memory
7.9MiB live, 7.9MiB allocated
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New1421143
Fresh000
Picked101
Done000
Total1431144
Accuracy
100.0%
Counts
144 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
#s(approx (- (+ (+ x y) z) (+ x (+ y z))) #s(literal 0 binary64))
Compiler

Compiled 13 to 10 computations (23.1% saved)

simplify600.0ms (11.1%)

Memory
-18.4MiB live, 181.2MiB allocated
Algorithm
1×egg-herbie
Localize:

Found 1 expressions of interest:

NewMetricScoreProgram
cost-diff0
#s(approx (- (+ (+ x y) z) (+ x (+ y z))) #s(literal 0 binary64))
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01014
01014
1224
2864
33604
412834
523244
630954
736524
838584
939214
1039354
1145794
1250754
1354654
1456094
1556094
1656574
1756574
1856574
1965054
2066954
2173734
2274874
2375254
2475254
2575254
2675634
2775634
2875874
2975994
3075994
083094
Stop Event
1×iter limit
1×node limit
1×saturated
Calls
Call 1
Inputs
#s(approx (- (+ (+ x y) z) (+ x (+ y z))) #s(literal 0 binary64))
#s(literal 0 binary64)
Outputs
#s(approx (- (+ (+ x y) z) (+ x (+ y z))) #s(literal 0 binary64))
#s(literal 0 binary64)

localize39.0ms (0.7%)

Memory
25.1MiB live, 25.1MiB allocated
Localize:

Found 1 expressions of interest:

NewMetricScoreProgram
accuracy0
#s(approx (- (+ (+ x y) z) (+ x (+ y z))) #s(literal 0 binary64))
Samples
20.0ms129×2valid
13.0ms127×1valid
Compiler

Compiled 28 to 21 computations (25% saved)

Precisions
Click to see histograms. Total time spent on operations: 23.0ms
adjust: 11.0ms (46.8% of total)
ival-add: 10.0ms (42.6% of total)
ival-sub: 2.0ms (8.5% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)

series0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated
Counts
1 → 1
Calls
Call 1
Inputs
#s(approx (- (+ (+ x y) z) (+ x (+ y z))) #s(literal 0 binary64))
Outputs
0
Calls

9 calls:

TimeVariablePointExpression
0.0ms
x
@0
((- (+ (+ x y) z) (+ x (+ y z))))
0.0ms
x
@inf
((- (+ (+ x y) z) (+ x (+ y z))))
0.0ms
z
@-inf
((- (+ (+ x y) z) (+ x (+ y z))))
0.0ms
y
@-inf
((- (+ (+ x y) z) (+ x (+ y z))))
0.0ms
y
@inf
((- (+ (+ x y) z) (+ x (+ y z))))

simplify3.0ms (0.1%)

Memory
1.2MiB live, 1.2MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
011
011
Stop Event
1×saturated
1×saturated
Counts
1 → 1
Calls
Call 1
Inputs
0
Outputs
0
#s(literal 0 binary64)

rewrite141.0ms (2.6%)

Memory
1.5MiB live, 96.2MiB allocated
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01013
01013
1833
210043
085683
Stop Event
1×iter limit
1×node limit
1×saturated
Counts
1 → 1
Calls
Call 1
Inputs
#s(approx (- (+ (+ x y) z) (+ x (+ y z))) #s(literal 0 binary64))
Outputs
#s(approx (- (+ (+ x y) z) (+ x (+ y z))) #s(literal 0 binary64))

eval0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated
Compiler

Compiled 13 to 10 computations (23.1% saved)

prune2.0ms (0%)

Memory
-29.9MiB live, 1.1MiB allocated
Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New101
Fresh000
Picked011
Done000
Total112
Accuracy
100.0%
Counts
2 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
#s(approx (- (+ (+ x y) z) (+ x (+ y z))) #s(literal 0 binary64))
Compiler

Compiled 37 to 25 computations (32.4% saved)

regimes5.0ms (0.1%)

Memory
5.5MiB live, 5.5MiB allocated
Accuracy

Total 0b remaining (0%)

Threshold costs 0b (0%)

Counts
2 → 1
Calls
Call 1
Inputs
#s(approx (- (+ (+ x y) z) (+ x (+ y z))) #s(literal 0 binary64))
(-.f64 (+.f64 (+.f64 x y) z) (+.f64 x (+.f64 y z)))
Outputs
#s(approx (- (+ (+ x y) z) (+ x (+ y z))) #s(literal 0 binary64))
Calls

4 calls:

1.0ms
y
1.0ms
z
1.0ms
x
1.0ms
(-.f64 (+.f64 (+.f64 x y) z) (+.f64 x (+.f64 y z)))
Results
AccuracySegmentsBranch
100.0%1x
100.0%1y
100.0%1z
100.0%1(-.f64 (+.f64 (+.f64 x y) z) (+.f64 x (+.f64 y z)))
Compiler

Compiled 14 to 17 computations (-21.4% saved)

simplify23.0ms (0.4%)

Memory
22.1MiB live, 22.1MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01013
Stop Event
1×saturated
Calls
Call 1
Inputs
#s(approx (- (+ (+ x y) z) (+ x (+ y z))) #s(literal 0 binary64))
Outputs
#s(approx (- (+ (+ x y) z) (+ x (+ y z))) #s(literal 0 binary64))

soundness450.0ms (8.3%)

Memory
0.9MiB live, 0.9MiB allocated
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06472
119172
252872
3182472
4478272
5677972
6723272
7746372
8748172
9748172
0846972
Stop Event
1×done
1×iter limit
1×node limit
Compiler

Compiled 14 to 14 computations (0% saved)

preprocess91.0ms (1.7%)

Memory
-17.5MiB live, 44.5MiB allocated
Remove

(sort x y z)

(negabs x)

(negabs y)

(negabs z)

(abs x)

(abs y)

(abs z)

Compiler

Compiled 230 to 176 computations (23.5% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...