Metrics for Herbie run

Date:	Wednesday, February 5th, 2025
Commit:	37175ded on really-crazy-encodings
Seed:	2025036
Parameters:	256 points for 4 iterations
Flags:	`reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylor` `-o generate:simplify-o generate:proofs`
Memory:	236 553.6 MB

sample3.0min (40.2%)

Memory

591.4MiB live, 111 298.4MiB allocated; 36.3s collecting garbage

Samples

1.3min	224 238×	0	valid
22.9s	23 773×	1	valid
15.4s	65 124×	0	invalid
9.9s	13 852×	1	invalid
5.9s	6 332×	3	valid
5.7s	9 844×	2	valid
601.0ms	1 602×	2	invalid
49.0ms	263×	0	exit
2.0ms	5×	4	valid

Precisions

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

ival-mult: 31.2s (30.3% of total)

ival-div: 12.6s (12.3% of total)

ival-sin: 7.4s (7.2% of total)

ival-add: 7.1s (7% of total)

ival-sub: 6.6s (6.4% of total)

ival-sqrt: 6.3s (6.1% of total)

ival-pow: 6.0s (5.8% of total)

ival-pow2: 5.2s (5.1% of total)

adjust: 4.6s (4.5% of total)

ival-exp: 4.6s (4.4% of total)

ival-neg: 2.2s (2.2% of total)

ival-hypot: 1.7s (1.6% of total)

ival-cos: 1.6s (1.6% of total)

ival-log: 1.1s (1.1% of total)

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

ival-pi: 1.1s (1.1% of total)

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

exact: 402.0ms (0.4% of total)

ival-asin: 321.0ms (0.3% of total)

ival-tanu: 166.0ms (0.2% of total)

const: 137.0ms (0.1% of total)

ival-assert: 120.0ms (0.1% of total)

ival-atan: 87.0ms (0.1% of total)

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

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

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

Bogosity

rewrite2.1min (28%)

Memory

380.9MiB live, 32 336.8MiB allocated; 6.6s collecting garbage

Stop Event

248×	saturated
120×	node limit
39×	iter limit
4×	unsound

Counts

26 771 → 42 334

series30.4s (6.8%)

Memory

-249.2MiB live, 18 274.0MiB allocated; 3.8s collecting garbage

Counts

4 321 → 23 042

Calls

1179 calls:

