Herbie run

Date:Saturday, May 10th, 2025
Commit:363acd86 on unsound-last
Seed:2025130
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:254 761.4 MB

Time bar (total: 5.7min)

sample1.6min (27.8%)

Memory
1 333.3MiB live, 79 068.3MiB allocated; 21.9s collecting garbage
Samples
37.0s224 580×0valid
10.0s65 986×0invalid
8.8s23 452×1valid
6.5s14 682×1invalid
6.1s9 744×2valid
3.5s6 402×3valid
261.0ms612×2invalid
74.0ms245×0exit
5.0ms14×4valid
0.0ms1×5exit
Precisions
Click to see histograms. Total time spent on operations: 50.6s
ival-mult!: 13.3s (26.4% of total)
ival-div!: 6.6s (13.1% of total)
ival-sin: 3.9s (7.6% of total)
adjust: 3.7s (7.3% of total)
ival-pow2: 3.2s (6.3% of total)
ival-exp: 3.1s (6.1% of total)
ival-sqrt: 2.6s (5.2% of total)
ival-pow: 2.5s (4.9% of total)
ival-add!: 2.2s (4.4% of total)
ival-cos: 1.9s (3.8% of total)
ival-sub!: 1.9s (3.7% of total)
ival-acos: 1.3s (2.5% of total)
ival-neg: 997.0ms (2% of total)
ival-tan: 934.0ms (1.8% of total)
ival-hypot: 725.0ms (1.4% of total)
ival-tanu: 672.0ms (1.3% of total)
ival-log: 613.0ms (1.2% of total)
ival-asin: 205.0ms (0.4% of total)
ival-atan: 201.0ms (0.4% of total)
ival-fabs: 41.0ms (0.1% of total)
ival-<: 1.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

rewrite1.5min (25.9%)

Memory
915.8MiB live, 59 866.0MiB allocated; 20.9s collecting garbage
Stop Event
446×iter-limit
107×node-limit
19×unsound
Counts
26 739 → 93 639

derivations48.2s (14.1%)

Memory
-293.4MiB live, 15 916.2MiB allocated; 6.3s collecting garbage
Stop Event
29×fuel
3×done
Compiler

Compiled 7 130 to 4 078 computations (42.8% saved)

regimes26.2s (7.7%)

Memory
424.7MiB live, 24 475.5MiB allocated; 4.4s collecting garbage
Counts
11 819 → 819
Calls

156 calls:

1.4s
l
1.1s
k
724.0ms
F
705.0ms
ky
654.0ms
(pow.f64 (sin.f64 kx) #s(literal 2 binary64))
Compiler

Compiled 10 928 to 12 914 computations (-18.2% saved)

eval22.6s (6.6%)

Memory
-160.6MiB live, 20 552.6MiB allocated; 5.6s collecting garbage
Compiler

Compiled 1 478 001 to 414 585 computations (71.9% saved)

series19.8s (5.8%)

Memory
205.4MiB live, 17 061.0MiB allocated; 5.7s collecting garbage
Counts
4 259 → 22 480
Calls

1191 calls:

TimeVariablePointExpression
1.4s
h
@inf
((* (/ c0 (* 2 w)) (+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))) (/ c0 (* 2 w)) c0 (* 2 w) 2 w (+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M)))) (/ (* 2 (* (* c0 d) d)) (* (* (* h w) D) D)) (* 2 (* (* c0 d) d)) (* (* c0 d) d) (* c0 d) d (* (* (* h w) D) D) (* (* h w) D) (* h w) h D (/ (* c0 (+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))) (+ w w)) (* c0 (+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))) (+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M)))) (* (sqrt -1) M) (sqrt -1) -1 M (+ w w) (* (/ c0 (* 2 w)) (+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))) (* (/ (* (* c0 c0) (* 0 (/ (* d d) (* (* (* h w) D) D)))) w) -1/2) (/ (* (* c0 c0) (* 0 (/ (* d d) (* (* (* h w) D) D)))) w) (* (* c0 c0) (* 0 (/ (* d d) (* (* (* h w) D) D)))) (* c0 c0) (* 0 (/ (* d d) (* (* (* h w) D) D))) 0 (/ (* d d) (* (* (* h w) D) D)) (* d d) -1/2 (* (/ c0 (* 2 w)) (+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))) (+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M)))) (/ (/ (* (* (* d d) c0) 2) (* (* h w) D)) D) (/ (* (* (* d d) c0) 2) (* (* h w) D)) (* (* (* d d) c0) 2) (* (* d d) c0) (* (/ c0 (* 2 w)) (+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))) (+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M)))) (/ (* c0 (* d d)) (* (* w h) (* D D))) (* c0 (* d d)) (* (* w h) (* D D)) (* w h) (* D D) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))) (* c0 (* d (/ d (* (* (* D D) h) w)))) (* d (/ d (* (* (* D D) h) w))) (/ d (* (* (* D D) h) w)) (* (* (* D D) h) w) (* (* D D) h))
626.0ms
f
@inf
((* (/ (log (/ (cosh (* (* (PI) f) 1/4)) (sinh (* (* (PI) f) 1/4)))) (PI)) -4) (* (/ (- (log (* -2 (sinh (* (* -1/4 f) (PI))))) (log (* 2 (cosh (* (* -1/4 f) (PI)))))) (PI)) 4) (/ (- (log (* -2 (sinh (* (* -1/4 f) (PI))))) (log (* 2 (cosh (* (* -1/4 f) (PI)))))) (PI)) (- (log (* -2 (sinh (* (* -1/4 f) (PI))))) (log (* 2 (cosh (* (* -1/4 f) (PI)))))) (log (* -2 (sinh (* (* -1/4 f) (PI))))) (* -2 (sinh (* (* -1/4 f) (PI)))) -2 (sinh (* (* -1/4 f) (PI))) (* (* -1/4 f) (PI)) (* -1/4 f) -1/4 f (PI) (log (* 2 (cosh (* (* -1/4 f) (PI))))) (* 2 (cosh (* (* -1/4 f) (PI)))) 2 (cosh (* (* -1/4 f) (PI))) 4 (* (/ (log (/ (cosh (* (* (PI) f) 1/4)) (sinh (* (* (PI) f) 1/4)))) (PI)) -4) (* (log (/ 4 (* f (PI)))) (/ -4 (PI))) (log (/ 4 (* f (PI)))) (/ 4 (* f (PI))) (* f (PI)) (/ -4 (PI)) -4 (* (/ (log (/ (cosh (* (* (PI) f) 1/4)) (sinh (* (* (PI) f) 1/4)))) (PI)) -4) (* (+ (/ (log (* 1/4 (PI))) (PI)) (/ (log f) (PI))) 4) (+ (/ (log (* 1/4 (PI))) (PI)) (/ (log f) (PI))) (/ (log (* 1/4 (PI))) (PI)) (log (* 1/4 (PI))) (* 1/4 (PI)) 1/4 (/ (log f) (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)))))))) (* (/ 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))))) (/ (neg (+ (* (+ (* (+ (* (/ (* (* (PI) (PI)) 1/96) (* 1/2 (PI))) -2) (* (PI) 1/8)) f) 0) f) (/ 2 (* 1/2 (PI))))) f) (neg (+ (* (+ (* (+ (* (/ (* (* (PI) (PI)) 1/96) (* 1/2 (PI))) -2) (* (PI) 1/8)) f) 0) f) (/ 2 (* 1/2 (PI))))) (+ (* (+ (* (+ (* (/ (* (* (PI) (PI)) 1/96) (* 1/2 (PI))) -2) (* (PI) 1/8)) f) 0) f) (/ 2 (* 1/2 (PI)))) (+ (* (* (* -1/12 (PI)) f) f) (/ 4 (PI))) (* (* -1/12 (PI)) f) (* -1/12 (PI)) -1/12 (/ 4 (PI)) (neg (* (/ 4 (PI)) (- (log (+ (exp (* (PI) (* -1/4 f))) (exp (* (/ (PI) 4) f)))) (log (- (exp (* (/ (PI) 4) f)) (exp (* (PI) (* -1/4 f)))))))) (* (/ 4 (PI)) (- (log (+ (exp (* (PI) (* -1/4 f))) (exp (* (/ (PI) 4) f)))) (log (- (exp (* (/ (PI) 4) f)) (exp (* (PI) (* -1/4 f))))))) (- (log (+ (exp (* (PI) (* -1/4 f))) (exp (* (/ (PI) 4) f)))) (log (- (exp (* (/ (PI) 4) f)) (exp (* (PI) (* -1/4 f)))))) (log (+ (exp (* (PI) (* -1/4 f))) (exp (* (/ (PI) 4) f)))) (+ (exp (* (PI) (* -1/4 f))) (exp (* (/ (PI) 4) f))) (exp (* (PI) (* -1/4 f))) (* (PI) (* -1/4 f)) (exp (* (/ (PI) 4) f)) (log (- (exp (* (/ (PI) 4) f)) (exp (* (PI) (* -1/4 f))))) (- (exp (* (/ (PI) 4) f)) (exp (* (PI) (* -1/4 f)))))
354.0ms
f
@-inf
((* (/ (log (/ (cosh (* (* (PI) f) 1/4)) (sinh (* (* (PI) f) 1/4)))) (PI)) -4) (* (/ (- (log (* -2 (sinh (* (* -1/4 f) (PI))))) (log (* 2 (cosh (* (* -1/4 f) (PI)))))) (PI)) 4) (/ (- (log (* -2 (sinh (* (* -1/4 f) (PI))))) (log (* 2 (cosh (* (* -1/4 f) (PI)))))) (PI)) (- (log (* -2 (sinh (* (* -1/4 f) (PI))))) (log (* 2 (cosh (* (* -1/4 f) (PI)))))) (log (* -2 (sinh (* (* -1/4 f) (PI))))) (* -2 (sinh (* (* -1/4 f) (PI)))) -2 (sinh (* (* -1/4 f) (PI))) (* (* -1/4 f) (PI)) (* -1/4 f) -1/4 f (PI) (log (* 2 (cosh (* (* -1/4 f) (PI))))) (* 2 (cosh (* (* -1/4 f) (PI)))) 2 (cosh (* (* -1/4 f) (PI))) 4 (* (/ (log (/ (cosh (* (* (PI) f) 1/4)) (sinh (* (* (PI) f) 1/4)))) (PI)) -4) (* (log (/ 4 (* f (PI)))) (/ -4 (PI))) (log (/ 4 (* f (PI)))) (/ 4 (* f (PI))) (* f (PI)) (/ -4 (PI)) -4 (* (/ (log (/ (cosh (* (* (PI) f) 1/4)) (sinh (* (* (PI) f) 1/4)))) (PI)) -4) (* (+ (/ (log (* 1/4 (PI))) (PI)) (/ (log f) (PI))) 4) (+ (/ (log (* 1/4 (PI))) (PI)) (/ (log f) (PI))) (/ (log (* 1/4 (PI))) (PI)) (log (* 1/4 (PI))) (* 1/4 (PI)) 1/4 (/ (log f) (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)))))))) (* (/ 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))))) (/ (neg (+ (* (+ (* (+ (* (/ (* (* (PI) (PI)) 1/96) (* 1/2 (PI))) -2) (* (PI) 1/8)) f) 0) f) (/ 2 (* 1/2 (PI))))) f) (neg (+ (* (+ (* (+ (* (/ (* (* (PI) (PI)) 1/96) (* 1/2 (PI))) -2) (* (PI) 1/8)) f) 0) f) (/ 2 (* 1/2 (PI))))) (+ (* (+ (* (+ (* (/ (* (* (PI) (PI)) 1/96) (* 1/2 (PI))) -2) (* (PI) 1/8)) f) 0) f) (/ 2 (* 1/2 (PI)))) (+ (* (* (* -1/12 (PI)) f) f) (/ 4 (PI))) (* (* -1/12 (PI)) f) (* -1/12 (PI)) -1/12 (/ 4 (PI)) (neg (* (/ 4 (PI)) (- (log (+ (exp (* (PI) (* -1/4 f))) (exp (* (/ (PI) 4) f)))) (log (- (exp (* (/ (PI) 4) f)) (exp (* (PI) (* -1/4 f)))))))) (* (/ 4 (PI)) (- (log (+ (exp (* (PI) (* -1/4 f))) (exp (* (/ (PI) 4) f)))) (log (- (exp (* (/ (PI) 4) f)) (exp (* (PI) (* -1/4 f))))))) (- (log (+ (exp (* (PI) (* -1/4 f))) (exp (* (/ (PI) 4) f)))) (log (- (exp (* (/ (PI) 4) f)) (exp (* (PI) (* -1/4 f)))))) (log (+ (exp (* (PI) (* -1/4 f))) (exp (* (/ (PI) 4) f)))) (+ (exp (* (PI) (* -1/4 f))) (exp (* (/ (PI) 4) f))) (exp (* (PI) (* -1/4 f))) (* (PI) (* -1/4 f)) (exp (* (/ (PI) 4) f)) (log (- (exp (* (/ (PI) 4) f)) (exp (* (PI) (* -1/4 f))))) (- (exp (* (/ (PI) 4) f)) (exp (* (PI) (* -1/4 f)))))
298.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 (* (* (PI) f) 1/4)) (sinh (* (* (PI) f) 1/4)))) (PI)) -4) (/ (log (/ (cosh (* (* (PI) f) 1/4)) (sinh (* (* (PI) f) 1/4)))) (PI)) (log (/ (cosh (* (* (PI) f) 1/4)) (sinh (* (* (PI) f) 1/4)))) (/ (cosh (* (* (PI) f) 1/4)) (sinh (* (* (PI) f) 1/4))) (cosh (* (* (PI) f) 1/4)) (* (* (PI) f) 1/4) (* (PI) f) (PI) f 1/4 (sinh (* (* (PI) f) 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)) -2 (* (* (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/96) (* 1/2 (PI))) -2) (* (PI) 1/8)) f) 0) f) (/ 2 (* 1/2 (PI)))) f) (+ (* (+ (* (+ (* (/ (* (* (PI) (PI)) 1/96) (* 1/2 (PI))) -2) (* (PI) 1/8)) f) 0) f) (/ 2 (* 1/2 (PI)))) (+ (* (+ (* (/ (* (* (PI) (PI)) 1/96) (* 1/2 (PI))) -2) (* (PI) 1/8)) f) 0) (+ (* (/ (* (* (PI) (PI)) 1/96) (* 1/2 (PI))) -2) (* (PI) 1/8)) (/ (* (* (PI) (PI)) 1/96) (* 1/2 (PI))) (* (* (PI) (PI)) 1/96) (* (PI) (PI)) 1/96 (* 1/2 (PI)) 1/2 (* (PI) 1/8) 1/8 0 (/ 2 (* 1/2 (PI))) 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))))))) (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)) (exp (neg (* (/ (PI) 4) f))) (neg (* (/ (PI) 4) f)) (* (/ (PI) 4) f) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (log (pow (/ 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (/ 4 (PI)))) (pow (/ 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (/ 4 (PI))) (/ 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (cosh (* f (/ (PI) 4))) (* f (/ (PI) 4)) (sinh (* f (/ (PI) 4))) (/ 4 (PI)))
256.0ms
Om
@inf
((sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (- 1/2 (- (* 1/2 (cos (+ ky ky))) (- 1/2 (* 1/2 (cos (+ kx kx))))))))))))) (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (- 1/2 (- (* 1/2 (cos (+ ky ky))) (- 1/2 (* 1/2 (cos (+ kx kx)))))))))))) (/ 1 2) 1 2 (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (- 1/2 (- (* 1/2 (cos (+ ky ky))) (- 1/2 (* 1/2 (cos (+ kx kx))))))))))) (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (- 1/2 (- (* 1/2 (cos (+ ky ky))) (- 1/2 (* 1/2 (cos (+ kx kx)))))))))) (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (- 1/2 (- (* 1/2 (cos (+ ky ky))) (- 1/2 (* 1/2 (cos (+ kx kx))))))))) (+ 1 (* (pow (/ (* 2 l) Om) 2) (- 1/2 (- (* 1/2 (cos (+ ky ky))) (- 1/2 (* 1/2 (cos (+ kx kx)))))))) (* (pow (/ (* 2 l) Om) 2) (- 1/2 (- (* 1/2 (cos (+ ky ky))) (- 1/2 (* 1/2 (cos (+ kx kx))))))) (pow (/ (* 2 l) Om) 2) (/ (* 2 l) Om) (* 2 l) l Om (- 1/2 (- (* 1/2 (cos (+ ky ky))) (- 1/2 (* 1/2 (cos (+ kx kx)))))) 1/2 (- (* 1/2 (cos (+ ky ky))) (- 1/2 (* 1/2 (cos (+ kx kx))))) (* 1/2 (cos (+ ky ky))) (cos (+ ky ky)) (+ ky ky) ky (- 1/2 (* 1/2 (cos (+ kx kx)))) (* 1/2 (cos (+ kx kx))) (cos (+ kx kx)) (+ kx kx) kx (sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 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 (sqrt (+ (* (* (* l l) (/ (- 1/2 (* 1/2 (cos (+ kx kx)))) (* Om Om))) 4) 1))) -1) 1/2) (- (/ 1 (sqrt (+ (* (* (* l l) (/ (- 1/2 (* 1/2 (cos (+ kx kx)))) (* Om Om))) 4) 1))) -1) (/ 1 (sqrt (+ (* (* (* l l) (/ (- 1/2 (* 1/2 (cos (+ kx kx)))) (* Om Om))) 4) 1))) (sqrt (+ (* (* (* l l) (/ (- 1/2 (* 1/2 (cos (+ kx kx)))) (* Om Om))) 4) 1)) (+ (* (* (* l l) (/ (- 1/2 (* 1/2 (cos (+ kx kx)))) (* Om Om))) 4) 1) (* (* l l) (/ (- 1/2 (* 1/2 (cos (+ kx kx)))) (* Om Om))) (* l l) (/ (- 1/2 (* 1/2 (cos (+ kx kx)))) (* Om Om)) (* Om Om) 4 -1 (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 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))) (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))))) (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))) (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))) (+ (pow (sin kx) 2) (pow (sin ky) 2)) (- 1/2 (* 1/2 (cos (+ ky ky)))) (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/4 (* (/ Om l) (/ 1 (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))))))) 1/2) 1/4 (* (/ Om l) (/ 1 (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))))) (/ Om l) (/ 1 (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))))) (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (sin ky) (sin kx))

