Metrics for Herbie run

Date:	Saturday, January 18th, 2025
Commit:	75912f41 on no-localize
Seed:	2025018
Parameters:	256 points for 4 iterations
Flags:	`reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default
Memory:	370 709.0 MB

sample1.7min (34.2%)

Memory

1 488.5MiB live, 129 485.9MiB allocated; 39.6s collecting garbage

Samples

53.9s	433 923×	0	valid
10.9s	26 436×	1	valid
5.7s	9 361×	2	valid
2.1s	4 406×	0	invalid
1.9s	8 502×	0	exit
534.0ms	891×	3	valid

Precisions

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

ival-mult: 13.3s (24% of total)

const: 5.9s (10.6% of total)

ival-add: 5.6s (10.1% of total)

ival-div: 4.4s (8% of total)

ival-exp: 4.3s (7.8% of total)

adjust: 3.8s (6.8% of total)

ival-sub: 3.6s (6.5% of total)

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

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

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

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

ival-sin: 1.1s (2.1% of total)

ival->: 1.0s (1.9% of total)

ival-atan2: 800.0ms (1.4% of total)

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

ival-pi: 456.0ms (0.8% of total)

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

exact: 364.0ms (0.7% of total)

ival-neg: 358.0ms (0.6% of total)

ival-sinu: 340.0ms (0.6% of total)

ival-acosh: 316.0ms (0.6% of total)

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

ival-true: 274.0ms (0.5% of total)

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

ival-atanh: 207.0ms (0.4% of total)

ival-<=: 204.0ms (0.4% of total)

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

ival->=: 169.0ms (0.3% of total)

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

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

Bogosity

simplify46.0s (15.4%)

Memory

371.5MiB live, 50 827.1MiB allocated; 14.5s collecting garbage

Stop Event

224×	node limit
199×	iter limit
27×	saturated

Counts

27 082 → 27 082

eval25.7s (8.6%)

Memory: 279.2MiB live, 37 066.4MiB allocated; 10.8s collecting garbage
Compiler: Compiled 8 832 587 to 535 421 computations (93.9% saved)

rewrite25.3s (8.5%)

Memory

-3.3MiB live, 28 896.0MiB allocated; 7.1s collecting garbage

Stop Event

587×	iter limit
149×	node limit
42×	unsound
3×	saturated

Counts

5 179 → 69 214

derivations23.4s (7.8%)

Memory

-688.1MiB live, 18 141.7MiB allocated; 7.0s collecting garbage

Stop Event

39×	fuel
18×	done

Compiler

Compiled 40 738 to 4 550 computations (88.8% saved)

series16.5s (5.5%)

Memory

504.3MiB live, 20 588.5MiB allocated; 6.8s collecting garbage

Counts

5 179 → 27 082

Calls

1197 calls:

Time	Variable		Point	Expression
838.0ms	x	@	inf	((* (/ (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)))))) (/ (exp (* x x)) (sqrt (PI))) (exp (* x x)) (* x x) x (sqrt (PI)) (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))))) (- (- (/ (- (/ 1/2 (* x x)) -1) (fabs x)) (/ -15/8 (pow (fabs x) 7))) (/ -3/4 (pow (fabs x) 5))) (- (/ (- (/ 1/2 (* x x)) -1) (fabs x)) (/ -15/8 (pow (fabs x) 7))) (/ (- (/ 1/2 (* x x)) -1) (fabs x)) (- (/ 1/2 (* x x)) -1) (/ 1/2 (* x x)) 1/2 -1 (fabs x) (/ -15/8 (pow (fabs x) 7)) -15/8 (pow (fabs x) 7) 7 (/ -3/4 (pow (fabs x) 5)) -3/4 (pow (fabs x) 5) 5 (* (* (/ 1 (sqrt (PI))) (exp (* (fabs x) (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/2 (* x x)) -1) (fabs x)) (/ -15/8 (pow (fabs x) 7))) (/ -3/4 (pow (fabs x) 5))) (sqrt (/ 1 (PI)))) (pow (exp x) x)) (* (/ 1/2 (* (* x x) x)) (sqrt (/ 1 (PI)))) (/ 1/2 (* (* x x) x)) (* (* x x) x) (sqrt (/ 1 (PI))) (/ 1 (PI)) 1 (* (* (/ 1 (sqrt (PI))) (exp (* (fabs x) (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/2 (* x x)) -1) (fabs x)) (/ -15/8 (pow (fabs x) 7))) (/ -3/4 (pow (fabs x) 5))) (sqrt (/ 1 (PI)))) (pow (exp x) x)) (* (* (pow (fabs x) -3) 1/2) (sqrt (/ 1 (PI)))) (* (pow (fabs x) -3) 1/2) (pow (fabs x) -3) -3 (* (* (/ 1 (sqrt (PI))) (exp (* (fabs x) (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/2 (* x x)) -1) (fabs x)) (/ -15/8 (pow (fabs x) 7))) (/ -3/4 (pow (fabs x) 5))) (sqrt (/ 1 (PI)))) (pow (exp x) x)) (* (* (pow (fabs x) -1) (* (pow x -2) 1/2)) (sqrt (/ 1 (PI)))) (* (pow (fabs x) -1) (* (pow x -2) 1/2)) (pow (fabs x) -1) (* (pow x -2) 1/2) (pow x -2) -2 (* (* (/ 1 (sqrt (PI))) (exp (* (fabs x) (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/2 (* x x)) -1) (fabs x)) (/ -15/8 (pow (fabs x) 7))) (/ -3/4 (pow (fabs x) 5))) (sqrt (/ 1 (PI)))) (exp (* (fabs x) (fabs x)))) (* (- (- (/ (- (/ 1/2 (* x x)) -1) (fabs x)) (/ -15/8 (pow (fabs x) 7))) (/ -3/4 (pow (fabs x) 5))) (sqrt (/ 1 (PI)))) (- (- (/ (- (/ 1/2 (* x x)) -1) (fabs x)) (/ -15/8 (pow (fabs x) 7))) (/ -3/4 (pow (fabs x) 5))) (- (/ (- (/ 1/2 (* x x)) -1) (fabs x)) (/ -15/8 (pow (fabs x) 7))) (/ (- (/ 1/2 (* x x)) -1) (fabs x)) (- (/ 1/2 (* x x)) -1) (exp (* (fabs x) (fabs x))))
589.0ms	base	@	-inf	((* (log (sqrt (+ (* im im) (* re re)))) (/ (log base) (pow (log base) 2))) (log (sqrt (+ (* im im) (* re re)))) (sqrt (+ (* im im) (* re re))) im re (/ (log base) (pow (log base) 2)) (log base) base (pow (log base) 2) 2 (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (/ (log (sqrt (+ (* im im) (* re re)))) (log base)) (log (sqrt (+ (* im im) (* re re)))) (sqrt (+ (* im im) (* re re))) (+ (* im im) (* re re)) (* re re) (* (/ (* (log base) (log (sqrt (+ (* im im) (* re re))))) (pow (log base) 6)) (pow (log base) 4)) (/ (* (log base) (log (sqrt (+ (* im im) (* re re))))) (pow (log base) 6)) (/ (log im) (pow (log base) 5)) (log im) (pow (log base) 5) 5 (pow (log base) 4) 4 (/ (* (* (log base) (log (sqrt (+ (* im im) (* re re))))) (pow (log base) 4)) (pow (log base) 6)) (* (* (log base) (log (sqrt (+ (* im im) (* re re))))) (pow (log base) 4)) (* (log base) (log (sqrt (+ (* im im) (* re re))))) (pow (log base) 6) 6 (/ (pow (* (log base) (log (sqrt (+ (* im im) (* re re))))) 3) (pow (* (* (log base) (log (sqrt (+ (* im im) (* re re))))) (log base)) 2)) (pow (* (log base) (log (sqrt (+ (* im im) (* re re))))) 3) 3 (pow (* (* (log base) (log (sqrt (+ (* im im) (* re re))))) (log base)) 2) (* (* (log base) (log (sqrt (+ (* im im) (* re re))))) (log base)))
408.0ms	x.re	@	0	((* (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))) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (sqrt (+ (* x.im x.im) (* x.re x.re))) 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))) (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)) (* (+ (* y.im (/ (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) y.re)) (atan2 x.im x.re)) y.re) (+ (* y.im (/ (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) y.re)) (atan2 x.im x.re)) y.im (/ (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) y.re) (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) (atan2 x.im 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)))) (* (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (sin (* (atan2 x.im x.re) y.re))) (* y.re (atan2 x.im 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)))) (* (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (sin (* (atan2 x.im x.re) y.re))) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (+ (* 1/2 (/ (* (* (* x.re x.re) y.re) (pow x.im y.re)) (* x.im x.im))) (pow x.im y.re)) 1/2 (/ (* (* (* x.re x.re) y.re) (pow x.im y.re)) (* x.im x.im)) (* (* (* x.re x.re) y.re) (pow x.im y.re)) (* (* x.re x.re) y.re) (* x.re x.re) (pow x.im y.re) (* x.im x.im) (sin (* (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 (* (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) y.im)) (pow (exp (neg y.im)) (atan2 x.im x.re))) (sin (* (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) y.im)) (* (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) y.im) (pow (exp (neg y.im)) (atan2 x.im x.re)) (exp (neg y.im)) (neg y.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) (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)) (* (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.im x.im) (* x.re x.re)))) (/ y.im y.re)) (atan2 x.im x.re)) y.re) (+ (* (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) (/ y.im y.re)) (atan2 x.im x.re)) (/ y.im y.re))
139.0ms	x.im	@	-inf	((/ (* (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (cos (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* (atan2 x.im x.re) y.re)))) (pow (exp y.im) (atan2 x.im x.re))) (* (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (cos (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* (atan2 x.im x.re) y.re)))) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (sqrt (+ (* x.im x.im) (* x.re x.re))) x.im x.re y.re (cos (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* (atan2 x.im x.re) y.re))) (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* (atan2 x.im x.re) y.re)) y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) (* (atan2 x.im x.re) y.re) (atan2 x.im x.re) (pow (exp y.im) (atan2 x.im x.re)) (exp y.im) (* (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)))) (* (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (cos (* (atan2 x.im x.re) y.re))) (cos (* (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))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (pow (exp (neg y.im)) (atan2 x.im x.re)) (cos (* (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) y.im))) (pow (exp (neg y.im)) (atan2 x.im x.re)) (exp (neg y.im)) (neg y.im) (cos (* (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) y.im)) (* (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) y.im) (* (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 (- (* (neg y.re) (log (/ -1 x.im))) (* (atan2 x.im x.re) y.im))) (cos (+ (* (neg y.im) (log (/ -1 x.im))) (* (atan2 x.im x.re) y.re)))) (exp (- (* (neg y.re) (log (/ -1 x.im))) (* (atan2 x.im x.re) y.im))) (- (* (neg y.re) (log (/ -1 x.im))) (* (atan2 x.im x.re) y.im)) (* (neg y.re) (log (/ -1 x.im))) (neg y.re) (log (/ -1 x.im)) (/ -1 x.im) -1 (* (atan2 x.im x.re) y.im) (cos (+ (* (neg y.im) (log (/ -1 x.im))) (* (atan2 x.im x.re) y.re))) (+ (* (neg y.im) (log (/ -1 x.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))) (sin (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (+ (* (atan2 x.im x.re) y.re) (/ (PI) 2))))) (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.im x.im) (sin (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (+ (* (atan2 x.im x.re) y.re) (/ (PI) 2)))) (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (+ (* (atan2 x.im x.re) y.re) (/ (PI) 2))) (+ (* (atan2 x.im x.re) y.re) (/ (PI) 2)) (/ (PI) 2) (PI) 2)
113.0ms	x	@	0	((- (log x) (log (log x))) (log x) x (log (log x)))

explain15.4s (5.2%)

Memory

-201.0MiB live, 21 464.7MiB allocated; 4.4s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	1188	0
`-.f64`	`#f`	cancellation	741	3
`/.f64`	`#f`	o/o	665	0
`/.f64`	`#f`	o/n	191	0
`sqrt.f32`	`#f`	oflow-rescue	180	0
`sin.f64`	`#f`	sensitivity	168	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	166	0
`sqrt.f64`	`#f`	uflow-rescue	155	0
`+.f64`	`#f`	cancellation	143	0
`log.f32`	`(log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)))))`	sensitivity	122	3
`log.f64`	`(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))`	sensitivity	120	0
`-.f64`	`#f`	nan-rescue	99	0
`/.f64`	`#f`	n/o	91	0
`*.f64`	`#f`	*nu**	71	0
`/.f64`	`#f`	u/u	65	0
`+.f64`	`#f`	nan-rescue	41	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	40	0
↳	`(.f64 (.f64 i i) (*.f64 i i))`	underflow	105
↳	`(*.f64 i i)`	underflow	126
`*.f64`	`#f`	*no**	24	0
`log.f32`	`#f`	oflow-rescue	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	1	0
`/.f64`	`(/.f64 (+.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (+.f64 (.f64 y.re y.re) (.f64 y.im y.im)))`	n/u	1	0
↳	`(*.f64 y.re y.re)`	underflow	47
↳	`(*.f64 y.im y.im)`	underflow	53
↳	`(+.f64 (.f64 y.re y.re) (.f64 y.im y.im))`	underflow	10
`exp.f64`	`(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))))`	sensitivity	1	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**	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 -
+	3544	41
-	186	10821

