Runtime

start834.0ms

Algorithm: intervals

setup570.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 23.4b

localize41.0ms

Local error

Found 4 expressions with local error:

16.5b	(/ (/ (* (/ 2 t) (* (/ l t) (/ l t))) (* (sin k) (tan k))) (fma (/ k t) (/ k t) 2))
9.0b	(/ (* (/ 2 t) (* (/ l t) (/ l t))) (* (sin k) (tan k)))
1.8b	(* (/ 2 t) (* (/ l t) (/ l t)))
0.2b	(* (/ l t) (/ l t))

rewrite61.0ms

Algorithm

rewrite-expression-head

Counts

4 → 144

Calls

4 calls. Slowest were:

21.0ms	(* (/ 2 t) (* (/ l t) (/ l t)))
15.0ms	(/ (/ (* (/ 2 t) (* (/ l t) (/ l t))) (* (sin k) (tan k))) (fma (/ k t) (/ k t) 2))
15.0ms	(/ (* (/ 2 t) (* (/ l t) (/ l t))) (* (sin k) (tan k)))

series545.0ms

Counts

4 → 12

Calls

4 calls. Slowest were:

272.0ms	(/ (* (/ 2 t) (* (/ l t) (/ l t))) (* (sin k) (tan k)))
235.0ms	(/ (/ (* (/ 2 t) (* (/ l t) (/ l t))) (* (sin k) (tan k))) (fma (/ k t) (/ k t) 2))
23.0ms	(* (/ 2 t) (* (/ l t) (/ l t)))

simplify25.0s

Counts

127 → 156

Calls

127 calls. Slowest were:

984.0ms

(* (* (* (/ l t) (/ l t)) (/ l t)) (* (* (/ l t) (/ l t)) (/ l t)))

977.0ms

(/ (/ (* (* (* (/ 2 t) (/ 2 t)) (/ 2 t)) (* (* (* (/ l t) (/ l t)) (/ l t)) (* (* (/ l t) (/ l t)) (/ l t)))) (* (* (* (sin k) (sin k)) (sin k)) (* (* (tan k) (tan k)) (tan k)))) (* (* (fma (/ k t) (/ k t) 2) (fma (/ k t) (/ k t) 2)) (fma (/ k t) (/ k t) 2)))

881.0ms

(/ (* (* (* (/ 2 t) (/ 2 t)) (/ 2 t)) (* (* (* (/ l t) (/ l t)) (/ l t)) (* (* (/ l t) (/ l t)) (/ l t)))) (* (* (* (sin k) (sin k)) (sin k)) (* (* (tan k) (tan k)) (tan k))))

prune2.7s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 13.5b

localize31.0ms

Local error

Found 4 expressions with local error:

16.5b	(* (/ (/ 2 t) (* (/ (sin k) (/ l t)) (/ (sin k) (/ l t)))) (/ (cos k) (fma (/ k t) (/ k t) 2)))
3.0b	(/ (sin k) (/ l t))
3.0b	(/ (sin k) (/ l t))
2.2b	(/ (/ 2 t) (* (/ (sin k) (/ l t)) (/ (sin k) (/ l t))))

rewrite49.0ms

Algorithm

rewrite-expression-head

Counts

4 → 165

Calls

4 calls. Slowest were:

28.0ms	(* (/ (/ 2 t) (* (/ (sin k) (/ l t)) (/ (sin k) (/ l t)))) (/ (cos k) (fma (/ k t) (/ k t) 2)))
8.0ms	(/ (/ 2 t) (* (/ (sin k) (/ l t)) (/ (sin k) (/ l t))))
3.0ms	(/ (sin k) (/ l t))

series666.0ms

Counts

4 → 12

Calls

4 calls. Slowest were:

374.0ms	(* (/ (/ 2 t) (* (/ (sin k) (/ l t)) (/ (sin k) (/ l t)))) (/ (cos k) (fma (/ k t) (/ k t) 2)))
140.0ms	(/ (/ 2 t) (* (/ (sin k) (/ l t)) (/ (sin k) (/ l t))))
76.0ms	(/ (sin k) (/ l t))

simplify18.4s

Counts

152 → 177

Calls

152 calls. Slowest were:

830.0ms

(- (log (/ 2 t)) (+ (log (/ (sin k) (/ l t))) (log (/ (sin k) (/ l t)))))

773.0ms

(* (/ (* (* (/ 2 t) (/ 2 t)) (/ 2 t)) (* (* (* (/ (sin k) (/ l t)) (/ (sin k) (/ l t))) (* (/ (sin k) (/ l t)) (/ (sin k) (/ l t)))) (* (/ (sin k) (/ l t)) (/ (sin k) (/ l t))))) (* (* (/ (cos k) (fma (/ k t) (/ k t) 2)) (/ (cos k) (fma (/ k t) (/ k t) 2))) (/ (cos k) (fma (/ k t) (/ k t) 2))))

673.0ms

(* (/ (* (* (/ 2 t) (/ 2 t)) (/ 2 t)) (* (* (* (/ (sin k) (/ l t)) (/ (sin k) (/ l t))) (/ (sin k) (/ l t))) (/ (* (* (sin k) (sin k)) (sin k)) (* (* (/ l t) (/ l t)) (/ l t))))) (/ (* (* (cos k) (cos k)) (cos k)) (* (* (fma (/ k t) (/ k t) 2) (fma (/ k t) (/ k t) 2)) (fma (/ k t) (/ k t) 2))))

prune2.9s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 13.0b

localize37.0ms

Local error

Found 4 expressions with local error:

11.5b	(* (/ (* (cbrt (/ 2 t)) (cbrt (/ 2 t))) (/ (sin k) (/ l t))) (* (/ (cbrt (/ 2 t)) (/ (sin k) (/ l t))) (/ (cos k) (fma (/ k t) (/ k t) 2))))
8.3b	(* (/ (cbrt (/ 2 t)) (/ (sin k) (/ l t))) (/ (cos k) (fma (/ k t) (/ k t) 2)))
3.0b	(/ (sin k) (/ l t))
3.0b	(/ (sin k) (/ l t))

rewrite106.0ms

Algorithm

rewrite-expression-head

Counts

4 → 343

Calls

4 calls. Slowest were:

53.0ms

(* (/ (* (cbrt (/ 2 t)) (cbrt (/ 2 t))) (/ (sin k) (/ l t))) (* (/ (cbrt (/ 2 t)) (/ (sin k) (/ l t))) (/ (cos k) (fma (/ k t) (/ k t) 2))))

20.0ms

(* (/ (cbrt (/ 2 t)) (/ (sin k) (/ l t))) (/ (cos k) (fma (/ k t) (/ k t) 2)))

11.0ms

(/ (sin k) (/ l t))

series1.2s

Counts

4 → 12

Calls

4 calls. Slowest were:

651.0ms

(* (/ (cbrt (/ 2 t)) (/ (sin k) (/ l t))) (/ (cos k) (fma (/ k t) (/ k t) 2)))

420.0ms

(* (/ (* (cbrt (/ 2 t)) (cbrt (/ 2 t))) (/ (sin k) (/ l t))) (* (/ (cbrt (/ 2 t)) (/ (sin k) (/ l t))) (/ (cos k) (fma (/ k t) (/ k t) 2))))

65.0ms

(/ (sin k) (/ l t))

simplify46.7s

Counts

333 → 355

Calls

333 calls. Slowest were:

1.3s

