Metrics for Herbie run

Date:	Wednesday, September 11th, 2024
Commit:	b5881a3c on zane-concrete-values
Hostname:	nightly with Racket 8.11.1
Seed:	2024255
Parameters:	256 points for 4 iterations
Flags:	`localize:costslocalize:errorsreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default

sample1.4min (23.7%)

Memory

236.6MiB live, 103 965.8MiB allocated

Samples

34.0s	225 656×	0	valid
9.9s	65 569×	0	invalid
6.8s	22 777×	1	valid
4.4s	12 188×	1	invalid
3.6s	9 536×	2	valid
2.9s	6 222×	3	valid
463.0ms	1 903×	1	exit
159.0ms	504×	2	invalid
30.0ms	229×	0	exit
1.0ms	2×	5	exit
0.0ms	1×	4	valid
0.0ms	1×	3	exit

Precisions

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

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

ival-div: 7.7s (15.9% of total)

ival-sub: 3.3s (6.8% of total)

ival-add: 3.1s (6.3% of total)

ival-sqrt: 2.8s (5.8% of total)

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

ival-exp: 2.7s (5.6% of total)

adjust: 2.3s (4.9% of total)

ival-pow: 2.2s (4.7% of total)

ival-sin: 2.2s (4.6% of total)

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

ival-cos: 885.0ms (1.8% of total)

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

ival-hypot: 705.0ms (1.5% of total)

ival-acos: 654.0ms (1.4% of total)

const: 493.0ms (1% of total)

ival-pi: 451.0ms (0.9% of total)

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

exact: 356.0ms (0.7% of total)

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

ival-fabs: 279.0ms (0.6% of total)

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

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

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

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

ival-<: 51.0ms (0.1% of total)

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

Bogosity

simplify53.7s (15.3%)

Memory

690.1MiB live, 57 778.8MiB allocated

Algorithm

286×	egg-herbie

Rules

2 529 204×	`lower-fma.f32`
2 528 584×	`lower-fma.f64`
1 269 506×	`lower-*.f32`
1 267 282×	`lower-*.f64`
668 764×	`lower-+.f32`

Stop Event

381×	iter limit
224×	node limit
62×	saturated

Counts

70 788 → 70 298

soundness41.7s (11.9%)

Memory

238.5MiB live, 32 175.1MiB allocated

Rules

1 456 972×	`lower-fma.f32`
1 456 530×	`lower-fma.f64`
983 020×	`lower-*.f32`
981 254×	`lower-*.f64`
479 600×	`lower-/.f32`

Stop Event

269×	iter limit
177×	node limit
30×	fuel
2×	done

Compiler

Compiled 38 417 to 20 470 computations (46.7% saved)

eval35.1s (10%)

Memory: 415.7MiB live, 48 633.9MiB allocated
Compiler: Compiled 5 504 501 to 451 160 computations (91.8% saved)

rewrite28.3s (8.1%)

Memory

-387.0MiB live, 32 494.9MiB allocated

Rules

595 406×	`lower-*.f32`
593 200×	`lower-*.f64`
566 444×	`lower-fma.f32`
565 824×	`lower-fma.f64`
457 180×	`lower-/.f32`

Stop Event

255×	iter limit
127×	node limit

Counts

2 445 → 86 225

localize25.5s (7.3%)

Memory

-478.0MiB live, 33 117.8MiB allocated

Samples

9.8s	23 630×	0	valid
4.3s	4 250×	1	valid
2.3s	1 715×	2	valid
1.4s	795×	3	valid
752.0ms	154×	5	exit
736.0ms	1 757×	0	invalid
65.0ms	143×	0	exit
38.0ms	24×	3	exit
34.0ms	11×	1	exit
24.0ms	33×	2	exit

Compiler

Compiled 47 314 to 5 410 computations (88.6% saved)

Precisions

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

ival-mult: 4.4s (30.8% of total)

ival-div: 2.2s (15.4% of total)

ival-add: 1.3s (9.1% of total)

adjust: 1.2s (8.2% of total)

ival-cos: 766.0ms (5.4% of total)

ival-sqrt: 710.0ms (5% of total)

ival-pow: 644.0ms (4.5% of total)

ival-sub: 504.0ms (3.5% of total)

ival-pow2: 443.0ms (3.1% of total)

const: 305.0ms (2.1% of total)

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

ival-sin: 240.0ms (1.7% of total)

ival-acos: 218.0ms (1.5% of total)

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

ival-asin: 215.0ms (1.5% of total)

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

ival-tan: 105.0ms (0.7% of total)

ival-hypot: 88.0ms (0.6% of total)

exact: 73.0ms (0.5% of total)

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

ival-true: 32.0ms (0.2% of total)

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

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

ival-cbrt: 27.0ms (0.2% of total)

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

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

ival-sinh: 14.0ms (0.1% of total)

ival-tanh: 11.0ms (0.1% of total)

ival-sinu: 6.0ms (0% of total)

ival-cosh: 5.0ms (0% of total)

ival-cosu: 5.0ms (0% of total)

regimes19.7s (5.6%)

Memory

64.8MiB live, 27 978.3MiB allocated

Counts

11 805 → 777

Calls

156 calls:

1.1s	l
658.0ms	t
648.0ms	x
522.0ms	d
459.0ms	k

Compiler

Compiled 12 795 to 12 965 computations (-1.3% saved)

series15.0s (4.3%)

Memory

-232.6MiB live, 20 162.8MiB allocated

Counts

2 445 → 70 788

Calls

1197 calls:

Time	Variable		Point	Expression
172.0ms	f	@	-inf	((pow (/ 4 (PI)) 1/2) (* (pow (/ 4 (PI)) 1/2) (* (pow (/ 4 (PI)) 1/2) (log (tanh (* f (* 1/4 (PI))))))) (/ 4 (PI)) (PI) (/ 1 (/ (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)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 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 (/ 4 (PI))) (log f)) (/ -4 (PI))) (- (log (/ 4 (PI))) (log f)) (log (/ 4 (PI))) (/ 1 (/ 1 (neg (log (tanh (* f (* 1/4 (PI)))))))) (neg (* (/ 1 (/ (PI) 4)) (/ 1 (/ 1 (neg (log (tanh (* f (* 1/4 (PI)))))))))) (* (/ 1 (/ (PI) 4)) (/ 1 (/ 1 (neg (log (tanh (* f (* 1/4 (PI))))))))) (* (pow (* (cosh (* f (* 1/4 (PI)))) 2) -1) (sinh (* f (* 1/4 (PI))))) (pow (* (cosh (* f (* 1/4 (PI)))) 2) -1) (log (/ 1/2 (* (pow (* (cosh (* f (* 1/4 (PI)))) 2) -1) (sinh (* f (* 1/4 (PI))))))) (log (tanh (* f (* 1/4 (PI))))) (* f (* 1/4 (PI))) (/ (+ (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)))))) (/ 1 (neg (log (tanh (* f (* 1/4 (PI))))))) (* (/ 1 (/ (PI) 4)) (log (/ 1/2 (* (pow (* (cosh (* f (* 1/4 (PI)))) 2) -1) (sinh (* f (* 1/4 (PI)))))))) (/ 1/2 (* (pow (* (cosh (* f (* 1/4 (PI)))) 2) -1) (sinh (* f (* 1/4 (PI)))))))
79.0ms	f	@	-inf	((* (/ 2 (sqrt (PI))) (* (log (tanh (* (* f (PI)) 1/4))) (/ 2 (sqrt (PI))))) (/ 2 (sqrt (PI))) (sqrt (PI)) (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 (* (* f (PI)) 1/4)) (* 1/4 (PI))) (log (* (* f (PI)) 1/4)) (* (* f (PI)) 1/4) (/ 1 (/ (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)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ (PI) 4) (* (/ 4 (PI)) (log (tanh (* f (* 1/4 (PI)))))) (/ 4 (PI)) (log (tanh (* f (* 1/4 (PI))))) (pow (pow (* 1/4 (PI)) -1/2) 2) (+ (* -2 (* (* (* (PI) 2) 2) 1/192)) (* (* 1/16 (PI)) 2)) (* (* (* (PI) 2) 2) 1/192) (* (* (PI) 2) 2) (log (tanh (* (* f (PI)) 1/4))) (* f (PI)) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (* 1/12 (PI)) (* (* 1/12 (PI)) f) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (* f (* 1/4 (PI))) (tanh (* f (* 1/4 (PI)))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))
78.0ms	f	@	inf	((pow (/ 4 (PI)) 1/2) (* (pow (/ 4 (PI)) 1/2) (* (pow (/ 4 (PI)) 1/2) (log (tanh (* f (* 1/4 (PI))))))) (/ 4 (PI)) (PI) (/ 1 (/ (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)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 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 (/ 4 (PI))) (log f)) (/ -4 (PI))) (- (log (/ 4 (PI))) (log f)) (log (/ 4 (PI))) (/ 1 (/ 1 (neg (log (tanh (* f (* 1/4 (PI)))))))) (neg (* (/ 1 (/ (PI) 4)) (/ 1 (/ 1 (neg (log (tanh (* f (* 1/4 (PI)))))))))) (* (/ 1 (/ (PI) 4)) (/ 1 (/ 1 (neg (log (tanh (* f (* 1/4 (PI))))))))) (* (pow (* (cosh (* f (* 1/4 (PI)))) 2) -1) (sinh (* f (* 1/4 (PI))))) (pow (* (cosh (* f (* 1/4 (PI)))) 2) -1) (log (/ 1/2 (* (pow (* (cosh (* f (* 1/4 (PI)))) 2) -1) (sinh (* f (* 1/4 (PI))))))) (log (tanh (* f (* 1/4 (PI))))) (* f (* 1/4 (PI))) (/ (+ (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)))))) (/ 1 (neg (log (tanh (* f (* 1/4 (PI))))))) (* (/ 1 (/ (PI) 4)) (log (/ 1/2 (* (pow (* (cosh (* f (* 1/4 (PI)))) 2) -1) (sinh (* f (* 1/4 (PI)))))))) (/ 1/2 (* (pow (* (cosh (* f (* 1/4 (PI)))) 2) -1) (sinh (* f (* 1/4 (PI)))))))
77.0ms	l	@	0	((/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1))) (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1)) (* (/ (* k (* (/ k l) t)) l) (/ (pow (sin k) 2) (cos k))) (/ (* k (* (/ k l) t)) l) (/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1))) (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1)) (* (* 2 (* k k)) (* (* t t) (/ t (* l l)))) (* 2 (* k k)) (/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1))) (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1)) (* (/ (/ (pow (sin k) 2) l) (* l (cos k))) (+ (* (pow t 3) 2) (* t (* k k)))) (/ (/ (pow (sin k) 2) l) (* l (cos k))) (exp (+ (* -2 (log l)) (* 3 (log t)))) (/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1))) (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1)) (* (* 2 (* k k)) (exp (+ (* -2 (log l)) (* 3 (log t))))) (/ (* (* (neg t) (/ t l)) (sin k)) (neg l)) (+ (+ 1 (pow (/ k t) 2)) 1) (* (* (* t (/ (* (* (neg t) (/ t l)) (sin k)) (neg l))) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1)) (* (* t (/ (* (* (neg t) (/ t l)) (sin k)) (neg l))) (tan k)) (* (/ k l) t) (* k (* (/ k l) t)) (/ t (* l l)) (* (* t t) (/ t (* l l))) (/ (* k k) l) (* t (* k k)) (* (* (neg t) (/ t l)) (sin k)))
77.0ms	f	@	-inf	((* (/ 2 (sqrt (PI))) (* (log (tanh (/ f (/ 4 (PI))))) (/ 2 (sqrt (PI))))) (/ f (/ 4 (PI))) (/ 2 (sqrt (PI))) (sqrt (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 (/ f (/ 4 (PI)))) (/ 4 (PI)) (/ (/ (* -4 (log (/ (/ 4 (PI)) f))) (sqrt (PI))) (sqrt (PI))) (/ (* -4 (log (/ (/ 4 (PI)) f))) (sqrt (PI))) (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 (/ (/ 4 (PI)) f))) (+ (* -2 (* (* (* (PI) 2) 2) 1/192)) (* (* 1/16 (PI)) 2)) (/ (PI) 4) (/ 1 (/ (PI) 4)) (* (* (* (PI) 2) 2) 1/192) (- (/ (log 4) (* -1/4 (PI))) (/ (log (* f (PI))) (* -1/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 4) (* -1/4 (PI))) (log 4) (log (tanh (/ f (/ 4 (PI))))) (/ (log (/ f (/ 4 (PI)))) (* 1/4 (PI))) (/ (/ 4 (PI)) f) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (* (+ (* -2 (* (* (* (PI) 2) 2) 1/192)) (* (* 1/16 (PI)) 2)) f) (/ (log (* f (PI))) (* -1/4 (PI))) (* f (PI)))

prune13.4s (3.8%)

Memory: -254.3MiB live, 22 087.7MiB allocated
Counts: 181 143 → 3 285
Compiler: Compiled 142 399 to 90 789 computations (36.2% saved)

preprocess11.4s (3.3%)

Memory

170.5MiB live, 11 877.6MiB allocated

Algorithm

32×	egg-herbie

Rules

229 844×	`lower-fma.f64`
229 844×	`lower-fma.f32`
79 498×	`lower-*.f32`
79 270×	`lower-*.f64`
36 848×	`lower-/.f32`

Stop Event

64×	iter limit
41×	node limit
23×	saturated

Compiler

Compiled 45 629 to 15 421 computations (66.2% saved)

explain9.6s (2.7%)

Memory

-81.0MiB live, 13 154.9MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	481	0
`-.f64`	`#f`	cancellation	439	2
`cos.f64`	`#f`	sensitivity	404	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**	243	0
`+.f64`	`#f`	nan-rescue	240	0
`sqrt.f64`	`#f`	uflow-rescue	161	0
`*.f64`	`#f`	*uo**	134	0
`pow.f64`	`#f`	oflow-rescue	132	0
`tan.f64`	`(tan.f64 (*.f64 (PI.f64) l))`	sensitivity	131	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	128	0
`-.f64`	`#f`	nan-rescue	111	0
`/.f64`	`#f`	o/o	86	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	83	25
`+.f64`	`#f`	cancellation	63	0
`pow.f64`	`#f`	uflow-rescue	60	0
`*.f64`	`#f`	*nu**	60	0
`*.f64`	`#f`	*ou**	60	0
`cos.f64`	`(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))`	oflow-rescue	59	0
↳	`(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))`	overflow	59
↳	`(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)`	overflow	59
↳	`(*.f64 K (+.f64 m n))`	overflow	59
`/.f64`	`#f`	u/u	54	0
`/.f64`	`#f`	o/n	53	0
`/.f64`	`#f`	n/o	38	0
`/.f64`	`#f`	n/u	32	0
`/.f64`	`#f`	u/n	11	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	7	0
`exp.f64`	`#f`	sensitivity	5	2
`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))))))`	oflow-rescue	1	0
↳	`(exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))`	overflow	10
↳	`(/.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)))))`	overflow	1
↳	`(-.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))))`	overflow	5
↳	`(+.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))))`	overflow	5

