GTR1 distribution

Time bar (total: 2.0s)

analyze52.0ms (2.6%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%0.6%99.4%0%0%0%0
0%0%0.6%99.4%0%0%0%1
0%0%0.6%99.4%0%0%0%2
50%0.3%0.3%99.4%0%0%0%3
50%0.3%0.3%99.4%0%0%0%4
75%0.5%0.2%99.4%0%0%0%5
75%0.5%0.2%99.4%0%0%0%6
87.5%0.6%0.1%99.4%0%0%0%7
87.5%0.6%0.1%99.4%0%0%0%8
93.8%0.6%0%99.4%0%0%0%9
93.8%0.6%0%99.4%0%0%0%10
96.9%0.6%0%99.4%0%0%0%11
96.9%0.6%0%99.4%0%0%0%12
Compiler

Compiled 41 to 27 computations (34.1% saved)

sample1.7s (87.5%)

Results
1.7s8256×body256valid
Bogosity

preprocess197.0ms (9.9%)

Algorithm
1×egg-herbie
Rules
1494×associate-*r/
880×associate-*l/
838×associate-+r+
700×associate-*r*
694×associate-/l/
Problems
252×No Errors
2×(log.f32 (*.f32 alpha alpha))
1×(*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha)))
1×(-.f32 (*.f32 alpha alpha) 1)
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
046647
1180582
2651582
33571582
Stop Event
1×node limit
Calls
Call 1
Inputs
(/.f32 (-.f32 (*.f32 alpha alpha) 1) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (+.f32 1 (*.f32 (*.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta))))
(/.f32 (-.f32 (*.f32 alpha alpha) 1) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (+.f32 1 (*.f32 (*.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta))))
(/.f32 (-.f32 (*.f32 alpha alpha) 1) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (+.f32 1 (*.f32 (*.f32 (-.f32 (*.f32 alpha alpha) 1) (neg.f32 cosTheta)) (neg.f32 cosTheta)))))
(/.f32 (-.f32 (*.f32 (neg.f32 alpha) (neg.f32 alpha)) 1) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 (neg.f32 alpha) (neg.f32 alpha)))) (+.f32 1 (*.f32 (*.f32 (-.f32 (*.f32 (neg.f32 alpha) (neg.f32 alpha)) 1) cosTheta) cosTheta))))
(neg.f32 (/.f32 (-.f32 (*.f32 alpha alpha) 1) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (+.f32 1 (*.f32 (*.f32 (-.f32 (*.f32 alpha alpha) 1) (neg.f32 cosTheta)) (neg.f32 cosTheta))))))
(neg.f32 (/.f32 (-.f32 (*.f32 (neg.f32 alpha) (neg.f32 alpha)) 1) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 (neg.f32 alpha) (neg.f32 alpha)))) (+.f32 1 (*.f32 (*.f32 (-.f32 (*.f32 (neg.f32 alpha) (neg.f32 alpha)) 1) cosTheta) cosTheta)))))
(/.f32 (-.f32 (*.f32 cosTheta cosTheta) 1) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 cosTheta cosTheta))) (+.f32 1 (*.f32 (*.f32 (-.f32 (*.f32 cosTheta cosTheta) 1) alpha) alpha))))
Outputs
(/.f32 (-.f32 (*.f32 alpha alpha) 1) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (+.f32 1 (*.f32 (*.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta))))
(/.f32 (fma.f32 alpha alpha -1) (*.f32 (PI.f32) (*.f32 (log.f32 (*.f32 alpha alpha)) (+.f32 1 (*.f32 cosTheta (*.f32 (fma.f32 alpha alpha -1) cosTheta))))))
(/.f32 (/.f32 (fma.f32 alpha alpha -1) (*.f32 (PI.f32) (*.f32 2 (log.f32 alpha)))) (fma.f32 (fma.f32 alpha alpha -1) (*.f32 cosTheta cosTheta) 1))
(/.f32 (fma.f32 alpha alpha -1) (*.f32 (PI.f32) (*.f32 (*.f32 (log.f32 alpha) 2) (fma.f32 (fma.f32 alpha alpha -1) (*.f32 cosTheta cosTheta) 1))))
(/.f32 (fma.f32 alpha alpha -1) (*.f32 (*.f32 (log.f32 alpha) 2) (*.f32 (PI.f32) (fma.f32 (fma.f32 alpha alpha -1) (*.f32 cosTheta cosTheta) 1))))
(/.f32 (-.f32 (*.f32 alpha alpha) 1) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (+.f32 1 (*.f32 (*.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta))))
(/.f32 (fma.f32 alpha alpha -1) (*.f32 (PI.f32) (*.f32 (log.f32 (*.f32 alpha alpha)) (+.f32 1 (*.f32 cosTheta (*.f32 (fma.f32 alpha alpha -1) cosTheta))))))
(/.f32 (/.f32 (fma.f32 alpha alpha -1) (*.f32 (PI.f32) (*.f32 2 (log.f32 alpha)))) (fma.f32 (fma.f32 alpha alpha -1) (*.f32 cosTheta cosTheta) 1))
(/.f32 (fma.f32 alpha alpha -1) (*.f32 (PI.f32) (*.f32 (*.f32 (log.f32 alpha) 2) (fma.f32 (fma.f32 alpha alpha -1) (*.f32 cosTheta cosTheta) 1))))
(/.f32 (fma.f32 alpha alpha -1) (*.f32 (*.f32 (log.f32 alpha) 2) (*.f32 (PI.f32) (fma.f32 (fma.f32 alpha alpha -1) (*.f32 cosTheta cosTheta) 1))))
(/.f32 (-.f32 (*.f32 alpha alpha) 1) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (+.f32 1 (*.f32 (*.f32 (-.f32 (*.f32 alpha alpha) 1) (neg.f32 cosTheta)) (neg.f32 cosTheta)))))
(/.f32 (fma.f32 alpha alpha -1) (*.f32 (PI.f32) (*.f32 (log.f32 (*.f32 alpha alpha)) (+.f32 1 (*.f32 cosTheta (*.f32 (fma.f32 alpha alpha -1) cosTheta))))))
(/.f32 (/.f32 (fma.f32 alpha alpha -1) (*.f32 (PI.f32) (*.f32 2 (log.f32 alpha)))) (fma.f32 (fma.f32 alpha alpha -1) (*.f32 cosTheta cosTheta) 1))
(/.f32 (fma.f32 alpha alpha -1) (*.f32 (PI.f32) (*.f32 (*.f32 (log.f32 alpha) 2) (fma.f32 (fma.f32 alpha alpha -1) (*.f32 cosTheta cosTheta) 1))))
(/.f32 (fma.f32 alpha alpha -1) (*.f32 (*.f32 (log.f32 alpha) 2) (*.f32 (PI.f32) (fma.f32 (fma.f32 alpha alpha -1) (*.f32 cosTheta cosTheta) 1))))
(/.f32 (-.f32 (*.f32 (neg.f32 alpha) (neg.f32 alpha)) 1) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 (neg.f32 alpha) (neg.f32 alpha)))) (+.f32 1 (*.f32 (*.f32 (-.f32 (*.f32 (neg.f32 alpha) (neg.f32 alpha)) 1) cosTheta) cosTheta))))
(/.f32 (fma.f32 alpha alpha -1) (*.f32 (PI.f32) (*.f32 (log.f32 (*.f32 alpha alpha)) (+.f32 1 (*.f32 cosTheta (*.f32 (fma.f32 alpha alpha -1) cosTheta))))))
(/.f32 (/.f32 (fma.f32 alpha alpha -1) (*.f32 (PI.f32) (*.f32 2 (log.f32 alpha)))) (fma.f32 (fma.f32 alpha alpha -1) (*.f32 cosTheta cosTheta) 1))
(/.f32 (fma.f32 alpha alpha -1) (*.f32 (PI.f32) (*.f32 (*.f32 (log.f32 alpha) 2) (fma.f32 (fma.f32 alpha alpha -1) (*.f32 cosTheta cosTheta) 1))))
(/.f32 (fma.f32 alpha alpha -1) (*.f32 (*.f32 (log.f32 alpha) 2) (*.f32 (PI.f32) (fma.f32 (fma.f32 alpha alpha -1) (*.f32 cosTheta cosTheta) 1))))
(neg.f32 (/.f32 (-.f32 (*.f32 alpha alpha) 1) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (+.f32 1 (*.f32 (*.f32 (-.f32 (*.f32 alpha alpha) 1) (neg.f32 cosTheta)) (neg.f32 cosTheta))))))
(/.f32 (neg.f32 (fma.f32 alpha alpha -1)) (*.f32 (PI.f32) (*.f32 (log.f32 (*.f32 alpha alpha)) (+.f32 1 (*.f32 (neg.f32 cosTheta) (*.f32 (fma.f32 alpha alpha -1) (neg.f32 cosTheta)))))))
(/.f32 (/.f32 (neg.f32 (fma.f32 alpha alpha -1)) (*.f32 (PI.f32) (*.f32 2 (log.f32 alpha)))) (fma.f32 (fma.f32 alpha alpha -1) (*.f32 cosTheta cosTheta) 1))
(/.f32 (/.f32 (-.f32 1 (*.f32 alpha alpha)) (*.f32 (PI.f32) (*.f32 (log.f32 alpha) 2))) (fma.f32 (fma.f32 alpha alpha -1) (*.f32 cosTheta cosTheta) 1))
(/.f32 (/.f32 (-.f32 1 (*.f32 alpha alpha)) (*.f32 (log.f32 alpha) (*.f32 (PI.f32) 2))) (fma.f32 (fma.f32 alpha alpha -1) (*.f32 cosTheta cosTheta) 1))
(neg.f32 (/.f32 (-.f32 (*.f32 (neg.f32 alpha) (neg.f32 alpha)) 1) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 (neg.f32 alpha) (neg.f32 alpha)))) (+.f32 1 (*.f32 (*.f32 (-.f32 (*.f32 (neg.f32 alpha) (neg.f32 alpha)) 1) cosTheta) cosTheta)))))
(/.f32 (neg.f32 (fma.f32 alpha alpha -1)) (*.f32 (PI.f32) (*.f32 (log.f32 (*.f32 alpha alpha)) (+.f32 1 (*.f32 (neg.f32 cosTheta) (*.f32 (fma.f32 alpha alpha -1) (neg.f32 cosTheta)))))))
(/.f32 (/.f32 (neg.f32 (fma.f32 alpha alpha -1)) (*.f32 (PI.f32) (*.f32 2 (log.f32 alpha)))) (fma.f32 (fma.f32 alpha alpha -1) (*.f32 cosTheta cosTheta) 1))
(/.f32 (/.f32 (-.f32 1 (*.f32 alpha alpha)) (*.f32 (PI.f32) (*.f32 (log.f32 alpha) 2))) (fma.f32 (fma.f32 alpha alpha -1) (*.f32 cosTheta cosTheta) 1))
(/.f32 (/.f32 (-.f32 1 (*.f32 alpha alpha)) (*.f32 (log.f32 alpha) (*.f32 (PI.f32) 2))) (fma.f32 (fma.f32 alpha alpha -1) (*.f32 cosTheta cosTheta) 1))
(/.f32 (-.f32 (*.f32 cosTheta cosTheta) 1) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 cosTheta cosTheta))) (+.f32 1 (*.f32 (*.f32 (-.f32 (*.f32 cosTheta cosTheta) 1) alpha) alpha))))
(/.f32 (fma.f32 cosTheta cosTheta -1) (*.f32 (PI.f32) (*.f32 (log.f32 (*.f32 cosTheta cosTheta)) (+.f32 1 (*.f32 alpha (*.f32 alpha (fma.f32 cosTheta cosTheta -1)))))))
(/.f32 (fma.f32 cosTheta cosTheta -1) (*.f32 (*.f32 2 (log.f32 cosTheta)) (*.f32 (PI.f32) (fma.f32 (fma.f32 cosTheta cosTheta -1) (*.f32 alpha alpha) 1))))
(/.f32 (fma.f32 cosTheta cosTheta -1) (*.f32 (PI.f32) (*.f32 2 (*.f32 (log.f32 cosTheta) (fma.f32 (*.f32 alpha alpha) (fma.f32 cosTheta cosTheta -1) 1)))))
(/.f32 (/.f32 (fma.f32 cosTheta cosTheta -1) (*.f32 (PI.f32) 2)) (*.f32 (fma.f32 (*.f32 alpha alpha) (fma.f32 cosTheta cosTheta -1) 1) (log.f32 cosTheta)))
Symmetry

(abs cosTheta)

(abs alpha)

Compiler

Compiled 94 to 40 computations (57.4% saved)

end0.0ms (0%)

Profiling

Loading profile data...