Timeout in 10.0m

Use the --timeout flag to change the timeout.

Details

Time bar (total: 5.5m)Debug log

sample63.0ms

Algorithm
intervals

simplify651.0ms

Counts
1 → 1
Calls

1 calls. Slowest were:

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

prune17.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 3.5b

localize26.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) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1)))
0.0b
(+ (+ (+ alpha beta) (* 2 1)) 1.0)

rewrite249.0ms

Algorithm
rewrite-expression-head
Counts
4 → 359
Calls

4 calls. Slowest were:

83.0ms
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
80.0ms
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1)))
62.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))

series258.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

102.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)))
49.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))
13.0ms
(+ (+ (+ alpha beta) (* 2 1)) 1.0)

simplify1.8m

Counts
526 → 371
Calls

526 calls. Slowest were:

1.0s
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (pow (+ alpha beta) 3) (pow (* 2 1) 3))) 1)
1.0s
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 1) (* 2 1)))) 1)
965.0ms
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (pow (+ alpha beta) 3) (pow (* 2 1) 3))) 1)

prune5.6s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.4b

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite78.0ms

Algorithm
rewrite-expression-head
Counts
4 → 215
Calls

4 calls. Slowest were:

32.0ms
(/ (+ (+ alpha beta) (* 2 1)) (+ (+ (+ alpha beta) (* beta alpha)) 1.0))
27.0ms
(/ (/ (/ 1 (/ (+ (+ alpha beta) (* 2 1)) (+ (+ (+ alpha beta) (* beta alpha)) 1.0))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
9.0ms
(/ 1 (/ (+ (+ alpha beta) (* 2 1)) (+ (+ (+ alpha beta) (* beta alpha)) 1.0)))

series295.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

106.0ms
(/ (/ 1 (/ (+ (+ alpha beta) (* 2 1)) (+ (+ (+ alpha beta) (* beta alpha)) 1.0))) (+ (+ alpha beta) (* 2 1)))
85.0ms
(/ (/ (/ 1 (/ (+ (+ alpha beta) (* 2 1)) (+ (+ (+ alpha beta) (* beta alpha)) 1.0))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
55.0ms
(/ 1 (/ (+ (+ alpha beta) (* 2 1)) (+ (+ (+ alpha beta) (* beta alpha)) 1.0)))
47.0ms
(/ (+ (+ alpha beta) (* 2 1)) (+ (+ (+ alpha beta) (* beta alpha)) 1.0))

simplify55.1s

Counts
258 → 227
Calls

258 calls. Slowest were:

960.0ms
(/ (/ 1 (/ (+ (+ alpha beta) (* 2 1)) (+ (+ (+ alpha beta) (* beta alpha)) 1.0))) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 1) (* 2 1))))
673.0ms
(/ (/ 1 (/ (+ (+ alpha beta) (* 2 1)) (+ (+ (+ alpha beta) (* beta alpha)) 1.0))) 1)
656.0ms
(/ (/ (cbrt (/ 1 (/ (+ (+ alpha beta) (* 2 1)) (+ (+ (+ alpha beta) (* beta alpha)) 1.0)))) (cbrt (+ (+ alpha beta) (* 2 1)))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))

prune3.0s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite173.0ms

Algorithm
rewrite-expression-head
Counts
4 → 514
Calls

4 calls. Slowest were:

53.0ms
(/ (/ 1 (+ (+ alpha beta) 2)) (/ (+ (+ (+ alpha beta) (* 2 1)) 1.0) (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))))
48.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))
48.0ms
(/ (+ (+ (+ alpha beta) (* 2 1)) 1.0) (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))))

series260.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

116.0ms
(/ (/ 1 (+ (+ alpha beta) 2)) (/ (+ (+ (+ alpha beta) (* 2 1)) 1.0) (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))))
72.0ms
(/ (+ (+ (+ alpha beta) (* 2 1)) 1.0) (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))))
43.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))
28.0ms
(/ 1 (+ (+ alpha beta) 2))

simplify2.5m

Counts
825 → 526
Calls

825 calls. Slowest were:

790.0ms
(+ (pow (+ (+ alpha beta) (* beta alpha)) 3) (pow 1.0 3))
755.0ms
(- (* (+ (+ alpha beta) (* beta alpha)) (+ (+ alpha beta) (* beta alpha))) (* 1.0 1.0))
732.0ms
(/ (/ 1 (- (* (+ alpha beta) (+ alpha beta)) (* 2 2))) (/ 1 (/ (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (* (cbrt (+ (+ alpha beta) (* 2 1))) (cbrt (+ (+ alpha beta) (* 2 1)))))))

prune5.7s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite432.0ms

Algorithm
rewrite-expression-head
Counts
4 → 5195
Calls

4 calls. Slowest were:

44.0ms
(/ (sqrt (/ (/ (+ (+ alpha beta) (fma alpha beta 1.0)) (+ (+ alpha beta) 2)) (+ (+ alpha beta) 2))) (/ (+ (+ (+ alpha beta) (* 2 1)) 1.0) (sqrt (/ (/ 1 (/ (+ (+ alpha beta) (* 2 1)) (+ (+ (+ alpha beta) (* beta alpha)) 1.0))) (+ (+ alpha beta) (* 2 1))))))
34.0ms
(/ (+ (+ (+ alpha beta) (* 2 1)) 1.0) (sqrt (/ (/ 1 (/ (+ (+ alpha beta) (* 2 1)) (+ (+ (+ alpha beta) (* beta alpha)) 1.0))) (+ (+ alpha beta) (* 2 1)))))
26.0ms
(/ (+ (+ alpha beta) (* 2 1)) (+ (+ (+ alpha beta) (* beta alpha)) 1.0))

series701.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

343.0ms
(/ (+ (+ alpha beta) (* 2 1)) (+ (+ (+ alpha beta) (* beta alpha)) 1.0))
183.0ms
(/ (sqrt (/ (/ (+ (+ alpha beta) (fma alpha beta 1.0)) (+ (+ alpha beta) 2)) (+ (+ alpha beta) 2))) (/ (+ (+ (+ alpha beta) (* 2 1)) 1.0) (sqrt (/ (/ 1 (/ (+ (+ alpha beta) (* 2 1)) (+ (+ (+ alpha beta) (* beta alpha)) 1.0))) (+ (+ alpha beta) (* 2 1))))))
137.0ms
(/ (+ (+ (+ alpha beta) (* 2 1)) 1.0) (sqrt (/ (/ 1 (/ (+ (+ alpha beta) (* 2 1)) (+ (+ (+ alpha beta) (* beta alpha)) 1.0))) (+ (+ alpha beta) (* 2 1)))))
38.0ms
(/ (+ (+ alpha beta) (fma alpha beta 1.0)) (+ (+ alpha beta) 2))

Reproduce

herbie shell --seed 2019004 +o rules:numerics
(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)))