Herbie run

Date:Saturday, March 29th, 2025
Commit:775c1039 on always-constant-fold
Seed:2025088
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:237 683.6 MB

Time bar (total: 2.9min)

sample1.1min (38.3%)

Memory
1 462.5MiB live, 91 375.7MiB allocated; 19.6s collecting garbage
Samples
26.4s224 732×0valid
6.9s64 794×0invalid
6.2s23 651×1valid
3.1s12 727×1invalid
2.6s9 443×2valid
2.2s6 351×3valid
787.0ms2 167×5exit
142.0ms604×2invalid
24.0ms227×0exit
7.0ms15×4valid
Precisions
Click to see histograms. Total time spent on operations: 35.1s
ival-mult!: 8.9s (25.3% of total)
ival-div!: 4.4s (12.5% of total)
ival-exp: 3.2s (9% of total)
ival-pow2: 2.8s (8.1% of total)
adjust: 2.2s (6.3% of total)
ival-pow: 2.2s (6.2% of total)
ival-sin: 2.1s (5.9% of total)
ival-sqrt: 2.1s (5.9% of total)
ival-sub!: 1.5s (4.3% of total)
ival-add!: 1.3s (3.8% of total)
ival-cos: 929.0ms (2.6% of total)
ival-tan: 863.0ms (2.5% of total)
ival-neg: 705.0ms (2% of total)
ival-acos: 620.0ms (1.8% of total)
ival-hypot: 421.0ms (1.2% of total)
ival-log: 385.0ms (1.1% of total)
ival-tanu: 209.0ms (0.6% of total)
ival-asin: 189.0ms (0.5% of total)
ival-atan: 77.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)
ival-assert: 0.0ms (0% of total)
Bogosity

rewrite26.0s (14.8%)

Memory
4.8MiB live, 31 318.0MiB allocated; 6.8s collecting garbage
Stop Event
296×iter-limit
121×node-limit
6×unsound
Counts
28 796 → 45 965

regimes13.8s (7.9%)

Memory
27.7MiB live, 20 695.7MiB allocated; 4.2s collecting garbage
Counts
8 010 → 688
Calls

156 calls:

866.0ms
l
815.0ms
B
567.0ms
M
524.0ms
t
423.0ms
k
Compiler

Compiled 11 771 to 12 237 computations (-4% saved)

preprocess11.5s (6.6%)

Memory
601.6MiB live, 14 836.6MiB allocated; 2.3s collecting garbage
Stop Event
64×iter-limit
62×node-limit
2×saturated
Compiler

Compiled 200 569 to 70 573 computations (64.8% saved)

series11.2s (6.4%)

Memory
230.8MiB live, 17 522.7MiB allocated; 2.1s collecting garbage
Counts
4 487 → 24 309
Calls

1197 calls:

