Timeout in 10.0m

Use the --timeout flag to change the timeout.

Details

Time bar (total: 3.1m)Debug log

sample1.1m

Algorithm
intervals

simplify422.0ms

Counts
1 → 1
Calls

1 calls. Slowest were:

422.0ms
(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)))

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.9b

localize46.0ms

Local error

Found 4 expressions with local error:

1.7b
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
1.5b
(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)))
0.7b
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
0.5b
(- 1 (/ 1 (+ 1 (exp (- t)))))

rewrite40.0ms

Algorithm
rewrite-expression-head
Counts
4 → 243
Calls

4 calls. Slowest were:

23.0ms
(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)))
2.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
2.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)

series757.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

623.0ms
(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)))
61.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
54.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
19.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))

simplify47.1s

Counts
211 → 255
Calls

211 calls. Slowest were:

601.0ms
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (log (/ 1 (+ 1 (exp (- t))))) c_p) (log (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))))
525.0ms
(/ (* (* (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n))) (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n))) (* (* (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (/ 1 (+ 1 (exp (- t)))) c_p)) (pow (/ 1 (+ 1 (exp (- t)))) c_p)) (* (* (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))))
371.0ms
(- (log (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n))) (+ (log (pow (/ 1 (+ 1 (exp (- t)))) c_p)) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))

prune4.1s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.7b
(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (fma c_p (fma 1/2 t (log 1/2)) 1) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)))
0.7b
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
0.5b
(- 1 (/ 1 (+ 1 (exp (- t)))))
0.3b
(- 1 (/ 1 (+ 1 (exp (- s)))))

rewrite26.0ms

Algorithm
rewrite-expression-head
Counts
4 → 118
Calls

4 calls. Slowest were:

21.0ms
(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (fma c_p (fma 1/2 t (log 1/2)) 1) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)))
2.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
1.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))

series687.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

586.0ms
(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (fma c_p (fma 1/2 t (log 1/2)) 1) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)))
51.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
27.0ms
(- 1 (/ 1 (+ 1 (exp (- s)))))
22.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))

simplify14.1s

Counts
83 → 130
Calls

83 calls. Slowest were:

396.0ms
(- (+ (log (pow (/ 1 (+ 1 (exp (- s)))) c_p)) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (log (* (fma c_p (fma 1/2 t (log 1/2)) 1) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))))
392.0ms
(- (+ (log (pow (/ 1 (+ 1 (exp (- s)))) c_p)) (log (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n))) (log (* (fma c_p (fma 1/2 t (log 1/2)) 1) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))))
365.0ms
(- (+ (log (pow (/ 1 (+ 1 (exp (- s)))) c_p)) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (log (* (fma c_p (fma 1/2 t (log 1/2)) 1) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))))

prune2.6s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.7b
(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (fma c_p (fma 1/2 t (log 1/2)) 1) (pow (- (+ (* 1/48 (pow t 3)) 1/2) (* 1/4 t)) c_n)))
0.7b
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
0.3b
(- 1 (/ 1 (+ 1 (exp (- s)))))
0.1b
(* 1/48 (pow t 3))

rewrite40.0ms

Algorithm
rewrite-expression-head
Counts
4 → 120
Calls

4 calls. Slowest were:

29.0ms
(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (fma c_p (fma 1/2 t (log 1/2)) 1) (pow (- (+ (* 1/48 (pow t 3)) 1/2) (* 1/4 t)) c_n)))
3.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
2.0ms
(* 1/48 (pow t 3))

series792.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

683.0ms
(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (fma c_p (fma 1/2 t (log 1/2)) 1) (pow (- (+ (* 1/48 (pow t 3)) 1/2) (* 1/4 t)) c_n)))
55.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
29.0ms
(- 1 (/ 1 (+ 1 (exp (- s)))))
24.0ms
(* 1/48 (pow t 3))

simplify14.8s

Counts
87 → 132
Calls

87 calls. Slowest were:

624.0ms
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (log (fma c_p (fma 1/2 t (log 1/2)) 1)) (log (pow (- (+ (* 1/48 (pow t 3)) 1/2) (* 1/4 t)) c_n))))
317.0ms
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (log (fma c_p (fma 1/2 t (log 1/2)) 1)) (* (log (- (+ (* 1/48 (pow t 3)) 1/2) (* 1/4 t))) c_n)))
314.0ms
(- (+ (* (- (log (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (log (fma c_p (fma 1/2 t (log 1/2)) 1)) (* (log (- (+ (* 1/48 (pow t 3)) 1/2) (* 1/4 t))) c_n)))

prune2.7s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 0 expressions with local error:

rewrite0.0ms

Algorithm
rewrite-expression-head
Counts
0 → 0
Calls

0 calls. Slowest were:

series0.0ms

Counts
0 → 0
Calls

0 calls. Slowest were:

simplify0.0ms

Counts
0 → 0
Calls

0 calls. Slowest were:

prune1.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

regimes785.0ms

bsearch33.4s

end0.0ms

Reproduce

herbie shell --seed 2019004 +o rules:numerics
(FPCore (c_p c_n t s)
  :name "Harley's example"
  :pre (and (< 0 c_p) (< 0 c_n))

  :herbie-target
  (* (pow (/ (+ 1 (exp (- t))) (+ 1 (exp (- s)))) c_p) (pow (/ (+ 1 (exp t)) (+ 1 (exp s))) c_n))

  (/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))))