Timeout in 10.0m

Use the --timeout flag to change the timeout.

Details

Time bar (total: 2.3m)Debug log

sample1.1m

Algorithm
intervals

simplify82.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
82.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)))

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.6b

localize52.0ms

Local error

Found 4 expressions with local error:

4.6b
(/ (* (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)))
0.5b
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
0.4b
(- 1 (/ 1 (+ 1 (exp (- s)))))
0.2b
(pow (/ 1 (+ 1 (exp (- t)))) c_p)

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
476×add-exp-log
312×prod-exp
264×pow-exp
184×pow-to-exp
169×div-exp
80×rec-exp
16×add-cbrt-cube
12×unpow-prod-down
8×pow1
6×add-cube-cbrt
6×*-un-lft-identity
6×pow-pow
6×add-sqr-sqrt
4×add-log-exp
4×cbrt-unprod
4×associate-/r/
4×cbrt-undiv
3×div-inv
2×inv-pow
2×pow-flip
2×flip-+
2×flip3-+
1×associate-/l*
1×flip--
1×flip3--
1×times-frac
1×frac-2neg
1×sub-neg
1×associate-/r*
1×clear-num
Counts
4 → 235
Calls
4 calls:
Slowest
21.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)))
3.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
3.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
2.0ms
(- 1 (/ 1 (+ 1 (exp (- s)))))

series729.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
559.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)))
83.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
55.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
33.0ms
(- 1 (/ 1 (+ 1 (exp (- s)))))

simplify54.7s

Counts
211 → 247
Calls
211 calls:
Slowest
655.0ms
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (log (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n))) (+ (* (log (/ 1 (+ 1 (exp (- t))))) c_p) (log (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))))
478.0ms
(- (log (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n))) (+ (* (log (/ 1 (+ 1 (exp (- t))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))
435.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)))
412.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)))
399.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)))

prune4.0s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.2b

localize53.0ms

Local error

Found 4 expressions with local error:

10.1b
(- (log (+ (exp (- t)) 1)) (log (+ (exp (- s)) 1)))
10.0b
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
0.9b
(log (+ (exp (- s)) 1))
0.4b
(- 1 (/ 1 (+ (exp (- s)) 1)))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
17×*-un-lft-identity
15×log-prod
13×pow1
13×add-sqr-sqrt
10×log-div
9×add-cube-cbrt
9×log-pow
8×distribute-lft-out--
6×associate--r+
6×associate--l+
5×flip--
5×add-exp-log
5×flip3--
4×add-log-exp
4×associate--r-
4×add-cbrt-cube
4×associate--l-
3×flip-+
3×flip3-+
3×sub-neg
2×difference-of-squares
2×diff-log
1×rem-log-exp
Counts
4 → 79
Calls
4 calls:
Slowest
10.0ms
(- (log (+ (exp (- t)) 1)) (log (+ (exp (- s)) 1)))
7.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
5.0ms
(log (+ (exp (- s)) 1))
3.0ms
(- 1 (/ 1 (+ (exp (- s)) 1)))

series293.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
118.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
93.0ms
(- (log (+ (exp (- t)) 1)) (log (+ (exp (- s)) 1)))
62.0ms
(log (+ (exp (- s)) 1))
19.0ms
(- 1 (/ 1 (+ (exp (- s)) 1)))

simplify1.5s

Counts
52 → 91
Calls
52 calls:
Slowest
340.0ms
(log (- (pow 1 3) (pow (/ 1 (+ (exp (- s)) 1)) 3)))
102.0ms
(log (+ (* (exp (- s)) (exp (- s))) (- (* 1 1) (* (exp (- s)) 1))))
91.0ms
(log (+ (pow (exp (- s)) 3) (pow 1 3)))
88.0ms
(- (* 1/2 t) (+ (* 1/8 (pow s 2)) (* 1/2 s)))
84.0ms
(log (+ (pow (exp (- t)) 3) (pow 1 3)))

prune1.6s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.2b

localize34.0ms

Local error

Found 4 expressions with local error:

10.1b
(- (log (+ (exp (- t)) 1)) (log (+ (exp (- s)) 1)))
0.9b
(log (+ (exp (- s)) 1))
0.3b
(log (+ (exp (- t)) 1))
0.3b
(* c_n (+ (* 1/2 (- t s)) (* -1/8 (* s s))))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
13×*-un-lft-identity
12×log-prod
11×add-sqr-sqrt
10×pow1
9×add-cube-cbrt
8×log-div
6×log-pow
6×add-exp-log
5×flip-+
5×flip3-+
4×add-log-exp
4×distribute-lft-out--
4×add-cbrt-cube
3×associate--r+
3×associate--l+
3×associate-*r*
2×associate--r-
2×associate-*r/
2×rem-log-exp
2×associate--l-
1×difference-of-squares
1×flip--
1×*-commutative
1×diff-log
1×flip3--
1×distribute-lft-in
1×sub-neg
1×distribute-rgt-in
Counts
4 → 70
Calls
4 calls:
Slowest
11.0ms
(- (log (+ (exp (- t)) 1)) (log (+ (exp (- s)) 1)))
5.0ms
(* c_n (+ (* 1/2 (- t s)) (* -1/8 (* s s))))
4.0ms
(log (+ (exp (- s)) 1))
4.0ms
(log (+ (exp (- t)) 1))

