Herbie run

Date:Friday, April 11th, 2025
Commit:da42755e on chassis-platforms-cleanup-like-main
Seed:2025101
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:240 871.5 MB

Time bar (total: 2.9min)

sample1.1min (37.7%)

Memory
722.4MiB live, 89 050.3MiB allocated; 22.6s collecting garbage
Samples
28.0s224 501×0valid
7.2s65 628×0invalid
6.6s23 417×1valid
3.2s14 476×1invalid
2.7s9 772×2valid
1.8s6 488×3valid
125.0ms564×2invalid
26.0ms213×0exit
5.0ms14×4valid
0.0ms1×5exit
0.0ms1×3exit
Precisions
Click to see histograms. Total time spent on operations: 37.3s
ival-mult!: 8.6s (23.1% of total)
ival-div!: 5.4s (14.4% of total)
ival-sqrt: 2.9s (7.8% of total)
ival-pow2: 2.6s (6.9% of total)
adjust: 2.5s (6.7% of total)
ival-sin: 2.4s (6.4% of total)
ival-sub!: 2.2s (5.9% of total)
ival-exp: 2.1s (5.6% of total)
ival-pow: 1.8s (4.9% of total)
ival-add!: 1.3s (3.6% of total)
ival-tan: 1.2s (3.2% of total)
ival-log: 1.0s (2.8% of total)
ival-cos: 937.0ms (2.5% of total)
ival-neg: 665.0ms (1.8% of total)
ival-acos: 587.0ms (1.6% of total)
ival-hypot: 446.0ms (1.2% of total)
ival-asin: 256.0ms (0.7% of total)
ival-tanu: 242.0ms (0.6% of total)
ival-atan: 98.0ms (0.3% of total)
ival-fabs: 42.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

rewrite27.6s (15.8%)

Memory
929.2MiB live, 32 613.1MiB allocated; 8.3s collecting garbage
Stop Event
293×iter-limit
123×node-limit
4×unsound
Counts
28 503 → 50 221

regimes14.9s (8.5%)

Memory
-149.1MiB live, 23 898.4MiB allocated; 4.1s collecting garbage
Counts
9 219 → 754
Calls

156 calls:

830.0ms
l
775.0ms
(*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l))
536.0ms
k
510.0ms
t
385.0ms
x
Compiler

Compiled 12 270 to 12 841 computations (-4.7% saved)

series11.8s (6.7%)

Memory
437.3MiB live, 18 338.8MiB allocated; 2.8s collecting garbage
Counts
4 502 → 24 001
Calls

1197 calls:

TimeVariablePointExpression
264.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)))))))) (* (/ (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) 1/2) f))) (PI)) -4) (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) (log (/ 2 (* (* (PI) 1/2) f))) (- (log (/ 4 (PI))) (log f)) (log (/ 4 (PI))) (/ 4 (PI)) (log f) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ 1 (/ (PI) 4)) 1 (/ (PI) 4) (log (/ (+ (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (+ (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f)))) (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (+ (* (+ (* (* (* (PI) (PI)) f) 1/32) (* 1/4 (PI))) f) 1) (+ (* (* (* (PI) (PI)) f) 1/32) (* 1/4 (PI))) (* (* (PI) (PI)) f) (* (PI) (PI)) 1/32 (* 1/4 (PI)) (exp (neg (* (/ (PI) 4) f))) (neg (* (/ (PI) 4) f)) (* (/ (PI) 4) f) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (* (* (PI) 1/2) f) (* (PI) 1/2) 1/2 (neg (log (pow (/ (* 2 (cosh (* (/ (PI) 4) f))) (* 2 (sinh (* (/ (PI) 4) f)))) (pow (/ (PI) 4) -1)))) (log (pow (/ (* 2 (cosh (* (/ (PI) 4) f))) (* 2 (sinh (* (/ (PI) 4) f)))) (pow (/ (PI) 4) -1))) (pow (/ (* 2 (cosh (* (/ (PI) 4) f))) (* 2 (sinh (* (/ (PI) 4) f)))) (pow (/ (PI) 4) -1)) (/ (* 2 (cosh (* (/ (PI) 4) f))) (* 2 (sinh (* (/ (PI) 4) f)))) (* 2 (cosh (* (/ (PI) 4) f))) (* (cosh (* (* f (PI)) -1/4)) 2) (cosh (* (* f (PI)) -1/4)) (* (* f (PI)) -1/4) -1/4 (* 2 (sinh (* (/ (PI) 4) f))) (sinh (* (/ (PI) 4) f)) (pow (/ (PI) 4) -1) -1)
177.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)) (sinh (* (* f (PI)) 1/4)))) -4) (PI)) (* (log (/ (cosh (* (* f (PI)) 1/4)) (sinh (* (* f (PI)) 1/4)))) -4) (log (/ (cosh (* (* f (PI)) 1/4)) (sinh (* (* f (PI)) 1/4)))) (/ (cosh (* (* f (PI)) 1/4)) (sinh (* (* f (PI)) 1/4))) (cosh (* (* f (PI)) 1/4)) (* (* f (PI)) 1/4) (* f (PI)) f (PI) 1/4 (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)))))))) (* (/ (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 f)) (log (* 1/2 (PI)))) (PI)) -4) (/ (- (log (/ 2 f)) (log (* 1/2 (PI)))) (PI)) (- (log (/ 2 f)) (log (* 1/2 (PI)))) (log (/ 2 f)) (/ 2 f) 2 (log (* 1/2 (PI))) (* 1/2 (PI)) 1/2 (neg (* (/ 1 (/ (PI) 4)) (- (log (* 2 (cosh (* (/ (PI) 4) f)))) (log (- (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (- (log (* 2 (cosh (* (/ (PI) 4) f)))) (log (- (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ 1 (/ (PI) 4)) 1 (/ (PI) 4) (- (log (* 2 (cosh (* (/ (PI) 4) f)))) (log (- (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f)))))) (log (* 2 (cosh (* (/ (PI) 4) f)))) (* 2 (cosh (* (/ (PI) 4) f))) (cosh (* (/ (PI) 4) f)) (* (/ (PI) 4) f) (log (- (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f))))) (- (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f)))) (* (* 1/2 (PI)) f) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f))))))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f))))) (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (* (cosh (* (* f (PI)) 1/4)) 2) (- (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f)))) (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f) (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) (/ (sqrt (PI)) 2) (sqrt (PI)) (exp (neg (* (/ (PI) 4) f))) (neg (* (/ (PI) 4) f)))
151.0ms
l
@-inf
((/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1))) 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1)) (/ (* (+ (* (pow (* (sin k) t) 2) 2) (pow (* (sin k) k) 2)) t) (* (* (cos k) l) l)) (* (+ (* (pow (* (sin k) t) 2) 2) (pow (* (sin k) k) 2)) t) (+ (* (pow (* (sin k) t) 2) 2) (pow (* (sin k) k) 2)) (pow (* (sin k) t) 2) (* (sin k) t) (sin k) k t (pow (* (sin k) k) 2) (* (sin k) k) (* (* (cos k) l) l) (* (cos k) l) (cos k) l (/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1))) (/ (* l l) (* (* k k) (* (* t t) t))) (* l l) (* (* k k) (* (* t t) t)) (* k k) (* (* t t) t) (* t t) (/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1))) (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1)) (* (/ (+ (* 2 (pow (* (sin k) t) 2)) (pow (* (sin k) k) 2)) (* (cos k) (* l l))) t) (/ (+ (* 2 (pow (* (sin k) t) 2)) (pow (* (sin k) k) 2)) (* (cos k) (* l l))) (* (+ (* (- (+ (* (/ (* t t) (* l l)) -2/3) (pow l -2)) (neg (/ (* t t) (* l l)))) (* k k)) (/ (* (* t t) 2) (* l l))) (* k k)) (+ (* (- (+ (* (/ (* t t) (* l l)) -2/3) (pow l -2)) (neg (/ (* t t) (* l l)))) (* k k)) (/ (* (* t t) 2) (* l l))) (- (+ (* (/ (* t t) (* l l)) -2/3) (pow l -2)) (neg (/ (* t t) (* l l)))) (+ (* (/ (* t t) (* l l)) -2/3) (pow l -2)) (/ (* t t) (* l l)) -2/3 (pow l -2) -2 (neg (/ (* t t) (* l l))) (/ (* (* t t) 2) (* l l)) (* (* t t) 2) (/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1))) (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1)) (* (/ (+ (* 2 (pow (* (sin k) t) 2)) (pow (* (sin k) k) 2)) (* (cos k) (* l l))) t) (/ (+ (* 2 (pow (* (sin k) t) 2)) (pow (* (sin k) k) 2)) (* (cos k) (* l l))) (+ (* 2 (pow (* (sin k) t) 2)) (pow (* (sin k) k) 2)) (* (cos k) (* l l)) (/ 2 (* (* (* (exp (- (* (log t) 3) (* (log l) 2))) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1))) (* (* (* (exp (- (* (log t) 3) (* (log l) 2))) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1)) (* (* (exp (- (* (log t) 3) (* (log l) 2))) (sin k)) (tan k)) (* (exp (- (* (log t) 3) (* (log l) 2))) (sin k)) (exp (- (* (log t) 3) (* (log l) 2))) (- (* (log t) 3) (* (log l) 2)) (* (log t) 3) (log t) 3 (* (log l) 2) (log l) (tan k) (+ (+ 1 (pow (/ k t) 2)) 1) (+ 1 (pow (/ k t) 2)) 1 (pow (/ k t) 2) (/ k t))
127.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)))) (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))))))) (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 (neg (* (/ (PI) 4) f))) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f))))))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f))))) (- (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f)))) (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f) (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) (/ (sqrt (PI)) 2) (sqrt (PI)))
116.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)))))))) (* (/ (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) 1/2) f))) (PI)) -4) (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) (log (/ 2 (* (* (PI) 1/2) f))) (- (log (/ 4 (PI))) (log f)) (log (/ 4 (PI))) (/ 4 (PI)) (log f) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ 1 (/ (PI) 4)) 1 (/ (PI) 4) (log (/ (+ (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (+ (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f)))) (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (+ (* (+ (* (* (* (PI) (PI)) f) 1/32) (* 1/4 (PI))) f) 1) (+ (* (* (* (PI) (PI)) f) 1/32) (* 1/4 (PI))) (* (* (PI) (PI)) f) (* (PI) (PI)) 1/32 (* 1/4 (PI)) (exp (neg (* (/ (PI) 4) f))) (neg (* (/ (PI) 4) f)) (* (/ (PI) 4) f) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (* (* (PI) 1/2) f) (* (PI) 1/2) 1/2 (neg (log (pow (/ (* 2 (cosh (* (/ (PI) 4) f))) (* 2 (sinh (* (/ (PI) 4) f)))) (pow (/ (PI) 4) -1)))) (log (pow (/ (* 2 (cosh (* (/ (PI) 4) f))) (* 2 (sinh (* (/ (PI) 4) f)))) (pow (/ (PI) 4) -1))) (pow (/ (* 2 (cosh (* (/ (PI) 4) f))) (* 2 (sinh (* (/ (PI) 4) f)))) (pow (/ (PI) 4) -1)) (/ (* 2 (cosh (* (/ (PI) 4) f))) (* 2 (sinh (* (/ (PI) 4) f)))) (* 2 (cosh (* (/ (PI) 4) f))) (* (cosh (* (* f (PI)) -1/4)) 2) (cosh (* (* f (PI)) -1/4)) (* (* f (PI)) -1/4) -1/4 (* 2 (sinh (* (/ (PI) 4) f))) (sinh (* (/ (PI) 4) f)) (pow (/ (PI) 4) -1) -1)

eval10.7s (6.1%)

Memory
-321.5MiB live, 14 736.2MiB allocated; 5.1s collecting garbage
Compiler

Compiled 3 165 523 to 273 897 computations (91.3% saved)

derivations10.1s (5.8%)

Memory
-39.8MiB live, 10 824.0MiB allocated; 1.3s collecting garbage
Stop Event
31×fuel
1×done
Compiler

Compiled 33 647 to 3 965 computations (88.2% saved)

analyze9.0s (5.1%)

Memory
23.7MiB live, 12 295.0MiB allocated; 3.7s 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)

preprocess8.9s (5.1%)

Memory
-201.5MiB live, 13 769.8MiB allocated; 2.7s collecting garbage
Stop Event
31×node-limit
1×saturated
Compiler

Compiled 239 710 to 83 556 computations (65.1% saved)

explain8.3s (4.8%)

Memory
22.8MiB live, 12 948.7MiB allocated; 2.6s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue4770
-.f64#fcancellation4711
cos.f64#fsensitivity4210
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*o2450
+.f64#fnan-rescue2350
sqrt.f64#fuflow-rescue1660
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)))))))sensitivity1360
tan.f64(tan.f64 (*.f64 (PI.f64) l))sensitivity1360
pow.f64#foflow-rescue1320
-.f64#fnan-rescue1250
*.f64#fu*o1240
/.f64#fo/o1000
pow.f64(pow.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64)))sensitivity8319
/.f64#fu/u640
*.f64#fn*u600
/.f64#fo/n590
pow.f64#fuflow-rescue580
*.f64#fo*u580
+.f64#fcancellation550
cos.f64(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))oflow-rescue500
↳(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))overflow50
↳(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)overflow50
↳(*.f64 K (+.f64 m n))overflow50
/.f64#fn/o330
/.f64#fn/u310
/.f64#fu/n190
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
exp.f64(exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 m n)))))sensitivity10
Confusion
Predicted +Predicted -
+202345
-11155009
Precision
0.6446781389420013
Recall
0.9782398452611218
Confusion?
Predicted +Predicted MaybePredicted -
+2023144
-1115204989
Precision?
0.6407090851535296
Recall?
0.9787234042553191
Freqs
test
numberfreq
05054
12734
2358
336
48
52
Total Confusion?
Predicted +Predicted MaybePredicted -
+2400
-107
Precision?
0.96
Recall?
1.0
Samples
1.6s13 352×0valid
488.0ms1 916×1valid
212.0ms702×2valid
118.0ms402×3valid
5.0ms12×5exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 1.6s
ival-mult!: 328.0ms (20.1% of total)
ival-sqrt: 202.0ms (12.4% of total)
ival-div!: 169.0ms (10.4% of total)
adjust: 131.0ms (8% of total)
ival-pow2: 122.0ms (7.5% of total)
ival-sin: 121.0ms (7.4% of total)
ival-exp: 90.0ms (5.5% of total)
ival-add!: 86.0ms (5.3% of total)
ival-pow: 81.0ms (5% of total)
ival-sub!: 67.0ms (4.1% of total)
ival-cos: 63.0ms (3.9% of total)
ival-tan: 51.0ms (3.1% of total)
ival-acos: 28.0ms (1.7% of total)
ival-neg: 27.0ms (1.7% of total)
ival-hypot: 21.0ms (1.3% of total)
ival-tanu: 12.0ms (0.7% of total)
ival-log: 12.0ms (0.7% of total)
ival-asin: 10.0ms (0.6% 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)

