Example 2 from Robby

Time bar (total: 42.3s)

analyze3.6s (8.4%)

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)

sample37.9s (89.7%)

Results
10.8s8256×0valid-rival
3.9s8150×0valid-sollya
530.0ms106×0exit-sollya
Bogosity

preprocess602.0ms (1.4%)

Algorithm
1×egg-herbie
Rules
554×div-sub
499×unsub-neg
478×times-frac
447×fma-neg
439×fma-define
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01031407
12681359
28491359
326131359
450011359
567121359
673301359
775901359
878951359
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 (tan.f64 t) ew))))) (*.f64 eh (*.f64 (sin.f64 t) (sin.f64 (atan.f64 (*.f64 (neg.f64 eh) (/.f64 (tan.f64 t) ew))))))))
(fabs.f64 (fma.f64 ew (*.f64 (cos.f64 (atan.f64 (*.f64 (neg.f64 eh) (/.f64 (tan.f64 t) ew)))) (neg.f64 (cos.f64 t))) (*.f64 eh (*.f64 (sin.f64 t) (sin.f64 (atan.f64 (*.f64 (neg.f64 eh) (/.f64 (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 (neg.f64 eh) (/.f64 (tan.f64 t) ew))))) (*.f64 eh (*.f64 (sin.f64 t) (sin.f64 (atan.f64 (*.f64 (neg.f64 eh) (/.f64 (tan.f64 t) ew))))))))
(fabs.f64 (fma.f64 ew (*.f64 (cos.f64 (atan.f64 (*.f64 (neg.f64 eh) (/.f64 (tan.f64 t) ew)))) (neg.f64 (cos.f64 t))) (*.f64 eh (*.f64 (sin.f64 t) (sin.f64 (atan.f64 (*.f64 (neg.f64 eh) (/.f64 (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 ew (cos.f64 t)) (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))) (*.f64 (*.f64 (neg.f64 eh) (sin.f64 t)) (sin.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew)))))))
(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 (fma.f64 (*.f64 ew (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 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))) (*.f64 (*.f64 (neg.f64 eh) (sin.f64 t)) (sin.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew)))))))
(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 (fma.f64 (*.f64 ew (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 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))) (*.f64 (*.f64 (neg.f64 eh) (sin.f64 t)) (sin.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew)))))))
(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 (fma.f64 (*.f64 ew (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 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))) (*.f64 (*.f64 (neg.f64 eh) (sin.f64 t)) (sin.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))))))
(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 (fma.f64 (*.f64 ew (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 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))) (*.f64 (*.f64 (neg.f64 eh) (sin.f64 t)) (sin.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))))))
(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 (fma.f64 (*.f64 ew (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 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))) (*.f64 (*.f64 (neg.f64 eh) (sin.f64 t)) (sin.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) ew))))))))
(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 (fma.f64 (*.f64 ew (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 (*.f64 (cos.f64 t) eh) (cos.f64 (atan.f64 (*.f64 (neg.f64 ew) (/.f64 (tan.f64 t) eh))))) (*.f64 (*.f64 ew (sin.f64 t)) (sin.f64 (atan.f64 (*.f64 (neg.f64 ew) (/.f64 (tan.f64 t) eh)))))))
(fabs.f64 (-.f64 (*.f64 (cos.f64 t) (*.f64 eh (cos.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 (neg.f64 ew) eh)))))) (*.f64 (*.f64 ew (sin.f64 t)) (sin.f64 (atan.f64 (*.f64 (tan.f64 t) (/.f64 (neg.f64 ew) eh)))))))
(fabs.f64 (-.f64 (*.f64 (cos.f64 t) (*.f64 eh (cos.f64 (atan.f64 (*.f64 ew (/.f64 (tan.f64 t) (neg.f64 eh))))))) (*.f64 ew (*.f64 (sin.f64 t) (sin.f64 (atan.f64 (*.f64 ew (/.f64 (tan.f64 t) (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 (tan.f64 eh) ew)))))) (*.f64 t (*.f64 (sin.f64 eh) (sin.f64 (atan.f64 (*.f64 (neg.f64 t) (/.f64 (tan.f64 eh) ew))))))))
(fabs.f64 (-.f64 (*.f64 ew (*.f64 (cos.f64 eh) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 t) (tan.f64 eh)) ew))))) (*.f64 t (*.f64 (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 t (neg.f64 (/.f64 (tan.f64 eh) ew))))))) (*.f64 t (*.f64 (sin.f64 eh) (sin.f64 (atan.f64 (*.f64 t (neg.f64 (/.f64 (tan.f64 eh) ew)))))))))
(fabs.f64 (-.f64 (*.f64 ew (*.f64 (cos.f64 eh) (cos.f64 (atan.f64 (*.f64 t (/.f64 (tan.f64 eh) (neg.f64 ew))))))) (*.f64 t (*.f64 (sin.f64 eh) (sin.f64 (atan.f64 (*.f64 t (/.f64 (tan.f64 eh) (neg.f64 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 (*.f64 t (cos.f64 ew)) (cos.f64 (atan.f64 (*.f64 (neg.f64 eh) (/.f64 (tan.f64 ew) t))))) (*.f64 (*.f64 eh (sin.f64 ew)) (sin.f64 (atan.f64 (*.f64 (neg.f64 eh) (/.f64 (tan.f64 ew) t)))))))
(fabs.f64 (-.f64 (*.f64 t (*.f64 (cos.f64 ew) (cos.f64 (atan.f64 (*.f64 eh (/.f64 (neg.f64 (tan.f64 ew)) t)))))) (*.f64 (*.f64 eh (sin.f64 ew)) (sin.f64 (atan.f64 (*.f64 eh (/.f64 (neg.f64 (tan.f64 ew)) t)))))))
(fabs.f64 (-.f64 (*.f64 t (*.f64 (cos.f64 ew) (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 ew) (neg.f64 t))))))) (*.f64 (*.f64 eh (sin.f64 ew)) (sin.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 ew) (neg.f64 t))))))))
Compiler

Compiled 33 to 18 computations (45.5% saved)

eval0.0ms (0%)

Compiler

Compiled 3 to 3 computations (0% saved)

prune3.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
99.8%
(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))))))
Compiler

Compiled 66 to 36 computations (45.5% saved)

simplify34.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
19×*-commutative
15×sub-neg
15×+-commutative
13×neg-sub0
13×neg-mul-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
025129
143129
276129
3109129
4130129
5141129
6143129
Stop Event
1×saturated
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))))))
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))))))

soundness1.0ms (0%)

Stop Event
1×fuel
Compiler

Compiled 33 to 18 computations (45.5% saved)

preprocess156.0ms (0.4%)

Compiler

Compiled 132 to 72 computations (45.5% saved)

end0.0ms (0%)

Profiling

Loading profile data...