Timeout in 10.0m

Use the --timeout flag to change the timeout.

Details

Time bar (total: 3.3m)Debug log

sample48.0ms

Algorithm
intervals

simplify665.0ms

Counts
1 → 1
Calls

1 calls. Slowest were:

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

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 3.0b

localize27.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)

rewrite234.0ms

Algorithm
rewrite-expression-head
Counts
4 → 348
Calls

4 calls. Slowest were:

88.0ms
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
76.0ms
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1)))
36.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))

series257.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

109.0ms
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
94.0ms
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1)))
40.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))
14.0ms
(+ (+ (+ alpha beta) (* 2 1)) 1.0)

simplify1.5m

Counts
524 → 360
Calls

524 calls. Slowest were:

830.0ms
(/ (/ (/ (cbrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
824.0ms
(+ (pow (+ (+ alpha beta) (* beta alpha)) 3) (pow 1.0 3))
816.0ms
(/ (/ (/ (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))

prune5.4s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 1.1b

localize18.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))

rewrite222.0ms

Algorithm
rewrite-expression-head
Counts
4 → 348
Calls

4 calls. Slowest were:

89.0ms
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ beta (+ 3.0 alpha)))
63.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))
62.0ms
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1)))

series235.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

106.0ms
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ beta (+ 3.0 alpha)))
75.0ms
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1)))
46.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))
8.0ms
(+ beta (+ 3.0 alpha))

simplify1.4m

Counts
523 → 360
Calls

523 calls. Slowest were:

1.3s
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 1) (* 2 1)))) (sqrt (+ beta (+ 3.0 alpha))))
1.2s
(+ (pow (+ (+ alpha beta) (* beta alpha)) 3) (pow 1.0 3))
845.0ms
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 1) (* 2 1)))) 1)

prune5.7s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 1.1b

localize74.0ms

Local error

Found 4 expressions with local error:

2.9b
(/ (+ (* alpha beta) (+ beta (+ 1.0 alpha))) (+ 2 (+ beta alpha)))
2.9b
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))
0.1b
(/ (/ (sqrt (/ (+ (* alpha beta) (+ beta (+ 1.0 alpha))) (+ 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 (/ (+ (* alpha beta) (+ beta (+ 1.0 alpha))) (+ 2 (+ beta alpha)))) (sqrt (+ 2 (+ beta alpha))))

rewrite6.0s

Algorithm
rewrite-expression-head
Counts
4 → 40253
Calls

4 calls. Slowest were:

176.0ms
(/ (/ (sqrt (/ (+ (* alpha beta) (+ beta (+ 1.0 alpha))) (+ 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))))))
70.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))
26.0ms
(/ (+ (* alpha beta) (+ beta (+ 1.0 alpha))) (+ 2 (+ beta alpha)))

series380.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

164.0ms
(/ (/ (sqrt (/ (+ (* alpha beta) (+ beta (+ 1.0 alpha))) (+ 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))))))
95.0ms
(/ (sqrt (/ (+ (* alpha beta) (+ beta (+ 1.0 alpha))) (+ 2 (+ beta alpha)))) (sqrt (+ 2 (+ beta alpha))))
65.0ms
(/ (+ (* alpha beta) (+ beta (+ 1.0 alpha))) (+ 2 (+ beta alpha)))
54.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))

Reproduce

herbie shell --seed 2019002 
(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)))