Metrics for Herbie run

Date:	Sunday, March 23rd, 2025
Commit:	d4169ed9 on autofix-21-1
Seed:	2025082
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:	218 414.5 MB

sample1.2min (38.9%)

Memory

1 517.6MiB live, 80 019.7MiB allocated; 26.6s collecting garbage

Samples

27.6s	224 446×	0	valid
7.9s	65 849×	0	invalid
6.6s	23 605×	1	valid
4.3s	12 809×	1	invalid
3.0s	9 640×	2	valid
2.3s	6 492×	3	valid
781.0ms	2 189×	5	exit
221.0ms	558×	2	invalid
26.0ms	265×	0	exit
4.0ms	9×	4	valid

Precisions

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

ival-mult!: 9.6s (25.2% of total)

ival-div!: 4.8s (12.6% of total)

ival-exp: 4.3s (11.2% of total)

ival-pow2: 3.0s (7.8% of total)

adjust: 2.4s (6.3% of total)

ival-pow: 2.0s (5.3% of total)

ival-sqrt: 2.0s (5.3% of total)

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

ival-sub!: 1.6s (4.1% of total)

ival-add!: 1.4s (3.7% of total)

ival-tan: 1.0s (2.7% of total)

ival-cos: 915.0ms (2.4% of total)

ival-acos: 852.0ms (2.2% of total)

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

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

ival-log: 439.0ms (1.1% of total)

ival-asin: 224.0ms (0.6% of total)

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

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

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

rewrite27.6s (14.8%)

Memory

759.6MiB live, 29 882.5MiB allocated; 8.1s collecting garbage

Stop Event

296×	iter limit
123×	node limit
4×	unsound

Counts

28 584 → 45 718

regimes14.3s (7.7%)

Memory

75.8MiB live, 18 227.9MiB allocated; 4.5s collecting garbage

Counts

8 315 → 699

Calls

156 calls:

729.0ms	l
578.0ms	(sin.f64 kx)
568.0ms	k
529.0ms	NaChar
454.0ms	t

Compiler

Compiled 12 037 to 12 435 computations (-3.3% saved)

preprocess12.1s (6.5%)

Memory

376.6MiB live, 13 988.0MiB allocated; 2.9s collecting garbage

Stop Event

64×	iter limit
62×	node limit
2×	saturated

Compiler

Compiled 209 459 to 76 375 computations (63.5% saved)

series11.8s (6.3%)

Memory

109.8MiB live, 16 336.6MiB allocated; 2.3s collecting garbage

Counts

4 497 → 24 087

Calls

1197 calls:

Time	Variable		Point	Expression
292.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))))) (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))))))) (- (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))) (log (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (neg (pow (/ (PI) 4) -1)))) (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (neg (pow (/ (PI) 4) -1))) (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (neg (pow (/ (PI) 4) -1)) (pow (/ (PI) 4) -1) -1)
276.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)))))))) (* (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) -4) (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) (log (/ 2 (* (* (PI) 1/2) f))) (+ (* (log f) -1) (log (/ 4 (PI)))) (log f) -1 (log (/ 4 (PI))) (/ 4 (PI)) (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)))))) (+ (* (log f) -1) (log (/ 2 (* 1/2 (PI))))) (log (/ 2 (* 1/2 (PI)))) (/ 2 (* 1/2 (PI))) 2 (* 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 (/ (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))))
199.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))))) (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))))))) (- (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))) (log (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (neg (pow (/ (PI) 4) -1)))) (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (neg (pow (/ (PI) 4) -1))) (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (neg (pow (/ (PI) 4) -1)) (pow (/ (PI) 4) -1) -1)
126.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)))))))) (* (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) -4) (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) (log (/ 2 (* (* (PI) 1/2) f))) (+ (* (log f) -1) (log (/ 4 (PI)))) (log f) -1 (log (/ 4 (PI))) (/ 4 (PI)) (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)))))) (+ (* (log f) -1) (log (/ 2 (* 1/2 (PI))))) (log (/ 2 (* 1/2 (PI)))) (/ 2 (* 1/2 (PI))) 2 (* 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 (/ (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))))
117.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 (* (* f (PI)) 1/4)) 2)) (PI)) (/ (log (* (sinh (* (* f (PI)) 1/4)) 2)) (PI))) -4) (- (/ (log (* (cosh (* (* f (PI)) 1/4)) 2)) (PI)) (/ (log (* (sinh (* (* f (PI)) 1/4)) 2)) (PI))) (/ (log (* (cosh (* (* f (PI)) 1/4)) 2)) (PI)) (log (* (cosh (* (* f (PI)) 1/4)) 2)) (* (cosh (* (* f (PI)) 1/4)) 2) (cosh (* (* f (PI)) 1/4)) (* (* f (PI)) 1/4) (* f (PI)) f (PI) 1/4 2 (/ (log (* (sinh (* (* f (PI)) 1/4)) 2)) (PI)) (log (* (sinh (* (* f (PI)) 1/4)) 2)) (* (sinh (* (* f (PI)) 1/4)) 2) (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)))))))) (* (/ 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))))) (/ 2 (* (* (PI) 1/2) f)) (/ 4 (* f (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 (/ 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)))))))) (* (- (/ (log 2) (PI)) (/ (log (* (* 1/2 (PI)) f)) (PI))) -4) (- (/ (log 2) (PI)) (/ (log (* (* 1/2 (PI)) f)) (PI))) (/ (log 2) (PI)) (log 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)))))))) (* (/ (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)) -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))))

derivations10.0s (5.4%)

