Metrics for Herbie run

Date:	Thursday, September 5th, 2024
Commit:	9205cc88 on zane-concrete-values
Hostname:	nightly with Racket 8.11.1
Seed:	2024249
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.2min (22.2%)

Memory

149.9MiB live, 75 876.6MiB allocated

Samples

30.0s	285 725×	0	valid
12.6s	43 825×	1	valid
7.2s	16 790×	2	valid
661.0ms	101×	3	exit
466.0ms	412×	3	valid
401.0ms	932×	0	exit
331.0ms	4 215×	0	invalid
60.0ms	101×	4	exit
5.0ms	38×	1	exit

Precisions

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

ival-mult: 8.7s (21.8% of total)

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

ival-div: 3.9s (9.8% of total)

ival-<=: 3.2s (8% of total)

ival-pow: 3.1s (7.7% of total)

ival-sub: 2.9s (7.4% of total)

adjust: 2.8s (7.1% of total)

const: 2.8s (7% of total)

ival-sin: 2.5s (6.2% of total)

ival-cos: 1.5s (3.9% of total)

ival-exp: 482.0ms (1.2% of total)

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

exact: 405.0ms (1% of total)

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

ival-==: 377.0ms (0.9% of total)

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

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

ival-pow2: 238.0ms (0.6% of total)

ival-tan: 163.0ms (0.4% of total)

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

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

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

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

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

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

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

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

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

Bogosity

simplify53.2s (16.8%)

Memory

686.8MiB live, 48 927.3MiB allocated

Algorithm

340×	egg-herbie

Rules

2 783 166×	`lower-fma.f32`
2 782 558×	`lower-fma.f64`
954 444×	`lower-*.f32`
953 088×	`lower-*.f64`
576 100×	`lower-+.f32`

Stop Event

433×	iter limit
218×	node limit
136×	saturated

Counts

39 804 → 38 703

soundness43.5s (13.8%)

Memory

-25.3MiB live, 26 535.6MiB allocated

Rules

1 535 588×	`lower-fma.f32`
1 535 264×	`lower-fma.f64`
782 894×	`lower-*.f32`
782 058×	`lower-*.f64`
418 470×	`lower-/.f32`

Stop Event

258×	iter limit
169×	node limit
24×	fuel
18×	done
9×	saturated

Compiler

Compiled 19 897 to 9 365 computations (52.9% saved)

rewrite38.1s (12.1%)

Memory

-15.4MiB live, 40 372.5MiB allocated

Rules

824 808×	`lower-fma.f32`
824 202×	`lower-fma.f64`
635 792×	`lower-*.f32`
634 456×	`lower-*.f64`
533 278×	`lower-/.f32`

Stop Event

293×	iter limit
144×	node limit
13×	saturated

Counts

1 937 → 86 155

eval33.9s (10.7%)

Memory: 782.0MiB live, 38 360.6MiB allocated
Compiler: Compiled 4 054 412 to 358 792 computations (91.2% saved)

localize21.9s (6.9%)

Memory

-621.3MiB live, 25 251.3MiB allocated

Samples

8.5s	29 478×	0	valid
4.6s	5 497×	1	valid
3.4s	2 744×	2	valid
334.0ms	101×	3	valid
110.0ms	19×	4	valid
43.0ms	171×	0	exit
30.0ms	104×	1	exit
18.0ms	6×	5	exit
9.0ms	24×	0	invalid

Compiler

Compiled 35 625 to 4 213 computations (88.2% saved)

Precisions

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

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

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

ival-add: 1.6s (12.9% of total)

adjust: 1.3s (10.2% of total)

ival-pow: 1.3s (10.1% of total)

const: 911.0ms (7.3% of total)

ival-sub: 897.0ms (7.2% of total)

ival-sin: 222.0ms (1.8% of total)

ival-cos: 205.0ms (1.6% of total)

ival-exp: 167.0ms (1.3% of total)

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

ival-sqrt: 100.0ms (0.8% of total)

ival-pow2: 63.0ms (0.5% of total)

exact: 59.0ms (0.5% of total)

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

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

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

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

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

ival-tan: 8.0ms (0.1% of total)

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

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

ival-e: 2.0ms (0% of total)

preprocess12.0s (3.8%)

Memory

-106.5MiB live, 10 957.0MiB allocated

Algorithm

42×	egg-herbie

Rules

284 538×	`lower-fma.f32`
284 536×	`lower-fma.f64`
55 266×	`lower-*.f32`
55 078×	`lower-*.f64`
37 652×	`lower-+.f32`

Stop Event

82×	iter limit
54×	saturated
32×	node limit

Compiler

Compiled 23 791 to 8 248 computations (65.3% saved)

prune11.0s (3.5%)

