Error in 25.2s

Runtime

Time bar (total: 25.2s)Debug log

start431.0ms

Algorithm
intervals

setup77.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize30.0ms

Local error

Found 4 expressions with local error:

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

rewrite20.0ms

Algorithm
rewrite-expression-head
Counts
4 → 89
Calls

4 calls. Slowest were:

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

series963.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

754.0ms
(* (tan x) (tan x))
117.0ms
(/ (- 1 (* (tan x) (tan x))) (+ 1 (* (tan x) (tan x))))
49.0ms
(* (tan x) (tan x))

simplify1.9s

Counts
72 → 101
Calls

72 calls. Slowest were:

439.0ms
(/ (* (* (- 1 (* (tan x) (tan x))) (- 1 (* (tan x) (tan x)))) (- 1 (* (tan x) (tan x)))) (* (* (+ 1 (* (tan x) (tan x))) (+ 1 (* (tan x) (tan x)))) (+ 1 (* (tan x) (tan x)))))
281.0ms
(+ (* 1 1) (- (* (* (tan x) (tan x)) (* (tan x) (tan x))) (* 1 (* (tan x) (tan x)))))
224.0ms
(/ (- 1 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1))

prune1.1s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 4 expressions with local error:

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

rewrite10.0ms

Algorithm
rewrite-expression-head
Counts
4 → 75
Calls

4 calls. Slowest were:

4.0ms
(* (tan x) (tan x))
4.0ms
(* (tan x) (tan x))
1.0ms
(- 1 (* (tan x) (tan x)))

series158.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

45.0ms
(* (tan x) (tan x))
43.0ms
(* (tan x) (tan x))
38.0ms
(- 1 (* (tan x) (tan x)))

simplify761.0ms

Counts
48 → 87
Calls

48 calls. Slowest were:

286.0ms
(+ (* 1 1) (- (* (* (tan x) (tan x)) (* (tan x) (tan x))) (* 1 (* (tan x) (tan x)))))
75.0ms
(- 1 (+ (pow x 2) (* 2/3 (pow x 4))))
63.0ms
(- 1 (/ (pow (sin x) 2) (pow (cos x) 2)))

prune929.0ms

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
(- (/ 1 (+ 1 (* (tan x) (tan x)))) (/ (* (tan x) (tan x)) (+ 1 (* (tan x) (tan x)))))
0.2b
(* (tan x) (tan x))
0.2b
(* (tan x) (tan x))
0.2b
(* (tan x) (tan x))

rewrite40.0ms

Algorithm
rewrite-expression-head
Counts
4 → 91
Calls

4 calls. Slowest were:

12.0ms
(- (/ 1 (+ 1 (* (tan x) (tan x)))) (/ (* (tan x) (tan x)) (+ 1 (* (tan x) (tan x)))))
10.0ms
(* (tan x) (tan x))
8.0ms
(* (tan x) (tan x))

series267.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

133.0ms
(- (/ 1 (+ 1 (* (tan x) (tan x)))) (/ (* (tan x) (tan x)) (+ 1 (* (tan x) (tan x)))))
46.0ms
(* (tan x) (tan x))
44.0ms
(* (tan x) (tan x))

simplify1.8s

Counts
76 → 103
Calls

76 calls. Slowest were:

401.0ms
(- (* 1 (+ 1 (* (tan x) (tan x)))) (* (+ 1 (* (tan x) (tan x))) (* (tan x) (tan x))))
247.0ms
(+ (* 1 1) (- (* (* (tan x) (tan x)) (* (tan x) (tan x))) (* 1 (* (tan x) (tan x)))))
182.0ms
(- (/ 1 (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1)) (/ (pow (sin x) 2) (* (pow (cos x) 2) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1))))

prune1.2s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite51.0ms

Algorithm
rewrite-expression-head
Counts
4 → 86
Calls

4 calls. Slowest were:

23.0ms
(cbrt (* (* (/ (- 1 (* (tan x) (tan x))) (+ 1 (* (tan x) (tan x)))) (/ (- 1 (* (tan x) (tan x))) (+ 1 (* (tan x) (tan x))))) (/ (- 1 (* (tan x) (tan x))) (+ 1 (* (tan x) (tan x))))))
10.0ms
(* (tan x) (tan x))
7.0ms
(* (tan x) (tan x))

series204.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

91.0ms
(cbrt (* (* (/ (- 1 (* (tan x) (tan x))) (+ 1 (* (tan x) (tan x)))) (/ (- 1 (* (tan x) (tan x))) (+ 1 (* (tan x) (tan x))))) (/ (- 1 (* (tan x) (tan x))) (+ 1 (* (tan x) (tan x))))))
45.0ms
(* (tan x) (tan x))
40.0ms
(* (tan x) (tan x))

simplify3.3s

Counts
66 → 98
Calls

66 calls. Slowest were:

814.0ms
(cbrt (* (* (- 1 (* (tan x) (tan x))) (- 1 (* (tan x) (tan x)))) (/ (- 1 (* (tan x) (tan x))) (+ 1 (* (tan x) (tan x))))))
445.0ms
(cbrt (* (/ (- 1 (* (tan x) (tan x))) (+ 1 (* (tan x) (tan x)))) (/ (- 1 (* (tan x) (tan x))) (+ 1 (* (tan x) (tan x))))))
325.0ms
(cbrt (* (* (- 1 (* (tan x) (tan x))) (/ (- 1 (* (tan x) (tan x))) (+ 1 (* (tan x) (tan x))))) (/ (- 1 (* (tan x) (tan x))) (+ 1 (* (tan x) (tan x))))))

prune1.3s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

regimes451.0ms

Please include this information when filing a bug report:

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

Backtrace

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