Metrics for Herbie run

Date:	Friday, January 10th, 2025
Commit:	4dfe4069 on main
Seed:	2025010
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:	471 062.3 MB

sample6.0min (73.5%)

Memory

5 007.2MiB live, 340 613.2MiB allocated; 1.7min collecting garbage

Samples

3.4min	36 499×	0	valid
2.0min	6 951×	5	exit
2.7s	468×	1	valid
2.5s	310×	2	valid
3.0ms	1×	3	valid

Precisions

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

const: 36.3s (21.6% of total)

ival-fmax: 18.1s (10.7% of total)

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

ival-add: 14.4s (8.5% of total)

ival-sub: 14.3s (8.5% of total)

ival-mult: 13.4s (7.9% of total)

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

ival-log: 11.2s (6.6% of total)

adjust: 10.9s (6.5% of total)

ival-fmin: 6.5s (3.8% of total)

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

ival-neg: 5.5s (3.3% of total)

ival-sqrt: 3.9s (2.3% of total)

ival-sin: 884.0ms (0.5% of total)

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

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

exact: 253.0ms (0.2% of total)

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

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

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

Bogosity

localize41.2s (8.4%)

Memory

545.4MiB live, 32 500.6MiB allocated; 8.8s collecting garbage

Samples

5.9s	3 226×	0	valid
2.7s	68×	5	exit
1.8s	166×	1	valid
717.0ms	59×	2	valid
310.0ms	52×	3	valid
140.0ms	13×	4	valid

Compiler

Compiled 882 928 to 2 961 computations (99.7% saved)

Precisions

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

ival-fmax: 1.1s (18.1% of total)

const: 904.0ms (15.4% of total)

ival-pow2: 675.0ms (11.5% of total)

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

adjust: 638.0ms (10.9% of total)

ival-add: 433.0ms (7.4% of total)

ival-fmin: 431.0ms (7.4% of total)

ival-sin: 224.0ms (3.8% of total)

ival-mult: 218.0ms (3.7% of total)

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

ival-sqrt: 149.0ms (2.5% of total)

ival-cos: 110.0ms (1.9% of total)

ival-pow: 60.0ms (1% of total)

ival-hypot: 56.0ms (1% of total)

ival-div: 33.0ms (0.6% of total)

exact: 17.0ms (0.3% 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)

explain31.4s (6.4%)

Memory

