Metrics for Herbie run

Date:	Thursday, September 5th, 2024
Commit:	b5f2937f on zane-regimes-old
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.1min (20.4%)

Memory

709.0MiB live, 80 039.4MiB allocated

Samples

29.6s	285 725×	0	valid
13.0s	43 825×	1	valid
7.0s	16 790×	2	valid
387.0ms	932×	0	exit
347.0ms	4 215×	0	invalid
230.0ms	101×	3	exit
136.0ms	412×	3	valid
57.0ms	101×	4	exit
5.0ms	38×	1	exit

Precisions

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

ival-mult: 8.3s (21.6% of total)

ival-div: 4.2s (10.8% of total)

const: 3.9s (10.1% of total)

ival-add: 3.8s (9.8% of total)

adjust: 3.1s (8.1% of total)

ival-sub: 3.0s (7.7% of total)

ival-pow: 2.8s (7.3% of total)

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

ival-<=: 2.0s (5.2% of total)

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

ival-exp: 521.0ms (1.4% of total)

ival-sqrt: 503.0ms (1.3% of total)

ival-neg: 495.0ms (1.3% of total)

exact: 405.0ms (1.1% of total)

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

ival-==: 282.0ms (0.7% of total)

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

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

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

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

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

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

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

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

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

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

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

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

Bogosity

simplify52.3s (15.6%)

Memory

400.3MiB live, 51 287.9MiB 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

soundness45.8s (13.7%)

Memory

182.6MiB live, 26 965.5MiB allocated

Rules

1 537 532×	`lower-fma.f32`
1 537 218×	`lower-fma.f64`
779 736×	`lower-*.f32`
778 920×	`lower-*.f64`
412 276×	`lower-+.f32`

Stop Event

255×	iter limit
168×	node limit
24×	fuel
18×	done
9×	saturated

Compiler

Compiled 21 313 to 9 926 computations (53.4% saved)

rewrite38.8s (11.6%)

Memory

324.2MiB live, 41 394.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.6s (10%)

Memory: 519.3MiB live, 43 269.7MiB allocated
Compiler: Compiled 4 054 412 to 358 792 computations (91.2% saved)

regimes25.8s (7.7%)

Memory

-135.6MiB live, 43 031.2MiB allocated

Counts

5 447 → 614

Calls

96 calls:

3.5s	x
2.1s	b
2.0s	c
1.8s	x1
1.6s	d

Compiler

Compiled 9 317 to 5 941 computations (36.2% saved)

localize21.6s (6.4%)

Memory

-239.4MiB live, 27 485.8MiB allocated

Samples

8.4s	29 478×	0	valid
4.0s	5 497×	1	valid
3.8s	2 744×	2	valid
363.0ms	101×	3	valid
131.0ms	19×	4	valid
45.0ms	171×	0	exit
28.0ms	104×	1	exit
20.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.5s

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

ival-add: 1.7s (13.9% of total)

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

ival-pow: 1.1s (8.7% of total)

adjust: 1.0s (8.2% of total)

const: 915.0ms (7.3% of total)

ival-sub: 819.0ms (6.6% of total)

ival-pow2: 370.0ms (3% of total)

ival-sin: 344.0ms (2.8% of total)

ival-exp: 268.0ms (2.1% of total)

ival-cos: 183.0ms (1.5% of total)

ival-neg: 177.0ms (1.4% of total)

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

exact: 61.0ms (0.5% of total)

ival-log1p: 53.0ms (0.4% of total)

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

ival-expm1: 19.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: 3.0ms (0% of total)

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

preprocess12.7s (3.8%)

Memory

27.1MiB live, 11 868.9MiB 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 25 535 to 8 488 computations (66.8% saved)

prune10.6s (3.2%)

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

explain10.4s (3.1%)

Memory

-249.9MiB live, 13 637.2MiB 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

2.2s	16 400×	0	valid
1.1s	3 722×	1	valid
620.0ms	1 348×	2	valid
18.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.7s

ival-mult: 624.0ms (23% of total)

ival-neg: 326.0ms (12% of total)

ival-log1p: 295.0ms (10.9% of total)

ival-div: 227.0ms (8.4% of total)

ival-pow: 220.0ms (8.1% of total)

adjust: 219.0ms (8.1% of total)

ival-add: 213.0ms (7.9% of total)

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

ival-cos: 118.0ms (4.4% of total)

ival-sin: 87.0ms (3.2% of total)