Time	Variable		Point	Expression
2.0s	f	@	inf	((+ (log (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (/ (/ -1 (/ (PI) 4)) 2))) (log (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (/ (/ -1 (/ (PI) 4)) 2)))) (log (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (/ (/ -1 (/ (PI) 4)) 2))) (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (/ (/ -1 (/ (PI) 4)) 2)) (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (cosh (* (/ (PI) 4) f)) (* (/ (PI) 4) f) (/ (PI) 4) (PI) 4 f (sinh (* (/ (PI) 4) f)) (/ (/ -1 (/ (PI) 4)) 2) (/ -1 (/ (PI) 4)) -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)))))))) (/ (* -4 (log (/ (/ 2 f) (* (PI) 1/2)))) (PI)) (* -4 (log (/ (/ 2 f) (* (PI) 1/2)))) -4 (log (/ (/ 2 f) (* (PI) 1/2))) (/ (/ 2 f) (* (PI) 1/2)) (/ 4 (* (PI) f)) (* (PI) f) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (/ (* -4 (- (log (/ 2 f)) (log (* (PI) 1/2)))) (PI)) (* -4 (- (log (/ 2 f)) (log (* (PI) 1/2)))) (- (log (/ 2 f)) (log (* (PI) 1/2))) (log (/ 2 f)) (/ 2 f) (log (* (PI) 1/2)) (* (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 (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 (cosh (* 1/4 (* (PI) f)))) (* 2 (sinh (* 1/4 (* (PI) f))))) (* 2 (cosh (* 1/4 (* (PI) f)))) (cosh (* 1/4 (* (PI) f))) (* 1/4 (* (PI) f)) 1/4 (* 2 (sinh (* 1/4 (* (PI) f)))) (* 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))))) (/ (+ (* f (+ (* (/ (PI) (* (PI) 1/2)) 0) (* f (+ (* (/ (pow (PI) 2) (PI)) 1/8) (* -2 (/ (* (pow (PI) 3) 1/192) (pow (* (PI) 1/2) 2))))))) (/ 2 (* (PI) 1/2))) f) (+ (* f (+ (* (/ (PI) (* (PI) 1/2)) 0) (* f (+ (* (/ (pow (PI) 2) (PI)) 1/8) (* -2 (/ (* (pow (PI) 3) 1/192) (pow (* (PI) 1/2) 2))))))) (/ 2 (* (PI) 1/2))) (+ (* (/ (PI) (* (PI) 1/2)) 0) (* f (+ (* (/ (pow (PI) 2) (PI)) 1/8) (* -2 (/ (* (pow (PI) 3) 1/192) (pow (* (PI) 1/2) 2)))))) (/ (PI) (* (PI) 1/2)) 0 (* f (+ (* (/ (pow (PI) 2) (PI)) 1/8) (* -2 (/ (* (pow (PI) 3) 1/192) (pow (* (PI) 1/2) 2))))) (+ (* (/ (pow (PI) 2) (PI)) 1/8) (* -2 (/ (* (pow (PI) 3) 1/192) (pow (* (PI) 1/2) 2)))) (/ (pow (PI) 2) (PI)) (pow (PI) 2) 1/8 (* -2 (/ (* (pow (PI) 3) 1/192) (pow (* (PI) 1/2) 2))) -2 (/ (* (pow (PI) 3) 1/192) (pow (* (PI) 1/2) 2)) (* (pow (PI) 3) 1/192) (pow (PI) 3) 3 1/192 (pow (* (PI) 1/2) 2) (/ 2 (* (PI) 1/2)))
1.8s	f	@	inf	((* 2 (log (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (/ (/ -1 (/ (PI) 4)) 2)))) 2 (log (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (/ (/ -1 (/ (PI) 4)) 2))) (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (/ (/ -1 (/ (PI) 4)) 2)) (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (cosh (* (/ (PI) 4) f)) (* (/ (PI) 4) f) (/ (PI) 4) (PI) 4 f (sinh (* (/ (PI) 4) f)) (/ (/ -1 (/ (PI) 4)) 2) (/ -1 (/ (PI) 4)) -1 (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 (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))))) (/ (+ (* f (+ (* (/ (PI) (* (PI) 1/2)) 0) (* f (+ (* (/ (pow (PI) 2) (PI)) 1/8) (* -2 (/ (* (pow (PI) 3) 1/192) (pow (* (PI) 1/2) 2))))))) (/ 2 (* (PI) 1/2))) f) (* f (* (PI) 1/12)) (* (PI) 1/12) 1/12 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (/ (* -4 (- (log (/ (/ 2 f) (PI))) (log 1/2))) (PI)) (* -4 (- (log (/ (/ 2 f) (PI))) (log 1/2))) -4 (- (log (/ (/ 2 f) (PI))) (log 1/2)) (log (/ (/ 2 f) (PI))) (/ (/ 2 f) (PI)) (/ 2 f) (log 1/2) 1/2 (neg (* (/ 1 (/ (PI) 4)) (- (log (* 2 (cosh (* (/ (PI) 4) f)))) (log (* 2 (sinh (* (/ (PI) 4) f))))))) (* (/ 1 (/ (PI) 4)) (- (log (* 2 (cosh (* (/ (PI) 4) f)))) (log (* 2 (sinh (* (/ (PI) 4) f)))))) (- (log (* 2 (cosh (* (/ (PI) 4) f)))) (log (* 2 (sinh (* (/ (PI) 4) f))))) (log (* 2 (cosh (* (/ (PI) 4) f)))) (* 2 (cosh (* (/ (PI) 4) f))) (+ (* (pow (* (PI) f) 2) 1/16) 2) (pow (* (PI) f) 2) (* (PI) f) 1/16 (log (* 2 (sinh (* (/ (PI) 4) f)))) (* 2 (sinh (* (/ (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)))))))) (/ (* -4 (/ (- (pow (log 2) 3) (pow (log (* f (* (PI) 1/2))) 3)) (+ (pow (log 2) 2) (+ (pow (log (* f (* (PI) 1/2))) 2) (* (log 2) (log (* f (* (PI) 1/2)))))))) (PI)) (* -4 (/ (- (pow (log 2) 3) (pow (log (* f (* (PI) 1/2))) 3)) (+ (pow (log 2) 2) (+ (pow (log (* f (* (PI) 1/2))) 2) (* (log 2) (log (* f (* (PI) 1/2)))))))) (/ (- (pow (log 2) 3) (pow (log (* f (* (PI) 1/2))) 3)) (+ (pow (log 2) 2) (+ (pow (log (* f (* (PI) 1/2))) 2) (* (log 2) (log (* f (* (PI) 1/2))))))) (- (pow (log 2) 3) (pow (log (* f (* (PI) 1/2))) 3)) (pow (log 2) 3) (log 2) 3 (pow (log (* f (* (PI) 1/2))) 3) (log (* f (* (PI) 1/2))) (* f (* (PI) 1/2)) (* (PI) 1/2) (+ (pow (log 2) 2) (+ (pow (log (* f (* (PI) 1/2))) 2) (* (log 2) (log (* f (* (PI) 1/2)))))) (pow (log 2) 2) (+ (pow (log (* f (* (PI) 1/2))) 2) (* (log 2) (log (* f (* (PI) 1/2))))) (pow (log (* f (* (PI) 1/2))) 2) (* (log 2) (log (* f (* (PI) 1/2)))))
1.3s	f	@	-inf	((neg (* (/ 1 (/ (PI) 4)) (- (log (* 2 (cosh (* (/ (PI) 4) f)))) (log (* 2 (sinh (* (/ (PI) 4) f))))))) (* (/ 1 (/ (PI) 4)) (- (log (* 2 (cosh (* (/ (PI) 4) f)))) (log (* 2 (sinh (* (/ (PI) 4) f)))))) (/ 1 (/ (PI) 4)) 1 (/ (PI) 4) (PI) 4 (- (log (* 2 (cosh (* (/ (PI) 4) f)))) (log (* 2 (sinh (* (/ (PI) 4) f))))) (log (* 2 (cosh (* (/ (PI) 4) f)))) (* 2 (cosh (* (/ (PI) 4) f))) 2 (cosh (* (/ (PI) 4) f)) (* (/ (PI) 4) f) f (log (* 2 (sinh (* (/ (PI) 4) f)))) (* 2 (sinh (* (/ (PI) 4) f))) (sinh (* (/ (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)))))))) (/ (* -4 (log (/ (/ 2 f) (* (PI) 1/2)))) (PI)) (* -4 (log (/ (/ 2 f) (* (PI) 1/2)))) -4 (log (/ (/ 2 f) (* (PI) 1/2))) (/ (/ 2 f) (* (PI) 1/2)) (/ 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))))))) (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 (/ (+ (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))))) (/ (* 2 (cosh (* 1/4 (* (PI) f)))) (* 2 (sinh (* 1/4 (* (PI) f))))) (* 2 (cosh (* 1/4 (* (PI) f)))) (cosh (* 1/4 (* (PI) f))) (* 1/4 (* (PI) f)) 1/4 (* (PI) f) (* 2 (sinh (* 1/4 (* (PI) f)))) (sinh (* 1/4 (* (PI) f))) (log (pow (* 1 (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f)))) (neg (/ 1 (/ (PI) 4))))) (pow (* 1 (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f)))) (neg (/ 1 (/ (PI) 4)))) (* 1 (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f)))) (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (neg (/ 1 (/ (PI) 4))))
998.0ms	K	@	0	((* (* (* -2 J) (cos (/ K 2))) (sqrt (+ 1 (pow (/ U (* (* 2 J) (cos (/ K 2)))) 2)))) (* (* -2 J) (cos (/ K 2))) (* -2 J) -2 J (cos (/ K 2)) (/ K 2) K 2 (sqrt (+ 1 (pow (/ U (* (* 2 J) (cos (/ K 2)))) 2))) (+ 1 (pow (/ U (* (* 2 J) (cos (/ K 2)))) 2)) 1 (pow (/ U (* (* 2 J) (cos (/ K 2)))) 2) (/ U (* (* 2 J) (cos (/ K 2)))) U (* (* 2 J) (cos (/ K 2))) (* (+ J J) (cos (* K 1/2))) (+ J J) (cos (* K 1/2)) (* K 1/2) 1/2 (* (* (* -2 J) (cos (/ K 2))) (sqrt (+ 1 (pow (/ U (* (* 2 J) (cos (/ K 2)))) 2)))) (* (* (* -2 J) (cos (/ K 2))) (sqrt (+ 1 (pow (/ U (* (* 2 J) (cos (/ K 2)))) 2)))) (* (* -2 J) (cos (* K 1/2))) (* (* (* -2 J) (cos (/ K 2))) (sqrt (+ 1 (pow (/ U (* (* 2 J) (cos (/ K 2)))) 2)))) (sqrt (+ 1 (pow (/ U (* (* 2 J) (cos (/ K 2)))) 2))) (/ (* -1/2 U) (* J (cos (* K 1/2)))) (* -1/2 U) -1/2 (* J (cos (* K 1/2))) (* (* (* -2 J) (cos (/ K 2))) (sqrt (+ 1 (pow (/ U (* (* 2 J) (cos (/ K 2)))) 2)))) (neg (* U (- (/ (* -2 (pow (* J (cos (* K 1/2))) 2)) (pow U 2)) 1))) (* U (- (/ (* -2 (pow (* J (cos (* K 1/2))) 2)) (pow U 2)) 1)) (- (/ (* -2 (pow (* J (cos (* K 1/2))) 2)) (pow U 2)) 1) (/ (* -2 (pow (* J (cos (* K 1/2))) 2)) (pow U 2)) (* -2 (pow (* J (cos (* K 1/2))) 2)) (pow (* J (cos (* K 1/2))) 2) (pow U 2))
922.0ms	d	@	-inf	((* (* (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))) (pow (/ d h) (/ 1 2)) (/ d h) d h (/ 1 2) 1 2 (pow (/ d l) (/ 1 2)) (/ d l) l (- 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) M D (* 2 d) (/ h l))

