Metrics for Herbie run

Date:	Sunday, March 30th, 2025
Commit:	2100b191 on main
Seed:	2025089
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:	261 574.4 MB

sample1.2min (37.4%)

Memory

1 179.3MiB live, 96 856.5MiB allocated; 24.9s collecting garbage

Samples

27.0s	224 510×	0	valid
7.6s	23 538×	1	valid
7.1s	64 850×	0	invalid
4.0s	12 642×	1	invalid
3.0s	9 650×	2	valid
2.9s	6 478×	3	valid
1.1s	2 185×	5	exit
146.0ms	604×	2	invalid
25.0ms	240×	0	exit
20.0ms	16×	4	valid

Precisions

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

ival-mult!: 9.3s (23.5% of total)

ival-div!: 4.5s (11.4% of total)

ival-exp: 3.5s (8.9% of total)

ival-sqrt: 3.2s (8.1% of total)

adjust: 2.8s (7.1% of total)

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

ival-pow: 2.5s (6.2% of total)

ival-add!: 2.3s (5.7% of total)

ival-sub!: 2.2s (5.6% of total)

ival-sin: 2.0s (5% of total)

ival-cos: 907.0ms (2.3% of total)

ival-tan: 871.0ms (2.2% of total)

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

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

ival-log: 456.0ms (1.2% of total)

ival-hypot: 338.0ms (0.9% of total)

ival-tanu: 301.0ms (0.8% of total)

ival-asin: 274.0ms (0.7% of total)

ival-atan: 91.0ms (0.2% of total)

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

rewrite30.6s (16.3%)

Memory

142.9MiB live, 35 145.8MiB allocated; 9.1s collecting garbage

Stop Event

296×	iter-limit
124×	node-limit
4×	unsound

Counts

30 371 → 48 884

regimes14.1s (7.5%)

Memory

158.3MiB live, 23 737.9MiB allocated; 2.6s collecting garbage

Counts

9 120 → 757

Calls

156 calls:

759.0ms	l
601.0ms	t
370.0ms	k
338.0ms	F
335.0ms	x

Compiler

Compiled 13 351 to 13 545 computations (-1.5% saved)

series13.6s (7.3%)

Memory

335.0MiB live, 19 974.4MiB allocated; 3.7s collecting garbage

Counts

4 631 → 25 740

Calls

1200 calls:

Time	Variable		Point	Expression
439.0ms	l	@	0	((* (* (pow (/ d h) (/ 1 2)) (* (pow (/ d l) 1/4) (pow (/ d l) 1/4))) (- 1 (/ (* (* (pow (/ (* D M) (* 2 d)) 2) 1/2) h) l))) (* (pow (/ d h) (/ 1 2)) (* (pow (/ d l) 1/4) (pow (/ d l) 1/4))) (pow (/ d h) (/ 1 2)) (/ d h) d h (/ 1 2) 1 2 (* (pow (/ d l) 1/4) (pow (/ d l) 1/4)) (pow (/ d l) 1/4) (/ d l) l 1/4 (- 1 (/ (* (* (pow (/ (* D M) (* 2 d)) 2) 1/2) h) l)) (/ (* (* (pow (/ (* D M) (* 2 d)) 2) 1/2) h) l) (* (* (pow (/ (* D M) (* 2 d)) 2) 1/2) h) (* (pow (/ (* D M) (* 2 d)) 2) 1/2) (pow (/ (* D M) (* 2 d)) 2) (/ (* D M) (* 2 d)) (* D M) D M (* 2 d) 1/2 (* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l)))) (* (/ 1 (sqrt (* l h))) d) (/ 1 (sqrt (* l h))) (sqrt (* l h)) (* l h) (* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l)))) (* (+ (* (* -1/8 (/ (* M M) d)) (sqrt (/ h (pow l 3)))) (* (/ d (* D D)) (sqrt (pow (* l h) -1)))) (* D D)) (+ (* (* -1/8 (/ (* M M) d)) (sqrt (/ h (pow l 3)))) (* (/ d (* D D)) (sqrt (pow (* l h) -1)))) (* (* (/ (* M M) d) -1/8) (sqrt (/ h (pow l 3)))) (* (/ (* M M) d) -1/8) (/ (* M M) d) (* M M) -1/8 (sqrt (/ h (pow l 3))) (/ h (pow l 3)) (pow l 3) 3 (* D D) (* (* (sqrt (/ d l)) (sqrt (/ d h))) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l)))) (* (sqrt (/ d l)) (sqrt (/ d h))) (sqrt (/ d l)) (sqrt (/ d h)) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l))) (* (* (+ (* -1/8 (* (* M M) (/ (/ h (* d d)) l))) (pow D -2)) D) D) (* (+ (* -1/8 (* (* M M) (/ (/ h (* d d)) l))) (pow D -2)) D) (+ (* -1/8 (* (* M M) (/ (/ h (* d d)) l))) (pow D -2)) (* (* M M) (/ (/ h (* d d)) l)) (/ (/ h (* d d)) l) (/ h (* d d)) (* d d) (pow D -2) -2 (* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l)))) (* (* (+ (* (/ d (* D D)) (pow (* l h) -1/2)) (* (* (/ (* M M) d) -1/8) (sqrt (/ h (pow l 3))))) D) D) (* (+ (* (/ d (* D D)) (pow (* l h) -1/2)) (* (* (/ (* M M) d) -1/8) (sqrt (/ h (pow l 3))))) D) (+ (* (/ d (* D D)) (pow (* l h) -1/2)) (* (* (/ (* M M) d) -1/8) (sqrt (/ h (pow l 3))))) (/ d (* D D)) (pow (* l h) -1/2) -1/2)
291.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))) (log (sinh (* (* f (PI)) 1/4)))) (PI)) -4) (/ (- (log (cosh (* (* f (PI)) 1/4))) (log (sinh (* (* f (PI)) 1/4)))) (PI)) (- (log (cosh (* (* f (PI)) 1/4))) (log (sinh (* (* f (PI)) 1/4)))) (log (cosh (* (* f (PI)) 1/4))) (cosh (* (* f (PI)) 1/4)) (* (* f (PI)) 1/4) (* f (PI)) f (PI) 1/4 (log (sinh (* (* 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)))))))) (* (/ 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))))) (/ (+ (* (* (/ (PI) (* (PI) 1/2)) 0) f) (/ 2 (* (PI) 1/2))) 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 f)) (log (* 1/2 (PI)))) (PI)) -4) (/ (- (log (/ 2 f)) (log (* 1/2 (PI)))) (PI)) (- (log (/ 2 f)) (log (* 1/2 (PI)))) (log (/ 2 f)) (/ 2 f) 2 (log (* 1/2 (PI))) (* 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 (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))))
234.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))))) (/ (+ (* (* (/ (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 (log (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (pow (/ (PI) 4) -1)))) (log (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (pow (/ (PI) 4) -1))) (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (pow (/ (PI) 4) -1)) (* 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))) (pow (/ (PI) 4) -1) -1 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (/ (- (pow (exp (/ (PI) 4)) (+ f f)) (pow (pow (exp (/ (PI) 4)) (neg f)) 2)) (* 2 (cosh (* f (/ (PI) 4))))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (/ (- (pow (exp (/ (PI) 4)) (+ f f)) (pow (pow (exp (/ (PI) 4)) (neg f)) 2)) (* 2 (cosh (* f (/ (PI) 4)))))))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (/ (- (pow (exp (/ (PI) 4)) (+ f f)) (pow (pow (exp (/ (PI) 4)) (neg f)) 2)) (* 2 (cosh (* f (/ (PI) 4))))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (/ (- (pow (exp (/ (PI) 4)) (+ f f)) (pow (pow (exp (/ (PI) 4)) (neg f)) 2)) (* 2 (cosh (* f (/ (PI) 4)))))) (+ (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)) (/ (- (pow (exp (/ (PI) 4)) (+ f f)) (pow (pow (exp (/ (PI) 4)) (neg f)) 2)) (* 2 (cosh (* f (/ (PI) 4))))) (- (pow (exp (/ (PI) 4)) (+ f f)) (pow (pow (exp (/ (PI) 4)) (neg f)) 2)) (pow (exp (/ (PI) 4)) (+ f f)) (exp (/ (PI) 4)) (+ f f) (pow (pow (exp (/ (PI) 4)) (neg f)) 2) (pow (exp (/ (PI) 4)) (neg f)) (neg f) (* 2 (cosh (* f (/ (PI) 4)))))
168.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))))) (/ (+ (* (* (/ (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 (log (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (pow (/ (PI) 4) -1)))) (log (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (pow (/ (PI) 4) -1))) (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (pow (/ (PI) 4) -1)) (* 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))) (pow (/ (PI) 4) -1) -1 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (/ (- (pow (exp (/ (PI) 4)) (+ f f)) (pow (pow (exp (/ (PI) 4)) (neg f)) 2)) (* 2 (cosh (* f (/ (PI) 4))))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (/ (- (pow (exp (/ (PI) 4)) (+ f f)) (pow (pow (exp (/ (PI) 4)) (neg f)) 2)) (* 2 (cosh (* f (/ (PI) 4)))))))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (/ (- (pow (exp (/ (PI) 4)) (+ f f)) (pow (pow (exp (/ (PI) 4)) (neg f)) 2)) (* 2 (cosh (* f (/ (PI) 4))))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (/ (- (pow (exp (/ (PI) 4)) (+ f f)) (pow (pow (exp (/ (PI) 4)) (neg f)) 2)) (* 2 (cosh (* f (/ (PI) 4)))))) (+ (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)) (/ (- (pow (exp (/ (PI) 4)) (+ f f)) (pow (pow (exp (/ (PI) 4)) (neg f)) 2)) (* 2 (cosh (* f (/ (PI) 4))))) (- (pow (exp (/ (PI) 4)) (+ f f)) (pow (pow (exp (/ (PI) 4)) (neg f)) 2)) (pow (exp (/ (PI) 4)) (+ f f)) (exp (/ (PI) 4)) (+ f f) (pow (pow (exp (/ (PI) 4)) (neg f)) 2) (pow (exp (/ (PI) 4)) (neg f)) (neg f) (* 2 (cosh (* f (/ (PI) 4)))))
119.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))) (log (sinh (* (* f (PI)) 1/4)))) (PI)) -4) (/ (- (log (cosh (* (* f (PI)) 1/4))) (log (sinh (* (* f (PI)) 1/4)))) (PI)) (- (log (cosh (* (* f (PI)) 1/4))) (log (sinh (* (* f (PI)) 1/4)))) (log (cosh (* (* f (PI)) 1/4))) (cosh (* (* f (PI)) 1/4)) (* (* f (PI)) 1/4) (* f (PI)) f (PI) 1/4 (log (sinh (* (* 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)))))))) (* (/ 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))))) (/ (+ (* (* (/ (PI) (* (PI) 1/2)) 0) f) (/ 2 (* (PI) 1/2))) 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 f)) (log (* 1/2 (PI)))) (PI)) -4) (/ (- (log (/ 2 f)) (log (* 1/2 (PI)))) (PI)) (- (log (/ 2 f)) (log (* 1/2 (PI)))) (log (/ 2 f)) (/ 2 f) 2 (log (* 1/2 (PI))) (* 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 (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))))

