Metrics for Diagrams.TwoD.Path.Metafont.Internal:hobbyF from diagrams-contrib-1.3.0.5

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze165.0ms (12.4%)

Memory

0.2MiB live, 56.7MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
50%	50%	50%	0.1%	0%	0%	0%	4
75%	74.9%	25%	0.1%	0%	0%	0%	5
75%	74.9%	25%	0.1%	0%	0%	0%	6
75%	74.9%	25%	0.1%	0%	0%	0%	7
75%	74.9%	25%	0.1%	0%	0%	0%	8
75%	74.9%	25%	0.1%	0%	0%	0%	9
75%	74.9%	25%	0.1%	0%	0%	0%	10
75%	74.9%	25%	0.1%	0%	0%	0%	11
75%	74.9%	25%	0.1%	0%	0%	0%	12

Compiler

Compiled 52 to 34 computations (34.6% saved)

sample63.0ms (4.8%)

Memory

0.3MiB live, 23.1MiB allocated

Samples

50.0ms

260×

valid

Precisions

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

ival-sin: 9.0ms (20.6% of total)

ival-mult: 8.0ms (18.3% of total)

ival-cos: 8.0ms (18.3% of total)

ival-div: 7.0ms (16% of total)

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

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

ival-sqrt: 3.0ms (6.9% of total)

exact: 1.0ms (2.3% of total)

adjust: 0.0ms (0% of total)

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

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

Bogosity

explain934.0ms (70.3%)

Memory

17.6MiB live, 373.8MiB allocated

Confusion

	Predicted +	Predicted -
+	0	0
-	0	256

Precision

0/0

Recall

0/0

2:

4:

8:

16:

32:

64:

128:

256:

512:

1024:

2048:

Samples

615.0ms

3 072×

valid

Compiler

Compiled 1 824 to 1 176 computations (35.5% saved)

Precisions

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

ival-sin: 110.0ms (20.8% of total)

ival-cos: 99.0ms (18.8% of total)

ival-mult: 94.0ms (17.8% of total)

ival-div: 82.0ms (15.5% of total)

ival-sub: 58.0ms (11% of total)

ival-sqrt: 41.0ms (7.8% of total)

ival-add: 35.0ms (6.6% of total)

exact: 6.0ms (1.1% of total)

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

adjust: 1.0ms (0.2% of total)

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

preprocess133.0ms (10%)

Memory

3.0MiB live, 40.7MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	68	260
1	202	254
2	550	250
3	2488	240
4	5906	240
0	32	50
0	57	50
1	104	50
2	227	50
3	787	48
4	3614	46
0	8097	43

Stop Event

1×	iter limit
1×	node limit
1×	iter limit
1×	node limit

Calls

Call 1

Inputs
(/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) #s(literal 16 binary64)))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) #s(literal 16 binary64)))) (-.f64 (cos.f64 x) (cos.f64 y)))) (.f64 #s(literal 3 binary64) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 (/.f64 (-.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 1 binary64)) #s(literal 2 binary64)) (cos.f64 x))) (.f64 (/.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) #s(literal 2 binary64)) (cos.f64 y)))))

Inputs

