Herbie run

Date:Tuesday, April 15th, 2025
Commit:5565a39e on main
Seed:2025105
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:224 988.9 MB

Time bar (total: 2.8min)

sample1.1min (38.3%)

Memory
1 143.9MiB live, 86 043.3MiB allocated; 20.8s collecting garbage
Samples
25.9s224 600×0valid
7.1s65 081×0invalid
6.0s23 364×1valid
3.2s14 375×1invalid
3.0s9 778×2valid
2.1s6 437×3valid
133.0ms580×2invalid
23.0ms239×0exit
5.0ms13×4valid
Precisions
Click to see histograms. Total time spent on operations: 35.1s
ival-mult!: 8.4s (23.8% of total)
ival-div!: 4.1s (11.8% of total)
ival-pow2: 3.5s (9.9% of total)
adjust: 2.6s (7.5% of total)
ival-sqrt: 2.2s (6.3% of total)
ival-sin: 2.1s (5.9% of total)
ival-pow: 2.0s (5.6% of total)
ival-add!: 1.9s (5.3% of total)
ival-exp: 1.8s (5.1% of total)
ival-sub!: 1.5s (4.4% of total)
ival-hypot: 919.0ms (2.6% of total)
ival-cos: 913.0ms (2.6% of total)
ival-tan: 827.0ms (2.4% of total)
ival-neg: 666.0ms (1.9% of total)
ival-acos: 576.0ms (1.6% of total)
ival-log: 447.0ms (1.3% of total)
ival-asin: 254.0ms (0.7% of total)
ival-tanu: 234.0ms (0.7% of total)
ival-atan: 129.0ms (0.4% of total)
ival-fabs: 94.0ms (0.3% 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

rewrite26.2s (15.5%)

Memory
549.0MiB live, 31 166.8MiB allocated; 6.0s collecting garbage
Stop Event
295×iter-limit
121×node-limit
6×unsound
Counts
29 203 → 46 762

regimes13.6s (8%)

Memory
63.2MiB live, 21 485.5MiB allocated; 2.2s collecting garbage
Counts
9 366 → 756
Calls

156 calls:

917.0ms
l
634.0ms
t
523.0ms
k
402.0ms
F
322.0ms
x
Compiler

Compiled 12 331 to 12 615 computations (-2.3% saved)

series11.8s (7%)

Memory
576.2MiB live, 17 163.1MiB allocated; 3.7s collecting garbage
Counts
4 562 → 24 641
Calls

1197 calls:

TimeVariablePointExpression
524.0ms
k
@-inf
((* (sqrt (pow k -1)) (pow (* (* 2 (PI)) n) (/ (- 1 k) 2))) (sqrt (pow k -1)) (pow k -1) k -1 (pow (* (* 2 (PI)) n) (/ (- 1 k) 2)) (* (* 2 (PI)) n) (* 2 (PI)) 2 (PI) n (/ (- 1 k) 2) (- 1 k) 1 (* (/ 1 (sqrt k)) (pow (* (* 2 (PI)) n) (/ (- 1 k) 2))) (sqrt (* (/ (* (PI) n) k) 2)) (* (/ (* (PI) n) k) 2) (/ (* (PI) n) k) (* (PI) n) (* (/ 1 (sqrt k)) (pow (* (* 2 (PI)) n) (/ (- 1 k) 2))) (/ 1 (sqrt k)) (sqrt k) (pow (* (* 2 (PI)) n) (/ (- 1 k) 2)) (/ (- 1 k) 2) (* -1/2 k) -1/2 (/ (* 1 (pow (* (* (PI) 2) n) (/ (- 1 k) 2))) (sqrt k)) (* 1 (pow (* (* (PI) 2) n) (/ (- 1 k) 2))) (pow (* (* (PI) 2) n) (/ (- 1 k) 2)) (* (* (PI) 2) n) (* (PI) 2) (* (/ 1 (sqrt k)) (pow (* (* 2 (PI)) n) (/ (- 1 k) 2))) (/ (+ (* (* (* (log (* (* (PI) 2) n)) (sqrt 2)) (sqrt (* (* (pow k 3) n) (PI)))) -1/2) (sqrt (* (* (* (PI) n) k) 2))) k) (+ (* (* (* (log (* (* (PI) 2) n)) (sqrt 2)) (sqrt (* (* (pow k 3) n) (PI)))) -1/2) (sqrt (* (* (* (PI) n) k) 2))) (* (* (log (* (* (PI) 2) n)) (sqrt 2)) (sqrt (* (* (pow k 3) n) (PI)))) (* (log (* (* (PI) 2) n)) (sqrt 2)) (log (* (* (PI) 2) n)) (sqrt 2) (sqrt (* (* (pow k 3) n) (PI))) (* (* (pow k 3) n) (PI)) (* (pow k 3) n) (pow k 3) 3 (sqrt (* (* (* (PI) n) k) 2)) (* (* (* (PI) n) k) 2) (* (* (PI) n) k))
433.0ms
k
@0
((/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k))) (* a (/ (pow (pow (pow k -1) m) -1) (* k k))) a (/ (pow (pow (pow k -1) m) -1) (* k k)) (pow k (- -2 (* -1 m))) k (- -2 (* -1 m)) (- m 2) m 2 (/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k))) (/ a (+ (* (+ 10 k) k) 1)) (+ (* (+ (* (- (neg (* (* -10 (+ a (* -99 a))) k)) (* -99 a)) k) (* -10 a)) k) a) (+ (* (- (neg (* (* -10 (+ a (* -99 a))) k)) (* -99 a)) k) (* -10 a)) (* -10 a) -10 (/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k))) (/ a (+ (* (+ 10 k) k) 1)) (+ (* (+ 10 k) k) 1) (* (+ 10 k) k) (+ 10 k) 10 1 (/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k))) (* a (/ (pow (pow (pow k -1) m) -1) (* k k))) (/ (pow (pow (pow k -1) m) -1) (* k k)) (* (/ -1 k) (/ -1 k)) (/ -1 k) -1 (/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k))) (/ a (+ (* (+ 10 k) k) 1)) (/ (+ (* (/ (+ (* (/ (- (* 10 (+ (/ a k) (* -99 (/ a k)))) (* -99 a)) k) -1) (* 10 a)) k) -1) a) (* k k)) (+ (* (/ (+ (* (/ (- (* 10 (+ (/ a k) (* -99 (/ a k)))) (* -99 a)) k) -1) (* 10 a)) k) -1) a) (/ (+ (* (/ (- (* 10 (+ (/ a k) (* -99 (/ a k)))) (* -99 a)) k) -1) (* 10 a)) k) (+ (* (/ (- (* 10 (+ (/ a k) (* -99 (/ a k)))) (* -99 a)) k) -1) (* 10 a)) (/ (- (* 10 (+ (/ a k) (* -99 (/ a k)))) (* -99 a)) k) (- (* 10 (+ (/ a k) (* -99 (/ a k)))) (* -99 a)) (* 10 (+ (/ a k) (* -99 (/ a k)))) (+ (/ a k) (* -99 (/ a k))) (/ a k) (* -99 (/ a k)) -99 (* -99 a) (* 10 a) (* k k))
273.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 (+ (/ (pow (pow (exp -1/4) f) (PI)) (* (sinh (* (* f (PI)) 1/4)) 2)) (/ (exp (neg (* (* f (PI)) -1/4))) (* (sinh (* (* f (PI)) 1/4)) 2)))) (PI)) -4) (/ (log (+ (/ (pow (pow (exp -1/4) f) (PI)) (* (sinh (* (* f (PI)) 1/4)) 2)) (/ (exp (neg (* (* f (PI)) -1/4))) (* (sinh (* (* f (PI)) 1/4)) 2)))) (PI)) (log (+ (/ (pow (pow (exp -1/4) f) (PI)) (* (sinh (* (* f (PI)) 1/4)) 2)) (/ (exp (neg (* (* f (PI)) -1/4))) (* (sinh (* (* f (PI)) 1/4)) 2)))) (+ (/ (pow (pow (exp -1/4) f) (PI)) (* (sinh (* (* f (PI)) 1/4)) 2)) (/ (exp (neg (* (* f (PI)) -1/4))) (* (sinh (* (* f (PI)) 1/4)) 2))) (/ (pow (pow (exp -1/4) f) (PI)) (* (sinh (* (* f (PI)) 1/4)) 2)) (pow (pow (exp -1/4) f) (PI)) (pow (exp -1/4) f) (exp -1/4) -1/4 f (PI) (* (sinh (* (* f (PI)) 1/4)) 2) (sinh (* (* f (PI)) 1/4)) (* (* f (PI)) 1/4) (* f (PI)) 1/4 2 (/ (exp (neg (* (* f (PI)) -1/4))) (* (sinh (* (* f (PI)) 1/4)) 2)) (exp (neg (* (* f (PI)) -1/4))) (neg (* (* f (PI)) -1/4)) (* (* 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)))))))) (* (/ (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) 1/2) f))) (PI)) -4) (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) (log (/ 2 (* (* (PI) 1/2) f))) (+ (* (log f) -1) (log (/ 4 (PI)))) (log f) -1 (log (/ 4 (PI))) (/ 4 (PI)) (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 f) (PI)) -1) (+ (* (* (/ f (PI)) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* 1/2 (PI)))) -1) (/ (log (/ 2 (* 1/2 (PI)))) (PI)))) (/ (log f) (PI)) (+ (* (* (/ f (PI)) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* 1/2 (PI)))) -1) (/ (log (/ 2 (* 1/2 (PI)))) (PI))) (* (/ f (PI)) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* 1/2 (PI)))) (/ f (PI)) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* 1/2 (PI))) (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* 1/32 (* (PI) (PI))) 1/32 (* (PI) (PI)) (* 1/2 (PI)) 1/2 (/ (log (/ 2 (* 1/2 (PI)))) (PI)) (log (/ 2 (* 1/2 (PI)))) (/ 2 (* 1/2 (PI))) (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) (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)))
206.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))) (neg (* (/ 1 (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ 1 (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2))) (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) (/ (sqrt (PI)) 2) (sqrt (PI)) (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)))))
147.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 (+ (/ (pow (pow (exp -1/4) f) (PI)) (* (sinh (* (* f (PI)) 1/4)) 2)) (/ (exp (neg (* (* f (PI)) -1/4))) (* (sinh (* (* f (PI)) 1/4)) 2)))) (PI)) -4) (/ (log (+ (/ (pow (pow (exp -1/4) f) (PI)) (* (sinh (* (* f (PI)) 1/4)) 2)) (/ (exp (neg (* (* f (PI)) -1/4))) (* (sinh (* (* f (PI)) 1/4)) 2)))) (PI)) (log (+ (/ (pow (pow (exp -1/4) f) (PI)) (* (sinh (* (* f (PI)) 1/4)) 2)) (/ (exp (neg (* (* f (PI)) -1/4))) (* (sinh (* (* f (PI)) 1/4)) 2)))) (+ (/ (pow (pow (exp -1/4) f) (PI)) (* (sinh (* (* f (PI)) 1/4)) 2)) (/ (exp (neg (* (* f (PI)) -1/4))) (* (sinh (* (* f (PI)) 1/4)) 2))) (/ (pow (pow (exp -1/4) f) (PI)) (* (sinh (* (* f (PI)) 1/4)) 2)) (pow (pow (exp -1/4) f) (PI)) (pow (exp -1/4) f) (exp -1/4) -1/4 f (PI) (* (sinh (* (* f (PI)) 1/4)) 2) (sinh (* (* f (PI)) 1/4)) (* (* f (PI)) 1/4) (* f (PI)) 1/4 2 (/ (exp (neg (* (* f (PI)) -1/4))) (* (sinh (* (* f (PI)) 1/4)) 2)) (exp (neg (* (* f (PI)) -1/4))) (neg (* (* f (PI)) -1/4)) (* (* 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)))))))) (* (/ (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) 1/2) f))) (PI)) -4) (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) (log (/ 2 (* (* (PI) 1/2) f))) (+ (* (log f) -1) (log (/ 4 (PI)))) (log f) -1 (log (/ 4 (PI))) (/ 4 (PI)) (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 f) (PI)) -1) (+ (* (* (/ f (PI)) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* 1/2 (PI)))) -1) (/ (log (/ 2 (* 1/2 (PI)))) (PI)))) (/ (log f) (PI)) (+ (* (* (/ f (PI)) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* 1/2 (PI)))) -1) (/ (log (/ 2 (* 1/2 (PI)))) (PI))) (* (/ f (PI)) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* 1/2 (PI)))) (/ f (PI)) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* 1/2 (PI))) (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* 1/32 (* (PI) (PI))) 1/32 (* (PI) (PI)) (* 1/2 (PI)) 1/2 (/ (log (/ 2 (* 1/2 (PI)))) (PI)) (log (/ 2 (* 1/2 (PI)))) (/ 2 (* 1/2 (PI))) (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) (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)))

