Example from Robby

Time bar (total: 3.9s)

analyze558.0ms (14.5%)

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
0%0%99.9%0.1%0%0%0%3
0%0%99.9%0.1%0%0%0%4
0%0%99.9%0.1%0%0%0%5
0%0%99.9%0.1%0%0%0%6
18.8%18.7%81.1%0.1%0%0%0%7
18.8%18.7%81.1%0.1%0%0%0%8
21.9%21.8%78%0.1%0%0%0%9
32.8%32.8%67.1%0.1%0%0%0%10
32.8%32.8%67.1%0.1%0%0%0%11
35.2%35.1%64.7%0.1%0%0%0%12
Compiler

Compiled 32 to 18 computations (43.8% saved)

sample2.7s (71.1%)

Results
2.7s8253×body256valid
4.0ms3×body1024valid
Bogosity

preprocess556.0ms (14.4%)

Algorithm
1×egg-herbie
Rules
476×fma-def
432×distribute-lft-in
383×associate-*r/
373×associate-/l*
372×associate-/r*
Problems
153×(cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))
88×No Errors
15×(/.f64 (/.f64 eh ew) (tan.f64 t))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01021371
12061371
24231371
36271371
48361371
510861371
615711371
725461371
835471371
953551371
Stop Event
1×node limit
Calls
Call 1
Inputs
(fabs.f64 (+.f64 (*.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
(fabs.f64 (+.f64 (*.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
(fabs.f64 (+.f64 (*.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 (neg.f64 eh) ew) (tan.f64 t))))) (*.f64 (*.f64 (neg.f64 eh) (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 (neg.f64 eh) ew) (tan.f64 t)))))))
(fabs.f64 (+.f64 (*.f64 (*.f64 (neg.f64 ew) (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh (neg.f64 ew)) (tan.f64 t))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh (neg.f64 ew)) (tan.f64 t)))))))
(fabs.f64 (+.f64 (*.f64 (*.f64 ew (sin.f64 (neg.f64 t))) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 (neg.f64 t)))))) (*.f64 (*.f64 eh (cos.f64 (neg.f64 t))) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 (neg.f64 t))))))))
(neg.f64 (fabs.f64 (+.f64 (*.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 (neg.f64 eh) ew) (tan.f64 t))))) (*.f64 (*.f64 (neg.f64 eh) (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 (neg.f64 eh) ew) (tan.f64 t))))))))
(neg.f64 (fabs.f64 (+.f64 (*.f64 (*.f64 (neg.f64 ew) (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh (neg.f64 ew)) (tan.f64 t))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh (neg.f64 ew)) (tan.f64 t))))))))
(neg.f64 (fabs.f64 (+.f64 (*.f64 (*.f64 ew (sin.f64 (neg.f64 t))) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 (neg.f64 t)))))) (*.f64 (*.f64 eh (cos.f64 (neg.f64 t))) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 (neg.f64 t)))))))))
(fabs.f64 (+.f64 (*.f64 (*.f64 eh (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 ew eh) (tan.f64 t))))) (*.f64 (*.f64 ew (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 ew eh) (tan.f64 t)))))))
(fabs.f64 (+.f64 (*.f64 (*.f64 ew (sin.f64 eh)) (cos.f64 (atan.f64 (/.f64 (/.f64 t ew) (tan.f64 eh))))) (*.f64 (*.f64 t (cos.f64 eh)) (sin.f64 (atan.f64 (/.f64 (/.f64 t ew) (tan.f64 eh)))))))
(fabs.f64 (+.f64 (*.f64 (*.f64 t (sin.f64 ew)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh t) (tan.f64 ew))))) (*.f64 (*.f64 eh (cos.f64 ew)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh t) (tan.f64 ew)))))))
Outputs
(fabs.f64 (+.f64 (*.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
(fabs.f64 (fma.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))) (*.f64 eh (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))))
(fabs.f64 (fma.f64 ew (*.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (*.f64 ew (tan.f64 t)))))) (*.f64 eh (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (*.f64 ew (tan.f64 t)))))))))
(fabs.f64 (fma.f64 ew (*.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
(fabs.f64 (fma.f64 ew (*.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (*.f64 (cos.f64 t) (*.f64 eh (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))))
(fabs.f64 (+.f64 (*.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
(fabs.f64 (fma.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew)))) (*.f64 eh (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 t) ew))))))))
(fabs.f64 (fma.f64 ew (*.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 eh (*.f64 ew (tan.f64 t)))))) (*.f64 eh (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 eh (*.f64 ew (tan.f64 t)))))))))
(fabs.f64 (fma.f64 ew (*.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
(fabs.f64 (fma.f64 ew (*.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (*.f64 (cos.f64 t) (*.f64 eh (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))))
(fabs.f64 (+.f64 (*.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 (neg.f64 eh) ew) (tan.f64 t))))) (*.f64 (*.f64 (neg.f64 eh) (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 (neg.f64 eh) ew) (tan.f64 t)))))))
(fabs.f64 (fma.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 (tan.f64 t) ew)))) (*.f64 (neg.f64 eh) (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 (tan.f64 t) ew))))))))
(fabs.f64 (fma.f64 ew (*.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 ew (tan.f64 t)))))) (*.f64 (neg.f64 eh) (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 ew (tan.f64 t)))))))))
(fabs.f64 (-.f64 (*.f64 ew (*.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 ew (tan.f64 t))))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 ew (tan.f64 t))))))))
(fabs.f64 (-.f64 (*.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 ew (tan.f64 t)))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 ew (tan.f64 t))))))))
(fabs.f64 (-.f64 (*.f64 ew (*.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 (neg.f64 eh) ew) (tan.f64 t)))))) (*.f64 eh (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 (neg.f64 eh) ew) (tan.f64 t))))))))
(fabs.f64 (-.f64 (*.f64 ew (*.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (neg.f64 (tan.f64 t))))))) (*.f64 eh (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (neg.f64 (tan.f64 t)))))))))
(fabs.f64 (-.f64 (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (neg.f64 (tan.f64 t)))))) (*.f64 ew (*.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (neg.f64 (tan.f64 t)))))))))
(fabs.f64 (+.f64 (*.f64 (*.f64 (neg.f64 ew) (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh (neg.f64 ew)) (tan.f64 t))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh (neg.f64 ew)) (tan.f64 t)))))))
(fabs.f64 (fma.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 (tan.f64 t) ew)))) (*.f64 (neg.f64 eh) (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 (tan.f64 t) ew))))))))
(fabs.f64 (fma.f64 ew (*.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 ew (tan.f64 t)))))) (*.f64 (neg.f64 eh) (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 ew (tan.f64 t)))))))))
(fabs.f64 (-.f64 (*.f64 ew (*.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 ew (tan.f64 t))))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 ew (tan.f64 t))))))))
(fabs.f64 (-.f64 (*.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 ew (tan.f64 t)))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 ew (tan.f64 t))))))))
(fabs.f64 (-.f64 (*.f64 ew (*.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 (neg.f64 eh) ew) (tan.f64 t)))))) (*.f64 eh (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 (neg.f64 eh) ew) (tan.f64 t))))))))
(fabs.f64 (-.f64 (*.f64 ew (*.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (neg.f64 (tan.f64 t))))))) (*.f64 eh (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (neg.f64 (tan.f64 t)))))))))
(fabs.f64 (-.f64 (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (neg.f64 (tan.f64 t)))))) (*.f64 ew (*.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (neg.f64 (tan.f64 t)))))))))
(fabs.f64 (+.f64 (*.f64 (*.f64 ew (sin.f64 (neg.f64 t))) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 (neg.f64 t)))))) (*.f64 (*.f64 eh (cos.f64 (neg.f64 t))) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 (neg.f64 t))))))))
(fabs.f64 (fma.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 (tan.f64 t) ew)))) (*.f64 (neg.f64 eh) (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 (tan.f64 t) ew))))))))
(fabs.f64 (fma.f64 ew (*.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 ew (tan.f64 t)))))) (*.f64 (neg.f64 eh) (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 ew (tan.f64 t)))))))))
(fabs.f64 (-.f64 (*.f64 ew (*.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 ew (tan.f64 t))))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 ew (tan.f64 t))))))))
(fabs.f64 (-.f64 (*.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 ew (tan.f64 t)))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 ew (tan.f64 t))))))))
(fabs.f64 (-.f64 (*.f64 ew (*.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 (neg.f64 eh) ew) (tan.f64 t)))))) (*.f64 eh (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 (neg.f64 eh) ew) (tan.f64 t))))))))
(fabs.f64 (-.f64 (*.f64 ew (*.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (neg.f64 (tan.f64 t))))))) (*.f64 eh (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (neg.f64 (tan.f64 t)))))))))
(fabs.f64 (-.f64 (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (neg.f64 (tan.f64 t)))))) (*.f64 ew (*.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (neg.f64 (tan.f64 t)))))))))
(neg.f64 (fabs.f64 (+.f64 (*.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 (neg.f64 eh) ew) (tan.f64 t))))) (*.f64 (*.f64 (neg.f64 eh) (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 (neg.f64 eh) ew) (tan.f64 t))))))))
(neg.f64 (fabs.f64 (fma.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 (tan.f64 t) ew)))) (*.f64 (neg.f64 eh) (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 (tan.f64 t) ew)))))))))
(neg.f64 (fabs.f64 (fma.f64 ew (*.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 ew (tan.f64 t)))))) (*.f64 (neg.f64 eh) (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 ew (tan.f64 t))))))))))
(neg.f64 (fabs.f64 (-.f64 (*.f64 ew (*.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 ew (tan.f64 t))))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 ew (tan.f64 t)))))))))
(neg.f64 (fabs.f64 (-.f64 (*.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 ew (tan.f64 t)))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 ew (tan.f64 t)))))))))
(neg.f64 (fabs.f64 (-.f64 (*.f64 ew (*.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 (neg.f64 eh) ew) (tan.f64 t)))))) (*.f64 eh (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 (neg.f64 eh) ew) (tan.f64 t)))))))))
(neg.f64 (fabs.f64 (-.f64 (*.f64 ew (*.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (neg.f64 (tan.f64 t))))))) (*.f64 eh (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (neg.f64 (tan.f64 t))))))))))
(neg.f64 (fabs.f64 (-.f64 (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (neg.f64 (tan.f64 t)))))) (*.f64 ew (*.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (neg.f64 (tan.f64 t))))))))))
(neg.f64 (fabs.f64 (+.f64 (*.f64 (*.f64 (neg.f64 ew) (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh (neg.f64 ew)) (tan.f64 t))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh (neg.f64 ew)) (tan.f64 t))))))))
(neg.f64 (fabs.f64 (fma.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 (tan.f64 t) ew)))) (*.f64 (neg.f64 eh) (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 (tan.f64 t) ew)))))))))
(neg.f64 (fabs.f64 (fma.f64 ew (*.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 ew (tan.f64 t)))))) (*.f64 (neg.f64 eh) (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 ew (tan.f64 t))))))))))
(neg.f64 (fabs.f64 (-.f64 (*.f64 ew (*.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 ew (tan.f64 t))))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 ew (tan.f64 t)))))))))
(neg.f64 (fabs.f64 (-.f64 (*.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 ew (tan.f64 t)))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 ew (tan.f64 t)))))))))
(neg.f64 (fabs.f64 (-.f64 (*.f64 ew (*.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 (neg.f64 eh) ew) (tan.f64 t)))))) (*.f64 eh (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 (neg.f64 eh) ew) (tan.f64 t)))))))))
(neg.f64 (fabs.f64 (-.f64 (*.f64 ew (*.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (neg.f64 (tan.f64 t))))))) (*.f64 eh (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (neg.f64 (tan.f64 t))))))))))
(neg.f64 (fabs.f64 (-.f64 (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (neg.f64 (tan.f64 t)))))) (*.f64 ew (*.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (neg.f64 (tan.f64 t))))))))))
(neg.f64 (fabs.f64 (+.f64 (*.f64 (*.f64 ew (sin.f64 (neg.f64 t))) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 (neg.f64 t)))))) (*.f64 (*.f64 eh (cos.f64 (neg.f64 t))) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 (neg.f64 t)))))))))
(neg.f64 (fabs.f64 (fma.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 (tan.f64 t) ew)))) (*.f64 (neg.f64 eh) (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 (tan.f64 t) ew)))))))))
(neg.f64 (fabs.f64 (fma.f64 ew (*.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 ew (tan.f64 t)))))) (*.f64 (neg.f64 eh) (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 ew (tan.f64 t))))))))))
(neg.f64 (fabs.f64 (-.f64 (*.f64 ew (*.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 ew (tan.f64 t))))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 ew (tan.f64 t)))))))))
(neg.f64 (fabs.f64 (-.f64 (*.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 ew (tan.f64 t)))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 ew (tan.f64 t)))))))))
(neg.f64 (fabs.f64 (-.f64 (*.f64 ew (*.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 (neg.f64 eh) ew) (tan.f64 t)))))) (*.f64 eh (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 (neg.f64 eh) ew) (tan.f64 t)))))))))
(neg.f64 (fabs.f64 (-.f64 (*.f64 ew (*.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (neg.f64 (tan.f64 t))))))) (*.f64 eh (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (neg.f64 (tan.f64 t))))))))))
(neg.f64 (fabs.f64 (-.f64 (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (neg.f64 (tan.f64 t)))))) (*.f64 ew (*.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (neg.f64 (tan.f64 t))))))))))
(fabs.f64 (+.f64 (*.f64 (*.f64 eh (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 ew eh) (tan.f64 t))))) (*.f64 (*.f64 ew (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 ew eh) (tan.f64 t)))))))
(fabs.f64 (fma.f64 (*.f64 (sin.f64 t) eh) (cos.f64 (atan.f64 (/.f64 ew (*.f64 (tan.f64 t) eh)))) (*.f64 (*.f64 ew (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 ew (*.f64 (tan.f64 t) eh)))))))
(fabs.f64 (fma.f64 ew (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 ew (*.f64 eh (tan.f64 t)))))) (*.f64 (sin.f64 t) (*.f64 eh (cos.f64 (atan.f64 (/.f64 ew (*.f64 eh (tan.f64 t)))))))))
(fabs.f64 (fma.f64 (sin.f64 t) (*.f64 eh (cos.f64 (atan.f64 (/.f64 (/.f64 ew eh) (tan.f64 t))))) (*.f64 (*.f64 ew (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 ew eh) (tan.f64 t)))))))
(fabs.f64 (+.f64 (*.f64 (*.f64 ew (sin.f64 eh)) (cos.f64 (atan.f64 (/.f64 (/.f64 t ew) (tan.f64 eh))))) (*.f64 (*.f64 t (cos.f64 eh)) (sin.f64 (atan.f64 (/.f64 (/.f64 t ew) (tan.f64 eh)))))))
(fabs.f64 (fma.f64 (*.f64 ew (sin.f64 eh)) (cos.f64 (atan.f64 (/.f64 (/.f64 t ew) (tan.f64 eh)))) (*.f64 t (*.f64 (cos.f64 eh) (sin.f64 (atan.f64 (/.f64 (/.f64 t ew) (tan.f64 eh))))))))
(fabs.f64 (fma.f64 ew (*.f64 (sin.f64 eh) (cos.f64 (atan.f64 (/.f64 (/.f64 t ew) (tan.f64 eh))))) (*.f64 t (*.f64 (cos.f64 eh) (sin.f64 (atan.f64 (/.f64 (/.f64 t ew) (tan.f64 eh))))))))
(fabs.f64 (fma.f64 ew (*.f64 (sin.f64 eh) (cos.f64 (atan.f64 (/.f64 (/.f64 t (tan.f64 eh)) ew)))) (*.f64 t (*.f64 (cos.f64 eh) (sin.f64 (atan.f64 (/.f64 (/.f64 t (tan.f64 eh)) ew)))))))
(fabs.f64 (fma.f64 ew (*.f64 (sin.f64 eh) (cos.f64 (atan.f64 (/.f64 t (*.f64 ew (tan.f64 eh)))))) (*.f64 (*.f64 t (cos.f64 eh)) (sin.f64 (atan.f64 (/.f64 t (*.f64 ew (tan.f64 eh))))))))
(fabs.f64 (+.f64 (*.f64 (*.f64 t (sin.f64 ew)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh t) (tan.f64 ew))))) (*.f64 (*.f64 eh (cos.f64 ew)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh t) (tan.f64 ew)))))))
(fabs.f64 (fma.f64 (*.f64 t (sin.f64 ew)) (cos.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 ew) t)))) (*.f64 (*.f64 eh (cos.f64 ew)) (sin.f64 (atan.f64 (/.f64 eh (*.f64 (tan.f64 ew) t)))))))
(fabs.f64 (fma.f64 t (*.f64 (sin.f64 ew) (cos.f64 (atan.f64 (/.f64 eh (*.f64 t (tan.f64 ew)))))) (*.f64 (cos.f64 ew) (*.f64 eh (sin.f64 (atan.f64 (/.f64 eh (*.f64 t (tan.f64 ew)))))))))
(fabs.f64 (fma.f64 eh (*.f64 (cos.f64 ew) (sin.f64 (atan.f64 (/.f64 (/.f64 eh (tan.f64 ew)) t)))) (*.f64 (sin.f64 ew) (*.f64 t (cos.f64 (atan.f64 (/.f64 (/.f64 eh (tan.f64 ew)) t)))))))
(fabs.f64 (fma.f64 eh (*.f64 (cos.f64 ew) (sin.f64 (atan.f64 (/.f64 eh (*.f64 t (tan.f64 ew)))))) (*.f64 (sin.f64 ew) (*.f64 t (cos.f64 (atan.f64 (/.f64 eh (*.f64 t (tan.f64 ew)))))))))
Compiler

Compiled 134 to 18 computations (86.6% saved)

end0.0ms (0%)

Profiling

Loading profile data...