-460.7MiB live, 34 014.6MiB allocated; 5.4s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	2467	0
`cos.f64`	`#f`	sensitivity	369	0
`sin.f64`	`#f`	sensitivity	369	0
`cos.f64`	`#f`	oflow-rescue	4	0
`sin.f64`	`#f`	oflow-rescue	4	0
`+.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)))))`	cancellation	2	1
`-.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	2

Confusion

	Predicted +	Predicted -
+	159	1
-	307	557

Precision

0.34120171673819744

Recall

0.99375

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	159	0	1
-	307	0	557

Precision?

0.34120171673819744

Recall?

0.99375

Freqs

test

number	freq
0	558
2	170
3	50
4	31
5	70
6	7
7	18
16	36
17	64
21	20

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	2	0	0
-	1	0	1

Precision?

0.6666666666666666

Recall?

1.0

Samples

2.4s	1 842×	0	valid
1.2s	42×	5	exit
901.0ms	96×	1	valid
328.0ms	34×	2	valid
164.0ms	28×	3	valid
72.0ms	6×	4	valid

Compiler

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

Precisions

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

ival-fmax: 676.0ms (21.8% of total)

const: 549.0ms (17.7% of total)

adjust: 411.0ms (13.2% of total)

ival-sub: 410.0ms (13.2% of total)

ival-add: 264.0ms (8.5% of total)

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

ival-pow2: 162.0ms (5.2% of total)

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

ival-sin: 91.0ms (2.9% of total)

ival-sqrt: 78.0ms (2.5% of total)

ival-mult: 62.0ms (2% of total)

ival-cos: 43.0ms (1.4% 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.7s (4.4%)

Memory

425.2MiB live, 24 602.8MiB 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)

eval15.9s (3.2%)

Memory: 104.1MiB live, 19 476.5MiB allocated; 3.8s collecting garbage
Compiler: Compiled 19 381 639 to 141 162 computations (99.3% saved)

simplify10.2s (2.1%)

Memory

79.5MiB live, 10 410.7MiB allocated; 1.7s collecting garbage

Stop Event

44×	iter limit
32×	node limit

Counts

1 615 → 1 607

rewrite2.4s (0.5%)

Memory

67.9MiB live, 2 418.4MiB allocated; 403ms collecting garbage

Stop Event

41×	iter limit
13×	node limit
1×	unsound

Counts

198 → 2 059

prune2.1s (0.4%)

Memory: 270.1MiB live, 2 681.7MiB allocated; 233ms collecting garbage
Counts: 9 986 → 130
Compiler: Compiled 252 700 to 74 826 computations (70.4% saved)

derivations1.7s (0.4%)

Memory

117.6MiB live, 1 242.5MiB allocated; 243ms collecting garbage

Stop Event

16×	iter limit
10×	node limit
2×	fuel
1×	unsound
1×	done

Compiler

Compiled 2 799 to 317 computations (88.7% saved)

preprocess1.3s (0.3%)

Memory

-41.3MiB live, 1 072.6MiB allocated; 210ms collecting garbage

Stop Event

8×	iter limit
8×	node limit

Compiler

Compiled 8 949 to 1 723 computations (80.7% saved)

bsearch1.2s (0.2%)

Memory

-31.2MiB live, 1 025.1MiB allocated; 1.1s collecting garbage

Algorithm

25×	binary-search
1×	left-value

Stop Event

23×	narrow-enough
2×	predicate-same

Samples

869.0ms	2 073×	0	valid
56.0ms	50×	2	valid
45.0ms	69×	1	valid

Compiler

Compiled 25 966 to 16 174 computations (37.7% saved)

Precisions

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

ival-cos: 456.0ms (51.2% of total)

ival-sin: 131.0ms (14.7% of total)

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

ival-mult: 72.0ms (8.1% of total)

ival-sub: 41.0ms (4.6% of total)

ival-add: 33.0ms (3.7% of total)

const: 26.0ms (2.9% of total)

adjust: 17.0ms (1.9% of total)

ival-sqrt: 16.0ms (1.8% of total)

ival-fmax: 14.0ms (1.6% of total)

ival-fabs: 8.0ms (0.9% of total)

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

exact: 2.0ms (0.2% of total)

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

start636.0ms (0.1%)

Memory: -29.8MiB live, 120.9MiB allocated; 1.3s collecting garbage

series382.0ms (0.1%)

Memory

-62.3MiB live, 466.3MiB allocated; 116ms collecting garbage

Counts

198 → 1 615

Calls

105 calls:

Time	Variable		Point	Expression
13.0ms	y	@	inf	((* (- (+ (/ (- (pow (- y 7/10) 2) -961/1600) (* x x)) 1) (/ 31/20 x)) (* x x)) (fmin (fmin (fmin (fmin (fmax (fmax (fmax (- y 11/20) (neg y)) (- x 33/40)) (- 29/40 x)) (- (sqrt (/ (+ (pow (- y 7/10) 6) (pow (- x 31/40) 6)) (- (+ (pow (- x 31/40) 4) (pow (- y 7/10) 4)) (pow (* (- y 7/10) (- x 31/40)) 2)))) 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 (/ (+ (pow (- y 7/10) 6) (pow (- x 31/40) 6)) (- (+ (pow (- x 31/40) 4) (pow (- y 7/10) 4)) (pow (* (- y 7/10) (- x 31/40)) 2)))) 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 (/ (+ (pow (- y 7/10) 6) (pow (- x 31/40) 6)) (- (+ (pow (- x 31/40) 4) (pow (- y 7/10) 4)) (pow (* (- y 7/10) (- x 31/40)) 2)))) 3/40)) (fmax (fmax (fmax (neg y) (- y 11/40)) (- x 11/20)) (- 9/20 x))) (* (- 1 (/ 11/20 y)) y) (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))) (sqrt (/ (+ (pow (- y 7/10) 6) (pow (- x 31/40) 6)) (- (+ (pow (- x 31/40) 4) (pow (- y 7/10) 4)) (pow (* (- y 7/10) (- x 31/40)) 2)))) (/ (- (pow (- y 7/10) 2) -961/1600) (* x x)) (pow (- y 7/10) 2) (- (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))))) (/ 11/20 y))
13.0ms	y	@	0	((sqrt (+ (pow (- y 11/40) 2) (pow (- x 11/40) 2))) (fmin (fmin (fmin (fmin (fmax (fmax (fmax (- y 11/20) (neg y)) (- x 33/40)) (- 29/40 x)) (- (/ (sqrt (+ (* (pow (- x 31/40) 3) (pow (- x 31/40) 3)) (* (pow (- y 7/10) 3) (pow (- y 7/10) 3)))) (sqrt (- (+ (pow (- y 7/10) 4) (pow (- x 31/40) 4)) (pow (* (- y 7/10) (- x 31/40)) 2)))) 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 (+ (pow (- y 11/40) 2) (pow (- x 11/40) 2))))) (- (sqrt (+ (pow (- y 11/40) 2) (pow (- x 11/40) 2))) 11/40))) (fmin (fmin (fmin (fmax (fmax (fmax (- y 11/20) (neg y)) (- x 33/40)) (- 29/40 x)) (- (/ (sqrt (+ (* (pow (- x 31/40) 3) (pow (- x 31/40) 3)) (* (pow (- y 7/10) 3) (pow (- y 7/10) 3)))) (sqrt (- (+ (pow (- y 7/10) 4) (pow (- x 31/40) 4)) (pow (* (- y 7/10) (- x 31/40)) 2)))) 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 (+ (* (pow (- x 31/40) 3) (pow (- x 31/40) 3)) (* (pow (- y 7/10) 3) (pow (- y 7/10) 3)))) (sqrt (- (+ (pow (- y 7/10) 4) (pow (- x 31/40) 4)) (pow (* (- y 7/10) (- x 31/40)) 2)))) 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)) (/ (sqrt (+ (* (pow (- x 31/40) 3) (pow (- x 31/40) 3)) (* (pow (- y 7/10) 3) (pow (- y 7/10) 3)))) (sqrt (- (+ (pow (- y 7/10) 4) (pow (- x 31/40) 4)) (pow (* (- y 7/10) (- x 31/40)) 2)))) (- (+ (pow (- y 7/10) 4) (pow (- x 31/40) 4)) (pow (* (- y 7/10) (- x 31/40)) 2)) (sqrt (- (+ (pow (- y 7/10) 4) (pow (- x 31/40) 4)) (pow (* (- y 7/10) (- x 31/40)) 2))) (- (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) (- 7/40 (sqrt (+ (* (- x 11/40) (- x 11/40)) (* (- y 11/40) (- y 11/40))))) (- 11/40 y))
11.0ms	y	@	-inf	((sqrt (+ (pow (- y 7/10) 2) (pow (- x 31/40) 2))) (sqrt (+ (pow (- y 11/40) 2) (pow (- x 11/40) 2))) (fmin (fmin (fmin (fmin (fmax (fmax (fmax (- y 11/20) (neg y)) (- x 33/40)) (- 29/40 x)) (- (sqrt (+ (pow (- y 7/10) 2) (pow (- x 31/40) 2))) 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 (+ (pow (- y 11/40) 2) (pow (- x 11/40) 2))))) (- (sqrt (+ (pow (- y 11/40) 2) (pow (- x 11/40) 2))) 11/40))) (fmin (fmin (fmin (fmax (fmax (fmax (- y 11/20) (neg y)) (- x 33/40)) (- 29/40 x)) (- (sqrt (+ (pow (- y 7/10) 2) (pow (- x 31/40) 2))) 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))) (pow (- x 11/40) 2) (pow (- x 31/40) 2))
10.0ms	y	@	inf	((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) 37/5) 2) (pow (+ 63/20 (* y 10)) 2)) (pow (+ 11/4 (* x 10)) 2))) (sqrt (+ (+ (pow (- (* z 5) 61/20) 2) (pow (+ 63/20 (* y 10)) 2)) (pow (+ 11/4 (* x 10)) 2))) (sqrt (+ (+ (pow (- (* z 5) 11/5) 2) (pow (+ 131/20 (* x 10)) 2)) (pow (+ 63/20 (* y 10)) 2))))
8.0ms	x	@	inf	((sqrt (* (+ (* y y) (* x x)) 900)) (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))) (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) (* -30 x) (- (fabs (+ (+ (* (sin (* x 30)) (cos (* y 30))) (* (sin (* y 30)) (cos (* z 30)))) (* (sin (* z 30)) (cos (* x 30))))) 1/5) (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))) (+ (+ (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)) (+ (+ (* (sin (* x 30)) (cos (* y 30))) (* (sin (* y 30)) (cos (* z 30)))) (* (sin (* z 30)) (cos (* x 30)))) (sin (* 30 z)) (sin (* 30 y)) (+ (+ (* (sin (* x 30)) (cos (* y 30))) (* (sin (* y 30)) (cos (* z 30)))) (* (sin (* z 30)) (cos (* x 30)))) (sin (* 30 z)) (sin (* 30 y)) (+ (+ (* (sin (* x 30)) (cos (* y 30))) (* (sin (* y 30)) (cos (* z 30)))) (* (sin (* z 30)) (cos (* x 30)))) (sin (* 30 z)) (+ (+ (* (sin (* x 30)) (cos (* y 30))) (* (sin (* y 30)) (cos (* z 30)))) (* (sin (* z 30)) (cos (* x 30)))) (sin (* z 30)) (cos (* -30 x)))

regimes277.0ms (0.1%)

Memory

-6.4MiB live, 416.5MiB allocated; 56ms collecting garbage

Counts

147 → 43

Calls

9 calls:

48.0ms	x
47.0ms	y
38.0ms	(*.f64 y #s(literal 30 binary64))
33.0ms	(*.f64 x #s(literal 30 binary64))
25.0ms	z

Compiler

Compiled 619 to 501 computations (19.1% saved)

end0.0ms (0%)

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

sample6.0min (73.5%)

localize41.2s (8.4%)

explain31.4s (6.4%)

analyze21.7s (4.4%)

eval15.9s (3.2%)

simplify10.2s (2.1%)

rewrite2.4s (0.5%)

prune2.1s (0.4%)

derivations1.7s (0.4%)

preprocess1.3s (0.3%)

bsearch1.2s (0.2%)

start636.0ms (0.1%)

series382.0ms (0.1%)

regimes277.0ms (0.1%)

end0.0ms (0%)

Profiling