Metrics for Herbie run

Date:	Wednesday, March 26th, 2025
Commit:	a931ba94 on hardware-accelerators
Seed:	2025085
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:	222 821.9 MB

sample1.2min (38.9%)

Memory

752.1MiB live, 84 492.8MiB allocated; 29.2s collecting garbage

Samples

29.5s	224 683×	0	valid
7.6s	65 219×	0	invalid
6.7s	23 589×	1	valid
4.1s	12 852×	1	invalid
2.9s	9 414×	2	valid
2.3s	6 494×	3	valid
814.0ms	2 128×	5	exit
188.0ms	603×	2	invalid
44.0ms	231×	0	exit
5.0ms	12×	4	valid
1.0ms	1×	3	exit

Precisions

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

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

ival-div!: 6.0s (15.5% of total)

ival-exp: 3.4s (8.7% of total)

ival-pow2: 3.2s (8.2% of total)

adjust: 2.4s (6.1% of total)

ival-sqrt: 2.3s (5.9% of total)

ival-sub!: 2.0s (5.2% of total)

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

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

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

ival-acos: 1.1s (2.9% of total)

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

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

ival-neg: 593.0ms (1.5% of total)

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

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

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

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

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

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

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

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

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

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

Bogosity

rewrite27.7s (14.6%)

Memory

470.9MiB live, 29 806.6MiB allocated; 7.7s collecting garbage

Stop Event

296×	iter limit
123×	node limit
4×	unsound

Counts

27 366 → 44 617

regimes13.8s (7.3%)

Memory

327.3MiB live, 19 132.5MiB allocated; 3.6s collecting garbage

Counts

8 419 → 747

Calls

156 calls:

1.0s	l
656.0ms	F
602.0ms	k
445.0ms	t
406.0ms	(/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) #s(literal 2 binary64)) (pow.f64 (sin.f64 ky) #s(literal 2 binary64)))))

Compiler

Compiled 11 927 to 12 313 computations (-3.2% saved)

series13.6s (7.2%)

Memory

-481.0MiB live, 16 180.4MiB allocated; 5.4s collecting garbage

Counts

4 441 → 22 925

Calls

1194 calls:

