Details

Time bar (total: 3.6m)

sample1.2m

Algorithm
intervals
Results
1.2m3373×body10240exit
404.0ms3629×pre80true
71.0ms251×body80valid
3.0ms1×body2560valid
3.0ms1×body640valid
1.0ms1×body320valid
1.0ms2×body160valid

simplify400.0ms

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

prune17.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.4b

localize70.0ms

Local error

Found 4 expressions with local error:

2.0b
(/ (* (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.0b
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
0.7b
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
0.0b
(- 1 (/ 1 (+ 1 (exp (- t)))))

rewrite299.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
214.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)))
39.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))
16.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
13.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)

series1.5s

Counts
4 → 12
Calls
4 calls:
Slowest
1.3s
(/ (* (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)))
105.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
86.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
36.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))

simplify2.0m

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

prune6.2s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize11.0ms

Local error

Found 2 expressions with local error:

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

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
10×distribute-rgt-in distribute-lft-in
9×add-sqr-sqrt pow1 add-cbrt-cube add-exp-log
7×*-un-lft-identity
6×sub-neg associate-*r* associate-*l* associate-*r/
5×add-cube-cbrt
4×pow-prod-down prod-exp cbrt-unprod
2×flip3-- *-commutative insert-posit16 flip-- add-log-exp
1×distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 56
Calls
2 calls:
Slowest
24.0ms
(* 1/2 (* s (- c_p c_n)))
13.0ms
(* s (- c_p c_n))

series94.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
51.0ms
(* 1/2 (* s (- c_p c_n)))
43.0ms
(* s (- c_p c_n))

simplify1.8s

Counts
43 → 62
Calls
43 calls:
Slowest
370.0ms
(* (* (* 1/2 1/2) 1/2) (* (* (* s s) s) (* (* (- c_p c_n) (- c_p c_n)) (- c_p c_n))))
317.0ms
(* (* (* s s) s) (* (* (- c_p c_n) (- c_p c_n)) (- c_p c_n)))
122.0ms
(* (* (* 1/2 1/2) 1/2) (* (* (* s (- c_p c_n)) (* s (- c_p c_n))) (* s (- c_p c_n))))
78.0ms
(* 1/2 (* s (- c_p c_n)))
75.0ms
(* 1/2 (* s (- c_p c_n)))

prune401.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize55.0ms

Local error

Found 4 expressions with local error:

9.9b
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
9.8b
(+ (log (/ 1 (+ (exp (- s)) 1))) (log (+ (exp (- t)) 1)))
1.0b
(log (/ 1 (+ (exp (- s)) 1)))
0.7b
(log (+ (exp (- t)) 1))

rewrite128.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
87.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
23.0ms
(+ (log (/ 1 (+ (exp (- s)) 1))) (log (+ (exp (- t)) 1)))
8.0ms
(log (/ 1 (+ (exp (- s)) 1)))
8.0ms
(log (+ (exp (- t)) 1))

series293.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
111.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
67.0ms
(+ (log (/ 1 (+ (exp (- s)) 1))) (log (+ (exp (- t)) 1)))
60.0ms
(log (/ 1 (+ (exp (- s)) 1)))
55.0ms
(log (+ (exp (- t)) 1))

simplify4.5s

Counts
106 → 148
Calls
106 calls:
Slowest
278.0ms
(log (/ 1 (+ (pow (exp (- s)) 3) (pow 1 3))))
268.0ms
(log (/ 1 (+ (pow (exp (- s)) 3) (pow 1 3))))
253.0ms
(log (+ (pow (exp (- t)) 3) (pow 1 3)))
229.0ms
(log (- (pow 1 3) (pow (/ 1 (+ (exp (- s)) 1)) 3)))
167.0ms
(+ (log (/ 1 (+ (exp (* -1 s)) 1))) (log (+ (exp (* -1 t)) 1)))

prune2.1s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize62.0ms

Local error

Found 4 expressions with local error:

9.9b
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
0.2b
(log (- 1 (/ 1 (+ (exp (- s)) 1))))
0.0b
(- 1 (/ 1 (+ (exp (- t)) 1)))
0.0b
(* c_n (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1))))))

rewrite263.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
90.0ms
(* c_n (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1))))))
86.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
43.0ms
(- 1 (/ 1 (+ (exp (- t)) 1)))
40.0ms
(log (- 1 (/ 1 (+ (exp (- s)) 1))))

series351.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
146.0ms
(* c_n (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1))))))
105.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
70.0ms
(log (- 1 (/ 1 (+ (exp (- s)) 1))))
29.0ms
(- 1 (/ 1 (+ (exp (- t)) 1)))

simplify6.4s

Counts
121 → 156
Calls
121 calls:
Slowest
511.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)))))))
232.0ms
(log (- (pow 1 3) (pow (/ 1 (+ (exp (- s)) 1)) 3)))
232.0ms
(log (- (pow 1 3) (pow (/ 1 (+ (exp (- s)) 1)) 3)))
211.0ms
(- (* 1/2 (* t c_n)) (+ (* 1/2 (* c_n s)) (* 1/8 (* c_n (pow s 2)))))
178.0ms
(* (- (log (- 1 (/ 1 (+ (exp (* -1 s)) 1)))) (log (- 1 (/ 1 (+ (exp (* -1 t)) 1))))) c_n)

prune2.4s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes118.0ms

bsearch7.0ms

end0.0ms