Timeout in 10.0m

Use the --timeout flag to change the timeout.

Details

Time bar (total: 6.6m)Debug log

sample72.0ms

Algorithm
intervals

simplify722.0ms

Counts
1 → 1
Calls

1 calls. Slowest were:

721.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.5b

localize53.0ms

Local error

Found 4 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) (* 2 1)) 1.0)
0.0b
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1)))

rewrite261.0ms

Algorithm
rewrite-expression-head
Counts
4 → 348
Calls

4 calls. Slowest were:

84.0ms
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
74.0ms
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1)))
64.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))

series251.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

99.0ms
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
89.0ms
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1)))
49.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))
15.0ms
(+ (+ (+ alpha beta) (* 2 1)) 1.0)

simplify1.5m

Counts
524 → 360
Calls

524 calls. Slowest were:

731.0ms
(/ (/ (/ (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (* (cbrt (+ (+ alpha beta) (* 2 1))) (cbrt (+ (+ alpha beta) (* 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))))
715.0ms
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 1) (* 2 1)))) 1)
701.0ms
(/ (/ (/ (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))

prune5.5s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.5b

localize6.0ms

Local error

Found 4 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))) (+ 1.0 (+ (+ alpha beta) (* 2 1))))
0.0b
(+ 1.0 (+ (+ alpha beta) (* 2 1)))
0.0b
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1)))

rewrite166.0ms

Algorithm
rewrite-expression-head
Counts
4 → 348
Calls

4 calls. Slowest were:

54.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))
51.0ms
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ 1.0 (+ (+ alpha beta) (* 2 1))))
47.0ms
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1)))

series280.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

103.0ms
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ 1.0 (+ (+ alpha beta) (* 2 1))))
94.0ms
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1)))
69.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))
13.0ms
(+ 1.0 (+ (+ alpha beta) (* 2 1)))

simplify1.4m

Counts
524 → 360
Calls

524 calls. Slowest were:

984.0ms
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ 1.0 (+ (+ alpha beta) (* 2 1))))
744.0ms
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 1) (* 2 1)))) 1)
721.0ms
(/ (/ (/ (cbrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (sqrt (+ (+ alpha beta) (* 2 1)))) (cbrt (+ (+ alpha beta) (* 2 1)))) (+ 1.0 (+ (+ alpha beta) (* 2 1))))

prune5.4s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.5b

localize41.0ms

Local error

Found 4 expressions with local error:

2.8b
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (sqrt (+ (+ alpha beta) (* 2 1))))
1.9b
(/ (+ (+ alpha beta) (* 2 1)) (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (sqrt (+ (+ alpha beta) (* 2 1)))))
0.5b
(/ 1 (sqrt (+ (+ alpha beta) 2)))
0.2b
(/ (/ 1 (sqrt (+ (+ alpha beta) 2))) (/ (+ (+ alpha beta) (* 2 1)) (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (sqrt (+ (+ alpha beta) (* 2 1))))))

rewrite139.0ms

Algorithm
rewrite-expression-head
Counts
4 → 747
Calls

4 calls. Slowest were:

42.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (sqrt (+ (+ alpha beta) (* 2 1))))
34.0ms
(/ (+ (+ alpha beta) (* 2 1)) (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (sqrt (+ (+ alpha beta) (* 2 1)))))
32.0ms
(/ (/ 1 (sqrt (+ (+ alpha beta) 2))) (/ (+ (+ alpha beta) (* 2 1)) (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (sqrt (+ (+ alpha beta) (* 2 1))))))

series356.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

150.0ms
(/ (+ (+ alpha beta) (* 2 1)) (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (sqrt (+ (+ alpha beta) (* 2 1)))))
106.0ms
(/ (/ 1 (sqrt (+ (+ alpha beta) 2))) (/ (+ (+ alpha beta) (* 2 1)) (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (sqrt (+ (+ alpha beta) (* 2 1))))))
50.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (sqrt (+ (+ alpha beta) (* 2 1))))
49.0ms
(/ 1 (sqrt (+ (+ alpha beta) 2)))

simplify3.3m

Counts
1264 → 759
Calls

1264 calls. Slowest were:

749.0ms
(/ (sqrt (/ 1 (sqrt (+ (+ alpha beta) 2)))) (/ (sqrt (+ (+ alpha beta) (* 2 1))) (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (sqrt (sqrt (+ (+ alpha beta) (* 2 1)))))))
738.0ms
(/ (* (cbrt (+ (+ alpha beta) (* 2 1))) (cbrt (+ (+ alpha beta) (* 2 1)))) (/ 1 (* (cbrt (sqrt (+ (+ alpha beta) (* 2 1)))) (cbrt (sqrt (+ (+ alpha beta) (* 2 1)))))))
680.0ms
(+ (pow (+ (+ alpha beta) (* beta alpha)) 3) (pow 1.0 3))

prune9.8s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.5b

localize36.0ms

Local error

Found 4 expressions with local error:

3.4b
(/ (+ (+ 1.0 alpha) (+ beta (* alpha beta))) (+ 2 (+ beta alpha)))
1.0b
(/ (/ (+ (+ 1.0 alpha) (+ beta (* alpha beta))) (+ 2 (+ beta alpha))) (+ -4 (* (+ beta alpha) (+ beta alpha))))
0.0b
(/ (/ (/ (+ (+ 1.0 alpha) (+ beta (* alpha beta))) (+ 2 (+ beta alpha))) (+ -4 (* (+ beta alpha) (+ beta alpha)))) (/ (+ 1.0 (+ (+ alpha beta) (* 2 1))) (- (+ alpha beta) (* 2 1))))
0.0b
(* (+ beta alpha) (+ beta alpha))

rewrite105.0ms

Algorithm
rewrite-expression-head
Counts
4 → 1160
Calls

4 calls. Slowest were:

29.0ms
(/ (/ (/ (+ (+ 1.0 alpha) (+ beta (* alpha beta))) (+ 2 (+ beta alpha))) (+ -4 (* (+ beta alpha) (+ beta alpha)))) (/ (+ 1.0 (+ (+ alpha beta) (* 2 1))) (- (+ alpha beta) (* 2 1))))
16.0ms
(/ (/ (+ (+ 1.0 alpha) (+ beta (* alpha beta))) (+ 2 (+ beta alpha))) (+ -4 (* (+ beta alpha) (+ beta alpha))))
13.0ms
(/ (+ (+ 1.0 alpha) (+ beta (* alpha beta))) (+ 2 (+ beta alpha)))

series229.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

105.0ms
(/ (/ (/ (+ (+ 1.0 alpha) (+ beta (* alpha beta))) (+ 2 (+ beta alpha))) (+ -4 (* (+ beta alpha) (+ beta alpha)))) (/ (+ 1.0 (+ (+ alpha beta) (* 2 1))) (- (+ alpha beta) (* 2 1))))
77.0ms
(/ (/ (+ (+ 1.0 alpha) (+ beta (* alpha beta))) (+ 2 (+ beta alpha))) (+ -4 (* (+ beta alpha) (+ beta alpha))))
38.0ms
(/ (+ (+ 1.0 alpha) (+ beta (* alpha beta))) (+ 2 (+ beta alpha)))
9.0ms
(* (+ beta alpha) (+ beta alpha))

Reproduce

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