Herbie run

Date:Wednesday, March 5th, 2025
Commit:141e80a8 on main
Seed:2025064
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionsreduce:simplifysetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default
Memory:242 957.6 MB

Time bar (total: 3.5min)

sample1.4min (39.8%)

Memory
1 653.0MiB live, 94 745.2MiB allocated; 29.1s collecting garbage
Samples
31.8s224 324×0valid
9.8s65 067×0invalid
8.2s23 680×1valid
4.8s9 826×2valid
4.5s13 699×1invalid
2.9s6 356×3valid
714.0ms1 587×2invalid
30.0ms251×0exit
3.0ms6×4valid
Precisions
Click to see histograms. Total time spent on operations: 48.3s
ival-mult: 11.6s (24% of total)
ival-div: 9.0s (18.6% of total)
adjust: 4.3s (8.9% of total)
ival-sub: 3.4s (7.1% of total)
ival-add: 2.8s (5.8% of total)
ival-pow2: 2.4s (5% of total)
ival-sqrt: 2.4s (4.9% of total)
ival-pow: 2.3s (4.7% of total)
ival-exp: 2.0s (4.2% of total)
ival-sin: 2.0s (4.1% of total)
ival-tan: 898.0ms (1.9% of total)
ival-cos: 834.0ms (1.7% of total)
ival-neg: 781.0ms (1.6% of total)
ival-acos: 677.0ms (1.4% of total)
ival-pi: 628.0ms (1.3% of total)
ival-hypot: 511.0ms (1.1% of total)
ival-log: 465.0ms (1% of total)
exact: 412.0ms (0.9% of total)
const: 228.0ms (0.5% of total)
ival-asin: 208.0ms (0.4% of total)
ival-tanu: 195.0ms (0.4% of total)
ival-assert: 121.0ms (0.3% of total)
ival-atan: 107.0ms (0.2% of total)
ival-fabs: 63.0ms (0.1% of total)
ival-<: 2.0ms (0% of total)
ival-and: 1.0ms (0% of total)
Bogosity

rewrite31.5s (14.8%)

Memory
619.4MiB live, 31 733.8MiB allocated; 11.1s collecting garbage
Stop Event
295×iter limit
124×node limit
4×unsound
Counts
28 605 → 46 782

regimes14.9s (7%)

Memory
403.8MiB live, 20 959.7MiB allocated; 3.4s collecting garbage
Counts
9 498 → 808
Calls

156 calls:

800.0ms
l
571.0ms
F
517.0ms
t
395.0ms
x
355.0ms
(*.f64 l l)
Compiler

Compiled 13 625 to 13 688 computations (-0.5% saved)

series12.6s (6%)

Memory
-171.4MiB live, 16 323.7MiB allocated; 3.0s collecting garbage
Counts
4 531 → 24 074
Calls

1200 calls:

TimeVariablePointExpression
269.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))))) (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (exp (* (/ (PI) 4) f)) (* (/ (PI) 4) f) (exp (neg (* (/ (PI) 4) f))) (neg (* (/ (PI) 4) f)) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (log (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (neg (pow (/ (PI) 4) -1)))) (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (neg (pow (/ (PI) 4) -1))) (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (cosh (* f (/ (PI) 4))) (* f (/ (PI) 4)) (sinh (* f (/ (PI) 4))) (neg (pow (/ (PI) 4) -1)) (pow (/ (PI) 4) -1) -1 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp f) (/ (PI) 4)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp f) (/ (PI) 4)) (exp (neg (* (/ (PI) 4) f))))))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp f) (/ (PI) 4)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp f) (/ (PI) 4)) (exp (neg (* (/ (PI) 4) f))))) (- (pow (exp f) (/ (PI) 4)) (exp (neg (* (/ (PI) 4) f)))) (pow (exp f) (/ (PI) 4)) (exp f))
243.0ms
f
@-inf
((neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp f) (/ (PI) 4)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (- (log (cosh (* (* f (PI)) -1/4))) (log (sinh (* (* f (PI)) 1/4)))) (PI)) -4) (/ (- (log (cosh (* (* f (PI)) -1/4))) (log (sinh (* (* f (PI)) 1/4)))) (PI)) (- (log (cosh (* (* f (PI)) -1/4))) (log (sinh (* (* f (PI)) 1/4)))) (log (cosh (* (* f (PI)) -1/4))) (cosh (* (* f (PI)) -1/4)) (* (* f (PI)) -1/4) (* f (PI)) f (PI) -1/4 (log (sinh (* (* f (PI)) 1/4))) (sinh (* (* f (PI)) 1/4)) (* (* f (PI)) 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)))))))) (* (/ 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))))) (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) 2 (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (* (* (PI) 1/2) f) (* (PI) 1/2) 1/2 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp f) (/ (PI) 4)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp f) (/ (PI) 4)) (exp (neg (* (/ (PI) 4) f))))))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp f) (/ (PI) 4)) (exp (neg (* (/ (PI) 4) f)))))) (- (log (/ 4 (PI))) (log f)) (log (/ 4 (PI))) (/ 4 (PI)) (log f) (neg (* (pow (pow (/ (PI) 4) -1/2) 2) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (pow (pow (/ (PI) 4) -1/2) 2) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (pow (pow (/ (PI) 4) -1/2) 2) (pow (/ (PI) 4) -1/2) -1/2 (neg (* (pow (pow (/ (PI) 4) -1/2) 2) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp f) (/ (PI) 4)) (exp (neg (* (/ (PI) 4) f)))))))) (* (pow (pow (/ (PI) 4) -1/2) 2) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp f) (/ (PI) 4)) (exp (neg (* (/ (PI) 4) f))))))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp f) (/ (PI) 4)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp f) (/ (PI) 4)) (exp (neg (* (/ (PI) 4) f))))) (/ (cosh (* (* f (PI)) 1/4)) (sinh (* (* f (PI)) 1/4))) (cosh (* (* f (PI)) 1/4)))
204.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))))) (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (exp (* (/ (PI) 4) f)) (* (/ (PI) 4) f) (exp (neg (* (/ (PI) 4) f))) (neg (* (/ (PI) 4) f)) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (log (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (neg (pow (/ (PI) 4) -1)))) (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (neg (pow (/ (PI) 4) -1))) (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (cosh (* f (/ (PI) 4))) (* f (/ (PI) 4)) (sinh (* f (/ (PI) 4))) (neg (pow (/ (PI) 4) -1)) (pow (/ (PI) 4) -1) -1 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp f) (/ (PI) 4)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp f) (/ (PI) 4)) (exp (neg (* (/ (PI) 4) f))))))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp f) (/ (PI) 4)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp f) (/ (PI) 4)) (exp (neg (* (/ (PI) 4) f))))) (- (pow (exp f) (/ (PI) 4)) (exp (neg (* (/ (PI) 4) f)))) (pow (exp f) (/ (PI) 4)) (exp f))
150.0ms
t
@0
((/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (- 1 (* 5 (* v v))) 1 (* 5 (* v v)) 5 (* v v) v (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))) (+ (* (* (* (* (sqrt 2) (PI)) t) -5/2) (* v v)) (* (* (sqrt 2) (PI)) t)) (* (+ (* (* -5/2 (* v v)) (* (sqrt 2) (PI))) (* (sqrt 2) (PI))) t) (+ (* (* -5/2 (* v v)) (* (sqrt 2) (PI))) (* (sqrt 2) (PI))) (* -5/2 (* v v)) -5/2 (* (sqrt 2) (PI)) (sqrt 2) 2 (PI) t (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))) (* (* (sqrt 2) (PI)) t) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))) (* (* t (PI)) (sqrt 2)) (* t (PI)) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))) (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v))))) (* 2 (- 1 (* 3 (* v v)))) (+ (* -6 (* v v)) 2) -6 (- 1 (* v v)) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (- 1 (* 5 (* v v))) (* (- (pow v -2) 5) (* v v)) (- (pow v -2) 5) (pow v -2) -2 (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))) (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))
135.0ms
f
@inf
((neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp f) (/ (PI) 4)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (- (log (cosh (* (* f (PI)) -1/4))) (log (sinh (* (* f (PI)) 1/4)))) (PI)) -4) (/ (- (log (cosh (* (* f (PI)) -1/4))) (log (sinh (* (* f (PI)) 1/4)))) (PI)) (- (log (cosh (* (* f (PI)) -1/4))) (log (sinh (* (* f (PI)) 1/4)))) (log (cosh (* (* f (PI)) -1/4))) (cosh (* (* f (PI)) -1/4)) (* (* f (PI)) -1/4) (* f (PI)) f (PI) -1/4 (log (sinh (* (* f (PI)) 1/4))) (sinh (* (* f (PI)) 1/4)) (* (* f (PI)) 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)))))))) (* (/ 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))))) (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) 2 (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (* (* (PI) 1/2) f) (* (PI) 1/2) 1/2 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp f) (/ (PI) 4)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp f) (/ (PI) 4)) (exp (neg (* (/ (PI) 4) f))))))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp f) (/ (PI) 4)) (exp (neg (* (/ (PI) 4) f)))))) (- (log (/ 4 (PI))) (log f)) (log (/ 4 (PI))) (/ 4 (PI)) (log f) (neg (* (pow (pow (/ (PI) 4) -1/2) 2) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (pow (pow (/ (PI) 4) -1/2) 2) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (pow (pow (/ (PI) 4) -1/2) 2) (pow (/ (PI) 4) -1/2) -1/2 (neg (* (pow (pow (/ (PI) 4) -1/2) 2) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp f) (/ (PI) 4)) (exp (neg (* (/ (PI) 4) f)))))))) (* (pow (pow (/ (PI) 4) -1/2) 2) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp f) (/ (PI) 4)) (exp (neg (* (/ (PI) 4) f))))))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp f) (/ (PI) 4)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp f) (/ (PI) 4)) (exp (neg (* (/ (PI) 4) f))))) (/ (cosh (* (* f (PI)) 1/4)) (sinh (* (* f (PI)) 1/4))) (cosh (* (* f (PI)) 1/4)))

