Metrics for Herbie run

Date:	Monday, October 21st, 2024
Commit:	15c1caf3 on main
Hostname:	nightly with Racket 8.10
Seed:	2024295
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 (23%)

Memory

176.4MiB live, 70 401.7MiB allocated

Samples

31.7s	285 702×	0	valid
12.6s	43 719×	1	valid
7.1s	16 943×	2	valid
713.0ms	4 252×	0	invalid
306.0ms	388×	3	valid
241.0ms	101×	4	exit
193.0ms	996×	0	exit
81.0ms	101×	3	exit
5.0ms	34×	1	exit

Precisions

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

ival-mult: 9.4s (23.6% of total)

ival-add: 4.3s (10.8% of total)

ival-div: 3.6s (9.2% of total)

ival-sub: 3.3s (8.4% of total)

const: 3.1s (7.9% of total)

ival-pow: 3.0s (7.5% of total)

adjust: 2.7s (6.8% of total)

ival-sin: 2.3s (5.7% of total)

ival-<=: 2.3s (5.7% of total)

ival-cos: 1.7s (4.3% of total)

ival-neg: 747.0ms (1.9% of total)

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

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

exact: 441.0ms (1.1% of total)

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

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

ival-==: 231.0ms (0.6% of total)

ival-hypot: 189.0ms (0.5% of total)

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

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

ival-<: 115.0ms (0.3% of total)

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

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

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

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

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

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

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

Bogosity

simplify55.6s (17.8%)

Memory

577.3MiB live, 43 993.3MiB allocated

Algorithm

344×	egg-herbie

Stop Event

439×	iter limit
226×	node limit
132×	saturated

Counts

9 886 → 9 744

soundness47.7s (15.3%)

Memory

160.2MiB live, 24 234.3MiB allocated

Stop Event

261×	iter limit
172×	node limit
27×	fuel
15×	done
9×	saturated

Compiler

Compiled 44 570 to 12 333 computations (72.3% saved)

rewrite37.3s (11.9%)

Memory

480.2MiB live, 34 033.0MiB allocated

Stop Event

299×	iter limit
145×	node limit
13×	saturated
1×	unsound

Counts

1 932 → 79 818

eval25.6s (8.2%)

Memory: -111.7MiB live, 22 147.6MiB allocated
Compiler: Compiled 3 955 176 to 317 816 computations (92% saved)

localize22.8s (7.3%)

Memory

-244.2MiB live, 22 438.7MiB allocated

Samples

8.2s	30 367×	0	valid
4.5s	4 870×	1	valid
3.7s	2 499×	2	valid
302.0ms	95×	3	valid
184.0ms	371×	0	invalid
142.0ms	297×	0	exit
115.0ms	11×	4	valid
112.0ms	80×	5	exit
51.0ms	40×	1	invalid
25.0ms	15×	2	invalid
6.0ms	11×	1	exit

Compiler

Compiled 75 920 to 9 069 computations (88.1% saved)

Precisions

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

ival-mult: 3.7s (29.1% of total)

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

ival-add: 1.9s (15% of total)

adjust: 1.4s (10.8% of total)

ival-pow: 931.0ms (7.2% of total)

const: 700.0ms (5.4% of total)

ival-sub: 613.0ms (4.8% of total)

ival-cos: 434.0ms (3.4% of total)

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

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

ival-tan: 159.0ms (1.2% of total)

ival-sin: 155.0ms (1.2% of total)

ival-pow2: 130.0ms (1% of total)

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

exact: 62.0ms (0.5% of total)

ival-expm1: 37.0ms (0.3% of total)

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

ival-log: 26.0ms (0.2% of total)

ival-log1p: 18.0ms (0.1% of total)

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

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

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

preprocess11.3s (3.6%)

Memory

55.4MiB live, 8 973.9MiB allocated

Algorithm

42×	egg-herbie

Stop Event

82×	iter limit
54×	saturated
32×	node limit

Compiler

