Metrics for Herbie run

Date:	Sunday, December 29th, 2024
Commit:	fbbe2c7d on main
Seed:	2024364
Parameters:	256 points for 4 iterations
Flags:	`localize:costslocalize:errorsreduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default
Memory:	381 434.9 MB

sample1.5min (26.8%)

Memory

1 142.2MiB live, 107 365.9MiB allocated; 29.6s collecting garbage

Samples

37.3s	224 608×	0	valid
11.3s	65 645×	0	invalid
8.1s	23 442×	1	valid
4.4s	13 674×	1	invalid
4.0s	6 395×	3	valid
3.9s	9 745×	2	valid
637.0ms	1 567×	2	invalid
28.0ms	239×	0	exit
1.0ms	2×	4	valid

Precisions

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

ival-mult: 13.7s (25.4% of total)

ival-div: 9.1s (16.8% of total)

ival-sub: 5.0s (9.2% of total)

adjust: 4.2s (7.7% of total)

ival-add: 3.1s (5.8% of total)

ival-pow2: 2.8s (5.2% of total)

ival-sqrt: 2.7s (4.9% of total)

ival-pow: 2.2s (4.1% of total)

ival-sin: 2.2s (4% of total)

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

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

ival-tan: 970.0ms (1.8% of total)

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

ival-neg: 757.0ms (1.4% of total)

const: 582.0ms (1.1% of total)

ival-pi: 516.0ms (1% of total)

ival-hypot: 432.0ms (0.8% of total)

ival-log: 415.0ms (0.8% of total)

exact: 348.0ms (0.6% of total)

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

ival-asin: 234.0ms (0.4% of total)

ival-tanu: 178.0ms (0.3% of total)

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

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

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

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

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

Bogosity

simplify52.4s (15.4%)

Memory

884.2MiB live, 53 582.2MiB allocated; 13.7s collecting garbage

Stop Event

384×	iter limit
272×	node limit
16×	saturated

Counts

14 787 → 14 730

derivations39.8s (11.7%)

Memory

-71.9MiB live, 29 231.0MiB allocated; 6.5s collecting garbage

Stop Event

288×	iter limit
196×	node limit
31×	fuel
1×	saturated
1×	done

Compiler

Compiled 32 954 to 4 344 computations (86.8% saved)

localize33.3s (9.8%)

Memory

163.3MiB live, 37 833.0MiB allocated; 8.2s collecting garbage

Samples

10.4s	22 484×	0	valid
7.2s	5 156×	1	valid
5.1s	2 104×	2	valid
2.5s	896×	3	valid
1.2s	1 941×	0	invalid
69.0ms	158×	0	exit
50.0ms	28×	5	exit
2.0ms	1×	4	valid

Compiler

Compiled 51 249 to 5 759 computations (88.8% saved)

Precisions

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

ival-mult: 6.1s (28.9% of total)

adjust: 2.6s (12.5% of total)

ival-div: 2.5s (12.1% of total)

ival-add: 1.6s (7.6% of total)

ival-tan: 1.5s (7.1% of total)

ival-pow: 1.3s (6% of total)

ival-sqrt: 928.0ms (4.4% of total)

ival-cos: 719.0ms (3.4% of total)

ival-sub: 709.0ms (3.4% of total)

ival-pow2: 584.0ms (2.8% of total)

ival-sin: 401.0ms (1.9% of total)

const: 358.0ms (1.7% of total)

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

ival-exp: 236.0ms (1.1% of total)

ival-acos: 218.0ms (1% of total)

ival-asin: 205.0ms (1% of total)

ival-log: 177.0ms (0.8% of total)

ival-hypot: 175.0ms (0.8% of total)

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

exact: 73.0ms (0.3% of total)

ival-cbrt: 53.0ms (0.3% of total)

ival-cosh: 45.0ms (0.2% of total)

ival-tanu: 32.0ms (0.2% of total)

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

ival-true: 28.0ms (0.1% of total)

ival-sinh: 26.0ms (0.1% of total)

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

ival-assert: 15.0ms (0.1% of total)

ival-atanh: 5.0ms (0% of total)

ival-asinh: 4.0ms (0% of total)

rewrite26.7s (7.9%)

Memory

162.1MiB live, 31 497.0MiB allocated; 5.3s collecting garbage

Stop Event

258×	iter limit
128×	node limit

Counts

2 511 → 73 563

regimes22.1s (6.5%)

Memory

-558.3MiB live, 26 277.5MiB allocated; 8.3s collecting garbage

Counts

11 548 → 791

Calls

156 calls:

1.5s	l
895.0ms	(*.f64 v v)
808.0ms	t
770.0ms	k
703.0ms	(-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l)))

Compiler

Compiled 13 492 to 13 960 computations (-3.5% saved)

eval17.6s (5.2%)

Memory: 142.6MiB live, 24 792.8MiB allocated; 5.0s collecting garbage
Compiler: Compiled 4 675 469 to 431 076 computations (90.8% saved)

series12.5s (3.7%)

Memory

-485.8MiB live, 15 867.4MiB allocated; 3.4s collecting garbage

Counts

2 511 → 14 787

Calls

1200 calls:

Time	Variable		Point	Expression
316.0ms	kx	@	0	((sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) (* (/ (sin ky) (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (sin th)) (/ (sin ky) (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (sin ky) (pow (sin ky) 2) (pow (sin kx) 2))
229.0ms	f	@	-inf	((+ (* (pow (PI) 3) -1/192) (* (* 1/32 (pow (PI) 3)) 1/4)) (/ (* (PI) (PI)) (PI)) (* (/ (- (+ (* (pow (PI) 3) -1/192) (* (* 1/32 (pow (PI) 3)) 1/4)) (* -1/384 (pow (PI) 3))) (pow (* (PI) 1/2) 2)) 2) (* (* 1/32 (pow (PI) 3)) 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))))))) (/ (+ (* 4 (- (log (/ 2 (* 1/2 (PI)))) (log f))) (* (* (* 2 f) (* (+ (* (* (* (* (PI) 2) 2) 1/192) -2) (* (* (PI) 2) 1/16)) (* 1/2 (PI)))) f)) (PI)) (* (* (* (PI) 1/12) f) f) (+ (* (/ (log (/ 4 (* f (PI)))) (sqrt (PI))) (/ 4 (sqrt (PI)))) (* (* (* 2 f) (* (+ (* (* (* (* (PI) 2) 2) 1/192) -2) (* (* (PI) 2) 1/16)) (* 1/2 (PI)))) (/ f (PI)))) (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 (/ 4 (* f (PI)))) (sqrt (PI))) (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))))))) (/ (+ (* 4 (- (log (/ 2 (* 1/2 (PI)))) (log f))) (* (* (* 2 f) (* (+ (* (* (* (* (PI) 2) 2) 1/192) -2) (* (* (PI) 2) 1/16)) (* 1/2 (PI)))) f)) (PI)) (* (+ (* (/ (- (log (/ 4 (PI))) (log f)) (* (* f (PI)) f)) 4) (* (PI) 1/12)) (* f f)) (* (/ -4 (PI)) (log (- (/ (+ (pow (exp (PI)) (/ f 4)) (cosh (* (/ (PI) 4) f))) (* (sinh (* (/ (PI) -4) f)) -2)) 1/2))) (/ -4 (PI)) (PI) (log (- (/ (+ (pow (exp (PI)) (/ f 4)) (cosh (* (/ (PI) 4) f))) (* (sinh (* (/ (PI) -4) f)) -2)) 1/2)) (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (* -1/384 (pow (PI) 3)) (- (+ (* (/ (* (PI) (PI)) (PI)) 1/8) 0) (* (/ (- (+ (* (pow (PI) 3) -1/192) (* (* 1/32 (pow (PI) 3)) 1/4)) (* -1/384 (pow (PI) 3))) (pow (* (PI) 1/2) 2)) 2)) (pow (PI) 3) (* (PI) 1/12) (* (* (PI) 1/12) f) (sqrt (PI)) (* 1/12 (PI)) (* (* 1/12 (PI)) (PI)) (log (/ 4 (PI))) (/ (+ (pow (exp (PI)) (/ f 4)) (cosh (* (/ (PI) 4) f))) (* (sinh (* (/ (PI) -4) f)) -2)) (exp (PI)))
172.0ms	A	@	-inf	((/ (* c0 1) (pow (sqrt (/ A (* l V))) -1)) (* c0 1) (pow (sqrt (/ A (* l V))) -1) (sqrt (/ A (* l V))) (* c0 (sqrt (/ (/ A V) l))) (sqrt (/ (/ A V) l)) (/ (/ A V) l) (/ A V) (* c0 (/ (sqrt (/ A l)) (sqrt V))) (/ (sqrt (/ A l)) (sqrt V)) (sqrt (/ A l)) (/ A l) (/ (* (/ c0 (sqrt (neg l))) (sqrt A)) (sqrt (neg V))) (* (/ c0 (sqrt (neg l))) (sqrt A)) (/ c0 (sqrt (neg l))) (sqrt (neg l)) (* (pow (/ A (* l V)) 3/8) (* (pow (/ A (* l V)) 1/8) c0)) (pow (/ A (* l V)) 3/8) (/ A (* l V)) (* l V) (sqrt V) (neg V) (neg l) (sqrt A) (sqrt (neg V)) (* (pow (/ A (* l V)) 1/8) c0))
171.0ms	f	@	inf	((+ (* (* (* (* (PI) 2) 2) 1/192) -2) (* (* (PI) 2) 1/16)) (* (* 2 f) (* (+ (* (* (* (* (PI) 2) 2) 1/192) -2) (* (* (PI) 2) 1/16)) (* 1/2 (PI)))) (/ 2 (* 1/2 (PI))) (* (* (* (PI) 2) 2) 1/192) (/ 1 (/ (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)))))))) (* (/ 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) -4) f)) (sinh (* f (/ (PI) 4))))) (PI)) -4) (/ (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (PI)) (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (neg (* (/ 1 (/ (PI) 4)) (- (log (* (cosh (* (/ (PI) -4) f)) 2)) (log (* -2 (sinh (* (/ (PI) -4) f))))))) (* (/ 1 (/ (PI) 4)) (- (log (* (cosh (* (/ (PI) -4) f)) 2)) (log (* -2 (sinh (* (/ (PI) -4) f)))))) (/ (PI) 4) (* (pow (/ (PI) 4) -1/2) (* (pow (/ (PI) 4) -1/2) (neg (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))))))) (pow (/ (PI) 4) -1/2) (PI) (log (/ 2 (* 1/2 (PI)))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (* (+ (* (* (* (* (PI) 2) 2) 1/192) -2) (* (* (PI) 2) 1/16)) (* 1/2 (PI))) (/ (+ (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)))))) (/ (/ 2 (* 1/2 (PI))) f) (* f (/ (PI) 4)) (log (* (cosh (* (/ (PI) -4) f)) 2)) (log (* -2 (sinh (* (/ (PI) -4) f)))) (- (log (* (cosh (* (/ (PI) -4) f)) 2)) (log (* -2 (sinh (* (/ (PI) -4) f))))) (* (/ (PI) -4) f))
127.0ms	c0	@	0	((/ (* c0 1) (pow (sqrt (/ A (* l V))) -1)) (* c0 1) (pow (sqrt (/ A (* l V))) -1) (sqrt (/ A (* l V))) (* c0 (sqrt (/ (/ A V) l))) (sqrt (/ (/ A V) l)) (/ (/ A V) l) (/ A V) (* c0 (/ (sqrt (/ A l)) (sqrt V))) (/ (sqrt (/ A l)) (sqrt V)) (sqrt (/ A l)) (/ A l) (/ (* (/ c0 (sqrt (neg l))) (sqrt A)) (sqrt (neg V))) (* (/ c0 (sqrt (neg l))) (sqrt A)) (/ c0 (sqrt (neg l))) (sqrt (neg l)) (* (pow (/ A (* l V)) 3/8) (* (pow (/ A (* l V)) 1/8) c0)) (pow (/ A (* l V)) 3/8) (/ A (* l V)) (* l V) (sqrt V) (neg V) (neg l) (sqrt A) (sqrt (neg V)) (* (pow (/ A (* l V)) 1/8) c0))

preprocess11.0s (3.2%)

Memory

149.1MiB live, 11 006.0MiB allocated; 3.4s collecting garbage

Stop Event

64×	iter limit
52×	node limit
12×	saturated

Compiler

Compiled 89 617 to 21 501 computations (76% saved)

analyze10.6s (3.1%)

Memory

-35.8MiB live, 13 833.9MiB allocated; 4.5s 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)

explain10.4s (3.1%)

Memory

127.6MiB live, 12 908.5MiB allocated; 2.9s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	471	0
`-.f64`	`#f`	cancellation	443	1
`cos.f64`	`#f`	sensitivity	420	2
`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	255	0
`*.f64`	`#f`	*no**	234	0
`+.f64`	`#f`	nan-rescue	232	0
`sqrt.f64`	`#f`	uflow-rescue	175	0
`tan.f64`	`(tan.f64 (*.f64 (PI.f64) l))`	sensitivity	140	1
`pow.f64`	`#f`	oflow-rescue	132	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	126	0
`*.f64`	`#f`	*uo**	108	0
`-.f64`	`#f`	nan-rescue	107	0
`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	88	18
`/.f64`	`#f`	o/o	78	0
`+.f64`	`#f`	cancellation	66	0
`cos.f64`	`(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))`	oflow-rescue	61	0
↳	`(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))`	overflow	61
↳	`(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)`	overflow	61
↳	`(*.f64 K (+.f64 m n))`	overflow	61
`pow.f64`	`#f`	uflow-rescue	60	0
`/.f64`	`#f`	o/n	59	0
`*.f64`	`#f`	*nu**	58	0
`*.f64`	`#f`	*ou**	57	0
`/.f64`	`#f`	u/u	54	0
`/.f64`	`#f`	n/o	46	0
`/.f64`	`#f`	n/u	32	0
`/.f64`	`#f`	u/n	24	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	8	0
`exp.f64`	`#f`	sensitivity	2	1

