Timeout in 10.0m

Use the --timeout flag to change the timeout.

Details

Time bar (total: 2.5m)Debug log

start1.2m

Algorithm
intervals

setup115.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.9b

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

rewrite22.0ms

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

series662.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

569.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)))
54.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
22.0ms
(- 1 (/ 1 (+ 1 (exp (- s)))))
16.0ms
(/ 1 (+ 1 (exp (- s))))

simplify52.0s

Counts
206 → 254
Calls

206 calls. Slowest were:

660.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)))
635.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))))
472.0ms
(- (+ (log (pow (/ 1 (+ 1 (exp (- s)))) c_p)) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (log (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))))

prune4.4s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.6b

localize69.0ms

Local error

Found 4 expressions with local error:

11.4b
(- (log1p (exp (- s))) (log1p (exp (- t))))
5.3b
(- (* c_n (log1p (/ -1 (+ (exp (- s)) 1)))) (fma c_n (log1p (/ -1 (+ (exp (- t)) 1))) (* c_p (- (log1p (exp (- s))) (log1p (exp (- t)))))))
2.2b
(log1p (exp (- t)))
0.3b
(log1p (/ -1 (+ (exp (- s)) 1)))

rewrite19.0ms

Algorithm
rewrite-expression-head
Counts
4 → 72
Calls

4 calls. Slowest were:

10.0ms
(- (log1p (exp (- s))) (log1p (exp (- t))))
7.0ms
(- (* c_n (log1p (/ -1 (+ (exp (- s)) 1)))) (fma c_n (log1p (/ -1 (+ (exp (- t)) 1))) (* c_p (- (log1p (exp (- s))) (log1p (exp (- t)))))))
1.0ms
(log1p (/ -1 (+ (exp (- s)) 1)))

series558.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

356.0ms
(- (* c_n (log1p (/ -1 (+ (exp (- s)) 1)))) (fma c_n (log1p (/ -1 (+ (exp (- t)) 1))) (* c_p (- (log1p (exp (- s))) (log1p (exp (- t)))))))
91.0ms
(- (log1p (exp (- s))) (log1p (exp (- t))))
59.0ms
(log1p (/ -1 (+ (exp (- s)) 1)))
52.0ms
(log1p (exp (- t)))

simplify3.5s

Counts
49 → 84
Calls

49 calls. Slowest were:

443.0ms
(fma (- (sqrt (fma c_n (log1p (/ -1 (+ (exp (- t)) 1))) (* c_p (- (log1p (exp (- s))) (log1p (exp (- t)))))))) (sqrt (fma c_n (log1p (/ -1 (+ (exp (- t)) 1))) (* c_p (- (log1p (exp (- s))) (log1p (exp (- t))))))) (* (sqrt (fma c_n (log1p (/ -1 (+ (exp (- t)) 1))) (* c_p (- (log1p (exp (- s))) (log1p (exp (- t))))))) (sqrt (fma c_n (log1p (/ -1 (+ (exp (- t)) 1))) (* c_p (- (log1p (exp (- s))) (log1p (exp (- t)))))))))
403.0ms
(fma (- (cbrt (fma c_n (log1p (/ -1 (+ (exp (- t)) 1))) (* c_p (- (log1p (exp (- s))) (log1p (exp (- t)))))))) (* (cbrt (fma c_n (log1p (/ -1 (+ (exp (- t)) 1))) (* c_p (- (log1p (exp (- s))) (log1p (exp (- t))))))) (cbrt (fma c_n (log1p (/ -1 (+ (exp (- t)) 1))) (* c_p (- (log1p (exp (- s))) (log1p (exp (- t)))))))) (* (cbrt (fma c_n (log1p (/ -1 (+ (exp (- t)) 1))) (* c_p (- (log1p (exp (- s))) (log1p (exp (- t))))))) (* (cbrt (fma c_n (log1p (/ -1 (+ (exp (- t)) 1))) (* c_p (- (log1p (exp (- s))) (log1p (exp (- t))))))) (cbrt (fma c_n (log1p (/ -1 (+ (exp (- t)) 1))) (* c_p (- (log1p (exp (- s))) (log1p (exp (- t))))))))))
317.0ms
(- (+ (* c_p (log (+ (exp (* -1 t)) 1))) (* c_n (log (- 1 (/ 1 (+ (exp (* -1 s)) 1)))))) (+ (* c_p (log (+ (exp (* -1 s)) 1))) (* (log (- 1 (/ 1 (+ (exp (* -1 t)) 1)))) c_n)))

prune1.7s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.6b

localize27.0ms

Local error

Found 4 expressions with local error:

53.4b
(fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t)))))
5.3b
(- (* c_n (log1p (/ -1 (+ (exp (- s)) 1)))) (fma c_n (log1p (/ -1 (+ (exp (- t)) 1))) (* c_p (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t))))))))
2.2b
(log1p (exp (- t)))
0.9b
(sqrt (log1p (exp (- s))))

rewrite8.0ms

Algorithm
rewrite-expression-head
Counts
4 → 54
Calls

4 calls. Slowest were:

6.0ms
(- (* c_n (log1p (/ -1 (+ (exp (- s)) 1)))) (fma c_n (log1p (/ -1 (+ (exp (- t)) 1))) (* c_p (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t))))))))
1.0ms
(sqrt (log1p (exp (- s))))
0.0ms
(fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t)))))

series740.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

