Metrics for Herbie run

Date:	Sunday, March 23rd, 2025
Commit:	d4169ed9 on autofix-21-1
Seed:	2025082
Parameters:	256 points for 4 iterations
Flags:	`reduce:regimesreduce:binary-searchreduce:branch-expressionsreduce:simplifysetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default
Memory:	253 380.4 MB

sample1.1min (31.6%)

Memory

1 976.9MiB live, 81 879.5MiB allocated; 23.9s collecting garbage

Samples

34.2s	433 804×	0	valid
6.0s	21 477×	1	valid
2.6s	6 125×	2	valid
1.1s	4 399×	0	invalid
575.0ms	8 236×	0	exit
456.0ms	276×	5	exit
370.0ms	939×	3	valid

Precisions

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

ival-mult!: 8.4s (28.5% of total)

ival-exp: 3.4s (11.5% of total)

ival-add!: 2.4s (8.2% of total)

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

ival-div!: 2.0s (6.7% of total)

ival-log: 1.9s (6.4% of total)

ival-atan2: 1.4s (4.9% of total)

adjust: 1.3s (4.4% of total)

ival-cos: 1.2s (4.1% of total)

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

ival-sub!: 799.0ms (2.7% of total)

ival-asinh: 476.0ms (1.6% of total)

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

ival-fabs: 344.0ms (1.2% of total)

ival-sinu: 338.0ms (1.2% of total)

ival-pow: 332.0ms (1.1% of total)

ival-asin: 326.0ms (1.1% of total)

ival-acosh: 300.0ms (1% of total)

ival-neg: 258.0ms (0.9% of total)

ival-cosu: 227.0ms (0.8% of total)

ival-atanh: 195.0ms (0.7% of total)

const: 1.0ms (0% of total)

Bogosity

rewrite40.2s (19.4%)

Memory

1 220.9MiB live, 45 255.7MiB allocated; 11.5s collecting garbage

Stop Event

444×	iter limit
170×	node limit
14×	unsound
4×	saturated

Counts

31 857 → 63 804

eval18.5s (9%)

Memory: -711.3MiB live, 23 983.3MiB allocated; 8.6s collecting garbage
Compiler: Compiled 6 440 925 to 392 461 computations (93.9% saved)

explain14.3s (6.9%)

Memory

-548.0MiB live, 17 202.6MiB allocated; 5.6s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	1237	0
`/.f64`	`#f`	o/o	647	0
`-.f64`	`#f`	cancellation	476	1
`sqrt.f32`	`#f`	oflow-rescue	205	0
`/.f64`	`#f`	o/n	189	0
`sin.f64`	`#f`	sensitivity	180	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	179	0
`+.f64`	`#f`	cancellation	134	0
`log.f64`	`(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))`	sensitivity	124	1
`sqrt.f64`	`#f`	uflow-rescue	121	0
`log.f32`	`(log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)))))`	sensitivity	119	1
`-.f64`	`#f`	nan-rescue	98	0
`/.f64`	`#f`	n/o	92	0
`/.f64`	`#f`	u/u	71	0
`*.f64`	`#f`	*nu**	65	0
`+.f64`	`#f`	nan-rescue	58	0
`*.f64`	`#f`	*no**	35	0
`/.f64`	`#f`	u/n	33	0
`/.f64`	`#f`	n/u	21	0
`exp.f64`	`#f`	sensitivity	5	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)))`	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 (atan2.f64 x.im x.re) y.re)`	overflow	1
↳	`(*.f64 x.re x.re)`	overflow	67
↳	`(+.f64 (.f64 x.re x.re) (.f64 x.im x.im))`	overflow	112
↳	`(.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	59
`log.f32`	`(log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)))))`	oflow-rescue	2	0
↳	`(+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32))))`	overflow	2
↳	`(+.f32 (*.f32 x x) #s(literal 1 binary32))`	overflow	61
↳	`(*.f32 x x)`	overflow	61
`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 (atan2.f64 x.im x.re) y.re)`	overflow	1
↳	`(*.f64 x.re x.re)`	overflow	67
↳	`(+.f64 (.f64 x.re x.re) (.f64 x.im x.im))`	overflow	112
↳	`(.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	59
`log.f64`	`(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))))`	oflow-rescue	1	0
↳	`(+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64))))`	overflow	1
↳	`(-.f64 (*.f64 x x) #s(literal 1 binary64))`	overflow	129
↳	`(*.f64 x x)`	overflow	129
`*.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**	1	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	1
↳	`(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	1
↳	`(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	1

Confusion

	Predicted +	Predicted -
+	3353	27
-	195	10761

Precision

0.9450394588500564

Recall

0.9920118343195267

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3353	1	26
-	195	5	10756

Precision?

0.943725379853686

Recall?

0.9923076923076923

Freqs

test

number	freq
0	10788
1	3001
2	545
3	2

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	34	0	0
-	2	0	20

Precision?

0.9444444444444444

Recall?

1.0

Samples

2.4s	25 610×	0	valid
1.1s	2 290×	1	valid
406.0ms	698×	2	valid
23.0ms	70×	3	valid
2.0ms	4×	5	exit

Compiler

Compiled 13 441 to 2 246 computations (83.3% saved)

Precisions

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

ival-mult!: 772.0ms (29% of total)

ival-exp: 421.0ms (15.8% of total)

adjust: 263.0ms (9.9% of total)

ival-log: 257.0ms (9.7% of total)

ival-hypot: 230.0ms (8.7% of total)

ival-div!: 178.0ms (6.7% of total)

ival-add!: 172.0ms (6.5% of total)

ival-cos: 71.0ms (2.7% of total)

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

ival-atan2: 57.0ms (2.1% of total)

ival-sub!: 51.0ms (1.9% of total)

ival-sqrt: 33.0ms (1.2% of total)

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

ival-fabs: 19.0ms (0.7% of total)

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

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

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

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

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

const: 0.0ms (0% of total)

preprocess13.6s (6.6%)

Memory

976.9MiB live, 16 061.6MiB allocated; 3.0s collecting garbage

Stop Event

112×	iter limit
70×	node limit
42×	saturated

Compiler

Compiled 127 397 to 39 398 computations (69.1% saved)

derivations13.3s (6.5%)

Memory

-244.7MiB live, 13 064.2MiB allocated; 3.4s collecting garbage

Stop Event

35×	fuel
21×	done

Compiler

Compiled 32 252 to 4 330 computations (86.6% saved)

series12.0s (5.8%)

Memory

-262.6MiB live, 16 814.5MiB allocated; 3.0s collecting garbage

Counts

5 283 → 26 574

Calls

1170 calls:

Time	Variable		Expression
112.0ms	y.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)))) (exp (- (* (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) (* (atan2 x.im x.re) y.im)) (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (+ (* x.re x.re) (* x.im x.im))) (+ (* x.re x.re) (* x.im x.im)) (* x.re x.re) x.re (* x.im x.im) x.im y.re (* (atan2 x.im x.re) y.im) (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.im) (* (atan2 x.im x.re) y.re)) (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))
112.0ms	x.im	@	((/ (+ (* x.re y.re) (* x.im y.im)) (+ (* y.re y.re) (* y.im y.im))) (+ (* x.re y.re) (* x.im y.im)) (* x.re y.re) x.re y.re (* x.im y.im) x.im y.im (+ (* y.re y.re) (* y.im y.im)) (* y.re y.re) (* y.im y.im))
111.0ms	re	@	((* (/ (neg (atan2 im re)) (* (log 10) (log 1/10))) (log 10)) (/ (neg (atan2 im re)) (* (log 10) (log 1/10))) (neg (atan2 im re)) (atan2 im re) im re (* (log 10) (log 1/10)) (log 10) 10 (log 1/10) 1/10 (/ (atan2 im re) (neg (log 1/10))) (neg (log 1/10)))
109.0ms	base	@	((/ (+ (* (* (pow (log base) 3) (log (sqrt (+ (* im im) (* re re))))) (pow (log base) 4)) (* (pow (log base) 4) 0)) (* (pow (log base) 4) (pow (log base) 4))) (+ (* (* (pow (log base) 3) (log (sqrt (+ (* im im) (* re re))))) (pow (log base) 4)) (* (pow (log base) 4) 0)) (* (pow (log base) 3) (log (sqrt (+ (* im im) (* re re))))) (pow (log base) 3) (log base) base 3 (log (sqrt (+ (* im im) (* re re)))) (sqrt (+ (* im im) (* re re))) im re (pow (log base) 4) 4 (* (pow (log base) 4) 0) 0 (* (pow (log base) 4) (pow (log base) 4)) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (/ (* 1/2 (log (+ (* im im) (* re re)))) (log base)) (* 1/2 (log (+ (* im im) (* re re)))) 1/2 (log (+ (* im im) (* re re))) (+ (* im im) (* re re)) (* re re) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (* (log im) (log base)) (log im) (+ (* (log base) (log base)) (* 0 0)) (* (log base) (log base)) (* 0 0) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (exp (* (log (neg (log base))) 2))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (log (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) (* im im) (* (atan2 im re) 0) (atan2 im re) (exp (* (log (neg (log base))) 2)) (* (log (neg (log base))) 2) (log (neg (log base))) (neg (log base)) 2 (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (/ (+ (pow (log base) 6) 0) (+ (pow (log base) 4) 0))) (/ (+ (pow (log base) 6) 0) (+ (pow (log base) 4) 0)) (+ (pow (log base) 6) 0) (pow (log base) 6) 6 (+ (pow (log base) 4) 0))
93.0ms	x	@	((- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (+ (* (/ -1 (* (+ (* x 3275911/10000000) 1) (neg (+ (* x 3275911/10000000) 1)))) (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000)) (/ 8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1))))) (exp (neg (* (fabs x) (fabs x)))))) 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (+ (* (/ -1 (* (+ (* x 3275911/10000000) 1) (neg (+ (* x 3275911/10000000) 1)))) (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000)) (/ 8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1))))) (exp (neg (* (fabs x) (fabs x))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (+ (* (/ -1 (* (+ (* x 3275911/10000000) 1) (neg (+ (* x 3275911/10000000) 1)))) (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000)) (/ 8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1))))) (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 1 (* 3275911/10000000 (fabs x))) (* 3275911/10000000 (fabs x)) 3275911/10000000 (fabs x) x (+ 31853699/125000000 (+ (* (/ -1 (* (+ (* x 3275911/10000000) 1) (neg (+ (* x 3275911/10000000) 1)))) (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000)) (/ 8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1)))) 31853699/125000000 (+ (* (/ -1 (* (+ (* x 3275911/10000000) 1) (neg (+ (* x 3275911/10000000) 1)))) (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000)) (/ 8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1))) (/ -1 (* (+ (* x 3275911/10000000) 1) (neg (+ (* x 3275911/10000000) 1)))) -1 (* (+ (* x 3275911/10000000) 1) (neg (+ (* x 3275911/10000000) 1))) (+ (* x 3275911/10000000) 1) (neg (+ (* x 3275911/10000000) 1)) (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1) 1453152027/1000000000 -1421413741/1000000000 (/ 8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1)) 8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1) -3275911/10000000 (exp (neg (* (fabs x) (fabs x)))) (neg (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (+ (* (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 1) (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000 (exp (* (neg x) x)) (+ (* (/ (+ (/ (+ -8890523/31250000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* x 3275911/10000000) 1)) 1453152027/1000000000) (+ (* x 3275911/10000000) 1)) -1421413741/1000000000) (+ (* x 3275911/10000000) 1))) (+ (* x 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 x) -1)) (exp (* (neg x) x))) 1) (/ (+ (/ (+ -8890523/31250000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* x 3275911/10000000) 1)) 1453152027/1000000000) (+ (* x 3275911/10000000) 1)) -1421413741/1000000000) (+ (* x 3275911/10000000) 1))) (+ (* x 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 x) -1)) (+ (/ (+ -8890523/31250000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* x 3275911/10000000) 1)) 1453152027/1000000000) (+ (* x 3275911/10000000) 1)) -1421413741/1000000000) (+ (* x 3275911/10000000) 1))) (+ (* x 3275911/10000000) 1)) 31853699/125000000) (/ (+ -8890523/31250000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* x 3275911/10000000) 1)) 1453152027/1000000000) (+ (* x 3275911/10000000) 1)) -1421413741/1000000000) (+ (* x 3275911/10000000) 1))) (+ (* x 3275911/10000000) 1)) (+ -8890523/31250000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* x 3275911/10000000) 1)) 1453152027/1000000000) (+ (* x 3275911/10000000) 1)) -1421413741/1000000000) (+ (* x 3275911/10000000) 1))) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* x 3275911/10000000) 1)) 1453152027/1000000000) (+ (* x 3275911/10000000) 1)) -1421413741/1000000000) (+ (* x 3275911/10000000) 1)) (- (/ (- (/ 1061405429/1000000000 (+ (* x 3275911/10000000) 1)) 1453152027/1000000000) (+ (* x 3275911/10000000) 1)) -1421413741/1000000000) (/ (- (/ 1061405429/1000000000 (+ (* x 3275911/10000000) 1)) 1453152027/1000000000) (+ (* x 3275911/10000000) 1)) (- (/ 1061405429/1000000000 (+ (* x 3275911/10000000) 1)) 1453152027/1000000000) (/ 1061405429/1000000000 (+ (* x 3275911/10000000) 1)) (+ (* -3275911/10000000 x) -1) (exp (* (neg x) x)) (* (neg x) x) (neg x) (- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (/ (- (* -1421413741/1000000000 (+ (* x 3275911/10000000) 1)) (* (neg (+ (* x 3275911/10000000) 1)) (* (/ -1 (+ (* x 3275911/10000000) 1)) (- (/ 1061405429/1000000000 (+ (* x 3275911/10000000) 1)) 1453152027/1000000000)))) (* (neg (+ (* x 3275911/10000000) 1)) (+ (* x 3275911/10000000) 1))))))) (exp (neg (* (fabs x) (fabs x)))))) (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (/ (- (* -1421413741/1000000000 (+ (* x 3275911/10000000) 1)) (* (neg (+ (* x 3275911/10000000) 1)) (* (/ -1 (+ (* x 3275911/10000000) 1)) (- (/ 1061405429/1000000000 (+ (* x 3275911/10000000) 1)) 1453152027/1000000000)))) (* (neg (+ (* x 3275911/10000000) 1)) (+ (* x 3275911/10000000) 1))))))) (exp (neg (* (fabs x) (fabs x))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (/ (- (* -1421413741/1000000000 (+ (* x 3275911/10000000) 1)) (* (neg (+ (* x 3275911/10000000) 1)) (* (/ -1 (+ (* x 3275911/10000000) 1)) (- (/ 1061405429/1000000000 (+ (* x 3275911/10000000) 1)) 1453152027/1000000000)))) (* (neg (+ (* x 3275911/10000000) 1)) (+ (* x 3275911/10000000) 1))))))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (/ (- (* -1421413741/1000000000 (+ (* x 3275911/10000000) 1)) (* (neg (+ (* x 3275911/10000000) 1)) (* (/ -1 (+ (* x 3275911/10000000) 1)) (- (/ 1061405429/1000000000 (+ (* x 3275911/10000000) 1)) 1453152027/1000000000)))) (* (neg (+ (* x 3275911/10000000) 1)) (+ (* x 3275911/10000000) 1)))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (/ (- (* -1421413741/1000000000 (+ (* x 3275911/10000000) 1)) (* (neg (+ (* x 3275911/10000000) 1)) (* (/ -1 (+ (* x 3275911/10000000) 1)) (- (/ 1061405429/1000000000 (+ (* x 3275911/10000000) 1)) 1453152027/1000000000)))) (* (neg (+ (* x 3275911/10000000) 1)) (+ (* x 3275911/10000000) 1))))) (+ -8890523/31250000 (/ (- (* -1421413741/1000000000 (+ (* x 3275911/10000000) 1)) (* (neg (+ (* x 3275911/10000000) 1)) (* (/ -1 (+ (* x 3275911/10000000) 1)) (- (/ 1061405429/1000000000 (+ (* x 3275911/10000000) 1)) 1453152027/1000000000)))) (* (neg (+ (* x 3275911/10000000) 1)) (+ (* x 3275911/10000000) 1)))) (/ (- (* -1421413741/1000000000 (+ (* x 3275911/10000000) 1)) (* (neg (+ (* x 3275911/10000000) 1)) (* (/ -1 (+ (* x 3275911/10000000) 1)) (- (/ 1061405429/1000000000 (+ (* x 3275911/10000000) 1)) 1453152027/1000000000)))) (* (neg (+ (* x 3275911/10000000) 1)) (+ (* x 3275911/10000000) 1))) (- (* -1421413741/1000000000 (+ (* x 3275911/10000000) 1)) (* (neg (+ (* x 3275911/10000000) 1)) (* (/ -1 (+ (* x 3275911/10000000) 1)) (- (/ 1061405429/1000000000 (+ (* x 3275911/10000000) 1)) 1453152027/1000000000)))) (* -1421413741/1000000000 (+ (* x 3275911/10000000) 1)) (* (neg (+ (* x 3275911/10000000) 1)) (* (/ -1 (+ (* x 3275911/10000000) 1)) (- (/ 1061405429/1000000000 (+ (* x 3275911/10000000) 1)) 1453152027/1000000000))) (* (/ -1 (+ (* x 3275911/10000000) 1)) (- (/ 1061405429/1000000000 (+ (* x 3275911/10000000) 1)) 1453152027/1000000000)) (/ -1 (+ (* x 3275911/10000000) 1)) (* (neg (+ (* x 3275911/10000000) 1)) (+ (* x 3275911/10000000) 1)) (/ (- 1 (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 3)) (+ (* (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) (+ (* (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1)) (exp (* (neg x) x))) 1)) 1)) (- 1 (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 3)) (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 3) (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x)) (pow (exp x) x) (exp x) 3 (+ (* (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) (+ (* (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1)) (exp (* (neg x) x))) 1)) 1) (+ (* (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1)) (exp (* (neg x) x))) 1) (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1)))

regimes10.0s (4.8%)

Memory

-21.5MiB live, 15 947.8MiB allocated; 2.5s collecting garbage

Counts

7 926 → 851

Calls

126 calls:

654.0ms	im
605.0ms	re
460.0ms	y.im
410.0ms	y.re
336.0ms	x.im

Compiler

Compiled 13 494 to 9 740 computations (27.8% saved)

prune7.9s (3.8%)

Memory: 127.8MiB live, 11 201.7MiB allocated; 3.9s collecting garbage
Counts: 84 897 → 2 644
Compiler: Compiled 273 524 to 119 467 computations (56.3% saved)

analyze4.6s (2.2%)

Memory

-373.7MiB live, 3 685.5MiB allocated; 4.0s collecting garbage

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)

bsearch4.0s (1.9%)

Memory

92.2MiB live, 5 298.8MiB allocated; 981ms collecting garbage

Algorithm

242×	binary-search
194×	left-value

Stop Event

225×	narrow-enough
17×	predicate-same

Samples

1.6s	16 584×	0	valid
707.0ms	1 792×	1	valid
41.0ms	158×	2	valid
14.0ms	58×	3	valid

Compiler

Compiled 144 027 to 83 061 computations (42.3% saved)

Precisions

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

ival-mult!: 505.0ms (29.8% of total)

ival-hypot: 233.0ms (13.8% of total)

ival-exp: 174.0ms (10.3% of total)

adjust: 167.0ms (9.9% of total)

ival-log: 153.0ms (9% of total)

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

ival-add!: 106.0ms (6.3% of total)

ival-atan2: 68.0ms (4% of total)

ival-cos: 55.0ms (3.2% of total)

ival-div!: 41.0ms (2.4% of total)

ival-sub!: 37.0ms (2.2% of total)

ival-sqrt: 11.0ms (0.6% of total)

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

ival-fabs: 7.0ms (0.4% of total)

ival-pow: 1.0ms (0.1% of total)

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

const: 0.0ms (0% of total)

simplify2.7s (1.3%)

Memory

-165.5MiB live, 2 977.4MiB allocated; 395ms collecting garbage

Stop Event

36×	node limit
20×	saturated

start3.0ms (0%)

Memory: 6.7MiB live, 6.6MiB allocated; 0ms collecting garbage

end0.0ms (0%)

Memory: 1.1MiB live, 1.1MiB allocated; 0ms collecting garbage

sample1.1min (31.6%)

rewrite40.2s (19.4%)

eval18.5s (9%)

explain14.3s (6.9%)

preprocess13.6s (6.6%)

derivations13.3s (6.5%)

series12.0s (5.8%)

regimes10.0s (4.8%)

prune7.9s (3.8%)

analyze4.6s (2.2%)

bsearch4.0s (1.9%)

simplify2.7s (1.3%)

start3.0ms (0%)

end0.0ms (0%)

Profiling