Metrics for Herbie run

Date:	Thursday, March 6th, 2025
Commit:	4b6bc306 on chassis-platforms-cleanup
Seed:	2025065
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:	191 625.3 MB

sample1.1min (39.9%)

Memory

572.4MiB live, 73 806.8MiB allocated; 25.4s collecting garbage

Samples

27.0s	285 016×	0	valid
12.9s	44 060×	1	valid
7.6s	17 252×	2	valid
439.0ms	4 171×	0	invalid
227.0ms	424×	3	valid
214.0ms	202×	5	exit
182.0ms	963×	0	exit

Precisions

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

ival-mult: 8.4s (24.1% of total)

adjust: 4.5s (12.8% of total)

ival-add: 4.4s (12.7% of total)

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

ival-div: 3.3s (9.3% of total)

ival-sub: 3.2s (9% of total)

ival-sin: 1.8s (5.1% of total)

ival-cos: 1.4s (3.9% of total)

const: 1.0s (3% of total)

ival-exp: 866.0ms (2.5% of total)

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

ival-neg: 391.0ms (1.1% of total)

exact: 284.0ms (0.8% of total)

ival-pow2: 281.0ms (0.8% of total)

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

ival-log1p: 127.0ms (0.4% of total)

ival-assert: 123.0ms (0.4% of total)

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

ival-tan: 82.0ms (0.2% of total)

ival-expm1: 76.0ms (0.2% of total)

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

ival-<=: 14.0ms (0% of total)

ival-true: 10.0ms (0% of total)

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

ival-if: 6.0ms (0% of total)

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

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

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

Bogosity

rewrite25.0s (15.4%)

Memory

386.3MiB live, 26 246.3MiB allocated; 5.6s collecting garbage

Stop Event

278×	iter limit
111×	node limit
6×	saturated
4×	unsound

Counts

19 685 → 34 891

prune23.8s (14.7%)

Memory: 7.6MiB live, 33 756.0MiB allocated; 5.6s collecting garbage
Counts: 48 175 → 671
Compiler: Compiled 51 001 to 22 208 computations (56.5% saved)

eval9.8s (6%)

Memory: -91.7MiB live, 13 078.3MiB allocated; 3.3s collecting garbage
Compiler: Compiled 4 110 491 to 230 315 computations (94.4% saved)

preprocess9.8s (6%)

Memory

104.2MiB live, 10 303.5MiB allocated; 1.7s collecting garbage

Stop Event

84×	iter limit
64×	node limit
20×	saturated

Compiler

Compiled 27 575 to 7 572 computations (72.5% saved)

explain9.6s (5.9%)

Memory

17.2MiB live, 11 657.9MiB allocated; 1.8s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`#f`	cancellation	1291	3
`+.f64`	`#f`	cancellation	360	83
`-.f64`	(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))	oflow-left	202	0
`sqrt.f64`	`#f`	oflow-rescue	190	0
`/.f64`	`#f`	n/o	167	0
`log.f64`	`(log.f64 (+.f64 #s(literal 1 binary64) x))`	sensitivity	167	1
`/.f64`	`#f`	o/o	147	0
`-.f64`	`#f`	nan-rescue	121	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	sensitivity	115	0
`/.f64`	`#f`	u/n	85	0
`/.f64`	`#f`	n/u	56	0
`/.f64`	`#f`	u/u	46	0
`+.f64`	`#f`	nan-rescue	46	0
`*.f64`	`#f`	*nu**	43	0
`/.f64`	`#f`	o/n	42	0
`*.f64`	`#f`	*no**	33	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	oflow-rescue	27	0
↳	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	overflow	30
↳	`(/.f64 i n)`	overflow	27
↳	`(+.f64 #s(literal 1 binary64) (/.f64 i n))`	overflow	27
`sqrt.f64`	`#f`	uflow-rescue	22	0
`exp.f64`	`#f`	sensitivity	2	0

Confusion

	Predicted +	Predicted -
+	3846	230
-	115	6561

Precision

0.9709669275435496

Recall

