FastMath repmul

Time bar (total: 1.1s)

start0.0ms (0%)

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

analyze0.0ms (0%)

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

Compiled 9 to 6 computations (33.3% saved)

sample566.0ms (50.1%)

Memory
7.2MiB live, 942.6MiB allocated; 211ms collecting garbage
Samples
323.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 153.0ms
ival-mult!: 151.0ms (99% of total)
adjust: 2.0ms (1.3% of total)
Bogosity

preprocess36.0ms (3.2%)

Memory
4.1MiB live, 57.8MiB allocated; 9ms collecting garbage
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0916
13810
Stop Event
iter-limit
iter-limit
unsound
Alt Table
Click to see full alt table
StatusAccuracyProgram
99.9%
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
Symmetry

(abs d1)

Compiler

Compiled 14 to 8 computations (42.9% saved)

series78.0ms (6.9%)

Memory
27.7MiB live, 74.3MiB allocated; 13ms collecting garbage
Counts
4 → 4
Calls
Call 1
Inputs
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
(*.f64 (*.f64 d1 d1) d1)
(*.f64 d1 d1)
d1
Outputs
#s(approx (* (* (* d1 d1) d1) d1) (pow.f64 d1 #s(literal 4 binary64)))
#s(approx (* (* d1 d1) d1) (pow.f64 d1 #s(literal 3 binary64)))
#s(approx (* d1 d1) (pow.f64 d1 #s(literal 2 binary64)))
#s(approx d1 d1)
Calls

3 calls:

TimeVariablePoint
2.0ms
d1
-inf
1.0ms
d1
inf
1.0ms
d1
0

rewrite160.0ms (14.1%)

Memory
-41.5MiB live, 258.0MiB allocated; 47ms collecting garbage
Counts
4 → 17
Calls
Call 1
Inputs
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
(*.f64 (*.f64 d1 d1) d1)
(*.f64 d1 d1)
d1
Outputs
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
(*.f64 (*.f64 d1 d1) (*.f64 d1 d1))
(*.f64 (fabs.f64 d1) (*.f64 (*.f64 d1 d1) d1))
(*.f64 (neg.f64 d1) (*.f64 (*.f64 d1 d1) d1))
(*.f64 (*.f64 (*.f64 d1 d1) d1) (fabs.f64 d1))
(*.f64 (*.f64 d1 d1) d1)
(*.f64 (*.f64 d1 d1) (neg.f64 d1))
(*.f64 (*.f64 d1 d1) (fabs.f64 d1))
(*.f64 (fabs.f64 d1) (*.f64 d1 d1))
(*.f64 (neg.f64 d1) (*.f64 d1 d1))
(*.f64 d1 d1)
(*.f64 (fabs.f64 d1) (fabs.f64 d1))
(*.f64 (fabs.f64 d1) d1)
(*.f64 (fabs.f64 d1) (neg.f64 d1))
(*.f64 (neg.f64 d1) d1)
d1
(neg.f64 (neg.f64 d1))

eval2.0ms (0.1%)

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

Compiled 160 to 52 computations (67.5% saved)

prune1.0ms (0.1%)

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

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New15217
Fresh000
Picked011
Done000
Total15318
Accuracy
100.0%
Counts
18 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
99.9%
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
99.8%
(*.f64 (*.f64 d1 d1) (*.f64 d1 d1))
100.0%
#s(approx (* (* (* d1 d1) d1) d1) (pow.f64 d1 #s(literal 4 binary64)))
Compiler

Compiled 25 to 14 computations (44% saved)

series81.0ms (7.1%)

