Herbie run

Date:Thursday, April 3rd, 2025
Commit:f7a7cb35 on main
Seed:2025093
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:231 114.8 MB

Time bar (total: 2.9min)

sample1.2min (40.8%)

Memory
1 265.9MiB live, 93 068.8MiB allocated; 25.0s collecting garbage
Samples
28.3s224 420×0valid
7.5s65 526×0invalid
6.5s23 614×1valid
3.1s9 717×2valid
2.9s12 590×1invalid
2.3s6 429×3valid
382.0ms1 930×5exit
188.0ms558×2invalid
24.0ms249×0exit
5.0ms12×4valid
0.0ms1×3exit
Precisions
Click to see histograms. Total time spent on operations: 35.7s
ival-mult!: 9.3s (25.9% of total)
ival-div!: 4.5s (12.6% of total)
ival-pow2: 3.1s (8.6% of total)
adjust: 2.7s (7.6% of total)
ival-sin: 2.3s (6.5% of total)
ival-pow: 2.1s (5.8% of total)
ival-sqrt: 2.1s (5.8% of total)
ival-exp: 1.9s (5.4% of total)
ival-sub!: 1.6s (4.5% of total)
ival-add!: 1.4s (3.9% of total)
ival-cos: 854.0ms (2.4% of total)
ival-tan: 815.0ms (2.3% of total)
ival-acos: 705.0ms (2% of total)
ival-neg: 684.0ms (1.9% of total)
ival-hypot: 530.0ms (1.5% of total)
ival-log: 428.0ms (1.2% of total)
ival-atan: 321.0ms (0.9% of total)
ival-asin: 195.0ms (0.5% of total)
ival-tanu: 194.0ms (0.5% of total)
ival-fabs: 43.0ms (0.1% of total)
ival-<: 2.0ms (0% of total)
ival-and: 1.0ms (0% of total)
ival-pi: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
Bogosity

rewrite25.1s (14.7%)

Memory
951.5MiB live, 31 971.2MiB allocated; 5.1s collecting garbage
Stop Event
294×iter-limit
122×node-limit
5×unsound
Counts
28 346 → 45 399

regimes12.7s (7.4%)

Memory
200.8MiB live, 19 550.6MiB allocated; 2.1s collecting garbage
Counts
8 494 → 703
Calls

156 calls:

672.0ms
l
476.0ms
t
389.0ms
x
383.0ms
k
324.0ms
F
Compiler

Compiled 11 891 to 12 086 computations (-1.6% saved)

series11.9s (7%)

Memory
553.7MiB live, 17 340.0MiB allocated; 4.0s collecting garbage
Counts
4 475 → 23 871
Calls

1197 calls:

TimeVariablePointExpression
771.0ms
F
@-inf
((- (* (PI) l) (/ (/ (tan (* (PI) l)) F) F)) (* (PI) l) (PI) l (/ (/ (tan (* (PI) l)) F) F) (/ (tan (* (PI) l)) F) (tan (* (PI) l)) F (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (* (- (PI) (/ (PI) (* F F))) l) (- (PI) (/ (PI) (* F F))) (/ (PI) (* F F)) (* F F) (- (* (PI) l) (* (/ -1 F) (/ (tan (* (PI) l)) (neg F)))) (* (/ -1 F) (/ (tan (* (PI) l)) (neg F))) (/ -1 F) -1 (/ (tan (* (PI) l)) (neg F)) (tan (* (PI) l)) (neg F) (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (* (/ -1 (* F F)) (tan (* (PI) l))) (/ -1 (* F F)) (- (* (PI) l) (* (/ 1 (neg F)) (/ (tan (* (PI) l)) (neg F)))) (* (/ 1 (neg F)) (/ (tan (* (PI) l)) (neg F))) (/ 1 (neg F)) 1 (/ (tan (* (PI) l)) (neg F)) (* (* -1 (+ (* (* (/ (pow (PI) 3) F) 1/3) (* l l)) (/ (PI) F))) l) (* -1 (+ (* (* (/ (pow (PI) 3) F) 1/3) (* l l)) (/ (PI) F))) (+ (* (* (/ (pow (PI) 3) F) 1/3) (* l l)) (/ (PI) F)) (* (/ (pow (PI) 3) F) 1/3) (/ (pow (PI) 3) F) (pow (PI) 3) 3 1/3 (* l l) (/ (PI) F))
163.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 (* 1/2 (PI)))) (PI)) (/ (neg (log f)) (PI))) -4) (+ (/ (log (/ 2 (* 1/2 (PI)))) (PI)) (/ (neg (log f)) (PI))) (/ (log (/ 2 (* 1/2 (PI)))) (PI)) (log (/ 2 (* 1/2 (PI)))) (/ 2 (* 1/2 (PI))) 2 (* 1/2 (PI)) 1/2 (/ (neg (log f)) (PI)) (neg (log f)) (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))))) (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (* 2 (cosh (* (* (PI) f) -1/4))) (cosh (* (* (PI) f) -1/4)) (* (* (PI) f) -1/4) (* (PI) f) -1/4 (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (exp (* (/ (PI) 4) f)) (* (/ (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)))))))) (* (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (/ (- (exp (* (* (* f (PI)) 1/4) 2)) (exp (* (* (* f (PI)) -1/4) 2))) (* (cosh (* (* f (PI)) 1/4)) 2)))) (PI)) -4) (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (/ (- (exp (* (* (* f (PI)) 1/4) 2)) (exp (* (* (* f (PI)) -1/4) 2))) (* (cosh (* (* f (PI)) 1/4)) 2)))) (PI)) (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (/ (- (exp (* (* (* f (PI)) 1/4) 2)) (exp (* (* (* f (PI)) -1/4) 2))) (* (cosh (* (* f (PI)) 1/4)) 2)))) (/ (* 2 (cosh (* (* (PI) f) -1/4))) (/ (- (exp (* (* (* f (PI)) 1/4) 2)) (exp (* (* (* f (PI)) -1/4) 2))) (* (cosh (* (* f (PI)) 1/4)) 2))) (/ (- (exp (* (* (* f (PI)) 1/4) 2)) (exp (* (* (* f (PI)) -1/4) 2))) (* (cosh (* (* f (PI)) 1/4)) 2)) (- (exp (* (* (* f (PI)) 1/4) 2)) (exp (* (* (* f (PI)) -1/4) 2))) (exp (* (* (* f (PI)) 1/4) 2)) (* (* (* f (PI)) 1/4) 2) (exp (* (* (* f (PI)) -1/4) 2)) (* (* (* f (PI)) -1/4) 2) (* (* f (PI)) -1/4) (* (cosh (* (* f (PI)) 1/4)) 2))
106.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 (* 1/2 (PI)))) (PI)) (/ (neg (log f)) (PI))) -4) (+ (/ (log (/ 2 (* 1/2 (PI)))) (PI)) (/ (neg (log f)) (PI))) (/ (log (/ 2 (* 1/2 (PI)))) (PI)) (log (/ 2 (* 1/2 (PI)))) (/ 2 (* 1/2 (PI))) 2 (* 1/2 (PI)) 1/2 (/ (neg (log f)) (PI)) (neg (log f)) (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))))) (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (* 2 (cosh (* (* (PI) f) -1/4))) (cosh (* (* (PI) f) -1/4)) (* (* (PI) f) -1/4) (* (PI) f) -1/4 (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (exp (* (/ (PI) 4) f)) (* (/ (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)))))))) (* (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (/ (- (exp (* (* (* f (PI)) 1/4) 2)) (exp (* (* (* f (PI)) -1/4) 2))) (* (cosh (* (* f (PI)) 1/4)) 2)))) (PI)) -4) (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (/ (- (exp (* (* (* f (PI)) 1/4) 2)) (exp (* (* (* f (PI)) -1/4) 2))) (* (cosh (* (* f (PI)) 1/4)) 2)))) (PI)) (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (/ (- (exp (* (* (* f (PI)) 1/4) 2)) (exp (* (* (* f (PI)) -1/4) 2))) (* (cosh (* (* f (PI)) 1/4)) 2)))) (/ (* 2 (cosh (* (* (PI) f) -1/4))) (/ (- (exp (* (* (* f (PI)) 1/4) 2)) (exp (* (* (* f (PI)) -1/4) 2))) (* (cosh (* (* f (PI)) 1/4)) 2))) (/ (- (exp (* (* (* f (PI)) 1/4) 2)) (exp (* (* (* f (PI)) -1/4) 2))) (* (cosh (* (* f (PI)) 1/4)) 2)) (- (exp (* (* (* f (PI)) 1/4) 2)) (exp (* (* (* f (PI)) -1/4) 2))) (exp (* (* (* f (PI)) 1/4) 2)) (* (* (* f (PI)) 1/4) 2) (exp (* (* (* f (PI)) -1/4) 2)) (* (* (* f (PI)) -1/4) 2) (* (* f (PI)) -1/4) (* (cosh (* (* f (PI)) 1/4)) 2))
85.0ms
ky
@0
((sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (- 1/2 (* 1/2 (cos (* 2 kx)))) (- 1/2 (* 1/2 (cos (* 2 ky)))))))))))) (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (- 1/2 (* 1/2 (cos (* 2 kx)))) (- 1/2 (* 1/2 (cos (* 2 ky))))))))))) (/ 1 2) 1 2 (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (- 1/2 (* 1/2 (cos (* 2 kx)))) (- 1/2 (* 1/2 (cos (* 2 ky)))))))))) (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (- 1/2 (* 1/2 (cos (* 2 kx)))) (- 1/2 (* 1/2 (cos (* 2 ky))))))))) (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (- 1/2 (* 1/2 (cos (* 2 kx)))) (- 1/2 (* 1/2 (cos (* 2 ky)))))))) (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (- 1/2 (* 1/2 (cos (* 2 kx)))) (- 1/2 (* 1/2 (cos (* 2 ky))))))) (* (pow (/ (* 2 l) Om) 2) (+ (- 1/2 (* 1/2 (cos (* 2 kx)))) (- 1/2 (* 1/2 (cos (* 2 ky)))))) (pow (/ (* 2 l) Om) 2) (/ (* 2 l) Om) (* 2 l) l Om (+ (- 1/2 (* 1/2 (cos (* 2 kx)))) (- 1/2 (* 1/2 (cos (* 2 ky))))) (- 1/2 (* 1/2 (cos (* 2 kx)))) 1/2 (* 1/2 (cos (* 2 kx))) (cos (* 2 kx)) (* 2 kx) kx (- 1/2 (* 1/2 (cos (* 2 ky)))) (* 1/2 (cos (* 2 ky))) (cos (* 2 ky)) (* 2 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/2 (* (* -1/4 (/ Om l)) (/ 1 (sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))))))) (* (* -1/4 (/ Om l)) (/ 1 (sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky)))))) (* -1/4 (/ Om (* l (sin kx)))) -1/4 (/ Om (* l (sin kx))) (* l (sin kx)) (sin kx) (sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))))) (+ (* (* 1/4 (/ (* (sqrt 1/2) Om) l)) (pow (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) -1)) (sqrt 1/2)) (+ (sqrt 1/2) (/ (* 1/4 (* Om (sqrt 1/2))) (* l (sin kx)))) (sqrt 1/2) (/ (* 1/4 (* Om (sqrt 1/2))) (* l (sin kx))) (* 1/4 (* Om (sqrt 1/2))) 1/4 (* Om (sqrt 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 (/ 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))))) (* (* -2 (/ l Om)) (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))))) (* -2 (/ l Om)) -2 (/ l Om) (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (sin 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 (/ 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)))
82.0ms
t
@-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)) (* (/ (+ (* 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)) (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 l) l (/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1))) (/ (* l l) (* (* k k) (pow t 3))) (* (* k k) (pow t 3)) (* k k) (pow t 3) 3 (/ 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)) (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (* (/ (pow t 3) (* l l)) (sin k)) (/ (pow t 3) (* l l)) (tan k) (+ (+ 1 (pow (/ k t) 2)) 1) (/ 2 (* (* (* (/ (* (* t t) t) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1))) (* (* (* (/ (* (* t t) t) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1)) (* (* (/ (* (* t t) t) (* l l)) (sin k)) (tan k)) (* (/ (* (* t t) t) (* l l)) (sin k)) (/ (* (* t t) t) (* l l)) (* (* t t) t) (* t t) (+ (+ 1 (pow (/ k t) 2)) 1) (+ 1 (pow (/ k t) 2)) 1 (pow (/ k t) 2) (/ k t) (/ 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) (* (log l) 2) (log l))

eval10.5s (6.2%)

Memory
-399.5MiB live, 14 562.4MiB allocated; 5.8s collecting garbage
Compiler

Compiled 3 047 358 to 260 074 computations (91.5% saved)

analyze9.7s (5.6%)

Memory
-392.5MiB live, 11 169.4MiB allocated; 4.3s 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)

derivations9.5s (5.6%)

Memory
-251.2MiB live, 8 834.1MiB allocated; 2.4s collecting garbage
Stop Event
30×fuel
2×done
Compiler

Compiled 33 039 to 3 996 computations (87.9% saved)

explain7.9s (4.6%)

Memory
19.9MiB live, 12 970.4MiB allocated; 1.4s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue4770
-.f64#fcancellation4632
cos.f64#fsensitivity4330
*.f64#fn*o2710
+.f64#fnan-rescue2560
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))))sensitivity2512
sqrt.f64#fuflow-rescue1780
pow.f64#foflow-rescue1490
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)))))))sensitivity1350
tan.f64(tan.f64 (*.f64 (PI.f64) l))sensitivity1220
-.f64#fnan-rescue1150
*.f64#fu*o1120
pow.f64(pow.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64)))sensitivity10033
/.f64#fo/o690
/.f64#fo/n670
*.f64#fo*u670
*.f64#fn*u660
+.f64#fcancellation630
pow.f64#fuflow-rescue510
/.f64#fu/u510
cos.f64(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))oflow-rescue490
↳(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))overflow49
↳(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)overflow49
↳(*.f64 K (+.f64 m n))overflow50
/.f64#fn/u420
/.f64#fn/o360
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))))))sensitivity110
/.f64#fu/n100
exp.f64#fsensitivity22
Confusion
Predicted +Predicted -
+199537
-11794981
Precision
0.6285444234404537
Recall
0.9817913385826772
Confusion?
Predicted +Predicted MaybePredicted -
+1995037
-1179384943
Precision?
0.6211083437110835
Recall?
0.9817913385826772
Freqs
test
numberfreq
05018
12761
2360
347
46
Total Confusion?
Predicted +Predicted MaybePredicted -
+2600
-015
Precision?
0.9629629629629629
Recall?
1.0
Samples
1.7s13 260×0valid
496.0ms1 976×1valid
249.0ms766×2valid
133.0ms372×3valid
4.0ms10×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!: 341.0ms (21.3% of total)
ival-div!: 174.0ms (10.9% of total)
ival-sin: 136.0ms (8.5% of total)
adjust: 132.0ms (8.3% of total)
ival-pow2: 114.0ms (7.1% of total)
ival-exp: 114.0ms (7.1% of total)
ival-sqrt: 95.0ms (5.9% of total)
ival-add!: 95.0ms (5.9% of total)
ival-pow: 78.0ms (4.9% of total)
ival-sub!: 71.0ms (4.4% of total)
ival-cos: 67.0ms (4.2% of total)
ival-tan: 54.0ms (3.4% of total)
ival-acos: 31.0ms (1.9% of total)
ival-neg: 25.0ms (1.6% of total)
ival-hypot: 25.0ms (1.6% of total)
ival-log: 14.0ms (0.9% of total)
ival-tanu: 12.0ms (0.8% of total)
ival-asin: 12.0ms (0.8% 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)