0.9435721295387635

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3846	166	64
-	115	177	6384

Precision?

0.9321561338289963

Recall?

0.9842983316977428

Freqs

test

number	freq
0	6791
1	3524
2	398
3	39

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	30	1	0
-	2	0	9

Precision?

0.9393939393939394

Recall?

1.0

Samples

1.5s	16 238×	0	valid
1.2s	3 768×	1	valid
753.0ms	1 470×	2	valid
19.0ms	28×	3	valid

Compiler

Compiled 7 535 to 1 486 computations (80.3% saved)

Precisions

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

ival-mult: 479.0ms (22.5% of total)

adjust: 348.0ms (16.3% of total)

ival-div: 259.0ms (12.2% of total)

ival-add: 256.0ms (12% of total)

ival-pow: 232.0ms (10.9% of total)

ival-sub: 165.0ms (7.7% of total)

ival-sin: 105.0ms (4.9% of total)

ival-cos: 68.0ms (3.2% of total)

const: 41.0ms (1.9% of total)

ival-exp: 38.0ms (1.8% of total)

ival-pow2: 31.0ms (1.5% of total)

ival-sqrt: 21.0ms (1% of total)

ival-true: 20.0ms (0.9% of total)

exact: 19.0ms (0.9% of total)

ival-neg: 15.0ms (0.7% of total)

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

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

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

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

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

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

series6.7s (4.1%)

Memory

181.5MiB live, 8 651.9MiB allocated; 1.6s collecting garbage

Counts

2 802 → 16 883

Calls

702 calls:

Time	Variable		Point	Expression
113.0ms	c	@	0	((+ (/ (* -1 b) (* 2 a)) (/ (pow (+ (* (* c -4) a) (* b b)) 1/2) (* 2 a))) (/ (* -1 b) (* 2 a)) (* -1 b) -1 b (* 2 a) 2 a (/ (pow (+ (* (* c -4) a) (* b b)) 1/2) (* 2 a)) (pow (+ (* (* c -4) a) (* b b)) 1/2) (+ (* (* c -4) a) (* b b)) (* c -4) c -4 (* b b) 1/2 (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (* (* (+ (* (/ c (* b b)) -1) (pow a -1)) b) -1) (* (+ (* (/ c (* b b)) -1) (pow a -1)) b) (+ (* (/ c b) -1) (/ b a)) (/ c b) (/ b a) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (* (- (+ (* (/ (* -2 (* (* a a) c)) (pow b 5)) c) (* (* (/ a (pow b 3)) -1) c)) (pow b -1)) c) (- (+ (* (/ (* -2 (* (* a a) c)) (pow b 5)) c) (* (* (/ a (pow b 3)) -1) c)) (pow b -1)) (+ (* (/ (* -2 (* (* a a) c)) (pow b 5)) c) (* (* (/ a (pow b 3)) -1) c)) (/ (* -2 (* (* a a) c)) (pow b 5)) (* -2 (* (* a a) c)) -2 (* (* a a) c) (* a a) (pow b 5) 5 (* (* (/ a (pow b 3)) -1) c) (* (/ a (pow b 3)) -1) (/ a (pow b 3)) (pow b 3) 3 (pow b -1) (+ (/ (* -1 b) (* 2 a)) (/ (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* c a))) 1/2) (* 2 a))) (/ (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* c a))) 1/2) (* 2 a)) (* (+ (* (/ (/ c b) b) -1) (* (pow a -1) 1/2)) b) (+ (* (/ (/ c b) b) -1) (* (pow a -1) 1/2)) (/ (/ c b) b) (* (pow a -1) 1/2) (pow a -1) (/ (+ (pow (* (/ b a) -1/2) 3) (pow (/ (pow (+ (* (* 1 b) b) (* (* -4 a) c)) 1/2) (* a 2)) 3)) (+ (* (* (/ b a) -1/2) (* (/ b a) -1/2)) (- (* (/ (pow (+ (* (* 1 b) b) (* (* -4 a) c)) 1/2) (* a 2)) (/ (pow (+ (* (* 1 b) b) (* (* -4 a) c)) 1/2) (* a 2))) (* (* (/ b a) -1/2) (/ (pow (+ (* (* 1 b) b) (* (* -4 a) c)) 1/2) (* a 2)))))) (+ (pow (* (/ b a) -1/2) 3) (pow (/ (pow (+ (* (* 1 b) b) (* (* -4 a) c)) 1/2) (* a 2)) 3)) (pow (* (/ b a) -1/2) 3) (* (/ b a) -1/2) -1/2 (pow (/ (pow (+ (* (* 1 b) b) (* (* -4 a) c)) 1/2) (* a 2)) 3) (/ (pow (+ (* (* 1 b) b) (* (* -4 a) c)) 1/2) (* a 2)) (pow (+ (* (* 1 b) b) (* (* -4 a) c)) 1/2) (+ (* (* 1 b) b) (* (* -4 a) c)) (* 1 b) 1 (* (* -4 a) c) (* -4 a) (* a 2) (+ (* (* (/ b a) -1/2) (* (/ b a) -1/2)) (- (* (/ (pow (+ (* (* 1 b) b) (* (* -4 a) c)) 1/2) (* a 2)) (/ (pow (+ (* (* 1 b) b) (* (* -4 a) c)) 1/2) (* a 2))) (* (* (/ b a) -1/2) (/ (pow (+ (* (* 1 b) b) (* (* -4 a) c)) 1/2) (* a 2))))) (- (* (/ (pow (+ (* (* 1 b) b) (* (* -4 a) c)) 1/2) (* a 2)) (/ (pow (+ (* (* 1 b) b) (* (* -4 a) c)) 1/2) (* a 2))) (* (* (/ b a) -1/2) (/ (pow (+ (* (* 1 b) b) (* (* -4 a) c)) 1/2) (* a 2)))) (* (/ (pow (+ (* (* 1 b) b) (* (* -4 a) c)) 1/2) (* a 2)) (/ (pow (+ (* (* 1 b) b) (* (* -4 a) c)) 1/2) (* a 2))) (* (* (/ b a) -1/2) (/ (pow (+ (* (* 1 b) b) (* (* -4 a) c)) 1/2) (* a 2))))
113.0ms	w	@	inf	((- (+ (* (pow (* r r) -1) 2) 3) (+ (* (* (+ (* -2 v) 3) 1/8) (/ (* (pow (* r w) 1) (pow (* r w) 1)) (- 1 v))) 9/2)) (+ (* (pow (* r r) -1) 2) 3) (pow (* r r) -1) (* r r) r -1 2 3 (+ (* (* (+ (* -2 v) 3) 1/8) (/ (* (pow (* r w) 1) (pow (* r w) 1)) (- 1 v))) 9/2) (* (+ (* -2 v) 3) 1/8) (+ (* -2 v) 3) -2 v 1/8 (/ (* (pow (* r w) 1) (pow (* r w) 1)) (- 1 v)) (* (pow (* r w) 1) (pow (* r w) 1)) (pow (* r w) 1) (* r w) w 1 (- 1 v) 9/2 (- (- (+ 3 (/ 2 (* r r))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) 9/2) (* (- (* (/ (pow (* r r) -1) w) (/ 2 w)) (+ (* (/ (* (* r r) (+ (* -2 v) 3)) (- 1 v)) 1/8) (* (pow (* w w) -1) 3/2))) (* w w)) (- (* (/ (pow (* r r) -1) w) (/ 2 w)) (+ (* (/ (* (* r r) (+ (* -2 v) 3)) (- 1 v)) 1/8) (* (pow (* w w) -1) 3/2))) (* (/ (pow (* r r) -1) w) (/ 2 w)) (/ (pow (* r r) -1) w) (/ 2 w) (+ (* (/ (* (* r r) (+ (* -2 v) 3)) (- 1 v)) 1/8) (* (pow (* w w) -1) 3/2)) (/ (* (* r r) (+ (* -2 v) 3)) (- 1 v)) (* (* r r) (+ (* -2 v) 3)) (* (pow (* w w) -1) 3/2) (pow (* w w) -1) (* w w) 3/2 (- (- (+ 3 (/ 2 (* r r))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) 9/2) (- (- (* (pow (* r r) -1) 2) 3/2) (* (* 1/4 (* r r)) (* w w))) (- (* (pow (* r r) -1) 2) 3/2) (* (pow (* r r) -1) 2) (* (* 1/4 (* r r)) (* w w)) (* 1/4 (* r r)) 1/4 (- (- (+ 3 (/ 2 (* r r))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* w (* w r)) r)) (- 1 v))) 9/2) (- (+ 3 (/ 2 (* r r))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* w (* w r)) r)) (- 1 v))) (+ 3 (/ 2 (* r r))) (/ 2 (* r r)) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* w (* w r)) r)) (- 1 v)) (* (* 1/8 (- 3 (* 2 v))) (* (* w (* w r)) r)) (* 1/8 (- 3 (* 2 v))) (- 3 (* 2 v)) (* 2 v) (* (* w (* w r)) r) (* w (* w r)) (* w r) (/ (- (pow (- (+ (* (pow (* r r) -1) 2) 3) (* (* (+ (* -2 v) 3) 1/8) (/ (* (pow (* r w) 1) (pow (* r w) 1)) (- 1 v)))) 3) 729/8) (+ (* (neg (- (+ (* (pow (* r r) -1) 2) 3) (* (* (+ (* -2 v) 3) 1/8) (/ (* (pow (* r w) 1) (pow (* r w) 1)) (- 1 v))))) (neg (- (+ (* (pow (* r r) -1) 2) 3) (* (* (+ (* -2 v) 3) 1/8) (/ (* (pow (* r w) 1) (pow (* r w) 1)) (- 1 v)))))) (+ 81/4 (* (- (+ (* (pow (* r r) -1) 2) 3) (* (* (+ (* -2 v) 3) 1/8) (/ (* (pow (* r w) 1) (pow (* r w) 1)) (- 1 v)))) 9/2)))) (- (pow (- (+ (* (pow (* r r) -1) 2) 3) (* (* (+ (* -2 v) 3) 1/8) (/ (* (pow (* r w) 1) (pow (* r w) 1)) (- 1 v)))) 3) 729/8) (pow (- (+ (* (pow (* r r) -1) 2) 3) (* (* (+ (* -2 v) 3) 1/8) (/ (* (pow (* r w) 1) (pow (* r w) 1)) (- 1 v)))) 3) (- (+ (* (pow (* r r) -1) 2) 3) (* (* (+ (* -2 v) 3) 1/8) (/ (* (pow (* r w) 1) (pow (* r w) 1)) (- 1 v)))) (* (* (+ (* -2 v) 3) 1/8) (/ (* (pow (* r w) 1) (pow (* r w) 1)) (- 1 v))) 729/8 (+ (* (neg (- (+ (* (pow (* r r) -1) 2) 3) (* (* (+ (* -2 v) 3) 1/8) (/ (* (pow (* r w) 1) (pow (* r w) 1)) (- 1 v))))) (neg (- (+ (* (pow (* r r) -1) 2) 3) (* (* (+ (* -2 v) 3) 1/8) (/ (* (pow (* r w) 1) (pow (* r w) 1)) (- 1 v)))))) (+ 81/4 (* (- (+ (* (pow (* r r) -1) 2) 3) (* (* (+ (* -2 v) 3) 1/8) (/ (* (pow (* r w) 1) (pow (* r w) 1)) (- 1 v)))) 9/2))) (neg (- (+ (* (pow (* r r) -1) 2) 3) (* (* (+ (* -2 v) 3) 1/8) (/ (* (pow (* r w) 1) (pow (* r w) 1)) (- 1 v))))) (+ 81/4 (* (- (+ (* (pow (* r r) -1) 2) 3) (* (* (+ (* -2 v) 3) 1/8) (/ (* (pow (* r w) 1) (pow (* r w) 1)) (- 1 v)))) 9/2)) 81/4 (* (- (+ (* (pow (* r r) -1) 2) 3) (* (* (+ (* -2 v) 3) 1/8) (/ (* (pow (* r w) 1) (pow (* r w) 1)) (- 1 v)))) 9/2))
111.0ms	d	@	inf	((+ (+ (+ c d) e) (+ b a)) (+ (+ c d) e) (+ c d) c d e (+ b a) b a (+ (+ (+ (+ e d) c) b) a) (* (* -1 a) (- (* -1 (+ (/ (+ b c) a) (/ (+ d e) a))) 1)) (* -1 a) -1 (- (* -1 (+ (/ (+ b c) a) (/ (+ d e) a))) 1) (* -1 (+ (/ (+ b c) a) (/ (+ d e) a))) (+ (/ (+ b c) a) (/ (+ d e) a)) (/ (+ b c) a) (+ b c) (/ (+ d e) a) (+ d e) 1 (+ (+ (+ (+ e d) c) b) a) (* (* (- (* (/ (+ (+ (+ c d) b) a) e) -1) 1) e) -1) (* (- (* (/ (+ (+ (+ c d) b) a) e) -1) 1) e) (- (* (/ (+ (+ (+ c d) b) a) e) -1) 1) (* (/ (+ (+ (+ c d) b) a) e) -1) (/ (+ (+ (+ c d) b) a) e) (+ (+ (+ c d) b) a) (+ (+ c d) b) (+ (+ (+ (+ e d) c) b) a) (+ (* 1 d) (* (/ (+ (+ (+ c e) b) a) d) d)) (* (/ (+ (+ (+ c e) b) a) d) d) (/ (+ (+ (+ c e) b) a) d) (+ (+ (+ c e) b) a) (+ (+ c e) b) (+ c e) (+ (+ (+ (+ e d) c) b) a) (+ (* 1 e) (* (/ (+ (+ (+ c d) b) a) e) e)) (* (/ (+ (+ (+ c d) b) a) e) e))
102.0ms	t	@	-inf	((+ (* (+ 1 (* t 1/5000000000000000)) (+ 1 (* t 1/5000000000000000))) (- -1 (* 2 (* t 1/5000000000000000)))) (* (* (* t t) 1/5000000000000000) 1/5000000000000000) (* (* t t) 1/5000000000000000) (* t t) t 1/5000000000000000 (+ (* (+ 1 (* t 1/5000000000000000)) (+ 1 (* t 1/5000000000000000))) (- -1 (* 2 (* t 1/5000000000000000)))) (* (+ (cosh (* (log t) 2)) (sinh (* (log t) 2))) 1/25000000000000000000000000000000) (+ (cosh (* (log t) 2)) (sinh (* (log t) 2))) (cosh (* (log t) 2)) (* (log t) 2) (log t) 2 (sinh (* (log t) 2)) 1/25000000000000000000000000000000)
75.0ms	x	@	-inf	((/ (- x (sin x)) (tan x)) (/ (+ (* (pow (* (* x x) 1/6) 3/2) (pow (* (* x x) 1/6) 3/2)) (pow (* (* (- (* (/ (- (* 20449/365783040000 (pow (* x x) 2)) 121/228614400) (+ (* (* x x) -143/604800) 11/15120)) (* x x)) 23/360) (* x x)) (* x x)) 3)) (+ (* (neg (* -1/6 (* x x))) (neg (* -1/6 (* x x)))) (- (* (* (* (- (* (/ (- (* 20449/365783040000 (pow (* x x) 2)) 121/228614400) (+ (* (* x x) -143/604800) 11/15120)) (* x x)) 23/360) (* x x)) (* x x)) (* (* (- (* (/ (- (* 20449/365783040000 (pow (* x x) 2)) 121/228614400) (+ (* (* x x) -143/604800) 11/15120)) (* x x)) 23/360) (* x x)) (* x x))) (* (* (* x x) 1/6) (* (* (- (* (/ (- (* 20449/365783040000 (pow (* x x) 2)) 121/228614400) (+ (* (* x x) -143/604800) 11/15120)) (* x x)) 23/360) (* x x)) (* x x)))))) (* (* 1/216 (* x x)) 36) (* 1/216 (* x x)) 1/216 (* x x) x 36 (/ (- x (sin x)) (tan x)) (* (/ (- (* (* 1/6 x) (* 1/6 x)) (* (* (* (* (- (* (* x x) -11/15120) 23/360) x) x) x) (* (* (* (- (* (* x x) -11/15120) 23/360) x) x) x))) (- (* 1/6 x) (* (* (* (- (* (* x x) -11/15120) 23/360) x) x) x))) x) (/ (- (* (* 1/6 x) (* 1/6 x)) (* (* (* (* (- (* (* x x) -11/15120) 23/360) x) x) x) (* (* (* (- (* (* x x) -11/15120) 23/360) x) x) x))) (- (* 1/6 x) (* (* (* (- (* (* x x) -11/15120) 23/360) x) x) x))) (- (* (* 1/6 x) (* 1/6 x)) (* (* (* (* (- (* (* x x) -11/15120) 23/360) x) x) x) (* (* (* (- (* (* x x) -11/15120) 23/360) x) x) x))) (* (* x x) 1/36) 1/36 (- (* 1/6 x) (* (* (* (- (* (* x x) -11/15120) 23/360) x) x) x)) (* 1/6 x) 1/6 (* (* (* (- (* (* x x) -11/15120) 23/360) x) x) x) (* (* (- (* (* x x) -11/15120) 23/360) x) x) (* (- (* (* x x) -11/15120) 23/360) x) (- (* (* x x) -11/15120) 23/360) (* (* x x) -11/15120) -11/15120 23/360 (/ (- x (sin x)) (tan x)) (/ (* (- (* (* x x) 1/36) (* (pow (* (- (* (* x x) -11/15120) 23/360) x) 2) (pow (* x x) 2))) x) (/ (- (* (* x x) 1/36) (* (pow (* (- (* (* x x) -11/15120) 23/360) x) 2) (pow (* x x) 2))) (* (+ (* (- (* (* x x) -11/15120) 23/360) (* x x)) 1/6) x))) (* (- (* (* x x) 1/36) (* (pow (* (- (* (* x x) -11/15120) 23/360) x) 2) (pow (* x x) 2))) x) (- (* (* x x) 1/36) (* (pow (* (- (* (* x x) -11/15120) 23/360) x) 2) (pow (* x x) 2))) (* (pow (* (- (* (* x x) -11/15120) 23/360) x) 2) (pow (* x x) 2)) (pow (* (- (* (* x x) -11/15120) 23/360) x) 2) 2 (pow (* x x) 2) (/ (- (* (* x x) 1/36) (* (pow (* (- (* (* x x) -11/15120) 23/360) x) 2) (pow (* x x) 2))) (* (+ (* (- (* (* x x) -11/15120) 23/360) (* x x)) 1/6) x)) (* (+ (* (- (* (* x x) -11/15120) 23/360) (* x x)) 1/6) x) (+ (* (- (* (* x x) -11/15120) 23/360) (* x x)) 1/6) (/ (- x (sin x)) (tan x)) (- x (sin x)) (+ (* (* (* (+ (cosh (* (log x) 2)) (sinh (* (log x) 2))) x) (* x x)) (- (* (* (+ (* -1/362880 (* x x)) 1/5040) x) x) 1/120)) (* (pow x 3) 1/6)) (* (* (+ (cosh (* (log x) 2)) (sinh (* (log x) 2))) x) (* x x)) (* (+ (cosh (* (log x) 2)) (sinh (* (log x) 2))) x) (+ (cosh (* (log x) 2)) (sinh (* (log x) 2))) (cosh (* (log x) 2)) (* (log x) 2) (log x) (sinh (* (log x) 2)) (- (* (* (+ (* -1/362880 (* x x)) 1/5040) x) x) 1/120) (* (* (+ (* -1/362880 (* x x)) 1/5040) x) x) (* (+ (* -1/362880 (* x x)) 1/5040) x) (+ (* -1/362880 (* x x)) 1/5040) -1/362880 1/5040 1/120 (* (pow x 3) 1/6) (pow x 3) 3 (tan x))

