Metrics for Herbie run

Date:	Thursday, April 3rd, 2025
Commit:	3b31f129 on chassis-platforms-cleanup
Seed:	2025093
Parameters:	256 points for 4 iterations
Flags:	`reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:proofs` default
Memory:	400 641.6 MB

prune4.1min (71.4%)

Memory: 703.8MiB live, 285 445.4MiB allocated; 23.3s collecting garbage
Counts: 43 469 → 576
Compiler: Compiled 38 292 to 17 909 computations (53.2% saved)

sample42.8s (12.3%)

Memory

860.1MiB live, 50 446.6MiB allocated; 12.7s collecting garbage

Samples

18.7s	293 302×	0	valid
6.0s	35 441×	1	valid
5.5s	17 557×	2	valid
365.0ms	4 229×	0	invalid
196.0ms	452×	3	valid
110.0ms	951×	0	exit
61.0ms	101×	3	exit
52.0ms	101×	4	exit
4.0ms	32×	1	exit

Precisions

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

ival-mult!: 4.2s (20.7% of total)

ival-pow: 3.8s (18.8% of total)

ival-div!: 2.2s (10.7% of total)

ival-add!: 2.1s (10.3% of total)

adjust: 1.9s (9.4% of total)

ival-sin: 1.5s (7.5% of total)

ival-cos: 1.3s (6.3% of total)

ival-sub!: 1.2s (5.8% of total)

ival-exp: 652.0ms (3.2% of total)

ival-sqrt: 451.0ms (2.2% of total)

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

ival-pow2: 342.0ms (1.7% of total)

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

ival-atan: 78.0ms (0.4% of total)

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

ival-tan: 55.0ms (0.3% of total)

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

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

ival-<=: 12.0ms (0.1% of total)

ival-and: 8.0ms (0% of total)

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

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

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

const: 0.0ms (0% of total)

ival-<: 0.0ms (0% of total)

Bogosity

rewrite22.8s (6.5%)

Memory

539.1MiB live, 22 431.3MiB allocated; 6.5s collecting garbage

Stop Event

274×	iter-limit
108×	node-limit
6×	saturated
4×	unsound

Counts

18 765 → 33 570

eval7.5s (2.1%)

Memory: -47.2MiB live, 11 359.8MiB allocated; 1.5s collecting garbage
Compiler: Compiled 3 644 073 to 218 445 computations (94% saved)

explain7.2s (2.1%)

Memory

-29.4MiB live, 9 892.7MiB allocated; 1.3s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`#f`	cancellation	1289	1
`+.f64`	`#f`	cancellation	354	84
`-.f64`	(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))	oflow-left	221	0
`sqrt.f64`	`#f`	oflow-rescue	184	0
`/.f64`	`#f`	o/o	178	0
`log.f64`	`(log.f64 (+.f64 #s(literal 1 binary64) x))`	sensitivity	163	0
`/.f64`	`#f`	n/o	142	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	sensitivity	129	0
`-.f64`	`#f`	nan-rescue	103	0
`/.f64`	`#f`	u/n	97	0
`/.f64`	`#f`	n/u	67	0
`+.f64`	`#f`	nan-rescue	53	0
`/.f64`	`#f`	o/n	50	0
`/.f64`	`(/.f64 (.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (.f64 x x) (*.f64 y y)))`	u/u	34	0
↳	`(*.f64 (-.f64 x y) (+.f64 x y))`	underflow	34
↳	`(*.f64 y y)`	underflow	85
↳	`(*.f64 x x)`	underflow	123
↳	`(+.f64 (.f64 x x) (.f64 y y))`	underflow	34
`*.f64`	`#f`	*nu**	28	0
`*.f64`	`#f`	*no**	24	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	oflow-rescue	16	0
↳	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	overflow	22
↳	`(/.f64 i n)`	overflow	16
↳	`(+.f64 #s(literal 1 binary64) (/.f64 i n))`	overflow	16
`sqrt.f64`	`#f`	uflow-rescue	10	0

Confusion

	Predicted +	Predicted -
+	3805	224
-	112	6611

Precision

0.9714066887924432

Recall

0.9444030776867709

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3805	159	65
-	112	182	6429

Precision?

0.9309534992954439

Recall?

0.9838669645073219

Freqs

test

number	freq
0	6835
1	3470
2	394
3	53

