ENA, Section 1.4, Exercise 4b, n=2

Time bar (total: 5.2s)

analyze0.0ms (0%)

Memory
0.7MiB live, 0.7MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%25.7%74.3%0%0%0%0
100%25.7%0%74.3%0%0%0%1
Compiler

Compiled 25 to 18 computations (28% saved)

sample1.6s (31.1%)

Memory
15.6MiB live, 2 027.3MiB allocated
Samples
585.0ms2 528×1valid
508.0ms5 215×0valid
140.0ms513×2valid
Precisions
Click to see histograms. Total time spent on operations: 866.0ms
ival-pow2: 295.0ms (34.1% of total)
ival-sub: 172.0ms (19.9% of total)
ival-<=: 152.0ms (17.6% of total)
ival-add: 135.0ms (15.6% of total)
adjust: 72.0ms (8.3% of total)
ival-and: 21.0ms (2.4% of total)
exact: 17.0ms (2% of total)
ival-assert: 3.0ms (0.3% of total)
Bogosity

preprocess801.0ms (15.3%)

Memory
-3.9MiB live, 647.0MiB allocated
Algorithm
1×egg-herbie
Rules
18 770×lower-fma.f64
18 770×lower-fma.f32
2 836×lower-*.f64
2 836×lower-*.f32
2 498×lower-+.f32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01955
14547
214945
354235
4166035
5380035
6526935
7598935
8621635
9632235
10634335
11634335
12634335
13634335
14643435
15676235
16756035
17799635
079
0119
1169
2369
3969
42767
58617
623747
742777
859217
969137
1073387
1176067
1276127
1376127
080476
Stop Event
1×iter limit
1×node limit
1×iter limit
1×node limit
Calls
Call 1
Inputs
(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))
Outputs
(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))
(*.f64 eps (+.f64 eps (+.f64 x x)))

explain146.0ms (2.8%)

Memory
9.7MiB live, 120.9MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
691(-5.487136353461413e-142 1.6854247830608878e-182)0-(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))
00-0-eps
00-0-(pow.f64 x #s(literal 2 binary64))
00-0-#s(literal 2 binary64)
00-0-(pow.f64 (+.f64 x eps) #s(literal 2 binary64))
00-0-(+.f64 x eps)
00-0-x
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))cancellation700
Confusion
Predicted +Predicted -
+690
-1186
Precision
0.9857142857142858
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+6900
-10186
Precision?
0.9857142857142858
Recall?
1.0
Freqs
test
numberfreq
0186
170
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
23.0ms34×2valid
19.0ms332×0valid
17.0ms146×1valid
Compiler

Compiled 72 to 32 computations (55.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 42.0ms
adjust: 21.0ms (49.5% of total)
ival-pow2: 14.0ms (33% of total)
ival-add: 4.0ms (9.4% of total)
ival-sub: 3.0ms (7.1% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)

eval0.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated
Compiler

Compiled 2 to 2 computations (0% saved)

prune1.0ms (0%)

Memory
1.8MiB live, 1.8MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶75.9%
(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))
Compiler

Compiled 11 to 7 computations (36.4% saved)

simplify410.0ms (7.8%)

Memory
-34.2MiB live, 558.3MiB allocated
Algorithm
1×egg-herbie
Localize:

Found 4 expressions of interest:

