Example from Robby

Time bar (total: 44.0s)

analyze3.8s (8.7%)

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)

sample39.0s (88.7%)

Results
11.6s8256×0valid-rival
4.2s8148×0valid-sollya
540.0ms108×0exit-sollya
Bogosity

preprocess649.0ms (1.5%)

Algorithm
1×egg-herbie
Rules
1606×fma-define
745×unsub-neg
510×fma-neg
436×times-frac
273×distribute-lft-neg-out
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01021371
12111371
24241371
36551371
47891371
59711371
613511371
724801371
837591371
965391371
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 (+.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 (+.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 (*.f64 (cos.f64 t) (neg.f64 eh)) (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 (*.f64 eh (neg.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 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 (cos.f64 t) (*.f64 eh (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 eh (neg.f64 ew)) (tan.f64 t)))))) (*.f64 eh (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh (neg.f64 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 (fma.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 (tan.f64 t) ew)))) (*.f64 (*.f64 (cos.f64 t) (neg.f64 eh)) (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 (*.f64 eh (neg.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 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 (cos.f64 t) (*.f64 eh (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 eh (neg.f64 ew)) (tan.f64 t)))))) (*.f64 eh (*.f64 (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))))))))
(fabs.f64 (fma.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 (tan.f64 t) ew)))) (*.f64 (*.f64 (cos.f64 t) (neg.f64 eh)) (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 (*.f64 eh (neg.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 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 (cos.f64 t) (*.f64 eh (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 eh (neg.f64 ew)) (tan.f64 t)))))) (*.f64 eh (*.f64 (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 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 (*.f64 (cos.f64 t) (neg.f64 eh)) (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 (*.f64 eh (neg.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 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 (cos.f64 t) (*.f64 eh (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 eh (neg.f64 ew)) (tan.f64 t)))))) (*.f64 eh (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh (neg.f64 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 (fma.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (neg.f64 eh) (*.f64 (tan.f64 t) ew)))) (*.f64 (*.f64 (cos.f64 t) (neg.f64 eh)) (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 (*.f64 eh (neg.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 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 (cos.f64 t) (*.f64 eh (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 eh (neg.f64 ew)) (tan.f64 t)))))) (*.f64 eh (*.f64 (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)))))))))
(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 (*.f64 (cos.f64 t) (neg.f64 eh)) (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 (*.f64 eh (neg.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 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 (cos.f64 t) (*.f64 eh (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 eh (neg.f64 ew)) (tan.f64 t)))))) (*.f64 eh (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh (neg.f64 ew)) (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 ew (*.f64 (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 (*.f64 (sin.f64 t) eh) (cos.f64 (atan.f64 (/.f64 ew (*.f64 eh (tan.f64 t))))))))
(fabs.f64 (fma.f64 ew (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 ew eh) (tan.f64 t))))) (*.f64 (*.f64 (sin.f64 t) eh) (cos.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 t (*.f64 (tan.f64 eh) ew)))) (*.f64 t (*.f64 (cos.f64 eh) (sin.f64 (atan.f64 (/.f64 t (*.f64 (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 t (*.f64 (cos.f64 eh) (sin.f64 (atan.f64 (/.f64 t (*.f64 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 (*.f64 t (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 (cos.f64 eh) (*.f64 t (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 t (*.f64 (sin.f64 ew) (cos.f64 (atan.f64 (/.f64 eh (*.f64 t (tan.f64 ew)))))) (*.f64 eh (*.f64 (cos.f64 ew) (sin.f64 (atan.f64 (/.f64 eh (*.f64 t (tan.f64 ew)))))))))
Compiler

Compiled 31 to 17 computations (45.2% saved)

eval0.0ms (0%)

Compiler

Compiled 3 to 3 computations (0% saved)

prune4.0ms (0%)

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

Compiled 62 to 34 computations (45.2% saved)

simplify36.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
4×*-commutative
1×+-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
024121
129121
Stop Event
1×saturated
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)))))))
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)))))))

soundness2.0ms (0%)

Stop Event
1×fuel
Compiler

Compiled 31 to 17 computations (45.2% saved)

preprocess445.0ms (1%)

Compiler

Compiled 124 to 68 computations (45.2% saved)

end0.0ms (0%)

Profiling

Loading profile data...