Herbie run

Date:Wednesday, May 14th, 2025
Commit:79007786 on artem-rules-updates
Seed:2025134
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:457 559.5 MB

Time bar (total: 6.7min)

sample3.0min (45%)

Memory
1 783.9MiB live, 199 189.1MiB allocated; 1.1min collecting garbage
Samples
49.9s118 980×1valid
36.6s281 671×0valid
18.2s3 890×4exit
16.7s25 408×2valid
8.9s11 706×5exit
6.5s3 227×3valid
6.3s34 950×0exit
2.8s11 985×1invalid
2.2s19 733×0invalid
426.0ms884×2invalid
265.0ms2 783×1exit
98.0ms26×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.1min
ival-pow: 22.3s (17.8% of total)
ival-mult!: 15.4s (12.3% of total)
adjust: 12.8s (10.2% of total)
ival-cos: 11.5s (9.1% of total)
ival-sin: 9.2s (7.3% of total)
ival-pow2: 8.0s (6.4% of total)
ival-div!: 7.0s (5.6% of total)
ival-cosu: 6.3s (5% of total)
ival-exp: 6.0s (4.7% of total)
ival-sinu: 5.3s (4.2% of total)
ival-log: 4.4s (3.5% of total)
ival-sqrt: 4.2s (3.4% of total)
ival-sub!: 3.5s (2.8% of total)
ival-add!: 3.0s (2.4% of total)
ival-neg: 2.6s (2.1% of total)
ival-tan: 783.0ms (0.6% of total)
ival-atan2: 733.0ms (0.6% of total)
ival-hypot: 727.0ms (0.6% of total)
ival-acos: 478.0ms (0.4% of total)
ival-cbrt: 326.0ms (0.3% of total)
ival-atan: 282.0ms (0.2% of total)
ival-asin: 217.0ms (0.2% of total)
ival-fabs: 152.0ms (0.1% of total)
ival-log1p: 112.0ms (0.1% of total)
ival-<: 109.0ms (0.1% of total)
ival-and: 46.0ms (0% of total)
ival-assert: 8.0ms (0% of total)
ival-<=: 6.0ms (0% of total)
ival-==: 1.0ms (0% of total)
ival-pi: 0.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

rewrite56.7s (14.1%)

Memory
1 284.7MiB live, 55 019.4MiB allocated; 13.6s collecting garbage
Stop Event
234×iter-limit
195×saturated
184×node-limit
8×unsound
Counts
39 789 → 63 300

series31.7s (7.9%)

Memory
914.6MiB live, 39 295.1MiB allocated; 9.5s collecting garbage
Counts
7 268 → 32 521
Calls

1605 calls:

