Herbie run

Date:Sunday, April 27th, 2025
Commit:af246fab on time-nightly
Seed:2025117
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:proofs
default
Memory:127 625.9 MB

Time bar (total: 2.3min)

sample1.6min (67.6%)

Memory
1 185.0MiB live, 84 402.8MiB allocated; 33.1s collecting garbage
Samples
25.7s44 624×2valid
16.7s97 090×1valid
13.8s144 345×0invalid
10.9s6 047×5exit
6.7s85 890×0valid
2.7s3 562×3valid
288.0ms4 152×0exit
172.0ms1 033×1exit
145.0ms123×4exit
4.0ms1×3exit
2.0ms2×4valid
Precisions
Click to see histograms. Total time spent on operations: 1.0min
ival-tan: 12.2s (19.5% of total)
ival-pow: 10.9s (17.5% of total)
adjust: 6.3s (10.1% of total)
ival-cos: 4.4s (7.1% of total)
ival-mult!: 4.2s (6.7% of total)
ival-div!: 4.1s (6.5% of total)
ival-log: 3.6s (5.8% of total)
ival-sin: 3.2s (5% of total)
ival-exp: 1.9s (3% of total)
ival-sub!: 1.7s (2.8% of total)
ival-fabs: 1.7s (2.8% of total)
ival-expm1: 1.7s (2.7% of total)
ival-add!: 1.6s (2.6% of total)
ival-log1p: 1.4s (2.2% of total)
ival-sqrt: 1.2s (2% of total)
ival-atan: 492.0ms (0.8% of total)
ival-<: 410.0ms (0.7% of total)
ival-<=: 393.0ms (0.6% of total)
ival-neg: 321.0ms (0.5% of total)
ival-and: 321.0ms (0.5% of total)
ival-cbrt: 279.0ms (0.4% of total)
ival-assert: 68.0ms (0.1% of total)
ival-fmin: 57.0ms (0.1% of total)
ival->: 2.0ms (0% of total)
exact: 0.0ms (0% of total)
Bogosity

rewrite18.9s (13.7%)

Memory
402.8MiB live, 16 771.0MiB allocated; 4.5s collecting garbage
Stop Event
264×iter-limit
104×node-limit
Counts
13 383 → 29 492

eval5.4s (3.9%)

Memory
-32.4MiB live, 5 164.3MiB allocated; 3.7s collecting garbage
Compiler

Compiled 392 561 to 135 309 computations (65.5% saved)

derivations5.1s (3.7%)

Memory
163.3MiB live, 3 797.4MiB allocated; 589ms collecting garbage
Stop Event
21×fuel
7×done
Compiler

Compiled 3 081 to 1 897 computations (38.4% saved)

series4.1s (3%)

Memory
-78.2MiB live, 4 978.0MiB allocated; 1.0s collecting garbage
Counts
2 464 → 10 919
Calls

486 calls:

