Error in 30.9s

Runtime

Time bar (total: 30.9s)Debug logProfile

start271.0ms

Algorithm
intervals

setup340.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 2.4b

localize41.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))

rewrite57.0ms

Algorithm
rewrite-expression-head
Counts
4 → 56
Calls

4 calls. Slowest were:

24.0ms
(* (* (* x cos) sin) (* (* x cos) sin))
24.0ms
(/ (cos (* 2 x)) (* (* (* x cos) sin) (* (* x cos) sin)))
5.0ms
(* (* x cos) sin)

series203.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

87.0ms
(/ (cos (* 2 x)) (* (* (* x cos) sin) (* (* x cos) sin)))
58.0ms
(* (* (* x cos) sin) (* (* x cos) sin))
30.0ms
(* (* x cos) sin)

simplify3.9s

Counts
33 → 68
Calls

33 calls. Slowest were:

649.0ms
(* (* (* (* (* x cos) sin) (* (* x cos) sin)) (* (* x cos) sin)) (* (* (* (* x cos) sin) (* (* x cos) sin)) (* (* x cos) sin)))
437.0ms
(/ (* (cos x) (cos x)) (* (* (* x cos) sin) (* (* x cos) sin)))
408.0ms
(- (log (cos (* 2 x))) (log (* (* (* x cos) sin) (* (* x cos) sin))))

prune813.0ms

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 → 69
Calls

4 calls. Slowest were:

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

series194.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

85.0ms
(/ (/ (cos (* 2 x)) (* (* x cos) sin)) (* (* x cos) sin))
46.0ms
(/ (cos (* 2 x)) (* (* x cos) sin))
32.0ms
(* (* x cos) sin)

simplify4.9s

Counts
49 → 81
Calls

49 calls. Slowest were:

715.0ms
(- (- (log (cos (* 2 x))) (log (* (* x cos) sin))) (log (* (* x cos) sin)))
650.0ms
(- (log (/ (cos (* 2 x)) (* (* x cos) sin))) (log (* (* x cos) sin)))
505.0ms
(/ (/ (* (cos x) (cos x)) (* (* x cos) sin)) (* (* x cos) sin))

prune1.1s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 1.2b

localize17.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))

rewrite48.0ms

Algorithm
rewrite-expression-head
Counts
4 → 71
Calls

4 calls. Slowest were:

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

series192.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

92.0ms
(/ (/ (/ (cos (* 2 x)) (* x cos)) sin) (* (* x cos) sin))
37.0ms
(/ (cos (* 2 x)) (* x cos))
37.0ms
(/ (/ (cos (* 2 x)) (* x cos)) sin)

simplify3.5s

Counts
46 → 83
Calls

46 calls. Slowest were:

707.0ms
(/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* (* x cos) (* x cos)) (* x cos)))
597.0ms
(- (log (/ (/ (cos (* 2 x)) (* x cos)) sin)) (log (* (* x cos) sin)))
338.0ms
(/ (/ (/ (* (cos x) (cos x)) (* x cos)) sin) (* (* x cos) sin))

prune968.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 1.2b

localize11.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))

rewrite25.0ms

Algorithm
rewrite-expression-head
Counts
4 → 64
Calls

4 calls. Slowest were:

10.0ms
(/ (/ (/ (/ (cos (* 2 x)) x) cos) sin) (* (* x cos) sin))
7.0ms
(/ (/ (/ (cos (* 2 x)) x) cos) sin)
5.0ms
(/ (/ (cos (* 2 x)) x) cos)

series186.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

64.0ms
(/ (/ (/ (/ (cos (* 2 x)) x) cos) sin) (* (* x cos) sin))
51.0ms
(/ (/ (/ (cos (* 2 x)) x) cos) sin)
48.0ms
(/ (/ (cos (* 2 x)) x) cos)

simplify2.3s

Counts
37 → 76
Calls

37 calls. Slowest were:

472.0ms
(- (log (/ (/ (/ (cos (* 2 x)) x) cos) sin)) (log (* (* x cos) sin)))
250.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
(/ (cos (* 2 x)) (* (pow cos 2) (* (pow x 2) (pow sin 2))))

prune995.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 1.2b

regimes325.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(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