Herbie run

Date:Wednesday, January 15th, 2025
Commit:d270acbc on main
Seed:2025015
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default
Memory:343 644.8 MB

Time bar (total: 4.8min)

sample1.5min (31.5%)

Memory
1 074.1MiB live, 107 837.0MiB allocated; 34.1s collecting garbage
Samples
35.2s224 276×0valid
10.4s65 638×0invalid
9.2s23 889×1valid
4.3s13 598×1invalid
3.7s9 612×2valid
3.1s6 402×3valid
1.2s1 619×2invalid
27.0ms230×0exit
13.0ms13×4valid
Precisions
Click to see histograms. Total time spent on operations: 49.9s
ival-mult: 12.8s (25.8% of total)
ival-div: 7.7s (15.5% of total)
adjust: 4.0s (8% of total)
ival-sub: 3.8s (7.6% of total)
ival-pow2: 2.7s (5.4% of total)
ival-exp: 2.5s (5% of total)
ival-add: 2.5s (5% of total)
ival-sqrt: 2.4s (4.9% of total)
ival-sin: 2.3s (4.6% of total)
ival-pow: 2.0s (4% of total)
ival-pi: 1.2s (2.4% of total)
ival-cos: 925.0ms (1.9% of total)
ival-tan: 903.0ms (1.8% of total)
ival-acos: 660.0ms (1.3% of total)
ival-neg: 590.0ms (1.2% of total)
const: 475.0ms (1% of total)
ival-log: 404.0ms (0.8% of total)
ival-hypot: 390.0ms (0.8% of total)
exact: 350.0ms (0.7% of total)
ival-true: 250.0ms (0.5% of total)
ival-asin: 225.0ms (0.5% of total)
ival-fabs: 187.0ms (0.4% of total)
ival-tanu: 176.0ms (0.4% of total)
ival-assert: 137.0ms (0.3% of total)
ival-<: 108.0ms (0.2% of total)
ival-atan: 95.0ms (0.2% of total)
ival-and: 12.0ms (0% of total)
Bogosity

simplify50.8s (17.6%)

Memory
912.9MiB live, 55 916.6MiB allocated; 12.1s collecting garbage
Stop Event
391×iter limit
280×node limit
3×saturated
3×unsound
Counts
14 339 → 14 280

localize33.1s (11.5%)

Memory
-167.4MiB live, 39 186.8MiB allocated; 9.3s collecting garbage
Samples
9.6s22 055×0valid
7.2s4 974×1valid
5.4s2 210×2valid
3.2s909×3valid
932.0ms2 100×0invalid
144.0ms31×4valid
130.0ms210×0exit
17.0ms18×1exit
6.0ms5×5exit
Compiler

