Metrics for math.cube on real

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated; 0ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
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)

sample874.0ms (34.6%)

Memory

12.4MiB live, 691.9MiB allocated; 97ms collecting garbage

Samples

567.0ms

8 256×

valid

Precisions

Click to see histograms. Total time spent on operations: 80.0ms

ival-mult!: 78.0ms (98.1% of total)

adjust: 1.0ms (1.3% of total)

Bogosity

preprocess438.0ms (17.3%)

Memory

-21.4MiB live, 29.5MiB allocated; 8ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	31	10
2	80	10
3	128	10
4	229	10
5	632	10
6	3569	10
7	7843	10

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.9%	(.f64 (.f64 x x) x)

Symmetry

(negabs x)

Compiler

Compiled 6 to 6 computations (0% saved)

series3.0ms (0.1%)

Memory

8.2MiB live, 8.2MiB allocated; 0ms collecting garbage

Counts

3 → 3

Calls

Call 1

Inputs
(.f64 (.f64 x x) x)
(*.f64 x x)
x

Outputs
#s(approx (* (* x x) x) #s(hole binary64 (pow x 3)))
#s(approx (* x x) #s(hole binary64 (pow x 2)))
#s(approx x #s(hole binary64 x))

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	((* (* x x) x) (* x x) x)
1.0ms	x	@	-inf	((* (* x x) x) (* x x) x)
1.0ms	x	@	0	((* (* x x) x) (* x x) x)

rewrite619.0ms (24.5%)

Memory

22.2MiB live, 265.1MiB allocated; 35ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	28
0	14	24
1	23	24
2	49	24
3	102	24
4	271	24
5	1124	24
6	6228	24
0	8566	24

Stop Event

1×	iter-limit
1×	iter-limit
1×	node-limit
1×	iter-limit

Counts

6 → 32

Calls

Call 1

Inputs
(.f64 (.f64 x x) x)
(*.f64 x x)
x
#s(approx (* (* x x) x) #s(hole binary64 (pow x 3)))
#s(approx (* x x) #s(hole binary64 (pow x 2)))
#s(approx x #s(hole binary64 x))

