Timeout in 10.0m

Use the --timeout flag to change the timeout.

Details

Time bar (total: 2.8m)Debug log

sample51.0ms

Algorithm
intervals
Results
32.0ms256×body80valid
7.0ms256×pre80true

simplify520.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
520.0ms
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 3.5b

localize36.0ms

Local error

Found 3 expressions with local error:

3.4b
(/ (+ (+ (+ 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)))

rewrite190.0ms

Algorithm
rewrite-expression-head
Rules
531×times-frac
255×add-cube-cbrt
255×*-un-lft-identity
255×add-sqr-sqrt
69×associate-/l*
46×associate-/r/
24×flip-+
24×flip3-+
23×div-inv
19×add-exp-log
19×add-cbrt-cube
10×div-exp
10×cbrt-undiv
9×associate-/r*
4×associate-/l/
3×add-log-exp
3×frac-2neg
3×clear-num
3×pow1
Counts
3 → 337
Calls
3 calls:
Slowest
71.0ms
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
55.0ms
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1)))
54.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))

series220.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
90.0ms
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1)))
84.0ms
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
46.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))

simplify1.4m

Counts
520 → 346
Calls
520 calls:
Slowest
754.0ms
(/ (/ (/ (cbrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
726.0ms
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (cbrt (+ (+ alpha beta) (* 2 1)))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
724.0ms
(+ (pow (+ (+ alpha beta) (* beta alpha)) 3) (pow 1.0 3))
696.0ms
(/ (/ (/ (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
673.0ms
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 1) (* 2 1)))) (* (cbrt (+ (+ alpha beta) (* 2 1))) (cbrt (+ (+ alpha beta) (* 2 1))))) (* (cbrt (+ (+ (+ alpha beta) (* 2 1)) 1.0)) (cbrt (+ (+ (+ alpha beta) (* 2 1)) 1.0))))

prune5.3s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 1.4b

localize13.0ms

Local error

Found 4 expressions with local error:

13.8b
(sqrt (/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0)))
13.8b
(sqrt (/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0)))
3.4b
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))
3.4b
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))

rewrite241.0ms

Algorithm
rewrite-expression-head
Rules
768×times-frac
366×add-sqr-sqrt
346×add-cube-cbrt
346×*-un-lft-identity
318×sqrt-prod
56×associate-/r/
30×flip-+
30×flip3-+
28×div-inv
8×add-exp-log
8×add-cbrt-cube
8×rem-sqrt-square
6×associate-/l*
6×associate-/r*
4×associate-/l/
4×add-log-exp
4×pow1
2×div-exp
2×sqrt-div
2×pow1/2
2×frac-2neg
2×clear-num
2×cbrt-undiv
Counts
4 → 406
Calls
4 calls:
Slowest
66.0ms
(sqrt (/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0)))
59.0ms
(sqrt (/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0)))
55.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))
42.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))

series428.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
166.0ms
(sqrt (/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0)))
155.0ms
(sqrt (/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0)))
65.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))
41.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))

simplify1.1m

Counts
398 → 418
Calls
398 calls:
Slowest
767.0ms
(+ (pow (+ (+ alpha beta) (* beta alpha)) 3) (pow 1.0 3))
676.0ms
(+ (pow (+ (+ alpha beta) (* beta alpha)) 3) (pow 1.0 3))
666.0ms
(sqrt (/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 1) (* 2 1)))) 1))
643.0ms
(sqrt (/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (pow (+ (+ alpha beta) (* 2 1)) 3) (pow 1.0 3))))
635.0ms
(sqrt (/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0)))

prune9.5s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 1.4b

localize17.0ms

Local error

Found 4 expressions with local error:

3.3b
(sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0))
3.3b
(sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0))
0.2b
(/ (+ (+ alpha beta) (* 2 1)) (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)))
0.1b
(/ (/ (/ (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (/ (+ (+ alpha beta) (* 2 1)) (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))

rewrite265.0ms

Algorithm
rewrite-expression-head
Rules
6189×times-frac
2601×add-sqr-sqrt
2599×add-cube-cbrt
2599×*-un-lft-identity
1530×sqrt-prod
456×associate-/l*
168×associate-/r/
150×sqrt-div
90×div-inv
81×flip-+
81×flip3-+
20×add-exp-log
20×add-cbrt-cube
11×div-exp
11×cbrt-undiv
9×associate-/r*
4×add-log-exp
4×pow1
3×associate-/l/
2×pow1/2
2×frac-2neg
2×clear-num
2×rem-sqrt-square
Counts
4 → 1907
Calls
4 calls:
Slowest
94.0ms
(/ (/ (/ (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (/ (+ (+ alpha beta) (* 2 1)) (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
23.0ms
(/ (+ (+ alpha beta) (* 2 1)) (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)))
12.0ms
(sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0))
12.0ms
(sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0))

series352.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
172.0ms
(/ (+ (+ alpha beta) (* 2 1)) (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)))
98.0ms
(/ (/ (/ (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (/ (+ (+ alpha beta) (* 2 1)) (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
56.0ms
(sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0))
26.0ms
(sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0))

Reproduce

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