Precision

0.9501340482573727

Recall

0.9885634588563459

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3544	4	37
-	186	3	10818

Precision?

0.9494246721969494

Recall?

0.9896792189679219

Freqs

test

number	freq
0	10862
1	3182
2	546
3	2

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	37	1	0
-	0	0	19

Precision?

1.0

Recall?

1.0

Samples

3.9s	25 598×	0	valid
1.3s	2 592×	1	valid
792.0ms	930×	2	valid
38.0ms	64×	3	valid

Compiler

Compiled 13 558 to 2 283 computations (83.2% saved)

Precisions

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

ival-mult: 940.0ms (23.9% of total)

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

ival-add: 455.0ms (11.6% of total)

adjust: 373.0ms (9.5% of total)

ival-log: 318.0ms (8.1% of total)

const: 220.0ms (5.6% of total)

ival-exp: 214.0ms (5.4% of total)

ival-div: 211.0ms (5.4% of total)

ival-sub: 175.0ms (4.5% of total)

ival-asin: 94.0ms (2.4% of total)

ival-sin: 82.0ms (2.1% of total)

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

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

ival-atan2: 44.0ms (1.1% of total)

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

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

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

exact: 20.0ms (0.5% of total)

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

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

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

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

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

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

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

preprocess13.3s (4.4%)

