Error in 31.9s

Runtime

Time bar (total: 31.9s)Debug log

start282.0ms

Algorithm
intervals

setup36.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize208.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- 1 x) (+ 1 x))
0.0b
(sqrt (/ (- 1 x) (+ 1 x)))
0.0b
(atan (sqrt (/ (- 1 x) (+ 1 x))))

rewrite54.0ms

Algorithm
rewrite-expression-head
Counts
3 → 65
Calls

3 calls. Slowest were:

43.0ms
(/ (- 1 x) (+ 1 x))
4.0ms
(sqrt (/ (- 1 x) (+ 1 x)))
1.0ms
(atan (sqrt (/ (- 1 x) (+ 1 x))))

series89.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

47.0ms
(sqrt (/ (- 1 x) (+ 1 x)))
34.0ms
(/ (- 1 x) (+ 1 x))
8.0ms
(atan (sqrt (/ (- 1 x) (+ 1 x))))

simplify2.1s

Counts
57 → 74
Calls

57 calls. Slowest were:

715.0ms
(/ (* (* (- 1 x) (- 1 x)) (- 1 x)) (* (* (+ 1 x) (+ 1 x)) (+ 1 x)))
309.0ms
(- (+ (sqrt -1) (/ 1 (* x (sqrt -1)))) (+ (/ 1 (* (pow x 2) (sqrt -1))) (* 1/2 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))))
300.0ms
(- (+ (sqrt -1) (/ 1 (* x (sqrt -1)))) (+ (/ 1 (* (pow x 2) (sqrt -1))) (* 1/2 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))))

prune857.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize35.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ 1 x) (+ 1 x))
0.0b
(/ (- 1 (* x x)) (* (+ 1 x) (+ 1 x)))
0.0b
(sqrt (/ (- 1 (* x x)) (* (+ 1 x) (+ 1 x))))
0.0b
(atan (sqrt (/ (- 1 (* x x)) (* (+ 1 x) (+ 1 x)))))

rewrite24.0ms

Algorithm
rewrite-expression-head
Counts
4 → 95
Calls

4 calls. Slowest were:

9.0ms
(/ (- 1 (* x x)) (* (+ 1 x) (+ 1 x)))
7.0ms
(* (+ 1 x) (+ 1 x))
5.0ms
(sqrt (/ (- 1 (* x x)) (* (+ 1 x) (+ 1 x))))

series68.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

31.0ms
(sqrt (/ (- 1 (* x x)) (* (+ 1 x) (+ 1 x))))
22.0ms
(/ (- 1 (* x x)) (* (+ 1 x) (+ 1 x)))
12.0ms
(* (+ 1 x) (+ 1 x))

simplify9.2s

Counts
79 → 107
Calls

79 calls. Slowest were:

499.0ms
(* (* (* (+ 1 x) (+ 1 x)) (+ 1 x)) (* (* (+ 1 x) (+ 1 x)) (+ 1 x)))
466.0ms
(sqrt (/ (- 1 (* x x)) (* (+ 1 x) (+ (pow 1 3) (pow x 3)))))
423.0ms
(* (+ (* 1 1) (- (* x x) (* 1 x))) (- 1 x))

prune1.4s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (sqrt (- 1 (* x x))) (+ x 1))
0.0b
(atan (/ (sqrt (- 1 (* x x))) (+ x 1)))
0.0b
(- 1 (* x x))

rewrite6.0ms

Algorithm
rewrite-expression-head
Counts
3 → 61
Calls

3 calls. Slowest were:

4.0ms
(/ (sqrt (- 1 (* x x))) (+ x 1))
1.0ms
(- 1 (* x x))
0.0ms
(atan (/ (sqrt (- 1 (* x x))) (+ x 1)))

series77.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

41.0ms
(/ (sqrt (- 1 (* x x))) (+ x 1))
31.0ms
(- 1 (* x x))
5.0ms
(atan (/ (sqrt (- 1 (* x x))) (+ x 1)))

simplify1.5s

Counts
59 → 70
Calls

59 calls. Slowest were:

347.0ms
(- (+ (* 1/2 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (/ (sqrt -1) (pow x 2)))) (/ (sqrt -1) x))
290.0ms
(/ (* (* (sqrt (- 1 (* x x))) (sqrt (- 1 (* x x)))) (sqrt (- 1 (* x x)))) (* (* (+ x 1) (+ x 1)) (+ x 1)))
209.0ms
(- (/ (sqrt -1) x) (+ (* 1/2 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (/ (sqrt -1) (pow x 2)))))

prune840.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize47.0ms

Local error

Found 4 expressions with local error:

0.0b
(atan (* (/ (sqrt (- 1 (* x x))) (+ (pow x 3) (pow 1 3))) (+ (- 1 x) (* x x))))
0.0b
(+ (- 1 x) (* x x))
0.0b
(* (/ (sqrt (- 1 (* x x))) (+ (pow x 3) (pow 1 3))) (+ (- 1 x) (* x x)))
0.0b
(/ (sqrt (- 1 (* x x))) (+ (pow x 3) (pow 1 3)))

rewrite32.0ms

Algorithm
rewrite-expression-head
Counts
4 → 150
Calls

4 calls. Slowest were:

15.0ms
(* (/ (sqrt (- 1 (* x x))) (+ (pow x 3) (pow 1 3))) (+ (- 1 x) (* x x)))
6.0ms
(/ (sqrt (- 1 (* x x))) (+ (pow x 3) (pow 1 3)))
6.0ms
(+ (- 1 x) (* x x))

series120.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

63.0ms
(* (/ (sqrt (- 1 (* x x))) (+ (pow x 3) (pow 1 3))) (+ (- 1 x) (* x x)))
42.0ms
(/ (sqrt (- 1 (* x x))) (+ (pow x 3) (pow 1 3)))
8.0ms
(+ (- 1 x) (* x x))

simplify7.1s

Counts
160 → 162
Calls

160 calls. Slowest were:

573.0ms
(* (+ (pow x 3) (pow 1 3)) (+ (* (- 1 x) (- 1 x)) (- (* (* x x) (* x x)) (* (- 1 x) (* x x)))))
420.0ms
(/ (* (* (sqrt (- 1 (* x x))) (sqrt (- 1 (* x x)))) (sqrt (- 1 (* x x)))) (* (* (+ (pow x 3) (pow 1 3)) (+ (pow x 3) (pow 1 3))) (+ (pow x 3) (pow 1 3))))
362.0ms
(* (/ (* (* (sqrt (- 1 (* x x))) (sqrt (- 1 (* x x)))) (sqrt (- 1 (* x x)))) (* (* (+ (pow x 3) (pow 1 3)) (+ (pow x 3) (pow 1 3))) (+ (pow x 3) (pow 1 3)))) (* (* (+ (- 1 x) (* x x)) (+ (- 1 x) (* x x))) (+ (- 1 x) (* x x))))

prune2.7s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes49.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 
(FPCore (x)
  :name "arccos"
  (* 2 (atan (sqrt (/ (- 1 x) (+ 1 x))))))

Backtrace

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