Timeout in 10.0m

Use the --timeout flag to change the timeout.

Details

Time bar (total: 1.9m)Debug log

start1.2m

Algorithm
intervals

setup107.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.6b

localize47.0ms

Local error

Found 4 expressions with local error:

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

rewrite41.0ms

Algorithm
rewrite-expression-head
Counts
4 → 240
Calls

4 calls. Slowest were:

23.0ms
(/ (pow (- 1 (/ 1 (+ (exp (- s)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (- t)) 1))) c_n))
9.0ms
(/ (pow (/ 1 (+ (exp (- s)) 1)) c_p) (pow (/ 1 (+ (exp (- t)) 1)) c_p))
2.0ms
(pow (/ 1 (+ (exp (- t)) 1)) c_p)

series429.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

171.0ms
(/ (pow (- 1 (/ 1 (+ (exp (- s)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (- t)) 1))) c_n))
152.0ms
(/ (pow (/ 1 (+ (exp (- s)) 1)) c_p) (pow (/ 1 (+ (exp (- t)) 1)) c_p))
54.0ms
(pow (/ 1 (+ (exp (- t)) 1)) c_p)
52.0ms
(pow (/ 1 (+ (exp (- s)) 1)) c_p)

simplify11.7s

Counts
323 → 252
Calls

323 calls. Slowest were:

235.0ms
(/ (pow (+ (* (exp (- s)) (exp (- s))) (- (* 1 1) (* (exp (- s)) 1))) c_p) (pow (cbrt (/ 1 (+ (exp (- t)) 1))) c_p))
233.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))
190.0ms
(/ (pow (/ 1 (- (* (exp (- s)) (exp (- s))) (* 1 1))) c_p) (pow (/ 1 (+ (pow (exp (- t)) 3) (pow 1 3))) c_p))

prune4.9s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.2b

localize30.0ms

Local error

Found 4 expressions with local error:

11.9b
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))
1.5b
(/ (pow (/ 1 (+ (exp (- s)) 1)) c_p) (pow (/ 1 (+ (exp (- t)) 1)) c_p))
1.0b
(pow (/ 1 (+ (exp (- t)) 1)) c_p)
0.7b
(pow (/ 1 (+ (exp (- s)) 1)) c_p)

rewrite20.0ms

Algorithm
rewrite-expression-head
Counts
4 → 201
Calls

4 calls. Slowest were:

9.0ms
(/ (pow (/ 1 (+ (exp (- s)) 1)) c_p) (pow (/ 1 (+ (exp (- t)) 1)) c_p))
4.0ms
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))
2.0ms
(pow (/ 1 (+ (exp (- s)) 1)) c_p)

series383.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

153.0ms
(/ (pow (/ 1 (+ (exp (- s)) 1)) c_p) (pow (/ 1 (+ (exp (- t)) 1)) c_p))
111.0ms
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))
60.0ms
(pow (/ 1 (+ (exp (- t)) 1)) c_p)
59.0ms
(pow (/ 1 (+ (exp (- s)) 1)) c_p)

simplify10.8s

Counts
257 → 213
Calls

257 calls. Slowest were:

237.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))
210.0ms
(/ (pow (+ (* (exp (- s)) (exp (- s))) (- (* 1 1) (* (exp (- s)) 1))) c_p) (pow (/ 1 (+ (exp (- t)) 1)) c_p))
187.0ms
(/ (pow (/ 1 (+ (exp (- s)) 1)) c_p) (pow (+ (* (exp (- t)) (exp (- t))) (- (* 1 1) (* (exp (- t)) 1))) c_p))

prune4.8s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.2b

localize18.0ms

Local error

Found 4 expressions with local error:

11.9b
(- (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))

rewrite18.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)
6.0ms
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))
3.0ms
(/ -1 (+ (exp (- t)) 1))

series359.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

170.0ms
(* (- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1)))) c_n)
109.0ms
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))
64.0ms
(log1p (/ -1 (+ (exp (- s)) 1)))
16.0ms
(/ -1 (+ (exp (- t)) 1))

simplify1.6s

Counts
50 → 88
Calls

50 calls. Slowest were:

214.0ms
(* (- (* (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- s)) 1)))) (* (log1p (/ -1 (+ (exp (- t)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))) c_n)
185.0ms
(+ (* (exp (- t)) (exp (- t))) (- (* 1 1) (* (exp (- t)) 1)))
164.0ms
(- (log 1/2) (+ (* 1/8 (pow s 2)) (* 1/2 s)))

prune1.8s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.2b

localize23.0ms

Local error

Found 3 expressions with local error:

0.5b
(* (fma s (fma -1/8 s -1/2) (* 1/2 t)) c_n)
0.0b
(fma s (fma -1/8 s -1/2) (* 1/2 t))
0.0b
(exp (* (fma s (fma -1/8 s -1/2) (* 1/2 t)) c_n))

rewrite5.0ms

Algorithm
rewrite-expression-head
Counts
3 → 35
Calls

3 calls. Slowest were:

3.0ms
(* (fma s (fma -1/8 s -1/2) (* 1/2 t)) c_n)
2.0ms
(exp (* (fma s (fma -1/8 s -1/2) (* 1/2 t)) c_n))
0.0ms
(fma s (fma -1/8 s -1/2) (* 1/2 t))

series92.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

47.0ms
(exp (* (fma s (fma -1/8 s -1/2) (* 1/2 t)) c_n))
24.0ms
(* (fma s (fma -1/8 s -1/2) (* 1/2 t)) c_n)
21.0ms
(fma s (fma -1/8 s -1/2) (* 1/2 t))

simplify2.0s

Counts
14 → 44
Calls

14 calls. Slowest were:

352.0ms
(- (* 1/2 (* t c_n)) (+ (* 1/2 (* c_n s)) (* 1/8 (* c_n (pow s 2)))))
328.0ms
(- (* 1/2 (* t c_n)) (+ (* 1/2 (* c_n s)) (* 1/8 (* c_n (pow s 2)))))
260.0ms
(exp (* (fma s (fma -1/8 s -1/2) (* 1/2 t)) c_n))

prune728.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.2b

regimes476.0ms

bsearch2.0ms

Reproduce

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