Main:bigenough1 from B

Time bar (total: 2.5s)

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated; 0ms collecting garbage
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
100%100%0%0%0%0%0%1
Compiler

Compiled 7 to 5 computations (28.6% saved)

sample684.0ms (27%)

Memory
-9.6MiB live, 736.0MiB allocated; 239ms collecting garbage
Samples
397.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 214.0ms
ival-mult: 163.0ms (76.3% of total)
ival-add: 40.0ms (18.7% of total)
ival-true: 6.0ms (2.8% of total)
ival-assert: 3.0ms (1.4% of total)
adjust: 2.0ms (0.9% of total)
Bogosity

explain50.0ms (2%)

Memory
27.5MiB live, 72.1MiB allocated; 8ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
00-0-(+.f64 x (*.f64 x x))
00-0-(*.f64 x x)
00-0-x
Confusion
Predicted +Predicted -
+00
-0256
Precision
0/0
Recall
0/0
Confusion?
Predicted +Predicted MaybePredicted -
+000
-00256
Precision?
0/0
Recall?
0/0
Freqs
test
numberfreq
0256
Total Confusion?
Predicted +Predicted MaybePredicted -
+000
-001
Precision?
0/0
Recall?
0/0
Samples
18.0ms512×0valid
Compiler

Compiled 27 to 13 computations (51.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.0ms
ival-mult: 4.0ms (53.6% of total)
ival-add: 3.0ms (40.2% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

preprocess230.0ms (9.1%)

Memory
-10.7MiB live, 238.1MiB allocated; 46ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0513
12312
26110
39110
415910
540510
6134010
035
055
1155
2395
3765
41295
53385
611825
082084
Stop Event
1×iter limit
1×node limit
1×iter limit
1×node limit
Calls
Call 1
Inputs
(+.f64 x (*.f64 x x))
Outputs
(+.f64 x (*.f64 x x))
(fma.f64 x x x)
Compiler

Compiled 5 to 3 computations (40% saved)

eval0.0ms (0%)

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

Compiled 0 to 1 computations (-∞% saved)

prune0.0ms (0%)

Memory
0.9MiB live, 0.9MiB allocated; 0ms collecting garbage
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(+.f64 x (*.f64 x x))
Compiler

Compiled 5 to 3 computations (40% saved)

simplify174.0ms (6.9%)

Memory
12.5MiB live, 207.8MiB allocated; 19ms collecting garbage
Localize:

Found 2 expressions of interest:

NewMetricScoreProgram
cost-diff0
(*.f64 x x)
cost-diff1
(+.f64 x (*.f64 x x))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
039
059
1159
2399
3769
41299
53389
611829
082088
Stop Event
1×iter limit
1×node limit
1×iter limit
Calls
Call 1
Inputs
(+.f64 x (*.f64 x x))
x
(*.f64 x x)
Outputs
(+.f64 x (*.f64 x x))
(fma.f64 x x x)
x
(*.f64 x x)

localize36.0ms (1.4%)

Memory
-8.6MiB live, 35.6MiB allocated; 4ms collecting garbage
Localize:

Found 2 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(*.f64 x x)
accuracy0.01171875
(+.f64 x (*.f64 x x))
Samples
32.0ms256×0valid
Compiler

Compiled 11 to 5 computations (54.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 27.0ms
ival-mult: 25.0ms (93.9% of total)
ival-add: 1.0ms (3.8% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series2.0ms (0.1%)

Memory
4.4MiB live, 4.4MiB allocated; 0ms collecting garbage
Counts
2 → 4
Calls
Call 1
Inputs
(+.f64 x (*.f64 x x))
(*.f64 x x)
Outputs
x
(* x (+ 1 x))
(pow x 2)
(* (pow x 2) (+ 1 (/ 1 x)))
Calls

3 calls:

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

simplify173.0ms (6.8%)

Memory
-17.1MiB live, 124.3MiB allocated; 23ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0914
12714
26614
323914
4164514
5695114
0802712
Stop Event
1×iter limit
1×node limit
Counts
4 → 3
Calls
Call 1
Inputs
x
(* x (+ 1 x))
(pow x 2)
(* (pow x 2) (+ 1 (/ 1 x)))
Outputs
x
(* x (+ 1 x))
(fma.f64 x x x)
(pow x 2)
(*.f64 x x)
(* (pow x 2) (+ 1 (/ 1 x)))
(fma.f64 x x x)

rewrite103.0ms (4.1%)

Memory
4.2MiB live, 48.5MiB allocated; 7ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
038
058
1298
02197
Stop Event
1×iter limit
1×iter limit
1×iter limit
1×unsound
1×iter limit
Counts
2 → 37
Calls
Call 1
Inputs
(+.f64 x (*.f64 x x))
(*.f64 x x)
Outputs
(*.f64 (+.f64 #s(literal 1 binary64) x) x)
(*.f64 x (+.f64 #s(literal 1 binary64) x))
(/.f64 (-.f64 (pow.f64 x #s(literal 4 binary64)) (*.f64 x x)) (-.f64 (*.f64 x x) x))
(/.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 (*.f64 (neg.f64 x) x) #s(literal 3 binary64))) (fma.f64 x x (+.f64 (pow.f64 x #s(literal 4 binary64)) (*.f64 x (*.f64 (neg.f64 x) x)))))
(/.f64 (neg.f64 (-.f64 (*.f64 x x) (pow.f64 x #s(literal 4 binary64)))) (neg.f64 (-.f64 x (*.f64 x x))))
(/.f64 (neg.f64 (+.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 x #s(literal 3 binary64)))) (neg.f64 (-.f64 (fma.f64 x x (pow.f64 x #s(literal 4 binary64))) (pow.f64 x #s(literal 3 binary64)))))
(/.f64 (-.f64 (*.f64 x x) (pow.f64 x #s(literal 4 binary64))) (-.f64 x (*.f64 x x)))
(/.f64 (+.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 x #s(literal 3 binary64))) (+.f64 (pow.f64 x #s(literal 4 binary64)) (-.f64 (*.f64 x x) (pow.f64 x #s(literal 3 binary64)))))
(/.f64 (+.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 x #s(literal 3 binary64))) (-.f64 (fma.f64 x x (pow.f64 x #s(literal 4 binary64))) (pow.f64 x #s(literal 3 binary64))))
(fma.f64 (pow.f64 x #s(literal 1 binary64)) (pow.f64 x #s(literal 1 binary64)) x)
(fma.f64 (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 x)) x)
(fma.f64 (neg.f64 (fabs.f64 x)) (neg.f64 (fabs.f64 x)) x)
(fma.f64 (fabs.f64 (fabs.f64 x)) (fabs.f64 (fabs.f64 x)) x)
(fma.f64 (neg.f64 x) (neg.f64 x) x)
(fma.f64 (fabs.f64 x) (fabs.f64 x) x)
(fma.f64 x x x)
(-.f64 (/.f64 (*.f64 x x) (-.f64 x (*.f64 x x))) (/.f64 (pow.f64 x #s(literal 4 binary64)) (-.f64 x (*.f64 x x))))
(-.f64 x (*.f64 (neg.f64 (neg.f64 x)) (neg.f64 x)))
(-.f64 x (*.f64 (neg.f64 (fabs.f64 x)) (fabs.f64 x)))
(-.f64 x (*.f64 (neg.f64 x) x))
(+.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (-.f64 (fma.f64 x x (pow.f64 x #s(literal 4 binary64))) (pow.f64 x #s(literal 3 binary64)))) (/.f64 (pow.f64 x #s(literal 6 binary64)) (-.f64 (fma.f64 x x (pow.f64 x #s(literal 4 binary64))) (pow.f64 x #s(literal 3 binary64)))))
(+.f64 (*.f64 x x) x)
(+.f64 x (*.f64 (neg.f64 (neg.f64 x)) x))
(+.f64 x (*.f64 x x))
(*.f64 (pow.f64 x #s(literal 1 binary64)) (pow.f64 x #s(literal 1 binary64)))
(*.f64 (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 x)))
(*.f64 (neg.f64 (fabs.f64 x)) (neg.f64 (fabs.f64 x)))
(*.f64 (fabs.f64 (fabs.f64 x)) (fabs.f64 (fabs.f64 x)))
(*.f64 (neg.f64 x) (neg.f64 x))
(*.f64 (fabs.f64 x) (fabs.f64 x))
(*.f64 x x)
(pow.f64 (neg.f64 x) #s(literal 2 binary64))
(pow.f64 (fabs.f64 x) #s(literal 2 binary64))
(pow.f64 x #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 x) x))
(fabs.f64 (*.f64 x x))
(exp.f64 (*.f64 (log.f64 x) #s(literal 2 binary64)))

eval4.0ms (0.2%)

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

Compiled 378 to 98 computations (74.1% saved)

prune1.0ms (0.1%)

Memory
3.1MiB live, 3.0MiB allocated; 0ms collecting garbage
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New38139
Fresh000
Picked101
Done000
Total39140
Accuracy
100.0%
Counts
40 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(fma.f64 x x x)
Compiler

Compiled 4 to 2 computations (50% saved)

simplify150.0ms (5.9%)

Memory
4.9MiB live, 147.3MiB allocated; 31ms collecting garbage
Localize:

Found 1 expressions of interest:

NewMetricScoreProgram
cost-diff0
(fma.f64 x x x)
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
025
045
1125
2355
3715
41285
53375
611815
082135
Stop Event
1×iter limit
1×node limit
1×iter limit
Calls
Call 1
Inputs
(fma.f64 x x x)
x
Outputs
(fma.f64 x x x)
x

localize12.0ms (0.5%)

Memory
17.4MiB live, 17.4MiB allocated; 0ms collecting garbage
Localize:

Found 1 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(fma.f64 x x x)
Samples
8.0ms256×0valid
Compiler

Compiled 8 to 5 computations (37.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.0ms
ival-mult: 2.0ms (56.7% of total)
ival-add: 1.0ms (28.4% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series1.0ms (0%)

Memory
1.5MiB live, 1.5MiB allocated; 0ms collecting garbage
Counts
1 → 4
Calls
Call 1
Inputs
(fma.f64 x x x)
Outputs
x
(* x (+ 1 x))
(pow x 2)
(* (pow x 2) (+ 1 (/ 1 x)))
Calls

3 calls:

TimeVariablePointExpression
0.0ms
x
@-inf
((+ (* x x) x))
0.0ms
x
@inf
((+ (* x x) x))
0.0ms
x
@0
((+ (* x x) x))

simplify177.0ms (7%)

Memory
-30.2MiB live, 114.7MiB allocated; 45ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0914
12714
26614
323914
4164514
5695114
0802712
Stop Event
1×iter limit
1×node limit
Counts
4 → 3
Calls
Call 1
Inputs
x
(* x (+ 1 x))
(pow x 2)
(* (pow x 2) (+ 1 (/ 1 x)))
Outputs
x
(* x (+ 1 x))
(fma.f64 x x x)
(pow x 2)
(*.f64 x x)
(* (pow x 2) (+ 1 (/ 1 x)))
(fma.f64 x x x)

rewrite31.0ms (1.2%)

Memory
27.9MiB live, 27.9MiB allocated; 0ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
024
044
1264
02034
Stop Event
1×iter limit
1×iter limit
1×iter limit
1×unsound
1×iter limit
Counts
1 → 23
Calls
Call 1
Inputs
(fma.f64 x x x)
Outputs
(*.f64 (+.f64 #s(literal 1 binary64) x) x)
(*.f64 x (+.f64 #s(literal 1 binary64) x))
(/.f64 (-.f64 (*.f64 x x) (pow.f64 x #s(literal 4 binary64))) (-.f64 x (*.f64 x x)))
(/.f64 (neg.f64 (-.f64 (pow.f64 x #s(literal 4 binary64)) (*.f64 x x))) (neg.f64 (-.f64 (*.f64 x x) x)))
(/.f64 (neg.f64 (+.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 x #s(literal 6 binary64)))) (neg.f64 (fma.f64 x (-.f64 x (*.f64 x x)) (pow.f64 x #s(literal 4 binary64)))))
(/.f64 (-.f64 (pow.f64 x #s(literal 4 binary64)) (*.f64 x x)) (-.f64 (*.f64 x x) x))
(/.f64 (+.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 x #s(literal 6 binary64))) (fma.f64 x x (-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 x #s(literal 3 binary64)))))
(/.f64 (+.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 x #s(literal 6 binary64))) (fma.f64 x (-.f64 x (*.f64 x x)) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 (pow.f64 x #s(literal 1 binary64)) (pow.f64 x #s(literal 1 binary64)) x)
(fma.f64 (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 x)) x)
(fma.f64 (neg.f64 (fabs.f64 x)) (neg.f64 (fabs.f64 x)) x)
(fma.f64 (fabs.f64 (fabs.f64 x)) (fabs.f64 (fabs.f64 x)) x)
(fma.f64 (neg.f64 x) (neg.f64 x) x)
(fma.f64 (fabs.f64 x) (fabs.f64 x) x)
(fma.f64 x x x)
(-.f64 (/.f64 (pow.f64 x #s(literal 4 binary64)) (-.f64 (*.f64 x x) x)) (/.f64 (*.f64 x x) (-.f64 (*.f64 x x) x)))
(-.f64 x (*.f64 (neg.f64 (neg.f64 x)) (neg.f64 x)))
(-.f64 x (*.f64 (neg.f64 (fabs.f64 x)) (fabs.f64 x)))
(-.f64 x (*.f64 (neg.f64 x) x))
(-.f64 x (*.f64 x (neg.f64 x)))
(+.f64 (/.f64 (pow.f64 x #s(literal 6 binary64)) (fma.f64 x (-.f64 x (*.f64 x x)) (pow.f64 x #s(literal 4 binary64)))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 x (-.f64 x (*.f64 x x)) (pow.f64 x #s(literal 4 binary64)))))
(+.f64 (*.f64 x x) x)
(+.f64 x (*.f64 x x))

eval2.0ms (0.1%)

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

Compiled 260 to 63 computations (75.8% saved)

prune44.0ms (1.7%)

Memory
-35.1MiB live, 8.5MiB allocated; 8ms collecting garbage
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New24125
Fresh000
Picked011
Done000
Total24226
Accuracy
100.0%
Counts
26 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(fma.f64 x x x)
▶50.9%
#s(approx (+ (* x x) x) (*.f64 x x))
Compiler

Compiled 13 to 7 computations (46.2% saved)

simplify145.0ms (5.7%)

Memory
2.0MiB live, 234.6MiB allocated; 31ms collecting garbage
Localize:

Found 2 expressions of interest:

NewMetricScoreProgram
cost-diff0
(*.f64 x x)
cost-diff0
#s(approx (+ (* x x) x) (*.f64 x x))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0513
0613
11413
23713
37313
413013
533913
6118113
0821812
Stop Event
1×iter limit
1×node limit
1×iter limit
Calls
Call 1
Inputs
#s(approx (+ (* x x) x) (*.f64 x x))
(*.f64 x x)
x
Outputs
#s(approx (+ (* x x) x) (*.f64 x x))
(*.f64 x x)
x

localize12.0ms (0.5%)

Memory
35.0MiB live, 35.0MiB allocated; 0ms collecting garbage
Localize:

Found 2 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(*.f64 x x)
accuracy31.408226614030948
#s(approx (+ (* x x) x) (*.f64 x x))
Samples
8.0ms256×0valid
Compiler

Compiled 11 to 5 computations (54.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.0ms
ival-mult: 2.0ms (56.3% of total)
ival-add: 1.0ms (28.1% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series1.0ms (0%)

Memory
1.4MiB live, 1.5MiB allocated; 0ms collecting garbage
Counts
2 → 4
Calls
Call 1
Inputs
#s(approx (+ (* x x) x) (*.f64 x x))
(*.f64 x x)
Outputs
x
(* x (+ 1 x))
(pow x 2)
(* (pow x 2) (+ 1 (/ 1 x)))
Calls

3 calls:

TimeVariablePointExpression
0.0ms
x
@-inf
((+ (* x x) x) (* x x))
0.0ms
x
@inf
((+ (* x x) x) (* x x))
0.0ms
x
@0
((+ (* x x) x) (* x x))

simplify172.0ms (6.8%)

Memory
-23.6MiB live, 124.1MiB allocated; 15ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0914
12714
26614
323914
4164514
5695114
0802712
Stop Event
1×iter limit
1×node limit
Counts
4 → 3
Calls
Call 1
Inputs
x
(* x (+ 1 x))
(pow x 2)
(* (pow x 2) (+ 1 (/ 1 x)))
Outputs
x
(* x (+ 1 x))
(fma.f64 x x x)
(pow x 2)
(*.f64 x x)
(* (pow x 2) (+ 1 (/ 1 x)))
(fma.f64 x x x)

rewrite29.0ms (1.2%)

Memory
25.8MiB live, 25.9MiB allocated; 0ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0512
0612
12812
020511
Stop Event
1×iter limit
1×iter limit
1×iter limit
1×unsound
1×iter limit
Counts
2 → 15
Calls
Call 1
Inputs
#s(approx (+ (* x x) x) (*.f64 x x))
(*.f64 x x)
Outputs
#s(approx (+ (* x x) x) (*.f64 x x))
(*.f64 (pow.f64 x #s(literal 1 binary64)) (pow.f64 x #s(literal 1 binary64)))
(*.f64 (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 x)))
(*.f64 (neg.f64 (fabs.f64 x)) (neg.f64 (fabs.f64 x)))
(*.f64 (fabs.f64 (fabs.f64 x)) (fabs.f64 (fabs.f64 x)))
(*.f64 (neg.f64 x) (neg.f64 x))
(*.f64 (fabs.f64 x) (fabs.f64 x))
(*.f64 x x)
(pow.f64 (neg.f64 x) #s(literal 2 binary64))
(pow.f64 (fabs.f64 x) #s(literal 2 binary64))
(pow.f64 x #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 x) x))
(neg.f64 (*.f64 x (neg.f64 x)))
(fabs.f64 (*.f64 x x))
(exp.f64 (*.f64 (log.f64 x) #s(literal 2 binary64)))

eval44.0ms (1.7%)

Memory
-39.3MiB live, 6.6MiB allocated; 4ms collecting garbage
Compiler

Compiled 187 to 47 computations (74.9% saved)

prune2.0ms (0.1%)

Memory
3.1MiB live, 3.0MiB allocated; 0ms collecting garbage
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New17017
Fresh000
Picked011
Done011
Total17219
Accuracy
100.0%
Counts
19 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(fma.f64 x x x)
✓50.9%
#s(approx (+ (* x x) x) (*.f64 x x))
Compiler

Compiled 31 to 14 computations (54.8% saved)

regimes3.0ms (0.1%)

Memory
6.4MiB live, 6.4MiB allocated; 0ms collecting garbage
Counts
3 → 1
Calls
Call 1
Inputs
#s(approx (+ (* x x) x) (*.f64 x x))
(fma.f64 x x x)
(+.f64 x (*.f64 x x))
Outputs
(fma.f64 x x x)
Calls

2 calls:

1.0ms
x
1.0ms
(+.f64 x (*.f64 x x))
Results
AccuracySegmentsBranch
100.0%1(+.f64 x (*.f64 x x))
100.0%1x
Compiler

Compiled 6 to 4 computations (33.3% saved)

regimes2.0ms (0.1%)

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

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

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

2 calls:

1.0ms
x
1.0ms
(+.f64 x (*.f64 x x))
Results
AccuracySegmentsBranch
50.9%1(+.f64 x (*.f64 x x))
50.9%1x
Compiler

Compiled 6 to 4 computations (33.3% saved)

simplify46.0ms (1.8%)

Memory
-11.7MiB live, 40.5MiB allocated; 8ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0613
11413
23713
37313
413013
542513
6249313
Stop Event
1×node limit
Calls
Call 1
Inputs
(fma.f64 x x x)
#s(approx (+ (* x x) x) (*.f64 x x))
Outputs
(fma.f64 x x x)
#s(approx (+ (* x x) x) (*.f64 x x))

derivations140.0ms (5.5%)

Memory
30.7MiB live, 121.6MiB allocated; 6ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0914
12714
26614
323914
4164514
5695114
0802712
038
058
1298
02197
Stop Event
1×done
1×iter limit
1×iter limit
1×iter limit
1×unsound
1×iter limit
1×iter limit
1×node limit
Compiler

Compiled 13 to 6 computations (53.8% saved)

preprocess60.0ms (2.4%)

Memory
-24.9MiB live, 21.1MiB allocated; 3ms collecting garbage
Compiler

Compiled 36 to 18 computations (50% saved)

end0.0ms (0%)

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

Profiling

Loading profile data...