Metrics for Herbie run

Date:	Friday, September 20th, 2024
Commit:	c26c209d on zane-concrete-values
Hostname:	nightly with Racket 8.10
Seed:	2024264
Parameters:	256 points for 4 iterations
Flags:	`localize:costslocalize:errorsreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default

sample4.4min (31.3%)

Memory

592.0MiB live, 106 074.7MiB allocated

Samples

2.4min	438 762×	0	valid
6.9s	22 314×	1	valid
4.2s	8 648×	2	valid
2.4s	4 449×	0	invalid
811.0ms	8 382×	0	exit
437.0ms	884×	3	valid

Precisions

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

ival-mult: 57.4s (46.2% of total)

ival-add: 36.9s (29.7% of total)

const: 4.6s (3.7% of total)

ival-div: 3.9s (3.1% of total)

ival-hypot: 2.9s (2.3% of total)

ival-exp: 2.8s (2.3% of total)

ival-sub: 2.3s (1.9% of total)

ival-log: 2.1s (1.7% of total)

ival-asin: 1.5s (1.2% of total)

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

adjust: 1.2s (1% of total)

ival-sqrt: 1.1s (0.9% of total)

ival-sin: 1.0s (0.8% of total)

ival-atan2: 893.0ms (0.7% of total)

ival->: 531.0ms (0.4% of total)

ival-asinh: 410.0ms (0.3% of total)

ival-acosh: 381.0ms (0.3% of total)

ival-<=: 362.0ms (0.3% of total)

exact: 346.0ms (0.3% of total)

ival-pow: 340.0ms (0.3% of total)

ival-sinu: 311.0ms (0.2% of total)

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

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

ival-neg: 234.0ms (0.2% of total)

ival-atanh: 213.0ms (0.2% of total)

ival-fabs: 204.0ms (0.2% of total)

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

ival->=: 119.0ms (0.1% of total)

ival-cosu: 85.0ms (0.1% of total)

ival-and: 77.0ms (0.1% of total)

Bogosity

soundness3.3min (23.8%)

Memory

44.0MiB live, 38 905.2MiB allocated

Stop Event

372×	iter limit
235×	node limit
34×	fuel
23×	done
3×	saturated
3×	unsound

Compiler

Compiled 43 164 to 19 381 computations (55.1% saved)

simplify1.3min (9.4%)

Memory

547.8MiB live, 72 217.2MiB allocated

Algorithm

459×	egg-herbie

Stop Event

603×	iter limit
270×	node limit
189×	saturated

Counts

59 616 → 58 793

explain1.3min (9.2%)

Memory

-378.4MiB live, 19 341.8MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	1211	0
`-.f64`	`#f`	cancellation	771	2
`/.f64`	`#f`	o/o	583	0
`sqrt.f32`	`#f`	oflow-rescue	214	0
`/.f64`	`#f`	o/n	209	0
`sin.f64`	`#f`	sensitivity	183	0
`cos.f64`	`(cos.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (.f64 x.im x.im)))) y.im) (.f64 (atan2.f64 x.im x.re) y.re)))`	sensitivity	181	0
`+.f64`	`#f`	cancellation	168	0
`sqrt.f64`	`#f`	uflow-rescue	152	0
`log.f32`	`(log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)))))`	sensitivity	128	1
`log.f64`	`(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))`	sensitivity	124	1
`/.f64`	`#f`	n/o	85	0
`-.f64`	`#f`	nan-rescue	82	0
`*.f64`	`#f`	*nu**	67	0
`/.f64`	`(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))`	u/u	64	0
↳	`(.f64 (.f64 i i) (*.f64 i i))`	underflow	95
↳	`(*.f64 i i)`	underflow	128
↳	`(.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))`	underflow	64
`*.f64`	`#f`	*no**	40	0
`+.f64`	`#f`	nan-rescue	40	0
`/.f64`	`#f`	u/n	33	0
`/.f64`	`#f`	n/u	15	0
`exp.f64`	`#f`	sensitivity	5	0
`log.f32`	`(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))`	oflow-rescue	3	0
↳	`(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))`	overflow	3
↳	`(*.f32 x x)`	overflow	149
↳	`(-.f32 (*.f32 x x) #s(literal 1 binary32))`	overflow	149
`log.f64`	`#f`	oflow-rescue	2	0
`*.f64`	`(.f64 (.f64 (sqrt.f64 (*.f64 (PI.f64) #s(literal 2 binary64))) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64)))) (exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)))))`	*ou**	2	0
↳	`(.f64 (sqrt.f64 (.f64 (PI.f64) #s(literal 2 binary64))) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64))))`	overflow	2
↳	`(pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64)))`	overflow	2
↳	`(exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64))))`	underflow	2
`sin.f64`	`(sin.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (.f64 x.im x.im)))) y.im) (.f64 (atan2.f64 x.im x.re) y.re)))`	cancellation	1	0

