Herbie run

Date:Tuesday, May 20th, 2025
Commit:0e5c6bc4 on main
Seed:2025140
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:235 051.3 MB

Time bar (total: 3.2min)

sample1.3min (38.6%)

Memory
376.2MiB live, 87 285.8MiB allocated; 33.1s collecting garbage
Samples
31.9s224 554×0valid
9.6s64 723×0invalid
6.0s23 473×1valid
3.7s14 820×1invalid
2.9s9 724×2valid
2.2s6 431×3valid
174.0ms600×2invalid
29.0ms263×0exit
3.0ms10×4valid
0.0ms1×3exit
Precisions
Click to see histograms. Total time spent on operations: 40.3s
ival-mult!: 10.3s (25.5% of total)
ival-div!: 6.1s (15.1% of total)
ival-pow2: 3.1s (7.6% of total)
adjust: 2.8s (7% of total)
ival-sqrt: 2.5s (6.2% of total)
ival-sin: 2.3s (5.6% of total)
ival-exp: 2.2s (5.5% of total)
ival-pow: 2.2s (5.5% of total)
ival-add!: 1.8s (4.4% of total)
ival-sub!: 1.7s (4.2% of total)
ival-tan: 1.3s (3.3% of total)
ival-cos: 1.3s (3.2% of total)
ival-neg: 649.0ms (1.6% of total)
ival-acos: 643.0ms (1.6% of total)
ival-hypot: 486.0ms (1.2% of total)
ival-log: 363.0ms (0.9% of total)
ival-tanu: 239.0ms (0.6% of total)
ival-asin: 233.0ms (0.6% of total)
ival-atan: 103.0ms (0.3% of total)
ival-fabs: 49.0ms (0.1% of total)
ival-<: 2.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

rewrite33.1s (17%)

Memory
300.5MiB live, 38 516.8MiB allocated; 9.5s collecting garbage
Stop Event
270×iter-limit
127×node-limit
Counts
25 956 → 52 825

series17.1s (8.8%)

Memory
1 277.4MiB live, 23 655.6MiB allocated; 5.1s collecting garbage
Counts
4 675 → 21 281
Calls

1197 calls:

