Metrics for Herbie run

Date:	Thursday, February 20th, 2025
Commit:	87019920 on main
Seed:	2025051
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:	232 278.2 MB

sample1.4min (42.8%)

Memory

1 167.6MiB live, 93 431.7MiB allocated; 35.0s collecting garbage

Samples

34.2s	224 655×	0	valid
9.9s	65 293×	0	invalid
8.2s	23 431×	1	valid
4.4s	9 733×	2	valid
4.1s	13 617×	1	invalid
2.7s	6 363×	3	valid
718.0ms	1 599×	2	invalid
27.0ms	221×	0	exit
4.0ms	10×	4	valid

Precisions

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

ival-mult: 12.2s (25% of total)

ival-div: 8.7s (17.9% of total)

ival-sub: 4.0s (8.3% of total)

adjust: 3.4s (6.9% of total)

ival-pow2: 3.3s (6.7% of total)

ival-add: 2.5s (5.2% of total)

ival-sin: 2.3s (4.7% of total)

ival-sqrt: 2.2s (4.5% of total)

ival-pow: 2.1s (4.4% of total)

ival-exp: 2.0s (4% of total)

ival-cos: 1.3s (2.6% of total)

ival-tan: 837.0ms (1.7% of total)

ival-pi: 776.0ms (1.6% of total)

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

ival-acos: 573.0ms (1.2% of total)

exact: 395.0ms (0.8% of total)

ival-log: 387.0ms (0.8% of total)

ival-hypot: 361.0ms (0.7% of total)

ival-asin: 197.0ms (0.4% of total)

ival-tanu: 177.0ms (0.4% of total)

ival-assert: 126.0ms (0.3% of total)

const: 115.0ms (0.2% of total)

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

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

ival-<: 1.0ms (0% of total)

ival-and: 1.0ms (0% of total)

Bogosity

rewrite27.3s (13.9%)

Memory

502.5MiB live, 29 972.8MiB allocated; 7.5s collecting garbage

Stop Event

298×	iter limit
123×	node limit
5×	unsound

Counts

28 767 → 45 510

regimes13.7s (7%)

Memory

168.8MiB live, 19 114.4MiB allocated; 2.4s collecting garbage

Counts

9 047 → 719

Calls

156 calls:

803.0ms	l
567.0ms	k
507.0ms	t
357.0ms	F
347.0ms	x

Compiler

Compiled 11 937 to 12 452 computations (-4.3% saved)

series12.7s (6.5%)

Memory

-485.0MiB live, 16 913.4MiB allocated; 3.9s collecting garbage

Counts

4 520 → 24 247

Calls

1200 calls:

