Details

Time bar (total: 3.3m)

sample59.2s

Algorithm
intervals
Results
58.3s3205×body10240exit
391.0ms4×body1280valid
242.0ms3461×pre80true
80.0ms245×body80valid
7.0ms1×body5120valid
3.0ms3×body320valid
2.0ms3×body160valid

simplify534.0ms

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

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.1b

localize45.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.9b
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
0.7b
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
0.1b
(- 1 (/ 1 (+ 1 (exp (- t)))))

rewrite211.0ms

Algorithm
rewrite-expression-head
Rules
1192×add-exp-log
692×pow-exp
684×prod-exp
593×div-exp
344×pow-to-exp
116×rec-exp 1-exp
42×*-un-lft-identity
36×unpow-prod-down
33×add-sqr-sqrt
29×times-frac
22×add-cube-cbrt
16×add-cbrt-cube
8×pow1
6×pow-unpow pow-pow distribute-lft-out add-log-exp difference-of-squares
4×cbrt-undiv associate-/r/ cbrt-unprod insert-posit16 div-inv
2×flip3-+ flip-+ pow-flip distribute-lft-out-- inv-pow sqr-pow
1×clear-num associate-/r* sub-neg frac-2neg flip3-- diff-log flip-- associate-/l*
Counts
4 → 476
Calls
4 calls:
Slowest
144.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)))
27.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))
12.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
12.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)

series699.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
554.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)))
58.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
57.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
29.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))

simplify1.8m

Counts
450 → 488
Calls
450 calls:
Slowest
2.8s
(/ (* (* (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 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)) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))))
2.6s
(/ (* (* (* (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 (+ 1 (exp (- t))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))))
2.5s
(/ (* (* (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 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 (exp (- t)))) c_p)) (pow (/ 1 (+ 1 (exp (- t)))) c_p)) (* (* (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))))
2.4s
(/ (* (* (* (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 (- 1 (/ 1 (+ 1 (exp (- t))))) c_n) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))))
772.0ms
(/ (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))

prune6.0s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.3b

localize57.0ms

Local error

Found 4 expressions with local error:

10.6b
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
10.6b
(+ (log (/ 1 (+ (exp (- s)) 1))) (log (+ (exp (- t)) 1)))
2.1b
(log (+ (exp (- t)) 1))
0.8b
(log (/ 1 (+ (exp (- s)) 1)))

rewrite127.0ms

Algorithm
rewrite-expression-head
Rules
66×log-prod
64×*-un-lft-identity
48×add-sqr-sqrt
32×times-frac
24×add-cube-cbrt
18×associate-+l+
15×pow1
13×difference-of-squares
12×log-pow distribute-lft-out
11×associate--l+ associate--r+
10×log-div add-exp-log
8×distribute-lft-out--
5×flip3-+ rem-log-exp flip-+
4×associate-+r+ add-cbrt-cube associate-/r/ insert-posit16 div-inv add-log-exp
3×flip3-- flip--
2×associate--l- associate-+r- div-exp associate--r-
1×+-commutative rec-exp sum-log sub-neg diff-log 1-exp log-rec associate-+l- pow-flip inv-pow
Counts
4 → 136
Calls
4 calls:
Slowest
84.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
24.0ms
(+ (log (/ 1 (+ (exp (- s)) 1))) (log (+ (exp (- t)) 1)))
8.0ms
(log (/ 1 (+ (exp (- s)) 1)))
8.0ms
(log (+ (exp (- t)) 1))

series279.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
101.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
69.0ms
(+ (log (/ 1 (+ (exp (- s)) 1))) (log (+ (exp (- t)) 1)))
54.0ms
(log (+ (exp (- t)) 1))
54.0ms
(log (/ 1 (+ (exp (- s)) 1)))

simplify4.1s

Counts
106 → 148
Calls
106 calls:
Slowest
263.0ms
(log (+ (pow (exp (- t)) 3) (pow 1 3)))
250.0ms
(log (/ 1 (+ (pow (exp (- s)) 3) (pow 1 3))))
248.0ms
(log (/ 1 (+ (pow (exp (- s)) 3) (pow 1 3))))
220.0ms
(log (- (pow 1 3) (pow (/ 1 (+ (exp (- s)) 1)) 3)))
159.0ms
(- (log (- 1 (/ 1 (+ (exp (* -1 s)) 1)))) (log (- 1 (/ 1 (+ (exp (* -1 t)) 1)))))

prune2.1s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize64.0ms

Local error

Found 4 expressions with local error:

10.6b
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
0.1b
(- 1 (/ 1 (+ (exp (- t)) 1)))
0.1b
(log (- 1 (/ 1 (+ (exp (- t)) 1))))
0.1b
(* c_n (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1))))))

rewrite257.0ms

Algorithm
rewrite-expression-head
Rules
83×add-sqr-sqrt
67×*-un-lft-identity
55×log-prod
38×difference-of-squares
33×associate--l+
24×times-frac
20×distribute-lft-out--
15×distribute-rgt-in pow1 distribute-lft-in
11×add-cube-cbrt associate--r+
10×log-div
9×log-pow
8×flip3-- associate-*r* flip--
7×add-exp-log
6×add-cbrt-cube div-inv associate--r- add-log-exp
4×sub-neg insert-posit16
3×associate-*l*
2×associate--l- diff-log associate-*r/
1×rem-log-exp pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 144
Calls
4 calls:
Slowest
93.0ms
(* c_n (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1))))))
82.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
41.0ms
(- 1 (/ 1 (+ (exp (- t)) 1)))
38.0ms
(log (- 1 (/ 1 (+ (exp (- t)) 1))))

series343.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
146.0ms
(* c_n (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1))))))
102.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
64.0ms
(log (- 1 (/ 1 (+ (exp (- t)) 1))))
31.0ms
(- 1 (/ 1 (+ (exp (- t)) 1)))

simplify6.5s

Counts
121 → 156
Calls
121 calls:
Slowest
772.0ms
(* (* (* c_n c_n) c_n) (* (* (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1))))) (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))))
339.0ms
(- (+ (* 1/48 (pow t 3)) 1/2) (* 1/4 t))
221.0ms
(log (- (pow 1 3) (pow (/ 1 (+ (exp (- s)) 1)) 3)))
218.0ms
(log (- (pow 1 3) (pow (/ 1 (+ (exp (- t)) 1)) 3)))
209.0ms
(- (* 1/2 (* t c_n)) (+ (* 1/2 (* c_n s)) (* 1/8 (* c_n (pow s 2)))))

prune2.4s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize68.0ms

Local error

Found 4 expressions with local error:

10.6b
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (log (exp (- 1 (/ 1 (+ 1 (exp (- t)))))))))
0.1b
(log (exp (- 1 (/ 1 (+ 1 (exp (- t)))))))
0.1b
(- 1 (/ 1 (+ 1 (exp (- t)))))
0.1b
(log (log (exp (- 1 (/ 1 (+ 1 (exp (- t))))))))

rewrite326.0ms

Algorithm
rewrite-expression-head
Rules
68×add-sqr-sqrt
55×*-un-lft-identity
46×log-prod
41×log-pow
33×exp-prod
31×difference-of-squares
20×times-frac
15×associate--r+
14×distribute-lft-out--
12×pow1
11×associate--l+ add-cube-cbrt
6×add-log-exp
5×add-exp-log div-inv
4×add-cbrt-cube insert-posit16
3×log-div sub-neg flip3-- flip--
2×associate--l- diff-log rem-log-exp exp-sum
1×exp-diff
Counts
4 → 119
Calls
4 calls:
Slowest
122.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (log (exp (- 1 (/ 1 (+ 1 (exp (- t)))))))))
102.0ms
(log (exp (- 1 (/ 1 (+ 1 (exp (- t)))))))
73.0ms
(log (log (exp (- 1 (/ 1 (+ 1 (exp (- t))))))))
26.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))

series225.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
105.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (log (exp (- 1 (/ 1 (+ 1 (exp (- t)))))))))
62.0ms
(log (log (exp (- 1 (/ 1 (+ 1 (exp (- t))))))))
30.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))
27.0ms
(log (exp (- 1 (/ 1 (+ 1 (exp (- t)))))))

simplify3.7s

Counts
95 → 131
Calls
95 calls:
Slowest
349.0ms
(- (+ (* 1/48 (pow t 3)) 1/2) (* 1/4 t))
346.0ms
(- (+ (* 1/48 (pow t 3)) 1/2) (* 1/4 t))
220.0ms
(log (- (pow 1 3) (pow (/ 1 (+ (exp (- s)) 1)) 3)))
158.0ms
(- (log (- 1 (/ 1 (+ (exp (* -1 s)) 1)))) (log (- 1 (/ 1 (+ (exp (* -1 t)) 1)))))
134.0ms
(/ (- 1 (/ 1 (+ (exp (- s)) 1))) (log (exp (- 1 (/ 1 (+ 1 (exp (- t))))))))

prune2.2s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

regimes140.0ms

bsearch5.0ms

end0.0ms