Confusion

	Predicted +	Predicted -
+	1932	26
-	1159	5075

Precision

0.6250404399870592

Recall

0.9867211440245148

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1932	0	26
-	1159	28	5047

Precision?

0.6194293042641872

Recall?

0.9867211440245148

Freqs

test

number	freq
0	5101
1	2703
2	346
3	32
4	10

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	26	0	0
-	0	0	6

Precision?

1.0

Recall?

1.0

Samples

2.0s	13 368×	0	valid
735.0ms	1 924×	1	valid
299.0ms	710×	2	valid
156.0ms	370×	3	valid
46.0ms	12×	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: 532.0ms (24% of total)

ival-div: 361.0ms (16.3% of total)

ival-add: 144.0ms (6.5% of total)

ival-sqrt: 139.0ms (6.3% of total)

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

adjust: 115.0ms (5.2% of total)

ival-sin: 115.0ms (5.2% of total)

ival-pow2: 107.0ms (4.8% of total)

ival-exp: 101.0ms (4.6% of total)

ival-pow: 87.0ms (3.9% of total)

ival-cos: 80.0ms (3.6% of total)

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

ival-hypot: 34.0ms (1.5% of total)

ival-log: 33.0ms (1.5% of total)

ival-pi: 30.0ms (1.4% of total)

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

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

