Metrics for Herbie run

Date:	Tuesday, August 6th, 2024
Commit:	2.2 on release
Hostname:	nightly with Racket 8.11.1
Seed:	2024219
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

soundness7.4min (27.7%)

Memory

-585.4MiB live, 40 070.9MiB allocated

Rules

2 023 716×	`lower-fma.f32`
2 023 302×	`lower-fma.f64`
1 004 412×	`lower-*.f32`
1 003 208×	`lower-*.f64`
587 518×	`lower-+.f32`

Stop Event

324×	iter limit
210×	node limit
34×	fuel
20×	done
2×	unsound
1×	saturated

Compiler

Compiled 33 355 to 14 662 computations (56% saved)

prune6.3min (23.5%)

Memory: -1 664.9MiB live, 63 215.2MiB allocated
Counts: 221 263 → 3 285
Compiler: Compiled 153 571 to 69 873 computations (54.5% saved)

rewrite5.4min (20%)

Memory

66.4MiB live, 105 959.3MiB allocated

Algorithm

192×	batch-egg-rewrite

Rules

1 000 918×	`lower-fma.f32`
1 000 132×	`lower-fma.f64`
781 618×	`lower-*.f32`
779 466×	`lower-*.f64`
586 074×	`lower-/.f32`

Stop Event

404×	iter limit
182×	node limit
8×	saturated
4×	unsound

Counts

2 483 → 134 101

simplify3.1min (11.6%)

Memory

823.1MiB live, 170 852.2MiB allocated

Algorithm

439×	egg-herbie

Rules

3 606 604×	`lower-fma.f32`
3 605 802×	`lower-fma.f64`
1 282 634×	`lower-*.f32`
1 280 326×	`lower-*.f64`
865 594×	`lower-+.f32`

Stop Event

575×	iter limit
261×	node limit
181×	saturated

Counts

45 768 → 45 032

sample1.9min (6.9%)

Memory

393.2MiB live, 142 693.2MiB allocated

Samples

52.9s	438 824×	0	valid
23.5s	3 778×	5	exit
7.2s	22 284×	1	valid
4.2s	8 611×	2	valid
788.0ms	7 853×	0	exit
580.0ms	874×	3	valid
36.0ms	539×	0	invalid

Precisions

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

ival-sin: 19.3s (26.6% of total)

ival-mult: 17.6s (24.3% of total)

ival-add: 5.0s (6.9% of total)

adjust: 4.4s (6.1% of total)

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

const: 3.7s (5.1% of total)

ival-hypot: 3.2s (4.5% of total)

ival-exp: 3.2s (4.4% of total)

ival-sub: 2.5s (3.4% of total)

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

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

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

ival-atan2: 865.0ms (1.2% of total)

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

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

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

exact: 347.0ms (0.5% of total)

ival-pow: 323.0ms (0.4% of total)

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

ival-acosh: 275.0ms (0.4% of total)

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

ival-neg: 220.0ms (0.3% of total)

ival-assert: 179.0ms (0.2% of total)

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

ival-<=: 156.0ms (0.2% of total)

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

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

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

Bogosity

eval1.3min (4.8%)

Memory: 803.6MiB live, 71 540.3MiB allocated
Compiler: Compiled 13 330 190 to 539 692 computations (96% saved)

localize25.1s (1.6%)

Memory

189.0MiB live, 36 596.9MiB allocated

Samples

8.8s	39 770×	0	valid
2.2s	3 528×	1	valid
1.5s	4 126×	0	invalid
1.5s	1 186×	2	valid
200.0ms	330×	1	exit
111.0ms	11×	2	exit
103.0ms	135×	0	exit
28.0ms	55×	3	valid
7.0ms	11×	4	valid

Compiler

Compiled 45 751 to 5 054 computations (89% saved)

Precisions

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

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

ival-add: 1.4s (13.1% of total)

ival-div: 950.0ms (9.1% of total)

const: 702.0ms (6.7% of total)

ival-log: 566.0ms (5.4% of total)

adjust: 439.0ms (4.2% of total)

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

ival-hypot: 302.0ms (2.9% of total)

ival-exp: 290.0ms (2.8% of total)

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

ival-sub: 254.0ms (2.4% of total)

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

ival-sin: 205.0ms (2% of total)

ival-pow: 173.0ms (1.7% of total)

ival-copysign: 132.0ms (1.3% of total)

ival-cos: 128.0ms (1.2% of total)

ival-acos: 113.0ms (1.1% of total)

ival-atan2: 79.0ms (0.8% of total)

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

exact: 57.0ms (0.5% of total)

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

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

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

ival-pi: 27.0ms (0.3% of total)

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

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

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

preprocess19.3s (1.2%)

Memory

108.4MiB live, 22 964.7MiB allocated

Algorithm

57×	egg-herbie

Rules

296 104×	`lower-fma.f64`
296 104×	`lower-fma.f32`
79 264×	`lower-*.f32`
78 898×	`lower-*.f64`
56 582×	`lower-+.f32`

Stop Event

114×	iter limit
76×	saturated
38×	node limit

Compiler

Compiled 36 872 to 9 736 computations (73.6% saved)

regimes14.4s (0.9%)

Memory

53.0MiB live, 21 946.2MiB allocated

Counts

10 311 → 951

Calls

122 calls:

1.1s	im
936.0ms	re
482.0ms	x.re
453.0ms	(sin.f64 re)
410.0ms	x.im

Compiler

Compiled 15 363 to 9 218 computations (40% saved)

explain13.7s (0.9%)

Memory