Confusion

	Predicted +	Predicted -
+	3617	83
-	186	10706

Precision

0.9510912437549304

Recall

0.9775675675675676

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3617	3	80
-	186	2	10704

Precision?

0.9506302521008403

Recall?

0.9783783783783784

Freqs

test

number	freq
0	10789
1	3253
2	540
3	10

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	35	1	1
-	4	0	16

Precision?

0.9

Recall?

0.972972972972973

Samples

3.1s	25 766×	0	valid
1.3s	2 474×	1	valid
577.0ms	866×	2	valid
27.0ms	78×	3	valid

Compiler

Compiled 19 577 to 2 968 computations (84.8% saved)

Precisions

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

ival-mult: 851.0ms (25% of total)

ival-add: 392.0ms (11.5% of total)

const: 290.0ms (8.5% of total)

ival-sub: 250.0ms (7.3% of total)

adjust: 247.0ms (7.3% of total)

ival-div: 232.0ms (6.8% of total)

ival-hypot: 216.0ms (6.3% of total)

ival-exp: 211.0ms (6.2% of total)

ival-log: 194.0ms (5.7% of total)

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

ival-asin: 65.0ms (1.9% of total)

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

ival-atan2: 64.0ms (1.9% of total)

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

ival-fabs: 39.0ms (1.1% of total)

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

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

ival-pow: 24.0ms (0.7% of total)

exact: 19.0ms (0.6% of total)

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

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

ival-copysign: 12.0ms (0.4% of total)

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

ival-sinu: 7.0ms (0.2% of total)

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

eval52.0s (6.2%)

Memory: 492.4MiB live, 71 394.6MiB allocated
Compiler: Compiled 9 451 740 to 584 821 computations (93.8% saved)

rewrite44.7s (5.3%)

Memory

86.8MiB live, 47 475.2MiB allocated

Stop Event

417×	iter limit
192×	node limit
5×	saturated
4×	unsound

Counts

2 945 → 111 904

localize37.8s (4.5%)

Memory

243.7MiB live, 42 181.0MiB allocated

Samples

15.9s	40 494×	0	valid
6.4s	4 916×	1	valid
3.5s	1 714×	2	valid
1.6s	3 234×	0	invalid
350.0ms	557×	0	exit
186.0ms	163×	3	valid
182.0ms	111×	5	exit
116.0ms	246×	1	exit
18.0ms	12×	2	exit
4.0ms	5×	4	valid
3.0ms	4×	3	exit

Compiler

Compiled 141 462 to 12 003 computations (91.5% saved)

Precisions

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

ival-mult: 8.8s (40.6% of total)

ival-add: 2.0s (9.1% of total)

ival-div: 1.7s (8% of total)

const: 1.5s (6.8% of total)

ival-log: 1.3s (5.8% of total)

adjust: 1.1s (5.2% of total)

ival-sub: 891.0ms (4.1% of total)

ival-pow: 841.0ms (3.9% of total)

ival-exp: 711.0ms (3.3% of total)

ival-hypot: 447.0ms (2.1% of total)

ival-sin: 370.0ms (1.7% of total)

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

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

ival-asin: 250.0ms (1.2% of total)

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

ival-acos: 192.0ms (0.9% of total)

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

ival-log1p: 113.0ms (0.5% of total)

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

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

