Error in 23.3s

Runtime

Time bar (total: 23.3s)Debug logProfile

start360.0ms

Algorithm
intervals

setup127.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize31.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (tan x) (tan x))
0.3b
(* (tan x) (tan x))
0.2b
(- 1 (* (tan x) (tan x)))
0.1b
(/ (- 1 (* (tan x) (tan x))) (+ (* (tan x) (tan x)) 1))

rewrite410.0ms

Algorithm
rewrite-expression-head
Counts
4 → 89
Calls

4 calls. Slowest were:

8.0ms
(/ (- 1 (* (tan x) (tan x))) (+ (* (tan x) (tan x)) 1))
6.0ms
(* (tan x) (tan x))
4.0ms
(* (tan x) (tan x))

series230.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

112.0ms
(/ (- 1 (* (tan x) (tan x))) (+ (* (tan x) (tan x)) 1))
42.0ms
(- 1 (* (tan x) (tan x)))
38.0ms
(* (tan x) (tan x))

simplify1.9s

Counts
72 → 101
Calls

72 calls. Slowest were:

407.0ms
(/ (* (* (- 1 (* (tan x) (tan x))) (- 1 (* (tan x) (tan x)))) (- 1 (* (tan x) (tan x)))) (* (* (+ (* (tan x) (tan x)) 1) (+ (* (tan x) (tan x)) 1)) (+ (* (tan x) (tan x)) 1)))
241.0ms
(+ (* (* (tan x) (tan x)) (* (tan x) (tan x))) (- (* 1 1) (* (* (tan x) (tan x)) 1)))
220.0ms
(/ (- 1 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1))

prune1.1s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (tan x) (tan x))
0.2b
(* (sin x) (tan x))
0.2b
(/ (* (sin x) (tan x)) (cos x))
0.2b
(- 1 (/ (* (sin x) (tan x)) (cos x)))

rewrite31.0ms

Algorithm
rewrite-expression-head
Counts
4 → 74
Calls

4 calls. Slowest were:

13.0ms
(/ (* (sin x) (tan x)) (cos x))
7.0ms
(* (sin x) (tan x))
7.0ms
(* (tan x) (tan x))

series216.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

71.0ms
(* (sin x) (tan x))
65.0ms
(/ (* (sin x) (tan x)) (cos x))
42.0ms
(* (tan x) (tan x))

simplify1.6s

Counts
51 → 86
Calls

51 calls. Slowest were:

565.0ms
(/ (* (* (* (sin x) (sin x)) (sin x)) (* (* (tan x) (tan x)) (tan x))) (* (* (cos x) (cos x)) (cos x)))
555.0ms
(/ (* (* (* (sin x) (tan x)) (* (sin x) (tan x))) (* (sin x) (tan x))) (* (* (cos x) (cos x)) (cos x)))
91.0ms
(* (* (* (sin x) (sin x)) (sin x)) (* (* (tan x) (tan x)) (tan x)))

prune1.2s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 4 expressions with local error:

0.3b
(log (exp (/ (- 1 (* (tan x) (tan x))) (+ (* (tan x) (tan x)) 1))))
0.3b
(* (tan x) (tan x))
0.3b
(* (tan x) (tan x))
0.2b
(- 1 (* (tan x) (tan x)))

rewrite30.0ms

Algorithm
rewrite-expression-head
Counts
4 → 85
Calls

4 calls. Slowest were:

14.0ms
(log (exp (/ (- 1 (* (tan x) (tan x))) (+ (* (tan x) (tan x)) 1))))
7.0ms
(* (tan x) (tan x))
4.0ms
(* (tan x) (tan x))

series208.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

104.0ms
(log (exp (/ (- 1 (* (tan x) (tan x))) (+ (* (tan x) (tan x)) 1))))
40.0ms
(* (tan x) (tan x))
38.0ms
(- 1 (* (tan x) (tan x)))

simplify1.5s

Counts
62 → 97
Calls

62 calls. Slowest were:

268.0ms
(+ (* (* (tan x) (tan x)) (* (tan x) (tan x))) (- (* 1 1) (* (* (tan x) (tan x)) 1)))
227.0ms
(/ (- 1 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1))
222.0ms
(/ (- 1 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1))

prune1.3s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (tan x) (tan x))
0.3b
(* (tan x) (tan x))
0.2b
(- 1 (* (tan x) (tan x)))
0.2b
(/ 1 (/ (+ (* (tan x) (tan x)) 1) (- 1 (* (tan x) (tan x)))))

rewrite16.0ms

Algorithm
rewrite-expression-head
Counts
4 → 87
Calls

4 calls. Slowest were:

5.0ms
(/ 1 (/ (+ (* (tan x) (tan x)) 1) (- 1 (* (tan x) (tan x)))))
4.0ms
(* (tan x) (tan x))
4.0ms
(* (tan x) (tan x))

series191.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

81.0ms
(/ 1 (/ (+ (* (tan x) (tan x)) 1) (- 1 (* (tan x) (tan x)))))
48.0ms
(* (tan x) (tan x))
39.0ms
(* (tan x) (tan x))

simplify975.0ms

Counts
59 → 99
Calls

59 calls. Slowest were:

210.0ms
(/ (- 1 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1))
177.0ms
(/ (- 1 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1))
82.0ms
(+ (* 1 1) (+ (* (* (tan x) (tan x)) (* (tan x) (tan x))) (* 1 (* (tan x) (tan x)))))

prune981.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

regimes247.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(FPCore (x)
  :name "Trigonometry B"
  (/ (- 1 (* (tan x) (tan x))) (+ 1 (* (tan x) (tan x)))))

Backtrace

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