Memory

732.2MiB live, 16 090.4MiB allocated; 2.9s collecting garbage

Stop Event

114×	iter limit
72×	node limit
42×	saturated

Compiler

Compiled 92 030 to 14 807 computations (83.9% saved)

regimes13.0s (4.3%)

Memory

111.4MiB live, 20 659.4MiB allocated; 2.7s collecting garbage

Counts

10 350 → 946

Calls

132 calls:

843.0ms	y.re
725.0ms	im
614.0ms	re
527.0ms	y.im
458.0ms	z

Compiler

Compiled 15 079 to 10 652 computations (29.4% saved)

prune9.1s (3%)

Memory: -159.1MiB live, 16 065.8MiB allocated; 2.4s collecting garbage
Counts: 122 487 → 2 829
Compiler: Compiled 305 629 to 125 515 computations (58.9% saved)

bsearch5.8s (1.9%)

Memory

48.8MiB live, 7 429.9MiB allocated; 1.2s collecting garbage

Algorithm

269×	binary-search
216×	left-value

Stop Event

258×	narrow-enough
11×	predicate-same

Samples

2.6s	16 506×	0	valid
1.1s	1 899×	1	valid
87.0ms	217×	2	valid
32.0ms	82×	3	valid

Compiler

Compiled 202 284 to 104 891 computations (48.1% saved)

