Metrics for Herbie run

Date:	Monday, December 16th, 2024
Commit:	e7208c1b on no-localize
Hostname:	nightly with Racket 8.10
Seed:	2024351
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:	281 587.8 MB

sample1.3min (31.6%)

Memory

1 267.9MiB live, 95 359.6MiB allocated; 33.9s collecting garbage

Samples

32.1s	284 745×	0	valid
14.6s	44 255×	1	valid
8.1s	17 329×	2	valid
867.0ms	423×	3	valid
381.0ms	4 191×	0	invalid
236.0ms	963×	0	exit
215.0ms	202×	5	exit

Precisions

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

ival-mult: 9.3s (22% of total)

ival-pow: 5.1s (12% of total)

adjust: 4.4s (10.4% of total)

ival-add: 4.1s (9.6% of total)

ival-div: 3.5s (8.2% of total)

const: 3.0s (7% of total)

ival-sub: 2.9s (6.7% of total)

ival-<=: 2.2s (5.3% of total)

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

ival-cos: 1.7s (4% of total)

ival-neg: 830.0ms (2% of total)

ival-exp: 552.0ms (1.3% of total)

ival-sqrt: 538.0ms (1.3% of total)

exact: 439.0ms (1% of total)

ival-pow2: 375.0ms (0.9% of total)

ival-and: 371.0ms (0.9% of total)

ival-==: 332.0ms (0.8% of total)

ival-atan: 175.0ms (0.4% of total)

ival-true: 142.0ms (0.3% of total)

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

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

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

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

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

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

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

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

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

Bogosity

rewrite35.1s (14.1%)

Memory

311.7MiB live, 39 059.9MiB allocated; 7.9s collecting garbage

Stop Event

298×	iter limit
146×	node limit
11×	saturated

Counts

3 458 → 81 784

derivations31.3s (12.6%)

Memory

230.1MiB live, 24 018.1MiB allocated; 3.9s collecting garbage

Stop Event

262×	iter limit
172×	node limit
25×	fuel
17×	done
6×	saturated

Compiler

Compiled 32 141 to 2 784 computations (91.3% saved)

simplify29.0s (11.7%)

Memory

167.2MiB live, 29 981.2MiB allocated; 6.5s collecting garbage

Algorithm

192×	egg-herbie

Stop Event

172×	node limit
148×	iter limit
25×	saturated

Counts

12 519 → 12 230

eval26.5s (10.7%)

Memory: 313.2MiB live, 35 296.0MiB allocated; 9.5s collecting garbage
Compiler: Compiled 6 676 774 to 499 545 computations (92.5% saved)

explain10.8s (4.3%)

Memory

-257.0MiB live, 12 954.3MiB allocated; 3.6s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`#f`	cancellation	1305	2
`+.f64`	`#f`	cancellation	360	86
`-.f64`	(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))	oflow-left	225	0
`sqrt.f64`	`#f`	oflow-rescue	184	0
`log.f64`	`(log.f64 (+.f64 #s(literal 1 binary64) x))`	sensitivity	172	0
`/.f64`	`#f`	o/o	155	0
`/.f64`	`#f`	n/o	144	0
`-.f64`	`#f`	nan-rescue	116	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	sensitivity	113	1
`/.f64`	`#f`	u/n	66	0
`/.f64`	`#f`	o/n	50	0
`/.f64`	`#f`	u/u	47	0
`*.f64`	`#f`	*nu**	46	0
`/.f64`	`#f`	n/u	45	0
`+.f64`	`#f`	nan-rescue	37	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	oflow-rescue	20	0
↳	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	overflow	40
↳	`(/.f64 i n)`	overflow	20
↳	`(+.f64 #s(literal 1 binary64) (/.f64 i n))`	overflow	20
`*.f64`	`#f`	*no**	17	0
`sqrt.f64`	`#f`	uflow-rescue	12	0

Confusion

	Predicted +	Predicted -
+	3826	240
-	105	6581

Precision

0.9732892393792928

Recall

0.940973930152484

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3826	154	86
-	105	191	6390

Precision?

0.930776426566885

Recall?

0.9788489916379735

Freqs

test

number	freq
0	6821
1	3513
2	378
3	40

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	32	1	0
-	0	0	9

