Details

Time bar (total: 3.5m)

sample1.1m

Algorithm
intervals
Results
1.1m3344×body10240exit
406.0ms3600×pre80true
70.0ms250×body80valid
9.0ms1×body2560valid
3.0ms4×body160valid
1.0ms1×body320valid

simplify356.0ms

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

prune23.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.2b

localize82.0ms

Local error

Found 4 expressions with local error:

2.2b
(/ (* (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 (- t)))) c_p)
0.5b
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
0.3b
(- 1 (/ 1 (+ 1 (exp (- s)))))

rewrite249.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
160.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)))
50.0ms
(- 1 (/ 1 (+ 1 (exp (- s)))))
12.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
12.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)

series866.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
655.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)))
97.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
78.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
35.0ms
(- 1 (/ 1 (+ 1 (exp (- s)))))

simplify1.9m

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

prune6.1s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.3b

localize61.0ms

Local error

Found 4 expressions with local error:

9.9b
(+ (log (/ 1 (+ (exp (- s)) 1))) (log (+ (exp (- t)) 1)))
9.2b
(- (* c_n (log (- 1 (/ 1 (+ (exp (- t)) 1))))) (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n))
1.0b
(log (+ (exp (- t)) 1))
0.8b
(log (/ 1 (+ (exp (- s)) 1)))

rewrite126.0ms

Algorithm
rewrite-expression-head
Rules
66×log-prod
60×*-un-lft-identity
46×add-sqr-sqrt
32×times-frac
24×add-cube-cbrt
22×associate--l+
18×associate-+l+
12×distribute-lft-out difference-of-squares
11×distribute-rgt-in pow1 distribute-lft-in
10×add-exp-log
8×log-pow
6×log-div add-log-exp
5×flip3-+ rem-log-exp flip-+
4×associate-+r+ add-cbrt-cube associate-/r/ insert-posit16 div-inv distribute-lft-out--
2×associate-+r- div-exp
1×+-commutative rec-exp sum-log sub-neg flip3-- diff-log 1-exp log-rec associate-+l- pow-flip flip-- inv-pow
Counts
4 → 127
Calls
4 calls:
Slowest
84.0ms
(- (* c_n (log (- 1 (/ 1 (+ (exp (- t)) 1))))) (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n))
23.0ms
(+ (log (/ 1 (+ (exp (- s)) 1))) (log (+ (exp (- t)) 1)))
8.0ms
(log (/ 1 (+ (exp (- s)) 1)))
7.0ms
(log (+ (exp (- t)) 1))

series322.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
145.0ms
(- (* c_n (log (- 1 (/ 1 (+ (exp (- t)) 1))))) (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n))
69.0ms
(+ (log (/ 1 (+ (exp (- s)) 1))) (log (+ (exp (- t)) 1)))
60.0ms
(log (/ 1 (+ (exp (- s)) 1)))
49.0ms
(log (+ (exp (- t)) 1))

simplify3.9s