derivations10.7s (6.3%)

Memory
77.0MiB live, 10 413.0MiB allocated; 2.5s collecting garbage
Stop Event
30×fuel
2×done
Compiler

Compiled 32 902 to 4 245 computations (87.1% saved)

analyze9.6s (5.7%)

Memory
-125.4MiB live, 11 484.8MiB allocated; 5.1s 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)

eval8.6s (5.1%)

Memory
-356.1MiB live, 12 363.2MiB allocated; 4.6s collecting garbage
Compiler

Compiled 2 688 346 to 261 944 computations (90.3% saved)

explain8.0s (4.7%)

Memory
-107.6MiB live, 12 319.0MiB allocated; 1.6s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue4710
-.f64#fcancellation4590
cos.f64#fsensitivity4291
*.f64#fn*o2620
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))))sensitivity2540
+.f64#fnan-rescue2530
sqrt.f64#fuflow-rescue1590
tan.f64(tan.f64 (*.f64 (PI.f64) l))sensitivity1360
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)))))))sensitivity1310
pow.f64#foflow-rescue1300
*.f64#fu*o1130
-.f64#fnan-rescue1060
pow.f64(pow.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64)))sensitivity8026
/.f64#fo/o720
*.f64#fn*u670
+.f64#fcancellation620
/.f64#fu/u610
/.f64#fo/n560
*.f64#fo*u560
pow.f64#fuflow-rescue530
cos.f64(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))oflow-rescue510
↳(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))overflow51
↳(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)overflow51
↳(*.f64 K (+.f64 m n))overflow51
/.f64#fn/o450
/.f64#fn/u290
/.f64#fu/n180
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))))))sensitivity120
exp.f64#fsensitivity41
Confusion
Predicted +Predicted -
+199735
-11545006
Precision
0.633767058076801
Recall
0.9827755905511811
Confusion?
Predicted +Predicted MaybePredicted -
+1997035
-1154284978
Precision?
0.6281849638251022
Recall?
0.9827755905511811
Freqs
test
numberfreq
05041
12787
2319
336
49
Total Confusion?
Predicted +Predicted MaybePredicted -
+2700
-005
Precision?
1.0
Recall?
1.0
Samples
1.8s13 300×0valid
492.0ms1 940×1valid
325.0ms726×2valid
164.0ms406×3valid
4.0ms12×5exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 1.7s
ival-mult!: 407.0ms (23.5% of total)
ival-div!: 281.0ms (16.2% of total)
ival-sin: 179.0ms (10.3% of total)
adjust: 134.0ms (7.7% of total)
ival-pow2: 111.0ms (6.4% of total)
ival-exp: 103.0ms (5.9% of total)
ival-sqrt: 92.0ms (5.3% of total)
ival-sub!: 72.0ms (4.2% of total)
ival-pow: 70.0ms (4% of total)
ival-cos: 61.0ms (3.5% of total)
ival-add!: 58.0ms (3.3% of total)
ival-tan: 43.0ms (2.5% of total)
ival-acos: 29.0ms (1.7% of total)
ival-neg: 25.0ms (1.4% of total)
ival-hypot: 21.0ms (1.2% of total)
ival-log: 15.0ms (0.9% of total)
ival-tanu: 13.0ms (0.8% of total)
ival-asin: 9.0ms (0.5% of total)
ival-atan: 5.0ms (0.3% of total)
ival-fabs: 4.0ms (0.2% of total)
ival-pi: 0.0ms (0% of total)
const: 0.0ms (0% of total)

