Metrics for math.cube on real

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

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

sample587.0ms (50.9%)

Memory

13.2MiB live, 722.4MiB allocated; 224ms collecting garbage

Samples

397.0ms

8 256×

valid

Precisions

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

ival-mult!: 170.0ms (92% of total)

adjust: 15.0ms (8.1% of total)

Bogosity

preprocess41.0ms (3.6%)

Memory

13.7MiB live, 58.6MiB allocated; 7ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	9
1	31	9
2	93	9

Stop Event

1×	iter-limit
1×	iter-limit
1×	unsound

Alt Table

Click to see full alt table

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

Symmetry

(abs x)

(negabs x)

Compiler

Compiled 10 to 6 computations (40% saved)

series67.0ms (5.8%)

Memory

-12.0MiB live, 37.1MiB allocated; 49ms collecting garbage

Counts

3 → 3

Calls

Call 1

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

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

Calls

3 calls:

Time	Variable	Point
1.0ms	x	-inf
1.0ms	x	inf
1.0ms	x	0

rewrite123.0ms (10.6%)

Memory

37.8MiB live, 128.0MiB allocated; 20ms collecting garbage

Counts

3 → 12

Calls

Call 1

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

Outputs
(.f64 (.f64 x x) x)
(.f64 (.f64 x x) (fabs.f64 x))
(.f64 (fabs.f64 x) (.f64 x x))
(.f64 x (.f64 x x))
(.f64 (neg.f64 (.f64 x x)) (neg.f64 x))
(*.f64 x x)
(*.f64 (fabs.f64 x) (fabs.f64 x))
(*.f64 (fabs.f64 x) x)
(*.f64 (fabs.f64 x) (neg.f64 x))
(*.f64 (neg.f64 x) (neg.f64 x))
x
(neg.f64 (neg.f64 x))

eval1.0ms (0.1%)

Memory: 2.7MiB live, 2.7MiB allocated; 0ms collecting garbage
Compiler: Compiled 91 to 32 computations (64.8% saved)

prune1.0ms (0.1%)

Memory

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

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	11	1	12
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	11	2	13

Accuracy

100.0%

Counts

13 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	66.4%	(.f64 (.f64 x x) x)
▶	66.5%	#s(approx (* (* x x) x) (pow.f64 x #s(literal 3 binary64)))

Compiler

Compiled 14 to 9 computations (35.7% saved)

series83.0ms (7.2%)

Memory

-34.5MiB live, 56.4MiB allocated; 39ms collecting garbage

Counts

4 → 2

Calls

Call 1

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

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

Calls

3 calls:

Time	Variable	Point
1.0ms	x	-inf
1.0ms	x	inf
0.0ms	x	0

rewrite152.0ms (13.2%)

Memory

55.4MiB live, 189.4MiB allocated; 27ms collecting garbage

Counts

4 → 11

Calls

Call 1

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

Outputs
#s(approx (pow x 3) (.f64 (.f64 x x) x))
(.f64 (.f64 x x) x)
(.f64 (.f64 x x) (fabs.f64 x))
(.f64 (fabs.f64 x) (.f64 x x))
(.f64 x (.f64 x x))
(.f64 (neg.f64 (.f64 x x)) (neg.f64 x))
x
(+.f64 (cosh.f64 (log.f64 x)) (sinh.f64 (log.f64 x)))
(exp.f64 (log.f64 x))
(neg.f64 (neg.f64 x))
#s(literal 3 binary64)

eval61.0ms (5.3%)

Memory: -44.8MiB live, 2.4MiB allocated; 91ms collecting garbage
Compiler: Compiled 116 to 36 computations (69% saved)

prune1.0ms (0.1%)

Memory

2.6MiB live, 2.6MiB 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
✓	66.4%	(.f64 (.f64 x x) x)
✓	66.5%	#s(approx (* (* x x) x) (pow.f64 x #s(literal 3 binary64)))

Compiler

Compiled 14 to 9 computations (35.7% saved)

regimes5.0ms (0.4%)

Memory

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

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

2 → 1

Calls

Call 1

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

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

Call 2

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

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

Calls

4 calls:

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

Results

Accuracy	Segments	Branch
66.4%	1	`(.f64 (.f64 x x) x)`
66.4%	1	`x`
66.5%	1	`(.f64 (.f64 x x) x)`
66.5%	1	`x`

Compiler

Compiled 26 to 16 computations (38.5% saved)

derivations0.0ms (0%)

Memory

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

Stop Event

1×

done

Compiler

Compiled 14 to 8 computations (42.9% saved)

preprocess32.0ms (2.8%)

Memory

17.1MiB live, 64.0MiB allocated; 8ms collecting garbage

Remove

(negabs x)

(abs x)

Compiler

Compiled 78 to 50 computations (35.9% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample587.0ms (50.9%)

preprocess41.0ms (3.6%)

series67.0ms (5.8%)

rewrite123.0ms (10.6%)

eval1.0ms (0.1%)

prune1.0ms (0.1%)

series83.0ms (7.2%)

rewrite152.0ms (13.2%)

eval61.0ms (5.3%)

prune1.0ms (0.1%)

regimes5.0ms (0.4%)

derivations0.0ms (0%)

preprocess32.0ms (2.8%)

end0.0ms (0%)

Profiling