Details

Time bar (total: 3.3m)

sample53.6s

Algorithm
intervals
Results
53.2s3326×body10240exit
167.0ms3583×pre80true
73.0ms246×body80valid
11.0ms4×body1280valid
6.0ms1×body5120valid
5.0ms1×body2560valid
3.0ms2×body640valid
1.0ms2×body160valid
1.0ms1×body320valid

simplify262.0ms

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

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.9b

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

rewrite195.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
131.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)))
26.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))
13.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
12.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)

series678.0ms

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

simplify1.9m

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

prune5.6s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.2b

localize58.0ms

Local error

Found 4 expressions with local error:

10.3b
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
5.0b
(- (+ (* c_p (log (+ (exp (- t)) 1))) (* (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1))))) c_n)) (* c_p (log (+ (exp (- s)) 1))))
2.1b
(log (+ (exp (- t)) 1))
0.8b
(log (+ (exp (- s)) 1))

rewrite136.0ms

Algorithm
rewrite-expression-head
Rules
38×log-prod *-un-lft-identity
34×add-sqr-sqrt
19×associate--r+
13×difference-of-squares
12×associate--l+
10×pow1 add-cube-cbrt
9×add-log-exp
8×log-div times-frac distribute-lft-out--
6×add-exp-log log-pow
4×distribute-rgt-in distribute-lft-in flip3-- add-cbrt-cube insert-posit16 flip-- distribute-lft-out
3×diff-log
2×associate--l- sub-neg flip3-+ rem-log-exp flip-+ div-inv associate--r-
1×sum-log
Counts
4 → 99
Calls
4 calls:
Slowest
78.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
42.0ms
(- (+ (* c_p (log (+ (exp (- t)) 1))) (* (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1))))) c_n)) (* c_p (log (+ (exp (- s)) 1))))
7.0ms
(log (+ (exp (- t)) 1))
7.0ms
(log (+ (exp (- s)) 1))

series481.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
288.0ms
(- (+ (* c_p (log (+ (exp (- t)) 1))) (* (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1))))) c_n)) (* c_p (log (+ (exp (- s)) 1))))
98.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
49.0ms
(log (+ (exp (- s)) 1))
46.0ms
(log (+ (exp (- t)) 1))

simplify3.6s

Counts
70 → 111
Calls
70 calls:
Slowest
285.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)))
271.0ms
(log (+ (pow (exp (- t)) 3) (pow 1 3)))
269.0ms
(log (+ (pow (exp (- s)) 3) (pow 1 3)))
252.0ms
(/ (* (exp (* c_p (log (+ (exp (- t)) 1)))) (exp (* (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1))))) c_n))) (exp (* c_p (log (+ (exp (- s)) 1)))))
250.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.8s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.2b

localize47.0ms

Local error

Found 4 expressions with local error:

6.7b
(- (+ (* c_p (log (+ (exp (- t)) 1))) (* (+ (* -1/2 (- s t)) (* (* s s) -1/8)) c_n)) (* c_p (log (+ (exp (- s)) 1))))
2.1b
(log (+ (exp (- t)) 1))
0.8b
(log (+ (exp (- s)) 1))
0.2b
(* c_p (log (+ (exp (- t)) 1)))

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
24×log-prod *-un-lft-identity
14×add-sqr-sqrt
12×add-cube-cbrt
9×pow1 add-log-exp
8×distribute-rgt-in distribute-lft-in add-exp-log associate--r+
6×add-cbrt-cube distribute-lft-out
4×log-div associate-*r* insert-posit16
3×associate-*l* log-pow
2×flip3-+ diff-log rem-log-exp flip-+
1×sum-log sub-neg flip3-- pow-prod-down prod-exp associate--l+ *-commutative cbrt-unprod flip-- unswap-sqr
Counts
4 → 83
Calls
4 calls:
Slowest
45.0ms
(- (+ (* c_p (log (+ (exp (- t)) 1))) (* (+ (* -1/2 (- s t)) (* (* s s) -1/8)) c_n)) (* c_p (log (+ (exp (- s)) 1))))
18.0ms
(* c_p (log (+ (exp (- t)) 1)))
7.0ms
(log (+ (exp (- t)) 1))
7.0ms
(log (+ (exp (- s)) 1))

series301.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
153.0ms
(- (+ (* c_p (log (+ (exp (- t)) 1))) (* (+ (* -1/2 (- s t)) (* (* s s) -1/8)) c_n)) (* c_p (log (+ (exp (- s)) 1))))
53.0ms
(* c_p (log (+ (exp (- t)) 1)))
49.0ms
(log (+ (exp (- t)) 1))
45.0ms
(log (+ (exp (- s)) 1))