TimeVariablePointExpression
109.0ms
x
@-inf
((- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (neg (/ (+ (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (log x)) n)) (/ (+ (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (log x)) n) (+ (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (log x)) (/ (- (* n (/ (- (pow (log x) 3) (pow (log (+ 1 x)) 3)) (+ (* (log x) (log x)) (+ (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log (+ 1 x))))))) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n) (- (* n (/ (- (pow (log x) 3) (pow (log (+ 1 x)) 3)) (+ (* (log x) (log x)) (+ (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log (+ 1 x))))))) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) (* n (/ (- (pow (log x) 3) (pow (log (+ 1 x)) 3)) (+ (* (log x) (log x)) (+ (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log (+ 1 x))))))) n (/ (- (pow (log x) 3) (pow (log (+ 1 x)) 3)) (+ (* (log x) (log x)) (+ (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log (+ 1 x)))))) (- (pow (log x) 3) (pow (log (+ 1 x)) 3)) (pow (log x) 3) (log x) x 3 (pow (log (+ 1 x)) 3) (log (+ 1 x)) (+ 1 x) 1 (+ (* (log x) (log x)) (+ (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log (+ 1 x))))) (+ (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log (+ 1 x)))) (* (log x) (log (+ 1 x))) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))) (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (log (/ (+ 1 x) x)) n) (log (/ (+ 1 x) x)) (/ 1 x) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (log (/ (+ 1 x) x)) n) (/ (- (/ 1 n) (* 1/2 (/ 1 (* n x)))) x) (- (/ 1 n) (* 1/2 (/ 1 (* n x)))) (/ 1 n) (* 1/2 (/ 1 (* n x))) (/ 1 (* n x)) (* n x) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (neg (/ (+ (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (log x)) n)) (- (* -1/2 (/ (* (log x) (log x)) (* n n))) (/ (log x) n)) (* -1/2 (/ (* (log x) (log x)) (* n n))) -1/2 (/ (* (log x) (log x)) (* n n)) (* n n) (/ (log x) n) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (+ (* (exp (neg (/ (neg (log x)) n))) (/ (- (/ 1/2 (* n n)) (/ 1/2 n)) x)) (/ (exp (neg (/ (neg (log x)) n))) n)) x) (/ (+ (* (exp (neg (* -1 (/ (log x) n)))) (- (* 1/2 (/ 1 (* n n))) (* 1/2 (/ 1 n)))) (/ (* x (exp (neg (* -1 (/ (log x) n))))) n)) (* x x)) (+ (* (exp (neg (* -1 (/ (log x) n)))) (- (* 1/2 (/ 1 (* n n))) (* 1/2 (/ 1 n)))) (/ (* x (exp (neg (* -1 (/ (log x) n))))) n)) (exp (neg (* -1 (/ (log x) n)))) (neg (* -1 (/ (log x) n))) (* -1 (/ (log x) n)) -1 (- (* 1/2 (/ 1 (* n n))) (* 1/2 (/ 1 n))) (* 1/2 (/ 1 (* n n))) (/ 1 (* n n)) (* 1/2 (/ 1 n)) (/ (* x (exp (neg (* -1 (/ (log x) n))))) n) (* x (exp (neg (* -1 (/ (log x) n))))) (* x x))
102.0ms
n
@0
((- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (neg (/ (+ (+ (neg (/ (+ (neg (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n)) (neg (log (+ 1 x)))) (log x)) n)) (/ (+ (+ (neg (/ (+ (neg (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n)) (neg (log (+ 1 x)))) (log x)) n) (+ (+ (neg (/ (+ (neg (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n)) (neg (log (+ 1 x)))) (log x)) (+ (neg (/ (+ (neg (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n)) (neg (log (+ 1 x)))) (neg (/ (+ (neg (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n)) (/ (+ (neg (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n) (+ (neg (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) (neg (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) n)) (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) n) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)) (pow (log (+ 1 x)) 3) (log (+ 1 x)) (+ 1 x) 1 x 3 (pow (log x) 3) (log x) n (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))) (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)) (neg (log (+ 1 x))) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (log (/ (+ 1 x) x)) n) (log (/ (+ 1 x) x)) (/ (+ 1 x) x) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (exp (neg (/ (neg (log x)) n))) (* n x)) (exp (neg (/ (neg (log x)) n))) (neg (/ (neg (log x)) n)) (/ (neg (log x)) n) (neg (log x)) (* n x) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (neg (/ (+ (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (log x)) n)) (/ (+ (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (log x)) n) (+ (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (log x)) (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (pow (+ x 1) (/ 1 n)) (+ x 1) (/ 1 n) (pow x (/ 1 n)) (+ (+ (* (pow (/ (log x) n) 3) 1/6) (+ (* (/ (* (log x) (log x)) (* n n)) 1/2) (/ (log x) n))) 1) (+ (* (pow (/ (log x) n) 3) 1/6) (+ (* (/ (* (log x) (log x)) (* n n)) 1/2) (/ (log x) n))) (pow (/ (log x) n) 3) (/ (log x) n) 1/6 (+ (* (/ (* (log x) (log x)) (* n n)) 1/2) (/ (log x) n)) (/ (* (log x) (log x)) (* n n)) (* n n))
100.0ms
x
@inf
((- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (neg (/ (+ (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (log x)) n)) (/ (+ (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (log x)) n) (+ (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (log x)) (/ (- (* n (log (/ x (+ 1 x)))) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n) (- (* n (log (/ x (+ 1 x)))) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) (* n (log (/ x (+ 1 x)))) n (log (/ x (+ 1 x))) (/ x (+ 1 x)) x (+ 1 x) 1 (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))) (* (log (+ 1 x)) (log (+ 1 x))) (log (+ 1 x)) (* (log x) (log x)) (log x) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (exp (neg (/ (neg (log x)) n))) (* n x)) (exp (neg (/ (neg (log x)) n))) (* n x) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (exp (neg (/ (neg (log x)) n))) (* n x)) (/ (+ (/ 1 x) (/ (log x) (* n x))) n) (+ (/ 1 x) (/ (log x) (* n x))) (/ 1 x) (/ (log x) (* n x)) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (neg (/ (+ (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (log x)) n)) (/ (+ (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (log x)) n) (+ (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (log x)) (- (log x) (* -1/2 (/ (* (log x) (log x)) n))) (* -1/2 (/ (* (log x) (log x)) n)) -1/2 (/ (* (log x) (log x)) n) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (+ (* (exp (neg (/ (neg (log x)) n))) (/ (- (/ 1/2 (* n n)) (/ 1/2 n)) x)) (/ (exp (neg (/ (neg (log x)) n))) n)) x) (+ (* (exp (neg (/ (neg (log x)) n))) (/ (- (/ 1/2 (* n n)) (/ 1/2 n)) x)) (/ (exp (neg (/ (neg (log x)) n))) n)) (exp (neg (/ (neg (log x)) n))) (neg (/ (neg (log x)) n)) (/ (neg (log x)) n) (neg (log x)) (/ (- (/ 1/2 (* n n)) (/ 1/2 n)) x) (- (/ 1/2 (* n n)) (/ 1/2 n)) (/ 1/2 (* n n)) (* n n) (/ 1/2 n) (/ (exp (neg (/ (neg (log x)) n))) n))
67.0ms
x
@-inf
((- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (neg (/ (+ (+ (neg (/ (+ (neg (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n)) (neg (log (+ 1 x)))) (log x)) n)) (/ (+ (+ (neg (/ (+ (neg (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n)) (neg (log (+ 1 x)))) (log x)) n) (+ (+ (neg (/ (+ (neg (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n)) (neg (log (+ 1 x)))) (log x)) (+ (neg (/ (+ (neg (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n)) (neg (log (+ 1 x)))) (neg (/ (+ (neg (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n)) (/ (+ (neg (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n) (+ (neg (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) (neg (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) n)) (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) n) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)) (pow (log (+ 1 x)) 3) (log (+ 1 x)) (+ 1 x) 1 x 3 (pow (log x) 3) (log x) n (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))) (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)) (neg (log (+ 1 x))) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (log (/ (+ 1 x) x)) n) (log (/ (+ 1 x) x)) (/ (+ 1 x) x) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (exp (neg (/ (neg (log x)) n))) (* n x)) (exp (neg (/ (neg (log x)) n))) (neg (/ (neg (log x)) n)) (/ (neg (log x)) n) (neg (log x)) (* n x) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (neg (/ (+ (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (log x)) n)) (/ (+ (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (log x)) n) (+ (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (log x)) (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (pow (+ x 1) (/ 1 n)) (+ x 1) (/ 1 n) (pow x (/ 1 n)) (+ (+ (* (pow (/ (log x) n) 3) 1/6) (+ (* (/ (* (log x) (log x)) (* n n)) 1/2) (/ (log x) n))) 1) (+ (* (pow (/ (log x) n) 3) 1/6) (+ (* (/ (* (log x) (log x)) (* n n)) 1/2) (/ (log x) n))) (pow (/ (log x) n) 3) (/ (log x) n) 1/6 (+ (* (/ (* (log x) (log x)) (* n n)) 1/2) (/ (log x) n)) (/ (* (log x) (log x)) (* n n)) (* n n))
66.0ms
x
@inf
((- (cbrt (+ x 1)) (cbrt x)) (/ (+ (* (pow x 4/3) 1/3) (* -1/9 (cbrt x))) (* x x)) (+ (* (pow x -5/3) -1/9) (* (pow x -2/3) 1/3)) (pow x -5/3) x -5/3 -1/9 (* (pow x -2/3) 1/3) (pow x -2/3) -2/3 1/3 (- (cbrt (+ x 1)) (pow x 1/3)) (cbrt (+ x 1)) 1 (pow x 1/3) (- (cbrt (+ x 1)) (cbrt x)) (* (cbrt (/ 1 (* x x))) 1/3) (cbrt (/ 1 (* x x))) (/ 1 (* x x)) (* x x) (- (cbrt (+ x 1)) (cbrt x)) (* (pow (pow x -1/3) 2) 1/3) (pow (pow x -1/3) 2) (pow x -1/3) -1/3 2 (- (cbrt (+ x 1)) (cbrt x)) (/ (+ (* (exp (* (log x) 4/3)) 1/3) (* -1/9 (cbrt x))) (* x x)) (+ (* (exp (* (log x) 4/3)) 1/3) (* -1/9 (cbrt x))) (exp (* (log x) 4/3)) (* (log x) 4/3) (log x) 4/3 (* -1/9 (cbrt x)) (cbrt x))

preprocess3.9s (2.8%)

Memory
-383.7MiB live, 3 940.8MiB allocated; 933ms collecting garbage
Stop Event
26×node-limit
2×saturated
Compiler

Compiled 5 427 to 3 850 computations (29.1% saved)

regimes2.6s (1.9%)

Memory
-21.6MiB live, 3 274.6MiB allocated; 470ms collecting garbage
Counts
3 300 → 332
Calls

43 calls:

817.0ms
x
330.0ms
eps
133.0ms
b
133.0ms
(/.f64 #s(literal 1 binary64) n)
130.0ms
c
Compiler

Compiled 1 689 to 1 847 computations (-9.4% saved)

prune2.2s (1.6%)

Memory
-104.8MiB live, 2 450.7MiB allocated; 1.1s collecting garbage
Counts
27 985 → 1 517
Compiler

Compiled 57 060 to 46 738 computations (18.1% saved)

analyze1.6s (1.2%)

Memory
84.7MiB live, 1 753.8MiB allocated; 709ms collecting garbage
Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
7.4%4.5%56.6%38.9%0%0%0%1
22.3%13.6%47.5%38.9%0%0%0%2
40.2%23.5%34.9%38.9%0%2.7%0%3
53.4%31.1%27.2%38.9%0%2.8%0%4
63%36.3%21.3%38.9%0%3.6%0%5
65.9%37.5%19.4%38.9%0%4.2%0%6
70.4%38.8%16.3%38.9%0%6%0%7
73.6%40.2%14.4%38.9%0%6.5%0%8
76.3%40.9%12.7%38.9%0%7.5%0%9
78.4%41.4%11.4%38.9%0%8.3%0%10
81.1%42.4%9.9%38.9%0%8.8%0%11
82.3%42.7%9.2%38.9%0%9.3%0%12
Compiler

Compiled 483 to 337 computations (30.2% saved)

bsearch1.1s (0.8%)

Memory
-42.0MiB live, 1 090.3MiB allocated; 186ms collecting garbage
Algorithm
97×binary-search
32×left-value
Stop Event
94×narrow-enough
3×predicate-same
Samples
316.0ms4 760×0valid
145.0ms849×1valid
112.0ms469×2valid
104.0ms1 260×0invalid
3.0ms18×3valid
3.0ms37×0exit
0.0ms1×1exit
Compiler

Compiled 26 936 to 27 508 computations (-2.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 463.0ms
ival-mult!: 90.0ms (19.5% of total)
ival-sqrt: 74.0ms (16% of total)
ival-pow: 73.0ms (15.8% of total)
ival-div!: 71.0ms (15.3% of total)
adjust: 39.0ms (8.4% of total)
ival-sub!: 31.0ms (6.7% of total)
ival-neg: 28.0ms (6.1% of total)
ival-cbrt: 25.0ms (5.4% of total)
ival-add!: 18.0ms (3.9% of total)
ival-cos: 11.0ms (2.4% of total)
ival-expm1: 2.0ms (0.4% of total)

start1.0ms (0%)

Memory
2.1MiB live, 2.0MiB allocated; 0ms collecting garbage

end0.0ms (0%)

Memory
0.3MiB live, 0.2MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...