Metrics for Herbie run

Date:	Monday, December 2nd, 2024
Commit:	a3fa83c3 on main
Hostname:	nightly with Racket 8.10
Seed:	2024337
Parameters:	256 points for 4 iterations
Flags:	`localize:costslocalize:errorsreduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default
Memory:	402 130.0 MB

sample1.8min (26.8%)

Memory

404.7MiB live, 108 656.4MiB allocated

Samples

1.1min	438 849×	0	valid
7.1s	22 219×	1	valid
4.4s	8 629×	2	valid
2.4s	4 292×	0	invalid
885.0ms	8 229×	0	exit
421.0ms	898×	3	valid

Precisions

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

ival-mult: 16.6s (28.5% of total)

ival-add: 9.7s (16.6% of total)

const: 4.9s (8.5% of total)

ival-div: 4.1s (7.1% of total)

ival-sub: 4.0s (6.9% of total)

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

ival-hypot: 2.6s (4.4% of total)

ival-log: 2.0s (3.4% of total)

ival-asin: 1.5s (2.6% of total)

adjust: 1.2s (2.1% of total)

ival-sin: 1.1s (2% of total)

ival-cos: 1.0s (1.8% of total)

ival-sqrt: 988.0ms (1.7% of total)

ival-atan2: 647.0ms (1.1% of total)

ival-pi: 572.0ms (1% of total)

ival->: 395.0ms (0.7% of total)

exact: 373.0ms (0.6% of total)

ival-acosh: 329.0ms (0.6% of total)

ival-sinu: 319.0ms (0.5% of total)

ival-pow: 318.0ms (0.5% of total)

ival-asinh: 300.0ms (0.5% of total)

ival-true: 286.0ms (0.5% of total)

ival-fabs: 253.0ms (0.4% of total)

ival-neg: 249.0ms (0.4% of total)

ival-atanh: 212.0ms (0.4% of total)

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

ival->=: 179.0ms (0.3% of total)

ival-<=: 153.0ms (0.3% of total)

ival-cosu: 88.0ms (0.2% of total)

ival-and: 77.0ms (0.1% of total)

Bogosity

simplify1.1min (16.1%)

Memory

399.8MiB live, 64 992.5MiB allocated

Algorithm

463×	egg-herbie

Stop Event

610×	iter limit
342×	node limit
120×	saturated
2×	unsound

Counts

14 994 → 14 825

soundness1.0min (15.2%)

Memory

81.1MiB live, 36 942.9MiB allocated

Stop Event

361×	iter limit
231×	node limit
35×	fuel
22×	done
1×	saturated
1×	unsound

Compiler

Compiled 63 815 to 22 930 computations (64.1% saved)

rewrite44.6s (11%)

Memory

-379.8MiB live, 43 323.9MiB allocated

Stop Event

438×	iter limit
193×	node limit
6×	saturated
5×	unsound

Counts

2 774 → 87 036

localize32.8s (8.1%)

Memory

-221.6MiB live, 36 481.4MiB allocated

Samples

14.5s	42 673×	0	valid
5.8s	4 648×	1	valid
2.5s	1 616×	2	valid
767.0ms	1 885×	0	invalid
624.0ms	393×	5	exit
277.0ms	512×	0	exit
160.0ms	157×	3	valid
42.0ms	19×	4	valid
31.0ms	65×	1	exit

Compiler

Compiled 67 996 to 6 195 computations (90.9% saved)

Precisions

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

ival-mult: 5.8s (31.3% of total)

ival-add: 2.5s (13.4% of total)

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

const: 1.2s (6.2% of total)

adjust: 1.1s (5.8% of total)

ival-sub: 973.0ms (5.2% of total)

ival-log: 918.0ms (4.9% of total)

ival-pow: 748.0ms (4% of total)

ival-hypot: 518.0ms (2.8% of total)

ival-exp: 517.0ms (2.8% of total)

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

ival-sin: 274.0ms (1.5% of total)

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

ival-pow2: 215.0ms (1.2% of total)

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

ival-asin: 187.0ms (1% of total)

ival-neg: 180.0ms (1% of total)

ival-cosh: 78.0ms (0.4% of total)

exact: 77.0ms (0.4% of total)

ival-pi: 67.0ms (0.4% of total)

ival-atan2: 60.0ms (0.3% of total)

ival-acosh: 55.0ms (0.3% of total)

ival-log1p: 55.0ms (0.3% of total)

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

ival-copysign: 40.0ms (0.2% of total)

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

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

ival-cosu: 17.0ms (0.1% of total)

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

ival-sinu: 15.0ms (0.1% of total)

ival-cbrt: 12.0ms (0.1% of total)

ival-asinh: 12.0ms (0.1% of total)

eval25.1s (6.2%)

Memory: 529.3MiB live, 31 269.1MiB allocated
Compiler: Compiled 6 390 045 to 468 378 computations (92.7% saved)

explain14.0s (3.4%)

Memory

123.2MiB live, 18 535.1MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	1204	0
`-.f64`	`#f`	cancellation	742	0
`/.f64`	`#f`	o/o	669	0
`/.f64`	`#f`	o/n	207	0
`sqrt.f32`	`#f`	oflow-rescue	195	0
`sin.f64`	`#f`	sensitivity	179	0
`cos.f64`	`(cos.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (.f64 x.im x.im)))) y.im) (.f64 (atan2.f64 x.im x.re) y.re)))`	sensitivity	176	0
`+.f64`	`#f`	cancellation	159	0
`sqrt.f64`	`#f`	uflow-rescue	140	0
`log.f64`	`(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))`	sensitivity	135	0
`log.f32`	`(log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)))))`	sensitivity	128	3
`-.f64`	`#f`	nan-rescue	94	0
`/.f64`	`#f`	n/o	78	0
`*.f64`	`#f`	*nu**	61	0
`+.f64`	`#f`	nan-rescue	59	0
`/.f64`	`#f`	u/u	57	0
`/.f64`	`#f`	u/n	38	0
`*.f64`	`#f`	*no**	25	0
`/.f64`	`#f`	n/u	9	0
`log.f32`	`#f`	oflow-rescue	4	0
`*.f64`	`(.f64 (.f64 (sqrt.f64 (*.f64 (PI.f64) #s(literal 2 binary64))) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64)))) (exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)))))`	*ou**	2	0
↳	`(.f64 (sqrt.f64 (.f64 (PI.f64) #s(literal 2 binary64))) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64))))`	overflow	2
↳	`(pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64)))`	overflow	2
↳	`(exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64))))`	underflow	2
`pow.f64`	`(pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64)))`	sensitivity	1	0
`cos.f64`	`(cos.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (.f64 x.im x.im)))) y.im) (.f64 (atan2.f64 x.im x.re) y.re)))`	oflow-rescue	1	0
↳	`(+.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (.f64 x.im x.im)))) y.im) (.f64 (atan2.f64 x.im x.re) y.re))`	overflow	1
↳	`(*.f64 x.re x.re)`	overflow	59
↳	`(+.f64 (.f64 x.re x.re) (.f64 x.im x.im))`	overflow	110
↳	`(.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)`	overflow	1
↳	`(*.f64 x.im x.im)`	overflow	59
`sin.f64`	`(sin.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (.f64 x.im x.im)))) y.im) (.f64 (atan2.f64 x.im x.re) y.re)))`	oflow-rescue	1	0
↳	`(+.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (.f64 x.im x.im)))) y.im) (.f64 (atan2.f64 x.im x.re) y.re))`	overflow	1
↳	`(*.f64 x.re x.re)`	overflow	59
↳	`(+.f64 (.f64 x.re x.re) (.f64 x.im x.im))`	overflow	110
↳	`(.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)`	overflow	1
↳	`(*.f64 x.im x.im)`	overflow	59