Compiled 52 130 to 5 663 computations (89.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 20.6s
ival-mult: 5.5s (26.5% of total)
ival-div: 2.4s (11.9% of total)
adjust: 2.3s (11.1% of total)
ival-pow: 2.1s (10.1% of total)
ival-add: 1.6s (7.9% of total)
ival-tan: 1.4s (6.9% of total)
ival-sub: 730.0ms (3.5% of total)
ival-sqrt: 659.0ms (3.2% of total)
ival-sin: 652.0ms (3.2% of total)
ival-cos: 599.0ms (2.9% of total)
ival-pow2: 431.0ms (2.1% of total)
ival-exp: 430.0ms (2.1% of total)
ival-asin: 260.0ms (1.3% of total)
const: 260.0ms (1.3% of total)
ival-neg: 254.0ms (1.2% of total)
ival-acos: 233.0ms (1.1% of total)
ival-log: 230.0ms (1.1% of total)
ival-hypot: 173.0ms (0.8% of total)
ival-cosh: 74.0ms (0.4% of total)
exact: 68.0ms (0.3% of total)
ival-sinh: 62.0ms (0.3% of total)
ival-pi: 56.0ms (0.3% of total)
ival-atan: 35.0ms (0.2% of total)
ival-true: 27.0ms (0.1% of total)
ival-tanu: 25.0ms (0.1% of total)
ival-fabs: 16.0ms (0.1% of total)
ival-assert: 13.0ms (0.1% of total)
ival-cosu: 6.0ms (0% of total)
ival-asinh: 4.0ms (0% of total)

regimes18.7s (6.5%)

Memory
102.6MiB live, 26 163.2MiB allocated; 4.6s collecting garbage
Counts
12 027 → 934
Calls

156 calls:

948.0ms
l
935.0ms
t
607.0ms
k
594.0ms
ky
478.0ms
x
Compiler

Compiled 14 178 to 14 048 computations (0.9% saved)

derivations15.6s (5.4%)

Memory
-131.5MiB live, 12 790.9MiB allocated; 3.1s collecting garbage
Stop Event
30×fuel
2×done
Compiler

Compiled 42 132 to 4 812 computations (88.6% saved)

rewrite14.4s (5%)

Memory
97.1MiB live, 16 387.8MiB allocated; 3.2s collecting garbage
Stop Event
395×iter limit
108×node limit
19×unsound
Counts
2 544 → 40 004

series11.4s (4%)

Memory
144.2MiB live, 14 783.3MiB allocated; 2.7s collecting garbage
Counts
2 544 → 14 339
Calls

1197 calls:

TimeVariablePointExpression
372.0ms
f
@-inf
((/ 1 (/ (PI) 4)) (neg (* (/ 1 (/ (PI) 4)) (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4)))))) (* (/ 1 (/ (PI) 4)) (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4))))) (/ (PI) 4) (* 1 (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (neg (/ (* 1 (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ (PI) 4))) (/ (* 1 (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (neg (* 4 (log (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (PI) -1))))) (* 4 (log (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (PI) -1)))) (log (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (PI) -1))) (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (PI) -1)) (- (/ (log (* (cosh (* (/ (PI) -4) f)) 2)) (/ (PI) -4)) (/ (log (* -2 (sinh (* (/ (PI) -4) f)))) (/ (PI) -4))) (/ (log (* (cosh (* (/ (PI) -4) f)) 2)) (/ (PI) -4)) (log (* (cosh (* (/ (PI) -4) f)) 2)) (* (cosh (* (/ (PI) -4) f)) 2) (/ (/ -4 (PI)) -2) (/ -4 (* (PI) -2)) (+ (* (/ (/ -4 (PI)) -2) (log (/ (cosh (* f (/ (PI) -4))) (sinh (* f (/ (PI) 4)))))) (log (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (/ -4 (* (PI) -2))))) (neg (+ (* (/ (/ -4 (PI)) -2) (log (/ (cosh (* f (/ (PI) -4))) (sinh (* f (/ (PI) 4)))))) (log (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (/ -4 (* (PI) -2)))))) (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (PI) (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4)))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ (/ 4 (PI)) f) (log (* -2 (sinh (* (/ (PI) -4) f)))) (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (/ -4 (* (PI) -2))) (/ (cosh (* f (/ (PI) -4))) (sinh (* f (/ (PI) 4)))) (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))))
249.0ms
f
@-inf
((/ 1 (/ (PI) 4)) (neg (* (/ 1 (/ (PI) 4)) (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4)))))) (* (/ 1 (/ (PI) 4)) (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4))))) (/ (PI) 4) (/ 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)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (* (/ (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (sqrt (PI))) (/ 1 (/ (sqrt (PI)) 4))) (/ 1 (/ (sqrt (PI)) 4)) (neg (* (/ (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (sqrt (PI))) (/ 1 (/ (sqrt (PI)) 4)))) (/ (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (sqrt (PI))) (neg (* 4 (log (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (PI) -1))))) (* 4 (log (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (PI) -1)))) (log (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (PI) -1))) (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (PI) -1)) (+ (log (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (/ (/ -4 (PI)) -2))) (log (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (/ (/ -4 (PI)) -2)))) (/ (/ -4 (PI)) -2) (neg (+ (log (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (/ (/ -4 (PI)) -2))) (log (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (/ (/ -4 (PI)) -2))))) (log (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (/ (/ -4 (PI)) -2))) (PI) (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4)))) (/ (+ (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)))))) (sqrt (PI)) (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (/ (/ -4 (PI)) -2)))
243.0ms
f
@inf
((/ 1 (/ (PI) 4)) (neg (* (/ 1 (/ (PI) 4)) (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4)))))) (* (/ 1 (/ (PI) 4)) (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4))))) (/ (PI) 4) (/ 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)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (* (/ (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (sqrt (PI))) (/ 1 (/ (sqrt (PI)) 4))) (/ 1 (/ (sqrt (PI)) 4)) (neg (* (/ (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (sqrt (PI))) (/ 1 (/ (sqrt (PI)) 4)))) (/ (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (sqrt (PI))) (neg (* 4 (log (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (PI) -1))))) (* 4 (log (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (PI) -1)))) (log (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (PI) -1))) (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (PI) -1)) (+ (log (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (/ (/ -4 (PI)) -2))) (log (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (/ (/ -4 (PI)) -2)))) (/ (/ -4 (PI)) -2) (neg (+ (log (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (/ (/ -4 (PI)) -2))) (log (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (/ (/ -4 (PI)) -2))))) (log (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (/ (/ -4 (PI)) -2))) (PI) (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4)))) (/ (+ (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)))))) (sqrt (PI)) (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (/ (/ -4 (PI)) -2)))
118.0ms
f
@inf
((/ 1 (/ (PI) 4)) (neg (* (/ 1 (/ (PI) 4)) (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4)))))) (* (/ 1 (/ (PI) 4)) (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4))))) (/ (PI) 4) (* 1 (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (neg (/ (* 1 (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ (PI) 4))) (/ (* 1 (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (neg (* 4 (log (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (PI) -1))))) (* 4 (log (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (PI) -1)))) (log (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (PI) -1))) (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (PI) -1)) (- (/ (log (* (cosh (* (/ (PI) -4) f)) 2)) (/ (PI) -4)) (/ (log (* -2 (sinh (* (/ (PI) -4) f)))) (/ (PI) -4))) (/ (log (* (cosh (* (/ (PI) -4) f)) 2)) (/ (PI) -4)) (log (* (cosh (* (/ (PI) -4) f)) 2)) (* (cosh (* (/ (PI) -4) f)) 2) (/ (/ -4 (PI)) -2) (/ -4 (* (PI) -2)) (+ (* (/ (/ -4 (PI)) -2) (log (/ (cosh (* f (/ (PI) -4))) (sinh (* f (/ (PI) 4)))))) (log (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (/ -4 (* (PI) -2))))) (neg (+ (* (/ (/ -4 (PI)) -2) (log (/ (cosh (* f (/ (PI) -4))) (sinh (* f (/ (PI) 4)))))) (log (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (/ -4 (* (PI) -2)))))) (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (PI) (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4)))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ (/ 4 (PI)) f) (log (* -2 (sinh (* (/ (PI) -4) f)))) (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (/ -4 (* (PI) -2))) (/ (cosh (* f (/ (PI) -4))) (sinh (* f (/ (PI) 4)))) (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))))
114.0ms
ky
@0
((sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (- 1/2 (* 1/2 (cos (* 2 ky)))))))))))) (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (- 1/2 (* 1/2 (cos (* 2 ky))))))))))) (- (/ 1/2 (sqrt (- (pow (* (sin ky) (* (/ l Om) 2)) 2) -1))) -1/2) (/ 1/2 (sqrt (- (pow (* (sin ky) (* (/ l Om) 2)) 2) -1))) (+ (* (/ -1 Om) (* (* ky ky) (/ (* l l) Om))) 1) (sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (- 1/2 (* 1/2 (cos (* 2 ky)))))))))))) (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (- 1/2 (* 1/2 (cos (* 2 ky))))))))))) (* (+ (sqrt (/ 1 (+ (* (/ 4 Om) (/ (* (- 1/2 (* (cos (* 2 ky)) 1/2)) (* l l)) Om)) 1))) 1) 1/2) (sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))))) (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))))))) (+ (* (sqrt (/ 1 (+ (* (* (/ (pow (sin kx) 2) Om) (/ (* l l) Om)) 4) 1))) 1/2) 1/2) (+ (* (/ Om (* (sin kx) l)) -1/4) 1/2) (sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))))) (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))))))) (+ (* (sqrt (/ 1 (+ (* (* (/ (pow (sin ky) 2) Om) (/ (* l l) Om)) 4) 1))) 1/2) 1/2) (+ (* (/ Om (* (sin ky) l)) 1/4) 1/2) (sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))))) (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))))))) (- (/ 1/2 (sqrt (+ (* 4 (/ (pow (* (sin kx) l) 2) (* Om Om))) 1))) -1/2) (/ 1/2 (sqrt (+ (* 4 (/ (pow (* (sin kx) l) 2) (* Om Om))) 1))) (sqrt (- (pow (* (sin ky) (* (/ l Om) 2)) 2) -1)) (* (sin ky) (* (/ l Om) 2)) (* (* ky ky) (/ (* l l) Om)) (/ (* l l) Om) (/ Om (* (sin kx) l)) (* (sin kx) l) (/ Om (* (sin ky) l)) (* (sin ky) l) (/ (pow (* (sin kx) l) 2) (* Om Om)) (sqrt (+ (* 4 (/ (pow (* (sin kx) l) 2) (* Om Om))) 1)) (pow (* (sin kx) l) 2))