Confusion

	Predicted +	Predicted -
+	1955	30
-	1165	5042

Precision

0.6266025641025641

Recall

0.9848866498740554

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1955	0	30
-	1165	24	5018

Precision?

0.6218193384223919

Recall?

0.9848866498740554

Freqs

test

number	freq
0	5072
1	2754
2	326
3	32
4	6
5	2

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	27	0	0
-	0	0	5

Precision?

1.0

Recall?

1.0

Samples

2.2s	13 276×	0	valid
1.0s	1 962×	1	valid
325.0ms	738×	2	valid
295.0ms	396×	3	valid
7.0ms	12×	5	exit

Compiler

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

Precisions

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

ival-mult: 501.0ms (19.6% of total)

adjust: 367.0ms (14.4% of total)

ival-div: 313.0ms (12.3% of total)

ival-add: 196.0ms (7.7% of total)

ival-sin: 166.0ms (6.5% of total)

ival-sub: 154.0ms (6% of total)

ival-pow2: 137.0ms (5.4% of total)

ival-sqrt: 116.0ms (4.5% of total)

ival-exp: 112.0ms (4.4% of total)

ival-pow: 93.0ms (3.6% of total)

ival-acos: 75.0ms (2.9% of total)

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

ival-pi: 46.0ms (1.8% of total)

