GTR1 distribution

Time bar (total: 3.3s)

analyze83.0ms (2.5%)

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)

Precisions
Click to see histograms. Total time spent on operations: 36.0ms
Operation ival-sub, time spent: 13.0ms, 36.0% of total-time
Operation ival-mult, time spent: 11.0ms, 31.0% of total-time
Operation ival-<=, time spent: 4.0ms, 11.0% of total-time
Operation ival-log, time spent: 3.0ms, 8.0% of total-time
Operation ival-pi, time spent: 1.0ms, 3.0% of total-time
Operation ival-div, time spent: 1.0ms, 3.0% of total-time
Operation ival-add, time spent: 1.0ms, 3.0% of total-time
Operation ival-and, time spent: 1.0ms, 3.0% of total-time
Operation const, time spent: 1.0ms, 3.0% of total-time

sample3.0s (88.7%)

Results
2.5s8255×256valid
0.0ms1×256valid
Precisions
Click to see histograms. Total time spent on operations: 1.2s
Operation ival-mult, time spent: 369.0ms, 31.0% of total-time
Operation ival-<=, time spent: 307.0ms, 26.0% of total-time
Operation ival-log, time spent: 163.0ms, 14.0% of total-time
Operation ival-sub, time spent: 111.0ms, 9.0% of total-time
Operation ival-div, time spent: 76.0ms, 6.0% of total-time
Operation ival-add, time spent: 52.0ms, 4.0% of total-time
Operation ival-pi, time spent: 42.0ms, 4.0% of total-time
Operation const, time spent: 36.0ms, 3.0% of total-time
Operation ival-and, time spent: 30.0ms, 3.0% of total-time
Bogosity

preprocess293.0ms (8.8%)