Counts
96 → 139
Calls
96 calls:
Slowest
272.0ms
(log (+ (pow (exp (- t)) 3) (pow 1 3)))
259.0ms
(log (/ 1 (+ (pow (exp (- s)) 3) (pow 1 3))))
259.0ms
(log (/ 1 (+ (pow (exp (- s)) 3) (pow 1 3))))
230.0ms
(/ (exp (* c_n (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (exp (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n)))
218.0ms
(- (* 1/2 (* c_n s)) (+ (* 1/8 (* (pow t 2) c_n)) (* 1/2 (* t c_n))))

prune2.0s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize64.0ms

Local error

Found 4 expressions with local error:

9.2b
(- (* c_n (log (- 1 (/ 1 (+ (exp (- t)) 1))))) (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n))
0.3b
(- 1 (/ 1 (+ (exp (- s)) 1)))
0.2b
(* c_n (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
0.2b
(* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n)

rewrite216.0ms

Algorithm
rewrite-expression-head
Rules
71×add-sqr-sqrt
52×*-un-lft-identity
44×log-prod
30×difference-of-squares
22×distribute-rgt-in distribute-lft-in associate--l+
20×times-frac
12×add-cube-cbrt
10×pow1 distribute-lft-out--
8×add-cbrt-cube add-exp-log add-log-exp
7×associate-*r* associate-*l*
5×div-inv
4×insert-posit16
2×sub-neg flip3-- diff-log pow-prod-down prod-exp log-pow *-commutative cbrt-unprod flip-- unswap-sqr
Counts
4 → 118
Calls
4 calls:
Slowest
91.0ms
(- (* c_n (log (- 1 (/ 1 (+ (exp (- t)) 1))))) (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n))
78.0ms
(* c_n (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
38.0ms
(- 1 (/ 1 (+ (exp (- s)) 1)))
6.0ms
(* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n)

series320.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
143.0ms
(- (* c_n (log (- 1 (/ 1 (+ (exp (- t)) 1))))) (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n))
81.0ms
(* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n)
69.0ms
(* c_n (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
27.0ms
(- 1 (/ 1 (+ (exp (- s)) 1)))

simplify3.8s

Counts
92 → 130
Calls
92 calls:
Slowest
348.0ms
(- (+ (* 1/48 (pow s 3)) 1/2) (* 1/4 s))
282.0ms
(* (* (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- s)) 1))))) (log (- 1 (/ 1 (+ (exp (- s)) 1))))) (* (* c_n c_n) c_n))
281.0ms
(* (* (* c_n c_n) c_n) (* (* (log (- 1 (/ 1 (+ (exp (- t)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1))))) (log (- 1 (/ 1 (+ (exp (- t)) 1))))))
223.0ms
(/ (exp (* c_n (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (exp (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n)))
208.0ms
(- (* 1/2 (* c_n s)) (+ (* 1/8 (* (pow t 2) c_n)) (* 1/2 (* t c_n))))

prune2.0s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize46.0ms

Local error

Found 4 expressions with local error:

9.9b
(+ (log (/ 1 (+ (exp (- s)) 1))) (log (+ (exp (- t)) 1)))
1.0b
(log (+ (exp (- t)) 1))
0.8b
(log (/ 1 (+ (exp (- s)) 1)))
0.1b
(* c_p (+ (log (/ 1 (+ (exp (- s)) 1))) (log (+ (exp (- t)) 1))))

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
48×*-un-lft-identity
44×log-prod
26×add-sqr-sqrt
24×times-frac add-cube-cbrt
18×associate-+l+
17×pow1
16×distribute-lft-out
12×add-exp-log log-pow
7×associate-*r*
6×log-div flip3-+ add-cbrt-cube flip-+
5×rem-log-exp
4×associate-+r+ associate-/r/ insert-posit16 add-log-exp
3×associate-*l*
2×associate-+r- div-exp associate-*r/ div-inv
1×distribute-rgt-in +-commutative rec-exp sum-log distribute-lft-in 1-exp log-rec pow-prod-down prod-exp *-commutative associate-+l- cbrt-unprod pow-flip inv-pow unswap-sqr
Counts
4 → 119
Calls
4 calls:
Slowest
28.0ms
(+ (log (/ 1 (+ (exp (- s)) 1))) (log (+ (exp (- t)) 1)))
25.0ms
(* c_p (+ (log (/ 1 (+ (exp (- s)) 1))) (log (+ (exp (- t)) 1))))
8.0ms
(log (/ 1 (+ (exp (- s)) 1)))
7.0ms
(log (+ (exp (- t)) 1))

series261.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
90.0ms
(* c_p (+ (log (/ 1 (+ (exp (- s)) 1))) (log (+ (exp (- t)) 1))))
63.0ms
(+ (log (/ 1 (+ (exp (- s)) 1))) (log (+ (exp (- t)) 1)))
57.0ms
(log (/ 1 (+ (exp (- s)) 1)))
51.0ms
(log (+ (exp (- t)) 1))

simplify4.5s

Counts
91 → 131
Calls
91 calls:
Slowest
502.0ms
(log (/ 1 (+ (pow (exp (- s)) 3) (pow 1 3))))
266.0ms
(- (+ (* (log 2) c_p) (+ (* 1/2 (* c_p s)) (* c_p (log 1/2)))) (* 1/2 (* t c_p)))
258.0ms
(log (+ (pow (exp (- t)) 3) (pow 1 3)))
246.0ms
(log (/ 1 (+ (pow (exp (- s)) 3) (pow 1 3))))
219.0ms
(* (* (* c_p c_p) c_p) (* (* (+ (log (/ 1 (+ (exp (- s)) 1))) (log (+ (exp (- t)) 1))) (+ (log (/ 1 (+ (exp (- s)) 1))) (log (+ (exp (- t)) 1)))) (+ (log (/ 1 (+ (exp (- s)) 1))) (log (+ (exp (- t)) 1)))))

prune1.6s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes131.0ms

bsearch8.0ms

end0.0ms