preprocess11.0s (3.8%)

Memory
266.5MiB live, 11 650.1MiB allocated; 3.1s collecting garbage
Stop Event
64×iter limit
62×node limit
2×saturated
Compiler

Compiled 101 475 to 18 661 computations (81.6% saved)

analyze10.3s (3.6%)

Memory
-194.6MiB live, 13 720.1MiB allocated; 4.4s 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.2s (3.5%)

Memory
225.3MiB live, 15 103.8MiB allocated; 2.5s collecting garbage
Compiler

Compiled 3 086 881 to 270 733 computations (91.2% saved)

explain9.6s (3.3%)

Memory
-153.9MiB live, 13 454.7MiB allocated; 2.4s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation4700
sqrt.f64#foflow-rescue4670
cos.f64#fsensitivity4230
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))))sensitivity2560
*.f64#fn*o2470
+.f64#fnan-rescue2390
sqrt.f64#fuflow-rescue1500
tan.f64(tan.f64 (*.f64 (PI.f64) l))sensitivity1440
pow.f64#foflow-rescue1330
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
*.f64#fu*o1070
-.f64#fnan-rescue1070
pow.f64(pow.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64)))sensitivity10613
/.f64#fo/o760
*.f64#fo*u630
/.f64#fo/n570
pow.f64#fuflow-rescue540
+.f64#fcancellation540
cos.f64(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))oflow-rescue520
↳(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))overflow52
↳(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)overflow52
↳(*.f64 K (+.f64 m n))overflow52
*.f64#fn*u500
/.f64#fu/u390
/.f64#fn/u330
/.f64#fn/o320
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))))))sensitivity160
/.f64#fu/n140
exp.f64#fsensitivity46
Confusion
Predicted +Predicted -
+192533
-11705064
Precision
0.6219709208400647
Recall
0.9831460674157303
Confusion?
Predicted +Predicted MaybePredicted -
+1925132
-1170125052
Precision?
0.6196911196911197
Recall?
0.9836567926455567
Freqs
test
numberfreq
05097
12717
2333
339
46
Total Confusion?
Predicted +Predicted MaybePredicted -
+2500
-007
Precision?
1.0
Recall?
1.0
Samples
2.2s13 274×0valid
812.0ms1 978×1valid
379.0ms738×2valid
321.0ms390×3valid
1.0ms2×5exit
1.0ms2×4valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 2.5s
ival-mult: 586.0ms (23% of total)
ival-div: 324.0ms (12.7% of total)
ival-sub: 314.0ms (12.3% of total)
ival-add: 233.0ms (9.2% of total)
adjust: 182.0ms (7.2% of total)
ival-exp: 135.0ms (5.3% of total)
ival-sin: 109.0ms (4.3% of total)
ival-sqrt: 105.0ms (4.1% of total)
ival-pow2: 105.0ms (4.1% of total)
ival-tan: 84.0ms (3.3% of total)
ival-cos: 71.0ms (2.8% of total)
ival-pow: 70.0ms (2.8% of total)
ival-neg: 54.0ms (2.1% of total)
ival-acos: 38.0ms (1.5% of total)
ival-hypot: 23.0ms (0.9% of total)
ival-log: 18.0ms (0.7% of total)
exact: 18.0ms (0.7% of total)
ival-true: 15.0ms (0.6% of total)
ival-asin: 13.0ms (0.5% of total)
ival-pi: 12.0ms (0.5% of total)
ival-tanu: 11.0ms (0.4% of total)
const: 7.0ms (0.3% of total)
ival-assert: 7.0ms (0.3% of total)
ival-atan: 5.0ms (0.2% of total)
ival-fabs: 4.0ms (0.2% of total)