analyze4.0s (2.5%)

Memory

109.6MiB live, 5 028.7MiB allocated; 1.4s collecting garbage

Algorithm

43×	search
2×	random

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	54.5%	45.5%	0%	0%	0%	0
21.4%	11.7%	42.9%	45.5%	0%	0%	0%	1
37.4%	20.4%	34.1%	45.5%	0%	0%	0%	2
48.7%	26.2%	27.7%	45.5%	0%	0.6%	0%	3
57.7%	30.7%	22.6%	45.5%	0%	1.2%	0%	4
71.2%	37.7%	15.3%	45.5%	0%	1.6%	0%	5
72.9%	38.4%	14.3%	45.5%	0%	1.8%	0%	6
77.9%	40.7%	11.6%	45.5%	0%	2.2%	0%	7
81.5%	42.6%	9.7%	45.5%	0%	2.3%	0%	8
84.1%	43.8%	8.3%	45.5%	0%	2.5%	0%	9
86.2%	44.6%	7.2%	45.5%	0%	2.7%	0%	10
88.2%	45.6%	6.1%	45.5%	0%	2.8%	0%	11
89.1%	45.9%	5.6%	45.5%	0%	2.9%	0%	12

Compiler

Compiled 1 402 to 721 computations (48.6% saved)

derivations3.3s (2%)