preprocess15.6s (4.6%)

Memory
-295.4MiB live, 12 869.0MiB allocated; 4.1s collecting garbage
Stop Event
31×node-limit
1×saturated
Compiler

Compiled 118 978 to 90 523 computations (23.9% saved)

analyze12.1s (3.5%)

Memory
-17.2MiB live, 10 697.3MiB allocated; 4.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)

prune8.6s (2.5%)

Memory
117.0MiB live, 8 579.1MiB allocated; 1.6s collecting garbage
Counts
92 601 → 3 142
Compiler

Compiled 169 206 to 142 514 computations (15.8% saved)

bsearch5.0s (1.5%)

Memory
-62.7MiB live, 5 672.4MiB allocated; 1.1s collecting garbage
Algorithm
234×left-value
219×binary-search
Stop Event
209×narrow-enough
5×predicate-same
5×predicate-failed
Samples
2.8s16 219×0valid
285.0ms2 636×0invalid
158.0ms591×1valid
10.0ms45×2valid
3.0ms23×1invalid
3.0ms9×3valid
2.0ms7×2invalid
Compiler

Compiled 100 050 to 98 662 computations (1.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.4s
ival-mult!: 565.0ms (23.7% of total)
ival-div!: 357.0ms (15% of total)
ival-pow: 318.0ms (13.4% of total)
ival-add!: 211.0ms (8.9% of total)
ival-neg: 198.0ms (8.3% of total)
ival-sin: 190.0ms (8% of total)
ival-tan: 121.0ms (5.1% of total)
ival-sub!: 101.0ms (4.2% of total)
ival-exp: 93.0ms (3.9% of total)
ival-pow2: 80.0ms (3.4% of total)
ival-cos: 65.0ms (2.7% of total)
ival-sqrt: 29.0ms (1.2% of total)
adjust: 24.0ms (1% of total)
ival-hypot: 15.0ms (0.6% of total)
ival-tanu: 9.0ms (0.4% of total)
ival-fabs: 4.0ms (0.2% of total)
ival-atan: 0.0ms (0% of total)

start2.0ms (0%)

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

end0.0ms (0%)

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

Profiling

Loading profile data...