Timeout in 10.0m

Use the --timeout flag to change the timeout.

Details

Time bar (total: 2.2m)Debug log

sample1.1m

Algorithm
intervals

simplify89.0ms

Counts
1 → 1
Calls

1 calls. Slowest were:

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

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

rewrite23.0ms

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

series788.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

612.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)))
83.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
69.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
24.0ms
(- 1 (/ 1 (+ 1 (exp (- s)))))

simplify51.6s

Counts
211 → 255
Calls

211 calls. Slowest were:

710.0ms
(- (log (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n))) (+ (* (- (log (+ 1 (exp (- t))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))
572.0ms
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (log (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n))) (+ (* (- (log (+ 1 (exp (- t))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))
461.0ms
(- (+ (* (- (log (+ 1 (exp (- s))))) c_p) (log (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n))) (+ (* (log (/ 1 (+ 1 (exp (- t))))) c_p) (log (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))))

prune4.1s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

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

rewrite14.0ms

Algorithm
rewrite-expression-head
Counts
4 → 69
Calls

4 calls. Slowest were:

8.0ms
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))
5.0ms
(- (* (log1p (exp (- t))) c_p) (* c_p (log1p (exp (- s)))))
0.0ms
(log1p (exp (- t)))

series325.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

117.0ms
(- (* (log1p (exp (- t))) c_p) (* c_p (log1p (exp (- s)))))
90.0ms
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))
67.0ms
(log1p (exp (- t)))
51.0ms
(log1p (exp (- s)))

simplify1.4s

Counts
45 → 81
Calls

45 calls. Slowest were:

235.0ms
(- (+ (* 1/8 (* (pow t 2) c_p)) (* 1/2 (* c_p s))) (* 1/2 (* t c_p)))
170.0ms
(* -1 (* c_p (- (log (+ (exp (* -1 s)) 1)) (log (+ (exp (* -1 t)) 1)))))
145.0ms
(- (* 1/2 t) (+ (* 1/8 (pow s 2)) (* 1/2 s)))

prune1.4s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize19.0ms

Local error

Found 4 expressions with local error:

9.6b
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))
0.1b
(log1p (/ -1 (+ (exp (- s)) 1)))
0.0b
(* (fma t (fma 1/8 t -1/2) (* 1/2 s)) c_p)
0.0b
(/ -1 (+ (exp (- s)) 1))

rewrite11.0ms

Algorithm
rewrite-expression-head
Counts
4 → 72
Calls

4 calls. Slowest were:

4.0ms
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))
3.0ms
(/ -1 (+ (exp (- s)) 1))
2.0ms
(* (fma t (fma 1/8 t -1/2) (* 1/2 s)) c_p)

series199.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

94.0ms
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))
64.0ms
(log1p (/ -1 (+ (exp (- s)) 1)))
25.0ms
(* (fma t (fma 1/8 t -1/2) (* 1/2 s)) c_p)
16.0ms
(/ -1 (+ (exp (- s)) 1))

simplify1.7s

Counts
47 → 84
Calls

47 calls. Slowest were:

192.0ms
(- (+ (* 1/8 (* (pow t 2) c_p)) (* 1/2 (* c_p s))) (* 1/2 (* t c_p)))
182.0ms
(- (+ (* 1/8 (* (pow t 2) c_p)) (* 1/2 (* c_p s))) (* 1/2 (* t c_p)))
179.0ms
(- (* 1/2 t) (+ (* 1/8 (pow s 2)) (* 1/2 s)))

prune1.6s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize33.0ms

Local error

Found 4 expressions with local error:

9.1b
(- (* (log1p (exp (- t))) c_p) (* c_p (log1p (exp (- s)))))
2.2b
(log1p (exp (- t)))
0.3b
(log1p (exp (- s)))
0.2b
(* (log1p (exp (- t))) c_p)

rewrite15.0ms

Algorithm
rewrite-expression-head
Counts
4 → 51
Calls

4 calls. Slowest were:

9.0ms
(- (* (log1p (exp (- t))) c_p) (* c_p (log1p (exp (- s)))))
4.0ms
(* (log1p (exp (- t))) c_p)
1.0ms
(log1p (exp (- t)))

series379.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

153.0ms
(- (* (log1p (exp (- t))) c_p) (* c_p (log1p (exp (- s)))))
96.0ms
(* (log1p (exp (- t))) c_p)
80.0ms
(log1p (exp (- t)))
51.0ms
(log1p (exp (- s)))

simplify937.0ms

Counts
20 → 63
Calls

20 calls. Slowest were:

260.0ms
(- (+ (* 1/8 (* (pow t 2) c_p)) (* (log 2) c_p)) (* 1/2 (* t c_p)))
255.0ms
(- (+ (* 1/8 (* (pow t 2) c_p)) (* 1/2 (* c_p s))) (* 1/2 (* t c_p)))
139.0ms
(* -1 (* c_p (- (log (+ (exp (* -1 s)) 1)) (log (+ (exp (* -1 t)) 1)))))

prune1.1s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes185.0ms

bsearch6.0ms

end0.0ms

Reproduce

herbie shell --seed 2019002 +o rules:numerics
(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))))