TimeVariablePointExpression
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 (* (cosh (* (* f (PI)) 1/4)) 2)) (PI)) (/ (log (* (sinh (* (* f (PI)) 1/4)) 2)) (PI))) -4) (- (/ (log (* (cosh (* (* f (PI)) 1/4)) 2)) (PI)) (/ (log (* (sinh (* (* f (PI)) 1/4)) 2)) (PI))) (/ (log (* (cosh (* (* f (PI)) 1/4)) 2)) (PI)) (log (* (cosh (* (* 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 (/ (log (* (sinh (* (* f (PI)) 1/4)) 2)) (PI)) (log (* (sinh (* (* f (PI)) 1/4)) 2)) (* (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 (/ (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))) (/ (/ 4 (PI)) f) (/ 4 (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 (/ 4 (PI))) (log f)) (PI)) -4) (/ (- (log (/ 4 (PI))) (log f)) (PI)) (- (log (/ 4 (PI))) (log f)) (log (/ 4 (PI))) (log 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 (/ 4 (PI))) (PI)) (/ (log f) (neg (PI)))) -4) (+ (/ (log (/ 4 (PI))) (PI)) (/ (log f) (neg (PI)))) (/ (log (/ 4 (PI))) (PI)) (/ (log f) (neg (PI))) (neg (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 f)) (PI)) (/ (log (* 1/2 (PI))) (PI))) -4) (- (/ (log (/ 2 f)) (PI)) (/ (log (* 1/2 (PI))) (PI))) (/ (log (/ 2 f)) (PI)) (log (/ 2 f)) (/ 2 f) (/ (log (* 1/2 (PI))) (PI)) (log (* 1/2 (PI))) (* 1/2 (PI)) 1/2)
148.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))))) (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))))) (/ (+ (* (* (/ (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))))
108.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))))) (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))))) (/ (+ (* (* (/ (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))))
101.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) (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) (PI)) (/ (log (* (* 1/2 (PI)) f)) (PI))) -4) (- (/ (log 2) (PI)) (/ (log (* (* 1/2 (PI)) f)) (PI))) (/ (log 2) (PI)) (/ (log (* (* 1/2 (PI)) 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)))))))) (* (/ (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)) (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))))
89.0ms
U
@-inf
((sqrt (* (* n 2) (* U (- (+ (* -2 (* l (/ l Om))) t) (* (- U U*) (* (pow (/ l Om) 2) n)))))) (* (* n 2) (* U (- (+ (* -2 (* l (/ l Om))) t) (* (- U U*) (* (pow (/ l Om) 2) n))))) (* n 2) n 2 (* U (- (+ (* -2 (* l (/ l Om))) t) (* (- U U*) (* (pow (/ l Om) 2) n)))) U (- (+ (* -2 (* l (/ l Om))) t) (* (- U U*) (* (pow (/ l Om) 2) n))) (+ (* -2 (* l (/ l Om))) t) -2 (* l (/ l Om)) l (/ l Om) Om t (* (- U U*) (* (pow (/ l Om) 2) n)) (- U U*) U* (* (pow (/ l Om) 2) n) (pow (/ l Om) 2) (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))) (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))) (* (* (* t n) U) 2) (* (* t n) U) (* t n) (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))) (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))) (* (* 2 n) U) (* 2 n) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))) (neg (* (+ (* n (/ (- U U*) (* Om Om))) (/ 2 Om)) (* l l))) (* (+ (* n (/ (- U U*) (* Om Om))) (/ 2 Om)) (* l l)) (+ (* n (/ (- U U*) (* Om Om))) (/ 2 Om)) (/ (- U U*) (* Om Om)) (* Om Om) (/ 2 Om) (* l l) (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))) (+ (* (* (* (* l l) (/ (sqrt 2) Om)) (sqrt (/ (* U n) t))) -1) (sqrt (* (* (* t n) U) 2))) (* (* (* l l) (/ (sqrt 2) Om)) (sqrt (/ (* U n) t))) (* (* l l) (/ (sqrt 2) Om)) (/ (sqrt 2) Om) (sqrt 2) (sqrt (/ (* U n) t)) (/ (* U n) t) (* U n) -1 (sqrt (* (* (* t n) U) 2)) (* (sqrt (* (* U n) 2)) (sqrt (- (+ (* -2 (* l (/ l Om))) t) (* (- U U*) (* (pow (/ l Om) 2) n))))) (sqrt (* (* U n) 2)) (* (* U n) 2) (sqrt (- (+ (* -2 (* l (/ l Om))) t) (* (- U U*) (* (pow (/ l Om) 2) n)))))

derivations10.5s (6%)

Memory
-144.4MiB live, 10 026.7MiB allocated; 2.8s collecting garbage
Stop Event
30×fuel
2×done
Compiler

Compiled 29 780 to 3 814 computations (87.2% saved)

analyze9.7s (5.5%)

Memory
-144.3MiB live, 10 364.2MiB allocated; 5.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)

eval8.2s (4.7%)

Memory
116.8MiB live, 13 774.0MiB allocated; 2.0s collecting garbage
Compiler

Compiled 2 882 627 to 254 831 computations (91.2% saved)

explain8.1s (4.6%)

