Metrics for ab-angle->ABCF B

analyze37.0ms (0.4%)

Memory

-4.7MiB live, 11.1MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
100%	99.9%	0%	0.1%	0%	0%	0%	1

Compiler

Compiled 52 to 35 computations (32.7% saved)

sample8.8s (98.2%)

Memory

-909.8MiB live, 2 202.0MiB allocated

Samples

2.0s	3 575×	1	valid-baseline
1.3s	3 575×	1	valid-sollya
854.0ms	3 575×	1	valid-rival
614.0ms	4 610×	0	valid-sollya
548.0ms	4 610×	0	valid-baseline
514.0ms	39×	3	valid-sollya
456.0ms	4 610×	0	valid-rival
280.0ms	22×	2	valid-sollya
160.0ms	39×	3	valid-baseline
92.0ms	39×	3	valid-rival
43.0ms	22×	2	valid-baseline
18.0ms	22×	2	valid-rival
15.0ms	6×	3	valid-rival+baseline-real
2.0ms	1×	3	valid-rival+sollya-real
1.0ms	1×	2	valid-rival+baseline-real
0.0ms	1×	1	valid-rival+sollya-real
0.0ms	1×	0	valid-rival+baseline-real

Precisions

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

ival-sin: 289.0ms (24.6% of total)

ival-mult: 282.0ms (24% of total)

ival-pow2: 190.0ms (16.2% of total)

ival-cos: 171.0ms (14.5% of total)

ival-div: 83.0ms (7.1% of total)

adjust: 58.0ms (4.9% of total)

ival-sub: 47.0ms (4% of total)

ival-pi: 40.0ms (3.4% of total)

ival-true: 7.0ms (0.6% of total)

...in/eval/compile.rkt:76:19: 6.0ms (0.5% of total)

ival-assert: 3.0ms (0.3% of total)

Precisions

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

ival-pow: 730.0ms (31.1% of total)

ival-mult: 592.0ms (25.2% of total)

ival-sin: 439.0ms (18.7% of total)

ival-cos: 242.0ms (10.3% of total)

ival-div: 144.0ms (6.1% of total)

ival-sub: 100.0ms (4.3% of total)

ival-pi: 73.0ms (3.1% of total)

const: 30.0ms (1.3% of total)

Bogosity

preprocess93.0ms (1%)

Memory

7.3MiB live, 24.3MiB allocated

Algorithm

1×	egg-herbie

Rules

487×	`distribute-lft-in`
477×	`distribute-rgt-in`
443×	`distribute-lft-neg-out`
379×	`*-commutative`
365×	`distribute-rgt-neg-out`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	66	967
1	164	935
2	510	935
3	1758	935
4	5257	935

Stop Event

1×	node limit

Calls

Call 1

