Metrics for Herbie run

Date:	Wednesday, April 16th, 2025
Commit:	253a78a0 on chassis-platforms-cleanup
Seed:	2025106
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:	235 458.5 MB

sample1.1min (39.3%)

Memory

624.9MiB live, 92 549.2MiB allocated; 22.1s collecting garbage

Samples

24.9s	224 429×	0	valid
8.3s	65 846×	0	invalid
6.5s	23 542×	1	valid
4.2s	14 658×	1	invalid
3.5s	9 848×	2	valid
2.3s	6 362×	3	valid
147.0ms	554×	2	invalid
25.0ms	240×	0	exit
4.0ms	11×	4	valid
1.0ms	1×	3	exit

Precisions

Click to see histograms. Total time spent on operations: 35.4s

ival-mult!: 9.2s (26.1% of total)

ival-div!: 4.3s (12.1% of total)

adjust: 3.0s (8.5% of total)

ival-exp: 2.7s (7.6% of total)

ival-pow2: 2.6s (7.4% of total)

ival-sqrt: 2.4s (6.7% of total)

ival-pow: 1.9s (5.5% of total)

ival-sin: 1.9s (5.3% of total)

ival-add!: 1.7s (4.7% of total)

ival-sub!: 1.5s (4.2% of total)

ival-cos: 879.0ms (2.5% of total)

ival-tan: 819.0ms (2.3% of total)

ival-acos: 646.0ms (1.8% of total)

ival-neg: 584.0ms (1.7% of total)

ival-hypot: 434.0ms (1.2% of total)

ival-log: 343.0ms (1% of total)

ival-tanu: 207.0ms (0.6% of total)

ival-asin: 193.0ms (0.5% of total)

ival-atan: 92.0ms (0.3% of total)

ival-fabs: 47.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

rewrite25.9s (15.3%)

Memory

644.4MiB live, 32 411.2MiB allocated; 5.3s collecting garbage

Stop Event

302×	iter-limit
121×	node-limit
7×	unsound

Counts

27 903 → 44 219

series13.1s (7.7%)

Memory

1 015.1MiB live, 18 917.5MiB allocated; 3.4s collecting garbage

Counts

4 510 → 23 393

Calls

1200 calls:

