ABCF->ab-angle angle

Time bar (total: 3.4s)

analyze81.0ms (2.3%)

Memory
-25.7MiB live, 92.0MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.9%0.1%0%0%0%2
50%49.9%49.9%0.1%0%0%0%3
50%49.9%49.9%0.1%0%0%0%4
50%49.9%49.9%0.1%0%0%0%5
75%74.9%25%0.1%0%0%0%6
75%74.9%25%0.1%0%0%0%7
75%74.9%25%0.1%0%0%0%8
87.5%87.4%12.5%0.1%0%0%0%9
87.5%87.4%12.5%0.1%0%0%0%10
87.5%87.4%12.5%0.1%0%0%0%11
93.8%93.6%6.2%0.1%0%0%0%12
Compiler

Compiled 25 to 20 computations (20% saved)

sample3.0s (86.2%)

Memory
-49.0MiB live, 2 532.8MiB allocated
Samples
962.0ms1 573×2valid
951.0ms5 564×0valid
283.0ms1 069×1valid
20.0ms50×3valid
Precisions
Click to see histograms. Total time spent on operations: 1.8s
ival-pow2: 382.0ms (21.3% of total)
ival-add: 360.0ms (20.1% of total)
ival-sub: 216.0ms (12.1% of total)
ival-div: 211.0ms (11.8% of total)
ival-sqrt: 200.0ms (11.2% of total)
ival-mult: 161.0ms (9% of total)
ival-atan: 128.0ms (7.1% of total)
adjust: 82.0ms (4.6% of total)
ival-pi: 32.0ms (1.8% of total)
exact: 9.0ms (0.5% of total)
ival-true: 6.0ms (0.3% of total)
ival-assert: 3.0ms (0.2% of total)
Bogosity

preprocess389.0ms (11.3%)