Memory

-168.7MiB live, 2 710.4MiB allocated; 413ms collecting garbage

Stop Event

34×	done
8×	fuel

Compiler

Compiled 10 681 to 1 999 computations (81.3% saved)

simplify2.5s (1.5%)

Memory

-40.1MiB live, 2 120.3MiB allocated; 1.3s collecting garbage

Stop Event

37×	node limit
5×	saturated

regimes1.7s (1%)

Memory

-13.2MiB live, 2 530.0MiB allocated; 485ms collecting garbage

Counts

939 → 248

Calls

94 calls:

322.0ms	x
121.0ms	b
88.0ms	d
73.0ms	(.f64 (cos.f64 x) (exp.f64 (.f64 #s(literal 10 binary64) (*.f64 x x))))
71.0ms	c

Compiler

Compiled 3 328 to 2 743 computations (17.6% saved)

bsearch1.5s (0.9%)

Memory

-38.4MiB live, 1 728.0MiB allocated; 356ms collecting garbage

Algorithm

81×	binary-search
23×	left-value

Stop Event

73×	narrow-enough
8×	predicate-same

Samples

588.0ms	5 699×	0	valid
158.0ms	579×	1	valid
158.0ms	243×	2	valid
67.0ms	537×	0	invalid
4.0ms	7×	3	valid
0.0ms	1×	0	exit

Compiler

Compiled 40 345 to 24 939 computations (38.2% saved)

Precisions

Click to see histograms. Total time spent on operations: 747.0ms

ival-mult: 238.0ms (31.8% of total)

ival-sub: 138.0ms (18.5% of total)

ival-div: 125.0ms (16.7% of total)

ival-pow: 122.0ms (16.3% of total)

ival-add: 39.0ms (5.2% of total)

adjust: 38.0ms (5.1% of total)

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

ival-sqrt: 15.0ms (2% of total)

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

ival-assert: 3.0ms (0.4% of total)

exact: 3.0ms (0.4% of total)

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

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

start3.0ms (0%)

Memory: 6.4MiB live, 6.3MiB allocated; 0ms collecting garbage

end0.0ms (0%)

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

sample1.1min (39.9%)

rewrite25.0s (15.4%)

prune23.8s (14.7%)

eval9.8s (6%)

preprocess9.8s (6%)

explain9.6s (5.9%)

series6.7s (4.1%)

analyze4.0s (2.5%)

derivations3.3s (2%)

simplify2.5s (1.5%)

regimes1.7s (1%)

bsearch1.5s (0.9%)

start3.0ms (0%)

end0.0ms (0%)

Profiling