Confusion

	Predicted +	Predicted -
+	3632	71
-	192	10697

Precision

0.9497907949790795

Recall

0.9808263570078315

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3632	2	69
-	192	2	10695

Precision?

0.9493207941483803

Recall?

0.9813664596273292

Freqs

test

number	freq
0	10768
1	3284
2	540

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	37	0	1
-	1	1	17

Precision?

0.9487179487179487

Recall?

0.9736842105263158

Samples

3.0s	25 878×	0	valid
1.1s	2 406×	1	valid
648.0ms	832×	2	valid
21.0ms	62×	3	valid
3.0ms	6×	5	exit

Compiler

Compiled 13 558 to 2 283 computations (83.2% saved)

Precisions

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

ival-mult: 848.0ms (25.1% of total)

ival-add: 466.0ms (13.8% of total)

ival-log: 299.0ms (8.8% of total)

adjust: 245.0ms (7.2% of total)

const: 234.0ms (6.9% of total)

ival-div: 220.0ms (6.5% of total)

ival-hypot: 204.0ms (6% of total)

ival-exp: 179.0ms (5.3% of total)

ival-sub: 112.0ms (3.3% of total)

ival-asin: 102.0ms (3% of total)

ival-sqrt: 64.0ms (1.9% of total)

ival-cos: 56.0ms (1.7% of total)

