Timeout in 10.0m

Use the --timeout flag to change the timeout.

Details

Time bar (total: 2.3m)Debug log

start1.3m

Algorithm
intervals

setup90.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.4b

localize48.0ms

Local error

Found 4 expressions with local error:

2.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)))
0.7b
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
0.7b
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
0.0b
(- 1 (/ 1 (+ 1 (exp (- s)))))

rewrite22.0ms

Algorithm
rewrite-expression-head
Counts
4 → 235
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)

series617.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

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

simplify45.1s

Counts
211 → 247
Calls

211 calls. Slowest were:

527.0ms
(- (+ (log (pow (/ 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)))
475.0ms
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (log (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))))
321.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 (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))))

prune3.5s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize47.0ms

Local error

Found 4 expressions with local error:

13.2b
(- (log (+ (exp (- t)) 1)) (log (+ (exp (- s)) 1)))
13.2b
(- (log (- 1 (/ 1 (+ (exp (- t)) 1)))) (log (- 1 (/ 1 (+ (exp (- s)) 1)))))
0.7b
(log (+ (exp (- s)) 1))
0.7b
(log (+ (exp (- t)) 1))

rewrite27.0ms

Algorithm
rewrite-expression-head
Counts
4 → 82
Calls

4 calls. Slowest were:

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

series258.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

90.0ms
(- (log (- 1 (/ 1 (+ (exp (- t)) 1)))) (log (- 1 (/ 1 (+ (exp (- s)) 1)))))
71.0ms
(- (log (+ (exp (- t)) 1)) (log (+ (exp (- s)) 1)))
49.0ms
(log (+ (exp (- t)) 1))
47.0ms
(log (+ (exp (- s)) 1))

simplify1.4s

Counts
58 → 94
Calls

58 calls. Slowest were:

282.0ms
(log (- (pow 1 3) (pow (/ 1 (+ (exp (- t)) 1)) 3)))
99.0ms
(log (+ (* (exp (- s)) (exp (- s))) (- (* 1 1) (* (exp (- s)) 1))))
75.0ms
(- (* 1/2 s) (+ (* 1/2 t) (* 1/8 (pow t 2))))

prune1.5s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize21.0ms

Local error

Found 4 expressions with local error:

13.2b
(- (log (- 1 (/ 1 (+ (exp (- t)) 1)))) (log (- 1 (/ 1 (+ (exp (- s)) 1)))))
0.3b
(log (- 1 (/ 1 (+ (exp (- t)) 1))))
0.0b
(- 1 (/ 1 (+ (exp (- s)) 1)))
0.0b
(* (- (log (- 1 (/ 1 (+ (exp (- t)) 1)))) (log (- 1 (/ 1 (+ (exp (- s)) 1))))) c_n)

rewrite25.0ms

Algorithm
rewrite-expression-head
Counts
4 → 70
Calls

4 calls. Slowest were:

14.0ms
(* (- (log (- 1 (/ 1 (+ (exp (- t)) 1)))) (log (- 1 (/ 1 (+ (exp (- s)) 1))))) c_n)
7.0ms
(- (log (- 1 (/ 1 (+ (exp (- t)) 1)))) (log (- 1 (/ 1 (+ (exp (- s)) 1)))))
2.0ms
(log (- 1 (/ 1 (+ (exp (- t)) 1))))

series313.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

147.0ms
(* (- (log (- 1 (/ 1 (+ (exp (- t)) 1)))) (log (- 1 (/ 1 (+ (exp (- s)) 1))))) c_n)
88.0ms
(- (log (- 1 (/ 1 (+ (exp (- t)) 1)))) (log (- 1 (/ 1 (+ (exp (- s)) 1)))))
59.0ms
(log (- 1 (/ 1 (+ (exp (- t)) 1))))
19.0ms
(- 1 (/ 1 (+ (exp (- s)) 1)))

simplify1.5s

Counts
40 → 82
Calls

40 calls. Slowest were:

282.0ms
(log (- (pow 1 3) (pow (/ 1 (+ (exp (- t)) 1)) 3)))
280.0ms
(log (- (pow 1 3) (pow (/ 1 (+ (exp (- t)) 1)) 3)))
137.0ms
(* (- (* (log (- 1 (/ 1 (+ (exp (- t)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1))))) (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- s)) 1)))))) c_n)

prune1.5s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite35.0ms

Algorithm
rewrite-expression-head
Counts
4 → 57
Calls

4 calls. Slowest were:

12.0ms
(- (* c_p (+ (* (- s t) 1/2) (* (* t t) 1/8))) (* (+ (* t (* t -1/8)) (* 1/2 (- s t))) c_n))
12.0ms
(* c_p (+ (* (- s t) 1/2) (* (* t t) 1/8)))
5.0ms
(* (+ (* t (* t -1/8)) (* 1/2 (- s t))) c_n)

series178.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

95.0ms
(- (* c_p (+ (* (- s t) 1/2) (* (* t t) 1/8))) (* (+ (* t (* t -1/8)) (* 1/2 (- s t))) c_n))
39.0ms
(* c_p (+ (* (- s t) 1/2) (* (* t t) 1/8)))
25.0ms
(* (+ (* t (* t -1/8)) (* 1/2 (- s t))) c_n)
19.0ms
(+ (* (- s t) 1/2) (* (* t t) 1/8))

simplify3.8s

Counts
35 → 69
Calls

35 calls. Slowest were:

390.0ms
(* (- (* (- s t) 1/2) (* (* t t) 1/8)) (+ (* (* t (* t -1/8)) (* t (* t -1/8))) (- (* (* 1/2 (- s t)) (* 1/2 (- s t))) (* (* t (* t -1/8)) (* 1/2 (- s t))))))
290.0ms
(* (+ (pow (* t (* t -1/8)) 3) (pow (* 1/2 (- s t)) 3)) c_n)
268.0ms
(* (+ (* (* (- s t) 1/2) (* (- s t) 1/2)) (- (* (* (* t t) 1/8) (* (* t t) 1/8)) (* (* (- s t) 1/2) (* (* t t) 1/8)))) (+ (* (* t (* t -1/8)) (* t (* t -1/8))) (- (* (* 1/2 (- s t)) (* 1/2 (- s t))) (* (* t (* t -1/8)) (* 1/2 (- s t))))))

prune905.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes140.0ms

bsearch2.0ms

Reproduce

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