Metrics for Herbie run

Date:	Tuesday, October 22nd, 2024
Commit:	5ca06d70 on bhargav-double-double
Hostname:	nightly with Racket 8.10
Seed:	2024296
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

sample3.4min (38.8%)

Memory

121.8MiB live, 190 387.9MiB allocated

Samples

50.3s	107 780×	1	valid
44.7s	294 942×	0	valid
32.5s	14 464×	5	exit
17.6s	23 474×	2	valid
7.8s	3 083×	3	valid
6.2s	35 122×	0	exit
3.7s	20 659×	0	invalid
2.7s	11 157×	1	invalid
409.0ms	805×	2	invalid
404.0ms	3 669×	1	exit
117.0ms	33×	4	valid
10.0ms	4×	4	exit

Precisions

Click to see histograms. Total time spent on operations: 2.4min

ival-pow: 26.2s (18.3% of total)

ival-mult: 17.1s (12% of total)

ival-div: 12.2s (8.5% of total)

ival-cos: 10.9s (7.6% of total)

adjust: 10.3s (7.2% of total)

ival-pow2: 8.2s (5.7% of total)

ival-sin: 7.6s (5.3% of total)

ival-sinu: 6.7s (4.7% of total)

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

ival-exp: 6.5s (4.6% of total)

ival-sub: 6.5s (4.6% of total)

ival-cosu: 5.4s (3.8% of total)

ival-log: 4.1s (2.9% of total)

ival-sqrt: 3.6s (2.6% of total)

ival-neg: 2.2s (1.6% of total)

const: 1.7s (1.2% of total)

ival-<: 1.5s (1.1% of total)

ival-atan2: 743.0ms (0.5% of total)

ival-tan: 717.0ms (0.5% of total)

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

exact: 403.0ms (0.3% of total)

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

ival-acos: 369.0ms (0.3% of total)

ival-and: 351.0ms (0.2% of total)

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

ival-cbrt: 245.0ms (0.2% of total)

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

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

ival-asin: 147.0ms (0.1% of total)

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

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

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

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

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

Bogosity

simplify56.4s (10.8%)

Memory

561.8MiB live, 51 901.6MiB allocated

Algorithm

364×	egg-herbie

Stop Event

483×	iter limit
252×	node limit
112×	saturated

Counts

19 494 → 19 373

soundness47.9s (9.2%)

Memory

-29.8MiB live, 28 844.7MiB allocated

Stop Event

328×	iter limit
222×	node limit
34×	fuel
8×	done
1×	saturated

Compiler

Compiled 63 427 to 22 616 computations (64.3% saved)

localize43.7s (8.4%)

Memory

65.9MiB live, 47 972.4MiB allocated

Samples

12.6s	10 434×	1	valid
8.1s	24 115×	0	valid
6.3s	711×	5	exit
3.4s	2 680×	2	valid
1.1s	1 739×	0	invalid
941.0ms	118×	4	exit
766.0ms	376×	2	exit
658.0ms	305×	3	valid
451.0ms	350×	1	exit
283.0ms	158×	1	invalid
281.0ms	212×	0	exit
76.0ms	7×	3	exit
28.0ms	11×	2	invalid

Compiler

Compiled 158 647 to 14 845 computations (90.6% saved)

Precisions

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

ival-mult: 6.8s (24.4% of total)

ival-div: 3.0s (10.6% of total)

adjust: 2.4s (8.6% of total)

ival-add: 2.1s (7.5% of total)

ival-sin: 1.6s (5.6% of total)

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

ival-pow: 1.5s (5.2% of total)

ival-pow2: 1.4s (5.1% of total)

ival-sinu: 1.2s (4.4% of total)

const: 1.0s (3.7% of total)

ival-sqrt: 934.0ms (3.3% of total)

ival-sub: 914.0ms (3.3% of total)

ival-exp: 751.0ms (2.7% of total)

ival-log: 739.0ms (2.6% of total)

ival-cosu: 724.0ms (2.6% of total)

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

ival-log1p: 263.0ms (0.9% of total)

ival-hypot: 188.0ms (0.7% of total)

ival-cbrt: 187.0ms (0.7% of total)

exact: 90.0ms (0.3% of total)

ival-pi: 60.0ms (0.2% of total)

