Error in 46.0s

Runtime

Time bar (total: 46.0s)Debug log

start825.0ms

Algorithm
intervals

setup524.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.5b

localize23.0ms

Local error

Found 3 expressions with local error:

0.5b
(acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))
0.2b
(* 5 (* v v))
0.0b
(/ (- 1 (* 5 (* v v))) (- (* v v) 1))

rewrite6.0ms

Algorithm
rewrite-expression-head
Counts
3 → 53
Calls

3 calls. Slowest were:

4.0ms
(/ (- 1 (* 5 (* v v))) (- (* v v) 1))
1.0ms
(* 5 (* v v))
0.0ms
(acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))

series48.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

33.0ms
(/ (- 1 (* 5 (* v v))) (- (* v v) 1))
11.0ms
(* 5 (* v v))
3.0ms
(acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))

simplify5.3s

Counts
46 → 62
Calls

46 calls. Slowest were:

720.0ms
(/ (* (* (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v)))) (- 1 (* 5 (* v v)))) (* (* (- (* v v) 1) (- (* v v) 1)) (- (* v v) 1)))
502.0ms
(/ (- 1 (* 5 (* v v))) (- (* v v) 1))
239.0ms
(acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))

prune697.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.5b

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b
(acos (- (/ 1 (- (* v v) 1)) (/ (* 5 (* v v)) (- (* v v) 1))))
0.2b
(* 5 (* v v))
0.0b
(/ (* 5 (* v v)) (- (* v v) 1))
0.0b
(- (/ 1 (- (* v v) 1)) (/ (* 5 (* v v)) (- (* v v) 1)))

rewrite18.0ms

Algorithm
rewrite-expression-head
Counts
4 → 61
Calls

4 calls. Slowest were:

10.0ms
(- (/ 1 (- (* v v) 1)) (/ (* 5 (* v v)) (- (* v v) 1)))
5.0ms
(/ (* 5 (* v v)) (- (* v v) 1))
1.0ms
(acos (- (/ 1 (- (* v v) 1)) (/ (* 5 (* v v)) (- (* v v) 1))))

series87.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

43.0ms
(- (/ 1 (- (* v v) 1)) (/ (* 5 (* v v)) (- (* v v) 1)))
19.0ms
(/ (* 5 (* v v)) (- (* v v) 1))
19.0ms
(* 5 (* v v))

simplify6.1s

Counts
45 → 73
Calls

45 calls. Slowest were:

477.0ms
(- (/ 1 (- (* v v) 1)) (/ (* 5 (* v v)) (- (* v v) 1)))
466.0ms
(- (/ 1 (- (* v v) 1)) (/ (* 5 (* v v)) (- (* v v) 1)))
419.0ms
(- (/ 1 (- (* (* v v) (* v v)) (* 1 1))) (/ (* 5 (* v v)) (- (* (* v v) (* v v)) (* 1 1))))

prune653.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.5b

localize7.0ms

Local error

Found 4 expressions with local error:

0.5b
(acos (- (/ 1 (- (* v v) 1)) (/ (* 5 (* v v)) (- (* v v) 1))))
0.2b
(* 5 (* v v))
0.0b
(exp (log (acos (- (/ 1 (- (* v v) 1)) (/ (* 5 (* v v)) (- (* v v) 1))))))
0.0b
(/ (* 5 (* v v)) (- (* v v) 1))

rewrite11.0ms

Algorithm
rewrite-expression-head
Counts
4 → 55
Calls

4 calls. Slowest were:

6.0ms
(/ (* 5 (* v v)) (- (* v v) 1))
2.0ms
(exp (log (acos (- (/ 1 (- (* v v) 1)) (/ (* 5 (* v v)) (- (* v v) 1))))))
1.0ms
(acos (- (/ 1 (- (* v v) 1)) (/ (* 5 (* v v)) (- (* v v) 1))))

series51.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

31.0ms
(/ (* 5 (* v v)) (- (* v v) 1))
11.0ms
(* 5 (* v v))
5.0ms
(acos (- (/ 1 (- (* v v) 1)) (/ (* 5 (* v v)) (- (* v v) 1))))

simplify5.4s

Counts
36 → 67
Calls

36 calls. Slowest were:

527.0ms
(exp (* (cbrt (log (acos (- (/ 1 (- (* v v) 1)) (/ (* 5 (* v v)) (- (* v v) 1)))))) (cbrt (log (acos (- (/ 1 (- (* v v) 1)) (/ (* 5 (* v v)) (- (* v v) 1))))))))
523.0ms
(exp (log (* (cbrt (acos (- (/ 1 (- (* v v) 1)) (/ (* 5 (* v v)) (- (* v v) 1))))) (cbrt (acos (- (/ 1 (- (* v v) 1)) (/ (* 5 (* v v)) (- (* v v) 1))))))))
488.0ms
(exp (sqrt (log (acos (- (/ 1 (- (* v v) 1)) (/ (* 5 (* v v)) (- (* v v) 1)))))))

prune923.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.5b

localize9.0ms

Local error

Found 4 expressions with local error:

0.5b
(acos (- (/ 1 (- (* v v) 1)) (/ (* 5 (* v v)) (- (* v v) 1))))
0.2b
(* 5 (* v v))
0.0b
(pow E (log (acos (- (/ 1 (- (* v v) 1)) (/ (* 5 (* v v)) (- (* v v) 1))))))
0.0b
(/ (* 5 (* v v)) (- (* v v) 1))

rewrite9.0ms

Algorithm
rewrite-expression-head
Counts
4 → 55
Calls

4 calls. Slowest were:

5.0ms
(/ (* 5 (* v v)) (- (* v v) 1))
1.0ms
(acos (- (/ 1 (- (* v v) 1)) (/ (* 5 (* v v)) (- (* v v) 1))))
1.0ms
(pow E (log (acos (- (/ 1 (- (* v v) 1)) (/ (* 5 (* v v)) (- (* v v) 1))))))

series377.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

330.0ms
(pow E (log (acos (- (/ 1 (- (* v v) 1)) (/ (* 5 (* v v)) (- (* v v) 1))))))
31.0ms
(/ (* 5 (* v v)) (- (* v v) 1))
12.0ms
(* 5 (* v v))

simplify6.4s

Counts
35 → 67
Calls

35 calls. Slowest were:

574.0ms
(log (acos (- (/ 1 (- (* v v) 1)) (/ (* 5 (* v v)) (- (* v v) 1)))))
552.0ms
(pow E (log (sqrt (acos (- (/ 1 (- (* v v) 1)) (/ (* 5 (* v v)) (- (* v v) 1)))))))
543.0ms
(pow E (log (cbrt (acos (- (/ 1 (- (* v v) 1)) (/ (* 5 (* v v)) (- (* v v) 1)))))))

prune839.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.5b

regimes130.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 
(FPCore (v)
  :name "Falkner and Boettcher, Appendix B, 1"
  (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))

Backtrace

partition: contract violation expected: list? given: 0.5974316535880001 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