Inputs
(.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 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))
(.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 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))
(.f64 (.f64 (.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 (neg.f64 a) #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)))))
(.f64 (.f64 (.f64 #s(literal 2 binary64) (-.f64 (pow.f64 (neg.f64 b) #s(literal 2 binary64)) (pow.f64 a #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)))))
(.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 (PI.f64) (/.f64 (neg.f64 angle) #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 (neg.f64 angle) #s(literal 180 binary64)))))
(neg.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 (neg.f64 a) #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))))))
(neg.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) (-.f64 (pow.f64 (neg.f64 b) #s(literal 2 binary64)) (pow.f64 a #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))))))
(neg.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 (PI.f64) (/.f64 (neg.f64 angle) #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 (neg.f64 angle) #s(literal 180 binary64))))))
(.f64 (.f64 (.f64 #s(literal 2 binary64) (-.f64 (pow.f64 a #s(literal 2 binary64)) (pow.f64 b #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)))))
(.f64 (.f64 (.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 angle #s(literal 2 binary64)))) (sin.f64 (.f64 (PI.f64) (/.f64 a #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 a #s(literal 180 binary64)))))
(.f64 (.f64 (.f64 #s(literal 2 binary64) (-.f64 (pow.f64 angle #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (.f64 (PI.f64) (/.f64 b #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 b #s(literal 180 binary64)))))

Outputs
(.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 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))
(.f64 #s(literal 2 binary64) (.f64 (.f64 (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #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))))))
(.f64 (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) (.f64 #s(literal 2 binary64) (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))))
(.f64 (.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))))
(.f64 (cos.f64 (.f64 angle (/.f64 (PI.f64) #s(literal -180 binary64)))) (.f64 #s(literal 2 binary64) (.f64 (sin.f64 (*.f64 angle (/.f64 (PI.f64) #s(literal -180 binary64)))) (-.f64 (pow.f64 a #s(literal 2 binary64)) (pow.f64 b #s(literal 2 binary64))))))
(.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 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))
(.f64 #s(literal 2 binary64) (.f64 (.f64 (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #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))))))
(.f64 (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) (.f64 #s(literal 2 binary64) (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))))
(.f64 (.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))))
(.f64 (cos.f64 (.f64 angle (/.f64 (PI.f64) #s(literal -180 binary64)))) (.f64 #s(literal 2 binary64) (.f64 (sin.f64 (*.f64 angle (/.f64 (PI.f64) #s(literal -180 binary64)))) (-.f64 (pow.f64 a #s(literal 2 binary64)) (pow.f64 b #s(literal 2 binary64))))))
(.f64 (.f64 (.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 (neg.f64 a) #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)))))
(.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 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))
(.f64 #s(literal 2 binary64) (.f64 (.f64 (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #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))))))
(.f64 (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) (.f64 #s(literal 2 binary64) (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))))
(.f64 (.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))))
(.f64 (cos.f64 (.f64 angle (/.f64 (PI.f64) #s(literal -180 binary64)))) (.f64 #s(literal 2 binary64) (.f64 (sin.f64 (*.f64 angle (/.f64 (PI.f64) #s(literal -180 binary64)))) (-.f64 (pow.f64 a #s(literal 2 binary64)) (pow.f64 b #s(literal 2 binary64))))))
(.f64 (.f64 (.f64 #s(literal 2 binary64) (-.f64 (pow.f64 (neg.f64 b) #s(literal 2 binary64)) (pow.f64 a #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)))))
(.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 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))
(.f64 #s(literal 2 binary64) (.f64 (.f64 (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #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))))))
(.f64 (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) (.f64 #s(literal 2 binary64) (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))))
(.f64 (.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))))
(.f64 (cos.f64 (.f64 angle (/.f64 (PI.f64) #s(literal -180 binary64)))) (.f64 #s(literal 2 binary64) (.f64 (sin.f64 (*.f64 angle (/.f64 (PI.f64) #s(literal -180 binary64)))) (-.f64 (pow.f64 a #s(literal 2 binary64)) (pow.f64 b #s(literal 2 binary64))))))
(.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 (PI.f64) (/.f64 (neg.f64 angle) #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 (neg.f64 angle) #s(literal 180 binary64)))))
(.f64 (.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal -180 binary64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal -180 binary64))))))
(.f64 #s(literal 2 binary64) (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (-.f64 (pow.f64 a #s(literal 2 binary64)) (pow.f64 b #s(literal 2 binary64))))))
(.f64 #s(literal 2 binary64) (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (.f64 (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) (sin.f64 (.f64 (PI.f64) (.f64 angle #s(literal -1/180 binary64)))))))
(.f64 #s(literal 2 binary64) (.f64 (cos.f64 (.f64 angle (/.f64 (PI.f64) #s(literal -180 binary64)))) (.f64 (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) (sin.f64 (*.f64 angle (/.f64 (PI.f64) #s(literal -180 binary64)))))))
(neg.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 (neg.f64 a) #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))))))
(.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 (PI.f64) (/.f64 (neg.f64 angle) #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 (neg.f64 angle) #s(literal 180 binary64)))))
(.f64 (.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal -180 binary64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal -180 binary64))))))
(.f64 #s(literal 2 binary64) (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (-.f64 (pow.f64 a #s(literal 2 binary64)) (pow.f64 b #s(literal 2 binary64))))))
(.f64 #s(literal 2 binary64) (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (.f64 (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) (sin.f64 (.f64 (PI.f64) (.f64 angle #s(literal -1/180 binary64)))))))
(.f64 #s(literal 2 binary64) (.f64 (cos.f64 (.f64 angle (/.f64 (PI.f64) #s(literal -180 binary64)))) (.f64 (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) (sin.f64 (*.f64 angle (/.f64 (PI.f64) #s(literal -180 binary64)))))))
(neg.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) (-.f64 (pow.f64 (neg.f64 b) #s(literal 2 binary64)) (pow.f64 a #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))))))
(.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 (PI.f64) (/.f64 (neg.f64 angle) #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 (neg.f64 angle) #s(literal 180 binary64)))))
(.f64 (.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal -180 binary64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal -180 binary64))))))
(.f64 #s(literal 2 binary64) (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (-.f64 (pow.f64 a #s(literal 2 binary64)) (pow.f64 b #s(literal 2 binary64))))))
(.f64 #s(literal 2 binary64) (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (.f64 (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) (sin.f64 (.f64 (PI.f64) (.f64 angle #s(literal -1/180 binary64)))))))
(.f64 #s(literal 2 binary64) (.f64 (cos.f64 (.f64 angle (/.f64 (PI.f64) #s(literal -180 binary64)))) (.f64 (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) (sin.f64 (*.f64 angle (/.f64 (PI.f64) #s(literal -180 binary64)))))))
(neg.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 (PI.f64) (/.f64 (neg.f64 angle) #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 (neg.f64 angle) #s(literal 180 binary64))))))
(.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 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))
(.f64 #s(literal 2 binary64) (.f64 (.f64 (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #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))))))
(.f64 (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) (.f64 #s(literal 2 binary64) (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))))
(.f64 (.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))))
(.f64 (cos.f64 (.f64 angle (/.f64 (PI.f64) #s(literal -180 binary64)))) (.f64 #s(literal 2 binary64) (.f64 (sin.f64 (*.f64 angle (/.f64 (PI.f64) #s(literal -180 binary64)))) (-.f64 (pow.f64 a #s(literal 2 binary64)) (pow.f64 b #s(literal 2 binary64))))))
(.f64 (.f64 (.f64 #s(literal 2 binary64) (-.f64 (pow.f64 a #s(literal 2 binary64)) (pow.f64 b #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)))))
(.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 (PI.f64) (/.f64 (neg.f64 angle) #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 (neg.f64 angle) #s(literal 180 binary64)))))
(.f64 (.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal -180 binary64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal -180 binary64))))))
(.f64 #s(literal 2 binary64) (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (-.f64 (pow.f64 a #s(literal 2 binary64)) (pow.f64 b #s(literal 2 binary64))))))
(.f64 #s(literal 2 binary64) (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (.f64 (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) (sin.f64 (.f64 (PI.f64) (.f64 angle #s(literal -1/180 binary64)))))))
(.f64 #s(literal 2 binary64) (.f64 (cos.f64 (.f64 angle (/.f64 (PI.f64) #s(literal -180 binary64)))) (.f64 (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) (sin.f64 (*.f64 angle (/.f64 (PI.f64) #s(literal -180 binary64)))))))
(.f64 (.f64 (.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 angle #s(literal 2 binary64)))) (sin.f64 (.f64 (PI.f64) (/.f64 a #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 a #s(literal 180 binary64)))))
(.f64 (.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 angle #s(literal 2 binary64)))) (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 a #s(literal 180 binary64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 a #s(literal 180 binary64))))))
(.f64 (sin.f64 (.f64 (PI.f64) (/.f64 a #s(literal 180 binary64)))) (.f64 (.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 angle #s(literal 2 binary64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 a #s(literal 180 binary64))))))
(.f64 (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 angle #s(literal 2 binary64))) (.f64 (.f64 #s(literal 2 binary64) (cos.f64 (.f64 a (/.f64 (PI.f64) #s(literal 180 binary64))))) (sin.f64 (*.f64 a (/.f64 (PI.f64) #s(literal 180 binary64))))))
(.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 angle #s(literal 2 binary64))) (.f64 (sin.f64 (.f64 a (/.f64 (PI.f64) #s(literal 180 binary64)))) (cos.f64 (*.f64 a (/.f64 (PI.f64) #s(literal 180 binary64)))))))
(.f64 (.f64 (.f64 #s(literal 2 binary64) (-.f64 (pow.f64 angle #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (.f64 (PI.f64) (/.f64 b #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 b #s(literal 180 binary64)))))
(.f64 (.f64 #s(literal 2 binary64) (-.f64 (pow.f64 angle #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 b #s(literal 180 binary64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 b #s(literal 180 binary64))))))
(.f64 (sin.f64 (.f64 (PI.f64) (/.f64 b #s(literal 180 binary64)))) (.f64 (.f64 #s(literal 2 binary64) (-.f64 (pow.f64 angle #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 b #s(literal 180 binary64))))))
(.f64 (-.f64 (pow.f64 angle #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) (.f64 (.f64 #s(literal 2 binary64) (sin.f64 (.f64 b (/.f64 (PI.f64) #s(literal 180 binary64))))) (cos.f64 (*.f64 b (/.f64 (PI.f64) #s(literal 180 binary64))))))
(.f64 (-.f64 (pow.f64 angle #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) (.f64 #s(literal 2 binary64) (.f64 (sin.f64 (.f64 b (/.f64 (PI.f64) #s(literal 180 binary64)))) (cos.f64 (*.f64 b (/.f64 (PI.f64) #s(literal 180 binary64)))))))

Symmetry

(abs a)

(abs b)

(negabs angle)

Compiler

Compiled 26 to 16 computations (38.5% saved)

eval0.0ms (0%)

Memory: 0.2MiB live, 0.2MiB allocated
Compiler: Compiled 3 to 3 computations (0% saved)

prune1.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	53.8%	(.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 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))

Status

Accuracy

Program

53.8%

(*.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 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))

Compiler

Compiled 52 to 32 computations (38.5% saved)

simplify3.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative`
2×	`sub-neg`
2×	`+-commutative`
1×	`neg-sub0`
1×	`neg-mul-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	85
1	29	85
2	34	85
3	36	85
4	37	85

Stop Event

1×

saturated

Calls

Call 1

Inputs

(*.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 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))

Outputs

(*.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 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))

soundness0.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 26 to 16 computations (38.5% saved)

preprocess29.0ms (0.3%)

Memory

-2.9MiB live, 28.5MiB allocated

Remove

(negabs angle)

(abs b)

(abs a)

Compiler

Compiled 416 to 256 computations (38.5% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze37.0ms (0.4%)

sample8.8s (98.2%)

preprocess93.0ms (1%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify3.0ms (0%)

soundness0.0ms (0%)

preprocess29.0ms (0.3%)

end0.0ms (0%)

Profiling