Error in 32.6s

Runtime

Time bar (total: 32.6s)Debug logProfile

start298.0ms

Algorithm
intervals

setup742.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 2.4b

localize38.0ms

Local error

Found 4 expressions with local error:

4.5b
(* (* x cos) sin)
4.5b
(* (* x cos) sin)
0.5b
(/ (cos (* 2 x)) (* (* (* x cos) sin) (* (* x cos) sin)))
0.2b
(* (* (* x cos) sin) (* (* x cos) sin))

rewrite41.0ms

Algorithm
rewrite-expression-head
Counts
4 → 64
Calls

4 calls. Slowest were:

21.0ms
(/ (cos (* 2 x)) (* (* (* x cos) sin) (* (* x cos) sin)))
9.0ms
(* (* (* x cos) sin) (* (* x cos) sin))
5.0ms
(* (* x cos) sin)

series149.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

65.0ms
(/ (cos (* 2 x)) (* (* (* x cos) sin) (* (* x cos) sin)))
41.0ms
(* (* (* x cos) sin) (* (* x cos) sin))
22.0ms
(* (* x cos) sin)

simplify4.4s

Counts
33 → 76
Calls

33 calls. Slowest were:

705.0ms
(* (* (* (* (* x cos) sin) (* (* x cos) sin)) (* (* x cos) sin)) (* (* (* (* x cos) sin) (* (* x cos) sin)) (* (* x cos) sin)))
500.0ms
(/ (* (cos x) (cos x)) (* (* (* x cos) sin) (* (* x cos) sin)))
418.0ms
(- (log (cos (* 2 x))) (log (* (* (* x cos) sin) (* (* x cos) sin))))

prune1.0s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 1.2b

localize12.0ms

Local error

Found 4 expressions with local error:

4.5b
(* (* x cos) sin)
4.5b
(* (* x cos) sin)
0.8b
(/ (cos (* 2 x)) (* (* x cos) sin))
0.2b
(/ (/ (cos (* 2 x)) (* (* x cos) sin)) (* (* x cos) sin))

rewrite42.0ms

Algorithm
rewrite-expression-head
Counts
4 → 77
Calls

4 calls. Slowest were:

20.0ms
(/ (/ (cos (* 2 x)) (* (* x cos) sin)) (* (* x cos) sin))
12.0ms
(/ (cos (* 2 x)) (* (* x cos) sin))
4.0ms
(* (* x cos) sin)

series191.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

87.0ms
(/ (/ (cos (* 2 x)) (* (* x cos) sin)) (* (* x cos) sin))
49.0ms
(/ (cos (* 2 x)) (* (* x cos) sin))
28.0ms
(* (* x cos) sin)

simplify4.6s

Counts
49 → 89
Calls

49 calls. Slowest were:

581.0ms
(- (- (log (cos (* 2 x))) (log (* (* x cos) sin))) (log (* (* x cos) sin)))
559.0ms
(/ (/ (* (cos x) (cos x)) (* (* x cos) sin)) (* (* x cos) sin))
487.0ms
(- (log (/ (cos (* 2 x)) (* (* x cos) sin))) (log (* (* x cos) sin)))

prune1.2s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 1.2b

localize8.0ms

Local error

Found 4 expressions with local error:

4.5b
(* (* x cos) sin)
4.3b
(/ (/ (cos (* 2 x)) (* x cos)) sin)
0.9b
(/ (cos (* 2 x)) (* x cos))
0.2b
(/ (/ (/ (cos (* 2 x)) (* x cos)) sin) (* (* x cos) sin))

rewrite23.0ms

Algorithm
rewrite-expression-head
Counts
4 → 79
Calls

4 calls. Slowest were:

9.0ms
(/ (/ (/ (cos (* 2 x)) (* x cos)) sin) (* (* x cos) sin))
6.0ms
(/ (/ (cos (* 2 x)) (* x cos)) sin)
5.0ms
(/ (cos (* 2 x)) (* x cos))

series159.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

67.0ms
(/ (/ (/ (cos (* 2 x)) (* x cos)) sin) (* (* x cos) sin))
43.0ms
(/ (/ (cos (* 2 x)) (* x cos)) sin)
29.0ms
(/ (cos (* 2 x)) (* x cos))

simplify3.8s

Counts
46 → 91
Calls

46 calls. Slowest were:

739.0ms
(/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* (* x cos) (* x cos)) (* x cos)))
607.0ms
(- (log (/ (/ (cos (* 2 x)) (* x cos)) sin)) (log (* (* x cos) sin)))
427.0ms
(- (+ (/ 1 (* (pow x 2) (* (pow sin 2) (pow cos 2)))) (* 2/3 (/ (pow x 2) (* (pow sin 2) (pow cos 2))))) (* 2 (/ 1 (* (pow sin 2) (pow cos 2)))))

prune1.2s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 1.2b

localize23.0ms

Local error

Found 4 expressions with local error:

4.5b
(* (* x cos) sin)
4.3b
(/ (/ (/ (cos (* 2 x)) x) cos) sin)
0.2b
(/ (/ (cos (* 2 x)) x) cos)
0.2b
(/ (/ (/ (/ (cos (* 2 x)) x) cos) sin) (* (* x cos) sin))

rewrite54.0ms

Algorithm
rewrite-expression-head
Counts
4 → 72
Calls

4 calls. Slowest were:

22.0ms
(/ (/ (/ (/ (cos (* 2 x)) x) cos) sin) (* (* x cos) sin))
15.0ms
(/ (/ (/ (cos (* 2 x)) x) cos) sin)
11.0ms
(/ (/ (cos (* 2 x)) x) cos)

series190.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

70.0ms
(/ (/ (/ (/ (cos (* 2 x)) x) cos) sin) (* (* x cos) sin))
45.0ms
(/ (/ (/ (cos (* 2 x)) x) cos) sin)
44.0ms
(/ (/ (cos (* 2 x)) x) cos)

simplify2.4s

Counts
37 → 84
Calls

37 calls. Slowest were:

430.0ms
(- (log (/ (/ (/ (cos (* 2 x)) x) cos) sin)) (log (* (* x cos) sin)))
290.0ms
(- (+ (/ 1 (* (pow x 2) (* (pow sin 2) (pow cos 2)))) (* 2/3 (/ (pow x 2) (* (pow sin 2) (pow cos 2))))) (* 2 (/ 1 (* (pow sin 2) (pow cos 2)))))
228.0ms
(- (+ (* 2/3 (/ (pow x 3) cos)) (/ 1 (* x cos))) (* 2 (/ x cos)))

prune1.1s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 1.2b

regimes245.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 +o rules:numerics
(FPCore (x cos sin)
  :name "cos(2*x)/(cos^2(x)*sin^2(x))"
  (/ (cos (* 2 x)) (* (pow cos 2) (* (* x (pow sin 2)) x))))

Backtrace

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