Time	Variable		Point	Expression
645.0ms	ky	@	-inf	((* (sqrt 1/2) (sqrt (+ (/ 1 (sqrt (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1))) 1))) (sqrt 1/2) 1/2 (sqrt (+ (/ 1 (sqrt (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1))) 1)) (+ (/ 1 (sqrt (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1))) 1) (/ 1 (sqrt (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1))) 1 (sqrt (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1)) (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1) (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (sin ky) ky (pow (sin kx) 2) (sin kx) kx 2 (pow (/ (* l 2) Om) 2) (/ (* l 2) Om) (* l 2) l Om (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/2 (* 1/4 (/ Om (* l (sin ky))))) (* 1/4 (/ Om (* l (sin ky)))) 1/4 (/ Om (* l (sin ky))) (* l (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 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 (/ (* 2 l) Om) 2) (/ (* 2 l) Om) (* 2 l) (+ (pow (sin kx) 2) (pow (sin ky) 2)) (- 1/2 (* 1/2 (cos (* 2 kx)))) (* 1/2 (cos (* 2 kx))) (cos (* 2 kx)) (* 2 kx) (* (sqrt 1/2) (sqrt (+ (pow (sqrt (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1)) -1) 1))) (sqrt (+ (pow (sqrt (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1)) -1) 1)) (+ (pow (sqrt (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1)) -1) 1) (pow (sqrt (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1)) -1) (sqrt (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1)) (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1) (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (sin ky) 2) -1 (sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (* (sin kx) (sin kx)) (- 1/2 (* 1/2 (cos (* 2 ky)))))))))))) (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (* (sin kx) (sin kx)) (- 1/2 (* 1/2 (cos (* 2 ky))))))))))) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (* (sin kx) (sin kx)) (- 1/2 (* 1/2 (cos (* 2 ky)))))))))) (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (* (sin kx) (sin kx)) (- 1/2 (* 1/2 (cos (* 2 ky))))))))) (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (* (sin kx) (sin kx)) (- 1/2 (* 1/2 (cos (* 2 ky)))))))) (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (* (sin kx) (sin kx)) (- 1/2 (* 1/2 (cos (* 2 ky))))))) (* (pow (/ (* 2 l) Om) 2) (+ (* (sin kx) (sin kx)) (- 1/2 (* 1/2 (cos (* 2 ky)))))) (+ (* (sin kx) (sin kx)) (- 1/2 (* 1/2 (cos (* 2 ky))))) (- 1/2 (* 1/2 (cos (* 2 ky)))) (* 1/2 (cos (* 2 ky))) (cos (* 2 ky)) (* 2 ky))
167.0ms	f	@	0	((neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp f) (/ (PI) 4)) (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)) (* (* f (PI)) 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))) -4) (PI)) (* (log (/ 2 (* (* (PI) 1/2) f))) -4) (log (/ 2 (* (* (PI) 1/2) f))) (log (/ (/ 4 (PI)) 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) (log (* (* 1/2 (PI)) f))) (PI)) -4) (/ (- (log 2) (log (* (* 1/2 (PI)) f))) (PI)) (- (log 2) (log (* (* 1/2 (PI)) f))) (log 2) 2 (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)))) (exp (* (/ (PI) 4) f)) (* (/ (PI) 4) f) (exp (neg (* (/ (PI) 4) f))) (+ (* (* f (PI)) -1/4) 1) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (* (* (PI) 1/2) f) (* (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))))))) (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)))) (* (cosh (* (* f (PI)) 1/4)) 2) (cosh (* (* f (PI)) 1/4)) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (exp (neg (* (/ (PI) 4) f))))
150.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))))) (+ (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)) (- (exp (* (/ (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)))))))) (* (/ 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 (neg (* (/ (PI) 4) f))) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp f) (/ (PI) 4)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp f) (/ (PI) 4)) (exp (neg (* (/ (PI) 4) f))))))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp f) (/ (PI) 4)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp f) (/ (PI) 4)) (exp (neg (* (/ (PI) 4) f))))) (- (pow (exp f) (/ (PI) 4)) (exp (neg (* (/ (PI) 4) f)))) (pow (exp f) (/ (PI) 4)) (exp f))
124.0ms	f	@	-inf	((neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp f) (/ (PI) 4)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (log (/ (cosh (* (* f (PI)) 1/4)) (sinh (* (* f (PI)) 1/4)))) (PI)) -4) (/ (log (/ (cosh (* (* f (PI)) 1/4)) (sinh (* (* f (PI)) 1/4)))) (PI)) (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 (* (* (PI) 1/2) f))) (PI)) -4) (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) (log (/ 2 (* (* (PI) 1/2) f))) (- (log (/ 4 (PI))) (log f)) (log (/ 4 (PI))) (/ 4 (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))))) (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (+ (* (+ (* -1/4 (PI)) (+ (* (* (* (PI) (PI)) f) 1/16) (* 1/4 (PI)))) f) 2) (+ (* -1/4 (PI)) (+ (* (* (* (PI) (PI)) f) 1/16) (* 1/4 (PI)))) -1/4 (+ (* (* (* (PI) (PI)) f) 1/16) (* 1/4 (PI))) (* (* (PI) (PI)) f) (* (PI) (PI)) 1/16 (* 1/4 (PI)) 2 (- (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 (* (cosh (* (* f (PI)) 1/4)) 2)) (log (* (sinh (* (* f (PI)) 1/4)) 2))) (PI)) -4) (/ (- (log (* (cosh (* (* f (PI)) 1/4)) 2)) (log (* (sinh (* (* f (PI)) 1/4)) 2))) (PI)) (- (log (* (cosh (* (* f (PI)) 1/4)) 2)) (log (* (sinh (* (* f (PI)) 1/4)) 2))) (log (* (cosh (* (* f (PI)) 1/4)) 2)) (* (cosh (* (* f (PI)) 1/4)) 2) (log (* (sinh (* (* f (PI)) 1/4)) 2)) (* (sinh (* (* f (PI)) 1/4)) 2))
113.0ms	f	@	inf	((neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp f) (/ (PI) 4)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (log (/ (cosh (* (* f (PI)) 1/4)) (sinh (* (* f (PI)) 1/4)))) (PI)) -4) (/ (log (/ (cosh (* (* f (PI)) 1/4)) (sinh (* (* f (PI)) 1/4)))) (PI)) (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 (* (* (PI) 1/2) f))) (PI)) -4) (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) (log (/ 2 (* (* (PI) 1/2) f))) (- (log (/ 4 (PI))) (log f)) (log (/ 4 (PI))) (/ 4 (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))))) (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (+ (* (+ (* -1/4 (PI)) (+ (* (* (* (PI) (PI)) f) 1/16) (* 1/4 (PI)))) f) 2) (+ (* -1/4 (PI)) (+ (* (* (* (PI) (PI)) f) 1/16) (* 1/4 (PI)))) -1/4 (+ (* (* (* (PI) (PI)) f) 1/16) (* 1/4 (PI))) (* (* (PI) (PI)) f) (* (PI) (PI)) 1/16 (* 1/4 (PI)) 2 (- (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 (* (cosh (* (* f (PI)) 1/4)) 2)) (log (* (sinh (* (* f (PI)) 1/4)) 2))) (PI)) -4) (/ (- (log (* (cosh (* (* f (PI)) 1/4)) 2)) (log (* (sinh (* (* f (PI)) 1/4)) 2))) (PI)) (- (log (* (cosh (* (* f (PI)) 1/4)) 2)) (log (* (sinh (* (* f (PI)) 1/4)) 2))) (log (* (cosh (* (* f (PI)) 1/4)) 2)) (* (cosh (* (* f (PI)) 1/4)) 2) (log (* (sinh (* (* f (PI)) 1/4)) 2)) (* (sinh (* (* f (PI)) 1/4)) 2))

