Metrics for Herbie run

Date:	Tuesday, July 16th, 2024
Commit:	f3c41df3 on doc-pass
Hostname:	nightly with Racket 8.11.1
Seed:	2024198
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

soundness6.2min (30.2%)

Memory

368.0MiB live, 44 855.0MiB allocated

Rules

2 110 556×	`accelerator-lowering-fma.f32`
2 110 556×	`accelerator-lowering-fma.f64`
1 100 202×	`-lowering-.f32`
1 100 202×	`-lowering-.f64`
591 944×	`+-lowering-+.f32`

Stop Event

249×	iter limit
233×	node limit
39×	fuel
17×	done
3×	unsound
1×	saturated

Compiler

Compiled 37 765 to 17 338 computations (54.1% saved)

simplify3.0min (14.4%)

Memory

-1 416.3MiB live, 216 165.1MiB allocated

Algorithm

455×	egg-herbie

Rules

3 506 960×	`accelerator-lowering-fma.f32`
3 506 960×	`accelerator-lowering-fma.f64`
1 327 664×	`-lowering-.f32`
1 327 664×	`-lowering-.f64`
840 388×	`+-lowering-+.f32`

Stop Event

399×	iter limit
271×	node limit
184×	saturated

Counts

47 220 → 47 220

localize2.4min (11.9%)

Memory

98.1MiB live, 49 696.0MiB allocated

Samples

34.9s	2 370×	1	valid
24.5s	42 460×	0	valid
1.8s	4 272×	0	invalid
1.5s	1 230×	2	valid
1.5s	249×	4	valid
653.0ms	147×	4	exit
601.0ms	269×	3	valid
135.0ms	143×	5	exit
24.0ms	58×	0	exit
2.0ms	2×	1	exit

Compiler

Compiled 57 346 to 5 716 computations (90% saved)

Precisions

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

ival-add: 20.3s (44% of total)

const: 15.4s (33.3% of total)

ival-mult: 3.9s (8.4% of total)

ival-div: 1.2s (2.6% of total)

ival-asin: 764.0ms (1.7% of total)

adjust: 645.0ms (1.4% of total)

ival-log: 593.0ms (1.3% of total)

ival-pow: 580.0ms (1.3% of total)

ival-sub: 522.0ms (1.1% of total)

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

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

ival-acos: 299.0ms (0.6% of total)

ival-hypot: 192.0ms (0.4% of total)

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

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

ival-cos: 108.0ms (0.2% of total)

ival-copysign: 105.0ms (0.2% of total)

ival-atan2: 83.0ms (0.2% of total)

exact: 82.0ms (0.2% of total)

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

ival-neg: 67.0ms (0.1% of total)

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

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

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

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

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

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

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

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

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

sample2.1min (10.3%)

Memory

834.9MiB live, 132 533.9MiB allocated

Samples

1.2min	438 874×	0	valid
20.8s	3 684×	5	exit
6.7s	22 133×	1	valid
3.9s	8 176×	2	valid
1.0s	8 496×	0	exit
499.0ms	1 292×	3	valid
225.0ms	138×	4	valid
80.0ms	514×	0	invalid

Precisions

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

ival-sin: 17.8s (23.9% of total)

ival-mult: 13.7s (18.5% of total)

ival-sub: 11.8s (15.9% of total)

ival-add: 5.3s (7.2% of total)

const: 4.1s (5.5% of total)

ival-div: 3.8s (5.1% of total)

ival-hypot: 3.0s (4.1% of total)

ival-exp: 2.7s (3.7% of total)

ival-log: 2.5s (3.3% of total)

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

ival-asin: 1.3s (1.8% of total)

ival-sqrt: 1.0s (1.4% of total)

adjust: 1.0s (1.3% of total)

ival-atan2: 669.0ms (0.9% of total)

ival-asinh: 511.0ms (0.7% of total)

ival-pi: 471.0ms (0.6% of total)

ival->: 377.0ms (0.5% of total)

exact: 367.0ms (0.5% of total)

ival-pow: 363.0ms (0.5% of total)

ival-acosh: 343.0ms (0.5% of total)

ival-neg: 315.0ms (0.4% of total)

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

