Metrics for b from scale-rotated-ellipse

start0.0ms (0%)

Memory: 0.2MiB live, 0.2MiB allocated

analyze1.2s (18.1%)

Memory

4.0MiB live, 433.8MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
0%	0%	99.8%	0.2%	0%	0%	0%	1
0%	0%	99.8%	0.2%	0%	0%	0%	2
0%	0%	99.8%	0.2%	0%	0%	0%	3
0%	0%	99.8%	0.2%	0%	0%	0%	4
0%	0%	99.8%	0.2%	0%	0%	0%	5
0%	0%	99.8%	0.2%	0%	0%	0%	6
0%	0%	99.8%	0.2%	0%	0%	0%	7
0%	0%	99.8%	0.2%	0%	0%	0%	8
0%	0%	99.8%	0.2%	0%	0%	0%	9
0%	0%	99.8%	0.2%	0%	0%	0%	10
0%	0%	99.8%	0.2%	0%	0%	0%	11
0%	0%	99.8%	0.2%	0%	0%	0%	12

Compiler

Compiled 185 to 54 computations (70.8% saved)

sample376.0ms (5.7%)

Memory

4.7MiB live, 104.9MiB allocated

Samples

159.0ms	87×	3	valid
107.0ms	86×	2	valid
68.0ms	86×	1	valid
2.0ms	1×	4	valid

Precisions

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

ival-cosu: 53.0ms (16.7% of total)

ival-sinu: 52.0ms (16.4% of total)

ival-mult: 51.0ms (16.1% of total)

ival-pow2: 49.0ms (15.5% of total)

adjust: 42.0ms (13.2% of total)

ival-div: 34.0ms (10.7% of total)

ival-add: 12.0ms (3.8% of total)

ival-sqrt: 11.0ms (3.5% of total)

ival-sub: 9.0ms (2.8% of total)

ival-neg: 4.0ms (1.3% of total)

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

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

exact: 0.0ms (0% of total)

Bogosity

explain4.8s (72.4%)

Memory

45.9MiB live, 1 360.3MiB allocated

Confusion

	Predicted +	Predicted -
+	2	254
-	0	0

Precision

1.0

Recall

0.0078125

2:

4:

8:

16:

32:

64:

128:

256:

512:

1024:

2048:

Samples

2.0s	1 032×	3	valid
1.3s	1 020×	2	valid
852.0ms	1 020×	1	valid

Compiler

Compiled 6 612 to 1 992 computations (69.9% saved)

Precisions

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

ival-cosu: 641.0ms (16.7% of total)

ival-sinu: 623.0ms (16.3% of total)

ival-pow2: 618.0ms (16.1% of total)

ival-mult: 593.0ms (15.5% of total)

adjust: 510.0ms (13.3% of total)

ival-div: 404.0ms (10.5% of total)

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

ival-sqrt: 124.0ms (3.2% of total)

ival-sub: 108.0ms (2.8% of total)

ival-neg: 63.0ms (1.6% of total)

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

exact: 3.0ms (0.1% of total)

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

preprocess155.0ms (2.3%)

Memory

6.1MiB live, 42.6MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	544	3725
1	1507	3576
2	6729	3569
0	56	183
0	104	183
1	182	180
2	587	180
3	5127	177
0	8728	172

Stop Event

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

Calls

Call 1

