Metrics for Herbie run

Date:	Wednesday, April 16th, 2025
Commit:	5565a39e on main
Seed:	2025106
Parameters:	256 points for 4 iterations
Flags:	`reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:proofs` default
Memory:	228 500.1 MB

sample1.1min (40.3%)

Memory

274.4MiB live, 89 528.0MiB allocated; 25.1s collecting garbage

Samples

29.2s	224 429×	0	valid
7.9s	65 846×	0	invalid
6.5s	23 542×	1	valid
3.1s	14 658×	1	invalid
2.7s	9 848×	2	valid
2.0s	6 362×	3	valid
130.0ms	554×	2	invalid
28.0ms	240×	0	exit
4.0ms	11×	4	valid
0.0ms	1×	3	exit

Precisions

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

ival-mult!: 8.5s (22.4% of total)

ival-div!: 4.5s (11.9% of total)

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

ival-pow2: 3.2s (8.5% of total)

ival-add!: 2.6s (6.9% of total)

ival-pow: 2.6s (6.9% of total)

ival-sqrt: 2.4s (6.3% of total)

adjust: 2.4s (6.2% of total)

ival-sin: 1.9s (5% of total)

ival-sub!: 1.5s (3.9% of total)

ival-tan: 1.0s (2.7% of total)

ival-cos: 960.0ms (2.5% of total)

ival-hypot: 753.0ms (2% of total)

ival-neg: 677.0ms (1.8% of total)

ival-acos: 603.0ms (1.6% of total)

ival-log: 332.0ms (0.9% of total)

ival-asin: 283.0ms (0.7% of total)

ival-tanu: 202.0ms (0.5% of total)

ival-atan: 132.0ms (0.3% of total)

ival-fabs: 46.0ms (0.1% of total)

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

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

exact: 0.0ms (0% of total)

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

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

Bogosity

rewrite27.6s (16.3%)

Memory

154.5MiB live, 32 666.3MiB allocated; 8.1s collecting garbage

Stop Event

300×	iter-limit
124×	node-limit
4×	unsound

Counts

28 776 → 47 007

regimes14.0s (8.3%)

Memory

287.3MiB live, 22 791.1MiB allocated; 2.9s collecting garbage

Counts

9 344 → 741

Calls

156 calls:

870.0ms	l
585.0ms	k
560.0ms	t
516.0ms	x
298.0ms	h

Compiler

Compiled 12 713 to 13 018 computations (-2.4% saved)

series10.6s (6.3%)

Memory

914.3MiB live, 17 056.8MiB allocated; 2.2s collecting garbage

Counts

4 599 → 24 177

Calls

1200 calls:

Time	Variable		Point	Expression
254.0ms	f	@	-inf	((neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (/ (* (log (/ (cosh (* (* (PI) f) -1/4)) (sinh (* (* (PI) f) 1/4)))) -4) (PI)) (* (log (/ (cosh (* (* (PI) f) -1/4)) (sinh (* (* (PI) f) 1/4)))) -4) (log (/ (cosh (* (* (PI) f) -1/4)) (sinh (* (* (PI) f) 1/4)))) (/ (cosh (* (* (PI) f) -1/4)) (sinh (* (* (PI) f) 1/4))) (cosh (* (* (PI) f) -1/4)) (* (* (PI) f) -1/4) (* (PI) f) (PI) f -1/4 (sinh (* (* (PI) f) 1/4)) (* (* (PI) f) 1/4) 1/4 -4 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (- (log (cosh (* (* (PI) f) -1/4))) (log (sinh (* (* (PI) f) 1/4)))) (PI)) -4) (/ (- (log (cosh (* (* (PI) f) -1/4))) (log (sinh (* (* (PI) f) 1/4)))) (PI)) (- (log (cosh (* (* (PI) f) -1/4))) (log (sinh (* (* (PI) f) 1/4)))) (neg (log (* (* (* 1/2 (PI)) 1/2) f))) (log (* (* (* 1/2 (PI)) 1/2) f)) (* (* (* 1/2 (PI)) 1/2) f) (* (* 1/2 (PI)) 1/2) (* 1/2 (PI)) 1/2 (neg (/ (* 1 (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ (PI) 4))) (/ (* 1 (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ (PI) 4)) (* 1 (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) 1 (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ (+ (* (+ (* (+ (* (* (PI) 1/48) -2) (* (* (/ (PI) 1/2) 1) 1/16)) f) 0) f) (/ 4 (PI))) f) (+ (* (+ (* (+ (* (* (PI) 1/48) -2) (* (* (/ (PI) 1/2) 1) 1/16)) f) 0) f) (/ 4 (PI))) (+ (* (+ (* (* (PI) 1/48) -2) (* (* (/ (PI) 1/2) 1) 1/16)) f) 0) (+ (* (* (PI) 1/48) -2) (* (* (/ (PI) 1/2) 1) 1/16)) (* (PI) 1/48) 1/48 -2 (* (* (/ (PI) 1/2) 1) 1/16) (* (/ (PI) 1/2) 1) (/ (PI) 1/2) 1/16 0 (/ 4 (PI)) 4 (/ (PI) 4) (neg (log (pow (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ 4 (PI))))) (log (pow (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ 4 (PI)))) (pow (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ 4 (PI))) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp (/ (PI) 4)) f) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp (/ (PI) 4)) f) (exp (neg (* (/ (PI) 4) f))))))) (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp (/ (PI) 4)) f) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp (/ (PI) 4)) f) (exp (neg (* (/ (PI) 4) f))))) (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (* 2 (cosh (* (* (PI) f) -1/4))) 2 (- (pow (exp (/ (PI) 4)) f) (exp (neg (* (/ (PI) 4) f)))) (pow (exp (/ (PI) 4)) f) (exp (/ (PI) 4)) (exp (neg (* (/ (PI) 4) f))) (+ (* -1/4 (* f (PI))) 1) (* f (PI)))
171.0ms	f	@	-inf	((neg (* (/ 1 (/ (PI) 4)) (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4)))))))) (* (/ 1 (/ (PI) 4)) (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4))))))) (/ 1 (/ (PI) 4)) 1 (/ (PI) 4) (PI) 4 (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4)))))) (log (* 2 (cosh (* f (/ (PI) 4))))) (* 2 (cosh (* f (/ (PI) 4)))) 2 (cosh (* f (/ (PI) 4))) (* f (/ (PI) 4)) f (log (* 2 (sinh (* f (/ (PI) 4))))) (* 2 (sinh (* f (/ (PI) 4)))) (sinh (* f (/ (PI) 4))) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) -4) (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) (log (/ 2 (* (* (PI) 1/2) f))) (/ 2 (* (* (PI) 1/2) f)) (* (* (PI) 1/2) f) (* (PI) 1/2) 1/2 -4 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (PI)) -4) (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (PI)) (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4)))) (* 2 (cosh (* (* (PI) f) -1/4))) (cosh (* (* (PI) f) -1/4)) (* (* (PI) f) -1/4) (* (PI) f) -1/4 (* 2 (sinh (* (* (PI) f) 1/4))) (sinh (* (* (PI) f) 1/4)) (* (* (PI) f) 1/4) 1/4 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (exp (* (/ (PI) 4) f)) (* (/ (PI) 4) f) (exp (neg (* (/ (PI) 4) f))) (neg (* (/ (PI) 4) f)) (neg (* (/ 1 (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ 1 (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2))) (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) (/ (sqrt (PI)) 2) (sqrt (PI)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))
132.0ms	f	@	inf	((neg (* (/ 1 (/ (PI) 4)) (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4)))))))) (* (/ 1 (/ (PI) 4)) (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4))))))) (/ 1 (/ (PI) 4)) 1 (/ (PI) 4) (PI) 4 (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4)))))) (log (* 2 (cosh (* f (/ (PI) 4))))) (* 2 (cosh (* f (/ (PI) 4)))) 2 (cosh (* f (/ (PI) 4))) (* f (/ (PI) 4)) f (log (* 2 (sinh (* f (/ (PI) 4))))) (* 2 (sinh (* f (/ (PI) 4)))) (sinh (* f (/ (PI) 4))) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) -4) (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) (log (/ 2 (* (* (PI) 1/2) f))) (/ 2 (* (* (PI) 1/2) f)) (* (* (PI) 1/2) f) (* (PI) 1/2) 1/2 -4 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (PI)) -4) (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (PI)) (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4)))) (* 2 (cosh (* (* (PI) f) -1/4))) (cosh (* (* (PI) f) -1/4)) (* (* (PI) f) -1/4) (* (PI) f) -1/4 (* 2 (sinh (* (* (PI) f) 1/4))) (sinh (* (* (PI) f) 1/4)) (* (* (PI) f) 1/4) 1/4 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (exp (* (/ (PI) 4) f)) (* (/ (PI) 4) f) (exp (neg (* (/ (PI) 4) f))) (neg (* (/ (PI) 4) f)) (neg (* (/ 1 (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ 1 (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2))) (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) (/ (sqrt (PI)) 2) (sqrt (PI)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))
111.0ms	f	@	inf	((neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (/ (* (log (/ (cosh (* (* (PI) f) -1/4)) (sinh (* (* (PI) f) 1/4)))) -4) (PI)) (* (log (/ (cosh (* (* (PI) f) -1/4)) (sinh (* (* (PI) f) 1/4)))) -4) (log (/ (cosh (* (* (PI) f) -1/4)) (sinh (* (* (PI) f) 1/4)))) (/ (cosh (* (* (PI) f) -1/4)) (sinh (* (* (PI) f) 1/4))) (cosh (* (* (PI) f) -1/4)) (* (* (PI) f) -1/4) (* (PI) f) (PI) f -1/4 (sinh (* (* (PI) f) 1/4)) (* (* (PI) f) 1/4) 1/4 -4 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (- (log (cosh (* (* (PI) f) -1/4))) (log (sinh (* (* (PI) f) 1/4)))) (PI)) -4) (/ (- (log (cosh (* (* (PI) f) -1/4))) (log (sinh (* (* (PI) f) 1/4)))) (PI)) (- (log (cosh (* (* (PI) f) -1/4))) (log (sinh (* (* (PI) f) 1/4)))) (neg (log (* (* (* 1/2 (PI)) 1/2) f))) (log (* (* (* 1/2 (PI)) 1/2) f)) (* (* (* 1/2 (PI)) 1/2) f) (* (* 1/2 (PI)) 1/2) (* 1/2 (PI)) 1/2 (neg (/ (* 1 (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ (PI) 4))) (/ (* 1 (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ (PI) 4)) (* 1 (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) 1 (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ (+ (* (+ (* (+ (* (* (PI) 1/48) -2) (* (* (/ (PI) 1/2) 1) 1/16)) f) 0) f) (/ 4 (PI))) f) (+ (* (+ (* (+ (* (* (PI) 1/48) -2) (* (* (/ (PI) 1/2) 1) 1/16)) f) 0) f) (/ 4 (PI))) (+ (* (+ (* (* (PI) 1/48) -2) (* (* (/ (PI) 1/2) 1) 1/16)) f) 0) (+ (* (* (PI) 1/48) -2) (* (* (/ (PI) 1/2) 1) 1/16)) (* (PI) 1/48) 1/48 -2 (* (* (/ (PI) 1/2) 1) 1/16) (* (/ (PI) 1/2) 1) (/ (PI) 1/2) 1/16 0 (/ 4 (PI)) 4 (/ (PI) 4) (neg (log (pow (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ 4 (PI))))) (log (pow (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ 4 (PI)))) (pow (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ 4 (PI))) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp (/ (PI) 4)) f) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp (/ (PI) 4)) f) (exp (neg (* (/ (PI) 4) f))))))) (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp (/ (PI) 4)) f) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp (/ (PI) 4)) f) (exp (neg (* (/ (PI) 4) f))))) (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (* 2 (cosh (* (* (PI) f) -1/4))) 2 (- (pow (exp (/ (PI) 4)) f) (exp (neg (* (/ (PI) 4) f)))) (pow (exp (/ (PI) 4)) f) (exp (/ (PI) 4)) (exp (neg (* (/ (PI) 4) f))) (+ (* -1/4 (* f (PI))) 1) (* f (PI)))
111.0ms	k	@	0	((/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k))) (/ a (+ (* (+ 10 k) k) 1)) a (+ (* (+ 10 k) k) 1) (+ 10 k) (* (+ (/ 10 k) 1) k) (+ (/ 10 k) 1) (/ 10 k) 10 k 1 (/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k))) (/ a (+ (* (+ 10 k) k) 1)) (+ (* (* k a) -10) a) (* k a) -10 (/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k))) (/ a (+ (* (+ 10 k) k) 1)) (/ (+ (* (/ a k) -10) a) (* k k)) (+ (* (/ a k) -10) a) (* (/ a k) -10) (/ a k) (* k k) (/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k))) (/ a (+ (* (+ 10 k) k) 1)) (/ (+ (* (/ (+ (* -99 (/ a k)) (* 10 a)) k) -1) a) (* k k)) (+ (* (/ (+ (* -99 (/ a k)) (* 10 a)) k) -1) a) (/ (+ (* -99 (/ a k)) (* 10 a)) k) (* (/ a (* k k)) -99) (/ a (* k k)) -99 -1 (/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k))) (/ a (+ (* (+ 10 k) k) 1)) (/ (+ (neg (/ (+ (* (/ a k) -99) (* 10 a)) k)) a) (* k k)) (+ (neg (/ (+ (* (/ a k) -99) (* 10 a)) k)) a) (neg (/ (+ (* (/ a k) -99) (* 10 a)) k)) (/ (+ (* (/ a k) -99) (* 10 a)) k) (+ (* (/ a k) -99) (* 10 a)) (* 10 a))