Compiled 67 925 to 10 756 computations (84.2% saved)

explain10.8s (3.5%)

Memory

-175.0MiB live, 12 104.1MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`#f`	cancellation	1310	1
`+.f64`	`#f`	cancellation	377	89
`-.f64`	(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))	oflow-left	231	0
`sqrt.f64`	`#f`	oflow-rescue	188	0
`/.f64`	`#f`	o/o	182	0
`log.f64`	`(log.f64 (+.f64 #s(literal 1 binary64) x))`	sensitivity	160	1
`/.f64`	`#f`	n/o	153	0
`-.f64`	`#f`	nan-rescue	134	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	sensitivity	118	0
`/.f64`	`#f`	u/n	75	0
`/.f64`	`#f`	n/u	62	0
`+.f64`	`#f`	nan-rescue	55	0
`/.f64`	`#f`	u/u	47	0
`*.f64`	`#f`	*nu**	44	0
`/.f64`	`#f`	o/n	41	0
`*.f64`	`#f`	*no**	26	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	oflow-rescue	19	0
↳	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	overflow	28
↳	`(/.f64 i n)`	overflow	19
↳	`(+.f64 #s(literal 1 binary64) (/.f64 i n))`	overflow	19
`sqrt.f64`	`#f`	uflow-rescue	8	0

Confusion

	Predicted +	Predicted -
+	3916	241
-	101	6494

Precision

0.974856858352004

Recall

0.9420254991580467

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3916	174	67
-	101	174	6320

Precision?

0.9369988545246277

Recall?

0.9838826076497474

Freqs

test

number	freq
0	6735
1	3582
2	382
3	53

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	30	1	0
-	2	0	9

Precision?

0.9393939393939394

Recall?

1.0

Samples

1.7s	16 386×	0	valid
1.6s	3 766×	1	valid
520.0ms	1 318×	2	valid
22.0ms	32×	3	valid
2.0ms	2×	4	valid

Compiler

Compiled 10 840 to 1 926 computations (82.2% saved)

Precisions

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

ival-div: 557.0ms (20.6% of total)

ival-add: 512.0ms (18.9% of total)

ival-mult: 454.0ms (16.8% of total)

adjust: 277.0ms (10.2% of total)

ival-pow: 270.0ms (10% of total)

ival-sin: 170.0ms (6.3% of total)

ival-sub: 169.0ms (6.2% of total)

const: 82.0ms (3% of total)

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

ival-exp: 26.0ms (1% of total)

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

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

exact: 19.0ms (0.7% of total)

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

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

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

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

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

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

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

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

regimes7.9s (2.5%)

Memory

-94.8MiB live, 8 067.5MiB allocated

Counts

5 411 → 655

Calls

96 calls:

666.0ms	x
606.0ms	eps
391.0ms	b
362.0ms	c
301.0ms	a

Compiler

Compiled 9 199 to 6 051 computations (34.2% saved)

prune6.6s (2.1%)

Memory: -575.7MiB live, 8 343.8MiB allocated
Counts: 88 508 → 2 079
Compiler: Compiled 163 931 to 69 751 computations (57.5% saved)

analyze5.2s (1.7%)

Memory

140.2MiB live, 4 834.7MiB 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)

bsearch5.0s (1.6%)

Memory

89.4MiB live, 3 178.3MiB allocated

Algorithm

230×	binary-search
103×	left-value

Stop Event

218×	narrow-enough
12×	predicate-same

Samples

2.1s	11 315×	0	valid
643.0ms	1 580×	1	valid
268.0ms	741×	2	valid
116.0ms	1 599×	0	invalid
19.0ms	28×	3	valid
3.0ms	28×	0	exit
0.0ms	2×	1	exit

Compiler

Compiled 166 184 to 88 330 computations (46.8% saved)

Precisions

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

ival-mult: 757.0ms (33% of total)

ival-div: 496.0ms (21.7% of total)

ival-exp: 325.0ms (14.2% of total)

