Timeout in 10.0m

Use the --timeout flag to change the timeout.

Runtime

Time bar (total: 10.0m)Debug logProfile

start1.3m

Algorithm
intervals

setup95.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.4b

localize58.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))
1.0b
(/ (pow (- 1 (/ 1 (+ (exp (- s)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (- t)) 1))) c_n))
0.7b
(pow (/ 1 (+ (exp (- t)) 1)) c_p)
0.2b
(- 1 (/ 1 (+ (exp (- t)) 1)))

rewrite32.0ms

Algorithm
rewrite-expression-head
Counts
4 → 232
Calls

4 calls. Slowest were:

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

series365.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

155.0ms
(/ (pow (- 1 (/ 1 (+ (exp (- s)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (- t)) 1))) c_n))
137.0ms
(/ (pow (/ 1 (+ (exp (- s)) 1)) c_p) (pow (/ 1 (+ (exp (- t)) 1)) c_p))
52.0ms
(pow (/ 1 (+ (exp (- t)) 1)) c_p)

simplify9.2s

Counts
312 → 244
Calls

312 calls. Slowest were:

192.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))
161.0ms
(/ (pow (/ 1 (+ (exp (- s)) 1)) c_p) (pow (+ (* (exp (- t)) (exp (- t))) (- (* 1 1) (* (exp (- t)) 1))) c_p))
149.0ms
(/ (pow (/ 1 (+ (pow (exp (- s)) 3) (pow 1 3))) c_p) (pow (/ 1 (+ (pow (exp (- t)) 3) (pow 1 3))) c_p))

prune3.7s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize21.0ms

Local error

Found 4 expressions with local error:

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

rewrite22.0ms

Algorithm
rewrite-expression-head
Counts
4 → 125
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))))
1.0ms
(- 1 (/ 1 (+ (exp (- t)) 1)))

series291.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

154.0ms
(/ (pow (- 1 (/ 1 (+ (exp (- s)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (- t)) 1))) c_n))
70.0ms
(- (log1p (exp (- t))) (log1p (exp (- s))))
48.0ms
(log1p (exp (- t)))

simplify2.0s

Counts
133 → 137
Calls

133 calls. Slowest were:

110.0ms
(- (+ (* 1/2 (* t c_n)) 1) (* 1/2 (* c_n s)))
102.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)))
63.0ms
(- (+ (* 1/8 (pow t 2)) (* 1/2 s)) (* 1/2 t))

prune2.2s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize24.0ms

Local error

Found 4 expressions with local error:

8.5b
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))
8.5b
(- (log1p (exp (- t))) (log1p (exp (- s))))
0.7b
(log1p (exp (- t)))
0.3b
(log1p (/ -1 (+ (exp (- t)) 1)))

rewrite9.0ms

Algorithm
rewrite-expression-head
Counts
4 → 84
Calls

4 calls. Slowest were:

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

series267.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

90.0ms
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))
70.0ms
(- (log1p (exp (- t))) (log1p (exp (- s))))
58.0ms
(log1p (/ -1 (+ (exp (- t)) 1)))

simplify1.3s

Counts
68 → 96
Calls

68 calls. Slowest were:

125.0ms
(- (* 1/2 t) (+ (* 1/8 (pow s 2)) (* 1/2 s)))
110.0ms
(- (log 1/2) (+ (* 1/2 t) (* 1/8 (pow t 2))))
62.0ms
(- (+ (* 1/8 (pow t 2)) (* 1/2 s)) (* 1/2 t))

prune1.6s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize26.0ms

Local error

Found 4 expressions with local error:

8.5b
(- (fma (fma 1/8 t -1/2) t (log 2)) (log1p (exp (- s))))
8.5b
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))
0.3b
(log1p (/ -1 (+ (exp (- t)) 1)))
0.2b
(log1p (exp (- s)))

rewrite10.0ms

Algorithm
rewrite-expression-head
Counts
4 → 83
Calls

4 calls. Slowest were:

4.0ms
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))
4.0ms
(- (fma (fma 1/8 t -1/2) t (log 2)) (log1p (exp (- s))))
0.0ms
(log1p (/ -1 (+ (exp (- t)) 1)))

series248.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

100.0ms
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))
60.0ms
(log1p (/ -1 (+ (exp (- t)) 1)))
47.0ms
(log1p (exp (- s)))

simplify2.7s

Counts
67 → 95
Calls

67 calls. Slowest were:

213.0ms
(- (+ (log 2) (* 1/8 (pow t 2))) (+ (log (+ (exp (* -1 s)) 1)) (* 1/2 t)))
196.0ms
(- (+ (log 2) (* 1/8 (pow t 2))) (+ (* 1/2 t) (log (+ (exp (- s)) 1))))
147.0ms
(- (fma (fma 1/8 t -1/2) t (log 2)) (log1p (exp (- s))))

prune2.1s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

regimes233.0ms

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