ival-atanh: 248.0ms (0.3% of total)

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

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

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

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

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

Bogosity

rewrite2.1min (10.2%)

Memory

219.3MiB live, 142 856.1MiB allocated

Algorithm

199×	batch-egg-rewrite

Rules

986 848×	`accelerator-lowering-fma.f32`
986 848×	`accelerator-lowering-fma.f64`
770 534×	`-lowering-.f32`
770 534×	`-lowering-.f64`
598 856×	`/-lowering-/.f64`

Stop Event

223×	iter limit
187×	node limit
8×	saturated
4×	unsound

Counts

2 586 → 157 168

regimes1.5min (7.2%)

Memory

-432.3MiB live, 25 004.4MiB allocated

Counts

11 479 → 974

Calls

130 calls:

18.4s	(sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) x) #s(literal 2 binary64)))
14.3s	(-.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) (asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) x) #s(literal 2 binary64))))))
13.4s	(-.f64 #s(literal 1 binary64) x)
13.2s	(*.f64 #s(literal 2 binary64) (asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) x) #s(literal 2 binary64)))))
971.0ms	im

Compiler

Compiled 17 067 to 9 801 computations (42.6% saved)

eval1.3min (6.3%)

Memory: 1 655.0MiB live, 86 878.7MiB allocated
Compiler: Compiled 14 659 173 to 616 989 computations (95.8% saved)

prune49.4s (4%)

Memory: -1 601.0MiB live, 79 191.4MiB allocated
Counts: 266 780 → 3 400
Compiler: Compiled 187 614 to 80 915 computations (56.9% saved)

preprocess31.8s (2.6%)

Memory

-72.6MiB live, 25 572.9MiB allocated

Algorithm

114×	egg-herbie

Rules

299 290×	`accelerator-lowering-fma.f32`
299 290×	`accelerator-lowering-fma.f64`
81 926×	`-lowering-.f32`
81 926×	`-lowering-.f64`
55 342×	`+-lowering-+.f32`

Stop Event

77×	saturated
57×	iter limit
37×	node limit

Compiler

Compiled 42 030 to 10 768 computations (74.4% saved)

explain13.4s (1.1%)

Memory

68.4MiB live, 21 712.4MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	1188	0
`-.f64`	`#f`	cancellation	744	0
`/.f64`	`#f`	o/o	628	0
`sqrt.f32`	`#f`	oflow-rescue	195	0
`/.f64`	`#f`	o/n	194	0
`sin.f64`	`#f`	sensitivity	182	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	180	0
`+.f64`	`#f`	cancellation	167	0
`sqrt.f64`	`#f`	uflow-rescue	146	0
`log.f32`	`(log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)))))`	sensitivity	126	1
`log.f64`	`(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))`	sensitivity	116	0
`-.f64`	`#f`	nan-rescue	115	0
`/.f64`	`#f`	n/o	104	0
`*.f64`	`#f`	*nu**	70	0
`/.f64`	`#f`	u/u	64	0
`+.f64`	`#f`	nan-rescue	46	0
`/.f64`	`#f`	u/n	42	0
`*.f64`	`#f`	*no**	40	0
`/.f64`	`#f`	n/u	9	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)))`	oflow-rescue	3	0
↳	`(+.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))`	overflow	3
↳	`(*.f64 x.re x.re)`	overflow	62
↳	`(+.f64 (.f64 x.re x.re) (.f64 x.im x.im))`	overflow	109
↳	`(.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)`	overflow	3
↳	`(*.f64 x.im x.im)`	overflow	59
`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)))`	oflow-rescue	3	0
↳	`(+.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))`	overflow	3
↳	`(*.f64 x.re x.re)`	overflow	62
↳	`(+.f64 (.f64 x.re x.re) (.f64 x.im x.im))`	overflow	109
↳	`(.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)`	overflow	3
↳	`(*.f64 x.im x.im)`	overflow	59
`log.f32`	`#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
`exp.f64`	`(exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))`	sensitivity	1	0

Confusion

	Predicted +	Predicted -
+	3601	37
-	210	10744

Precision

0.9448963526633429

Recall

0.9898295766904893

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3601	1	36
-	210	1	10743

Precision?