NewMetricScoreProgram
✓cost-diff0
(+.f64 x eps)
✓cost-diff512
(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))
✓cost-diff5952
(pow.f64 (+.f64 x eps) #s(literal 2 binary64))
✓cost-diff6144
(pow.f64 x #s(literal 2 binary64))
Rules
18 770×lower-fma.f64
18 770×lower-fma.f32
2 836×lower-*.f64
2 836×lower-*.f32
2 498×lower-+.f32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0723
01123
11623
23623
39623
427621
586121
6237421
7427721
8592121
9691321
10733821
11760621
12761221
13761221
0804720
Stop Event
1×iter limit
1×node limit
1×iter limit
Calls
Call 1
Inputs
(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))
(pow.f64 (+.f64 x eps) #s(literal 2 binary64))
(+.f64 x eps)
x
eps
#s(literal 2 binary64)
(pow.f64 x #s(literal 2 binary64))
Outputs
(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))
(*.f64 eps (+.f64 eps (+.f64 x x)))
(pow.f64 (+.f64 x eps) #s(literal 2 binary64))
(*.f64 (+.f64 x eps) (+.f64 x eps))
(+.f64 x eps)
x
eps
#s(literal 2 binary64)
(pow.f64 x #s(literal 2 binary64))
(*.f64 x x)

localize40.0ms (0.8%)

Memory
10.1MiB live, 49.5MiB allocated
Localize:

Found 4 expressions of interest:

NewMetricScoreProgram
✓accuracy100.0%
(pow.f64 x #s(literal 2 binary64))
✓accuracy100.0%
(+.f64 x eps)
✓accuracy100.0%
(pow.f64 (+.f64 x eps) #s(literal 2 binary64))
✓accuracy76.0%
(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))
Samples
19.0ms73×1valid
10.0ms166×0valid
3.0ms17×2valid
Compiler

Compiled 25 to 9 computations (64% saved)

Precisions
Click to see histograms. Total time spent on operations: 23.0ms
ival-add: 13.0ms (56.3% of total)
ival-pow2: 7.0ms (30.3% of total)
adjust: 2.0ms (8.7% of total)
ival-sub: 2.0ms (8.7% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)

series4.0ms (0.1%)

Memory
11.8MiB live, 11.8MiB allocated
Counts
4 → 84
Calls
Call 1
Inputs
#<alt (pow.f64 x #s(literal 2 binary64))>
#<alt (pow.f64 (+.f64 x eps) #s(literal 2 binary64))>
#<alt (-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))>
#<alt (+.f64 x eps)>
Outputs
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow eps 2)>
#<alt (+ (* 2 (* eps x)) (pow eps 2))>
#<alt (+ (* x (+ x (* 2 eps))) (pow eps 2))>
#<alt (+ (* x (+ x (* 2 eps))) (pow eps 2))>
#<alt (pow x 2)>
#<alt (* (pow x 2) (+ 1 (* 2 (/ eps x))))>
#<alt (* (pow x 2) (+ 1 (+ (* 2 (/ eps x)) (/ (pow eps 2) (pow x 2)))))>
#<alt (* (pow x 2) (+ 1 (+ (* 2 (/ eps x)) (/ (pow eps 2) (pow x 2)))))>
#<alt (pow x 2)>
#<alt (* (pow x 2) (+ 1 (* 2 (/ eps x))))>
#<alt (* (pow x 2) (+ 1 (* -1 (/ (+ (* -2 eps) (* -1 (/ (pow eps 2) x))) x))))>
#<alt (* (pow x 2) (+ 1 (* -1 (/ (+ (* -2 eps) (* -1 (/ (pow eps 2) x))) x))))>
#<alt (pow x 2)>
#<alt (+ (* 2 (* eps x)) (pow x 2))>
#<alt (+ (* eps (+ eps (* 2 x))) (pow x 2))>
#<alt (+ (* eps (+ eps (* 2 x))) (pow x 2))>
#<alt (pow eps 2)>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (* (pow eps 2) (+ 1 (+ (* 2 (/ x eps)) (/ (pow x 2) (pow eps 2)))))>
#<alt (* (pow eps 2) (+ 1 (+ (* 2 (/ x eps)) (/ (pow x 2) (pow eps 2)))))>
#<alt (pow eps 2)>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (* (pow eps 2) (+ 1 (* -1 (/ (+ (* -2 x) (* -1 (/ (pow x 2) eps))) eps))))>
#<alt (* (pow eps 2) (+ 1 (* -1 (/ (+ (* -2 x) (* -1 (/ (pow x 2) eps))) eps))))>
#<alt (pow eps 2)>
#<alt (+ (* 2 (* eps x)) (pow eps 2))>
#<alt (+ (* 2 (* eps x)) (pow eps 2))>
#<alt (+ (* 2 (* eps x)) (pow eps 2))>
#<alt (* 2 (* eps x))>
#<alt (* x (+ (* 2 eps) (/ (pow eps 2) x)))>
#<alt (* x (+ (* 2 eps) (/ (pow eps 2) x)))>
#<alt (* x (+ (* 2 eps) (/ (pow eps 2) x)))>
#<alt (* 2 (* eps x))>
#<alt (* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))>
#<alt (* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))>
#<alt (* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))>
#<alt (* 2 (* eps x))>
#<alt (* eps (+ eps (* 2 x)))>
#<alt (* eps (+ eps (* 2 x)))>
#<alt (* eps (+ eps (* 2 x)))>
#<alt (pow eps 2)>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (pow eps 2)>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt eps>
#<alt (+ eps x)>
#<alt (+ eps x)>
#<alt (+ eps x)>
#<alt x>
#<alt (* x (+ 1 (/ eps x)))>
#<alt (* x (+ 1 (/ eps x)))>
#<alt (* x (+ 1 (/ eps x)))>
#<alt x>
#<alt (* -1 (* x (- (* -1 (/ eps x)) 1)))>
#<alt (* -1 (* x (- (* -1 (/ eps x)) 1)))>
#<alt (* -1 (* x (- (* -1 (/ eps x)) 1)))>
#<alt x>
#<alt (+ eps x)>
#<alt (+ eps x)>
#<alt (+ eps x)>
#<alt eps>
#<alt (* eps (+ 1 (/ x eps)))>
#<alt (* eps (+ 1 (/ x eps)))>
#<alt (* eps (+ 1 (/ x eps)))>
#<alt eps>
#<alt (* -1 (* eps (- (* -1 (/ x eps)) 1)))>
#<alt (* -1 (* eps (- (* -1 (/ x eps)) 1)))>
#<alt (* -1 (* eps (- (* -1 (/ x eps)) 1)))>
Calls

21 calls:

TimeVariablePointExpression
0.0ms
eps
@inf
(pow (+ x eps) 2)
0.0ms
x
@inf
(pow x 2)
0.0ms
x
@0
(pow x 2)
0.0ms
x
@0
(pow (+ x eps) 2)
0.0ms
eps
@0
(- (pow (+ x eps) 2) (pow x 2))

simplify254.0ms (4.8%)

Memory
-2.5MiB live, 439.5MiB allocated
Algorithm
1×egg-herbie
Rules
9 222×lower-fma.f64
9 222×lower-fma.f32
3 242×lower-*.f64
3 242×lower-*.f32
1 646×lower--.f64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
069492
1214450
2574450
31825438
44173438
57244438
08097390
Stop Event
1×iter limit
1×node limit
Counts
84 → 78
Calls
Call 1
Inputs
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(pow eps 2)
(+ (* 2 (* eps x)) (pow eps 2))
(+ (* x (+ x (* 2 eps))) (pow eps 2))
(+ (* x (+ x (* 2 eps))) (pow eps 2))
(pow x 2)
(* (pow x 2) (+ 1 (* 2 (/ eps x))))
(* (pow x 2) (+ 1 (+ (* 2 (/ eps x)) (/ (pow eps 2) (pow x 2)))))
(* (pow x 2) (+ 1 (+ (* 2 (/ eps x)) (/ (pow eps 2) (pow x 2)))))
(pow x 2)
(* (pow x 2) (+ 1 (* 2 (/ eps x))))
(* (pow x 2) (+ 1 (* -1 (/ (+ (* -2 eps) (* -1 (/ (pow eps 2) x))) x))))
(* (pow x 2) (+ 1 (* -1 (/ (+ (* -2 eps) (* -1 (/ (pow eps 2) x))) x))))
(pow x 2)
(+ (* 2 (* eps x)) (pow x 2))
(+ (* eps (+ eps (* 2 x))) (pow x 2))
(+ (* eps (+ eps (* 2 x))) (pow x 2))
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (+ (* 2 (/ x eps)) (/ (pow x 2) (pow eps 2)))))
(* (pow eps 2) (+ 1 (+ (* 2 (/ x eps)) (/ (pow x 2) (pow eps 2)))))
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* -1 (/ (+ (* -2 x) (* -1 (/ (pow x 2) eps))) eps))))
(* (pow eps 2) (+ 1 (* -1 (/ (+ (* -2 x) (* -1 (/ (pow x 2) eps))) eps))))
(pow eps 2)
(+ (* 2 (* eps x)) (pow eps 2))
(+ (* 2 (* eps x)) (pow eps 2))
(+ (* 2 (* eps x)) (pow eps 2))
(* 2 (* eps x))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* 2 (* eps x))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* 2 (* eps x))
(* eps (+ eps (* 2 x)))
(* eps (+ eps (* 2 x)))
(* eps (+ eps (* 2 x)))
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
eps
(+ eps x)
(+ eps x)
(+ eps x)
x
(* x (+ 1 (/ eps x)))
(* x (+ 1 (/ eps x)))
(* x (+ 1 (/ eps x)))
x
(* -1 (* x (- (* -1 (/ eps x)) 1)))
(* -1 (* x (- (* -1 (/ eps x)) 1)))
(* -1 (* x (- (* -1 (/ eps x)) 1)))
x
(+ eps x)
(+ eps x)
(+ eps x)
eps
(* eps (+ 1 (/ x eps)))
(* eps (+ 1 (/ x eps)))
(* eps (+ 1 (/ x eps)))
eps
(* -1 (* eps (- (* -1 (/ x eps)) 1)))
(* -1 (* eps (- (* -1 (/ x eps)) 1)))
(* -1 (* eps (- (* -1 (/ x eps)) 1)))
Outputs
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow eps 2)
(*.f64 eps eps)
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 eps (fma.f64 x #s(literal 2 binary64) eps))
(+ (* x (+ x (* 2 eps))) (pow eps 2))
(fma.f64 x x (*.f64 eps (fma.f64 x #s(literal 2 binary64) eps)))
(+ (* x (+ x (* 2 eps))) (pow eps 2))
(fma.f64 x x (*.f64 eps (fma.f64 x #s(literal 2 binary64) eps)))
(pow x 2)
(*.f64 x x)
(* (pow x 2) (+ 1 (* 2 (/ eps x))))
(*.f64 x (fma.f64 #s(literal 2 binary64) eps x))
(* (pow x 2) (+ 1 (+ (* 2 (/ eps x)) (/ (pow eps 2) (pow x 2)))))
(fma.f64 x x (*.f64 eps (fma.f64 x #s(literal 2 binary64) eps)))
(* (pow x 2) (+ 1 (+ (* 2 (/ eps x)) (/ (pow eps 2) (pow x 2)))))
(fma.f64 x x (*.f64 eps (fma.f64 x #s(literal 2 binary64) eps)))
(pow x 2)
(*.f64 x x)
(* (pow x 2) (+ 1 (* 2 (/ eps x))))
(*.f64 x (fma.f64 #s(literal 2 binary64) eps x))
(* (pow x 2) (+ 1 (* -1 (/ (+ (* -2 eps) (* -1 (/ (pow eps 2) x))) x))))
(fma.f64 x x (*.f64 eps (fma.f64 x #s(literal 2 binary64) eps)))
(* (pow x 2) (+ 1 (* -1 (/ (+ (* -2 eps) (* -1 (/ (pow eps 2) x))) x))))
(fma.f64 x x (*.f64 eps (fma.f64 x #s(literal 2 binary64) eps)))
(pow x 2)
(*.f64 x x)
(+ (* 2 (* eps x)) (pow x 2))
(*.f64 x (fma.f64 #s(literal 2 binary64) eps x))
(+ (* eps (+ eps (* 2 x))) (pow x 2))
(fma.f64 x x (*.f64 eps (fma.f64 x #s(literal 2 binary64) eps)))
(+ (* eps (+ eps (* 2 x))) (pow x 2))
(fma.f64 x x (*.f64 eps (fma.f64 x #s(literal 2 binary64) eps)))
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 eps (fma.f64 x #s(literal 2 binary64) eps))
(* (pow eps 2) (+ 1 (+ (* 2 (/ x eps)) (/ (pow x 2) (pow eps 2)))))
(fma.f64 x x (*.f64 eps (fma.f64 x #s(literal 2 binary64) eps)))
(* (pow eps 2) (+ 1 (+ (* 2 (/ x eps)) (/ (pow x 2) (pow eps 2)))))
(fma.f64 x x (*.f64 eps (fma.f64 x #s(literal 2 binary64) eps)))
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 eps (fma.f64 x #s(literal 2 binary64) eps))
(* (pow eps 2) (+ 1 (* -1 (/ (+ (* -2 x) (* -1 (/ (pow x 2) eps))) eps))))
(fma.f64 x x (*.f64 eps (fma.f64 x #s(literal 2 binary64) eps)))
(* (pow eps 2) (+ 1 (* -1 (/ (+ (* -2 x) (* -1 (/ (pow x 2) eps))) eps))))
(fma.f64 x x (*.f64 eps (fma.f64 x #s(literal 2 binary64) eps)))
(pow eps 2)
(*.f64 eps eps)
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 eps (fma.f64 x #s(literal 2 binary64) eps))
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 eps (fma.f64 x #s(literal 2 binary64) eps))
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 eps (fma.f64 x #s(literal 2 binary64) eps))
(* 2 (* eps x))
(*.f64 x (*.f64 #s(literal 2 binary64) eps))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 eps (fma.f64 x #s(literal 2 binary64) eps))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 eps (fma.f64 x #s(literal 2 binary64) eps))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 eps (fma.f64 x #s(literal 2 binary64) eps))
(* 2 (* eps x))
(*.f64 x (*.f64 #s(literal 2 binary64) eps))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 eps (fma.f64 x #s(literal 2 binary64) eps))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 eps (fma.f64 x #s(literal 2 binary64) eps))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 eps (fma.f64 x #s(literal 2 binary64) eps))
(* 2 (* eps x))
(*.f64 x (*.f64 #s(literal 2 binary64) eps))
(* eps (+ eps (* 2 x)))
(*.f64 eps (fma.f64 x #s(literal 2 binary64) eps))
(* eps (+ eps (* 2 x)))
(*.f64 eps (fma.f64 x #s(literal 2 binary64) eps))
(* eps (+ eps (* 2 x)))
(*.f64 eps (fma.f64 x #s(literal 2 binary64) eps))
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 eps (fma.f64 x #s(literal 2 binary64) eps))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 eps (fma.f64 x #s(literal 2 binary64) eps))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 eps (fma.f64 x #s(literal 2 binary64) eps))
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 eps (fma.f64 x #s(literal 2 binary64) eps))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 eps (fma.f64 x #s(literal 2 binary64) eps))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 eps (fma.f64 x #s(literal 2 binary64) eps))
eps
(+ eps x)
(+.f64 x eps)
(+ eps x)
(+.f64 x eps)
(+ eps x)
(+.f64 x eps)
x
(* x (+ 1 (/ eps x)))
(+.f64 x eps)
(* x (+ 1 (/ eps x)))
(+.f64 x eps)
(* x (+ 1 (/ eps x)))
(+.f64 x eps)
x
(* -1 (* x (- (* -1 (/ eps x)) 1)))
(+.f64 x eps)
(* -1 (* x (- (* -1 (/ eps x)) 1)))
(+.f64 x eps)
(* -1 (* x (- (* -1 (/ eps x)) 1)))
(+.f64 x eps)
x
(+ eps x)
(+.f64 x eps)
(+ eps x)
(+.f64 x eps)
(+ eps x)
(+.f64 x eps)
eps
(* eps (+ 1 (/ x eps)))
(+.f64 x eps)
(* eps (+ 1 (/ x eps)))
(+.f64 x eps)
(* eps (+ 1 (/ x eps)))
(+.f64 x eps)
eps
(* -1 (* eps (- (* -1 (/ x eps)) 1)))
(+.f64 x eps)
(* -1 (* eps (- (* -1 (/ x eps)) 1)))
(+.f64 x eps)
(* -1 (* eps (- (* -1 (/ x eps)) 1)))
(+.f64 x eps)

rewrite332.0ms (6.3%)

Memory
-12.5MiB live, 426.7MiB allocated
Algorithm
1×batch-egg-rewrite
Rules
5 048×lower-fma.f64
5 048×lower-fma.f32
4 066×lower-*.f64
4 066×lower-*.f32
2 090×lower-/.f64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0720
01120
15220
237120
3510720
0821920
Stop Event
1×iter limit
1×node limit
1×iter limit
Counts
4 → 371
Calls
Call 1
Inputs
(pow.f64 x #s(literal 2 binary64))
(pow.f64 (+.f64 x eps) #s(literal 2 binary64))
(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))
(+.f64 x eps)
Outputs
(exp.f64 (*.f64 #s(literal 2 binary64) (log.f64 x)))
(exp.f64 (*.f64 (*.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal 1 binary64)))
(exp.f64 (*.f64 (log.f64 (exp.f64 #s(literal 2 binary64))) (log.f64 x)))
(exp.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (log.f64 x)) #s(literal 4 binary64)))
(exp.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal 1 binary64)) #s(literal 1 binary64)))
(exp.f64 (*.f64 (*.f64 (log.f64 x) #s(literal 1/2 binary64)) #s(literal 4 binary64)))
(pow.f64 x #s(literal 2 binary64))
(pow.f64 (*.f64 x x) #s(literal 1 binary64))
(pow.f64 (*.f64 x (*.f64 x (*.f64 x x))) #s(literal 1/2 binary64))
(pow.f64 (sqrt.f64 x) #s(literal 4 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 x))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 1 binary64)) (log.f64 x))
(*.f64 x x)
(*.f64 (*.f64 x (sqrt.f64 x)) (sqrt.f64 x))
(*.f64 (sqrt.f64 x) (*.f64 x (sqrt.f64 x)))
(*.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 #s(literal 1/2 binary64) (log.f64 x))) (pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 #s(literal 1/2 binary64) (log.f64 x))))
(+.f64 (*.f64 x (+.f64 x eps)) (*.f64 eps (+.f64 x eps)))
(+.f64 (*.f64 eps (+.f64 x eps)) (*.f64 x (+.f64 x eps)))
(exp.f64 (*.f64 #s(literal 2 binary64) (log.f64 (+.f64 x eps))))
(exp.f64 (*.f64 (*.f64 #s(literal 2 binary64) (log.f64 (+.f64 x eps))) #s(literal 1 binary64)))
(exp.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (log.f64 (+.f64 x eps))) #s(literal 4 binary64)))
(exp.f64 (*.f64 (log.f64 (exp.f64 #s(literal 2 binary64))) (log.f64 (+.f64 x eps))))
(exp.f64 (*.f64 (*.f64 (log.f64 (+.f64 x eps)) #s(literal 1/2 binary64)) #s(literal 4 binary64)))
(exp.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (log.f64 (+.f64 x eps))) #s(literal 1 binary64)) #s(literal 1 binary64)))
(fma.f64 x (+.f64 x eps) (*.f64 eps (+.f64 x eps)))
(fma.f64 eps (+.f64 x eps) (*.f64 x (+.f64 x eps)))
(fma.f64 (+.f64 x eps) x (*.f64 eps (+.f64 x eps)))
(fma.f64 (+.f64 x eps) eps (*.f64 x (+.f64 x eps)))
(fma.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x x (*.f64 eps (-.f64 eps x)))) eps) (*.f64 x (+.f64 x eps)))
(fma.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x x (*.f64 eps (-.f64 eps x)))) x) (*.f64 eps (+.f64 x eps)))
(fma.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)) (*.f64 (/.f64 #s(literal 1 binary64) (-.f64 x eps)) eps) (*.f64 x (+.f64 x eps)))
(fma.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)) (*.f64 (/.f64 #s(literal 1 binary64) (-.f64 x eps)) x) (*.f64 eps (+.f64 x eps)))
(fma.f64 (sqrt.f64 x) (*.f64 (+.f64 x eps) (sqrt.f64 x)) (*.f64 eps (+.f64 x eps)))
(fma.f64 (sqrt.f64 (+.f64 x eps)) (*.f64 x (sqrt.f64 (+.f64 x eps))) (*.f64 eps (+.f64 x eps)))
(fma.f64 (sqrt.f64 (+.f64 x eps)) (*.f64 (sqrt.f64 (+.f64 x eps)) eps) (*.f64 x (+.f64 x eps)))
(fma.f64 (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x eps))) (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x eps))) (*.f64 eps (+.f64 x eps)))
(fma.f64 (*.f64 (+.f64 x eps) (sqrt.f64 x)) (sqrt.f64 x) (*.f64 eps (+.f64 x eps)))
(fma.f64 (*.f64 x (sqrt.f64 (+.f64 x eps))) (sqrt.f64 (+.f64 x eps)) (*.f64 eps (+.f64 x eps)))
(fma.f64 (*.f64 x (*.f64 (+.f64 x eps) (-.f64 x eps))) (/.f64 #s(literal 1 binary64) (-.f64 x eps)) (*.f64 eps (+.f64 x eps)))
(fma.f64 (*.f64 eps (*.f64 (+.f64 x eps) (-.f64 x eps))) (/.f64 #s(literal 1 binary64) (-.f64 x eps)) (*.f64 x (+.f64 x eps)))
(fma.f64 (*.f64 x (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps)))) (/.f64 #s(literal 1 binary64) (fma.f64 x x (*.f64 eps (-.f64 eps x)))) (*.f64 eps (+.f64 x eps)))
(fma.f64 (*.f64 eps (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps)))) (/.f64 #s(literal 1 binary64) (fma.f64 x x (*.f64 eps (-.f64 eps x)))) (*.f64 x (+.f64 x eps)))
(fma.f64 (*.f64 eps (sqrt.f64 (+.f64 x eps))) (sqrt.f64 (+.f64 x eps)) (*.f64 x (+.f64 x eps)))
(/.f64 (+.f64 x eps) (/.f64 #s(literal 1 binary64) (+.f64 x eps)))
(/.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 x eps)) (/.f64 #s(literal 1 binary64) (+.f64 x eps))))
(/.f64 #s(literal 1 binary64) (/.f64 (*.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))) (fma.f64 x x (*.f64 eps (-.f64 eps x)))) (*.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))))))
(/.f64 #s(literal 1 binary64) (/.f64 (*.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))) (-.f64 x eps)) (*.f64 (*.f64 (+.f64 x eps) (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps)))) (-.f64 x eps))))
(/.f64 #s(literal 1 binary64) (/.f64 (*.f64 (-.f64 x eps) (-.f64 x eps)) (*.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)) (*.f64 (+.f64 x eps) (-.f64 x eps)))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))) (*.f64 (+.f64 x eps) (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))))))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 x eps) (*.f64 (*.f64 (+.f64 x eps) (+.f64 x eps)) (-.f64 x eps))))
(/.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 #s(literal 2 binary64)) (neg.f64 (log.f64 (+.f64 x eps)))))
(/.f64 (*.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps)))) (*.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))) (fma.f64 x x (*.f64 eps (-.f64 eps x)))))
(/.f64 (*.f64 (*.f64 (+.f64 x eps) (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps)))) (-.f64 x eps)) (*.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))) (-.f64 x eps)))
(/.f64 (*.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)) (*.f64 (+.f64 x eps) (-.f64 x eps))) (*.f64 (-.f64 x eps) (-.f64 x eps)))
(/.f64 (*.f64 (+.f64 x eps) (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps)))) (fma.f64 x x (*.f64 eps (-.f64 eps x))))
(/.f64 (*.f64 (*.f64 (+.f64 x eps) (+.f64 x eps)) (-.f64 x eps)) (-.f64 x eps))
(/.f64 (*.f64 #s(literal 1 binary64) (*.f64 (+.f64 x eps) (-.f64 x eps))) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 x eps)) (-.f64 x eps)))
(/.f64 (*.f64 (neg.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps)))) (*.f64 (+.f64 x eps) (-.f64 x eps))) (*.f64 (neg.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x)))) (-.f64 x eps)))
(/.f64 (*.f64 (neg.f64 (*.f64 (+.f64 x eps) (-.f64 x eps))) (*.f64 (+.f64 x eps) (-.f64 x eps))) (*.f64 (neg.f64 (-.f64 x eps)) (-.f64 x eps)))
(/.f64 (*.f64 (*.f64 (+.f64 x eps) (-.f64 eps x)) (*.f64 (+.f64 x eps) (-.f64 x eps))) (*.f64 (-.f64 eps x) (-.f64 x eps)))
(/.f64 (*.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) #s(literal 1 binary64)) (*.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))) (/.f64 #s(literal 1 binary64) (+.f64 x eps))))
(/.f64 (*.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) (neg.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))))) (*.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))) (neg.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))))))
(/.f64 (*.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) (neg.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)))) (*.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))) (neg.f64 (-.f64 x eps))))
(/.f64 (*.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) (*.f64 (+.f64 x eps) (-.f64 eps x))) (*.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))) (-.f64 eps x)))
(/.f64 (*.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)) #s(literal 1 binary64)) (*.f64 (-.f64 x eps) (/.f64 #s(literal 1 binary64) (+.f64 x eps))))
(/.f64 (*.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)) (neg.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))))) (*.f64 (-.f64 x eps) (neg.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))))))
(/.f64 (*.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)) (neg.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)))) (*.f64 (-.f64 x eps) (neg.f64 (-.f64 x eps))))
(/.f64 (*.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)) (*.f64 (+.f64 x eps) (-.f64 eps x))) (*.f64 (-.f64 x eps) (-.f64 eps x)))
(/.f64 (*.f64 #s(literal 1 binary64) (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps)))) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 x eps)) (fma.f64 x x (*.f64 eps (-.f64 eps x)))))
(/.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))))) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 x eps)) (neg.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))))))
(/.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)))) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 x eps)) (neg.f64 (-.f64 x eps))))
(/.f64 (*.f64 #s(literal 1 binary64) (*.f64 (+.f64 x eps) (-.f64 eps x))) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 x eps)) (-.f64 eps x)))
(/.f64 (*.f64 (neg.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps)))) (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps)))) (*.f64 (neg.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x)))) (fma.f64 x x (*.f64 eps (-.f64 eps x)))))
(/.f64 (*.f64 (neg.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps)))) #s(literal 1 binary64)) (*.f64 (neg.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x)))) (/.f64 #s(literal 1 binary64) (+.f64 x eps))))
(/.f64 (*.f64 (neg.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps)))) (neg.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))))) (*.f64 (neg.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x)))) (neg.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))))))
(/.f64 (*.f64 (neg.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps)))) (neg.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)))) (*.f64 (neg.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x)))) (neg.f64 (-.f64 x eps))))
(/.f64 (*.f64 (neg.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps)))) (*.f64 (+.f64 x eps) (-.f64 eps x))) (*.f64 (neg.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x)))) (-.f64 eps x)))
(/.f64 (*.f64 (neg.f64 (*.f64 (+.f64 x eps) (-.f64 x eps))) (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps)))) (*.f64 (neg.f64 (-.f64 x eps)) (fma.f64 x x (*.f64 eps (-.f64 eps x)))))
(/.f64 (*.f64 (neg.f64 (*.f64 (+.f64 x eps) (-.f64 x eps))) #s(literal 1 binary64)) (*.f64 (neg.f64 (-.f64 x eps)) (/.f64 #s(literal 1 binary64) (+.f64 x eps))))
(/.f64 (*.f64 (neg.f64 (*.f64 (+.f64 x eps) (-.f64 x eps))) (neg.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))))) (*.f64 (neg.f64 (-.f64 x eps)) (neg.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))))))
(/.f64 (*.f64 (neg.f64 (*.f64 (+.f64 x eps) (-.f64 x eps))) (neg.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)))) (*.f64 (neg.f64 (-.f64 x eps)) (neg.f64 (-.f64 x eps))))
(/.f64 (*.f64 (neg.f64 (*.f64 (+.f64 x eps) (-.f64 x eps))) (*.f64 (+.f64 x eps) (-.f64 eps x))) (*.f64 (neg.f64 (-.f64 x eps)) (-.f64 eps x)))
(/.f64 (*.f64 (*.f64 (+.f64 x eps) (-.f64 eps x)) (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps)))) (*.f64 (-.f64 eps x) (fma.f64 x x (*.f64 eps (-.f64 eps x)))))
(/.f64 (*.f64 (*.f64 (+.f64 x eps) (-.f64 eps x)) #s(literal 1 binary64)) (*.f64 (-.f64 eps x) (/.f64 #s(literal 1 binary64) (+.f64 x eps))))
(/.f64 (*.f64 (*.f64 (+.f64 x eps) (-.f64 eps x)) (neg.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))))) (*.f64 (-.f64 eps x) (neg.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))))))
(/.f64 (*.f64 (*.f64 (+.f64 x eps) (-.f64 eps x)) (neg.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)))) (*.f64 (-.f64 eps x) (neg.f64 (-.f64 x eps))))
(/.f64 (*.f64 (*.f64 (+.f64 x eps) (-.f64 eps x)) (*.f64 (+.f64 x eps) (-.f64 eps x))) (*.f64 (-.f64 eps x) (-.f64 eps x)))
(/.f64 (neg.f64 (*.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))))) (neg.f64 (*.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))) (fma.f64 x x (*.f64 eps (-.f64 eps x))))))
(/.f64 (neg.f64 (*.f64 (*.f64 (+.f64 x eps) (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps)))) (-.f64 x eps))) (neg.f64 (*.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))) (-.f64 x eps))))
(/.f64 (neg.f64 (*.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)) (*.f64 (+.f64 x eps) (-.f64 x eps)))) (neg.f64 (*.f64 (-.f64 x eps) (-.f64 x eps))))
(/.f64 (neg.f64 (*.f64 (+.f64 x eps) (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))))) (neg.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x)))))
(/.f64 (neg.f64 (*.f64 (*.f64 (+.f64 x eps) (+.f64 x eps)) (-.f64 x eps))) (neg.f64 (-.f64 x eps)))
(/.f64 (fma.f64 (*.f64 (*.f64 x x) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (+.f64 x eps)) (*.f64 (*.f64 (*.f64 eps (+.f64 x eps)) (*.f64 eps (+.f64 x eps))) (*.f64 eps (+.f64 x eps)))) (fma.f64 x (*.f64 (+.f64 x eps) (*.f64 x (+.f64 x eps))) (-.f64 (*.f64 (*.f64 eps (+.f64 x eps)) (*.f64 eps (+.f64 x eps))) (*.f64 (*.f64 x (+.f64 x eps)) (*.f64 eps (+.f64 x eps))))))
(/.f64 (fma.f64 (*.f64 (*.f64 eps (+.f64 x eps)) (*.f64 eps (+.f64 x eps))) (*.f64 eps (+.f64 x eps)) (*.f64 (*.f64 (*.f64 x x) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (+.f64 x eps)))) (fma.f64 (*.f64 eps (+.f64 x eps)) (*.f64 eps (+.f64 x eps)) (-.f64 (*.f64 (*.f64 x x) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 (*.f64 eps (+.f64 x eps)) (*.f64 x (+.f64 x eps))))))
(/.f64 (-.f64 (*.f64 (*.f64 x x) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 (*.f64 eps (+.f64 x eps)) (*.f64 eps (+.f64 x eps)))) (-.f64 (*.f64 x (+.f64 x eps)) (*.f64 eps (+.f64 x eps))))
(/.f64 (-.f64 (*.f64 (*.f64 eps (+.f64 x eps)) (*.f64 eps (+.f64 x eps))) (*.f64 (*.f64 x x) (*.f64 (+.f64 x eps) (+.f64 x eps)))) (-.f64 (*.f64 eps (+.f64 x eps)) (*.f64 x (+.f64 x eps))))
(/.f64 (*.f64 (+.f64 x eps) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (+.f64 x eps)))
(/.f64 (*.f64 (+.f64 x eps) (neg.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))))) (neg.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x)))))
(/.f64 (*.f64 (+.f64 x eps) (neg.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)))) (neg.f64 (-.f64 x eps)))
(/.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (-.f64 eps x))) (-.f64 eps x))
(/.f64 (*.f64 (neg.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps)))) (+.f64 x eps)) (neg.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x)))))
(/.f64 (*.f64 (neg.f64 (*.f64 (+.f64 x eps) (-.f64 x eps))) (+.f64 x eps)) (neg.f64 (-.f64 x eps)))
(/.f64 (*.f64 (*.f64 (+.f64 x eps) (-.f64 eps x)) (+.f64 x eps)) (-.f64 eps x))
(/.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))))) (pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))))))
(/.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)))) (pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 (-.f64 x eps))))
(/.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 (neg.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps)))))) (pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 (neg.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x)))))))
(/.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 (neg.f64 (*.f64 (+.f64 x eps) (-.f64 x eps))))) (pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 (neg.f64 (-.f64 x eps)))))
(/.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 (*.f64 (+.f64 x eps) (-.f64 eps x)))) (pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 (-.f64 eps x))))
(pow.f64 (+.f64 x eps) #s(literal 2 binary64))
(pow.f64 (*.f64 (+.f64 x eps) (+.f64 x eps)) #s(literal 1 binary64))
(pow.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))) #s(literal 1/2 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 x eps)) #s(literal -2 binary64))
(pow.f64 (sqrt.f64 (+.f64 x eps)) #s(literal 4 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 (+.f64 x eps)))
(pow.f64 (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 x eps)) (/.f64 #s(literal 1 binary64) (+.f64 x eps))) #s(literal -1 binary64))
(pow.f64 (/.f64 (*.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))) (fma.f64 x x (*.f64 eps (-.f64 eps x)))) (*.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))))) #s(literal -1 binary64))
(pow.f64 (/.f64 (*.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))) (-.f64 x eps)) (*.f64 (*.f64 (+.f64 x eps) (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps)))) (-.f64 x eps))) #s(literal -1 binary64))
(pow.f64 (/.f64 (*.f64 (-.f64 x eps) (-.f64 x eps)) (*.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)) (*.f64 (+.f64 x eps) (-.f64 x eps)))) #s(literal -1 binary64))
(pow.f64 (/.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))) (*.f64 (+.f64 x eps) (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))))) #s(literal -1 binary64))
(pow.f64 (/.f64 (-.f64 x eps) (*.f64 (*.f64 (+.f64 x eps) (+.f64 x eps)) (-.f64 x eps))) #s(literal -1 binary64))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 1 binary64)) (log.f64 (+.f64 x eps)))
(*.f64 (+.f64 x eps) (+.f64 x eps))
(*.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x x (*.f64 eps (-.f64 eps x)))) (+.f64 x eps)))
(*.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) (/.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) (*.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))) (fma.f64 x x (*.f64 eps (-.f64 eps x))))))
(*.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) (/.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)) (*.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))) (-.f64 x eps))))
(*.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) (/.f64 (+.f64 x eps) (fma.f64 x x (*.f64 eps (-.f64 eps x)))))
(*.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)) (*.f64 (/.f64 #s(literal 1 binary64) (-.f64 x eps)) (+.f64 x eps)))
(*.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)) (/.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) (*.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))) (-.f64 x eps))))
(*.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)) (/.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)) (*.f64 (-.f64 x eps) (-.f64 x eps))))
(*.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)) (/.f64 (+.f64 x eps) (-.f64 x eps)))
(*.f64 (*.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps)))) (/.f64 #s(literal 1 binary64) (*.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))) (fma.f64 x x (*.f64 eps (-.f64 eps x))))))
(*.f64 (*.f64 (*.f64 (+.f64 x eps) (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps)))) (-.f64 x eps)) (/.f64 #s(literal 1 binary64) (*.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))) (-.f64 x eps))))
(*.f64 (*.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)) (*.f64 (+.f64 x eps) (-.f64 x eps))) (/.f64 #s(literal 1 binary64) (*.f64 (-.f64 x eps) (-.f64 x eps))))
(*.f64 (sqrt.f64 (+.f64 x eps)) (*.f64 (+.f64 x eps) (sqrt.f64 (+.f64 x eps))))
(*.f64 (*.f64 (+.f64 x eps) (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps)))) (/.f64 #s(literal 1 binary64) (fma.f64 x x (*.f64 eps (-.f64 eps x)))))
(*.f64 (*.f64 (*.f64 (+.f64 x eps) (+.f64 x eps)) (-.f64 x eps)) (/.f64 #s(literal 1 binary64) (-.f64 x eps)))
(*.f64 (*.f64 (+.f64 x eps) (sqrt.f64 (+.f64 x eps))) (sqrt.f64 (+.f64 x eps)))
(*.f64 (/.f64 (*.f64 (+.f64 x eps) (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps)))) (fma.f64 x (*.f64 x (*.f64 x (*.f64 x (*.f64 x x)))) (*.f64 (*.f64 eps (-.f64 eps x)) (*.f64 (*.f64 eps (-.f64 eps x)) (*.f64 eps (-.f64 eps x)))))) (fma.f64 (*.f64 eps (-.f64 eps x)) (-.f64 (*.f64 eps (-.f64 eps x)) (*.f64 x x)) (*.f64 x (*.f64 x (*.f64 x x)))))
(*.f64 (/.f64 (*.f64 (+.f64 x eps) (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps)))) (*.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))) (-.f64 (*.f64 x x) (*.f64 eps (-.f64 eps x))))) (-.f64 (*.f64 x x) (*.f64 eps (-.f64 eps x))))
(*.f64 (/.f64 (*.f64 (*.f64 (+.f64 x eps) (+.f64 x eps)) (-.f64 x eps)) (*.f64 (+.f64 x eps) (-.f64 x eps))) (+.f64 x eps))
(*.f64 (/.f64 (*.f64 (*.f64 (+.f64 x eps) (+.f64 x eps)) (-.f64 x eps)) (*.f64 (fma.f64 eps (+.f64 x eps) (*.f64 x x)) (-.f64 x eps))) (fma.f64 eps (+.f64 x eps) (*.f64 x x)))
(*.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))))) (pow.f64 (exp.f64 #s(literal 2 binary64)) (neg.f64 (log.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x)))))))
(*.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)))) (pow.f64 (exp.f64 #s(literal 2 binary64)) (neg.f64 (log.f64 (-.f64 x eps)))))
(*.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 #s(literal 1/2 binary64) (log.f64 (+.f64 x eps)))) (pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 #s(literal 1/2 binary64) (log.f64 (+.f64 x eps)))))
(+.f64 (*.f64 (+.f64 x eps) (+.f64 x eps)) (neg.f64 (*.f64 x x)))
(+.f64 (neg.f64 (*.f64 x x)) (*.f64 (+.f64 x eps) (+.f64 x eps)))
(+.f64 (*.f64 x (+.f64 x eps)) (fma.f64 eps (+.f64 x eps) (neg.f64 (*.f64 x x))))
(+.f64 (*.f64 x (+.f64 x eps)) (-.f64 (*.f64 eps (+.f64 x eps)) (*.f64 x x)))
(+.f64 (/.f64 (*.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))) (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))))) (neg.f64 (/.f64 (*.f64 x (*.f64 x (*.f64 x (*.f64 x (*.f64 x x))))) (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))))))))
(+.f64 (/.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))) (neg.f64 (/.f64 (*.f64 x (*.f64 x (*.f64 x x))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)))))
(+.f64 (*.f64 eps (+.f64 x eps)) (fma.f64 x (+.f64 x eps) (neg.f64 (*.f64 x x))))
(+.f64 (*.f64 eps (+.f64 x eps)) (-.f64 (*.f64 x (+.f64 x eps)) (*.f64 x x)))
(+.f64 (fma.f64 x (neg.f64 x) (*.f64 x (+.f64 x eps))) (*.f64 eps (+.f64 x eps)))
(+.f64 (fma.f64 x (neg.f64 x) (*.f64 eps (+.f64 x eps))) (*.f64 x (+.f64 x eps)))
(exp.f64 (*.f64 (log.f64 (/.f64 #s(literal 1 binary64) (*.f64 (+.f64 x (+.f64 x eps)) (+.f64 x (-.f64 eps x))))) #s(literal -1 binary64)))
(-.f64 (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 x x))
(-.f64 #s(literal 0 binary64) (-.f64 (*.f64 x x) (*.f64 (+.f64 x eps) (+.f64 x eps))))
(-.f64 (/.f64 (*.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))) (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))))) (/.f64 (*.f64 x (*.f64 x (*.f64 x (*.f64 x (*.f64 x x))))) (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))))))
(-.f64 (/.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))) (/.f64 (*.f64 x (*.f64 x (*.f64 x x))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))))
(-.f64 (fma.f64 (+.f64 x eps) (+.f64 x eps) #s(literal 0 binary64)) (*.f64 x x))
(fma.f64 x (+.f64 x eps) (fma.f64 eps (+.f64 x eps) (neg.f64 (*.f64 x x))))
(fma.f64 x (+.f64 x eps) (-.f64 (*.f64 eps (+.f64 x eps)) (*.f64 x x)))
(fma.f64 x (neg.f64 x) (*.f64 (+.f64 x eps) (+.f64 x eps)))
(fma.f64 (*.f64 x x) #s(literal -1 binary64) (*.f64 (+.f64 x eps) (+.f64 x eps)))
(fma.f64 eps (+.f64 x eps) (fma.f64 x (+.f64 x eps) (neg.f64 (*.f64 x x))))
(fma.f64 eps (+.f64 x eps) (-.f64 (*.f64 x (+.f64 x eps)) (*.f64 x x)))
(fma.f64 (+.f64 x eps) x (fma.f64 eps (+.f64 x eps) (neg.f64 (*.f64 x x))))
(fma.f64 (+.f64 x eps) x (-.f64 (*.f64 eps (+.f64 x eps)) (*.f64 x x)))
(fma.f64 (+.f64 x eps) eps (fma.f64 x (+.f64 x eps) (neg.f64 (*.f64 x x))))
(fma.f64 (+.f64 x eps) eps (-.f64 (*.f64 x (+.f64 x eps)) (*.f64 x x)))
(fma.f64 (+.f64 x eps) (+.f64 x eps) (neg.f64 (*.f64 x x)))
(fma.f64 (+.f64 x eps) (/.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))) (neg.f64 (/.f64 (*.f64 x (*.f64 x (*.f64 x x))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)))))
(fma.f64 (*.f64 (+.f64 x eps) (+.f64 x eps)) (/.f64 (*.f64 (+.f64 x eps) (+.f64 x eps)) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))) (neg.f64 (/.f64 (*.f64 x (*.f64 x (*.f64 x x))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)))))
(fma.f64 (*.f64 (+.f64 x eps) (+.f64 x eps)) (/.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))) (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))))) (neg.f64 (/.f64 (*.f64 x (*.f64 x (*.f64 x (*.f64 x (*.f64 x x))))) (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))))))))
(fma.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x x (*.f64 eps (-.f64 eps x)))) eps) (fma.f64 x (+.f64 x eps) (neg.f64 (*.f64 x x))))
(fma.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x x (*.f64 eps (-.f64 eps x)))) eps) (-.f64 (*.f64 x (+.f64 x eps)) (*.f64 x x)))
(fma.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x x (*.f64 eps (-.f64 eps x)))) x) (fma.f64 eps (+.f64 x eps) (neg.f64 (*.f64 x x))))
(fma.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x x (*.f64 eps (-.f64 eps x)))) x) (-.f64 (*.f64 eps (+.f64 x eps)) (*.f64 x x)))
(fma.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x x (*.f64 eps (-.f64 eps x)))) (+.f64 x eps)) (neg.f64 (*.f64 x x)))
(fma.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) (/.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) (*.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))) (fma.f64 x x (*.f64 eps (-.f64 eps x))))) (neg.f64 (*.f64 x x)))
(fma.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) (/.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)) (*.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))) (-.f64 x eps))) (neg.f64 (*.f64 x x)))
(fma.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) (/.f64 (+.f64 x eps) (fma.f64 x x (*.f64 eps (-.f64 eps x)))) (neg.f64 (*.f64 x x)))
(fma.f64 (*.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))) (/.f64 #s(literal 1 binary64) (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))))) (neg.f64 (/.f64 (*.f64 x (*.f64 x (*.f64 x (*.f64 x (*.f64 x x))))) (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))))))))
(fma.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))) (/.f64 #s(literal 1 binary64) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))) (neg.f64 (/.f64 (*.f64 x (*.f64 x (*.f64 x x))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)))))
(fma.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))) (/.f64 (*.f64 (+.f64 x eps) (+.f64 x eps)) (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))))) (neg.f64 (/.f64 (*.f64 x (*.f64 x (*.f64 x (*.f64 x (*.f64 x x))))) (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))))))))
(fma.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)) (*.f64 (/.f64 #s(literal 1 binary64) (-.f64 x eps)) eps) (fma.f64 x (+.f64 x eps) (neg.f64 (*.f64 x x))))
(fma.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)) (*.f64 (/.f64 #s(literal 1 binary64) (-.f64 x eps)) eps) (-.f64 (*.f64 x (+.f64 x eps)) (*.f64 x x)))
(fma.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)) (*.f64 (/.f64 #s(literal 1 binary64) (-.f64 x eps)) x) (fma.f64 eps (+.f64 x eps) (neg.f64 (*.f64 x x))))
(fma.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)) (*.f64 (/.f64 #s(literal 1 binary64) (-.f64 x eps)) x) (-.f64 (*.f64 eps (+.f64 x eps)) (*.f64 x x)))
(fma.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)) (*.f64 (/.f64 #s(literal 1 binary64) (-.f64 x eps)) (+.f64 x eps)) (neg.f64 (*.f64 x x)))
(fma.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)) (/.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) (*.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))) (-.f64 x eps))) (neg.f64 (*.f64 x x)))
(fma.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)) (/.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)) (*.f64 (-.f64 x eps) (-.f64 x eps))) (neg.f64 (*.f64 x x)))
(fma.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)) (/.f64 (+.f64 x eps) (-.f64 x eps)) (neg.f64 (*.f64 x x)))
(fma.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (/.f64 (+.f64 x eps) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))) (neg.f64 (/.f64 (*.f64 x (*.f64 x (*.f64 x x))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)))))
(fma.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (/.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))))) (neg.f64 (/.f64 (*.f64 x (*.f64 x (*.f64 x (*.f64 x (*.f64 x x))))) (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))))))))
(fma.f64 (*.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps)))) (/.f64 #s(literal 1 binary64) (*.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))) (fma.f64 x x (*.f64 eps (-.f64 eps x))))) (neg.f64 (*.f64 x x)))
(fma.f64 (*.f64 (*.f64 (+.f64 x eps) (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps)))) (-.f64 x eps)) (/.f64 #s(literal 1 binary64) (*.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))) (-.f64 x eps))) (neg.f64 (*.f64 x x)))
(fma.f64 (*.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)) (*.f64 (+.f64 x eps) (-.f64 x eps))) (/.f64 #s(literal 1 binary64) (*.f64 (-.f64 x eps) (-.f64 x eps))) (neg.f64 (*.f64 x x)))
(fma.f64 #s(literal -1 binary64) (*.f64 x x) (*.f64 (+.f64 x eps) (+.f64 x eps)))
(fma.f64 (sqrt.f64 x) (*.f64 (+.f64 x eps) (sqrt.f64 x)) (fma.f64 eps (+.f64 x eps) (neg.f64 (*.f64 x x))))
(fma.f64 (sqrt.f64 x) (*.f64 (+.f64 x eps) (sqrt.f64 x)) (-.f64 (*.f64 eps (+.f64 x eps)) (*.f64 x x)))
(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (neg.f64 x)) (*.f64 (+.f64 x eps) (+.f64 x eps)))
(fma.f64 (sqrt.f64 (+.f64 x eps)) (*.f64 (+.f64 x eps) (sqrt.f64 (+.f64 x eps))) (neg.f64 (*.f64 x x)))
(fma.f64 (sqrt.f64 (+.f64 x eps)) (*.f64 x (sqrt.f64 (+.f64 x eps))) (fma.f64 eps (+.f64 x eps) (neg.f64 (*.f64 x x))))
(fma.f64 (sqrt.f64 (+.f64 x eps)) (*.f64 x (sqrt.f64 (+.f64 x eps))) (-.f64 (*.f64 eps (+.f64 x eps)) (*.f64 x x)))
(fma.f64 (sqrt.f64 (+.f64 x eps)) (*.f64 (sqrt.f64 (+.f64 x eps)) eps) (fma.f64 x (+.f64 x eps) (neg.f64 (*.f64 x x))))
(fma.f64 (sqrt.f64 (+.f64 x eps)) (*.f64 (sqrt.f64 (+.f64 x eps)) eps) (-.f64 (*.f64 x (+.f64 x eps)) (*.f64 x x)))
(fma.f64 (neg.f64 x) x (*.f64 (+.f64 x eps) (+.f64 x eps)))
(fma.f64 (*.f64 (+.f64 x eps) (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps)))) (/.f64 #s(literal 1 binary64) (fma.f64 x x (*.f64 eps (-.f64 eps x)))) (neg.f64 (*.f64 x x)))
(fma.f64 (*.f64 (*.f64 (+.f64 x eps) (+.f64 x eps)) (-.f64 x eps)) (/.f64 #s(literal 1 binary64) (-.f64 x eps)) (neg.f64 (*.f64 x x)))
(fma.f64 (*.f64 (+.f64 x eps) (sqrt.f64 (+.f64 x eps))) (sqrt.f64 (+.f64 x eps)) (neg.f64 (*.f64 x x)))
(fma.f64 (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x eps))) (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x eps))) (fma.f64 eps (+.f64 x eps) (neg.f64 (*.f64 x x))))
(fma.f64 (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x eps))) (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x eps))) (-.f64 (*.f64 eps (+.f64 x eps)) (*.f64 x x)))
(fma.f64 (*.f64 (+.f64 x eps) (sqrt.f64 x)) (sqrt.f64 x) (fma.f64 eps (+.f64 x eps) (neg.f64 (*.f64 x x))))
(fma.f64 (*.f64 (+.f64 x eps) (sqrt.f64 x)) (sqrt.f64 x) (-.f64 (*.f64 eps (+.f64 x eps)) (*.f64 x x)))
(fma.f64 (*.f64 x (sqrt.f64 (+.f64 x eps))) (sqrt.f64 (+.f64 x eps)) (fma.f64 eps (+.f64 x eps) (neg.f64 (*.f64 x x))))
(fma.f64 (*.f64 x (sqrt.f64 (+.f64 x eps))) (sqrt.f64 (+.f64 x eps)) (-.f64 (*.f64 eps (+.f64 x eps)) (*.f64 x x)))
(fma.f64 (*.f64 x (*.f64 (+.f64 x eps) (-.f64 x eps))) (/.f64 #s(literal 1 binary64) (-.f64 x eps)) (fma.f64 eps (+.f64 x eps) (neg.f64 (*.f64 x x))))
(fma.f64 (*.f64 x (*.f64 (+.f64 x eps) (-.f64 x eps))) (/.f64 #s(literal 1 binary64) (-.f64 x eps)) (-.f64 (*.f64 eps (+.f64 x eps)) (*.f64 x x)))
(fma.f64 (*.f64 eps (*.f64 (+.f64 x eps) (-.f64 x eps))) (/.f64 #s(literal 1 binary64) (-.f64 x eps)) (fma.f64 x (+.f64 x eps) (neg.f64 (*.f64 x x))))
(fma.f64 (*.f64 eps (*.f64 (+.f64 x eps) (-.f64 x eps))) (/.f64 #s(literal 1 binary64) (-.f64 x eps)) (-.f64 (*.f64 x (+.f64 x eps)) (*.f64 x x)))
(fma.f64 (*.f64 x (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps)))) (/.f64 #s(literal 1 binary64) (fma.f64 x x (*.f64 eps (-.f64 eps x)))) (fma.f64 eps (+.f64 x eps) (neg.f64 (*.f64 x x))))
(fma.f64 (*.f64 x (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps)))) (/.f64 #s(literal 1 binary64) (fma.f64 x x (*.f64 eps (-.f64 eps x)))) (-.f64 (*.f64 eps (+.f64 x eps)) (*.f64 x x)))
(fma.f64 (*.f64 eps (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps)))) (/.f64 #s(literal 1 binary64) (fma.f64 x x (*.f64 eps (-.f64 eps x)))) (fma.f64 x (+.f64 x eps) (neg.f64 (*.f64 x x))))
(fma.f64 (*.f64 eps (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps)))) (/.f64 #s(literal 1 binary64) (fma.f64 x x (*.f64 eps (-.f64 eps x)))) (-.f64 (*.f64 x (+.f64 x eps)) (*.f64 x x)))
(fma.f64 (*.f64 (neg.f64 x) (sqrt.f64 x)) (sqrt.f64 x) (*.f64 (+.f64 x eps) (+.f64 x eps)))
(fma.f64 (*.f64 eps (sqrt.f64 (+.f64 x eps))) (sqrt.f64 (+.f64 x eps)) (fma.f64 x (+.f64 x eps) (neg.f64 (*.f64 x x))))
(fma.f64 (*.f64 eps (sqrt.f64 (+.f64 x eps))) (sqrt.f64 (+.f64 x eps)) (-.f64 (*.f64 x (+.f64 x eps)) (*.f64 x x)))
(fma.f64 (/.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))) (*.f64 (*.f64 (+.f64 x (+.f64 x eps)) (+.f64 x (-.f64 eps x))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)))) (*.f64 (+.f64 x (+.f64 x eps)) (+.f64 x (-.f64 eps x))) (neg.f64 (/.f64 (*.f64 x (*.f64 x (*.f64 x x))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)))))
(fma.f64 (/.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))) (*.f64 (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 x (*.f64 x x))) (-.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x x))))) (fma.f64 (*.f64 x x) (-.f64 (*.f64 x x) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))))) (neg.f64 (/.f64 (*.f64 x (*.f64 x (*.f64 x x))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)))))
(fma.f64 (/.f64 (*.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))) (fma.f64 (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 (*.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))))) (*.f64 (*.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))) (*.f64 (*.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))) (*.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))))))) (fma.f64 (*.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))) (-.f64 (*.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))))) (*.f64 (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))))) (neg.f64 (/.f64 (*.f64 x (*.f64 x (*.f64 x (*.f64 x (*.f64 x x))))) (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))))))))
(fma.f64 (/.f64 (*.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))) (*.f64 (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))))) (-.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))) (*.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)))))) (-.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))) (*.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)))) (neg.f64 (/.f64 (*.f64 x (*.f64 x (*.f64 x (*.f64 x (*.f64 x x))))) (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))))))))
(fma.f64 (/.f64 (*.f64 (+.f64 x eps) (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps)))) (fma.f64 x (*.f64 x (*.f64 x (*.f64 x (*.f64 x x)))) (*.f64 (*.f64 eps (-.f64 eps x)) (*.f64 (*.f64 eps (-.f64 eps x)) (*.f64 eps (-.f64 eps x)))))) (fma.f64 (*.f64 eps (-.f64 eps x)) (-.f64 (*.f64 eps (-.f64 eps x)) (*.f64 x x)) (*.f64 x (*.f64 x (*.f64 x x)))) (neg.f64 (*.f64 x x)))
(fma.f64 (/.f64 (*.f64 (+.f64 x eps) (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps)))) (*.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))) (-.f64 (*.f64 x x) (*.f64 eps (-.f64 eps x))))) (-.f64 (*.f64 x x) (*.f64 eps (-.f64 eps x))) (neg.f64 (*.f64 x x)))
(fma.f64 (/.f64 (*.f64 (*.f64 (+.f64 x eps) (+.f64 x eps)) (-.f64 x eps)) (*.f64 (+.f64 x eps) (-.f64 x eps))) (+.f64 x eps) (neg.f64 (*.f64 x x)))
(fma.f64 (/.f64 (*.f64 (*.f64 (+.f64 x eps) (+.f64 x eps)) (-.f64 x eps)) (*.f64 (fma.f64 eps (+.f64 x eps) (*.f64 x x)) (-.f64 x eps))) (fma.f64 eps (+.f64 x eps) (*.f64 x x)) (neg.f64 (*.f64 x x)))
(fma.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))))) (pow.f64 (exp.f64 #s(literal 2 binary64)) (neg.f64 (log.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x)))))) (neg.f64 (*.f64 x x)))
(fma.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)))) (pow.f64 (exp.f64 #s(literal 2 binary64)) (neg.f64 (log.f64 (-.f64 x eps)))) (neg.f64 (*.f64 x x)))
(fma.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 #s(literal 1/2 binary64) (log.f64 (+.f64 x eps)))) (pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 #s(literal 1/2 binary64) (log.f64 (+.f64 x eps)))) (neg.f64 (*.f64 x x)))
(neg.f64 (/.f64 (*.f64 (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 x (*.f64 x x))) (-.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x x)))) (neg.f64 (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))))))))
(neg.f64 (/.f64 (*.f64 (*.f64 (+.f64 x (+.f64 x eps)) (+.f64 x (-.f64 eps x))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))) (neg.f64 (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)))))
(neg.f64 (/.f64 (neg.f64 (*.f64 (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 x (*.f64 x x))) (-.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x x))))) (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))))))
(neg.f64 (/.f64 (neg.f64 (*.f64 (*.f64 (+.f64 x (+.f64 x eps)) (+.f64 x (-.f64 eps x))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))))
(/.f64 (*.f64 (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 x (*.f64 x x))) (-.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x x)))) (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))))))
(/.f64 (*.f64 (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 x (*.f64 x x))) (-.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x x)))) (fma.f64 x (*.f64 x (*.f64 x x)) (-.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))) (neg.f64 (*.f64 (*.f64 x x) (*.f64 (+.f64 x eps) (+.f64 x eps)))))))
(/.f64 (*.f64 (*.f64 (+.f64 x (+.f64 x eps)) (+.f64 x (-.f64 eps x))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (*.f64 (+.f64 x (+.f64 x eps)) (+.f64 x (-.f64 eps x)))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (*.f64 (+.f64 x (+.f64 x eps)) (+.f64 x (-.f64 eps x)))) #s(literal 1 binary64)))
(/.f64 (neg.f64 (*.f64 (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 x (*.f64 x x))) (-.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x x))))) (neg.f64 (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))))))
(/.f64 (neg.f64 (*.f64 (*.f64 (+.f64 x (+.f64 x eps)) (+.f64 x (-.f64 eps x))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)))) (neg.f64 (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))))
(/.f64 (*.f64 (*.f64 (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 x (*.f64 x x))) (-.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x x)))) (*.f64 (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 x (*.f64 x x))) (-.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x x))))) (*.f64 (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))))) (*.f64 (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 x (*.f64 x x))) (-.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x x))))))
(/.f64 (*.f64 (*.f64 (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 x (*.f64 x x))) (-.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x x)))) (*.f64 (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 x (*.f64 x x))) (-.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x x))))) (*.f64 (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (fma.f64 (*.f64 x (*.f64 x (*.f64 x x))) (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x (*.f64 x x)))) (*.f64 (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))))))))
(/.f64 (-.f64 (pow.f64 (+.f64 x eps) #s(literal 18 binary64)) (*.f64 (*.f64 x (*.f64 x (*.f64 x (*.f64 x (*.f64 x x))))) (*.f64 (*.f64 x (*.f64 x (*.f64 x (*.f64 x (*.f64 x x))))) (*.f64 x (*.f64 x (*.f64 x (*.f64 x (*.f64 x x)))))))) (*.f64 (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))))) (fma.f64 (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 (*.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))))) (*.f64 (*.f64 x (*.f64 x (*.f64 x (*.f64 x (*.f64 x x))))) (*.f64 (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 x (*.f64 x x))) (-.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x x))))))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (*.f64 (+.f64 x (+.f64 x eps)) (+.f64 x (-.f64 eps x))))))
(/.f64 (*.f64 (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x (*.f64 x x)))) (*.f64 (*.f64 (+.f64 x (+.f64 x eps)) (+.f64 x (-.f64 eps x))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)))) (*.f64 (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x (*.f64 x x))))))
(/.f64 (-.f64 (*.f64 (*.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))) (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))))) (*.f64 (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))))) (*.f64 x (*.f64 x (*.f64 x (*.f64 x (*.f64 x x))))))) (*.f64 (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))))) (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))))))
(/.f64 (-.f64 (*.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))) (*.f64 (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 x (*.f64 x (*.f64 x x))))) (*.f64 (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))))
(/.f64 (*.f64 (*.f64 (*.f64 (+.f64 x (+.f64 x eps)) (+.f64 x (-.f64 eps x))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))) #s(literal 1 binary64)) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)))
(/.f64 (*.f64 (*.f64 (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 x (*.f64 x x))) (-.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x x)))) #s(literal 1 binary64)) (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))))))
(/.f64 (*.f64 (-.f64 (pow.f64 (+.f64 x eps) #s(literal 18 binary64)) (*.f64 (*.f64 x (*.f64 x (*.f64 x (*.f64 x (*.f64 x x))))) (*.f64 (*.f64 x (*.f64 x (*.f64 x (*.f64 x (*.f64 x x))))) (*.f64 x (*.f64 x (*.f64 x (*.f64 x (*.f64 x x)))))))) #s(literal 1 binary64)) (*.f64 (fma.f64 (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 (*.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))))) (*.f64 (*.f64 x (*.f64 x (*.f64 x (*.f64 x (*.f64 x x))))) (*.f64 (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 x (*.f64 x x))) (-.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x x)))))) (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))))))
(/.f64 (*.f64 (*.f64 (*.f64 (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 x (*.f64 x x))) (-.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x x)))) (*.f64 (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 x (*.f64 x x))) (-.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x x))))) #s(literal 1 binary64)) (*.f64 (*.f64 (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 x (*.f64 x x))) (-.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x x)))) (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))))))
(/.f64 (*.f64 (*.f64 (*.f64 (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 x (*.f64 x x))) (-.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x x)))) (*.f64 (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 x (*.f64 x x))) (-.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x x))))) #s(literal 1 binary64)) (*.f64 (fma.f64 (*.f64 x (*.f64 x (*.f64 x x))) (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x (*.f64 x x)))) (*.f64 (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))))
(/.f64 (*.f64 (*.f64 (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x (*.f64 x x)))) (*.f64 (*.f64 (+.f64 x (+.f64 x eps)) (+.f64 x (-.f64 eps x))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)))) #s(literal 1 binary64)) (*.f64 (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x (*.f64 x x)))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))))
(/.f64 (neg.f64 (neg.f64 (*.f64 (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 x (*.f64 x x))) (-.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x x)))))) (neg.f64 (neg.f64 (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))))))))
(/.f64 (neg.f64 (neg.f64 (*.f64 (*.f64 (+.f64 x (+.f64 x eps)) (+.f64 x (-.f64 eps x))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))))) (neg.f64 (neg.f64 (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)))))
(/.f64 (-.f64 (pow.f64 (/.f64 (*.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))) (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))))) #s(literal 3 binary64)) (pow.f64 (/.f64 (*.f64 x (*.f64 x (*.f64 x (*.f64 x (*.f64 x x))))) (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))))) #s(literal 3 binary64))) (+.f64 (pow.f64 (/.f64 (*.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))) (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))))) #s(literal 2 binary64)) (fma.f64 (/.f64 (*.f64 x (*.f64 x (*.f64 x (*.f64 x (*.f64 x x))))) (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))))) (/.f64 (*.f64 x (*.f64 x (*.f64 x (*.f64 x (*.f64 x x))))) (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))))) (*.f64 (/.f64 (*.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))) (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))))) (/.f64 (*.f64 x (*.f64 x (*.f64 x (*.f64 x (*.f64 x x))))) (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))))))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))) #s(literal 3 binary64)) (*.f64 (*.f64 (/.f64 (*.f64 x (*.f64 x (*.f64 x x))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))) (/.f64 (*.f64 x (*.f64 x (*.f64 x x))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)))) (/.f64 (*.f64 x (*.f64 x (*.f64 x x))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))))) (fma.f64 (/.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))) (/.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))) (fma.f64 (/.f64 (*.f64 x (*.f64 x (*.f64 x x))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))) (/.f64 (*.f64 x (*.f64 x (*.f64 x x))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))) (*.f64 (/.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))) (/.f64 (*.f64 x (*.f64 x (*.f64 x x))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)))))))
(/.f64 (-.f64 (*.f64 x (*.f64 x (*.f64 x x))) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))))) (-.f64 (neg.f64 (*.f64 x x)) (*.f64 (+.f64 x eps) (+.f64 x eps))))
(/.f64 (-.f64 (pow.f64 (/.f64 (*.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))) (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))))) #s(literal 2 binary64)) (*.f64 (/.f64 (*.f64 x (*.f64 x (*.f64 x (*.f64 x (*.f64 x x))))) (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))))) (/.f64 (*.f64 x (*.f64 x (*.f64 x (*.f64 x (*.f64 x x))))) (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))))))) (fma.f64 (*.f64 (+.f64 x eps) (+.f64 x eps)) (/.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))) (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))))) (/.f64 (*.f64 x (*.f64 x (*.f64 x (*.f64 x (*.f64 x x))))) (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))))))))
(/.f64 (-.f64 (*.f64 (/.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))) (/.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)))) (*.f64 (/.f64 (*.f64 x (*.f64 x (*.f64 x x))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))) (/.f64 (*.f64 x (*.f64 x (*.f64 x x))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))))) (fma.f64 (+.f64 x eps) (/.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))) (/.f64 (*.f64 x (*.f64 x (*.f64 x x))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)))))
(/.f64 (*.f64 (-.f64 (pow.f64 (+.f64 x eps) #s(literal 18 binary64)) (*.f64 (*.f64 x (*.f64 x (*.f64 x (*.f64 x (*.f64 x x))))) (*.f64 (*.f64 x (*.f64 x (*.f64 x (*.f64 x (*.f64 x x))))) (*.f64 x (*.f64 x (*.f64 x (*.f64 x (*.f64 x x)))))))) (/.f64 #s(literal 1 binary64) (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))))))) (fma.f64 (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 (*.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))))) (*.f64 (*.f64 x (*.f64 x (*.f64 x (*.f64 x (*.f64 x x))))) (*.f64 (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 x (*.f64 x x))) (-.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x x)))))))
(/.f64 (*.f64 (*.f64 (*.f64 (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 x (*.f64 x x))) (-.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x x)))) (*.f64 (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 x (*.f64 x x))) (-.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x x))))) (/.f64 #s(literal 1 binary64) (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))))))) (*.f64 (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 x (*.f64 x x))) (-.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x x)))))
(/.f64 (*.f64 (*.f64 (*.f64 (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 x (*.f64 x x))) (-.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x x)))) (*.f64 (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 x (*.f64 x x))) (-.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x x))))) (/.f64 #s(literal 1 binary64) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)))) (fma.f64 (*.f64 x (*.f64 x (*.f64 x x))) (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x (*.f64 x x)))) (*.f64 (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))))))
(/.f64 (*.f64 (*.f64 (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x (*.f64 x x)))) (*.f64 (*.f64 (+.f64 x (+.f64 x eps)) (+.f64 x (-.f64 eps x))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)))) (/.f64 #s(literal 1 binary64) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)))) (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x (*.f64 x x)))))
(pow.f64 (/.f64 #s(literal 1 binary64) (*.f64 (+.f64 x (+.f64 x eps)) (+.f64 x (-.f64 eps x)))) #s(literal -1 binary64))
(pow.f64 (/.f64 (/.f64 #s(literal 1 binary64) (*.f64 (+.f64 x (+.f64 x eps)) (+.f64 x (-.f64 eps x)))) #s(literal 1 binary64)) #s(literal -1 binary64))
(*.f64 (*.f64 (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 x (*.f64 x x))) (-.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x x)))) (/.f64 #s(literal 1 binary64) (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))))))
(*.f64 (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))))) (*.f64 (*.f64 (+.f64 x (+.f64 x eps)) (+.f64 x (-.f64 eps x))) (/.f64 #s(literal 1 binary64) (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))))))))
(*.f64 (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))))) (/.f64 (*.f64 (+.f64 x (+.f64 x eps)) (+.f64 x (-.f64 eps x))) (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))))))
(*.f64 (*.f64 (*.f64 (+.f64 x (+.f64 x eps)) (+.f64 x (-.f64 eps x))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))) (/.f64 #s(literal 1 binary64) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))))
(*.f64 (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (*.f64 (+.f64 x (+.f64 x eps)) (+.f64 x (-.f64 eps x))) (/.f64 #s(literal 1 binary64) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)))))
(*.f64 (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (/.f64 (*.f64 (+.f64 x (+.f64 x eps)) (+.f64 x (-.f64 eps x))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))))
(*.f64 #s(literal 1 binary64) (*.f64 (+.f64 x (+.f64 x eps)) (+.f64 x (-.f64 eps x))))
(*.f64 (neg.f64 (*.f64 (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 x (*.f64 x x))) (-.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x x))))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))))))))
(*.f64 (neg.f64 (*.f64 (*.f64 (+.f64 x (+.f64 x eps)) (+.f64 x (-.f64 eps x))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)))))
(*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))))) (*.f64 (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 x (*.f64 x x))) (-.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x x)))))
(*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))) (*.f64 (*.f64 (+.f64 x (+.f64 x eps)) (+.f64 x (-.f64 eps x))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))))
(*.f64 (+.f64 x (+.f64 x eps)) (+.f64 x (-.f64 eps x)))
(*.f64 (+.f64 x (-.f64 eps x)) (+.f64 x (+.f64 x eps)))
(*.f64 (/.f64 (*.f64 (*.f64 (+.f64 x (+.f64 x eps)) (+.f64 x (-.f64 eps x))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))) (*.f64 (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 x (*.f64 x x))) (-.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x x))))) (fma.f64 (*.f64 x x) (-.f64 (*.f64 x x) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))))))
(*.f64 (/.f64 (*.f64 (*.f64 (+.f64 x (+.f64 x eps)) (+.f64 x (-.f64 eps x))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))) (*.f64 (*.f64 (+.f64 x (+.f64 x eps)) (+.f64 x (-.f64 eps x))) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)))) (*.f64 (+.f64 x (+.f64 x eps)) (+.f64 x (-.f64 eps x))))
(*.f64 (/.f64 (*.f64 (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 x (*.f64 x x))) (-.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x x)))) (fma.f64 (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 (*.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))))) (*.f64 (*.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))) (*.f64 (*.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))) (*.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))))))) (fma.f64 (*.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))) (-.f64 (*.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x))) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))))) (*.f64 (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))))))
(*.f64 (/.f64 (*.f64 (fma.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)) (*.f64 x (*.f64 x x))) (-.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))) (*.f64 x (*.f64 x x)))) (*.f64 (fma.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps))))) (-.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))) (*.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)))))) (-.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))) (*.f64 (*.f64 x x) (fma.f64 (+.f64 x eps) (+.f64 x eps) (*.f64 x x)))))
(+.f64 x eps)
(+.f64 eps x)
(+.f64 (/.f64 (*.f64 x x) (-.f64 x eps)) (neg.f64 (*.f64 eps (/.f64 eps (-.f64 x eps)))))
(exp.f64 (log.f64 (+.f64 x eps)))
(exp.f64 (*.f64 (*.f64 #s(literal 2 binary64) (log.f64 (+.f64 x eps))) #s(literal 1/2 binary64)))
(exp.f64 (*.f64 (neg.f64 (log.f64 (+.f64 x eps))) #s(literal -1 binary64)))
(exp.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (log.f64 (+.f64 x eps))) #s(literal 2 binary64)))
(exp.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (log.f64 (+.f64 x eps))) #s(literal 1 binary64)) #s(literal 1/2 binary64)))
(exp.f64 (*.f64 (*.f64 (log.f64 (+.f64 x eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)))
(-.f64 (/.f64 (*.f64 x x) (-.f64 x eps)) (*.f64 eps (/.f64 eps (-.f64 x eps))))
(-.f64 (/.f64 (*.f64 eps eps) (-.f64 eps x)) (/.f64 (*.f64 x x) (-.f64 eps x)))
(sqrt.f64 (*.f64 (+.f64 x eps) (+.f64 x eps)))
(fma.f64 x (/.f64 x (-.f64 x eps)) (neg.f64 (*.f64 eps (/.f64 eps (-.f64 x eps)))))
(fma.f64 (*.f64 x x) (/.f64 #s(literal 1 binary64) (-.f64 x eps)) (neg.f64 (*.f64 eps (/.f64 eps (-.f64 x eps)))))
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) eps)
(fma.f64 (/.f64 (*.f64 x x) (*.f64 (+.f64 x eps) (-.f64 x eps))) (+.f64 x eps) (neg.f64 (*.f64 eps (/.f64 eps (-.f64 x eps)))))
(fma.f64 (/.f64 (*.f64 x x) (*.f64 (fma.f64 eps (+.f64 x eps) (*.f64 x x)) (-.f64 x eps))) (fma.f64 eps (+.f64 x eps) (*.f64 x x)) (neg.f64 (*.f64 eps (/.f64 eps (-.f64 x eps)))))
(neg.f64 (/.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) (neg.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))))))
(neg.f64 (/.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)) (neg.f64 (-.f64 x eps))))
(neg.f64 (/.f64 (neg.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps)))) (fma.f64 x x (*.f64 eps (-.f64 eps x)))))
(neg.f64 (/.f64 (neg.f64 (*.f64 (+.f64 x eps) (-.f64 x eps))) (-.f64 x eps)))
(/.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) (fma.f64 x x (*.f64 eps (-.f64 eps x))))
(/.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)) (-.f64 x eps))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 x eps)))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (+.f64 x eps)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 eps x) (*.f64 (+.f64 x eps) (-.f64 eps x))))
(/.f64 (neg.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps)))) (neg.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x)))))
(/.f64 (neg.f64 (*.f64 (+.f64 x eps) (-.f64 x eps))) (neg.f64 (-.f64 x eps)))
(/.f64 (fma.f64 (*.f64 x (*.f64 x x)) (*.f64 x (*.f64 x (*.f64 x (*.f64 x (*.f64 x x))))) (*.f64 (*.f64 eps (*.f64 eps eps)) (*.f64 (*.f64 eps (*.f64 eps eps)) (*.f64 eps (*.f64 eps eps))))) (*.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))) (fma.f64 (*.f64 eps (*.f64 eps eps)) (-.f64 (*.f64 eps (*.f64 eps eps)) (*.f64 x (*.f64 x x))) (*.f64 x (*.f64 x (*.f64 x (*.f64 x (*.f64 x x))))))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (+.f64 x eps))))
(/.f64 (*.f64 (+.f64 x eps) (-.f64 eps x)) (-.f64 eps x))
(/.f64 (*.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) (*.f64 (fma.f64 eps (+.f64 x eps) (*.f64 x x)) (-.f64 x eps))) (*.f64 (-.f64 x eps) (fma.f64 x (*.f64 x (*.f64 x x)) (*.f64 (*.f64 eps eps) (fma.f64 x x (*.f64 eps eps))))))
(/.f64 (*.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) (*.f64 (fma.f64 eps (+.f64 x eps) (*.f64 x x)) (-.f64 x eps))) (*.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))) (*.f64 (fma.f64 eps (+.f64 x eps) (*.f64 x x)) (-.f64 x eps))))
(/.f64 (*.f64 (fma.f64 x x (*.f64 eps eps)) (*.f64 (+.f64 x eps) (-.f64 x eps))) (*.f64 (-.f64 x eps) (fma.f64 x x (*.f64 eps eps))))
(/.f64 (exp.f64 (log.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))))) (exp.f64 (log.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))))))
(/.f64 (exp.f64 (log.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)))) (exp.f64 (log.f64 (-.f64 x eps))))
(/.f64 (-.f64 (*.f64 (*.f64 x x) (-.f64 x eps)) (*.f64 (-.f64 x eps) (*.f64 eps eps))) (*.f64 (-.f64 x eps) (-.f64 x eps)))
(/.f64 (*.f64 (*.f64 (fma.f64 x x (*.f64 eps eps)) (*.f64 (+.f64 x eps) (-.f64 x eps))) #s(literal 1 binary64)) (*.f64 (fma.f64 x x (*.f64 eps eps)) (-.f64 x eps)))
(/.f64 (*.f64 (fma.f64 (*.f64 x (*.f64 x x)) (*.f64 x (*.f64 x (*.f64 x (*.f64 x (*.f64 x x))))) (*.f64 (*.f64 eps (*.f64 eps eps)) (*.f64 (*.f64 eps (*.f64 eps eps)) (*.f64 eps (*.f64 eps eps))))) #s(literal 1 binary64)) (*.f64 (fma.f64 (*.f64 eps (*.f64 eps eps)) (-.f64 (*.f64 eps (*.f64 eps eps)) (*.f64 x (*.f64 x x))) (*.f64 x (*.f64 x (*.f64 x (*.f64 x (*.f64 x x)))))) (fma.f64 x x (*.f64 eps (-.f64 eps x)))))
(/.f64 (*.f64 (*.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) (*.f64 (fma.f64 eps (+.f64 x eps) (*.f64 x x)) (-.f64 x eps))) #s(literal 1 binary64)) (*.f64 (fma.f64 x (*.f64 x (*.f64 x x)) (*.f64 (*.f64 eps eps) (fma.f64 x x (*.f64 eps eps)))) (-.f64 x eps)))
(/.f64 (*.f64 (*.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) (*.f64 (fma.f64 eps (+.f64 x eps) (*.f64 x x)) (-.f64 x eps))) #s(literal 1 binary64)) (*.f64 (*.f64 (fma.f64 eps (+.f64 x eps) (*.f64 x x)) (-.f64 x eps)) (fma.f64 x x (*.f64 eps (-.f64 eps x)))))
(/.f64 (*.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) #s(literal 1 binary64)) (fma.f64 x x (*.f64 eps (-.f64 eps x))))
(/.f64 (*.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)) #s(literal 1 binary64)) (-.f64 x eps))
(/.f64 (neg.f64 (neg.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))))) (neg.f64 (neg.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))))))
(/.f64 (neg.f64 (neg.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)))) (neg.f64 (neg.f64 (-.f64 x eps))))
(/.f64 (neg.f64 (*.f64 (+.f64 x eps) (-.f64 eps x))) (neg.f64 (-.f64 eps x)))
(/.f64 (-.f64 (*.f64 (*.f64 (/.f64 (*.f64 x x) (-.f64 x eps)) (/.f64 (*.f64 x x) (-.f64 x eps))) (/.f64 (*.f64 x x) (-.f64 x eps))) (*.f64 (*.f64 (*.f64 eps (/.f64 eps (-.f64 x eps))) (*.f64 eps (/.f64 eps (-.f64 x eps)))) (*.f64 eps (/.f64 eps (-.f64 x eps))))) (fma.f64 (/.f64 (*.f64 x x) (-.f64 x eps)) (/.f64 (*.f64 x x) (-.f64 x eps)) (fma.f64 (*.f64 eps (/.f64 eps (-.f64 x eps))) (*.f64 eps (/.f64 eps (-.f64 x eps))) (*.f64 (/.f64 (*.f64 x x) (-.f64 x eps)) (*.f64 eps (/.f64 eps (-.f64 x eps)))))))
(/.f64 (-.f64 (*.f64 (/.f64 (*.f64 x x) (-.f64 x eps)) (/.f64 (*.f64 x x) (-.f64 x eps))) (*.f64 (*.f64 eps (/.f64 eps (-.f64 x eps))) (*.f64 eps (/.f64 eps (-.f64 x eps))))) (fma.f64 x (/.f64 x (-.f64 x eps)) (*.f64 eps (/.f64 eps (-.f64 x eps)))))
(/.f64 (*.f64 (fma.f64 (*.f64 x (*.f64 x x)) (*.f64 x (*.f64 x (*.f64 x (*.f64 x (*.f64 x x))))) (*.f64 (*.f64 eps (*.f64 eps eps)) (*.f64 (*.f64 eps (*.f64 eps eps)) (*.f64 eps (*.f64 eps eps))))) (/.f64 #s(literal 1 binary64) (fma.f64 x x (*.f64 eps (-.f64 eps x))))) (fma.f64 (*.f64 eps (*.f64 eps eps)) (-.f64 (*.f64 eps (*.f64 eps eps)) (*.f64 x (*.f64 x x))) (*.f64 x (*.f64 x (*.f64 x (*.f64 x (*.f64 x x)))))))
(/.f64 (*.f64 (*.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) (*.f64 (fma.f64 eps (+.f64 x eps) (*.f64 x x)) (-.f64 x eps))) (/.f64 #s(literal 1 binary64) (fma.f64 x x (*.f64 eps (-.f64 eps x))))) (*.f64 (fma.f64 eps (+.f64 x eps) (*.f64 x x)) (-.f64 x eps)))
(/.f64 (*.f64 (*.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) (*.f64 (fma.f64 eps (+.f64 x eps) (*.f64 x x)) (-.f64 x eps))) (/.f64 #s(literal 1 binary64) (-.f64 x eps))) (fma.f64 x (*.f64 x (*.f64 x x)) (*.f64 (*.f64 eps eps) (fma.f64 x x (*.f64 eps eps)))))
(/.f64 (*.f64 (*.f64 (fma.f64 x x (*.f64 eps eps)) (*.f64 (+.f64 x eps) (-.f64 x eps))) (/.f64 #s(literal 1 binary64) (-.f64 x eps))) (fma.f64 x x (*.f64 eps eps)))
(pow.f64 (+.f64 x eps) #s(literal 1 binary64))
(pow.f64 (*.f64 (+.f64 x eps) (+.f64 x eps)) #s(literal 1/2 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 x eps)) #s(literal -1 binary64))
(pow.f64 (sqrt.f64 (+.f64 x eps)) #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 (log.f64 (+.f64 x eps)) #s(literal 1/2 binary64)))
(pow.f64 (/.f64 (/.f64 #s(literal 1 binary64) (+.f64 x eps)) #s(literal 1 binary64)) #s(literal -1 binary64))
(pow.f64 (/.f64 (-.f64 eps x) (*.f64 (+.f64 x eps) (-.f64 eps x))) #s(literal -1 binary64))
(*.f64 (+.f64 x eps) (*.f64 (-.f64 x eps) (/.f64 #s(literal 1 binary64) (-.f64 x eps))))
(*.f64 (+.f64 x eps) (/.f64 (-.f64 x eps) (-.f64 x eps)))
(*.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) (/.f64 #s(literal 1 binary64) (fma.f64 x x (*.f64 eps (-.f64 eps x)))))
(*.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))) (*.f64 (+.f64 x eps) (/.f64 #s(literal 1 binary64) (fma.f64 x x (*.f64 eps (-.f64 eps x))))))
(*.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))) (/.f64 (+.f64 x eps) (fma.f64 x x (*.f64 eps (-.f64 eps x)))))
(*.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)) (/.f64 #s(literal 1 binary64) (-.f64 x eps)))
(*.f64 #s(literal 1 binary64) (+.f64 x eps))
(*.f64 (neg.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps)))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))))))
(*.f64 (neg.f64 (*.f64 (+.f64 x eps) (-.f64 x eps))) (/.f64 #s(literal 1 binary64) (neg.f64 (-.f64 x eps))))
(*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x x (*.f64 eps (-.f64 eps x)))) (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))))
(*.f64 (/.f64 #s(literal 1 binary64) (-.f64 x eps)) (*.f64 (+.f64 x eps) (-.f64 x eps)))
(*.f64 (*.f64 (+.f64 x eps) (-.f64 eps x)) (/.f64 #s(literal 1 binary64) (-.f64 eps x)))
(*.f64 (sqrt.f64 (+.f64 x eps)) (sqrt.f64 (+.f64 x eps)))
(*.f64 (pow.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (fma.f64 x x (*.f64 eps (-.f64 eps x)))))
(*.f64 (pow.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (-.f64 x eps)))
(*.f64 (/.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)) (*.f64 (+.f64 x eps) (-.f64 x eps))) (+.f64 x eps))
(*.f64 (/.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) (fma.f64 x (*.f64 x (*.f64 x (*.f64 x (*.f64 x x)))) (*.f64 (*.f64 eps (-.f64 eps x)) (*.f64 (*.f64 eps (-.f64 eps x)) (*.f64 eps (-.f64 eps x)))))) (fma.f64 (*.f64 eps (-.f64 eps x)) (-.f64 (*.f64 eps (-.f64 eps x)) (*.f64 x x)) (*.f64 x (*.f64 x (*.f64 x x)))))
(*.f64 (/.f64 (fma.f64 x (*.f64 x x) (*.f64 eps (*.f64 eps eps))) (*.f64 (fma.f64 x x (*.f64 eps (-.f64 eps x))) (-.f64 (*.f64 x x) (*.f64 eps (-.f64 eps x))))) (-.f64 (*.f64 x x) (*.f64 eps (-.f64 eps x))))
(*.f64 (/.f64 (*.f64 (+.f64 x eps) (-.f64 x eps)) (*.f64 (fma.f64 eps (+.f64 x eps) (*.f64 x x)) (-.f64 x eps))) (fma.f64 eps (+.f64 x eps) (*.f64 x x)))

eval52.0ms (1%)

Memory
15.4MiB live, 89.5MiB allocated
Compiler

Compiled 14 368 to 1 131 computations (92.1% saved)

prune49.0ms (0.9%)

Memory
-3.4MiB live, 119.4MiB allocated
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New4463449
Fresh000
Picked101
Done000
Total4473450
Accuracy
100.0%
Counts
450 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶63.2%
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 x (*.f64 #s(literal 2 binary64) eps)))
▶100.0%
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps (fma.f64 x #s(literal 2 binary64) eps)))
▶75.2%
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps))
Compiler

Compiled 23 to 13 computations (43.5% saved)

simplify404.0ms (7.7%)

Memory
22.2MiB live, 415.3MiB allocated
Algorithm
1×egg-herbie
Localize:

Found 8 expressions of interest:

NewMetricScoreProgram
✓cost-diff0
(*.f64 x (*.f64 #s(literal 2 binary64) eps))
✓cost-diff0
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 x (*.f64 #s(literal 2 binary64) eps)))
✓cost-diff128
(*.f64 #s(literal 2 binary64) eps)
✓cost-diff0
(fma.f64 x #s(literal 2 binary64) eps)
✓cost-diff0
(*.f64 eps (fma.f64 x #s(literal 2 binary64) eps))
✓cost-diff0
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps (fma.f64 x #s(literal 2 binary64) eps)))
✓cost-diff0
(*.f64 eps eps)
✓cost-diff0
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps))
Rules
18 770×lower-fma.f32
18 768×lower-fma.f64
2 836×lower-*.f32
2 828×lower-*.f64
2 498×lower-+.f64
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01572
02175
13675
26475
311671
426063
584363
6237963
7430763
8596563
9696863
10739063
11765863
12766463
13766463
0809963
Stop Event
1×iter limit
1×node limit
1×iter limit
Calls
Call 1
Inputs
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps))
(*.f64 eps eps)
eps
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps (fma.f64 x #s(literal 2 binary64) eps)))
(*.f64 eps (fma.f64 x #s(literal 2 binary64) eps))
eps
(fma.f64 x #s(literal 2 binary64) eps)
x
#s(literal 2 binary64)
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 x (*.f64 #s(literal 2 binary64) eps)))
(*.f64 x (*.f64 #s(literal 2 binary64) eps))
x
(*.f64 #s(literal 2 binary64) eps)
#s(literal 2 binary64)
eps
Outputs
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps))
(*.f64 eps eps)
eps
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps (fma.f64 x #s(literal 2 binary64) eps)))
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps (+.f64 x (+.f64 x eps))))
(*.f64 eps (fma.f64 x #s(literal 2 binary64) eps))
(*.f64 eps (+.f64 x (+.f64 x eps)))
eps
(fma.f64 x #s(literal 2 binary64) eps)
(+.f64 x (+.f64 x eps))
x
#s(literal 2 binary64)
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 x (*.f64 #s(literal 2 binary64) eps)))
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps (+.f64 x x)))
(*.f64 x (*.f64 #s(literal 2 binary64) eps))
(*.f64 eps (+.f64 x x))
x
(*.f64 #s(literal 2 binary64) eps)
(+.f64 eps eps)
#s(literal 2 binary64)
eps

localize52.0ms (1%)

Memory
-11.9MiB live, 68.3MiB allocated
Localize:

Found 8 expressions of interest:

NewMetricScoreProgram
✓accuracy100.0%
(*.f64 x (*.f64 #s(literal 2 binary64) eps))
✓accuracy100.0%
(*.f64 #s(literal 2 binary64) eps)
✓accuracy63.2%
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 x (*.f64 #s(literal 2 binary64) eps)))
✓accuracy100.0%
(fma.f64 x #s(literal 2 binary64) eps)
✓accuracy100.0%
(*.f64 eps (fma.f64 x #s(literal 2 binary64) eps))
✓accuracy100.0%
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps (fma.f64 x #s(literal 2 binary64) eps)))
✓accuracy100.0%
(*.f64 eps eps)
✓accuracy75.2%
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps))
Samples
16.0ms166×0valid
13.0ms73×1valid
7.0ms17×2valid
Compiler

Compiled 59 to 15 computations (74.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 22.0ms
ival-mult: 7.0ms (32.1% of total)
ival-pow2: 7.0ms (32.1% of total)
ival-add: 3.0ms (13.8% of total)
adjust: 2.0ms (9.2% of total)
ival-sub: 2.0ms (9.2% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)

series11.0ms (0.2%)

Memory
-24.0MiB live, 14.5MiB allocated
Counts
8 → 168
Calls
Call 1
Inputs
#<alt #s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps))>
#<alt (*.f64 eps eps)>
#<alt #s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps (fma.f64 x #s(literal 2 binary64) eps)))>
#<alt (*.f64 eps (fma.f64 x #s(literal 2 binary64) eps))>
#<alt (fma.f64 x #s(literal 2 binary64) eps)>
#<alt (*.f64 #s(literal 2 binary64) eps)>
#<alt #s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 x (*.f64 #s(literal 2 binary64) eps)))>
#<alt (*.f64 x (*.f64 #s(literal 2 binary64) eps))>
Outputs
#<alt (pow eps 2)>
#<alt (+ (* 2 (* eps x)) (pow eps 2))>
#<alt (+ (* 2 (* eps x)) (pow eps 2))>
#<alt (+ (* 2 (* eps x)) (pow eps 2))>
#<alt (* 2 (* eps x))>
#<alt (* x (+ (* 2 eps) (/ (pow eps 2) x)))>
#<alt (* x (+ (* 2 eps) (/ (pow eps 2) x)))>
#<alt (* x (+ (* 2 eps) (/ (pow eps 2) x)))>
#<alt (* 2 (* eps x))>
#<alt (* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))>
#<alt (* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))>
#<alt (* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))>
#<alt (* 2 (* eps x))>
#<alt (* eps (+ eps (* 2 x)))>
#<alt (* eps (+ eps (* 2 x)))>
#<alt (* eps (+ eps (* 2 x)))>
#<alt (pow eps 2)>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (pow eps 2)>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (pow eps 2)>
#<alt (pow eps 2)>
#<alt (pow eps 2)>
#<alt (pow eps 2)>
#<alt (pow eps 2)>
#<alt (pow eps 2)>
#<alt (pow eps 2)>
#<alt (pow eps 2)>
#<alt (pow eps 2)>
#<alt (pow eps 2)>
#<alt (pow eps 2)>
#<alt (pow eps 2)>
#<alt (pow eps 2)>
#<alt (+ (* 2 (* eps x)) (pow eps 2))>
#<alt (+ (* 2 (* eps x)) (pow eps 2))>
#<alt (+ (* 2 (* eps x)) (pow eps 2))>
#<alt (* 2 (* eps x))>
#<alt (* x (+ (* 2 eps) (/ (pow eps 2) x)))>
#<alt (* x (+ (* 2 eps) (/ (pow eps 2) x)))>
#<alt (* x (+ (* 2 eps) (/ (pow eps 2) x)))>
#<alt (* 2 (* eps x))>
#<alt (* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))>
#<alt (* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))>
#<alt (* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))>
#<alt (* 2 (* eps x))>
#<alt (* eps (+ eps (* 2 x)))>
#<alt (* eps (+ eps (* 2 x)))>
#<alt (* eps (+ eps (* 2 x)))>
#<alt (pow eps 2)>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (pow eps 2)>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (* 2 (* eps x))>
#<alt (* eps (+ eps (* 2 x)))>
#<alt (* eps (+ eps (* 2 x)))>
#<alt (* eps (+ eps (* 2 x)))>
#<alt (pow eps 2)>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (pow eps 2)>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (pow eps 2)>
#<alt (+ (* 2 (* eps x)) (pow eps 2))>
#<alt (+ (* 2 (* eps x)) (pow eps 2))>
#<alt (+ (* 2 (* eps x)) (pow eps 2))>
#<alt (* 2 (* eps x))>
#<alt (* x (+ (* 2 eps) (/ (pow eps 2) x)))>
#<alt (* x (+ (* 2 eps) (/ (pow eps 2) x)))>
#<alt (* x (+ (* 2 eps) (/ (pow eps 2) x)))>
#<alt (* 2 (* eps x))>
#<alt (* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))>
#<alt (* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))>
#<alt (* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))>
#<alt eps>
#<alt (+ eps (* 2 x))>
#<alt (+ eps (* 2 x))>
#<alt (+ eps (* 2 x))>
#<alt (* 2 x)>
#<alt (* x (+ 2 (/ eps x)))>
#<alt (* x (+ 2 (/ eps x)))>
#<alt (* x (+ 2 (/ eps x)))>
#<alt (* 2 x)>
#<alt (* -1 (* x (- (* -1 (/ eps x)) 2)))>
#<alt (* -1 (* x (- (* -1 (/ eps x)) 2)))>
#<alt (* -1 (* x (- (* -1 (/ eps x)) 2)))>
#<alt (* 2 x)>
#<alt (+ eps (* 2 x))>
#<alt (+ eps (* 2 x))>
#<alt (+ eps (* 2 x))>
#<alt eps>
#<alt (* eps (+ 1 (* 2 (/ x eps))))>
#<alt (* eps (+ 1 (* 2 (/ x eps))))>
#<alt (* eps (+ 1 (* 2 (/ x eps))))>
#<alt eps>
#<alt (* -1 (* eps (- (* -2 (/ x eps)) 1)))>
#<alt (* -1 (* eps (- (* -2 (/ x eps)) 1)))>
#<alt (* -1 (* eps (- (* -2 (/ x eps)) 1)))>
#<alt (* 2 eps)>
#<alt (* 2 eps)>
#<alt (* 2 eps)>
#<alt (* 2 eps)>
#<alt (* 2 eps)>
#<alt (* 2 eps)>
#<alt (* 2 eps)>
#<alt (* 2 eps)>
#<alt (* 2 eps)>
#<alt (* 2 eps)>
#<alt (* 2 eps)>
#<alt (* 2 eps)>
#<alt (pow eps 2)>
#<alt (+ (* 2 (* eps x)) (pow eps 2))>
#<alt (+ (* 2 (* eps x)) (pow eps 2))>
#<alt (+ (* 2 (* eps x)) (pow eps 2))>
#<alt (* 2 (* eps x))>
#<alt (* x (+ (* 2 eps) (/ (pow eps 2) x)))>
#<alt (* x (+ (* 2 eps) (/ (pow eps 2) x)))>
#<alt (* x (+ (* 2 eps) (/ (pow eps 2) x)))>
#<alt (* 2 (* eps x))>
#<alt (* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))>
#<alt (* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))>
#<alt (* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))>
#<alt (* 2 (* eps x))>
#<alt (* eps (+ eps (* 2 x)))>
#<alt (* eps (+ eps (* 2 x)))>
#<alt (* eps (+ eps (* 2 x)))>
#<alt (pow eps 2)>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (pow eps 2)>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
Calls

42 calls:

TimeVariablePointExpression
1.0ms
eps
@0
(* x (* 2 eps))
1.0ms
eps
@0
(* eps (+ (* x 2) eps))
0.0ms
x
@inf
(* x (* 2 eps))
0.0ms
x
@0
(* x (* 2 eps))
0.0ms
eps
@inf
(* x (* 2 eps))

simplify166.0ms (3.2%)

Memory
35.7MiB live, 190.7MiB allocated
Algorithm
1×egg-herbie
Rules
4 690×lower-*.f64
4 690×lower-*.f32
2 808×lower-fma.f64
2 808×lower-fma.f32
1 166×div-sub
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0381038
1121894
2287894
3744894
41879894
53585894
65322894
76384894
86969894
08124804
Stop Event
1×iter limit
1×node limit
Counts
168 → 165
Calls
Call 1
Inputs
(pow eps 2)
(+ (* 2 (* eps x)) (pow eps 2))
(+ (* 2 (* eps x)) (pow eps 2))
(+ (* 2 (* eps x)) (pow eps 2))
(* 2 (* eps x))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* 2 (* eps x))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* 2 (* eps x))
(* eps (+ eps (* 2 x)))
(* eps (+ eps (* 2 x)))
(* eps (+ eps (* 2 x)))
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(pow eps 2)
(pow eps 2)
(pow eps 2)
(pow eps 2)
(pow eps 2)
(pow eps 2)
(pow eps 2)
(pow eps 2)
(pow eps 2)
(pow eps 2)
(pow eps 2)
(pow eps 2)
(pow eps 2)
(+ (* 2 (* eps x)) (pow eps 2))
(+ (* 2 (* eps x)) (pow eps 2))
(+ (* 2 (* eps x)) (pow eps 2))
(* 2 (* eps x))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* 2 (* eps x))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* 2 (* eps x))
(* eps (+ eps (* 2 x)))
(* eps (+ eps (* 2 x)))
(* eps (+ eps (* 2 x)))
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* 2 (* eps x))
(* eps (+ eps (* 2 x)))
(* eps (+ eps (* 2 x)))
(* eps (+ eps (* 2 x)))
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(pow eps 2)
(+ (* 2 (* eps x)) (pow eps 2))
(+ (* 2 (* eps x)) (pow eps 2))
(+ (* 2 (* eps x)) (pow eps 2))
(* 2 (* eps x))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* 2 (* eps x))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
eps
(+ eps (* 2 x))
(+ eps (* 2 x))
(+ eps (* 2 x))
(* 2 x)
(* x (+ 2 (/ eps x)))
(* x (+ 2 (/ eps x)))
(* x (+ 2 (/ eps x)))
(* 2 x)
(* -1 (* x (- (* -1 (/ eps x)) 2)))
(* -1 (* x (- (* -1 (/ eps x)) 2)))
(* -1 (* x (- (* -1 (/ eps x)) 2)))
(* 2 x)
(+ eps (* 2 x))
(+ eps (* 2 x))
(+ eps (* 2 x))
eps
(* eps (+ 1 (* 2 (/ x eps))))
(* eps (+ 1 (* 2 (/ x eps))))
(* eps (+ 1 (* 2 (/ x eps))))
eps
(* -1 (* eps (- (* -2 (/ x eps)) 1)))
(* -1 (* eps (- (* -2 (/ x eps)) 1)))
(* -1 (* eps (- (* -2 (/ x eps)) 1)))
(* 2 eps)
(* 2 eps)
(* 2 eps)
(* 2 eps)
(* 2 eps)
(* 2 eps)
(* 2 eps)
(* 2 eps)
(* 2 eps)
(* 2 eps)
(* 2 eps)
(* 2 eps)
(pow eps 2)
(+ (* 2 (* eps x)) (pow eps 2))
(+ (* 2 (* eps x)) (pow eps 2))
(+ (* 2 (* eps x)) (pow eps 2))
(* 2 (* eps x))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* 2 (* eps x))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* 2 (* eps x))
(* eps (+ eps (* 2 x)))
(* eps (+ eps (* 2 x)))
(* eps (+ eps (* 2 x)))
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
Outputs
(pow eps 2)
(*.f64 eps eps)
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* 2 (* eps x))
(*.f64 eps (*.f64 #s(literal 2 binary64) x))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* 2 (* eps x))
(*.f64 eps (*.f64 #s(literal 2 binary64) x))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* 2 (* eps x))
(*.f64 eps (*.f64 #s(literal 2 binary64) x))
(* eps (+ eps (* 2 x)))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* eps (+ eps (* 2 x)))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* eps (+ eps (* 2 x)))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* 2 (* eps x))
(*.f64 eps (*.f64 #s(literal 2 binary64) x))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* 2 (* eps x))
(*.f64 eps (*.f64 #s(literal 2 binary64) x))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* 2 (* eps x))
(*.f64 eps (*.f64 #s(literal 2 binary64) x))
(* eps (+ eps (* 2 x)))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* eps (+ eps (* 2 x)))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* eps (+ eps (* 2 x)))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* 2 (* eps x))
(*.f64 eps (*.f64 #s(literal 2 binary64) x))
(* eps (+ eps (* 2 x)))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* eps (+ eps (* 2 x)))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* eps (+ eps (* 2 x)))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(pow eps 2)
(*.f64 eps eps)
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* 2 (* eps x))
(*.f64 eps (*.f64 #s(literal 2 binary64) x))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* 2 (* eps x))
(*.f64 eps (*.f64 #s(literal 2 binary64) x))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
eps
(+ eps (* 2 x))
(fma.f64 #s(literal 2 binary64) x eps)
(+ eps (* 2 x))
(fma.f64 #s(literal 2 binary64) x eps)
(+ eps (* 2 x))
(fma.f64 #s(literal 2 binary64) x eps)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* x (+ 2 (/ eps x)))
(fma.f64 #s(literal 2 binary64) x eps)
(* x (+ 2 (/ eps x)))
(fma.f64 #s(literal 2 binary64) x eps)
(* x (+ 2 (/ eps x)))
(fma.f64 #s(literal 2 binary64) x eps)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* -1 (* x (- (* -1 (/ eps x)) 2)))
(fma.f64 #s(literal 2 binary64) x eps)
(* -1 (* x (- (* -1 (/ eps x)) 2)))
(fma.f64 #s(literal 2 binary64) x eps)
(* -1 (* x (- (* -1 (/ eps x)) 2)))
(fma.f64 #s(literal 2 binary64) x eps)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(+ eps (* 2 x))
(fma.f64 #s(literal 2 binary64) x eps)
(+ eps (* 2 x))
(fma.f64 #s(literal 2 binary64) x eps)
(+ eps (* 2 x))
(fma.f64 #s(literal 2 binary64) x eps)
eps
(* eps (+ 1 (* 2 (/ x eps))))
(fma.f64 #s(literal 2 binary64) x eps)
(* eps (+ 1 (* 2 (/ x eps))))
(fma.f64 #s(literal 2 binary64) x eps)
(* eps (+ 1 (* 2 (/ x eps))))
(fma.f64 #s(literal 2 binary64) x eps)
eps
(* -1 (* eps (- (* -2 (/ x eps)) 1)))
(fma.f64 #s(literal 2 binary64) x eps)
(* -1 (* eps (- (* -2 (/ x eps)) 1)))
(fma.f64 #s(literal 2 binary64) x eps)
(* -1 (* eps (- (* -2 (/ x eps)) 1)))
(fma.f64 #s(literal 2 binary64) x eps)
(* 2 eps)
(*.f64 eps #s(literal 2 binary64))
(* 2 eps)
(*.f64 eps #s(literal 2 binary64))
(* 2 eps)
(*.f64 eps #s(literal 2 binary64))
(* 2 eps)
(*.f64 eps #s(literal 2 binary64))
(* 2 eps)
(*.f64 eps #s(literal 2 binary64))
(* 2 eps)
(*.f64 eps #s(literal 2 binary64))
(* 2 eps)
(*.f64 eps #s(literal 2 binary64))
(* 2 eps)
(*.f64 eps #s(literal 2 binary64))
(* 2 eps)
(*.f64 eps #s(literal 2 binary64))
(* 2 eps)
(*.f64 eps #s(literal 2 binary64))
(* 2 eps)
(*.f64 eps #s(literal 2 binary64))
(* 2 eps)
(*.f64 eps #s(literal 2 binary64))
(pow eps 2)
(*.f64 eps eps)
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* 2 (* eps x))
(*.f64 eps (*.f64 #s(literal 2 binary64) x))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* 2 (* eps x))
(*.f64 eps (*.f64 #s(literal 2 binary64) x))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* 2 (* eps x))
(*.f64 eps (*.f64 #s(literal 2 binary64) x))
(* eps (+ eps (* 2 x)))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* eps (+ eps (* 2 x)))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* eps (+ eps (* 2 x)))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 eps (fma.f64 #s(literal 2 binary64) x eps))
(* 2 (* eps x))
(*.f64 eps (*.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(*.f64 eps (*.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(*.f64 eps (*.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(*.f64 eps (*.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(*.f64 eps (*.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(*.f64 eps (*.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(*.f64 eps (*.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(*.f64 eps (*.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(*.f64 eps (*.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(*.f64 eps (*.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(*.f64 eps (*.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(*.f64 eps (*.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(*.f64 eps (*.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(*.f64 eps (*.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(*.f64 eps (*.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(*.f64 eps (*.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(*.f64 eps (*.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(*.f64 eps (*.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(*.f64 eps (*.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(*.f64 eps (*.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(*.f64 eps (*.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(*.f64 eps (*.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(*.f64 eps (*.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(*.f64 eps (*.f64 #s(literal 2 binary64) x))

rewrite330.0ms (6.3%)

Memory
-13.9MiB live, 382.7MiB allocated
Algorithm
1×batch-egg-rewrite
Rules
7 608×lower-fma.f32
7 606×lower-fma.f64
4 552×lower-*.f32
4 544×lower-*.f64
2 864×lower-/.f64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01565
02165
18165
254765
3681365
0837865
Stop Event
1×iter limit
1×node limit
1×iter limit
Counts
8 → 139
Calls
Call 1
Inputs
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps))
(*.f64 eps eps)
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps (fma.f64 x #s(literal 2 binary64) eps)))
(*.f64 eps (fma.f64 x #s(literal 2 binary64) eps))
(fma.f64 x #s(literal 2 binary64) eps)
(*.f64 #s(literal 2 binary64) eps)
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 x (*.f64 #s(literal 2 binary64) eps)))
(*.f64 x (*.f64 #s(literal 2 binary64) eps))
Outputs
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps))
(exp.f64 (*.f64 #s(literal 2 binary64) (log.f64 eps)))
(pow.f64 eps #s(literal 2 binary64))
(pow.f64 (*.f64 eps eps) #s(literal 1 binary64))
(pow.f64 (exp.f64 (log.f64 eps)) #s(literal 2 binary64))
(*.f64 eps eps)
(*.f64 (exp.f64 (log.f64 eps)) (exp.f64 (log.f64 eps)))
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps (fma.f64 x #s(literal 2 binary64) eps)))
(+.f64 (*.f64 eps eps) (*.f64 x (*.f64 eps #s(literal 2 binary64))))
(+.f64 (*.f64 x (*.f64 eps #s(literal 2 binary64))) (*.f64 eps eps))
(-.f64 (/.f64 (*.f64 (*.f64 x x) (*.f64 #s(literal 4 binary64) (*.f64 eps eps))) (*.f64 eps (-.f64 (*.f64 x #s(literal 2 binary64)) eps))) (/.f64 (*.f64 eps (*.f64 eps (*.f64 eps eps))) (*.f64 eps (-.f64 (*.f64 x #s(literal 2 binary64)) eps))))
(fma.f64 x (*.f64 eps #s(literal 2 binary64)) (*.f64 eps eps))
(fma.f64 eps eps (*.f64 x (*.f64 eps #s(literal 2 binary64))))
(fma.f64 eps (*.f64 x #s(literal 2 binary64)) (*.f64 eps eps))
(fma.f64 #s(literal 2 binary64) (*.f64 x eps) (*.f64 eps eps))
(fma.f64 (*.f64 eps #s(literal 2 binary64)) x (*.f64 eps eps))
(fma.f64 (*.f64 x #s(literal 2 binary64)) eps (*.f64 eps eps))
(fma.f64 (*.f64 x eps) #s(literal 2 binary64) (*.f64 eps eps))
(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (*.f64 eps #s(literal 2 binary64))) (*.f64 eps eps))
(fma.f64 (exp.f64 (log.f64 eps)) (exp.f64 (log.f64 eps)) (*.f64 x (*.f64 eps #s(literal 2 binary64))))
(fma.f64 (*.f64 (*.f64 eps #s(literal 2 binary64)) (sqrt.f64 x)) (sqrt.f64 x) (*.f64 eps eps))
(/.f64 eps (/.f64 #s(literal 1 binary64) (fma.f64 x #s(literal 2 binary64) eps)))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (*.f64 eps eps) (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64)))) (*.f64 (*.f64 x x) (*.f64 #s(literal 4 binary64) (*.f64 eps eps)))) (fma.f64 eps (*.f64 (*.f64 eps eps) (*.f64 eps (*.f64 eps eps))) (*.f64 (*.f64 (*.f64 x (*.f64 x x)) #s(literal 8 binary64)) (*.f64 eps (*.f64 eps eps))))))
(/.f64 #s(literal 1 binary64) (/.f64 (*.f64 eps (-.f64 (*.f64 x #s(literal 2 binary64)) eps)) (*.f64 (*.f64 eps (fma.f64 x #s(literal 2 binary64) eps)) (*.f64 eps (-.f64 (*.f64 x #s(literal 2 binary64)) eps)))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 x (*.f64 x #s(literal 4 binary64)) (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64))))) (*.f64 eps (fma.f64 x (*.f64 (*.f64 x x) #s(literal 8 binary64)) (*.f64 eps (*.f64 eps eps))))))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) eps) (*.f64 eps (-.f64 (*.f64 (*.f64 x x) #s(literal 4 binary64)) (*.f64 eps eps)))))
(/.f64 (fma.f64 eps (*.f64 (*.f64 eps eps) (*.f64 eps (*.f64 eps eps))) (*.f64 (*.f64 (*.f64 x (*.f64 x x)) #s(literal 8 binary64)) (*.f64 eps (*.f64 eps eps)))) (fma.f64 (*.f64 eps eps) (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64)))) (*.f64 (*.f64 x x) (*.f64 #s(literal 4 binary64) (*.f64 eps eps)))))
(/.f64 (fma.f64 eps (*.f64 (*.f64 eps eps) (*.f64 eps (*.f64 eps eps))) (*.f64 (*.f64 (*.f64 x (*.f64 x x)) #s(literal 8 binary64)) (*.f64 eps (*.f64 eps eps)))) (fma.f64 eps (*.f64 eps (*.f64 eps eps)) (-.f64 (*.f64 (*.f64 x x) (*.f64 #s(literal 4 binary64) (*.f64 eps eps))) (*.f64 #s(literal 2 binary64) (*.f64 (*.f64 eps (*.f64 eps eps)) x)))))
(/.f64 (*.f64 (*.f64 eps (fma.f64 x #s(literal 2 binary64) eps)) (*.f64 eps (-.f64 (*.f64 x #s(literal 2 binary64)) eps))) (*.f64 eps (-.f64 (*.f64 x #s(literal 2 binary64)) eps)))
(/.f64 (*.f64 (*.f64 eps (fma.f64 x #s(literal 2 binary64) eps)) (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64))))) (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64)))))
(/.f64 (*.f64 eps (fma.f64 x (*.f64 (*.f64 x x) #s(literal 8 binary64)) (*.f64 eps (*.f64 eps eps)))) (fma.f64 x (*.f64 x #s(literal 4 binary64)) (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64))))))
(/.f64 (*.f64 eps (-.f64 (*.f64 (*.f64 x x) #s(literal 4 binary64)) (*.f64 eps eps))) (-.f64 (*.f64 x #s(literal 2 binary64)) eps))
(/.f64 (neg.f64 (fma.f64 eps (*.f64 (*.f64 eps eps) (*.f64 eps (*.f64 eps eps))) (*.f64 (*.f64 (*.f64 x (*.f64 x x)) #s(literal 8 binary64)) (*.f64 eps (*.f64 eps eps))))) (neg.f64 (fma.f64 (*.f64 eps eps) (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64)))) (*.f64 (*.f64 x x) (*.f64 #s(literal 4 binary64) (*.f64 eps eps))))))
(/.f64 (neg.f64 (*.f64 (*.f64 eps (fma.f64 x #s(literal 2 binary64) eps)) (*.f64 eps (-.f64 (*.f64 x #s(literal 2 binary64)) eps)))) (neg.f64 (*.f64 eps (-.f64 (*.f64 x #s(literal 2 binary64)) eps))))
(/.f64 (neg.f64 (*.f64 eps (fma.f64 x (*.f64 (*.f64 x x) #s(literal 8 binary64)) (*.f64 eps (*.f64 eps eps))))) (neg.f64 (fma.f64 x (*.f64 x #s(literal 4 binary64)) (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64)))))))
(/.f64 (neg.f64 (*.f64 eps (-.f64 (*.f64 (*.f64 x x) #s(literal 4 binary64)) (*.f64 eps eps)))) (fma.f64 x #s(literal -2 binary64) (neg.f64 (neg.f64 eps))))
(/.f64 (*.f64 eps #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (fma.f64 x #s(literal 2 binary64) eps)))
(/.f64 (*.f64 eps (neg.f64 (fma.f64 x (*.f64 (*.f64 x x) #s(literal 8 binary64)) (*.f64 eps (*.f64 eps eps))))) (neg.f64 (fma.f64 x (*.f64 x #s(literal 4 binary64)) (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64)))))))
(/.f64 (*.f64 eps (neg.f64 (-.f64 (*.f64 (*.f64 x x) #s(literal 4 binary64)) (*.f64 eps eps)))) (fma.f64 x #s(literal -2 binary64) (neg.f64 (neg.f64 eps))))
(/.f64 (*.f64 eps (fma.f64 eps eps (*.f64 #s(literal -4 binary64) (*.f64 x x)))) (-.f64 eps (*.f64 x #s(literal 2 binary64))))
(/.f64 (*.f64 #s(literal 1 binary64) eps) (/.f64 #s(literal 1 binary64) (fma.f64 x #s(literal 2 binary64) eps)))
(/.f64 (*.f64 (neg.f64 (fma.f64 x (*.f64 (*.f64 x x) #s(literal 8 binary64)) (*.f64 eps (*.f64 eps eps)))) eps) (neg.f64 (fma.f64 x (*.f64 x #s(literal 4 binary64)) (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64)))))))
(/.f64 (*.f64 (neg.f64 (-.f64 (*.f64 (*.f64 x x) #s(literal 4 binary64)) (*.f64 eps eps))) eps) (fma.f64 x #s(literal -2 binary64) (neg.f64 (neg.f64 eps))))
(/.f64 (*.f64 (fma.f64 eps eps (*.f64 #s(literal -4 binary64) (*.f64 x x))) eps) (-.f64 eps (*.f64 x #s(literal 2 binary64))))
(*.f64 eps (fma.f64 x #s(literal 2 binary64) eps))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(*.f64 (fma.f64 x (*.f64 (*.f64 x x) #s(literal 8 binary64)) (*.f64 eps (*.f64 eps eps))) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x (*.f64 x #s(literal 4 binary64)) (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64)))))) eps))
(*.f64 (fma.f64 x (*.f64 (*.f64 x x) #s(literal 8 binary64)) (*.f64 eps (*.f64 eps eps))) (/.f64 eps (fma.f64 x (*.f64 x #s(literal 4 binary64)) (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64)))))))
(*.f64 (-.f64 (*.f64 (*.f64 x x) #s(literal 4 binary64)) (*.f64 eps eps)) (*.f64 (/.f64 #s(literal 1 binary64) (-.f64 (*.f64 x #s(literal 2 binary64)) eps)) eps))
(*.f64 (-.f64 (*.f64 (*.f64 x x) #s(literal 4 binary64)) (*.f64 eps eps)) (/.f64 eps (-.f64 (*.f64 x #s(literal 2 binary64)) eps)))
(*.f64 (fma.f64 eps (*.f64 (*.f64 eps eps) (*.f64 eps (*.f64 eps eps))) (*.f64 (*.f64 (*.f64 x (*.f64 x x)) #s(literal 8 binary64)) (*.f64 eps (*.f64 eps eps)))) (/.f64 #s(literal 1 binary64) (fma.f64 (*.f64 eps eps) (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64)))) (*.f64 (*.f64 x x) (*.f64 #s(literal 4 binary64) (*.f64 eps eps))))))
(*.f64 (*.f64 (*.f64 eps (fma.f64 x #s(literal 2 binary64) eps)) (*.f64 eps (-.f64 (*.f64 x #s(literal 2 binary64)) eps))) (/.f64 #s(literal 1 binary64) (*.f64 eps (-.f64 (*.f64 x #s(literal 2 binary64)) eps))))
(*.f64 (*.f64 eps (fma.f64 x (*.f64 (*.f64 x x) #s(literal 8 binary64)) (*.f64 eps (*.f64 eps eps)))) (/.f64 #s(literal 1 binary64) (fma.f64 x (*.f64 x #s(literal 4 binary64)) (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64)))))))
(*.f64 (*.f64 eps (-.f64 (*.f64 (*.f64 x x) #s(literal 4 binary64)) (*.f64 eps eps))) (/.f64 #s(literal 1 binary64) (-.f64 (*.f64 x #s(literal 2 binary64)) eps)))
(*.f64 (/.f64 (*.f64 eps (fma.f64 x (*.f64 (*.f64 x x) #s(literal 8 binary64)) (*.f64 eps (*.f64 eps eps)))) (fma.f64 (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64)))) (*.f64 eps (*.f64 (-.f64 eps (*.f64 x #s(literal 2 binary64))) (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64)))))) (*.f64 (*.f64 (*.f64 x (*.f64 x x)) (*.f64 x (*.f64 x x))) #s(literal 64 binary64)))) (fma.f64 (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64)))) (-.f64 (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64)))) (*.f64 (*.f64 x x) #s(literal 4 binary64))) (*.f64 (*.f64 x (*.f64 x (*.f64 x x))) #s(literal 16 binary64))))
(*.f64 (/.f64 (*.f64 eps (fma.f64 x (*.f64 (*.f64 x x) #s(literal 8 binary64)) (*.f64 eps (*.f64 eps eps)))) (-.f64 (*.f64 (*.f64 x (*.f64 x (*.f64 x x))) #s(literal 16 binary64)) (*.f64 eps (*.f64 (-.f64 eps (*.f64 x #s(literal 2 binary64))) (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64)))))))) (-.f64 (*.f64 (*.f64 x x) #s(literal 4 binary64)) (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64))))))
(*.f64 (/.f64 (*.f64 eps (-.f64 (*.f64 (*.f64 x x) #s(literal 4 binary64)) (*.f64 eps eps))) (-.f64 (*.f64 (*.f64 x x) #s(literal 4 binary64)) (*.f64 eps eps))) (fma.f64 x #s(literal 2 binary64) eps))
(*.f64 (/.f64 (*.f64 eps (-.f64 (*.f64 (*.f64 x x) #s(literal 4 binary64)) (*.f64 eps eps))) (-.f64 (*.f64 (*.f64 x (*.f64 x x)) #s(literal 8 binary64)) (*.f64 eps (*.f64 eps eps)))) (fma.f64 eps (fma.f64 x #s(literal 2 binary64) eps) (*.f64 (*.f64 x x) #s(literal 4 binary64))))
(+.f64 eps (*.f64 x #s(literal 2 binary64)))
(+.f64 (*.f64 x #s(literal 2 binary64)) eps)
(+.f64 (/.f64 (*.f64 (*.f64 x x) #s(literal 4 binary64)) (-.f64 (*.f64 x #s(literal 2 binary64)) eps)) (neg.f64 (/.f64 (*.f64 eps eps) (-.f64 (*.f64 x #s(literal 2 binary64)) eps))))
(-.f64 (/.f64 (*.f64 (*.f64 x x) #s(literal 4 binary64)) (-.f64 (*.f64 x #s(literal 2 binary64)) eps)) (/.f64 (*.f64 eps eps) (-.f64 (*.f64 x #s(literal 2 binary64)) eps)))
(-.f64 (/.f64 (*.f64 eps eps) (-.f64 eps (*.f64 x #s(literal 2 binary64)))) (/.f64 (*.f64 (*.f64 x x) #s(literal 4 binary64)) (-.f64 eps (*.f64 x #s(literal 2 binary64)))))
(fma.f64 x #s(literal 2 binary64) eps)
(fma.f64 x (/.f64 (*.f64 x #s(literal 4 binary64)) (-.f64 (*.f64 x #s(literal 2 binary64)) eps)) (neg.f64 (/.f64 (*.f64 eps eps) (-.f64 (*.f64 x #s(literal 2 binary64)) eps))))
(fma.f64 #s(literal 2 binary64) x eps)
(fma.f64 #s(literal 2 binary64) (/.f64 (*.f64 x (*.f64 x #s(literal 2 binary64))) (-.f64 (*.f64 x #s(literal 2 binary64)) eps)) (neg.f64 (/.f64 (*.f64 eps eps) (-.f64 (*.f64 x #s(literal 2 binary64)) eps))))
(fma.f64 (*.f64 x x) (/.f64 #s(literal 4 binary64) (-.f64 (*.f64 x #s(literal 2 binary64)) eps)) (neg.f64 (/.f64 (*.f64 eps eps) (-.f64 (*.f64 x #s(literal 2 binary64)) eps))))
(fma.f64 (*.f64 x #s(literal 2 binary64)) (/.f64 (*.f64 x #s(literal 2 binary64)) (-.f64 (*.f64 x #s(literal 2 binary64)) eps)) (neg.f64 (/.f64 (*.f64 eps eps) (-.f64 (*.f64 x #s(literal 2 binary64)) eps))))
(fma.f64 (*.f64 (*.f64 x x) #s(literal 4 binary64)) (/.f64 #s(literal 1 binary64) (-.f64 (*.f64 x #s(literal 2 binary64)) eps)) (neg.f64 (/.f64 (*.f64 eps eps) (-.f64 (*.f64 x #s(literal 2 binary64)) eps))))
(fma.f64 #s(literal 4 binary64) (/.f64 (*.f64 x x) (-.f64 (*.f64 x #s(literal 2 binary64)) eps)) (neg.f64 (/.f64 (*.f64 eps eps) (-.f64 (*.f64 x #s(literal 2 binary64)) eps))))
(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) #s(literal 2 binary64)) eps)
(fma.f64 (*.f64 x (*.f64 x #s(literal 2 binary64))) (/.f64 #s(literal 2 binary64) (-.f64 (*.f64 x #s(literal 2 binary64)) eps)) (neg.f64 (/.f64 (*.f64 eps eps) (-.f64 (*.f64 x #s(literal 2 binary64)) eps))))
(fma.f64 (*.f64 x #s(literal 4 binary64)) (/.f64 x (-.f64 (*.f64 x #s(literal 2 binary64)) eps)) (neg.f64 (/.f64 (*.f64 eps eps) (-.f64 (*.f64 x #s(literal 2 binary64)) eps))))
(fma.f64 (pow.f64 eps #s(literal 1/2 binary64)) (pow.f64 eps #s(literal 1/2 binary64)) (*.f64 x #s(literal 2 binary64)))
(fma.f64 (*.f64 #s(literal 2 binary64) (sqrt.f64 x)) (sqrt.f64 x) eps)
(fma.f64 (/.f64 (*.f64 (*.f64 x x) #s(literal 4 binary64)) (-.f64 (*.f64 (*.f64 x x) #s(literal 4 binary64)) (*.f64 eps eps))) (fma.f64 x #s(literal 2 binary64) eps) (neg.f64 (/.f64 (*.f64 eps eps) (-.f64 (*.f64 x #s(literal 2 binary64)) eps))))
(fma.f64 (/.f64 (*.f64 (*.f64 x x) #s(literal 4 binary64)) (-.f64 (*.f64 (*.f64 x (*.f64 x x)) #s(literal 8 binary64)) (*.f64 eps (*.f64 eps eps)))) (fma.f64 eps (fma.f64 x #s(literal 2 binary64) eps) (*.f64 (*.f64 x x) #s(literal 4 binary64))) (neg.f64 (/.f64 (*.f64 eps eps) (-.f64 (*.f64 x #s(literal 2 binary64)) eps))))
(neg.f64 (/.f64 (fma.f64 x (*.f64 (*.f64 x x) #s(literal 8 binary64)) (*.f64 eps (*.f64 eps eps))) (neg.f64 (fma.f64 x (*.f64 x #s(literal 4 binary64)) (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64))))))))
(neg.f64 (/.f64 (-.f64 (*.f64 (*.f64 x x) #s(literal 4 binary64)) (*.f64 eps eps)) (fma.f64 x #s(literal -2 binary64) (neg.f64 (neg.f64 eps)))))
(neg.f64 (/.f64 (neg.f64 (fma.f64 x (*.f64 (*.f64 x x) #s(literal 8 binary64)) (*.f64 eps (*.f64 eps eps)))) (fma.f64 x (*.f64 x #s(literal 4 binary64)) (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64)))))))
(neg.f64 (/.f64 (neg.f64 (-.f64 (*.f64 (*.f64 x x) #s(literal 4 binary64)) (*.f64 eps eps))) (-.f64 (*.f64 x #s(literal 2 binary64)) eps)))
(/.f64 (fma.f64 x (*.f64 (*.f64 x x) #s(literal 8 binary64)) (*.f64 eps (*.f64 eps eps))) (fma.f64 x (*.f64 x #s(literal 4 binary64)) (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64))))))
(/.f64 (-.f64 (*.f64 (*.f64 x x) #s(literal 4 binary64)) (*.f64 eps eps)) (-.f64 (*.f64 x #s(literal 2 binary64)) eps))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (fma.f64 x #s(literal 2 binary64) eps)))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x #s(literal 2 binary64) eps)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 eps (*.f64 x #s(literal 2 binary64))) (fma.f64 eps eps (*.f64 #s(literal -4 binary64) (*.f64 x x)))))
(/.f64 (neg.f64 (fma.f64 x (*.f64 (*.f64 x x) #s(literal 8 binary64)) (*.f64 eps (*.f64 eps eps)))) (neg.f64 (fma.f64 x (*.f64 x #s(literal 4 binary64)) (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64)))))))
(/.f64 (neg.f64 (-.f64 (*.f64 (*.f64 x x) #s(literal 4 binary64)) (*.f64 eps eps))) (fma.f64 x #s(literal -2 binary64) (neg.f64 (neg.f64 eps))))
(/.f64 (fma.f64 (*.f64 eps (*.f64 eps eps)) (*.f64 (*.f64 eps eps) (*.f64 eps (*.f64 eps (*.f64 eps eps)))) (*.f64 (*.f64 (*.f64 x (*.f64 x x)) (*.f64 (*.f64 x (*.f64 x x)) (*.f64 x (*.f64 x x)))) #s(literal 512 binary64))) (*.f64 (fma.f64 x (*.f64 x #s(literal 4 binary64)) (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64))))) (fma.f64 (*.f64 eps (*.f64 eps eps)) (-.f64 (*.f64 eps (*.f64 eps eps)) (*.f64 (*.f64 x (*.f64 x x)) #s(literal 8 binary64))) (*.f64 (*.f64 (*.f64 x (*.f64 x x)) (*.f64 x (*.f64 x x))) #s(literal 64 binary64)))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x #s(literal 2 binary64) eps))))
(/.f64 (-.f64 (*.f64 (*.f64 (*.f64 x (*.f64 x x)) (*.f64 x (*.f64 x x))) #s(literal 64 binary64)) (*.f64 (*.f64 eps eps) (*.f64 eps (*.f64 eps (*.f64 eps eps))))) (*.f64 (fma.f64 x (*.f64 x #s(literal 4 binary64)) (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64))))) (-.f64 (*.f64 (*.f64 x (*.f64 x x)) #s(literal 8 binary64)) (*.f64 eps (*.f64 eps eps)))))
(/.f64 (-.f64 (*.f64 (*.f64 (*.f64 x (*.f64 x x)) (*.f64 x (*.f64 x x))) #s(literal 64 binary64)) (*.f64 (*.f64 eps eps) (*.f64 eps (*.f64 eps (*.f64 eps eps))))) (*.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) eps) (fma.f64 (*.f64 eps eps) (fma.f64 x (*.f64 x #s(literal 4 binary64)) (*.f64 eps eps)) (*.f64 (*.f64 x (*.f64 x (*.f64 x x))) #s(literal 16 binary64)))))
(/.f64 (fma.f64 eps eps (*.f64 #s(literal -4 binary64) (*.f64 x x))) (-.f64 eps (*.f64 x #s(literal 2 binary64))))
(/.f64 (-.f64 (*.f64 (*.f64 x (*.f64 x (*.f64 x x))) #s(literal 16 binary64)) (*.f64 eps (*.f64 eps (*.f64 eps eps)))) (*.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) eps) (fma.f64 x (*.f64 x #s(literal 4 binary64)) (*.f64 eps eps))))
(/.f64 (-.f64 (*.f64 (*.f64 (*.f64 x x) #s(literal 4 binary64)) (-.f64 (*.f64 x #s(literal 2 binary64)) eps)) (*.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) eps) (*.f64 eps eps))) (*.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) eps) (-.f64 (*.f64 x #s(literal 2 binary64)) eps)))
(/.f64 (*.f64 (fma.f64 (*.f64 eps (*.f64 eps eps)) (*.f64 (*.f64 eps eps) (*.f64 eps (*.f64 eps (*.f64 eps eps)))) (*.f64 (*.f64 (*.f64 x (*.f64 x x)) (*.f64 (*.f64 x (*.f64 x x)) (*.f64 x (*.f64 x x)))) #s(literal 512 binary64))) #s(literal 1 binary64)) (*.f64 (fma.f64 (*.f64 eps (*.f64 eps eps)) (-.f64 (*.f64 eps (*.f64 eps eps)) (*.f64 (*.f64 x (*.f64 x x)) #s(literal 8 binary64))) (*.f64 (*.f64 (*.f64 x (*.f64 x x)) (*.f64 x (*.f64 x x))) #s(literal 64 binary64))) (fma.f64 x (*.f64 x #s(literal 4 binary64)) (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64)))))))
(/.f64 (*.f64 (-.f64 (*.f64 (*.f64 (*.f64 x (*.f64 x x)) (*.f64 x (*.f64 x x))) #s(literal 64 binary64)) (*.f64 (*.f64 eps eps) (*.f64 eps (*.f64 eps (*.f64 eps eps))))) #s(literal 1 binary64)) (*.f64 (-.f64 (*.f64 (*.f64 x (*.f64 x x)) #s(literal 8 binary64)) (*.f64 eps (*.f64 eps eps))) (fma.f64 x (*.f64 x #s(literal 4 binary64)) (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64)))))))
(/.f64 (*.f64 (-.f64 (*.f64 (*.f64 (*.f64 x (*.f64 x x)) (*.f64 x (*.f64 x x))) #s(literal 64 binary64)) (*.f64 (*.f64 eps eps) (*.f64 eps (*.f64 eps (*.f64 eps eps))))) #s(literal 1 binary64)) (*.f64 (fma.f64 (*.f64 eps eps) (fma.f64 x (*.f64 x #s(literal 4 binary64)) (*.f64 eps eps)) (*.f64 (*.f64 x (*.f64 x (*.f64 x x))) #s(literal 16 binary64))) (-.f64 (*.f64 x #s(literal 2 binary64)) eps)))
(/.f64 (*.f64 (-.f64 (*.f64 (*.f64 x (*.f64 x (*.f64 x x))) #s(literal 16 binary64)) (*.f64 eps (*.f64 eps (*.f64 eps eps)))) #s(literal 1 binary64)) (*.f64 (fma.f64 x (*.f64 x #s(literal 4 binary64)) (*.f64 eps eps)) (-.f64 (*.f64 x #s(literal 2 binary64)) eps)))
(/.f64 (neg.f64 (neg.f64 (fma.f64 x (*.f64 (*.f64 x x) #s(literal 8 binary64)) (*.f64 eps (*.f64 eps eps))))) (neg.f64 (neg.f64 (fma.f64 x (*.f64 x #s(literal 4 binary64)) (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64))))))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (*.f64 (*.f64 x x) #s(literal 4 binary64)) (*.f64 eps eps)))) (neg.f64 (fma.f64 x #s(literal -2 binary64) (neg.f64 (neg.f64 eps)))))
(/.f64 (neg.f64 (fma.f64 eps eps (*.f64 #s(literal -4 binary64) (*.f64 x x)))) (neg.f64 (-.f64 eps (*.f64 x #s(literal 2 binary64)))))
(/.f64 (-.f64 (pow.f64 (/.f64 (*.f64 (*.f64 x x) #s(literal 4 binary64)) (-.f64 (*.f64 x #s(literal 2 binary64)) eps)) #s(literal 3 binary64)) (pow.f64 (/.f64 (*.f64 eps eps) (-.f64 (*.f64 x #s(literal 2 binary64)) eps)) #s(literal 3 binary64))) (fma.f64 (/.f64 (*.f64 (*.f64 x x) #s(literal 4 binary64)) (-.f64 (*.f64 x #s(literal 2 binary64)) eps)) (/.f64 (*.f64 (*.f64 x x) #s(literal 4 binary64)) (-.f64 (*.f64 x #s(literal 2 binary64)) eps)) (fma.f64 (/.f64 (*.f64 eps eps) (-.f64 (*.f64 x #s(literal 2 binary64)) eps)) (/.f64 (*.f64 eps eps) (-.f64 (*.f64 x #s(literal 2 binary64)) eps)) (*.f64 (/.f64 (*.f64 (*.f64 x x) #s(literal 4 binary64)) (-.f64 (*.f64 x #s(literal 2 binary64)) eps)) (/.f64 (*.f64 eps eps) (-.f64 (*.f64 x #s(literal 2 binary64)) eps))))))
(/.f64 (-.f64 (*.f64 (/.f64 (*.f64 (*.f64 x x) #s(literal 4 binary64)) (-.f64 (*.f64 x #s(literal 2 binary64)) eps)) (/.f64 (*.f64 (*.f64 x x) #s(literal 4 binary64)) (-.f64 (*.f64 x #s(literal 2 binary64)) eps))) (*.f64 (/.f64 (*.f64 eps eps) (-.f64 (*.f64 x #s(literal 2 binary64)) eps)) (/.f64 (*.f64 eps eps) (-.f64 (*.f64 x #s(literal 2 binary64)) eps)))) (fma.f64 x (/.f64 (*.f64 x #s(literal 4 binary64)) (-.f64 (*.f64 x #s(literal 2 binary64)) eps)) (/.f64 (*.f64 eps eps) (-.f64 (*.f64 x #s(literal 2 binary64)) eps))))
(/.f64 (*.f64 (fma.f64 x (*.f64 (*.f64 x x) #s(literal 8 binary64)) (*.f64 eps (*.f64 eps eps))) #s(literal 1 binary64)) (fma.f64 x (*.f64 x #s(literal 4 binary64)) (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64))))))
(/.f64 (*.f64 (-.f64 (*.f64 (*.f64 x x) #s(literal 4 binary64)) (*.f64 eps eps)) #s(literal 1 binary64)) (-.f64 (*.f64 x #s(literal 2 binary64)) eps))
(/.f64 (*.f64 (fma.f64 (*.f64 eps (*.f64 eps eps)) (*.f64 (*.f64 eps eps) (*.f64 eps (*.f64 eps (*.f64 eps eps)))) (*.f64 (*.f64 (*.f64 x (*.f64 x x)) (*.f64 (*.f64 x (*.f64 x x)) (*.f64 x (*.f64 x x)))) #s(literal 512 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 x (*.f64 x #s(literal 4 binary64)) (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64))))))) (fma.f64 (*.f64 eps (*.f64 eps eps)) (-.f64 (*.f64 eps (*.f64 eps eps)) (*.f64 (*.f64 x (*.f64 x x)) #s(literal 8 binary64))) (*.f64 (*.f64 (*.f64 x (*.f64 x x)) (*.f64 x (*.f64 x x))) #s(literal 64 binary64))))
(/.f64 (*.f64 (-.f64 (*.f64 (*.f64 (*.f64 x (*.f64 x x)) (*.f64 x (*.f64 x x))) #s(literal 64 binary64)) (*.f64 (*.f64 eps eps) (*.f64 eps (*.f64 eps (*.f64 eps eps))))) (/.f64 #s(literal 1 binary64) (fma.f64 x (*.f64 x #s(literal 4 binary64)) (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64))))))) (-.f64 (*.f64 (*.f64 x (*.f64 x x)) #s(literal 8 binary64)) (*.f64 eps (*.f64 eps eps))))
(/.f64 (*.f64 (-.f64 (*.f64 (*.f64 (*.f64 x (*.f64 x x)) (*.f64 x (*.f64 x x))) #s(literal 64 binary64)) (*.f64 (*.f64 eps eps) (*.f64 eps (*.f64 eps (*.f64 eps eps))))) (/.f64 #s(literal 1 binary64) (-.f64 (*.f64 x #s(literal 2 binary64)) eps))) (fma.f64 (*.f64 eps eps) (fma.f64 x (*.f64 x #s(literal 4 binary64)) (*.f64 eps eps)) (*.f64 (*.f64 x (*.f64 x (*.f64 x x))) #s(literal 16 binary64))))
(/.f64 (*.f64 (-.f64 (*.f64 (*.f64 x (*.f64 x (*.f64 x x))) #s(literal 16 binary64)) (*.f64 eps (*.f64 eps (*.f64 eps eps)))) (/.f64 #s(literal 1 binary64) (-.f64 (*.f64 x #s(literal 2 binary64)) eps))) (fma.f64 x (*.f64 x #s(literal 4 binary64)) (*.f64 eps eps)))
(pow.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x #s(literal 2 binary64) eps)) #s(literal -1 binary64))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) (*.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) eps) (/.f64 #s(literal 1 binary64) (-.f64 (*.f64 x #s(literal 2 binary64)) eps))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) (/.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) eps) (-.f64 (*.f64 x #s(literal 2 binary64)) eps)))
(*.f64 (fma.f64 x (*.f64 (*.f64 x x) #s(literal 8 binary64)) (*.f64 eps (*.f64 eps eps))) (/.f64 #s(literal 1 binary64) (fma.f64 x (*.f64 x #s(literal 4 binary64)) (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64)))))))
(*.f64 (fma.f64 x (*.f64 x #s(literal 4 binary64)) (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64))))) (*.f64 (fma.f64 x #s(literal 2 binary64) eps) (/.f64 #s(literal 1 binary64) (fma.f64 x (*.f64 x #s(literal 4 binary64)) (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64))))))))
(*.f64 (fma.f64 x (*.f64 x #s(literal 4 binary64)) (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64))))) (/.f64 (fma.f64 x #s(literal 2 binary64) eps) (fma.f64 x (*.f64 x #s(literal 4 binary64)) (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64)))))))
(*.f64 (-.f64 (*.f64 (*.f64 x x) #s(literal 4 binary64)) (*.f64 eps eps)) (/.f64 #s(literal 1 binary64) (-.f64 (*.f64 x #s(literal 2 binary64)) eps)))
(*.f64 #s(literal 1 binary64) (fma.f64 x #s(literal 2 binary64) eps))
(*.f64 (neg.f64 (fma.f64 x (*.f64 (*.f64 x x) #s(literal 8 binary64)) (*.f64 eps (*.f64 eps eps)))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 x (*.f64 x #s(literal 4 binary64)) (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64))))))))
(*.f64 (neg.f64 (-.f64 (*.f64 (*.f64 x x) #s(literal 4 binary64)) (*.f64 eps eps))) (/.f64 #s(literal 1 binary64) (fma.f64 x #s(literal -2 binary64) (neg.f64 (neg.f64 eps)))))
(*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x (*.f64 x #s(literal 4 binary64)) (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64)))))) (fma.f64 x (*.f64 (*.f64 x x) #s(literal 8 binary64)) (*.f64 eps (*.f64 eps eps))))
(*.f64 (/.f64 #s(literal 1 binary64) (-.f64 (*.f64 x #s(literal 2 binary64)) eps)) (-.f64 (*.f64 (*.f64 x x) #s(literal 4 binary64)) (*.f64 eps eps)))
(*.f64 (fma.f64 eps eps (*.f64 #s(literal -4 binary64) (*.f64 x x))) (/.f64 #s(literal 1 binary64) (-.f64 eps (*.f64 x #s(literal 2 binary64)))))
(*.f64 (/.f64 (-.f64 (*.f64 (*.f64 x x) #s(literal 4 binary64)) (*.f64 eps eps)) (-.f64 (*.f64 (*.f64 x x) #s(literal 4 binary64)) (*.f64 eps eps))) (fma.f64 x #s(literal 2 binary64) eps))
(*.f64 (/.f64 (fma.f64 x (*.f64 (*.f64 x x) #s(literal 8 binary64)) (*.f64 eps (*.f64 eps eps))) (fma.f64 (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64)))) (*.f64 eps (*.f64 (-.f64 eps (*.f64 x #s(literal 2 binary64))) (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64)))))) (*.f64 (*.f64 (*.f64 x (*.f64 x x)) (*.f64 x (*.f64 x x))) #s(literal 64 binary64)))) (fma.f64 (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64)))) (-.f64 (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64)))) (*.f64 (*.f64 x x) #s(literal 4 binary64))) (*.f64 (*.f64 x (*.f64 x (*.f64 x x))) #s(literal 16 binary64))))
(*.f64 (/.f64 (fma.f64 x (*.f64 (*.f64 x x) #s(literal 8 binary64)) (*.f64 eps (*.f64 eps eps))) (-.f64 (*.f64 (*.f64 x (*.f64 x (*.f64 x x))) #s(literal 16 binary64)) (*.f64 eps (*.f64 (-.f64 eps (*.f64 x #s(literal 2 binary64))) (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64)))))))) (-.f64 (*.f64 (*.f64 x x) #s(literal 4 binary64)) (*.f64 eps (-.f64 eps (*.f64 x #s(literal 2 binary64))))))
(*.f64 (/.f64 (-.f64 (*.f64 (*.f64 x x) #s(literal 4 binary64)) (*.f64 eps eps)) (-.f64 (*.f64 (*.f64 x (*.f64 x x)) #s(literal 8 binary64)) (*.f64 eps (*.f64 eps eps)))) (fma.f64 eps (fma.f64 x #s(literal 2 binary64) eps) (*.f64 (*.f64 x x) #s(literal 4 binary64))))
(*.f64 eps #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) eps)
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 x (*.f64 eps #s(literal 2 binary64))))
(*.f64 x (*.f64 eps #s(literal 2 binary64)))
(*.f64 eps (*.f64 x #s(literal 2 binary64)))
(*.f64 #s(literal 2 binary64) (*.f64 x eps))
(*.f64 (*.f64 eps #s(literal 2 binary64)) x)
(*.f64 (*.f64 x #s(literal 2 binary64)) eps)
(*.f64 (*.f64 x eps) #s(literal 2 binary64))
(*.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (*.f64 eps #s(literal 2 binary64))))
(*.f64 (*.f64 (*.f64 eps #s(literal 2 binary64)) (sqrt.f64 x)) (sqrt.f64 x))

eval28.0ms (0.5%)

Memory
18.1MiB live, 55.5MiB allocated
Compiler

Compiled 4 653 to 396 computations (91.5% saved)

prune20.0ms (0.4%)

Memory
1.4MiB live, 39.1MiB allocated
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New3040304
Fresh000
Picked033
Done000
Total3043307
Accuracy
100.0%
Counts
307 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓63.2%
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 x (*.f64 #s(literal 2 binary64) eps)))
✓100.0%
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps (fma.f64 x #s(literal 2 binary64) eps)))
✓75.2%
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps))
Compiler

Compiled 51 to 25 computations (51% saved)

regimes8.0ms (0.2%)

Memory
-25.8MiB live, 12.0MiB allocated
Counts
4 → 1
Calls
Call 1
Inputs
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps))
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 x (*.f64 #s(literal 2 binary64) eps)))
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps (fma.f64 x #s(literal 2 binary64) eps)))
(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))
Outputs
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps (fma.f64 x #s(literal 2 binary64) eps)))
Calls

3 calls:

4.0ms
x
2.0ms
eps
2.0ms
(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))
Results
AccuracySegmentsBranch
100.0%1x
100.0%1eps
100.0%1(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))
Compiler

Compiled 17 to 11 computations (35.3% saved)

regimes5.0ms (0.1%)

Memory
9.7MiB live, 9.7MiB allocated
Counts
2 → 2
Calls
Call 1
Inputs
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps))
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 x (*.f64 #s(literal 2 binary64) eps)))
Outputs
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 x (*.f64 #s(literal 2 binary64) eps)))
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps))
Calls

3 calls:

2.0ms
eps
1.0ms
x
1.0ms
(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))
Results
AccuracySegmentsBranch
94.2%3x
90.0%3eps
99.1%2(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))
Compiler

Compiled 17 to 11 computations (35.3% saved)

regimes4.0ms (0.1%)

Memory
8.7MiB live, 8.7MiB allocated
Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts
1 → 1
Calls
Call 1
Inputs
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps))
Outputs
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps))
Calls

3 calls:

1.0ms
x
1.0ms
eps
1.0ms
(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))
Results
AccuracySegmentsBranch
75.2%1eps
75.2%1x
75.2%1(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))
Compiler

Compiled 17 to 11 computations (35.3% saved)

bsearch0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated
Algorithm
1×left-value
Steps
TimeLeftRight
0.0ms
0.0
1e-323
Compiler

Compiled 14 to 12 computations (14.3% saved)

simplify6.0ms (0.1%)

Memory
11.1MiB live, 11.1MiB allocated
Algorithm
1×egg-herbie
Rules
8×*-commutative_binary64
6×+-commutative_binary64
4×sub-neg_binary64
2×neg-sub0_binary64
2×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02269
12869
23269
33469
43569
Stop Event
1×saturated
Calls
Call 1
Inputs
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps (fma.f64 x #s(literal 2 binary64) eps)))
(if (<=.f64 (-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64))) #s(literal 0 binary64)) #s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 x (*.f64 #s(literal 2 binary64) eps))) #s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps)))
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps))
Outputs
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps (fma.f64 x #s(literal 2 binary64) eps)))
(if (<=.f64 (-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64))) #s(literal 0 binary64)) #s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 x (*.f64 #s(literal 2 binary64) eps))) #s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps)))
(if (<=.f64 (-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64))) #s(literal 0 binary64)) #s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 x (*.f64 eps #s(literal 2 binary64)))) #s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps)))
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps))

soundness446.0ms (8.5%)

Memory
-23.6MiB live, 174.7MiB allocated
Rules
9 222×lower-fma.f64
9 222×lower-fma.f32
3 242×lower-*.f64
3 242×lower-*.f32
1 646×lower--.f64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
069492
1214450
2574450
31825438
44173438
57244438
08097390
Stop Event
1×done
1×iter limit
1×node limit
Compiler

Compiled 54 to 28 computations (48.1% saved)

preprocess45.0ms (0.8%)

Memory
5.0MiB live, 43.6MiB allocated
Compiler

Compiled 92 to 44 computations (52.2% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...