Timeout in 10.0m

Use the --timeout flag to change the timeout.

Details

Time bar (total: 4.3m)Debug log

sample41.0ms

Algorithm
intervals

simplify839.0ms

Counts
1 → 1
Calls

1 calls. Slowest were:

839.0ms
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 3.0b

localize36.0ms

Local error

Found 4 expressions with local error:

2.9b
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))
0.1b
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
0.0b
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1)))
0.0b
(+ (+ (+ alpha beta) (* 2 1)) 1.0)

rewrite225.0ms

Algorithm
rewrite-expression-head
Counts
4 → 359
Calls

4 calls. Slowest were:

71.0ms
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
59.0ms
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1)))
55.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))

series223.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

83.0ms
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1)))
81.0ms
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
47.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))
11.0ms
(+ (+ (+ alpha beta) (* 2 1)) 1.0)

simplify2.1m

Counts
526 → 371
Calls

526 calls. Slowest were:

1.5s
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (pow (+ alpha beta) 3) (pow (* 2 1) 3))) 1) 1)
1.3s
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 1) (* 2 1)))) 1)
1.2s
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (pow (+ alpha beta) 3) (pow (* 2 1) 3))) 1)

prune5.5s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 1.1b

localize8.0ms

Local error

Found 4 expressions with local error:

2.9b
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))
0.1b
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ beta (+ 3.0 alpha)))
0.0b
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1)))
0.0b
(+ beta (+ 3.0 alpha))

rewrite183.0ms

Algorithm
rewrite-expression-head
Counts
4 → 356
Calls

4 calls. Slowest were:

90.0ms
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ beta (+ 3.0 alpha)))
40.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))
39.0ms
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1)))

series268.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

117.0ms
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ beta (+ 3.0 alpha)))
84.0ms
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1)))
52.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))
14.0ms
(+ beta (+ 3.0 alpha))

simplify1.9m

Counts
523 → 368
Calls

523 calls. Slowest were:

1.1s
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (pow (+ alpha beta) 3) (pow (* 2 1) 3))) 1)
1.1s
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (pow (+ alpha beta) 3) (pow (* 2 1) 3))) 1) 1)
1.1s
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 1) (* 2 1)))) 1)

prune5.0s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 1.1b

localize43.0ms

Local error

Found 4 expressions with local error:

2.9b
(/ (+ (fma alpha beta alpha) (+ beta 1.0)) (+ 2 (+ beta alpha)))
2.9b
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))
0.1b
(/ (/ (sqrt (/ (+ (fma alpha beta alpha) (+ beta 1.0)) (+ 2 (+ beta alpha)))) (sqrt (+ 2 (+ beta alpha)))) (/ (+ (+ (+ alpha beta) (* 2 1)) 1.0) (/ (sqrt (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))) (sqrt (+ (+ alpha beta) (* 2 1))))))
0.1b
(/ (sqrt (/ (+ (fma alpha beta alpha) (+ beta 1.0)) (+ 2 (+ beta alpha)))) (sqrt (+ 2 (+ beta alpha))))

rewrite7.1s

Algorithm
rewrite-expression-head
Counts
4 → 46550
Calls

4 calls. Slowest were:

176.0ms
(/ (/ (sqrt (/ (+ (fma alpha beta alpha) (+ beta 1.0)) (+ 2 (+ beta alpha)))) (sqrt (+ 2 (+ beta alpha)))) (/ (+ (+ (+ alpha beta) (* 2 1)) 1.0) (/ (sqrt (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))) (sqrt (+ (+ alpha beta) (* 2 1))))))
35.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))
23.0ms
(/ (sqrt (/ (+ (fma alpha beta alpha) (+ beta 1.0)) (+ 2 (+ beta alpha)))) (sqrt (+ 2 (+ beta alpha))))

series517.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

252.0ms
(/ (/ (sqrt (/ (+ (fma alpha beta alpha) (+ beta 1.0)) (+ 2 (+ beta alpha)))) (sqrt (+ 2 (+ beta alpha)))) (/ (+ (+ (+ alpha beta) (* 2 1)) 1.0) (/ (sqrt (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))) (sqrt (+ (+ alpha beta) (* 2 1))))))
133.0ms
(/ (sqrt (/ (+ (fma alpha beta alpha) (+ beta 1.0)) (+ 2 (+ beta alpha)))) (sqrt (+ 2 (+ beta alpha))))
72.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))
57.0ms
(/ (+ (fma alpha beta alpha) (+ beta 1.0)) (+ 2 (+ beta alpha)))

Reproduce

herbie shell --seed 2019002 +o rules:numerics
(FPCore (alpha beta)
  :name "Octave 3.8, jcobi/3"
  :pre (and (> alpha -1) (> beta -1))
  (/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0)))