Linear.Matrix:fromQuaternion from linear-1.19.1.3, A

Time bar (total: 5.3s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

Memory
0.6MiB live, 0.6MiB 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)

sample808.0ms (15.2%)

Memory
36.4MiB live, 902.9MiB allocated
Samples
518.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 327.0ms
ival-mult: 210.0ms (64.3% of total)
ival-sub: 102.0ms (31.2% of total)
ival-true: 6.0ms (1.8% of total)
exact: 5.0ms (1.5% of total)
ival-assert: 4.0ms (1.2% of total)
Bogosity

explain273.0ms (5.1%)

Memory
-0.1MiB live, 115.9MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
120-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-rescue120
↳(*.f64 x x)overflow54
↳(*.f64 x y)overflow32
Confusion
Predicted +Predicted -
+120
-0244
Precision
1.0
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+1200
-00244
Precision?
1.0
Recall?
1.0
Freqs
test
numberfreq
0244
112
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
26.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 (75.6% of total)
ival-sub: 2.0ms (15.1% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

preprocess330.0ms (6.2%)

Memory
-22.1MiB live, 147.6MiB 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.2MiB live, 0.2MiB allocated
Compiler

Compiled 0 to 2 computations (-∞% saved)

prune0.0ms (0%)

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

Compiled 9 to 7 computations (22.2% saved)

simplify169.0ms (3.2%)

Memory
-15.6MiB live, 69.5MiB 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.3%)

Memory
18.5MiB live, 18.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)))
accuracy2.453122935830206
(-.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 (78.5% of total)
ival-sub: 1.0ms (15.7% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series6.0ms (0.1%)

Memory
5.2MiB live, 5.2MiB 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
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))
1.0ms
y
@-inf
((- (* x x) (* x y)) (* 2 (- (* x x) (* x y))) (* x x) (* x y))

simplify261.0ms (4.9%)

Memory
-12.8MiB live, 133.2MiB 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))

rewrite150.0ms (2.8%)

Memory
-1.9MiB live, 159.4MiB 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))))

eval11.0ms (0.2%)

Memory
22.5MiB live, 22.5MiB allocated
Compiler

Compiled 2 073 to 383 computations (81.5% saved)

prune3.0ms (0%)

Memory
8.8MiB live, 8.8MiB 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))
▶56.1%
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 x x) #s(literal 2 binary64)))
▶58.4%
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 #s(literal -2 binary64) (*.f64 y x)))
▶11.4%
#s(literal 0 binary64)
Compiler

Compiled 38 to 31 computations (18.4% saved)

simplify188.0ms (3.5%)

Memory
-24.6MiB live, 109.4MiB 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

localize60.0ms (1.1%)

Memory
-15.4MiB live, 61.9MiB 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.0078125
(*.f64 (*.f64 x x) #s(literal 2 binary64))
accuracy28.11700879496107
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 x x) #s(literal 2 binary64)))
accuracy0.0
(*.f64 y x)
accuracy0.00390625
(*.f64 #s(literal -2 binary64) (*.f64 y x))
accuracy26.63786117975474
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 #s(literal -2 binary64) (*.f64 y x)))
Samples
38.0ms256×0valid
Compiler

Compiled 60 to 17 computations (71.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 29.0ms
ival-sub: 16.0ms (55.4% of total)
ival-mult: 12.0ms (41.5% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series9.0ms (0.2%)

Memory
16.8MiB live, 16.8MiB 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))

simplify133.0ms (2.5%)

Memory
-4.4MiB live, 151.0MiB 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)

rewrite208.0ms (3.9%)

Memory
9.6MiB live, 91.7MiB 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)))

eval116.0ms (2.2%)

Memory
-0.4MiB live, 35.1MiB allocated
Compiler

Compiled 4 568 to 758 computations (83.4% saved)

prune6.0ms (0.1%)

Memory
14.0MiB live, 14.0MiB 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))
✓56.1%
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 x x) #s(literal 2 binary64)))
▶58.4%
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 #s(literal -2 binary64) y) x))
✓11.4%
#s(literal 0 binary64)
Compiler

Compiled 38 to 31 computations (18.4% saved)

simplify166.0ms (3.1%)

Memory
-8.3MiB live, 30.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

localize141.0ms (2.7%)

