Metrics for Herbie run

Date:	Sunday, December 29th, 2024
Commit:	fbbe2c7d on main
Seed:	2024364
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:	410 720.5 MB

sample1.7min (26.2%)

Memory

1 074.5MiB live, 114 385.6MiB allocated; 37.9s collecting garbage

Samples

52.9s	433 747×	0	valid
9.8s	26 645×	1	valid
5.4s	9 275×	2	valid
2.2s	4 356×	0	invalid
780.0ms	8 073×	0	exit
281.0ms	932×	3	valid

Precisions

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

ival-mult: 14.5s (27.6% of total)

ival-add: 5.7s (10.9% of total)

ival-div: 4.7s (9% of total)

const: 4.2s (8.1% of total)

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

ival-hypot: 2.8s (5.3% of total)

ival-sub: 2.3s (4.4% of total)

adjust: 2.2s (4.3% of total)

ival-asin: 2.1s (4% of total)

ival-log: 1.9s (3.5% of total)

ival-atan2: 1.2s (2.2% of total)

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

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

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

ival->: 487.0ms (0.9% of total)

ival-asinh: 434.0ms (0.8% of total)

ival-sinu: 381.0ms (0.7% of total)

exact: 359.0ms (0.7% of total)

ival-pow: 351.0ms (0.7% of total)

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

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

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

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

ival-<=: 216.0ms (0.4% of total)

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

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

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

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

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

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

Bogosity

simplify1.1min (17.3%)

Memory

1 556.7MiB live, 67 383.1MiB allocated; 13.4s collecting garbage

Stop Event

620×	iter limit
356×	node limit
111×	saturated
2×	unsound

Counts

15 173 → 14 998

derivations45.8s (12.1%)

Memory

-247.2MiB live, 32 052.2MiB allocated; 7.3s collecting garbage

Stop Event

371×	iter limit
230×	node limit
37×	fuel
20×	done
3×	unsound
1×	saturated

Compiler

Compiled 32 594 to 4 163 computations (87.2% saved)

rewrite42.5s (11.2%)

Memory

-109.0MiB live, 47 535.0MiB allocated; 9.7s collecting garbage

Stop Event

446×	iter limit
195×	node limit
6×	unsound
5×	saturated

Counts

2 860 → 94 298

localize34.4s (9.1%)

Memory

-473.8MiB live, 38 199.8MiB allocated; 10.1s collecting garbage

Samples

12.2s	41 415×	0	valid
8.1s	5 556×	1	valid
3.4s	1 925×	2	valid
1.1s	2 282×	0	invalid
789.0ms	1 296×	0	exit
707.0ms	72×	5	exit
135.0ms	163×	3	valid
28.0ms	7×	1	exit
27.0ms	20×	4	valid

Compiler

Compiled 67 860 to 6 319 computations (90.7% saved)

Precisions

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

ival-mult: 4.7s (26% of total)

ival-add: 2.4s (13% of total)

adjust: 2.0s (11.1% of total)

ival-div: 1.6s (8.8% of total)

const: 1.2s (6.3% of total)

ival-log: 861.0ms (4.7% of total)

ival-sub: 745.0ms (4.1% of total)

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

ival-exp: 584.0ms (3.2% of total)

ival-hypot: 531.0ms (2.9% of total)

ival-sqrt: 385.0ms (2.1% of total)

ival-sin: 363.0ms (2% of total)

ival-cosh: 337.0ms (1.8% of total)

ival-sinh: 259.0ms (1.4% of total)

ival-atan2: 230.0ms (1.3% of total)

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

ival-neg: 157.0ms (0.9% of total)

ival-log1p: 155.0ms (0.9% of total)

ival-pow2: 135.0ms (0.7% of total)

ival-acosh: 132.0ms (0.7% of total)

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

exact: 79.0ms (0.4% of total)

ival-acos: 72.0ms (0.4% of total)

ival-sinu: 64.0ms (0.4% of total)

ival-copysign: 58.0ms (0.3% of total)

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

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

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

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

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

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

ival-cbrt: 7.0ms (0% of total)

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

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

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

eval22.4s (5.9%)

Memory: 445.7MiB live, 30 390.4MiB allocated; 6.4s collecting garbage
Compiler: Compiled 6 109 715 to 466 164 computations (92.4% saved)

explain17.9s (4.7%)

Memory

