Metrics for Herbie run

Date:	Sunday, January 19th, 2025
Commit:	455c599f on main
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:	478 922.8 MB

sample6.0min (73.7%)

Memory

5 070.2MiB live, 347 878.4MiB allocated; 1.7min collecting garbage

Samples

3.4min	36 344×	0	valid
2.1min	7 162×	5	exit
3.1s	484×	1	valid
2.1s	308×	2	valid
2.0ms	1×	3	valid

Precisions

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

const: 35.8s (21.2% of total)

ival-fmax: 18.2s (10.8% of total)

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

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

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

ival-mult: 12.8s (7.6% of total)

ival-pow2: 12.0s (7.1% of total)

adjust: 11.7s (6.9% of total)

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

ival-fmin: 7.0s (4.1% of total)

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

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

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

ival-sin: 1.2s (0.7% of total)

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

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

exact: 234.0ms (0.1% of total)

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

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

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

Bogosity

localize47.4s (9.7%)

Memory

668.4MiB live, 38 682.4MiB allocated; 10.1s collecting garbage

Samples

6.0s	3 279×	0	valid
2.6s	47×	5	exit
2.3s	182×	1	valid
1.4s	61×	2	valid
867.0ms	85×	3	valid
210.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.3s (20.6% of total)

const: 1.0s (16.8% of total)

ival-sub: 817.0ms (13.1% of total)

adjust: 771.0ms (12.3% of total)

ival-add: 551.0ms (8.8% of total)

ival-fmin: 483.0ms (7.7% of total)

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

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

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

ival-neg: 194.0ms (3.1% of total)

ival-sqrt: 147.0ms (2.4% of total)

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

ival-hypot: 45.0ms (0.7% of total)

ival-div: 29.0ms (0.5% of total)

exact: 17.0ms (0.3% of total)

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

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

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

explain24.0s (4.9%)

Memory

-569.8MiB live, 26 242.6MiB allocated; 4.4s 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.2s	38×	2	valid
1.0s	108×	1	valid
667.0ms	24×	5	exit
381.0ms	46×	3	valid
74.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.8s

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

const: 564.0ms (15% of total)

adjust: 462.0ms (12.3% of total)

ival-sub: 415.0ms (11.1% of total)

ival-add: 285.0ms (7.6% of total)

ival-fmin: 260.0ms (6.9% of total)

ival-pow2: 164.0ms (4.4% of total)

ival-neg: 115.0ms (3.1% of total)

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

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

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

ival-cos: 41.0ms (1.1% of total)

exact: 9.0ms (0.2% 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

376.5MiB live, 24 650.3MiB allocated; 8.9s 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.1s (3.3%)

Memory: 232.0MiB live, 21 291.8MiB allocated; 2.4s collecting garbage
Compiler: Compiled 20 833 102 to 138 614 computations (99.3% saved)

simplify11.7s (2.4%)

Memory

312.4MiB live, 11 498.6MiB allocated; 4.3s collecting garbage

Stop Event

44×	iter limit
32×	node limit

Counts

1 906 → 1 906

rewrite2.8s (0.6%)

Memory

-12.3MiB live, 2 538.2MiB allocated; 1.3s collecting garbage

Stop Event

39×	iter limit
14×	node limit

Counts

219 → 2 284

prune1.8s (0.4%)

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

preprocess1.4s (0.3%)

Memory

-32.3MiB live, 1 057.3MiB allocated; 222ms collecting garbage

Stop Event

8×	iter limit
8×	node limit

Compiler

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

derivations898.0ms (0.2%)

Memory

-32.0MiB live, 612.4MiB allocated; 110ms collecting garbage

Stop Event

2×	fuel
1×	done

Compiler

Compiled 1 876 to 287 computations (84.7% saved)

bsearch598.0ms (0.1%)

Memory

94.4MiB live, 747.6MiB allocated; 114ms collecting garbage

Algorithm

14×	binary-search
2×	left-value

Stop Event

14×	narrow-enough

Samples

376.0ms	1 617×	0	valid
57.0ms	58×	1	valid
30.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: 412.0ms

ival-sin: 103.0ms (25% of total)

ival-cos: 97.0ms (23.6% of total)

ival-pow2: 57.0ms (13.8% of total)

ival-mult: 47.0ms (11.4% of total)

ival-sub: 28.0ms (6.8% of total)

ival-add: 23.0ms (5.6% of total)

const: 17.0ms (4.1% of total)

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

adjust: 10.0ms (2.4% of total)

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

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

exact: 2.0ms (0.5% of total)

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

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

series427.0ms (0.1%)

Memory

-16.9MiB live, 563.2MiB allocated; 121ms collecting garbage

Counts

219 → 1 906

Calls

105 calls:

Time	Variable		Point	Expression
14.0ms	x	@	0	((* (- 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)))
10.0ms	x	@	-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)))))
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)))
9.0ms	x	@	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)))
8.0ms	z	@	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))))

regimes364.0ms (0.1%)

Memory

-14.0MiB live, 550.3MiB allocated; 70ms collecting garbage

Counts

208 → 33

Calls

9 calls:

70.0ms	y
64.0ms	x
44.0ms	(*.f64 y #s(literal 30 binary64))
41.0ms	(*.f64 x #s(literal 30 binary64))
36.0ms	z

Compiler

Compiled 825 to 600 computations (27.3% saved)

start86.0ms (0%)

Memory: 11.1MiB live, 145.6MiB allocated; 82ms collecting garbage

end0.0ms (0%)

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

sample6.0min (73.7%)

localize47.4s (9.7%)

explain24.0s (4.9%)

analyze21.4s (4.4%)

eval16.1s (3.3%)

simplify11.7s (2.4%)

rewrite2.8s (0.6%)

prune1.8s (0.4%)

preprocess1.4s (0.3%)

derivations898.0ms (0.2%)

bsearch598.0ms (0.1%)

series427.0ms (0.1%)

regimes364.0ms (0.1%)

start86.0ms (0%)

end0.0ms (0%)

Profiling