Timeout in 10.0m

Use the --timeout flag to change the timeout.

Details

Time bar (total: 1.8m)Debug log

start1.2m

Algorithm
intervals

setup123.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.4b

localize55.0ms

Local error

Found 4 expressions with local error:

2.0b
(/ (pow (/ 1 (+ (exp (- s)) 1)) c_p) (pow (/ 1 (+ (exp (- t)) 1)) c_p))
0.7b
(pow (/ 1 (+ (exp (- s)) 1)) c_p)
0.7b
(pow (/ 1 (+ (exp (- t)) 1)) c_p)
0.2b
(/ (pow (- 1 (/ 1 (+ (exp (- s)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (- t)) 1))) c_n))

rewrite56.0ms

Algorithm
rewrite-expression-head
Counts
4 → 240
Calls

4 calls. Slowest were:

25.0ms
(/ (pow (- 1 (/ 1 (+ (exp (- s)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (- t)) 1))) c_n))
18.0ms
(/ (pow (/ 1 (+ (exp (- s)) 1)) c_p) (pow (/ 1 (+ (exp (- t)) 1)) c_p))
4.0ms
(pow (/ 1 (+ (exp (- s)) 1)) c_p)

series449.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

184.0ms
(/ (pow (- 1 (/ 1 (+ (exp (- s)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (- t)) 1))) c_n))
153.0ms
(/ (pow (/ 1 (+ (exp (- s)) 1)) c_p) (pow (/ 1 (+ (exp (- t)) 1)) c_p))
59.0ms
(pow (/ 1 (+ (exp (- s)) 1)) c_p)
53.0ms
(pow (/ 1 (+ (exp (- t)) 1)) c_p)

simplify11.9s

Counts
323 → 252
Calls

323 calls. Slowest were:

229.0ms
(/ (pow (/ 1 (+ (exp (- s)) 1)) c_p) (pow (+ (* (exp (- t)) (exp (- t))) (- (* 1 1) (* (exp (- t)) 1))) c_p))
229.0ms
(/ (pow (+ (* (exp (- s)) (exp (- s))) (- (* 1 1) (* (exp (- s)) 1))) c_p) (pow (+ (* (exp (- t)) (exp (- t))) (- (* 1 1) (* (exp (- t)) 1))) c_p))
206.0ms
(/ (pow (+ (* (exp (- s)) (exp (- s))) (- (* 1 1) (* (exp (- s)) 1))) c_p) (cbrt (pow (/ 1 (+ (exp (- t)) 1)) c_p)))

prune4.8s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize27.0ms

Local error

Found 4 expressions with local error:

13.2b
(- (log1p (exp (- t))) (log1p (exp (- s))))
0.7b
(log1p (exp (- s)))
0.7b
(log1p (exp (- t)))
0.2b
(/ (pow (- 1 (/ 1 (+ (exp (- s)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (- t)) 1))) c_n))

rewrite21.0ms

Algorithm
rewrite-expression-head
Counts
4 → 123
Calls

4 calls. Slowest were:

15.0ms
(/ (pow (- 1 (/ 1 (+ (exp (- s)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (- t)) 1))) c_n))
4.0ms
(- (log1p (exp (- t))) (log1p (exp (- s))))
0.0ms
(log1p (exp (- s)))

series398.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

185.0ms
(/ (pow (- 1 (/ 1 (+ (exp (- s)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (- t)) 1))) c_n))
89.0ms
(- (log1p (exp (- t))) (log1p (exp (- s))))
65.0ms
(log1p (exp (- s)))
58.0ms
(log1p (exp (- t)))

simplify2.6s

Counts
134 → 135
Calls

134 calls. Slowest were:

138.0ms
(- (+ (* 1/2 (* t c_n)) 1) (* 1/2 (* c_n s)))
134.0ms
(/ (* (* (pow (- 1 (/ 1 (+ (exp (- s)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (- s)) 1))) c_n)) (pow (- 1 (/ 1 (+ (exp (- s)) 1))) c_n)) (* (* (pow (- 1 (/ 1 (+ (exp (- t)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (- t)) 1))) c_n)) (pow (- 1 (/ 1 (+ (exp (- t)) 1))) c_n)))
90.0ms
(- (+ (log 2) (* 1/8 (pow s 2))) (* 1/2 s))

prune2.5s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (pow (- 1 (/ 1 (+ (exp (- s)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (- t)) 1))) c_n))
0.0b
(- 1 (/ 1 (+ (exp (- s)) 1)))
0.0b
(/ 1 (+ (exp (- t)) 1))
0.0b
(* (fma (fma t 1/8 -1/2) t (* 1/2 s)) c_p)

rewrite45.0ms

Algorithm
rewrite-expression-head
Counts
4 → 116
Calls

4 calls. Slowest were:

34.0ms
(/ (pow (- 1 (/ 1 (+ (exp (- s)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (- t)) 1))) c_n))
4.0ms
(/ 1 (+ (exp (- t)) 1))
3.0ms
(- 1 (/ 1 (+ (exp (- s)) 1)))

series276.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

213.0ms
(/ (pow (- 1 (/ 1 (+ (exp (- s)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (- t)) 1))) c_n))
27.0ms
(* (fma (fma t 1/8 -1/2) t (* 1/2 s)) c_p)
21.0ms
(- 1 (/ 1 (+ (exp (- s)) 1)))
16.0ms
(/ 1 (+ (exp (- t)) 1))

simplify2.7s

Counts
113 → 128
Calls

113 calls. Slowest were:

219.0ms
(- (+ (* 1/8 (* (pow t 2) c_p)) (* 1/2 (* c_p s))) (* 1/2 (* t c_p)))
199.0ms
(- (+ (* 1/8 (* (pow t 2) c_p)) (* 1/2 (* c_p s))) (* 1/2 (* t c_p)))
162.0ms
(+ (* (exp (- t)) (exp (- t))) (- (* 1 1) (* (exp (- t)) 1)))

prune3.3s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize45.0ms

Local error

Found 4 expressions with local error:

13.2b
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))
0.0b
(* (- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1)))) c_n)
0.0b
(log1p (/ -1 (+ (exp (- s)) 1)))
0.0b
(/ -1 (+ (exp (- t)) 1))

rewrite16.0ms

Algorithm
rewrite-expression-head
Counts
4 → 76
Calls

4 calls. Slowest were:

7.0ms
(* (- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1)))) c_n)
4.0ms
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))
3.0ms
(/ -1 (+ (exp (- t)) 1))

series441.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

203.0ms
(* (- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1)))) c_n)
118.0ms
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))
97.0ms
(log1p (/ -1 (+ (exp (- s)) 1)))
23.0ms
(/ -1 (+ (exp (- t)) 1))

simplify1.7s

Counts
50 → 88
Calls

50 calls. Slowest were:

218.0ms
(+ (* (exp (- t)) (exp (- t))) (- (* 1 1) (* (exp (- t)) 1)))
208.0ms
(* (- (* (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- s)) 1)))) (* (log1p (/ -1 (+ (exp (- t)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))) c_n)
154.0ms
(- (log 1/2) (+ (* 1/8 (pow s 2)) (* 1/2 s)))

prune2.3s

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

Reproduce

herbie shell --seed 2018362 +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))))