Linear.Matrix:fromQuaternion from linear-1.19.1.3, A

Time bar (total: 4.1s)

start0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated; 0ms collecting garbage

analyze0.0ms (0%)

Memory
1.2MiB live, 1.2MiB allocated; 0ms collecting garbage
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.2s (29.3%)

Memory
0.2MiB live, 1 200.3MiB allocated; 266ms collecting garbage
Samples
913.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 390.0ms
ival-mult: 333.0ms (85.5% of total)
ival-sub: 39.0ms (10% of total)
ival-true: 6.0ms (1.5% of total)
exact: 5.0ms (1.3% of total)
adjust: 3.0ms (0.8% of total)
ival-assert: 3.0ms (0.8% of total)
Bogosity

explain264.0ms (6.5%)

Memory
-8.2MiB live, 181.4MiB allocated; 21ms collecting garbage
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)overflow65
↳(*.f64 x y)overflow33
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
83.0ms512×0valid
Compiler

Compiled 63 to 25 computations (60.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 32.0ms
ival-mult: 28.0ms (88.7% of total)
ival-sub: 2.0ms (6.3% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

preprocess282.0ms (6.9%)

Memory
12.9MiB live, 146.9MiB allocated; 14ms collecting garbage
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; 0ms collecting garbage
Compiler

Compiled 0 to 2 computations (-∞% saved)

prune0.0ms (0%)

Memory
0.7MiB live, 0.7MiB allocated; 0ms collecting garbage
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)

simplify160.0ms (3.9%)

Memory
12.3MiB live, 111.1MiB allocated; 15ms collecting garbage
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

localize20.0ms (0.5%)

Memory
-3.2MiB live, 43.6MiB allocated; 2ms collecting garbage
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.6445209291510294
(-.f64 (*.f64 x x) (*.f64 x y))
Samples
14.0ms256×0valid
Compiler

Compiled 27 to 9 computations (66.7% saved)

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

series6.0ms (0.1%)

Memory
10.1MiB live, 10.1MiB allocated; 0ms collecting garbage
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))

simplify119.0ms (2.9%)

Memory
-22.0MiB live, 166.9MiB allocated; 23ms collecting garbage
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))

rewrite126.0ms (3.1%)

Memory
5.8MiB live, 117.4MiB allocated; 17ms collecting garbage
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.3%)

Memory
9.0MiB live, 9.0MiB allocated; 0ms collecting garbage
Compiler

Compiled 2 073 to 383 computations (81.5% saved)

prune3.0ms (0.1%)

Memory
4.9MiB live, 4.9MiB allocated; 0ms collecting garbage
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New1034107
Fresh000
Picked011
Done000
Total1035108
Accuracy
100.0%
Counts
108 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓95.3%
(*.f64 #s(literal 2 binary64) (-.f64 (*.f64 x x) (*.f64 x y)))
▶100.0%
(*.f64 #s(literal 2 binary64) (*.f64 (-.f64 x y) x))
▶54.7%
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 x x) #s(literal 2 binary64)))
▶62.8%
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 #s(literal -2 binary64) (*.f64 y x)))
▶13.2%
#s(literal 0 binary64)
Compiler

Compiled 47 to 38 computations (19.1% saved)

simplify156.0ms (3.8%)

Memory
-7.4MiB live, 39.0MiB allocated; 4ms collecting garbage
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

localize71.0ms (1.7%)

Memory
-19.5MiB live, 26.0MiB allocated; 4ms collecting garbage
Localize:

Found 9 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(-.f64 x y)
accuracy0.00390625
(*.f64 #s(literal 2 binary64) (*.f64 (-.f64 x y) x))
accuracy0.0078125
(*.f64 (-.f64 x y) x)
accuracy0.0
(*.f64 x x)
accuracy0.0078125
(*.f64 (*.f64 x x) #s(literal 2 binary64))
accuracy28.98639103540795
#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))
accuracy23.779930372320973
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 #s(literal -2 binary64) (*.f64 y x)))
Samples
58.0ms256×0valid
Compiler

Compiled 60 to 17 computations (71.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 48.0ms
ival-mult: 45.0ms (94.2% of total)
ival-sub: 2.0ms (4.2% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series9.0ms (0.2%)

Memory
4.5MiB live, 4.5MiB allocated; 0ms collecting garbage
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 (3.3%)

Memory
14.0MiB live, 56.1MiB allocated; 8ms collecting garbage
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)

rewrite175.0ms (4.3%)

Memory
10.5MiB live, 66.6MiB allocated; 7ms collecting garbage
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)))

eval38.0ms (0.9%)

Memory
2.6MiB live, 46.9MiB allocated; 5ms collecting garbage
Compiler

Compiled 4 568 to 758 computations (83.4% saved)

prune10.0ms (0.2%)

Memory
-22.3MiB live, 22.3MiB allocated; 3ms collecting garbage
Pruning

5 alts after pruning (1 fresh and 4 done)

PrunedKeptTotal
New2201221
Fresh000
Picked134
Done011
Total2215226
Accuracy
100.0%
Counts
226 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓95.3%
(*.f64 #s(literal 2 binary64) (-.f64 (*.f64 x x) (*.f64 x y)))
✓100.0%
(*.f64 #s(literal 2 binary64) (*.f64 (-.f64 x y) x))
✓54.7%
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 x x) #s(literal 2 binary64)))
▶62.8%
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 #s(literal -2 binary64) y) x))
✓13.2%
#s(literal 0 binary64)
Compiler

Compiled 47 to 38 computations (19.1% saved)

simplify185.0ms (4.5%)

Memory
4.9MiB live, 105.3MiB allocated; 8ms collecting garbage
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

localize37.0ms (0.9%)

Memory
14.0MiB live, 58.8MiB allocated; 4ms collecting garbage
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)
accuracy23.779930372320973
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 #s(literal -2 binary64) y) x))
Samples
32.0ms256×0valid
Compiler

Compiled 22 to 12 computations (45.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 25.0ms
ival-mult: 23.0ms (93.2% of total)
ival-sub: 1.0ms (4.1% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series4.0ms (0.1%)

Memory
16.0MiB live, 16.0MiB allocated; 0ms collecting garbage
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))

simplify167.0ms (4.1%)

Memory
-35.4MiB live, 149.8MiB allocated; 45ms collecting garbage
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))