ival-true: 39.0ms (0.1% of total)

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

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

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

ival-cosh: 12.0ms (0% of total)

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

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

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

rewrite34.2s (6.5%)

Memory

268.8MiB live, 33 132.7MiB allocated

Stop Event

327×	iter limit
159×	node limit
1×	saturated
1×	unsound

Counts

2 699 → 108 958

eval26.7s (5.1%)

Memory: 198.5MiB live, 30 794.3MiB allocated
Compiler: Compiled 7 890 343 to 547 890 computations (93.1% saved)

explain21.8s (4.2%)

Memory

-621.5MiB live, 24 539.0MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`+.f64`	`#f`	cancellation	1742	24
`sqrt.f64`	`#f`	oflow-rescue	1114	0
`-.f64`	`#f`	cancellation	1010	4
`cos.f64`	`#f`	sensitivity	913	0
`sin.f64`	`#f`	sensitivity	739	0
`log.f64`	`#f`	sensitivity	580	2
`-.f64`	`#f`	nan-rescue	490	0
`/.f64`	`#f`	o/n	382	0
`/.f64`	`#f`	u/u	259	0
`/.f64`	`#f`	o/o	235	0
`*.f64`	`#f`	*no**	226	0
`+.f64`	`#f`	nan-rescue	172	0
`exp.f64`	`(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))`	sensitivity	169	22
`*.f64`	`#f`	*ou**	156	0
`sqrt.f64`	`#f`	uflow-rescue	109	0
`cbrt.f64`	`#f`	oflow-rescue	92	0
`/.f64`	`#f`	u/n	77	0
`/.f64`	`#f`	n/o	65	0
`log.f64`	`#f`	uflow-rescue	62	0
`*.f64`	`#f`	*nu**	58	0
`cbrt.f64`	`#f`	uflow-rescue	44	0
`/.f64`	`#f`	n/u	30	0
`*.f64`	`#f`	*uo**	25	0
`pow.f64`	`#f`	sensitivity	16	1
`pow.f64`	`#f`	uflow-rescue	8	0
`log.f64`	`#f`	oflow-rescue	5	0
`+.f64`	`#f`	oflow-left	4	0

Confusion

	Predicted +	Predicted -
+	5192	63
-	481	5016

Precision

0.915212409659792

Recall

0.9880114176974311

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	5192	43	20
-	481	11	5005

Precision?

0.9140911471974856

Recall?

0.9961941008563273

Freqs

test

number	freq
0	5079
1	4025
2	959
3	291
4	184
5	116
6	60
7	23
8	9
9	3
10	3

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	36	0	0
-	0	0	6

Precision?

1.0

Recall?

1.0

Samples

1.8s	14 760×	0	valid
1.6s	4 934×	1	valid
1.1s	1 528×	2	valid
520.0ms	282×	3	valid

Compiler

Compiled 29 173 to 6 819 computations (76.6% saved)

Precisions

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

ival-mult: 628.0ms (16.6% of total)

ival-div: 414.0ms (10.9% of total)

ival-cosu: 351.0ms (9.3% of total)

adjust: 317.0ms (8.4% of total)

ival-pow2: 288.0ms (7.6% of total)

ival-sinu: 272.0ms (7.2% of total)

ival-sub: 248.0ms (6.5% of total)

ival-exp: 231.0ms (6.1% of total)

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

ival-sqrt: 203.0ms (5.4% of total)

ival-log: 184.0ms (4.9% of total)

ival-pow: 167.0ms (4.4% of total)

ival-neg: 69.0ms (1.8% of total)

ival-hypot: 52.0ms (1.4% of total)

ival-cos: 35.0ms (0.9% of total)

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

ival-cbrt: 20.0ms (0.5% of total)

exact: 18.0ms (0.5% of total)

ival-pi: 16.0ms (0.4% of total)

ival-sin: 12.0ms (0.3% of total)

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

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

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

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

regimes20.7s (3.9%)

Memory

-61.2MiB live, 22 991.3MiB allocated

Counts

12 835 → 669

Calls

116 calls:

2.4s	a
2.3s	b
1.1s	c
1.1s	angle
938.0ms	(/.f64 angle #s(literal 180 binary64))

Compiler

Compiled 9 088 to 8 397 computations (7.6% saved)

analyze18.2s (3.5%)

Memory

38.9MiB live, 18 530.5MiB allocated

Algorithm

53×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	79.4%	20.6%	0%	0%	0%	0
17.2%	13.7%	65.7%	20.6%	0%	0%	0%	1
25%	19.6%	58.5%	20.6%	0%	1.3%	0%	2
35.2%	26.6%	48.9%	20.6%	0%	3.8%	0%	3
42.3%	31.7%	43.1%	20.6%	0%	4.5%	0%	4
47.9%	35.6%	38.7%	20.6%	0%	5.1%	0%	5
51%	37.6%	36.1%	20.6%	0%	5.7%	0%	6
54.4%	39.7%	33.2%	20.6%	0%	6.5%	0%	7
56.2%	40.7%	31.8%	20.6%	0%	6.8%	0%	8
59%	42.5%	29.5%	20.6%	0%	7.4%	0%	9
60.3%	43.2%	28.4%	20.6%	0%	7.7%	0%	10
62.1%	44.3%	27%	20.6%	0%	8.1%	0%	11
63.6%	45.1%	25.8%	20.6%	0%	8.5%	0%	12

Compiler

Compiled 1 826 to 964 computations (47.2% saved)

series16.7s (3.2%)

Memory

497.6MiB live, 19 991.2MiB allocated

Counts

2 699 → 19 494

Calls

1179 calls:

Time	Variable		Point	Expression
254.0ms	s	@	inf	((- (+ (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (log (+ 1 (pow (- -1 (exp (neg s))) -1))) c_n)) (+ (* (neg (log (+ 1 (exp (neg t))))) c_p) (* (log (+ 1 (pow (- -1 (exp (neg t))) -1))) c_n))) (+ (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (log (+ 1 (pow (- -1 (exp (neg s))) -1))) c_n)) (neg (log (+ 1 (exp (neg s))))) (log (+ 1 (exp (neg s)))) (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (pow (/ 1 (+ (exp (neg t)) 1)) c_p)) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (+ (exp (neg s)) 1) (- 1 (/ 1 (+ (exp (neg s)) 1))) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (* (pow 1/2 c_p) (pow 1/2 c_n))) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n)) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (- 1 (/ 1 (+ 1 (exp (neg s))))) (- 1 (/ 1 (+ 1 (exp (neg t))))) (- (neg (log (+ 1 (exp (neg s))))) (neg (log (+ 1 (exp (neg t)))))) (+ (* c_p (- (neg (log (+ 1 (exp (neg s))))) (neg (log (+ 1 (exp (neg t))))))) (* c_n (- (log (+ 1 (pow (- -1 (exp (neg s))) -1))) (log (+ 1 (pow (- -1 (exp (neg t))) -1)))))) (log (+ 1 (exp (neg t)))) (log (+ 1 (pow (- -1 (exp (neg s))) -1))) (pow (/ 1 (+ (exp (neg t)) 1)) c_p) (* (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (* (pow 1/2 c_p) (pow 1/2 c_n))) (pow (- 1 (/ 1 (+ (exp (neg s)) 1))) c_n)) (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (- (log (+ 1 (pow (- -1 (exp (neg s))) -1))) (log (+ 1 (pow (- -1 (exp (neg t))) -1)))))
152.0ms	t	@	-inf	((- (+ (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (log (+ 1 (pow (- -1 (exp (neg s))) -1))) c_n)) (+ (* (neg (log (+ 1 (exp (neg t))))) c_p) (* (log (+ 1 (pow (- -1 (exp (neg t))) -1))) c_n))) (+ (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (log (+ 1 (pow (- -1 (exp (neg s))) -1))) c_n)) (neg (log (+ 1 (exp (neg s))))) (log (+ 1 (exp (neg s)))) (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (pow (/ 1 (+ (exp (neg t)) 1)) c_p)) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (+ (exp (neg s)) 1) (- 1 (/ 1 (+ (exp (neg s)) 1))) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (* (pow 1/2 c_p) (pow 1/2 c_n))) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n)) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (- 1 (/ 1 (+ 1 (exp (neg s))))) (- 1 (/ 1 (+ 1 (exp (neg t))))) (- (neg (log (+ 1 (exp (neg s))))) (neg (log (+ 1 (exp (neg t)))))) (+ (* c_p (- (neg (log (+ 1 (exp (neg s))))) (neg (log (+ 1 (exp (neg t))))))) (* c_n (- (log (+ 1 (pow (- -1 (exp (neg s))) -1))) (log (+ 1 (pow (- -1 (exp (neg t))) -1)))))) (log (+ 1 (exp (neg t)))) (log (+ 1 (pow (- -1 (exp (neg s))) -1))) (pow (/ 1 (+ (exp (neg t)) 1)) c_p) (* (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (* (pow 1/2 c_p) (pow 1/2 c_n))) (pow (- 1 (/ 1 (+ (exp (neg s)) 1))) c_n)) (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (- (log (+ 1 (pow (- -1 (exp (neg s))) -1))) (log (+ 1 (pow (- -1 (exp (neg t))) -1)))))
146.0ms	s	@	-inf	((+ (* (* (+ c_n c_p) -1/192) (* t t)) (* (+ c_n c_p) 1/8)) (exp (+ (* c_p (- (neg (log (+ 1 (exp (neg s))))) (neg (log (+ 1 (exp (neg t))))))) (* c_n (- (log (+ 1 (pow (- -1 (exp (neg s))) -1))) (log (+ 1 (pow (- -1 (exp (neg t))) -1))))))) (+ (* c_p (- (neg (log (+ 1 (exp (neg s))))) (neg (log (+ 1 (exp (neg t))))))) (* c_n (- (log (+ 1 (pow (- -1 (exp (neg s))) -1))) (log (+ 1 (pow (- -1 (exp (neg t))) -1)))))) (+ (* (+ (* (+ (* (* -1/192 (+ c_p c_n)) (* t t)) (* 1/8 (+ c_p c_n))) t) (+ (* -1/2 c_p) (* 1/2 c_n))) t) (+ (* (- (log (+ 1 (/ -1 (+ (exp (neg s)) 1)))) (log 1/2)) c_n) (* (- (log 2) (log (+ 1 (exp (neg s))))) c_p))) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (* (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (* (pow 1/2 c_p) (pow 1/2 c_n))) (pow (- 1 (/ 1 (+ (exp (neg s)) 1))) c_n)) (/ (pow (- 1 (/ 1 (+ (exp (neg s)) 1))) c_n) (pow 1/2 c_n)) (+ (* (* s c_n) -1/2) 1) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (* (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (* (pow 1/2 c_p) (pow 1/2 c_n))) (pow (- 1 (/ 1 (+ (exp (neg s)) 1))) c_n)) (+ (* (+ (* (+ (* (* -1/4 c_p) c_n) (+ (* 1/8 (+ (* c_p c_p) (* c_n c_n))) (* -1/8 (+ c_p c_n)))) s) (+ (* -1/2 c_n) (* 1/2 c_p))) s) 1) (* (* (* c_n c_n) 1/8) (* s s)) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (* (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (* (pow 1/2 c_p) (pow 1/2 c_n))) (pow (- 1 (/ 1 (+ (exp (neg s)) 1))) c_n)) (+ (* (+ (* (+ (* (* -1/4 c_p) c_n) (+ (* 1/8 (+ (* c_p c_p) (* c_n c_n))) (* -1/8 (+ c_p c_n)))) s) (+ (* -1/2 c_n) (* 1/2 c_p))) s) 1) (+ (* (+ (* (* -1/4 c_p) c_n) (+ (* 1/8 (+ (* c_p c_p) (* c_n c_n))) (* -1/8 (+ c_p c_n)))) s) (+ (* -1/2 c_n) (* 1/2 c_p))) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (* (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (* (pow 1/2 c_p) (pow 1/2 c_n))) (pow (- 1 (/ 1 (+ (exp (neg s)) 1))) c_n)) (+ (* (+ (* (+ (* (* -1/4 c_p) c_n) (+ (* 1/8 (+ (* c_p c_p) (* c_n c_n))) (* -1/8 (+ c_p c_n)))) s) (+ (* -1/2 c_n) (* 1/2 c_p))) s) 1) (+ (* (+ (* (* -1/4 c_p) c_n) (+ (* 1/8 (+ (* c_p c_p) (* c_n c_n))) (* -1/8 (+ c_p c_n)))) s) (+ (* -1/2 c_n) (* 1/2 c_p))) (* (+ c_n c_p) -1/192) (* (+ (* -1/2 c_p) (+ (* (+ (* (* (+ c_n c_p) -1/192) (* t t)) (* (+ c_n c_p) 1/8)) t) (* 1/2 c_n))) t) (* s c_n) (* (* c_p c_p) s) (+ (* 1/8 (+ (* c_p c_p) (* c_n c_n))) (* -1/8 (+ c_p c_n))))
136.0ms	s	@	inf	((* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (/ 1 (+ 1 (exp (neg s)))) (+ 1 (exp (neg s))) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (- 1 (/ 1 (+ 1 (exp (neg s))))))
134.0ms	y	@	0	((+ (* (neg y) x) (log (+ 1 (exp x)))) (neg y) (log (+ 1 (exp x))) (exp x) (- (log (+ 1 (exp x))) (* x y)) (* (neg y) x) (- (log (+ 1 (exp x))) (* x y)) (+ (* (- 1/2 y) x) (log 2)) (- 1/2 y) (log 2) (- (log (+ 1 (exp x))) (* x y)) (+ (* (+ (* 1/8 x) (- 1/2 y)) x) (log 2)) (+ (* 1/8 x) (- 1/2 y)) (/ (- (pow (log (+ 1 (exp x))) 3) (pow (* y x) 3)) (+ (* (+ (* y x) (log (+ 1 (exp x)))) (* y x)) (pow (log (+ 1 (exp x))) 2))) (- (pow (log (+ 1 (exp x))) 3) (pow (* y x) 3)) (pow (log (+ 1 (exp x))) 3) (pow (log (+ 1 (exp x))) 2) (pow (* y x) 3))

prune16.4s (3.1%)

Memory: -761.9MiB live, 23 823.6MiB allocated
Counts: 127 727 → 5 462
Compiler: Compiled 702 059 to 280 383 computations (60.1% saved)

preprocess10.7s (2%)

Memory

163.4MiB live, 9 473.9MiB allocated

Algorithm

42×	egg-herbie

Stop Event

84×	iter limit
49×	saturated
35×	node limit

Compiler

Compiled 118 842 to 23 776 computations (80% saved)

bsearch7.2s (1.4%)

Memory

-318.5MiB live, 7 550.0MiB allocated

Algorithm

150×	binary-search
139×	left-value

Stop Event

147×	narrow-enough
3×	predicate-same

Samples

2.7s	2 364×	5	exit
1.0s	8 407×	0	valid
841.0ms	1 576×	1	valid
456.0ms	442×	2	valid
344.0ms	167×	3	valid
127.0ms	668×	0	invalid
1.0ms	27×	0	exit

Compiler

Compiled 123 712 to 67 297 computations (45.6% saved)

Precisions

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

ival-pow: 861.0ms (17.8% of total)

adjust: 845.0ms (17.5% of total)

ival-mult: 587.0ms (12.1% of total)

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

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

ival-exp: 326.0ms (6.7% of total)

ival-sinu: 298.0ms (6.2% of total)

ival-cosu: 293.0ms (6.1% of total)

ival-sub: 228.0ms (4.7% of total)

ival-add: 228.0ms (4.7% of total)

ival-neg: 96.0ms (2% of total)

ival-sqrt: 78.0ms (1.6% of total)

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

ival-cos: 15.0ms (0.3% of total)

ival-log: 14.0ms (0.3% of total)

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

exact: 10.0ms (0.2% of total)

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

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

start2.0ms (0%)

Memory: 4.2MiB live, 4.2MiB allocated

end0.0ms (0%)

Memory: 0.8MiB live, 0.8MiB allocated

sample3.4min (38.8%)

simplify56.4s (10.8%)

soundness47.9s (9.2%)

localize43.7s (8.4%)

rewrite34.2s (6.5%)

eval26.7s (5.1%)

explain21.8s (4.2%)

regimes20.7s (3.9%)

analyze18.2s (3.5%)

series16.7s (3.2%)

prune16.4s (3.1%)

preprocess10.7s (2%)

bsearch7.2s (1.4%)

start2.0ms (0%)

end0.0ms (0%)

Profiling