Example from Robby

Time bar (total: 3.8s)

analyze502.0ms (13.1%)

Memory
1.6MiB live, 164.4MiB 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)

sample3.2s (82.5%)

Memory
20.4MiB live, 932.8MiB allocated
Precisions
Click to see Rival histograms. Total time spent on operations: 1.3s
ival-sin: 439.0ms (34.6% of total)
ival-cos: 297.0ms (23.4% of total)
ival-mult: 180.0ms (14.2% of total)
ival-tan: 137.0ms (10.8% of total)
ival-div: 103.0ms (8.1% of total)
ival-atan: 40.0ms (3.2% of total)
ival-fabs: 32.0ms (2.5% of total)
ival-add: 31.0ms (2.4% of total)
ival-true: 6.0ms (0.5% of total)
ival-assert: 3.0ms (0.2% of total)
Precisions
Click to see Base histograms. Total time spent on operations: 1.3s
ival-sin: 383.0ms (30.6% of total)
ival-cos: 298.0ms (23.8% of total)
ival-mult: 203.0ms (16.2% of total)
ival-tan: 134.0ms (10.7% of total)
ival-div: 108.0ms (8.6% of total)
ival-atan: 42.0ms (3.4% of total)
ival-fabs: 41.0ms (3.3% of total)
ival-add: 36.0ms (2.9% of total)
const: 7.0ms (0.6% of total)
Bogosity

preprocess145.0ms (3.8%)

Memory
2.3MiB live, 33.5MiB 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.2MiB live, 0.2MiB 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.1%)

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

preprocess23.0ms (0.6%)

Memory
8.6MiB 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...