(/.f64 (+.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (sqrt.f64 #s(literal 2 binary64)) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) #s(literal 16 binary64)))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) #s(literal 16 binary64)))) (-.f64 (cos.f64 x) (cos.f64 y)))) (*.f64 #s(literal 3 binary64) (+.f64 (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 (-.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 1 binary64)) #s(literal 2 binary64)) (cos.f64 x))) (*.f64 (/.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) #s(literal 2 binary64)) (cos.f64 y)))))

Outputs
(/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) #s(literal 16 binary64)))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) #s(literal 16 binary64)))) (-.f64 (cos.f64 x) (cos.f64 y)))) (.f64 #s(literal 3 binary64) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 (/.f64 (-.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 1 binary64)) #s(literal 2 binary64)) (cos.f64 x))) (.f64 (/.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) #s(literal 2 binary64)) (cos.f64 y)))))
(/.f64 (fma.f64 (-.f64 (cos.f64 x) (cos.f64 y)) (.f64 (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) #s(literal 16 binary64))) (.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) #s(literal 16 binary64))) (sqrt.f64 #s(literal 2 binary64)))) #s(literal 2 binary64)) (fma.f64 #s(literal 3/2 binary64) (fma.f64 (-.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 1 binary64)) (cos.f64 x) (*.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) (cos.f64 y))) #s(literal 3 binary64)))

Outputs

(/.f64 (+.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (sqrt.f64 #s(literal 2 binary64)) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) #s(literal 16 binary64)))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) #s(literal 16 binary64)))) (-.f64 (cos.f64 x) (cos.f64 y)))) (*.f64 #s(literal 3 binary64) (+.f64 (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 (-.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 1 binary64)) #s(literal 2 binary64)) (cos.f64 x))) (*.f64 (/.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) #s(literal 2 binary64)) (cos.f64 y)))))

(/.f64 (fma.f64 (-.f64 (cos.f64 x) (cos.f64 y)) (*.f64 (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) #s(literal 16 binary64))) (*.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) #s(literal 16 binary64))) (sqrt.f64 #s(literal 2 binary64)))) #s(literal 2 binary64)) (fma.f64 #s(literal 3/2 binary64) (fma.f64 (-.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 1 binary64)) (cos.f64 x) (*.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) (cos.f64 y))) #s(literal 3 binary64)))

Compiler

Compiled 50 to 32 computations (36% saved)

eval0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated
Compiler: Compiled 0 to 2 computations (-∞% saved)

prune1.0ms (0.1%)

Memory

0.7MiB live, 0.7MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	99.3%	(/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) #s(literal 16 binary64)))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) #s(literal 16 binary64)))) (-.f64 (cos.f64 x) (cos.f64 y)))) (.f64 #s(literal 3 binary64) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 (/.f64 (-.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 1 binary64)) #s(literal 2 binary64)) (cos.f64 x))) (.f64 (/.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) #s(literal 2 binary64)) (cos.f64 y)))))

Status

Accuracy

Program

99.3%

(/.f64 (+.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (sqrt.f64 #s(literal 2 binary64)) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) #s(literal 16 binary64)))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) #s(literal 16 binary64)))) (-.f64 (cos.f64 x) (cos.f64 y)))) (*.f64 #s(literal 3 binary64) (+.f64 (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 (-.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 1 binary64)) #s(literal 2 binary64)) (cos.f64 x))) (*.f64 (/.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) #s(literal 2 binary64)) (cos.f64 y)))))

Compiler

Compiled 100 to 64 computations (36% saved)

simplify31.0ms (2.3%)

Memory

-22.0MiB live, 18.9MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	50
1	54	50
2	77	50
3	96	50
4	131	50
5	184	50
6	189	50

Stop Event

1×

saturated

Calls

Call 1

Inputs
(/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) #s(literal 16 binary64)))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) #s(literal 16 binary64)))) (-.f64 (cos.f64 x) (cos.f64 y)))) (.f64 #s(literal 3 binary64) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 (/.f64 (-.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 1 binary64)) #s(literal 2 binary64)) (cos.f64 x))) (.f64 (/.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) #s(literal 2 binary64)) (cos.f64 y)))))

Inputs

(/.f64 (+.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (sqrt.f64 #s(literal 2 binary64)) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) #s(literal 16 binary64)))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) #s(literal 16 binary64)))) (-.f64 (cos.f64 x) (cos.f64 y)))) (*.f64 #s(literal 3 binary64) (+.f64 (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 (-.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 1 binary64)) #s(literal 2 binary64)) (cos.f64 x))) (*.f64 (/.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) #s(literal 2 binary64)) (cos.f64 y)))))

Outputs
(/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) #s(literal 16 binary64)))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) #s(literal 16 binary64)))) (-.f64 (cos.f64 x) (cos.f64 y)))) (.f64 #s(literal 3 binary64) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 (/.f64 (-.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 1 binary64)) #s(literal 2 binary64)) (cos.f64 x))) (.f64 (/.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) #s(literal 2 binary64)) (cos.f64 y)))))
(/.f64 (+.f64 (.f64 (-.f64 (cos.f64 x) (cos.f64 y)) (.f64 (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) #s(literal 16 binary64))) (.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) #s(literal 16 binary64))) (sqrt.f64 #s(literal 2 binary64))))) #s(literal 2 binary64)) (.f64 (+.f64 (.f64 (/.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) #s(literal 2 binary64)) (cos.f64 y)) (+.f64 (.f64 (/.f64 (-.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 1 binary64)) #s(literal 2 binary64)) (cos.f64 x)) #s(literal 1 binary64))) #s(literal 3 binary64)))

Outputs

(/.f64 (+.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (sqrt.f64 #s(literal 2 binary64)) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) #s(literal 16 binary64)))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) #s(literal 16 binary64)))) (-.f64 (cos.f64 x) (cos.f64 y)))) (*.f64 #s(literal 3 binary64) (+.f64 (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 (-.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 1 binary64)) #s(literal 2 binary64)) (cos.f64 x))) (*.f64 (/.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) #s(literal 2 binary64)) (cos.f64 y)))))

(/.f64 (+.f64 (*.f64 (-.f64 (cos.f64 x) (cos.f64 y)) (*.f64 (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) #s(literal 16 binary64))) (*.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) #s(literal 16 binary64))) (sqrt.f64 #s(literal 2 binary64))))) #s(literal 2 binary64)) (*.f64 (+.f64 (*.f64 (/.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) #s(literal 2 binary64)) (cos.f64 y)) (+.f64 (*.f64 (/.f64 (-.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 1 binary64)) #s(literal 2 binary64)) (cos.f64 x)) #s(literal 1 binary64))) #s(literal 3 binary64)))

soundness1.0ms (0%)

Memory

0.3MiB live, 0.3MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 50 to 32 computations (36% saved)

preprocess1.0ms (0.1%)

Memory: 0.6MiB live, 0.6MiB allocated
Compiler: Compiled 200 to 128 computations (36% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze165.0ms (12.4%)

sample63.0ms (4.8%)

explain934.0ms (70.3%)

preprocess133.0ms (10%)

eval0.0ms (0%)

prune1.0ms (0.1%)

simplify31.0ms (2.3%)

soundness1.0ms (0%)

preprocess1.0ms (0.1%)

end0.0ms (0%)

Profiling