Time	Variable		Point	Expression
776.0ms	M	@	inf	((* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (- 1 (/ (* (* (pow (* (/ M 2) (/ D d)) 2) 1/2) h) l))) (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (pow (/ d h) (/ 1 2)) (/ d h) d h (/ 1 2) 1 2 (pow (/ d l) (/ 1 2)) (/ d l) l (- 1 (/ (* (* (pow (* (/ M 2) (/ D d)) 2) 1/2) h) l)) (/ (* (* (pow (* (/ M 2) (/ D d)) 2) 1/2) h) l) (* (* (pow (* (/ M 2) (/ D d)) 2) 1/2) h) (* (pow (* (/ M 2) (/ D d)) 2) 1/2) (pow (* (/ M 2) (/ D d)) 2) (* (/ M 2) (/ D d)) (/ M 2) M (/ D d) D 1/2 (* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l)))) (* (sqrt (pow (* l h) -1)) d) (sqrt (pow (* l h) -1)) (pow (* l h) -1) (* l h) -1 (* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l)))) (* (* -1/8 (/ (pow (* D M) 2) d)) (sqrt (/ h (pow l 3)))) (* -1/8 (/ (pow (* D M) 2) d)) -1/8 (/ (pow (* D M) 2) d) (pow (* D M) 2) (* D M) (sqrt (/ h (pow l 3))) (/ h (pow l 3)) (pow l 3) 3 (* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l)))) (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (* (* -1 d) (sqrt (pow (* l h) -1))) (* -1 d) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l))) (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l)) (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (pow (/ (* M D) (* 2 d)) 2) (/ (* M D) (* 2 d)) (* M D) (* 2 d) (/ h l) (* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l)))) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l))) (/ (- l (/ (* 1/8 (* (pow (* D M) 2) h)) (* d d))) l) (- l (/ (* 1/8 (* (pow (* D M) 2) h)) (* d d))) (/ (* 1/8 (* (pow (* D M) 2) h)) (* d d)) (* 1/8 (* (pow (* D M) 2) h)) 1/8 (* (pow (* D M) 2) h) (* d d))
586.0ms	n	@	-inf	((* (pow (* (+ n n) (PI)) (/ (- 1 k) 2)) (pow k -1/2)) (pow (* (+ n n) (PI)) (/ (- 1 k) 2)) (* (+ n n) (PI)) (+ n n) n (PI) (/ (- 1 k) 2) (- 1 k) 1 k 2 (pow k -1/2) -1/2 (* (/ 1 (sqrt k)) (pow (* (* 2 (PI)) n) (/ (- 1 k) 2))) (sqrt (* (* (PI) (/ n k)) 2)) (* (* (PI) (/ n k)) 2) (* (PI) (/ n k)) (/ n k) (* (sqrt (pow k -1)) (* 1 (pow (* (* (PI) 2) n) (/ (- 1 k) 2)))) (sqrt (pow k -1)) (pow k -1) -1 (* 1 (pow (* (* (PI) 2) n) (/ (- 1 k) 2))) (sqrt (* (* 2 n) (PI))) (* (* 2 n) (PI)) (* 2 n) (* (/ 1 (sqrt k)) (* (pow (+ (PI) (PI)) (/ (- 1 k) 2)) (pow n (/ (- 1 k) 2)))) (/ 1 (sqrt k)) (sqrt k) (* (pow (+ (PI) (PI)) (/ (- 1 k) 2)) (pow n (/ (- 1 k) 2))) (pow (+ (PI) (PI)) (/ (- 1 k) 2)) (+ (PI) (PI)) (pow n (/ (- 1 k) 2)) (/ (- 1 k) 2) (+ (* -1/2 k) 1/2) 1/2 (* (pow (* (* 2 n) (PI)) (/ (- 1 k) 2)) (exp (* (log k) -1/2))) (pow (* (* 2 n) (PI)) (/ (- 1 k) 2)) (exp (* (log k) -1/2)) (* (log k) -1/2) (log k))
275.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) (log (/ (cosh (* (* f (PI)) -1/4)) (* (sinh (* (* 1/4 f) (PI))) 2)))) -4) (PI)) (* (+ (log 2) (log (/ (cosh (* (* f (PI)) -1/4)) (* (sinh (* (* 1/4 f) (PI))) 2)))) -4) (+ (log 2) (log (/ (cosh (* (* f (PI)) -1/4)) (* (sinh (* (* 1/4 f) (PI))) 2)))) (log 2) 2 (log (/ (cosh (* (* f (PI)) -1/4)) (* (sinh (* (* 1/4 f) (PI))) 2))) (/ (cosh (* (* f (PI)) -1/4)) (* (sinh (* (* 1/4 f) (PI))) 2)) (cosh (* (* f (PI)) -1/4)) (* (* f (PI)) -1/4) (* f (PI)) f (PI) -1/4 (* (sinh (* (* 1/4 f) (PI))) 2) (sinh (* (* 1/4 f) (PI))) (* (* 1/4 f) (PI)) (* 1/4 f) 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 (/ (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))) (/ (/ 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) 1/2) f))) (PI)) -4) (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) (log (/ 2 (* (* (PI) 1/2) f))) (+ (neg (log f)) (log (/ 4 (PI)))) (neg (log f)) (log f) (log (/ 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)))))))) (* (/ (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))) (/ (log (/ 4 (PI))) (PI)) (neg (* (* (pow (/ (PI) 4) -1/2) (pow (/ (PI) 4) -1/2)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (* (pow (/ (PI) 4) -1/2) (pow (/ (PI) 4) -1/2)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (* (pow (/ (PI) 4) -1/2) (pow (/ (PI) 4) -1/2)) (pow (/ (PI) 4) -1/2) (/ (PI) 4) -1/2 (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)) (* (* (PI) 1/2) f) (* (PI) 1/2) 1/2)
238.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))) (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)))) (pow (/ (PI) 4) -1) -1)
212.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))) (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)))) (pow (/ (PI) 4) -1) -1)

preprocess12.3s (6.5%)

Memory

471.1MiB live, 12 561.4MiB allocated; 3.3s collecting garbage

Stop Event

64×	iter limit
62×	node limit
2×	saturated

Samples

595.0ms	6 168×	0	valid
122.0ms	2 088×	0	invalid

Compiler

Compiled 85 085 to 18 745 computations (78% saved)

Precisions

Click to see histograms. Total time spent on operations: 319.0ms

ival-mult!: 240.0ms (75.2% of total)

ival-add!: 78.0ms (24.4% of total)

adjust: 2.0ms (0.6% of total)

derivations10.5s (5.5%)

Memory

15.7MiB live, 8 915.4MiB allocated; 2.7s collecting garbage

Stop Event

29×	fuel
3×	done

Samples

10.0ms	185×	0	valid
4.0ms	71×	0	invalid

Compiler

Compiled 31 600 to 3 949 computations (87.5% saved)

Precisions

Click to see histograms. Total time spent on operations: 6.0ms

ival-mult!: 5.0ms (77.9% of total)

ival-add!: 1.0ms (15.6% of total)

adjust: 0.0ms (0% of total)

eval9.3s (4.9%)

Memory

55.3MiB live, 13 881.9MiB allocated; 2.6s collecting garbage

Samples

289.0ms	5 438×	0	valid
210.0ms	2 754×	0	invalid

Compiler

Compiled 2 928 212 to 249 771 computations (91.5% saved)

Precisions

Click to see histograms. Total time spent on operations: 264.0ms

ival-mult!: 210.0ms (79.6% of total)

ival-add!: 53.0ms (20.1% of total)

adjust: 2.0ms (0.8% of total)

explain8.9s (4.7%)

Memory