exact: 81.0ms (0.4% of total)

ival-copysign: 64.0ms (0.3% of total)

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

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

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

ival-cosh: 20.0ms (0.1% of total)

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

ival-cosu: 14.0ms (0.1% of total)

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

preprocess30.3s (3.6%)

Memory

485.0MiB live, 15 581.5MiB allocated

Algorithm

57×	egg-herbie

Stop Event

114×	iter limit
76×	saturated
38×	node limit

Compiler

Compiled 50 424 to 14 211 computations (71.8% saved)

series17.8s (2.1%)

Memory

-248.1MiB live, 20 952.8MiB allocated

Counts

2 945 → 59 616

Calls

1224 calls:

Time	Variable		Point	Expression
242.0ms	alpha	@	-inf	((exp (* (log (/ 2 (+ (* (/ (+ beta alpha) (+ (* i 2) (+ beta alpha))) (/ (- beta alpha) (+ (+ (* i 2) (+ beta alpha)) 2))) 1))) -1)) (* (log (/ 2 (+ (* (/ (+ beta alpha) (+ (* i 2) (+ beta alpha))) (/ (- beta alpha) (+ (+ (* i 2) (+ beta alpha)) 2))) 1))) -1) (log (/ 2 (+ (* (/ (+ beta alpha) (+ (* i 2) (+ beta alpha))) (/ (- beta alpha) (+ (+ (* i 2) (+ beta alpha)) 2))) 1))) (/ 2 (+ (* (/ (+ beta alpha) (+ (* i 2) (+ beta alpha))) (/ (- beta alpha) (+ (+ (* i 2) (+ beta alpha)) 2))) 1)) (/ (+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2)) 1) 2) (* (/ (+ (+ (* 4 i) (* beta 2)) 2) alpha) 1/2) (+ (+ (* 4 i) (* beta 2)) 2) (/ (+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2)) 1) 2) (/ (+ (+ (* 4 i) (* beta 2)) 2) alpha) (/ (+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2)) 1) 2) (+ (* 1/2 (/ (* alpha alpha) (* (- -2 (+ (* i 2) alpha)) (+ (* i 2) alpha)))) 1/2) (* alpha alpha) (* (- -2 (+ (* i 2) alpha)) (+ (* i 2) alpha)) (+ (* (/ -1 (+ (+ (* i 2) (+ beta alpha)) 2)) (/ (* (- beta alpha) (+ beta alpha)) (neg (+ (* i 2) (+ beta alpha))))) 1) (/ (+ (* (/ -1 (+ (+ (* i 2) (+ beta alpha)) 2)) (/ (* (- beta alpha) (+ beta alpha)) (neg (+ (* i 2) (+ beta alpha))))) 1) 2) (/ -1 (+ (+ (* i 2) (+ beta alpha)) 2)) (+ (+ (* i 2) (+ beta alpha)) 2) (+ (* (/ (+ beta alpha) (+ (* i 2) (+ beta alpha))) (/ (- beta alpha) (+ (+ (* i 2) (+ beta alpha)) 2))) 1) (* beta 2) (/ (* alpha alpha) (* (- -2 (+ (* i 2) alpha)) (+ (* i 2) alpha))) (/ (* (- beta alpha) (+ beta alpha)) (neg (+ (* i 2) (+ beta alpha)))) (* (- beta alpha) (+ beta alpha)))
190.0ms	base	@	inf	((/ 1 (/ -1 (log (sqrt (+ (* re re) (* im im)))))) (* (/ -1 (log base)) (/ 1 (/ -1 (log (sqrt (+ (* re re) (* im im))))))) (/ -1 (log base)) (log base) (/ 1 (/ (log base) (log im))) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (/ (log base) (log im)) (* (/ (log im) (sqrt (log base))) (/ 1 (sqrt (log base)))) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (/ (log im) (sqrt (log base))) (log im) (exp (* (log (/ (log base) (log im))) -1)) (* (log (/ (log base) (log im))) -1) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (log (/ (log base) (log im))) (* (pow (neg (log base)) -1/2) (pow (neg (log base)) -1/2)) (* (neg (log im)) (* (pow (neg (log base)) -1/2) (pow (neg (log base)) -1/2))) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (neg (log im)) (log (sqrt (+ (* re re) (* im im)))) (sqrt (log base)) (neg (log base)))
186.0ms	y.im	@	inf	((/ (sin (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* y.re (atan2 x.im x.re)))) (/ (pow (exp y.im) (atan2 x.im x.re)) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re))) (sin (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* y.re (atan2 x.im x.re)))) (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* y.re (atan2 x.im x.re))) (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re) (sin (* (atan2 x.im x.re) y.re))) (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re) (sqrt (+ (* x.re x.re) (* x.im x.im))) (+ (* (neg y.im) (log (/ -1 x.re))) (* (atan2 x.im x.re) y.re)) (neg (+ (* (log (/ -1 x.re)) y.re) (* y.im (atan2 x.im x.re)))) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (sin (+ (* (neg y.im) (log (/ -1 x.re))) (* (atan2 x.im x.re) y.re))) (exp (neg (+ (* (log (/ -1 x.re)) y.re) (* y.im (atan2 x.im x.re)))))) (* (+ (* (neg y.im) (/ (atan2 x.im x.re) y.re)) (log (sqrt (+ (* x.re x.re) (* x.im x.im))))) y.re) (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)) (+ (* x.re x.re) (* x.im x.im)) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (+ (* (+ (* (* -1/2 y.re) (* (sin (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)) (pow (atan2 x.im x.re) 2))) (* (cos (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)) (atan2 x.im x.re))) y.re) (sin (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im))) (+ (* (* -1/2 y.re) (* (sin (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)) (pow (atan2 x.im x.re) 2))) (* (cos (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)) (atan2 x.im x.re))) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* y.re (atan2 x.im x.re)) (pow (exp y.im) (atan2 x.im x.re)) (sin (* (atan2 x.im x.re) y.re)) (* (atan2 x.im x.re) y.re) (sin (+ (* (neg y.im) (log (/ -1 x.re))) (* (atan2 x.im x.re) y.re))) (* y.im (atan2 x.im x.re)) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (/ (atan2 x.im x.re) y.re) (+ (* (neg y.im) (/ (atan2 x.im x.re) y.re)) (log (sqrt (+ (* x.re x.re) (* x.im x.im))))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (sin (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)) (cos (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)))
182.0ms	base	@	0	((/ 1 (/ -1 (log (sqrt (+ (* re re) (* im im)))))) (* (/ -1 (log base)) (/ 1 (/ -1 (log (sqrt (+ (* re re) (* im im))))))) (/ -1 (log base)) (log base) (/ 1 (/ (log base) (log im))) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (/ (log base) (log im)) (* (/ (log im) (sqrt (log base))) (/ 1 (sqrt (log base)))) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (/ (log im) (sqrt (log base))) (log im) (exp (* (log (/ (log base) (log im))) -1)) (* (log (/ (log base) (log im))) -1) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (log (/ (log base) (log im))) (* (pow (neg (log base)) -1/2) (pow (neg (log base)) -1/2)) (* (neg (log im)) (* (pow (neg (log base)) -1/2) (pow (neg (log base)) -1/2))) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (neg (log im)) (log (sqrt (+ (* re re) (* im im)))) (sqrt (log base)) (neg (log base)))
165.0ms	x.im	@	-inf	((/ (* (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (cos (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* y.re (atan2 x.im x.re))))) (pow (exp y.im) (atan2 x.im x.re))) (* (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (cos (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* y.re (atan2 x.im x.re))))) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (sqrt (+ (* x.im x.im) (* x.re x.re))) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re) (cos (* (atan2 x.im x.re) y.re))) (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re) (sqrt (+ (* x.re x.re) (* x.im x.im))) (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)) (+ (* x.re x.re) (* x.im x.im)) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im)) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im)) (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (cos (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* y.re (atan2 x.im x.re)))) (* y.re (atan2 x.im x.re)) (pow (exp y.im) (atan2 x.im x.re)) (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* y.re (atan2 x.im x.re))) (cos (* (atan2 x.im x.re) y.re)) (* (atan2 x.im x.re) y.re) (sqrt (+ (* x.re x.re) (* x.im x.im))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im)) (sqrt (+ (* x.re x.re) (* x.im x.im))) (/ (* x.re x.re) x.im) (sin (+ (* (neg y.im) (log (/ -1 x.im))) (* (atan2 x.im x.re) y.re))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (cos (+ (* (neg y.im) (log (/ -1 x.im))) (* (atan2 x.im x.re) y.re))))