exact: 20.0ms (0.9% of total)

ival-true: 17.0ms (0.8% of total)

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

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

const: 9.0ms (0.4% of total)

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

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

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

analyze9.4s (2.7%)

Memory

-7.0MiB live, 12 933.8MiB allocated

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.7%	42.9%	1.8%	0%	10.6%	0%	9
52.2%	45.5%	41.7%	1.8%	0%	11%	0%	10
53.9%	46.8%	39.9%	1.8%	0%	11.5%	0%	11
55.7%	47.9%	38.2%	1.8%	0%	12.2%	0%	12

Compiler

Compiled 798 to 574 computations (28.1% saved)

bsearch4.9s (1.4%)

Memory

-81.4MiB live, 5 359.7MiB allocated

Algorithm

230×	left-value
186×	binary-search

Stop Event

174×	narrow-enough
12×	predicate-same

Samples

2.8s	13 188×	0	valid
332.0ms	2 502×	0	invalid
110.0ms	445×	1	valid
39.0ms	143×	2	valid
20.0ms	87×	1	invalid
10.0ms	32×	3	valid
1.0ms	5×	2	invalid

Compiler

Compiled 47 664 to 42 974 computations (9.8% saved)

Precisions

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

ival-mult: 647.0ms (25.6% of total)

ival-div: 389.0ms (15.4% of total)

