Herbie run

Date:Wednesday, May 7th, 2025
Commit:3ca32539 on mega-taylor-deduplication
Seed:2025127
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:225 823.4 MB

Time bar (total: 2.9min)

sample1.2min (40.7%)

Memory
907.5MiB live, 90 296.5MiB allocated; 30.0s collecting garbage
Samples
28.5s224 529×0valid
8.8s64 664×0invalid
7.0s23 457×1valid
3.5s14 501×1invalid
3.2s9 802×2valid
2.4s6 396×3valid
223.0ms592×2invalid
23.0ms242×0exit
3.0ms8×4valid
Precisions
Click to see histograms. Total time spent on operations: 39.8s
ival-mult!: 9.4s (23.6% of total)
ival-div!: 5.8s (14.7% of total)
ival-pow2: 3.4s (8.4% of total)
adjust: 3.1s (7.7% of total)
ival-sin: 2.8s (7.2% of total)
ival-exp: 2.7s (6.9% of total)
ival-sqrt: 2.3s (5.8% of total)
ival-pow: 2.1s (5.3% of total)
ival-sub!: 1.6s (3.9% of total)
ival-add!: 1.3s (3.4% of total)
ival-cos: 1.2s (3.1% of total)
ival-tan: 831.0ms (2.1% of total)
ival-asin: 712.0ms (1.8% of total)
ival-neg: 688.0ms (1.7% of total)
ival-acos: 591.0ms (1.5% of total)
ival-hypot: 406.0ms (1% of total)
ival-log: 314.0ms (0.8% of total)
ival-tanu: 275.0ms (0.7% of total)
ival-atan: 122.0ms (0.3% of total)
ival-fabs: 41.0ms (0.1% of total)
ival-<: 1.0ms (0% of total)
ival-and: 1.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-pi: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
Bogosity

rewrite29.5s (17%)

Memory
-143.1MiB live, 32 622.9MiB allocated; 12.5s collecting garbage
Stop Event
293×iter-limit
122×node-limit
5×unsound
Counts
22 131 → 40 854

regimes14.6s (8.4%)

Memory
240.4MiB live, 23 810.0MiB allocated; 4.1s collecting garbage
Counts
9 087 → 725
Calls

156 calls:

852.0ms
l
512.0ms
k
445.0ms
t
433.0ms
x
378.0ms
F
Compiler

Compiled 10 933 to 12 576 computations (-15% saved)

series14.0s (8%)

Memory
529.6MiB live, 19 464.2MiB allocated; 5.1s collecting garbage
Counts
4 553 → 17 578
Calls

1197 calls:

TimeVariablePointExpression
611.0ms
l
@-inf
((- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (* (+ (* (/ (tan (* l (PI))) (* F F)) (/ -1 l)) (PI)) l) (+ (* (/ (tan (* l (PI))) (* F F)) (/ -1 l)) (PI)) (/ (tan (* l (PI))) (* F F)) (tan (* l (PI))) (* l (PI)) l (PI) (* F F) F (/ -1 l) -1 (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (log (pow (exp (PI)) l)) (pow (exp (PI)) l) 1 (- (* (PI) l) (/ (* 1 (/ (tan (* l (PI))) F)) F)) (* (PI) l) (/ (* 1 (/ (tan (* l (PI))) F)) F) (* 1 (/ (tan (* l (PI))) F)) (* l (/ (PI) F)) (/ (PI) F) (- (* (PI) l) (* (/ 1 F) (/ (tan (* (PI) l)) F))) (* (/ 1 F) (/ (tan (* (PI) l)) F)) (/ 1 F) (/ (tan (* (PI) l)) F) (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (* (- (PI) (/ (PI) (* F F))) l) (- (PI) (/ (PI) (* F F))) (/ (/ (- (* (* (* F F) (PI)) (* (* F F) (PI))) (* (PI) (PI))) (+ (* (* F F) (PI)) (PI))) (* F F)) (/ (- (* (* (* F F) (PI)) (* (* F F) (PI))) (* (PI) (PI))) (+ (* (* F F) (PI)) (PI))) (- (* (* (* F F) (PI)) (* (* F F) (PI))) (* (PI) (PI))) (* (* (* F F) (PI)) (* (* F F) (PI))) (* (* F F) (PI)) (* (PI) (PI)) (+ (* (* F F) (PI)) (PI)))
553.0ms
f
@inf
((neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (- (log (* (cosh (* (* f (PI)) -1/4)) 2)) (log (* (sinh (* (* 1/4 f) (PI))) 2))) (PI)) -4) (/ (- (log (* (cosh (* (* f (PI)) -1/4)) 2)) (log (* (sinh (* (* 1/4 f) (PI))) 2))) (PI)) (- (log (* (cosh (* (* f (PI)) -1/4)) 2)) (log (* (sinh (* (* 1/4 f) (PI))) 2))) (log (* (cosh (* (* f (PI)) -1/4)) 2)) (* (cosh (* (* f (PI)) -1/4)) 2) (cosh (* (* f (PI)) -1/4)) (* (* f (PI)) -1/4) (* f (PI)) f (PI) -1/4 2 (log (* (sinh (* (* 1/4 f) (PI))) 2)) (* (sinh (* (* 1/4 f) (PI))) 2) (sinh (* (* 1/4 f) (PI))) (* (* 1/4 f) (PI)) (* 1/4 f) 1/4 -4 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) -4) (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) (log (/ 2 (* (* (PI) 1/2) f))) (/ 2 (* (* (PI) 1/2) f)) (/ (/ 4 f) (PI)) (/ 4 f) 4 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (- (/ (log 2) (PI)) (/ (+ (log (* 1/2 (PI))) (log f)) (PI))) -4) (- (/ (log 2) (PI)) (/ (+ (log (* 1/2 (PI))) (log f)) (PI))) (/ (log 2) (PI)) (log 2) (/ (+ (log (* 1/2 (PI))) (log f)) (PI)) (+ (log (* 1/2 (PI))) (log f)) (log (* 1/2 (PI))) (* 1/2 (PI)) 1/2 (log f) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ 1 (/ (PI) 4)) 1 (/ (PI) 4) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))) (neg (* (/ (PI) 4) f)) (* (/ (PI) 4) f) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (log (pow (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (/ 1 (PI))) -4)) (pow (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (/ 1 (PI))) -4) (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (/ 1 (PI))) (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f)) (/ 1 (PI)))
260.0ms
f
@-inf
((neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (PI)) -4) (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (PI)) (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4)))) (* 2 (cosh (* (* (PI) f) -1/4))) 2 (cosh (* (* (PI) f) -1/4)) (* (* (PI) f) -1/4) (* (PI) f) (PI) f -1/4 (* 2 (sinh (* (* (PI) f) 1/4))) (sinh (* (* (PI) f) 1/4)) (* (* (PI) f) 1/4) 1/4 -4 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) -4) (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) (log (/ 2 (* (* (PI) 1/2) f))) (/ 2 (* (* (PI) 1/2) f)) (* (* (PI) 1/2) f) (* (PI) 1/2) 1/2 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ 1 (/ (PI) 4)) 1 (/ (PI) 4) 4 (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ (+ (* (* (/ (PI) (* (PI) 1/2)) 0) f) (/ 2 (* (PI) 1/2))) f) (+ (* (* (/ (PI) (* (PI) 1/2)) 0) f) (/ 2 (* (PI) 1/2))) (* (/ (PI) (* (PI) 1/2)) 0) (/ (PI) (* (PI) 1/2)) 0 (/ 2 (* (PI) 1/2)) (neg (* (/ 1 (/ (PI) 4)) (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4)))))))) (* (/ 1 (/ (PI) 4)) (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4))))))) (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4)))))) (log (* 2 (cosh (* f (/ (PI) 4))))) (* 2 (cosh (* f (/ (PI) 4)))) (cosh (* f (/ (PI) 4))) (* f (/ (PI) 4)) (log (* 2 (sinh (* f (/ (PI) 4))))) (* 2 (sinh (* f (/ (PI) 4)))) (sinh (* f (/ (PI) 4))) (log (/ 1 (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (* (/ 1 (PI)) 4)))) (/ 1 (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (* (/ 1 (PI)) 4))) (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (* (/ 1 (PI)) 4)) (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (* (/ 1 (PI)) 4) (/ 1 (PI)))
259.0ms
f
@inf
((neg (* (/ 1 (/ (PI) 4)) (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4)))))))) (* (/ (log (/ (cosh (* (* f (PI)) -1/4)) (sinh (* (* 1/4 f) (PI))))) (PI)) -4) (/ (log (/ (cosh (* (* f (PI)) -1/4)) (sinh (* (* 1/4 f) (PI))))) (PI)) (log (/ (cosh (* (* f (PI)) -1/4)) (sinh (* (* 1/4 f) (PI))))) (/ (cosh (* (* f (PI)) -1/4)) (sinh (* (* 1/4 f) (PI)))) (cosh (* (* f (PI)) -1/4)) (* (* f (PI)) -1/4) (* f (PI)) f (PI) -1/4 (sinh (* (* 1/4 f) (PI))) (* (* 1/4 f) (PI)) (* 1/4 f) 1/4 -4 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) -4) (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) (log (/ 2 (* (* (PI) 1/2) f))) (/ 2 (* (* (PI) 1/2) f)) (/ 4 (* f (PI))) 4 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (- (/ (log 2) (PI)) (/ (log (* (* 1/2 (PI)) f)) (PI))) -4) (- (/ (log 2) (PI)) (/ (log (* (* 1/2 (PI)) f)) (PI))) (/ (log 2) (PI)) (log 2) 2 (/ (log (* (* 1/2 (PI)) f)) (PI)) (log (* (* 1/2 (PI)) f)) (* (* 1/2 (PI)) f) (* 1/2 (PI)) 1/2 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (+ (log 2) (log (/ (cosh (* (* f (PI)) -1/4)) (* (sinh (* (* 1/4 f) (PI))) 2)))) (PI)) -4) (/ (+ (log 2) (log (/ (cosh (* (* f (PI)) -1/4)) (* (sinh (* (* 1/4 f) (PI))) 2)))) (PI)) (+ (log 2) (log (/ (cosh (* (* f (PI)) -1/4)) (* (sinh (* (* 1/4 f) (PI))) 2)))) (log (/ (cosh (* (* f (PI)) -1/4)) (* (sinh (* (* 1/4 f) (PI))) 2))) (/ (cosh (* (* f (PI)) -1/4)) (* (sinh (* (* 1/4 f) (PI))) 2)) (* (sinh (* (* 1/4 f) (PI))) 2) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (- (exp (* (* 1/4 f) (PI))) (exp (* (* f (PI)) -1/4))))) (PI)) -4) (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (- (exp (* (* 1/4 f) (PI))) (exp (* (* f (PI)) -1/4))))) (PI)) (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (- (exp (* (* 1/4 f) (PI))) (exp (* (* f (PI)) -1/4))))) (/ (* 2 (cosh (* (* (PI) f) -1/4))) (- (exp (* (* 1/4 f) (PI))) (exp (* (* f (PI)) -1/4)))) (* 2 (cosh (* (* (PI) f) -1/4))) (cosh (* (* (PI) f) -1/4)) (* (* (PI) f) -1/4) (* (PI) f) (- (exp (* (* 1/4 f) (PI))) (exp (* (* f (PI)) -1/4))) (exp (* (* 1/4 f) (PI))) (exp (* (* f (PI)) -1/4)))
181.0ms
f
@inf
((neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (PI)) -4) (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (PI)) (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4)))) (* 2 (cosh (* (* (PI) f) -1/4))) 2 (cosh (* (* (PI) f) -1/4)) (* (* (PI) f) -1/4) (* (PI) f) (PI) f -1/4 (* 2 (sinh (* (* (PI) f) 1/4))) (sinh (* (* (PI) f) 1/4)) (* (* (PI) f) 1/4) 1/4 -4 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) -4) (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) (log (/ 2 (* (* (PI) 1/2) f))) (/ 2 (* (* (PI) 1/2) f)) (* (* (PI) 1/2) f) (* (PI) 1/2) 1/2 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ 1 (/ (PI) 4)) 1 (/ (PI) 4) 4 (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ (+ (* (* (/ (PI) (* (PI) 1/2)) 0) f) (/ 2 (* (PI) 1/2))) f) (+ (* (* (/ (PI) (* (PI) 1/2)) 0) f) (/ 2 (* (PI) 1/2))) (* (/ (PI) (* (PI) 1/2)) 0) (/ (PI) (* (PI) 1/2)) 0 (/ 2 (* (PI) 1/2)) (neg (* (/ 1 (/ (PI) 4)) (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4)))))))) (* (/ 1 (/ (PI) 4)) (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4))))))) (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4)))))) (log (* 2 (cosh (* f (/ (PI) 4))))) (* 2 (cosh (* f (/ (PI) 4)))) (cosh (* f (/ (PI) 4))) (* f (/ (PI) 4)) (log (* 2 (sinh (* f (/ (PI) 4))))) (* 2 (sinh (* f (/ (PI) 4)))) (sinh (* f (/ (PI) 4))) (log (/ 1 (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (* (/ 1 (PI)) 4)))) (/ 1 (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (* (/ 1 (PI)) 4))) (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (* (/ 1 (PI)) 4)) (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (* (/ 1 (PI)) 4) (/ 1 (PI)))