prune16.2s (1.9%)

Memory: -432.1MiB live, 24 930.2MiB allocated
Counts: 218 688 → 3 184
Compiler: Compiled 184 814 to 86 389 computations (53.3% saved)

regimes14.9s (1.8%)

Memory

-271.5MiB live, 20 461.0MiB allocated

Counts

9 174 → 954

Calls

132 calls:

1.1s	im
770.0ms	y.re
721.0ms	beta
675.0ms	x
646.0ms	re

Compiler

Compiled 14 247 to 10 199 computations (28.4% saved)

bsearch4.2s (0.5%)

Memory

-59.3MiB live, 4 957.1MiB allocated

Algorithm

251×	left-value
225×	binary-search

Stop Event

219×	narrow-enough
6×	predicate-same

Samples

1.4s	12 439×	0	valid
694.0ms	1 282×	1	valid
64.0ms	122×	3	valid
57.0ms	269×	2	valid

Compiler

Compiled 51 601 to 42 322 computations (18% saved)

Precisions

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

ival-mult: 474.0ms (28% of total)

ival-log: 320.0ms (18.9% of total)

ival-hypot: 190.0ms (11.2% of total)

ival-add: 125.0ms (7.4% of total)

ival-sin: 93.0ms (5.5% of total)

ival-div: 86.0ms (5.1% of total)

