Timeout in 10.0m

Use the --timeout flag to change the timeout.

Details

Time bar (total: 10.0m)Debug log

sample1.2m

Algorithm
intervals

simplify103.0ms

Counts
1 → 1
Calls

1 calls. Slowest were:

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

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.4b

localize77.0ms

Local error

Found 4 expressions with local error:

3.9b
(/ (* (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)
0.5b
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
0.0b
(pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)

rewrite48.0ms

Algorithm
rewrite-expression-head
Counts
4 → 237
Calls

4 calls. Slowest were:

27.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)))
4.0ms
(pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)
3.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)

series807.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

595.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)))
79.0ms
(pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)
67.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
65.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)

simplify1.1m

Counts
216 → 249
Calls

216 calls. Slowest were:

776.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)))
691.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 (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))))
474.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)))

prune4.7s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 1 expressions with local error:

0.0b
(* (- c_p c_n) (* 1/2 s))

rewrite4.0ms

Algorithm
rewrite-expression-head
Counts
1 → 17
Calls

1 calls. Slowest were:

4.0ms
(* (- c_p c_n) (* 1/2 s))

series23.0ms

Counts
1 → 3
Calls

1 calls. Slowest were:

23.0ms
(* (- c_p c_n) (* 1/2 s))

simplify1.4s

Counts
10 → 20
Calls

10 calls. Slowest were:

574.0ms
(* (* (* (- c_p c_n) (- c_p c_n)) (- c_p c_n)) (* (* (* 1/2 s) (* 1/2 s)) (* 1/2 s)))
460.0ms
(* (- (* c_p c_p) (* c_n c_n)) (* 1/2 s))
169.0ms
(* (- (pow c_p 3) (pow c_n 3)) (* 1/2 s))

prune265.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 4 expressions with local error:

3.9b
(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (* (pow (sqrt (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n) (pow (sqrt (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n))))
1.5b
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
0.5b
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
0.1b
(pow (sqrt (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)

rewrite101.0ms

Algorithm
rewrite-expression-head
Counts
4 → 607
Calls

4 calls. Slowest were:

48.0ms
(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (* (pow (sqrt (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n) (pow (sqrt (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n))))
5.0ms
(pow (sqrt (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)
3.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)

series880.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

657.0ms
(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (* (pow (sqrt (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n) (pow (sqrt (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n))))
101.0ms
(pow (sqrt (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)
62.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
60.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)

simplify2.8m

Counts
586 → 619
Calls

586 calls. Slowest were:

888.0ms
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (log (/ 1 (+ 1 (exp (- t))))) c_p) (+ (log (pow (sqrt (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)) (log (pow (sqrt (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))))
788.0ms
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (- (log (+ 1 (exp (- t))))) c_p) (+ (* (log (sqrt (- 1 (/ 1 (+ 1 (exp (- t))))))) c_n) (log (pow (sqrt (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))))
754.0ms
(- (+ (* (- (log (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (- (log (+ 1 (exp (- t))))) c_p) (+ (* (log (sqrt (- 1 (/ 1 (+ 1 (exp (- t))))))) c_n) (* (log (sqrt (- 1 (/ 1 (+ 1 (exp (- t))))))) c_n))))

prune9.4s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 4 expressions with local error:

3.9b
(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (* (pow (sqrt (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n) (* (pow (sqrt (sqrt (- 1 (/ 1 (+ 1 (exp (- t))))))) c_n) (pow (sqrt (sqrt (- 1 (/ 1 (+ 1 (exp (- t))))))) c_n)))))
1.5b
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
0.9b
(sqrt (sqrt (- 1 (/ 1 (+ 1 (exp (- t)))))))
0.9b
(sqrt (sqrt (- 1 (/ 1 (+ 1 (exp (- t)))))))

rewrite162.0ms

Algorithm
rewrite-expression-head
Counts
4 → 1701
Calls

4 calls. Slowest were:

50.0ms
(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (* (pow (sqrt (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n) (* (pow (sqrt (sqrt (- 1 (/ 1 (+ 1 (exp (- t))))))) c_n) (pow (sqrt (sqrt (- 1 (/ 1 (+ 1 (exp (- t))))))) c_n)))))
2.0ms
(sqrt (sqrt (- 1 (/ 1 (+ 1 (exp (- t)))))))
2.0ms
(sqrt (sqrt (- 1 (/ 1 (+ 1 (exp (- t)))))))

series948.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

666.0ms
(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (* (pow (sqrt (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n) (* (pow (sqrt (sqrt (- 1 (/ 1 (+ 1 (exp (- t))))))) c_n) (pow (sqrt (sqrt (- 1 (/ 1 (+ 1 (exp (- t))))))) c_n)))))
116.0ms
(sqrt (sqrt (- 1 (/ 1 (+ 1 (exp (- t)))))))
114.0ms
(sqrt (sqrt (- 1 (/ 1 (+ 1 (exp (- t)))))))
52.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)

simplify4.6m

Counts
1680 → 1713
Calls

1680 calls. Slowest were:

532.0ms
(/ (* (* (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (/ 1 (+ 1 (exp (- s)))) c_p)) (pow (/ 1 (+ 1 (exp (- s)))) c_p)) (* (* (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n))) (* (* (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (/ 1 (+ 1 (exp (- t)))) c_p)) (pow (/ 1 (+ 1 (exp (- t)))) c_p)) (* (* (* (pow (sqrt (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n) (pow (sqrt (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)) (pow (sqrt (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)) (* (* (* (pow (sqrt (sqrt (- 1 (/ 1 (+ 1 (exp (- t))))))) c_n) (pow (sqrt (sqrt (- 1 (/ 1 (+ 1 (exp (- t))))))) c_n)) (pow (sqrt (sqrt (- 1 (/ 1 (+ 1 (exp (- t))))))) c_n)) (* (* (pow (sqrt (sqrt (- 1 (/ 1 (+ 1 (exp (- t))))))) c_n) (pow (sqrt (sqrt (- 1 (/ 1 (+ 1 (exp (- t))))))) c_n)) (pow (sqrt (sqrt (- 1 (/ 1 (+ 1 (exp (- t))))))) c_n))))))
517.0ms
(/ (* (* (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (/ 1 (+ 1 (exp (- s)))) c_p)) (pow (/ 1 (+ 1 (exp (- s)))) c_p)) (* (* (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n))) (* (* (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (/ 1 (+ 1 (exp (- t)))) c_p)) (pow (/ 1 (+ 1 (exp (- t)))) c_p)) (* (* (* (pow (sqrt (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n) (pow (sqrt (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)) (pow (sqrt (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)) (* (* (* (pow (sqrt (sqrt (- 1 (/ 1 (+ 1 (exp (- t))))))) c_n) (pow (sqrt (sqrt (- 1 (/ 1 (+ 1 (exp (- t))))))) c_n)) (* (pow (sqrt (sqrt (- 1 (/ 1 (+ 1 (exp (- t))))))) c_n) (pow (sqrt (sqrt (- 1 (/ 1 (+ 1 (exp (- t))))))) c_n))) (* (pow (sqrt (sqrt (- 1 (/ 1 (+ 1 (exp (- t))))))) c_n) (pow (sqrt (sqrt (- 1 (/ 1 (+ 1 (exp (- t))))))) c_n))))))
512.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) (* (pow (sqrt (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n) (* (pow (sqrt (sqrt (- 1 (/ 1 (+ 1 (exp (- t))))))) c_n) (pow (sqrt (sqrt (- 1 (/ 1 (+ 1 (exp (- t))))))) c_n))))))

Reproduce

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