derivations10.3s (5.9%)

Memory
100.7MiB live, 10 127.3MiB allocated; 1.9s collecting garbage
Stop Event
30×fuel
2×done
Compiler

Compiled 7 352 to 4 069 computations (44.7% saved)

preprocess9.7s (5.6%)

Memory
-435.6MiB live, 13 295.7MiB allocated; 4.0s collecting garbage
Stop Event
31×node-limit
1×saturated
Compiler

Compiled 111 244 to 83 054 computations (25.3% saved)

analyze9.2s (5.3%)

Memory
241.6MiB live, 12 041.9MiB allocated; 4.5s collecting garbage
Algorithm
32×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
22.2%21.8%76.4%1.8%0%0%0%1
22.6%21.8%74.8%1.8%0%1.6%0%2
28.6%26.5%66.3%1.8%0%5.5%0%3
32.6%29.6%61.2%1.8%0%7.4%0%4
35.8%32.3%58%1.8%0%8%0%5
40.1%36.1%54%1.8%0%8.1%0%6
45.5%40.6%48.7%1.8%0%8.9%0%7
47.9%42.1%45.8%1.8%0%10.3%0%8
51%44.6%43%1.8%0%10.6%0%9
52.1%45.5%41.8%1.8%0%11%0%10
53.9%46.7%40%1.8%0%11.5%0%11
55.6%47.9%38.2%1.8%0%12.1%0%12
Compiler