preprocess6.8s (4%)

Memory
-638.6MiB live, 9 206.6MiB allocated; 1.5s collecting garbage
Stop Event
31×node-limit
1×saturated
Compiler

Compiled 228 506 to 82 414 computations (63.9% saved)

bsearch5.4s (3.2%)

Memory
167.9MiB live, 6 848.5MiB allocated; 2.1s collecting garbage
Algorithm
243×binary-search
157×left-value
Stop Event
238×narrow-enough
5×predicate-same
Samples
2.2s16 035×0valid
397.0ms3 550×0invalid
130.0ms808×1valid
90.0ms93×2valid
7.0ms47×1invalid
2.0ms11×2invalid
2.0ms8×3valid
Compiler

Compiled 155 474 to 108 351 computations (30.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.1s
ival-mult!: 422.0ms (20.3% of total)
ival-sin: 395.0ms (19% of total)
ival-div!: 305.0ms (14.7% of total)
ival-pow: 239.0ms (11.5% of total)
ival-tan: 186.0ms (9% of total)
ival-pow2: 142.0ms (6.8% of total)
ival-add!: 99.0ms (4.8% of total)
ival-sub!: 88.0ms (4.2% of total)
ival-neg: 42.0ms (2% of total)
ival-sqrt: 38.0ms (1.8% of total)
adjust: 35.0ms (1.7% of total)
ival-hypot: 32.0ms (1.5% of total)
ival-exp: 29.0ms (1.4% of total)
ival-cos: 11.0ms (0.5% of total)
ival-atan: 5.0ms (0.2% of total)
ival-fabs: 4.0ms (0.2% of total)
ival-tanu: 3.0ms (0.1% of total)

prune3.8s (2.3%)

Memory
123.0MiB live, 6 482.9MiB allocated; 857ms collecting garbage
Counts
49 790 → 2 679
Compiler

Compiled 251 983 to 127 090 computations (49.6% saved)

start36.0ms (0%)

Memory
-39.2MiB live, 11.5MiB allocated; 28ms collecting garbage

end0.0ms (0%)

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

Profiling

Loading profile data...