eval9.7s (5%)

Memory: -197.8MiB live, 13 435.5MiB allocated; 3.7s collecting garbage
Compiler: Compiled 3 073 954 to 261 756 computations (91.5% saved)

analyze9.7s (5%)

Memory

204.3MiB live, 11 706.2MiB allocated; 3.3s 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)

preprocess9.3s (4.7%)

Memory

295.5MiB live, 10 452.5MiB allocated; 2.0s collecting garbage

Stop Event

64×	iter limit
62×	node limit
2×	saturated

Compiler

Compiled 81 733 to 17 185 computations (79% saved)

derivations8.9s (4.6%)

Memory

241.7MiB live, 8 124.9MiB allocated; 1.2s collecting garbage

Stop Event

31×	fuel
1×	done

Compiler

Compiled 31 086 to 3 966 computations (87.2% saved)

explain8.8s (4.5%)

Memory

-48.4MiB live, 12 544.9MiB allocated; 1.9s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	521	0
`-.f64`	`#f`	cancellation	439	0
`cos.f64`	`#f`	sensitivity	429	0
`*.f64`	`#f`	*no**	276	0
`+.f64`	`#f`	nan-rescue	274	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	254	0
`sqrt.f64`	`#f`	uflow-rescue	136	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	132	1
`pow.f64`	`#f`	oflow-rescue	131	0
`*.f64`	`#f`	*uo**	128	0
`-.f64`	`#f`	nan-rescue	125	0
`tan.f64`	`(tan.f64 (*.f64 (PI.f64) l))`	sensitivity	109	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	86	25
`/.f64`	`#f`	o/o	73	0
`pow.f64`	`#f`	uflow-rescue	66	0
`*.f64`	`#f`	*nu**	58	0
`*.f64`	`#f`	*ou**	57	0
`/.f64`	`#f`	o/n	54	0
`+.f64`	`#f`	cancellation	53	0
`/.f64`	`#f`	u/u	51	0
`cos.f64`	`(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))`	oflow-rescue	49	0
↳	`(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))`	overflow	49
↳	`(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)`	overflow	49
↳	`(*.f64 K (+.f64 m n))`	overflow	49
`/.f64`	`#f`	n/o	38	0
`/.f64`	`#f`	n/u	25	0
`/.f64`	`#f`	u/n	17	0
`exp.f64`	`#f`	sensitivity	5	1
`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

Confusion

	Predicted +	Predicted -
+	1951	37
-	1153	5051

Precision

0.6285438144329897

Recall

0.9813883299798792

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1951	0	37
-	1153	26	5025

Precision?

0.6233226837060702

Recall?

0.9813883299798792

Freqs

test

number	freq
0	5088
1	2684
2	361
3	52
4	7

Total Confusion?

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

Precision?

0.9629629629629629

Recall?

1.0

Samples

2.1s	13 366×	0	valid
713.0ms	1 928×	1	valid
364.0ms	704×	2	valid
173.0ms	376×	3	valid
6.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: 2.4s

ival-mult: 602.0ms (25.3% of total)

ival-div: 344.0ms (14.5% of total)

adjust: 198.0ms (8.3% of total)

ival-sub: 196.0ms (8.3% of total)

ival-add: 143.0ms (6% of total)

ival-exp: 115.0ms (4.8% of total)

ival-sin: 111.0ms (4.7% of total)

ival-sqrt: 108.0ms (4.5% of total)

ival-pow2: 106.0ms (4.5% of total)

ival-pow: 94.0ms (4% of total)

ival-acos: 75.0ms (3.2% of total)

ival-cos: 67.0ms (2.8% of total)

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

ival-tan: 41.0ms (1.7% of total)

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

exact: 19.0ms (0.8% of total)

ival-log: 17.0ms (0.7% of total)

ival-true: 15.0ms (0.6% of total)

ival-pi: 13.0ms (0.5% of total)

ival-tanu: 11.0ms (0.5% of total)

ival-asin: 10.0ms (0.4% of total)

const: 8.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)

prune5.1s (2.6%)

Memory: 110.5MiB live, 8 848.2MiB allocated; 1.3s collecting garbage
Counts: 57 126 → 2 734
Compiler: Compiled 266 272 to 133 689 computations (49.8% saved)

bsearch4.8s (2.5%)

Memory

105.8MiB live, 5 698.3MiB allocated; 759ms collecting garbage

Algorithm

253×	binary-search
135×	left-value

Stop Event

238×	narrow-enough
15×	predicate-same

Samples

2.3s	15 593×	0	valid
447.0ms	2 623×	0	invalid
143.0ms	628×	1	valid
89.0ms	255×	2	valid
50.0ms	132×	3	valid
10.0ms	46×	1	invalid

Compiler

Compiled 166 723 to 118 069 computations (29.2% saved)

Precisions

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

ival-mult: 514.0ms (22% of total)

ival-div: 499.0ms (21.3% of total)

ival-pow: 210.0ms (9% of total)

ival-add: 206.0ms (8.8% of total)

ival-pow2: 200.0ms (8.5% of total)

ival-sin: 135.0ms (5.8% of total)

ival-sub: 123.0ms (5.3% of total)

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

ival-exp: 77.0ms (3.3% of total)

adjust: 74.0ms (3.2% of total)

ival-neg: 54.0ms (2.3% of total)

ival-sqrt: 30.0ms (1.3% of total)

ival-cos: 27.0ms (1.2% of total)

exact: 18.0ms (0.8% of total)

ival-true: 15.0ms (0.6% of total)

ival-tanu: 10.0ms (0.4% of total)

const: 9.0ms (0.4% of total)

ival-assert: 8.0ms (0.3% of total)

ival-hypot: 8.0ms (0.3% of total)

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

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

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

simplify1.8s (0.9%)

Memory

12.0MiB live, 2 031.7MiB allocated; 222ms collecting garbage

Stop Event

31×	node limit
1×	saturated

start2.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.4min (42.8%)

rewrite27.3s (13.9%)

regimes13.7s (7%)

series12.7s (6.5%)

eval9.7s (5%)

analyze9.7s (5%)

preprocess9.3s (4.7%)

derivations8.9s (4.6%)

explain8.8s (4.5%)

prune5.1s (2.6%)

bsearch4.8s (2.5%)

simplify1.8s (0.9%)

start2.0ms (0%)

end0.0ms (0%)

Profiling