Timeout in 10.0m

Use the --timeout flag to change the timeout.

Runtime

Time bar (total: 10.0m)Debug logProfile

start1.3m

Algorithm
intervals

setup141.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.4b

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

rewrite45.0ms

Algorithm
rewrite-expression-head
Counts
4 → 224
Calls

4 calls. Slowest were:

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

series416.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

177.0ms
(/ (pow (- 1 (/ 1 (+ (exp (- s)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (- t)) 1))) c_n))
161.0ms
(/ (pow (/ 1 (+ (exp (- s)) 1)) c_p) (pow (/ 1 (+ (exp (- t)) 1)) c_p))
58.0ms
(pow (/ 1 (+ (exp (- t)) 1)) c_p)

simplify10.5s

Counts
312 → 236
Calls

312 calls. Slowest were:

231.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))
181.0ms
(/ (pow (+ (* (exp (- s)) (exp (- s))) (- (* 1 1) (* (exp (- s)) 1))) c_p) (cbrt (pow (/ 1 (+ (exp (- t)) 1)) c_p)))
171.0ms
(- (* (log (/ 1 (+ (exp (- s)) 1))) c_p) (* (log (/ 1 (+ (exp (- t)) 1))) c_p))

prune4.5s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize20.0ms

Local error

Found 4 expressions with local error:

8.5b
(- (log (+ 1 (exp (- t)))) (log (+ (exp (- s)) 1)))
1.0b
(/ (pow (- 1 (/ 1 (+ (exp (- s)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (- t)) 1))) c_n))
1.0b
(log (+ 1 (exp (- t))))
0.3b
(log (+ (exp (- s)) 1))

rewrite41.0ms

Algorithm
rewrite-expression-head
Counts
4 → 123
Calls

4 calls. Slowest were:

20.0ms
(/ (pow (- 1 (/ 1 (+ (exp (- s)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (- t)) 1))) c_n))
8.0ms
(- (log (+ 1 (exp (- t)))) (log (+ (exp (- s)) 1)))
7.0ms
(log (+ (exp (- s)) 1))

series375.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

177.0ms
(/ (pow (- 1 (/ 1 (+ (exp (- s)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (- t)) 1))) c_n))
73.0ms
(log (+ 1 (exp (- t))))
68.0ms
(- (log (+ 1 (exp (- t)))) (log (+ (exp (- s)) 1)))

simplify2.6s

Counts
134 → 135
Calls

134 calls. Slowest were:

134.0ms
(log (+ (* (exp (- s)) (exp (- s))) (- (* 1 1) (* (exp (- s)) 1))))
123.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)))
95.0ms
(- (+ (* 1/2 (* t c_n)) 1) (* 1/2 (* c_n s)))

prune3.2s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize39.0ms

Local error

Found 4 expressions with local error:

8.5b
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
8.5b
(- (log (+ 1 (exp (- t)))) (log (+ (exp (- s)) 1)))
1.0b
(log (+ 1 (exp (- t))))
0.3b
(log (+ (exp (- s)) 1))

rewrite42.0ms

Algorithm
rewrite-expression-head
Counts
4 → 82
Calls

4 calls. Slowest were:

16.0ms
(- (log (+ 1 (exp (- t)))) (log (+ (exp (- s)) 1)))
14.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
7.0ms
(log (+ (exp (- s)) 1))

series300.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

104.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
78.0ms
(- (log (+ 1 (exp (- t)))) (log (+ (exp (- s)) 1)))
60.0ms
(log (+ (exp (- s)) 1))

simplify1.8s

Counts
58 → 94
Calls

58 calls. Slowest were:

351.0ms
(log (- (pow 1 3) (pow (/ 1 (+ (exp (- s)) 1)) 3)))
142.0ms
(log (+ (* (exp (- s)) (exp (- s))) (- (* 1 1) (* (exp (- s)) 1))))
105.0ms
(log (+ (pow 1 3) (pow (exp (- t)) 3)))

prune2.0s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize33.0ms

Local error

Found 4 expressions with local error:

8.5b
(- (- (+ (log 2) (* 1/8 (pow t 2))) (* 1/2 t)) (log (+ (exp (- s)) 1)))
8.5b
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
0.3b
(log (+ (exp (- s)) 1))
0.3b
(log (- 1 (/ 1 (+ (exp (- s)) 1))))

rewrite119.0ms

Algorithm
rewrite-expression-head
Counts
4 → 81
Calls

4 calls. Slowest were:

93.0ms
(- (- (+ (log 2) (* 1/8 (pow t 2))) (* 1/2 t)) (log (+ (exp (- s)) 1)))
15.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
7.0ms
(log (+ (exp (- s)) 1))

series251.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

89.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
67.0ms
(log (- 1 (/ 1 (+ (exp (- s)) 1))))
60.0ms
(log (+ (exp (- s)) 1))

simplify3.4s

Counts
57 → 93
Calls

57 calls. Slowest were:

348.0ms
(- (- (+ (log 2) (* 1/8 (pow t 2))) (* 1/2 t)) (log (+ (exp (- s)) 1)))
341.0ms
(- (- (+ (log 2) (* 1/8 (pow t 2))) (* 1/2 t)) (log (+ (exp (- s)) 1)))
336.0ms
(log (- (pow 1 3) (pow (/ 1 (+ (exp (- s)) 1)) 3)))

prune2.6s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

regimes331.0ms

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