Algorithm
1×egg-herbie
Rules
684×fma-define
536×distribute-lft-neg-in
473×distribute-rgt-neg-in
461×times-frac
368×div-sub
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
046647
1179603
2680603
33727603
Stop Event
1×node limit
Calls
Call 1
Inputs
(/.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (+.f32 #s(literal 1 binary32) (*.f32 (*.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) cosTheta) cosTheta))))
(/.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (+.f32 #s(literal 1 binary32) (*.f32 (*.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) cosTheta) cosTheta))))
(/.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (+.f32 #s(literal 1 binary32) (*.f32 (*.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) (neg.f32 cosTheta)) (neg.f32 cosTheta)))))
(/.f32 (-.f32 (*.f32 (neg.f32 alpha) (neg.f32 alpha)) #s(literal 1 binary32)) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 (neg.f32 alpha) (neg.f32 alpha)))) (+.f32 #s(literal 1 binary32) (*.f32 (*.f32 (-.f32 (*.f32 (neg.f32 alpha) (neg.f32 alpha)) #s(literal 1 binary32)) cosTheta) cosTheta))))
(neg.f32 (/.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (+.f32 #s(literal 1 binary32) (*.f32 (*.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) (neg.f32 cosTheta)) (neg.f32 cosTheta))))))
(neg.f32 (/.f32 (-.f32 (*.f32 (neg.f32 alpha) (neg.f32 alpha)) #s(literal 1 binary32)) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 (neg.f32 alpha) (neg.f32 alpha)))) (+.f32 #s(literal 1 binary32) (*.f32 (*.f32 (-.f32 (*.f32 (neg.f32 alpha) (neg.f32 alpha)) #s(literal 1 binary32)) cosTheta) cosTheta)))))
(/.f32 (-.f32 (*.f32 cosTheta cosTheta) #s(literal 1 binary32)) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 cosTheta cosTheta))) (+.f32 #s(literal 1 binary32) (*.f32 (*.f32 (-.f32 (*.f32 cosTheta cosTheta) #s(literal 1 binary32)) alpha) alpha))))
Outputs
(/.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (+.f32 #s(literal 1 binary32) (*.f32 (*.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) cosTheta) cosTheta))))
(/.f32 (fma.f32 alpha alpha #s(literal -1 binary32)) (*.f32 (PI.f32) (*.f32 (log.f32 (*.f32 alpha alpha)) (+.f32 #s(literal 1 binary32) (*.f32 cosTheta (*.f32 (fma.f32 alpha alpha #s(literal -1 binary32)) cosTheta))))))
(/.f32 (/.f32 (fma.f32 alpha alpha #s(literal -1 binary32)) (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha)))) (fma.f32 (fma.f32 alpha alpha #s(literal -1 binary32)) (*.f32 cosTheta cosTheta) #s(literal 1 binary32)))
(/.f32 (fma.f32 alpha alpha #s(literal -1 binary32)) (*.f32 (PI.f32) (*.f32 (log.f32 (*.f32 alpha alpha)) (fma.f32 (fma.f32 alpha alpha #s(literal -1 binary32)) (*.f32 cosTheta cosTheta) #s(literal 1 binary32)))))
(/.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (+.f32 #s(literal 1 binary32) (*.f32 (*.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) cosTheta) cosTheta))))
(/.f32 (fma.f32 alpha alpha #s(literal -1 binary32)) (*.f32 (PI.f32) (*.f32 (log.f32 (*.f32 alpha alpha)) (+.f32 #s(literal 1 binary32) (*.f32 cosTheta (*.f32 (fma.f32 alpha alpha #s(literal -1 binary32)) cosTheta))))))
(/.f32 (/.f32 (fma.f32 alpha alpha #s(literal -1 binary32)) (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha)))) (fma.f32 (fma.f32 alpha alpha #s(literal -1 binary32)) (*.f32 cosTheta cosTheta) #s(literal 1 binary32)))
(/.f32 (fma.f32 alpha alpha #s(literal -1 binary32)) (*.f32 (PI.f32) (*.f32 (log.f32 (*.f32 alpha alpha)) (fma.f32 (fma.f32 alpha alpha #s(literal -1 binary32)) (*.f32 cosTheta cosTheta) #s(literal 1 binary32)))))
(/.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (+.f32 #s(literal 1 binary32) (*.f32 (*.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) (neg.f32 cosTheta)) (neg.f32 cosTheta)))))
(/.f32 (fma.f32 alpha alpha #s(literal -1 binary32)) (*.f32 (PI.f32) (*.f32 (log.f32 (*.f32 alpha alpha)) (+.f32 #s(literal 1 binary32) (*.f32 cosTheta (*.f32 (fma.f32 alpha alpha #s(literal -1 binary32)) cosTheta))))))
(/.f32 (/.f32 (fma.f32 alpha alpha #s(literal -1 binary32)) (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha)))) (fma.f32 (fma.f32 alpha alpha #s(literal -1 binary32)) (*.f32 cosTheta cosTheta) #s(literal 1 binary32)))
(/.f32 (fma.f32 alpha alpha #s(literal -1 binary32)) (*.f32 (PI.f32) (*.f32 (log.f32 (*.f32 alpha alpha)) (fma.f32 (fma.f32 alpha alpha #s(literal -1 binary32)) (*.f32 cosTheta cosTheta) #s(literal 1 binary32)))))
(/.f32 (-.f32 (*.f32 (neg.f32 alpha) (neg.f32 alpha)) #s(literal 1 binary32)) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 (neg.f32 alpha) (neg.f32 alpha)))) (+.f32 #s(literal 1 binary32) (*.f32 (*.f32 (-.f32 (*.f32 (neg.f32 alpha) (neg.f32 alpha)) #s(literal 1 binary32)) cosTheta) cosTheta))))
(/.f32 (fma.f32 alpha alpha #s(literal -1 binary32)) (*.f32 (PI.f32) (*.f32 (log.f32 (*.f32 alpha alpha)) (+.f32 #s(literal 1 binary32) (*.f32 cosTheta (*.f32 (fma.f32 alpha alpha #s(literal -1 binary32)) cosTheta))))))
(/.f32 (/.f32 (fma.f32 alpha alpha #s(literal -1 binary32)) (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha)))) (fma.f32 (fma.f32 alpha alpha #s(literal -1 binary32)) (*.f32 cosTheta cosTheta) #s(literal 1 binary32)))
(/.f32 (fma.f32 alpha alpha #s(literal -1 binary32)) (*.f32 (PI.f32) (*.f32 (log.f32 (*.f32 alpha alpha)) (fma.f32 (fma.f32 alpha alpha #s(literal -1 binary32)) (*.f32 cosTheta cosTheta) #s(literal 1 binary32)))))
(neg.f32 (/.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (+.f32 #s(literal 1 binary32) (*.f32 (*.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) (neg.f32 cosTheta)) (neg.f32 cosTheta))))))
(/.f32 (fma.f32 alpha alpha #s(literal -1 binary32)) (neg.f32 (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (+.f32 #s(literal 1 binary32) (*.f32 (fma.f32 alpha alpha #s(literal -1 binary32)) (*.f32 (neg.f32 cosTheta) (neg.f32 cosTheta)))))))
(/.f32 (fma.f32 alpha alpha #s(literal -1 binary32)) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (neg.f32 (fma.f32 (fma.f32 alpha alpha #s(literal -1 binary32)) (*.f32 cosTheta cosTheta) #s(literal 1 binary32)))))
(/.f32 (fma.f32 alpha alpha #s(literal -1 binary32)) (*.f32 (PI.f32) (*.f32 (fma.f32 (fma.f32 alpha alpha #s(literal -1 binary32)) (*.f32 cosTheta cosTheta) #s(literal 1 binary32)) (neg.f32 (log.f32 (*.f32 alpha alpha))))))
(/.f32 (fma.f32 alpha alpha #s(literal -1 binary32)) (*.f32 (PI.f32) (*.f32 (log.f32 (*.f32 alpha alpha)) (-.f32 #s(literal -1 binary32) (*.f32 (fma.f32 alpha alpha #s(literal -1 binary32)) (*.f32 cosTheta cosTheta))))))
(neg.f32 (/.f32 (-.f32 (*.f32 (neg.f32 alpha) (neg.f32 alpha)) #s(literal 1 binary32)) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 (neg.f32 alpha) (neg.f32 alpha)))) (+.f32 #s(literal 1 binary32) (*.f32 (*.f32 (-.f32 (*.f32 (neg.f32 alpha) (neg.f32 alpha)) #s(literal 1 binary32)) cosTheta) cosTheta)))))
(/.f32 (fma.f32 alpha alpha #s(literal -1 binary32)) (neg.f32 (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (+.f32 #s(literal 1 binary32) (*.f32 (fma.f32 alpha alpha #s(literal -1 binary32)) (*.f32 (neg.f32 cosTheta) (neg.f32 cosTheta)))))))
(/.f32 (fma.f32 alpha alpha #s(literal -1 binary32)) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (neg.f32 (fma.f32 (fma.f32 alpha alpha #s(literal -1 binary32)) (*.f32 cosTheta cosTheta) #s(literal 1 binary32)))))
(/.f32 (fma.f32 alpha alpha #s(literal -1 binary32)) (*.f32 (PI.f32) (*.f32 (fma.f32 (fma.f32 alpha alpha #s(literal -1 binary32)) (*.f32 cosTheta cosTheta) #s(literal 1 binary32)) (neg.f32 (log.f32 (*.f32 alpha alpha))))))
(/.f32 (fma.f32 alpha alpha #s(literal -1 binary32)) (*.f32 (PI.f32) (*.f32 (log.f32 (*.f32 alpha alpha)) (-.f32 #s(literal -1 binary32) (*.f32 (fma.f32 alpha alpha #s(literal -1 binary32)) (*.f32 cosTheta cosTheta))))))
(/.f32 (-.f32 (*.f32 cosTheta cosTheta) #s(literal 1 binary32)) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 cosTheta cosTheta))) (+.f32 #s(literal 1 binary32) (*.f32 (*.f32 (-.f32 (*.f32 cosTheta cosTheta) #s(literal 1 binary32)) alpha) alpha))))
(/.f32 (fma.f32 cosTheta cosTheta #s(literal -1 binary32)) (*.f32 (PI.f32) (*.f32 (log.f32 (*.f32 cosTheta cosTheta)) (+.f32 #s(literal 1 binary32) (*.f32 alpha (*.f32 alpha (fma.f32 cosTheta cosTheta #s(literal -1 binary32))))))))
(/.f32 (fma.f32 cosTheta cosTheta #s(literal -1 binary32)) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 cosTheta cosTheta))) (fma.f32 alpha (*.f32 alpha (fma.f32 cosTheta cosTheta #s(literal -1 binary32))) #s(literal 1 binary32))))
(/.f32 (fma.f32 cosTheta cosTheta #s(literal -1 binary32)) (*.f32 (log.f32 (*.f32 cosTheta cosTheta)) (*.f32 (PI.f32) (fma.f32 (*.f32 alpha alpha) (fma.f32 cosTheta cosTheta #s(literal -1 binary32)) #s(literal 1 binary32)))))
Symmetry

(abs cosTheta)

(abs alpha)

Compiler

Compiled 113 to 44 computations (61.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 55.0ms
Operation ival-mult, time spent: 27.0ms, 49.0% of total-time
Operation ival-sub, time spent: 11.0ms, 20.0% of total-time
Operation ival-log, time spent: 7.0ms, 13.0% of total-time
Operation ival-add, time spent: 4.0ms, 7.0% of total-time
Operation const, time spent: 2.0ms, 4.0% of total-time
Operation ival-div, time spent: 2.0ms, 4.0% of total-time
Operation ival-pi, time spent: 2.0ms, 4.0% of total-time

end0.0ms (0%)

Profiling

Loading profile data...