Error in 3.8m

Runtime

Time bar (total: 3.8m)Debug logProfile

start182.0ms

Algorithm
intervals

setup308.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 52.5b

localize43.0ms

Local error

Found 4 expressions with local error:

46.5b
(/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))))
33.7b
(/ (/ (* (* 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)))

rewrite87.0ms

Algorithm
rewrite-expression-head
Counts
4 → 178
Calls

4 calls. Slowest were:

39.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))
21.0ms
(/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))))
13.0ms
(* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))

series1.0s

Counts
4 → 12
Calls

4 calls. Slowest were:

758.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))
138.0ms
(/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))))
79.0ms
(* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))

simplify47.4s

Counts
191 → 190
Calls

191 calls. Slowest were:

1.0s
(* (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))))
932.0ms
(* (* i (+ (+ alpha beta) i)) (* i (+ (+ alpha beta) i)))
860.0ms
(* (* i (+ (+ alpha beta) i)) (* i (+ (+ alpha beta) i)))

prune3.4s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 33.6b

localize42.0ms

Local error

Found 4 expressions with local error:

33.7b
(/ (* (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i))) (/ (* (+ alpha i) (+ i beta)) (+ (fma 2 i beta) alpha))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
33.3b
(/ (* (+ alpha i) (+ i beta)) (+ (fma 2 i beta) alpha))
31.9b
(/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i)))
0.0b
(* (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i))) (/ (* (+ alpha i) (+ i beta)) (+ (fma 2 i beta) alpha)))

rewrite105.0ms

Algorithm
rewrite-expression-head
Counts
4 → 140
Calls

4 calls. Slowest were:

67.0ms
(/ (* (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i))) (/ (* (+ alpha i) (+ i beta)) (+ (fma 2 i beta) alpha))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
19.0ms
(* (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i))) (/ (* (+ alpha i) (+ i beta)) (+ (fma 2 i beta) alpha)))
9.0ms
(/ (* (+ alpha i) (+ i beta)) (+ (fma 2 i beta) alpha))

series1.1s

Counts
4 → 12
Calls

4 calls. Slowest were:

770.0ms
(/ (* (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i))) (/ (* (+ alpha i) (+ i beta)) (+ (fma 2 i beta) alpha))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
169.0ms
(* (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i))) (/ (* (+ alpha i) (+ i beta)) (+ (fma 2 i beta) alpha)))
100.0ms
(/ (* (+ alpha i) (+ i beta)) (+ (fma 2 i beta) alpha))

simplify18.1s

Counts
114 → 152
Calls

114 calls. Slowest were:

785.0ms
(* (* (* (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i))) (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i)))) (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i)))) (/ (* (* (* (+ alpha i) (+ i beta)) (* (+ alpha i) (+ i beta))) (* (+ alpha i) (+ i beta))) (* (* (+ (fma 2 i beta) alpha) (+ (fma 2 i beta) alpha)) (+ (fma 2 i beta) alpha))))
753.0ms
(sqrt (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
704.0ms
(cbrt (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))

prune2.8s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 33.6b

localize14.0ms

Local error

Found 4 expressions with local error:

33.7b
(/ (* (* (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i))) (/ (+ alpha i) 1)) (/ (+ i beta) (+ (fma 2 i beta) alpha))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
31.9b
(/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i)))
1.9b
(* (* (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i))) (/ (+ alpha i) 1)) (/ (+ i beta) (+ (fma 2 i beta) alpha)))
0.0b
(/ (+ i beta) (+ (fma 2 i beta) alpha))

rewrite148.0ms

Algorithm
rewrite-expression-head
Counts
4 → 147
Calls

4 calls. Slowest were:

77.0ms
(/ (* (* (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i))) (/ (+ alpha i) 1)) (/ (+ i beta) (+ (fma 2 i beta) alpha))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
41.0ms
(* (* (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i))) (/ (+ alpha i) 1)) (/ (+ i beta) (+ (fma 2 i beta) alpha)))
17.0ms
(/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i)))

series1.0s

Counts
4 → 12
Calls

4 calls. Slowest were:

714.0ms
(/ (* (* (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i))) (/ (+ alpha i) 1)) (/ (+ i beta) (+ (fma 2 i beta) alpha))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
167.0ms
(* (* (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i))) (/ (+ alpha i) 1)) (/ (+ i beta) (+ (fma 2 i beta) alpha)))
66.0ms
(/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i)))

simplify17.8s

Counts
129 → 159
Calls