Precisions

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

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

ival-hypot: 308.0ms (10.9% of total)

ival-sin: 213.0ms (7.5% of total)

adjust: 204.0ms (7.2% of total)

ival-add: 191.0ms (6.8% of total)

ival-log: 183.0ms (6.5% of total)

ival-exp: 157.0ms (5.6% of total)

const: 157.0ms (5.6% of total)

ival-atan2: 124.0ms (4.4% of total)

ival-sub: 110.0ms (3.9% of total)

ival-div: 103.0ms (3.6% of total)

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

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

ival-true: 14.0ms (0.5% of total)

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

exact: 7.0ms (0.2% of total)

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

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

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

analyze3.5s (1.2%)

Memory

111.8MiB live, 3 984.9MiB allocated; 2.1s 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: 7.4MiB live, 7.4MiB allocated; 0ms collecting garbage

end0.0ms (0%)

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

sample1.7min (34.2%)

simplify46.0s (15.4%)

eval25.7s (8.6%)

rewrite25.3s (8.5%)

derivations23.4s (7.8%)

series16.5s (5.5%)

explain15.4s (5.2%)

preprocess13.3s (4.4%)

regimes13.0s (4.3%)

prune9.1s (3%)

bsearch5.8s (1.9%)

analyze3.5s (1.2%)

start3.0ms (0%)

end0.0ms (0%)

Profiling