ival-pow: 275.0ms (12% of total)

ival-add: 141.0ms (6.2% of total)

ival-sub: 129.0ms (5.6% of total)

adjust: 64.0ms (2.8% of total)

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

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

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

exact: 12.0ms (0.5% of total)

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

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

series4.9s (1.6%)

Memory

78.8MiB live, 5 473.9MiB allocated

Counts

1 932 → 9 886

Calls

873 calls:

Time	Variable		Point	Expression
317.0ms	x	@	0	((* (pow (pow (* (pow (exp 10) 1/2) (pow (exp 10) 1/2)) x) (/ (* x 1) 2)) (pow (pow (exp 10) x) (/ (* x 1) 2))) (* (pow (exp 10) 1/2) (pow (exp 10) 1/2)) (pow (exp 10) 1/2) (/ (* x 1) 2) (* (cos x) (* (pow (pow (exp 10) x) (/ (* x 1) 2)) (pow (pow (exp 10) x) (/ (* x 1) 2)))) (cos x) (* (pow (pow (exp 10) x) (/ (* x 1) 2)) (pow (pow (exp 10) x) (/ (* x 1) 2))) (* (cos x) (pow (exp x) (* 10 x))) (pow (exp x) (* 10 x)) (exp x) (* (cos x) (pow (pow (exp x) 20) (* 1/2 x))) (pow (pow (exp x) 20) (* 1/2 x)) (pow (exp x) 20) (* (cos x) (pow (pow (exp 10) (pow x 3/2)) (sqrt x))) (pow (pow (exp 10) (pow x 3/2)) (sqrt x)) (pow (exp 10) (pow x 3/2)) (pow (exp 10) x) (pow (* (pow (exp 10) 1/2) (pow (exp 10) 1/2)) x))
276.0ms	t	@	0	((* (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 3/4) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4)) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 3/4) (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4) (- (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1/2) -2) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1/2) (* (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 7/8) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/8)) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 7/8) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/8) (* (pow (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/8) 4) (pow (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1) -1/2)) (pow (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/8) 4) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1) (pow (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1) -1/2))
100.0ms	x	@	-inf	((+ (* (/ x eps) eps) eps) (- (pow (+ x eps) 5) (pow x 5)) (pow (+ x eps) 5) (+ x eps) (- (pow (+ x eps) 5) (pow x 5)) (pow eps 5) (+ (* 5 eps) (/ (* (* eps eps) -10) (neg x))) (/ (* (* eps eps) -10) (neg x)) (- (pow (+ x eps) 5) (pow x 5)) (* (+ (* 5 eps) (/ (* (* eps eps) -10) (neg x))) (pow x 4)) (- (pow (+ x eps) 5) (pow x 5)) (+ (* (* (pow eps 4) 5) x) (pow eps 5)) (* (pow eps 4) 5) (pow eps 4) (+ (* (* x x) -10) (/ (* (pow x 3) 10) (neg eps))) (+ (* 5 x) (/ (+ (* (* x x) -10) (/ (* (pow x 3) 10) (neg eps))) (neg eps))) (/ (+ (* (* x x) -10) (/ (* (pow x 3) 10) (neg eps))) (neg eps)) (/ (* (pow x 3) 10) (neg eps)) (* (* eps eps) -10) (* (+ (/ (+ (* 5 x) (/ (+ (* (* x x) -10) (/ (* (pow x 3) 10) (neg eps))) (neg eps))) eps) 1) (pow eps 5)) (- (pow (+ x eps) 5) (pow x 5)))
97.0ms	x	@	0	((neg (* (- 1 eps) x)) (/ (- (* (+ 1 (/ 1 eps)) (exp (neg (* (- 1 eps) x)))) (* (- (/ 1 eps) 1) (exp (neg (* (+ 1 eps) x))))) 2) (- (* (+ 1 (/ 1 eps)) (exp (neg (* (- 1 eps) x)))) (* (- (/ 1 eps) 1) (exp (neg (* (+ 1 eps) x))))) (* (+ 1 (/ 1 eps)) (exp (neg (* (- 1 eps) x)))) (/ (- (* (+ 1 (/ 1 eps)) (exp (neg (* (- 1 eps) x)))) (* (- (/ 1 eps) 1) (exp (neg (* (+ 1 eps) x))))) 2) (* (* 2 (/ (+ 1 x) (exp x))) 1/2) (* 2 (/ (+ 1 x) (exp x))) (/ (- (* (+ 1 (/ 1 eps)) (exp (neg (* (- 1 eps) x)))) (* (- (/ 1 eps) 1) (exp (neg (* (+ 1 eps) x))))) 2) (/ (+ 1 x) (exp x)) (- (* (+ 1 (/ 1 eps)) (exp (neg (* (- 1 eps) x)))) (* (- (/ 1 eps) 1) (exp (neg (* (+ 1 eps) x))))) (* (- (/ 1 eps) 1) (exp (neg (* (+ 1 eps) x)))) (* (+ 1 eps) x) (/ (- (* (+ 1 (/ 1 eps)) (exp (neg (* (- 1 eps) x)))) (* (- (/ 1 eps) 1) (exp (neg (* (+ 1 eps) x))))) 2) (/ (- (* (pow (* (pow (exp x) (- eps 1)) (- (pow eps -1) -1)) 3) (+ (* (/ (- (exp (neg (log eps))) 1) (exp (+ (* x eps) x))) (+ (* (pow (exp x) (- eps 1)) (- (pow eps -1) -1)) (/ (- (exp (neg (log eps))) 1) (exp (+ (* x eps) x))))) (pow (* (pow (exp x) (- eps 1)) (- (pow eps -1) -1)) 2))) (* (+ (* (/ (- (exp (neg (log eps))) 1) (exp (+ (* x eps) x))) (+ (* (pow (exp x) (- eps 1)) (- (pow eps -1) -1)) (/ (- (exp (neg (log eps))) 1) (exp (+ (* x eps) x))))) (pow (* (pow (exp x) (- eps 1)) (- (pow eps -1) -1)) 2)) (pow (/ (- (exp (neg (log eps))) 1) (exp (+ (* x eps) x))) 3))) (* (+ (* (/ (- (exp (neg (log eps))) 1) (exp (+ (* x eps) x))) (+ (* (pow (exp x) (- eps 1)) (- (pow eps -1) -1)) (/ (- (exp (neg (log eps))) 1) (exp (+ (* x eps) x))))) (pow (* (pow (exp x) (- eps 1)) (- (pow eps -1) -1)) 2)) (+ (* (/ (- (exp (neg (log eps))) 1) (exp (+ (* x eps) x))) (+ (* (pow (exp x) (- eps 1)) (- (pow eps -1) -1)) (/ (- (exp (neg (log eps))) 1) (exp (+ (* x eps) x))))) (pow (* (pow (exp x) (- eps 1)) (- (pow eps -1) -1)) 2)))) (- (* (pow (* (pow (exp x) (- eps 1)) (- (pow eps -1) -1)) 3) (+ (* (/ (- (exp (neg (log eps))) 1) (exp (+ (* x eps) x))) (+ (* (pow (exp x) (- eps 1)) (- (pow eps -1) -1)) (/ (- (exp (neg (log eps))) 1) (exp (+ (* x eps) x))))) (pow (* (pow (exp x) (- eps 1)) (- (pow eps -1) -1)) 2))) (* (+ (* (/ (- (exp (neg (log eps))) 1) (exp (+ (* x eps) x))) (+ (* (pow (exp x) (- eps 1)) (- (pow eps -1) -1)) (/ (- (exp (neg (log eps))) 1) (exp (+ (* x eps) x))))) (pow (* (pow (exp x) (- eps 1)) (- (pow eps -1) -1)) 2)) (pow (/ (- (exp (neg (log eps))) 1) (exp (+ (* x eps) x))) 3))) (/ (/ (- (* (pow (* (pow (exp x) (- eps 1)) (- (pow eps -1) -1)) 3) (+ (* (/ (- (exp (neg (log eps))) 1) (exp (+ (* x eps) x))) (+ (* (pow (exp x) (- eps 1)) (- (pow eps -1) -1)) (/ (- (exp (neg (log eps))) 1) (exp (+ (* x eps) x))))) (pow (* (pow (exp x) (- eps 1)) (- (pow eps -1) -1)) 2))) (* (+ (* (/ (- (exp (neg (log eps))) 1) (exp (+ (* x eps) x))) (+ (* (pow (exp x) (- eps 1)) (- (pow eps -1) -1)) (/ (- (exp (neg (log eps))) 1) (exp (+ (* x eps) x))))) (pow (* (pow (exp x) (- eps 1)) (- (pow eps -1) -1)) 2)) (pow (/ (- (exp (neg (log eps))) 1) (exp (+ (* x eps) x))) 3))) (* (+ (* (/ (- (exp (neg (log eps))) 1) (exp (+ (* x eps) x))) (+ (* (pow (exp x) (- eps 1)) (- (pow eps -1) -1)) (/ (- (exp (neg (log eps))) 1) (exp (+ (* x eps) x))))) (pow (* (pow (exp x) (- eps 1)) (- (pow eps -1) -1)) 2)) (+ (* (/ (- (exp (neg (log eps))) 1) (exp (+ (* x eps) x))) (+ (* (pow (exp x) (- eps 1)) (- (pow eps -1) -1)) (/ (- (exp (neg (log eps))) 1) (exp (+ (* x eps) x))))) (pow (* (pow (exp x) (- eps 1)) (- (pow eps -1) -1)) 2)))) 2) (* (pow (* (pow (exp x) (- eps 1)) (- (pow eps -1) -1)) 3) (+ (* (/ (- (exp (neg (log eps))) 1) (exp (+ (* x eps) x))) (+ (* (pow (exp x) (- eps 1)) (- (pow eps -1) -1)) (/ (- (exp (neg (log eps))) 1) (exp (+ (* x eps) x))))) (pow (* (pow (exp x) (- eps 1)) (- (pow eps -1) -1)) 2))) (* (- (/ 1 eps) 1) (exp (neg (* (+ 1 eps) x)))) (exp (neg (* (- 1 eps) x))) (exp (+ (* x eps) x)) (exp x) (exp (neg (* (- 1 eps) x))) (exp (neg (* (+ 1 eps) x))) (* (+ 1 (/ 1 eps)) (exp (neg (* (- 1 eps) x)))) (+ (* (pow (exp x) (- eps 1)) (- (pow eps -1) -1)) (/ (- (exp (neg (log eps))) 1) (exp (+ (* x eps) x)))) (- (exp (neg (log eps))) 1))
81.0ms	t	@	inf	((* (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 3/4) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4)) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 3/4) (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4) (- (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1/2) -2) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1/2) (* (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 7/8) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/8)) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 7/8) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/8) (* (pow (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/8) 4) (pow (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1) -1/2)) (pow (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/8) 4) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1) (pow (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1) -1/2))

start2.0ms (0%)

Memory: 4.1MiB live, 4.1MiB allocated

end0.0ms (0%)

Memory: 0.6MiB live, 0.6MiB allocated

sample1.2min (23%)

simplify55.6s (17.8%)

soundness47.7s (15.3%)

rewrite37.3s (11.9%)

eval25.6s (8.2%)

localize22.8s (7.3%)

preprocess11.3s (3.6%)

explain10.8s (3.5%)

regimes7.9s (2.5%)

prune6.6s (2.1%)

analyze5.2s (1.7%)

bsearch5.0s (1.6%)

series4.9s (1.6%)

start2.0ms (0%)

end0.0ms (0%)

Profiling