Timeout in 10.0m

Use the --timeout flag to change the timeout.

Runtime

Time bar (total: 10.0m)Debug log

start1.1m

Algorithm
intervals

setup118.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.6b

localize65.0ms

Local error

Found 4 expressions with local error:

3.2b
(/ (* (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.5b
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
1.2b
(pow (/ 1 (+ 1 (exp (- t)))) 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)))
2.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
1.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)

series651.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

515.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)))
62.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
50.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)

simplify52.5s

Counts
211 → 255
Calls

211 calls. Slowest were:

600.0ms
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (log (/ 1 (+ 1 (exp (- t))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))
546.0ms
(- (+ (log (pow (/ 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)))
433.0ms
(- (log (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n))) (+ (log (pow (/ 1 (+ 1 (exp (- t)))) c_p)) (log (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))))

prune4.5s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.6b

localize55.0ms

Local error

Found 4 expressions with local error:

10.9b
(- (log1p (exp (- t))) (log1p (exp (- s))))
10.9b
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))
1.7b
(log1p (exp (- s)))
1.5b
(log1p (exp (- t)))

rewrite14.0ms

Algorithm
rewrite-expression-head
Counts
4 → 84
Calls

4 calls. Slowest were:

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

series289.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

96.0ms
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))
83.0ms
(- (log1p (exp (- t))) (log1p (exp (- s))))
61.0ms
(log1p (exp (- t)))

simplify1.6s

Counts
68 → 96
Calls

68 calls. Slowest were:

161.0ms
(- (* 1/2 t) (+ (* 1/8 (pow s 2)) (* 1/2 s)))
85.0ms
(- (+ (* 1/8 (pow t 2)) (* 1/2 s)) (* 1/2 t))
60.0ms
(- (+ (log 2) (* 1/8 (pow s 2))) (* 1/2 s))

prune1.9s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite9.0ms

Algorithm
rewrite-expression-head
Counts
4 → 69
Calls

4 calls. Slowest were:

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

series374.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

163.0ms
(fma c_n (- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1)))) (* c_p (fma (fma t 1/8 -1/2) t (* 1/2 s))))
123.0ms
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))
65.0ms
(log1p (/ -1 (+ (exp (- s)) 1)))

simplify1.7s

Counts
45 → 81
Calls

45 calls. Slowest were:

246.0ms
(- (+ (* 1/8 (* (pow t 2) c_p)) (* 1/2 (* c_p s))) (* 1/2 (* t c_p)))
221.0ms
(- (+ (* 1/8 (* (pow t 2) c_p)) (* 1/2 (* c_p s))) (* 1/2 (* t c_p)))
168.0ms
(- (* 1/2 t) (+ (* 1/8 (pow s 2)) (* 1/2 s)))

prune2.0s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite12.0ms

Algorithm
rewrite-expression-head
Counts
4 → 69
Calls

4 calls. Slowest were:

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

series401.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

180.0ms
(fma c_n (- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1)))) (* c_p (fma (fma t 1/8 -1/2) t (* 1/2 s))))
125.0ms
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))
79.0ms
(log1p (/ -1 (+ (exp (- s)) 1)))

simplify1.6s

Counts
45 → 81
Calls

45 calls. Slowest were:

191.0ms
(- (+ (* 1/8 (* (pow t 2) c_p)) (* 1/2 (* c_p s))) (* 1/2 (* t c_p)))
180.0ms
(+ (* (exp (- s)) (exp (- s))) (- (* 1 1) (* (exp (- s)) 1)))
174.0ms
(- (* 1/2 t) (+ (* 1/8 (pow s 2)) (* 1/2 s)))

prune2.1s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

regimes1.2s

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