Metrics for Herbie run

Date:	Friday, November 22nd, 2024
Commit:	97e637cb on bhargav-double-double
Hostname:	nightly with Racket 8.10
Seed:	2024327
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

sample1.2min (21.8%)

Memory

744.4MiB live, 70 791.2MiB allocated

Samples

31.0s	285 670×	0	valid
12.4s	44 047×	1	valid
7.7s	16 695×	2	valid
524.0ms	4 360×	0	invalid
159.0ms	340×	3	valid
140.0ms	1 002×	0	exit
61.0ms	101×	3	exit
56.0ms	101×	4	exit
5.0ms	37×	1	exit

Precisions

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

ival-mult: 9.1s (23.4% of total)

ival-add: 4.7s (12% of total)

ival-sub: 3.5s (9.1% of total)

ival-pow: 3.4s (8.8% of total)

ival-div: 3.2s (8.3% of total)

const: 3.1s (8.1% of total)

adjust: 2.6s (6.6% of total)

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

ival-<=: 2.2s (5.5% of total)

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

ival-sqrt: 584.0ms (1.5% of total)

exact: 440.0ms (1.1% of total)

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

ival-and: 362.0ms (0.9% of total)

ival-neg: 332.0ms (0.8% of total)

ival-pow2: 304.0ms (0.8% of total)

ival-==: 173.0ms (0.4% of total)

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

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

ival-tan: 84.0ms (0.2% of total)

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

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

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

ival-<: 63.0ms (0.2% of total)

ival-expm1: 59.0ms (0.2% of total)

ival-hypot: 19.0ms (0% of total)

ival-if: 4.0ms (0% of total)

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

Bogosity

simplify58.0s (17.8%)

Memory

97.0MiB live, 42 475.3MiB allocated

Algorithm

339×	egg-herbie

Stop Event

433×	iter limit
215×	node limit
138×	saturated

Counts

10 136 → 9 999

soundness49.4s (15.2%)

Memory

145.8MiB live, 23 189.0MiB allocated

Stop Event

257×	iter limit
170×	node limit
27×	fuel
14×	done
10×	saturated

Compiler

Compiled 42 756 to 13 504 computations (68.4% saved)

rewrite36.9s (11.3%)

Memory

19.0MiB live, 35 313.6MiB allocated

Stop Event

291×	iter limit
144×	node limit
14×	saturated

Counts

1 914 → 85 608

eval26.5s (8.1%)

Memory: 9.6MiB live, 22 922.0MiB allocated
Compiler: Compiled 4 036 335 to 333 407 computations (91.7% saved)

localize21.8s (6.7%)

Memory

-552.3MiB live, 21 502.7MiB allocated

Samples

7.9s	29 260×	0	valid
4.4s	5 441×	1	valid
3.6s	2 789×	2	valid
446.0ms	430×	0	invalid
201.0ms	118×	3	valid
65.0ms	102×	0	exit
9.0ms	3×	5	exit
5.0ms	1×	4	valid

Compiler

Compiled 74 117 to 8 652 computations (88.3% saved)

Precisions

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

ival-mult: 3.6s (30% of total)

ival-div: 1.9s (15.5% of total)

ival-add: 1.8s (14.6% of total)

adjust: 1.3s (11.1% of total)

ival-sub: 948.0ms (7.9% of total)

ival-pow: 846.0ms (7% of total)

const: 624.0ms (5.2% of total)

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

ival-cos: 155.0ms (1.3% of total)

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

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

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

ival-pow2: 92.0ms (0.8% of total)

exact: 60.0ms (0.5% of total)

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

ival-expm1: 43.0ms (0.4% of total)

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

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

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

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

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

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

explain17.7s (5.5%)

Memory

