Text.Parsec.Token:makeTokenParser from parsec-3.1.9, B

Time bar (total: 2.4s)

analyze10.0ms (0.4%)

Memory
3.0MiB live, 3.0MiB allocated
Algorithm
1×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 16 to 13 computations (18.8% saved)

sample2.3s (95.4%)

Memory
4.6MiB live, 674.2MiB allocated
Samples
465.0ms8 256×0valid-sollya
318.0ms8 256×0valid-baseline
290.0ms8 256×0valid-rival
Bogosity

preprocess76.0ms (3.2%)

Memory
6.1MiB live, 20.8MiB allocated
Algorithm
1×egg-herbie
Rules
307×fma-define
258×fmm-def
99×distribute-lft-in
92×distribute-rgt-in
84×associate-*r*
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
029254
165246
2164246
3589246
41148246
51625246
61725246
71742246
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 (+.f64 x y) z)
(*.f64 (+.f64 x y) z)
(*.f64 (+.f64 (neg.f64 x) y) z)
(*.f64 (+.f64 x (neg.f64 y)) z)
(*.f64 (+.f64 x y) (neg.f64 z))
(neg.f64 (*.f64 (+.f64 (neg.f64 x) y) z))
(neg.f64 (*.f64 (+.f64 x (neg.f64 y)) z))
(neg.f64 (*.f64 (+.f64 x y) (neg.f64 z)))
(*.f64 (+.f64 y x) z)
(*.f64 (+.f64 z y) x)
(*.f64 (+.f64 x z) y)
Outputs
(*.f64 (+.f64 x y) z)
(*.f64 z (+.f64 x y))
(*.f64 (+.f64 x y) z)
(*.f64 z (+.f64 x y))
(*.f64 (+.f64 (neg.f64 x) y) z)
(*.f64 z (+.f64 y (neg.f64 x)))
(*.f64 z (-.f64 y x))
(*.f64 (+.f64 x (neg.f64 y)) z)
(*.f64 z (-.f64 x y))
(*.f64 (+.f64 x y) (neg.f64 z))
(*.f64 z (-.f64 (neg.f64 y) x))
(neg.f64 (*.f64 (+.f64 (neg.f64 x) y) z))
(*.f64 z (-.f64 x y))
(neg.f64 (*.f64 (+.f64 x (neg.f64 y)) z))
(*.f64 z (+.f64 y (neg.f64 x)))
(*.f64 z (-.f64 y x))
(neg.f64 (*.f64 (+.f64 x y) (neg.f64 z)))
(*.f64 (+.f64 x y) z)
(*.f64 z (+.f64 x y))
(*.f64 (+.f64 y x) z)
(*.f64 (+.f64 x y) z)
(*.f64 z (+.f64 x y))
(*.f64 (+.f64 z y) x)
(*.f64 x (+.f64 y z))
(*.f64 (+.f64 x z) y)
(*.f64 y (+.f64 x z))
Symmetry

(negabs z)

(sort x y)

Compiler

Compiled 8 to 5 computations (37.5% saved)

eval0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated
Compiler

Compiled 3 to 3 computations (0% saved)

prune2.0ms (0.1%)

Memory
-15.0MiB live, 0.9MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(*.f64 (+.f64 x y) z)
Compiler

Compiled 16 to 10 computations (37.5% saved)

simplify1.0ms (0.1%)

Memory
0.3MiB live, 0.3MiB allocated
Algorithm
1×egg-herbie
Rules
1×*-commutative
1×+-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01122
11322
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 (+.f64 x y) z)
Outputs
(*.f64 (+.f64 x y) z)

soundness0.0ms (0%)

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

Compiled 8 to 5 computations (37.5% saved)

preprocess19.0ms (0.8%)

Memory
6.9MiB live, 25.2MiB allocated
Remove

(sort x y)

(negabs z)

Compiler

Compiled 96 to 60 computations (37.5% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...