Metrics for b from scale-rotated-ellipse

start0.0ms (0%)

Memory: 0.2MiB live, 0.2MiB allocated

analyze1.2s (6.4%)

Memory

5.4MiB live, 435.2MiB 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)

sample371.0ms (2%)

Memory

2.0MiB live, 102.3MiB allocated

Samples

147.0ms	79×	3	valid
112.0ms	92×	2	valid
69.0ms	85×	1	valid
4.0ms	1×	4	valid
1.0ms	3×	0	valid

Precisions

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

ival-cosu: 52.0ms (16.6% of total)

ival-sinu: 51.0ms (16.2% of total)

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

ival-mult: 49.0ms (15.6% of total)

adjust: 43.0ms (13.7% of total)

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

ival-sqrt: 13.0ms (4.1% of total)

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

ival-sub: 9.0ms (2.9% 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

explain17.0s (90.3%)

Memory

52.9MiB live, 8 838.4MiB allocated

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
172	0	-	172	(-5.377427807876024e+284 -9.626073564194633e+86 2.0764437639619092e-60 8.722142054582063e+285 4.814563187046773e-212)	(/.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))))
172	66	(6.879969652764031e-117 -3.5599762704611602e-25 3.978257240379368e-255 9.449692643788985e+262 -4.912175763957192e-197)	146	(-2.6020210010875527e+89 -1.6429267924605829e-305 -1.5152700816241261e-33 -1.649516288822799e-169 1.669527134167878e-83)	(-.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)))))
124	0	-	0	-	`(sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))`
124	0	-	1	(3.252552987220495e-277 -8.674036113357397e+119 1877704646998406400.0 -5.2870776464353184e+98 4.62933697464409e-94)	`(cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))`
57	0	-	57	(-2.6020210010875527e+89 -1.6429267924605829e-305 -1.5152700816241261e-33 -1.649516288822799e-169 1.669527134167878e-83)	`(/.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)))`
48	0	-	48	(-2.6020210010875527e+89 -1.6429267924605829e-305 -1.5152700816241261e-33 -1.649516288822799e-169 1.669527134167878e-83)	(-.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))
44	0	-	44	(6.952417223049746e+133 8.793842963370931e+170 1.051697154845801e+215 -4.111025895767005e+29 -4.179443367447835e+272)	(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))))
40	0	-	40	(6.952417223049746e+133 8.793842963370931e+170 1.051697154845801e+215 -4.111025895767005e+29 -4.179443367447835e+272)	(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)))))))
36	0	-	36	(6.7790149237660765e+193 118714527488174240.0 2.9410551940228857e-155 -3.169512546567471e-62 2.2336851322606296e-49)	`(.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))))`
35	0	-	35	(-5.377427807876024e+284 -9.626073564194633e+86 2.0764437639619092e-60 8.722142054582063e+285 4.814563187046773e-212)	`(/.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)`
33	0	-	33	(6.952417223049746e+133 8.793842963370931e+170 1.051697154845801e+215 -4.111025895767005e+29 -4.179443367447835e+272)	`(/.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)`
33	0	-	33	(-5.377427807876024e+284 -9.626073564194633e+86 2.0764437639619092e-60 8.722142054582063e+285 4.814563187046773e-212)	(.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))))))
31	0	-	31	(-5.377427807876024e+284 -9.626073564194633e+86 2.0764437639619092e-60 8.722142054582063e+285 4.814563187046773e-212)	`(/.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)`
20	0	-	20	(6.952417223049746e+133 8.793842963370931e+170 1.051697154845801e+215 -4.111025895767005e+29 -4.179443367447835e+272)	`(/.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)`
20	0	-	20	(-2292552809630703000.0 -1.2761448519078671e-138 1.4283085271792166e-205 -2.393044879008095e-175 1.391700552392905e-109)	`(.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))))`
14	0	-	14	(-1.2405323930789123e+241 3.554415055427413e+272 -1.4650159015166808e+55 -1.945274774262202e+62 1.7326770082177827e+170)	`(-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))`
12	0	-	12	(-1.2405323930789123e+241 3.554415055427413e+272 -1.4650159015166808e+55 -1.945274774262202e+62 1.7326770082177827e+170)	`(/.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)`
12	0	-	12	(6.952417223049746e+133 8.793842963370931e+170 1.051697154845801e+215 -4.111025895767005e+29 -4.179443367447835e+272)	`(/.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)`
0	0	-	0	-	`x-scale`
0	0	-	0	-	`(*.f64 b a)`
0	0	-	0	-	`(pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))`
0	0	-	0	-	`(pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))`
0	0	-	0	-	`(.f64 a (cos.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64))))`
0	0	-	0	-	(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))))))))
0	0	-	0	-	`(*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64))`
0	0	-	0	-	`(.f64 (.f64 b a) (*.f64 b (neg.f64 a)))`
0	0	-	0	-	`(*.f64 x-scale y-scale)`
0	0	-	0	-	`(pow.f64 (*.f64 x-scale y-scale) #s(literal 2 binary64))`
0	0	-	0	-	`(*.f64 b (neg.f64 a))`
0	0	-	0	-	`(pow.f64 b #s(literal 2 binary64))`
0	0	-	0	-	`(.f64 a (sin.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64))))`
0	0	-	0	-	`(+.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)))`
0	0	-	0	-	`(neg.f64 a)`
0	0	-	0	-	`(*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))))`
0	0	-	0	-	(+.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))
0	0	-	0	-	`(.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))))`
0	0	-	0	-	`#s(literal 180 binary64)`
0	0	-	0	-	`(.f64 b (sin.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64))))`
0	0	-	0	-	`angle`
0	0	-	0	-	`#s(literal 2 binary64)`
0	0	-	0	-	(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))
0	0	-	0	-	`(.f64 b (cos.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64))))`
0	0	-	0	-	`b`
0	0	-	0	-	`a`
0	0	-	0	-	`(.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))))`
0	0	-	0	-	(+.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)))
0	0	-	0	-	`(pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))`
0	0	-	0	-	`(pow.f64 a #s(literal 2 binary64))`
0	0	-	0	-	`(pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))`
0	0	-	0	-	`(PI.f64)`
0	0	-	0	-	`(+.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)))`
0	0	-	0	-	`(/.f64 angle #s(literal 180 binary64))`
0	0	-	0	-	`(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))`
0	0	-	0	-	`#s(literal 4 binary64)`
0	0	-	0	-	`y-scale`
0	0	-	0	-	`(.f64 #s(literal 4 binary64) (.f64 (.f64 b a) (.f64 b (neg.f64 a))))`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sin.f64`	`(sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))`	sensitivity	124
`cos.f64`	`(cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))`	sensitivity	123
`-.f64`	(-.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)))))	cancellation	92

Confusion

	Predicted +	Predicted -
+	183	73
-	0	0

Precision

1.0

Recall

0.71484375

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	183	0	73
-	0	0	0

Precision?

1.0

Recall?

0.71484375

Freqs

test

number	freq
0	73
1	60
2	90
3	33

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1	0	0
-	0	0	0

Precision?

1.0

Recall?

1.0

Total Time

38.408935546875

Average Time

0.15003490447998047

Samples

1.9s	924×	3	valid
1.6s	1 140×	2	valid
900.0ms	972×	1	valid
52.0ms	12×	4	valid
9.0ms	24×	0	valid

Compiler

Compiled 60 288 to 2 712 computations (95.5% saved)

Precisions

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

ival-cosu: 610.0ms (16.2% of total)

ival-sinu: 603.0ms (16% of total)

ival-mult: 599.0ms (15.9% of total)

ival-pow2: 596.0ms (15.8% of total)

adjust: 512.0ms (13.6% of total)

ival-div: 425.0ms (11.3% of total)

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

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

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

ival-neg: 45.0ms (1.2% of total)

ival-pi: 10.0ms (0.3% of total)

exact: 5.0ms (0.1% of total)

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

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

preprocess156.0ms (0.8%)

Memory

4.7MiB live, 42.5MiB 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)

prune9.0ms (0%)

Memory

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

simplify73.0ms (0.4%)

Memory

4.1MiB 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.1%)

Memory

3.1MiB 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 (6.4%)

sample371.0ms (2%)

explain17.0s (90.3%)

preprocess156.0ms (0.8%)

eval0.0ms (0%)

prune9.0ms (0%)

simplify73.0ms (0.4%)

soundness1.0ms (0%)

preprocess18.0ms (0.1%)

end0.0ms (0%)

Profiling