Herbie run

Date:Thursday, February 13th, 2025
Commit:0e88e39c on custom-lifting-lowering
Seed:2025044
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:279 525.2 MB

Time bar (total: 3.5min)

sample1.5min (43%)

Memory
975.3MiB live, 120 151.2MiB allocated; 38.6s collecting garbage
Samples
38.2s224 577×0valid
10.6s65 698×0invalid
8.5s23 556×1valid
4.2s13 397×1invalid
3.6s9 722×2valid
3.4s6 331×3valid
829.0ms1 590×2invalid
55.0ms236×0exit
3.0ms6×4valid
1.0ms2×5exit
Precisions
Click to see histograms. Total time spent on operations: 52.6s
ival-mult: 14.5s (27.6% of total)
ival-div: 7.5s (14.3% of total)
ival-sub: 4.8s (9.1% of total)
adjust: 4.1s (7.8% of total)
ival-add: 3.2s (6.1% of total)
ival-pow2: 3.0s (5.8% of total)
ival-sqrt: 3.0s (5.7% of total)
ival-pow: 2.4s (4.5% of total)
ival-exp: 2.2s (4.2% of total)
ival-sin: 1.9s (3.6% of total)
ival-tan: 1.2s (2.2% of total)
ival-cos: 906.0ms (1.7% of total)
ival-acos: 700.0ms (1.3% of total)
ival-neg: 624.0ms (1.2% of total)
ival-pi: 483.0ms (0.9% of total)
ival-hypot: 456.0ms (0.9% of total)
exact: 404.0ms (0.8% of total)
ival-log: 361.0ms (0.7% of total)
ival-tanu: 279.0ms (0.5% of total)
ival-asin: 239.0ms (0.5% of total)
const: 141.0ms (0.3% of total)
ival-assert: 124.0ms (0.2% of total)
ival-atan: 99.0ms (0.2% of total)
ival-fabs: 49.0ms (0.1% of total)
ival-<: 2.0ms (0% of total)
ival-and: 1.0ms (0% of total)
Bogosity

rewrite27.7s (13.4%)

Memory
634.8MiB live, 32 094.3MiB allocated; 9.5s collecting garbage
Stop Event
171×iter limit
124×node limit
4×unsound
Counts
28 157 → 48 653

regimes15.7s (7.6%)

Memory
43.8MiB live, 22 940.8MiB allocated; 5.1s collecting garbage
Counts
8 964 → 747
Calls

156 calls:

932.0ms
l
710.0ms
c0
551.0ms
t
508.0ms
k
386.0ms
(/.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)))))
Compiler

Compiled 12 634 to 12 900 computations (-2.1% saved)

series12.7s (6.1%)

Memory
158.7MiB live, 19 768.9MiB allocated; 3.2s collecting garbage
Counts
4 705 → 23 452
Calls

1200 calls:

TimeVariablePointExpression
292.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 (* 1/4 (* f (PI))))) (log (sinh (* 1/4 (* f (PI)))))) (PI)) -4) (/ (- (log (cosh (* 1/4 (* f (PI))))) (log (sinh (* 1/4 (* f (PI)))))) (PI)) (- (log (cosh (* 1/4 (* f (PI))))) (log (sinh (* 1/4 (* f (PI)))))) (log (cosh (* 1/4 (* f (PI))))) (cosh (* 1/4 (* f (PI)))) (* 1/4 (* f (PI))) 1/4 (* f (PI)) f (PI) (log (sinh (* 1/4 (* f (PI))))) (sinh (* 1/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))) (/ 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)))))))) (* (/ 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) (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)) 2) (* (+ (* (/ (PI) (* (PI) 1/2)) 0) (* (+ (* (/ (* (PI) (PI)) (PI)) 1/8) (* -2 (/ (* (pow (PI) 3) 1/192) (pow (* (PI) 1/2) 2)))) f)) f)) f) (* (+ (* (PI) 1/12) (/ 4 (* (* f f) (PI)))) f) (+ (* (PI) 1/12) (/ 4 (* (* f f) (PI)))) 1/12 (/ 4 (* (* f f) (PI))) (* (* f f) (PI)) (* f f) (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 (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (log (/ (* 2 (cosh (* (* f (PI)) -1/4))) (* 2 (sinh (* (* f (PI)) 1/4))))) (PI)) -4) (/ (log (/ (* 2 (cosh (* (* f (PI)) -1/4))) (* 2 (sinh (* (* f (PI)) 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)) (log f) -1 (+ (* (* (/ 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)) (/ (log (/ 2 (* 1/2 (PI)))) (PI)) (log (/ 2 (* 1/2 (PI)))) (/ 2 (* 1/2 (PI))))
202.0ms
f
@-inf
((neg (* (/ 1 (/ (PI) 4)) (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4)))))))) (* -4 (/ (log (/ (cosh (* 1/4 (* f (PI)))) (sinh (* 1/4 (* f (PI)))))) (PI))) -4 (/ (log (/ (cosh (* 1/4 (* f (PI)))) (sinh (* 1/4 (* f (PI)))))) (PI)) (log (/ (cosh (* 1/4 (* f (PI)))) (sinh (* 1/4 (* f (PI)))))) (/ (cosh (* 1/4 (* f (PI)))) (sinh (* 1/4 (* f (PI))))) (cosh (* 1/4 (* f (PI)))) (* 1/4 (* f (PI))) 1/4 (* f (PI)) f (PI) (sinh (* 1/4 (* f (PI)))) (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)) 2) (* (+ (* (/ (PI) (* (PI) 1/2)) 0) (* (+ (* (/ (* (PI) (PI)) (PI)) 1/8) (* -2 (/ (* (pow (PI) 3) 1/192) (pow (* (PI) 1/2) 2)))) f)) f)) f) (* (* (PI) 1/12) f) (* (PI) 1/12) 1/12 (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 (* (* 1/2 (PI)) f))) (PI)) -4) (/ (- (log 2) (log (* (* 1/2 (PI)) f))) (PI)) (- (log 2) (log (* (* 1/2 (PI)) f))) (log 2) 2 (log (* (* 1/2 (PI)) f)) (* (* 1/2 (PI)) f) (* 1/2 (PI)) 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 (* (* f (PI)) -1/4))) (* 2 (sinh (* (* f (PI)) 1/4))))) (PI)) -4) (/ (log (/ (* 2 (cosh (* (* f (PI)) -1/4))) (* 2 (sinh (* (* f (PI)) 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)) (log f) -1 (+ (* (* (/ f (PI)) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* 1/2 (PI)))) -1) (/ (log (/ 2 (* 1/2 (PI)))) (PI))) (/ (log (/ 4 (PI))) (PI)) (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 (* (* f (PI)) -1/4))) (* 2 (sinh (log (pow (exp (PI)) (* 1/4 f))))))) (PI)) -4) (/ (log (/ (* 2 (cosh (* (* f (PI)) -1/4))) (* 2 (sinh (log (pow (exp (PI)) (* 1/4 f))))))) (PI)) (log (/ (* 2 (cosh (* (* f (PI)) -1/4))) (* 2 (sinh (log (pow (exp (PI)) (* 1/4 f))))))) (/ (* 2 (cosh (* (* f (PI)) -1/4))) (* 2 (sinh (log (pow (exp (PI)) (* 1/4 f)))))) (* 2 (cosh (* (* f (PI)) -1/4))) (cosh (* (* f (PI)) -1/4)) (* (* f (PI)) -1/4) -1/4 (* 2 (sinh (log (pow (exp (PI)) (* 1/4 f))))) (sinh (log (pow (exp (PI)) (* 1/4 f)))) (log (pow (exp (PI)) (* 1/4 f))) (pow (exp (PI)) (* 1/4 f)) (exp (PI)) (* 1/4 f))
190.0ms
v
@-inf
((/ (- (pow (/ (PI) 2) 3) (pow (asin (/ (+ (* (* -5 v) v) 1) (+ (* v v) -1))) 3)) (+ (* (/ (PI) 2) (asin (/ (+ (* (* v -5) v) 1) (+ (* v v) -1)))) (+ (* (PI) (/ (PI) 4)) (pow (/ (- (* (/ (PI) 4) (PI)) (* (acos (/ (+ (* (* v v) -5) 1) (+ (* v v) -1))) (acos (/ (+ (* (* v v) -5) 1) (+ (* v v) -1))))) (+ (/ (PI) 2) (acos (/ (+ (* (* v v) -5) 1) (+ (* v v) -1))))) 2)))) (- (pow (/ (PI) 2) 3) (pow (asin (/ (+ (* (* -5 v) v) 1) (+ (* v v) -1))) 3)) (pow (/ (PI) 2) 3) (/ (PI) 2) (PI) 2 3 (pow (asin (/ (+ (* (* -5 v) v) 1) (+ (* v v) -1))) 3) (asin (/ (+ (* (* -5 v) v) 1) (+ (* v v) -1))) (/ (+ (* (* -5 v) v) 1) (+ (* v v) -1)) (+ (* (* -5 v) v) 1) (* -5 v) -5 v 1 (+ (* v v) -1) -1 (+ (* (/ (PI) 2) (asin (/ (+ (* (* v -5) v) 1) (+ (* v v) -1)))) (+ (* (PI) (/ (PI) 4)) (pow (/ (- (* (/ (PI) 4) (PI)) (* (acos (/ (+ (* (* v v) -5) 1) (+ (* v v) -1))) (acos (/ (+ (* (* v v) -5) 1) (+ (* v v) -1))))) (+ (/ (PI) 2) (acos (/ (+ (* (* v v) -5) 1) (+ (* v v) -1))))) 2))) (asin (/ (+ (* (* v -5) v) 1) (+ (* v v) -1))) (/ (+ (* (* v -5) v) 1) (+ (* v v) -1)) (+ (* (* v -5) v) 1) (* v -5) (+ (* (PI) (/ (PI) 4)) (pow (/ (- (* (/ (PI) 4) (PI)) (* (acos (/ (+ (* (* v v) -5) 1) (+ (* v v) -1))) (acos (/ (+ (* (* v v) -5) 1) (+ (* v v) -1))))) (+ (/ (PI) 2) (acos (/ (+ (* (* v v) -5) 1) (+ (* v v) -1))))) 2)) (/ (PI) 4) 4 (pow (/ (- (* (/ (PI) 4) (PI)) (* (acos (/ (+ (* (* v v) -5) 1) (+ (* v v) -1))) (acos (/ (+ (* (* v v) -5) 1) (+ (* v v) -1))))) (+ (/ (PI) 2) (acos (/ (+ (* (* v v) -5) 1) (+ (* v v) -1))))) 2) (/ (- (* (/ (PI) 4) (PI)) (* (acos (/ (+ (* (* v v) -5) 1) (+ (* v v) -1))) (acos (/ (+ (* (* v v) -5) 1) (+ (* v v) -1))))) (+ (/ (PI) 2) (acos (/ (+ (* (* v v) -5) 1) (+ (* v v) -1))))) (- (* (/ (PI) 4) (PI)) (* (acos (/ (+ (* (* v v) -5) 1) (+ (* v v) -1))) (acos (/ (+ (* (* v v) -5) 1) (+ (* v v) -1))))) (* (/ (PI) 4) (PI)) (* (acos (/ (+ (* (* v v) -5) 1) (+ (* v v) -1))) (acos (/ (+ (* (* v v) -5) 1) (+ (* v v) -1)))) (acos (/ (+ (* (* v v) -5) 1) (+ (* v v) -1))) (/ (+ (* (* v v) -5) 1) (+ (* v v) -1)) (+ (* (* v v) -5) 1) (* v v) (+ (/ (PI) 2) (acos (/ (+ (* (* v v) -5) 1) (+ (* v v) -1)))) (- (* (sqrt (PI)) (/ (sqrt (PI)) 2)) (asin (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (* (sqrt (PI)) (/ (sqrt (PI)) 2)) (sqrt (PI)) (/ (sqrt (PI)) 2) (asin (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (+ (* (* 4 v) v) -1) (* 4 v) (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (/ (- (* (pow (PI) 3) 1/8) (pow (asin (/ (+ (* (* v -5) v) 1) (+ (* v v) -1))) 3)) (+ (* (* 1/4 (PI)) (PI)) (* (asin (/ (+ (* (* -5 v) v) 1) (+ (* v v) -1))) (+ (* 1/2 (PI)) (asin (/ (+ (* (* v -5) v) 1) (+ (* v v) -1))))))) (- (* (pow (PI) 3) 1/8) (pow (asin (/ (+ (* (* v -5) v) 1) (+ (* v v) -1))) 3)) (* (pow (PI) 3) 1/8) (pow (PI) 3) 1/8 (pow (asin (/ (+ (* (* v -5) v) 1) (+ (* v v) -1))) 3) (+ (* (* 1/4 (PI)) (PI)) (* (asin (/ (+ (* (* -5 v) v) 1) (+ (* v v) -1))) (+ (* 1/2 (PI)) (asin (/ (+ (* (* v -5) v) 1) (+ (* v v) -1)))))) (* 1/4 (PI)) 1/4 (* (asin (/ (+ (* (* -5 v) v) 1) (+ (* v v) -1))) (+ (* 1/2 (PI)) (asin (/ (+ (* (* v -5) v) 1) (+ (* v v) -1))))) (asin (/ (+ (* (* -5 v) v) 1) (+ (* v v) -1))) (/ (+ (* (* -5 v) v) 1) (+ (* v v) -1)) (+ (* 1/2 (PI)) (asin (/ (+ (* (* v -5) v) 1) (+ (* v v) -1)))) 1/2 (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (/ (- (* (pow (PI) 6) 1/64) (pow (asin (/ (+ (* (* v v) -5) 1) (+ (* v v) -1))) 6)) (* (+ (* 1/8 (pow (PI) 3)) (pow (asin (/ (+ (* (* v v) -5) 1) (+ (* v v) -1))) 3)) (+ (* (+ (* 1/2 (PI)) (asin (/ (+ (* (* v v) -5) 1) (+ (* v v) -1)))) (asin (/ (+ (* (* v v) -5) 1) (+ (* v v) -1)))) (* (* (PI) (PI)) 1/4)))) (- (* (pow (PI) 6) 1/64) (pow (asin (/ (+ (* (* v v) -5) 1) (+ (* v v) -1))) 6)) (* (pow (PI) 6) 1/64) (pow (PI) 6) 6 1/64 (pow (asin (/ (+ (* (* v v) -5) 1) (+ (* v v) -1))) 6) (asin (/ (+ (* (* v v) -5) 1) (+ (* v v) -1))) (* (+ (* 1/8 (pow (PI) 3)) (pow (asin (/ (+ (* (* v v) -5) 1) (+ (* v v) -1))) 3)) (+ (* (+ (* 1/2 (PI)) (asin (/ (+ (* (* v v) -5) 1) (+ (* v v) -1)))) (asin (/ (+ (* (* v v) -5) 1) (+ (* v v) -1)))) (* (* (PI) (PI)) 1/4))) (+ (* 1/8 (pow (PI) 3)) (pow (asin (/ (+ (* (* v v) -5) 1) (+ (* v v) -1))) 3)) (pow (asin (/ (+ (* (* v v) -5) 1) (+ (* v v) -1))) 3) (+ (* (+ (* 1/2 (PI)) (asin (/ (+ (* (* v v) -5) 1) (+ (* v v) -1)))) (asin (/ (+ (* (* v v) -5) 1) (+ (* v v) -1)))) (* (* (PI) (PI)) 1/4)) (+ (* 1/2 (PI)) (asin (/ (+ (* (* v v) -5) 1) (+ (* v v) -1)))) (* (* (PI) (PI)) 1/4) (* (PI) (PI)) (/ (- (/ (pow (/ (PI) 2) 6) (+ (pow (asin (/ (+ (* (* v -5) v) 1) (+ (* v v) -1))) 3) (pow (/ (PI) 2) 3))) (/ (pow (asin (/ (+ (* (* v -5) v) 1) (+ (* v v) -1))) 6) (+ (pow (asin (/ (+ (* (* v -5) v) 1) (+ (* v v) -1))) 3) (pow (/ (PI) 2) 3)))) (+ (* (/ (PI) 2) (/ (PI) 2)) (+ (* (asin (/ (+ (* (* -5 v) v) 1) (+ (* v v) -1))) (asin (/ (+ (* (* -5 v) v) 1) (+ (* v v) -1)))) (* (* (pow (cbrt (PI)) 2) (/ (cbrt (PI)) 2)) (asin (/ (+ (* (* -5 v) v) 1) (+ (* v v) -1))))))) (- (/ (pow (/ (PI) 2) 6) (+ (pow (asin (/ (+ (* (* v -5) v) 1) (+ (* v v) -1))) 3) (pow (/ (PI) 2) 3))) (/ (pow (asin (/ (+ (* (* v -5) v) 1) (+ (* v v) -1))) 6) (+ (pow (asin (/ (+ (* (* v -5) v) 1) (+ (* v v) -1))) 3) (pow (/ (PI) 2) 3)))) (/ (pow (/ (PI) 2) 6) (+ (pow (asin (/ (+ (* (* v -5) v) 1) (+ (* v v) -1))) 3) (pow (/ (PI) 2) 3))) (pow (/ (PI) 2) 6) (+ (pow (asin (/ (+ (* (* v -5) v) 1) (+ (* v v) -1))) 3) (pow (/ (PI) 2) 3)) (/ (pow (asin (/ (+ (* (* v -5) v) 1) (+ (* v v) -1))) 6) (+ (pow (asin (/ (+ (* (* v -5) v) 1) (+ (* v v) -1))) 3) (pow (/ (PI) 2) 3))) (pow (asin (/ (+ (* (* v -5) v) 1) (+ (* v v) -1))) 6) (+ (* (/ (PI) 2) (/ (PI) 2)) (+ (* (asin (/ (+ (* (* -5 v) v) 1) (+ (* v v) -1))) (asin (/ (+ (* (* -5 v) v) 1) (+ (* v v) -1)))) (* (* (pow (cbrt (PI)) 2) (/ (cbrt (PI)) 2)) (asin (/ (+ (* (* -5 v) v) 1) (+ (* v v) -1)))))) (+ (* (asin (/ (+ (* (* -5 v) v) 1) (+ (* v v) -1))) (asin (/ (+ (* (* -5 v) v) 1) (+ (* v v) -1)))) (* (* (pow (cbrt (PI)) 2) (/ (cbrt (PI)) 2)) (asin (/ (+ (* (* -5 v) v) 1) (+ (* v v) -1))))) (* (* (pow (cbrt (PI)) 2) (/ (cbrt (PI)) 2)) (asin (/ (+ (* (* -5 v) v) 1) (+ (* v v) -1)))) (* (pow (cbrt (PI)) 2) (/ (cbrt (PI)) 2)) (pow (cbrt (PI)) 2) (cbrt (PI)) (/ (cbrt (PI)) 2))
179.0ms
f
@inf
((neg (* (/ 1 (/ (PI) 4)) (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4)))))))) (* -4 (/ (log (/ (cosh (* 1/4 (* f (PI)))) (sinh (* 1/4 (* f (PI)))))) (PI))) -4 (/ (log (/ (cosh (* 1/4 (* f (PI)))) (sinh (* 1/4 (* f (PI)))))) (PI)) (log (/ (cosh (* 1/4 (* f (PI)))) (sinh (* 1/4 (* f (PI)))))) (/ (cosh (* 1/4 (* f (PI)))) (sinh (* 1/4 (* f (PI))))) (cosh (* 1/4 (* f (PI)))) (* 1/4 (* f (PI))) 1/4 (* f (PI)) f (PI) (sinh (* 1/4 (* f (PI)))) (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)) 2) (* (+ (* (/ (PI) (* (PI) 1/2)) 0) (* (+ (* (/ (* (PI) (PI)) (PI)) 1/8) (* -2 (/ (* (pow (PI) 3) 1/192) (pow (* (PI) 1/2) 2)))) f)) f)) f) (* (* (PI) 1/12) f) (* (PI) 1/12) 1/12 (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 (* (* 1/2 (PI)) f))) (PI)) -4) (/ (- (log 2) (log (* (* 1/2 (PI)) f))) (PI)) (- (log 2) (log (* (* 1/2 (PI)) f))) (log 2) 2 (log (* (* 1/2 (PI)) f)) (* (* 1/2 (PI)) f) (* 1/2 (PI)) 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 (* (* f (PI)) -1/4))) (* 2 (sinh (* (* f (PI)) 1/4))))) (PI)) -4) (/ (log (/ (* 2 (cosh (* (* f (PI)) -1/4))) (* 2 (sinh (* (* f (PI)) 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)) (log f) -1 (+ (* (* (/ f (PI)) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* 1/2 (PI)))) -1) (/ (log (/ 2 (* 1/2 (PI)))) (PI))) (/ (log (/ 4 (PI))) (PI)) (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 (* (* f (PI)) -1/4))) (* 2 (sinh (log (pow (exp (PI)) (* 1/4 f))))))) (PI)) -4) (/ (log (/ (* 2 (cosh (* (* f (PI)) -1/4))) (* 2 (sinh (log (pow (exp (PI)) (* 1/4 f))))))) (PI)) (log (/ (* 2 (cosh (* (* f (PI)) -1/4))) (* 2 (sinh (log (pow (exp (PI)) (* 1/4 f))))))) (/ (* 2 (cosh (* (* f (PI)) -1/4))) (* 2 (sinh (log (pow (exp (PI)) (* 1/4 f)))))) (* 2 (cosh (* (* f (PI)) -1/4))) (cosh (* (* f (PI)) -1/4)) (* (* f (PI)) -1/4) -1/4 (* 2 (sinh (log (pow (exp (PI)) (* 1/4 f))))) (sinh (log (pow (exp (PI)) (* 1/4 f)))) (log (pow (exp (PI)) (* 1/4 f))) (pow (exp (PI)) (* 1/4 f)) (exp (PI)) (* 1/4 f))
178.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 (* (* f (PI)) -1/4))) (* 2 (sinh (* (* f (PI)) 1/4))))) (PI)) -4) (/ (log (/ (* 2 (cosh (* (* f (PI)) -1/4))) (* 2 (sinh (* (* f (PI)) 1/4))))) (PI)) (log (/ (* 2 (cosh (* (* f (PI)) -1/4))) (* 2 (sinh (* (* f (PI)) 1/4))))) (/ (* 2 (cosh (* (* f (PI)) -1/4))) (* 2 (sinh (* (* f (PI)) 1/4)))) (* 2 (cosh (* (* f (PI)) -1/4))) 2 (cosh (* (* f (PI)) -1/4)) (* (* f (PI)) -1/4) (* f (PI)) f (PI) -1/4 (* 2 (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)))))))) (* (/ (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))))) (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))))) (/ (+ (* (/ 2 (PI)) 2) (* (+ (* (/ (PI) (* (PI) 1/2)) 0) (* (+ (* (/ (* (PI) (PI)) (PI)) 1/8) (* -2 (/ (* (pow (PI) 3) 1/192) (pow (* (PI) 1/2) 2)))) f)) f)) f) (+ (* (/ 2 (PI)) 2) (* (+ (* (/ (PI) (* (PI) 1/2)) 0) (* (+ (* (/ (* (PI) (PI)) (PI)) 1/8) (* -2 (/ (* (pow (PI) 3) 1/192) (pow (* (PI) 1/2) 2)))) f)) f)) (/ 2 (PI)) (* (+ (* (/ (PI) (* (PI) 1/2)) 0) (* (+ (* (/ (* (PI) (PI)) (PI)) 1/8) (* -2 (/ (* (pow (PI) 3) 1/192) (pow (* (PI) 1/2) 2)))) f)) f) (+ (* (/ (PI) (* (PI) 1/2)) 0) (* (+ (* (/ (* (PI) (PI)) (PI)) 1/8) (* -2 (/ (* (pow (PI) 3) 1/192) (pow (* (PI) 1/2) 2)))) f)) (/ (PI) (* (PI) 1/2)) 0 (* (+ (* (/ (* (PI) (PI)) (PI)) 1/8) (* -2 (/ (* (pow (PI) 3) 1/192) (pow (* (PI) 1/2) 2)))) f) (+ (* (/ (* (PI) (PI)) (PI)) 1/8) (* -2 (/ (* (pow (PI) 3) 1/192) (pow (* (PI) 1/2) 2)))) (/ (* (PI) (PI)) (PI)) (* (PI) (PI)) 1/8 (* -2 (/ (* (pow (PI) 3) 1/192) (pow (* (PI) 1/2) 2))) -2 (/ (* (pow (PI) 3) 1/192) (pow (* (PI) 1/2) 2)) (* (pow (PI) 3) 1/192) (pow (PI) 3) 3 1/192 (pow (* (PI) 1/2) 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))))

