Timeout in 10.0m

Use the --timeout flag to change the timeout.

Details

Time bar (total: 2.6m)Debug log

start1.2m

Algorithm
intervals

setup102.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.6b

localize72.0ms

Local error

Found 4 expressions with local error:

3.4b
(/ (* (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.0b
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
0.7b
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
0.1b
(- 1 (/ 1 (+ 1 (exp (- s)))))

rewrite26.0ms

Algorithm
rewrite-expression-head
Counts
4 → 235
Calls

4 calls. Slowest were:

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

series708.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

575.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)))
58.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
53.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
22.0ms
(- 1 (/ 1 (+ 1 (exp (- s)))))

simplify58.2s

Counts
211 → 247
Calls

211 calls. Slowest were:

703.0ms
(- (+ (log (pow (/ 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))))
685.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)))
464.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)))

prune4.4s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.2b

localize57.0ms

Local error

Found 4 expressions with local error:

11.9b
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
11.1b
(- (* (log (+ (exp (- t)) 1)) c_p) (* (log (+ (exp (- s)) 1)) c_p))
1.0b
(log (+ (exp (- s)) 1))
1.0b
(log (+ (exp (- t)) 1))

rewrite26.0ms

Algorithm
rewrite-expression-head
Counts
4 → 68
Calls

4 calls. Slowest were:

13.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
4.0ms
(- (* (log (+ (exp (- t)) 1)) c_p) (* (log (+ (exp (- s)) 1)) c_p))
4.0ms
(log (+ (exp (- s)) 1))

series338.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

125.0ms
(- (* (log (+ (exp (- t)) 1)) c_p) (* (log (+ (exp (- s)) 1)) c_p))
95.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
60.0ms
(log (+ (exp (- s)) 1))
58.0ms
(log (+ (exp (- t)) 1))

simplify1.8s

Counts
43 → 80
Calls

43 calls. Slowest were:

348.0ms
(log (- (pow 1 3) (pow (/ 1 (+ (exp (- s)) 1)) 3)))
264.0ms
(- (+ (* 1/8 (* (pow t 2) c_p)) (* 1/2 (* c_p s))) (* 1/2 (* t c_p)))
157.0ms
(* -1 (* c_p (- (log (+ (exp (* -1 s)) 1)) (log (+ (exp (* -1 t)) 1)))))

prune1.6s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize35.0ms

Local error

Found 4 expressions with local error:

11.9b
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
0.1b
(* (* t t) (* c_p 1/8))
0.1b
(- 1 (/ 1 (+ (exp (- s)) 1)))
0.0b
(* c_n (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1))))))

rewrite27.0ms

Algorithm
rewrite-expression-head
Counts
4 → 83
Calls

4 calls. Slowest were:

11.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))))))
4.0ms
(* (* t t) (* c_p 1/8))

series276.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

144.0ms
(* c_n (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1))))))
95.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
25.0ms
(- 1 (/ 1 (+ (exp (- s)) 1)))
12.0ms
(* (* t t) (* c_p 1/8))

simplify2.4s

Counts
56 → 95
Calls

56 calls. Slowest were:

410.0ms
(* (* (* (* t t) (* t t)) (* t t)) (* (* (* c_p 1/8) (* c_p 1/8)) (* c_p 1/8)))
384.0ms
(log (- (pow 1 3) (pow (/ 1 (+ (exp (- s)) 1)) 3)))
213.0ms
(- (* 1/2 (* t c_n)) (+ (* 1/2 (* c_n s)) (* 1/8 (* c_n (pow s 2)))))

prune2.2s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize33.0ms

Local error

Found 4 expressions with local error:

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

rewrite41.0ms

Algorithm
rewrite-expression-head
Counts
4 → 65
Calls

4 calls. Slowest were:

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

series263.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

145.0ms
(+ (- (* (* t t) (* c_p 1/8)) (* (* 1/2 c_p) (- t s))) (* c_n (+ (* 1/2 (- t s)) (* -1/8 (* s s)))))
54.0ms
(* c_n (+ (* 1/2 (- t s)) (* -1/8 (* s s))))
44.0ms
(- (* (* t t) (* c_p 1/8)) (* (* 1/2 c_p) (- t s)))
19.0ms
(* (* t t) (* c_p 1/8))

simplify5.7s

Counts
42 → 77
Calls

42 calls. Slowest were:

730.0ms
(+ (* (- (* (* (* t t) (* c_p 1/8)) (* (* t t) (* c_p 1/8))) (* (* (* 1/2 c_p) (- t s)) (* (* 1/2 c_p) (- t s)))) (+ (* (* 1/2 (- t s)) (* 1/2 (- t s))) (- (* (* -1/8 (* s s)) (* -1/8 (* s s))) (* (* 1/2 (- t s)) (* -1/8 (* s s)))))) (* (+ (* (* t t) (* c_p 1/8)) (* (* 1/2 c_p) (- t s))) (* c_n (+ (pow (* 1/2 (- t s)) 3) (pow (* -1/8 (* s s)) 3)))))
460.0ms
(* (+ (* (* (* t t) (* c_p 1/8)) (* (* t t) (* c_p 1/8))) (+ (* (* (* 1/2 c_p) (- t s)) (* (* 1/2 c_p) (- t s))) (* (* (* t t) (* c_p 1/8)) (* (* 1/2 c_p) (- t s))))) (+ (* (* 1/2 (- t s)) (* 1/2 (- t s))) (- (* (* -1/8 (* s s)) (* -1/8 (* s s))) (* (* 1/2 (- t s)) (* -1/8 (* s s))))))
437.0ms
(* (* (* (* t t) (* t t)) (* t t)) (* (* (* c_p 1/8) (* c_p 1/8)) (* c_p 1/8)))

prune1.3s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

regimes257.0ms

bsearch3.0ms

Reproduce

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