-66.1MiB live, 21 957.7MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	1177	0
`-.f64`	`#f`	cancellation	794	4
`/.f64`	`#f`	o/o	614	0
`sin.f64`	`#f`	sensitivity	196	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	193	0
`/.f64`	`#f`	o/n	188	0
`sqrt.f32`	`#f`	oflow-rescue	184	0
`+.f64`	`#f`	cancellation	145	0
`sqrt.f64`	`#f`	uflow-rescue	143	0
`log.f64`	`(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))`	sensitivity	132	0
`log.f32`	`(log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)))))`	sensitivity	127	5
`-.f64`	`#f`	nan-rescue	102	0
`/.f64`	`#f`	n/o	93	0
`*.f64`	`#f`	*nu**	60	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	59	0
↳	`(.f64 (.f64 i i) (*.f64 i i))`	underflow	92
↳	`(*.f64 i i)`	underflow	118
↳	`(.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))`	underflow	59
`+.f64`	`#f`	nan-rescue	52	0
`*.f64`	`#f`	*no**	40	0
`/.f64`	`#f`	u/n	38	0
`/.f64`	`#f`	n/u	9	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**	3	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	3
↳	`(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	3
↳	`(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	3
`log.f32`	`#f`	oflow-rescue	2	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	1	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	1
↳	`(*.f64 x.re x.re)`	overflow	59
↳	`(+.f64 (.f64 x.re x.re) (.f64 x.im x.im))`	overflow	103
↳	`(.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)`	overflow	1
↳	`(*.f64 x.im x.im)`	overflow	66
`exp.f64`	`(exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))`	sensitivity	1	0
`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	1	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	1
↳	`(*.f64 x.re x.re)`	overflow	59
↳	`(+.f64 (.f64 x.re x.re) (.f64 x.im x.im))`	overflow	103
↳	`(.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)`	overflow	1
↳	`(*.f64 x.im x.im)`	overflow	66

Confusion

	Predicted +	Predicted -
+	3599	46
-	197	10750

Precision

0.9481032665964173

Recall

0.9873799725651577

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3599	6	40
-	197	5	10745

Precision?

0.9469398476490675

Recall?

0.9890260631001372

Freqs

test

number	freq
0	10796
1	3240
2	554
3	2

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	37	0	0
-	0	0	20

Precision?

1.0

Recall?

1.0

Samples

3.1s	25 726×	0	valid
1.0s	2 500×	1	valid
926.0ms	906×	2	valid
21.0ms	52×	3	valid

Compiler

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

Precisions

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

ival-mult: 1.2s (31.7% of total)

ival-div: 499.0ms (13.6% of total)

ival-add: 341.0ms (9.3% of total)

adjust: 282.0ms (7.7% of total)

ival-exp: 221.0ms (6% of total)

ival-hypot: 212.0ms (5.8% of total)

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

const: 185.0ms (5% of total)

ival-sub: 119.0ms (3.2% of total)

ival-asin: 86.0ms (2.3% of total)

ival-sin: 72.0ms (2% of total)

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

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

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

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

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

exact: 20.0ms (0.5% of total)

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

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

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

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

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

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

series10.6s (0.7%)

Memory

387.1MiB live, 14 604.0MiB allocated

Counts

2 483 → 45 768

Calls

8559 calls:

Time	Variable		Point	Expression
372.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)))
145.0ms	x.im	@	0	(* (cos (* y.re (atan2 x.im x.re))) (pow (neg x.im) y.re))
131.0ms	y.im	@	inf	(/ (* (sin (+ (* (* 1/2 (log (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (pow (+ (* x.re x.re) (* x.im x.im)) (* 1/2 y.re))) (exp (* y.im (atan2 x.im x.re))))
128.0ms	x	@	0	(+ (* (+ (* (/ (+ 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)))) (+ 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)) (neg (* (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) (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)))))
121.0ms	base	@	0	(/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0)))

bsearch4.0s (0.2%)

Memory

-144.7MiB live, 5 646.6MiB allocated

Algorithm

283×	left-value
202×	binary-search

Stop Event

192×	narrow-enough
10×	predicate-same

Samples

1.8s	14 463×	0	valid
644.0ms	1 693×	1	valid
58.0ms	72×	3	valid
48.0ms	204×	2	valid

Compiler

Compiled 51 996 to 33 713 computations (35.2% saved)

Precisions

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

ival-mult: 533.0ms (29.4% of total)

ival-hypot: 213.0ms (11.7% of total)

ival-add: 180.0ms (9.9% of total)

ival-log: 142.0ms (7.8% of total)

ival-sub: 135.0ms (7.4% of total)

adjust: 122.0ms (6.7% of total)

const: 108.0ms (6% of total)

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

ival-sin: 73.0ms (4% of total)

ival-cos: 63.0ms (3.5% of total)

ival-atan2: 56.0ms (3.1% of total)

ival-div: 51.0ms (2.8% of total)

ival-sqrt: 35.0ms (1.9% of total)

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

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

exact: 5.0ms (0.3% of total)

analyze2.5s (0.2%)

Memory

61.1MiB live, 3 474.3MiB 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)

end0.0ms (0%)

Memory: 1.0MiB live, 1.0MiB allocated

soundness7.4min (27.7%)

prune6.3min (23.5%)

rewrite5.4min (20%)

simplify3.1min (11.6%)

sample1.9min (6.9%)

eval1.3min (4.8%)

localize25.1s (1.6%)

preprocess19.3s (1.2%)

regimes14.4s (0.9%)

explain13.7s (0.9%)

series10.6s (0.7%)

bsearch4.0s (0.2%)

analyze2.5s (0.2%)

end0.0ms (0%)

Profiling