Metrics for Herbie run

Date:	Sunday, March 30th, 2025
Commit:	2100b191 on main
Seed:	2025089
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:	269 569.0 MB

sample1.1min (33.8%)

Memory

855.2MiB live, 87 392.1MiB allocated; 24.3s collecting garbage

Samples

35.3s	433 828×	0	valid
5.5s	21 628×	1	valid
3.1s	5 964×	2	valid
1.0s	4 351×	0	invalid
562.0ms	8 078×	0	exit
539.0ms	406×	5	exit
341.0ms	929×	3	valid

Precisions

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

ival-mult!: 9.4s (30.5% of total)

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

ival-add!: 2.9s (9.3% of total)

ival-div!: 2.3s (7.3% of total)

ival-hypot: 2.1s (6.7% of total)

ival-log: 1.6s (5.3% of total)

adjust: 1.4s (4.5% of total)

ival-sub!: 1.3s (4% of total)

ival-sin: 1.2s (3.9% of total)

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

ival-atan2: 710.0ms (2.3% of total)

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

ival-fabs: 438.0ms (1.4% of total)

ival-sqrt: 408.0ms (1.3% of total)

ival-asin: 406.0ms (1.3% of total)

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

ival-neg: 303.0ms (1% of total)

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

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

ival-atanh: 241.0ms (0.8% of total)

ival-cosu: 103.0ms (0.3% of total)

const: 1.0ms (0% of total)

ival-pi: 0.0ms (0% of total)

Bogosity

rewrite40.3s (20.4%)

Memory

783.2MiB live, 50 481.3MiB allocated; 11.3s collecting garbage

Stop Event

453×	iter-limit
174×	node-limit
16×	unsound
4×	saturated

Counts

31 406 → 63 737

eval16.0s (8.1%)

Memory: -146.6MiB live, 24 535.6MiB allocated; 6.6s collecting garbage
Compiler: Compiled 5 112 334 to 358 134 computations (93% saved)

preprocess13.5s (6.8%)

Memory

828.0MiB live, 17 330.1MiB allocated; 3.4s collecting garbage

Stop Event

112×	iter-limit
70×	node-limit
42×	saturated

Compiler

Compiled 133 995 to 41 126 computations (69.3% saved)

derivations13.0s (6.6%)

Memory

-458.2MiB live, 13 165.4MiB allocated; 2.3s collecting garbage

Stop Event

33×	fuel
23×	done

Compiler

Compiled 34 140 to 4 259 computations (87.5% saved)

series12.4s (6.3%)

Memory

342.6MiB live, 18 952.0MiB allocated; 3.7s collecting garbage

Counts

5 246 → 26 160

Calls

1191 calls:

Time	Variable		Point	Expression
430.0ms	x	@	inf	((log (/ x (log x))) (/ x (log x)) x (log x))
154.0ms	x.re	@	-inf	((* (exp (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (neg (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)))) (exp (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (neg (atan2 x.im x.re)) y.im))) (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (neg (atan2 x.im x.re)) y.im)) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (+ (* x.re x.re) (* x.im x.im))) x.re x.im y.re (* (neg (atan2 x.im x.re)) y.im) (neg (atan2 x.im x.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))) (+ (* (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) (* (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 (* y.re (atan2 x.im x.re))) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re)) (sin (* y.re (atan2 x.im 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))) (sin (+ (* (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))) (* -1 x.im) -1 (* (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))) (+ (* (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) (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.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)))) (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) (sin (+ (* (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)) (+ (* 1/2 (/ (* (* x.re x.re) y.im) (* x.im x.im))) (+ (* y.im (log x.im)) (* y.re (atan2 x.im x.re)))) 1/2 (/ (* (* x.re x.re) y.im) (* x.im x.im)) (* (* x.re x.re) y.im) (+ (* y.im (log x.im)) (* y.re (atan2 x.im x.re))) (log 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)))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (+ (sin (log (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.im))) (* y.re (* (cos (log (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.im))) (atan2 x.im x.re)))) (sin (log (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.im))) (log (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.im)) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.im) (* y.re (* (cos (log (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.im))) (atan2 x.im x.re))) (* (cos (log (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.im))) (atan2 x.im x.re)) (cos (log (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.im))))
118.0ms	y.im	@	inf	((* (exp (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (neg (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)))) (exp (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (neg (atan2 x.im x.re)) y.im))) (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (neg (atan2 x.im x.re)) y.im)) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (+ (* x.re x.re) (* x.im x.im))) x.re x.im y.re (* (neg (atan2 x.im x.re)) y.im) (neg (atan2 x.im x.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))) (+ (* (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) (* (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 (* y.re (atan2 x.im x.re))) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re)) (sin (* y.re (atan2 x.im 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))) (sin (+ (* (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))) (* -1 x.im) -1 (* (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))) (+ (* (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) (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.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)))) (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) (sin (+ (* (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)) (+ (* 1/2 (/ (* (* x.re x.re) y.im) (* x.im x.im))) (+ (* y.im (log x.im)) (* y.re (atan2 x.im x.re)))) 1/2 (/ (* (* x.re x.re) y.im) (* x.im x.im)) (* (* x.re x.re) y.im) (+ (* y.im (log x.im)) (* y.re (atan2 x.im x.re))) (log 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)))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (+ (sin (log (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.im))) (* y.re (* (cos (log (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.im))) (atan2 x.im x.re)))) (sin (log (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.im))) (log (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.im)) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.im) (* y.re (* (cos (log (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.im))) (atan2 x.im x.re))) (* (cos (log (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.im))) (atan2 x.im x.re)) (cos (log (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.im))))
118.0ms	base	@	-inf	((/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (+ (* (log base) (log base)) (* 0 0))) (/ (atan2 im re) (/ 1 (pow (log base) -1))) (atan2 im re) im re (/ 1 (pow (log base) -1)) 1 (pow (log base) -1) (log base) base -1 (/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (+ (* (log base) (log base)) (* 0 0))) (/ (atan2 im re) (exp (log (log base)))) (exp (log (log base))) (log (log base)) (/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (exp (* (log (neg (log base))) 2))) (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (* (log base) (atan2 im re)) (exp (* (log (neg (log base))) 2)) (* (log (neg (log base))) 2) (log (neg (log base))) (neg (log base)) 2 (/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (/ (pow (log base) 4) (pow (log base) 2))) (/ (pow (log base) 4) (pow (log base) 2)) (pow (log base) 4) 4 (pow (log base) 2) (/ (pow (* (log base) (atan2 im re)) 3) (* (+ (pow (* (log base) (atan2 im re)) 2) 0) (pow (log base) 2))) (pow (* (log base) (atan2 im re)) 3) 3 (* (+ (pow (* (log base) (atan2 im re)) 2) 0) (pow (log base) 2)) (+ (pow (* (log base) (atan2 im re)) 2) 0) (pow (* (log base) (atan2 im re)) 2) 0)
100.0ms	x	@	-inf	((* (* (/ 1 (sqrt (PI))) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 1 (fabs x)) (/ (/ 1/2 (* x x)) (fabs x))) (* (/ 3 4) (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 15 8) (* (* (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x)))))) (* (/ 1 (sqrt (PI))) (exp (* (fabs x) (fabs x)))) (/ 1 (sqrt (PI))) 1 (sqrt (PI)) (PI) (exp (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fabs x) x (+ (+ (+ (/ 1 (fabs x)) (/ (/ 1/2 (* x x)) (fabs x))) (* (/ 3 4) (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 15 8) (* (* (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (+ (+ (/ 1 (fabs x)) (/ (/ 1/2 (* x x)) (fabs x))) (* (/ 3 4) (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (+ (/ 1 (fabs x)) (/ (/ 1/2 (* x x)) (fabs x))) (/ 1 (fabs x)) (/ (/ 1/2 (* x x)) (fabs x)) (/ 1/2 (* x x)) 1/2 (* x x) (* (/ 3 4) (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x)))) (/ 3 4) 3 4 (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* (/ 15 8) (* (* (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x)))) (/ 15 8) 15 8 (* (* (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (/ 1 (sqrt (PI))) (pow (exp x) x)) (+ (+ (+ (/ 1 (fabs x)) (* (/ 1 2) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 3 4) (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 15 8) (* (* (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x)))))) (* (/ 1 (sqrt (PI))) (pow (exp x) x)) (pow (exp x) x) (exp x) (+ (+ (+ (/ 1 (fabs x)) (* (/ 1 2) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 3 4) (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 15 8) (* (* (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (+ (+ (/ 1 (fabs x)) (* (/ 1 2) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 3 4) (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (+ (/ 1 (fabs x)) (* (/ 1 2) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 1 2) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (/ 1 2) 2 (* (* (/ 1 (sqrt (PI))) (pow (exp (neg (fabs x))) (neg (fabs x)))) (+ (+ (+ (/ 1 (fabs x)) (* (/ 1 2) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 3 4) (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 15 8) (* (* (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x)))))) (* (/ 1 (sqrt (PI))) (pow (exp (neg (fabs x))) (neg (fabs x)))) (pow (exp (neg (fabs x))) (neg (fabs x))) (exp (neg (fabs x))) (neg (fabs x)) (* (/ (pow (exp x) x) (sqrt (PI))) (+ (+ (+ (/ 1 (fabs x)) (* (/ 1 2) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 3 4) (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 15 8) (* (* (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x)))))) (/ (pow (exp x) x) (sqrt (PI))))

explain12.1s (6.1%)

Memory

-182.9MiB live, 19 091.7MiB allocated; 3.0s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	1284	0
`/.f64`	`#f`	o/o	636	0
`-.f64`	`#f`	cancellation	492	1
`sqrt.f32`	`#f`	oflow-rescue	203	0
`/.f64`	`#f`	o/n	198	0
`sin.f64`	`#f`	sensitivity	178	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	175	0
`+.f64`	`#f`	cancellation	169	0
`sqrt.f64`	`#f`	uflow-rescue	128	0
`log.f64`	`(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))`	sensitivity	126	0
`log.f32`	`(log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)))))`	sensitivity	121	0
`-.f64`	`#f`	nan-rescue	114	0
`/.f64`	`#f`	n/o	99	0
`*.f64`	`#f`	*nu**	75	0
`/.f64`	`#f`	u/u	72	0
`+.f64`	`#f`	nan-rescue	72	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	37	0
↳	`(.f64 (.f64 i i) (*.f64 i i))`	underflow	107
↳	`(*.f64 i i)`	underflow	140
`*.f64`	`#f`	*no**	33	0
`/.f64`	`#f`	n/u	19	0
`exp.f64`	`#f`	sensitivity	7	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 (atan2.f64 x.im x.re) y.re)`	overflow	1
↳	`(*.f64 x.re x.re)`	overflow	75
↳	`(+.f64 (.f64 x.re x.re) (.f64 x.im x.im))`	overflow	120
↳	`(.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	60
`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	136
↳	`(-.f32 (*.f32 x x) #s(literal 1 binary32))`	overflow	136
`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 (atan2.f64 x.im x.re) y.re)`	overflow	1
↳	`(*.f64 x.re x.re)`	overflow	75
↳	`(+.f64 (.f64 x.re x.re) (.f64 x.im x.im))`	overflow	120
↳	`(.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	60
`*.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

Confusion

	Predicted +	Predicted -
+	3490	37
-	160	10649

Precision

0.9561643835616438

Recall

0.989509498157074

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3490	0	37
-	160	2	10647

Precision?

0.9556407447973713

Recall?

0.989509498157074

Freqs

test

number	freq
0	10686
1	3052
2	596
3	2

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	37	0	0
-	1	0	18

Precision?

0.9736842105263158

Recall?

1.0

Samples

2.3s	25 454×	0	valid
937.0ms	2 464×	1	valid
426.0ms	686×	2	valid
25.0ms	62×	3	valid
2.0ms	6×	5	exit

Compiler

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

Precisions

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

ival-mult!: 773.0ms (35.6% of total)

ival-add!: 214.0ms (9.9% of total)

adjust: 196.0ms (9% of total)

ival-hypot: 163.0ms (7.5% of total)

ival-exp: 162.0ms (7.5% of total)

ival-log: 155.0ms (7.1% of total)

ival-div!: 116.0ms (5.3% of total)

ival-sin: 64.0ms (2.9% of total)

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

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

ival-sub!: 52.0ms (2.4% of total)

ival-sqrt: 46.0ms (2.1% of total)

ival-log1p: 23.0ms (1.1% of total)

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

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

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

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

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

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

const: 1.0ms (0% of total)

regimes10.5s (5.3%)

Memory

235.9MiB live, 17 630.6MiB allocated; 2.6s collecting garbage

Counts

7 957 → 877

Calls

126 calls:

600.0ms	im
555.0ms	re
486.0ms	y.re
434.0ms	z
371.0ms	x.re

Compiler

Compiled 14 091 to 9 940 computations (29.5% saved)

prune6.5s (3.3%)

Memory: -255.0MiB live, 12 137.1MiB allocated; 1.6s collecting garbage
Counts: 83 350 → 2 669
Compiler: Compiled 266 112 to 116 347 computations (56.3% saved)

bsearch3.9s (2%)

Memory

45.1MiB live, 5 392.7MiB allocated; 1.6s collecting garbage

Algorithm

228×	left-value
224×	binary-search

Stop Event

216×	narrow-enough
8×	predicate-same

Samples

1.3s	13 792×	0	valid
735.0ms	1 835×	1	valid
39.0ms	146×	2	valid
10.0ms	35×	3	valid

Compiler

Compiled 133 365 to 79 291 computations (40.5% saved)

Precisions

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

ival-mult!: 401.0ms (26.8% of total)

ival-log: 225.0ms (15% of total)

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

ival-exp: 139.0ms (9.3% of total)

adjust: 135.0ms (9% of total)

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

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

ival-cos: 60.0ms (4% of total)

ival-add!: 58.0ms (3.9% of total)

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

ival-div!: 28.0ms (1.9% of total)

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

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

analyze2.6s (1.3%)

Memory

51.3MiB live, 3 452.3MiB allocated; 866ms 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)

start3.0ms (0%)

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

end0.0ms (0%)

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

sample1.1min (33.8%)

rewrite40.3s (20.4%)

eval16.0s (8.1%)

preprocess13.5s (6.8%)

derivations13.0s (6.6%)

series12.4s (6.3%)

explain12.1s (6.1%)

regimes10.5s (5.3%)

prune6.5s (3.3%)

bsearch3.9s (2%)

analyze2.6s (1.3%)

start3.0ms (0%)

end0.0ms (0%)

Profiling