Memory
-15.7MiB live, 20.8MiB 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)
accuracy26.63786117975474
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 #s(literal -2 binary64) y) x))
Samples
132.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: 8.0ms (87.3% of total)
ival-sub: 1.0ms (10.9% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series4.0ms (0.1%)

Memory
6.2MiB live, 6.2MiB 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
1.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))

simplify270.0ms (5.1%)

Memory
-10.0MiB live, 150.9MiB 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))

rewrite775.0ms (14.6%)

Memory
-4.5MiB live, 156.6MiB 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
2.0MiB live, 2.0MiB allocated
Compiler

Compiled 201 to 39 computations (80.6% saved)

prune4.0ms (0.1%)

Memory
5.4MiB live, 5.4MiB 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))
✓56.1%
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 x x) #s(literal 2 binary64)))
✓58.4%
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 #s(literal -2 binary64) y) x))
✓11.4%
#s(literal 0 binary64)
Compiler

Compiled 100 to 56 computations (44% saved)

regimes10.0ms (0.2%)

Memory
14.9MiB live, 14.9MiB 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:

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
100.0%1x
100.0%1y
100.0%1(*.f64 #s(literal 2 binary64) (-.f64 (*.f64 x x) (*.f64 x y)))
100.0%1(-.f64 (*.f64 x x) (*.f64 x y))
Compiler

Compiled 18 to 16 computations (11.1% saved)

regimes8.0ms (0.2%)

Memory
12.5MiB live, 12.5MiB 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
(*.f64 #s(literal 2 binary64) (-.f64 (*.f64 x x) (*.f64 x y)))
2.0ms
x
2.0ms
(-.f64 (*.f64 x x) (*.f64 x y))
Results
AccuracySegmentsBranch
81.0%3x
85.3%3y
78.2%2(*.f64 #s(literal 2 binary64) (-.f64 (*.f64 x x) (*.f64 x y)))
78.2%2(-.f64 (*.f64 x x) (*.f64 x y))
Compiler

Compiled 18 to 16 computations (11.1% saved)

regimes307.0ms (5.8%)

Memory
-21.7MiB live, 23.8MiB 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:

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

Compiled 18 to 16 computations (11.1% saved)

regimes6.0ms (0.1%)

Memory
15.5MiB live, 15.5MiB 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
(*.f64 #s(literal 2 binary64) (-.f64 (*.f64 x x) (*.f64 x y)))
1.0ms
y
1.0ms
x
1.0ms
(-.f64 (*.f64 x x) (*.f64 x y))
Results
AccuracySegmentsBranch
58.4%1x
58.4%1y
58.4%1(*.f64 #s(literal 2 binary64) (-.f64 (*.f64 x x) (*.f64 x y)))
58.4%1(-.f64 (*.f64 x x) (*.f64 x y))
Compiler

Compiled 18 to 16 computations (11.1% saved)

regimes9.0ms (0.2%)

Memory
-25.8MiB live, 12.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:

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

Compiled 18 to 16 computations (11.1% saved)

bsearch20.0ms (0.4%)

Memory
27.9MiB live, 27.9MiB allocated
Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
6.0ms
4.909360499230458e-38
1.5269718038112323e-37
12.0ms
-2.1725544659444228e-39
-1.1881893950305442e-47
Samples
10.0ms224×0valid
Compiler

Compiled 432 to 348 computations (19.4% saved)

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

simplify109.0ms (2%)

Memory
-21.9MiB live, 50.1MiB 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 -6277101735386681/3138550867693340381917894711603833208051177722232017256448 binary64)) #s(approx (* 2 (- (* x x) (* x y))) (*.f64 #s(literal -2 binary64) (*.f64 y x))) (if (<=.f64 y #s(literal 1915619426082361/23945242826029513411849172299223580994042798784118784 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 -6277101735386681/3138550867693340381917894711603833208051177722232017256448 binary64)) #s(approx (* 2 (- (* x x) (* x y))) (*.f64 #s(literal -2 binary64) (*.f64 y x))) (if (<=.f64 y #s(literal 1915619426082361/23945242826029513411849172299223580994042798784118784 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)

soundness695.0ms (13.1%)

Memory
3.1MiB live, 422.2MiB allocated
Iterations

Useful iterations: 2 (0.0ms)

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

Compiled 171 to 92 computations (46.2% saved)

preprocess46.0ms (0.9%)

Memory
-9.5MiB live, 67.9MiB allocated
Compiler

Compiled 214 to 82 computations (61.7% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...