TimeVariablePointExpression
901.0ms
A
@-inf
((/ (neg (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) (- (pow B 2) (* (* 4 A) C))) (neg (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2)))))) (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))) (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) 2 (* (- (pow B 2) (* (* 4 A) C)) F) (- (pow B 2) (* (* 4 A) C)) (+ (* -4 (* A C)) (pow B 2)) -4 (* A C) A C (pow B 2) B F (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2)))) (- (+ A (* -1/2 (/ (pow B 2) C))) (* -1 A)) (+ (* -1/2 (/ (pow B 2) C)) (* 2 A)) -1/2 (/ (pow B 2) C) (* 2 A) (/ (neg (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) (- (pow B 2) (* (* 4 A) C))) (neg (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2)))))) (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))) (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (* (- (pow B 2) (* (* 4 A) C)) F) (- (pow B 2) (* (* 4 A) C)) (* -4 (* A C)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2)))) (* -1 (* B (- (* -1 (/ (+ A C) B)) 1))) (+ A (+ B C)) (+ B C) (/ (neg (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) (- (pow B 2) (* (* 4 A) C))) (neg (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2)))))) (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))) (* (pow B 3) (+ (* -2 F) (* 2 (/ (* F (+ A C)) B)))) (pow B 3) 3 (+ (* -2 F) (* 2 (/ (* F (+ A C)) B))) (* -2 F) -2 (- (pow B 2) (* (* 4 A) C)) (* (* 4 A) C) (* 4 A) 4 (/ (neg (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) (- (pow B 2) (* (* 4 A) C))) (neg (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2)))))) (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))) (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (* (- (pow B 2) (* (* 4 A) C)) F) (- (pow B 2) (* (* 4 A) C)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2)))) (* -1 (* B (- (* -1 (/ (+ A C) B)) 1))) -1 (* B (- (* -1 (/ (+ A C) B)) 1)) (- (* -1 (/ (+ A C) B)) 1) (* -1 (/ (+ A C) B)) (/ (+ A C) B) (+ A C) 1 (/ (neg (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) (- (pow B 2) (* (* 4 A) C))) (neg (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2)))))) (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))) (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (* (- (pow B 2) (* (* 4 A) C)) F) (- (pow B 2) (* (* 4 A) C)) (* C (- (/ (pow B 2) C) (* 4 A))) (- (/ (pow B 2) C) (* 4 A)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2)))) (- (+ A (* -1/2 (/ (pow B 2) C))) (* -1 A)) (+ A (* -1/2 (/ (pow B 2) C))) (* -1/2 (/ (pow B 2) C)) (* -1 A))
861.0ms
c
@inf
((/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (* (+ (* a (+ (* (/ (* (* (/ (pow c 4) (pow b 6)) 20) a) b) -1/4) (* (/ (* (* c c) c) (pow b 5)) -2))) (neg (/ (* c c) (* (* b b) b)))) a) (/ (neg c) b)) (+ (* a (+ (* (/ (* (* (/ (pow c 4) (pow b 6)) 20) a) b) -1/4) (* (/ (* (* c c) c) (pow b 5)) -2))) (neg (/ (* c c) (* (* b b) b)))) a (+ (* (/ (* (* (/ (pow c 4) (pow b 6)) 20) a) b) -1/4) (* (/ (* (* c c) c) (pow b 5)) -2)) (/ (* (* (/ (pow c 4) (pow b 6)) 20) a) b) (* (* (/ (pow c 4) (pow b 6)) 20) a) (* (/ (pow c 4) (pow b 6)) 20) (/ (pow c 4) (pow b 6)) (pow c 4) c 4 (pow b 6) b 6 20 -1/4 (* (/ (* (* c c) c) (pow b 5)) -2) (/ (* (* c c) c) (pow b 5)) (* (* c c) c) (* c c) (pow b 5) 5 -2 (neg (/ (* c c) (* (* b b) b))) (/ (* c c) (* (* b b) b)) (* (* b b) b) (* b b) (/ (neg c) b) (neg c) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (+ (sqrt (+ (* (* -4 a) c) (* b b))) (neg b)) (+ a a)) (+ (sqrt (+ (* (* -4 a) c) (* b b))) (neg b)) (sqrt (+ (* (* -4 a) c) (* b b))) (+ (* (* -4 a) c) (* b b)) (* -4 a) -4 (neg b) (+ a a) (+ (/ (neg b) (+ a a)) (/ (sqrt (+ (* (* -4 a) c) (* b b))) (+ a a))) (/ (neg b) (+ a a)) (/ (sqrt (+ (* (* -4 a) c) (* b b))) (+ a a)) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (* (- (* (+ (* (* (* a a) (/ c (pow b 5))) -2) (neg (/ a (* (* b b) b)))) c) (/ 1 b)) c) (- (* (+ (* (* (* a a) (/ c (pow b 5))) -2) (neg (/ a (* (* b b) b)))) c) (/ 1 b)) (* (+ (* (* (* a a) (/ c (pow b 5))) -2) (neg (/ a (* (* b b) b)))) c) (+ (* (* (* a a) (/ c (pow b 5))) -2) (neg (/ a (* (* b b) b)))) (* (* a a) (/ c (pow b 5))) (* a a) (/ c (pow b 5)) (neg (/ a (* (* b b) b))) (/ a (* (* b b) b)) (/ 1 b) 1)
216.0ms
ew
@0
((fabs (+ (* ew (* (cos t) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)))))) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew))))))) (+ (* ew (* (cos t) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)))))) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew)))))) ew (* (cos t) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))))) (cos t) t (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)))) 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))) (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)) (pow (* (neg eh) (/ (tan t) ew)) 2) (* (neg eh) (/ (tan t) ew)) (neg eh) eh (/ (tan t) ew) (tan t) 2 (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew))))) (neg (* (sin t) eh)) (* (sin t) eh) (sin t) (tanh (asinh (* (neg eh) (/ (tan t) ew)))) (asinh (* (neg eh) (/ (tan t) ew))) (fabs (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2)))) ew) (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2)))) (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2))) (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2)) (pow (neg (* (/ eh ew) (tan t))) 2) (neg (* (/ eh ew) (tan t))) (* (/ eh ew) (tan t)) (/ eh ew) (fabs (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2))))) (* (cos t) ew) (fabs (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew))) (atan (/ (* (neg eh) (tan t)) ew)) (/ (* (neg eh) (tan t)) ew) (* (neg eh) (tan t)) (* (neg eh) t) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))) (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))) (fabs (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* (- (/ (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2))))) eh) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t))) eh) (- (/ (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2))))) eh) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t))) (/ (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2))))) eh) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t)) (tanh (asinh (neg (* (/ eh ew) (tan t))))) (asinh (neg (* (/ eh ew) (tan t)))))
210.0ms
s
@inf
((/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (/ 1 (+ 1 (exp (neg s)))) 1 (+ 1 (exp (neg s))) (exp (neg s)) (neg s) s c_p (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n) (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n)) (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (/ 1 (+ 1 (exp (neg t)))) (+ 1 (exp (neg t))) (exp (neg t)) (neg t) t (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n) (- 1 (/ 1 (+ 1 (exp (neg t))))))
208.0ms
t
@0
((fabs (+ (* (* (cos t) eh) (tanh (asinh (/ eh (* ew (tan t)))))) (* (* (sin t) ew) (/ 1 (sqrt (+ 1 (pow (/ eh (* ew (tan t))) 2))))))) (+ (* (* (cos t) eh) (tanh (asinh (/ eh (* ew (tan t)))))) (* (* (sin t) ew) (/ 1 (sqrt (+ 1 (pow (/ eh (* ew (tan t))) 2)))))) (* (cos t) eh) (cos t) t eh (tanh (asinh (/ eh (* ew (tan t))))) (asinh (/ eh (* ew (tan t)))) (+ (log (* 2 (/ eh ew))) (* -1 (log t))) (log (* 2 (/ eh ew))) (* 2 (/ eh ew)) 2 (/ eh ew) ew (* -1 (log t)) -1 (log t) (* (* (sin t) ew) (/ 1 (sqrt (+ 1 (pow (/ eh (* ew (tan t))) 2))))) (* (sin t) ew) (sin t) (/ 1 (sqrt (+ 1 (pow (/ eh (* ew (tan t))) 2)))) 1 (fabs (+ (* (* (cos t) eh) (tanh (asinh (/ eh (* ew (tan t)))))) (* (* (sin t) ew) (/ 1 (sqrt (+ 1 (pow (/ eh (* ew (tan t))) 2))))))) (+ (* (* (cos t) eh) (tanh (asinh (/ eh (* ew (tan t)))))) (* (* (sin t) ew) (/ 1 (sqrt (+ 1 (pow (/ eh (* ew (tan t))) 2)))))) (* ew (sin t)) (sin t) (* t (+ 1 (* -1/6 (* t t)))) (+ 1 (* -1/6 (* t t))) (* -1/6 (* t t)) -1/6 (* t t) (fabs (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))))) (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))))) (* (tanh (asinh (/ (* (cos t) eh) (* (sin t) ew)))) eh) (tanh (asinh (/ (* (cos t) eh) (* (sin t) ew)))) (asinh (/ (* (cos t) eh) (* (sin t) ew))) (/ (* (cos t) eh) (* (sin t) ew)) (* (cos t) eh) (cos t) (+ 1 (* -1/2 (* t t))) (* -1/2 (* t t)) -1/2 (* (sin t) ew) (* t (+ ew (* -1/6 (* ew (* t t))))) (+ ew (* -1/6 (* ew (* t t)))) (* -1/6 (* ew (* t t))) (* ew (* t t)) (fabs (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))))) (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))))) (* (tanh (asinh (/ (* (cos t) eh) (* (sin t) ew)))) eh) (/ (* (* eh eh) (cos t)) (* ew (sin t))) (* (* eh eh) (cos t)) (* eh eh) (* ew (sin t)) (fabs (+ (* (* (cos t) eh) (tanh (asinh (/ eh (* ew (tan t)))))) (* (* (sin t) ew) (/ 1 (sqrt (+ 1 (pow (/ eh (* ew (tan t))) 2))))))) (+ (* (* (cos t) eh) (tanh (asinh (/ eh (* ew (tan t)))))) (* (* (sin t) ew) (/ 1 (sqrt (+ 1 (pow (/ eh (* ew (tan t))) 2)))))) (tanh (asinh (/ eh (* ew (tan t))))) (asinh (/ eh (* ew (tan t)))) (/ eh (* ew (tan t))) (/ (+ (* (* t t) (- (* -1 (* (* t t) (+ (* -1/9 (/ eh ew)) (* 2/15 (/ eh ew))))) (* 1/3 (/ eh ew)))) (/ eh ew)) t) (+ (* (* t t) (- (* -1 (* (* t t) (+ (* -1/9 (/ eh ew)) (* 2/15 (/ eh ew))))) (* 1/3 (/ eh ew)))) (/ eh ew)) (- (* -1 (* (* t t) (+ (* -1/9 (/ eh ew)) (* 2/15 (/ eh ew))))) (* 1/3 (/ eh ew))) (* -1 (* (* t t) (+ (* -1/9 (/ eh ew)) (* 2/15 (/ eh ew))))) (* (* t t) (+ (* -1/9 (/ eh ew)) (* 2/15 (/ eh ew)))) (+ (* -1/9 (/ eh ew)) (* 2/15 (/ eh ew))) -1/9 (* 2/15 (/ eh ew)) 2/15 (* 1/3 (/ eh ew)) 1/3 (* (* (sin t) ew) (/ 1 (sqrt (+ 1 (pow (/ eh (* ew (tan t))) 2))))) (/ (* (* ew ew) (* t t)) eh) (* (* ew ew) (* t t)) (* ew ew))

