Details

Time bar (total: 1.3m)

sample49.9s

Algorithm
intervals
Results
49.5s3198×body10240exit
211.0ms3455×pre80true
74.0ms245×body80valid
9.0ms4×body1280valid
7.0ms1×body2560valid
4.0ms3×body640valid
2.0ms3×body160valid
1.0ms1×body320valid

simplify3.8s

Counts
1 → 1

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.1b

localize58.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.2b
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
0.3b
(- 1 (/ 1 (+ 1 (exp (- s)))))
0.0b
(/ 1 (+ 1 (exp (- s))))

rewrite216.0ms

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

series694.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
578.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)))
64.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
30.0ms
(- 1 (/ 1 (+ 1 (exp (- s)))))
21.0ms
(/ 1 (+ 1 (exp (- s))))

simplify1.8s

Counts
488 → 488

prune7.6s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.7b

localize90.0ms

Local error

Found 4 expressions with local error:

7.4b
(+ (- (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n) (+ (* (log (/ 1 (+ 1 (exp (- t))))) c_p) (* c_n (log (- 1 (/ 1 (+ 1 (exp (- t))))))))) (* c_p (log (/ 1 (+ (exp (- s)) 1)))))
7.2b
(- (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n) (+ (* (log (/ 1 (+ 1 (exp (- t))))) c_p) (* c_n (log (- 1 (/ 1 (+ 1 (exp (- t)))))))))
1.2b
(log (/ 1 (+ 1 (exp (- t)))))
0.3b
(- 1 (/ 1 (+ (exp (- s)) 1)))

rewrite145.0ms

Algorithm
rewrite-expression-head
Rules
54×log-prod *-un-lft-identity
40×times-frac
39×add-sqr-sqrt
36×associate-+r+
28×add-cube-cbrt
20×add-log-exp
18×distribute-rgt-in distribute-lft-in
9×add-exp-log distribute-lft-out
6×pow1 associate-/r/ difference-of-squares
5×sum-log diff-log
4×flip3-+ add-cbrt-cube rem-log-exp flip-+ insert-posit16 div-inv
3×sub-neg log-rec log-pow
2×associate-+l+ flip3-- div-exp distribute-rgt-neg-out flip-- distribute-lft-out--
1×+-commutative log-div rec-exp 1-exp unsub-neg associate-+l- pow-flip associate--r+ inv-pow
Counts
4 → 126
Calls
4 calls:
Slowest
80.0ms
(+ (- (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n) (+ (* (log (/ 1 (+ 1 (exp (- t))))) c_p) (* c_n (log (- 1 (/ 1 (+ 1 (exp (- t))))))))) (* c_p (log (/ 1 (+ (exp (- s)) 1)))))
41.0ms
(- 1 (/ 1 (+ (exp (- s)) 1)))
15.0ms
(- (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n) (+ (* (log (/ 1 (+ 1 (exp (- t))))) c_p) (* c_n (log (- 1 (/ 1 (+ 1 (exp (- t)))))))))
6.0ms
(log (/ 1 (+ 1 (exp (- t)))))

series823.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
389.0ms
(+ (- (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n) (+ (* (log (/ 1 (+ 1 (exp (- t))))) c_p) (* c_n (log (- 1 (/ 1 (+ 1 (exp (- t))))))))) (* c_p (log (/ 1 (+ (exp (- s)) 1)))))
340.0ms
(- (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n) (+ (* (log (/ 1 (+ 1 (exp (- t))))) c_p) (* c_n (log (- 1 (/ 1 (+ 1 (exp (- t)))))))))
60.0ms
(log (/ 1 (+ 1 (exp (- t)))))
34.0ms
(- 1 (/ 1 (+ (exp (- s)) 1)))

simplify889.0ms

Counts
138 → 138

prune2.4s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.7b

localize56.0ms

Local error

Found 4 expressions with local error:

5.5b
(+ (- (* 1/2 (- (* t c_n) (* c_n s))) (* (log 1/2) c_p)) (* c_p (log (/ 1 (+ (exp (- s)) 1)))))
0.3b
(log (/ 1 (+ (exp (- s)) 1)))
0.2b
(* (log 1/2) c_p)
0.2b
(* c_p (log (/ 1 (+ (exp (- s)) 1))))

rewrite111.0ms