prune6.4s (2.2%)

Memory
-348.5MiB live, 9 263.9MiB allocated; 2.4s collecting garbage
Counts
58 384 → 3 032
Compiler

Compiled 293 090 to 143 383 computations (51.1% saved)

bsearch6.1s (2.1%)

Memory
41.9MiB live, 7 381.7MiB allocated; 2.3s collecting garbage
Algorithm
263×binary-search
263×left-value
Stop Event
241×narrow-enough
22×predicate-same
Samples
2.7s15 328×0valid
589.0ms761×1valid
494.0ms3 117×0invalid
65.0ms185×2valid
48.0ms92×3valid
32.0ms112×1invalid
3.0ms8×2invalid
1.0ms2×4valid
Compiler

Compiled 162 942 to 113 643 computations (30.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.1s
ival-mult: 994.0ms (31.9% of total)
ival-div: 729.0ms (23.4% of total)
ival-add: 259.0ms (8.3% of total)
ival-pow: 195.0ms (6.3% of total)
ival-tan: 145.0ms (4.7% of total)
ival-sin: 144.0ms (4.6% of total)
ival-sub: 143.0ms (4.6% of total)
ival-pow2: 140.0ms (4.5% of total)
adjust: 79.0ms (2.5% of total)
ival-neg: 57.0ms (1.8% of total)
ival-sqrt: 51.0ms (1.6% of total)
ival-exp: 43.0ms (1.4% of total)
const: 40.0ms (1.3% of total)
exact: 19.0ms (0.6% of total)
ival-cos: 16.0ms (0.5% of total)
ival-true: 14.0ms (0.4% of total)
ival-hypot: 10.0ms (0.3% of total)
ival-tanu: 9.0ms (0.3% of total)
ival-assert: 7.0ms (0.2% of total)
ival-log: 7.0ms (0.2% of total)
ival-fabs: 5.0ms (0.2% of total)
ival-atan: 4.0ms (0.1% of total)
ival-asin: 1.0ms (0% of total)
ival-pi: 1.0ms (0% of total)

start2.0ms (0%)

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

end0.0ms (0%)

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

Profiling

Loading profile data...