Memory
8.1MiB live, 246.5MiB allocated
Algorithm
2×egg-herbie
Rules
4 768×accelerator-lowering-fma.f32
4 768×accelerator-lowering-fma.f64
1 634×div-sub
1 004×*-lowering-*.f32
1 004×*-lowering-*.f64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
086242
1212216
2609214
31852212
45606212
01923
13821
28121
322421
460021
5129521
6214221
7327921
8409821
9447821
10456221
11461621
12465421
13475821
14479021
15479021
16479021
0479016
Stop Event
1×iter limit
1×saturated
1×node limit
Calls
Call 1
Inputs
(* 180 (/ (atan (* (/ 1 B) (- (- C A) (sqrt (+ (pow (- A C) 2) (pow B 2)))))) (PI)))
Outputs
(* 180 (/ (atan (* (/ 1 B) (- (- C A) (sqrt (+ (pow (- A C) 2) (pow B 2)))))) (PI)))
(*.f64 (atan.f64 (/.f64 (-.f64 (-.f64 C A) (sqrt.f64 (fma.f64 B B (fma.f64 (-.f64 C A) (-.f64 C A) #s(literal 0 binary64))))) B)) (/.f64 #s(literal 180 binary64) (PI.f64)))
Call 2
Inputs
(* 180 (/ (atan (* (/ 1 B) (- (- C A) (sqrt (+ (pow (- A C) 2) (pow B 2)))))) (PI)))
(* 180 (/ (atan (* (/ 1 B) (- (- C (neg A)) (sqrt (+ (pow (- (neg A) C) 2) (pow B 2)))))) (PI)))
(* 180 (/ (atan (* (/ 1 (neg B)) (- (- C A) (sqrt (+ (pow (- A C) 2) (pow (neg B) 2)))))) (PI)))
(* 180 (/ (atan (* (/ 1 B) (- (- (neg C) A) (sqrt (+ (pow (- A (neg C)) 2) (pow B 2)))))) (PI)))
(neg (* 180 (/ (atan (* (/ 1 B) (- (- C (neg A)) (sqrt (+ (pow (- (neg A) C) 2) (pow B 2)))))) (PI))))
(neg (* 180 (/ (atan (* (/ 1 (neg B)) (- (- C A) (sqrt (+ (pow (- A C) 2) (pow (neg B) 2)))))) (PI))))
(neg (* 180 (/ (atan (* (/ 1 B) (- (- (neg C) A) (sqrt (+ (pow (- A (neg C)) 2) (pow B 2)))))) (PI))))
(* 180 (/ (atan (* (/ 1 A) (- (- C B) (sqrt (+ (pow (- B C) 2) (pow A 2)))))) (PI)))
(* 180 (/ (atan (* (/ 1 B) (- (- A C) (sqrt (+ (pow (- C A) 2) (pow B 2)))))) (PI)))
(* 180 (/ (atan (* (/ 1 C) (- (- B A) (sqrt (+ (pow (- A B) 2) (pow C 2)))))) (PI)))
Outputs
(* 180 (/ (atan (* (/ 1 B) (- (- C A) (sqrt (+ (pow (- A C) 2) (pow B 2)))))) (PI)))
(* (atan (/ (- (- C A) (sqrt (+ (pow (- C A) 2) (* B B)))) B)) (/ 180 (PI)))
(* 180 (/ (atan (* (/ 1 B) (- (- C (neg A)) (sqrt (+ (pow (- (neg A) C) 2) (pow B 2)))))) (PI)))
(* (atan (/ (- (+ C A) (sqrt (+ (* B B) (pow (+ C A) 2)))) B)) (/ 180 (PI)))
(* 180 (/ (atan (* (/ 1 (neg B)) (- (- C A) (sqrt (+ (pow (- A C) 2) (pow (neg B) 2)))))) (PI)))
(* (atan (/ (+ (- A C) (sqrt (+ (pow (- C A) 2) (* B B)))) B)) (/ 180 (PI)))
(* 180 (/ (atan (* (/ 1 B) (- (- (neg C) A) (sqrt (+ (pow (- A (neg C)) 2) (pow B 2)))))) (PI)))
(* (atan (/ (- (- (neg A) C) (sqrt (+ (* B B) (pow (+ C A) 2)))) B)) (/ 180 (PI)))
(neg (* 180 (/ (atan (* (/ 1 B) (- (- C (neg A)) (sqrt (+ (pow (- (neg A) C) 2) (pow B 2)))))) (PI))))
(* (atan (/ (- (+ C A) (sqrt (+ (* B B) (pow (+ C A) 2)))) B)) (/ -180 (PI)))
(neg (* 180 (/ (atan (* (/ 1 (neg B)) (- (- C A) (sqrt (+ (pow (- A C) 2) (pow (neg B) 2)))))) (PI))))
(* (atan (/ (+ (- A C) (sqrt (+ (pow (- C A) 2) (* B B)))) B)) (/ -180 (PI)))
(neg (* 180 (/ (atan (* (/ 1 B) (- (- (neg C) A) (sqrt (+ (pow (- A (neg C)) 2) (pow B 2)))))) (PI))))
(* (atan (/ (- (- (neg A) C) (sqrt (+ (* B B) (pow (+ C A) 2)))) B)) (/ -180 (PI)))
(* 180 (/ (atan (* (/ 1 A) (- (- C B) (sqrt (+ (pow (- B C) 2) (pow A 2)))))) (PI)))
(* (atan (/ (- (- C B) (sqrt (+ (pow (- B C) 2) (* A A)))) A)) (/ 180 (PI)))
(* 180 (/ (atan (* (/ 1 B) (- (- A C) (sqrt (+ (pow (- C A) 2) (pow B 2)))))) (PI)))
(* (atan (/ (- (- A C) (sqrt (+ (pow (- C A) 2) (* B B)))) B)) (/ 180 (PI)))
(* 180 (/ (atan (* (/ 1 C) (- (- B A) (sqrt (+ (pow (- A B) 2) (pow C 2)))))) (PI)))
(* (atan (/ (- (- B A) (sqrt (+ (pow (- A B) 2) (* C C)))) C)) (/ 180 (PI)))

explain7.0ms (0.2%)

Memory
16.9MiB live, 16.9MiB allocated
Samples
2.0ms12×0valid
Compiler

Compiled 140 to 21 computations (85% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.0ms
ival-pi: 0.0ms (0% of total)
ival-div: 0.0ms (0% of total)
ival-add: 0.0ms (0% of total)
ival-mult: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
ival-atan: 0.0ms (0% of total)
ival-sub: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
ival-sqrt: 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...