460.0ms
(- (* c_n (log1p (/ -1 (+ (exp (- s)) 1)))) (fma c_n (log1p (/ -1 (+ (exp (- t)) 1))) (* c_p (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t))))))))
150.0ms
(fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t)))))
79.0ms
(sqrt (log1p (exp (- s))))
51.0ms
(log1p (exp (- t)))

simplify3.7s

Counts
25 → 66
Calls

25 calls. Slowest were:

524.0ms
(fma (- (sqrt (fma c_n (log1p (/ -1 (+ (exp (- t)) 1))) (* c_p (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t))))))))) (sqrt (fma c_n (log1p (/ -1 (+ (exp (- t)) 1))) (* c_p (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t)))))))) (* (sqrt (fma c_n (log1p (/ -1 (+ (exp (- t)) 1))) (* c_p (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t)))))))) (sqrt (fma c_n (log1p (/ -1 (+ (exp (- t)) 1))) (* c_p (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t))))))))))
454.0ms
(fma (- (cbrt (fma c_n (log1p (/ -1 (+ (exp (- t)) 1))) (* c_p (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t))))))))) (* (cbrt (fma c_n (log1p (/ -1 (+ (exp (- t)) 1))) (* c_p (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t)))))))) (cbrt (fma c_n (log1p (/ -1 (+ (exp (- t)) 1))) (* c_p (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t))))))))) (* (cbrt (fma c_n (log1p (/ -1 (+ (exp (- t)) 1))) (* c_p (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t)))))))) (* (cbrt (fma c_n (log1p (/ -1 (+ (exp (- t)) 1))) (* c_p (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t)))))))) (cbrt (fma c_n (log1p (/ -1 (+ (exp (- t)) 1))) (* c_p (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t)))))))))))
417.0ms
(fma (- (fma c_n (log1p (/ -1 (+ (exp (- t)) 1))) (* c_p (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t)))))))) 1 (* (fma c_n (log1p (/ -1 (+ (exp (- t)) 1))) (* c_p (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t))))))) 1))

prune1.5s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.6b

localize30.0ms

Local error

Found 4 expressions with local error:

53.4b
(fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t)))))
53.4b
(fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t)))))
53.4b
(fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t)))))
5.3b
(- (* c_n (log1p (/ -1 (+ (exp (- s)) 1)))) (fma c_n (log1p (/ -1 (+ (exp (- t)) 1))) (* c_p (* (* (cbrt (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t)))))) (cbrt (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t))))))) (cbrt (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t))))))))))

rewrite4.0ms

Algorithm
rewrite-expression-head
Counts
4 → 49
Calls

4 calls. Slowest were:

3.0ms
(- (* c_n (log1p (/ -1 (+ (exp (- s)) 1)))) (fma c_n (log1p (/ -1 (+ (exp (- t)) 1))) (* c_p (* (* (cbrt (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t)))))) (cbrt (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t))))))) (cbrt (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t))))))))))
0.0ms
(fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t)))))
0.0ms
(fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t)))))

series931.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

467.0ms
(- (* c_n (log1p (/ -1 (+ (exp (- s)) 1)))) (fma c_n (log1p (/ -1 (+ (exp (- t)) 1))) (* c_p (* (* (cbrt (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t)))))) (cbrt (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t))))))) (cbrt (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t))))))))))
156.0ms
(fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t)))))
155.0ms
(fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t)))))
152.0ms
(fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t)))))

simplify2.5s

Counts
20 → 61
Calls

20 calls. Slowest were:

335.0ms
(fma (- (cbrt (fma c_n (log1p (/ -1 (+ (exp (- t)) 1))) (* c_p (* (* (cbrt (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t)))))) (cbrt (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t))))))) (cbrt (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t))))))))))) (* (cbrt (fma c_n (log1p (/ -1 (+ (exp (- t)) 1))) (* c_p (* (* (cbrt (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t)))))) (cbrt (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t))))))) (cbrt (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t)))))))))) (cbrt (fma c_n (log1p (/ -1 (+ (exp (- t)) 1))) (* c_p (* (* (cbrt (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t)))))) (cbrt (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t))))))) (cbrt (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t))))))))))) (* (cbrt (fma c_n (log1p (/ -1 (+ (exp (- t)) 1))) (* c_p (* (* (cbrt (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t)))))) (cbrt (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t))))))) (cbrt (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t)))))))))) (* (cbrt (fma c_n (log1p (/ -1 (+ (exp (- t)) 1))) (* c_p (* (* (cbrt (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t)))))) (cbrt (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t))))))) (cbrt (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t)))))))))) (cbrt (fma c_n (log1p (/ -1 (+ (exp (- t)) 1))) (* c_p (* (* (cbrt (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t)))))) (cbrt (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t))))))) (cbrt (fma (sqrt (log1p (exp (- s)))) (sqrt (log1p (exp (- s)))) (- (log1p (exp (- t)))))))))))))
271.0ms
(- (+ (* c_n (log (- 1 (/ 1 (+ (exp (- s)) 1))))) (* c_p (log (+ (exp (- t)) 1)))) (+ (* c_p (log (+ (exp (- s)) 1))) (* (log (- 1 (/ 1 (+ (exp (- t)) 1)))) c_n)))
270.0ms
(- (+ (* c_p (log (+ (exp (* -1 t)) 1))) (* c_n (log (- 1 (/ 1 (+ (exp (* -1 s)) 1)))))) (+ (* c_p (log (+ (exp (* -1 s)) 1))) (* (log (- 1 (/ 1 (+ (exp (* -1 t)) 1)))) c_n)))

prune1.2s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.6b

regimes729.0ms

bsearch5.5s

Reproduce

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