preprocess6.3s (3.7%)

Memory
-33.8MiB live, 8 846.0MiB allocated; 1.2s collecting garbage
Stop Event
31×node-limit
1×saturated
Compiler

Compiled 220 882 to 75 924 computations (65.6% saved)

prune4.3s (2.5%)

Memory
-132.5MiB live, 7 742.4MiB allocated; 912ms collecting garbage
Counts
57 750 → 2 757
Compiler

Compiled 261 482 to 130 399 computations (50.1% saved)

bsearch3.5s (2%)

Memory
64.1MiB live, 5 055.3MiB allocated; 604ms collecting garbage
Algorithm
206×binary-search
165×left-value
Stop Event
200×narrow-enough
6×predicate-same
Samples
1.5s12 925×0valid
264.0ms840×1valid
225.0ms2 312×0invalid
40.0ms147×2valid
15.0ms40×3valid
13.0ms60×1invalid
5.0ms12×2invalid
1.0ms2×5exit
Compiler

Compiled 142 164 to 97 152 computations (31.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5s
ival-mult!: 298.0ms (19.6% of total)
ival-div!: 226.0ms (14.9% of total)
ival-pow: 187.0ms (12.3% of total)
ival-hypot: 147.0ms (9.7% of total)
ival-sin: 131.0ms (8.6% of total)
ival-tan: 124.0ms (8.2% of total)
ival-pow2: 91.0ms (6% of total)
ival-add!: 79.0ms (5.2% of total)
ival-sub!: 63.0ms (4.1% of total)
adjust: 44.0ms (2.9% of total)
ival-neg: 42.0ms (2.8% of total)
ival-sqrt: 36.0ms (2.4% of total)
ival-exp: 27.0ms (1.8% of total)
ival-cos: 10.0ms (0.7% of total)
ival-tanu: 7.0ms (0.5% of total)
ival-atan: 4.0ms (0.3% of total)
ival-fabs: 4.0ms (0.3% of total)

start2.0ms (0%)

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

end0.0ms (0%)

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

Profiling

Loading profile data...