simplify2.9s

Counts
56 → 95
Calls
56 calls:
Slowest
300.0ms
(/ (* (exp (* c_p (log (+ (exp (- t)) 1)))) (exp (* (+ (* -1/2 (- s t)) (* (* s s) -1/8)) c_n))) (exp (* c_p (log (+ (exp (- s)) 1)))))
268.0ms
(* (* (* c_p c_p) c_p) (* (* (log (+ (exp (- t)) 1)) (log (+ (exp (- t)) 1))) (log (+ (exp (- t)) 1))))
266.0ms
(log (+ (pow (exp (- s)) 3) (pow 1 3)))
266.0ms
(log (+ (pow (exp (- t)) 3) (pow 1 3)))
220.0ms
(- (+ (* 1/8 (* (pow t 2) c_p)) (* (log 2) c_p)) (* 1/2 (* t c_p)))

prune1.2s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.2b

localize57.0ms

Local error

Found 4 expressions with local error:

6.7b
(- (+ (* c_p (* (sqrt (log (+ (exp (- t)) 1))) (sqrt (log (+ (exp (- t)) 1))))) (* (+ (* -1/2 (- s t)) (* (* s s) -1/8)) c_n)) (* c_p (log (+ (exp (- s)) 1))))
2.1b
(log (+ (exp (- t)) 1))
2.1b
(log (+ (exp (- t)) 1))
0.9b
(* (sqrt (log (+ (exp (- t)) 1))) (sqrt (log (+ (exp (- t)) 1))))

rewrite160.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
27×pow1
26×*-un-lft-identity sqrt-prod
16×log-prod add-cube-cbrt
11×swap-sqr
9×add-log-exp
8×sqrt-pow1 pow1/2 add-exp-log log-pow associate--r+
7×associate-*r* associate-*l*
6×add-cbrt-cube
5×pow-prod-up
4×distribute-rgt-in log-div distribute-lft-in insert-posit16 distribute-lft-out unswap-sqr
3×pow-prod-down pow-sqr
2×flip3-+ diff-log rem-log-exp flip-+
1×pow2 sum-log sub-neg rem-square-sqrt pow-plus flip3-- sqrt-unprod prod-exp associate--l+ *-commutative cbrt-unprod flip--
Counts
4 → 110
Calls
4 calls:
Slowest
134.0ms
(- (+ (* c_p (* (sqrt (log (+ (exp (- t)) 1))) (sqrt (log (+ (exp (- t)) 1))))) (* (+ (* -1/2 (- s t)) (* (* s s) -1/8)) c_n)) (* c_p (log (+ (exp (- s)) 1))))
9.0ms
(* (sqrt (log (+ (exp (- t)) 1))) (sqrt (log (+ (exp (- t)) 1))))
7.0ms
(log (+ (exp (- t)) 1))
7.0ms
(log (+ (exp (- t)) 1))

series301.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
152.0ms
(- (+ (* c_p (* (sqrt (log (+ (exp (- t)) 1))) (sqrt (log (+ (exp (- t)) 1))))) (* (+ (* -1/2 (- s t)) (* (* s s) -1/8)) c_n)) (* c_p (log (+ (exp (- s)) 1))))
52.0ms
(log (+ (exp (- t)) 1))
50.0ms
(log (+ (exp (- t)) 1))
47.0ms
(* (sqrt (log (+ (exp (- t)) 1))) (sqrt (log (+ (exp (- t)) 1))))

simplify3.2s

Counts
105 → 122
Calls
105 calls:
Slowest
295.0ms
(/ (* (exp (* c_p (* (sqrt (log (+ (exp (- t)) 1))) (sqrt (log (+ (exp (- t)) 1)))))) (exp (* (+ (* -1/2 (- s t)) (* (* s s) -1/8)) c_n))) (exp (* c_p (log (+ (exp (- s)) 1)))))
273.0ms
(log (+ (pow (exp (- t)) 3) (pow 1 3)))
271.0ms
(log (+ (pow (exp (- t)) 3) (pow 1 3)))
231.0ms
(/ (exp (+ (* c_p (* (sqrt (log (+ (exp (- t)) 1))) (sqrt (log (+ (exp (- t)) 1))))) (* (+ (* -1/2 (- s t)) (* (* s s) -1/8)) c_n))) (exp (* c_p (log (+ (exp (- s)) 1)))))
224.0ms
(- (* 1/2 (* t c_n)) (+ (* 1/2 (* c_n s)) (* 1/8 (* c_n (pow s 2)))))

prune1.6s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.2b

regimes286.0ms

bsearch6.8s

end0.0ms