eval10.8s (5.2%)

Memory
-47.5MiB live, 16 889.0MiB allocated; 4.8s collecting garbage
Compiler

Compiled 3 501 718 to 281 257 computations (92% saved)

derivations10.2s (4.9%)

Memory
-7.6MiB live, 9 458.7MiB allocated; 2.6s collecting garbage
Stop Event
31×fuel
1×done
Compiler

Compiled 32 049 to 3 999 computations (87.5% saved)

preprocess9.9s (4.8%)

Memory
98.4MiB live, 11 529.4MiB allocated; 3.0s collecting garbage
Stop Event
64×iter limit
62×node limit
2×saturated
Compiler

Compiled 84 109 to 18 725 computations (77.7% saved)

analyze9.7s (4.7%)

Memory
132.3MiB live, 14 581.5MiB allocated; 3.6s 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)

explain9.4s (4.5%)

Memory
-108.1MiB live, 14 253.9MiB allocated; 2.4s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation4572
sqrt.f64#foflow-rescue4540
cos.f64#fsensitivity4091
+.f64#fnan-rescue2610
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*o2440
sqrt.f64#fuflow-rescue1550
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)))))))sensitivity1370
tan.f64(tan.f64 (*.f64 (PI.f64) l))sensitivity1320
pow.f64#foflow-rescue1280
*.f64#fu*o1200
-.f64#fnan-rescue1150
pow.f64(pow.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64)))sensitivity9619
/.f64#fo/o840
*.f64#fn*u680
+.f64#fcancellation650
/.f64#fo/n620
*.f64#fo*u600
pow.f64#fuflow-rescue560
/.f64#fu/u540
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))overflow52
/.f64#fn/o460
/.f64#fn/u230
/.f64#fu/n150
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))))))sensitivity50
exp.f64(exp.f64 (neg.f64 l))sensitivity11
Confusion
Predicted +Predicted -
+199947
-11425004
Precision
0.6364215218083413
Recall
0.97702834799609
Confusion?
Predicted +Predicted MaybePredicted -
+1999146
-1142214983
Precision?
0.6323110970597534
Recall?
0.9775171065493646
Freqs
test
numberfreq
05051
12769
2334
336
42
Total Confusion?
Predicted +Predicted MaybePredicted -
+2500
-007
Precision?
1.0
Recall?
1.0
Samples
2.1s13 190×0valid
732.0ms1 992×1valid
309.0ms772×2valid
196.0ms420×3valid
6.0ms10×5exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 2.3s
ival-mult: 568.0ms (24.4% of total)
ival-div: 321.0ms (13.8% of total)
adjust: 224.0ms (9.6% of total)
ival-sub: 178.0ms (7.7% of total)
ival-add: 174.0ms (7.5% of total)
ival-pow2: 135.0ms (5.8% of total)
ival-sqrt: 114.0ms (4.9% of total)
ival-sin: 109.0ms (4.7% of total)
ival-exp: 108.0ms (4.6% of total)
ival-pow: 81.0ms (3.5% of total)
ival-cos: 64.0ms (2.8% of total)
ival-tan: 48.0ms (2.1% of total)
ival-acos: 32.0ms (1.4% of total)
ival-hypot: 28.0ms (1.2% of total)
ival-neg: 26.0ms (1.1% of total)
exact: 19.0ms (0.8% of total)
ival-true: 16.0ms (0.7% of total)
ival-tanu: 15.0ms (0.6% of total)
ival-pi: 15.0ms (0.6% of total)
ival-log: 13.0ms (0.6% of total)
ival-asin: 9.0ms (0.4% of total)
ival-atan: 9.0ms (0.4% of total)
const: 8.0ms (0.3% of total)
ival-assert: 7.0ms (0.3% of total)
ival-fabs: 4.0ms (0.2% of total)