Outputs
(.f64 (.f64 (fabs.f64 x) (neg.f64 x)) (neg.f64 (fabs.f64 x)))
(.f64 (.f64 (fabs.f64 x) x) (fabs.f64 x))
(.f64 (.f64 (neg.f64 x) x) (neg.f64 x))
(.f64 (neg.f64 (fabs.f64 x)) (.f64 (fabs.f64 x) (neg.f64 x)))
(.f64 (fabs.f64 x) (.f64 (fabs.f64 x) x))
(.f64 (neg.f64 x) (.f64 (neg.f64 x) x))
(.f64 (.f64 x x) x)
(.f64 x (.f64 x x))
(pow.f64 x #s(literal 3 binary64))
(neg.f64 (.f64 (.f64 (neg.f64 x) x) x))
(*.f64 (neg.f64 (fabs.f64 x)) (neg.f64 (fabs.f64 x)))
(*.f64 (fabs.f64 x) (fabs.f64 x))
(*.f64 (neg.f64 x) (neg.f64 x))
(*.f64 x x)
(pow.f64 (pow.f64 x #s(literal 16 binary64)) #s(literal 1/8 binary64))
(pow.f64 (pow.f64 x #s(literal 8 binary64)) #s(literal 1/4 binary64))
(pow.f64 (.f64 (.f64 (*.f64 x x) x) x) #s(literal 1/2 binary64))
(pow.f64 (neg.f64 (fabs.f64 x)) #s(literal 2 binary64))
(pow.f64 (fabs.f64 x) #s(literal 2 binary64))
(pow.f64 (neg.f64 x) #s(literal 2 binary64))
(pow.f64 (*.f64 x x) #s(literal 1 binary64))
(pow.f64 x #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 x) x))
(sqrt.f64 (.f64 (.f64 (*.f64 x x) x) x))
(fabs.f64 (*.f64 (fabs.f64 x) (neg.f64 x)))
(fabs.f64 (*.f64 (fabs.f64 x) x))
(fabs.f64 (*.f64 (neg.f64 x) x))
(fabs.f64 (*.f64 x x))
x
#s(approx (* (* x x) x) (.f64 (.f64 x x) x))
#s(approx (* x x) (*.f64 x x))
#s(approx x x)

eval3.0ms (0.1%)

Memory: 6.6MiB live, 6.6MiB allocated; 0ms collecting garbage
Compiler: Compiled 123 to 72 computations (41.5% saved)

prune117.0ms (4.6%)

Memory

-41.8MiB live, 4.1MiB allocated; 5ms collecting garbage

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	28	1	29
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	28	2	30

Accuracy

100.0%

Counts

30 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(pow.f64 x #s(literal 3 binary64))
✓	99.9%	(.f64 (.f64 x x) x)

Compiler

Compiled 6 to 6 computations (0% saved)

series2.0ms (0.1%)

Memory

3.9MiB live, 3.9MiB allocated; 0ms collecting garbage

Counts

3 → 2

Calls

Call 1

Inputs
(pow.f64 x #s(literal 3 binary64))
x
#s(literal 3 binary64)

Outputs
#s(approx (pow x 3) #s(hole binary64 (pow x 3)))
#s(approx x #s(hole binary64 x))

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	((pow x 3) x 3)
1.0ms	x	@	-inf	((pow x 3) x 3)
0.0ms	x	@	0	((pow x 3) x 3)

rewrite358.0ms (14.2%)

Memory

9.0MiB live, 154.3MiB allocated; 8ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	15
0	6	15
1	9	15
2	15	15
3	39	15
4	90	15
5	237	15
6	906	15
7	3971	15
0	8240	15

Stop Event

1×	iter-limit
1×	iter-limit
1×	node-limit
1×	iter-limit

Counts

5 → 14

Calls

Call 1

Inputs
(pow.f64 x #s(literal 3 binary64))
x
#s(literal 3 binary64)
#s(approx (pow x 3) #s(hole binary64 (pow x 3)))
#s(approx x #s(hole binary64 x))

Outputs
(.f64 (.f64 (fabs.f64 x) (neg.f64 x)) (neg.f64 (fabs.f64 x)))
(.f64 (.f64 (fabs.f64 x) x) (fabs.f64 x))
(.f64 (.f64 (neg.f64 x) x) (neg.f64 x))
(.f64 (neg.f64 (fabs.f64 x)) (.f64 (fabs.f64 x) (neg.f64 x)))
(.f64 (fabs.f64 x) (.f64 (fabs.f64 x) x))
(.f64 (neg.f64 x) (.f64 (neg.f64 x) x))
(.f64 (.f64 x x) x)
(.f64 x (.f64 x x))
(pow.f64 x #s(literal 3 binary64))
(neg.f64 (.f64 (.f64 (neg.f64 x) x) x))
x
#s(literal 3 binary64)
#s(approx (pow x 3) (.f64 (.f64 x x) x))
#s(approx x x)

eval1.0ms (0%)

Memory: 2.4MiB live, 2.4MiB allocated; 0ms collecting garbage
Compiler: Compiled 43 to 24 computations (44.2% saved)

prune1.0ms (0%)

Memory

2.9MiB live, 2.9MiB allocated; 0ms collecting garbage

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	10	0	10
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	10	2	12

Accuracy

100.0%

Counts

12 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(pow.f64 x #s(literal 3 binary64))
✓	99.9%	(.f64 (.f64 x x) x)

Compiler

Compiled 11 to 11 computations (0% saved)

regimes2.0ms (0.1%)

Memory

6.9MiB live, 6.9MiB allocated; 0ms collecting garbage

Counts

2 → 1

Calls

Call 1

Inputs
(.f64 (.f64 x x) x)
(pow.f64 x #s(literal 3 binary64))

Outputs
(pow.f64 x #s(literal 3 binary64))

Calls

2 calls:

1.0ms	x
1.0ms	(.f64 (.f64 x x) x)

Results

Accuracy	Segments	Branch
100.0%	1	`(.f64 (.f64 x x) x)`
100.0%	1	`x`

Compiler

Compiled 4 to 4 computations (0% saved)

regimes2.0ms (0.1%)

Memory

6.0MiB live, 6.0MiB allocated; 0ms collecting garbage

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
(.f64 (.f64 x x) x)

Outputs
(.f64 (.f64 x x) x)

Calls

2 calls:

1.0ms	x
1.0ms	(.f64 (.f64 x x) x)

Results

Accuracy	Segments	Branch
99.9%	1	`(.f64 (.f64 x x) x)`
99.9%	1	`x`

Compiler

Compiled 4 to 4 computations (0% saved)

derivations86.0ms (3.4%)

Memory

-30.4MiB live, 16.0MiB allocated; 4ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 5 to 5 computations (0% saved)

preprocess20.0ms (0.8%)

Memory: 46.2MiB live, 46.2MiB allocated; 0ms collecting garbage
Remove: (negabs x)
Compiler: Compiled 23 to 23 computations (0% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample874.0ms (34.6%)

preprocess438.0ms (17.3%)

series3.0ms (0.1%)

rewrite619.0ms (24.5%)

eval3.0ms (0.1%)

prune117.0ms (4.6%)

series2.0ms (0.1%)

rewrite358.0ms (14.2%)

eval1.0ms (0%)

prune1.0ms (0%)

regimes2.0ms (0.1%)

regimes2.0ms (0.1%)

derivations86.0ms (3.4%)

preprocess20.0ms (0.8%)

end0.0ms (0%)

Profiling