Linear.Matrix:fromQuaternion from linear-1.19.1.3, A

Time bar (total: 4.5s)

start0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

analyze0.0ms (0%)

Memory
0.5MiB live, 0.5MiB 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 11 to 9 computations (18.2% saved)

sample1.1s (25.2%)

Memory
-14.2MiB live, 1 312.6MiB allocated
Samples
752.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 475.0ms
ival-mult: 307.0ms (64.6% of total)
ival-sub: 155.0ms (32.6% of total)
ival-true: 6.0ms (1.3% of total)
exact: 5.0ms (1.1% of total)
ival-assert: 3.0ms (0.6% of total)
Bogosity

explain139.0ms (3.1%)

Memory
29.6MiB live, 165.4MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
150-0-(-.f64 (*.f64 x x) (*.f64 x y))
00-0-#s(literal 2 binary64)
00-0-y
00-0-(*.f64 #s(literal 2 binary64) (-.f64 (*.f64 x x) (*.f64 x y)))
00-0-(*.f64 x x)
00-0-(*.f64 x y)
00-0-x
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64(-.f64 (*.f64 x x) (*.f64 x y))nan-rescue150
↳(*.f64 x x)overflow73
↳(*.f64 x y)overflow41
Confusion
Predicted +Predicted -
+150
-0241
Precision
1.0
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+1500
-00241
Precision?
1.0
Recall?
1.0
Freqs
test
numberfreq
0241
115
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
39.0ms512×0valid
Compiler

Compiled 63 to 25 computations (60.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.0ms
ival-mult: 10.0ms (76.8% of total)
ival-sub: 2.0ms (15.4% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

preprocess281.0ms (6.3%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01939
16735
222235
374335
4204535
5371435
6464535
7521335
8565935
9601935
10628535
11729635
079
0117
1247
2737
32547
46727
513667
626837
742067
853297
957257
1058067
1159237
1259267
1359267
1462127
1564927
1666927
066927
Stop Event
1×iter limit
1×saturated
1×iter limit
1×node limit
Calls
Call 1
Inputs
(*.f64 #s(literal 2 binary64) (-.f64 (*.f64 x x) (*.f64 x y)))
Outputs
(*.f64 #s(literal 2 binary64) (-.f64 (*.f64 x x) (*.f64 x y)))
(*.f64 (*.f64 (-.f64 y x) #s(literal -2 binary64)) x)
Compiler

Compiled 9 to 7 computations (22.2% saved)

eval0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated
Compiler

Compiled 0 to 2 computations (-∞% saved)

prune0.0ms (0%)

Memory
1.0MiB live, 1.0MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶94.1%
(*.f64 #s(literal 2 binary64) (-.f64 (*.f64 x x) (*.f64 x y)))
Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify202.0ms (4.5%)

Memory
2.7MiB live, 103.7MiB allocated
Algorithm
1×egg-herbie
Localize:

Found 4 expressions of interest:

NewMetricScoreProgram
cost-diff0
(*.f64 x y)
cost-diff0
(*.f64 x x)
cost-diff0
(*.f64 #s(literal 2 binary64) (-.f64 (*.f64 x x) (*.f64 x y)))
cost-diff2
(-.f64 (*.f64 x x) (*.f64 x y))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0725
01121
12421
27321
325421
467221
5136621
6268321
7420621
8532921
9572521
10580621
11592321
12592621
13592621
14621221
15649221
16669221
0669221
Stop Event
1×iter limit
1×saturated
1×iter limit
Calls
Call 1
Inputs
(*.f64 #s(literal 2 binary64) (-.f64 (*.f64 x x) (*.f64 x y)))
#s(literal 2 binary64)
(-.f64 (*.f64 x x) (*.f64 x y))
(*.f64 x x)
x
(*.f64 x y)
y
Outputs
(*.f64 #s(literal 2 binary64) (-.f64 (*.f64 x x) (*.f64 x y)))
(*.f64 (*.f64 (-.f64 y x) #s(literal -2 binary64)) x)
#s(literal 2 binary64)
(-.f64 (*.f64 x x) (*.f64 x y))
(*.f64 (-.f64 x y) x)
(*.f64 x x)
x
(*.f64 x y)
(*.f64 y x)
y

localize18.0ms (0.4%)

Memory
23.5MiB live, 23.5MiB allocated
Localize:

Found 4 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(*.f64 x y)
accuracy0.0
(*.f64 x x)
accuracy0.00390625
(*.f64 #s(literal 2 binary64) (-.f64 (*.f64 x x) (*.f64 x y)))
accuracy3.2421771791510294
(-.f64 (*.f64 x x) (*.f64 x y))
Samples
13.0ms256×0valid
Compiler

Compiled 27 to 9 computations (66.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.0ms
ival-mult: 5.0ms (79.4% of total)
ival-sub: 1.0ms (15.9% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series25.0ms (0.6%)

Memory
-28.8MiB live, 11.9MiB allocated
Counts
4 → 15
Calls
Call 1
Inputs
(-.f64 (*.f64 x x) (*.f64 x y))
(*.f64 #s(literal 2 binary64) (-.f64 (*.f64 x x) (*.f64 x y)))
(*.f64 x x)
(*.f64 x y)
Outputs
(* -1 (* x y))
(* x (- x y))
(* -2 (* x y))
(* x (+ (* -2 y) (* 2 x)))
(pow x 2)
(* x y)
(* (pow x 2) (+ 1 (* -1 (/ y x))))
(* 2 (pow x 2))
(* (pow x 2) (+ 2 (* -2 (/ y x))))
(+ (* -1 (* x y)) (pow x 2))
(+ (* -2 (* x y)) (* 2 (pow x 2)))
(* y (- (/ (pow x 2) y) x))
(* y (+ (* -2 x) (* 2 (/ (pow x 2) y))))
(* -1 (* y (- (* -1 (/ (pow x 2) y)) (* -1 x))))
(* -1 (* y (+ (* -2 (/ (pow x 2) y)) (* 2 x))))
Calls

6 calls:

TimeVariablePointExpression
1.0ms
x
@inf
((- (* x x) (* x y)) (* 2 (- (* x x) (* x y))) (* x x) (* x y))
1.0ms
y
@-inf
((- (* x x) (* x y)) (* 2 (- (* x x) (* x y))) (* x x) (* x y))
1.0ms
y
@inf
((- (* x x) (* x y)) (* 2 (- (* x x) (* x y))) (* x x) (* x y))
1.0ms
x
@0
((- (* x x) (* x y)) (* 2 (- (* x x) (* x y))) (* x x) (* x y))
1.0ms
x
@-inf
((- (* x x) (* x y)) (* 2 (- (* x x) (* x y))) (* x x) (* x y))

simplify146.0ms (3.3%)

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

Useful iterations: 1 (0.0ms)

IterNodesCost
04290
114080
244680
3153380
4424280
5679880
0807880
Stop Event
1×iter limit
1×node limit
Counts
15 → 15
Calls
Call 1
Inputs
(* -1 (* x y))
(* x (- x y))
(* -2 (* x y))
(* x (+ (* -2 y) (* 2 x)))
(pow x 2)
(* x y)
(* (pow x 2) (+ 1 (* -1 (/ y x))))
(* 2 (pow x 2))
(* (pow x 2) (+ 2 (* -2 (/ y x))))
(+ (* -1 (* x y)) (pow x 2))
(+ (* -2 (* x y)) (* 2 (pow x 2)))
(* y (- (/ (pow x 2) y) x))
(* y (+ (* -2 x) (* 2 (/ (pow x 2) y))))
(* -1 (* y (- (* -1 (/ (pow x 2) y)) (* -1 x))))
(* -1 (* y (+ (* -2 (/ (pow x 2) y)) (* 2 x))))
Outputs
(* -1 (* x y))
(*.f64 (neg.f64 y) x)
(* x (- x y))
(*.f64 (-.f64 x y) x)
(* -2 (* x y))
(*.f64 #s(literal -2 binary64) (*.f64 y x))
(* x (+ (* -2 y) (* 2 x)))
(*.f64 (*.f64 (-.f64 x y) x) #s(literal 2 binary64))
(pow x 2)
(*.f64 x x)
(* x y)
(*.f64 y x)
(* (pow x 2) (+ 1 (* -1 (/ y x))))
(*.f64 (-.f64 x y) x)
(* 2 (pow x 2))
(*.f64 (*.f64 x x) #s(literal 2 binary64))
(* (pow x 2) (+ 2 (* -2 (/ y x))))
(*.f64 (*.f64 (-.f64 x y) x) #s(literal 2 binary64))
(+ (* -1 (* x y)) (pow x 2))
(*.f64 (-.f64 x y) x)
(+ (* -2 (* x y)) (* 2 (pow x 2)))
(*.f64 (*.f64 (-.f64 x y) x) #s(literal 2 binary64))
(* y (- (/ (pow x 2) y) x))
(*.f64 (-.f64 x y) x)
(* y (+ (* -2 x) (* 2 (/ (pow x 2) y))))
(*.f64 (*.f64 (-.f64 x y) x) #s(literal 2 binary64))
(* -1 (* y (- (* -1 (/ (pow x 2) y)) (* -1 x))))
(*.f64 (-.f64 x y) x)
(* -1 (* y (+ (* -2 (/ (pow x 2) y)) (* 2 x))))
(*.f64 (*.f64 (-.f64 x y) x) #s(literal 2 binary64))

rewrite125.0ms (2.8%)

Memory
32.1MiB live, 267.8MiB allocated
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0722
01118
13818
231012
3459212
0821912
Stop Event
1×iter limit
1×node limit
1×iter limit
Counts
4 → 100
Calls
Call 1
Inputs
(-.f64 (*.f64 x x) (*.f64 x y))
(*.f64 #s(literal 2 binary64) (-.f64 (*.f64 x x) (*.f64 x y)))
(*.f64 x x)
(*.f64 x y)
Outputs
(*.f64 (/.f64 (pow.f64 (*.f64 (+.f64 y x) x) #s(literal 2 binary64)) (-.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (*.f64 y x) #s(literal 3 binary64)))) (fma.f64 (*.f64 (*.f64 y x) x) (-.f64 y x) (pow.f64 x #s(literal 4 binary64))))
(*.f64 (/.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (*.f64 y x) #s(literal 3 binary64))) (pow.f64 (fma.f64 (*.f64 (*.f64 y x) x) (-.f64 y x) (pow.f64 x #s(literal 4 binary64))) #s(literal 2 binary64))) (fma.f64 (*.f64 (*.f64 y x) x) (-.f64 y x) (pow.f64 x #s(literal 4 binary64))))
(*.f64 (/.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (*.f64 y x) #s(literal 3 binary64))) (fma.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (*.f64 y (+.f64 y x)) #s(literal 3 binary64)) (pow.f64 x #s(literal 12 binary64)))) (fma.f64 (*.f64 (*.f64 (*.f64 y x) x) (-.f64 y x)) (fma.f64 (*.f64 (*.f64 y x) x) (-.f64 y x) (pow.f64 x #s(literal 4 binary64))) (pow.f64 x #s(literal 8 binary64))))
(*.f64 (/.f64 (*.f64 (+.f64 y x) x) (-.f64 x y)) (/.f64 (*.f64 (+.f64 y x) x) x))
(*.f64 (/.f64 (*.f64 (+.f64 y x) x) x) (/.f64 (*.f64 (+.f64 y x) x) (-.f64 x y)))
(*.f64 (/.f64 (*.f64 (+.f64 y x) x) x) (/.f64 (*.f64 (+.f64 y x) x) (+.f64 y x)))
(*.f64 (+.f64 y x) x)
(*.f64 #s(literal 1 binary64) (*.f64 (+.f64 y x) x))
(*.f64 (-.f64 x y) x)
(*.f64 (fma.f64 (*.f64 (*.f64 y x) x) (-.f64 y x) (pow.f64 x #s(literal 4 binary64))) (/.f64 (*.f64 (+.f64 y x) x) (fma.f64 (*.f64 (*.f64 y x) x) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))))
(*.f64 (*.f64 (+.f64 y x) x) (/.f64 (*.f64 (+.f64 y x) x) (*.f64 (+.f64 y x) x)))
(*.f64 x (-.f64 x (neg.f64 y)))
(*.f64 x (+.f64 x (neg.f64 y)))
(*.f64 x (neg.f64 (+.f64 y x)))
(*.f64 x (+.f64 y x))
(*.f64 x (-.f64 x y))
(/.f64 (/.f64 (pow.f64 (*.f64 (+.f64 y x) x) #s(literal 2 binary64)) (-.f64 x y)) x)
(/.f64 (*.f64 (*.f64 (+.f64 y x) (-.f64 x y)) x) (+.f64 y x))
(/.f64 (*.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64))) x) (fma.f64 y (+.f64 y x) (*.f64 x x)))
(/.f64 (*.f64 x (*.f64 (+.f64 y x) (-.f64 x y))) (+.f64 y x))
(/.f64 (*.f64 x (-.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 (pow.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (+.f64 y x)) #s(literal 2 binary64)) (pow.f64 (*.f64 x (/.f64 (*.f64 y y) (+.f64 y x))) #s(literal 2 binary64))) (*.f64 (+.f64 y x) x))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 x #s(literal 6 binary64)) (fma.f64 (*.f64 (*.f64 y x) x) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))) #s(literal 2 binary64)) (pow.f64 (/.f64 (pow.f64 (*.f64 y x) #s(literal 3 binary64)) (fma.f64 (*.f64 (*.f64 y x) x) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))) #s(literal 2 binary64))) (*.f64 (+.f64 y x) x))
(/.f64 (-.f64 (pow.f64 (*.f64 y x) #s(literal 2 binary64)) (pow.f64 x #s(literal 4 binary64))) (*.f64 (+.f64 y x) x))
(/.f64 (-.f64 (/.f64 (pow.f64 x #s(literal 9 binary64)) (pow.f64 (+.f64 y x) #s(literal 3 binary64))) (pow.f64 (*.f64 x (/.f64 (*.f64 y y) (+.f64 y x))) #s(literal 3 binary64))) (+.f64 (pow.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (+.f64 y x)) #s(literal 2 binary64)) (+.f64 (pow.f64 (*.f64 x (/.f64 (*.f64 y y) (+.f64 y x))) #s(literal 2 binary64)) (*.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (+.f64 y x)) (*.f64 x (/.f64 (*.f64 y y) (+.f64 y x)))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 x #s(literal 6 binary64)) (fma.f64 (*.f64 (*.f64 y x) x) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (*.f64 y x) #s(literal 3 binary64)) (fma.f64 (*.f64 (*.f64 y x) x) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))) #s(literal 3 binary64))) (+.f64 (pow.f64 (/.f64 (pow.f64 x #s(literal 6 binary64)) (fma.f64 (*.f64 (*.f64 y x) x) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))) #s(literal 2 binary64)) (+.f64 (pow.f64 (/.f64 (pow.f64 (*.f64 y x) #s(literal 3 binary64)) (fma.f64 (*.f64 (*.f64 y x) x) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))) #s(literal 2 binary64)) (*.f64 (/.f64 (pow.f64 x #s(literal 6 binary64)) (fma.f64 (*.f64 (*.f64 y x) x) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))) (/.f64 (pow.f64 (*.f64 y x) #s(literal 3 binary64)) (fma.f64 (*.f64 (*.f64 y x) x) (-.f64 y x) (pow.f64 x #s(literal 4 binary64))))))))
(/.f64 (/.f64 (pow.f64 (*.f64 (+.f64 y x) x) #s(literal 2 binary64)) x) (+.f64 y x))
(/.f64 (/.f64 (pow.f64 (*.f64 (+.f64 y x) x) #s(literal 2 binary64)) x) (-.f64 x y))
(/.f64 (-.f64 (*.f64 (pow.f64 x #s(literal 4 binary64)) (*.f64 (+.f64 y x) x)) (*.f64 (*.f64 (+.f64 y x) x) (pow.f64 (*.f64 y x) #s(literal 2 binary64)))) (pow.f64 (*.f64 (+.f64 y x) x) #s(literal 2 binary64)))
(/.f64 (-.f64 (*.f64 (pow.f64 x #s(literal 6 binary64)) (fma.f64 (*.f64 (*.f64 y x) x) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))) (*.f64 (fma.f64 (*.f64 (*.f64 y x) x) (-.f64 y x) (pow.f64 x #s(literal 4 binary64))) (pow.f64 (*.f64 y x) #s(literal 3 binary64)))) (pow.f64 (fma.f64 (*.f64 (*.f64 y x) x) (-.f64 y x) (pow.f64 x #s(literal 4 binary64))) #s(literal 2 binary64)))
(/.f64 (-.f64 (pow.f64 x #s(literal 12 binary64)) (pow.f64 (*.f64 y x) #s(literal 6 binary64))) (*.f64 (pow.f64 (fma.f64 (*.f64 (*.f64 y x) x) (-.f64 y x) (pow.f64 x #s(literal 4 binary64))) #s(literal 2 binary64)) (*.f64 (+.f64 y x) x)))
(/.f64 (-.f64 (pow.f64 x #s(literal 12 binary64)) (pow.f64 (*.f64 y x) #s(literal 6 binary64))) (*.f64 (fma.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 (*.f64 y (+.f64 y x)) #s(literal 2 binary64)) (pow.f64 x #s(literal 8 binary64))) (*.f64 (+.f64 y x) x)))
(/.f64 (pow.f64 (*.f64 (+.f64 y x) x) #s(literal 4 binary64)) (pow.f64 (*.f64 (+.f64 y x) x) #s(literal 3 binary64)))
(/.f64 (-.f64 (pow.f64 x #s(literal 18 binary64)) (pow.f64 (*.f64 y x) #s(literal 9 binary64))) (*.f64 (+.f64 (fma.f64 (pow.f64 x #s(literal 9 binary64)) (pow.f64 y #s(literal 3 binary64)) (pow.f64 (*.f64 y x) #s(literal 6 binary64))) (pow.f64 x #s(literal 12 binary64))) (fma.f64 (*.f64 (*.f64 y x) x) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))))
(/.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (*.f64 y x) #s(literal 3 binary64))) (+.f64 (pow.f64 (*.f64 y x) #s(literal 2 binary64)) (-.f64 (pow.f64 x #s(literal 4 binary64)) (*.f64 (pow.f64 x #s(literal 3 binary64)) y))))
(/.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (*.f64 y x) #s(literal 3 binary64))) (fma.f64 (*.f64 (*.f64 y x) x) (-.f64 y x) (pow.f64 x #s(literal 4 binary64))))
(/.f64 (pow.f64 (*.f64 (+.f64 y x) x) #s(literal 2 binary64)) (*.f64 (+.f64 y x) x))
(neg.f64 (*.f64 (+.f64 y x) x))
(fma.f64 (exp.f64 (log.f64 y)) x (*.f64 x x))
(fma.f64 (pow.f64 y #s(literal 1 binary64)) x (*.f64 x x))
(fma.f64 (/.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (fma.f64 (*.f64 (*.f64 y x) x) (-.f64 y x) (pow.f64 x #s(literal 4 binary64))) #s(literal 2 binary64))) (fma.f64 (*.f64 (*.f64 y x) x) (-.f64 y x) (pow.f64 x #s(literal 4 binary64))) (/.f64 (pow.f64 (*.f64 y x) #s(literal 3 binary64)) (fma.f64 (*.f64 (*.f64 y x) x) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))))
(fma.f64 (/.f64 (pow.f64 x #s(literal 6 binary64)) (fma.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (*.f64 y (+.f64 y x)) #s(literal 3 binary64)) (pow.f64 x #s(literal 12 binary64)))) (fma.f64 (*.f64 (*.f64 (*.f64 y x) x) (-.f64 y x)) (fma.f64 (*.f64 (*.f64 y x) x) (-.f64 y x) (pow.f64 x #s(literal 4 binary64))) (pow.f64 x #s(literal 8 binary64))) (/.f64 (pow.f64 (*.f64 y x) #s(literal 3 binary64)) (fma.f64 (*.f64 (*.f64 y x) x) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))))
(fma.f64 (/.f64 (pow.f64 x #s(literal 4 binary64)) (-.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (*.f64 y x) #s(literal 3 binary64)))) (fma.f64 (*.f64 (*.f64 y x) x) (-.f64 y x) (pow.f64 x #s(literal 4 binary64))) (*.f64 x (/.f64 (*.f64 y y) (+.f64 y x))))
(fma.f64 (/.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 (*.f64 (+.f64 y x) x) #s(literal 2 binary64))) (*.f64 (+.f64 y x) x) (*.f64 x (/.f64 (*.f64 y y) (+.f64 y x))))
(fma.f64 (neg.f64 y) x (*.f64 x x))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (*.f64 (*.f64 y x) x) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))) (/.f64 (pow.f64 (*.f64 y x) #s(literal 3 binary64)) (fma.f64 (*.f64 (*.f64 y x) x) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) (/.f64 x (*.f64 (+.f64 y x) x)) (*.f64 x (/.f64 (*.f64 y y) (+.f64 y x))))
(fma.f64 #s(literal 1 binary64) (/.f64 (pow.f64 x #s(literal 3 binary64)) (+.f64 y x)) (*.f64 x (/.f64 (*.f64 y y) (+.f64 y x))))
(fma.f64 (pow.f64 x #s(literal 4 binary64)) (/.f64 (*.f64 x x) (fma.f64 (*.f64 (*.f64 y x) x) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))) (/.f64 (pow.f64 (*.f64 y x) #s(literal 3 binary64)) (fma.f64 (*.f64 (*.f64 y x) x) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))))
(fma.f64 y x (*.f64 x x))
(fma.f64 (*.f64 x x) (/.f64 (pow.f64 x #s(literal 4 binary64)) (fma.f64 (*.f64 (*.f64 y x) x) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))) (/.f64 (pow.f64 (*.f64 y x) #s(literal 3 binary64)) (fma.f64 (*.f64 (*.f64 y x) x) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))))
(fma.f64 (*.f64 x x) (/.f64 (*.f64 x x) (*.f64 (+.f64 y x) x)) (*.f64 x (/.f64 (*.f64 y y) (+.f64 y x))))
(fma.f64 (*.f64 x x) (/.f64 x (+.f64 y x)) (*.f64 x (/.f64 (*.f64 y y) (+.f64 y x))))
(fma.f64 x (exp.f64 (log.f64 y)) (*.f64 x x))
(fma.f64 x (pow.f64 y #s(literal 1 binary64)) (*.f64 x x))
(fma.f64 x (/.f64 (pow.f64 x #s(literal 3 binary64)) (*.f64 (+.f64 y x) x)) (*.f64 x (/.f64 (*.f64 y y) (+.f64 y x))))
(fma.f64 x (/.f64 (*.f64 x x) (+.f64 y x)) (*.f64 x (/.f64 (*.f64 y y) (+.f64 y x))))
(fma.f64 x (neg.f64 y) (*.f64 x x))
(fma.f64 x y (*.f64 x x))
(fma.f64 x x (*.f64 (neg.f64 (neg.f64 y)) x))
(fma.f64 x x (*.f64 y x))
(-.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (+.f64 y x)) (*.f64 x (/.f64 (*.f64 y y) (+.f64 y x))))
(-.f64 (/.f64 (pow.f64 x #s(literal 6 binary64)) (fma.f64 (*.f64 (*.f64 y x) x) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))) (/.f64 (pow.f64 (*.f64 y x) #s(literal 3 binary64)) (fma.f64 (*.f64 (*.f64 y x) x) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))))
(-.f64 (*.f64 y x) (*.f64 x x))
(-.f64 (*.f64 x x) (*.f64 (neg.f64 (neg.f64 y)) x))
(-.f64 (*.f64 x x) (*.f64 y x))
(+.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (+.f64 y x)) (*.f64 x (/.f64 (*.f64 y y) (+.f64 y x))))
(+.f64 (/.f64 (pow.f64 x #s(literal 6 binary64)) (fma.f64 (*.f64 (*.f64 y x) x) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))) (/.f64 (pow.f64 (*.f64 y x) #s(literal 3 binary64)) (fma.f64 (*.f64 (*.f64 y x) x) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))))
(+.f64 (*.f64 y x) (*.f64 x x))
(+.f64 (*.f64 x x) (*.f64 (neg.f64 (neg.f64 y)) x))
(+.f64 (*.f64 x x) (*.f64 y x))
#s(literal 0 binary64)
(*.f64 x x)
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 x))
(pow.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 1/2 binary64))
(pow.f64 (*.f64 x x) #s(literal 1 binary64))
(pow.f64 x #s(literal 2 binary64))
(/.f64 (pow.f64 x #s(literal 3 binary64)) x)
(neg.f64 (*.f64 x x))
(sqrt.f64 (pow.f64 x #s(literal 4 binary64)))
(fabs.f64 (*.f64 x x))
(exp.f64 (-.f64 (*.f64 (*.f64 (log.f64 x) #s(literal 2 binary64)) #s(literal 3/2 binary64)) (log.f64 x)))
(exp.f64 (-.f64 (*.f64 (log.f64 x) #s(literal 3 binary64)) (log.f64 x)))
(exp.f64 (/.f64 (*.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal 2 binary64)))
(exp.f64 (*.f64 (*.f64 (log.f64 x) #s(literal 2 binary64)) #s(literal 1 binary64)))
(exp.f64 (*.f64 (log.f64 x) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (*.f64 (log.f64 x) #s(literal 2 binary64))) (sinh.f64 (*.f64 (log.f64 x) #s(literal 2 binary64))))
(*.f64 (exp.f64 (log.f64 y)) x)
(*.f64 (pow.f64 y #s(literal 1 binary64)) x)
(*.f64 (neg.f64 y) x)
(*.f64 y x)
(*.f64 x (exp.f64 (log.f64 y)))
(*.f64 x (pow.f64 y #s(literal 1 binary64)))
(*.f64 x (neg.f64 y))
(*.f64 x y)
(pow.f64 (*.f64 y x) #s(literal 1 binary64))
(neg.f64 (*.f64 y x))
(exp.f64 (*.f64 (log.f64 (*.f64 y x)) #s(literal 1 binary64)))
(exp.f64 (log.f64 (*.f64 y x)))
(+.f64 (cosh.f64 (log.f64 (*.f64 y x))) (sinh.f64 (log.f64 (*.f64 y x))))

eval13.0ms (0.3%)

Memory
-1.0MiB live, 45.2MiB allocated
Compiler

Compiled 2 073 to 383 computations (81.5% saved)

prune7.0ms (0.2%)

Memory
-36.9MiB live, 15.4MiB allocated
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New1034107
Fresh000
Picked101
Done000
Total1044108
Accuracy
100.0%
Counts
108 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(*.f64 #s(literal 2 binary64) (*.f64 (-.f64 x y) x))
▶57.6%
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 x x) #s(literal 2 binary64)))
▶56.7%
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 #s(literal -2 binary64) (*.f64 y x)))
▶9.9%
#s(literal 0 binary64)
Compiler

Compiled 38 to 31 computations (18.4% saved)

simplify191.0ms (4.3%)

Memory
27.1MiB live, 160.2MiB allocated
Algorithm
1×egg-herbie
Localize:

Found 9 expressions of interest:

NewMetricScoreProgram
cost-diff0
(-.f64 x y)
cost-diff0
(*.f64 (-.f64 x y) x)
cost-diff0
(*.f64 #s(literal 2 binary64) (*.f64 (-.f64 x y) x))
cost-diff0
(*.f64 x x)
cost-diff0
(*.f64 (*.f64 x x) #s(literal 2 binary64))
cost-diff0
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 x x) #s(literal 2 binary64)))
cost-diff0
(*.f64 y x)
cost-diff0
(*.f64 #s(literal -2 binary64) (*.f64 y x))
cost-diff0
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 #s(literal -2 binary64) (*.f64 y x)))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01870
02566
14666
211566
331266
476866
5152866
6296466
7462066
8561566
9603366
10608666
11612166
12613866
13613866
14641066
15668066
16688066
0688066
Stop Event
1×iter limit
1×saturated
1×iter limit
Calls
Call 1
Inputs
#s(literal 0 binary64)
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 #s(literal -2 binary64) (*.f64 y x)))
(*.f64 #s(literal -2 binary64) (*.f64 y x))
#s(literal -2 binary64)
(*.f64 y x)
y
x
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 x x) #s(literal 2 binary64)))
(*.f64 (*.f64 x x) #s(literal 2 binary64))
(*.f64 x x)
x
#s(literal 2 binary64)
(*.f64 #s(literal 2 binary64) (*.f64 (-.f64 x y) x))
#s(literal 2 binary64)
(*.f64 (-.f64 x y) x)
(-.f64 x y)
x
y
Outputs
#s(literal 0 binary64)
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 #s(literal -2 binary64) (*.f64 y x)))
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 #s(literal -2 binary64) y) x))
(*.f64 #s(literal -2 binary64) (*.f64 y x))
(*.f64 (*.f64 #s(literal -2 binary64) y) x)
#s(literal -2 binary64)
(*.f64 y x)
y
x
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 x x) #s(literal 2 binary64)))
(*.f64 (*.f64 x x) #s(literal 2 binary64))
(*.f64 x x)
x
#s(literal 2 binary64)
(*.f64 #s(literal 2 binary64) (*.f64 (-.f64 x y) x))
(*.f64 (*.f64 (-.f64 y x) #s(literal -2 binary64)) x)
#s(literal 2 binary64)
(*.f64 (-.f64 x y) x)
(-.f64 x y)
x
y

localize84.0ms (1.9%)

Memory
16.4MiB live, 114.2MiB allocated
Localize:

Found 9 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(-.f64 x y)
accuracy0.0
(*.f64 (-.f64 x y) x)
accuracy0.00390625
(*.f64 #s(literal 2 binary64) (*.f64 (-.f64 x y) x))
accuracy0.0
(*.f64 x x)
accuracy0.00390625
(*.f64 (*.f64 x x) #s(literal 2 binary64))
accuracy27.10465652779158
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 x x) #s(literal 2 binary64)))
accuracy0.0
(*.f64 y x)
accuracy0.0078125
(*.f64 #s(literal -2 binary64) (*.f64 y x))
accuracy27.729238531742034
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 #s(literal -2 binary64) (*.f64 y x)))
Samples
75.0ms256×0valid
Compiler

Compiled 60 to 17 computations (71.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 24.0ms
ival-mult: 12.0ms (50.5% of total)
ival-sub: 11.0ms (46.3% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series143.0ms (3.2%)

Memory
-11.8MiB live, 33.9MiB allocated
Counts
9 → 23
Calls
Call 1
Inputs
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 #s(literal -2 binary64) (*.f64 y x)))
(*.f64 #s(literal -2 binary64) (*.f64 y x))
(*.f64 y x)
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 x x) #s(literal 2 binary64)))
(*.f64 (*.f64 x x) #s(literal 2 binary64))
(*.f64 x x)
(*.f64 #s(literal 2 binary64) (*.f64 (-.f64 x y) x))
(*.f64 (-.f64 x y) x)
(-.f64 x y)
Outputs
(* -2 (* x y))
(* x (+ (* -2 y) (* 2 x)))
(* x y)
(* 2 (pow x 2))
(pow x 2)
(* -1 (* x y))
(* x (+ x (* -1 y)))
(* -1 y)
(- x y)
(* (pow x 2) (+ 2 (* -2 (/ y x))))
(* (pow x 2) (+ 1 (* -1 (/ y x))))
x
(* x (+ 1 (* -1 (/ y x))))
(* -1 (* x (- (/ y x) 1)))
(+ (* -2 (* x y)) (* 2 (pow x 2)))
(+ (* -1 (* x y)) (pow x 2))
(+ x (* -1 y))
(* y (+ (* -2 x) (* 2 (/ (pow x 2) y))))
(* y (+ (* -1 x) (/ (pow x 2) y)))
(* y (- (/ x y) 1))
(* -1 (* y (+ (* -2 (/ (pow x 2) y)) (* 2 x))))
(* -1 (* y (+ x (* -1 (/ (pow x 2) y)))))
(* -1 (* y (+ 1 (* -1 (/ x y)))))
Calls

6 calls:

TimeVariablePointExpression
2.0ms
y
@0
((* 2 (- (* x x) (* x y))) (* -2 (* y x)) (* y x) (* 2 (- (* x x) (* x y))) (* (* x x) 2) (* x x) (* 2 (* (- x y) x)) (* (- x y) x) (- x y))
2.0ms
x
@inf
((* 2 (- (* x x) (* x y))) (* -2 (* y x)) (* y x) (* 2 (- (* x x) (* x y))) (* (* x x) 2) (* x x) (* 2 (* (- x y) x)) (* (- x y) x) (- x y))
2.0ms
x
@-inf
((* 2 (- (* x x) (* x y))) (* -2 (* y x)) (* y x) (* 2 (- (* x x) (* x y))) (* (* x x) 2) (* x x) (* 2 (* (- x y) x)) (* (- x y) x) (- x y))
1.0ms
x
@0
((* 2 (- (* x x) (* x y))) (* -2 (* y x)) (* y x) (* 2 (- (* x x) (* x y))) (* (* x x) 2) (* x x) (* 2 (* (- x y) x)) (* (- x y) x) (- x y))
1.0ms
y
@-inf
((* 2 (- (* x x) (* x y))) (* -2 (* y x)) (* y x) (* 2 (- (* x x) (* x y))) (* (* x x) 2) (* x x) (* 2 (* (- x y) x)) (* (- x y) x) (- x y))

simplify368.0ms (8.2%)

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

Useful iterations: 1 (0.0ms)

IterNodesCost
055122
1200101
2614101
32008101
44965101
57148101
08042101
Stop Event
1×iter limit
1×node limit
Counts
23 → 22
Calls
Call 1
Inputs
(* -2 (* x y))
(* x (+ (* -2 y) (* 2 x)))
(* x y)
(* 2 (pow x 2))
(pow x 2)
(* -1 (* x y))
(* x (+ x (* -1 y)))
(* -1 y)
(- x y)
(* (pow x 2) (+ 2 (* -2 (/ y x))))
(* (pow x 2) (+ 1 (* -1 (/ y x))))
x
(* x (+ 1 (* -1 (/ y x))))
(* -1 (* x (- (/ y x) 1)))
(+ (* -2 (* x y)) (* 2 (pow x 2)))
(+ (* -1 (* x y)) (pow x 2))
(+ x (* -1 y))
(* y (+ (* -2 x) (* 2 (/ (pow x 2) y))))
(* y (+ (* -1 x) (/ (pow x 2) y)))
(* y (- (/ x y) 1))
(* -1 (* y (+ (* -2 (/ (pow x 2) y)) (* 2 x))))
(* -1 (* y (+ x (* -1 (/ (pow x 2) y)))))
(* -1 (* y (+ 1 (* -1 (/ x y)))))
Outputs
(* -2 (* x y))
(*.f64 #s(literal -2 binary64) (*.f64 y x))
(* x (+ (* -2 y) (* 2 x)))
(*.f64 (*.f64 (-.f64 x y) x) #s(literal 2 binary64))
(* x y)
(*.f64 y x)
(* 2 (pow x 2))
(*.f64 (*.f64 x x) #s(literal 2 binary64))
(pow x 2)
(*.f64 x x)
(* -1 (* x y))
(*.f64 (neg.f64 x) y)
(* x (+ x (* -1 y)))
(*.f64 (-.f64 x y) x)
(* -1 y)
(neg.f64 y)
(- x y)
(-.f64 x y)
(* (pow x 2) (+ 2 (* -2 (/ y x))))
(*.f64 (*.f64 (-.f64 x y) x) #s(literal 2 binary64))
(* (pow x 2) (+ 1 (* -1 (/ y x))))
(*.f64 (-.f64 x y) x)
x
(* x (+ 1 (* -1 (/ y x))))
(-.f64 x y)
(* -1 (* x (- (/ y x) 1)))
(-.f64 x y)
(+ (* -2 (* x y)) (* 2 (pow x 2)))
(*.f64 (*.f64 (-.f64 x y) x) #s(literal 2 binary64))
(+ (* -1 (* x y)) (pow x 2))
(*.f64 (-.f64 x y) x)
(+ x (* -1 y))
(-.f64 x y)
(* y (+ (* -2 x) (* 2 (/ (pow x 2) y))))
(*.f64 (*.f64 (-.f64 x y) x) #s(literal 2 binary64))
(* y (+ (* -1 x) (/ (pow x 2) y)))
(*.f64 (-.f64 x y) x)
(* y (- (/ x y) 1))
(-.f64 x y)
(* -1 (* y (+ (* -2 (/ (pow x 2) y)) (* 2 x))))
(*.f64 (*.f64 (-.f64 x y) x) #s(literal 2 binary64))
(* -1 (* y (+ x (* -1 (/ (pow x 2) y)))))
(*.f64 (-.f64 x y) x)
(* -1 (* y (+ 1 (* -1 (/ x y)))))
(-.f64 x y)

rewrite193.0ms (4.3%)

Memory
48.9MiB live, 237.8MiB allocated
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01761
02457
17057
245039
3640139
0825439
Stop Event
1×iter limit
1×node limit
1×iter limit
Counts
9 → 213
Calls
Call 1
Inputs
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 #s(literal -2 binary64) (*.f64 y x)))
(*.f64 #s(literal -2 binary64) (*.f64 y x))
(*.f64 y x)
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 x x) #s(literal 2 binary64)))
(*.f64 (*.f64 x x) #s(literal 2 binary64))
(*.f64 x x)
(*.f64 #s(literal 2 binary64) (*.f64 (-.f64 x y) x))
(*.f64 (-.f64 x y) x)
(-.f64 x y)
Outputs
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 #s(literal -2 binary64) (*.f64 y x)))
(*.f64 (*.f64 #s(literal -2 binary64) x) y)
(*.f64 (*.f64 #s(literal -2 binary64) y) x)
(*.f64 #s(literal -2 binary64) (*.f64 y x))
(*.f64 (*.f64 y x) #s(literal -2 binary64))
(*.f64 y (*.f64 #s(literal -2 binary64) x))
(*.f64 x (*.f64 #s(literal -2 binary64) y))
(*.f64 y x)
(*.f64 x y)
(neg.f64 (*.f64 (neg.f64 x) y))
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 x x) #s(literal 2 binary64)))
(*.f64 (*.f64 (neg.f64 x) #s(literal 2 binary64)) (neg.f64 x))
(*.f64 (*.f64 x #s(literal 2 binary64)) x)
(*.f64 (neg.f64 x) (*.f64 (neg.f64 x) #s(literal 2 binary64)))
(*.f64 (*.f64 x x) #s(literal 2 binary64))
(*.f64 x (*.f64 x #s(literal 2 binary64)))
(*.f64 #s(literal 2 binary64) (*.f64 x x))
(/.f64 (-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 x #s(literal 4 binary64))) (-.f64 (*.f64 x x) (*.f64 x x)))
(/.f64 (+.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 x #s(literal 6 binary64))) (+.f64 (pow.f64 x #s(literal 4 binary64)) (-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 x #s(literal 4 binary64)))))
(neg.f64 (fma.f64 (neg.f64 x) x (*.f64 (neg.f64 x) x)))
(neg.f64 (*.f64 (*.f64 (neg.f64 x) #s(literal 2 binary64)) x))
(neg.f64 (*.f64 #s(literal 2 binary64) (*.f64 (neg.f64 x) x)))
(neg.f64 (*.f64 x (*.f64 (neg.f64 x) #s(literal 2 binary64))))
(neg.f64 (*.f64 (*.f64 (neg.f64 x) x) #s(literal 2 binary64)))
(fma.f64 (exp.f64 (log.f64 x)) (exp.f64 (log.f64 x)) (*.f64 x x))
(fma.f64 (neg.f64 x) (neg.f64 x) (*.f64 x x))
(fma.f64 x x (*.f64 x x))
(-.f64 (*.f64 x x) (*.f64 (neg.f64 x) x))
(+.f64 (*.f64 x x) (*.f64 x x))
(*.f64 (exp.f64 (log.f64 x)) (exp.f64 (log.f64 x)))
(*.f64 (neg.f64 x) (neg.f64 x))
(*.f64 x x)
(pow.f64 (exp.f64 (log.f64 x)) #s(literal 2 binary64))
(pow.f64 (*.f64 (neg.f64 x) x) #s(literal 1 binary64))
(pow.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 1/2 binary64))
(pow.f64 (neg.f64 x) #s(literal 2 binary64))
(pow.f64 (*.f64 x x) #s(literal 1 binary64))
(pow.f64 x #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 x) x))
(sqrt.f64 (pow.f64 x #s(literal 4 binary64)))
(fabs.f64 (*.f64 (neg.f64 x) x))
(fabs.f64 (*.f64 x x))
(exp.f64 (*.f64 (*.f64 (log.f64 (neg.f64 x)) #s(literal 2 binary64)) #s(literal 1 binary64)))
(exp.f64 (*.f64 (/.f64 (*.f64 (log.f64 x) #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64)))
(exp.f64 (*.f64 (*.f64 (log.f64 x) #s(literal 1 binary64)) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 (exp.f64 (log.f64 x))) #s(literal 2 binary64)))
(exp.f64 (*.f64 (*.f64 (log.f64 x) #s(literal 2 binary64)) #s(literal 1 binary64)))
(exp.f64 (*.f64 (log.f64 (neg.f64 x)) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 x) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (*.f64 (log.f64 (neg.f64 x)) #s(literal 2 binary64))) (sinh.f64 (*.f64 (log.f64 (neg.f64 x)) #s(literal 2 binary64))))
(+.f64 (cosh.f64 (*.f64 (log.f64 x) #s(literal 2 binary64))) (sinh.f64 (*.f64 (log.f64 x) #s(literal 2 binary64))))
#s(literal 0 binary64)
(*.f64 (/.f64 (pow.f64 (*.f64 (-.f64 x y) x) #s(literal 2 binary64)) (*.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64))) x)) (fma.f64 (-.f64 x y) x (*.f64 y y)))
(*.f64 (/.f64 (pow.f64 (*.f64 (-.f64 x y) x) #s(literal 2 binary64)) (*.f64 (+.f64 y x) (*.f64 (-.f64 x y) x))) (+.f64 y x))
(*.f64 (/.f64 (*.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64))) x) (-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 (*.f64 (+.f64 y x) y) #s(literal 2 binary64)))) (-.f64 (*.f64 (-.f64 x y) x) (*.f64 y y)))
(*.f64 (/.f64 (*.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64))) x) (+.f64 (pow.f64 (*.f64 (+.f64 y x) y) #s(literal 3 binary64)) (pow.f64 x #s(literal 6 binary64)))) (fma.f64 (*.f64 (+.f64 y x) y) (-.f64 (*.f64 (+.f64 y x) y) (*.f64 x x)) (pow.f64 x #s(literal 4 binary64))))
(*.f64 (/.f64 (*.f64 (+.f64 y x) (*.f64 (-.f64 x y) x)) (+.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (fma.f64 y (-.f64 y x) (*.f64 x x)))
(*.f64 (/.f64 (*.f64 (+.f64 y x) (*.f64 (-.f64 x y) x)) (*.f64 (+.f64 y x) (-.f64 x y))) (-.f64 x y))
(*.f64 (/.f64 (pow.f64 (*.f64 (-.f64 x y) x) #s(literal 2 binary64)) (-.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (*.f64 y x) #s(literal 3 binary64)))) (fma.f64 (*.f64 (*.f64 x x) y) (-.f64 y x) (pow.f64 x #s(literal 4 binary64))))
(*.f64 (/.f64 (pow.f64 (*.f64 (-.f64 x y) x) #s(literal 2 binary64)) (pow.f64 (*.f64 (-.f64 x y) x) #s(literal 2 binary64))) (*.f64 (-.f64 x y) x))
(*.f64 (/.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (*.f64 y x) #s(literal 3 binary64))) (pow.f64 (fma.f64 (*.f64 (*.f64 x x) y) (-.f64 y x) (pow.f64 x #s(literal 4 binary64))) #s(literal 2 binary64))) (fma.f64 (*.f64 (*.f64 x x) y) (-.f64 y x) (pow.f64 x #s(literal 4 binary64))))
(*.f64 (/.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (*.f64 y x) #s(literal 3 binary64))) (fma.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (*.f64 (+.f64 y x) y) #s(literal 3 binary64)) (pow.f64 x #s(literal 12 binary64)))) (fma.f64 (*.f64 (*.f64 (*.f64 x x) y) (-.f64 y x)) (fma.f64 (*.f64 (*.f64 x x) y) (-.f64 y x) (pow.f64 x #s(literal 4 binary64))) (pow.f64 x #s(literal 8 binary64))))
(*.f64 (/.f64 (*.f64 (-.f64 x y) x) (neg.f64 x)) (/.f64 (*.f64 (-.f64 x y) x) (+.f64 y x)))
(*.f64 (/.f64 (*.f64 (-.f64 x y) x) (-.f64 x y)) (/.f64 (*.f64 (-.f64 x y) x) x))
(*.f64 (/.f64 (*.f64 (-.f64 x y) x) x) (/.f64 (*.f64 (-.f64 x y) x) (-.f64 x y)))
(*.f64 (/.f64 (*.f64 (-.f64 x y) x) x) (/.f64 (*.f64 (-.f64 x y) x) (+.f64 y x)))
(*.f64 (neg.f64 (-.f64 x y)) x)
(*.f64 (+.f64 y x) (neg.f64 x))
(*.f64 (+.f64 y x) x)
(*.f64 (*.f64 (+.f64 y x) (-.f64 x y)) (/.f64 x (+.f64 y x)))
(*.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64))) (/.f64 x (fma.f64 (-.f64 x y) x (*.f64 y y))))
(*.f64 (fma.f64 (*.f64 (*.f64 x x) y) (-.f64 y x) (pow.f64 x #s(literal 4 binary64))) (/.f64 (*.f64 (-.f64 x y) x) (fma.f64 (*.f64 (*.f64 x x) y) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))))
(*.f64 (neg.f64 x) (+.f64 y x))
(*.f64 (neg.f64 x) (-.f64 x y))
(*.f64 (*.f64 (-.f64 x y) x) (/.f64 (*.f64 (-.f64 x y) x) (*.f64 (-.f64 x y) x)))
(*.f64 (-.f64 x y) (neg.f64 x))
(*.f64 (-.f64 x y) x)
(*.f64 x (-.f64 x (neg.f64 y)))
(*.f64 x (+.f64 x (neg.f64 y)))
(*.f64 x (neg.f64 (-.f64 x y)))
(*.f64 x (neg.f64 (+.f64 y x)))
(*.f64 x (+.f64 y x))
(*.f64 x (-.f64 x y))
(/.f64 (/.f64 (pow.f64 (*.f64 (-.f64 x y) x) #s(literal 2 binary64)) (neg.f64 x)) (+.f64 y x))
(/.f64 (/.f64 (pow.f64 (*.f64 (-.f64 x y) x) #s(literal 2 binary64)) (-.f64 x y)) x)
(/.f64 (*.f64 (fma.f64 (neg.f64 x) x (*.f64 y y)) x) (neg.f64 (+.f64 y x)))
(/.f64 (*.f64 (neg.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64)))) x) (neg.f64 (fma.f64 (-.f64 x y) x (*.f64 y y))))
(/.f64 (*.f64 x (+.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (fma.f64 y (-.f64 y x) (*.f64 x x)))
(/.f64 (*.f64 x (fma.f64 (neg.f64 x) x (*.f64 y y))) (neg.f64 (+.f64 y x)))
(/.f64 (*.f64 x (neg.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64))))) (neg.f64 (fma.f64 (-.f64 x y) x (*.f64 y y))))
(/.f64 (*.f64 (neg.f64 x) (fma.f64 (neg.f64 x) x (*.f64 y y))) (neg.f64 (+.f64 y x)))
(/.f64 (*.f64 (neg.f64 x) (neg.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64))))) (neg.f64 (fma.f64 (-.f64 x y) x (*.f64 y y))))
(/.f64 (*.f64 (neg.f64 x) (*.f64 (+.f64 y x) (-.f64 x y))) (+.f64 y x))
(/.f64 (*.f64 (neg.f64 x) (-.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64)))) (fma.f64 (-.f64 x y) x (*.f64 y y)))
(/.f64 (-.f64 (pow.f64 (/.f64 (/.f64 (pow.f64 x #s(literal 4 binary64)) x) (+.f64 y x)) #s(literal 2 binary64)) (pow.f64 (/.f64 (/.f64 (pow.f64 (*.f64 y x) #s(literal 2 binary64)) x) (+.f64 y x)) #s(literal 2 binary64))) (*.f64 (-.f64 x y) x))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 x #s(literal 6 binary64)) (fma.f64 (*.f64 (*.f64 x x) y) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))) #s(literal 2 binary64)) (pow.f64 (/.f64 (pow.f64 (*.f64 y x) #s(literal 3 binary64)) (fma.f64 (*.f64 (*.f64 x x) y) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))) #s(literal 2 binary64))) (*.f64 (-.f64 x y) x))
(/.f64 (-.f64 (pow.f64 (*.f64 y x) #s(literal 2 binary64)) (pow.f64 x #s(literal 4 binary64))) (-.f64 (*.f64 (neg.f64 x) y) (*.f64 x x)))
(/.f64 (-.f64 (pow.f64 (*.f64 y x) #s(literal 2 binary64)) (pow.f64 x #s(literal 4 binary64))) (-.f64 (*.f64 y x) (*.f64 x x)))
(/.f64 (-.f64 (pow.f64 (/.f64 (/.f64 (pow.f64 x #s(literal 4 binary64)) x) (+.f64 y x)) #s(literal 3 binary64)) (pow.f64 (/.f64 (/.f64 (pow.f64 (*.f64 y x) #s(literal 2 binary64)) x) (+.f64 y x)) #s(literal 3 binary64))) (+.f64 (pow.f64 (/.f64 (/.f64 (pow.f64 x #s(literal 4 binary64)) x) (+.f64 y x)) #s(literal 2 binary64)) (+.f64 (pow.f64 (/.f64 (/.f64 (pow.f64 (*.f64 y x) #s(literal 2 binary64)) x) (+.f64 y x)) #s(literal 2 binary64)) (*.f64 (/.f64 (/.f64 (pow.f64 x #s(literal 4 binary64)) x) (+.f64 y x)) (/.f64 (/.f64 (pow.f64 (*.f64 y x) #s(literal 2 binary64)) x) (+.f64 y x))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 x #s(literal 6 binary64)) (fma.f64 (*.f64 (*.f64 x x) y) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (*.f64 y x) #s(literal 3 binary64)) (fma.f64 (*.f64 (*.f64 x x) y) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))) #s(literal 3 binary64))) (+.f64 (pow.f64 (/.f64 (pow.f64 x #s(literal 6 binary64)) (fma.f64 (*.f64 (*.f64 x x) y) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))) #s(literal 2 binary64)) (+.f64 (pow.f64 (/.f64 (pow.f64 (*.f64 y x) #s(literal 3 binary64)) (fma.f64 (*.f64 (*.f64 x x) y) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))) #s(literal 2 binary64)) (*.f64 (/.f64 (pow.f64 x #s(literal 6 binary64)) (fma.f64 (*.f64 (*.f64 x x) y) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))) (/.f64 (pow.f64 (*.f64 y x) #s(literal 3 binary64)) (fma.f64 (*.f64 (*.f64 x x) y) (-.f64 y x) (pow.f64 x #s(literal 4 binary64))))))))
(/.f64 (/.f64 (pow.f64 (*.f64 (-.f64 x y) x) #s(literal 2 binary64)) x) (+.f64 y x))
(/.f64 (/.f64 (pow.f64 (*.f64 (-.f64 x y) x) #s(literal 2 binary64)) x) (-.f64 x y))
(/.f64 (neg.f64 (*.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64))) x)) (neg.f64 (fma.f64 (-.f64 x y) x (*.f64 y y))))
(/.f64 (neg.f64 (*.f64 (+.f64 y x) (*.f64 (-.f64 x y) x))) (neg.f64 (+.f64 y x)))
(/.f64 (-.f64 (*.f64 (pow.f64 x #s(literal 4 binary64)) (*.f64 (-.f64 x y) x)) (*.f64 (*.f64 (-.f64 x y) x) (pow.f64 (*.f64 y x) #s(literal 2 binary64)))) (pow.f64 (*.f64 (-.f64 x y) x) #s(literal 2 binary64)))
(/.f64 (-.f64 (*.f64 (pow.f64 x #s(literal 6 binary64)) (fma.f64 (*.f64 (*.f64 x x) y) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))) (*.f64 (fma.f64 (*.f64 (*.f64 x x) y) (-.f64 y x) (pow.f64 x #s(literal 4 binary64))) (pow.f64 (*.f64 y x) #s(literal 3 binary64)))) (pow.f64 (fma.f64 (*.f64 (*.f64 x x) y) (-.f64 y x) (pow.f64 x #s(literal 4 binary64))) #s(literal 2 binary64)))
(/.f64 (*.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64))) x) (fma.f64 (-.f64 x y) x (*.f64 y y)))
(/.f64 (*.f64 (+.f64 y x) (*.f64 (-.f64 x y) x)) (+.f64 y x))
(/.f64 (*.f64 (+.f64 y x) (*.f64 (-.f64 x y) x)) (-.f64 x y))
(/.f64 (pow.f64 (pow.f64 (*.f64 (-.f64 x y) x) #s(literal 2 binary64)) #s(literal 2 binary64)) (pow.f64 (*.f64 (-.f64 x y) x) #s(literal 3 binary64)))
(/.f64 (-.f64 (pow.f64 x #s(literal 12 binary64)) (pow.f64 (*.f64 y x) #s(literal 6 binary64))) (*.f64 (fma.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 (*.f64 (+.f64 y x) y) #s(literal 2 binary64)) (pow.f64 x #s(literal 8 binary64))) (*.f64 (-.f64 x y) x)))
(/.f64 (-.f64 (pow.f64 x #s(literal 12 binary64)) (pow.f64 (*.f64 y x) #s(literal 6 binary64))) (*.f64 (pow.f64 (fma.f64 (*.f64 (*.f64 x x) y) (-.f64 y x) (pow.f64 x #s(literal 4 binary64))) #s(literal 2 binary64)) (*.f64 (-.f64 x y) x)))
(/.f64 (-.f64 (pow.f64 x #s(literal 18 binary64)) (pow.f64 (*.f64 y x) #s(literal 9 binary64))) (*.f64 (+.f64 (pow.f64 x #s(literal 12 binary64)) (fma.f64 (pow.f64 x #s(literal 9 binary64)) (pow.f64 y #s(literal 3 binary64)) (pow.f64 (*.f64 y x) #s(literal 6 binary64)))) (fma.f64 (*.f64 (*.f64 x x) y) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))))
(/.f64 (pow.f64 (*.f64 (-.f64 x y) x) #s(literal 2 binary64)) (*.f64 (-.f64 x y) x))
(/.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (*.f64 y x) #s(literal 3 binary64))) (+.f64 (pow.f64 (*.f64 y x) #s(literal 2 binary64)) (-.f64 (pow.f64 x #s(literal 4 binary64)) (*.f64 (pow.f64 x #s(literal 3 binary64)) y))))
(/.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (*.f64 y x) #s(literal 3 binary64))) (fma.f64 (*.f64 (*.f64 x x) y) (-.f64 y x) (pow.f64 x #s(literal 4 binary64))))
(neg.f64 (fma.f64 y x (*.f64 (neg.f64 x) x)))
(neg.f64 (fma.f64 (neg.f64 x) x (*.f64 y x)))
(neg.f64 (*.f64 (-.f64 x y) x))
(fma.f64 (/.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (fma.f64 (*.f64 (*.f64 x x) y) (-.f64 y x) (pow.f64 x #s(literal 4 binary64))) #s(literal 2 binary64))) (fma.f64 (*.f64 (*.f64 x x) y) (-.f64 y x) (pow.f64 x #s(literal 4 binary64))) (/.f64 (pow.f64 (*.f64 y x) #s(literal 3 binary64)) (fma.f64 (*.f64 (*.f64 x x) y) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))))
(fma.f64 (/.f64 (pow.f64 x #s(literal 6 binary64)) (fma.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (*.f64 (+.f64 y x) y) #s(literal 3 binary64)) (pow.f64 x #s(literal 12 binary64)))) (fma.f64 (*.f64 (*.f64 (*.f64 x x) y) (-.f64 y x)) (fma.f64 (*.f64 (*.f64 x x) y) (-.f64 y x) (pow.f64 x #s(literal 4 binary64))) (pow.f64 x #s(literal 8 binary64))) (/.f64 (pow.f64 (*.f64 y x) #s(literal 3 binary64)) (fma.f64 (*.f64 (*.f64 x x) y) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))))
(fma.f64 (/.f64 (pow.f64 x #s(literal 4 binary64)) (-.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (*.f64 y x) #s(literal 3 binary64)))) (fma.f64 (*.f64 (*.f64 x x) y) (-.f64 y x) (pow.f64 x #s(literal 4 binary64))) (/.f64 (/.f64 (pow.f64 (*.f64 y x) #s(literal 2 binary64)) x) (+.f64 y x)))
(fma.f64 (/.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 (*.f64 (-.f64 x y) x) #s(literal 2 binary64))) (*.f64 (-.f64 x y) x) (/.f64 (/.f64 (pow.f64 (*.f64 y x) #s(literal 2 binary64)) x) (+.f64 y x)))
(fma.f64 (/.f64 (*.f64 (neg.f64 x) x) x) (/.f64 (*.f64 (neg.f64 x) x) (+.f64 y x)) (/.f64 (/.f64 (pow.f64 (*.f64 y x) #s(literal 2 binary64)) x) (+.f64 y x)))
(fma.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) x) (/.f64 (neg.f64 x) (+.f64 y x)) (/.f64 (/.f64 (pow.f64 (*.f64 y x) #s(literal 2 binary64)) x) (+.f64 y x)))
(fma.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) x) (/.f64 x (+.f64 y x)) (/.f64 (/.f64 (pow.f64 (*.f64 y x) #s(literal 2 binary64)) x) (+.f64 y x)))
(fma.f64 (/.f64 (neg.f64 x) x) (/.f64 (pow.f64 x #s(literal 3 binary64)) (+.f64 y x)) (/.f64 (/.f64 (pow.f64 (*.f64 y x) #s(literal 2 binary64)) x) (+.f64 y x)))
(fma.f64 (/.f64 (*.f64 x x) x) (*.f64 x (/.f64 x (+.f64 y x))) (/.f64 (/.f64 (pow.f64 (*.f64 y x) #s(literal 2 binary64)) x) (+.f64 y x)))
(fma.f64 (/.f64 x x) (/.f64 (pow.f64 x #s(literal 3 binary64)) (+.f64 y x)) (/.f64 (/.f64 (pow.f64 (*.f64 y x) #s(literal 2 binary64)) x) (+.f64 y x)))
(fma.f64 (exp.f64 (log.f64 x)) (exp.f64 (log.f64 x)) (*.f64 (neg.f64 (neg.f64 y)) x))
(fma.f64 (exp.f64 (log.f64 x)) (exp.f64 (log.f64 x)) (*.f64 (neg.f64 y) (neg.f64 x)))
(fma.f64 (exp.f64 (log.f64 x)) (exp.f64 (log.f64 x)) (*.f64 (neg.f64 x) y))
(fma.f64 (exp.f64 (log.f64 x)) (exp.f64 (log.f64 x)) (*.f64 y x))
(fma.f64 (*.f64 (neg.f64 x) x) (/.f64 (*.f64 (neg.f64 x) x) (*.f64 (-.f64 x y) x)) (/.f64 (/.f64 (pow.f64 (*.f64 y x) #s(literal 2 binary64)) x) (+.f64 y x)))
(fma.f64 (neg.f64 y) x (*.f64 (neg.f64 x) x))
(fma.f64 (neg.f64 y) x (*.f64 x x))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) (/.f64 (neg.f64 x) (*.f64 (-.f64 x y) x)) (/.f64 (/.f64 (pow.f64 (*.f64 y x) #s(literal 2 binary64)) x) (+.f64 y x)))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (*.f64 (*.f64 x x) y) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))) (/.f64 (pow.f64 (*.f64 y x) #s(literal 3 binary64)) (fma.f64 (*.f64 (*.f64 x x) y) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) (/.f64 x (*.f64 (-.f64 x y) x)) (/.f64 (/.f64 (pow.f64 (*.f64 y x) #s(literal 2 binary64)) x) (+.f64 y x)))
(fma.f64 (pow.f64 x #s(literal 4 binary64)) (/.f64 (*.f64 x x) (fma.f64 (*.f64 (*.f64 x x) y) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))) (/.f64 (pow.f64 (*.f64 y x) #s(literal 3 binary64)) (fma.f64 (*.f64 (*.f64 x x) y) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))))
(fma.f64 (neg.f64 x) (/.f64 (pow.f64 x #s(literal 3 binary64)) (*.f64 (-.f64 x y) x)) (/.f64 (/.f64 (pow.f64 (*.f64 y x) #s(literal 2 binary64)) x) (+.f64 y x)))
(fma.f64 (neg.f64 x) (neg.f64 x) (*.f64 (neg.f64 (neg.f64 y)) x))
(fma.f64 (neg.f64 x) (neg.f64 x) (*.f64 (neg.f64 y) (neg.f64 x)))
(fma.f64 (neg.f64 x) (neg.f64 x) (*.f64 (neg.f64 x) y))
(fma.f64 (neg.f64 x) (neg.f64 x) (*.f64 y x))
(fma.f64 (neg.f64 x) y (*.f64 (neg.f64 x) x))
(fma.f64 (neg.f64 x) y (*.f64 x x))
(fma.f64 (neg.f64 x) x (*.f64 (neg.f64 x) y))
(fma.f64 (*.f64 x x) (/.f64 (pow.f64 x #s(literal 4 binary64)) (fma.f64 (*.f64 (*.f64 x x) y) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))) (/.f64 (pow.f64 (*.f64 y x) #s(literal 3 binary64)) (fma.f64 (*.f64 (*.f64 x x) y) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))))
(fma.f64 (*.f64 x x) (/.f64 (*.f64 x x) (*.f64 (-.f64 x y) x)) (/.f64 (/.f64 (pow.f64 (*.f64 y x) #s(literal 2 binary64)) x) (+.f64 y x)))
(fma.f64 y (neg.f64 x) (*.f64 (neg.f64 x) x))
(fma.f64 y (neg.f64 x) (*.f64 x x))
(fma.f64 y x (*.f64 x x))
(fma.f64 x (/.f64 (pow.f64 x #s(literal 3 binary64)) (*.f64 (-.f64 x y) x)) (/.f64 (/.f64 (pow.f64 (*.f64 y x) #s(literal 2 binary64)) x) (+.f64 y x)))
(fma.f64 x (neg.f64 y) (*.f64 (neg.f64 x) x))
(fma.f64 x (neg.f64 y) (*.f64 x x))
(fma.f64 x (neg.f64 x) (*.f64 (neg.f64 x) y))
(fma.f64 x y (*.f64 x x))
(fma.f64 x x (*.f64 (neg.f64 (neg.f64 y)) x))
(fma.f64 x x (*.f64 (neg.f64 y) (neg.f64 x)))
(fma.f64 x x (*.f64 (neg.f64 x) y))
(fma.f64 x x (*.f64 y x))
(-.f64 (/.f64 (/.f64 (pow.f64 x #s(literal 4 binary64)) x) (+.f64 y x)) (/.f64 (/.f64 (pow.f64 (*.f64 y x) #s(literal 2 binary64)) x) (+.f64 y x)))
(-.f64 (/.f64 (pow.f64 x #s(literal 6 binary64)) (fma.f64 (*.f64 (*.f64 x x) y) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))) (/.f64 (pow.f64 (*.f64 y x) #s(literal 3 binary64)) (fma.f64 (*.f64 (*.f64 x x) y) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))))
(-.f64 (*.f64 (neg.f64 x) y) (*.f64 (neg.f64 x) x))
(-.f64 (*.f64 x x) (*.f64 (neg.f64 (neg.f64 y)) x))
(-.f64 (*.f64 x x) (*.f64 (neg.f64 y) (neg.f64 x)))
(-.f64 (*.f64 x x) (*.f64 (neg.f64 x) y))
(-.f64 (*.f64 x x) (*.f64 y x))
(-.f64 (*.f64 y x) (*.f64 (neg.f64 x) x))
(+.f64 (*.f64 (neg.f64 x) x) (*.f64 (neg.f64 x) y))
(+.f64 (/.f64 (/.f64 (pow.f64 x #s(literal 4 binary64)) x) (+.f64 y x)) (/.f64 (/.f64 (pow.f64 (*.f64 y x) #s(literal 2 binary64)) x) (+.f64 y x)))
(+.f64 (/.f64 (pow.f64 x #s(literal 6 binary64)) (fma.f64 (*.f64 (*.f64 x x) y) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))) (/.f64 (pow.f64 (*.f64 y x) #s(literal 3 binary64)) (fma.f64 (*.f64 (*.f64 x x) y) (-.f64 y x) (pow.f64 x #s(literal 4 binary64)))))
(+.f64 (*.f64 (neg.f64 x) y) (*.f64 (neg.f64 x) x))
(+.f64 (*.f64 (neg.f64 x) y) (*.f64 x x))
(+.f64 (*.f64 x x) (*.f64 (neg.f64 (neg.f64 y)) x))
(+.f64 (*.f64 x x) (*.f64 (neg.f64 y) (neg.f64 x)))
(+.f64 (*.f64 x x) (*.f64 (neg.f64 x) y))
(+.f64 (*.f64 x x) (*.f64 y x))
(+.f64 (*.f64 y x) (*.f64 x x))
(*.f64 (/.f64 (*.f64 (+.f64 y x) (-.f64 x y)) (+.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (fma.f64 y (-.f64 y x) (*.f64 x x)))
(*.f64 (/.f64 (*.f64 (+.f64 y x) (-.f64 x y)) (*.f64 (+.f64 y x) (-.f64 x y))) (-.f64 x y))
(*.f64 (/.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64))) (-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 (*.f64 (+.f64 y x) y) #s(literal 2 binary64)))) (-.f64 (*.f64 (-.f64 x y) x) (*.f64 y y)))
(*.f64 (/.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64))) (+.f64 (pow.f64 (*.f64 (+.f64 y x) y) #s(literal 3 binary64)) (pow.f64 x #s(literal 6 binary64)))) (fma.f64 (*.f64 (+.f64 y x) y) (-.f64 (*.f64 (+.f64 y x) y) (*.f64 x x)) (pow.f64 x #s(literal 4 binary64))))
(*.f64 (+.f64 y x) (/.f64 (-.f64 x y) (+.f64 y x)))
(*.f64 (fma.f64 (-.f64 x y) x (*.f64 y y)) (/.f64 (-.f64 x y) (fma.f64 (-.f64 x y) x (*.f64 y y))))
(/.f64 (-.f64 (pow.f64 (*.f64 x (/.f64 x (+.f64 y x))) #s(literal 2 binary64)) (pow.f64 (*.f64 y (/.f64 y (+.f64 y x))) #s(literal 2 binary64))) (fma.f64 x (/.f64 x (+.f64 y x)) (*.f64 y (/.f64 y (+.f64 y x)))))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 x y) x (*.f64 y y))) #s(literal 2 binary64)) (pow.f64 (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 (-.f64 x y) x (*.f64 y y))) #s(literal 2 binary64))) (+.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 x y) x (*.f64 y y))) (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 (-.f64 x y) x (*.f64 y y)))))
(/.f64 (-.f64 (pow.f64 (*.f64 x (/.f64 x (+.f64 y x))) #s(literal 3 binary64)) (pow.f64 (*.f64 y (/.f64 y (+.f64 y x))) #s(literal 3 binary64))) (+.f64 (pow.f64 (*.f64 x (/.f64 x (+.f64 y x))) #s(literal 2 binary64)) (+.f64 (pow.f64 (*.f64 y (/.f64 y (+.f64 y x))) #s(literal 2 binary64)) (*.f64 (*.f64 x (/.f64 x (+.f64 y x))) (*.f64 y (/.f64 y (+.f64 y x)))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 x y) x (*.f64 y y))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 (-.f64 x y) x (*.f64 y y))) #s(literal 3 binary64))) (+.f64 (pow.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 x y) x (*.f64 y y))) #s(literal 2 binary64)) (+.f64 (pow.f64 (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 (-.f64 x y) x (*.f64 y y))) #s(literal 2 binary64)) (*.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 x y) x (*.f64 y y))) (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 (-.f64 x y) x (*.f64 y y)))))))
(/.f64 (neg.f64 (fma.f64 (neg.f64 x) x (*.f64 y y))) (neg.f64 (neg.f64 (+.f64 y x))))
(/.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 (-.f64 x y) x (*.f64 y y)))))
(/.f64 (-.f64 (*.f64 (*.f64 x x) (+.f64 y x)) (*.f64 (+.f64 y x) (*.f64 y y))) (pow.f64 (+.f64 y x) #s(literal 2 binary64)))
(/.f64 (-.f64 (*.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 x y) x (*.f64 y y))) (*.f64 (fma.f64 (-.f64 x y) x (*.f64 y y)) (pow.f64 y #s(literal 3 binary64)))) (pow.f64 (fma.f64 (-.f64 x y) x (*.f64 y y)) #s(literal 2 binary64)))
(/.f64 (-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64))) (*.f64 (fma.f64 y y (*.f64 x x)) (+.f64 y x)))
(/.f64 (-.f64 (pow.f64 x #s(literal 9 binary64)) (pow.f64 y #s(literal 9 binary64))) (*.f64 (+.f64 (-.f64 (pow.f64 y #s(literal 6 binary64)) (pow.f64 (*.f64 y x) #s(literal 3 binary64))) (pow.f64 x #s(literal 6 binary64))) (fma.f64 (-.f64 x y) x (*.f64 y y))))
(/.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 y #s(literal 6 binary64))) (*.f64 (fma.f64 (*.f64 y y) (fma.f64 y y (*.f64 x x)) (pow.f64 x #s(literal 4 binary64))) (+.f64 y x)))
(/.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 y #s(literal 6 binary64))) (*.f64 (+.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (fma.f64 (-.f64 x y) x (*.f64 y y))))
(/.f64 (fma.f64 (neg.f64 x) x (*.f64 y y)) (neg.f64 (+.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 (-.f64 x y) x (*.f64 y y))))
(/.f64 (*.f64 (+.f64 y x) (-.f64 x y)) (+.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 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64))) (fma.f64 (-.f64 x y) x (*.f64 y y)))
(neg.f64 (neg.f64 (-.f64 x y)))
(fma.f64 (/.f64 (*.f64 x x) (+.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (fma.f64 y (-.f64 y x) (*.f64 x x)) (/.f64 (*.f64 (neg.f64 y) y) (+.f64 y x)))
(fma.f64 (/.f64 (*.f64 x x) (*.f64 (+.f64 y x) (-.f64 x y))) (-.f64 x y) (/.f64 (*.f64 (neg.f64 y) y) (+.f64 y x)))
(fma.f64 (neg.f64 x) (/.f64 (neg.f64 x) (+.f64 y x)) (/.f64 (*.f64 (neg.f64 y) y) (+.f64 y x)))
(fma.f64 x (/.f64 x (+.f64 y x)) (/.f64 (*.f64 (neg.f64 y) y) (+.f64 y x)))
(-.f64 (*.f64 x (/.f64 x (+.f64 y x))) (*.f64 y (/.f64 y (+.f64 y x))))
(-.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 x y) x (*.f64 y y))) (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 (-.f64 x y) x (*.f64 y y))))
(-.f64 (neg.f64 x) y)
(-.f64 x y)
(+.f64 (*.f64 x (/.f64 x (+.f64 y x))) (/.f64 (*.f64 (neg.f64 y) y) (+.f64 y x)))

eval28.0ms (0.6%)

Memory
-8.8MiB live, 82.2MiB allocated
Compiler

Compiled 4 568 to 758 computations (83.4% saved)

prune11.0ms (0.2%)

Memory
-19.6MiB live, 33.5MiB allocated
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New2201221
Fresh000
Picked134
Done000
Total2214225
Accuracy
100.0%
Counts
225 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(*.f64 #s(literal 2 binary64) (*.f64 (-.f64 x y) x))
✓57.6%
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 x x) #s(literal 2 binary64)))
▶56.7%
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 #s(literal -2 binary64) y) x))
✓9.9%
#s(literal 0 binary64)
Compiler

Compiled 38 to 31 computations (18.4% saved)

simplify163.0ms (3.6%)

Memory
20.5MiB live, 102.5MiB allocated
Algorithm
1×egg-herbie
Localize:

Found 3 expressions of interest:

NewMetricScoreProgram
cost-diff0
(*.f64 #s(literal -2 binary64) y)
cost-diff0
(*.f64 (*.f64 #s(literal -2 binary64) y) x)
cost-diff0
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 #s(literal -2 binary64) y) x))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01126
01324
13024
28524
326424
468424
5137324
6269424
7421024
8532724
9572324
10580424
11592124
12592424
13592424
14621024
15649024
16669024
0669024
Stop Event
1×iter limit
1×saturated
1×iter limit
Calls
Call 1
Inputs
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 #s(literal -2 binary64) y) x))
(*.f64 (*.f64 #s(literal -2 binary64) y) x)
(*.f64 #s(literal -2 binary64) y)
#s(literal -2 binary64)
y
x
Outputs
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 #s(literal -2 binary64) y) x))
(*.f64 (*.f64 #s(literal -2 binary64) y) x)
(*.f64 #s(literal -2 binary64) y)
#s(literal -2 binary64)
y
x

localize21.0ms (0.5%)

Memory
20.0MiB live, 20.0MiB allocated
Localize:

Found 3 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(*.f64 (*.f64 #s(literal -2 binary64) y) x)
accuracy0.0
(*.f64 #s(literal -2 binary64) y)
accuracy27.729238531742034
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 #s(literal -2 binary64) y) x))
Samples
15.0ms256×0valid
Compiler

Compiled 22 to 12 computations (45.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.0ms
ival-mult: 7.0ms (77.1% of total)
ival-sub: 1.0ms (11% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series13.0ms (0.3%)

Memory
-42.9MiB live, 4.1MiB allocated
Counts
3 → 8
Calls
Call 1
Inputs
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 #s(literal -2 binary64) y) x))
(*.f64 (*.f64 #s(literal -2 binary64) y) x)
(*.f64 #s(literal -2 binary64) y)
Outputs
(* -2 (* x y))
(* x (+ (* -2 y) (* 2 x)))
(* 2 (pow x 2))
(* (pow x 2) (+ 2 (* -2 (/ y x))))
(+ (* -2 (* x y)) (* 2 (pow x 2)))
(* -2 y)
(* y (+ (* -2 x) (* 2 (/ (pow x 2) y))))
(* -1 (* y (+ (* -2 (/ (pow x 2) y)) (* 2 x))))
Calls

6 calls:

TimeVariablePointExpression
10.0ms
y
@inf
((* 2 (- (* x x) (* x y))) (* (* -2 y) x) (* -2 y))
1.0ms
y
@-inf
((* 2 (- (* x x) (* x y))) (* (* -2 y) x) (* -2 y))
1.0ms
x
@-inf
((* 2 (- (* x x) (* x y))) (* (* -2 y) x) (* -2 y))
1.0ms
y
@0
((* 2 (- (* x x) (* x y))) (* (* -2 y) x) (* -2 y))
1.0ms
x
@inf
((* 2 (- (* x x) (* x y))) (* (* -2 y) x) (* -2 y))

simplify157.0ms (3.5%)

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

Useful iterations: 1 (0.0ms)

IterNodesCost
02758
19148
229648
398448
4381648
5772648
0908248
Stop Event
1×iter limit
1×node limit
Counts
8 → 8
Calls
Call 1
Inputs
(* -2 (* x y))
(* x (+ (* -2 y) (* 2 x)))
(* 2 (pow x 2))
(* (pow x 2) (+ 2 (* -2 (/ y x))))
(+ (* -2 (* x y)) (* 2 (pow x 2)))
(* -2 y)
(* y (+ (* -2 x) (* 2 (/ (pow x 2) y))))
(* -1 (* y (+ (* -2 (/ (pow x 2) y)) (* 2 x))))
Outputs
(* -2 (* x y))
(*.f64 #s(literal -2 binary64) (*.f64 y x))
(* x (+ (* -2 y) (* 2 x)))
(*.f64 (*.f64 (-.f64 y x) x) #s(literal -2 binary64))
(* 2 (pow x 2))
(*.f64 (*.f64 x x) #s(literal 2 binary64))
(* (pow x 2) (+ 2 (* -2 (/ y x))))
(*.f64 (*.f64 (-.f64 y x) x) #s(literal -2 binary64))
(+ (* -2 (* x y)) (* 2 (pow x 2)))
(*.f64 (*.f64 (-.f64 y x) x) #s(literal -2 binary64))
(* -2 y)
(*.f64 #s(literal -2 binary64) y)
(* y (+ (* -2 x) (* 2 (/ (pow x 2) y))))
(*.f64 (*.f64 (-.f64 y x) x) #s(literal -2 binary64))
(* -1 (* y (+ (* -2 (/ (pow x 2) y)) (* 2 x))))
(*.f64 (*.f64 (-.f64 y x) x) #s(literal -2 binary64))

rewrite138.0ms (3.1%)

Memory
5.9MiB live, 114.1MiB allocated
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01123
01321
14421
232215
3459115
0822115
Stop Event
1×iter limit
1×node limit
1×iter limit
Counts
3 → 9
Calls
Call 1
Inputs
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 #s(literal -2 binary64) y) x))
(*.f64 (*.f64 #s(literal -2 binary64) y) x)
(*.f64 #s(literal -2 binary64) y)
Outputs
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 #s(literal -2 binary64) y) x))
(*.f64 (*.f64 #s(literal -2 binary64) x) y)
(*.f64 (*.f64 #s(literal -2 binary64) y) x)
(*.f64 #s(literal -2 binary64) (*.f64 y x))
(*.f64 (*.f64 y x) #s(literal -2 binary64))
(*.f64 y (*.f64 #s(literal -2 binary64) x))
(*.f64 x (*.f64 #s(literal -2 binary64) y))
(*.f64 #s(literal -2 binary64) y)
(*.f64 y #s(literal -2 binary64))

eval1.0ms (0%)

Memory
3.5MiB live, 3.5MiB allocated
Compiler

Compiled 201 to 39 computations (80.6% saved)

prune6.0ms (0.1%)

Memory
-38.0MiB live, 8.3MiB allocated
Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New13013
Fresh000
Picked011
Done033
Total13417
Accuracy
100.0%
Counts
17 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(*.f64 #s(literal 2 binary64) (*.f64 (-.f64 x y) x))
✓57.6%
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 x x) #s(literal 2 binary64)))
✓56.7%
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 #s(literal -2 binary64) y) x))
✓9.9%
#s(literal 0 binary64)
Compiler

Compiled 100 to 56 computations (44% saved)

regimes10.0ms (0.2%)

Memory
22.2MiB live, 22.2MiB allocated
Counts
6 → 1
Calls
Call 1
Inputs
#s(literal 0 binary64)
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 #s(literal -2 binary64) (*.f64 y x)))
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 #s(literal -2 binary64) y) x))
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 x x) #s(literal 2 binary64)))
(*.f64 #s(literal 2 binary64) (*.f64 (-.f64 x y) x))
(*.f64 #s(literal 2 binary64) (-.f64 (*.f64 x x) (*.f64 x y)))
Outputs
(*.f64 #s(literal 2 binary64) (*.f64 (-.f64 x y) x))
Calls

4 calls:

3.0ms
x
2.0ms
y
2.0ms
(*.f64 #s(literal 2 binary64) (-.f64 (*.f64 x x) (*.f64 x y)))
2.0ms
(-.f64 (*.f64 x x) (*.f64 x y))
Results
AccuracySegmentsBranch
100.0%1(-.f64 (*.f64 x x) (*.f64 x y))
100.0%1(*.f64 #s(literal 2 binary64) (-.f64 (*.f64 x x) (*.f64 x y)))
100.0%1x
100.0%1y
Compiler

Compiled 18 to 16 computations (11.1% saved)

regimes8.0ms (0.2%)

Memory
13.6MiB live, 13.6MiB allocated
Counts
4 → 3
Calls
Call 1
Inputs
#s(literal 0 binary64)
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 #s(literal -2 binary64) (*.f64 y x)))
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 #s(literal -2 binary64) y) x))
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 x x) #s(literal 2 binary64)))
Outputs
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 #s(literal -2 binary64) (*.f64 y x)))
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 x x) #s(literal 2 binary64)))
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 #s(literal -2 binary64) y) x))
Calls

4 calls:

2.0ms
y
2.0ms
x
2.0ms
(*.f64 #s(literal 2 binary64) (-.f64 (*.f64 x x) (*.f64 x y)))
2.0ms
(-.f64 (*.f64 x x) (*.f64 x y))
Results
AccuracySegmentsBranch
80.1%2(-.f64 (*.f64 x x) (*.f64 x y))
80.1%2(*.f64 #s(literal 2 binary64) (-.f64 (*.f64 x x) (*.f64 x y)))
81.3%3x
85.7%3y
Compiler

Compiled 18 to 16 computations (11.1% saved)

regimes32.0ms (0.7%)

Memory
-33.4MiB live, 12.5MiB allocated
Counts
3 → 1
Calls
Call 1
Inputs
#s(literal 0 binary64)
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 #s(literal -2 binary64) (*.f64 y x)))
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 #s(literal -2 binary64) y) x))
Outputs
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 #s(literal -2 binary64) y) x))
Calls

4 calls:

26.0ms
(-.f64 (*.f64 x x) (*.f64 x y))
2.0ms
x
2.0ms
y
1.0ms
(*.f64 #s(literal 2 binary64) (-.f64 (*.f64 x x) (*.f64 x y)))
Results
AccuracySegmentsBranch
56.7%1x
56.7%1(-.f64 (*.f64 x x) (*.f64 x y))
56.7%1(*.f64 #s(literal 2 binary64) (-.f64 (*.f64 x x) (*.f64 x y)))
56.7%1y
Compiler

Compiled 18 to 16 computations (11.1% saved)

regimes5.0ms (0.1%)

Memory
11.3MiB live, 11.3MiB allocated
Counts
2 → 1
Calls
Call 1
Inputs
#s(literal 0 binary64)
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 #s(literal -2 binary64) (*.f64 y x)))
Outputs
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 #s(literal -2 binary64) (*.f64 y x)))
Calls

4 calls:

1.0ms
y
1.0ms
x
1.0ms
(*.f64 #s(literal 2 binary64) (-.f64 (*.f64 x x) (*.f64 x y)))
1.0ms
(-.f64 (*.f64 x x) (*.f64 x y))
Results
AccuracySegmentsBranch
56.7%1x
56.7%1y
56.7%1(-.f64 (*.f64 x x) (*.f64 x y))
56.7%1(*.f64 #s(literal 2 binary64) (-.f64 (*.f64 x x) (*.f64 x y)))
Compiler

Compiled 18 to 16 computations (11.1% saved)

regimes4.0ms (0.1%)

Memory
10.1MiB live, 10.1MiB allocated
Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts
1 → 1
Calls
Call 1
Inputs
#s(literal 0 binary64)
Outputs
#s(literal 0 binary64)
Calls

4 calls:

1.0ms
x
1.0ms
y
1.0ms
(*.f64 #s(literal 2 binary64) (-.f64 (*.f64 x x) (*.f64 x y)))
1.0ms
(-.f64 (*.f64 x x) (*.f64 x y))
Results
AccuracySegmentsBranch
9.9%1x
9.9%1y
9.9%1(-.f64 (*.f64 x x) (*.f64 x y))
9.9%1(*.f64 #s(literal 2 binary64) (-.f64 (*.f64 x x) (*.f64 x y)))
Compiler

Compiled 18 to 16 computations (11.1% saved)

bsearch39.0ms (0.9%)

Memory
-13.4MiB live, 31.0MiB allocated
Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
34.0ms
7.932664103999633e-63
1.4240345287773382e-56
3.0ms
-9.217677579811195e+140
-8.130930329675345e+140
Samples
30.0ms176×0valid
Compiler

Compiled 342 to 276 computations (19.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 26.0ms
ival-sub: 23.0ms (87.3% of total)
ival-mult: 3.0ms (11.4% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

simplify64.0ms (1.4%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
02781
14281
29381
327281
469781
5142881
6290281
7599381
Stop Event
1×node limit
Calls
Call 1
Inputs
(*.f64 #s(literal 2 binary64) (*.f64 (-.f64 x y) x))
(if (<=.f64 y #s(literal -819999999999999976689827613089145864423786893924282563361341104246799880023697715491240944855074195686458600504782748757559648418278192185344 binary64)) #s(approx (* 2 (- (* x x) (* x y))) (*.f64 #s(literal -2 binary64) (*.f64 y x))) (if (<=.f64 y #s(literal 6183964726724345/441711766194596082395824375185729628956870974218904739530401550323154944 binary64)) #s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 x x) #s(literal 2 binary64))) #s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 #s(literal -2 binary64) y) x))))
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 #s(literal -2 binary64) y) x))
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 #s(literal -2 binary64) (*.f64 y x)))
#s(literal 0 binary64)
Outputs
(*.f64 #s(literal 2 binary64) (*.f64 (-.f64 x y) x))
(if (<=.f64 y #s(literal -819999999999999976689827613089145864423786893924282563361341104246799880023697715491240944855074195686458600504782748757559648418278192185344 binary64)) #s(approx (* 2 (- (* x x) (* x y))) (*.f64 #s(literal -2 binary64) (*.f64 y x))) (if (<=.f64 y #s(literal 6183964726724345/441711766194596082395824375185729628956870974218904739530401550323154944 binary64)) #s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 x x) #s(literal 2 binary64))) #s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 #s(literal -2 binary64) y) x))))
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 #s(literal -2 binary64) y) x))
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 #s(literal -2 binary64) (*.f64 y x)))
#s(literal 0 binary64)

soundness671.0ms (15%)

Memory
7.8MiB live, 430.9MiB allocated
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
04290
114080
244680
3153380
4424280
5679880
0807880
0722
01118
13818
231012
3459212
0821912
01761
02457
17057
245039
3640139
0825439
Stop Event
1×done
1×iter limit
1×node limit
1×iter limit
1×iter limit
1×node limit
1×iter limit
1×iter limit
1×node limit
Compiler

Compiled 171 to 92 computations (46.2% saved)

preprocess32.0ms (0.7%)

Memory
31.6MiB live, 78.0MiB allocated
Compiler

Compiled 214 to 82 computations (61.7% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...