eval29.6s (7.4%)

Memory
-603.0MiB live, 39 240.1MiB allocated; 11.8s collecting garbage
Compiler

Compiled 3 174 268 to 422 766 computations (86.7% saved)

regimes27.2s (6.8%)

Memory
678.5MiB live, 36 494.6MiB allocated; 5.8s collecting garbage
Counts
15 991 → 827
Calls

155 calls:

2.1s
phi1
2.0s
phi2
1.6s
b
1.5s
lambda1
1.4s
a
Compiler

Compiled 14 577 to 14 105 computations (3.2% saved)

analyze17.9s (4.4%)

Memory
143.5MiB live, 19 754.6MiB allocated; 4.7s collecting garbage
Algorithm
53×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%79.4%20.6%0%0%0%0
17.2%13.7%65.7%20.6%0%0%0%1
25%19.6%58.5%20.6%0%1.3%0%2
35.2%26.6%48.9%20.6%0%3.8%0%3
42.3%31.7%43.1%20.6%0%4.5%0%4
47.9%35.6%38.7%20.6%0%5.1%0%5
51%37.6%36.1%20.6%0%5.7%0%6
54.4%39.7%33.2%20.6%0%6.5%0%7
56.2%40.7%31.8%20.6%0%6.8%0%8
59%42.5%29.5%20.6%0%7.4%0%9
60.3%43.2%28.4%20.6%0%7.7%0%10
62.1%44.3%27%20.6%0%8.1%0%11
63.6%45.1%25.8%20.6%0%8.5%0%12
Compiler

