Timeout in 10.0m

Use the --timeout flag to change the timeout.

Details

Time bar (total: 1.9m)Debug log

sample55.1s

Algorithm
intervals

simplify61.0ms

Counts
1 → 1
Calls

1 calls. Slowest were:

61.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)))

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.6b

localize48.0ms

Local error

Found 4 expressions with local error:

3.2b
(/ (* (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)))
1.7b
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
0.2b
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
0.0b
(/ 1 (+ 1 (exp (- t))))

rewrite23.0ms

Algorithm
rewrite-expression-head
Counts
4 → 242
Calls

4 calls. Slowest were:

13.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)))
1.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
1.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)

series559.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

445.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)))
50.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
49.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
15.0ms
(/ 1 (+ 1 (exp (- t))))

simplify41.3s

Counts
217 → 254
Calls

217 calls. Slowest were:

496.0ms
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (log (/ 1 (+ 1 (exp (- t))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))
473.0ms
(- (+ (* (- (log (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (- (log (+ 1 (exp (- t))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))
286.0ms
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (log (pow (/ 1 (+ 1 (exp (- t)))) c_p)) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))

prune3.4s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize9.0ms

Local error

Found 1 expressions with local error:

0.0b
(* (- c_p c_n) (* 1/2 s))

rewrite4.0ms

Algorithm
rewrite-expression-head
Counts
1 → 17
Calls

1 calls. Slowest were:

4.0ms
(* (- c_p c_n) (* 1/2 s))

series22.0ms

Counts
1 → 3
Calls

1 calls. Slowest were:

22.0ms
(* (- c_p c_n) (* 1/2 s))

simplify809.0ms

Counts
10 → 20
Calls

10 calls. Slowest were:

306.0ms
(* (* (* (- c_p c_n) (- c_p c_n)) (- c_p c_n)) (* (* (* 1/2 s) (* 1/2 s)) (* 1/2 s)))
298.0ms
(* (- (* c_p c_p) (* c_n c_n)) (* 1/2 s))
94.0ms
(* (- (pow c_p 3) (pow c_n 3)) (* 1/2 s))

prune139.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize45.0ms

Local error

Found 4 expressions with local error:

11.4b
(- (log (+ (exp (- s)) 1)) (log (+ (exp (- t)) 1)))
11.3b
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
1.7b
(log (+ (exp (- t)) 1))
0.3b
(log (+ (exp (- s)) 1))

rewrite27.0ms

Algorithm
rewrite-expression-head
Counts
4 → 82
Calls

4 calls. Slowest were:

10.0ms
(- (log (+ (exp (- s)) 1)) (log (+ (exp (- t)) 1)))
7.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
4.0ms
(log (+ (exp (- t)) 1))

series242.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

83.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
65.0ms
(- (log (+ (exp (- s)) 1)) (log (+ (exp (- t)) 1)))
47.0ms
(log (+ (exp (- s)) 1))
47.0ms
(log (+ (exp (- t)) 1))

simplify1.3s

Counts
58 → 94
Calls

58 calls. Slowest were:

247.0ms
(log (- (pow 1 3) (pow (/ 1 (+ (exp (- s)) 1)) 3)))
91.0ms
(log (+ (* (exp (- t)) (exp (- t))) (- (* 1 1) (* (exp (- t)) 1))))
66.0ms
(- (* 1/2 t) (+ (* 1/8 (pow s 2)) (* 1/2 s)))

prune1.3s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize20.0ms

Local error

Found 4 expressions with local error:

11.3b
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
0.2b
(- (* c_n (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (* c_p (+ (* s (* 1/8 s)) (* 1/2 (- t s)))))
0.2b
(log (- 1 (/ 1 (+ (exp (- t)) 1))))
0.1b
(* c_n (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1))))))

rewrite35.0ms

Algorithm
rewrite-expression-head
Counts
4 → 105
Calls

4 calls. Slowest were:

11.0ms
(- (* c_n (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (* c_p (+ (* s (* 1/8 s)) (* 1/2 (- t s)))))
10.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
10.0ms
(* c_n (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1))))))

series399.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

137.0ms
(- (* c_n (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (* c_p (+ (* s (* 1/8 s)) (* 1/2 (- t s)))))
118.0ms
(* c_n (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1))))))
86.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
57.0ms
(log (- 1 (/ 1 (+ (exp (- t)) 1))))

simplify4.3s

Counts
84 → 117
Calls

84 calls. Slowest were:

290.0ms
(* c_n (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- (pow 1 3) (pow (/ 1 (+ (exp (- t)) 1)) 3)))))
266.0ms
(* (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- (pow 1 3) (pow (/ 1 (+ (exp (- t)) 1)) 3)))) c_n)
251.0ms
(log (- (pow 1 3) (pow (/ 1 (+ (exp (- t)) 1)) 3)))

prune1.7s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

regimes138.0ms

bsearch7.0ms

end0.0ms

Reproduce

herbie shell --seed 2019007 
(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))))