Metrics for Herbie run

Date:	Thursday, February 20th, 2025
Commit:	3f036d81 on z3solver_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:	233 591.9 MB

sample1.4min (42.2%)

Memory

984.0MiB live, 94 120.1MiB allocated; 33.1s collecting garbage

Samples

35.0s	224 655×	0	valid
9.4s	65 293×	0	invalid
7.3s	23 431×	1	valid
4.2s	13 617×	1	invalid
3.9s	9 733×	2	valid
2.6s	6 363×	3	valid
714.0ms	1 599×	2	invalid
25.0ms	221×	0	exit
5.0ms	10×	4	valid

Precisions

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

ival-mult: 12.4s (25.4% of total)

ival-div: 7.6s (15.7% of total)

ival-add: 3.9s (8% of total)

ival-sub: 3.6s (7.4% of total)

adjust: 3.3s (6.7% of total)

ival-sqrt: 3.0s (6.2% of total)

ival-pow2: 2.7s (5.5% of total)

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

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

ival-exp: 1.9s (3.8% of total)

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

ival-neg: 992.0ms (2% of total)

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

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

ival-pi: 540.0ms (1.1% of total)

const: 514.0ms (1.1% of total)

ival-hypot: 465.0ms (1% of total)

exact: 411.0ms (0.8% of total)

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

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

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

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

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

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

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

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

Bogosity

rewrite26.2s (13.3%)

Memory

572.2MiB live, 30 060.9MiB allocated; 5.2s collecting garbage

Stop Event

298×	iter limit
123×	node limit
5×	unsound

Counts

28 767 → 45 510

regimes14.5s (7.3%)

Memory

34.9MiB live, 20 394.3MiB allocated; 3.9s collecting garbage

Counts

9 047 → 719

Calls

156 calls:

790.0ms	l
710.0ms	(+.f64 (pow.f64 (sin.f64 kx) #s(literal 2 binary64)) (pow.f64 (sin.f64 ky) #s(literal 2 binary64)))
480.0ms	t
393.0ms	k
363.0ms	x

Compiler

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

series13.7s (6.9%)

Memory

184.1MiB live, 16 627.6MiB allocated; 5.0s collecting garbage

Counts

4 520 → 24 247

Calls

1200 calls:

Time	Variable		Point	Expression
765.0ms	F	@	inf	((- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (+ (* (PI) l) (/ (/ (tan (neg (* (PI) l))) F) F)) (PI) l (/ (/ (tan (neg (* (PI) l))) F) F) (/ (tan (neg (* (PI) l))) F) (tan (neg (* (PI) l))) (neg (* (PI) l)) (* (PI) l) F (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (* (- (PI) (/ (PI) (* F F))) l) (/ (neg (* (PI) l)) (* F F)) (* F F) (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (* (+ (* (/ -1 (* (* F F) l)) (tan (* (PI) l))) (PI)) l) (+ (* (/ -1 (* (* F F) l)) (tan (* (PI) l))) (PI)) (+ (* (/ (PI) F) (/ -1 F)) (PI)) (/ (PI) F) (/ -1 F) -1 (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (+ (* (PI) l) (/ (tan (+ (* (* -1 l) (PI)) (PI))) (* F F))) (/ (tan (+ (* (* -1 l) (PI)) (PI))) (* F F)) (tan (+ (* (* -1 l) (PI)) (PI))) (+ (* (* -1 l) (PI)) (PI)) (* -1 l) (- (* (PI) l) (/ (* (/ -1 F) (tan (* (PI) l))) (neg F))) (/ (* (/ -1 F) (tan (* (PI) l))) (neg F)) (* (/ -1 F) (tan (* (PI) l))) (* (* -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) (neg F))
754.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))))
222.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))
206.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))
123.0ms	x	@	inf	((+ (/ (neg x) (tan B)) (/ 1 (sin B))) (/ (+ (* (neg x) (cos B)) 1) (sin B)) (+ (* (neg x) (cos B)) 1) (neg x) x (cos B) B 1 (sin B) (+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) (/ (- 1 x) B) (- 1 x) (+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) (neg (* x (/ 1 (tan B)))) (* x (/ 1 (tan B))) (/ x B) (/ 1 (sin B)) (/ (+ (* (+ (* 7/360 (* B B)) 1/6) (* B B)) 1) B) (+ (* (+ (* 7/360 (* B B)) 1/6) (* B B)) 1) (+ (* 7/360 (* B B)) 1/6) 1/6 (* B B) (+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) (neg (* x (/ 1 (tan B)))) (* x (/ 1 (tan B))) (/ 1 (tan B)) (/ (+ (* (- (* (- (* -2/945 (* B B)) 1/45) (* B B)) 1/3) (* B B)) 1) B) (+ (* (- (* (- (* -2/945 (* B B)) 1/45) (* B B)) 1/3) (* B B)) 1) (- (* (- (* -2/945 (* B B)) 1/45) (* B B)) 1/3) (* (- (* -2/945 (* B B)) 1/45) (* B B)) (- (* -2/945 (* B B)) 1/45) (* -2/945 (* B B)) -2/945 1/45 1/3 (/ 1 (sin B)) (sin B) (* (+ (* -1/6 (* B B)) 1) B) (+ (* -1/6 (* B B)) 1) -1/6 (+ (/ (neg x) (tan B)) (/ 1 (sin B))) (/ (neg x) (tan B)) (tan B) (/ 1 (sin B)) (sin B) (* (+ (* (- (* (+ (* -1/5040 (* B B)) 1/120) (* B B)) 1/6) (* B B)) 1) B) (+ (* (- (* (+ (* -1/5040 (* B B)) 1/120) (* B B)) 1/6) (* B B)) 1) (- (* (+ (* -1/5040 (* B B)) 1/120) (* B B)) 1/6) (* (+ (* -1/5040 (* B B)) 1/120) (* B B)) (+ (* -1/5040 (* B B)) 1/120) -1/5040 1/120)