-280.8MiB live, 21 143.8MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`#f`	cancellation	1538	3
`+.f64`	`#f`	cancellation	402	85
`-.f64`	(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))	oflow-left	230	0
`sqrt.f64`	`#f`	oflow-rescue	190	0
`log.f64`	`(log.f64 (+.f64 #s(literal 1 binary64) x))`	sensitivity	174	0
`/.f64`	`#f`	n/o	166	0
`/.f64`	`#f`	o/o	149	0
`/.f64`	`#f`	u/u	91	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	sensitivity	88	0
`-.f64`	`#f`	nan-rescue	71	0
`/.f64`	`#f`	o/n	44	0
`*.f64`	`#f`	*nu**	44	0
`+.f64`	(+.f64 (+.f64 (.f64 (+.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (.f64 x1 x1) #s(literal 1 binary64)))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (.f64 x1 x1) #s(literal 1 binary64))) #s(literal 3 binary64))) (.f64 (.f64 x1 x1) (-.f64 (.f64 #s(literal 4 binary64) (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (.f64 x1 x1) #s(literal 1 binary64)))) #s(literal 6 binary64)))) (+.f64 (.f64 x1 x1) #s(literal 1 binary64))) (.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (.f64 x1 x1) #s(literal 1 binary64))))) (.f64 (*.f64 x1 x1) x1))	nan-rescue	34	0
↳	`(*.f64 x1 x1)`	overflow	360
↳	`(/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (.f64 x1 x1) #s(literal 1 binary64)))`	overflow	4
↳	`(+.f64 (*.f64 x1 x1) #s(literal 1 binary64))`	overflow	300
↳	`(-.f64 (.f64 #s(literal 4 binary64) (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (*.f64 x1 x1) #s(literal 1 binary64)))) #s(literal 6 binary64))`	overflow	1
↳	`(*.f64 #s(literal 2 binary64) x2)`	overflow	4
↳	`(-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (.f64 x1 x1) #s(literal 1 binary64))) #s(literal 3 binary64))`	overflow	1
↳	`(.f64 (.f64 #s(literal 2 binary64) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (.f64 x1 x1) #s(literal 1 binary64))))`	overflow	2
↳	(.f64 (+.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (.f64 x1 x1) #s(literal 1 binary64)))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (.f64 x1 x1) #s(literal 1 binary64))) #s(literal 3 binary64))) (.f64 (.f64 x1 x1) (-.f64 (.f64 #s(literal 4 binary64) (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (.f64 x1 x1) #s(literal 1 binary64)))) #s(literal 6 binary64)))) (+.f64 (.f64 x1 x1) #s(literal 1 binary64)))	overflow	112
↳	`(.f64 (.f64 (.f64 #s(literal 2 binary64) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (.f64 x1 x1) #s(literal 1 binary64)))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (*.f64 x1 x1) #s(literal 1 binary64))) #s(literal 3 binary64)))`	overflow	20
↳	`(+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (*.f64 #s(literal 2 binary64) x2))`	overflow	244
↳	`(.f64 #s(literal 4 binary64) (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (*.f64 x1 x1) #s(literal 1 binary64))))`	overflow	1
↳	`(-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (*.f64 #s(literal 2 binary64) x2)) x1)`	overflow	244
↳	(+.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (.f64 x1 x1) #s(literal 1 binary64)))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (.f64 x1 x1) #s(literal 1 binary64))) #s(literal 3 binary64))) (.f64 (.f64 x1 x1) (-.f64 (.f64 #s(literal 4 binary64) (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (.f64 x1 x1) #s(literal 1 binary64)))) #s(literal 6 binary64))))	overflow	80
↳	`(.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (*.f64 x1 x1) #s(literal 1 binary64))))`	overflow	60
↳	`(.f64 (.f64 #s(literal 3 binary64) x1) x1)`	overflow	300
↳	`(.f64 (.f64 x1 x1) (-.f64 (.f64 #s(literal 4 binary64) (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (*.f64 x1 x1) #s(literal 1 binary64)))) #s(literal 6 binary64)))`	overflow	60
↳	(+.f64 (.f64 (+.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (.f64 x1 x1) #s(literal 1 binary64)))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (.f64 x1 x1) #s(literal 1 binary64))) #s(literal 3 binary64))) (.f64 (.f64 x1 x1) (-.f64 (.f64 #s(literal 4 binary64) (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (.f64 x1 x1) #s(literal 1 binary64)))) #s(literal 6 binary64)))) (+.f64 (.f64 x1 x1) #s(literal 1 binary64))) (.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (*.f64 x1 x1) #s(literal 1 binary64)))))	overflow	112
↳	`(*.f64 x1 x1)`	overflow	60
↳	`(.f64 (.f64 x1 x1) x1)`	overflow	80
`*.f64`	`#f`	*no**	28	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	oflow-rescue	17	0
↳	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	overflow	29
↳	`(/.f64 i n)`	overflow	17
↳	`(+.f64 #s(literal 1 binary64) (/.f64 i n))`	overflow	17
`/.f64`	`#f`	n/u	11	0
`sqrt.f64`	`#f`	uflow-rescue	8	0
`/.f64`	`(/.f64 (.f64 (neg.f64 t1) v) (.f64 (+.f64 t1 u) (+.f64 t1 u)))`	u/n	3	0
↳	`(*.f64 (neg.f64 t1) v)`	underflow	31
`exp.f64`	`#f`	sensitivity	2	0

Confusion

	Predicted +	Predicted -
+	3658	273
-	412	6153

Precision

0.8987714987714988

Recall

0.9305520223861613

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3658	162	111
-	412	182	5971

Precision?

0.8654281830539193

Recall?

0.9717629102009667

Freqs

test

number	freq
0	6426
1	3111
2	913
3	46

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	31	1	0
-	0	0	9

Precision?

1.0

Recall?

1.0

Samples

1.6s	16 176×	0	valid
1.2s	3 436×	1	valid
647.0ms	1 350×	2	valid
21.0ms	30×	3	valid

Compiler

Compiled 14 024 to 4 008 computations (71.4% saved)

Precisions

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

ival-mult: 605.0ms (25.5% of total)

adjust: 315.0ms (13.3% of total)

ival-div: 268.0ms (11.3% of total)

ival-add: 208.0ms (8.8% of total)

ival-sub: 204.0ms (8.6% of total)

ival-pow: 195.0ms (8.2% of total)

ival-sin: 152.0ms (6.4% of total)

const: 102.0ms (4.3% of total)

ival-cos: 72.0ms (3% of total)

ival-exp: 68.0ms (2.9% of total)

ival-pow2: 61.0ms (2.6% of total)

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

ival-true: 21.0ms (0.9% of total)

exact: 19.0ms (0.8% of total)

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

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

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

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

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

ival-expm1: 3.0ms (0.1% of total)

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

preprocess13.0s (4%)

Memory

-193.6MiB live, 8 841.4MiB allocated

Algorithm

41×	egg-herbie

Stop Event

80×	iter limit
54×	saturated
30×	node limit

Compiler

Compiled 57 221 to 10 087 computations (82.4% saved)

analyze8.7s (2.7%)

Memory

38.5MiB live, 5 140.0MiB allocated

Algorithm

43×	search
2×	random

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	54.5%	45.5%	0%	0%	0%	0
21.4%	11.7%	42.9%	45.5%	0%	0%	0%	1
37.4%	20.4%	34.1%	45.5%	0%	0%	0%	2
48.7%	26.2%	27.7%	45.5%	0%	0.6%	0%	3
57.7%	30.7%	22.6%	45.5%	0%	1.2%	0%	4
71.2%	37.7%	15.3%	45.5%	0%	1.6%	0%	5
72.9%	38.4%	14.3%	45.5%	0%	1.8%	0%	6
77.9%	40.7%	11.6%	45.5%	0%	2.2%	0%	7
81.5%	42.6%	9.7%	45.5%	0%	2.3%	0%	8
84.1%	43.8%	8.3%	45.5%	0%	2.5%	0%	9
86.2%	44.6%	7.2%	45.5%	0%	2.7%	0%	10
88.2%	45.6%	6.1%	45.5%	0%	2.8%	0%	11
89.1%	45.9%	5.6%	45.5%	0%	2.9%	0%	12

Compiler

Compiled 1 402 to 721 computations (48.6% saved)

regimes7.8s (2.4%)

Memory

93.2MiB live, 8 301.1MiB allocated

Counts

4 933 → 566

Calls

94 calls:

660.0ms	x
560.0ms	b
402.0ms	c
385.0ms	a
332.0ms	(/.f64 #s(literal 10 binary64) (-.f64 #s(literal 1 binary64) (*.f64 x x)))

Compiler

Compiled 7 646 to 5 433 computations (28.9% saved)

prune7.5s (2.3%)

Memory: -179.5MiB live, 8 684.8MiB allocated
Counts: 92 902 → 1 991
Compiler: Compiled 145 063 to 63 537 computations (56.2% saved)

series3.9s (1.2%)

Memory

-6.5MiB live, 4 130.3MiB allocated

Counts

1 914 → 10 136

Calls

858 calls:

Time	Variable		Point	Expression
103.0ms	eps	@	0	((/ (+ (* (neg x) x) (+ (* x x) eps)) (+ (sqrt (+ (* x x) (neg eps))) x)) (+ (* (neg x) x) (+ (* x x) eps)) (+ (sqrt (+ (* x x) (neg eps))) x) (sqrt (+ (* x x) (neg eps))) (/ (+ (* (neg x) x) (+ (* x x) eps)) (+ (sqrt (+ (* x x) (neg eps))) x)) (- x (sqrt (- (* x x) eps))) (/ (* 1/2 eps) x) (* 1/2 eps) (- (* x x) (* x x)) (+ eps (- (* x x) (* x x))) (/ (+ eps (- (* x x) (* x x))) (+ (sqrt (- (* x x) eps)) x)) (* x x) (/ 1 (pow eps -1)) (/ (/ 1 (pow eps -1)) (+ (sqrt (- (* x x) eps)) x)) (pow eps -1) (+ (sqrt (- (* x x) eps)) x) (+ (sqrt (- (* x x) eps)) x) (+ (* (/ eps x) -1/2) (* 2 x)) (* 2 x) (- (* x x) eps) (sqrt (- (* x x) eps)))
78.0ms	e	@	-inf	((+ (+ (+ (+ e d) c) b) a) (+ (+ (+ e d) c) b) (+ (+ e d) c) (+ e d))
66.0ms	u	@	-inf	((/ (* (neg v) (/ t1 (+ u t1))) (+ u t1)) (neg v) (/ t1 (+ u t1)) (+ u t1) (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (/ (neg v) t1) (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (* (neg t1) v) (neg t1) (* (+ t1 u) (+ t1 u)) (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (* (+ t1 u) (+ t1 u)) (* 1 v) (/ (neg (+ u t1)) t1) (* (/ (neg (+ u t1)) t1) (+ u t1)) (neg (+ u t1)) (* (neg v) (/ t1 (+ u t1))) (* u u) (* (+ (* 2 u) t1) t1) (/ (* 1 v) (* (/ (neg (+ u t1)) t1) (+ u t1))))
59.0ms	i	@	-inf	((* (* (- (exp (* (log (+ 1 (/ i n))) n)) 1) (/ 100 i)) n) (* (- (exp (* (log (+ 1 (/ i n))) n)) 1) (/ 100 i)) (* (/ (- (exp i) 1) i) 100) (/ (- (exp i) 1) i) (/ 0 i) (* 100 (+ (* (/ (pow (+ (/ i n) 1) n) i) n) (/ (neg n) i))) (* (+ (* i (+ (/ (+ (* -1/2 i) -1/2) n) (+ (* 1/6 i) 1/2))) 1) n) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (+ (* (* n i) (+ (* (- (+ (/ 1/3 (* n n)) 1/6) (/ 1/2 n)) i) (- 1/2 (/ 1/2 n)))) n) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (/ (* (- (exp i) 1) n) i) (* (- (exp i) 1) n) (* (* (- (exp (* (log (+ 1 (/ i n))) n)) 1) (/ 100 i)) n) (* (- (exp (* (log (+ 1 (/ i n))) n)) 1) (/ 100 i)) (- (exp (* (log (+ 1 (/ i n))) n)) 1) (* (- (log i) (log n)) n) (+ (* 1/6 i) 1/2) (- (log i) (log n)))
53.0ms	x	@	inf	((+ (- x 1) (* (- x 1) x)) (* (/ 1 (+ (- x 1) (* (- x 1) x))) -10) (/ 1 (+ (- x 1) (* (- x 1) x))) (- x 1) (pow (pow (* -1/10 (+ (* x x) -1)) -1/2) 2) (* (+ (* x x) 1) 10) (+ (* x x) 1) (+ (* 10 (* x x)) 10) (pow (pow (* -1/10 (+ (* x x) -1)) -1/2) 2) (* 10 (* x x)) (* x x) (/ 1 (* -1/10 (+ (* x x) -1))) (* -1/10 (+ (* x x) -1)) (+ (* x x) -1) (/ (/ 10 (- 1 x)) (+ x 1)) (/ 10 (- 1 x)) (- 1 x) (+ x 1) (* (- x 1) x))

bsearch3.2s (1%)

Memory

103.7MiB live, 2 585.3MiB allocated

Algorithm

184×	binary-search
82×	left-value

Stop Event

177×	narrow-enough
7×	predicate-same

Samples

1.3s	9 056×	0	valid
251.0ms	966×	1	valid
151.0ms	500×	2	valid
95.0ms	929×	0	invalid
2.0ms	6×	3	valid
1.0ms	11×	0	exit
0.0ms	1×	1	exit

Compiler

Compiled 145 757 to 75 906 computations (47.9% saved)

Precisions

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

ival-mult: 658.0ms (47.1% of total)

ival-div: 180.0ms (12.9% of total)

ival-add: 160.0ms (11.5% of total)

ival-pow: 127.0ms (9.1% of total)

ival-sub: 108.0ms (7.7% of total)

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

adjust: 44.0ms (3.1% of total)

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

ival-sqrt: 19.0ms (1.4% of total)

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

exact: 9.0ms (0.6% of total)

const: 4.0ms (0.3% of total)

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

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

start2.0ms (0%)

Memory: 4.1MiB live, 4.1MiB allocated

end0.0ms (0%)

Memory: 0.7MiB live, 0.7MiB allocated

sample1.2min (21.8%)

simplify58.0s (17.8%)

soundness49.4s (15.2%)

rewrite36.9s (11.3%)

eval26.5s (8.1%)

localize21.8s (6.7%)

explain17.7s (5.5%)

preprocess13.0s (4%)

analyze8.7s (2.7%)

regimes7.8s (2.4%)

prune7.5s (2.3%)

series3.9s (1.2%)

bsearch3.2s (1%)

start2.0ms (0%)

end0.0ms (0%)

Profiling