Precision?

1.0

Recall?

1.0

Samples

1.6s	16 288×	0	valid
1.3s	3 702×	1	valid
707.0ms	1 488×	2	valid
29.0ms	26×	3	valid

Compiler

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

Precisions

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

ival-mult: 610.0ms (24.2% of total)

adjust: 527.0ms (20.9% of total)

ival-pow: 262.0ms (10.4% of total)

ival-add: 229.0ms (9.1% of total)

ival-sub: 212.0ms (8.4% of total)

ival-div: 206.0ms (8.2% of total)

ival-sin: 133.0ms (5.3% of total)

ival-neg: 82.0ms (3.3% of total)

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

const: 49.0ms (1.9% of total)

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

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

ival-true: 19.0ms (0.8% of total)

exact: 18.0ms (0.7% of total)

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

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

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

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

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

ival-expm1: 3.0ms (0.1% of total)

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

prune9.0s (3.6%)

Memory: -1 041.5MiB live, 12 523.4MiB allocated; 5.2s collecting garbage
Counts: 121 395 → 2 214
Compiler: Compiled 194 103 to 79 929 computations (58.8% saved)

preprocess9.0s (3.6%)

Memory

426.6MiB live, 9 613.0MiB allocated; 1.6s collecting garbage

Algorithm

42×	egg-herbie

Stop Event

82×	iter limit
53×	saturated
33×	node limit

Compiler

Compiled 70 555 to 8 676 computations (87.7% saved)

regimes6.3s (2.5%)

Memory

258.1MiB live, 7 959.0MiB allocated; 1.1s collecting garbage

Counts

5 803 → 558

Calls

96 calls:

717.0ms	x
364.0ms	x1
363.0ms	(.f64 (cos.f64 x) (exp.f64 (.f64 #s(literal 10 binary64) (*.f64 x x))))
347.0ms	b
237.0ms	c

Compiler

Compiled 7 336 to 5 021 computations (31.6% saved)

analyze5.3s (2.1%)

Memory

-205.8MiB live, 5 853.1MiB allocated; 2.8s 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)

series4.4s (1.8%)

Memory

125.2MiB live, 5 683.9MiB allocated; 804ms collecting garbage

Counts

3 458 → 12 519

Calls

882 calls:

Time	Variable		Point	Expression
235.0ms	y	@	0	((+ (- (* 9 (pow x 4)) (pow y 4)) (* 2 (* y y))) (- (* 9 (pow x 4)) (pow y 4)) (* 9 (pow x 4)) 9 (pow x 4) x 4 (pow y 4) y (* 2 (* y y)) 2 (* y y))
73.0ms	x1	@	inf	((+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))) (+ (* x2 -6) (* (+ (* (+ (* (+ (* -2 x2) (neg (- (* x2 2) 3))) 2) (+ (* 14 x2) (- (+ (* 6 x2) 9) 6))) x1) (- (* (* (- (* x2 2) 3) x2) 4) 1)) x1)) x2 -6 (* (+ (* (+ (* (+ (* -2 x2) (neg (- (* x2 2) 3))) 2) (+ (* 14 x2) (- (+ (* 6 x2) 9) 6))) x1) (- (* (* (- (* x2 2) 3) x2) 4) 1)) x1) (+ (* (+ (* (+ (* -2 x2) (neg (- (* x2 2) 3))) 2) (+ (* 14 x2) (- (+ (* 6 x2) 9) 6))) x1) (- (* (* (- (* x2 2) 3) x2) 4) 1)) (+ (* (+ (* -2 x2) (neg (- (* x2 2) 3))) 2) (+ (* 14 x2) (- (+ (* 6 x2) 9) 6))) (+ (* -2 x2) (neg (- (* x2 2) 3))) -2 (neg (- (* x2 2) 3)) (- (* x2 2) 3) (* x2 2) 2 3 (+ (* 14 x2) (- (+ (* 6 x2) 9) 6)) 14 (- (+ (* 6 x2) 9) 6) (+ (* 6 x2) 9) 6 9 x1 (- (* (* (- (* x2 2) 3) x2) 4) 1) (* (* (- (* x2 2) 3) x2) 4) (* (- (* x2 2) 3) x2) 4 1 (+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))) (+ (* (- (+ (* (* 4 x2) (- (* 2 x2) 3)) (* (+ (* (+ (* -2 x2) (neg (- (* 2 x2) 3))) 2) (- (+ (* (- 3 (* -2 x2)) 3) (* x2 14)) 6)) x1)) 1) x1) (* -6 x2)) (* (- (* 9 x1) 1) x1) (- (* 9 x1) 1) (* 9 x1) (+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))) (+ (* (- (+ (* (* 4 x2) (- (* 2 x2) 3)) (* (+ (* (+ (* -2 x2) (neg (- (* 2 x2) 3))) 2) (- (+ (* (- 3 (* -2 x2)) 3) (* x2 14)) 6)) x1)) 1) x1) (* -6 x2)) (+ (* (+ (* (* x2 x1) 8) (- (* (- (* 12 x1) 12) x1) 6)) x2) (* (- (* 9 x1) 1) x1)) (+ (* (* x2 x1) 8) (- (* (- (* 12 x1) 12) x1) 6)) (* x2 x1) 8 (- (* (- (* 12 x1) 12) x1) 6) (* (- (* 12 x1) 12) x1) (- (* 12 x1) 12) (* 12 x1) 12 (+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))) (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (* (+ (* (/ (+ (* (/ (- (* (- (* x2 2) 3) 4) 6) x1) -1) 4) x1) -1) 6) (* x1 x1)) (+ (* (/ (+ (* (/ (- (* (- (* x2 2) 3) 4) 6) x1) -1) 4) x1) -1) 6) (/ (+ (* (/ (- (* (- (* x2 2) 3) 4) 6) x1) -1) 4) x1) (+ (* (/ (- (* (- (* x2 2) 3) 4) 6) x1) -1) 4) (/ (- (* (- (* x2 2) 3) 4) 6) x1) (- (* (- (* x2 2) 3) 4) 6) (* (- (* x2 2) 3) 4) -1 (* x1 x1) (+ (* x1 x1) 1) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* (* 3 x1) x1) (* 3 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* (* 3 x1) x1) (* 2 x2)) (* 2 x2) (* (* x1 x1) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- 9 (/ 3 x1)) (/ 3 x1) (+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))) (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (+ (* (+ (* (- (+ (* (+ (* -2 x2) (neg (- (* 2 x2) 3))) 2) (+ (* x2 14) (* (+ (* (- (+ (+ (* (- (* 2 x2) 3) 3) 1) (* (+ (* -2 x2) 3) (* 2 x2))) (* (* (- (* 2 x2) 3) x2) 2)) 2) (- (* (* (- (* 2 x2) 3) x2) 4) 6)) x1))) 6) x1) (* (* (- (* 2 x2) 3) x2) 4)) x1) x1) (+ (* (- (+ (* (+ (* -2 x2) (neg (- (* 2 x2) 3))) 2) (+ (* x2 14) (* (+ (* (- (+ (+ (* (- (* 2 x2) 3) 3) 1) (* (+ (* -2 x2) 3) (* 2 x2))) (* (* (- (* 2 x2) 3) x2) 2)) 2) (- (* (* (- (* 2 x2) 3) x2) 4) 6)) x1))) 6) x1) (* (* (- (* 2 x2) 3) x2) 4)) (- (+ (* (+ (* -2 x2) (neg (- (* 2 x2) 3))) 2) (+ (* x2 14) (* (+ (* (- (+ (+ (* (- (* 2 x2) 3) 3) 1) (* (+ (* -2 x2) 3) (* 2 x2))) (* (* (- (* 2 x2) 3) x2) 2)) 2) (- (* (* (- (* 2 x2) 3) x2) 4) 6)) x1))) 6) (+ (* (+ (* -2 x2) (neg (- (* 2 x2) 3))) 2) (+ (* x2 14) (* (+ (* (- (+ (+ (* (- (* 2 x2) 3) 3) 1) (* (+ (* -2 x2) 3) (* 2 x2))) (* (* (- (* 2 x2) 3) x2) 2)) 2) (- (* (* (- (* 2 x2) 3) x2) 4) 6)) x1))) (+ (* -2 x2) (neg (- (* 2 x2) 3))) (neg (- (* 2 x2) 3)) (- (* 2 x2) 3) (+ (* x2 14) (* (+ (* (- (+ (+ (* (- (* 2 x2) 3) 3) 1) (* (+ (* -2 x2) 3) (* 2 x2))) (* (* (- (* 2 x2) 3) x2) 2)) 2) (- (* (* (- (* 2 x2) 3) x2) 4) 6)) x1)) (* (+ (* (- (+ (+ (* (- (* 2 x2) 3) 3) 1) (* (+ (* -2 x2) 3) (* 2 x2))) (* (* (- (* 2 x2) 3) x2) 2)) 2) (- (* (* (- (* 2 x2) 3) x2) 4) 6)) x1) (+ (* (- (+ (+ (* (- (* 2 x2) 3) 3) 1) (* (+ (* -2 x2) 3) (* 2 x2))) (* (* (- (* 2 x2) 3) x2) 2)) 2) (- (* (* (- (* 2 x2) 3) x2) 4) 6)) (- (+ (+ (* (- (* 2 x2) 3) 3) 1) (* (+ (* -2 x2) 3) (* 2 x2))) (* (* (- (* 2 x2) 3) x2) 2)) (+ (+ (* (- (* 2 x2) 3) 3) 1) (* (+ (* -2 x2) 3) (* 2 x2))) (+ (* (- (* 2 x2) 3) 3) 1) (* (+ (* -2 x2) 3) (* 2 x2)) (+ (* -2 x2) 3) (* (* (- (* 2 x2) 3) x2) 2) (* (- (* 2 x2) 3) x2) (- (* (* (- (* 2 x2) 3) x2) 4) 6) (* (* (- (* 2 x2) 3) x2) 4) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (- (* (* 3 x1) x1) (* 2 x2)) (+ (* x1 x1) 1) (* (+ (/ 1 (* x1 x1)) 1) (* x1 x1)) (+ (/ 1 (* x1 x1)) 1) (/ 1 (* x1 x1)))
68.0ms	a	@	inf	((* (* (/ 1 (* 2 (+ a b))) (/ (PI) (- b a))) (- (/ 1 a) (/ 1 b))) (* (/ 1 (* 2 (+ a b))) (/ (PI) (- b a))) (/ 1 (* 2 (+ a b))) 1 (* 2 (+ a b)) 2 (+ a b) a b (/ (PI) (- b a)) (PI) (- b a) (- (/ 1 a) (/ 1 b)) (/ 1 a) (/ 1 b) (* (* (/ (PI) 2) (/ 1 (- (* b b) (* a a)))) (- (/ 1 a) (/ 1 b))) (* (/ (PI) (* (* a a) b)) 1/2) (/ (PI) (* (* a a) b)) (* (* a a) b) (* a a) 1/2 (/ (* (PI) (/ (- b a) (* (* (+ a b) (- b a)) (* a b)))) 2) (* (PI) (/ (- b a) (* (* (+ a b) (- b a)) (* a b)))) (/ (- b a) (* (* (+ a b) (- b a)) (* a b))) (* (* (+ a b) (- b a)) (* a b)) (* (+ a b) (- b a)) (* a b) (* (* (/ (PI) 2) (/ 1 (- (* b b) (* a a)))) (- (/ 1 a) (/ 1 b))) (/ (/ (* (/ -1/2 b) (- (* (/ (PI) b) a) (PI))) b) a) (/ (* (/ -1/2 b) (- (* (/ (PI) b) a) (PI))) b) (* (/ -1/2 b) (- (* (/ (PI) b) a) (PI))) (/ -1/2 b) -1/2 (- (* (/ (PI) b) a) (PI)) (* (/ (PI) b) a) (/ (PI) b) (* (* (/ (PI) 2) (/ 1 (- (* b b) (* a a)))) (- (/ 1 a) (/ 1 b))) (/ (/ (+ (* (/ (PI) b) (+ -1/2 (/ (* 1/2 a) b))) (* (/ (PI) a) 1/2)) b) b) (/ (+ (* (/ (PI) b) (+ -1/2 (/ (* 1/2 a) b))) (* (/ (PI) a) 1/2)) b) (+ (* (/ (PI) b) (+ -1/2 (/ (* 1/2 a) b))) (* (/ (PI) a) 1/2)) (+ -1/2 (/ (* 1/2 a) b)) (/ (* 1/2 a) b) (* 1/2 a) (* (/ (PI) a) 1/2) (/ (PI) a))
56.0ms	x	@	0	((/ (- (exp x) 1) x) (- (exp x) 1) (+ (* (* (+ (* (+ (* 1/24 x) 1/6) x) 1/2) x) x) (* 1 x)) (* (+ (* (+ (* 1/24 x) 1/6) x) 1/2) x) (+ (* (+ (* 1/24 x) 1/6) x) 1/2) (+ (* 1/24 x) 1/6) 1/24 x 1/6 1/2 (* 1 x) 1 (/ (- (exp x) 1) x) (+ (* (+ (* (+ (* 1/24 x) 1/6) x) 1/2) x) 1) (* (* (+ (* 1/24 x) 1/6) x) x) (* (* x x) 1/6) (* x x) (/ (- (exp x) 1) x) (+ (* (+ (* (+ (* 1/24 x) 1/6) x) 1/2) x) 1) (* (+ (* 1/24 x) 1/6) (* x x)) (/ (- (exp x) 1) x) (+ (* (+ (* (+ (* 1/24 x) 1/6) x) 1/2) x) 1) (* (* (- 1/6 (* -1/24 x)) x) x) (* (- 1/6 (* -1/24 x)) x) (- 1/6 (* -1/24 x)) (* -1/24 x) -1/24 (/ (- (exp x) 1) x) (+ (* (+ (* (+ (* 1/24 x) 1/6) x) 1/2) x) 1) (* (* (/ (- 1/36 (* (* -1/24 x) (* -1/24 x))) (+ 1/6 (* -1/24 x))) x) x) (* (/ (- 1/36 (* (* -1/24 x) (* -1/24 x))) (+ 1/6 (* -1/24 x))) x) (/ (- 1/36 (* (* -1/24 x) (* -1/24 x))) (+ 1/6 (* -1/24 x))) (- 1/36 (* (* -1/24 x) (* -1/24 x))) 1/36 (* (* -1/24 x) (* -1/24 x)) (+ 1/6 (* -1/24 x)))
47.0ms	w	@	0	((- (- (+ 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))) 3 (/ 2 (* r r)) 2 (* r 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))) 1/8 (- 3 (* 2 v)) (* 2 v) v (* (* (* w w) r) r) (* (* w w) r) (* w w) w (- 1 v) 1 9/2)