rewrite110.0ms (2.7%)

Memory
6.0MiB live, 96.1MiB allocated; 13ms collecting garbage
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
1.9MiB live, 1.9MiB allocated; 0ms collecting garbage
Compiler

Compiled 201 to 39 computations (80.6% saved)

prune4.0ms (0.1%)

Memory
5.2MiB live, 5.2MiB allocated; 0ms collecting garbage
Pruning

5 alts after pruning (0 fresh and 5 done)

PrunedKeptTotal
New13013
Fresh000
Picked011
Done044
Total13518
Accuracy
100.0%
Counts
18 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓95.3%
(*.f64 #s(literal 2 binary64) (-.f64 (*.f64 x x) (*.f64 x y)))
✓100.0%
(*.f64 #s(literal 2 binary64) (*.f64 (-.f64 x y) x))
✓54.7%
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 x x) #s(literal 2 binary64)))
✓62.8%
#s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 #s(literal -2 binary64) y) x))
✓13.2%
#s(literal 0 binary64)
Compiler

Compiled 109 to 63 computations (42.2% saved)

regimes10.0ms (0.2%)

Memory
13.5MiB live, 13.5MiB allocated; 0ms collecting garbage
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%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
11.7MiB live, 11.7MiB allocated; 0ms collecting garbage
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 #s(literal -2 binary64) (*.f64 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
83.2%2(-.f64 (*.f64 x x) (*.f64 x y))
83.2%2(*.f64 #s(literal 2 binary64) (-.f64 (*.f64 x x) (*.f64 x y)))
85.4%3x
87.0%3y
Compiler

Compiled 18 to 16 computations (11.1% saved)

regimes7.0ms (0.2%)

Memory
10.6MiB live, 10.6MiB allocated; 0ms collecting garbage
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:

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

Compiled 18 to 16 computations (11.1% saved)

regimes87.0ms (2.1%)

Memory
-34.0MiB live, 40.4MiB allocated; 77ms collecting garbage
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:

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

Compiled 18 to 16 computations (11.1% saved)

regimes12.0ms (0.3%)

Memory
-35.5MiB live, 12.9MiB allocated; 11ms collecting garbage
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:

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

Compiled 18 to 16 computations (11.1% saved)

bsearch27.0ms (0.7%)

Memory
4.7MiB live, 48.0MiB allocated; 4ms collecting garbage
Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
9.0ms
1.1432320994379173e-16
4.238057094106109e-15
12.0ms
-1.3999793804142257e+23
-1944439869301042.3
Samples
12.0ms256×0valid
Compiler

Compiled 492 to 396 computations (19.5% saved)

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

simplify55.0ms (1.3%)

Memory
8.7MiB live, 55.0MiB allocated; 4ms collecting garbage
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02769
14569
29669
327869
470369
5142269
6290069
7598969
Stop Event
1×node limit
Calls
Call 1
Inputs
(*.f64 #s(literal 2 binary64) (*.f64 (-.f64 x y) x))
(if (<=.f64 y #s(literal -30000000000000000000 binary64)) #s(approx (* 2 (- (* x x) (* x y))) (*.f64 #s(literal -2 binary64) (*.f64 y x))) (if (<=.f64 y #s(literal 7352373481323731/5070602400912917605986812821504 binary64)) #s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 x x) #s(literal 2 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 #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 -30000000000000000000 binary64)) #s(approx (* 2 (- (* x x) (* x y))) (*.f64 #s(literal -2 binary64) (*.f64 y x))) (if (<=.f64 y #s(literal 7352373481323731/5070602400912917605986812821504 binary64)) #s(approx (* 2 (- (* x x) (* x y))) (*.f64 (*.f64 x x) #s(literal 2 binary64))) #s(approx (* 2 (- (* x x) (* x y))) (*.f64 #s(literal -2 binary64) (*.f64 y x)))))
(if (or (<=.f64 y #s(literal -30000000000000000000 binary64)) (not (<=.f64 y #s(literal 7352373481323731/5070602400912917605986812821504 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 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 #s(literal -2 binary64) (*.f64 y x)))
#s(literal 0 binary64)

derivations495.0ms (12.1%)

Memory
3.4MiB live, 377.5MiB allocated; 32ms collecting garbage
Iterations

Useful iterations: 2 (0.0ms)

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

Compiled 77 to 29 computations (62.3% saved)

preprocess99.0ms (2.4%)

Memory
3.4MiB live, 141.1MiB allocated; 40ms collecting garbage
Compiler

Compiled 186 to 84 computations (54.8% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...