series268.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
85.0ms
(- (log (+ (exp (- t)) 1)) (log (+ (exp (- s)) 1)))
68.0ms
(* c_n (+ (* 1/2 (- t s)) (* -1/8 (* s s))))
58.0ms
(log (+ (exp (- t)) 1))
57.0ms
(log (+ (exp (- s)) 1))

simplify1.5s

Counts
48 → 82
Calls
48 calls:
Slowest
182.0ms
(- (* 1/2 (* t c_n)) (+ (* 1/2 (* c_n s)) (* 1/8 (* c_n (pow s 2)))))
146.0ms
(- (* 1/2 (* t c_n)) (+ (* 1/2 (* c_n s)) (* 1/8 (* c_n (pow s 2)))))
124.0ms
(log (+ (* (exp (- s)) (exp (- s))) (- (* 1 1) (* (exp (- s)) 1))))
89.0ms
(log (+ (pow (exp (- s)) 3) (pow 1 3)))
86.0ms
(log (+ (pow (exp (- t)) 3) (pow 1 3)))

prune1.4s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize13.0ms

Local error

Found 4 expressions with local error:

10.9b
(log (/ (+ (exp (- t)) 1) (+ (exp (- s)) 1)))
0.3b
(* c_n (+ (* 1/2 (- t s)) (* -1/8 (* s s))))
0.0b
(* (log (/ (+ (exp (- t)) 1) (+ (exp (- s)) 1))) c_p)
0.0b
(/ (+ (exp (- t)) 1) (+ (exp (- s)) 1))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
21×add-cube-cbrt
21×*-un-lft-identity
21×add-sqr-sqrt
18×times-frac
15×log-prod
9×add-exp-log
6×add-cbrt-cube
6×pow1
4×add-log-exp
4×flip-+
4×associate-/r/
4×associate-*l*
4×flip3-+
3×associate-/l*
3×associate-*r*
3×associate-/r*
2×associate-/l/
2×div-inv
2×*-commutative
2×log-pow
2×associate-*r/
2×rem-log-exp
2×div-exp
1×distribute-lft-in
1×frac-2neg
1×clear-num
1×log-div
1×cbrt-undiv
1×distribute-rgt-in
Counts
4 → 84
Calls
4 calls:
Slowest
18.0ms
(/ (+ (exp (- t)) 1) (+ (exp (- s)) 1))
11.0ms
(log (/ (+ (exp (- t)) 1) (+ (exp (- s)) 1)))
7.0ms
(* c_n (+ (* 1/2 (- t s)) (* -1/8 (* s s))))
3.0ms
(* (log (/ (+ (exp (- t)) 1) (+ (exp (- s)) 1))) c_p)

series286.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
120.0ms
(* (log (/ (+ (exp (- t)) 1) (+ (exp (- s)) 1))) c_p)
84.0ms
(log (/ (+ (exp (- t)) 1) (+ (exp (- s)) 1)))
42.0ms
(* c_n (+ (* 1/2 (- t s)) (* -1/8 (* s s))))
40.0ms
(/ (+ (exp (- t)) 1) (+ (exp (- s)) 1))

simplify2.4s

Counts
68 → 96
Calls
68 calls:
Slowest
565.0ms
(/ (* (* (+ (exp (- t)) 1) (+ (exp (- t)) 1)) (+ (exp (- t)) 1)) (* (* (+ (exp (- s)) 1) (+ (exp (- s)) 1)) (+ (exp (- s)) 1)))
162.0ms
(- (* 1/2 (* t c_n)) (+ (* 1/2 (* c_n s)) (* 1/8 (* c_n (pow s 2)))))
156.0ms
(- (* 1/2 (* t c_n)) (+ (* 1/2 (* c_n s)) (* 1/8 (* c_n (pow s 2)))))
146.0ms
(+ (* (exp (- s)) (exp (- s))) (- (* 1 1) (* (exp (- s)) 1)))
107.0ms
(+ (pow (exp (- t)) 3) (pow 1 3))

prune1.6s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.2b

regimes158.0ms

bsearch8.0ms

end0.0ms

Reproduce

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