bsearch2.9s (1.2%)

Memory

-151.5MiB live, 3 279.4MiB allocated; 552ms collecting garbage

Algorithm

209×	binary-search
70×	left-value

Stop Event

194×	narrow-enough
14×	predicate-same
1×	predicate-failed

Samples

1.2s	9 765×	0	valid
359.0ms	1 146×	1	valid
133.0ms	960×	0	invalid
82.0ms	204×	2	valid
4.0ms	5×	3	valid

Compiler

Compiled 197 520 to 101 347 computations (48.7% saved)

Precisions

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

ival-mult: 556.0ms (42.5% of total)

ival-div: 169.0ms (12.9% of total)

ival-pow: 154.0ms (11.8% of total)

ival-add: 132.0ms (10.1% of total)

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

adjust: 67.0ms (5.1% of total)

ival-neg: 59.0ms (4.5% of total)

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

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

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

exact: 9.0ms (0.7% of total)

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

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

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

start2.0ms (0%)

Memory: 6.0MiB live, 5.9MiB allocated; 0ms collecting garbage

end0.0ms (0%)

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

sample1.3min (31.6%)

rewrite35.1s (14.1%)

derivations31.3s (12.6%)

simplify29.0s (11.7%)

eval26.5s (10.7%)

explain10.8s (4.3%)

prune9.0s (3.6%)

preprocess9.0s (3.6%)

regimes6.3s (2.5%)

analyze5.3s (2.1%)

series4.4s (1.8%)

bsearch2.9s (1.2%)

start2.0ms (0%)

end0.0ms (0%)

Profiling