Memory

-257.2MiB live, 9 154.5MiB allocated; 2.6s collecting garbage

Stop Event

29×	fuel
3×	done

Compiler

Compiled 30 164 to 4 001 computations (86.7% saved)

analyze9.0s (4.9%)

Memory

-234.1MiB live, 10 200.4MiB allocated; 4.7s 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)

eval9.0s (4.8%)

Memory: -199.6MiB live, 13 194.8MiB allocated; 3.3s collecting garbage
Compiler: Compiled 2 943 945 to 256 853 computations (91.3% saved)

explain8.4s (4.5%)

Memory

-224.9MiB live, 11 425.0MiB allocated; 2.5s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	473	0
`-.f64`	`#f`	cancellation	457	0
`cos.f64`	`#f`	sensitivity	424	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	255	0
`*.f64`	`#f`	*no**	249	0
`+.f64`	`#f`	nan-rescue	235	0
`sqrt.f64`	`#f`	uflow-rescue	163	0
`pow.f64`	`#f`	oflow-rescue	142	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	130	0
`*.f64`	`#f`	*uo**	123	0
`tan.f64`	`(tan.f64 (*.f64 (PI.f64) l))`	sensitivity	115	0
`-.f64`	`#f`	nan-rescue	94	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	91	29
`/.f64`	`#f`	o/o	87	0
`pow.f64`	`#f`	uflow-rescue	75	0
`+.f64`	`#f`	cancellation	75	1
`/.f64`	`#f`	o/n	63	0
`*.f64`	`#f`	*ou**	57	0
`/.f64`	`#f`	u/u	53	0
`*.f64`	`#f`	*nu**	53	0
`cos.f64`	`(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))`	oflow-rescue	45	0
↳	`(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))`	overflow	45
↳	`(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)`	overflow	45
↳	`(*.f64 K (+.f64 m n))`	overflow	45
`/.f64`	`#f`	n/o	43	0
`/.f64`	`#f`	n/u	33	0
`/.f64`	`#f`	u/n	21	0
`exp.f64`	`#f`	sensitivity	2	0

Confusion

	Predicted +	Predicted -
+	1942	41
-	1153	5056

Precision

0.6274636510500807

Recall

0.9793242561775088

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1942	2	39
-	1153	28	5028

Precision?

0.62208

Recall?

0.9803328290468987

Freqs

test

number	freq
0	5097
1	2703
2	332
3	49
4	11

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	25	0	0
-	1	0	6

Precision?

0.9615384615384616

Recall?

1.0

Samples

1.7s	13 316×	0	valid
628.0ms	1 904×	1	valid
239.0ms	768×	2	valid
135.0ms	388×	3	valid
3.0ms	8×	5	exit

Compiler

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

Precisions

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

ival-mult!: 349.0ms (20.3% of total)

ival-div!: 240.0ms (14% of total)

adjust: 180.0ms (10.5% of total)

ival-pow: 133.0ms (7.7% of total)

ival-pow2: 120.0ms (7% of total)

ival-exp: 120.0ms (7% of total)

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

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

ival-cos: 85.0ms (4.9% of total)

ival-sub!: 65.0ms (3.8% of total)

ival-add!: 63.0ms (3.7% of total)

ival-tan: 44.0ms (2.6% of total)

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

ival-neg: 27.0ms (1.6% of total)

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

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

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

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

prune5.0s (2.7%)

Memory: 232.1MiB live, 7 927.3MiB allocated; 876ms collecting garbage
Counts: 56 044 → 2 557
Compiler: Compiled 244 456 to 122 873 computations (49.7% saved)

bsearch4.7s (2.5%)

Memory

-64.6MiB live, 5 798.7MiB allocated; 1.1s collecting garbage

Algorithm

220×	binary-search
150×	left-value

Stop Event

214×	narrow-enough
6×	predicate-same

Samples

2.2s	15 761×	0	valid
533.0ms	3 865×	0	invalid
145.0ms	713×	1	valid
100.0ms	300×	2	valid
36.0ms	106×	3	valid
4.0ms	26×	1	invalid
1.0ms	3×	2	invalid

Compiler

Compiled 140 518 to 97 940 computations (30.3% saved)

Precisions

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

ival-mult!: 462.0ms (20.8% of total)

ival-div!: 395.0ms (17.8% of total)

ival-pow2: 322.0ms (14.5% of total)

ival-pow: 238.0ms (10.7% of total)

ival-sin: 219.0ms (9.8% of total)

ival-tan: 187.0ms (8.4% of total)

ival-add!: 102.0ms (4.6% of total)

ival-sub!: 69.0ms (3.1% of total)

adjust: 54.0ms (2.4% of total)

ival-sqrt: 45.0ms (2% of total)

ival-exp: 41.0ms (1.8% of total)

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

ival-cos: 22.0ms (1% of total)

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

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

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

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

simplify1.9s (1%)

Memory

105.6MiB live, 2 255.5MiB allocated; 359ms collecting garbage

Stop Event

31×	node limit
1×	saturated

start2.0ms (0%)

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

end0.0ms (0%)

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

sample1.2min (38.9%)

rewrite27.6s (14.8%)

regimes14.3s (7.7%)

preprocess12.1s (6.5%)

series11.8s (6.3%)

derivations10.0s (5.4%)

analyze9.0s (4.9%)

eval9.0s (4.8%)

explain8.4s (4.5%)

prune5.0s (2.7%)

bsearch4.7s (2.5%)

simplify1.9s (1%)

start2.0ms (0%)

end0.0ms (0%)

Profiling