analyze12.4s (5.8%)

Memory
-213.5MiB live, 11 299.4MiB allocated; 8.2s 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)

eval12.0s (5.6%)

Memory
-183.7MiB live, 16 662.5MiB allocated; 4.9s collecting garbage
Compiler

Compiled 4 831 705 to 278 004 computations (94.2% saved)

derivations11.5s (5.4%)

Memory
197.6MiB live, 10 253.8MiB allocated; 2.4s collecting garbage
Stop Event
30×fuel
2×done
Compiler

Compiled 36 609 to 4 415 computations (87.9% saved)

explain10.6s (5%)

Memory
-439.7MiB live, 12 278.0MiB allocated; 3.9s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation4713
cos.f64#fsensitivity4310
sqrt.f64#foflow-rescue4300
+.f64#fnan-rescue2590
acos.f64(acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 5 binary64) (*.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64))))sensitivity2550
*.f64#fn*o2370
sqrt.f64#fuflow-rescue1600
pow.f64#foflow-rescue1370
asin.f64(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64)))))))sensitivity1222
tan.f64(tan.f64 (*.f64 (PI.f64) l))sensitivity1210
*.f64#fu*o1160
-.f64#fnan-rescue1140
/.f64#fo/o830
pow.f64(pow.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64)))sensitivity7526
/.f64#fo/n670
+.f64#fcancellation670
pow.f64#fuflow-rescue620
*.f64#fn*u580
cos.f64(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))oflow-rescue560
↳(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))overflow56
↳(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)overflow56
↳(*.f64 K (+.f64 m n))overflow56
*.f64#fo*u560
/.f64#fu/u490
/.f64#fn/o400
/.f64#fn/u300
/.f64#fu/n230
exp.f64#fsensitivity74
log.f64(log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))))sensitivity61
Confusion
Predicted +Predicted -
+199732
-10915072
Precision
0.6466968911917098
Recall
0.984228684080828
Confusion?
Predicted +Predicted MaybePredicted -
+1997329
-1091295043
Precision?
0.6410256410256411
Recall?
0.9857072449482503
Freqs
test
numberfreq
05104
12687
2361
337
43
Total Confusion?
Predicted +Predicted MaybePredicted -
+2600
-105
Precision?
0.9629629629629629
Recall?
1.0
Samples
2.5s13 294×0valid
669.0ms1 960×1valid
305.0ms772×2valid
150.0ms354×3valid
1.0ms2×5exit
1.0ms2×4valid
Compiler