explain22.6s (5.1%)

Memory

-41.8MiB live, 14 008.4MiB allocated; 2.7s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	461	0
`-.f64`	`#f`	cancellation	448	2
`cos.f64`	`#f`	sensitivity	406	1
`*.f64`	`#f`	*no**	260	0
`+.f64`	`#f`	nan-rescue	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	252	3
`sqrt.f64`	`#f`	uflow-rescue	169	0
`pow.f64`	`#f`	oflow-rescue	163	0
`*.f64`	`#f`	*uo**	133	0
`tan.f64`	`(tan.f64 (*.f64 (PI.f64) l))`	sensitivity	129	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	126	2
`-.f64`	`#f`	nan-rescue	120	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	20
`/.f64`	`#f`	o/o	83	0
`*.f64`	`#f`	*nu**	58	0
`cos.f64`	`(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))`	oflow-rescue	57	0
↳	`(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))`	overflow	57
↳	`(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)`	overflow	57
↳	`(*.f64 K (+.f64 m n))`	overflow	57
`*.f64`	`#f`	*ou**	57	0
`/.f64`	`#f`	u/u	52	0
`+.f64`	`#f`	cancellation	52	0
`pow.f64`	`#f`	uflow-rescue	51	0
`/.f64`	`#f`	o/n	51	0
`/.f64`	`#f`	n/o	39	0
`/.f64`	`#f`	n/u	35	0
`/.f64`	`#f`	u/n	14	0
`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	5	0
`tan.f64`	`(tan.f64 (*.f64 (PI.f64) l))`	oflow-rescue	1	0
↳	`(*.f64 (PI.f64) l)`	overflow	1

Confusion

	Predicted +	Predicted -
+	2003	35
-	1139	5015

Precision

0.6374920432845321

Recall

0.9828263002944063

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	2003	5	30
-	1139	23	4992

Precision?

0.6334384858044164

Recall?

0.985279685966634

Freqs

test

number	freq
0	5050
1	2761
2	345
3	29
4	6
5	1

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	25	0	0
-	0	0	7

Precision?

1.0

Recall?

1.0

Samples

3.8s	13 344×	0	valid
1.9s	1 918×	1	valid
314.0ms	742×	2	valid
184.0ms	370×	3	valid
10.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: 3.8s

ival-mult: 1.9s (50.2% of total)

ival-div: 345.0ms (9.1% of total)

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

ival-sub: 224.0ms (5.9% of total)

adjust: 199.0ms (5.2% of total)

ival-pow: 145.0ms (3.8% of total)

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

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

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

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

ival-cos: 78.0ms (2% of total)

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

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

ival-neg: 28.0ms (0.7% of total)

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

exact: 20.0ms (0.5% of total)

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

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

ival-log: 13.0ms (0.3% of total)

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

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

const: 8.0ms (0.2% of total)

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

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

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

regimes19.7s (4.4%)

Memory

192.3MiB live, 12 894.8MiB allocated; 2.1s collecting garbage

Stop Event

3×	fuel
2×	done

Counts

5 679 → 520

Calls

146 calls:

2.1s	(*.f64 l l)
1.3s	l
1.1s	EDonor
1.0s	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal 1 binary64)))
971.0ms	B

Compiler

Compiled 10 102 to 9 989 computations (1.1% saved)

analyze17.4s (3.9%)

Memory

249.2MiB live, 14 337.6MiB allocated; 3.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)

eval15.8s (3.5%)

Memory: 37.7MiB live, 13 351.1MiB allocated; 3.2s collecting garbage
Compiler: Compiled 3 036 180 to 233 566 computations (92.3% saved)

preprocess15.3s (3.4%)

Memory

398.2MiB live, 7 717.9MiB allocated; 1.1s collecting garbage

Stop Event

62×	node limit
34×	saturated
32×	iter limit

Compiler

Compiled 88 325 to 26 993 computations (69.4% saved)

prune14.9s (3.3%)

Memory: 0.3MiB live, 7 518.9MiB allocated; 1.0s collecting garbage
Counts: 51 645 → 2 198
Compiler: Compiled 207 877 to 102 030 computations (50.9% saved)

bsearch5.6s (1.3%)

Memory

152.9MiB live, 4 810.3MiB allocated; 1.6s collecting garbage

Algorithm

180×	binary-search
85×	left-value

Stop Event

172×	narrow-enough
23×	fuel
8×	predicate-same
1×	done

Samples

3.4s	11 539×	0	valid
308.0ms	1 880×	0	invalid
106.0ms	399×	1	valid
42.0ms	108×	2	valid
28.0ms	50×	3	valid
25.0ms	68×	1	invalid
4.0ms	12×	2	invalid

Compiler

Compiled 137 752 to 84 700 computations (38.5% saved)

Precisions

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

ival-mult: 1.1s (33.8% of total)

ival-add: 735.0ms (22.7% of total)

ival-div: 595.0ms (18.4% of total)

ival-pow: 153.0ms (4.7% of total)

ival-sin: 131.0ms (4.1% of total)

ival-tan: 123.0ms (3.8% of total)

ival-sub: 83.0ms (2.6% of total)

adjust: 73.0ms (2.3% of total)

ival-pow2: 68.0ms (2.1% of total)

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

ival-exp: 33.0ms (1% of total)

ival-sqrt: 24.0ms (0.7% of total)

exact: 14.0ms (0.4% of total)

const: 11.0ms (0.3% of total)

ival-true: 11.0ms (0.3% of total)

ival-cos: 10.0ms (0.3% of total)

ival-assert: 6.0ms (0.2% of total)

ival-tanu: 6.0ms (0.2% of total)

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

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

ival-log: 4.0ms (0.1% of total)

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

start2.0ms (0%)

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

end0.0ms (0%)

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

sample3.0min (40.2%)

rewrite2.1min (28%)

series30.4s (6.8%)

explain22.6s (5.1%)

regimes19.7s (4.4%)

analyze17.4s (3.9%)

eval15.8s (3.5%)

preprocess15.3s (3.4%)

prune14.9s (3.3%)

bsearch5.6s (1.3%)

start2.0ms (0%)

end0.0ms (0%)

Profiling