-241.1MiB live, 12 488.7MiB allocated; 2.8s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	498	0
`-.f64`	`#f`	cancellation	455	3
`cos.f64`	`#f`	sensitivity	404	0
`+.f64`	`#f`	nan-rescue	257	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	253	1
`*.f64`	`#f`	*no**	226	0
`sqrt.f64`	`#f`	uflow-rescue	156	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	139	0
`tan.f64`	`(tan.f64 (*.f64 (PI.f64) l))`	sensitivity	137	0
`pow.f64`	`#f`	oflow-rescue	124	0
`*.f64`	`#f`	*uo**	123	0
`-.f64`	`#f`	nan-rescue	119	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	20
`*.f64`	`#f`	*nu**	72	0
`cos.f64`	`(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))`	oflow-rescue	64	0
↳	`(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))`	overflow	64
↳	`(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)`	overflow	64
↳	`(*.f64 K (+.f64 m n))`	overflow	64
`*.f64`	`#f`	*ou**	59	0
`/.f64`	`#f`	o/o	58	0
`pow.f64`	`#f`	uflow-rescue	55	0
`+.f64`	`#f`	cancellation	50	0
`/.f64`	`#f`	u/u	48	0
`/.f64`	`#f`	o/n	48	0
`/.f64`	`#f`	n/o	41	0
`/.f64`	`#f`	n/u	38	0
`/.f64`	`#f`	u/n	12	0
`exp.f64`	`#f`	sensitivity	2	0

Confusion

	Predicted +	Predicted -
+	1968	30
-	1148	5046

Precision

0.631578947368421

Recall

0.984984984984985

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1968	1	29
-	1148	23	5023

Precision?

0.6270700636942675

Recall?

0.9854854854854855

Freqs

test

number	freq
0	5076
1	2751
2	321
3	37
4	7

Total Confusion?

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

Precision?

0.9615384615384616

Recall?

1.0

Samples

2.3s	13 294×	0	valid
647.0ms	1 952×	1	valid
237.0ms	738×	2	valid
163.0ms	394×	3	valid
2.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: 2.2s

ival-mult!: 760.0ms (33.9% of total)

ival-div!: 216.0ms (9.6% of total)

ival-sin: 199.0ms (8.9% of total)

adjust: 174.0ms (7.8% of total)

ival-pow2: 118.0ms (5.3% of total)

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

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

ival-exp: 100.0ms (4.5% of total)

ival-add!: 80.0ms (3.6% of total)

ival-pow: 77.0ms (3.4% of total)

ival-sub!: 66.0ms (2.9% of total)

ival-log: 64.0ms (2.9% of total)

ival-tan: 61.0ms (2.7% of total)

ival-acos: 28.0ms (1.3% of total)

ival-neg: 24.0ms (1.1% of total)

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

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

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

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

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

const: 0.0ms (0% of total)

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

analyze8.6s (4.5%)

Memory

76.0MiB live, 9 724.1MiB 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)

prune5.1s (2.7%)

Memory

270.6MiB live, 8 269.7MiB allocated; 1.2s collecting garbage

Counts

56 054 → 2 470

Samples

91.0ms	1 110×	0	valid
23.0ms	426×	0	invalid

Compiler

Compiled 236 291 to 117 347 computations (50.3% saved)

Precisions

Click to see histograms. Total time spent on operations: 60.0ms

ival-add!: 31.0ms (51.3% of total)

ival-mult!: 29.0ms (48% of total)

adjust: 0.0ms (0% of total)

bsearch4.2s (2.2%)

Memory

-23.9MiB live, 5 434.0MiB allocated; 627ms collecting garbage

Algorithm

235×	binary-search
181×	left-value

Stop Event

231×	narrow-enough
4×	predicate-same

Samples

1.9s	15 826×	0	valid
223.0ms	2 037×	0	invalid
104.0ms	253×	2	valid
75.0ms	376×	1	valid
45.0ms	137×	3	valid

Compiler

Compiled 153 832 to 107 623 computations (30% saved)

Precisions

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

ival-mult!: 389.0ms (22.4% of total)

ival-div!: 305.0ms (17.6% of total)

ival-pow: 194.0ms (11.2% of total)

ival-tan: 183.0ms (10.5% of total)

ival-sin: 164.0ms (9.4% of total)

ival-pow2: 114.0ms (6.6% of total)

ival-add!: 107.0ms (6.2% of total)

ival-exp: 66.0ms (3.8% of total)

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

ival-neg: 48.0ms (2.8% of total)

adjust: 43.0ms (2.5% of total)

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

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

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

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

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

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

simplify2.0s (1%)

Memory

-4.3MiB live, 1 929.9MiB allocated; 372ms collecting garbage

Stop Event

31×	node limit
1×	saturated

start2.0ms (0%)

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

end0.0ms (0%)

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

sample1.2min (38.9%)

rewrite27.7s (14.6%)

regimes13.8s (7.3%)

series13.6s (7.2%)

preprocess12.3s (6.5%)

derivations10.5s (5.5%)

eval9.3s (4.9%)

explain8.9s (4.7%)

analyze8.6s (4.5%)

prune5.1s (2.7%)

bsearch4.2s (2.2%)

simplify2.0s (1%)

start2.0ms (0%)

end0.0ms (0%)

Profiling