Metrics for Herbie run

Date:	Saturday, December 28th, 2024
Commit:	069a5cd4 on less-egraph
Seed:	2024363
Parameters:	256 points for 4 iterations
Flags:	`localize:errorsreduce:regimesreduce:binary-searchreduce:branch-expressionssetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:proofs` `-o localize:costs-o setup:simplify-o generate:simplify`
Memory:	242 608.7 MB

sample1.3min (38%)

Memory

1 476.2MiB live, 96 330.9MiB allocated; 31.0s collecting garbage

Samples

31.4s	284 721×	0	valid
15.7s	44 094×	1	valid
7.7s	17 501×	2	valid
437.0ms	4 228×	0	invalid
281.0ms	436×	3	valid
193.0ms	202×	5	exit
143.0ms	985×	0	exit

Precisions

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

ival-mult: 9.3s (22.1% of total)

ival-add: 4.8s (11.4% of total)

adjust: 4.6s (10.9% of total)

ival-pow: 4.1s (9.8% of total)

ival-div: 3.4s (8.2% of total)

ival-sub: 3.2s (7.6% of total)

const: 2.7s (6.4% of total)

ival-<=: 2.6s (6.2% of total)

ival-sin: 1.9s (4.5% of total)

ival-cos: 1.4s (3.2% of total)

ival-exp: 1.0s (2.4% of total)

exact: 450.0ms (1.1% of total)

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

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

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

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

ival-==: 330.0ms (0.8% of total)

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

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

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

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

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

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

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

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

ival-hypot: 33.0ms (0.1% of total)

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

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

Bogosity

rewrite30.5s (15.3%)

Memory

396.6MiB live, 36 128.6MiB allocated; 10.0s collecting garbage

Stop Event

312×	iter limit
148×	node limit
13×	saturated
2×	unsound

Counts

1 688 → 70 505

localize21.8s (10.9%)

Memory

88.9MiB live, 28 102.0MiB allocated; 6.8s collecting garbage

Samples

7.4s	29 968×	0	valid
5.6s	6 278×	1	valid
4.0s	3 036×	2	valid
184.0ms	99×	3	valid
101.0ms	53×	5	exit
36.0ms	117×	0	exit
25.0ms	125×	0	invalid
17.0ms	4×	4	valid

Compiler

Compiled 47 601 to 4 359 computations (90.8% saved)

Precisions

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

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

adjust: 2.1s (15.9% of total)

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

ival-div: 1.3s (9.9% of total)

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

ival-sub: 789.0ms (5.9% of total)

ival-exp: 578.0ms (4.4% of total)

const: 555.0ms (4.2% of total)

ival-pow2: 251.0ms (1.9% of total)

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

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

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

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

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

ival-log: 73.0ms (0.5% of total)

exact: 63.0ms (0.5% of total)

ival-cosh: 60.0ms (0.5% of total)

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

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

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

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

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

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

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

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

derivations18.7s (9.4%)

Memory

-452.9MiB live, 11 770.8MiB allocated; 4.1s collecting garbage

Stop Event

285×	iter limit
98×	node limit
29×	fuel
13×	done
6×	saturated
1×	unsound

Compiler

Compiled 17 944 to 2 309 computations (87.1% saved)

eval15.3s (7.7%)

Memory: -134.0MiB live, 20 757.7MiB allocated; 5.8s collecting garbage
Compiler: Compiled 3 565 800 to 305 056 computations (91.4% saved)

explain10.5s (5.3%)

Memory

