Diagrams.Solve.Polynomial:quartForm from diagrams-solve-0.1, E

Time bar (total: 856.0ms)

analyze0.0ms (0%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
100%99.9%0%0.1%0%0%0%1
Compiler

Compiled 8 to 6 computations (25% saved)

sample781.0ms (91.1%)

Results
771.0ms8256×body256valid
Bogosity

preprocess76.0ms (8.8%)

Algorithm
egg-herbie
Rules
141×fma-def
30×+-commutative
28×associate-+r-
27×*-commutative
26×associate-+l-
Problems
256×No Errors
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
020149
137141
286133
3185125
4362113
5502113
6548113
7561113
8562113
Stop Event
saturated
Calls
Call 1
Inputs
(-.f64 x (/.f64 y 4))
(-.f64 x (/.f64 y 4))
(-.f64 (neg.f64 x) (/.f64 y 4))
(-.f64 x (/.f64 (neg.f64 y) 4))
(neg.f64 (-.f64 (neg.f64 x) (/.f64 y 4)))
(neg.f64 (-.f64 x (/.f64 (neg.f64 y) 4)))
(-.f64 y (/.f64 x 4))
Outputs
(-.f64 x (/.f64 y 4))
(+.f64 x (*.f64 -1/4 y))
(fma.f64 -1/4 y x)
(fma.f64 y -1/4 x)
(-.f64 x (/.f64 y 4))
(+.f64 x (*.f64 -1/4 y))
(fma.f64 -1/4 y x)
(fma.f64 y -1/4 x)
(-.f64 (neg.f64 x) (/.f64 y 4))
(-.f64 (*.f64 -1/4 y) x)
(-.f64 (*.f64 y -1/4) x)
(-.f64 x (/.f64 (neg.f64 y) 4))
(+.f64 x (/.f64 y 4))
(+.f64 x (*.f64 1/4 y))
(fma.f64 1/4 y x)
(fma.f64 y 1/4 x)
(neg.f64 (-.f64 (neg.f64 x) (/.f64 y 4)))
(-.f64 x (/.f64 (neg.f64 y) 4))
(+.f64 x (/.f64 y 4))
(+.f64 x (*.f64 1/4 y))
(fma.f64 1/4 y x)
(fma.f64 y 1/4 x)
(neg.f64 (-.f64 x (/.f64 (neg.f64 y) 4)))
(-.f64 (neg.f64 x) (/.f64 y 4))
(-.f64 (*.f64 -1/4 y) x)
(-.f64 (*.f64 y -1/4) x)
(-.f64 y (/.f64 x 4))
(+.f64 y (/.f64 x -4))
(+.f64 y (*.f64 -1/4 x))
(fma.f64 -1/4 x y)
(fma.f64 x -1/4 y)
Compiler

Compiled 14 to 9 computations (35.7% saved)

end0.0ms (0%)

Profiling

Loading profile data...