Compiled 1 826 to 963 computations (47.3% saved)

prune17.5s (4.4%)

Memory
225.2MiB live, 26 343.9MiB allocated; 5.2s collecting garbage
Counts
65 053 → 5 265
Compiler

Compiled 524 180 to 337 092 computations (35.7% saved)

derivations14.8s (3.7%)

Memory
61.4MiB live, 13 056.8MiB allocated; 1.9s collecting garbage
Stop Event
40×fuel
12×done
Compiler

Compiled 11 231 to 5 687 computations (49.4% saved)

bsearch14.4s (3.6%)

Memory
-245.0MiB live, 14 562.8MiB allocated; 4.9s collecting garbage
Algorithm
277×binary-search
94×left-value
Stop Event
271×narrow-enough
6×predicate-same
Samples
5.6s7 011×1valid
2.3s1 330×5exit
1.9s11 615×0valid
666.0ms710×2valid
235.0ms136×3valid
110.0ms1 353×0invalid
58.0ms186×1invalid
7.0ms22×2invalid
0.0ms6×0exit
Compiler

Compiled 164 395 to 124 587 computations (24.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.8s
ival-cos: 2.1s (20.9% of total)
ival-sin: 2.0s (20.1% of total)
ival-pow: 1.4s (13.9% of total)
adjust: 1.2s (11.8% of total)
ival-mult!: 694.0ms (7.1% of total)
ival-pow2: 487.0ms (5% of total)
ival-cosu: 412.0ms (4.2% of total)
ival-sinu: 333.0ms (3.4% of total)
ival-div!: 302.0ms (3.1% of total)
ival-exp: 210.0ms (2.1% of total)
ival-sub!: 164.0ms (1.7% of total)
ival-atan2: 138.0ms (1.4% of total)
ival-add!: 125.0ms (1.3% of total)
ival-sqrt: 109.0ms (1.1% of total)
ival-acos: 65.0ms (0.7% of total)
ival-fabs: 56.0ms (0.6% of total)
ival-atan: 52.0ms (0.5% of total)
ival-neg: 50.0ms (0.5% of total)
ival-tan: 24.0ms (0.2% of total)
ival-log1p: 19.0ms (0.2% of total)
ival-hypot: 12.0ms (0.1% of total)
ival-log: 11.0ms (0.1% of total)
ival-asin: 6.0ms (0.1% of total)
ival-cbrt: 6.0ms (0.1% of total)

preprocess11.5s (2.8%)

Memory
-452.3MiB live, 14 595.7MiB allocated; 2.4s collecting garbage
Stop Event
52×node-limit
1×iter-limit
Compiler

Compiled 139 885 to 78 971 computations (43.5% saved)

start3.0ms (0%)

Memory
6.5MiB live, 6.6MiB allocated; 0ms collecting garbage

end0.0ms (0%)

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

Profiling

Loading profile data...