derivations9.4s (5.6%)

Memory

203.9MiB live, 10 107.7MiB allocated; 1.1s collecting garbage

Stop Event

32×

fuel

Compiler

Compiled 33 741 to 4 021 computations (88.1% saved)

analyze8.5s (5.1%)

Memory

117.7MiB live, 10 351.7MiB allocated; 4.0s collecting garbage

Algorithm

32×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	98.2%	1.8%	0%	0%	0%	0
22.2%	21.8%	76.4%	1.8%	0%	0%	0%	1
22.6%	21.8%	74.8%	1.8%	0%	1.6%	0%	2
28.6%	26.5%	66.3%	1.8%	0%	5.5%	0%	3
32.6%	29.6%	61.2%	1.8%	0%	7.4%	0%	4
35.8%	32.3%	58%	1.8%	0%	8%	0%	5
40.1%	36.1%	54%	1.8%	0%	8.1%	0%	6
45.5%	40.6%	48.7%	1.8%	0%	8.9%	0%	7
47.9%	42.1%	45.8%	1.8%	0%	10.3%	0%	8
51%	44.6%	43%	1.8%	0%	10.6%	0%	9
52.1%	45.5%	41.8%	1.8%	0%	11%	0%	10
53.9%	46.7%	40%	1.8%	0%	11.5%	0%	11
55.6%	47.9%	38.2%	1.8%	0%	12.1%	0%	12