129 calls. Slowest were:

761.0ms
(/ (/ (+ i beta) (+ (fma 2 i beta) alpha)) (cbrt (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0)))
715.0ms
(/ (/ (+ i beta) (+ (fma 2 i beta) alpha)) (sqrt (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0)))
625.0ms
(cbrt (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))

prune3.4s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 33.6b

localize102.0ms

Local error

Found 4 expressions with local error:

37.0b
(sqrt (fma (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta)) (- 1.0)))
37.0b
(sqrt (fma (+ beta (fma i 2 alpha)) (+ beta (fma i 2 alpha)) (- 1.0)))
30.5b
(/ (/ (* (+ alpha i) i) (/ (fma 2 i (+ alpha beta)) (+ (+ alpha i) beta))) (sqrt (fma (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta)) (- 1.0))))
2.3b
(* (/ (/ (* (+ alpha i) i) (/ (fma 2 i (+ alpha beta)) (+ (+ alpha i) beta))) (sqrt (fma (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta)) (- 1.0)))) (/ (/ (+ beta i) (+ beta (fma i 2 alpha))) (sqrt (fma (+ beta (fma i 2 alpha)) (+ beta (fma i 2 alpha)) (- 1.0)))))

rewrite83.0ms

Algorithm
rewrite-expression-head
Counts
4 → 449
Calls

4 calls. Slowest were:

42.0ms
(* (/ (/ (* (+ alpha i) i) (/ (fma 2 i (+ alpha beta)) (+ (+ alpha i) beta))) (sqrt (fma (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta)) (- 1.0)))) (/ (/ (+ beta i) (+ beta (fma i 2 alpha))) (sqrt (fma (+ beta (fma i 2 alpha)) (+ beta (fma i 2 alpha)) (- 1.0)))))
26.0ms
(/ (/ (* (+ alpha i) i) (/ (fma 2 i (+ alpha beta)) (+ (+ alpha i) beta))) (sqrt (fma (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta)) (- 1.0))))
2.0ms
(sqrt (fma (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta)) (- 1.0)))

series8.6s

Counts
4 → 12
Calls

4 calls. Slowest were:

7.4s
(* (/ (/ (* (+ alpha i) i) (/ (fma 2 i (+ alpha beta)) (+ (+ alpha i) beta))) (sqrt (fma (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta)) (- 1.0)))) (/ (/ (+ beta i) (+ beta (fma i 2 alpha))) (sqrt (fma (+ beta (fma i 2 alpha)) (+ beta (fma i 2 alpha)) (- 1.0)))))
1.0s
(/ (/ (* (+ alpha i) i) (/ (fma 2 i (+ alpha beta)) (+ (+ alpha i) beta))) (sqrt (fma (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta)) (- 1.0))))
113.0ms
(sqrt (fma (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta)) (- 1.0)))

simplify1.7m

Counts
538 → 461
Calls

538 calls. Slowest were:

1.0s
(/ (/ (+ alpha i) (/ (fma 2 i (+ alpha beta)) (- (* (+ alpha i) (+ alpha i)) (* beta beta)))) (sqrt (sqrt (fma (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta)) (- 1.0)))))
752.0ms
(/ (/ (+ alpha i) (/ (fma 2 i (+ alpha beta)) (- (* (+ alpha i) (+ alpha i)) (* beta beta)))) (sqrt (* (cbrt (fma (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta)) (- 1.0))) (cbrt (fma (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta)) (- 1.0))))))
743.0ms
(/ (+ (+ alpha i) beta) (sqrt (sqrt (fma (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta)) (- 1.0)))))

prune11.8s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 33.6b

regimes282.0ms

Please include this information when filing a bug report:

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

Backtrace

partition: contract violation expected: list? given: 36.577761268632166 argument position: 2nd other arguments...: #<procedure:ordinary-value?>LC
partition/home/p92/racket/collects/racket/list.rkt5550
errors-score/data/pavpan/nightlies/herbie/develop/src/points.rkt3220
for-loop/data/pavpan/nightlies/herbie/develop/src/sandbox.rkt7512
(unnamed)/home/p92/racket/collects/racket/private/more-scheme.rkt26128
run/home/p92/racket/share/pkgs/profile-lib/main.rkt392
profile-thunk16/home/p92/racket/share/pkgs/profile-lib/main.rkt90
(unnamed)/home/p92/racket/collects/racket/private/more-scheme.rkt26128