Ian Simplification

Time bar (total: 1.9min)

analyze3.0ms (0%)

Memory
8.2MiB live, 8.2MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
0%0%100%0%0%0%0%1
0%0%100%0%0%0%0%2
0%0%50%0%0%50%0%3
50%25%25%0%0%50%0%4
75%37.5%12.5%0%0%50%0%5
87.5%43.7%6.2%0%0%50%0%6
93.8%46.9%3.1%0%0%50%0%7
96.9%48.4%1.6%0%0%50%0%8
98.4%49.2%0.8%0%0%50%0%9
99.2%49.6%0.4%0%0%50%0%10
99.6%49.8%0.2%0%0%50%0%11
99.8%49.9%0.1%0%0%50%0%12
Compiler

Compiled 15 to 13 computations (13.3% saved)

sample1.9min (100%)

Memory
54.7MiB live, 3 876.3MiB allocated
Samples
1.5min4 781×1valid
26.4s3 133×2valid
88.0ms145×4valid
17.0ms197×0valid
0.0ms4×0invalid
Precisions
Click to see histograms. Total time spent on operations: 1.7min
ival-pi: 45.4s (44.9% of total)
ival-asin: 40.2s (39.7% of total)
ival-div: 14.9s (14.7% of total)
ival-sub: 202.0ms (0.2% of total)
adjust: 179.0ms (0.2% of total)
ival-mult: 168.0ms (0.2% of total)
ival-sqrt: 157.0ms (0.2% of total)
exact: 18.0ms (0% of total)
ival-true: 6.0ms (0% of total)
ival-assert: 3.0ms (0% of total)
Bogosity

preprocess52.0ms (0%)

Memory
1.3MiB live, 78.5MiB allocated
Algorithm
2×egg-herbie
Rules
212×accelerator-lowering-fma.f32
212×accelerator-lowering-fma.f64
136×*-lowering-*.f32
136×*-lowering-*.f64
118×cancel-sign-sub-inv
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01942
14740
29739
319739
431839
545739
656539
767039
869839
971039
01113
12613
24013
35913
48813
512413
618313
724313
829913
933913
1035713
035711
Stop Event
1×iter limit
1×saturated
1×saturated
Calls
Call 1
Inputs
(- (/ (PI) 2) (* 2 (asin (sqrt (/ (- 1 x) 2)))))
Outputs
(- (/ (PI) 2) (* 2 (asin (sqrt (/ (- 1 x) 2)))))
(fma.f64 (asin.f64 (sqrt.f64 (fma.f64 x #s(literal -1/2 binary64) #s(literal 1/2 binary64)))) #s(literal -2 binary64) (fma.f64 (PI.f64) #s(literal 1/2 binary64) #s(literal 0 binary64)))
Call 2
Inputs
(- (/ (PI) 2) (* 2 (asin (sqrt (/ (- 1 x) 2)))))
(- (/ (PI) 2) (* 2 (asin (sqrt (/ (- 1 (neg x)) 2)))))
(neg (- (/ (PI) 2) (* 2 (asin (sqrt (/ (- 1 (neg x)) 2))))))
Outputs
(- (/ (PI) 2) (* 2 (asin (sqrt (/ (- 1 x) 2)))))
(+ (* (PI) 1/2) (* (asin (sqrt (+ 1/2 (* x -1/2)))) -2))
(- (/ (PI) 2) (* 2 (asin (sqrt (/ (- 1 (neg x)) 2)))))
(+ (* (PI) 1/2) (* (asin (sqrt (+ 1/2 (* x 1/2)))) -2))
(neg (- (/ (PI) 2) (* 2 (asin (sqrt (/ (- 1 (neg x)) 2))))))
(+ (* 2 (asin (sqrt (+ 1/2 (* x 1/2))))) (* (PI) -1/2))

explain0.0ms (0%)

Memory
0.7MiB live, 0.7MiB allocated
Compiler

Compiled 52 to 13 computations (75% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...