Metrics for Herbie run

Date:	Sunday, January 19th, 2025
Commit:	7183cd93 on autofix-12-1
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:	468 154.4 MB

sample6.0min (73.8%)

Memory

5 090.9MiB live, 338 868.8MiB allocated; 1.7min collecting garbage

Samples

3.4min	36 337×	0	valid
2.1min	7 214×	5	exit
2.9s	484×	1	valid
2.3s	308×	2	valid
2.0ms	1×	3	valid

Precisions

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

const: 37.3s (21.9% of total)

ival-fmax: 18.6s (10.9% of total)

ival-exp: 15.2s (8.9% of total)

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

ival-add: 13.5s (8% of total)

ival-mult: 13.2s (7.7% of total)

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

ival-log: 11.5s (6.8% of total)

adjust: 11.1s (6.5% of total)

ival-fmin: 6.2s (3.7% of total)

ival-neg: 5.1s (3% of total)

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

ival-sqrt: 4.2s (2.5% of total)

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

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

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

exact: 229.0ms (0.1% of total)

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

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

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

Bogosity

localize47.8s (9.7%)

Memory

689.4MiB live, 38 732.9MiB allocated; 8.5s collecting garbage

Samples

6.1s	3 299×	0	valid
2.4s	186×	1	valid
2.0s	63×	2	valid
1.9s	47×	5	exit
849.0ms	85×	3	valid
209.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: 6.2s

ival-fmax: 1.2s (20.1% of total)

const: 1.0s (16.4% of total)

adjust: 822.0ms (13.2% of total)

ival-sub: 763.0ms (12.3% of total)

ival-add: 518.0ms (8.3% of total)

ival-fmin: 488.0ms (7.9% of total)

ival-pow2: 287.0ms (4.6% of total)

ival-mult: 250.0ms (4% of total)

ival-sin: 221.0ms (3.6% of total)

ival-neg: 218.0ms (3.5% of total)

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

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

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

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

exact: 18.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)

explain24.2s (4.9%)

Memory

-609.4MiB live, 25 874.4MiB allocated; 4.5s 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.3s	1 824×	0	valid
1.0s	108×	1	valid
685.0ms	24×	5	exit
672.0ms	38×	2	valid
372.0ms	46×	3	valid
75.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.2s

ival-fmax: 684.0ms (21.4% of total)

const: 542.0ms (17% of total)

adjust: 449.0ms (14.1% of total)

ival-sub: 392.0ms (12.3% of total)

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

ival-fmin: 278.0ms (8.7% of total)

ival-pow2: 158.0ms (4.9% of total)

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

ival-sin: 95.0ms (3% of total)

ival-sqrt: 91.0ms (2.8% of total)

ival-mult: 59.0ms (1.8% of total)

ival-cos: 36.0ms (1.1% 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)

analyze20.6s (4.2%)

Memory

440.9MiB live, 24 264.3MiB allocated; 7.0s 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.6s (3.4%)

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

simplify10.8s (2.2%)

Memory

120.7MiB live, 11 124.0MiB allocated; 2.7s collecting garbage

Stop Event

44×	iter limit
32×	node limit

Counts

1 906 → 1 906

rewrite2.4s (0.5%)

Memory

135.0MiB live, 2 371.3MiB allocated; 365ms collecting garbage

Stop Event

39×	iter limit
14×	node limit

Counts

219 → 2 284

prune1.9s (0.4%)

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

preprocess1.4s (0.3%)

Memory

66.0MiB live, 1 035.8MiB allocated; 244ms collecting garbage

Stop Event

8×	iter limit
8×	node limit

Compiler

Compiled 7 103 to 1 663 computations (76.6% saved)

derivations1.2s (0.2%)

Memory

-27.4MiB live, 630.7MiB allocated; 951ms collecting garbage

Stop Event

2×	fuel
1×	done

Compiler

Compiled 1 876 to 287 computations (84.7% saved)

bsearch629.0ms (0.1%)

Memory

6.2MiB live, 715.8MiB allocated; 175ms collecting garbage

Algorithm

14×	binary-search
2×	left-value

Stop Event

14×	narrow-enough

Samples

374.0ms	1 617×	0	valid
38.0ms	58×	1	valid
25.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: 379.0ms

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

