Metrics for Herbie run

Date:	Sunday, January 19th, 2025
Commit:	9654b4f9 on unbatch-derivations
Seed:	2025019
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:	465 997.1 MB

sample6.0min (73.8%)

Memory

4 887.3MiB live, 337 352.5MiB allocated; 1.7min collecting garbage

Samples

3.4min	36 475×	0	valid
2.0min	7 055×	5	exit
3.2s	484×	1	valid
2.4s	308×	2	valid
2.0ms	1×	3	valid

Precisions

Click to see histograms. Total time spent on operations: 2.8min

const: 38.2s (22.5% of total)

ival-fmax: 19.8s (11.7% of total)

ival-exp: 14.8s (8.7% of total)

ival-sub: 13.9s (8.2% of total)

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

adjust: 12.4s (7.3% of total)

ival-pow2: 11.6s (6.8% of total)

ival-mult: 11.4s (6.7% of total)

ival-log: 10.6s (6.2% of total)

ival-fmin: 6.7s (4% of total)

ival-neg: 5.3s (3.1% of total)

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

ival-div: 4.4s (2.6% of total)

ival-sin: 1.4s (0.8% of total)

ival-cos: 832.0ms (0.5% of total)

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

exact: 228.0ms (0.1% of total)

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

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

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

Bogosity

localize47.5s (9.7%)

Memory

753.7MiB live, 38 554.5MiB allocated; 7.3s collecting garbage

Samples

6.2s	3 309×	0	valid
3.1s	189×	1	valid
1.9s	48×	5	exit
1.5s	64×	2	valid
912.0ms	86×	3	valid
211.0ms	23×	4	valid

Compiler

Compiled 1 282 130 to 3 784 computations (99.7% saved)

Precisions

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

adjust: 1.4s (19.7% of total)

ival-fmax: 1.3s (18.5% of total)

const: 1.1s (15.5% of total)

ival-sub: 794.0ms (11.4% of total)

ival-add: 565.0ms (8.1% of total)

ival-fmin: 530.0ms (7.6% of total)

ival-pow2: 352.0ms (5% of total)

ival-sin: 246.0ms (3.5% of total)

ival-mult: 214.0ms (3.1% of total)

ival-neg: 191.0ms (2.7% of total)

ival-sqrt: 155.0ms (2.2% of total)

ival-cos: 95.0ms (1.4% of total)

ival-hypot: 42.0ms (0.6% of total)

ival-div: 28.0ms (0.4% of total)

exact: 17.0ms (0.2% of total)

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

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

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

explain23.9s (4.9%)

Memory

-543.7MiB live, 25 580.8MiB allocated; 4.2s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	2656
`sin.f64`	`#f`	sensitivity	397
`cos.f64`	`#f`	sensitivity	396
`cos.f64`	`#f`	oflow-rescue	3
`sin.f64`	`#f`	oflow-rescue	3
`-.f64`	`(-.f64 (fabs.f64 (+.f64 (+.f64 (.f64 (sin.f64 (.f64 x #s(literal 30 binary64))) (cos.f64 (.f64 y #s(literal 30 binary64)))) (.f64 (sin.f64 (.f64 y #s(literal 30 binary64))) (cos.f64 (.f64 z #s(literal 30 binary64))))) (.f64 (sin.f64 (.f64 z #s(literal 30 binary64))) (cos.f64 (*.f64 x #s(literal 30 binary64)))))) #s(literal 1/5 binary64))`	cancellation	1

Confusion

	Predicted +	Predicted -
+	162	1
-	310	551

Precision

0.3432203389830508

Recall

0.9938650306748467

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	162	0	1
-	310	1	550

Precision?

0.34249471458773784

Recall?

0.9938650306748467

Freqs

test

number	freq
0	552
1	1
2	173
3	36
4	26
5	77
6	5
7	27
16	26
17	61
21	40

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3	0	0
-	0	0	1

Precision?

1.0

Recall?

1.0

Samples

2.4s	1 824×	0	valid
1.0s	108×	1	valid
699.0ms	38×	2	valid
685.0ms	24×	5	exit
377.0ms	46×	3	valid
69.0ms	8×	4	valid

Compiler

Compiled 163 835 to 2 695 computations (98.4% saved)

Precisions

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

ival-fmax: 712.0ms (21.6% of total)

const: 602.0ms (18.3% of total)

ival-sub: 448.0ms (13.6% of total)

adjust: 441.0ms (13.4% of total)

