Timeout in 10.0m

Use the --timeout flag to change the timeout.

Details

Time bar (total: 3.2m)Debug log

sample1.1m

Algorithm
intervals

simplify117.0ms

Counts
1 → 1
Calls

1 calls. Slowest were:

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

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.9b

localize56.0ms

Local error

Found 4 expressions with local error:

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

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

series663.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

507.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)))
72.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
61.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
23.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))

simplify51.9s

Counts
211 → 247
Calls

211 calls. Slowest were:

622.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)))
564.0ms
(/ (* (* (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 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 (exp (- t)))) c_p)) (pow (/ 1 (+ 1 (exp (- t)))) c_p)) (* (* (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))))
392.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.9s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.7b
(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (+ 1 (* c_p (+ (log 1/2) (* 1/2 t)))) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)))
0.7b
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
0.5b
(- 1 (/ 1 (+ 1 (exp (- t)))))
0.3b
(- 1 (/ 1 (+ 1 (exp (- s)))))

rewrite24.0ms

Algorithm
rewrite-expression-head
Counts
4 → 112
Calls

4 calls. Slowest were:

17.0ms
(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (+ 1 (* c_p (+ (log 1/2) (* 1/2 t)))) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)))
3.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
1.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))

series758.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

658.0ms
(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (+ 1 (* c_p (+ (log 1/2) (* 1/2 t)))) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)))
53.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
25.0ms
(- 1 (/ 1 (+ 1 (exp (- s)))))
22.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))

simplify17.7s

Counts
85 → 124
Calls

85 calls. Slowest were:

392.0ms
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (log (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n))) (+ (log (+ 1 (* c_p (+ (log 1/2) (* 1/2 t))))) (log (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))))
388.0ms
(/ (* (* (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (/ 1 (+ 1 (exp (- s)))) c_p)) (pow (/ 1 (+ 1 (exp (- s)))) c_p)) (* (* (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n))) (* (* (* (+ 1 (* c_p (+ (log 1/2) (* 1/2 t)))) (+ 1 (* c_p (+ (log 1/2) (* 1/2 t))))) (+ 1 (* c_p (+ (log 1/2) (* 1/2 t))))) (* (* (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))))
380.0ms
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (log (* (+ 1 (* c_p (+ (log 1/2) (* 1/2 t)))) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))))

prune2.1s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.7b
(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (+ 1 (* c_p (+ (log 1/2) (* 1/2 t)))) (pow (- (+ (* 1/48 (pow t 3)) 1/2) (* 1/4 t)) c_n)))
0.7b
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
0.3b
(- 1 (/ 1 (+ 1 (exp (- s)))))
0.2b
(* c_p (+ (log 1/2) (* 1/2 t)))

rewrite34.0ms

Algorithm
rewrite-expression-head
Counts
4 → 116
Calls

4 calls. Slowest were:

23.0ms
(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (+ 1 (* c_p (+ (log 1/2) (* 1/2 t)))) (pow (- (+ (* 1/48 (pow t 3)) 1/2) (* 1/4 t)) c_n)))
6.0ms
(* c_p (+ (log 1/2) (* 1/2 t)))
1.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)

series730.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

567.0ms
(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (+ 1 (* c_p (+ (log 1/2) (* 1/2 t)))) (pow (- (+ (* 1/48 (pow t 3)) 1/2) (* 1/4 t)) c_n)))
90.0ms
(* c_p (+ (log 1/2) (* 1/2 t)))
54.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
19.0ms
(- 1 (/ 1 (+ 1 (exp (- s)))))

simplify11.8s

Counts
92 → 128
Calls

92 calls. Slowest were:

431.0ms
(- (+ (* (- (log (+ 1 (exp (- s))))) c_p) (log (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n))) (+ (log (+ 1 (* c_p (+ (log 1/2) (* 1/2 t))))) (* (log (- (+ (* 1/48 (pow t 3)) 1/2) (* 1/4 t))) c_n)))
304.0ms
(/ (* (* (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (/ 1 (+ 1 (exp (- s)))) c_p)) (pow (/ 1 (+ 1 (exp (- s)))) c_p)) (* (* (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n))) (* (* (* (+ 1 (* c_p (+ (log 1/2) (* 1/2 t)))) (+ 1 (* c_p (+ (log 1/2) (* 1/2 t))))) (+ 1 (* c_p (+ (log 1/2) (* 1/2 t))))) (* (* (pow (- (+ (* 1/48 (pow t 3)) 1/2) (* 1/4 t)) c_n) (pow (- (+ (* 1/48 (pow t 3)) 1/2) (* 1/4 t)) c_n)) (pow (- (+ (* 1/48 (pow t 3)) 1/2) (* 1/4 t)) c_n))))
289.0ms
(- (+ (log (pow (/ 1 (+ 1 (exp (- s)))) c_p)) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (log (+ 1 (* c_p (+ (log 1/2) (* 1/2 t))))) (* (log (- (+ (* 1/48 (pow t 3)) 1/2) (* 1/4 t))) c_n)))

prune2.1s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

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

simplify834.0ms

Counts
10 → 20
Calls

10 calls. Slowest were:

318.0ms
(* (- (* c_p c_p) (* c_n c_n)) (* 1/2 s))
316.0ms
(* (* (* (- c_p c_n) (- c_p c_n)) (- c_p c_n)) (* (* (* 1/2 s) (* 1/2 s)) (* 1/2 s)))
91.0ms
(* (- (pow c_p 3) (pow c_n 3)) (* 1/2 s))

prune128.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

regimes562.0ms

bsearch30.9s

end0.0ms

Reproduce

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