analyze10.6s (5.4%)

Memory

252.2MiB live, 12 115.3MiB allocated; 4.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)

preprocess9.8s (5%)

Memory

445.1MiB live, 10 357.7MiB allocated; 2.8s collecting garbage

Stop Event

64×	iter limit
62×	node limit
2×	saturated

Compiler

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

derivations9.7s (4.9%)

Memory

-219.4MiB live, 8 169.9MiB allocated; 2.3s collecting garbage

Stop Event

31×	fuel
1×	done

Compiler

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

eval9.0s (4.6%)

Memory: -69.6MiB live, 12 980.3MiB allocated; 2.5s collecting garbage
Compiler: Compiled 3 073 954 to 261 756 computations (91.5% saved)

explain8.6s (4.3%)

Memory

27.1MiB live, 12 211.0MiB allocated; 1.6s 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.0s	13 366×	0	valid
719.0ms	1 928×	1	valid
265.0ms	704×	2	valid
140.0ms	376×	3	valid
12.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.2s

ival-mult: 462.0ms (21.2% of total)

ival-div: 269.0ms (12.3% of total)

ival-add: 214.0ms (9.8% of total)

adjust: 185.0ms (8.5% of total)

ival-pow2: 146.0ms (6.7% of total)

ival-sub: 136.0ms (6.2% of total)

ival-exp: 134.0ms (6.1% of total)

ival-sin: 117.0ms (5.4% of total)

ival-sqrt: 92.0ms (4.2% of total)

ival-cos: 73.0ms (3.3% of total)

ival-pow: 70.0ms (3.2% of total)

ival-neg: 63.0ms (2.9% of total)

ival-tan: 43.0ms (2% of total)

ival-acos: 34.0ms (1.6% of total)

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

exact: 20.0ms (0.9% of total)

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

ival-pi: 14.0ms (0.6% of total)

const: 14.0ms (0.6% of total)

ival-atan: 13.0ms (0.6% of total)

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

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

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

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

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

bsearch5.2s (2.6%)

Memory

125.5MiB live, 5 863.7MiB allocated; 824ms collecting garbage

Algorithm

253×	binary-search
135×	left-value

Stop Event

238×	narrow-enough
15×	predicate-same

Samples

2.8s	15 593×	0	valid
337.0ms	2 623×	0	invalid
199.0ms	628×	1	valid
89.0ms	255×	2	valid
68.0ms	132×	3	valid
12.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.5s

ival-mult: 489.0ms (19.8% of total)

ival-div: 469.0ms (19% of total)

ival-add: 257.0ms (10.4% of total)

ival-pow: 215.0ms (8.7% of total)

ival-tan: 176.0ms (7.1% of total)

ival-sub: 169.0ms (6.8% of total)

ival-sin: 126.0ms (5.1% of total)

ival-pow2: 110.0ms (4.4% of total)

adjust: 95.0ms (3.8% of total)

ival-exp: 88.0ms (3.6% of total)

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

ival-sqrt: 58.0ms (2.3% of total)

const: 42.0ms (1.7% of total)

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

exact: 19.0ms (0.8% of total)

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

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

ival-hypot: 9.0ms (0.4% of total)

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

prune5.0s (2.5%)

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

simplify1.8s (0.9%)

Memory

69.9MiB live, 2 063.9MiB allocated; 247ms collecting garbage

Stop Event

31×	node limit
1×	saturated

start2.0ms (0%)

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

end0.0ms (0%)

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

sample1.4min (42.2%)

rewrite26.2s (13.3%)

regimes14.5s (7.3%)

series13.7s (6.9%)

analyze10.6s (5.4%)

preprocess9.8s (5%)

derivations9.7s (4.9%)

eval9.0s (4.6%)

explain8.6s (4.3%)

bsearch5.2s (2.6%)

prune5.0s (2.5%)

simplify1.8s (0.9%)

start2.0ms (0%)

end0.0ms (0%)

Profiling