-324.0MiB live, 13 762.6MiB allocated; 2.7s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`#f`	cancellation	1294	0
`+.f64`	`#f`	cancellation	364	82
`-.f64`	(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))	oflow-left	215	0
`sqrt.f64`	`#f`	oflow-rescue	200	0
`/.f64`	`#f`	o/o	171	0
`/.f64`	`#f`	n/o	161	0
`log.f64`	`(log.f64 (+.f64 #s(literal 1 binary64) x))`	sensitivity	160	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	sensitivity	126	0
`-.f64`	`#f`	nan-rescue	103	0
`/.f64`	`#f`	u/n	94	0
`/.f64`	`#f`	n/u	64	0
`+.f64`	(+.f64 (+.f64 (.f64 (+.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (.f64 x1 x1) #s(literal 1 binary64)))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (.f64 x1 x1) #s(literal 1 binary64))) #s(literal 3 binary64))) (.f64 (.f64 x1 x1) (-.f64 (.f64 #s(literal 4 binary64) (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (.f64 x1 x1) #s(literal 1 binary64)))) #s(literal 6 binary64)))) (+.f64 (.f64 x1 x1) #s(literal 1 binary64))) (.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (.f64 x1 x1) #s(literal 1 binary64))))) (.f64 (*.f64 x1 x1) x1))	nan-rescue	46	0
↳	`(*.f64 x1 x1)`	overflow	354
↳	(.f64 (+.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (.f64 x1 x1) #s(literal 1 binary64)))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (.f64 x1 x1) #s(literal 1 binary64))) #s(literal 3 binary64))) (.f64 (.f64 x1 x1) (-.f64 (.f64 #s(literal 4 binary64) (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (.f64 x1 x1) #s(literal 1 binary64)))) #s(literal 6 binary64)))) (+.f64 (.f64 x1 x1) #s(literal 1 binary64)))	overflow	120
↳	`(+.f64 (*.f64 x1 x1) #s(literal 1 binary64))`	overflow	295
↳	`(.f64 (.f64 (.f64 #s(literal 2 binary64) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (.f64 x1 x1) #s(literal 1 binary64)))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (*.f64 x1 x1) #s(literal 1 binary64))) #s(literal 3 binary64)))`	overflow	22
↳	`(+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (*.f64 #s(literal 2 binary64) x2))`	overflow	236
↳	`(-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (*.f64 #s(literal 2 binary64) x2)) x1)`	overflow	236
↳	(+.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (.f64 x1 x1) #s(literal 1 binary64)))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (.f64 x1 x1) #s(literal 1 binary64))) #s(literal 3 binary64))) (.f64 (.f64 x1 x1) (-.f64 (.f64 #s(literal 4 binary64) (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (.f64 x1 x1) #s(literal 1 binary64)))) #s(literal 6 binary64))))	overflow	81
↳	`(.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (*.f64 x1 x1) #s(literal 1 binary64))))`	overflow	59
↳	`(.f64 (.f64 #s(literal 3 binary64) x1) x1)`	overflow	295
↳	`(.f64 (.f64 x1 x1) (-.f64 (.f64 #s(literal 4 binary64) (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (*.f64 x1 x1) #s(literal 1 binary64)))) #s(literal 6 binary64)))`	overflow	59
↳	(+.f64 (.f64 (+.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (.f64 x1 x1) #s(literal 1 binary64)))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (.f64 x1 x1) #s(literal 1 binary64))) #s(literal 3 binary64))) (.f64 (.f64 x1 x1) (-.f64 (.f64 #s(literal 4 binary64) (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (.f64 x1 x1) #s(literal 1 binary64)))) #s(literal 6 binary64)))) (+.f64 (.f64 x1 x1) #s(literal 1 binary64))) (.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 #s(literal 3 binary64) x1) x1) (.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (*.f64 x1 x1) #s(literal 1 binary64)))))	overflow	120
↳	`(*.f64 x1 x1)`	overflow	59
↳	`(.f64 (.f64 x1 x1) x1)`	overflow	86
`/.f64`	`#f`	u/u	45	0
`*.f64`	`#f`	*nu**	36	0
`/.f64`	`#f`	o/n	32	0
`*.f64`	`#f`	*no**	29	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	oflow-rescue	21	0
↳	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	overflow	29
↳	`(/.f64 i n)`	overflow	21
↳	`(+.f64 #s(literal 1 binary64) (/.f64 i n))`	overflow	21
`sqrt.f64`	`#f`	uflow-rescue	6	0

Confusion

	Predicted +	Predicted -
+	3815	219
-	139	6579

Precision

0.9648457258472433

Recall

0.9457114526524542

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3815	153	66
-	139	185	6394

Precision?

0.9245107176141659

Recall?

0.9836390679226574

Freqs

test

number	freq
0	6798
1	3515
2	390
3	49

Total Confusion?

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

Precision?

0.9393939393939394

Recall?

1.0

Samples

2.5s	16 310×	0	valid
1.4s	3 710×	1	valid
638.0ms	1 450×	2	valid
29.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: 3.4s

ival-neg: 896.0ms (26.2% of total)

ival-mult: 665.0ms (19.5% of total)

adjust: 532.0ms (15.6% of total)

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

ival-div: 266.0ms (7.8% of total)

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

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

ival-sin: 105.0ms (3.1% of total)

ival-cos: 76.0ms (2.2% of total)

const: 46.0ms (1.3% of total)

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

ival-sqrt: 21.0ms (0.6% of total)

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

exact: 18.0ms (0.5% of total)

ival-pow2: 15.0ms (0.4% of total)

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

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

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

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

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

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

regimes4.7s (2.3%)

Memory

117.0MiB live, 6 500.9MiB allocated; 924ms collecting garbage

Counts

4 146 → 467

Calls

96 calls:

669.0ms	x
267.0ms	c
226.0ms	a
222.0ms	b
213.0ms	(.f64 (cos.f64 x) (exp.f64 (.f64 #s(literal 10 binary64) (*.f64 x x))))

Compiler

Compiled 6 888 to 4 769 computations (30.8% saved)

prune4.6s (2.3%)

Memory: -79.4MiB live, 7 883.1MiB allocated; 1.1s collecting garbage
Counts: 78 388 → 1 818
Compiler: Compiled 132 464 to 55 927 computations (57.8% saved)

analyze4.3s (2.2%)

Memory

-150.2MiB live, 5 701.5MiB allocated; 2.0s collecting garbage

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)

series4.3s (2.2%)

Memory

357.7MiB live, 5 558.0MiB allocated; 2.6s collecting garbage

Counts

1 688 → 9 341

Calls

900 calls:

Time	Variable		Point	Expression
371.0ms	t	@	0	((* (exp (* (log t) 2)) 1/25000000000000000000000000000000) (exp (* (log t) 2)) (log t) (+ (* (+ 1 (* t 1/5000000000000000)) (+ 1 (* t 1/5000000000000000))) (- -1 (* 2 (* t 1/5000000000000000)))) (+ (+ (* 1/2500000000000000 t) -1) (* (+ 1 (* t 1/5000000000000000)) (+ 1 (* t 1/5000000000000000)))) (+ (* 1/2500000000000000 t) -1) (* (+ 1 (* t 1/5000000000000000)) (+ 1 (* t 1/5000000000000000))) (+ (+ (* 1/2500000000000000 t) -1) (* (+ 1 (* t 1/5000000000000000)) (+ 1 (* t 1/5000000000000000)))) (* 1/1250000000000000 t) (+ (* (+ 1 (* t 1/5000000000000000)) (+ 1 (* t 1/5000000000000000))) -1) (+ (* t 1/2500000000000000) (+ (* (+ 1 (* t 1/5000000000000000)) (+ 1 (* t 1/5000000000000000))) -1)) (* (* (* t t) 1/5000000000000000) 1/5000000000000000) (* (* t t) 1/5000000000000000) (+ (* (+ 1 (* t 1/5000000000000000)) (+ 1 (* t 1/5000000000000000))) (- -1 (* 2 (* t 1/5000000000000000)))) (* t t))
341.0ms	c	@	inf	((sqrt (+ (* (* -4 c) a) (* b b))) (+ (* (/ b a) -1/2) (/ (sqrt (+ (* (* -4 c) a) (* b b))) (* 2 a))) (/ (sqrt (+ (* (* -4 c) a) (* b b))) (* 2 a)) (+ (* (* -4 c) a) (* b b)) (/ (+ (neg b) (exp (* (log (pow (+ (* c (* a 4)) (* b b)) 2)) 1/4))) (* 2 a)) (/ c b) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (* -1 (/ c b)) (/ b a)) (* b (+ (* -1 (/ c (pow b 2))) (/ 1 a))) (* -1 (* b (+ (* -1 (/ c (pow b 2))) (/ 1 a)))) (- (* b b) (* (* 4 a) c)) (sqrt (- (* b b) (* (* 4 a) c))) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (pow (+ (* (* -4 c) a) (* b b)) 1/4) (+ (* (/ (pow (+ (* (* -4 c) a) (* b b)) 1/4) a) (/ (pow (+ (* (* -4 c) a) (* b b)) 1/4) 2)) (* -1/2 (/ b a))) (/ (pow (+ (* (* -4 c) a) (* b b)) 1/4) a))
67.0ms	a	@	0	((sqrt (+ (* (* c a) -4) (* b b))) (+ (neg b) (sqrt (+ (* (* c a) -4) (* b b)))) (/ (+ (neg b) (sqrt (+ (* (* c a) -4) (* b b)))) (* 2 a)) (+ (* (* c a) -4) (* b b)) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (* -1 (/ b a)) (/ b a) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (* a c) b) (* -2 (/ (* a c) b)) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ c (pow b 2)) (* b (+ (* -1 (/ c (pow b 2))) (/ 1 a))) (+ (* -1 (/ c (pow b 2))) (/ 1 a)) (log (pow (+ (* c (* a 4)) (* b b)) 2)) (+ (neg b) (exp (* (log (pow (+ (* c (* a 4)) (* b b)) 2)) 1/4))) (exp (* (log (pow (+ (* c (* a 4)) (* b b)) 2)) 1/4)) (/ (+ (neg b) (exp (* (log (pow (+ (* c (* a 4)) (* b b)) 2)) 1/4))) (* 2 a)))
66.0ms	x	@	0	((- (* (pow (/ 729 (+ (* (pow (* y x) 4) 9) (+ (* 81 (pow x 8)) (pow y 8)))) 3/2) (pow x 18)) (pow (/ (pow y 12) (+ (* (pow (* y x) 4) 9) (+ (* 81 (pow x 8)) (pow y 8)))) 3/2)) (* (pow (/ 729 (+ (* (pow (* y x) 4) 9) (+ (* 81 (pow x 8)) (pow y 8)))) 3/2) (pow x 18)) (+ (pow (/ (pow y 12) (+ (* (pow (* y x) 4) 9) (+ (* (pow x 8) 81) (pow y 8)))) 2) (* (/ (* (pow x 12) 729) (+ (* (pow (* y x) 4) 9) (+ (* (pow x 8) 81) (pow y 8)))) (/ (pow y 12) (+ (* (pow (* y x) 4) 9) (+ (* (pow x 8) 81) (pow y 8)))))) (pow (/ (* (pow x 12) 729) (+ (* (pow (* y x) 4) 9) (+ (* (pow x 8) 81) (pow y 8)))) 2) (- (* 9 (pow x 4)) (pow y 4)) (* 2 (* y y)) (* x x) (* y y) (+ (* (* y y) (* y y)) (+ (* -9 (pow x 4)) (* (* y y) 2))) (* (* y y) 2) (pow x 4) (- (pow (/ (* (pow x 12) 729) (+ (* (pow (* y x) 4) 9) (+ (* (pow x 8) 81) (pow y 8)))) 3) (pow (/ (pow y 12) (+ (* (pow (* y x) 4) 9) (+ (* (pow x 8) 81) (pow y 8)))) 3)) (* (pow (* y x) 12) -729) (pow (/ (* (pow x 12) 729) (+ (* (pow (* y x) 4) 9) (+ (* (pow x 8) 81) (pow y 8)))) 3) (pow (exp 2) (+ (* (log x) 12) (log (/ 729 (+ (* (pow (* y x) 4) 9) (+ (* 81 (pow x 8)) (pow y 8))))))))
59.0ms	eps	@	inf	((- (pow (+ x eps) 5) (pow x 5)) (+ (* 4 (pow eps 4)) (pow eps 4)) (+ (* x (+ (* 4 (pow eps 4)) (pow eps 4))) (pow eps 5)) (pow eps 4) (- (pow (+ x eps) 5) (pow x 5)) (pow eps 5) (- (pow (+ x eps) 5) (pow x 5)) (* (pow eps 5) (+ 1 (+ (* 4 (/ x eps)) (/ x eps)))) (+ (* 4 (/ x eps)) (/ x eps)) (+ 1 (+ (* 4 (/ x eps)) (/ x eps))) (- (/ 1 (/ 1 (pow (+ eps x) 5))) (pow x 5)) (/ 1 (/ 1 (pow (+ eps x) 5))) (/ 1 (pow (+ eps x) 5)) (pow (+ eps x) 5) (/ (+ (* -4 (pow eps 2)) (* -1 (+ (* 2 (pow eps 2)) (* 4 (pow eps 2))))) x) (- (pow (+ x eps) 5) (pow x 5)) (+ (* 2 (pow eps 2)) (* 4 (pow eps 2))) (+ (* -4 (pow eps 2)) (* -1 (+ (* 2 (pow eps 2)) (* 4 (pow eps 2))))))

preprocess4.1s (2%)

Memory

-190.0MiB live, 4 270.1MiB allocated; 908ms collecting garbage

Stop Event

24×	saturated
18×	node limit

Compiler

Compiled 40 599 to 7 402 computations (81.8% saved)

bsearch2.4s (1.2%)

Memory

85.2MiB live, 2 504.1MiB allocated; 310ms collecting garbage

Algorithm

161×	binary-search
48×	left-value

Stop Event

143×	narrow-enough
18×	predicate-same

Samples

911.0ms	8 536×	0	valid
290.0ms	1 085×	1	valid
164.0ms	353×	2	valid
62.0ms	762×	0	invalid
51.0ms	143×	0	exit
7.0ms	10×	3	valid

Compiler

Compiled 93 186 to 53 179 computations (42.9% saved)

Precisions

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

ival-mult: 294.0ms (27.5% of total)

ival-div: 181.0ms (16.9% of total)

ival-add: 157.0ms (14.7% of total)

ival-pow: 146.0ms (13.6% of total)

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

adjust: 74.0ms (6.9% of total)

ival-exp: 58.0ms (5.4% of total)

ival-neg: 38.0ms (3.6% of total)

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

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

exact: 7.0ms (0.7% of total)

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

const: 2.0ms (0.2% of total)

simplify2.2s (1.1%)

Memory

117.7MiB live, 3 332.0MiB allocated; 593ms collecting garbage

Stop Event

149×	iter limit
6×	saturated

Counts

9 341 → 9 225

start2.0ms (0%)

Memory: 5.7MiB live, 5.7MiB allocated; 0ms collecting garbage

end0.0ms (0%)

Memory: 0.8MiB live, 0.8MiB allocated; 0ms collecting garbage

sample1.3min (38%)

rewrite30.5s (15.3%)

localize21.8s (10.9%)

derivations18.7s (9.4%)

eval15.3s (7.7%)

explain10.5s (5.3%)

regimes4.7s (2.3%)

prune4.6s (2.3%)

analyze4.3s (2.2%)

series4.3s (2.2%)

preprocess4.1s (2%)

bsearch2.4s (1.2%)

simplify2.2s (1.1%)

start2.0ms (0%)

end0.0ms (0%)

Profiling