Inputs
(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) (/.f64 (.f64 #s(literal 4 binary64) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 x-scale y-scale) #s(literal 2 binary64)))) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (-.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) y-scale) y-scale)) #s(literal 2 binary64)) (pow.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) (cos.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) x-scale) y-scale) #s(literal 2 binary64)))))))) (/.f64 (.f64 #s(literal 4 binary64) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) #s(literal 2 binary64))))

Inputs

(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 #s(literal 4 binary64) (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) #s(literal 2 binary64)))) (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (-.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) y-scale) y-scale)) #s(literal 2 binary64)) (pow.f64 (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) x-scale) y-scale) #s(literal 2 binary64)))))))) (/.f64 (*.f64 #s(literal 4 binary64) (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) #s(literal 2 binary64))))

Outputs
(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) (/.f64 (.f64 #s(literal 4 binary64) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 x-scale y-scale) #s(literal 2 binary64)))) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (-.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) y-scale) y-scale)) #s(literal 2 binary64)) (pow.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) (cos.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) x-scale) y-scale) #s(literal 2 binary64)))))))) (/.f64 (.f64 #s(literal 4 binary64) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) #s(literal 2 binary64))))
(/.f64 (sqrt.f64 (.f64 (-.f64 (+.f64 (/.f64 (+.f64 (pow.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) b) #s(literal 2 binary64)) (pow.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) a) #s(literal 2 binary64))) (.f64 y-scale y-scale)) (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) b) #s(literal 2 binary64)) (pow.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) a) #s(literal 2 binary64))) (.f64 x-scale x-scale))) (hypot.f64 (.f64 (/.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (.f64 y-scale x-scale)) (.f64 (.f64 (fma.f64 (neg.f64 a) a (.f64 b b)) #s(literal 2 binary64)) (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))) (-.f64 (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) b) #s(literal 2 binary64)) (pow.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) a) #s(literal 2 binary64))) (.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) b) #s(literal 2 binary64)) (pow.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) a) #s(literal 2 binary64))) (.f64 y-scale y-scale))))) (.f64 (.f64 (.f64 (.f64 (.f64 a b) #s(literal 8 binary64)) (.f64 (.f64 a (/.f64 b (pow.f64 (.f64 y-scale x-scale) #s(literal 2 binary64)))) (.f64 a b))) b) a))) (.f64 (/.f64 #s(literal 4 binary64) (pow.f64 (.f64 y-scale x-scale) #s(literal 2 binary64))) (.f64 (.f64 (.f64 b b) a) a)))

Outputs

(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 #s(literal 4 binary64) (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) #s(literal 2 binary64)))) (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (-.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) y-scale) y-scale)) #s(literal 2 binary64)) (pow.f64 (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) x-scale) y-scale) #s(literal 2 binary64)))))))) (/.f64 (*.f64 #s(literal 4 binary64) (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) #s(literal 2 binary64))))

(/.f64 (sqrt.f64 (*.f64 (-.f64 (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) b) #s(literal 2 binary64)) (pow.f64 (*.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) a) #s(literal 2 binary64))) (*.f64 y-scale y-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) b) #s(literal 2 binary64)) (pow.f64 (*.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) a) #s(literal 2 binary64))) (*.f64 x-scale x-scale))) (hypot.f64 (*.f64 (/.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (*.f64 y-scale x-scale)) (*.f64 (*.f64 (fma.f64 (neg.f64 a) a (*.f64 b b)) #s(literal 2 binary64)) (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))) (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) b) #s(literal 2 binary64)) (pow.f64 (*.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) a) #s(literal 2 binary64))) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) b) #s(literal 2 binary64)) (pow.f64 (*.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) a) #s(literal 2 binary64))) (*.f64 y-scale y-scale))))) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 a b) #s(literal 8 binary64)) (*.f64 (*.f64 a (/.f64 b (pow.f64 (*.f64 y-scale x-scale) #s(literal 2 binary64)))) (*.f64 a b))) b) a))) (*.f64 (/.f64 #s(literal 4 binary64) (pow.f64 (*.f64 y-scale x-scale) #s(literal 2 binary64))) (*.f64 (*.f64 (*.f64 b b) a) a)))

Symmetry

(abs y-scale)

(abs x-scale)

(abs b)

(abs a)

Compiler

Compiled 183 to 56 computations (69.4% saved)

eval0.0ms (0%)

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

prune2.0ms (0%)

Memory

-6.7MiB live, 1.0MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	0.0%	(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) (/.f64 (.f64 #s(literal 4 binary64) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 x-scale y-scale) #s(literal 2 binary64)))) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (-.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) y-scale) y-scale)) #s(literal 2 binary64)) (pow.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) (cos.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) x-scale) y-scale) #s(literal 2 binary64)))))))) (/.f64 (.f64 #s(literal 4 binary64) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) #s(literal 2 binary64))))

Status

Accuracy

Program

0.0%

(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 #s(literal 4 binary64) (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) #s(literal 2 binary64)))) (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (-.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) y-scale) y-scale)) #s(literal 2 binary64)) (pow.f64 (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) x-scale) y-scale) #s(literal 2 binary64)))))))) (/.f64 (*.f64 #s(literal 4 binary64) (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) #s(literal 2 binary64))))

Compiler

Compiled 366 to 112 computations (69.4% saved)

simplify74.0ms (1.1%)

Memory

1.5MiB live, 19.9MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	56	183
1	91	183
2	119	183
3	156	181
4	213	179
5	288	179
6	396	179
7	511	179
8	687	179
9	953	179
10	1182	179
11	1297	179
12	1397	179
13	1515	179
14	1608	179
15	1661	179
16	1698	179
17	1720	179
18	1734	179
19	1740	179
20	1741	179

Stop Event

1×

saturated

Calls

Call 1

Inputs
(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) (/.f64 (.f64 #s(literal 4 binary64) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 x-scale y-scale) #s(literal 2 binary64)))) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (-.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) y-scale) y-scale)) #s(literal 2 binary64)) (pow.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) (cos.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) x-scale) y-scale) #s(literal 2 binary64)))))))) (/.f64 (.f64 #s(literal 4 binary64) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) #s(literal 2 binary64))))

Inputs

(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 #s(literal 4 binary64) (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) #s(literal 2 binary64)))) (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (-.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) y-scale) y-scale)) #s(literal 2 binary64)) (pow.f64 (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) x-scale) y-scale) #s(literal 2 binary64)))))))) (/.f64 (*.f64 #s(literal 4 binary64) (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) #s(literal 2 binary64))))

Outputs
(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) (/.f64 (.f64 #s(literal 4 binary64) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 x-scale y-scale) #s(literal 2 binary64)))) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (-.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) y-scale) y-scale)) #s(literal 2 binary64)) (pow.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) (cos.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) x-scale) y-scale) #s(literal 2 binary64)))))))) (/.f64 (.f64 #s(literal 4 binary64) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) #s(literal 2 binary64))))
(/.f64 (sqrt.f64 (.f64 (-.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) b) #s(literal 2 binary64)) (pow.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) a) #s(literal 2 binary64))) y-scale) y-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) b) #s(literal 2 binary64)) (pow.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) a) #s(literal 2 binary64))) x-scale) x-scale)) (sqrt.f64 (+.f64 (pow.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) #s(literal 2 binary64)) (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) x-scale) y-scale) #s(literal 2 binary64)) (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) b) #s(literal 2 binary64)) (pow.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) a) #s(literal 2 binary64))) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) b) #s(literal 2 binary64)) (pow.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) a) #s(literal 2 binary64))) y-scale) y-scale)) #s(literal 2 binary64))))) (.f64 (.f64 (/.f64 (.f64 (.f64 (.f64 a b) (.f64 a b)) #s(literal 4 binary64)) (pow.f64 (.f64 y-scale x-scale) #s(literal 2 binary64))) #s(literal 2 binary64)) (.f64 (.f64 a b) (.f64 a b))))) (/.f64 (.f64 (.f64 (.f64 a b) (.f64 a b)) #s(literal 4 binary64)) (pow.f64 (*.f64 y-scale x-scale) #s(literal 2 binary64))))

Outputs

(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 #s(literal 4 binary64) (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) #s(literal 2 binary64)))) (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (-.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) y-scale) y-scale)) #s(literal 2 binary64)) (pow.f64 (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) x-scale) y-scale) #s(literal 2 binary64)))))))) (/.f64 (*.f64 #s(literal 4 binary64) (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) #s(literal 2 binary64))))

(/.f64 (sqrt.f64 (*.f64 (-.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) b) #s(literal 2 binary64)) (pow.f64 (*.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) a) #s(literal 2 binary64))) y-scale) y-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) b) #s(literal 2 binary64)) (pow.f64 (*.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) a) #s(literal 2 binary64))) x-scale) x-scale)) (sqrt.f64 (+.f64 (pow.f64 (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) #s(literal 2 binary64)) (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) x-scale) y-scale) #s(literal 2 binary64)) (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) b) #s(literal 2 binary64)) (pow.f64 (*.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) a) #s(literal 2 binary64))) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) b) #s(literal 2 binary64)) (pow.f64 (*.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) a) #s(literal 2 binary64))) y-scale) y-scale)) #s(literal 2 binary64))))) (*.f64 (*.f64 (/.f64 (*.f64 (*.f64 (*.f64 a b) (*.f64 a b)) #s(literal 4 binary64)) (pow.f64 (*.f64 y-scale x-scale) #s(literal 2 binary64))) #s(literal 2 binary64)) (*.f64 (*.f64 a b) (*.f64 a b))))) (/.f64 (*.f64 (*.f64 (*.f64 a b) (*.f64 a b)) #s(literal 4 binary64)) (pow.f64 (*.f64 y-scale x-scale) #s(literal 2 binary64))))

soundness1.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 179 to 53 computations (70.4% saved)

preprocess18.0ms (0.3%)

Memory

3.2MiB live, 11.0MiB allocated

Remove

(abs a)

(abs b)

(abs x-scale)

(abs y-scale)

Compiler

Compiled 3 588 to 1 066 computations (70.3% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze1.2s (18.1%)

sample376.0ms (5.7%)

explain4.8s (72.4%)

preprocess155.0ms (2.3%)

eval0.0ms (0%)

prune2.0ms (0%)

simplify74.0ms (1.1%)

soundness1.0ms (0%)

preprocess18.0ms (0.3%)

end0.0ms (0%)

Profiling