Memory: -467.7MiB live, 15 193.9MiB allocated
Counts: 147 916 → 2 154
Compiler: Compiled 78 179 to 44 184 computations (43.5% saved)

explain9.7s (3.1%)

Memory

51.4MiB live, 12 749.5MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`#f`	cancellation	1309	1
`+.f64`	`#f`	cancellation	372	82
`-.f64`	(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))	oflow-left	217	0
`sqrt.f64`	`#f`	oflow-rescue	216	0
`log.f64`	`(log.f64 (+.f64 #s(literal 1 binary64) x))`	sensitivity	167	1
`/.f64`	`#f`	n/o	160	0
`/.f64`	`#f`	o/o	146	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	sensitivity	129	0
`/.f64`	`#f`	u/n	93	0
`-.f64`	`#f`	nan-rescue	91	0
`/.f64`	`#f`	n/u	48	0
`/.f64`	`#f`	o/n	47	0
`/.f64`	`#f`	u/u	43	0
`*.f64`	`#f`	*nu**	42	0
`+.f64`	`#f`	nan-rescue	38	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	oflow-rescue	22	0
↳	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	overflow	42
↳	`(/.f64 i n)`	overflow	22
↳	`(+.f64 #s(literal 1 binary64) (/.f64 i n))`	overflow	22
`sqrt.f64`	`#f`	uflow-rescue	20	0
`*.f64`	`#f`	*no**	20	0

Confusion

	Predicted +	Predicted -
+	3869	241
-	109	6533

Precision

0.9725992961287079

Recall

0.9413625304136253

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3869	164	77
-	109	176	6357

Precision?

0.9339972209356183

Recall?

0.9812652068126521

Freqs

test

number	freq
0	6774
1	3536
2	407
3	35

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	31	1	0
-	2	0	8

Precision?

0.9411764705882353

Recall?

1.0

Samples

1.6s	16 400×	0	valid
1.4s	3 722×	1	valid
610.0ms	1 348×	2	valid
19.0ms	34×	3	valid

Compiler

Compiled 7 535 to 1 486 computations (80.3% saved)

Precisions

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

ival-mult: 655.0ms (26.4% of total)

adjust: 357.0ms (14.4% of total)

ival-div: 290.0ms (11.7% of total)

ival-add: 211.0ms (8.5% of total)

ival-sin: 210.0ms (8.5% of total)

const: 158.0ms (6.4% of total)

ival-pow: 157.0ms (6.3% of total)

ival-sub: 141.0ms (5.7% of total)

ival-cos: 105.0ms (4.2% of total)

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

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

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

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

exact: 17.0ms (0.7% of total)

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

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

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

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

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

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

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

regimes8.1s (2.6%)

Memory

54.2MiB live, 10 388.4MiB allocated

Counts

5 312 → 557

Calls

96 calls:

711.0ms	x
499.0ms	d
447.0ms	c
297.0ms	(.f64 (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))
277.0ms	b

Compiler

Compiled 9 259 to 5 902 computations (36.3% saved)

series6.1s (1.9%)

Memory

66.6MiB live, 7 918.1MiB allocated

Counts

1 937 → 39 804

Calls

852 calls:

Time	Variable		Point	Expression
307.0ms	x2	@	-inf	((+ x1 (+ (* (* x1 x1) x1) (+ (+ (* (+ (* (+ (* 4 (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1))) -6) (* x1 x1)) (* (- (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) 3) (* (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) (* x1 2)))) (+ (* x1 x1) 1)) (* (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) (* (* 3 x1) x1))) (+ (* (/ (- (+ (* -2 x2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) 3) x1)))) (+ (* (* (+ (* 2 x2) -3) x2) 4) -2) (* x1 x1) (+ (+ (* (+ (* (+ (* 4 (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1))) -6) (* x1 x1)) (* (- (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) 3) (* (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) (* x1 2)))) (+ (* x1 x1) 1)) (* (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) (* (* 3 x1) x1))) (+ (* (/ (- (+ (* -2 x2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) 3) x1)) (+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))) (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (+ (* (/ x1 (+ (* x1 x1) 1)) 8) (/ (+ (* (+ (* (* 2 x1) (/ (* (+ (/ (+ (* (* x1 x1) 3) (neg x1)) (+ (* x1 x1) 1)) (- (/ (+ (* (* x1 x1) 3) (neg x1)) (+ (* x1 x1) 1)) 3)) -2) (+ (* x1 x1) 1))) (/ (* -8 (* x1 x1)) (+ (* x1 x1) 1))) (+ (* x1 x1) 1)) (+ (* (* x1 (/ x1 (+ (* x1 x1) 1))) -6) (/ 6 (+ (* x1 x1) 1)))) (neg x2))) (* x2 x2)) (* (* (* x1 x1) x2) 8) (+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))) (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (+ (* (+ (* (- (+ (* (+ (* -2 x2) (+ (* -2 x2) 3)) 2) (+ (* (+ (* 2 x2) 3) 3) (+ (* 14 x2) (* (+ (* (+ (* (* (+ (* -2 x2) 3) 2) x2) (+ (* (* (+ (* -2 x2) 3) 2) x2) (+ (* (+ (* 2 x2) -3) 3) 1))) 2) (+ (* (* (+ (* 2 x2) -3) 4) x2) -3)) x1)))) 6) x1) (+ (* (* (+ (* 2 x2) -3) x2) 4) -2)) x1) (* -6 x2)) (+ (* (- (+ (* (+ (* -2 x2) (+ (* -2 x2) 3)) 2) (+ (* (+ (* 2 x2) 3) 3) (+ (* 14 x2) (* (+ (* (+ (* (* (+ (* -2 x2) 3) 2) x2) (+ (* (* (+ (* -2 x2) 3) 2) x2) (+ (* (+ (* 2 x2) -3) 3) 1))) 2) (+ (* (* (+ (* 2 x2) -3) 4) x2) -3)) x1)))) 6) x1) (+ (* (* (+ (* 2 x2) -3) x2) 4) -2)) (* (+ (* (+ (* x1 x1) -1) (* x1 x1)) 1) x1) (+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))) (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (+ (* (/ x1 (+ (* x1 x1) 1)) 8) (/ (+ (* (+ (* (* 2 x1) (/ (* (+ (/ (+ (* (* x1 x1) 3) (neg x1)) (+ (* x1 x1) 1)) (- (/ (+ (* (* x1 x1) 3) (neg x1)) (+ (* x1 x1) 1)) 3)) -2) (+ (* x1 x1) 1))) (/ (* -8 (* x1 x1)) (+ (* x1 x1) 1))) (+ (* x1 x1) 1)) (+ (* (* x1 (/ x1 (+ (* x1 x1) 1))) -6) (/ 6 (+ (* x1 x1) 1)))) (neg x2))) (* x2 x2)) (+ (+ (* (+ (* (+ (* 4 (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1))) -6) (* x1 x1)) (* (- (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) 3) (* (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) (* x1 2)))) (+ (* x1 x1) 1)) (* (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) (* (* 3 x1) x1))) (+ (* (/ (- (+ (* -2 x2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) 3) x1)) (+ (* (* x1 x1) x1) (+ (+ (* (+ (* (+ (* 4 (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1))) -6) (* x1 x1)) (* (- (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) 3) (* (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) (* x1 2)))) (+ (* x1 x1) 1)) (* (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) (* (* 3 x1) x1))) (+ (* (/ (- (+ (* -2 x2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) 3) x1))) (+ (* (+ (* 2 x2) -3) 4) -6) (+ x1 (+ (* (* x1 x1) x1) (+ (+ (* (+ (* (+ (* 4 (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1))) -6) (* x1 x1)) (* (- (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) 3) (* (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) (* x1 2)))) (+ (* x1 x1) 1)) (* (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) (* (* 3 x1) x1))) (+ (* (/ (- (+ (* -2 x2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) 3) x1)))) (+ (* (* x1 x1) x1) (+ (+ (* (+ (* (+ (* 4 (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1))) -6) (* x1 x1)) (* (- (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) 3) (* (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) (* x1 2)))) (+ (* x1 x1) 1)) (* (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) (* (* 3 x1) x1))) (+ (* (/ (- (+ (* -2 x2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) 3) x1))) (+ (* (+ (* (* (+ (* 2 x2) -3) x2) 4) -2) x1) (* x2 -6)) (* (+ (* 2 x2) -3) x2) (* (* x1 x1) x2) (+ (* (+ (* (+ (* 24 x1) 12) x1) -12) x2) -2) (/ x1 (+ (* x1 x1) 1)) (/ (+ (* (+ (* (* 2 x1) (/ (* (+ (/ (+ (* (* x1 x1) 3) (neg x1)) (+ (* x1 x1) 1)) (- (/ (+ (* (* x1 x1) 3) (neg x1)) (+ (* x1 x1) 1)) 3)) -2) (+ (* x1 x1) 1))) (/ (* -8 (* x1 x1)) (+ (* x1 x1) 1))) (+ (* x1 x1) 1)) (+ (* (* x1 (/ x1 (+ (* x1 x1) 1))) -6) (/ 6 (+ (* x1 x1) 1)))) (neg x2)) (+ (* (+ (* 4 (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1))) -6) (* x1 x1)) (* (- (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) 3) (* (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) (* x1 2)))) (* (- 6 (/ (- 4 (/ (+ (* (+ (* 2 x2) -3) 4) -6) x1)) x1)) (* x1 x1)) (/ (- (+ (* -2 x2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)))
132.0ms	x	@	-inf	((/ (* x 1) 2) (* x 1) (* (cos x) (* (pow (pow (exp 10) x) (/ (* x 1) 2)) (pow (pow (exp 10) x) (/ (* x 1) 2)))) (cos x) (* (cos x) (pow (pow (exp 10) x) x)) (pow (pow (exp 10) x) x) (* (sqrt x) (* (sqrt x) (* x 1))) (* (cos x) (exp (* 10 (* (sqrt x) (* (sqrt x) (* x 1)))))) (* (cos x) (pow (pow (exp x) 5) (* 2 x))) (pow (pow (exp x) 5) (* 2 x)) (pow (exp x) 5) (* (cos x) (pow (pow (exp 10) (sqrt x)) (pow x 3/2))) (pow (pow (exp 10) (sqrt x)) (pow x 3/2)) (pow (exp 10) (sqrt x)) (pow (exp 10) x) (* (pow (pow (exp 10) x) (/ (* x 1) 2)) (pow (pow (exp 10) x) (/ (* x 1) 2))) (pow (pow (exp 10) x) (/ (* x 1) 2)) (exp (* 10 (* (sqrt x) (* (sqrt x) (* x 1))))) (* (sqrt x) (* x 1)))
116.0ms	x	@	inf	((* (cos x) (pow (pow (exp 20) x) (* 1/2 x))) (cos x) (pow (pow (exp 20) x) (* 1/2 x)) (pow (exp 20) x) (* (cos x) (pow (pow (exp 10) x) x)) (cos x) (+ (* -1/2 (* x x)) 1) (* x x) (* (cos x) (pow (exp x) (* 10 x))) (pow (exp x) (* 10 x)) (exp x) (* (cos x) (pow (pow (exp 5) x) (* 2 x))) (pow (pow (exp 5) x) (* 2 x)) (pow (exp 5) x) (/ (* x 1) 2) (* x 1) (* (cos x) (* (pow (pow (exp 10) x) (/ (* x 1) 2)) (pow (pow (E) (* 10 x)) (/ (* x 1) 2)))) (pow (pow (exp 10) x) x) (pow (E) (* 10 x)) (pow (exp 10) x) (* (pow (pow (exp 10) x) (/ (* x 1) 2)) (pow (pow (E) (* 10 x)) (/ (* x 1) 2))))
98.0ms	t	@	-inf	((+ (* (+ 1 (* t 1/5000000000000000)) (+ 1 (* t 1/5000000000000000))) (- -1 (* 2 (* t 1/5000000000000000)))) (* (* t t) 1/25000000000000000000000000000000) (* t t))
95.0ms	t	@	0	((* (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 7/8) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/8)) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 7/8) (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/8) (/ 1 (/ 1 (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (/ 1 (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (pow (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1/2) -2) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1/2) (pow (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4) 4) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4) (* (pow (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1) -1/2) (sqrt (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (pow (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1) -1/2) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1) (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (sqrt (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))

analyze5.0s (1.6%)

Memory

-39.6MiB live, 5 389.6MiB 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)

bsearch3.2s (1%)

Memory

26.1MiB live, 3 638.0MiB allocated

Algorithm

166×	binary-search
98×	left-value

Stop Event

155×	narrow-enough
10×	predicate-same
1×	predicate-failed

Samples

1.2s	10 587×	0	valid
586.0ms	933×	1	valid
100.0ms	843×	0	invalid
66.0ms	223×	2	valid
0.0ms	1×	3	valid

Compiler

Compiled 31 368 to 28 521 computations (9.1% saved)

Precisions

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

ival-sub: 499.0ms (32.4% of total)

ival-mult: 488.0ms (31.7% of total)

ival-div: 188.0ms (12.2% of total)

ival-add: 121.0ms (7.8% of total)

ival-pow: 110.0ms (7.1% of total)

ival-sqrt: 38.0ms (2.5% of total)

adjust: 31.0ms (2% of total)

ival-exp: 23.0ms (1.5% of total)

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

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

exact: 9.0ms (0.6% of total)

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

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

start2.0ms (0%)

Memory: 4.1MiB live, 4.1MiB allocated

end0.0ms (0%)

Memory: 0.6MiB live, 0.6MiB allocated

sample1.2min (22.2%)

simplify53.2s (16.8%)

soundness43.5s (13.8%)

rewrite38.1s (12.1%)

eval33.9s (10.7%)

localize21.9s (6.9%)

preprocess12.0s (3.8%)

prune11.0s (3.5%)

explain9.7s (3.1%)

regimes8.1s (2.6%)

series6.1s (1.9%)

analyze5.0s (1.6%)

bsearch3.2s (1%)

start2.0ms (0%)

end0.0ms (0%)

Profiling