Compiled 7 569 to 1 655 computations (78.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.6s
ival-mult: 679.0ms (26.4% of total)
ival-div: 344.0ms (13.4% of total)
ival-sub: 286.0ms (11.1% of total)
adjust: 218.0ms (8.5% of total)
ival-add: 140.0ms (5.4% of total)
ival-sqrt: 138.0ms (5.4% of total)
ival-sin: 128.0ms (5% of total)
ival-pow: 118.0ms (4.6% of total)
ival-pow2: 108.0ms (4.2% of total)
ival-exp: 99.0ms (3.8% of total)
ival-cos: 64.0ms (2.5% of total)
ival-tan: 56.0ms (2.2% of total)
ival-hypot: 39.0ms (1.5% of total)
ival-acos: 26.0ms (1% of total)
ival-neg: 25.0ms (1% of total)
exact: 20.0ms (0.8% of total)
ival-true: 16.0ms (0.6% of total)
ival-pi: 13.0ms (0.5% of total)
ival-log: 12.0ms (0.5% of total)
ival-tanu: 11.0ms (0.4% of total)
ival-asin: 9.0ms (0.3% of total)
const: 8.0ms (0.3% of total)
ival-assert: 8.0ms (0.3% of total)
ival-atan: 5.0ms (0.2% of total)
ival-fabs: 4.0ms (0.2% of total)

preprocess9.8s (4.6%)

Memory
42.4MiB live, 10 307.2MiB allocated; 2.2s collecting garbage
Stop Event
64×iter limit
62×node limit
2×saturated
Compiler

Compiled 86 875 to 15 901 computations (81.7% saved)

prune5.3s (2.5%)

Memory
-128.6MiB live, 9 289.4MiB allocated; 1.1s collecting garbage
Counts
62 605 → 2 676
Compiler

Compiled 277 414 to 129 885 computations (53.2% saved)

bsearch5.1s (2.4%)

Memory
-7.6MiB live, 7 006.8MiB allocated; 1.2s collecting garbage
Algorithm
229×binary-search
206×left-value
Stop Event
209×narrow-enough
20×predicate-same
Samples
2.5s15 427×0valid
390.0ms2 747×0invalid
177.0ms465×1valid
26.0ms86×2valid
24.0ms22×3valid
6.0ms27×1invalid
1.0ms4×2invalid
Compiler

Compiled 149 698 to 105 417 computations (29.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.3s
ival-mult: 500.0ms (21.6% of total)
ival-div: 485.0ms (20.9% of total)
ival-add: 238.0ms (10.3% of total)
ival-pow: 230.0ms (9.9% of total)
ival-sin: 143.0ms (6.2% of total)
ival-sub: 140.0ms (6% of total)
ival-tan: 134.0ms (5.8% of total)
ival-pow2: 129.0ms (5.6% of total)
ival-neg: 87.0ms (3.8% of total)
ival-exp: 46.0ms (2% of total)
adjust: 42.0ms (1.8% of total)
ival-sqrt: 27.0ms (1.2% of total)
exact: 19.0ms (0.8% of total)
ival-hypot: 18.0ms (0.8% of total)
ival-tanu: 14.0ms (0.6% of total)
ival-cos: 14.0ms (0.6% of total)
ival-true: 14.0ms (0.6% of total)
const: 12.0ms (0.5% of total)
ival-assert: 8.0ms (0.3% of total)
ival-fabs: 7.0ms (0.3% of total)
ival-atan: 5.0ms (0.2% of total)
ival-pi: 4.0ms (0.2% of total)

simplify2.1s (1%)

Memory
40.1MiB live, 2 094.1MiB allocated; 331ms collecting garbage
Stop Event
31×node limit
1×saturated

start2.0ms (0%)

Memory
3.5MiB live, 3.5MiB allocated; 0ms collecting garbage

end0.0ms (0%)

Memory
0.6MiB live, 0.5MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...