Timeout in 10.0m

Use the --timeout flag to change the timeout.

Details

Time bar (total: 2.3m)Debug log

start1.2m

Algorithm
intervals

setup84.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.9b

localize83.0ms

Local error

Found 4 expressions with local error:

3.4b
(/ (* (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.9b
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
0.3b
(- 1 (/ 1 (+ 1 (exp (- s)))))
0.0b
(/ 1 (+ 1 (exp (- s))))

rewrite25.0ms

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

series712.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

612.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)))
51.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
31.0ms
(- 1 (/ 1 (+ 1 (exp (- s)))))
17.0ms
(/ 1 (+ 1 (exp (- s))))

simplify45.7s

Counts
206 → 246
Calls

206 calls. Slowest were:

664.0ms
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (log (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n))) (+ (log (pow (/ 1 (+ 1 (exp (- t)))) c_p)) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))
367.0ms
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (log (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n))) (+ (log (pow (/ 1 (+ 1 (exp (- t)))) c_p)) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))
365.0ms
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (log (pow (/ 1 (+ 1 (exp (- t)))) c_p)) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))

prune3.5s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.6b

localize46.0ms

Local error

Found 4 expressions with local error:

11.4b
(- (log (+ (exp (- s)) 1)) (log (+ (exp (- t)) 1)))
11.3b
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
2.2b
(log (+ (exp (- t)) 1))
0.3b
(log (+ (exp (- s)) 1))

rewrite25.0ms

Algorithm
rewrite-expression-head
Counts
4 → 82
Calls

4 calls. Slowest were:

10.0ms
(- (log (+ (exp (- s)) 1)) (log (+ (exp (- t)) 1)))
7.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
3.0ms
(log (+ (exp (- t)) 1))

series260.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

88.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
71.0ms
(- (log (+ (exp (- s)) 1)) (log (+ (exp (- t)) 1)))
51.0ms
(log (+ (exp (- s)) 1))
50.0ms
(log (+ (exp (- t)) 1))

simplify1.2s

Counts
58 → 94
Calls

58 calls. Slowest were:

242.0ms
(log (- (pow 1 3) (pow (/ 1 (+ (exp (- s)) 1)) 3)))
80.0ms
(log (+ (* (exp (- t)) (exp (- t))) (- (* 1 1) (* (exp (- t)) 1))))
74.0ms
(/ (- 1 (/ 1 (+ (exp (- s)) 1))) (- 1 (/ 1 (+ (exp (- t)) 1))))

prune1.5s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize21.0ms

Local error

Found 4 expressions with local error:

11.4b
(- (log (+ (exp (- s)) 1)) (log (+ (exp (- t)) 1)))
2.2b
(log (+ (exp (- t)) 1))
0.3b
(log (+ (exp (- s)) 1))
0.0b
(* (- (log (+ (exp (- s)) 1)) (log (+ (exp (- t)) 1))) c_p)

rewrite28.0ms

Algorithm
rewrite-expression-head
Counts
4 → 73
Calls

4 calls. Slowest were:

10.0ms
(- (log (+ (exp (- s)) 1)) (log (+ (exp (- t)) 1)))
10.0ms
(* (- (log (+ (exp (- s)) 1)) (log (+ (exp (- t)) 1))) c_p)
4.0ms
(log (+ (exp (- t)) 1))

series287.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

116.0ms
(* (- (log (+ (exp (- s)) 1)) (log (+ (exp (- t)) 1))) c_p)
73.0ms
(- (log (+ (exp (- s)) 1)) (log (+ (exp (- t)) 1)))
49.0ms
(log (+ (exp (- s)) 1))
49.0ms
(log (+ (exp (- t)) 1))

simplify892.0ms

Counts
46 → 85
Calls

46 calls. Slowest were:

210.0ms
(* (- (* (log (+ (exp (- s)) 1)) (log (+ (exp (- s)) 1))) (* (log (+ (exp (- t)) 1)) (log (+ (exp (- t)) 1)))) c_p)
81.0ms
(log (+ (* (exp (- t)) (exp (- t))) (- (* 1 1) (* (exp (- t)) 1))))
53.0ms
(* (- (pow (log (+ (exp (- s)) 1)) 3) (pow (log (+ (exp (- t)) 1)) 3)) c_p)

prune1.4s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

localize32.0ms

Local error

Found 4 expressions with local error:

53.6b
(- (+ (log (* (cbrt (+ (exp (- s)) 1)) (cbrt (+ (exp (- s)) 1)))) (log (cbrt (+ (exp (- s)) 1)))) (log (+ (exp (- t)) 1)))
2.2b
(log (+ (exp (- t)) 1))
1.2b
(log (* (cbrt (+ (exp (- s)) 1)) (cbrt (+ (exp (- s)) 1))))
0.9b
(cbrt (+ (exp (- s)) 1))

rewrite292.0ms

Algorithm
rewrite-expression-head
Counts
4 → 96
Calls

4 calls. Slowest were:

272.0ms
(- (+ (log (* (cbrt (+ (exp (- s)) 1)) (cbrt (+ (exp (- s)) 1)))) (log (cbrt (+ (exp (- s)) 1)))) (log (+ (exp (- t)) 1)))
12.0ms
(log (* (cbrt (+ (exp (- s)) 1)) (cbrt (+ (exp (- s)) 1))))
4.0ms
(log (+ (exp (- t)) 1))

series478.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

176.0ms
(- (+ (log (* (cbrt (+ (exp (- s)) 1)) (cbrt (+ (exp (- s)) 1)))) (log (cbrt (+ (exp (- s)) 1)))) (log (+ (exp (- t)) 1)))
154.0ms
(log (* (cbrt (+ (exp (- s)) 1)) (cbrt (+ (exp (- s)) 1))))
100.0ms
(cbrt (+ (exp (- s)) 1))
48.0ms
(log (+ (exp (- t)) 1))

simplify2.6s

Counts
71 → 108
Calls

71 calls. Slowest were:

241.0ms
(- (+ (* 1/2 t) (+ (log (pow 2 1/3)) (log (pow 4 1/3)))) (+ (* 1/2 s) (log 2)))
127.0ms
(- (+ (log (pow (pow (+ (exp (- s)) 1) 2) 1/3)) (log (pow (+ (exp (- s)) 1) 1/3))) (log (+ (exp (- t)) 1)))
109.0ms
(- (+ (* 1/18 (* (pow 2 1/3) (pow s 2))) (pow 2 1/3)) (* 1/6 (* (pow 2 1/3) s)))

prune2.2s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

regimes412.0ms

bsearch8.5s

Reproduce

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