Example 2 from Robby

Time bar (total: 3.2s)

analyze676.0ms (20.8%)

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
37.5%37.4%62.4%0.1%0%0%0%7
37.5%37.4%62.4%0.1%0%0%0%8
43.8%43.7%56.2%0.1%0%0%0%9
43.8%43.7%56.2%0.1%0%0%0%10
43.8%43.7%56.2%0.1%0%0%0%11
46.9%46.8%53%0.1%0%0%0%12
Compiler

Compiled 34 to 19 computations (44.1% saved)

sample2.3s (70%)

Results
2.3s8252×body256valid
5.0ms3×body1024valid
1.0ms1×body512valid
Bogosity

preprocess300.0ms (9.2%)

Algorithm
1×egg-herbie
Rules
504×*-commutative
419×distribute-lft-in
402×fma-def
398×associate-+l+
376×distribute-rgt-in
Problems
146×No Errors
99×(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))
10×(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
1×(*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01031407
12691359
28141359
326171359
470541359
Stop Event
1×node limit
Calls
Call 1
Inputs
(fabs.f64 (-.f64 (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
(fabs.f64 (-.f64 (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
(fabs.f64 (-.f64 (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 (neg.f64 eh)) (tan.f64 t)) ew)))) (*.f64 (*.f64 (neg.f64 eh) (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 (neg.f64 eh)) (tan.f64 t)) ew))))))
(fabs.f64 (-.f64 (*.f64 (*.f64 (neg.f64 ew) (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) (neg.f64 ew))))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) (neg.f64 ew)))))))
(fabs.f64 (-.f64 (*.f64 (*.f64 ew (cos.f64 (neg.f64 t))) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 (neg.f64 t))) ew)))) (*.f64 (*.f64 eh (sin.f64 (neg.f64 t))) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 (neg.f64 t))) ew))))))
(neg.f64 (fabs.f64 (-.f64 (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 (neg.f64 eh)) (tan.f64 t)) ew)))) (*.f64 (*.f64 (neg.f64 eh) (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 (neg.f64 eh)) (tan.f64 t)) ew)))))))
(neg.f64 (fabs.f64 (-.f64 (*.f64 (*.f64 (neg.f64 ew) (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) (neg.f64 ew))))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) (neg.f64 ew))))))))
(neg.f64 (fabs.f64 (-.f64 (*.f64 (*.f64 ew (cos.f64 (neg.f64 t))) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 (neg.f64 t))) ew)))) (*.f64 (*.f64 eh (sin.f64 (neg.f64 t))) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 (neg.f64 t))) ew)))))))
(fabs.f64 (-.f64 (*.f64 (*.f64 eh (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 ew) (tan.f64 t)) eh)))) (*.f64 (*.f64 ew (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 ew) (tan.f64 t)) eh))))))
(fabs.f64 (-.f64 (*.f64 (*.f64 ew (cos.f64 eh)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 t) (tan.f64 eh)) ew)))) (*.f64 (*.f64 t (sin.f64 eh)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 t) (tan.f64 eh)) ew))))))
(fabs.f64 (-.f64 (*.f64 (*.f64 t (cos.f64 ew)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 ew)) t)))) (*.f64 (*.f64 eh (sin.f64 ew)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 ew)) t))))))
Outputs
(fabs.f64 (-.f64 (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
(fabs.f64 (-.f64 (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (neg.f64 eh) (/.f64 ew (tan.f64 t)))))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (neg.f64 eh) (/.f64 ew (tan.f64 t))))))))
(fabs.f64 (-.f64 (*.f64 (cos.f64 t) (*.f64 ew (cos.f64 (atan.f64 (/.f64 (tan.f64 t) (/.f64 ew (neg.f64 eh))))))) (*.f64 (sin.f64 t) (*.f64 eh (sin.f64 (atan.f64 (/.f64 (tan.f64 t) (/.f64 ew (neg.f64 eh)))))))))
(fabs.f64 (-.f64 (*.f64 (cos.f64 t) (*.f64 ew (cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh (neg.f64 ew))))))) (*.f64 eh (*.f64 (sin.f64 t) (sin.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh (neg.f64 ew)))))))))
(fabs.f64 (-.f64 (*.f64 (cos.f64 t) (*.f64 ew (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))))) (*.f64 eh (*.f64 (sin.f64 t) (sin.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew)))))))))
(fabs.f64 (-.f64 (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
(fabs.f64 (-.f64 (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (neg.f64 eh) (/.f64 ew (tan.f64 t)))))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (neg.f64 eh) (/.f64 ew (tan.f64 t))))))))
(fabs.f64 (-.f64 (*.f64 (cos.f64 t) (*.f64 ew (cos.f64 (atan.f64 (/.f64 (tan.f64 t) (/.f64 ew (neg.f64 eh))))))) (*.f64 (sin.f64 t) (*.f64 eh (sin.f64 (atan.f64 (/.f64 (tan.f64 t) (/.f64 ew (neg.f64 eh)))))))))
(fabs.f64 (-.f64 (*.f64 (cos.f64 t) (*.f64 ew (cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh (neg.f64 ew))))))) (*.f64 eh (*.f64 (sin.f64 t) (sin.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh (neg.f64 ew)))))))))
(fabs.f64 (-.f64 (*.f64 (cos.f64 t) (*.f64 ew (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))))) (*.f64 eh (*.f64 (sin.f64 t) (sin.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew)))))))))
(fabs.f64 (-.f64 (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 (neg.f64 eh)) (tan.f64 t)) ew)))) (*.f64 (*.f64 (neg.f64 eh) (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 (neg.f64 eh)) (tan.f64 t)) ew))))))
(fabs.f64 (-.f64 (*.f64 ew (*.f64 (cos.f64 t) (cos.f64 (atan.f64 (/.f64 (*.f64 eh (tan.f64 t)) ew))))) (*.f64 (*.f64 (neg.f64 eh) (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 eh (tan.f64 t)) ew))))))
(fabs.f64 (fma.f64 ew (*.f64 (cos.f64 t) (cos.f64 (atan.f64 (/.f64 (tan.f64 t) (/.f64 ew eh))))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (tan.f64 t) (/.f64 ew eh)))))))
(fabs.f64 (fma.f64 ew (*.f64 (cos.f64 t) (cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew)))))))
(fabs.f64 (-.f64 (*.f64 (*.f64 (neg.f64 ew) (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) (neg.f64 ew))))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) (neg.f64 ew)))))))
(fabs.f64 (-.f64 (*.f64 ew (*.f64 (cos.f64 t) (cos.f64 (atan.f64 (/.f64 (*.f64 eh (tan.f64 t)) ew))))) (*.f64 (*.f64 (neg.f64 eh) (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 eh (tan.f64 t)) ew))))))
(fabs.f64 (fma.f64 ew (*.f64 (cos.f64 t) (cos.f64 (atan.f64 (/.f64 (tan.f64 t) (/.f64 ew eh))))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (tan.f64 t) (/.f64 ew eh)))))))
(fabs.f64 (fma.f64 ew (*.f64 (cos.f64 t) (cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew)))))))
(fabs.f64 (-.f64 (*.f64 (*.f64 ew (cos.f64 (neg.f64 t))) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 (neg.f64 t))) ew)))) (*.f64 (*.f64 eh (sin.f64 (neg.f64 t))) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 (neg.f64 t))) ew))))))
(fabs.f64 (-.f64 (*.f64 ew (*.f64 (cos.f64 t) (cos.f64 (atan.f64 (/.f64 (*.f64 eh (tan.f64 t)) ew))))) (*.f64 (*.f64 (neg.f64 eh) (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 eh (tan.f64 t)) ew))))))
(fabs.f64 (fma.f64 ew (*.f64 (cos.f64 t) (cos.f64 (atan.f64 (/.f64 (tan.f64 t) (/.f64 ew eh))))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (tan.f64 t) (/.f64 ew eh)))))))
(fabs.f64 (fma.f64 ew (*.f64 (cos.f64 t) (cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew)))))))
(neg.f64 (fabs.f64 (-.f64 (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 (neg.f64 eh)) (tan.f64 t)) ew)))) (*.f64 (*.f64 (neg.f64 eh) (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 (neg.f64 eh)) (tan.f64 t)) ew)))))))
(neg.f64 (fabs.f64 (-.f64 (*.f64 ew (*.f64 (cos.f64 t) (cos.f64 (atan.f64 (/.f64 (*.f64 eh (tan.f64 t)) ew))))) (*.f64 (*.f64 (neg.f64 eh) (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 eh (tan.f64 t)) ew)))))))
(neg.f64 (fabs.f64 (fma.f64 ew (*.f64 (cos.f64 t) (cos.f64 (atan.f64 (/.f64 (tan.f64 t) (/.f64 ew eh))))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (tan.f64 t) (/.f64 ew eh))))))))
(neg.f64 (fabs.f64 (fma.f64 ew (*.f64 (cos.f64 t) (cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))))))
(neg.f64 (fabs.f64 (-.f64 (*.f64 (*.f64 (neg.f64 ew) (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) (neg.f64 ew))))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) (neg.f64 ew))))))))
(neg.f64 (fabs.f64 (-.f64 (*.f64 ew (*.f64 (cos.f64 t) (cos.f64 (atan.f64 (/.f64 (*.f64 eh (tan.f64 t)) ew))))) (*.f64 (*.f64 (neg.f64 eh) (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 eh (tan.f64 t)) ew)))))))
(neg.f64 (fabs.f64 (fma.f64 ew (*.f64 (cos.f64 t) (cos.f64 (atan.f64 (/.f64 (tan.f64 t) (/.f64 ew eh))))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (tan.f64 t) (/.f64 ew eh))))))))
(neg.f64 (fabs.f64 (fma.f64 ew (*.f64 (cos.f64 t) (cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))))))
(neg.f64 (fabs.f64 (-.f64 (*.f64 (*.f64 ew (cos.f64 (neg.f64 t))) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 (neg.f64 t))) ew)))) (*.f64 (*.f64 eh (sin.f64 (neg.f64 t))) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 (neg.f64 t))) ew)))))))
(neg.f64 (fabs.f64 (-.f64 (*.f64 ew (*.f64 (cos.f64 t) (cos.f64 (atan.f64 (/.f64 (*.f64 eh (tan.f64 t)) ew))))) (*.f64 (*.f64 (neg.f64 eh) (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 eh (tan.f64 t)) ew)))))))
(neg.f64 (fabs.f64 (fma.f64 ew (*.f64 (cos.f64 t) (cos.f64 (atan.f64 (/.f64 (tan.f64 t) (/.f64 ew eh))))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (tan.f64 t) (/.f64 ew eh))))))))
(neg.f64 (fabs.f64 (fma.f64 ew (*.f64 (cos.f64 t) (cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 eh ew))))))))
(fabs.f64 (-.f64 (*.f64 (*.f64 eh (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 ew) (tan.f64 t)) eh)))) (*.f64 (*.f64 ew (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 ew) (tan.f64 t)) eh))))))
(fabs.f64 (-.f64 (*.f64 eh (*.f64 (cos.f64 t) (cos.f64 (atan.f64 (/.f64 (neg.f64 ew) (/.f64 eh (tan.f64 t))))))) (*.f64 ew (*.f64 (sin.f64 t) (sin.f64 (atan.f64 (/.f64 (neg.f64 ew) (/.f64 eh (tan.f64 t)))))))))
(fabs.f64 (-.f64 (*.f64 (*.f64 (cos.f64 t) eh) (cos.f64 (atan.f64 (*.f64 (/.f64 (neg.f64 ew) eh) (tan.f64 t))))) (*.f64 ew (*.f64 (sin.f64 t) (sin.f64 (atan.f64 (*.f64 (/.f64 (neg.f64 ew) eh) (tan.f64 t))))))))
(fabs.f64 (-.f64 (*.f64 (cos.f64 t) (*.f64 eh (cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 ew (neg.f64 eh))))))) (*.f64 ew (*.f64 (sin.f64 t) (sin.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 ew (neg.f64 eh)))))))))
(fabs.f64 (-.f64 (*.f64 (cos.f64 t) (*.f64 eh (cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 ew (neg.f64 eh))))))) (*.f64 (sin.f64 t) (*.f64 ew (sin.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 ew (neg.f64 eh)))))))))
(fabs.f64 (-.f64 (*.f64 (*.f64 ew (cos.f64 eh)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 t) (tan.f64 eh)) ew)))) (*.f64 (*.f64 t (sin.f64 eh)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 t) (tan.f64 eh)) ew))))))
(fabs.f64 (-.f64 (*.f64 ew (*.f64 (cos.f64 eh) (cos.f64 (atan.f64 (/.f64 (neg.f64 t) (/.f64 ew (tan.f64 eh))))))) (*.f64 t (*.f64 (sin.f64 eh) (sin.f64 (atan.f64 (/.f64 (neg.f64 t) (/.f64 ew (tan.f64 eh)))))))))
(fabs.f64 (-.f64 (*.f64 (*.f64 ew (cos.f64 eh)) (cos.f64 (atan.f64 (/.f64 (neg.f64 t) (/.f64 ew (tan.f64 eh)))))) (*.f64 (*.f64 t (sin.f64 eh)) (sin.f64 (atan.f64 (/.f64 (neg.f64 t) (/.f64 ew (tan.f64 eh))))))))
(fabs.f64 (-.f64 (*.f64 ew (*.f64 (cos.f64 eh) (cos.f64 (atan.f64 (/.f64 (neg.f64 t) (/.f64 ew (tan.f64 eh))))))) (*.f64 (sin.f64 eh) (*.f64 t (sin.f64 (atan.f64 (/.f64 (neg.f64 t) (/.f64 ew (tan.f64 eh)))))))))
(fabs.f64 (-.f64 (*.f64 ew (*.f64 (cos.f64 eh) (cos.f64 (atan.f64 (*.f64 (neg.f64 t) (/.f64 (tan.f64 eh) ew)))))) (*.f64 (sin.f64 eh) (*.f64 t (sin.f64 (atan.f64 (*.f64 (neg.f64 t) (/.f64 (tan.f64 eh) ew))))))))
(fabs.f64 (-.f64 (*.f64 (*.f64 t (cos.f64 ew)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 ew)) t)))) (*.f64 (*.f64 eh (sin.f64 ew)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 ew)) t))))))
(fabs.f64 (-.f64 (*.f64 eh (*.f64 (sin.f64 ew) (sin.f64 (atan.f64 (/.f64 (neg.f64 eh) (/.f64 t (tan.f64 ew))))))) (*.f64 t (*.f64 (cos.f64 ew) (cos.f64 (atan.f64 (/.f64 (neg.f64 eh) (/.f64 t (tan.f64 ew)))))))))
(fabs.f64 (-.f64 (*.f64 (*.f64 t (cos.f64 ew)) (cos.f64 (atan.f64 (*.f64 (/.f64 (neg.f64 eh) t) (tan.f64 ew))))) (*.f64 (*.f64 eh (sin.f64 ew)) (sin.f64 (atan.f64 (*.f64 (/.f64 (neg.f64 eh) t) (tan.f64 ew)))))))
(fabs.f64 (-.f64 (*.f64 t (*.f64 (cos.f64 ew) (cos.f64 (atan.f64 (*.f64 (tan.f64 ew) (/.f64 (neg.f64 eh) t)))))) (*.f64 (*.f64 eh (sin.f64 ew)) (sin.f64 (atan.f64 (*.f64 (tan.f64 ew) (/.f64 (neg.f64 eh) t)))))))
(fabs.f64 (-.f64 (*.f64 t (*.f64 (cos.f64 ew) (cos.f64 (atan.f64 (*.f64 (neg.f64 eh) (/.f64 (tan.f64 ew) t)))))) (*.f64 eh (*.f64 (sin.f64 ew) (sin.f64 (atan.f64 (*.f64 (neg.f64 eh) (/.f64 (tan.f64 ew) t))))))))
Compiler

Compiled 148 to 19 computations (87.2% saved)

end0.0ms (0%)

Profiling

Loading profile data...