(* (/ (* (* (* (cbrt (/ 2 t)) (cbrt (/ 2 t))) (* (cbrt (/ 2 t)) (cbrt (/ 2 t)))) (* (cbrt (/ 2 t)) (cbrt (/ 2 t)))) (* (* (/ (sin k) (/ l t)) (/ (sin k) (/ l t))) (/ (sin k) (/ l t)))) (* (/ (/ 2 t) (/ (* (* (sin k) (sin k)) (sin k)) (* (* (/ l t) (/ l t)) (/ l t)))) (/ (* (* (cos k) (cos k)) (cos k)) (* (* (fma (/ k t) (/ k t) 2) (fma (/ k t) (/ k t) 2)) (fma (/ k t) (/ k t) 2)))))

1.1s

(* (/ (* (/ 2 t) (/ 2 t)) (/ (* (* (sin k) (sin k)) (sin k)) (* (* (/ l t) (/ l t)) (/ l t)))) (* (/ (/ 2 t) (/ (* (* (sin k) (sin k)) (sin k)) (* (* (/ l t) (/ l t)) (/ l t)))) (/ (* (* (cos k) (cos k)) (cos k)) (* (* (fma (/ k t) (/ k t) 2) (fma (/ k t) (/ k t) 2)) (fma (/ k t) (/ k t) 2)))))

898.0ms

(* (/ (* (* (* (cbrt (/ 2 t)) (cbrt (/ 2 t))) (* (cbrt (/ 2 t)) (cbrt (/ 2 t)))) (* (cbrt (/ 2 t)) (cbrt (/ 2 t)))) (* (* (/ (sin k) (/ l t)) (/ (sin k) (/ l t))) (/ (sin k) (/ l t)))) (* (/ (/ 2 t) (/ (* (* (sin k) (sin k)) (sin k)) (* (* (/ l t) (/ l t)) (/ l t)))) (* (* (/ (cos k) (fma (/ k t) (/ k t) 2)) (/ (cos k) (fma (/ k t) (/ k t) 2))) (/ (cos k) (fma (/ k t) (/ k t) 2)))))

prune7.1s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 12.9b

localize44.0ms

Local error

Found 4 expressions with local error:

11.5b	(* (/ (* (cbrt (/ 2 t)) (cbrt (/ 2 t))) (/ (sin k) (/ l t))) (* (cbrt 2) (* (/ (cbrt (/ 1 t)) (/ (sin k) (/ l t))) (/ (cos k) (fma (/ k t) (/ k t) 2)))))
8.3b	(* (/ (cbrt (/ 1 t)) (/ (sin k) (/ l t))) (/ (cos k) (fma (/ k t) (/ k t) 2)))
3.0b	(/ (sin k) (/ l t))
3.0b	(/ (sin k) (/ l t))

rewrite82.0ms

Algorithm

rewrite-expression-head

Counts

4 → 354

Calls

4 calls. Slowest were:

52.0ms

(* (/ (* (cbrt (/ 2 t)) (cbrt (/ 2 t))) (/ (sin k) (/ l t))) (* (cbrt 2) (* (/ (cbrt (/ 1 t)) (/ (sin k) (/ l t))) (/ (cos k) (fma (/ k t) (/ k t) 2)))))

10.0ms

(* (/ (cbrt (/ 1 t)) (/ (sin k) (/ l t))) (/ (cos k) (fma (/ k t) (/ k t) 2)))

3.0ms

(/ (sin k) (/ l t))

series1.5s

Counts

4 → 12

Calls

4 calls. Slowest were:

837.0ms

(* (/ (* (cbrt (/ 2 t)) (cbrt (/ 2 t))) (/ (sin k) (/ l t))) (* (cbrt 2) (* (/ (cbrt (/ 1 t)) (/ (sin k) (/ l t))) (/ (cos k) (fma (/ k t) (/ k t) 2)))))

557.0ms

(* (/ (cbrt (/ 1 t)) (/ (sin k) (/ l t))) (/ (cos k) (fma (/ k t) (/ k t) 2)))

75.0ms

(/ (sin k) (/ l t))

simplify49.9s

Counts

344 → 366

Calls

344 calls. Slowest were:

1.2s

