Details

Time bar (total: 2.4m)

sample52.0s

Algorithm
intervals
Results
51.6s3352×body10240exit
183.0ms3609×pre80true
70.0ms252×body80valid
5.0ms1×body1280valid
2.0ms1×body640valid
1.0ms3×body160valid

simplify831.0ms

Counts
1 → 1
Iterations
IterNodes
done2041
42041
3743
2143
154
022

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.1b

localize46.0ms

Local error

Found 4 expressions with local error:

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

rewrite197.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:
26.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))
12.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
12.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
132.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)))

series655.0ms

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

simplify995.0ms

Counts
488 → 488
Iterations
IterNodes
done2007
22007
11461
0451

prune652.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize15.0ms

Local error

Found 3 expressions with local error:

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

rewrite100.0ms

Algorithm
rewrite-expression-head
Rules
13×pow1 add-cbrt-cube add-exp-log
8×add-log-exp
6×associate-*l* pow-prod-down prod-exp cbrt-unprod
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
3×insert-posit16
2×diff-log associate-*r* *-commutative
1×sum-log sub-neg flip3-- associate--l+ flip--
Counts
3 → 53
Calls
3 calls:
73.0ms
(- (+ (* 1/2 (* c_p s)) 1) (* 1/2 (* c_n s)))
12.0ms
(* 1/2 (* c_p s))
14.0ms
(* 1/2 (* c_n s))

series92.0ms

Counts
3 → 9
Calls
3 calls:
51.0ms
(- (+ (* 1/2 (* c_p s)) 1) (* 1/2 (* c_n s)))
21.0ms
(* 1/2 (* c_p s))
20.0ms
(* 1/2 (* c_n s))

simplify707.0ms

Counts
62 → 62
Iterations
IterNodes
done2004
32004
2733
1240
090

prune170.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize63.0ms

Local error

Found 4 expressions with local error:

0.4b
(log (- 1 (/ 1 (+ 1 (exp (- s))))))
1.0b
(log (/ 1 (+ 1 (exp (- t)))))
1.5b
(log (+ 1 (exp (- s))))
10.3b
(- (+ (* (- (log (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (log (/ 1 (+ 1 (exp (- t))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))

rewrite88.0ms

Algorithm
rewrite-expression-head
Rules
33×log-prod
32×*-un-lft-identity
27×add-sqr-sqrt
16×times-frac add-log-exp
14×add-cube-cbrt
11×add-exp-log
8×pow1
7×difference-of-squares
6×flip3-+ rem-log-exp flip-+
5×log-div log-pow
4×sum-log add-cbrt-cube diff-log frac-sub insert-posit16 distribute-lft-out
3×distribute-lft-out--
2×flip3-- div-exp associate-/r/ div-inv flip--
1×rec-exp sub-neg 1-exp log-rec associate--l+ pow-flip associate--r+ inv-pow
Counts
4 → 98
Calls
4 calls:
25.0ms
(log (- 1 (/ 1 (+ 1 (exp (- s))))))
6.0ms
(log (/ 1 (+ 1 (exp (- t)))))
5.0ms
(log (+ 1 (exp (- s))))
51.0ms
(- (+ (* (- (log (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (log (/ 1 (+ 1 (exp (- t))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))

series471.0ms

Counts
4 → 12
Calls
4 calls:
63.0ms
(log (- 1 (/ 1 (+ 1 (exp (- s))))))
54.0ms
(log (/ 1 (+ 1 (exp (- t)))))
47.0ms
(log (+ 1 (exp (- s))))
306.0ms
(- (+ (* (- (log (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (log (/ 1 (+ 1 (exp (- t))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))

simplify959.0ms

Counts
110 → 110
Iterations
IterNodes
done2001
22001
1778
0313

prune620.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize27.0ms

Local error

Found 2 expressions with local error:

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

rewrite66.0ms

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

series187.0ms

Counts
2 → 6
Calls
2 calls:
59.0ms
(* s (- (* 1/2 c_p) (* 1/2 c_n)))
128.0ms
(exp (- (* s (- (* 1/2 c_p) (* 1/2 c_n))) (* c_p (+ (log 1/2) (log 2)))))

simplify708.0ms

Counts
52 → 52
Iterations
IterNodes
done2001
32001
2720
1244
095

prune174.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

regimes311.0ms

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done20
120
015

end0.0ms

sample1.4m

Algorithm
intervals
Results
1.4m5988×body10240exit
294.0ms6476×pre80true
87.0ms475×body80valid
7.0ms3×body1280valid
4.0ms3×body640valid
3.0ms7×body160valid