ival-sin: 309.0ms (12.2% of total)

ival-pow: 265.0ms (10.5% of total)

ival-add: 202.0ms (8% of total)

ival-tan: 155.0ms (6.1% of total)

ival-sub: 146.0ms (5.8% of total)

ival-neg: 123.0ms (4.9% of total)

ival-pow2: 85.0ms (3.4% of total)

ival-cos: 46.0ms (1.8% of total)

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

adjust: 30.0ms (1.2% of total)

ival-exp: 28.0ms (1.1% of total)

exact: 17.0ms (0.7% of total)

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

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

const: 7.0ms (0.3% of total)

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

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

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

start1.0ms (0%)

Memory: 3.1MiB live, 3.0MiB allocated

end0.0ms (0%)

Memory: 0.7MiB live, 0.7MiB allocated

sample1.4min (23.7%)

simplify53.7s (15.3%)

soundness41.7s (11.9%)

eval35.1s (10%)

rewrite28.3s (8.1%)

localize25.5s (7.3%)

regimes19.7s (5.6%)

series15.0s (4.3%)

prune13.4s (3.8%)

preprocess11.4s (3.3%)

explain9.6s (2.7%)

analyze9.4s (2.7%)

bsearch4.9s (1.4%)

start1.0ms (0%)

end0.0ms (0%)

Profiling