Time	Variable		Point	Expression
513.0ms	f	@	0	((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)) 2)) (PI)) (/ (log (* (sinh (* (* (PI) f) 1/4)) 2)) (PI))) -4) (- (/ (log (* (cosh (* (* (PI) f) -1/4)) 2)) (PI)) (/ (log (* (sinh (* (* (PI) f) 1/4)) 2)) (PI))) (/ (log (* (cosh (* (* (PI) f) -1/4)) 2)) (PI)) (log (* (cosh (* (* (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 (/ (log (* (sinh (* (* (PI) f) 1/4)) 2)) (PI)) (log (* (sinh (* (* (PI) f) 1/4)) 2)) (* (sinh (* (* (PI) f) 1/4)) 2) (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)) (/ (/ 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 2) (PI)) (/ (+ (log (* 1/2 f)) (log (PI))) (PI))) -4) (- (/ (log 2) (PI)) (/ (+ (log (* 1/2 f)) (log (PI))) (PI))) (/ (log 2) (PI)) (log 2) (/ (+ (log (* 1/2 f)) (log (PI))) (PI)) (+ (log (* 1/2 f)) (log (PI))) (log (* 1/2 f)) (* 1/2 f) 1/2 (log (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 (/ (cosh (* (* (PI) f) -1/4)) (sinh (* (* (PI) f) 1/4)))) -4) (PI)) (* (log (/ (cosh (* (* (PI) f) -1/4)) (sinh (* (* (PI) f) 1/4)))) -4) (log (/ (cosh (* (* (PI) f) -1/4)) (sinh (* (* (PI) f) 1/4)))) (/ (cosh (* (* (PI) f) -1/4)) (sinh (* (* (PI) f) 1/4))) (neg (* (* (/ 1 (/ (sqrt (PI)) 2)) (/ 1 (/ (sqrt (PI)) 2))) (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4)))))))) (* (* (/ 1 (/ (sqrt (PI)) 2)) (/ 1 (/ (sqrt (PI)) 2))) (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4))))))) (* (/ 1 (/ (sqrt (PI)) 2)) (/ 1 (/ (sqrt (PI)) 2))) (/ 1 (/ (sqrt (PI)) 2)) 1 (/ (sqrt (PI)) 2) (sqrt (PI)) (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4)))))) (log (* 2 (cosh (* f (/ (PI) 4))))) (* 2 (cosh (* f (/ (PI) 4)))) (+ (* (* 1/16 (* f f)) (* (PI) (PI))) 2) (* 1/16 (* f f)) 1/16 (* f f) (* (PI) (PI)) (log (* 2 (sinh (* f (/ (PI) 4))))) (* 2 (sinh (* f (/ (PI) 4)))) (sinh (* f (/ (PI) 4))) (* f (/ (PI) 4)) (/ (PI) 4))
204.0ms	l	@	-inf	((* (cos (- (/ (* K (+ m n)) 2) M)) (exp (- (neg (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))) (* (cos M) (exp (- (fabs (- n m)) (+ (* (- (* 1/2 (+ n m)) M) (- (* 1/2 (+ n m)) M)) l)))) (cos M) 1 (exp (- (fabs (- n m)) (+ (* (- (* 1/2 (+ n m)) M) (- (* 1/2 (+ n m)) M)) l))) (- (fabs (- n m)) (+ (* (- (* 1/2 (+ n m)) M) (- (* 1/2 (+ n m)) M)) l)) (fabs (- n m)) (- n m) n m (+ (* (- (* 1/2 (+ n m)) M) (- (* 1/2 (+ n m)) M)) l) (- (* 1/2 (+ n m)) M) (* 1/2 (+ n m)) 1/2 (+ n m) M l (* (cos (- (/ (* K (+ m n)) 2) M)) (exp (- (neg (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))) (* (cos M) (exp (- (fabs (- n m)) (+ (* (- (* 1/2 (+ n m)) M) (- (* 1/2 (+ n m)) M)) l)))) (exp (- (fabs (- n m)) (+ l (* 1/4 (* (+ m n) (+ m n)))))) (- (fabs (- n m)) (+ l (* 1/4 (* (+ m n) (+ m n))))) (+ l (* 1/4 (* (+ m n) (+ m n)))) (* 1/4 (* (+ m n) (+ m n))) 1/4 (* (+ m n) (+ m n)) (+ m n) (* (cos (- (/ (* K (+ m n)) 2) M)) (exp (- (neg (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))) (cos (- (/ (* K (+ m n)) 2) M)) (- (/ (* K (+ m n)) 2) M) (* 1/2 (* K m)) (* K m) K (exp (- (neg (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))) (- (neg (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))) (neg l) (* (sin (+ (- (/ (* (+ n m) K) 2) M) (/ (PI) 2))) (exp (- (neg (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))) (sin (+ (- (/ (* (+ n m) K) 2) M) (/ (PI) 2))) (+ (- (/ (* (+ n m) K) 2) M) (/ (PI) 2)) (- (/ (* (+ n m) K) 2) M) (/ (* (+ n m) K) 2) (* (+ n m) K) 2 (/ (PI) 2) (PI) (exp (- (neg (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))) (- (neg (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))) (neg (pow (- (/ (+ m n) 2) M) 2)) (pow (- (/ (+ m n) 2) M) 2) (* M M) (- l (fabs (- m n))) (fabs (- m n)) (- m n) (* (sin (+ (neg (- (/ (* (+ n m) K) 2) M)) (/ (PI) 2))) (exp (- (neg (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))) (sin (+ (neg (- (/ (* (+ n m) K) 2) M)) (/ (PI) 2))) (+ (neg (- (/ (* (+ n m) K) 2) M)) (/ (PI) 2)) (neg (- (/ (* (+ n m) K) 2) M)) (exp (- (neg (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))) (- (neg (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))) (neg (pow (- (/ (+ m n) 2) M) 2)) (pow (- (/ (+ m n) 2) M) 2) (- (/ (+ m n) 2) M) (/ (+ m n) 2))
158.0ms	f	@	-inf	((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))))))) (/ 1 (/ (PI) 4)) 1 (/ (PI) 4) (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)))) 2 (cosh (* f (/ (PI) 4))) (* f (/ (PI) 4)) f (log (* 2 (sinh (* f (/ (PI) 4))))) (* 2 (sinh (* f (/ (PI) 4)))) (sinh (* 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)) (* (* (PI) 1/2) f) (* (PI) 1/2) 1/2 -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 (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))) (cosh (* (* (PI) f) -1/4)) (* (* (PI) f) -1/4) (* (PI) f) -1/4 (* 2 (sinh (* (* (PI) f) 1/4))) (sinh (* (* (PI) f) 1/4)) (* (* (PI) f) 1/4) 1/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))))))) (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)))) (exp (* (/ (PI) 4) f)) (* (/ (PI) 4) f) (exp (neg (* (/ (PI) 4) f))) (neg (* (/ (PI) 4) f)) (neg (* (/ 1 (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ 1 (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2))) (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) (/ (sqrt (PI)) 2) (sqrt (PI)) (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)))))
138.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))) (log (sinh (* (* (PI) f) 1/4)))) (PI)) -4) (/ (- (log (cosh (* (* (PI) f) -1/4))) (log (sinh (* (* (PI) f) 1/4)))) (PI)) (- (log (cosh (* (* (PI) f) -1/4))) (log (sinh (* (* (PI) f) 1/4)))) (log (cosh (* (* (PI) f) -1/4))) (cosh (* (* (PI) f) -1/4)) (* (* (PI) f) -1/4) (* (PI) f) (PI) f -1/4 (log (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)) (/ 4 (* (PI) f)) 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)) (/ (log (* (* 1/2 (PI)) f)) (PI))) -4) (- (/ (log 2) (PI)) (/ (log (* (* 1/2 (PI)) f)) (PI))) (/ (log 2) (PI)) (log 2) 2 (/ (log (* (* 1/2 (PI)) f)) (PI)) (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)))))))) (* (/ 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))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (* (+ (* 1/4 (PI)) (- (* (* f f) (* (* (* (PI) (PI)) (PI)) 1/192)) (* -1/4 (PI)))) f) (+ (* 1/4 (PI)) (- (* (* f f) (* (* (* (PI) (PI)) (PI)) 1/192)) (* -1/4 (PI)))) (- (* (* f f) (* (* (* (PI) (PI)) (PI)) 1/192)) (* -1/4 (PI))) (* (* f f) (* (* (* (PI) (PI)) (PI)) 1/192)) (* f f) (* (* (* (PI) (PI)) (PI)) 1/192) (* (* (PI) (PI)) (PI)) (* (PI) (PI)) 1/192 (* -1/4 (PI)) (neg (* (* (/ 1 (/ (sqrt (PI)) 2)) (/ 1 (/ (sqrt (PI)) 2))) (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4)))))))) (* (* (/ 1 (/ (sqrt (PI)) 2)) (/ 1 (/ (sqrt (PI)) 2))) (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4))))))) (* (/ 1 (/ (sqrt (PI)) 2)) (/ 1 (/ (sqrt (PI)) 2))) (/ 1 (/ (sqrt (PI)) 2)) (/ (sqrt (PI)) 2) (sqrt (PI)) (- (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))))
137.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))) (log (sinh (* (* (PI) f) 1/4)))) (PI)) -4) (/ (- (log (cosh (* (* (PI) f) -1/4))) (log (sinh (* (* (PI) f) 1/4)))) (PI)) (- (log (cosh (* (* (PI) f) -1/4))) (log (sinh (* (* (PI) f) 1/4)))) (log (cosh (* (* (PI) f) -1/4))) (cosh (* (* (PI) f) -1/4)) (* (* (PI) f) -1/4) (* (PI) f) (PI) f -1/4 (log (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)) (/ 4 (* (PI) f)) 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)) (/ (log (* (* 1/2 (PI)) f)) (PI))) -4) (- (/ (log 2) (PI)) (/ (log (* (* 1/2 (PI)) f)) (PI))) (/ (log 2) (PI)) (log 2) 2 (/ (log (* (* 1/2 (PI)) f)) (PI)) (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)))))))) (* (/ 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))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (* (+ (* 1/4 (PI)) (- (* (* f f) (* (* (* (PI) (PI)) (PI)) 1/192)) (* -1/4 (PI)))) f) (+ (* 1/4 (PI)) (- (* (* f f) (* (* (* (PI) (PI)) (PI)) 1/192)) (* -1/4 (PI)))) (- (* (* f f) (* (* (* (PI) (PI)) (PI)) 1/192)) (* -1/4 (PI))) (* (* f f) (* (* (* (PI) (PI)) (PI)) 1/192)) (* f f) (* (* (* (PI) (PI)) (PI)) 1/192) (* (* (PI) (PI)) (PI)) (* (PI) (PI)) 1/192 (* -1/4 (PI)) (neg (* (* (/ 1 (/ (sqrt (PI)) 2)) (/ 1 (/ (sqrt (PI)) 2))) (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4)))))))) (* (* (/ 1 (/ (sqrt (PI)) 2)) (/ 1 (/ (sqrt (PI)) 2))) (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4))))))) (* (/ 1 (/ (sqrt (PI)) 2)) (/ 1 (/ (sqrt (PI)) 2))) (/ 1 (/ (sqrt (PI)) 2)) (/ (sqrt (PI)) 2) (sqrt (PI)) (- (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))))

