Timeout in 10.0m

Use the --timeout flag to change the timeout.

Details

Time bar (total: 1.5m)Debug log

sample92.0ms

Algorithm
intervals
Results
33.0ms207×body80valid
13.0ms19×body640valid
11.0ms256×pre80true
10.0ms12×body1280valid
7.0ms14×body320valid
1.0ms4×body160valid

simplify418.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
418.0ms
(/ (+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0) 2.0)

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 22.7b

localize29.0ms

Local error

Found 3 expressions with local error:

19.2b
(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i)))
1.6b
(+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
0.1b
(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))

rewrite165.0ms

Algorithm
rewrite-expression-head
Rules
42×times-frac
23×add-cube-cbrt
23×*-un-lft-identity
23×add-sqr-sqrt
17×add-exp-log
17×add-cbrt-cube
12×associate-/r/
10×associate-/l*
10×flip-+
10×flip3-+
9×associate-/l/
7×div-exp
7×cbrt-undiv
6×div-inv
6×associate-/r*
4×frac-times
3×add-log-exp
3×flip--
3×flip3--
3×pow1
2×cbrt-unprod
2×associate-*r/
2×prod-exp
2×associate-*l/
2×frac-2neg
2×clear-num
1×+-commutative
Counts
3 → 99
Calls
3 calls:
Slowest
109.0ms
(+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
44.0ms
(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
9.0ms
(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i)))

series447.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
197.0ms
(+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
174.0ms
(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
76.0ms
(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i)))

simplify14.4s

Counts
107 → 108
Calls
107 calls:
Slowest
564.0ms
(/ (* (+ alpha beta) (- beta alpha)) (* (cbrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))
527.0ms
(/ (/ (* (* (* (+ alpha beta) (- beta alpha)) (* (+ alpha beta) (- beta alpha))) (* (+ alpha beta) (- beta alpha))) (* (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (+ alpha beta) (* 2 i)))) (* (* (+ (+ (+ alpha beta) (* 2 i)) 2.0) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) (+ (+ (+ alpha beta) (* 2 i)) 2.0)))
450.0ms
(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
433.0ms
(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
425.0ms
(/ (/ (* (+ alpha beta) (- beta alpha)) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i)))) 1)

prune1.3s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 7.6b

localize34.0ms

Local error

Found 4 expressions with local error:

3.1b
(/ (+ beta alpha) (/ (+ (+ (+ alpha beta) (* 2 i)) 2.0) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))))
1.6b
(+ (/ (+ beta alpha) (/ (+ (+ (+ alpha beta) (* 2 i)) 2.0) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))))) 1.0)
0.1b
(/ (+ (+ (+ alpha beta) (* 2 i)) 2.0) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))))
0.0b
(/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))

rewrite190.0ms

Algorithm
rewrite-expression-head
Rules
528×times-frac
255×add-cube-cbrt
255×*-un-lft-identity
255×add-sqr-sqrt
68×associate-/r*
40×associate-/r/
23×div-inv
20×flip-+
20×add-exp-log
20×add-cbrt-cube
20×flip3-+
10×div-exp
10×cbrt-undiv
9×associate-/l*
6×associate-/l/
4×add-log-exp
4×pow1
3×frac-2neg
3×clear-num
1×flip--
1×div-sub
1×flip3--
1×+-commutative
Counts
4 → 344
Calls
4 calls:
Slowest
102.0ms
(+ (/ (+ beta alpha) (/ (+ (+ (+ alpha beta) (* 2 i)) 2.0) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))))) 1.0)
38.0ms
(/ (+ beta alpha) (/ (+ (+ (+ alpha beta) (* 2 i)) 2.0) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))))
31.0ms
(/ (+ (+ (+ alpha beta) (* 2 i)) 2.0) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))))
6.0ms
(/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))

series490.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
185.0ms
(/ (+ beta alpha) (/ (+ (+ (+ alpha beta) (* 2 i)) 2.0) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))))
136.0ms
(+ (/ (+ beta alpha) (/ (+ (+ (+ alpha beta) (* 2 i)) 2.0) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))))) 1.0)
122.0ms
(/ (+ (+ (+ alpha beta) (* 2 i)) 2.0) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))))
47.0ms
(/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))

simplify1.1m

Counts
517 → 356
Calls
517 calls:
Slowest
615.0ms
(/ (* (cbrt (+ beta alpha)) (cbrt (+ beta alpha))) (/ (* (cbrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ 1 (sqrt (+ (+ alpha beta) (* 2 i))))))
595.0ms
(+ (pow (+ (+ alpha beta) (* 2 i)) 3) (pow 2.0 3))
594.0ms
(/ (* (cbrt (+ beta alpha)) (cbrt (+ beta alpha))) (/ 1 (/ (sqrt (- beta alpha)) (* (cbrt (+ (+ alpha beta) (* 2 i))) (cbrt (+ (+ alpha beta) (* 2 i)))))))
527.0ms
(/ (* (cbrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (- beta alpha) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i)))))
511.0ms
(/ (+ beta alpha) (/ (+ (+ (+ alpha beta) (* 2 i)) 2.0) (/ (- beta alpha) (sqrt (+ (+ alpha beta) (* 2 i))))))

prune5.0s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 7.6b

localize14.0ms

Local error

Found 4 expressions with local error:

6.7b
(+ (/ (+ beta alpha) (/ (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))) 1.0)
3.1b
(/ (+ beta alpha) (/ (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))))
0.4b
(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))
0.2b
(/ (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))

rewrite948.0ms

Algorithm
rewrite-expression-head
Rules
9240×times-frac
3896×add-cube-cbrt
3896×*-un-lft-identity
3896×add-sqr-sqrt
2886×sqrt-prod
683×associate-/r*
456×associate-/r/
231×div-inv
228×flip-+
228×flip3-+
66×sqrt-div
32×add-exp-log
32×add-cbrt-cube
24×associate-/l*
19×div-exp
19×cbrt-undiv
5×associate-/l/
4×add-log-exp
4×pow1
3×frac-2neg
3×clear-num
2×div-sub
1×+-commutative
Counts
4 → 3184
Calls
4 calls:
Slowest
207.0ms
(+ (/ (+ beta alpha) (/ (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))) 1.0)
59.0ms
(/ (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))
52.0ms
(/ (+ beta alpha) (/ (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))))
28.0ms
(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))

series585.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
170.0ms
(/ (+ beta alpha) (/ (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))))
156.0ms
(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))
137.0ms
(+ (/ (+ beta alpha) (/ (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))) 1.0)
121.0ms
(/ (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))

Reproduce

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