Example from Robby

Time bar (total: 7.0s)

analyze484.0ms (6.9%)

Memory
-1.6MiB live, 160.2MiB allocated
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 62 to 37 computations (40.3% saved)

sample6.3s (90.6%)

Memory
6.8MiB live, 1 431.4MiB allocated
Samples
2.1s8 255×0valid-sollya
1.5s8 255×0valid-rival
1.4s8 255×0valid-baseline
Bogosity

preprocess147.0ms (2.1%)

Memory
0.8MiB live, 33.8MiB allocated
Algorithm
1×egg-herbie
Rules
1 606×fma-define
649×unsub-neg
510×fmm-def
444×times-frac
270×distribute-lft-in
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01021371
12111371
24241371
36551371
47891371
59711371
613511371
724801371
837591371
965581371
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%)

Memory
0.3MiB live, 0.3MiB allocated
Compiler

Compiled 3 to 3 computations (0% saved)

prune1.0ms (0%)

Memory
1.0MiB live, 1.0MiB allocated
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)

simplify2.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated
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)))))))

soundness0.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated
Stop Event
1×fuel
Compiler

Compiled 31 to 17 computations (45.2% saved)

preprocess22.0ms (0.3%)

Memory
-7.3MiB live, 24.1MiB allocated
Compiler

Compiled 124 to 68 computations (45.2% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...