Timeout in 10.0m

Use the --timeout flag to change the timeout.

Details

Time bar (total: 1.5m)Debug log

sample95.0ms

Algorithm
intervals

simplify211.0ms

Counts
1 → 1
Calls

1 calls. Slowest were:

211.0ms
(/ (/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 52.3b

localize73.0ms

Local error

Found 4 expressions with local error:

45.9b
(/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))))
36.9b
(/ (/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
0.1b
(* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))
0.0b
(* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))

rewrite143.0ms

Algorithm
rewrite-expression-head
Counts
4 → 170
Calls

4 calls. Slowest were:

58.0ms
(/ (/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
40.0ms
(/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))))
24.0ms
(* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))

series1.0s

Counts
4 → 12
Calls

4 calls. Slowest were:

726.0ms
(/ (/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
155.0ms
(/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))))
105.0ms
(* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))
59.0ms
(* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))

simplify40.1s

Counts
191 → 182
Calls

191 calls. Slowest were:

792.0ms
(* (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))))
665.0ms
(/ (/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (pow (+ alpha beta) 3) (pow (* 2 i) 3)) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))))) (sqrt (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0)))
629.0ms
(/ (- (+ alpha beta) (* 2 i)) (cbrt (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0)))

prune2.9s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 36.8b

localize24.0ms

Local error

Found 4 expressions with local error:

40.1b
(/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))
36.9b
(/ (/ (* i (+ (+ alpha beta) i)) (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
4.7b
(/ (* i (+ (+ alpha beta) i)) (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))
0.0b
(* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))

rewrite141.0ms

Algorithm
rewrite-expression-head
Counts
4 → 179
Calls

4 calls. Slowest were:

57.0ms
(/ (/ (* i (+ (+ alpha beta) i)) (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
29.0ms
(/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))
25.0ms
(* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))

series1.1s

Counts
4 → 12
Calls

4 calls. Slowest were:

760.0ms
(/ (/ (* i (+ (+ alpha beta) i)) (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
145.0ms
(/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))
144.0ms
(/ (* i (+ (+ alpha beta) i)) (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))
57.0ms
(* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))

simplify35.7s

Counts
208 → 191
Calls

208 calls. Slowest were:

1.3s
(* (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))))
804.0ms
(* (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))))
743.0ms
(/ i (sqrt (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))))

prune2.7s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 36.8b

localize38.0ms

Local error

Found 4 expressions with local error:

38.4b
(sqrt (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
38.4b
(sqrt (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
35.6b
(sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i))))
35.6b
(sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i))))

rewrite35.0ms

Algorithm
rewrite-expression-head
Counts
4 → 56
Calls

4 calls. Slowest were:

17.0ms
(sqrt (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
13.0ms
(sqrt (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
2.0ms
(sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i))))

series384.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

155.0ms
(sqrt (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
120.0ms
(sqrt (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
64.0ms
(sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i))))
45.0ms
(sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i))))

simplify5.6s

Counts
36 → 68
Calls

36 calls. Slowest were:

587.0ms
(sqrt (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
577.0ms
(sqrt (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
540.0ms
(sqrt (* (cbrt (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0)) (cbrt (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))))

prune1.1s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 36.8b

localize53.0ms

Local error

Found 4 expressions with local error:

36.9b
(/ (/ (/ (* i (+ (+ alpha beta) i)) (/ (+ (+ alpha beta) (* 2 i)) (sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))) (/ (+ (* 2 i) (+ beta alpha)) (sqrt (* (+ beta i) (+ alpha i))))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
35.6b
(sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i))))
35.6b
(sqrt (* (+ beta i) (+ alpha i)))
3.5b
(/ (* i (+ (+ alpha beta) i)) (/ (+ (+ alpha beta) (* 2 i)) (sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i))))))

rewrite307.0ms

Algorithm
rewrite-expression-head
Counts
4 → 2931
Calls

4 calls. Slowest were:

58.0ms
(/ (/ (/ (* i (+ (+ alpha beta) i)) (/ (+ (+ alpha beta) (* 2 i)) (sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))) (/ (+ (* 2 i) (+ beta alpha)) (sqrt (* (+ beta i) (+ alpha i))))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
12.0ms
(/ (* i (+ (+ alpha beta) i)) (/ (+ (+ alpha beta) (* 2 i)) (sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i))))))
2.0ms
(sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i))))

series1.3s

Counts
4 → 12
Calls

4 calls. Slowest were:

1.1s
(/ (/ (/ (* i (+ (+ alpha beta) i)) (/ (+ (+ alpha beta) (* 2 i)) (sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))) (/ (+ (* 2 i) (+ beta alpha)) (sqrt (* (+ beta i) (+ alpha i))))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
104.0ms
(/ (* i (+ (+ alpha beta) i)) (/ (+ (+ alpha beta) (* 2 i)) (sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i))))))
62.0ms
(sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i))))
53.0ms
(sqrt (* (+ beta i) (+ alpha i)))

Reproduce

herbie shell --seed 2019007 
(FPCore (alpha beta i)
  :name "Octave 3.8, jcobi/4"
  :pre (and (> alpha -1) (> beta -1) (> i 1))
  (/ (/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0)))