regimes12.7s (7.5%)

Memory

204.9MiB live, 19 672.2MiB allocated; 3.1s collecting garbage

Counts

8 395 → 734

Calls

156 calls:

800.0ms	l
379.0ms	x
348.0ms	t
339.0ms	k
336.0ms	F

Compiler

Compiled 11 179 to 11 563 computations (-3.4% saved)

preprocess9.0s (5.3%)

Memory

-363.4MiB live, 12 596.6MiB allocated; 3.2s collecting garbage

Stop Event

31×	node-limit
1×	saturated

Compiler

Compiled 225 090 to 77 888 computations (65.4% saved)

derivations8.7s (5.1%)

Memory

-119.3MiB live, 9 023.2MiB allocated; 1.3s collecting garbage

Stop Event

32×

fuel

Compiler

Compiled 32 121 to 3 865 computations (88% saved)

analyze8.7s (5.1%)

Memory

137.3MiB live, 10 659.7MiB allocated; 3.9s collecting garbage

Algorithm

32×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
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.4s (5%)

Memory: -678.4MiB live, 13 451.7MiB allocated; 3.3s collecting garbage
Compiler: Compiled 2 856 324 to 258 917 computations (90.9% saved)

explain8.1s (4.7%)

Memory

127.5MiB live, 12 426.4MiB allocated; 1.5s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	455	0
`-.f64`	`#f`	cancellation	445	2
`cos.f64`	`#f`	sensitivity	415	1
`*.f64`	`#f`	*no**	267	0
`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))))`	sensitivity	256	0
`+.f64`	`#f`	nan-rescue	242	0
`sqrt.f64`	`#f`	uflow-rescue	179	0
`pow.f64`	`#f`	oflow-rescue	148	0
`tan.f64`	`(tan.f64 (*.f64 (PI.f64) l))`	sensitivity	130	0
`-.f64`	`#f`	nan-rescue	120	0
`*.f64`	`#f`	*uo**	117	0
`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)))))))`	sensitivity	116	1
`pow.f64`	`(pow.f64 (.f64 (.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64)))`	sensitivity	94	30
`/.f64`	`#f`	o/o	70	0
`*.f64`	`#f`	*nu**	67	0
`/.f64`	`#f`	o/n	61	0
`cos.f64`	`(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))`	oflow-rescue	60	0
↳	`(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))`	overflow	60
↳	`(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)`	overflow	60
↳	`(*.f64 K (+.f64 m n))`	overflow	60
`/.f64`	`#f`	u/u	57	0
`*.f64`	`#f`	*ou**	54	0
`pow.f64`	`#f`	uflow-rescue	52	0
`+.f64`	`#f`	cancellation	52	0
`/.f64`	`#f`	n/o	38	0
`/.f64`	`#f`	n/u	35	0
`/.f64`	`#f`	u/n	21	0
`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))))))`	sensitivity	4	0
`exp.f64`	`#f`	sensitivity	3	2
`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))))))`	oflow-rescue	1	0
↳	`(exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))`	overflow	4
↳	`(/.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)))))`	overflow	1
↳	`(-.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))))`	overflow	2
↳	`(+.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))))`	overflow	2