Algorithm
rewrite-expression-head
Rules
90×log-prod
78×*-un-lft-identity
60×times-frac
52×add-sqr-sqrt
48×add-cube-cbrt
38×distribute-rgt-in distribute-lft-in
36×associate-+r+
15×distribute-lft-out
13×pow1 add-exp-log
10×associate-/r/
9×associate-*r* add-log-exp
8×add-cbrt-cube
7×associate-*l* log-pow
6×associate-+l+ flip3-+ flip-+
5×div-inv
4×rem-log-exp log-rec associate--l+ insert-posit16
3×sub-neg distribute-rgt-neg-out
2×sum-log div-exp pow-prod-down prod-exp *-commutative cbrt-unprod pow-flip inv-pow unswap-sqr
1×+-commutative log-div rec-exp diff-log 1-exp unsub-neg associate-+l-
Counts
4 → 172
Calls
4 calls:
Slowest
68.0ms
(+ (- (* 1/2 (- (* t c_n) (* c_n s))) (* (log 1/2) c_p)) (* c_p (log (/ 1 (+ (exp (- s)) 1)))))
24.0ms
(* c_p (log (/ 1 (+ (exp (- s)) 1))))
9.0ms
(log (/ 1 (+ (exp (- s)) 1)))
6.0ms
(* (log 1/2) c_p)

series476.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
187.0ms
(* (log 1/2) c_p)
154.0ms
(+ (- (* 1/2 (- (* t c_n) (* c_n s))) (* (log 1/2) c_p)) (* c_p (log (/ 1 (+ (exp (- s)) 1)))))
70.0ms
(* c_p (log (/ 1 (+ (exp (- s)) 1))))
64.0ms
(log (/ 1 (+ (exp (- s)) 1)))

simplify516.0ms

Counts
184 → 184

prune2.7s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.2b

localize71.0ms

Local error

Found 4 expressions with local error:

39.5b
(cbrt (* (* (* c_p (log (/ 1 (+ (exp (- s)) 1)))) (* c_p (log (/ 1 (+ (exp (- s)) 1))))) (* c_p (log (/ 1 (+ (exp (- s)) 1))))))
5.5b
(+ (- (* 1/2 (- (* t c_n) (* c_n s))) (* (log 1/2) c_p)) (cbrt (* (* (* c_p (log (/ 1 (+ (exp (- s)) 1)))) (* c_p (log (/ 1 (+ (exp (- s)) 1))))) (* c_p (log (/ 1 (+ (exp (- s)) 1)))))))
0.3b
(log (/ 1 (+ (exp (- s)) 1)))
0.3b
(log (/ 1 (+ (exp (- s)) 1)))

rewrite162.0ms

Algorithm
rewrite-expression-head
Rules
36×log-prod
34×*-un-lft-identity
24×times-frac
20×add-sqr-sqrt add-cube-cbrt
14×add-exp-log
9×add-log-exp
8×pow1 rem-log-exp
7×distribute-lft-out
6×associate-+l+ log-pow
4×add-cbrt-cube div-exp associate--l+ associate-/r/ insert-posit16
3×sub-neg flip3-+ flip-+
2×distribute-rgt-in log-div rec-exp sum-log distribute-lft-in 1-exp log-rec div-inv pow-flip inv-pow
1×cbrt-prod +-commutative pow1/3 diff-log pow3 associate-+l- rem-cbrt-cube
Counts
4 → 102
Calls
4 calls:
Slowest
81.0ms
(cbrt (* (* (* c_p (log (/ 1 (+ (exp (- s)) 1)))) (* c_p (log (/ 1 (+ (exp (- s)) 1))))) (* c_p (log (/ 1 (+ (exp (- s)) 1))))))
62.0ms
(+ (- (* 1/2 (- (* t c_n) (* c_n s))) (* (log 1/2) c_p)) (cbrt (* (* (* c_p (log (/ 1 (+ (exp (- s)) 1)))) (* c_p (log (/ 1 (+ (exp (- s)) 1))))) (* c_p (log (/ 1 (+ (exp (- s)) 1)))))))
9.0ms
(log (/ 1 (+ (exp (- s)) 1)))
9.0ms
(log (/ 1 (+ (exp (- s)) 1)))

series368.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
167.0ms
(+ (- (* 1/2 (- (* t c_n) (* c_n s))) (* (log 1/2) c_p)) (cbrt (* (* (* c_p (log (/ 1 (+ (exp (- s)) 1)))) (* c_p (log (/ 1 (+ (exp (- s)) 1))))) (* c_p (log (/ 1 (+ (exp (- s)) 1)))))))
77.0ms
(cbrt (* (* (* c_p (log (/ 1 (+ (exp (- s)) 1)))) (* c_p (log (/ 1 (+ (exp (- s)) 1))))) (* c_p (log (/ 1 (+ (exp (- s)) 1))))))
63.0ms
(log (/ 1 (+ (exp (- s)) 1)))
61.0ms
(log (/ 1 (+ (exp (- s)) 1)))

simplify985.0ms

Counts
114 → 114

prune1.7s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.2b

regimes606.0ms

bsearch8.0ms

end0.0ms