ival-sin: 55.0ms (1.6% of total)

ival-pi: 54.0ms (1.6% of total)

ival-atan2: 53.0ms (1.6% of total)

ival-fabs: 39.0ms (1.2% of total)

ival-pow: 34.0ms (1% of total)

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

ival-neg: 21.0ms (0.6% of total)

exact: 20.0ms (0.6% of total)

ival-copysign: 14.0ms (0.4% of total)

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

ival-log1p: 8.0ms (0.2% of total)

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

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

regimes13.7s (3.4%)

Memory

92.7MiB live, 15 711.7MiB allocated

Counts

7 989 → 869

Calls

132 calls:

986.0ms	(/.f64 (/.f64 (/.f64 (+.f64 (+.f64 (+.f64 alpha beta) (.f64 beta alpha)) #s(literal 1 binary64)) (+.f64 (+.f64 alpha beta) (.f64 #s(literal 2 binary64) #s(literal 1 binary64)))) (+.f64 (+.f64 alpha beta) (.f64 #s(literal 2 binary64) #s(literal 1 binary64)))) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 #s(literal 2 binary64) #s(literal 1 binary64))) #s(literal 1 binary64)))
711.0ms	re
641.0ms	im
601.0ms	y.im
518.0ms	(sin.f64 re)

Compiler

Compiled 14 470 to 10 274 computations (29% saved)

preprocess11.6s (2.9%)

Memory

695.9MiB live, 13 036.1MiB allocated

Algorithm

57×	egg-herbie

Stop Event

114×	iter limit
60×	saturated
54×	node limit

Compiler

Compiled 76 080 to 13 867 computations (81.8% saved)

series10.9s (2.7%)

Memory

304.2MiB live, 12 350.4MiB allocated

Counts

2 774 → 14 994

Calls

1266 calls:

Time	Variable		Point	Expression
287.0ms	beta	@	-inf	((/ (/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1)) (/ (/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1)) (* (/ (+ alpha i) beta) (/ i beta)) (/ (+ alpha i) beta) (+ alpha i) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (- (* 2 (+ beta alpha)) (+ beta alpha)) (* 1/4 (- (* 2 (+ beta alpha)) (+ beta alpha))) (+ (+ alpha beta) (* 2 i)) (/ (/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1)) (/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))) (/ (* (+ (+ beta alpha) i) (* i (/ (+ (* (+ (+ beta alpha) i) i) (* beta alpha)) (pow (+ (* 2 i) (+ beta alpha)) 2)))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1)) (* (+ (+ beta alpha) i) (* i (/ (+ (* (+ (+ beta alpha) i) i) (* beta alpha)) (pow (+ (* 2 i) (+ beta alpha)) 2)))) (/ (/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1)) (/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))) (* (+ 1/4 (/ (* 1/4 (- (* 2 (+ beta alpha)) (+ beta alpha))) i)) (* i i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (/ (+ (* (+ (+ beta alpha) i) i) (* beta alpha)) (pow (+ (* 2 i) (+ beta alpha)) 2)) (* i (/ (+ (* (+ (+ beta alpha) i) i) (* beta alpha)) (pow (+ (* 2 i) (+ beta alpha)) 2))))
270.0ms	y.im	@	inf	((/ (+ (* y.im x.im) (* y.re x.re)) (+ (* y.im y.im) (* y.re y.re))) (+ (* y.im x.im) (* y.re x.re)) (* y.re x.re) (+ (* y.im y.im) (* y.re y.re)) (/ (+ (* x.re y.re) (* x.im y.im)) (+ (* y.re y.re) (* y.im y.im))) (/ x.im y.im) (/ (+ (* x.re y.re) (* x.im y.im)) (+ (* y.re y.re) (* y.im y.im))) (* (/ x.re (+ (* y.im y.im) (* y.re y.re))) y.re) (/ x.re (+ (* y.im y.im) (* y.re y.re))) (+ (* y.re y.re) (* y.im y.im)) (/ (+ (* x.re y.re) (* x.im y.im)) (+ (* y.re y.re) (* y.im y.im))) (+ (* x.re y.re) (* x.im y.im)) (* y.im x.im) (* (+ (* (/ y.re x.im) x.re) y.im) x.im) (/ (+ (* x.re y.re) (* x.im y.im)) (+ (* y.re y.re) (* y.im y.im))) (/ (* (+ (* (/ y.re x.im) x.re) y.im) x.im) (+ (* y.im y.im) (* y.re y.re))) (+ (* (/ y.re x.im) x.re) y.im) (* y.re y.re))
221.0ms	base	@	inf	((/ (log base) (pow (log base) 2)) (* (log (sqrt (+ (* im im) (* re re)))) (/ (log base) (pow (log base) 2))) (log (sqrt (+ (* im im) (* re re)))) (sqrt (+ (* im im) (* re re))) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (/ (* (log (+ (* im im) (* re re))) 1/2) (log base)) (* (log (+ (* im im) (* re re))) 1/2) (log (+ (* im im) (* re re))) (+ (* (log base) (log base)) (* 0 0)) (* 0 0) (* (log base) (log base)) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (/ (pow (log base) 3) (pow (log base) 2)) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (/ (log im) (/ (pow (log base) 3) (pow (log base) 2))) (log im) (/ (* (log base) (log (sqrt (+ (* im im) (* re re))))) (pow (log base) 3)) (log (pow base (/ (* (log base) (log (sqrt (+ (* im im) (* re re))))) (pow (log base) 3)))) (pow base (/ (* (log base) (log (sqrt (+ (* im im) (* re re))))) (pow (log base) 3))) (* (log base) (log (sqrt (+ (* im im) (* re re))))) (pow (log base) 2) (log base) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (* (log im) (log base)) (pow (log base) 3))
179.0ms	im	@	inf	((/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (/ (log (sqrt (+ (* im im) (* re re)))) (log base)) (log (sqrt (+ (* im im) (* re re)))) (sqrt (+ (* im im) (* re re))) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (/ (log im) (log base)) (log im) (log base) (+ (* (/ (+ (* (* re (/ re (pow im 4))) -1/4) (/ 1/2 (* im im))) (log base)) (* re re)) (/ (log im) (log base))) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (/ (+ (* (* re (/ re (pow im 4))) -1/4) (/ 1/2 (* im im))) (log base)) (+ (* (* re (/ re (pow im 4))) -1/4) (/ 1/2 (* im im))) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (/ (pow (log base) 3) (log base)) 1) (* 0 0))) (sqrt (+ (* re re) (* im im))) (* (atan2 im re) 0) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (* (* (log base) (log (sqrt (+ (* im im) (* re re))))) (pow (log base) 6)) (/ (* (* (log base) (log (sqrt (+ (* im im) (* re re))))) (pow (log base) 6)) (pow (log base) 8)) (* (log base) (log (sqrt (+ (* im im) (* re re))))) (* re (/ re (pow im 4))) (/ re (pow im 4)) (pow (log base) 3) (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (pow (log base) 8) (pow (log base) 6))
169.0ms	im	@	inf	((* (sinh (neg im)) (cos re)) (sinh (neg im)) (* (- (* (- (* (* (- (* -1/5040 (* im im)) 1/120) im) im) 1/6) (* im im)) 1) im) (- (* (- (* (* (- (* -1/5040 (* im im)) 1/120) im) im) 1/6) (* im im)) 1) (* (* 1/2 (cos re)) (- (exp (- 0 im)) (exp im))) (* (neg (cos re)) im) (* im (+ (* (* 1/2 re) re) -1)) (+ (* (* 1/2 re) re) -1) (* (* 1/2 (cos re)) (- (exp (- 0 im)) (exp im))) (* 1/2 (cos re)) (+ (* (* re re) -1/4) 1/2) (* re re) (* (* 1/2 (cos re)) (- (exp (- 0 im)) (exp im))) (* 1/2 (cos re)) (- (exp (- 0 im)) (exp im)) (* (- (* (- (* (* (- (* -1/2520 (* im im)) 1/60) im) im) 1/3) (* im im)) 2) im) (cos (+ (PI) re)) (* (* 1/2 (cos re)) (- (exp (- 0 im)) (exp im))) (* (cos (+ (PI) re)) im) (+ (PI) re) (* (- (* (* (- (* -1/5040 (* im im)) 1/120) im) im) 1/6) (* im im)) (* (- (* -1/5040 (* im im)) 1/120) im) (* -1/5040 (* im im)) (* 1/2 re) (- (exp (- 0 im)) (exp im)) (* (* im im) -1/3) (* (- (* (* (- (* -1/2520 (* im im)) 1/60) im) im) 1/3) (* im im)) (* (- (* -1/2520 (* im im)) 1/60) im) (PI))

prune8.3s (2%)

Memory: -139.4MiB live, 12 194.8MiB allocated
Counts: 111 471 → 2 800
Compiler: Compiled 268 891 to 113 660 computations (57.7% saved)

bsearch5.2s (1.3%)

Memory

-249.8MiB live, 5 500.4MiB allocated

Algorithm

231×	left-value
209×	binary-search

Stop Event

203×	narrow-enough
6×	predicate-same

Samples

2.2s	13 228×	0	valid
1.3s	2 318×	1	valid
37.0ms	140×	2	valid
36.0ms	138×	3	valid

Compiler

Compiled 148 712 to 79 596 computations (46.5% saved)

Precisions

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

ival-mult: 781.0ms (30.9% of total)

ival-hypot: 624.0ms (24.7% of total)

ival-log: 169.0ms (6.7% of total)

const: 158.0ms (6.2% of total)

ival-add: 154.0ms (6.1% of total)

ival-div: 111.0ms (4.4% of total)

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

ival-atan2: 87.0ms (3.4% of total)

adjust: 79.0ms (3.1% of total)

ival-sub: 79.0ms (3.1% of total)

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

ival-cos: 66.0ms (2.6% of total)

ival-sqrt: 22.0ms (0.9% of total)

ival-true: 13.0ms (0.5% of total)

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

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

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

exact: 4.0ms (0.2% of total)

ival-neg: 2.0ms (0.1% of total)

analyze3.5s (0.9%)

Memory

108.9MiB live, 3 128.4MiB allocated

Algorithm

58×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	86.3%	13.7%	0%	0%	0%	0
55.4%	47.8%	38.5%	13.7%	0%	0%	0%	1
65.9%	55.7%	28.9%	13.7%	0%	1.7%	0%	2
71.2%	58.4%	23.6%	13.7%	0%	4.3%	0%	3
77.4%	62%	18.1%	13.7%	0%	6.2%	0%	4
83.5%	66.8%	13.2%	13.7%	0%	6.3%	0%	5
85.8%	68.3%	11.3%	13.7%	0%	6.6%	0%	6
88.3%	70.3%	9.4%	13.7%	0%	6.6%	0%	7
89.9%	71.5%	8%	13.7%	0%	6.8%	0%	8
91.1%	72.5%	7.1%	13.7%	0%	6.8%	0%	9
92.6%	73.6%	5.9%	13.7%	0%	6.8%	0%	10
94%	74.7%	4.8%	13.7%	0%	6.8%	0%	11
94.5%	75.1%	4.4%	13.7%	0%	6.9%	0%	12

Compiler

Compiled 1 498 to 816 computations (45.5% saved)

start2.0ms (0%)

Memory: 6.1MiB live, 6.1MiB allocated

end0.0ms (0%)

Memory: 0.9MiB live, 0.9MiB allocated

sample1.8min (26.8%)

simplify1.1min (16.1%)

soundness1.0min (15.2%)

rewrite44.6s (11%)

localize32.8s (8.1%)

eval25.1s (6.2%)

explain14.0s (3.4%)

regimes13.7s (3.4%)

preprocess11.6s (2.9%)

series10.9s (2.7%)

prune8.3s (2%)

bsearch5.2s (1.3%)

analyze3.5s (0.9%)

start2.0ms (0%)

end0.0ms (0%)

Profiling