Memory
10.8MiB live, 61.4MiB allocated; 20ms collecting garbage
Counts
6 → 3
Calls
Call 1
Inputs
#s(approx (* (* (* d1 d1) d1) d1) (pow.f64 d1 #s(literal 4 binary64)))
(pow.f64 d1 #s(literal 4 binary64))
d1
#s(literal 4 binary64)
(*.f64 (*.f64 d1 d1) (*.f64 d1 d1))
(*.f64 d1 d1)
Outputs
#s(approx (* (* (* d1 d1) d1) d1) (pow.f64 d1 #s(literal 4 binary64)))
#s(approx d1 d1)
#s(approx (* d1 d1) (pow.f64 d1 #s(literal 2 binary64)))
Calls

3 calls:

TimeVariablePoint
1.0ms
d1
-inf
1.0ms
d1
inf
0.0ms
d1
0

rewrite167.0ms (14.8%)

Memory
18.8MiB live, 247.4MiB allocated; 43ms collecting garbage
Counts
6 → 21
Calls
Call 1
Inputs
#s(approx (* (* (* d1 d1) d1) d1) (pow.f64 d1 #s(literal 4 binary64)))
(pow.f64 d1 #s(literal 4 binary64))
d1
#s(literal 4 binary64)
(*.f64 (*.f64 d1 d1) (*.f64 d1 d1))
(*.f64 d1 d1)
Outputs
#s(approx (pow d1 (* 2 2)) (pow.f64 d1 #s(literal 4 binary64)))
(*.f64 (pow.f64 (neg.f64 d1) (/.f64 #s(literal 4 binary64) #s(literal 2 binary64))) (pow.f64 (neg.f64 d1) (/.f64 #s(literal 4 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (fabs.f64 d1) (/.f64 #s(literal 4 binary64) #s(literal 2 binary64))) (pow.f64 (fabs.f64 d1) (/.f64 #s(literal 4 binary64) #s(literal 2 binary64))))
(*.f64 (sqrt.f64 (pow.f64 d1 #s(literal 4 binary64))) (sqrt.f64 (pow.f64 d1 #s(literal 4 binary64))))
(*.f64 (neg.f64 (sqrt.f64 (pow.f64 d1 #s(literal 4 binary64)))) (neg.f64 (sqrt.f64 (pow.f64 d1 #s(literal 4 binary64)))))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 d1 #s(literal 4 binary64))) #s(literal 1 binary64)) (pow.f64 (sqrt.f64 (pow.f64 d1 #s(literal 4 binary64))) #s(literal 1 binary64)))
d1
(+.f64 (cosh.f64 (log.f64 d1)) (sinh.f64 (log.f64 d1)))
(exp.f64 (log.f64 d1))
(neg.f64 (neg.f64 d1))
#s(literal 4 binary64)
(*.f64 (*.f64 d1 d1) (*.f64 d1 d1))
(*.f64 (fabs.f64 d1) (*.f64 (*.f64 d1 d1) d1))
(*.f64 (neg.f64 d1) (*.f64 (*.f64 d1 d1) d1))
(*.f64 (*.f64 (*.f64 d1 d1) d1) (fabs.f64 d1))
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
(*.f64 d1 d1)
(*.f64 (fabs.f64 d1) d1)
(*.f64 (fabs.f64 d1) (neg.f64 d1))
(*.f64 (fabs.f64 d1) (fabs.f64 d1))
(*.f64 (neg.f64 d1) (fabs.f64 d1))

eval2.0ms (0.2%)

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

Compiled 321 to 69 computations (78.5% saved)

prune1.0ms (0.1%)

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

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New22022
Fresh000
Picked022
Done011
Total22325
Accuracy
100.0%
Counts
25 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
99.9%
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
99.8%
(*.f64 (*.f64 d1 d1) (*.f64 d1 d1))
100.0%
#s(approx (* (* (* d1 d1) d1) d1) (pow.f64 d1 #s(literal 4 binary64)))
Compiler

Compiled 25 to 14 computations (44% saved)

regimes11.0ms (1%)

Memory
-26.4MiB live, 20.6MiB allocated; 5ms collecting garbage
Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts
1 → 1
2 → 1
3 → 1
Calls
Call 1
Inputs
(*.f64 (*.f64 d1 d1) (*.f64 d1 d1))
Outputs
(*.f64 (*.f64 d1 d1) (*.f64 d1 d1))
Call 2
Inputs
(*.f64 (*.f64 d1 d1) (*.f64 d1 d1))
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
Outputs
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
Call 3
Inputs
(*.f64 (*.f64 d1 d1) (*.f64 d1 d1))
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
#s(approx (* (* (* d1 d1) d1) d1) (pow.f64 d1 #s(literal 4 binary64)))
Outputs
#s(approx (* (* (* d1 d1) d1) d1) (pow.f64 d1 #s(literal 4 binary64)))
Calls

6 calls:

5.0ms
d1
1.0ms
d1
1.0ms
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
1.0ms
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
1.0ms
d1
Results
AccuracySegmentsBranch
99.8%1(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
99.8%1d1
99.9%1(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
99.9%1d1
100.0%1(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
100.0%1d1
Compiler

Compiled 49 to 26 computations (46.9% saved)

derivations1.0ms (0%)

Memory
2.0MiB live, 2.0MiB allocated; 0ms collecting garbage
Stop Event
done
Compiler

Compiled 25 to 11 computations (56% saved)

preprocess22.0ms (2%)

Memory
-1.4MiB live, 44.7MiB allocated; 3ms collecting garbage
Remove

(abs d1)

Compiler

Compiled 85 to 46 computations (45.9% saved)

end0.0ms (0%)

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

Profiling

Loading profile data...