prune3.9s (2.2%)

Memory
-260.9MiB live, 6 697.2MiB allocated; 1.0s collecting garbage
Counts
56 016 → 2 728
Compiler

Compiled 259 866 to 126 216 computations (51.4% saved)

bsearch3.8s (2.2%)

Memory
140.1MiB live, 5 695.8MiB allocated; 648ms collecting garbage
Algorithm
235×binary-search
173×left-value
Stop Event
227×narrow-enough
8×predicate-same
Samples
1.7s14 370×0valid
216.0ms1 918×0invalid
203.0ms794×1valid
117.0ms437×2valid
60.0ms207×3valid
41.0ms130×1invalid
4.0ms20×2invalid
Compiler

Compiled 154 796 to 106 741 computations (31% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6s
ival-mult!: 346.0ms (21.9% of total)
ival-div!: 226.0ms (14.3% of total)
ival-pow: 143.0ms (9% of total)
ival-tan: 132.0ms (8.3% of total)
ival-add!: 121.0ms (7.6% of total)
ival-pow2: 117.0ms (7.4% of total)
ival-sin: 105.0ms (6.6% of total)
ival-sub!: 88.0ms (5.6% of total)
adjust: 83.0ms (5.2% of total)
ival-exp: 65.0ms (4.1% of total)
ival-neg: 56.0ms (3.5% of total)
ival-sqrt: 38.0ms (2.4% of total)
ival-cos: 31.0ms (2% of total)
ival-tanu: 12.0ms (0.8% of total)
ival-fabs: 8.0ms (0.5% of total)
ival-hypot: 8.0ms (0.5% of total)
ival-atan: 3.0ms (0.2% of total)

start2.0ms (0%)

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

end0.0ms (0%)

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

Profiling

Loading profile data...