TimeVariablePointExpression
444.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) (log (/ (cosh (* (* f (PI)) 1/4)) (* (sinh (* (* f (PI)) 1/4)) 2)))) (PI)) -4) (/ (+ (log 2) (log (/ (cosh (* (* f (PI)) 1/4)) (* (sinh (* (* f (PI)) 1/4)) 2)))) (PI)) (+ (log 2) (log (/ (cosh (* (* f (PI)) 1/4)) (* (sinh (* (* f (PI)) 1/4)) 2)))) (log 2) 2 (log (/ (cosh (* (* f (PI)) 1/4)) (* (sinh (* (* f (PI)) 1/4)) 2))) (/ (cosh (* (* f (PI)) 1/4)) (* (sinh (* (* f (PI)) 1/4)) 2)) (cosh (* (* f (PI)) 1/4)) (* (* f (PI)) 1/4) (* f (PI)) f (PI) 1/4 (* (sinh (* (* f (PI)) 1/4)) 2) (sinh (* (* f (PI)) 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))))) (/ 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)))))))) (* (/ (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))) (cosh (* (* (PI) f) -1/4)) (* (* (PI) f) -1/4) (* (PI) f) -1/4 (* 2 (sinh (* (* (PI) f) 1/4))) (* (* 1/2 (PI)) f) (* 1/2 (PI)) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (+ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (+ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (log (/ (+ (+ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (+ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (+ (+ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (exp (neg (* (/ (PI) 4) f)))) (+ (* (* (PI) 0) f) 2) (* (PI) 0) 0 (- (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) (neg (log (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (/ 4 (PI))))) (log (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (/ 4 (PI)))) (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (/ 4 (PI))) (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f)) (/ 4 (PI)))
375.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)) (exp (neg (* (/ (PI) 4) f))) (neg (* (/ (PI) 4) f)) (* (/ (PI) 4) f) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (log (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (neg (* (/ 1 (PI)) 4)))) (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (neg (* (/ 1 (PI)) 4))) (* 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 (* (/ 1 (PI)) 4)) (* (/ 1 (PI)) 4) (/ 1 (PI)) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (+ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (exp (neg (* (/ (PI) 4) f)))) (- (+ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (+ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (exp (neg (* (/ (PI) 4) f)))) (- (+ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (exp (neg (* (/ (PI) 4) f))))))) (log (/ (+ (+ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (exp (neg (* (/ (PI) 4) f)))) (- (+ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (+ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (exp (neg (* (/ (PI) 4) f)))) (- (+ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (exp (neg (* (/ (PI) 4) f))))) (+ (+ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (exp (neg (* (/ (PI) 4) f)))) (+ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (- (+ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (exp (neg (* (/ (PI) 4) f)))))
261.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)) (exp (neg (* (/ (PI) 4) f))) (neg (* (/ (PI) 4) f)) (* (/ (PI) 4) f) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (log (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (neg (* (/ 1 (PI)) 4)))) (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (neg (* (/ 1 (PI)) 4))) (* 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 (* (/ 1 (PI)) 4)) (* (/ 1 (PI)) 4) (/ 1 (PI)) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (+ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (exp (neg (* (/ (PI) 4) f)))) (- (+ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (+ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (exp (neg (* (/ (PI) 4) f)))) (- (+ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (exp (neg (* (/ (PI) 4) f))))))) (log (/ (+ (+ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (exp (neg (* (/ (PI) 4) f)))) (- (+ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (+ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (exp (neg (* (/ (PI) 4) f)))) (- (+ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (exp (neg (* (/ (PI) 4) f))))) (+ (+ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (exp (neg (* (/ (PI) 4) f)))) (+ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (- (+ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (exp (neg (* (/ (PI) 4) f)))))
226.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) (log (/ (cosh (* (* f (PI)) 1/4)) (* (sinh (* (* f (PI)) 1/4)) 2)))) (PI)) -4) (/ (+ (log 2) (log (/ (cosh (* (* f (PI)) 1/4)) (* (sinh (* (* f (PI)) 1/4)) 2)))) (PI)) (+ (log 2) (log (/ (cosh (* (* f (PI)) 1/4)) (* (sinh (* (* f (PI)) 1/4)) 2)))) (log 2) 2 (log (/ (cosh (* (* f (PI)) 1/4)) (* (sinh (* (* f (PI)) 1/4)) 2))) (/ (cosh (* (* f (PI)) 1/4)) (* (sinh (* (* f (PI)) 1/4)) 2)) (cosh (* (* f (PI)) 1/4)) (* (* f (PI)) 1/4) (* f (PI)) f (PI) 1/4 (* (sinh (* (* f (PI)) 1/4)) 2) (sinh (* (* f (PI)) 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))))) (/ 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)))))))) (* (/ (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))) (cosh (* (* (PI) f) -1/4)) (* (* (PI) f) -1/4) (* (PI) f) -1/4 (* 2 (sinh (* (* (PI) f) 1/4))) (* (* 1/2 (PI)) f) (* 1/2 (PI)) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (+ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (+ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (log (/ (+ (+ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (+ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (+ (+ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (exp (neg (* (/ (PI) 4) f)))) (+ (* (* (PI) 0) f) 2) (* (PI) 0) 0 (- (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) (neg (log (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (/ 4 (PI))))) (log (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (/ 4 (PI)))) (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (/ 4 (PI))) (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f)) (/ 4 (PI)))
185.0ms
n
@inf
((/ (pow (sqrt (* (+ (PI) (PI)) n)) (- 1 k)) (sqrt k)) (pow (sqrt (* (+ (PI) (PI)) n)) (- 1 k)) (sqrt (* (+ (PI) (PI)) n)) (* (+ (PI) (PI)) n) (+ (PI) (PI)) (PI) n (- 1 k) 1 k (sqrt k) (* (/ 1 (sqrt k)) (pow (* (* 2 (PI)) n) (/ (- 1 k) 2))) (sqrt (/ (* (+ (PI) (PI)) n) k)) (/ (* (+ (PI) (PI)) n) k) (* (/ 1 (sqrt k)) (pow (* (+ (PI) (PI)) n) (+ (* -1/2 k) 1/2))) (/ 1 (sqrt k)) (pow (* (+ (PI) (PI)) n) (+ (* -1/2 k) 1/2)) (+ (* -1/2 k) 1/2) -1/2 1/2 (* (/ 1 (sqrt k)) (pow (* (* 2 (PI)) n) (/ (- 1 k) 2))) (/ 1 (sqrt k)) (sqrt k) (/ k (sqrt k)) (pow (* (* 2 (PI)) n) (/ (- 1 k) 2)) (* (* 2 (PI)) n) (* 2 (PI)) 2 (/ (- 1 k) 2) (* (/ 1 (sqrt k)) (pow (* (* (sqrt (* (+ (PI) (PI)) n)) (sqrt 2)) (sqrt (* (PI) n))) (/ (- 1 k) 2))) (pow (* (* (sqrt (* (+ (PI) (PI)) n)) (sqrt 2)) (sqrt (* (PI) n))) (/ (- 1 k) 2)) (* (* (sqrt (* (+ (PI) (PI)) n)) (sqrt 2)) (sqrt (* (PI) n))) (* (sqrt (* (+ (PI) (PI)) n)) (sqrt 2)) (sqrt 2) (sqrt (* (PI) n)) (* (PI) n))

regimes16.2s (8.3%)

Memory
243.0MiB live, 21 927.3MiB allocated; 3.8s collecting garbage
Counts
9 904 → 708
Calls

156 calls:

1.3s
l
660.0ms
t
549.0ms
k
459.0ms
x
409.0ms
h
Compiler

Compiled 9 847 to 11 577 computations (-17.6% saved)

derivations12.3s (6.3%)

Memory
124.3MiB live, 10 782.6MiB allocated; 3.1s collecting garbage
Stop Event
30×fuel
2×done
Compiler

Compiled 7 094 to 3 949 computations (44.3% saved)

analyze11.1s (5.7%)

Memory
-111.5MiB live, 11 815.3MiB allocated; 6.8s 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)

eval10.4s (5.3%)

Memory
-86.6MiB live, 14 084.4MiB allocated; 5.0s collecting garbage
Compiler

Compiled 1 316 702 to 299 880 computations (77.2% saved)

preprocess8.8s (4.5%)

Memory
-178.0MiB live, 11 986.8MiB allocated; 2.4s collecting garbage
Stop Event
31×node-limit
1×saturated
Compiler

Compiled 101 920 to 76 834 computations (24.6% saved)

bsearch5.4s (2.8%)

Memory
54.3MiB live, 6 643.0MiB allocated; 1.8s collecting garbage
Algorithm
230×binary-search
151×left-value
Stop Event
206×narrow-enough
14×predicate-failed
10×predicate-same
Samples
2.3s14 937×0valid
513.0ms3 587×0invalid
107.0ms568×1valid
40.0ms144×2valid
35.0ms44×1invalid
28.0ms79×3valid
2.0ms9×2invalid
Compiler

Compiled 108 486 to 103 697 computations (4.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.3s
ival-mult!: 545.0ms (24.1% of total)
ival-div!: 274.0ms (12.1% of total)
ival-pow: 269.0ms (11.9% of total)
ival-tan: 267.0ms (11.8% of total)
ival-sin: 244.0ms (10.8% of total)
ival-pow2: 188.0ms (8.3% of total)
ival-sub!: 136.0ms (6% of total)
ival-add!: 115.0ms (5.1% of total)
adjust: 43.0ms (1.9% of total)
ival-exp: 42.0ms (1.9% of total)
ival-neg: 40.0ms (1.8% of total)
ival-sqrt: 39.0ms (1.7% of total)
ival-cos: 27.0ms (1.2% of total)
ival-hypot: 19.0ms (0.8% of total)
ival-tanu: 10.0ms (0.4% of total)
ival-fabs: 3.0ms (0.1% of total)
ival-atan: 1.0ms (0% of total)

prune5.1s (2.6%)

Memory
-208.6MiB live, 8 349.2MiB allocated; 1.7s collecting garbage
Counts
52 433 → 3 058
Compiler

Compiled 185 097 to 146 259 computations (21% saved)

start20.0ms (0%)

Memory
-52.0MiB live, 3.8MiB allocated; 22ms collecting garbage

end0.0ms (0%)

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

Profiling

Loading profile data...