Compiled 798 to 574 computations (28.1% saved)

eval7.0s (4%)

Memory
-21.8MiB live, 11 521.6MiB allocated; 2.3s collecting garbage
Compiler

Compiled 1 001 438 to 248 169 computations (75.2% saved)

bsearch4.6s (2.7%)

Memory
30.0MiB live, 5 637.2MiB allocated; 2.7s collecting garbage
Algorithm
214×binary-search
167×left-value
Stop Event
206×narrow-enough
8×predicate-same
Samples
2.8s14 422×0valid
189.0ms1 607×0invalid
87.0ms523×1valid
46.0ms108×2valid
13.0ms35×3valid
3.0ms19×1invalid
1.0ms3×2invalid
1.0ms1×5exit
Compiler

Compiled 104 522 to 100 545 computations (3.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7s
ival-mult!: 372.0ms (21.4% of total)
ival-div!: 227.0ms (13% of total)
ival-tan: 217.0ms (12.5% of total)
ival-add!: 188.0ms (10.8% of total)
ival-sin: 141.0ms (8.1% of total)
ival-pow: 132.0ms (7.6% of total)
ival-pow2: 113.0ms (6.5% of total)
ival-sub!: 92.0ms (5.3% of total)
ival-exp: 67.0ms (3.8% of total)
ival-neg: 53.0ms (3% of total)
adjust: 45.0ms (2.6% of total)
ival-cos: 33.0ms (1.9% of total)
ival-hypot: 26.0ms (1.5% of total)
ival-sqrt: 24.0ms (1.4% of total)
ival-tanu: 7.0ms (0.4% of total)
ival-fabs: 3.0ms (0.2% of total)
ival-atan: 1.0ms (0.1% of total)

prune4.2s (2.4%)

Memory
150.7MiB live, 7 001.7MiB allocated; 1.7s collecting garbage
Counts
42 311 → 2 719
Compiler

Compiled 164 213 to 128 982 computations (21.5% saved)

start1.0ms (0%)

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

end0.0ms (0%)

Memory
0.8MiB live, 0.7MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...