ival-hypot: 45.0ms (1.8% of total)

ival-tan: 43.0ms (1.7% of total)

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

exact: 19.0ms (0.7% of total)

ival-true: 15.0ms (0.6% of total)

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

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

ival-asin: 9.0ms (0.4% of total)

const: 9.0ms (0.4% of total)

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

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

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

prune7.1s (2.1%)

Memory: 477.8MiB live, 11 853.4MiB allocated; 1.5s collecting garbage
Counts: 94 600 → 3 233
Compiler: Compiled 299 745 to 151 456 computations (49.5% saved)

bsearch5.2s (1.5%)

Memory

150.4MiB live, 5 381.9MiB allocated; 877ms collecting garbage

Algorithm

220×	binary-search
202×	left-value

Stop Event

209×	narrow-enough
11×	predicate-same

Samples

2.5s	14 529×	0	valid
460.0ms	3 227×	0	invalid
99.0ms	68×	3	valid
59.0ms	213×	1	valid
30.0ms	102×	2	valid
5.0ms	9×	1	invalid

Compiler

Compiled 136 492 to 97 520 computations (28.6% saved)

Precisions

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

ival-mult: 513.0ms (22.1% of total)

ival-div: 437.0ms (18.9% of total)

ival-add: 257.0ms (11.1% of total)

ival-sin: 214.0ms (9.2% of total)

ival-pow2: 185.0ms (8% of total)

ival-pow: 179.0ms (7.7% of total)

ival-neg: 116.0ms (5% of total)

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

ival-sub: 88.0ms (3.8% of total)

ival-exp: 56.0ms (2.4% of total)

adjust: 37.0ms (1.6% of total)

ival-cos: 37.0ms (1.6% of total)

ival-sqrt: 25.0ms (1.1% of total)

exact: 16.0ms (0.7% of total)

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

const: 12.0ms (0.5% of total)

ival-tanu: 9.0ms (0.4% of total)

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

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

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

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

ival-pi: 2.0ms (0.1% of total)

start1.0ms (0%)

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

end0.0ms (0%)

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

sample1.5min (26.8%)

simplify52.4s (15.4%)

derivations39.8s (11.7%)

localize33.3s (9.8%)

rewrite26.7s (7.9%)

regimes22.1s (6.5%)

eval17.6s (5.2%)

series12.5s (3.7%)

preprocess11.0s (3.2%)

analyze10.6s (3.1%)

explain10.4s (3.1%)

prune7.1s (2.1%)

bsearch5.2s (1.5%)

start1.0ms (0%)

end0.0ms (0%)

Profiling