Error in 27.7s

Runtime

Time bar (total: 27.7s)Debug logProfile

start606.0ms

Algorithm
intervals

setup813.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.3b

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite23.0ms

Algorithm
rewrite-expression-head
Counts
4 → 80
Calls

4 calls. Slowest were:

6.0ms
(* (tan x) (tan x))
4.0ms
(/ (- 1 (* (tan x) (tan x))) (fma (tan x) (tan x) 1))
1.0ms
(- 1 (* (tan x) (tan x)))

series191.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

74.0ms
(/ (- 1 (* (tan x) (tan x))) (fma (tan x) (tan x) 1))
48.0ms
(* (tan x) (tan x))
35.0ms
(fma (tan x) (tan x) 1)

simplify1.6s

Counts
55 → 92
Calls

55 calls. Slowest were:

317.0ms
(/ (* (* (- 1 (* (tan x) (tan x))) (- 1 (* (tan x) (tan x)))) (- 1 (* (tan x) (tan x)))) (* (* (fma (tan x) (tan x) 1) (fma (tan x) (tan x) 1)) (fma (tan x) (tan x) 1)))
247.0ms
(/ (- 1 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1))
223.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

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite21.0ms

Algorithm
rewrite-expression-head
Counts
4 → 67
Calls

4 calls. Slowest were:

13.0ms
(/ (* (tan x) (sin x)) (cos x))
4.0ms
(* (tan x) (sin x))
3.0ms
(- 1 (/ (* (tan x) (sin x)) (cos x)))

series226.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

74.0ms
(/ (* (tan x) (sin x)) (cos x))
52.0ms
(fma (tan x) (tan x) 1)
51.0ms
(- 1 (/ (* (tan x) (sin x)) (cos x)))

simplify1.7s

Counts
36 → 79
Calls

36 calls. Slowest were:

618.0ms
(/ (* (* (* (tan x) (tan x)) (tan x)) (* (* (sin x) (sin x)) (sin x))) (* (* (cos x) (cos x)) (cos x)))
525.0ms
(/ (* (* (* (tan x) (sin x)) (* (tan x) (sin x))) (* (tan x) (sin x))) (* (* (cos x) (cos x)) (cos x)))
91.0ms
(* (* (* (tan x) (tan x)) (tan x)) (* (* (sin x) (sin x)) (sin x)))

prune1.0s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite25.0ms

Algorithm
rewrite-expression-head
Counts
4 → 125
Calls

4 calls. Slowest were:

9.0ms
(/ (tan x) (/ (cos x) (sin x)))
6.0ms
(/ (cos x) (sin x))
5.0ms
(- 1 (/ (tan x) (/ (cos x) (sin x))))

series189.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

74.0ms
(/ (tan x) (/ (cos x) (sin x)))
57.0ms
(- 1 (/ (tan x) (/ (cos x) (sin x))))
37.0ms
(fma (tan x) (tan x) 1)

simplify4.7s

Counts
136 → 137
Calls

136 calls. Slowest were:

693.0ms
(/ 1 (/ (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (sin x)) (cbrt (sin x)))))
436.0ms
(/ (* (* (tan x) (tan x)) (tan x)) (/ (* (* (cos x) (cos x)) (cos x)) (* (* (sin x) (sin x)) (sin x))))
420.0ms
(/ (* (cbrt (tan x)) (cbrt (tan x))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (sin x)) (cbrt (sin x)))))

prune1.9s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite25.0ms

Algorithm
rewrite-expression-head
Counts
4 → 101
Calls

4 calls. Slowest were:

10.0ms
(/ (fma (tan x) (tan x) 1) (- 1 (* (tan x) (tan x))))
7.0ms
(* (tan x) (tan x))
3.0ms
(/ 1 (/ (fma (tan x) (tan x) 1) (- 1 (* (tan x) (tan x)))))

series247.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

101.0ms
(/ (fma (tan x) (tan x) 1) (- 1 (* (tan x) (tan x))))
82.0ms
(/ 1 (/ (fma (tan x) (tan x) 1) (- 1 (* (tan x) (tan x)))))
34.0ms
(- 1 (* (tan x) (tan x)))

simplify1.9s

Counts
71 → 113
Calls

71 calls. Slowest were:

221.0ms
(/ (- 1 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1))
219.0ms
(/ (* (* (fma (tan x) (tan x) 1) (fma (tan x) (tan x) 1)) (fma (tan x) (tan x) 1)) (* (* (- 1 (* (tan x) (tan x))) (- 1 (* (tan x) (tan x)))) (- 1 (* (tan x) (tan x)))))
215.0ms
(/ (- 1 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1))

prune1.1s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

regimes113.0ms

Please include this information when filing a bug report:

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

Backtrace

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