Expression 2, p15

Time bar (total: 1.8s)

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%25%75%0%0%0%0
100%25%0%75%0%0%0%1
Compiler

Compiled 13 to 9 computations (30.8% saved)

sample862.0ms (47.9%)

Memory
32.3MiB live, 1 039.2MiB allocated; 307ms collecting garbage
Samples
465.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 246.0ms
ival-mult: 123.0ms (49.9% of total)
ival-<=: 57.0ms (23.1% of total)
ival-add: 39.0ms (15.8% of total)
ival-and: 11.0ms (4.5% of total)
exact: 11.0ms (4.5% of total)
ival-assert: 3.0ms (1.2% of total)
adjust: 2.0ms (0.8% of total)
Bogosity

explain57.0ms (3.2%)

Memory
30.4MiB live, 126.0MiB allocated; 26ms 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
21.0ms512×0valid
Compiler

Compiled 27 to 13 computations (51.9% saved)

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

preprocess168.0ms (9.4%)

Memory
-24.4MiB live, 298.9MiB allocated; 45ms 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.0MiB live, 0.0MiB allocated; 0ms collecting garbage
Compiler

Compiled 0 to 1 computations (-∞% saved)

prune0.0ms (0%)

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

series2.0ms (0.1%)

Memory
4.8MiB live, 4.8MiB allocated; 0ms collecting garbage
Counts
3 → 4
Calls
Call 1
Inputs
(+.f64 x (*.f64 x 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 x))
1.0ms
x
@-inf
((+ x (* x x)) x (* x x))
0.0ms
x
@0
((+ x (* x x)) x (* x x))

simplify132.0ms (7.4%)

Memory
12.7MiB live, 149.7MiB allocated; 24ms 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)

rewrite39.0ms (2.2%)

Memory
1.5MiB live, 45.2MiB allocated; 9ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
039
059
1299
02198
Stop Event
1×iter limit
1×iter limit
1×iter limit
1×unsound
1×iter limit
Counts
3 → 38
Calls
Call 1
Inputs
(+.f64 x (*.f64 x 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))
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
8.2MiB live, 8.2MiB allocated; 0ms collecting garbage
Compiler

Compiled 393 to 98 computations (75.1% saved)

prune1.0ms (0.1%)

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

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New41142
Fresh000
Picked101
Done000
Total42143
Accuracy
100.0%
Counts
43 → 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)

series1.0ms (0.1%)

Memory
1.8MiB live, 1.8MiB allocated; 0ms collecting garbage
Counts
2 → 4
Calls
Call 1
Inputs
(fma.f64 x 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) x)
0.0ms
x
@inf
((+ (* x x) x) x)
0.0ms
x
@0
((+ (* x x) x) x)

simplify138.0ms (7.7%)

Memory
-15.8MiB live, 124.5MiB allocated; 58ms 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)

rewrite38.0ms (2.1%)

Memory
7.0MiB live, 49.6MiB allocated; 11ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
025
045
1265
02035
Stop Event
1×iter limit
1×iter limit
1×iter limit
1×unsound
1×iter limit
Counts
2 → 24
Calls
Call 1
Inputs
(fma.f64 x 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))
x

eval3.0ms (0.2%)

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

Compiled 272 to 63 computations (76.8% saved)

prune1.0ms (0.1%)

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

2 alts after pruning (1 fresh and 1 done)

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

Compiled 13 to 7 computations (46.2% saved)

series1.0ms (0.1%)

Memory
2.9MiB live, 2.9MiB allocated; 0ms collecting garbage
Counts
3 → 4
Calls
Call 1
Inputs
#s(approx (+ (* x x) x) (*.f64 x x))
(*.f64 x 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) x)
0.0ms
x
@inf
((+ (* x x) x) (* x x) x)
0.0ms
x
@0
((+ (* x x) x) (* x x) x)

simplify138.0ms (7.7%)

Memory
15.7MiB live, 154.2MiB allocated; 44ms 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)

rewrite36.0ms (2%)

Memory
2.8MiB live, 44.8MiB allocated; 18ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0513
0613
12813
020512
Stop Event
1×iter limit
1×iter limit
1×iter limit
1×unsound
1×iter limit
Counts
3 → 16
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 (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)))
x

eval2.0ms (0.1%)

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

Compiled 205 to 47 computations (77.1% saved)

prune2.0ms (0.1%)

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

2 alts after pruning (0 fresh and 2 done)

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

Compiled 31 to 14 computations (54.8% saved)

regimes3.0ms (0.2%)

Memory
8.4MiB live, 8.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:

2.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)

regimes26.0ms (1.5%)

Memory
-27.8MiB live, 29.2MiB allocated; 15ms 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:

15.0ms
(+.f64 x (*.f64 x x))
11.0ms
x
Results
AccuracySegmentsBranch
6.9%1(+.f64 x (*.f64 x x))
6.9%1x
Compiler

Compiled 6 to 4 computations (33.3% saved)

simplify34.0ms (1.9%)

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

derivations91.0ms (5.1%)

Memory
0.6MiB live, 46.6MiB allocated; 9ms collecting garbage
Stop Event
1×done
Compiler

Compiled 13 to 6 computations (53.8% saved)

preprocess15.0ms (0.8%)

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

Compiled 46 to 26 computations (43.5% saved)

end0.0ms (0%)

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

Profiling

Loading profile data...