Example 2 from Robby

Time bar (total: 6.9s)

analyze436.0ms (6.3%)

Memory
-4.3MiB live, 143.5MiB 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
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 66 to 39 computations (40.9% saved)

sample6.3s (90.3%)

Memory
49.8MiB live, 1 547.3MiB allocated
Samples
2.1s8 255×0valid-sollya
1.5s8 255×0valid-baseline
1.5s8 255×0valid-rival
Precisions
Click to see Rival histograms. Total time spent on operations: 1.3s
ival-sin: 348.0ms (27.1% of total)
ival-cos: 337.0ms (26.3% of total)
ival-mult: 240.0ms (18.7% of total)
ival-tan: 152.0ms (11.9% of total)
ival-div: 57.0ms (4.4% of total)
ival-atan: 40.0ms (3.1% of total)
ival-fabs: 35.0ms (2.7% of total)
ival-sub: 33.0ms (2.6% of total)
ival-neg: 31.0ms (2.4% of total)
ival-true: 7.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.2s
ival-sin: 313.0ms (25.7% of total)
ival-cos: 293.0ms (24.1% of total)
ival-mult: 255.0ms (21% of total)
ival-tan: 149.0ms (12.2% of total)
ival-div: 54.0ms (4.4% of total)
ival-atan: 41.0ms (3.4% of total)
ival-fabs: 37.0ms (3% of total)
ival-sub: 35.0ms (2.9% of total)
ival-neg: 34.0ms (2.8% of total)
const: 7.0ms (0.6% of total)
Bogosity

preprocess200.0ms (2.9%)

Memory
1.7MiB live, 32.5MiB allocated
Algorithm
1×egg-herbie
Rules
554×div-sub
476×times-frac
463×unsub-neg
447×fmm-def
439×fma-define
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01031407
12681359
28491359
326131359
450011359
567051359
673221359
775821359
878871359
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%)

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 (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)

simplify5.0ms (0.1%)

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

soundness0.0ms (0%)

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

Compiled 33 to 18 computations (45.5% saved)

preprocess27.0ms (0.4%)

Memory
-8.2MiB live, 25.2MiB allocated
Compiler

Compiled 132 to 72 computations (45.5% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...