-754.3MiB live, 18 719.7MiB allocated; 6.8s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	1205	0
`-.f64`	`#f`	cancellation	791	2
`/.f64`	`#f`	o/o	670	0
`/.f64`	`#f`	o/n	197	0
`sqrt.f32`	`#f`	oflow-rescue	196	0
`sin.f64`	`#f`	sensitivity	185	1
`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	180	0
`+.f64`	`#f`	cancellation	169	0
`sqrt.f64`	`#f`	uflow-rescue	142	0
`log.f64`	`(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))`	sensitivity	130	0
`log.f32`	`(log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)))))`	sensitivity	121	3
`-.f64`	`#f`	nan-rescue	109	0
`/.f64`	`#f`	n/o	99	0
`*.f64`	`#f`	*nu**	64	0
`/.f64`	`(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))`	u/u	58	0
↳	`(.f64 (.f64 i i) (*.f64 i i))`	underflow	90
↳	`(*.f64 i i)`	underflow	116
↳	`(.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))`	underflow	58
`+.f64`	`#f`	nan-rescue	38	0
`/.f64`	`(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))`	u/n	32	0
↳	`(.f64 (.f64 i i) (*.f64 i i))`	underflow	90
↳	`(*.f64 i i)`	underflow	116
`*.f64`	`#f`	*no**	31	0
`/.f64`	`#f`	n/u	6	0
`exp.f64`	`#f`	sensitivity	6	5
`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	4	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	4
↳	`(*.f64 x.re x.re)`	overflow	69
↳	`(+.f64 (.f64 x.re x.re) (.f64 x.im x.im))`	overflow	109
↳	`(.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)`	overflow	4
↳	`(*.f64 x.im x.im)`	overflow	61
`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	4	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	4
↳	`(*.f64 x.re x.re)`	overflow	69
↳	`(+.f64 (.f64 x.re x.re) (.f64 x.im x.im))`	overflow	109
↳	`(.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)`	overflow	4
↳	`(*.f64 x.im x.im)`	overflow	61
`*.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**	4	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	5
↳	`(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	5
↳	`(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	4
`log.f32`	`#f`	oflow-rescue	3	0
`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

Confusion

	Predicted +	Predicted -
+	3660	34
-	196	10702

Precision

0.9491701244813278

Recall

0.9907958852192745

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3660	3	31
-	196	6	10696

Precision?

0.9477360931435964

Recall?

0.9916080129940444

Freqs

test

number	freq
0	10736
1	3267
2	589

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	37	0	0
-	2	0	18

Precision?

0.9487179487179487

Recall?

1.0

Samples

3.3s	25 432×	0	valid
1.5s	2 694×	1	valid
984.0ms	976×	2	valid
41.0ms	82×	3	valid

Compiler

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

Precisions

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

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

ival-add: 420.0ms (10.5% of total)

adjust: 370.0ms (9.2% of total)

const: 332.0ms (8.3% of total)

ival-div: 288.0ms (7.2% of total)

ival-log: 262.0ms (6.5% of total)

ival-exp: 226.0ms (5.6% of total)

ival-hypot: 219.0ms (5.5% of total)

ival-sub: 152.0ms (3.8% of total)

ival-asin: 76.0ms (1.9% of total)

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

ival-atan2: 58.0ms (1.4% of total)

ival-pow: 50.0ms (1.2% of total)

ival-cos: 49.0ms (1.2% of total)

ival-sqrt: 44.0ms (1.1% of total)

ival-copysign: 43.0ms (1.1% of total)

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

exact: 20.0ms (0.5% of total)

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

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

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

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

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

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

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

regimes13.0s (3.4%)

Memory

408.7MiB live, 15 883.0MiB allocated; 2.7s collecting garbage

Counts

7 498 → 881

Calls

132 calls:

951.0ms	(+.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) #s(literal 2 binary64))) #s(literal 1 binary64))
933.0ms	(/.f64 (/.f64 (.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (.f64 #s(literal 2 binary64) i))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 #s(literal 2 binary64) i)) #s(literal 2 binary64)))
856.0ms	re
643.0ms	im
570.0ms	y.re

Compiler

Compiled 13 394 to 9 461 computations (29.4% saved)

series11.2s (3%)

Memory

678.1MiB live, 13 376.2MiB allocated; 3.5s collecting garbage

Counts

2 860 → 15 173

Calls

1284 calls:

Time	Variable		Point	Expression
347.0ms	im	@	0	((* 1/2 (sqrt (* 2 (- (sqrt (+ (* re re) (* im im))) re)))) (sqrt (* 2 (- (sqrt (+ (* re re) (* im im))) re))) (* 2 (- (sqrt (+ (* re re) (* im im))) re)) (- (sqrt (+ (* re re) (* im im))) re) (* 1/2 (sqrt (* 2 (- (sqrt (+ (* re re) (* im im))) re)))) (sqrt (* 2 (- (sqrt (+ (* re re) (* im im))) re))) (* (sqrt 2) (sqrt im)) (sqrt 2) (* 1/2 (sqrt (* 2 (- (sqrt (+ (* re re) (* im im))) re)))) (* (* (* 1/2 (* (sqrt 1/2) im)) (sqrt 2)) (sqrt (/ 1 re))) (* (* 1/2 (* (sqrt 1/2) im)) (sqrt 2)) (* 1/2 (* (sqrt 1/2) im)) (* (+ (* (* im (/ im (pow re 3))) -1/8) (/ 1/2 re)) (* im im)) (* 1/2 (sqrt (* 2 (- (sqrt (+ (* re re) (* im im))) re)))) (sqrt (* 2 (- (sqrt (+ (* re re) (* im im))) re))) (* 2 (- (sqrt (+ (* re re) (* im im))) re)) (* (sqrt 1/2) im) (- (sqrt (+ (* re re) (* im im))) re) (/ im (pow re 3)))
169.0ms	base	@	0	((* (pow (log base) -2) (* (log base) (log (sqrt (+ (* im im) (* re re)))))) (pow (log base) -2) (log base) (* (log base) (log (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)) (/ 1/2 (log base))) (log (* im im)) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (pow (log base) 2)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (* (log im) (log base)) (log im) (log (pow (sqrt (+ (* re re) (* im im))) (pow (log base) -1))) (pow (sqrt (+ (* re re) (* im im))) (pow (log base) -1)) (sqrt (+ (* re re) (* im im))) (pow (log base) -1) (* (sqrt (neg (log base))) (sqrt (neg (log base)))) (+ (sqrt (pow (* (sqrt (neg (log base))) (sqrt (neg (log base)))) 4)) (* 0 0)) (* 0 0) (sqrt (pow (* (sqrt (neg (log base))) (sqrt (neg (log base)))) 4)) (/ 1/2 (log base)) (pow (log base) 2) (pow (* (sqrt (neg (log base))) (sqrt (neg (log base)))) 4))
125.0ms	base	@	0	((/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 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 base)) (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
124.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) (sqrt (+ (* re re) (* im im))) (* (atan2 im re) 0) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (sqrt (pow (log base) 4)) (* 0 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))))) (/ (* (pow (log (sqrt (+ (* im im) (* re re)))) 2) (log base)) (log (sqrt (+ (* im im) (* re re))))) (/ (* (/ (* (pow (log (sqrt (+ (* im im) (* re re)))) 2) (log base)) (log (sqrt (+ (* im im) (* re re))))) 1) (+ (* (log base) (log base)) (* 0 0))) (* (/ (* (pow (log (sqrt (+ (* im im) (* re re)))) 2) (log base)) (log (sqrt (+ (* im im) (* re re))))) 1) (+ (* (log base) (log base)) (* 0 0)) (pow (log base) 4) (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (sqrt (pow (log base) 4)) (* 0 0))) (pow (log base) 8) (pow (log base) 6) (* (log base) (log base)) (pow (log (sqrt (+ (* im im) (* re re)))) 2) (* (pow (log (sqrt (+ (* im im) (* re re)))) 2) (log base)))
121.0ms	re	@	inf	((* (neg (pow (log (sqrt (+ (* re re) (* im im)))) -1)) (pow (log (sqrt (+ (* re re) (* im im)))) 2)) (neg (pow (log (sqrt (+ (* re re) (* im im)))) -1)) (/ (* (neg (pow (log (sqrt (+ (* re re) (* im im)))) -1)) (pow (log (sqrt (+ (* re re) (* im im)))) 2)) (log 1/10)) (pow (log (sqrt (+ (* re re) (* im im)))) -1) (/ (* (log (+ (* im im) (* re re))) 1/2) (log 10)) (* (log (* im im)) (/ 1/2 (log 10))) (log (* im im)) (* im im) (log (pow (+ (* im im) (* re re)) (/ -1/2 (log 1/10)))) (pow (+ (* im im) (* re re)) (/ -1/2 (log 1/10))) (+ (* im im) (* re re)) (* re re) (/ (/ (pow (log (sqrt (+ (* re re) (* im im)))) 6) (neg (pow (log (sqrt (+ (* re re) (* im im)))) 5))) (log 1/10)) (/ (pow (log (sqrt (+ (* re re) (* im im)))) 6) (neg (pow (log (sqrt (+ (* re re) (* im im)))) 5))) (pow (log (sqrt (+ (* re re) (* im im)))) 6) (log (sqrt (+ (* re re) (* im im)))) (/ (+ (* 0 (* (log 10) (log (sqrt (+ (* re re) (* im im)))))) (* (* (log 10) (log (sqrt (+ (* re re) (* im im))))) (pow (log (sqrt (+ (* re re) (* im im)))) 2))) (* (* (log 10) (log (sqrt (+ (* re re) (* im im))))) (* (log 10) (log (sqrt (+ (* re re) (* im im))))))) (+ (* 0 (* (log 10) (log (sqrt (+ (* re re) (* im im)))))) (* (* (log 10) (log (sqrt (+ (* re re) (* im im))))) (pow (log (sqrt (+ (* re re) (* im im)))) 2))) (* (* (log 10) (log (sqrt (+ (* re re) (* im im))))) (pow (log (sqrt (+ (* re re) (* im im)))) 2)) (* (* (log 10) (log (sqrt (+ (* re re) (* im im))))) (* (log 10) (log (sqrt (+ (* re re) (* im im)))))) (log 1/10) (pow (log (sqrt (+ (* re re) (* im im)))) 2) (/ 1/2 (log 10)) (/ -1/2 (log 1/10)) (pow (log (sqrt (+ (* re re) (* im im)))) 5) (* (log 10) (log (sqrt (+ (* re re) (* im im))))))

preprocess11.2s (2.9%)

Memory

588.4MiB live, 12 866.6MiB allocated; 2.2s collecting garbage

Stop Event

114×	iter limit
60×	saturated
54×	node limit

Compiler

Compiled 74 726 to 13 879 computations (81.4% saved)

prune8.4s (2.2%)

Memory: -496.7MiB live, 12 357.7MiB allocated; 2.6s collecting garbage
Counts: 115 952 → 2 809
Compiler: Compiled 265 807 to 111 650 computations (58% saved)

bsearch4.0s (1.1%)

Memory

-186.8MiB live, 4 584.0MiB allocated; 880ms collecting garbage

Algorithm

232×	left-value
221×	binary-search

Stop Event

216×	narrow-enough
5×	predicate-same

Samples

1.5s	13 671×	0	valid
716.0ms	1 603×	1	valid
180.0ms	310×	2	valid
22.0ms	80×	3	valid

Compiler

Compiled 145 799 to 82 357 computations (43.5% saved)

Precisions

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

ival-mult: 681.0ms (37.7% of total)

ival-log: 166.0ms (9.2% of total)

ival-hypot: 154.0ms (8.5% of total)

ival-add: 136.0ms (7.5% of total)

adjust: 108.0ms (6% of total)

ival-asin: 82.0ms (4.5% of total)

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

const: 69.0ms (3.8% of total)

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

ival-div: 64.0ms (3.5% of total)

ival-sub: 61.0ms (3.4% of total)

ival-atan2: 50.0ms (2.8% of total)

ival-cos: 45.0ms (2.5% of total)

ival-sqrt: 18.0ms (1% of total)

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

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

exact: 5.0ms (0.3% of total)

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

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

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

analyze3.2s (0.9%)

Memory

108.9MiB live, 2 979.5MiB allocated; 1.9s collecting garbage

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.7MiB live, 6.7MiB allocated; 0ms collecting garbage

end0.0ms (0%)

Memory: 1.2MiB live, 1.1MiB allocated; 0ms collecting garbage

sample1.7min (26.2%)

simplify1.1min (17.3%)

derivations45.8s (12.1%)

rewrite42.5s (11.2%)

localize34.4s (9.1%)

eval22.4s (5.9%)

explain17.9s (4.7%)

regimes13.0s (3.4%)

series11.2s (3%)

preprocess11.2s (2.9%)

prune8.4s (2.2%)

bsearch4.0s (1.1%)

analyze3.2s (0.9%)

start2.0ms (0%)

end0.0ms (0%)

Profiling