Metrics for Herbie run

Date:	Wednesday, May 14th, 2025
Commit:	79007786 on artem-rules-updates
Seed:	2025134
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:	194 440.7 MB

sample1.3min (44.4%)

Memory

654.6MiB live, 86 935.3MiB allocated; 31.1s collecting garbage

Samples

30.6s	224 645×	0	valid
9.5s	65 259×	0	invalid
8.3s	23 505×	1	valid
4.2s	14 813×	1	invalid
3.0s	9 702×	2	valid
2.4s	6 331×	3	valid
207.0ms	615×	2	invalid
26.0ms	254×	0	exit
3.0ms	9×	4	valid
0.0ms	1×	3	exit

Precisions

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

ival-mult!: 9.1s (21.6% of total)

ival-div!: 5.1s (12.2% of total)

adjust: 4.2s (10.1% of total)

ival-pow2: 3.8s (9.1% of total)

ival-pow: 3.3s (8% of total)

ival-sqrt: 2.8s (6.8% of total)

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

ival-exp: 2.3s (5.4% of total)

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

ival-sub!: 1.9s (4.5% of total)

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

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

ival-acos: 809.0ms (1.9% of total)

ival-neg: 672.0ms (1.6% of total)

ival-hypot: 465.0ms (1.1% of total)

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

ival-tanu: 235.0ms (0.6% of total)

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

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

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

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

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

exact: 0.0ms (0% of total)

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

const: 0.0ms (0% of total)

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

Bogosity

rewrite27.5s (16.3%)

Memory

544.3MiB live, 25 848.7MiB allocated; 5.7s collecting garbage

Stop Event

158×	iter-limit
125×	saturated
102×	node-limit
23×	unsound

Counts

21 385 → 33 644

regimes13.4s (7.9%)

Memory

-199.3MiB live, 16 962.1MiB allocated; 4.6s collecting garbage

Counts

7 452 → 590

Calls

150 calls:

1.0s	t
479.0ms	l
446.0ms	k
439.0ms	NaChar
340.0ms	a

Compiler

Compiled 9 807 to 11 165 computations (-13.8% saved)

series13.3s (7.9%)

Memory

-98.9MiB live, 17 771.1MiB allocated; 5.3s collecting garbage

Counts

4 523 → 16 862

Calls

1164 calls:

Time	Variable		Point	Expression
491.0ms	t	@	-inf	((/ (* (sqrt 2) t) (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l)))) (* (sqrt 2) t) (sqrt 2) 2 t (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l))) (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l)) (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (/ (+ x 1) (- x 1)) (+ x 1) x 1 (- x 1) (+ (* l l) (* 2 (* t t))) (* l l) l (* 2 (* t t)) (* t t))
421.0ms	f	@	-inf	((neg (* 4 (/ (log (* 1 (/ (cosh (* (* 1/4 (PI)) f)) (sinh (* (* 1/4 (PI)) f))))) (PI)))) (* 4 (/ (log (* 1 (/ (cosh (* (* 1/4 (PI)) f)) (sinh (* (* 1/4 (PI)) f))))) (PI))) 4 (/ (log (* 1 (/ (cosh (* (* 1/4 (PI)) f)) (sinh (* (* 1/4 (PI)) f))))) (PI)) (log (* 1 (/ (cosh (* (* 1/4 (PI)) f)) (sinh (* (* 1/4 (PI)) f))))) (* 1 (/ (cosh (* (* 1/4 (PI)) f)) (sinh (* (* 1/4 (PI)) f)))) 1 (/ (cosh (* (* 1/4 (PI)) f)) (sinh (* (* 1/4 (PI)) f))) (cosh (* (* 1/4 (PI)) f)) (* (* 1/4 (PI)) f) (* 1/4 (PI)) 1/4 (PI) f (sinh (* (* 1/4 (PI)) f)) (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)) 2 (* (* (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)))))))) (* (/ 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)) (/ (PI) 4) (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) (* (PI) 1/2)) 0) f) (/ 2 (* (PI) 1/2))) f) (+ (* (* (/ (PI) (* (PI) 1/2)) 0) f) (/ 2 (* (PI) 1/2))) (* (/ (PI) (* (PI) 1/2)) 0) (/ (PI) (* (PI) 1/2)) 0 (/ 2 (* (PI) 1/2)) (log (pow (* 1 (/ (cosh (* (* 1/4 (PI)) f)) (sinh (* (* 1/4 (PI)) f)))) (neg (* (/ 1 (PI)) 4)))) (pow (* 1 (/ (cosh (* (* 1/4 (PI)) f)) (sinh (* (* 1/4 (PI)) f)))) (neg (* (/ 1 (PI)) 4))) (neg (* (/ 1 (PI)) 4)) (* (/ 1 (PI)) 4) (/ 1 (PI)) (neg (* (/ 1 (/ (PI) 4)) (log (+ (/ (exp (* (* 1/4 (PI)) (neg f))) (* 2 (sinh (* (* 1/4 (PI)) f)))) (/ (exp (* (* 1/4 (PI)) f)) (* 2 (sinh (* (* 1/4 (PI)) f)))))))) (* (/ 1 (/ (PI) 4)) (log (+ (/ (exp (* (* 1/4 (PI)) (neg f))) (* 2 (sinh (* (* 1/4 (PI)) f)))) (/ (exp (* (* 1/4 (PI)) f)) (* 2 (sinh (* (* 1/4 (PI)) f))))))) (log (+ (/ (exp (* (* 1/4 (PI)) (neg f))) (* 2 (sinh (* (* 1/4 (PI)) f)))) (/ (exp (* (* 1/4 (PI)) f)) (* 2 (sinh (* (* 1/4 (PI)) f)))))) (+ (/ (exp (* (* 1/4 (PI)) (neg f))) (* 2 (sinh (* (* 1/4 (PI)) f)))) (/ (exp (* (* 1/4 (PI)) f)) (* 2 (sinh (* (* 1/4 (PI)) f))))) (/ (exp (* (* 1/4 (PI)) (neg f))) (* 2 (sinh (* (* 1/4 (PI)) f)))) (exp (* (* 1/4 (PI)) (neg f))) (* (* 1/4 (PI)) (neg f)) (neg f) (* 2 (sinh (* (* 1/4 (PI)) f))) (/ (exp (* (* 1/4 (PI)) f)) (* 2 (sinh (* (* 1/4 (PI)) f)))) (exp (* (* 1/4 (PI)) f)))
328.0ms	w0	@	inf	((* w0 (sqrt (- 1 (/ (* (* (/ D (+ d d)) M) (* (* (/ D (+ d d)) M) h)) l)))) w0 (sqrt (- 1 (/ (* (* (/ D (+ d d)) M) (* (* (/ D (+ d d)) M) h)) l))) (- 1 (/ (* (* (/ D (+ d d)) M) (* (* (/ D (+ d d)) M) h)) l)) 1 (/ (* (* (/ D (+ d d)) M) (* (* (/ D (+ d d)) M) h)) l) (* (* (/ D (+ d d)) M) (* (* (/ D (+ d d)) M) h)) (* (/ D (+ d d)) M) (/ D (+ d d)) D (+ d d) d M (* (* (/ D (+ d d)) M) h) h l (* w0 (sqrt (- 1 (* (pow (/ (* M D) (* 2 d)) 2) (/ h l))))) (sqrt (- 1 (* (pow (/ (* M D) (* 2 d)) 2) (/ h l)))) (+ (* (/ (* (* (* M M) h) (* D D)) (* (* d d) l)) -1/8) 1) (* (* (* (* M M) h) (/ (* D D) (* (* d d) l))) -1/8) (* (* (* M M) h) (/ (* D D) (* (* d d) l))) (* (* M M) h) (* M M) (/ (* D D) (* (* d d) l)) (* D D) (* (* d d) l) (* d d) -1/8 (* (sqrt (- 1 (/ (* (* (* M (/ D (+ d d))) (* M (/ D (+ d d)))) h) l))) w0) (sqrt (- 1 (/ (* (* (* M (/ D (+ d d))) (* M (/ D (+ d d)))) h) l))) (+ (* (* (* (* M M) h) (/ (* D D) (* (* d d) l))) -1/8) 1) (* w0 (sqrt (- 1 (/ (* (* (* M (/ D (+ d d))) (* M (/ D (+ d d)))) h) l)))) (sqrt (- 1 (/ (* (* (* M (/ D (+ d d))) (* M (/ D (+ d d)))) h) l))) (- 1 (/ (* (* (* M (/ D (+ d d))) (* M (/ D (+ d d)))) h) l)) (+ (* (* (/ (* (* (* M M) D) D) (* (* d d) l)) -1/4) h) 1) (* (/ (* (* (* M M) D) D) (* (* d d) l)) -1/4) (/ (* (* (* M M) D) D) (* (* d d) l)) (* (* (* M M) D) D) (* (* M M) D) -1/4 (* (sqrt (- 1 (* (* (* M (/ D (+ d d))) (* M (/ D (+ d d)))) (/ h l)))) w0) (sqrt (- 1 (* (* (* M (/ D (+ d d))) (* M (/ D (+ d d)))) (/ h l)))) (- 1 (* (* (* M (/ D (+ d d))) (* M (/ D (+ d d)))) (/ h l))) (* (* (* M (/ D (+ d d))) (* M (/ D (+ d d)))) (/ h l)) (* (* M (/ D (+ d d))) (* M (/ D (+ d d)))) (* M (/ D (+ d d))) (/ h l))
222.0ms	f	@	inf	((neg (* 4 (/ (log (* 1 (/ (cosh (* (* 1/4 (PI)) f)) (sinh (* (* 1/4 (PI)) f))))) (PI)))) (* 4 (/ (log (* 1 (/ (cosh (* (* 1/4 (PI)) f)) (sinh (* (* 1/4 (PI)) f))))) (PI))) 4 (/ (log (* 1 (/ (cosh (* (* 1/4 (PI)) f)) (sinh (* (* 1/4 (PI)) f))))) (PI)) (log (* 1 (/ (cosh (* (* 1/4 (PI)) f)) (sinh (* (* 1/4 (PI)) f))))) (* 1 (/ (cosh (* (* 1/4 (PI)) f)) (sinh (* (* 1/4 (PI)) f)))) 1 (/ (cosh (* (* 1/4 (PI)) f)) (sinh (* (* 1/4 (PI)) f))) (cosh (* (* 1/4 (PI)) f)) (* (* 1/4 (PI)) f) (* 1/4 (PI)) 1/4 (PI) f (sinh (* (* 1/4 (PI)) f)) (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)) 2 (* (* (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)))))))) (* (/ 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)) (/ (PI) 4) (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) (* (PI) 1/2)) 0) f) (/ 2 (* (PI) 1/2))) f) (+ (* (* (/ (PI) (* (PI) 1/2)) 0) f) (/ 2 (* (PI) 1/2))) (* (/ (PI) (* (PI) 1/2)) 0) (/ (PI) (* (PI) 1/2)) 0 (/ 2 (* (PI) 1/2)) (log (pow (* 1 (/ (cosh (* (* 1/4 (PI)) f)) (sinh (* (* 1/4 (PI)) f)))) (neg (* (/ 1 (PI)) 4)))) (pow (* 1 (/ (cosh (* (* 1/4 (PI)) f)) (sinh (* (* 1/4 (PI)) f)))) (neg (* (/ 1 (PI)) 4))) (neg (* (/ 1 (PI)) 4)) (* (/ 1 (PI)) 4) (/ 1 (PI)) (neg (* (/ 1 (/ (PI) 4)) (log (+ (/ (exp (* (* 1/4 (PI)) (neg f))) (* 2 (sinh (* (* 1/4 (PI)) f)))) (/ (exp (* (* 1/4 (PI)) f)) (* 2 (sinh (* (* 1/4 (PI)) f)))))))) (* (/ 1 (/ (PI) 4)) (log (+ (/ (exp (* (* 1/4 (PI)) (neg f))) (* 2 (sinh (* (* 1/4 (PI)) f)))) (/ (exp (* (* 1/4 (PI)) f)) (* 2 (sinh (* (* 1/4 (PI)) f))))))) (log (+ (/ (exp (* (* 1/4 (PI)) (neg f))) (* 2 (sinh (* (* 1/4 (PI)) f)))) (/ (exp (* (* 1/4 (PI)) f)) (* 2 (sinh (* (* 1/4 (PI)) f)))))) (+ (/ (exp (* (* 1/4 (PI)) (neg f))) (* 2 (sinh (* (* 1/4 (PI)) f)))) (/ (exp (* (* 1/4 (PI)) f)) (* 2 (sinh (* (* 1/4 (PI)) f))))) (/ (exp (* (* 1/4 (PI)) (neg f))) (* 2 (sinh (* (* 1/4 (PI)) f)))) (exp (* (* 1/4 (PI)) (neg f))) (* (* 1/4 (PI)) (neg f)) (neg f) (* 2 (sinh (* (* 1/4 (PI)) f))) (/ (exp (* (* 1/4 (PI)) f)) (* 2 (sinh (* (* 1/4 (PI)) f)))) (exp (* (* 1/4 (PI)) f)))
142.0ms	f	@	inf	((* -4 (/ (log (/ (cosh (* (* (PI) f) -1/4)) (sinh (* (* 1/4 f) (PI))))) (PI))) -4 (/ (log (/ (cosh (* (* (PI) f) -1/4)) (sinh (* (* 1/4 f) (PI))))) (PI)) (log (/ (cosh (* (* (PI) f) -1/4)) (sinh (* (* 1/4 f) (PI))))) (/ (cosh (* (* (PI) f) -1/4)) (sinh (* (* 1/4 f) (PI)))) (cosh (* (* (PI) f) -1/4)) (* (* (PI) f) -1/4) (* (PI) f) (PI) f -1/4 (sinh (* (* 1/4 f) (PI))) (* (* 1/4 f) (PI)) (* 1/4 f) 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)))))))) (* (/ (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)) (/ 4 (* (PI) f)) 4 (log (pow (* 1 (/ (cosh (* (* 1/4 (PI)) f)) (sinh (* (* 1/4 (PI)) f)))) (neg (* (/ 1 (PI)) 4)))) (pow (* 1 (/ (cosh (* (* 1/4 (PI)) f)) (sinh (* (* 1/4 (PI)) f)))) (neg (* (/ 1 (PI)) 4))) (* 1 (/ (cosh (* (* 1/4 (PI)) f)) (sinh (* (* 1/4 (PI)) f)))) (/ 2 (* (* 1/2 (PI)) f)) 2 (* (* 1/2 (PI)) f) (* 1/2 (PI)) 1/2 (neg (* (/ 1 (PI)) 4)) (* (/ 1 (PI)) 4) (/ 1 (PI)) 1 (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))))))) (/ 1 (/ (PI) 4)) (/ (PI) 4) (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))) (neg (* (/ (PI) 4) f)) (* (/ (PI) 4) f) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (neg (* (/ 1 (/ (PI) 4)) (log (/ (* 2 (cosh (* (* 1/4 (PI)) f))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (* 2 (cosh (* (* 1/4 (PI)) f))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (log (/ (* 2 (cosh (* (* 1/4 (PI)) f))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (* 2 (cosh (* (* 1/4 (PI)) f))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (* 2 (cosh (* (* 1/4 (PI)) f))) (cosh (* (* 1/4 (PI)) f)) (* (* 1/4 (PI)) f) (* 1/4 (PI)) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (exp (* (/ (PI) 4) f)))

analyze9.9s (5.9%)

Memory

126.6MiB live, 10 028.7MiB allocated; 4.3s 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)

derivations9.4s (5.5%)

Memory

4.0MiB live, 8 196.4MiB allocated; 2.6s collecting garbage

Stop Event

29×	fuel
3×	done

Compiler

Compiled 6 197 to 3 611 computations (41.7% saved)

preprocess8.5s (5%)

Memory

-471.5MiB live, 10 807.9MiB allocated; 2.3s collecting garbage

Stop Event

32×	node-limit

Compiler

Compiled 79 737 to 61 812 computations (22.5% saved)

eval5.7s (3.4%)

Memory: 107.7MiB live, 8 609.4MiB allocated; 1.6s collecting garbage
Compiler: Compiled 760 409 to 200 194 computations (73.7% saved)

prune3.3s (2%)

Memory: 453.7MiB live, 5 257.5MiB allocated; 675ms collecting garbage
Counts: 35 073 → 2 430
Compiler: Compiled 140 003 to 115 333 computations (17.6% saved)

bsearch3.0s (1.8%)

Memory

229.1MiB live, 4 019.1MiB allocated; 715ms collecting garbage

Algorithm

176×	binary-search
115×	left-value

Stop Event

168×	narrow-enough
8×	predicate-same

Samples

1.6s	12 160×	0	valid
130.0ms	814×	0	invalid
107.0ms	579×	1	valid
43.0ms	149×	2	valid
13.0ms	40×	3	valid
8.0ms	56×	1	invalid
4.0ms	19×	2	invalid

Compiler

Compiled 81 357 to 79 406 computations (2.4% saved)

Precisions

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

ival-mult!: 279.0ms (21.9% of total)

ival-add!: 146.0ms (11.5% of total)

ival-div!: 131.0ms (10.3% of total)

ival-sin: 116.0ms (9.1% of total)

ival-pow2: 103.0ms (8.1% of total)

ival-sub!: 103.0ms (8.1% of total)

ival-tan: 95.0ms (7.5% of total)

ival-pow: 86.0ms (6.8% of total)

ival-exp: 67.0ms (5.3% of total)

ival-neg: 38.0ms (3% of total)

adjust: 36.0ms (2.8% of total)

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

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

ival-hypot: 15.0ms (1.2% of total)

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

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

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

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

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

start2.0ms (0%)

Memory: 4.0MiB live, 3.9MiB allocated; 0ms collecting garbage

end0.0ms (0%)

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

sample1.3min (44.4%)

rewrite27.5s (16.3%)

regimes13.4s (7.9%)

series13.3s (7.9%)

analyze9.9s (5.9%)

derivations9.4s (5.5%)

preprocess8.5s (5%)

eval5.7s (3.4%)

prune3.3s (2%)

bsearch3.0s (1.8%)

start2.0ms (0%)

end0.0ms (0%)

Profiling