Metrics for logs (example 3.8)

analyze16.0ms (0.2%)

Memory

-10.9MiB live, 4.9MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	23.7%	76.3%	0%	0%	0%	0
0%	0%	23.7%	76.3%	0%	0%	0%	1
50%	11.9%	11.9%	76.3%	0%	0%	0%	2
75%	17.8%	5.9%	76.3%	0%	0%	0%	3
87.5%	20.8%	3%	76.3%	0%	0%	0%	4
93.8%	22.2%	1.5%	76.3%	0%	0%	0%	5
96.9%	23%	0.7%	76.3%	0%	0%	0%	6
98.4%	23.3%	0.4%	76.3%	0%	0%	0%	7
99.2%	23.5%	0.2%	76.3%	0%	0%	0%	8
99.6%	23.6%	0.1%	76.3%	0%	0%	0%	9
99.8%	23.7%	0%	76.3%	0%	0%	0%	10
99.9%	23.7%	0%	76.3%	0%	0%	0%	11
100%	23.7%	0%	76.3%	0%	0%	0%	12

Compiler

Compiled 34 to 21 computations (38.2% saved)

sample7.3s (96.5%)

Memory

-12.6MiB live, 1 832.5MiB allocated

Samples

2.9s	8 255×	1	valid-baseline
1.7s	8 255×	1	valid-sollya
1.6s	8 255×	1	valid-rival

Precisions

Click to see Rival histograms. Total time spent on operations: 1.5s

ival-log: 734.0ms (48.5% of total)

ival-add: 283.0ms (18.7% of total)

ival-mult: 204.0ms (13.5% of total)

ival-sub: 149.0ms (9.9% of total)

adjust: 125.0ms (8.3% of total)

ival-true: 8.0ms (0.5% of total)

...in/eval/compile.rkt:76:19: 7.0ms (0.5% of total)

ival-assert: 3.0ms (0.2% of total)

Precisions

Click to see Base histograms. Total time spent on operations: 2.2s

ival-log: 1.2s (54.3% of total)

ival-mult: 460.0ms (21.1% of total)

ival-sub: 306.0ms (14% of total)

ival-add: 191.0ms (8.8% of total)

const: 39.0ms (1.8% of total)

Bogosity

preprocess221.0ms (2.9%)

Memory

-10.3MiB live, 21.2MiB allocated

Algorithm

1×	egg-herbie

Rules

1 186×	`fma-define`
470×	`fmm-def`
267×	`sub-neg`
221×	`associate-+l-`
199×	`distribute-rgt-in`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	23	256
1	61	208
2	161	200
3	505	200
4	1745	196
5	3247	196
6	4060	196
7	4277	196
8	4293	196
9	4293	196
10	5237	196
11	5239	196
12	5239	196

Stop Event

1×

saturated

Calls

Call 1