Compiler

Compiled 798 to 574 computations (28.1% saved)

explain8.2s (4.8%)

Memory

-76.7MiB live, 12 155.7MiB allocated; 2.1s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	455	0
`-.f64`	`#f`	cancellation	445	2
`cos.f64`	`#f`	sensitivity	415	1
`*.f64`	`#f`	*no**	267	0
`acos.f64`	`(acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64))))`	sensitivity	256	0
`+.f64`	`#f`	nan-rescue	242	0
`sqrt.f64`	`#f`	uflow-rescue	179	0
`pow.f64`	`#f`	oflow-rescue	148	0
`tan.f64`	`(tan.f64 (*.f64 (PI.f64) l))`	sensitivity	130	0
`-.f64`	`#f`	nan-rescue	120	0
`*.f64`	`#f`	*uo**	117	0
`asin.f64`	`(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64)))))))`	sensitivity	116	1
`pow.f64`	`(pow.f64 (.f64 (.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64)))`	sensitivity	94	30
`/.f64`	`#f`	o/o	70	0
`*.f64`	`#f`	*nu**	67	0
`/.f64`	`#f`	o/n	61	0
`cos.f64`	`(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))`	oflow-rescue	60	0
↳	`(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))`	overflow	60
↳	`(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)`	overflow	60
↳	`(*.f64 K (+.f64 m n))`	overflow	60
`/.f64`	`#f`	u/u	57	0
`*.f64`	`#f`	*ou**	54	0
`pow.f64`	`#f`	uflow-rescue	52	0
`+.f64`	`#f`	cancellation	52	0
`/.f64`	`#f`	n/o	38	0
`/.f64`	`#f`	n/u	35	0
`/.f64`	`#f`	u/n	21	0
`log.f64`	`(log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))))`	sensitivity	4	0
`exp.f64`	`#f`	sensitivity	3	2
`log.f64`	`(log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))))`	oflow-rescue	1	0
↳	`(exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))`	overflow	4
↳	`(/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))))`	overflow	1
↳	`(-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))`	overflow	2
↳	`(+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))`	overflow	2

Confusion

	Predicted +	Predicted -
+	1987	33
-	1125	5047