Confusion

	Predicted +	Predicted -
+	1987	33
-	1125	5047

Precision

0.6384961439588689

Recall

0.9836633663366336

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1987	1	32
-	1125	33	5014

Precision?

0.6319135410044501

Recall?

0.9841584158415841

Freqs

test

number	freq
0	5080
1	2715
2	355
3	35
4	6
5	1

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	25	0	0
-	0	0	7

Precision?

1.0

Recall?

1.0

Samples

1.7s	13 346×	0	valid
545.0ms	1 940×	1	valid
271.0ms	722×	2	valid
126.0ms	370×	3	valid
4.0ms	6×	5	exit

Compiler

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

Precisions

Click to see histograms. Total time spent on operations: 1.8s

ival-mult!: 376.0ms (21.2% of total)

ival-div!: 190.0ms (10.7% of total)

ival-exp: 154.0ms (8.7% of total)

ival-pow2: 144.0ms (8.1% of total)

ival-sin: 141.0ms (8% of total)

ival-sqrt: 137.0ms (7.7% of total)

adjust: 132.0ms (7.5% of total)

ival-pow: 119.0ms (6.7% of total)

ival-sub!: 70.0ms (4% of total)

ival-cos: 64.0ms (3.6% of total)

ival-add!: 62.0ms (3.5% of total)