Total Confusion?

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

Precision?

0.9393939393939394

Recall?

1.0

Samples

1.1s	16 820×	0	valid
765.0ms	3 172×	1	valid
486.0ms	1 472×	2	valid
27.0ms	40×	3	valid

Compiler

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

Precisions

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

ival-mult!: 313.0ms (21.9% of total)

ival-pow: 224.0ms (15.7% of total)

ival-add!: 218.0ms (15.3% of total)

adjust: 171.0ms (12% of total)

ival-div!: 124.0ms (8.7% of total)

ival-sin: 100.0ms (7% of total)

ival-sub!: 77.0ms (5.4% of total)

ival-cos: 65.0ms (4.6% of total)

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

ival-exp: 31.0ms (2.2% of total)

ival-pow2: 30.0ms (2.1% of total)

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

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

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

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

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

const: 0.0ms (0% of total)

series6.9s (2%)

Memory

83.6MiB live, 8 347.6MiB allocated; 2.1s collecting garbage

Counts

2 744 → 16 021

Calls

693 calls:

Time	Variable		Point	Expression
465.0ms	c	@	-inf	((- (/ (* -1 b) (* 2 a)) (* (/ (pow (+ (* b b) (* (* c a) -4)) 1/4) 2) (/ (pow (+ (* b b) (* (* c a) -4)) 1/4) a))) (/ (* -1 b) (* 2 a)) (* -1 b) -1 b (* 2 a) 2 a (* (/ (pow (+ (* b b) (* (* c a) -4)) 1/4) 2) (/ (pow (+ (* b b) (* (* c a) -4)) 1/4) a)) (/ (pow (+ (* b b) (* (* c a) -4)) 1/4) 2) (pow (+ (* b b) (* (* c a) -4)) 1/4) (+ (* b b) (* (* c a) -4)) (* (* c a) -4) (* c a) c -4 1/4 (/ (pow (+ (* b b) (* (* c a) -4)) 1/4) a) (- (/ (* -1 b) (* 2 a)) (/ (exp (* (log (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4))) 1/2)) (* 2 a))) (/ (exp (* (log (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4))) 1/2)) (* 2 a)) (exp (* (log (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4))) 1/2)) (* (log (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4))) 1/2) (log (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4))) (+ (+ (log 4) (log a)) (log (pow (/ -1 c) -1))) (+ (log 4) (log a)) (log 4) 4 (log a) (log (pow (/ -1 c) -1)) (pow (/ -1 c) -1) (/ -1 c) 1/2 (- (/ (* -1 b) (* 2 a)) (/ (exp (* (log (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4))) 1/2)) (* 2 a))) (/ (exp (* (log (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4))) 1/2)) (* 2 a)) (exp (* (log (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4))) 1/2)) (* (log (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4))) 1/2) (log (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4))) (+ (+ (log 4) (log c)) (log (pow (/ -1 a) -1))) (+ (log 4) (log c)) (log c) (log (pow (/ -1 a) -1)) (pow (/ -1 a) -1) (/ -1 a) (/ (- (* (* (/ b a) -1/2) (* (/ b a) -1/2)) (* (/ (pow (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4)) 1/2) (* a 2)) (/ (pow (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4)) 1/2) (* a 2)))) (+ (* (/ b a) -1/2) (/ (pow (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4)) 1/2) (* a 2)))) (- (* (* (/ b a) -1/2) (* (/ b a) -1/2)) (* (/ (pow (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4)) 1/2) (* a 2)) (/ (pow (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4)) 1/2) (* a 2)))) (/ c a) (+ (* (/ b a) -1/2) (/ (pow (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4)) 1/2) (* a 2))) (/ b a) -1/2 (/ (pow (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4)) 1/2) (* a 2)) (pow (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4)) 1/2) (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4)) (pow (fabs b) 1) (fabs b) 1 (* a 2))
181.0ms	a	@	0	((- (/ (* -1 b) (* 2 a)) (* (/ (pow (+ (* b b) (* (* c a) -4)) 1/4) 2) (/ (pow (+ (* b b) (* (* c a) -4)) 1/4) a))) (/ (* -1 b) (* 2 a)) (* -1 b) -1 b (* 2 a) 2 a (* (/ (pow (+ (* b b) (* (* c a) -4)) 1/4) 2) (/ (pow (+ (* b b) (* (* c a) -4)) 1/4) a)) (/ (pow (+ (* b b) (* (* c a) -4)) 1/4) 2) (pow (+ (* b b) (* (* c a) -4)) 1/4) (+ (* b b) (* (* c a) -4)) (* (* c a) -4) (* c a) c -4 1/4 (/ (pow (+ (* b b) (* (* c a) -4)) 1/4) a) (- (/ (* -1 b) (* 2 a)) (/ (exp (* (log (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4))) 1/2)) (* 2 a))) (/ (exp (* (log (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4))) 1/2)) (* 2 a)) (exp (* (log (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4))) 1/2)) (* (log (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4))) 1/2) (log (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4))) (+ (+ (log 4) (log a)) (log (pow (/ -1 c) -1))) (+ (log 4) (log a)) (log 4) 4 (log a) (log (pow (/ -1 c) -1)) (pow (/ -1 c) -1) (/ -1 c) 1/2 (- (/ (* -1 b) (* 2 a)) (/ (exp (* (log (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4))) 1/2)) (* 2 a))) (/ (exp (* (log (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4))) 1/2)) (* 2 a)) (exp (* (log (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4))) 1/2)) (* (log (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4))) 1/2) (log (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4))) (+ (+ (log 4) (log c)) (log (pow (/ -1 a) -1))) (+ (log 4) (log c)) (log c) (log (pow (/ -1 a) -1)) (pow (/ -1 a) -1) (/ -1 a) (/ (- (* (* (/ b a) -1/2) (* (/ b a) -1/2)) (* (/ (pow (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4)) 1/2) (* a 2)) (/ (pow (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4)) 1/2) (* a 2)))) (+ (* (/ b a) -1/2) (/ (pow (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4)) 1/2) (* a 2)))) (- (* (* (/ b a) -1/2) (* (/ b a) -1/2)) (* (/ (pow (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4)) 1/2) (* a 2)) (/ (pow (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4)) 1/2) (* a 2)))) (/ c a) (+ (* (/ b a) -1/2) (/ (pow (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4)) 1/2) (* a 2))) (/ b a) -1/2 (/ (pow (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4)) 1/2) (* a 2)) (pow (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4)) 1/2) (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4)) (pow (fabs b) 1) (fabs b) 1 (* a 2))
123.0ms	b	@	0	((- (/ (* -1 b) (* 2 a)) (/ (* (pow (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4)) 1/4) (pow (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4)) 1/4)) (* 2 a))) (/ (* -1 b) (* 2 a)) (* -1 b) -1 b (* 2 a) 2 a (/ (* (pow (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4)) 1/4) (pow (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4)) 1/4)) (* 2 a)) (* (pow (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4)) 1/4) (pow (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4)) 1/4)) (pow (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4)) 1/4) (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4)) (pow (fabs b) 1) (fabs b) 1 (* (* c a) -4) (* c a) c -4 1/4 (- (/ (* -1 b) (* 2 a)) (/ (sqrt (- (* b b) (* 4 (* a c)))) (* 2 a))) (/ (sqrt (- (* b b) (* 4 (* a c)))) (* 2 a)) (sqrt (- (* b b) (* 4 (* a c)))) (* (* b -1) (+ (* (* (/ (/ c b) b) a) -2) 1)) (* b -1) (+ (* (* (/ (/ c b) b) a) -2) 1) (* (/ (/ c b) b) a) (/ (/ c b) b) (/ c b) -2 (- (/ (* -1 b) (* 2 a)) (/ (exp (* (log (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4))) 1/2)) (* 2 a))) (/ (exp (* (log (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4))) 1/2)) (* 2 a)) (exp (* (log (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4))) 1/2)) (* (log (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4))) 1/2) (log (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4))) 1/2 (/ (- (* (* b -1) (* a 2)) (* (* a 2) (pow (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4)) 1/2))) (* (* a 2) (* a 2))) (- (* (* b -1) (* a 2)) (* (* a 2) (pow (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4)) 1/2))) (* (* b -1) (* a 2)) (* a 2) (* (* a 2) (pow (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4)) 1/2)) (pow (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4)) 1/2) (* (* a 2) (* a 2)) (/ (- (* (* (/ b a) -1/2) (* (/ b a) -1/2)) (* (/ (pow (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4)) 1/2) (* a 2)) (/ (pow (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4)) 1/2) (* a 2)))) (+ (* (/ b a) -1/2) (/ (pow (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4)) 1/2) (* a 2)))) (- (* (* (/ b a) -1/2) (* (/ b a) -1/2)) (* (/ (pow (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4)) 1/2) (* a 2)) (/ (pow (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4)) 1/2) (* a 2)))) (* (* (/ b a) -1/2) (* (/ b a) -1/2)) (* (/ b a) -1/2) (/ b a) -1/2 (* (/ (pow (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4)) 1/2) (* a 2)) (/ (pow (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4)) 1/2) (* a 2))) (/ (pow (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4)) 1/2) (* a 2)) (+ (* (/ b a) -1/2) (/ (pow (+ (* (pow (fabs b) 1) (pow (fabs b) 1)) (* (* c a) -4)) 1/2) (* a 2))))
120.0ms	n	@	inf	((* 100 (/ (- (exp (* (log (+ 1 (/ i n))) n)) 1) (/ i n))) 100 (/ (- (exp (* (log (+ 1 (/ i n))) n)) 1) (/ i n)) (- (exp (* (log (+ 1 (/ i n))) n)) 1) (* (log (+ 1 (/ i n))) n) (log (+ 1 (/ i n))) (/ i n) i n (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (* (+ (* (/ (- (exp i) 1) i) 100) (* (/ (* (exp i) i) n) -50)) n) (+ (* (/ (- (exp i) 1) i) 100) (* (/ (* (exp i) i) n) -50)) (/ (- (exp i) 1) i) (- (exp i) 1) (* (/ (* (exp i) i) n) -50) (/ (* (exp i) i) n) (* (exp i) i) (exp i) -50 (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (/ (+ (* (* (- (exp (* (+ (* (log n) -1) (log i)) n)) 1) n) 100) (* 100 (+ (* n (/ (* (+ (* (pow (* n n) 2) 1/2) (* -1/2 (* (* n n) n))) (pow (exp n) (+ (* (log n) -1) (log i)))) (* i i))) (/ (* (pow (exp n) (+ (* (log n) -1) (log i))) (* (* n n) n)) i)))) i) (+ (* (* (- (exp (* (+ (* (log n) -1) (log i)) n)) 1) n) 100) (* 100 (+ (* n (/ (* (+ (* (pow (* n n) 2) 1/2) (* -1/2 (* (* n n) n))) (pow (exp n) (+ (* (log n) -1) (log i)))) (* i i))) (/ (* (pow (exp n) (+ (* (log n) -1) (log i))) (* (* n n) n)) i)))) (* (- (exp (* (+ (* (log n) -1) (log i)) n)) 1) n) (- (exp (* (+ (* (log n) -1) (log i)) n)) 1) (* (+ (* (log n) -1) (log i)) n) (+ (* (log n) -1) (log i)) (log n) -1 (log i) (* 100 (+ (* n (/ (* (+ (* (pow (* n n) 2) 1/2) (* -1/2 (* (* n n) n))) (pow (exp n) (+ (* (log n) -1) (log i)))) (* i i))) (/ (* (pow (exp n) (+ (* (log n) -1) (log i))) (* (* n n) n)) i))) (+ (* n (/ (* (+ (* (pow (* n n) 2) 1/2) (* -1/2 (* (* n n) n))) (pow (exp n) (+ (* (log n) -1) (log i)))) (* i i))) (/ (* (pow (exp n) (+ (* (log n) -1) (log i))) (* (* n n) n)) i)) (/ (* (+ (* (pow (* n n) 2) 1/2) (* -1/2 (* (* n n) n))) (pow (exp n) (+ (* (log n) -1) (log i)))) (* i i)) (* (+ (* (pow (* n n) 2) 1/2) (* -1/2 (* (* n n) n))) (pow (exp n) (+ (* (log n) -1) (log i)))) (+ (* (pow (* n n) 2) 1/2) (* -1/2 (* (* n n) n))) (pow (* n n) 2) (* n n) 2 1/2 (* -1/2 (* (* n n) n)) -1/2 (* (* n n) n) (pow (exp n) (+ (* (log n) -1) (log i))) (exp n) (* i i) (/ (* (pow (exp n) (+ (* (log n) -1) (log i))) (* (* n n) n)) i) (* (pow (exp n) (+ (* (log n) -1) (log i))) (* (* n n) n)) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (* n (/ (- (exp (* (+ (* (log n) -1) (log i)) n)) 1) i)) (/ (- (exp (* (+ (* (log n) -1) (log i)) n)) 1) i) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (* (+ (* (/ (log n) i) -1) (+ (* (+ (* (/ (pow (+ (* (log n) -1) (log i)) 2) i) 1/2) (+ (* (+ (* (/ (log n) (* i i)) -1) (- (+ (* (/ (pow (pow (+ (* (log n) -1) (log i)) 2) 3/2) i) 1/6) (/ (log i) (* i i))) (/ 1/2 (* (* i i) i)))) n) (pow (* i i) -1))) n) (/ (log i) i))) (* n n)) (+ (* (/ (log n) i) -1) (+ (* (+ (* (/ (pow (+ (* (log n) -1) (log i)) 2) i) 1/2) (+ (* (+ (* (/ (log n) (* i i)) -1) (- (+ (* (/ (pow (pow (+ (* (log n) -1) (log i)) 2) 3/2) i) 1/6) (/ (log i) (* i i))) (/ 1/2 (* (* i i) i)))) n) (pow (* i i) -1))) n) (/ (log i) i))) (/ (log n) i) (+ (* (+ (* (/ (pow (+ (* (log n) -1) (log i)) 2) i) 1/2) (+ (* (+ (* (/ (log n) (* i i)) -1) (- (+ (* (/ (pow (pow (+ (* (log n) -1) (log i)) 2) 3/2) i) 1/6) (/ (log i) (* i i))) (/ 1/2 (* (* i i) i)))) n) (pow (* i i) -1))) n) (/ (log i) i)) (+ (* (/ (pow (+ (* (log n) -1) (log i)) 2) i) 1/2) (+ (* (+ (* (/ (log n) (* i i)) -1) (- (+ (* (/ (pow (pow (+ (* (log n) -1) (log i)) 2) 3/2) i) 1/6) (/ (log i) (* i i))) (/ 1/2 (* (* i i) i)))) n) (pow (* i i) -1))) (/ (pow (+ (* (log n) -1) (log i)) 2) i) (pow (+ (* (log n) -1) (log i)) 2) (+ (* (+ (* (/ (log n) (* i i)) -1) (- (+ (* (/ (pow (pow (+ (* (log n) -1) (log i)) 2) 3/2) i) 1/6) (/ (log i) (* i i))) (/ 1/2 (* (* i i) i)))) n) (pow (* i i) -1)) (+ (* (/ (log n) (* i i)) -1) (- (+ (* (/ (pow (pow (+ (* (log n) -1) (log i)) 2) 3/2) i) 1/6) (/ (log i) (* i i))) (/ 1/2 (* (* i i) i)))) (/ (log n) (* i i)) (- (+ (* (/ (pow (pow (+ (* (log n) -1) (log i)) 2) 3/2) i) 1/6) (/ (log i) (* i i))) (/ 1/2 (* (* i i) i))) (+ (* (/ (pow (pow (+ (* (log n) -1) (log i)) 2) 3/2) i) 1/6) (/ (log i) (* i i))) (/ (pow (pow (+ (* (log n) -1) (log i)) 2) 3/2) i) (pow (pow (+ (* (log n) -1) (log i)) 2) 3/2) 3/2 1/6 (/ (log i) (* i i)) (/ 1/2 (* (* i i) i)) (* (* i i) i) (pow (* i i) -1) (/ (log i) i))
116.0ms	n	@	-inf	((* 100 (/ (- (exp (* (log (+ 1 (/ i n))) n)) 1) (/ i n))) 100 (/ (- (exp (* (log (+ 1 (/ i n))) n)) 1) (/ i n)) (- (exp (* (log (+ 1 (/ i n))) n)) 1) (* (log (+ 1 (/ i n))) n) (log (+ 1 (/ i n))) (/ i n) i n (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (* (+ (* (/ (- (exp i) 1) i) 100) (* (/ (* (exp i) i) n) -50)) n) (+ (* (/ (- (exp i) 1) i) 100) (* (/ (* (exp i) i) n) -50)) (/ (- (exp i) 1) i) (- (exp i) 1) (* (/ (* (exp i) i) n) -50) (/ (* (exp i) i) n) (* (exp i) i) (exp i) -50 (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (/ (+ (* (* (- (exp (* (+ (* (log n) -1) (log i)) n)) 1) n) 100) (* 100 (+ (* n (/ (* (+ (* (pow (* n n) 2) 1/2) (* -1/2 (* (* n n) n))) (pow (exp n) (+ (* (log n) -1) (log i)))) (* i i))) (/ (* (pow (exp n) (+ (* (log n) -1) (log i))) (* (* n n) n)) i)))) i) (+ (* (* (- (exp (* (+ (* (log n) -1) (log i)) n)) 1) n) 100) (* 100 (+ (* n (/ (* (+ (* (pow (* n n) 2) 1/2) (* -1/2 (* (* n n) n))) (pow (exp n) (+ (* (log n) -1) (log i)))) (* i i))) (/ (* (pow (exp n) (+ (* (log n) -1) (log i))) (* (* n n) n)) i)))) (* (- (exp (* (+ (* (log n) -1) (log i)) n)) 1) n) (- (exp (* (+ (* (log n) -1) (log i)) n)) 1) (* (+ (* (log n) -1) (log i)) n) (+ (* (log n) -1) (log i)) (log n) -1 (log i) (* 100 (+ (* n (/ (* (+ (* (pow (* n n) 2) 1/2) (* -1/2 (* (* n n) n))) (pow (exp n) (+ (* (log n) -1) (log i)))) (* i i))) (/ (* (pow (exp n) (+ (* (log n) -1) (log i))) (* (* n n) n)) i))) (+ (* n (/ (* (+ (* (pow (* n n) 2) 1/2) (* -1/2 (* (* n n) n))) (pow (exp n) (+ (* (log n) -1) (log i)))) (* i i))) (/ (* (pow (exp n) (+ (* (log n) -1) (log i))) (* (* n n) n)) i)) (/ (* (+ (* (pow (* n n) 2) 1/2) (* -1/2 (* (* n n) n))) (pow (exp n) (+ (* (log n) -1) (log i)))) (* i i)) (* (+ (* (pow (* n n) 2) 1/2) (* -1/2 (* (* n n) n))) (pow (exp n) (+ (* (log n) -1) (log i)))) (+ (* (pow (* n n) 2) 1/2) (* -1/2 (* (* n n) n))) (pow (* n n) 2) (* n n) 2 1/2 (* -1/2 (* (* n n) n)) -1/2 (* (* n n) n) (pow (exp n) (+ (* (log n) -1) (log i))) (exp n) (* i i) (/ (* (pow (exp n) (+ (* (log n) -1) (log i))) (* (* n n) n)) i) (* (pow (exp n) (+ (* (log n) -1) (log i))) (* (* n n) n)) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (* n (/ (- (exp (* (+ (* (log n) -1) (log i)) n)) 1) i)) (/ (- (exp (* (+ (* (log n) -1) (log i)) n)) 1) i) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (* (+ (* (/ (log n) i) -1) (+ (* (+ (* (/ (pow (+ (* (log n) -1) (log i)) 2) i) 1/2) (+ (* (+ (* (/ (log n) (* i i)) -1) (- (+ (* (/ (pow (pow (+ (* (log n) -1) (log i)) 2) 3/2) i) 1/6) (/ (log i) (* i i))) (/ 1/2 (* (* i i) i)))) n) (pow (* i i) -1))) n) (/ (log i) i))) (* n n)) (+ (* (/ (log n) i) -1) (+ (* (+ (* (/ (pow (+ (* (log n) -1) (log i)) 2) i) 1/2) (+ (* (+ (* (/ (log n) (* i i)) -1) (- (+ (* (/ (pow (pow (+ (* (log n) -1) (log i)) 2) 3/2) i) 1/6) (/ (log i) (* i i))) (/ 1/2 (* (* i i) i)))) n) (pow (* i i) -1))) n) (/ (log i) i))) (/ (log n) i) (+ (* (+ (* (/ (pow (+ (* (log n) -1) (log i)) 2) i) 1/2) (+ (* (+ (* (/ (log n) (* i i)) -1) (- (+ (* (/ (pow (pow (+ (* (log n) -1) (log i)) 2) 3/2) i) 1/6) (/ (log i) (* i i))) (/ 1/2 (* (* i i) i)))) n) (pow (* i i) -1))) n) (/ (log i) i)) (+ (* (/ (pow (+ (* (log n) -1) (log i)) 2) i) 1/2) (+ (* (+ (* (/ (log n) (* i i)) -1) (- (+ (* (/ (pow (pow (+ (* (log n) -1) (log i)) 2) 3/2) i) 1/6) (/ (log i) (* i i))) (/ 1/2 (* (* i i) i)))) n) (pow (* i i) -1))) (/ (pow (+ (* (log n) -1) (log i)) 2) i) (pow (+ (* (log n) -1) (log i)) 2) (+ (* (+ (* (/ (log n) (* i i)) -1) (- (+ (* (/ (pow (pow (+ (* (log n) -1) (log i)) 2) 3/2) i) 1/6) (/ (log i) (* i i))) (/ 1/2 (* (* i i) i)))) n) (pow (* i i) -1)) (+ (* (/ (log n) (* i i)) -1) (- (+ (* (/ (pow (pow (+ (* (log n) -1) (log i)) 2) 3/2) i) 1/6) (/ (log i) (* i i))) (/ 1/2 (* (* i i) i)))) (/ (log n) (* i i)) (- (+ (* (/ (pow (pow (+ (* (log n) -1) (log i)) 2) 3/2) i) 1/6) (/ (log i) (* i i))) (/ 1/2 (* (* i i) i))) (+ (* (/ (pow (pow (+ (* (log n) -1) (log i)) 2) 3/2) i) 1/6) (/ (log i) (* i i))) (/ (pow (pow (+ (* (log n) -1) (log i)) 2) 3/2) i) (pow (pow (+ (* (log n) -1) (log i)) 2) 3/2) 3/2 1/6 (/ (log i) (* i i)) (/ 1/2 (* (* i i) i)) (* (* i i) i) (pow (* i i) -1) (/ (log i) i))

preprocess4.4s (1.3%)

Memory

-609.7MiB live, 3 942.3MiB allocated; 1.5s collecting garbage

Stop Event

32×	node-limit
10×	saturated

Compiler

Compiled 30 042 to 9 006 computations (70% saved)

analyze3.1s (0.9%)

Memory

-50.6MiB live, 3 397.0MiB allocated; 1.4s 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)

derivations2.7s (0.8%)

Memory

-54.7MiB live, 2 075.8MiB allocated; 272ms collecting garbage

Stop Event

33×	done
8×	fuel

Compiler

Compiled 10 122 to 1 740 computations (82.8% saved)

bsearch1.2s (0.3%)

Memory

-153.5MiB live, 1 506.1MiB allocated; 163ms collecting garbage

Algorithm

86×	binary-search
39×	left-value

Stop Event

78×	narrow-enough
8×	predicate-same

Samples

330.0ms	5 233×	0	valid
177.0ms	788×	1	valid
87.0ms	239×	2	valid
35.0ms	576×	0	invalid
7.0ms	12×	3	valid
0.0ms	5×	0	exit

Compiler

Compiled 51 311 to 31 655 computations (38.3% saved)

Precisions

Click to see histograms. Total time spent on operations: 431.0ms

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

ival-mult!: 121.0ms (28.1% of total)

ival-div!: 57.0ms (13.2% of total)

adjust: 35.0ms (8.1% of total)

ival-add!: 25.0ms (5.8% of total)

ival-sub!: 19.0ms (4.4% of total)

ival-sqrt: 9.0ms (2.1% of total)

ival-neg: 7.0ms (1.6% of total)

ival-exp: 1.0ms (0.2% of total)

regimes1.1s (0.3%)

Memory

71.3MiB live, 1 791.4MiB allocated; 218ms collecting garbage

Counts

748 → 250

Calls

90 calls:

100.0ms	b
96.0ms	d
80.0ms	i
75.0ms	x
73.0ms	t

Compiler

Compiled 2 591 to 2 286 computations (11.8% saved)

start2.0ms (0%)

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

end0.0ms (0%)

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

prune4.1min (71.4%)

sample42.8s (12.3%)

rewrite22.8s (6.5%)

eval7.5s (2.1%)

explain7.2s (2.1%)

series6.9s (2%)

preprocess4.4s (1.3%)

analyze3.1s (0.9%)

derivations2.7s (0.8%)

bsearch1.2s (0.3%)

regimes1.1s (0.3%)

start2.0ms (0%)

end0.0ms (0%)

Profiling