0.944662995017047

Recall?

0.9901044529961517

Freqs

test

number	freq
0	10781
1	3257
2	552
3	2

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	37	0	0
-	2	0	18

Precision?

0.9487179487179487

Recall?

1.0

Samples

3.1s	25 894×	0	valid
1.3s	2 328×	1	valid
530.0ms	836×	2	valid
55.0ms	120×	3	valid
4.0ms	6×	4	valid

Compiler

Compiled 15 052 to 2 968 computations (80.3% saved)

Precisions

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

ival-mult: 840.0ms (24.9% of total)

ival-add: 405.0ms (12% of total)

ival-div: 366.0ms (10.8% of total)

ival-hypot: 301.0ms (8.9% of total)

ival-log: 290.0ms (8.6% of total)

const: 218.0ms (6.5% of total)

ival-exp: 187.0ms (5.5% of total)

ival-sub: 148.0ms (4.4% of total)

adjust: 131.0ms (3.9% of total)

ival-sin: 86.0ms (2.5% of total)

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

ival-asin: 69.0ms (2% of total)

ival-cos: 56.0ms (1.7% of total)

ival-atan2: 45.0ms (1.3% of total)

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

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

ival-pi: 22.0ms (0.7% of total)

exact: 21.0ms (0.6% of total)

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

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

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

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

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

series10.6s (0.9%)

Memory

569.3MiB live, 14 044.2MiB allocated

Counts

2 586 → 47 220

Calls

8817 calls:

Time	Variable		Point	Expression
401.0ms	x	@	0	(/ (- (* 1 (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))))) 1)) (* (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))))) 1) (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) 3))) (* (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))))) 1) (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))))) 1)))
257.0ms	y.im	@	inf	(* (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (sin (+ (* y.im (log x.re)) (+ (* y.re (atan2 x.im x.re)) (/ (* (* 1/2 (* x.im x.im)) y.im) (* x.re x.re))))))
179.0ms	x	@	0	(/ (- (/ 1 (+ 1 (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) 2))) (/ (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) 4) (+ 1 (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) 2)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x))))))
154.0ms	x	@	0	(* (log (/ (pow (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))))) 1) 2) (* (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))))) 1) (- 1 (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) 3))))) -1)
146.0ms	x.im	@	-inf	(+ (* (log (+ x.im (/ (* 1/2 (* x.re x.re)) x.im))) y.im) (* (atan2 x.im x.re) y.re))

bsearch5.9s (0.5%)

Memory

9.9MiB live, 9 275.8MiB allocated

Algorithm

264×	left-value
228×	binary-search

Stop Event

218×	narrow-enough
10×	predicate-same

Samples

3.0s	25 194×	0	valid
930.0ms	2 362×	1	valid
56.0ms	240×	2	valid
15.0ms	60×	3	valid

Compiler

Compiled 57 579 to 37 969 computations (34.1% saved)

Precisions

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

ival-mult: 1.1s (38.1% of total)

ival-add: 303.0ms (10.3% of total)

ival-hypot: 298.0ms (10.1% of total)

ival-log: 188.0ms (6.4% of total)

ival-div: 178.0ms (6.1% of total)

const: 156.0ms (5.3% of total)

ival-cos: 132.0ms (4.5% of total)

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

ival-sin: 114.0ms (3.9% of total)

ival-atan2: 106.0ms (3.6% of total)

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

adjust: 59.0ms (2% of total)

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

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

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

exact: 10.0ms (0.3% of total)

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

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

analyze2.6s (0.2%)

Memory

-115.0MiB live, 3 737.0MiB 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 821 computations (45.2% saved)

end1.9s (0.2%)

Memory: -21.9MiB live, 2 964.6MiB allocated

soundness6.2min (30.2%)

simplify3.0min (14.4%)

localize2.4min (11.9%)

sample2.1min (10.3%)

rewrite2.1min (10.2%)

regimes1.5min (7.2%)

eval1.3min (6.3%)

prune49.4s (4%)

preprocess31.8s (2.6%)

explain13.4s (1.1%)

series10.6s (0.9%)

bsearch5.9s (0.5%)

analyze2.6s (0.2%)

end1.9s (0.2%)

Profiling