Inputs
(-.f64 (-.f64 (.f64 (+.f64 n #s(literal 1 binary64)) (log.f64 (+.f64 n #s(literal 1 binary64)))) (.f64 n (log.f64 n))) #s(literal 1 binary64))
(-.f64 (-.f64 (.f64 (+.f64 n #s(literal 1 binary64)) (log.f64 (+.f64 n #s(literal 1 binary64)))) (.f64 n (log.f64 n))) #s(literal 1 binary64))
(-.f64 (-.f64 (.f64 (+.f64 (neg.f64 n) #s(literal 1 binary64)) (log.f64 (+.f64 (neg.f64 n) #s(literal 1 binary64)))) (.f64 (neg.f64 n) (log.f64 (neg.f64 n)))) #s(literal 1 binary64))
(neg.f64 (-.f64 (-.f64 (.f64 (+.f64 (neg.f64 n) #s(literal 1 binary64)) (log.f64 (+.f64 (neg.f64 n) #s(literal 1 binary64)))) (.f64 (neg.f64 n) (log.f64 (neg.f64 n)))) #s(literal 1 binary64)))

Outputs
(-.f64 (-.f64 (.f64 (+.f64 n #s(literal 1 binary64)) (log.f64 (+.f64 n #s(literal 1 binary64)))) (.f64 n (log.f64 n))) #s(literal 1 binary64))
(-.f64 (.f64 (+.f64 n #s(literal 1 binary64)) (log.f64 (+.f64 n #s(literal 1 binary64)))) (+.f64 (.f64 n (log.f64 n)) #s(literal 1 binary64)))
(-.f64 (*.f64 (+.f64 n #s(literal 1 binary64)) (log1p.f64 n)) (fma.f64 n (log.f64 n) #s(literal 1 binary64)))
(+.f64 (log1p.f64 n) (fma.f64 n (-.f64 (log1p.f64 n) (log.f64 n)) #s(literal -1 binary64)))
(-.f64 (-.f64 (.f64 (+.f64 n #s(literal 1 binary64)) (log.f64 (+.f64 n #s(literal 1 binary64)))) (.f64 n (log.f64 n))) #s(literal 1 binary64))
(-.f64 (.f64 (+.f64 n #s(literal 1 binary64)) (log.f64 (+.f64 n #s(literal 1 binary64)))) (+.f64 (.f64 n (log.f64 n)) #s(literal 1 binary64)))
(-.f64 (*.f64 (+.f64 n #s(literal 1 binary64)) (log1p.f64 n)) (fma.f64 n (log.f64 n) #s(literal 1 binary64)))
(+.f64 (log1p.f64 n) (fma.f64 n (-.f64 (log1p.f64 n) (log.f64 n)) #s(literal -1 binary64)))
(-.f64 (-.f64 (.f64 (+.f64 (neg.f64 n) #s(literal 1 binary64)) (log.f64 (+.f64 (neg.f64 n) #s(literal 1 binary64)))) (.f64 (neg.f64 n) (log.f64 (neg.f64 n)))) #s(literal 1 binary64))
(+.f64 (+.f64 (.f64 (+.f64 #s(literal 1 binary64) (neg.f64 n)) (log.f64 (+.f64 #s(literal 1 binary64) (neg.f64 n)))) (.f64 n (log.f64 (neg.f64 n)))) #s(literal -1 binary64))
(+.f64 (fma.f64 (-.f64 #s(literal 1 binary64) n) (log1p.f64 (neg.f64 n)) (*.f64 n (log.f64 (neg.f64 n)))) #s(literal -1 binary64))
(fma.f64 (-.f64 #s(literal 1 binary64) n) (log1p.f64 (neg.f64 n)) (fma.f64 n (log.f64 (neg.f64 n)) #s(literal -1 binary64)))
(fma.f64 n (log.f64 (neg.f64 n)) (fma.f64 (-.f64 #s(literal 1 binary64) n) (log1p.f64 (neg.f64 n)) #s(literal -1 binary64)))
(neg.f64 (-.f64 (-.f64 (.f64 (+.f64 (neg.f64 n) #s(literal 1 binary64)) (log.f64 (+.f64 (neg.f64 n) #s(literal 1 binary64)))) (.f64 (neg.f64 n) (log.f64 (neg.f64 n)))) #s(literal 1 binary64)))
(neg.f64 (+.f64 (+.f64 (.f64 (+.f64 #s(literal 1 binary64) (neg.f64 n)) (log.f64 (+.f64 #s(literal 1 binary64) (neg.f64 n)))) (.f64 n (log.f64 (neg.f64 n)))) #s(literal -1 binary64)))
(neg.f64 (+.f64 (fma.f64 (-.f64 #s(literal 1 binary64) n) (log1p.f64 (neg.f64 n)) (*.f64 n (log.f64 (neg.f64 n)))) #s(literal -1 binary64)))
(-.f64 #s(literal 1 binary64) (fma.f64 n (log.f64 (neg.f64 n)) (*.f64 (-.f64 #s(literal 1 binary64) n) (log1p.f64 (neg.f64 n)))))
(-.f64 #s(literal 1 binary64) (fma.f64 (-.f64 #s(literal 1 binary64) n) (log1p.f64 (neg.f64 n)) (*.f64 n (log.f64 (neg.f64 n)))))

Compiler

Compiled 16 to 9 computations (43.8% saved)

eval0.0ms (0%)

Memory: 0.2MiB live, 0.2MiB allocated
Compiler: Compiled 1 to 1 computations (0% saved)

prune1.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	1.5%	(-.f64 (-.f64 (.f64 (+.f64 n #s(literal 1 binary64)) (log.f64 (+.f64 n #s(literal 1 binary64)))) (.f64 n (log.f64 n))) #s(literal 1 binary64))

Compiler

Compiled 32 to 18 computations (43.8% saved)

simplify3.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Algorithm

1×	egg-herbie

Rules

10×	`neg-mul-1`
9×	`unsub-neg`
8×	`+-commutative`
7×	`*-commutative`
6×	`sub-neg`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	57
1	29	57
2	43	57
3	54	57
4	71	57
5	94	57
6	96	57

Stop Event

1×

saturated

Calls

Call 1

Inputs
(-.f64 (-.f64 (.f64 (+.f64 n #s(literal 1 binary64)) (log.f64 (+.f64 n #s(literal 1 binary64)))) (.f64 n (log.f64 n))) #s(literal 1 binary64))

Outputs

(-.f64 (-.f64 (*.f64 (+.f64 n #s(literal 1 binary64)) (log.f64 (+.f64 n #s(literal 1 binary64)))) (*.f64 n (log.f64 n))) #s(literal 1 binary64))

(+.f64 (-.f64 (*.f64 (+.f64 n #s(literal 1 binary64)) (log.f64 (+.f64 n #s(literal 1 binary64)))) (*.f64 n (log.f64 n))) #s(literal -1 binary64))

soundness0.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 16 to 10 computations (37.5% saved)

preprocess27.0ms (0.4%)

Memory: 2.1MiB live, 33.2MiB allocated
Compiler: Compiled 114 to 72 computations (36.8% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze16.0ms (0.2%)

sample7.3s (96.5%)

preprocess221.0ms (2.9%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify3.0ms (0%)

soundness0.0ms (0%)

preprocess27.0ms (0.4%)

end0.0ms (0%)

Profiling