Timeout in 10.0m

Use the --timeout flag to change the timeout.

Details

Time bar (total: 2.3m)Debug log

sample1.2m

Algorithm
intervals

simplify95.0ms

Counts
1 → 1
Calls

1 calls. Slowest were:

95.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: 6.1b

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

rewrite39.0ms

Algorithm
rewrite-expression-head
Counts
4 → 235
Calls

4 calls. Slowest were:

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

series712.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

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

simplify50.8s

Counts
211 → 247
Calls

211 calls. Slowest were:

675.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)))
633.0ms
(- (+ (* (- (log (+ 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)))
419.0ms
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (log (pow (- 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.3s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.2b

localize45.0ms

Local error

Found 4 expressions with local error:

9.7b
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
7.9b
(- (* c_p (log (+ (exp (- s)) 1))) (* c_p (log (+ (exp (- t)) 1))))
1.7b
(log (+ (exp (- t)) 1))
0.5b
(log (+ (exp (- s)) 1))

rewrite32.0ms

Algorithm
rewrite-expression-head
Counts
4 → 80
Calls

4 calls. Slowest were:

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

series532.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

340.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
95.0ms
(- (* c_p (log (+ (exp (- s)) 1))) (* c_p (log (+ (exp (- t)) 1))))
49.0ms
(log (+ (exp (- s)) 1))
48.0ms
(log (+ (exp (- t)) 1))

simplify1.4s

Counts
55 → 92
Calls

55 calls. Slowest were:

261.0ms
(log (- (pow 1 3) (pow (/ 1 (+ (exp (- s)) 1)) 3)))
145.0ms
(- (+ (* 1/2 (* t c_p)) (* 1/8 (* c_p (pow s 2)))) (* 1/2 (* c_p s)))
105.0ms
(* -1 (* (- (log (+ (exp (* -1 t)) 1)) (log (+ (exp (* -1 s)) 1))) c_p))

prune1.4s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.1b

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite26.0ms

Algorithm
rewrite-expression-head
Counts
4 → 83
Calls

4 calls. Slowest were:

13.0ms
(* c_n (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1))))))
7.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
3.0ms
(* (* c_p 1/8) (* s s))

series250.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

125.0ms
(* c_n (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1))))))
88.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
19.0ms
(- 1 (/ 1 (+ (exp (- s)) 1)))
17.0ms
(* (* c_p 1/8) (* s s))

simplify1.8s

Counts
56 → 95
Calls

56 calls. Slowest were:

285.0ms
(* (* (* (* c_p 1/8) (* c_p 1/8)) (* c_p 1/8)) (* (* (* s s) (* s s)) (* s s)))
257.0ms
(log (- (pow 1 3) (pow (/ 1 (+ (exp (- s)) 1)) 3)))
133.0ms
(- (* 1/2 (* t c_n)) (+ (* 1/2 (* c_n s)) (* 1/8 (* c_n (pow s 2)))))

prune1.5s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.1b

localize21.0ms

Local error

Found 4 expressions with local error:

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

rewrite18.0ms

Algorithm
rewrite-expression-head
Counts
4 → 65
Calls

4 calls. Slowest were:

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

series129.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

45.0ms
(* c_n (+ (* 1/2 (- t s)) (* -1/8 (* s s))))
39.0ms
(- (* (* c_p 1/8) (* s s)) (* (* 1/2 c_p) (- s t)))
27.0ms
(* (* 1/2 c_p) (- s t))
18.0ms
(* (* c_p 1/8) (* s s))

simplify1.8s

Counts
39 → 77
Calls

39 calls. Slowest were:

327.0ms
(* (* (* (* c_p 1/8) (* c_p 1/8)) (* c_p 1/8)) (* (* (* s s) (* s s)) (* s s)))
143.0ms
(- (+ (* 1/2 (* t c_p)) (* 1/8 (* c_p (pow s 2)))) (* 1/2 (* c_p s)))
142.0ms
(- (+ (* 1/2 (* t c_p)) (* 1/8 (* c_p (pow s 2)))) (* 1/2 (* c_p s)))

prune788.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.1b

regimes811.0ms

bsearch2.0ms

end0.0ms

Reproduce

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