Timeout in 10.0m

Use the --timeout flag to change the timeout.

Details

Time bar (total: 2.6m)Debug log

sample1.1m

Algorithm
intervals

simplify91.0ms

Counts
1 → 1
Calls

1 calls. Slowest were:

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

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.9b

localize78.0ms

Local error

Found 4 expressions with local error:

2.9b
(/ (* (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.2b
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
0.2b
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
0.1b
(- 1 (/ 1 (+ 1 (exp (- s)))))

rewrite45.0ms

Algorithm
rewrite-expression-head
Counts
4 → 235
Calls

4 calls. Slowest were:

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

series856.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

686.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)))
74.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
65.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
31.0ms
(- 1 (/ 1 (+ 1 (exp (- s)))))

simplify1.2m

Counts
211 → 247
Calls

211 calls. Slowest were:

957.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)))
810.0ms
(- (+ (log (pow (/ 1 (+ 1 (exp (- s)))) c_p)) (log (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n))) (+ (* (log (/ 1 (+ 1 (exp (- t))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))
531.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))))

prune5.0s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize65.0ms

Local error

Found 4 expressions with local error:

9.6b
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
9.1b
(- (* (log (+ (exp (- t)) 1)) c_p) (* (log (+ (exp (- s)) 1)) c_p))
2.2b
(log (+ (exp (- t)) 1))
0.3b
(log (+ (exp (- s)) 1))

rewrite20.0ms

Algorithm
rewrite-expression-head
Counts
4 → 68
Calls

4 calls. Slowest were:

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

series335.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

128.0ms
(- (* (log (+ (exp (- t)) 1)) c_p) (* (log (+ (exp (- s)) 1)) c_p))
107.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
52.0ms
(log (+ (exp (- t)) 1))
48.0ms
(log (+ (exp (- s)) 1))

simplify2.2s

Counts
43 → 80
Calls

43 calls. Slowest were:

490.0ms
(log (- (pow 1 3) (pow (/ 1 (+ (exp (- s)) 1)) 3)))
286.0ms
(- (+ (* 1/8 (* (pow t 2) c_p)) (* 1/2 (* c_p s))) (* 1/2 (* t c_p)))
171.0ms
(* -1 (* c_p (- (log (+ (exp (* -1 s)) 1)) (log (+ (exp (* -1 t)) 1)))))

prune1.8s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize37.0ms

Local error

Found 4 expressions with local error:

9.6b
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
0.3b
(log (- 1 (/ 1 (+ (exp (- t)) 1))))
0.1b
(- 1 (/ 1 (+ (exp (- s)) 1)))
0.1b
(* (* t t) (* c_p 1/8))

rewrite26.0ms

Algorithm
rewrite-expression-head
Counts
4 → 65
Calls

4 calls. Slowest were:

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

series510.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

371.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
93.0ms
(log (- 1 (/ 1 (+ (exp (- t)) 1))))
25.0ms
(- 1 (/ 1 (+ (exp (- s)) 1)))
20.0ms
(* (* t t) (* c_p 1/8))

simplify2.5s

Counts
38 → 77
Calls

38 calls. Slowest were:

511.0ms
(log (- (pow 1 3) (pow (/ 1 (+ (exp (- s)) 1)) 3)))
426.0ms
(* (* (* (* t t) (* t t)) (* t t)) (* (* (* c_p 1/8) (* c_p 1/8)) (* c_p 1/8)))
425.0ms
(log (- (pow 1 3) (pow (/ 1 (+ (exp (- t)) 1)) 3)))

prune1.8s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize19.0ms

Local error

Found 4 expressions with local error:

9.1b
(- (* (log (+ (exp (- t)) 1)) c_p) (* (log (+ (exp (- s)) 1)) c_p))
2.2b
(log (+ (exp (- t)) 1))
0.3b
(log (+ (exp (- s)) 1))
0.3b
(* c_n (+ (* 1/2 (- t s)) (* -1/8 (* s s))))

rewrite34.0ms

Algorithm
rewrite-expression-head
Counts
4 → 56
Calls

4 calls. Slowest were:

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

series297.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

117.0ms
(- (* (log (+ (exp (- t)) 1)) c_p) (* (log (+ (exp (- s)) 1)) c_p))
66.0ms
(* c_n (+ (* 1/2 (- t s)) (* -1/8 (* s s))))
59.0ms
(log (+ (exp (- s)) 1))
55.0ms
(log (+ (exp (- t)) 1))

simplify2.0s

Counts
33 → 68
Calls

33 calls. Slowest were:

278.0ms
(- (+ (* 1/8 (* (pow t 2) c_p)) (* 1/2 (* c_p s))) (* 1/2 (* t c_p)))
255.0ms
(- (* 1/2 (* t c_n)) (+ (* 1/2 (* c_n s)) (* 1/8 (* c_n (pow s 2)))))
246.0ms
(- (* 1/2 (* t c_n)) (+ (* 1/2 (* c_n s)) (* 1/8 (* c_n (pow s 2)))))

prune1.5s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes279.0ms

bsearch6.0ms

end0.0ms

Reproduce

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