Metrics for Herbie run

Date:	Thursday, July 25th, 2024
Commit:	3139208f on main
Hostname:	nightly with Racket 8.11.1
Seed:	2024207
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

rewrite4.3min (21%)

Memory

1 130.7MiB live, 114 459.1MiB allocated

Algorithm

188×	batch-egg-rewrite

Rules

992 700×	`lower-fma.f32`
991 944×	`lower-fma.f64`
734 430×	`lower-*.f32`
732 424×	`lower-*.f64`
578 094×	`lower-/.f32`

Stop Event

395×	iter limit
178×	node limit
8×	saturated
4×	unsound

Counts

2 340 → 126 415

soundness3.9min (19.1%)

Memory

-71.1MiB live, 37 814.1MiB allocated

Rules

2 004 248×	`lower-fma.f32`
2 003 918×	`lower-fma.f64`
930 586×	`lower-*.f32`
929 536×	`lower-*.f64`
554 784×	`lower-+.f32`

Stop Event

322×	iter limit
206×	node limit
32×	fuel
22×	done
2×	unsound
1×	saturated

Compiler

Compiled 29 449 to 13 726 computations (53.4% saved)

eval2.9min (14.3%)

Memory: 860.1MiB live, 68 620.1MiB allocated
Compiler: Compiled 12 316 937 to 486 031 computations (96.1% saved)

sample2.7min (13.1%)

Memory

1 036.1MiB live, 139 976.8MiB allocated

Samples

1.5min	438 662×	0	valid
22.1s	3 900×	5	exit
6.9s	22 282×	1	valid
3.5s	8 243×	2	valid
941.0ms	8 089×	0	exit
631.0ms	1 264×	3	valid
88.0ms	146×	4	valid
43.0ms	530×	0	invalid

Precisions

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

ival-mult: 42.7s (45.3% of total)

ival-sin: 19.8s (21% of total)

ival-add: 4.8s (5.1% of total)

const: 3.9s (4.1% of total)

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

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

ival-hypot: 2.6s (2.7% of total)

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

ival-sub: 2.2s (2.4% of total)

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

adjust: 1.2s (1.3% of total)

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

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

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

ival-asinh: 522.0ms (0.6% of total)

ival-pi: 435.0ms (0.5% of total)

exact: 374.0ms (0.4% of total)

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

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

ival->: 311.0ms (0.3% of total)

ival-true: 283.0ms (0.3% of total)

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

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

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

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

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

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

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

Bogosity

simplify2.4min (11.6%)

Memory

-41.3MiB live, 170 641.0MiB allocated

Algorithm

428×	egg-herbie

Rules

3 441 454×	`lower-fma.f32`
3 440 682×	`lower-fma.f64`
1 238 160×	`lower-*.f32`
1 236 004×	`lower-*.f64`
826 330×	`lower-+.f32`

Stop Event

559×	iter limit
257×	node limit
174×	saturated

Counts

43 356 → 42 710

localize2.0min (9.9%)

Memory

-441.3MiB live, 39 969.8MiB allocated

Samples

9.3s	39 472×	0	valid
4.6s	3 869×	0	invalid
2.5s	2 930×	1	valid
2.4s	1 483×	2	valid
619.0ms	314×	3	valid
184.0ms	38×	5	exit
19.0ms	22×	4	valid

Compiler

Compiled 45 751 to 4 937 computations (89.2% saved)

Precisions

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

ival-mult: 6.9s (47.2% of total)

ival-add: 1.6s (10.7% of total)

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

const: 784.0ms (5.4% of total)

ival-log: 660.0ms (4.5% of total)

adjust: 649.0ms (4.4% of total)

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

ival-pow: 312.0ms (2.1% of total)

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

ival-sub: 271.0ms (1.9% of total)

ival-exp: 230.0ms (1.6% of total)

ival-sin: 165.0ms (1.1% of total)

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

ival-atan2: 148.0ms (1% of total)

ival-hypot: 137.0ms (0.9% of total)

ival-fabs: 127.0ms (0.9% of total)

ival-cos: 118.0ms (0.8% of total)

ival-neg: 107.0ms (0.7% of total)

exact: 69.0ms (0.5% of total)

ival-copysign: 67.0ms (0.5% of total)

ival-pow2: 65.0ms (0.4% of total)

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

ival-true: 41.0ms (0.3% of total)

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

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

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

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

prune1.1min (5.3%)

Memory: -893.7MiB live, 53 908.3MiB allocated
Counts: 206 857 → 3 054
Compiler: Compiled 150 720 to 65 795 computations (56.3% saved)

preprocess18.9s (1.5%)

Memory

337.9MiB live, 22 042.4MiB 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 32 854 to 9 776 computations (70.2% saved)

regimes14.7s (1.2%)

Memory

-201.2MiB live, 20 512.5MiB allocated

Counts

8 967 → 877

Calls

122 calls:

1.3s	im
761.0ms	re
612.0ms	(sin.f64 re)
598.0ms	(*.f64 #s(literal 1/2 binary64) (sin.f64 re))
507.0ms	y.re

Compiler

Compiled 15 766 to 9 195 computations (41.7% saved)

explain14.3s (1.2%)

Memory

-239.8MiB live, 22 500.1MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	1169	0
`-.f64`	`#f`	cancellation	769	0
`/.f64`	`#f`	o/o	631	0
`sqrt.f32`	`#f`	oflow-rescue	189	0
`sin.f64`	`#f`	sensitivity	187	1
`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	185	1
`/.f64`	`#f`	o/n	181	0
`+.f64`	`#f`	cancellation	155	0
`sqrt.f64`	`#f`	uflow-rescue	136	0
`log.f64`	`(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))`	sensitivity	134	0
`log.f32`	`(log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)))))`	sensitivity	115	0
`/.f64`	`#f`	n/o	83	0
`/.f64`	`#f`	u/u	72	0
`*.f64`	`#f`	*nu**	60	0
`-.f64`	`#f`	nan-rescue	48	0
`+.f64`	`#f`	nan-rescue	41	0
`*.f64`	`#f`	*no**	33	0
`/.f64`	`(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))`	u/n	31	0
↳	`(.f64 (.f64 i i) (*.f64 i i))`	underflow	92
↳	`(*.f64 i i)`	underflow	122
`/.f64`	`#f`	n/u	6	0
`pow.f64`	`(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)))`	sensitivity	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	2	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	2
↳	`(*.f64 x.re x.re)`	overflow	72
↳	`(+.f64 (.f64 x.re x.re) (.f64 x.im x.im))`	overflow	119
↳	`(.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)`	overflow	2
↳	`(*.f64 x.im x.im)`	overflow	63
`exp.f64`	`#f`	sensitivity	2	1
`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	2	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	2
↳	`(*.f64 x.re x.re)`	overflow	72
↳	`(+.f64 (.f64 x.re x.re) (.f64 x.im x.im))`	overflow	119
↳	`(.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)`	overflow	2
↳	`(*.f64 x.im x.im)`	overflow	63

Confusion

	Predicted +	Predicted -
+	3493	31
-	177	10891

Precision

0.9517711171662125

Recall

0.9912031782065834

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3493	0	31
-	177	2	10889

Precision?

0.9512527233115469

Recall?

0.9912031782065834

Freqs

test

number	freq
0	10922
1	3113
2	551
3	6

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

3.2s	25 826×	0	valid
1.3s	2 408×	1	valid
494.0ms	812×	2	valid
80.0ms	126×	3	valid
4.0ms	6×	4	valid
3.0ms	6×	5	exit

Compiler

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

Precisions

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

ival-mult: 848.0ms (26.8% of total)

ival-add: 439.0ms (13.9% of total)

ival-div: 306.0ms (9.7% of total)

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

ival-exp: 204.0ms (6.5% of total)

const: 196.0ms (6.2% of total)

adjust: 181.0ms (5.7% of total)

ival-hypot: 141.0ms (4.5% of total)

ival-sub: 116.0ms (3.7% of total)

ival-atan2: 75.0ms (2.4% of total)

ival-asin: 70.0ms (2.2% of total)

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

ival-cos: 67.0ms (2.1% of total)

ival-sqrt: 49.0ms (1.5% of total)

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

exact: 22.0ms (0.7% of total)

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

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

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

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

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

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

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

series13.9s (1.1%)

Memory

94.2MiB live, 17 331.9MiB allocated

Counts

2 386 → 43 812

Calls

8256 calls:

Time	Variable		Point	Expression
3.2s	x	@	0	(/ (- (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) (pow (/ (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)) 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)))) (+ 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))))
556.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)))
539.0ms	x	@	0	(- (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) (pow (/ (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)) 2))
241.0ms	beta	@	-inf	(* (/ (/ (* i (+ i (+ alpha beta))) (+ (* i 2) (+ alpha beta))) (+ (+ (* i 2) (+ alpha beta)) 1)) (/ (+ alpha i) beta))
196.0ms	x.im	@	0	(* (exp (- (* (log x.im) y.re) (* y.im (atan2 x.im x.re)))) (sin (+ (* y.im (log x.im)) (* y.re (atan2 x.im x.re)))))

bsearch5.3s (0.4%)

Memory

0.4MiB live, 7 889.4MiB allocated

Algorithm

232×	left-value
206×	binary-search

Stop Event

198×	narrow-enough
8×	predicate-same

Samples

2.5s	22 510×	0	valid
917.0ms	2 326×	1	valid
59.0ms	258×	2	valid
33.0ms	58×	3	valid

Compiler

Compiled 48 993 to 32 676 computations (33.3% saved)

Precisions

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

ival-mult: 885.0ms (33.2% of total)

ival-add: 297.0ms (11.2% of total)

ival-hypot: 287.0ms (10.8% of total)

ival-log: 192.0ms (7.2% of total)

ival-exp: 173.0ms (6.5% of total)

ival-sub: 169.0ms (6.3% of total)

ival-sin: 133.0ms (5% of total)

ival-div: 115.0ms (4.3% of total)

const: 92.0ms (3.5% of total)

ival-atan2: 88.0ms (3.3% of total)

ival-cos: 76.0ms (2.9% of total)

adjust: 74.0ms (2.8% of total)

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

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

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

exact: 8.0ms (0.3% of total)

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

analyze2.6s (0.2%)

Memory

-19.6MiB live, 3 357.4MiB 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: 0.9MiB live, 0.9MiB allocated

rewrite4.3min (21%)

soundness3.9min (19.1%)

eval2.9min (14.3%)

sample2.7min (13.1%)

simplify2.4min (11.6%)

localize2.0min (9.9%)

prune1.1min (5.3%)

preprocess18.9s (1.5%)

regimes14.7s (1.2%)

explain14.3s (1.2%)

series13.9s (1.1%)

bsearch5.3s (0.4%)

analyze2.6s (0.2%)

end0.0ms (0%)

Profiling