Memory
-164.1MiB live, 12 808.6MiB allocated; 1.5s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue4780
-.f64#fcancellation4692
cos.f64#fsensitivity4140
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))))sensitivity2520
+.f64#fnan-rescue2430
*.f64#fn*o2400
sqrt.f64#fuflow-rescue1660
pow.f64#foflow-rescue1510
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)))))))sensitivity1361
tan.f64(tan.f64 (*.f64 (PI.f64) l))sensitivity1180
-.f64#fnan-rescue1140
*.f64#fu*o1090
pow.f64(pow.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64)))sensitivity9826
/.f64#fo/o790
*.f64#fn*u590
/.f64#fu/u580
+.f64#fcancellation580
*.f64#fo*u580
pow.f64#fuflow-rescue500
/.f64#fo/n490
/.f64#fn/o460
cos.f64(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))oflow-rescue440
↳(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))overflow44
↳(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)overflow44
↳(*.f64 K (+.f64 m n))overflow44
/.f64#fn/u250
/.f64#fu/n150
exp.f64#fsensitivity21
Confusion
Predicted +Predicted -
+196631
-11545041
Precision
0.6301282051282051
Recall
0.9844767150726089
Confusion?
Predicted +Predicted MaybePredicted -
+1966031
-1154305011
Precision?
0.6241269841269841
Recall?
0.9844767150726089
Freqs
test
numberfreq
05072
12754
2326
335
45
Total Confusion?
Predicted +Predicted MaybePredicted -
+2600
-006
Precision?
1.0
Recall?
1.0
Samples
1.6s13 306×0valid
504.0ms1 976×1valid
263.0ms714×2valid
135.0ms376×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.6s
ival-mult!: 360.0ms (22.6% of total)
ival-div!: 188.0ms (11.8% of total)
ival-pow2: 146.0ms (9.2% of total)
adjust: 116.0ms (7.3% of total)
ival-sin: 107.0ms (6.7% of total)
ival-exp: 104.0ms (6.5% of total)
ival-sqrt: 88.0ms (5.5% of total)
ival-pow: 82.0ms (5.2% of total)
ival-sub!: 78.0ms (4.9% of total)
ival-add!: 78.0ms (4.9% of total)
ival-cos: 61.0ms (3.8% of total)
ival-tan: 46.0ms (2.9% of total)
ival-hypot: 41.0ms (2.6% of total)
ival-neg: 27.0ms (1.7% of total)
ival-acos: 27.0ms (1.7% of total)
ival-tanu: 13.0ms (0.8% of total)
ival-asin: 9.0ms (0.6% of total)
ival-log: 8.0ms (0.5% of total)
ival-fabs: 5.0ms (0.3% of total)
ival-atan: 5.0ms (0.3% of total)
ival-pi: 0.0ms (0% of total)
const: 0.0ms (0% of total)

prune5.1s (2.9%)

Memory
-252.9MiB live, 8 676.4MiB allocated; 2.2s collecting garbage
Counts
56 287 → 2 607
Compiler

Compiled 243 652 to 123 632 computations (49.3% saved)

bsearch4.0s (2.3%)

Memory
16.4MiB live, 6 281.1MiB allocated; 729ms collecting garbage
Algorithm
225×binary-search
148×left-value
Stop Event
213×narrow-enough
12×predicate-same
Samples
1.8s15 037×0valid
351.0ms2 683×0invalid
179.0ms999×1valid
77.0ms259×2valid
36.0ms105×3valid
11.0ms69×1invalid
0.0ms1×2invalid
Compiler

Compiled 132 373 to 95 422 computations (27.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7s
ival-mult!: 401.0ms (23.3% of total)
ival-div!: 333.0ms (19.3% of total)
ival-pow: 161.0ms (9.3% of total)
ival-pow2: 118.0ms (6.9% of total)
ival-sub!: 118.0ms (6.9% of total)
ival-tan: 109.0ms (6.3% of total)
ival-sin: 106.0ms (6.2% of total)
ival-add!: 93.0ms (5.4% of total)
ival-exp: 61.0ms (3.5% of total)
adjust: 56.0ms (3.3% of total)
ival-sqrt: 56.0ms (3.3% of total)
ival-neg: 49.0ms (2.8% of total)
ival-hypot: 23.0ms (1.3% of total)
ival-cos: 19.0ms (1.1% of total)
ival-tanu: 11.0ms (0.6% of total)
ival-atan: 4.0ms (0.2% of total)
ival-fabs: 3.0ms (0.2% of total)

start1.0ms (0%)

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

end0.0ms (0%)

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

Profiling

Loading profile data...