ival-cos: 90.0ms (23.7% of total)

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

ival-mult: 42.0ms (11.1% of total)

ival-add: 26.0ms (6.9% of total)

ival-sub: 18.0ms (4.7% of total)

const: 17.0ms (4.5% of total)

ival-fmax: 12.0ms (3.2% of total)

adjust: 10.0ms (2.6% of total)

ival-fabs: 10.0ms (2.6% of total)

ival-sqrt: 8.0ms (2.1% 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)

series429.0ms (0.1%)

Memory

73.2MiB live, 560.9MiB allocated; 102ms collecting garbage

Counts

219 → 1 906

Calls

105 calls:

Time	Variable		Point	Expression
21.0ms	y	@	-inf	((fmax (- (+ (pow y 2) (pow x 2)) 1/2) (fmax x y)) (- (+ (pow y 2) (pow x 2)) 1/2) (* x x) (fmax x y) (fmax (- (+ (pow y 2) (pow x 2)) 1/2) (fmax x y)) (- (+ (pow y 2) (pow x 2)) 1/2) (* y y) (fmax (- (+ (pow y 2) (pow x 2)) 1/2) (fmax x y)) (- (+ (pow y 2) (pow x 2)) 1/2) (+ (* x x) -1/2) (fmax (- (+ (pow y 2) (pow x 2)) 1/2) (fmax x y)) (- (+ (pow y 2) (pow x 2)) 1/2) (+ (* x x) (+ (* y y) -1/2)) (+ (* y y) -1/2))
11.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)))
9.0ms	x	@	-inf	((+ (+ (pow (* x 30) 2) (pow (* y 30) 2)) (pow (* z 30) 2)) (+ (pow (* x 30) 2) (pow (* y 30) 2)) (+ (+ (* (sin (* x 30)) (cos (* y 30))) (* (sin (* y 30)) (cos (* z 30)))) (* (sin (* z 30)) (cos (* x 30)))) (+ (* (sin (* x 30)) (cos (* y 30))) (* (sin (* y 30)) (cos (* z 30)))) (sqrt (+ (+ (pow (* x 30) 2) (pow (* y 30) 2)) (pow (* z 30) 2))) (sin (* z 30)) (sin (* y 30)) (cos (* z 30)))
8.0ms	y	@	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) (* -30 y) (- (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))) (+ (+ (pow (* x 30) 2) (pow (* y 30) 2)) (pow (* z 30) 2)) (+ (+ (* (sin (* x 30)) (cos (* y 30))) (* (sin (* y 30)) (cos (* z 30)))) (* (sin (* z 30)) (cos (* x 30)))) (cos (* -30 z)) (sin (* 30 z)) (sin (* 30 y)) (sin (* 30 y)) (+ (+ (* (sin (* x 30)) (cos (* y 30))) (* (sin (* y 30)) (cos (* z 30)))) (* (sin (* z 30)) (cos (* x 30)))) (+ (+ (* (sin (* x 30)) (cos (* y 30))) (* (sin (* y 30)) (cos (* z 30)))) (* (sin (* z 30)) (cos (* x 30)))))
8.0ms	y	@	0	((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)))

regimes368.0ms (0.1%)

Memory

9.1MiB live, 538.6MiB allocated; 75ms collecting garbage

Counts

208 → 33

Calls

9 calls:

71.0ms	y
60.0ms	x
45.0ms	(*.f64 y #s(literal 30 binary64))
42.0ms	z
40.0ms	(*.f64 x #s(literal 30 binary64))

Compiler

Compiled 825 to 600 computations (27.3% saved)

start344.0ms (0.1%)

Memory: 20.5MiB live, 114.6MiB allocated; 670ms collecting garbage

end0.0ms (0%)

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

sample6.0min (73.8%)

localize47.8s (9.7%)

explain24.2s (4.9%)

analyze20.6s (4.2%)

eval16.6s (3.4%)

simplify10.8s (2.2%)

rewrite2.4s (0.5%)

prune1.9s (0.4%)

preprocess1.4s (0.3%)

derivations1.2s (0.2%)

bsearch629.0ms (0.1%)

series429.0ms (0.1%)

regimes368.0ms (0.1%)

start344.0ms (0.1%)

end0.0ms (0%)

Profiling