ival-exp: 53.0ms (2% of total)

const: 39.0ms (1.4% of total)

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

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

exact: 17.0ms (0.6% of total)

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

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

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

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

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

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

series6.3s (1.9%)

Memory

-69.4MiB live, 8 135.1MiB allocated

Counts

1 937 → 39 804

Calls

852 calls:

Time	Variable		Point	Expression
294.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)))
213.0ms	i	@	inf	((/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (- (pow (+ 1 (/ i n)) n) 1) (pow (+ 1 (/ i n)) n))
98.0ms	x	@	-inf	((- 1 (cos x)) (* (* (+ (* (+ (* 1/720 (* x x)) -1/24) (* x x)) 1/2) x) x) (* (+ (* (+ (* 1/720 (* x x)) -1/24) (* x x)) 1/2) x) (+ (* (+ (* 1/720 (* x x)) -1/24) (* x x)) 1/2) (- 1 (cos x)) (cos x) (- 1 (cos x)) (* (* x x) 1/2) (* x x) (- 1 (cos x)) (cos x) (+ (* -1/2 (* x x)) 1) (- 1 (cos x)) (* (* (+ (* -1/24 (* x x)) 1/2) x) x) (* (+ (* -1/24 (* x x)) 1/2) x) (+ (* -1/24 (* x x)) 1/2) (+ (* 1/720 (* x x)) -1/24))
97.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)))
59.0ms	t	@	0	((exp (* (log t) 2)) (+ (* (+ 1 (* t 1/5000000000000000)) (+ 1 (* t 1/5000000000000000))) (- -1 (* 2 (* t 1/5000000000000000)))) (* (exp (* (log t) 2)) 1/25000000000000000000000000000000) (* (log t) 2) (* (* 1/5000000000000000 t) (* 1/5000000000000000 t)) (+ (* (+ 1 (* t 1/5000000000000000)) (+ 1 (* t 1/5000000000000000))) (- -1 (* 2 (* t 1/5000000000000000)))) (* 1/5000000000000000 t) (+ (* (+ 1 (* t 1/5000000000000000)) (+ 1 (* t 1/5000000000000000))) (- -1 (* 2 (* t 1/5000000000000000)))) (* (* t 1/25000000000000000000000000000000) t) (* t 1/25000000000000000000000000000000) (* (* (* t t) 1/5000000000000000) 1/5000000000000000) (+ (* (+ 1 (* t 1/5000000000000000)) (+ 1 (* t 1/5000000000000000))) (- -1 (* 2 (* t 1/5000000000000000)))) (* (* t t) 1/5000000000000000) (* t t) (log t))

analyze5.9s (1.8%)

Memory

-121.7MiB live, 5 208.3MiB 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.4s (1%)

Memory

-53.1MiB live, 4 807.6MiB allocated

Algorithm

216×	binary-search
99×	left-value

Stop Event

204×	narrow-enough
11×	predicate-same
1×	predicate-failed

Samples

1.4s	13 442×	0	valid
292.0ms	1 218×	1	valid
111.0ms	993×	0	invalid
96.0ms	311×	2	valid
3.0ms	21×	0	exit
1.0ms	5×	3	valid

Compiler

Compiled 40 501 to 37 489 computations (7.4% saved)

Precisions

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

ival-mult: 565.0ms (40.1% of total)

ival-sub: 200.0ms (14.2% of total)

ival-add: 185.0ms (13.1% of total)

ival-div: 176.0ms (12.5% of total)

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

ival-exp: 53.0ms (3.8% of total)

adjust: 48.0ms (3.4% of total)

ival-neg: 35.0ms (2.5% of total)

ival-sqrt: 28.0ms (2% of total)

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

exact: 12.0ms (0.9% of total)

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

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

start2.0ms (0%)

Memory: 4.6MiB live, 4.5MiB allocated

end0.0ms (0%)

Memory: 0.7MiB live, 0.7MiB allocated

sample1.1min (20.4%)

simplify52.3s (15.6%)

soundness45.8s (13.7%)

rewrite38.8s (11.6%)

eval33.6s (10%)

regimes25.8s (7.7%)

localize21.6s (6.4%)

preprocess12.7s (3.8%)

prune10.6s (3.2%)

explain10.4s (3.1%)

series6.3s (1.9%)

analyze5.9s (1.8%)

bsearch3.4s (1%)

start2.0ms (0%)

end0.0ms (0%)

Profiling