preprocess11.9s (6.4%)

Memory

249.9MiB live, 16 187.7MiB allocated; 2.4s collecting garbage

Stop Event

64×	iter-limit
62×	node-limit
2×	saturated

Compiler

Compiled 240 149 to 84 531 computations (64.8% saved)

eval10.6s (5.6%)

Memory: 36.1MiB live, 16 702.2MiB allocated; 3.0s collecting garbage
Compiler: Compiled 3 510 043 to 287 530 computations (91.8% saved)

derivations10.4s (5.6%)

Memory

154.1MiB live, 11 759.7MiB allocated; 1.3s collecting garbage

Stop Event

31×	fuel
1×	done

Compiler

Compiled 33 812 to 4 171 computations (87.7% saved)

explain8.9s (4.8%)

Memory

-453.5MiB live, 13 310.4MiB allocated; 3.4s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`#f`	cancellation	472	0
`sqrt.f64`	`#f`	oflow-rescue	462	0
`cos.f64`	`#f`	sensitivity	430	1
`+.f64`	`#f`	nan-rescue	277	0
`*.f64`	`#f`	*no**	254	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	251	1
`sqrt.f64`	`#f`	uflow-rescue	167	0
`*.f64`	`#f`	*uo**	130	0
`pow.f64`	`#f`	oflow-rescue	126	0
`tan.f64`	`(tan.f64 (*.f64 (PI.f64) l))`	sensitivity	126	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	122	0
`-.f64`	`#f`	nan-rescue	118	0
`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	21
`*.f64`	`#f`	*nu**	81	0
`/.f64`	`#f`	o/o	72	0
`pow.f64`	`#f`	uflow-rescue	72	0
`/.f64`	`#f`	o/n	67	0
`*.f64`	`#f`	*ou**	57	0
`+.f64`	`#f`	cancellation	56	0
`cos.f64`	`(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))`	oflow-rescue	54	0
↳	`(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))`	overflow	54
↳	`(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)`	overflow	54
↳	`(*.f64 K (+.f64 m n))`	overflow	54
`/.f64`	`#f`	u/u	52	0
`/.f64`	`#f`	n/o	40	0
`/.f64`	`#f`	n/u	27	0
`/.f64`	`#f`	u/n	17	0
`exp.f64`	`(exp.f64 (/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT))`	sensitivity	1	1

