Details

Time bar (total: 3.5m)

sample1.0m

Algorithm
intervals
Results
1.0m2901×body10240exit
320.0ms3157×pre80true
67.0ms245×body80valid
12.0ms4×body1280valid
3.0ms3×body320valid
3.0ms1×body640valid
2.0ms3×body160valid

simplify798.0ms

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

prune22.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.6b

localize65.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)))
1.2b
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
0.2b
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
0.1b
(- 1 (/ 1 (+ 1 (exp (- s)))))

rewrite303.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
208.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)))
38.0ms
(- 1 (/ 1 (+ 1 (exp (- s)))))
14.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
13.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)

series1.0s

Counts
4 → 12
Calls
4 calls:
Slowest
826.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)))
82.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
72.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
36.0ms
(- 1 (/ 1 (+ 1 (exp (- s)))))

simplify2.0m

Counts
450 → 488
Calls
450 calls:
Slowest
2.7s
(/ (* (* (* (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.5s
(/ (* (* (* (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.4s
(/ (* (* (* (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))))
767.0ms
(/ (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))

prune6.0s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize59.0ms

Local error

Found 4 expressions with local error:

10.2b
(- (log (+ (exp (- t)) 1)) (log (+ (exp (- s)) 1)))
10.2b
(- (log (- 1 (/ 1 (+ (exp (- t)) 1)))) (log (- 1 (/ 1 (+ (exp (- s)) 1)))))
1.5b
(log (+ (exp (- t)) 1))
0.5b
(log (- 1 (/ 1 (+ (exp (- t)) 1))))

rewrite154.0ms

Algorithm
rewrite-expression-head
Rules
48×*-un-lft-identity
47×add-sqr-sqrt
45×log-prod
20×difference-of-squares
15×associate--l+ associate--r+
14×pow1 distribute-lft-out--
12×log-div times-frac
10×log-pow add-cube-cbrt
6×add-exp-log
5×flip3-- flip--
4×associate--l- add-cbrt-cube insert-posit16 associate--r- add-log-exp
3×flip3-+ flip-+ div-inv distribute-lft-out
2×sub-neg diff-log rem-log-exp
Counts
4 → 113
Calls
4 calls:
Slowest
85.0ms
(- (log (- 1 (/ 1 (+ (exp (- t)) 1)))) (log (- 1 (/ 1 (+ (exp (- s)) 1)))))
40.0ms
(log (- 1 (/ 1 (+ (exp (- t)) 1))))
19.0ms
(- (log (+ (exp (- t)) 1)) (log (+ (exp (- s)) 1)))
8.0ms
(log (+ (exp (- t)) 1))

series287.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
98.0ms
(- (log (- 1 (/ 1 (+ (exp (- t)) 1)))) (log (- 1 (/ 1 (+ (exp (- s)) 1)))))
71.0ms
(- (log (+ (exp (- t)) 1)) (log (+ (exp (- s)) 1)))
67.0ms
(log (- 1 (/ 1 (+ (exp (- t)) 1))))
50.0ms
(log (+ (exp (- t)) 1))

simplify3.6s

Counts
85 → 125
Calls
85 calls:
Slowest
275.0ms
(log (- (pow 1 3) (pow (/ 1 (+ (exp (- t)) 1)) 3)))
263.0ms
(log (+ (pow (exp (- t)) 3) (pow 1 3)))
261.0ms
(log (+ (pow (exp (- t)) 3) (pow 1 3)))
220.0ms
(log (- (pow 1 3) (pow (/ 1 (+ (exp (- t)) 1)) 3)))
159.0ms
(- (log (- 1 (/ 1 (+ (exp (* -1 t)) 1)))) (log (- 1 (/ 1 (+ (exp (* -1 s)) 1)))))

prune1.7s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize58.0ms

Local error

Found 4 expressions with local error:

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

rewrite466.0ms

Algorithm
rewrite-expression-head
Rules
65×add-sqr-sqrt
52×*-un-lft-identity
44×log-prod
31×difference-of-squares
20×times-frac
14×distribute-lft-out--
11×associate--l+ associate--r+
10×pow1
8×log-div add-cube-cbrt
6×flip3-- add-exp-log log-pow flip-- add-log-exp
5×div-inv
4×add-cbrt-cube insert-posit16
2×associate--l- sub-neg diff-log rem-log-exp associate--r-
Counts
4 → 111
Calls
4 calls:
Slowest
341.0ms
(- (log (- 1 (/ 1 (+ (exp (- t)) 1)))) (log (- 1 (/ 1 (+ (exp (- s)) 1)))))
43.0ms
(- 1 (/ 1 (+ (exp (- s)) 1)))
42.0ms
(log (- 1 (/ 1 (+ (exp (- s)) 1))))
39.0ms
(log (- 1 (/ 1 (+ (exp (- t)) 1))))

series254.0ms

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

simplify3.4s

Counts
88 → 123
Calls
88 calls:
Slowest
345.0ms
(- (+ (* 1/48 (pow s 3)) 1/2) (* 1/4 s))
223.0ms
(log (- (pow 1 3) (pow (/ 1 (+ (exp (- t)) 1)) 3)))
220.0ms
(log (- (pow 1 3) (pow (/ 1 (+ (exp (- s)) 1)) 3)))
220.0ms
(log (- (pow 1 3) (pow (/ 1 (+ (exp (- t)) 1)) 3)))
158.0ms
(- (log (- 1 (/ 1 (+ (exp (* -1 t)) 1)))) (log (- 1 (/ 1 (+ (exp (* -1 s)) 1)))))

prune1.8s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize49.0ms

Local error

Found 4 expressions with local error:

10.2b
(- (log (+ (exp (- t)) 1)) (log (+ (exp (- s)) 1)))
1.5b
(log (+ (exp (- t)) 1))
0.3b
(log (+ (exp (- s)) 1))
0.0b
(* (- (log (+ (exp (- t)) 1)) (log (+ (exp (- s)) 1))) c_p)

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
26×*-un-lft-identity
16×add-sqr-sqrt pow1 log-prod
10×log-pow add-cube-cbrt
8×log-div associate-*l* add-exp-log distribute-lft-out--
6×add-cbrt-cube
4×flip3-+ associate--l+ flip-+ insert-posit16 distribute-lft-out associate--r+ add-log-exp
3×associate-*r*
2×associate--l- flip3-- rem-log-exp associate-*l/ flip-- associate--r- difference-of-squares
1×sub-neg diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 88
Calls
4 calls:
Slowest
20.0ms
(* (- (log (+ (exp (- t)) 1)) (log (+ (exp (- s)) 1))) c_p)
19.0ms
(- (log (+ (exp (- t)) 1)) (log (+ (exp (- s)) 1)))
13.0ms
(log (+ (exp (- t)) 1))
8.0ms
(log (+ (exp (- s)) 1))

series296.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
125.0ms
(* (- (log (+ (exp (- t)) 1)) (log (+ (exp (- s)) 1))) c_p)
71.0ms
(- (log (+ (exp (- t)) 1)) (log (+ (exp (- s)) 1)))
51.0ms
(log (+ (exp (- t)) 1))
49.0ms
(log (+ (exp (- s)) 1))

simplify2.9s

Counts
57 → 100
Calls
57 calls:
Slowest
291.0ms
(* (* (* (- (log (+ (exp (- t)) 1)) (log (+ (exp (- s)) 1))) (- (log (+ (exp (- t)) 1)) (log (+ (exp (- s)) 1)))) (- (log (+ (exp (- t)) 1)) (log (+ (exp (- s)) 1)))) (* (* c_p c_p) c_p))
264.0ms
(log (+ (pow (exp (- t)) 3) (pow 1 3)))
261.0ms
(log (+ (pow (exp (- s)) 3) (pow 1 3)))
260.0ms
(log (+ (pow (exp (- t)) 3) (pow 1 3)))
171.0ms
(* (- (* (log (+ (exp (- t)) 1)) (log (+ (exp (- t)) 1))) (* (log (+ (exp (- s)) 1)) (log (+ (exp (- s)) 1)))) c_p)

prune1.2s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes134.0ms

bsearch6.0ms

end0.0ms