adjust: 74.0ms (4.4% of total)

ival-sub: 71.0ms (4.2% of total)

const: 64.0ms (3.8% of total)

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

ival-atan2: 49.0ms (2.9% of total)

ival-exp: 43.0ms (2.5% of total)

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

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

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

exact: 5.0ms (0.3% of total)

analyze3.3s (0.4%)

Memory

-249.1MiB live, 3 421.8MiB allocated

Algorithm

58×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	86.3%	13.7%	0%	0%	0%	0
55.4%	47.8%	38.5%	13.7%	0%	0%	0%	1
65.9%	55.7%	28.9%	13.7%	0%	1.7%	0%	2
71.2%	58.4%	23.6%	13.7%	0%	4.3%	0%	3
77.4%	62%	18.1%	13.7%	0%	6.2%	0%	4
83.5%	66.8%	13.2%	13.7%	0%	6.3%	0%	5
85.8%	68.3%	11.3%	13.7%	0%	6.6%	0%	6
88.3%	70.3%	9.4%	13.7%	0%	6.6%	0%	7
89.9%	71.5%	8%	13.7%	0%	6.8%	0%	8
91.1%	72.5%	7.1%	13.7%	0%	6.8%	0%	9
92.6%	73.6%	5.9%	13.7%	0%	6.8%	0%	10
94%	74.7%	4.8%	13.7%	0%	6.8%	0%	11
94.5%	75.1%	4.4%	13.7%	0%	6.9%	0%	12

Compiler

Compiled 1 498 to 816 computations (45.5% saved)

start2.0ms (0%)

Memory: 5.3MiB live, 5.3MiB allocated

end0.0ms (0%)

Memory: 1.0MiB live, 1.0MiB allocated

sample4.4min (31.3%)

soundness3.3min (23.8%)

simplify1.3min (9.4%)

explain1.3min (9.2%)

eval52.0s (6.2%)

rewrite44.7s (5.3%)

localize37.8s (4.5%)

preprocess30.3s (3.6%)

series17.8s (2.1%)

prune16.2s (1.9%)

regimes14.9s (1.8%)

bsearch4.2s (0.5%)

analyze3.3s (0.4%)

start2.0ms (0%)

end0.0ms (0%)

Profiling