ab-angle->ABCF C

Time bar (total: 8.6s)

analyze37.0ms (0.4%)

Memory
10.7MiB live, 10.7MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
100%99.9%0%0.1%0%0%0%1
Compiler

Compiled 48 to 32 computations (33.3% saved)

sample8.0s (93.3%)

Memory
46.8MiB live, 2 073.4MiB allocated
Samples
3.0s3 615×1valid-baseline
1.2s3 615×1valid-sollya
1.1s3 615×1valid-rival
552.0ms4 640×0valid-baseline
543.0ms4 640×0valid-sollya
430.0ms4 640×0valid-rival
0.0ms1×1valid-rival+sollya-real
Precisions
Click to see Rival histograms. Total time spent on operations: 1.2s
ival-sin: 287.0ms (23.2% of total)
ival-cos: 271.0ms (21.9% of total)
ival-mult: 211.0ms (17% of total)
ival-pow2: 205.0ms (16.5% of total)
ival-div: 95.0ms (7.7% of total)
ival-pi: 58.0ms (4.7% of total)
adjust: 53.0ms (4.3% of total)
ival-add: 46.0ms (3.7% of total)
ival-true: 8.0ms (0.6% of total)
...in/eval/compile.rkt:76:19: 4.0ms (0.3% of total)
ival-assert: 3.0ms (0.2% of total)
Precisions
Click to see Base histograms. Total time spent on operations: 2.9s
ival-pow: 1.6s (56.3% of total)
ival-mult: 377.0ms (12.9% of total)
ival-sin: 271.0ms (9.3% of total)
ival-cos: 263.0ms (9% of total)
ival-div: 163.0ms (5.6% of total)
ival-add: 92.0ms (3.2% of total)
ival-pi: 78.0ms (2.7% of total)
const: 30.0ms (1% of total)
Bogosity

preprocess496.0ms (5.8%)

Memory
6.9MiB live, 38.3MiB allocated
Algorithm
1×egg-herbie
Rules
1 584×fma-define
631×fmm-def
577×unsub-neg
448×distribute-lft-neg-in
437×distribute-rgt-in
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
066893
1135881
2374881
31216881
42127881
53252881
64612881
75286881
85621881
95816881
105905881
115983881
127228881
137457881
147561881
157590881
167622881
177622881
187622881
197622881
207632881
Stop Event
1×saturated
Calls
Call 1
Inputs
(+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (*.f64 (neg.f64 a) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 (neg.f64 b) (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (/.f64 (neg.f64 angle) #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 (neg.f64 angle) #s(literal 180 binary64))))) #s(literal 2 binary64)))
(neg.f64 (+.f64 (pow.f64 (*.f64 (neg.f64 a) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64))))
(neg.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 (neg.f64 b) (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64))))
(neg.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (/.f64 (neg.f64 angle) #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 (neg.f64 angle) #s(literal 180 binary64))))) #s(literal 2 binary64))))
(+.f64 (pow.f64 (*.f64 b (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 a (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (*.f64 angle (cos.f64 (*.f64 (PI.f64) (/.f64 a #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 a #s(literal 180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (/.f64 b #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 angle (sin.f64 (*.f64 (PI.f64) (/.f64 b #s(literal 180 binary64))))) #s(literal 2 binary64)))
Outputs
(+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (*.f64 angle #s(literal 1/180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (*.f64 angle #s(literal 1/180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (*.f64 angle #s(literal 1/180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (*.f64 angle #s(literal 1/180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (*.f64 (neg.f64 a) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (*.f64 angle #s(literal 1/180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (*.f64 angle #s(literal 1/180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 (neg.f64 b) (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (*.f64 angle #s(literal 1/180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (*.f64 angle #s(literal 1/180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (/.f64 (neg.f64 angle) #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 (neg.f64 angle) #s(literal 180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (*.f64 angle #s(literal 1/180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (*.f64 angle #s(literal 1/180 binary64))))) #s(literal 2 binary64)))
(neg.f64 (+.f64 (pow.f64 (*.f64 (neg.f64 a) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64))))
(neg.f64 (+.f64 (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (neg.f64 a)) #s(literal 2 binary64))))
(-.f64 (neg.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64))) (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))
(-.f64 (neg.f64 (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64))) (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))
(-.f64 (neg.f64 (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (*.f64 angle #s(literal 1/180 binary64))))) #s(literal 2 binary64))) (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (*.f64 angle #s(literal 1/180 binary64))))) #s(literal 2 binary64)))
(neg.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 (neg.f64 b) (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64))))
(neg.f64 (+.f64 (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (neg.f64 a)) #s(literal 2 binary64))))
(-.f64 (neg.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64))) (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))
(-.f64 (neg.f64 (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64))) (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))
(-.f64 (neg.f64 (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (*.f64 angle #s(literal 1/180 binary64))))) #s(literal 2 binary64))) (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (*.f64 angle #s(literal 1/180 binary64))))) #s(literal 2 binary64)))
(neg.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (/.f64 (neg.f64 angle) #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 (neg.f64 angle) #s(literal 180 binary64))))) #s(literal 2 binary64))))
(neg.f64 (+.f64 (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (neg.f64 a)) #s(literal 2 binary64))))
(-.f64 (neg.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64))) (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))
(-.f64 (neg.f64 (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64))) (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))
(-.f64 (neg.f64 (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (*.f64 angle #s(literal 1/180 binary64))))) #s(literal 2 binary64))) (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (*.f64 angle #s(literal 1/180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (*.f64 b (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 a (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (*.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) b) #s(literal 2 binary64)) (pow.f64 (*.f64 a (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (*.f64 (cos.f64 (*.f64 (PI.f64) (*.f64 angle #s(literal 1/180 binary64)))) b) #s(literal 2 binary64)) (pow.f64 (*.f64 a (sin.f64 (*.f64 (PI.f64) (*.f64 angle #s(literal 1/180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (*.f64 angle (cos.f64 (*.f64 (PI.f64) (/.f64 a #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 a #s(literal 180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (*.f64 angle (cos.f64 (*.f64 a (/.f64 (PI.f64) #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 a (/.f64 (PI.f64) #s(literal 180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (*.f64 angle (cos.f64 (*.f64 a (*.f64 (PI.f64) #s(literal 1/180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 a (*.f64 (PI.f64) #s(literal 1/180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (/.f64 b #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 angle (sin.f64 (*.f64 (PI.f64) (/.f64 b #s(literal 180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (*.f64 b #s(literal 1/180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 angle (sin.f64 (*.f64 (PI.f64) (*.f64 b #s(literal 1/180 binary64))))) #s(literal 2 binary64)))
Symmetry

(abs a)

(abs b)

(abs angle)

Compiler

Compiled 24 to 15 computations (37.5% saved)

eval0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated
Compiler

Compiled 3 to 3 computations (0% saved)

prune1.0ms (0%)

Memory
0.9MiB live, 0.9MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
83.3%
(+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))
Compiler

Compiled 48 to 30 computations (37.5% saved)

simplify2.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated
Algorithm
1×egg-herbie
Rules
3×*-commutative
1×+-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02279
12679
Stop Event
1×saturated
Calls
Call 1
Inputs
(+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))
Outputs
(+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))

soundness0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated
Stop Event
1×fuel
Compiler

Compiled 24 to 15 computations (37.5% saved)

preprocess34.0ms (0.4%)

Memory
-5.3MiB live, 27.9MiB allocated
Remove

(abs angle)

(abs b)

(abs a)

Compiler

Compiled 384 to 240 computations (37.5% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...