(* (/ (* (* (* (cbrt (/ 2 t)) (cbrt (/ 2 t))) (* (cbrt (/ 2 t)) (cbrt (/ 2 t)))) (* (cbrt (/ 2 t)) (cbrt (/ 2 t)))) (* (* (/ (sin k) (/ l t)) (/ (sin k) (/ l t))) (/ (sin k) (/ l t)))) (* 2 (* (/ (/ 1 t) (* (* (/ (sin k) (/ l t)) (/ (sin k) (/ l t))) (/ (sin k) (/ l t)))) (/ (* (* (cos k) (cos k)) (cos k)) (* (* (fma (/ k t) (/ k t) 2) (fma (/ k t) (/ k t) 2)) (fma (/ k t) (/ k t) 2))))))

1.0s

(* (/ (* (* (* (cbrt (/ 2 t)) (cbrt (/ 2 t))) (* (cbrt (/ 2 t)) (cbrt (/ 2 t)))) (* (cbrt (/ 2 t)) (cbrt (/ 2 t)))) (* (* (/ (sin k) (/ l t)) (/ (sin k) (/ l t))) (/ (sin k) (/ l t)))) (* 2 (* (/ (/ 1 t) (/ (* (* (sin k) (sin k)) (sin k)) (* (* (/ l t) (/ l t)) (/ l t)))) (/ (* (* (cos k) (cos k)) (cos k)) (* (* (fma (/ k t) (/ k t) 2) (fma (/ k t) (/ k t) 2)) (fma (/ k t) (/ k t) 2))))))

970.0ms

(* (/ (* (* (* (cbrt (/ 2 t)) (cbrt (/ 2 t))) (* (cbrt (/ 2 t)) (cbrt (/ 2 t)))) (* (cbrt (/ 2 t)) (cbrt (/ 2 t)))) (/ (* (* (sin k) (sin k)) (sin k)) (* (* (/ l t) (/ l t)) (/ l t)))) (* 2 (* (* (* (/ (cbrt (/ 1 t)) (/ (sin k) (/ l t))) (/ (cbrt (/ 1 t)) (/ (sin k) (/ l t)))) (/ (cbrt (/ 1 t)) (/ (sin k) (/ l t)))) (/ (* (* (cos k) (cos k)) (cos k)) (* (* (fma (/ k t) (/ k t) 2) (fma (/ k t) (/ k t) 2)) (fma (/ k t) (/ k t) 2))))))

prune9.3s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 12.9b

regimes413.0ms

binary-search7.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 +o rules:numerics
(FPCore (t l k)
  :name "Toniolo and Linder, Equation (10+)"
  (/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1))))

partition: contract violation expected: list? given: 11.678261709907977 argument position: 2nd other arguments...: #<procedure:ordinary-value?>		L	C
partition	/home/p92/racket/collects/racket/list.rkt	555	0
errors-score	/data/pavpan/nightlies/herbie/develop/src/points.rkt	322	0
for-loop	/data/pavpan/nightlies/herbie/develop/src/sandbox.rkt	75	12
(unnamed)	/home/p92/racket/collects/racket/private/more-scheme.rkt	261	28
run	/home/p92/racket/share/pkgs/profile-lib/main.rkt	39	2
profile-thunk16	/home/p92/racket/share/pkgs/profile-lib/main.rkt	9	0
(unnamed)	/home/p92/racket/collects/racket/private/more-scheme.rkt	261	28

Error in 3.3m

Runtime

start834.0ms

setup570.0ms

localize41.0ms

rewrite61.0ms

series545.0ms

simplify25.0s

prune2.7s

localize31.0ms

rewrite49.0ms

series666.0ms

simplify18.4s

prune2.9s

localize37.0ms

rewrite106.0ms

series1.2s

simplify46.7s

prune7.1s

localize44.0ms

rewrite82.0ms

series1.5s

simplify49.9s

prune9.3s

regimes413.0ms

binary-search7.0ms

Backtrace