logs (example 3.8)

Time bar (total: 3.0s)

analyze2.0ms (0.1%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%23.7%76.3%0%0%0%0
0%0%23.7%76.3%0%0%0%1
50%11.9%11.9%76.3%0%0%0%2
75%17.8%5.9%76.3%0%0%0%3
87.5%20.8%3%76.3%0%0%0%4
93.8%22.2%1.5%76.3%0%0%0%5
96.9%23%0.7%76.3%0%0%0%6
98.4%23.3%0.4%76.3%0%0%0%7
99.2%23.5%0.2%76.3%0%0%0%8
99.6%23.6%0.1%76.3%0%0%0%9
99.8%23.7%0%76.3%0%0%0%10
99.9%23.7%0%76.3%0%0%0%11
100%23.7%0%76.3%0%0%0%12
Compiler

Compiled 19 to 14 computations (26.3% saved)

sample2.5s (85%)

Results
1.6s4351×body1024valid
512.0ms2189×body512valid
240.0ms451×body2048valid
169.0ms1265×body256valid
Bogosity

preprocess442.0ms (15%)

Algorithm
1×egg-herbie
Rules
717×+-commutative
518×associate--r+
481×*-commutative
385×distribute-neg-in
349×fma-neg
Problems
256×(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (*.f64 n (log.f64 n)))
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
023256
161208
2173200
3579200
41942196
55216196
66434196
77328196
87896196
Stop Event
1×node limit
Calls
Call 1
Inputs
(-.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (*.f64 n (log.f64 n))) 1)
(-.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (*.f64 n (log.f64 n))) 1)
(-.f64 (-.f64 (*.f64 (+.f64 (neg.f64 n) 1) (log.f64 (+.f64 (neg.f64 n) 1))) (*.f64 (neg.f64 n) (log.f64 (neg.f64 n)))) 1)
(neg.f64 (-.f64 (-.f64 (*.f64 (+.f64 (neg.f64 n) 1) (log.f64 (+.f64 (neg.f64 n) 1))) (*.f64 (neg.f64 n) (log.f64 (neg.f64 n)))) 1))
Outputs
(-.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (*.f64 n (log.f64 n))) 1)
(+.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (*.f64 n (log.f64 n))) -1)
(-.f64 (*.f64 (+.f64 n 1) (log1p.f64 n)) (fma.f64 n (log.f64 n) 1))
(fma.f64 (+.f64 n 1) (log1p.f64 n) (fma.f64 (log.f64 n) (neg.f64 n) -1))
(+.f64 (log1p.f64 n) (fma.f64 n (-.f64 (log1p.f64 n) (log.f64 n)) -1))
(-.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (*.f64 n (log.f64 n))) 1)
(+.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (*.f64 n (log.f64 n))) -1)
(-.f64 (*.f64 (+.f64 n 1) (log1p.f64 n)) (fma.f64 n (log.f64 n) 1))
(fma.f64 (+.f64 n 1) (log1p.f64 n) (fma.f64 (log.f64 n) (neg.f64 n) -1))
(+.f64 (log1p.f64 n) (fma.f64 n (-.f64 (log1p.f64 n) (log.f64 n)) -1))
(-.f64 (-.f64 (*.f64 (+.f64 (neg.f64 n) 1) (log.f64 (+.f64 (neg.f64 n) 1))) (*.f64 (neg.f64 n) (log.f64 (neg.f64 n)))) 1)
(+.f64 (+.f64 (*.f64 (+.f64 1 (neg.f64 n)) (log.f64 (+.f64 1 (neg.f64 n)))) (*.f64 n (log.f64 (neg.f64 n)))) -1)
(+.f64 (fma.f64 (-.f64 1 n) (log1p.f64 (neg.f64 n)) (*.f64 n (log.f64 (neg.f64 n)))) -1)
(fma.f64 (-.f64 1 n) (log1p.f64 (neg.f64 n)) (fma.f64 n (log.f64 (neg.f64 n)) -1))
(fma.f64 n (log.f64 (neg.f64 n)) (fma.f64 (-.f64 1 n) (log1p.f64 (neg.f64 n)) -1))
(neg.f64 (-.f64 (-.f64 (*.f64 (+.f64 (neg.f64 n) 1) (log.f64 (+.f64 (neg.f64 n) 1))) (*.f64 (neg.f64 n) (log.f64 (neg.f64 n)))) 1))
(neg.f64 (+.f64 (+.f64 (*.f64 (+.f64 1 (neg.f64 n)) (log.f64 (+.f64 1 (neg.f64 n)))) (*.f64 n (log.f64 (neg.f64 n)))) -1))
(neg.f64 (+.f64 (fma.f64 (-.f64 1 n) (log1p.f64 (neg.f64 n)) (*.f64 n (log.f64 (neg.f64 n)))) -1))
(-.f64 1 (fma.f64 n (log.f64 (neg.f64 n)) (*.f64 (-.f64 1 n) (log1p.f64 (neg.f64 n)))))
(-.f64 (*.f64 (+.f64 n -1) (log1p.f64 (neg.f64 n))) (fma.f64 n (log.f64 (neg.f64 n)) -1))
Compiler

Compiled 53 to 32 computations (39.6% saved)

end0.0ms (0%)

Profiling

Loading profile data...