Confusion

	Predicted +	Predicted -
+	1996	44
-	1129	5023

Precision

0.63872

Recall

0.9784313725490196

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1996	2	42
-	1129	22	5001

Precision?

0.634487138774214

Recall?

0.9794117647058823

Freqs

test

number	freq
0	5067
1	2702
2	358
3	53
4	12

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	26	0	0
-	1	0	5

Precision?

0.9629629629629629

Recall?

1.0

Samples

2.1s	13 340×	0	valid
539.0ms	1 942×	1	valid
199.0ms	672×	2	valid
188.0ms	420×	3	valid
4.0ms	10×	5	exit

Compiler

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

Precisions

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

ival-mult!: 394.0ms (21% of total)

ival-pow2: 201.0ms (10.7% of total)

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

ival-tanu: 180.0ms (9.6% of total)

adjust: 146.0ms (7.8% of total)

ival-sin: 113.0ms (6% of total)

ival-sqrt: 95.0ms (5.1% of total)

ival-exp: 93.0ms (5% of total)

ival-cos: 76.0ms (4.1% of total)

ival-pow: 76.0ms (4.1% of total)

ival-sub!: 67.0ms (3.6% of total)

ival-tan: 64.0ms (3.4% of total)

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

ival-acos: 31.0ms (1.7% of total)

ival-neg: 25.0ms (1.3% of total)

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

ival-log: 10.0ms (0.5% of total)

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

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

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

ival-pi: 0.0ms (0% of total)

const: 0.0ms (0% of total)

analyze8.1s (4.3%)

Memory

137.3MiB live, 11 864.6MiB allocated; 2.2s 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)

prune5.4s (2.9%)

Memory: -45.7MiB live, 10 072.2MiB allocated; 1.1s collecting garbage
Counts: 62 490 → 2 737
Compiler: Compiled 265 319 to 131 214 computations (50.5% saved)

bsearch3.6s (1.9%)

Memory

-68.7MiB live, 5 959.2MiB allocated; 725ms collecting garbage

Algorithm

202×	binary-search
201×	left-value

Stop Event

195×	narrow-enough
7×	predicate-same

Samples

1.7s	13 914×	0	valid
264.0ms	2 307×	0	invalid
124.0ms	615×	1	valid
91.0ms	173×	2	valid
12.0ms	34×	3	valid
10.0ms	27×	1	invalid
2.0ms	8×	2	invalid

Compiler

Compiled 125 023 to 87 873 computations (29.7% saved)

Precisions

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

ival-mult!: 354.0ms (21.8% of total)

ival-pow: 233.0ms (14.4% of total)

ival-div!: 217.0ms (13.4% of total)

ival-tan: 144.0ms (8.9% of total)

ival-sin: 137.0ms (8.5% of total)

ival-pow2: 121.0ms (7.5% of total)

ival-add!: 111.0ms (6.9% of total)

ival-sub!: 68.0ms (4.2% of total)

ival-neg: 53.0ms (3.3% of total)

adjust: 42.0ms (2.6% of total)

ival-exp: 40.0ms (2.5% of total)

ival-sqrt: 36.0ms (2.2% of total)

ival-fabs: 20.0ms (1.2% of total)

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

ival-cos: 13.0ms (0.8% of total)

ival-atan: 8.0ms (0.5% of total)

ival-tanu: 5.0ms (0.3% of total)

start1.0ms (0%)

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

end0.0ms (0%)

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

sample1.2min (37.4%)

rewrite30.6s (16.3%)

regimes14.1s (7.5%)

series13.6s (7.3%)

preprocess11.9s (6.4%)

eval10.6s (5.6%)

derivations10.4s (5.6%)

explain8.9s (4.8%)

analyze8.1s (4.3%)

prune5.4s (2.9%)

bsearch3.6s (1.9%)

start1.0ms (0%)

end0.0ms (0%)

Profiling