ival-tan: 53.0ms (3% of total)

ival-acos: 33.0ms (1.9% of total)

ival-neg: 31.0ms (1.8% of total)

ival-hypot: 23.0ms (1.3% of total)

ival-tanu: 12.0ms (0.7% of total)

ival-log: 11.0ms (0.6% of total)

ival-asin: 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)

bsearch4.9s (2.9%)

Memory

61.2MiB live, 7 015.4MiB allocated; 1.1s collecting garbage

Algorithm

254×	binary-search
155×	left-value

Stop Event

242×	narrow-enough
12×	predicate-same

Samples

2.2s	16 671×	0	valid
492.0ms	4 289×	0	invalid
153.0ms	890×	1	valid
95.0ms	293×	2	valid
15.0ms	74×	1	invalid
11.0ms	34×	3	valid
1.0ms	5×	2	invalid

Compiler

Compiled 178 070 to 120 620 computations (32.3% saved)

Precisions

Click to see histograms. Total time spent on operations: 2.2s

ival-mult!: 432.0ms (20% of total)

ival-div!: 330.0ms (15.2% of total)

ival-pow2: 312.0ms (14.4% of total)

ival-pow: 253.0ms (11.7% of total)

ival-sin: 207.0ms (9.6% of total)

ival-tan: 106.0ms (4.9% of total)

ival-add!: 95.0ms (4.4% of total)

ival-sub!: 93.0ms (4.3% of total)

ival-exp: 65.0ms (3% of total)

ival-sqrt: 59.0ms (2.7% of total)

ival-neg: 55.0ms (2.5% of total)

ival-hypot: 55.0ms (2.5% of total)

adjust: 50.0ms (2.3% of total)

ival-cos: 33.0ms (1.5% of total)

ival-tanu: 12.0ms (0.6% of total)

ival-fabs: 5.0ms (0.2% of total)

ival-atan: 3.0ms (0.1% of total)

prune3.7s (2.2%)

Memory: 264.0MiB live, 6 731.2MiB allocated; 783ms collecting garbage
Counts: 47 038 → 2 705
Compiler: Compiled 249 734 to 125 299 computations (49.8% saved)

start2.0ms (0%)

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

end0.0ms (0%)

Memory: 0.4MiB live, 0.4MiB allocated; 0ms collecting garbage

sample1.1min (39.3%)

rewrite25.9s (15.3%)

series13.1s (7.7%)

regimes12.7s (7.5%)

preprocess9.0s (5.3%)

derivations8.7s (5.1%)

analyze8.7s (5.1%)

eval8.4s (5%)

explain8.1s (4.7%)

bsearch4.9s (2.9%)

prune3.7s (2.2%)

start2.0ms (0%)

end0.0ms (0%)

Profiling