prune5.3s (2.6%)

Memory
-266.7MiB live, 9 594.8MiB allocated; 1.3s collecting garbage
Counts
62 588 → 2 631
Compiler

Compiled 264 853 to 127 172 computations (52% saved)

bsearch4.8s (2.3%)

Memory
68.5MiB live, 6 064.6MiB allocated; 1.6s collecting garbage
Algorithm
219×binary-search
181×left-value
Stop Event
200×narrow-enough
19×predicate-same
Samples
2.2s14 151×0valid
582.0ms1 975×0invalid
144.0ms556×1valid
65.0ms193×2valid
29.0ms76×3valid
11.0ms53×1invalid
2.0ms5×2invalid
Compiler

Compiled 129 821 to 91 712 computations (29.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.5s
ival-pow: 453.0ms (18.4% of total)
ival-mult: 437.0ms (17.8% of total)
ival-div: 329.0ms (13.4% of total)
ival-add: 262.0ms (10.6% of total)
ival-pow2: 186.0ms (7.6% of total)
ival-sin: 149.0ms (6.1% of total)
ival-sub: 111.0ms (4.5% of total)
ival-neg: 99.0ms (4% of total)
ival-tan: 99.0ms (4% of total)
adjust: 63.0ms (2.6% of total)
ival-hypot: 61.0ms (2.5% of total)
ival-exp: 55.0ms (2.2% of total)
ival-sqrt: 49.0ms (2% of total)
ival-cos: 27.0ms (1.1% of total)
const: 24.0ms (1% of total)
exact: 16.0ms (0.7% of total)
ival-true: 13.0ms (0.5% of total)
ival-tanu: 10.0ms (0.4% of total)
ival-assert: 7.0ms (0.3% of total)
ival-atan: 6.0ms (0.2% of total)
ival-fabs: 4.0ms (0.2% of total)
ival-pi: 1.0ms (0% of total)

simplify1.9s (0.9%)

Memory
-120.2MiB live, 2 193.8MiB allocated; 321ms collecting garbage
Stop Event
31×node limit
1×saturated

start2.0ms (0%)

Memory
3.9MiB live, 3.8MiB allocated; 0ms collecting garbage

end0.0ms (0%)

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

Profiling

Loading profile data...