Details

Time bar (total: 1.2m)

sample46.0s

Algorithm
intervals
Results
45.4s3179×body10240exit
453.0ms3435×pre80true
59.0ms254×body80valid
2.0ms2×body640valid

simplify1.6s

Counts
1 → 1
Iterations
IterNodes
done5005
3743
2143
154
022

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.4b

localize52.0ms

Local error

Found 4 expressions with local error:

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

rewrite542.0ms

Algorithm
rewrite-expression-head
Rules
1196×add-exp-log
692×pow-exp
684×prod-exp
595×div-exp
344×pow-to-exp
117×rec-exp 1-exp
51×*-un-lft-identity
37×times-frac
36×unpow-prod-down
31×add-sqr-sqrt add-cube-cbrt
18×add-cbrt-cube
10×distribute-lft-out
9×pow1
6×pow-unpow pow-pow associate-/r/
5×cbrt-undiv associate-/r*
4×cbrt-unprod insert-posit16 div-inv associate-/l* add-log-exp
3×flip3-+ flip-+ pow-flip inv-pow
2×clear-num frac-2neg sqr-pow
Counts
4 → 493
Calls
4 calls:
17.0ms
(/ 1 (+ 1 (exp (- s))))
19.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
18.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
457.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)))

series664.0ms

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

simplify1.9s

Counts
505 → 505
Iterations
IterNodes
done5194
23725
11421
0432

prune741.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize16.0ms

Local error

Found 2 expressions with local error:

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

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
12×pow1 add-cbrt-cube add-exp-log
6×associate-*l* pow-prod-down prod-exp cbrt-unprod
4×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
2×associate-*r* *-commutative insert-posit16 add-log-exp
Counts
2 → 38
Calls
2 calls:
15.0ms
(* 1/2 (* c_p s))
18.0ms
(* 1/2 (* c_n s))

series40.0ms

Counts
2 → 6
Calls
2 calls:
20.0ms
(* 1/2 (* c_p s))
20.0ms
(* 1/2 (* c_n s))

simplify1.5s

Counts
44 → 44
Iterations
IterNodes
done5001
31635
2488
1162
062

prune125.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

localize69.0ms

Local error

Found 4 expressions with local error:

0.2b
(* c_p (log (/ 1 (+ 1 (exp (- t))))))
0.7b
(log (+ (exp (- s)) 1))
1.2b
(log (/ 1 (+ 1 (exp (- t)))))
8.6b
(- (- (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n) (* c_p (log (+ (exp (- s)) 1)))) (+ (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n) (* c_p (log (/ 1 (+ 1 (exp (- t))))))))

rewrite104.0ms

Algorithm
rewrite-expression-head
Rules
58×log-prod
53×*-un-lft-identity
36×times-frac
35×add-sqr-sqrt
31×add-cube-cbrt
18×distribute-rgt-in distribute-lft-in
16×add-log-exp
12×add-exp-log
11×pow1
10×distribute-lft-out
7×log-pow
6×flip3-+ add-cbrt-cube diff-log associate-*r* associate-/r/ flip-+
5×rem-log-exp
4×log-rec frac-sub insert-posit16
3×log-div flip3-- associate-*l* distribute-rgt-neg-out div-inv flip--
2×sum-log sub-neg div-exp associate--l+ pow-flip inv-pow associate--r-
1×associate--l- rec-exp 1-exp unsub-neg pow-prod-down prod-exp *-commutative cbrt-unprod associate--r+ distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 138
Calls
4 calls:
26.0ms
(* c_p (log (/ 1 (+ 1 (exp (- t))))))
11.0ms
(log (+ (exp (- s)) 1))
9.0ms
(log (/ 1 (+ 1 (exp (- t)))))
53.0ms
(- (- (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n) (* c_p (log (+ (exp (- s)) 1)))) (+ (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n) (* c_p (log (/ 1 (+ 1 (exp (- t))))))))

series476.0ms

Counts
4 → 12
Calls
4 calls:
56.0ms
(* c_p (log (/ 1 (+ 1 (exp (- t))))))
50.0ms
(log (+ (exp (- s)) 1))
56.0ms
(log (/ 1 (+ 1 (exp (- t)))))
314.0ms
(- (- (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n) (* c_p (log (+ (exp (- s)) 1)))) (+ (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n) (* c_p (log (/ 1 (+ 1 (exp (- t))))))))

simplify1.8s

Counts
150 → 150
Iterations
IterNodes
done5000
22573
1781
0329

prune886.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.1b

localize79.0ms

Local error

Found 4 expressions with local error:

0.2b
(* c_p (log (+ (exp (- s)) 1)))
0.2b
(* c_p (- (+ (* t 1/2) (log 1/2)) (* t (* t 1/8))))
0.7b
(log (+ (exp (- s)) 1))
8.6b
(- (- (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n) (* c_p (log (+ (exp (- s)) 1)))) (+ (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n) (* c_p (- (+ (* t 1/2) (log 1/2)) (* t (* t 1/8))))))

rewrite219.0ms

Algorithm
rewrite-expression-head
Rules
19×*-un-lft-identity
17×add-sqr-sqrt
16×add-log-exp
12×log-prod
11×add-cube-cbrt
10×pow1
9×add-exp-log
8×add-cbrt-cube
7×distribute-rgt-in distribute-lft-in associate-*r*
6×diff-log associate-*l*
4×sub-neg flip3-- associate--l+ frac-sub insert-posit16 flip--
3×flip3-+ flip-+ distribute-lft-out
2×log-div sum-log pow-prod-down prod-exp associate-*r/ log-pow *-commutative cbrt-unprod unswap-sqr
1×associate--l- rem-log-exp associate--r+ distribute-lft-out-- difference-of-squares
Counts
4 → 97
Calls
4 calls:
27.0ms
(* c_p (log (+ (exp (- s)) 1)))
108.0ms
(* c_p (- (+ (* t 1/2) (log 1/2)) (* t (* t 1/8))))
11.0ms
(log (+ (exp (- s)) 1))
70.0ms
(- (- (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n) (* c_p (log (+ (exp (- s)) 1)))) (+ (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n) (* c_p (- (+ (* t 1/2) (log 1/2)) (* t (* t 1/8))))))

series601.0ms

Counts
4 → 12
Calls
4 calls:
54.0ms
(* c_p (log (+ (exp (- s)) 1)))
80.0ms
(* c_p (- (+ (* t 1/2) (log 1/2)) (* t (* t 1/8))))
49.0ms
(log (+ (exp (- s)) 1))
418.0ms
(- (- (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n) (* c_p (log (+ (exp (- s)) 1)))) (+ (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n) (* c_p (- (+ (* t 1/2) (log 1/2)) (* t (* t 1/8))))))

simplify1.9s

Counts
109 → 109
Iterations
IterNodes
done5004
22445
1654
0241

prune777.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.1b

regimes187.0ms

bsearch0.0ms

simplify8.0ms

Iterations
IterNodes
done47
147
034

end0.0ms

sample14.4s

Algorithm
intervals
Results
14.3s1135×body10240exit
69.0ms1224×pre80true
10.0ms86×body80valid
6.0ms1×body5120valid
1.0ms2×body160valid