ab-angle->ABCF B

Time bar (total: 2.8s)

analyze0.0ms (0%)

Memory
0.4MiB live, 0.4MiB 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 25 to 18 computations (28% saved)

sample2.3s (82.4%)

Memory
79.6MiB live, 2 336.5MiB allocated
Samples
934.0ms3 573×1valid
874.0ms4 623×0valid
91.0ms37×3valid
44.0ms23×2valid
Precisions
Click to see histograms. Total time spent on operations: 1.7s
ival-sin: 445.0ms (26.5% of total)
ival-pow2: 430.0ms (25.6% of total)
ival-mult: 342.0ms (20.4% of total)
ival-cos: 189.0ms (11.3% of total)
ival-div: 91.0ms (5.4% of total)
adjust: 54.0ms (3.2% of total)
ival-pi: 54.0ms (3.2% of total)
ival-sub: 54.0ms (3.2% of total)
exact: 11.0ms (0.7% of total)
ival-true: 6.0ms (0.4% of total)
ival-assert: 3.0ms (0.2% of total)
Bogosity

preprocess490.0ms (17.5%)

Memory
9.8MiB live, 493.1MiB allocated
Algorithm
2×egg-herbie
Rules
7 724×accelerator-lowering-fma.f32
7 724×accelerator-lowering-fma.f64
4 908×*-lowering-*.f32
4 908×*-lowering-*.f64
1 806×--lowering--.f32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
059238
1157230
2496230
31700230
44767230
57696230
01623
13023
27223
321623
476523
5261923
6386523
7560923
0806423
Stop Event
1×iter limit
1×node limit
1×node limit
Calls
Call 1
Inputs
(* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (PI) (/ angle 180)))) (cos (* (PI) (/ angle 180))))
Outputs
(* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (PI) (/ angle 180)))) (cos (* (PI) (/ angle 180))))
(fma.f64 (fma.f64 #s(literal 2 binary64) (fma.f64 (+.f64 b a) (-.f64 b a) #s(literal 0 binary64)) #s(literal 0 binary64)) (*.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 0 binary64))
Call 2
Inputs
(* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (PI) (/ angle 180)))) (cos (* (PI) (/ angle 180))))
(* (* (* 2 (- (pow b 2) (pow (neg a) 2))) (sin (* (PI) (/ angle 180)))) (cos (* (PI) (/ angle 180))))
(* (* (* 2 (- (pow (neg b) 2) (pow a 2))) (sin (* (PI) (/ angle 180)))) (cos (* (PI) (/ angle 180))))
(* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (PI) (/ (neg angle) 180)))) (cos (* (PI) (/ (neg angle) 180))))
(neg (* (* (* 2 (- (pow b 2) (pow (neg a) 2))) (sin (* (PI) (/ angle 180)))) (cos (* (PI) (/ angle 180)))))
(neg (* (* (* 2 (- (pow (neg b) 2) (pow a 2))) (sin (* (PI) (/ angle 180)))) (cos (* (PI) (/ angle 180)))))
(neg (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (PI) (/ (neg angle) 180)))) (cos (* (PI) (/ (neg angle) 180)))))
(* (* (* 2 (- (pow a 2) (pow b 2))) (sin (* (PI) (/ angle 180)))) (cos (* (PI) (/ angle 180))))
(* (* (* 2 (- (pow b 2) (pow angle 2))) (sin (* (PI) (/ a 180)))) (cos (* (PI) (/ a 180))))
(* (* (* 2 (- (pow angle 2) (pow a 2))) (sin (* (PI) (/ b 180)))) (cos (* (PI) (/ b 180))))
Outputs
(* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (PI) (/ angle 180)))) (cos (* (PI) (/ angle 180))))
(* (- (* b b) (* a a)) (* (sin (* (PI) (/ angle 180))) (* 2 (cos (* (PI) (/ angle 180))))))
(* (* (* 2 (- (pow b 2) (pow (neg a) 2))) (sin (* (PI) (/ angle 180)))) (cos (* (PI) (/ angle 180))))
(* (- (* b b) (* a a)) (* (sin (* (PI) (/ angle 180))) (* 2 (cos (* (PI) (/ angle 180))))))
(* (* (* 2 (- (pow (neg b) 2) (pow a 2))) (sin (* (PI) (/ angle 180)))) (cos (* (PI) (/ angle 180))))
(* (- (* b b) (* a a)) (* (sin (* (PI) (/ angle 180))) (* 2 (cos (* (PI) (/ angle 180))))))
(* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (PI) (/ (neg angle) 180)))) (cos (* (PI) (/ (neg angle) 180))))
(* (- (* b b) (* a a)) (* (cos (* (PI) (/ angle 180))) (* (sin (* (PI) (/ angle 180))) -2)))
(neg (* (* (* 2 (- (pow b 2) (pow (neg a) 2))) (sin (* (PI) (/ angle 180)))) (cos (* (PI) (/ angle 180)))))
(* (- (* b b) (* a a)) (* (cos (* (PI) (/ angle 180))) (* (sin (* (PI) (/ angle 180))) -2)))
(neg (* (* (* 2 (- (pow (neg b) 2) (pow a 2))) (sin (* (PI) (/ angle 180)))) (cos (* (PI) (/ angle 180)))))
(* (- (* b b) (* a a)) (* (cos (* (PI) (/ angle 180))) (* (sin (* (PI) (/ angle 180))) -2)))
(neg (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (PI) (/ (neg angle) 180)))) (cos (* (PI) (/ (neg angle) 180)))))
(* (- (* b b) (* a a)) (* (sin (* (PI) (/ angle 180))) (* 2 (cos (* (PI) (/ angle 180))))))
(* (* (* 2 (- (pow a 2) (pow b 2))) (sin (* (PI) (/ angle 180)))) (cos (* (PI) (/ angle 180))))
(* (- (* b b) (* a a)) (* (cos (* (PI) (/ angle 180))) (* (sin (* (PI) (/ angle 180))) -2)))
(* (* (* 2 (- (pow b 2) (pow angle 2))) (sin (* (PI) (/ a 180)))) (cos (* (PI) (/ a 180))))
(* (* (+ b angle) (* 2 (- b angle))) (* (sin (/ (* a (PI)) 180)) (cos (/ (* a (PI)) 180))))
(* (* (* 2 (- (pow angle 2) (pow a 2))) (sin (* (PI) (/ b 180)))) (cos (* (PI) (/ b 180))))
(* (- (* angle angle) (* a a)) (* (sin (* b (/ (PI) 180))) (* 2 (cos (* b (/ (PI) 180))))))
Symmetry

(abs a)

(abs b)

(negabs angle)

explain1.0ms (0%)

Memory
2.7MiB live, 2.6MiB allocated
Samples
0.0ms2×0valid
Compiler

Compiled 89 to 18 computations (79.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 0.0ms
ival-pi: 0.0ms (0% of total)
ival-div: 0.0ms (0% of total)
ival-mult: 0.0ms (0% of total)
ival-sin: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
ival-sub: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
ival-cos: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-pow2: 0.0ms (0% of total)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...