Precision

0.6384961439588689

Recall

0.9836633663366336

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1987	1	32
-	1125	33	5014

Precision?

0.6319135410044501

Recall?

0.9841584158415841

Freqs

test

number	freq
0	5080
1	2715
2	355
3	35
4	6
5	1

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	25	0	0
-	0	0	7

Precision?

1.0

Recall?

1.0

Samples

1.7s	13 346×	0	valid
502.0ms	1 940×	1	valid
213.0ms	722×	2	valid
119.0ms	370×	3	valid
2.0ms	6×	5	exit

Compiler

Compiled 7 569 to 1 655 computations (78.1% saved)

Precisions

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

ival-mult!: 406.0ms (25.1% of total)

ival-div!: 188.0ms (11.6% of total)

adjust: 133.0ms (8.2% of total)

ival-sin: 107.0ms (6.6% of total)

ival-pow2: 106.0ms (6.5% of total)

ival-sqrt: 103.0ms (6.4% of total)

ival-exp: 94.0ms (5.8% of total)

ival-tan: 84.0ms (5.2% of total)

ival-sub!: 82.0ms (5.1% of total)

ival-pow: 71.0ms (4.4% of total)

ival-cos: 62.0ms (3.8% of total)

ival-add!: 61.0ms (3.8% of total)

ival-acos: 28.0ms (1.7% of total)

ival-neg: 25.0ms (1.5% of total)

ival-hypot: 25.0ms (1.5% of total)

ival-tanu: 16.0ms (1% of total)

ival-log: 11.0ms (0.7% of total)

ival-asin: 8.0ms (0.5% of total)

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

ival-atan: 5.0ms (0.3% of total)

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

const: 0.0ms (0% of total)

eval7.5s (4.4%)

Memory: 48.4MiB live, 12 243.3MiB allocated; 2.5s collecting garbage
Compiler: Compiled 2 659 220 to 257 709 computations (90.3% saved)

preprocess7.3s (4.3%)

Memory

-350.8MiB live, 9 780.9MiB allocated; 2.9s collecting garbage

Stop Event

31×	node-limit
1×	saturated

Compiler

Compiled 226 554 to 77 142 computations (65.9% saved)

prune4.0s (2.3%)

Memory: -301.2MiB live, 6 469.9MiB allocated; 994ms collecting garbage
Counts: 50 015 → 2 636
Compiler: Compiled 247 445 to 125 844 computations (49.1% saved)

bsearch3.7s (2.2%)

Memory

-31.6MiB live, 5 343.5MiB allocated; 740ms collecting garbage

Algorithm

212×	binary-search
188×	left-value

Stop Event

198×	narrow-enough
14×	predicate-same

Samples

1.8s	13 635×	0	valid
161.0ms	1 508×	0	invalid
141.0ms	797×	1	valid
72.0ms	208×	2	valid
20.0ms	64×	3	valid
18.0ms	108×	1	invalid
1.0ms	5×	2	invalid

Compiler

Compiled 143 298 to 101 425 computations (29.2% saved)

Precisions

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

ival-mult!: 283.0ms (18.5% of total)

ival-div!: 221.0ms (14.5% of total)

ival-pow: 177.0ms (11.6% of total)

ival-tan: 150.0ms (9.8% of total)

ival-sin: 142.0ms (9.3% of total)

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

ival-sub!: 96.0ms (6.3% of total)

ival-exp: 84.0ms (5.5% of total)

ival-pow2: 75.0ms (4.9% of total)

adjust: 57.0ms (3.7% of total)

ival-neg: 57.0ms (3.7% of total)

ival-cos: 34.0ms (2.2% of total)

ival-sqrt: 26.0ms (1.7% of total)

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

ival-hypot: 11.0ms (0.7% of total)

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

ival-atan: 3.0ms (0.2% of total)

start2.0ms (0%)

Memory: 4.8MiB live, 4.7MiB allocated; 0ms collecting garbage

end0.0ms (0%)

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

sample1.1min (40.3%)

rewrite27.6s (16.3%)

regimes14.0s (8.3%)

series10.6s (6.3%)

derivations9.4s (5.6%)

analyze8.5s (5.1%)

explain8.2s (4.8%)

eval7.5s (4.4%)

preprocess7.3s (4.3%)

prune4.0s (2.3%)

bsearch3.7s (2.2%)

start2.0ms (0%)

end0.0ms (0%)

Profiling