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

analyze389.0ms (3.4%)

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 53 to 33 computations (37.7% saved)

sample10.8s (93.7%)

Results

5.1s	8256×	valid-rival
1.8s	8252×	valid-sollya
20.0ms	4×	exit-sollya

Bogosity

preprocess214.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

926×	`fma-define`
520×	`fma-neg`
332×	`distribute-lft-neg-out`
295×	`associate-*r/`
288×	`distribute-rgt-in`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	82	1321
1	234	1213
2	667	1197
3	3168	1183
4	7962	1127

Stop Event

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)))))
(/.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 #s(literal 2 binary64) (.f64 (.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) (-.f64 (sin.f64 (neg.f64 x)) (/.f64 (sin.f64 y) #s(literal 16 binary64)))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 (neg.f64 x)) #s(literal 16 binary64)))) (-.f64 (cos.f64 (neg.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 (neg.f64 x)))) (.f64 (/.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) #s(literal 2 binary64)) (cos.f64 y)))))
(/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) (-.f64 (sin.f64 x) (/.f64 (sin.f64 (neg.f64 y)) #s(literal 16 binary64)))) (-.f64 (sin.f64 (neg.f64 y)) (/.f64 (sin.f64 x) #s(literal 16 binary64)))) (-.f64 (cos.f64 x) (cos.f64 (neg.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 (neg.f64 y))))))
(neg.f64 (/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) (-.f64 (sin.f64 (neg.f64 x)) (/.f64 (sin.f64 y) #s(literal 16 binary64)))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 (neg.f64 x)) #s(literal 16 binary64)))) (-.f64 (cos.f64 (neg.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 (neg.f64 x)))) (.f64 (/.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) #s(literal 2 binary64)) (cos.f64 y))))))
(neg.f64 (/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) (-.f64 (sin.f64 x) (/.f64 (sin.f64 (neg.f64 y)) #s(literal 16 binary64)))) (-.f64 (sin.f64 (neg.f64 y)) (/.f64 (sin.f64 x) #s(literal 16 binary64)))) (-.f64 (cos.f64 x) (cos.f64 (neg.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 (neg.f64 y)))))))
(/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) #s(literal 16 binary64)))) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) #s(literal 16 binary64)))) (-.f64 (cos.f64 y) (cos.f64 x)))) (.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 y))) (.f64 (/.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) #s(literal 2 binary64)) (cos.f64 x)))))

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 #s(literal 2 binary64) (.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) (.f64 (-.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 #s(literal 1 binary64) (+.f64 (.f64 (cos.f64 x) (-.f64 (/.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64))) (.f64 (cos.f64 y) (-.f64 #s(literal 3/2 binary64) (/.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 2 binary64))))))))
(/.f64 (fma.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) (+.f64 (sin.f64 x) (/.f64 (sin.f64 y) #s(literal -16 binary64)))) (.f64 (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) #s(literal 16 binary64))) (-.f64 (cos.f64 x) (cos.f64 y))) #s(literal 2 binary64)) (*.f64 #s(literal 3 binary64) (fma.f64 (cos.f64 y) (-.f64 #s(literal 3/2 binary64) (/.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 2 binary64))) (fma.f64 (cos.f64 x) (+.f64 (/.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 2 binary64)) #s(literal -1/2 binary64)) #s(literal 1 binary64)))))
(/.f64 (fma.f64 (sqrt.f64 #s(literal 2 binary64)) (.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))) (-.f64 (cos.f64 x) (cos.f64 y)))) #s(literal 2 binary64)) (*.f64 #s(literal 3 binary64) (fma.f64 (cos.f64 x) (+.f64 (/.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 2 binary64)) #s(literal -1/2 binary64)) (fma.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) (/.f64 (cos.f64 y) #s(literal 2 binary64)) #s(literal 1 binary64)))))
(/.f64 (fma.f64 (sqrt.f64 #s(literal 2 binary64)) (.f64 (+.f64 (sin.f64 y) (.f64 (sin.f64 x) #s(literal -1/16 binary64))) (.f64 (+.f64 (sin.f64 x) (.f64 (sin.f64 y) #s(literal -1/16 binary64))) (-.f64 (cos.f64 x) (cos.f64 y)))) #s(literal 2 binary64)) (+.f64 #s(literal 3 binary64) (fma.f64 (cos.f64 y) (.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) #s(literal 3/2 binary64)) (.f64 (*.f64 (cos.f64 x) (+.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal -1 binary64))) #s(literal 3/2 binary64)))))
(/.f64 (fma.f64 (sqrt.f64 #s(literal 2 binary64)) (.f64 (fma.f64 (sin.f64 x) #s(literal -1/16 binary64) (sin.f64 y)) (.f64 (fma.f64 (sin.f64 y) #s(literal -1/16 binary64) (sin.f64 x)) (-.f64 (cos.f64 x) (cos.f64 y)))) #s(literal 2 binary64)) (+.f64 #s(literal 3 binary64) (fma.f64 (cos.f64 y) (.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) #s(literal 3/2 binary64)) (.f64 (*.f64 (cos.f64 x) (+.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal -1 binary64))) #s(literal 3/2 binary64)))))
(/.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 #s(literal 2 binary64) (.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) (.f64 (-.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 #s(literal 1 binary64) (+.f64 (.f64 (cos.f64 x) (-.f64 (/.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64))) (.f64 (cos.f64 y) (-.f64 #s(literal 3/2 binary64) (/.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 2 binary64))))))))
(/.f64 (fma.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) (+.f64 (sin.f64 x) (/.f64 (sin.f64 y) #s(literal -16 binary64)))) (.f64 (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) #s(literal 16 binary64))) (-.f64 (cos.f64 x) (cos.f64 y))) #s(literal 2 binary64)) (*.f64 #s(literal 3 binary64) (fma.f64 (cos.f64 y) (-.f64 #s(literal 3/2 binary64) (/.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 2 binary64))) (fma.f64 (cos.f64 x) (+.f64 (/.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 2 binary64)) #s(literal -1/2 binary64)) #s(literal 1 binary64)))))
(/.f64 (fma.f64 (sqrt.f64 #s(literal 2 binary64)) (.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))) (-.f64 (cos.f64 x) (cos.f64 y)))) #s(literal 2 binary64)) (*.f64 #s(literal 3 binary64) (fma.f64 (cos.f64 x) (+.f64 (/.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 2 binary64)) #s(literal -1/2 binary64)) (fma.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) (/.f64 (cos.f64 y) #s(literal 2 binary64)) #s(literal 1 binary64)))))
(/.f64 (fma.f64 (sqrt.f64 #s(literal 2 binary64)) (.f64 (+.f64 (sin.f64 y) (.f64 (sin.f64 x) #s(literal -1/16 binary64))) (.f64 (+.f64 (sin.f64 x) (.f64 (sin.f64 y) #s(literal -1/16 binary64))) (-.f64 (cos.f64 x) (cos.f64 y)))) #s(literal 2 binary64)) (+.f64 #s(literal 3 binary64) (fma.f64 (cos.f64 y) (.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) #s(literal 3/2 binary64)) (.f64 (*.f64 (cos.f64 x) (+.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal -1 binary64))) #s(literal 3/2 binary64)))))
(/.f64 (fma.f64 (sqrt.f64 #s(literal 2 binary64)) (.f64 (fma.f64 (sin.f64 x) #s(literal -1/16 binary64) (sin.f64 y)) (.f64 (fma.f64 (sin.f64 y) #s(literal -1/16 binary64) (sin.f64 x)) (-.f64 (cos.f64 x) (cos.f64 y)))) #s(literal 2 binary64)) (+.f64 #s(literal 3 binary64) (fma.f64 (cos.f64 y) (.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) #s(literal 3/2 binary64)) (.f64 (*.f64 (cos.f64 x) (+.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal -1 binary64))) #s(literal 3/2 binary64)))))
(/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) (-.f64 (sin.f64 (neg.f64 x)) (/.f64 (sin.f64 y) #s(literal 16 binary64)))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 (neg.f64 x)) #s(literal 16 binary64)))) (-.f64 (cos.f64 (neg.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 (neg.f64 x)))) (.f64 (/.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) #s(literal 2 binary64)) (cos.f64 y)))))
(/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) (-.f64 (neg.f64 (sin.f64 x)) (/.f64 (sin.f64 y) #s(literal 16 binary64)))) (.f64 (-.f64 (sin.f64 y) (/.f64 (neg.f64 (sin.f64 x)) #s(literal 16 binary64))) (-.f64 (cos.f64 x) (cos.f64 y))))) (.f64 #s(literal 3 binary64) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 (cos.f64 x) (-.f64 (/.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64))) (.f64 (cos.f64 y) (-.f64 #s(literal 3/2 binary64) (/.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 2 binary64))))))))
(/.f64 (/.f64 (fma.f64 (-.f64 (cos.f64 x) (cos.f64 y)) (.f64 (+.f64 (neg.f64 (sin.f64 x)) (/.f64 (sin.f64 y) #s(literal -16 binary64))) (.f64 (sqrt.f64 #s(literal 2 binary64)) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) #s(literal -16 binary64))))) #s(literal 2 binary64)) #s(literal 3 binary64)) (fma.f64 (cos.f64 y) (-.f64 #s(literal 3/2 binary64) (/.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 2 binary64))) (fma.f64 (cos.f64 x) (+.f64 (/.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 2 binary64)) #s(literal -1/2 binary64)) #s(literal 1 binary64))))
(/.f64 (fma.f64 (-.f64 (cos.f64 x) (cos.f64 y)) (.f64 (-.f64 (/.f64 (sin.f64 y) #s(literal -16 binary64)) (sin.f64 x)) (.f64 (sqrt.f64 #s(literal 2 binary64)) (+.f64 (sin.f64 y) (/.f64 (sin.f64 x) #s(literal 16 binary64))))) #s(literal 2 binary64)) (*.f64 #s(literal 3 binary64) (fma.f64 (cos.f64 x) (+.f64 (/.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 2 binary64)) #s(literal -1/2 binary64)) (fma.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) (/.f64 (cos.f64 y) #s(literal 2 binary64)) #s(literal 1 binary64)))))
(/.f64 (fma.f64 (sqrt.f64 #s(literal 2 binary64)) (.f64 (-.f64 (cos.f64 x) (cos.f64 y)) (.f64 (-.f64 (.f64 (sin.f64 y) #s(literal -1/16 binary64)) (sin.f64 x)) (+.f64 (sin.f64 y) (.f64 (sin.f64 x) #s(literal 1/16 binary64))))) #s(literal 2 binary64)) (+.f64 #s(literal 3 binary64) (fma.f64 (cos.f64 y) (.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) #s(literal 3/2 binary64)) (.f64 (*.f64 (cos.f64 x) (+.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal -1 binary64))) #s(literal 3/2 binary64)))))
(/.f64 (fma.f64 (sqrt.f64 #s(literal 2 binary64)) (.f64 (fma.f64 (sin.f64 y) #s(literal 1/16 binary64) (sin.f64 x)) (.f64 (fma.f64 (sin.f64 x) #s(literal 1/16 binary64) (sin.f64 y)) (-.f64 (cos.f64 y) (cos.f64 x)))) #s(literal 2 binary64)) (+.f64 #s(literal 3 binary64) (fma.f64 (cos.f64 y) (.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) #s(literal 3/2 binary64)) (.f64 (*.f64 (cos.f64 x) (+.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal -1 binary64))) #s(literal 3/2 binary64)))))
(/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) (-.f64 (sin.f64 x) (/.f64 (sin.f64 (neg.f64 y)) #s(literal 16 binary64)))) (-.f64 (sin.f64 (neg.f64 y)) (/.f64 (sin.f64 x) #s(literal 16 binary64)))) (-.f64 (cos.f64 x) (cos.f64 (neg.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 (neg.f64 y))))))
(/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) (-.f64 (neg.f64 (sin.f64 x)) (/.f64 (sin.f64 y) #s(literal 16 binary64)))) (.f64 (-.f64 (sin.f64 y) (/.f64 (neg.f64 (sin.f64 x)) #s(literal 16 binary64))) (-.f64 (cos.f64 x) (cos.f64 y))))) (.f64 #s(literal 3 binary64) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 (cos.f64 x) (-.f64 (/.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64))) (.f64 (cos.f64 y) (-.f64 #s(literal 3/2 binary64) (/.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 2 binary64))))))))
(/.f64 (/.f64 (fma.f64 (-.f64 (cos.f64 x) (cos.f64 y)) (.f64 (+.f64 (neg.f64 (sin.f64 x)) (/.f64 (sin.f64 y) #s(literal -16 binary64))) (.f64 (sqrt.f64 #s(literal 2 binary64)) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) #s(literal -16 binary64))))) #s(literal 2 binary64)) #s(literal 3 binary64)) (fma.f64 (cos.f64 y) (-.f64 #s(literal 3/2 binary64) (/.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 2 binary64))) (fma.f64 (cos.f64 x) (+.f64 (/.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 2 binary64)) #s(literal -1/2 binary64)) #s(literal 1 binary64))))
(/.f64 (fma.f64 (-.f64 (cos.f64 x) (cos.f64 y)) (.f64 (-.f64 (/.f64 (sin.f64 y) #s(literal -16 binary64)) (sin.f64 x)) (.f64 (sqrt.f64 #s(literal 2 binary64)) (+.f64 (sin.f64 y) (/.f64 (sin.f64 x) #s(literal 16 binary64))))) #s(literal 2 binary64)) (*.f64 #s(literal 3 binary64) (fma.f64 (cos.f64 x) (+.f64 (/.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 2 binary64)) #s(literal -1/2 binary64)) (fma.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) (/.f64 (cos.f64 y) #s(literal 2 binary64)) #s(literal 1 binary64)))))
(/.f64 (fma.f64 (sqrt.f64 #s(literal 2 binary64)) (.f64 (-.f64 (cos.f64 x) (cos.f64 y)) (.f64 (-.f64 (.f64 (sin.f64 y) #s(literal -1/16 binary64)) (sin.f64 x)) (+.f64 (sin.f64 y) (.f64 (sin.f64 x) #s(literal 1/16 binary64))))) #s(literal 2 binary64)) (+.f64 #s(literal 3 binary64) (fma.f64 (cos.f64 y) (.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) #s(literal 3/2 binary64)) (.f64 (*.f64 (cos.f64 x) (+.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal -1 binary64))) #s(literal 3/2 binary64)))))
(/.f64 (fma.f64 (sqrt.f64 #s(literal 2 binary64)) (.f64 (fma.f64 (sin.f64 y) #s(literal 1/16 binary64) (sin.f64 x)) (.f64 (fma.f64 (sin.f64 x) #s(literal 1/16 binary64) (sin.f64 y)) (-.f64 (cos.f64 y) (cos.f64 x)))) #s(literal 2 binary64)) (+.f64 #s(literal 3 binary64) (fma.f64 (cos.f64 y) (.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) #s(literal 3/2 binary64)) (.f64 (*.f64 (cos.f64 x) (+.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal -1 binary64))) #s(literal 3/2 binary64)))))
(neg.f64 (/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) (-.f64 (sin.f64 (neg.f64 x)) (/.f64 (sin.f64 y) #s(literal 16 binary64)))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 (neg.f64 x)) #s(literal 16 binary64)))) (-.f64 (cos.f64 (neg.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 (neg.f64 x)))) (.f64 (/.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) #s(literal 2 binary64)) (cos.f64 y))))))
(/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) (-.f64 (neg.f64 (sin.f64 x)) (/.f64 (sin.f64 y) #s(literal 16 binary64)))) (.f64 (-.f64 (sin.f64 y) (/.f64 (neg.f64 (sin.f64 x)) #s(literal 16 binary64))) (-.f64 (cos.f64 x) (cos.f64 y))))) (neg.f64 (.f64 #s(literal 3 binary64) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 (cos.f64 x) (-.f64 (/.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64))) (.f64 (cos.f64 y) (-.f64 #s(literal 3/2 binary64) (/.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 2 binary64)))))))))
(/.f64 (fma.f64 (-.f64 (cos.f64 x) (cos.f64 y)) (.f64 (+.f64 (neg.f64 (sin.f64 x)) (/.f64 (sin.f64 y) #s(literal -16 binary64))) (.f64 (sqrt.f64 #s(literal 2 binary64)) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) #s(literal -16 binary64))))) #s(literal 2 binary64)) (*.f64 (fma.f64 (cos.f64 y) (-.f64 #s(literal 3/2 binary64) (/.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 2 binary64))) (fma.f64 (cos.f64 x) (+.f64 (/.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 2 binary64)) #s(literal -1/2 binary64)) #s(literal 1 binary64))) #s(literal -3 binary64)))
(.f64 #s(literal -1/3 binary64) (/.f64 (fma.f64 (-.f64 (cos.f64 x) (cos.f64 y)) (.f64 (-.f64 (/.f64 (sin.f64 y) #s(literal -16 binary64)) (sin.f64 x)) (*.f64 (sqrt.f64 #s(literal 2 binary64)) (+.f64 (sin.f64 y) (/.f64 (sin.f64 x) #s(literal 16 binary64))))) #s(literal 2 binary64)) (fma.f64 (cos.f64 x) (+.f64 (/.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 2 binary64)) #s(literal -1/2 binary64)) (fma.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) (/.f64 (cos.f64 y) #s(literal 2 binary64)) #s(literal 1 binary64)))))
(/.f64 (fma.f64 (sqrt.f64 #s(literal 2 binary64)) (.f64 (-.f64 (cos.f64 x) (cos.f64 y)) (.f64 (-.f64 (.f64 (sin.f64 y) #s(literal -1/16 binary64)) (sin.f64 x)) (+.f64 (sin.f64 y) (.f64 (sin.f64 x) #s(literal 1/16 binary64))))) #s(literal 2 binary64)) (-.f64 #s(literal -3 binary64) (fma.f64 (cos.f64 y) (.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) #s(literal 3/2 binary64)) (.f64 (*.f64 (cos.f64 x) (+.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal -1 binary64))) #s(literal 3/2 binary64)))))
(/.f64 (fma.f64 (sqrt.f64 #s(literal 2 binary64)) (.f64 (fma.f64 (sin.f64 y) #s(literal 1/16 binary64) (sin.f64 x)) (.f64 (fma.f64 (sin.f64 x) #s(literal 1/16 binary64) (sin.f64 y)) (-.f64 (cos.f64 y) (cos.f64 x)))) #s(literal 2 binary64)) (-.f64 #s(literal -3 binary64) (fma.f64 (cos.f64 y) (.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) #s(literal 3/2 binary64)) (.f64 (*.f64 (cos.f64 x) (+.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal -1 binary64))) #s(literal 3/2 binary64)))))
(neg.f64 (/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) (-.f64 (sin.f64 x) (/.f64 (sin.f64 (neg.f64 y)) #s(literal 16 binary64)))) (-.f64 (sin.f64 (neg.f64 y)) (/.f64 (sin.f64 x) #s(literal 16 binary64)))) (-.f64 (cos.f64 x) (cos.f64 (neg.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 (neg.f64 y)))))))
(/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) (-.f64 (neg.f64 (sin.f64 x)) (/.f64 (sin.f64 y) #s(literal 16 binary64)))) (.f64 (-.f64 (sin.f64 y) (/.f64 (neg.f64 (sin.f64 x)) #s(literal 16 binary64))) (-.f64 (cos.f64 x) (cos.f64 y))))) (neg.f64 (.f64 #s(literal 3 binary64) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 (cos.f64 x) (-.f64 (/.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64))) (.f64 (cos.f64 y) (-.f64 #s(literal 3/2 binary64) (/.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 2 binary64)))))))))
(/.f64 (fma.f64 (-.f64 (cos.f64 x) (cos.f64 y)) (.f64 (+.f64 (neg.f64 (sin.f64 x)) (/.f64 (sin.f64 y) #s(literal -16 binary64))) (.f64 (sqrt.f64 #s(literal 2 binary64)) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) #s(literal -16 binary64))))) #s(literal 2 binary64)) (*.f64 (fma.f64 (cos.f64 y) (-.f64 #s(literal 3/2 binary64) (/.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 2 binary64))) (fma.f64 (cos.f64 x) (+.f64 (/.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 2 binary64)) #s(literal -1/2 binary64)) #s(literal 1 binary64))) #s(literal -3 binary64)))
(.f64 #s(literal -1/3 binary64) (/.f64 (fma.f64 (-.f64 (cos.f64 x) (cos.f64 y)) (.f64 (-.f64 (/.f64 (sin.f64 y) #s(literal -16 binary64)) (sin.f64 x)) (*.f64 (sqrt.f64 #s(literal 2 binary64)) (+.f64 (sin.f64 y) (/.f64 (sin.f64 x) #s(literal 16 binary64))))) #s(literal 2 binary64)) (fma.f64 (cos.f64 x) (+.f64 (/.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 2 binary64)) #s(literal -1/2 binary64)) (fma.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) (/.f64 (cos.f64 y) #s(literal 2 binary64)) #s(literal 1 binary64)))))
(/.f64 (fma.f64 (sqrt.f64 #s(literal 2 binary64)) (.f64 (-.f64 (cos.f64 x) (cos.f64 y)) (.f64 (-.f64 (.f64 (sin.f64 y) #s(literal -1/16 binary64)) (sin.f64 x)) (+.f64 (sin.f64 y) (.f64 (sin.f64 x) #s(literal 1/16 binary64))))) #s(literal 2 binary64)) (-.f64 #s(literal -3 binary64) (fma.f64 (cos.f64 y) (.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) #s(literal 3/2 binary64)) (.f64 (*.f64 (cos.f64 x) (+.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal -1 binary64))) #s(literal 3/2 binary64)))))
(/.f64 (fma.f64 (sqrt.f64 #s(literal 2 binary64)) (.f64 (fma.f64 (sin.f64 y) #s(literal 1/16 binary64) (sin.f64 x)) (.f64 (fma.f64 (sin.f64 x) #s(literal 1/16 binary64) (sin.f64 y)) (-.f64 (cos.f64 y) (cos.f64 x)))) #s(literal 2 binary64)) (-.f64 #s(literal -3 binary64) (fma.f64 (cos.f64 y) (.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) #s(literal 3/2 binary64)) (.f64 (*.f64 (cos.f64 x) (+.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal -1 binary64))) #s(literal 3/2 binary64)))))
(/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) #s(literal 16 binary64)))) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) #s(literal 16 binary64)))) (-.f64 (cos.f64 y) (cos.f64 x)))) (.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 y))) (.f64 (/.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) #s(literal 2 binary64)) (cos.f64 x)))))
(/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) (.f64 (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) #s(literal 16 binary64))) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) #s(literal 16 binary64))))) (-.f64 (cos.f64 y) (cos.f64 x)))) (.f64 #s(literal 3 binary64) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 (cos.f64 y) (-.f64 (/.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64)))) (.f64 (cos.f64 x) (-.f64 #s(literal 3/2 binary64) (/.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 2 binary64)))))))
(/.f64 (fma.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) (-.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))) (-.f64 (cos.f64 y) (cos.f64 x))) #s(literal 2 binary64)) (*.f64 #s(literal 3 binary64) (fma.f64 (cos.f64 x) (-.f64 #s(literal 3/2 binary64) (/.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 2 binary64))) (fma.f64 (cos.f64 y) (+.f64 (/.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 2 binary64)) #s(literal -1/2 binary64)) #s(literal 1 binary64)))))
(/.f64 (fma.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) (-.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))) (-.f64 (cos.f64 y) (cos.f64 x))) #s(literal 2 binary64)) (*.f64 #s(literal 3 binary64) (fma.f64 (cos.f64 x) (+.f64 #s(literal 3/2 binary64) (/.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal -2 binary64))) (fma.f64 (cos.f64 y) (+.f64 (/.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 2 binary64)) #s(literal -1/2 binary64)) #s(literal 1 binary64)))))
(/.f64 (fma.f64 (sqrt.f64 #s(literal 2 binary64)) (.f64 (+.f64 (sin.f64 x) (.f64 (sin.f64 y) #s(literal -1/16 binary64))) (.f64 (+.f64 (sin.f64 y) (.f64 (sin.f64 x) #s(literal -1/16 binary64))) (-.f64 (cos.f64 y) (cos.f64 x)))) #s(literal 2 binary64)) (+.f64 (.f64 (.f64 (cos.f64 y) (+.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal -1 binary64))) #s(literal 3/2 binary64)) (fma.f64 (cos.f64 x) (*.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) #s(literal 3/2 binary64)) #s(literal 3 binary64))))
(/.f64 (fma.f64 (sqrt.f64 #s(literal 2 binary64)) (.f64 (fma.f64 (sin.f64 y) #s(literal -1/16 binary64) (sin.f64 x)) (.f64 (fma.f64 (sin.f64 x) #s(literal -1/16 binary64) (sin.f64 y)) (-.f64 (cos.f64 y) (cos.f64 x)))) #s(literal 2 binary64)) (+.f64 (.f64 (.f64 (cos.f64 y) (+.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal -1 binary64))) #s(literal 3/2 binary64)) (fma.f64 (cos.f64 x) (*.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) #s(literal 3/2 binary64)) #s(literal 3 binary64))))

Compiler

Compiled 52 to 32 computations (38.5% saved)

eval0.0ms (0%)

Compiler: Compiled 2 to 2 computations (0% saved)

prune4.0ms (0%)

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 104 to 64 computations (38.5% saved)

simplify18.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

21×	`unsub-neg`
20×	`neg-mul-1`
18×	`*-commutative`
17×	`+-commutative`
13×	`sub-neg`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	183
1	62	183
2	85	183
3	104	183
4	139	183
5	192	183
6	197	183

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)))))

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 #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 (cos.f64 x) (/.f64 (-.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal 1 binary64)) #s(literal 2 binary64)))) (*.f64 (cos.f64 y) (/.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) #s(literal 2 binary64))))))

(/.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 (cos.f64 x) (/.f64 (+.f64 (sqrt.f64 #s(literal 5 binary64)) #s(literal -1 binary64)) #s(literal 2 binary64)))) (*.f64 (cos.f64 y) (/.f64 (-.f64 #s(literal 3 binary64) (sqrt.f64 #s(literal 5 binary64))) #s(literal 2 binary64))))))

soundness2.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 52 to 33 computations (36.5% saved)

preprocess96.0ms (0.8%)

Compiler: Compiled 208 to 130 computations (37.5% saved)

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

analyze389.0ms (3.4%)

sample10.8s (93.7%)

preprocess214.0ms (1.9%)

eval0.0ms (0%)

prune4.0ms (0%)

simplify18.0ms (0.2%)

soundness2.0ms (0%)

preprocess96.0ms (0.8%)

end0.0ms (0%)

Profiling