ival-add: 278.0ms (8.4% of total)

ival-fmin: 237.0ms (7.2% of total)

ival-pow2: 168.0ms (5.1% of total)

ival-neg: 112.0ms (3.4% of total)

ival-sin: 92.0ms (2.8% of total)

ival-sqrt: 85.0ms (2.6% of total)

ival-cos: 56.0ms (1.7% of total)

ival-mult: 53.0ms (1.6% of total)

exact: 9.0ms (0.3% of total)

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

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

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

analyze21.4s (4.4%)

Memory

472.0MiB live, 25 052.1MiB allocated; 7.1s collecting garbage

Algorithm

6×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
83.3%	83.2%	16.6%	0.1%	0%	0%	0%	1
83.3%	83.2%	16.6%	0.1%	0%	0%	0%	2
83.3%	83.2%	16.6%	0.1%	0%	0%	0%	3
83.3%	83.2%	16.6%	0.1%	0%	0%	0%	4
83.3%	83.2%	16.6%	0.1%	0%	0%	0%	5
83.3%	83.2%	16.6%	0.1%	0%	0%	0%	6
83.9%	83.8%	16.1%	0.1%	0%	0%	0%	7
83.9%	83.8%	16.1%	0.1%	0%	0%	0%	8
84%	83.9%	16%	0.1%	0%	0%	0%	9
84.2%	84.1%	15.7%	0.1%	0%	0%	0%	10
84.4%	84.3%	15.6%	0.1%	0%	0%	0%	11
84.5%	84.4%	15.4%	0.1%	0%	0%	0%	12

Compiler

Compiled 47 433 to 9 150 computations (80.7% saved)

eval16.4s (3.4%)

Memory: 250.5MiB live, 20 730.5MiB allocated; 3.7s collecting garbage
Compiler: Compiled 20 833 102 to 138 614 computations (99.3% saved)

simplify11.9s (2.4%)

Memory

178.7MiB live, 11 078.8MiB allocated; 4.2s collecting garbage

Stop Event

44×	iter limit
32×	node limit

Counts

1 906 → 1 906

rewrite2.4s (0.5%)

Memory

-15.4MiB live, 2 468.1MiB allocated; 391ms collecting garbage

Stop Event

39×	iter limit
14×	node limit

Counts

219 → 2 284

prune1.8s (0.4%)

Memory: -30.8MiB live, 2 409.8MiB allocated; 258ms collecting garbage
Counts: 11 270 → 134
Compiler: Compiled 198 170 to 59 081 computations (70.2% saved)

preprocess1.1s (0.2%)

Memory

71.7MiB live, 778.5MiB allocated; 132ms collecting garbage

Stop Event

8×	iter limit
8×	node limit

Compiler

Compiled 3 013 to 893 computations (70.4% saved)

bsearch604.0ms (0.1%)

Memory

4.3MiB live, 744.4MiB allocated; 137ms collecting garbage

Algorithm

14×	binary-search
2×	left-value

Stop Event

14×	narrow-enough

Samples

380.0ms	1 617×	0	valid
39.0ms	58×	1	valid
26.0ms	21×	2	valid

Compiler

Compiled 13 584 to 8 781 computations (35.4% saved)

Precisions

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

ival-sin: 102.0ms (26.3% of total)

ival-cos: 87.0ms (22.4% of total)

ival-pow2: 51.0ms (13.1% of total)

ival-mult: 46.0ms (11.9% of total)

ival-add: 31.0ms (8% of total)

const: 17.0ms (4.4% of total)

ival-sub: 14.0ms (3.6% of total)

ival-fmax: 11.0ms (2.8% of total)

adjust: 11.0ms (2.8% of total)

ival-sqrt: 8.0ms (2.1% of total)

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

exact: 2.0ms (0.5% of total)

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

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

series449.0ms (0.1%)

Memory

2.2MiB live, 568.9MiB allocated; 130ms collecting garbage

Counts

219 → 1 906

Calls

105 calls:

Time	Variable		Point	Expression
18.0ms	z	@	-inf	((fmax (- (sqrt (+ (+ (pow (* x 30) 2) (pow (* y 30) 2)) (pow (* z 30) 2))) 25) (- (fabs (+ (+ (* (sin (* x 30)) (cos (* y 30))) (* (sin (* y 30)) (cos (* z 30)))) (* (sin (* z 30)) (cos (* x 30))))) 1/5)) (- (sqrt (+ (+ (pow (* x 30) 2) (pow (* y 30) 2)) (pow (* z 30) 2))) 25) (sqrt (+ (+ (pow (* x 30) 2) (pow (* y 30) 2)) (pow (* z 30) 2))) (sqrt (+ (* (* -30 z) (* -30 z)) (* (* -30 y) (* -30 y)))) (fmax (- (sqrt (+ (+ (pow (* x 30) 2) (pow (* y 30) 2)) (pow (* z 30) 2))) 25) (- (fabs (+ (+ (* (sin (* x 30)) (cos (* y 30))) (* (sin (* y 30)) (cos (* z 30)))) (* (sin (* z 30)) (cos (* x 30))))) 1/5)) (- (sqrt (+ (+ (pow (* x 30) 2) (pow (* y 30) 2)) (pow (* z 30) 2))) 25) (sqrt (+ (+ (pow (* x 30) 2) (pow (* y 30) 2)) (pow (* z 30) 2))) (* -30 x) (fmax (- (sqrt (+ (+ (pow (* x 30) 2) (pow (* y 30) 2)) (pow (* z 30) 2))) 25) (- (fabs (+ (+ (* (sin (* x 30)) (cos (* y 30))) (* (sin (* y 30)) (cos (* z 30)))) (* (sin (* z 30)) (cos (* x 30))))) 1/5)) (- (sqrt (+ (+ (pow (* x 30) 2) (pow (* y 30) 2)) (pow (* z 30) 2))) 25) (sqrt (+ (+ (pow (* x 30) 2) (pow (* y 30) 2)) (pow (* z 30) 2))) (* 30 y) (fmax (- (sqrt (+ (+ (pow (* x 30) 2) (pow (* y 30) 2)) (pow (* z 30) 2))) 25) (- (fabs (+ (+ (* (sin (* x 30)) (cos (* y 30))) (* (sin (* y 30)) (cos (* z 30)))) (* (sin (* z 30)) (cos (* x 30))))) 1/5)) (- (sqrt (+ (+ (pow (* x 30) 2) (pow (* y 30) 2)) (pow (* z 30) 2))) 25) (sqrt (+ (+ (pow (* x 30) 2) (pow (* y 30) 2)) (pow (* z 30) 2))) (+ (+ (pow (* x 30) 2) (pow (* y 30) 2)) (pow (* z 30) 2)) (fmax (- (sqrt (+ (+ (pow (* x 30) 2) (pow (* y 30) 2)) (pow (* z 30) 2))) 25) (- (fabs (+ (+ (* (sin (* x 30)) (cos (* y 30))) (* (sin (* y 30)) (cos (* z 30)))) (* (sin (* z 30)) (cos (* x 30))))) 1/5)) (- (sqrt (+ (+ (pow (* x 30) 2) (pow (* y 30) 2)) (pow (* z 30) 2))) 25) (sqrt (+ (+ (pow (* x 30) 2) (pow (* y 30) 2)) (pow (* z 30) 2))) (sqrt (+ (* (* -30 y) (* -30 y)) (* (* -30 x) (* -30 x)))) (+ (+ (* (sin (* x 30)) (cos (* y 30))) (* (sin (* y 30)) (cos (* z 30)))) (* (sin (* z 30)) (cos (* x 30)))) (sin (* 30 z)) (sin (* 30 y)) (cos (* -30 z)))
14.0ms	y	@	0	((sqrt (+ (pow (+ 41/10 (* y 10)) 2) (pow (- (* z 10) 33/10) 2))) (sqrt (+ (pow (+ 1 (* z 10)) 2) (pow (- (* x 10) 7/2) 2))) (sqrt (+ (pow (- (* y 10) 2) 2) (pow (+ 1 (* z 10)) 2))) (sqrt (+ (pow (- (* y 10) 11/2) 2) (pow (+ 1 (* z 10)) 2))) (sqrt (+ (+ (pow (- (* z 5) 11/5) 2) (pow (- (* x 10) 97/20) 2)) (pow (+ 63/20 (* y 10)) 2))) (sqrt (+ (+ (pow (- (* z 10) 28/5) 2) (pow (- (* x 10) 21/20) 2)) (pow (+ 63/20 (* y 10)) 2))) (sqrt (+ (+ (pow (- (* z 5) 11/5) 2) (pow (- (* x 10) 21/20) 2)) (pow (+ 63/20 (* y 10)) 2))) (sqrt (+ (+ (pow (+ 131/20 (* x 10)) 2) (pow (- (* z 10) 28/5) 2)) (pow (+ 63/20 (* y 10)) 2))))
10.0ms	x	@	-inf	((* (- 1 (/ 17/20 x)) x) (fmin (fmin (fmin (fmin (fmax (fmax (fmax (- y 11/20) (neg y)) (- x 33/40)) (- 29/40 x)) (- (sqrt (+ (* (- x 31/40) (- x 31/40)) (* (- y 7/10) (- y 7/10)))) 3/40)) (fmax (fmax (fmax (neg y) (- y 11/40)) (- x 11/20)) (- 9/20 x))) (fmax (fmax (fmax (neg y) (- y 1)) (- x 1/10)) (neg x))) (fmax (fmax (fmax (fmax (fmax (- y 11/20) (- x 11/20)) (neg x)) (- 11/40 y)) (- 7/40 (sqrt (+ (* (- x 11/40) (- x 11/40)) (* (- y 11/40) (- y 11/40)))))) (- (sqrt (+ (* (- x 11/40) (- x 11/40)) (* (- y 11/40) (- y 11/40)))) 11/40))) (fmin (fmin (fmin (fmax (fmax (fmax (- y 11/20) (neg y)) (- x 33/40)) (- 29/40 x)) (- (sqrt (+ (* (- x 31/40) (- x 31/40)) (* (- y 7/10) (- y 7/10)))) 3/40)) (fmax (fmax (fmax (neg y) (- y 11/40)) (- x 11/20)) (- 9/20 x))) (fmax (fmax (fmax (neg y) (- y 1)) (- x 1/10)) (neg x))) (fmin (fmin (fmax (fmax (fmax (- y 11/20) (neg y)) (- x 33/40)) (- 29/40 x)) (- (sqrt (+ (* (- x 31/40) (- x 31/40)) (* (- y 7/10) (- y 7/10)))) 3/40)) (fmax (fmax (fmax (neg y) (- y 11/40)) (- x 11/20)) (- 9/20 x))) (fmin (fmin (fmin (fmin (fmax (fmax (fmax (- y 11/20) (neg y)) (- x 33/40)) (- 29/40 x)) (- (sqrt (+ (* (- x 31/40) (- x 31/40)) (* (- y 7/10) (- y 7/10)))) 3/40)) (fmax (fmax (fmax (neg y) (- y 11/40)) (- x 11/20)) (- 9/20 x))) (fmax (fmax (fmax (neg y) (- y 1)) (- x 1/10)) (neg x))) (fmax (fmax (fmax (fmax (fmax (- y 11/20) (- x 11/20)) (neg x)) (- 11/40 y)) (- 7/40 (sqrt (+ (* (- x 11/40) (- x 11/40)) (* (- y 11/40) (- y 11/40)))))) (- (sqrt (+ (* (- x 11/40) (- x 11/40)) (* (- y 11/40) (- y 11/40)))) 11/40))) (fmin (fmin (fmin (fmax (fmax (fmax (- y 11/20) (neg y)) (- x 33/40)) (- 29/40 x)) (- (sqrt (+ (* (- x 31/40) (- x 31/40)) (* (- y 7/10) (- y 7/10)))) 3/40)) (fmax (fmax (fmax (neg y) (- y 11/40)) (- x 11/20)) (- 9/20 x))) (fmax (fmax (fmax (neg y) (- y 1)) (- x 1/10)) (neg x))) (fmin (fmin (fmax (fmax (fmax (- y 11/20) (neg y)) (- x 33/40)) (- 29/40 x)) (- (sqrt (+ (* (- x 31/40) (- x 31/40)) (* (- y 7/10) (- y 7/10)))) 3/40)) (fmax (fmax (fmax (neg y) (- y 11/40)) (- x 11/20)) (- 9/20 x))) (fmin (fmax (fmax (fmax (- y 11/20) (neg y)) (- x 33/40)) (- 29/40 x)) (- (sqrt (+ (* (- x 31/40) (- x 31/40)) (* (- y 7/10) (- y 7/10)))) 3/40)) (fmin (fmin (fmin (fmin (fmax (fmax (fmax (- y 11/20) (neg y)) (/ (+ (* x x) -1089/1600) (+ 33/40 x))) (- 29/40 x)) (- (sqrt (+ (* (- x 31/40) (- x 31/40)) (* (- y 7/10) (- y 7/10)))) 3/40)) (fmax (fmax (fmax (neg y) (- y 11/40)) (- x 11/20)) (- 9/20 x))) (fmax (fmax (fmax (neg y) (- y 1)) (- x 1/10)) (neg x))) (fmax (fmax (fmax (fmax (fmax (- y 11/20) (- x 11/20)) (neg x)) (- 11/40 y)) (- 7/40 (sqrt (+ (* (- x 11/40) (- x 11/40)) (* (- y 11/40) (- y 11/40)))))) (- (sqrt (+ (* (- x 11/40) (- x 11/40)) (* (- y 11/40) (- y 11/40)))) 11/40))) (fmin (fmin (fmin (fmax (fmax (fmax (- y 11/20) (neg y)) (/ (+ (* x x) -1089/1600) (+ 33/40 x))) (- 29/40 x)) (- (sqrt (+ (* (- x 31/40) (- x 31/40)) (* (- y 7/10) (- y 7/10)))) 3/40)) (fmax (fmax (fmax (neg y) (- y 11/40)) (- x 11/20)) (- 9/20 x))) (fmax (fmax (fmax (neg y) (- y 1)) (- x 1/10)) (neg x))) (fmin (fmin (fmax (fmax (fmax (- y 11/20) (neg y)) (/ (+ (* x x) -1089/1600) (+ 33/40 x))) (- 29/40 x)) (- (sqrt (+ (* (- x 31/40) (- x 31/40)) (* (- y 7/10) (- y 7/10)))) 3/40)) (fmax (fmax (fmax (neg y) (- y 11/40)) (- x 11/20)) (- 9/20 x))) (fmin (fmax (fmax (fmax (- y 11/20) (neg y)) (/ (+ (* x x) -1089/1600) (+ 33/40 x))) (- 29/40 x)) (- (sqrt (+ (* (- x 31/40) (- x 31/40)) (* (- y 7/10) (- y 7/10)))) 3/40)) (+ (* (/ x (+ 33/40 x)) x) (/ -1089/1600 (+ 33/40 x))) (fmin (fmin (fmin (fmin (fmax (fmax (fmax (- y 11/20) (neg y)) (+ (* (/ x (+ 33/40 x)) x) (/ -1089/1600 (+ 33/40 x)))) (- 29/40 x)) (- (sqrt (+ (* (- x 31/40) (- x 31/40)) (* (- y 7/10) (- y 7/10)))) 3/40)) (fmax (fmax (fmax (neg y) (- y 11/40)) (- x 11/20)) (- 9/20 x))) (fmax (fmax (fmax (neg y) (- y 1)) (- x 1/10)) (neg x))) (fmax (fmax (fmax (fmax (fmax (- y 11/20) (- x 11/20)) (neg x)) (- 11/40 y)) (- 7/40 (sqrt (+ (* (- x 11/40) (- x 11/40)) (* (- y 11/40) (- y 11/40)))))) (- (sqrt (+ (* (- x 11/40) (- x 11/40)) (* (- y 11/40) (- y 11/40)))) 11/40))) (fmin (fmin (fmin (fmax (fmax (fmax (- y 11/20) (neg y)) (+ (* (/ x (+ 33/40 x)) x) (/ -1089/1600 (+ 33/40 x)))) (- 29/40 x)) (- (sqrt (+ (* (- x 31/40) (- x 31/40)) (* (- y 7/10) (- y 7/10)))) 3/40)) (fmax (fmax (fmax (neg y) (- y 11/40)) (- x 11/20)) (- 9/20 x))) (fmax (fmax (fmax (neg y) (- y 1)) (- x 1/10)) (neg x))) (fmin (fmin (fmax (fmax (fmax (- y 11/20) (neg y)) (+ (* (/ x (+ 33/40 x)) x) (/ -1089/1600 (+ 33/40 x)))) (- 29/40 x)) (- (sqrt (+ (* (- x 31/40) (- x 31/40)) (* (- y 7/10) (- y 7/10)))) 3/40)) (fmax (fmax (fmax (neg y) (- y 11/40)) (- x 11/20)) (- 9/20 x))) (- (sqrt (+ (* (- x 31/40) (- x 31/40)) (* (- y 7/10) (- y 7/10)))) 3/40) (- (sqrt (+ (* (- x 11/40) (- x 11/40)) (* (- y 11/40) (- y 11/40)))) 11/40) (- 7/40 (sqrt (+ (* (- x 11/40) (- x 11/40)) (* (- y 11/40) (- y 11/40))))) (/ 17/20 x) (- 7/40 (sqrt (+ (* (- x 11/40) (- x 11/40)) (* (- y 11/40) (- y 11/40))))) (- (sqrt (+ (* (- x 31/40) (- x 31/40)) (* (- y 7/10) (- y 7/10)))) 3/40) (- x 33/40) (/ (+ (* x x) -1089/1600) (+ 33/40 x)) (/ -1089/1600 (+ 33/40 x)))
10.0ms	x	@	0	((sqrt (+ (pow (+ 41/10 (* y 10)) 2) (pow (- (* z 10) 33/10) 2))) (sqrt (+ (pow (+ 1 (* z 10)) 2) (pow (- (* x 10) 7/2) 2))) (sqrt (+ (pow (- (* y 10) 2) 2) (pow (+ 1 (* z 10)) 2))) (sqrt (+ (pow (- (* y 10) 11/2) 2) (pow (+ 1 (* z 10)) 2))) (sqrt (+ (+ (pow (- (* z 10) 28/5) 2) (pow (- (* x 10) 21/20) 2)) (pow (+ 63/20 (* y 10)) 2))) (sqrt (+ (+ (pow (- (* z 5) 11/5) 2) (pow (- (* x 10) 21/20) 2)) (pow (+ 63/20 (* y 10)) 2))) (sqrt (+ (+ (pow (+ 131/20 (* x 10)) 2) (pow (- (* z 10) 28/5) 2)) (pow (+ 63/20 (* y 10)) 2))) (sqrt (+ (+ (pow (- (* z 10) 28/5) 2) (pow (- (* x 10) 97/20) 2)) (pow (+ 63/20 (* y 10)) 2))) (sqrt (+ (+ (pow (- (* z 10) 28/5) 2) (pow (- (* x 10) 21/20) 2)) (pow (+ 63/20 (* y 10)) 2))) (sqrt (+ (+ (pow (- (* z 5) 11/5) 2) (pow (- (* x 10) 97/20) 2)) (pow (+ 63/20 (* y 10)) 2))) (sqrt (+ (+ (pow (- (* z 10) 28/5) 2) (pow (- (* x 10) 21/20) 2)) (pow (+ 63/20 (* y 10)) 2))) (sqrt (+ (+ (pow (- (* z 10) 28/5) 2) (pow (- (* x 10) 21/20) 2)) (pow (+ 63/20 (* y 10)) 2))) (sqrt (+ (+ (pow (- (* z 5) 11/5) 2) (pow (- (* x 10) 97/20) 2)) (pow (+ 63/20 (* y 10)) 2))))
10.0ms	x	@	inf	((* (- 1 (/ 17/20 x)) x) (fmin (fmin (fmin (fmin (fmax (fmax (fmax (- y 11/20) (neg y)) (- x 33/40)) (- 29/40 x)) (- (sqrt (+ (* (- x 31/40) (- x 31/40)) (* (- y 7/10) (- y 7/10)))) 3/40)) (fmax (fmax (fmax (neg y) (- y 11/40)) (- x 11/20)) (- 9/20 x))) (fmax (fmax (fmax (neg y) (- y 1)) (- x 1/10)) (neg x))) (fmax (fmax (fmax (fmax (fmax (- y 11/20) (- x 11/20)) (neg x)) (- 11/40 y)) (- 7/40 (sqrt (+ (* (- x 11/40) (- x 11/40)) (* (- y 11/40) (- y 11/40)))))) (- (sqrt (+ (* (- x 11/40) (- x 11/40)) (* (- y 11/40) (- y 11/40)))) 11/40))) (fmin (fmin (fmin (fmax (fmax (fmax (- y 11/20) (neg y)) (- x 33/40)) (- 29/40 x)) (- (sqrt (+ (* (- x 31/40) (- x 31/40)) (* (- y 7/10) (- y 7/10)))) 3/40)) (fmax (fmax (fmax (neg y) (- y 11/40)) (- x 11/20)) (- 9/20 x))) (fmax (fmax (fmax (neg y) (- y 1)) (- x 1/10)) (neg x))) (fmin (fmin (fmax (fmax (fmax (- y 11/20) (neg y)) (- x 33/40)) (- 29/40 x)) (- (sqrt (+ (* (- x 31/40) (- x 31/40)) (* (- y 7/10) (- y 7/10)))) 3/40)) (fmax (fmax (fmax (neg y) (- y 11/40)) (- x 11/20)) (- 9/20 x))) (fmin (fmin (fmin (fmin (fmax (fmax (fmax (- y 11/20) (neg y)) (- x 33/40)) (- 29/40 x)) (- (sqrt (+ (* (- x 31/40) (- x 31/40)) (* (- y 7/10) (- y 7/10)))) 3/40)) (fmax (fmax (fmax (neg y) (- y 11/40)) (- x 11/20)) (- 9/20 x))) (fmax (fmax (fmax (neg y) (- y 1)) (- x 1/10)) (neg x))) (fmax (fmax (fmax (fmax (fmax (- y 11/20) (- x 11/20)) (neg x)) (- 11/40 y)) (- 7/40 (sqrt (+ (* (- x 11/40) (- x 11/40)) (* (- y 11/40) (- y 11/40)))))) (- (sqrt (+ (* (- x 11/40) (- x 11/40)) (* (- y 11/40) (- y 11/40)))) 11/40))) (fmin (fmin (fmin (fmax (fmax (fmax (- y 11/20) (neg y)) (- x 33/40)) (- 29/40 x)) (- (sqrt (+ (* (- x 31/40) (- x 31/40)) (* (- y 7/10) (- y 7/10)))) 3/40)) (fmax (fmax (fmax (neg y) (- y 11/40)) (- x 11/20)) (- 9/20 x))) (fmax (fmax (fmax (neg y) (- y 1)) (- x 1/10)) (neg x))) (fmin (fmin (fmax (fmax (fmax (- y 11/20) (neg y)) (- x 33/40)) (- 29/40 x)) (- (sqrt (+ (* (- x 31/40) (- x 31/40)) (* (- y 7/10) (- y 7/10)))) 3/40)) (fmax (fmax (fmax (neg y) (- y 11/40)) (- x 11/20)) (- 9/20 x))) (fmin (fmax (fmax (fmax (- y 11/20) (neg y)) (- x 33/40)) (- 29/40 x)) (- (sqrt (+ (* (- x 31/40) (- x 31/40)) (* (- y 7/10) (- y 7/10)))) 3/40)) (fmin (fmin (fmin (fmin (fmax (fmax (fmax (- y 11/20) (neg y)) (- (/ (* x x) (+ 33/40 x)) (/ 1089/1600 (+ 33/40 x)))) (- 29/40 x)) (- (sqrt (+ (* (- x 31/40) (- x 31/40)) (* (- y 7/10) (- y 7/10)))) 3/40)) (fmax (fmax (fmax (neg y) (- y 11/40)) (- x 11/20)) (- 9/20 x))) (fmax (fmax (fmax (neg y) (- y 1)) (- x 1/10)) (neg x))) (fmax (fmax (fmax (fmax (fmax (- y 11/20) (- x 11/20)) (neg x)) (- 11/40 y)) (- 7/40 (sqrt (+ (* (- x 11/40) (- x 11/40)) (* (- y 11/40) (- y 11/40)))))) (- (sqrt (+ (* (- x 11/40) (- x 11/40)) (* (- y 11/40) (- y 11/40)))) 11/40))) (fmin (fmin (fmin (fmax (fmax (fmax (- y 11/20) (neg y)) (- (/ (* x x) (+ 33/40 x)) (/ 1089/1600 (+ 33/40 x)))) (- 29/40 x)) (- (sqrt (+ (* (- x 31/40) (- x 31/40)) (* (- y 7/10) (- y 7/10)))) 3/40)) (fmax (fmax (fmax (neg y) (- y 11/40)) (- x 11/20)) (- 9/20 x))) (fmax (fmax (fmax (neg y) (- y 1)) (- x 1/10)) (neg x))) (fmin (fmin (fmax (fmax (fmax (- y 11/20) (neg y)) (- (/ (* x x) (+ 33/40 x)) (/ 1089/1600 (+ 33/40 x)))) (- 29/40 x)) (- (sqrt (+ (* (- x 31/40) (- x 31/40)) (* (- y 7/10) (- y 7/10)))) 3/40)) (fmax (fmax (fmax (neg y) (- y 11/40)) (- x 11/20)) (- 9/20 x))) (fmin (fmax (fmax (fmax (- y 11/20) (neg y)) (- (/ (* x x) (+ 33/40 x)) (/ 1089/1600 (+ 33/40 x)))) (- 29/40 x)) (- (sqrt (+ (* (- x 31/40) (- x 31/40)) (* (- y 7/10) (- y 7/10)))) 3/40)) (fmin (fmin (fmin (fmin (fmax (fmax (fmax (- y 11/20) (neg y)) (/ (+ (* x x) -1089/1600) (+ 33/40 x))) (- 29/40 x)) (- (sqrt (+ (* (- x 31/40) (- x 31/40)) (* (- y 7/10) (- y 7/10)))) 3/40)) (fmax (fmax (fmax (neg y) (- y 11/40)) (- x 11/20)) (- 9/20 x))) (fmax (fmax (fmax (neg y) (- y 1)) (- x 1/10)) (neg x))) (fmax (fmax (fmax (fmax (fmax (- y 11/20) (- x 11/20)) (neg x)) (- 11/40 y)) (- 7/40 (sqrt (+ (* (- x 11/40) (- x 11/40)) (* (- y 11/40) (- y 11/40)))))) (- (sqrt (+ (* (- x 11/40) (- x 11/40)) (* (- y 11/40) (- y 11/40)))) 11/40))) (fmin (fmin (fmin (fmax (fmax (fmax (- y 11/20) (neg y)) (/ (+ (* x x) -1089/1600) (+ 33/40 x))) (- 29/40 x)) (- (sqrt (+ (* (- x 31/40) (- x 31/40)) (* (- y 7/10) (- y 7/10)))) 3/40)) (fmax (fmax (fmax (neg y) (- y 11/40)) (- x 11/20)) (- 9/20 x))) (fmax (fmax (fmax (neg y) (- y 1)) (- x 1/10)) (neg x))) (fmin (fmin (fmax (fmax (fmax (- y 11/20) (neg y)) (/ (+ (* x x) -1089/1600) (+ 33/40 x))) (- 29/40 x)) (- (sqrt (+ (* (- x 31/40) (- x 31/40)) (* (- y 7/10) (- y 7/10)))) 3/40)) (fmax (fmax (fmax (neg y) (- y 11/40)) (- x 11/20)) (- 9/20 x))) (fmin (fmax (fmax (fmax (- y 11/20) (neg y)) (/ (+ (* x x) -1089/1600) (+ 33/40 x))) (- 29/40 x)) (- (sqrt (+ (* (- x 31/40) (- x 31/40)) (* (- y 7/10) (- y 7/10)))) 3/40)) (- (sqrt (+ (* (- x 31/40) (- x 31/40)) (* (- y 7/10) (- y 7/10)))) 3/40) (- (sqrt (+ (* (- x 11/40) (- x 11/40)) (* (- y 11/40) (- y 11/40)))) 11/40) (- 7/40 (sqrt (+ (* (- x 11/40) (- x 11/40)) (* (- y 11/40) (- y 11/40))))) (/ 17/20 x) (- (sqrt (+ (* (- x 11/40) (- x 11/40)) (* (- y 11/40) (- y 11/40)))) 11/40) (- (sqrt (+ (* (- x 31/40) (- x 31/40)) (* (- y 7/10) (- y 7/10)))) 3/40) (- x 33/40) (/ (* x x) (+ 33/40 x)) (/ 1089/1600 (+ 33/40 x)) (/ (+ (* x x) -1089/1600) (+ 33/40 x)))

regimes371.0ms (0.1%)

Memory

-22.7MiB live, 558.0MiB allocated; 78ms collecting garbage

Counts

208 → 33

Calls

9 calls:

65.0ms	y
61.0ms	x
45.0ms	(*.f64 z #s(literal 30 binary64))
41.0ms	(*.f64 y #s(literal 30 binary64))
40.0ms	(*.f64 x #s(literal 30 binary64))

Compiler

Compiled 825 to 600 computations (27.3% saved)

start347.0ms (0.1%)

Memory: -22.3MiB live, 119.2MiB allocated; 655ms collecting garbage

derivations0.0ms (0%)

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

end0.0ms (0%)

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

sample6.0min (73.8%)

localize47.5s (9.7%)

explain23.9s (4.9%)

analyze21.4s (4.4%)

eval16.4s (3.4%)

simplify11.9s (2.4%)

rewrite2.4s (0.5%)

prune1.8s (0.4%)

preprocess1.1s (0.2%)

bsearch604.0ms (0.1%)

series449.0ms (0.1%)

regimes371.0ms (0.1%)

start347.0ms (0.1%)

derivations0.0ms (0%)

end0.0ms (0%)

Profiling