Details

Time bar (total: 4.3m)

sample1.0m

Algorithm
intervals
Results
1.0m3486×body10240exit
268.0ms3742×pre80true
58.0ms252×body80valid
8.0ms1×body5120valid
6.0ms1×body2560valid
2.0ms1×body640valid
1.0ms1×body160valid

simplify250.0ms

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

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.4b

localize48.0ms

Local error

Found 4 expressions with local error:

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

rewrite208.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
138.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)))
28.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))
14.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
14.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)

series681.0ms

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

simplify2.1m

Counts
536 → 488
Calls
536 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.5s
(/ (* (* (* (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.5s
(/ (* (* (* (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.0s
(/ (* (* (* (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))))
1.0s
(* (* (/ (* (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 (- 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 (- 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))))

prune5.8s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.2b

localize59.0ms

Local error

Found 4 expressions with local error:

10.6b
(+ (log (/ 1 (+ (exp (- s)) 1))) (log (+ (exp (- t)) 1)))
10.6b
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
1.5b
(log (+ (exp (- t)) 1))
0.5b
(log (/ 1 (+ (exp (- s)) 1)))

rewrite128.0ms

Algorithm
rewrite-expression-head
Rules
66×log-prod
64×*-un-lft-identity
48×add-sqr-sqrt
32×times-frac
24×add-cube-cbrt
18×associate-+l+
15×pow1
13×difference-of-squares
12×log-pow distribute-lft-out
11×associate--l+ associate--r+
10×log-div add-exp-log
8×distribute-lft-out--
5×flip3-+ rem-log-exp flip-+
4×associate-+r+ add-cbrt-cube associate-/r/ insert-posit16 div-inv add-log-exp
3×flip3-- flip--
2×associate--l- associate-+r- div-exp associate--r-
1×+-commutative rec-exp sum-log sub-neg diff-log 1-exp log-rec associate-+l- pow-flip inv-pow
Counts
4 → 136
Calls
4 calls:
Slowest
85.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
24.0ms
(+ (log (/ 1 (+ (exp (- s)) 1))) (log (+ (exp (- t)) 1)))
9.0ms
(log (/ 1 (+ (exp (- s)) 1)))
8.0ms
(log (+ (exp (- t)) 1))

series269.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
98.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
68.0ms
(+ (log (/ 1 (+ (exp (- s)) 1))) (log (+ (exp (- t)) 1)))
57.0ms
(log (/ 1 (+ (exp (- s)) 1)))
47.0ms
(log (+ (exp (- t)) 1))

simplify9.6s

Counts
172 → 148
Calls
172 calls:
Slowest
326.0ms
(* (* (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1))))) (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1))))))
303.0ms
(* (* (+ (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))))
299.0ms
(+ (log (+ (exp (- t)) 1)) (log (/ 1 (+ (exp (- s)) 1))))
281.0ms
(- (* (log (/ 1 (+ (exp (- s)) 1))) (log (/ 1 (+ (exp (- s)) 1)))) (* (log (+ (exp (- t)) 1)) (log (+ (exp (- t)) 1))))
274.0ms
(+ (log (/ 1 (+ (exp (- s)) 1))) (log (+ (pow (exp (- t)) 3) (pow 1 3))))

prune2.0s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize63.0ms

Local error

Found 4 expressions with local error:

10.6b
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
0.3b
(- 1 (/ 1 (+ (exp (- t)) 1)))
0.0b
(* c_n (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1))))))
0.0b
(/ 1 (+ (exp (- t)) 1))

rewrite243.0ms

Algorithm
rewrite-expression-head
Rules
80×add-sqr-sqrt
75×*-un-lft-identity
44×log-prod
33×associate--l+
32×times-frac difference-of-squares
19×add-cube-cbrt
18×distribute-lft-out--
15×distribute-rgt-in pow1 distribute-lft-in
11×associate--r+
10×add-exp-log
8×log-div add-cbrt-cube associate-*r* log-pow
7×flip3-- flip--
6×div-inv associate--r- add-log-exp
4×associate-/r* sub-neg insert-posit16 distribute-lft-out
3×associate-*l* associate-/l*
2×associate--l- diff-log div-exp associate-*r/ associate-/r/
1×cbrt-undiv rec-exp clear-num frac-2neg flip3-+ 1-exp pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ pow-flip inv-pow unswap-sqr
Counts
4 → 159
Calls
4 calls:
Slowest
94.0ms
(* c_n (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1))))))
87.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
42.0ms
(- 1 (/ 1 (+ (exp (- t)) 1)))
17.0ms
(/ 1 (+ (exp (- t)) 1))

series287.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
138.0ms
(* c_n (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1))))))
99.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
30.0ms
(- 1 (/ 1 (+ (exp (- t)) 1)))
19.0ms
(/ 1 (+ (exp (- t)) 1))

simplify11.5s

Counts
224 → 171
Calls
224 calls:
Slowest
544.0ms
(* (* (* c_n c_n) c_n) (* (* (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1))))) (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))))
342.0ms
(/ (* (* 1 1) 1) (* (* (+ (exp (- t)) 1) (+ (exp (- t)) 1)) (+ (exp (- t)) 1)))
320.0ms
(* (* (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1))))) (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1))))))
272.0ms
(* (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- (pow 1 3) (pow (/ 1 (+ (exp (- t)) 1)) 3)))) c_n)
260.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- (pow 1 3) (pow (/ 1 (+ (exp (- t)) 1)) 3))))

prune2.5s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize75.0ms

Local error

Found 4 expressions with local error:

40.6b
(+ (* c_n (- (log (- 1 (/ 1 (+ 1 (exp (- s)))))) (log (- 1 (/ (/ 1 (+ (exp (- t)) 1)) (+ (exp (- t)) 1)))))) (* c_n (log (+ 1 (/ 1 (+ (exp (- t)) 1))))))
0.3b
(- 1 (/ (/ 1 (+ (exp (- t)) 1)) (+ (exp (- t)) 1)))
0.1b
(* c_n (- (log (- 1 (/ 1 (+ 1 (exp (- s)))))) (log (- 1 (/ (/ 1 (+ (exp (- t)) 1)) (+ (exp (- t)) 1))))))
0.1b
(- (log (- 1 (/ 1 (+ 1 (exp (- s)))))) (log (- 1 (/ (/ 1 (+ (exp (- t)) 1)) (+ (exp (- t)) 1)))))

rewrite363.0ms

Algorithm
rewrite-expression-head
Rules
117×add-sqr-sqrt
86×*-un-lft-identity
79×log-prod
55×associate--l+
52×difference-of-squares
40×times-frac
35×distribute-rgt-in distribute-lft-in
30×associate-+l+
20×distribute-lft-out--
14×pow1 add-cube-cbrt associate--r+
12×log-div
11×div-inv
10×associate-+r+ associate--r-
9×flip3-- flip--
8×associate-*r* log-pow add-log-exp
6×sub-neg add-cbrt-cube add-exp-log
5×distribute-lft-out
4×insert-posit16
3×associate-*l*
2×associate--l- diff-log associate-*r/
1×+-commutative sum-log flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ unswap-sqr
Counts
4 → 180
Calls
4 calls:
Slowest
109.0ms
(+ (* c_n (- (log (- 1 (/ 1 (+ 1 (exp (- s)))))) (log (- 1 (/ (/ 1 (+ (exp (- t)) 1)) (+ (exp (- t)) 1)))))) (* c_n (log (+ 1 (/ 1 (+ (exp (- t)) 1))))))
105.0ms
(- (log (- 1 (/ 1 (+ 1 (exp (- s)))))) (log (- 1 (/ (/ 1 (+ (exp (- t)) 1)) (+ (exp (- t)) 1)))))
77.0ms
(- 1 (/ (/ 1 (+ (exp (- t)) 1)) (+ (exp (- t)) 1)))
67.0ms
(* c_n (- (log (- 1 (/ 1 (+ 1 (exp (- s)))))) (log (- 1 (/ (/ 1 (+ (exp (- t)) 1)) (+ (exp (- t)) 1))))))

series448.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
188.0ms
(+ (* c_n (- (log (- 1 (/ 1 (+ 1 (exp (- s)))))) (log (- 1 (/ (/ 1 (+ (exp (- t)) 1)) (+ (exp (- t)) 1)))))) (* c_n (log (+ 1 (/ 1 (+ (exp (- t)) 1))))))
127.0ms
(* c_n (- (log (- 1 (/ 1 (+ 1 (exp (- s)))))) (log (- 1 (/ (/ 1 (+ (exp (- t)) 1)) (+ (exp (- t)) 1))))))
100.0ms
(- (log (- 1 (/ 1 (+ 1 (exp (- s)))))) (log (- 1 (/ (/ 1 (+ (exp (- t)) 1)) (+ (exp (- t)) 1)))))
33.0ms
(- 1 (/ (/ 1 (+ (exp (- t)) 1)) (+ (exp (- t)) 1)))

simplify29.5s

Counts
238 → 192
Calls
238 calls:
Slowest
609.0ms
(* (* (* c_n c_n) c_n) (* (* (- (log (- 1 (/ 1 (+ 1 (exp (- s)))))) (log (- 1 (/ (/ 1 (+ (exp (- t)) 1)) (+ (exp (- t)) 1))))) (- (log (- 1 (/ 1 (+ 1 (exp (- s)))))) (log (- 1 (/ (/ 1 (+ (exp (- t)) 1)) (+ (exp (- t)) 1)))))) (- (log (- 1 (/ 1 (+ 1 (exp (- s)))))) (log (- 1 (/ (/ 1 (+ (exp (- t)) 1)) (+ (exp (- t)) 1)))))))
422.0ms
(sqrt (+ (* c_n (- (log (- 1 (/ 1 (+ 1 (exp (- s)))))) (log (- 1 (/ (/ 1 (+ (exp (- t)) 1)) (+ (exp (- t)) 1)))))) (* c_n (log (+ 1 (/ 1 (+ (exp (- t)) 1)))))))
389.0ms
(* (* (- (log (- 1 (/ 1 (+ 1 (exp (- s)))))) (log (- 1 (/ (/ 1 (+ (exp (- t)) 1)) (+ (exp (- t)) 1))))) (- (log (- 1 (/ 1 (+ 1 (exp (- s)))))) (log (- 1 (/ (/ 1 (+ (exp (- t)) 1)) (+ (exp (- t)) 1)))))) (- (log (- 1 (/ 1 (+ 1 (exp (- s)))))) (log (- 1 (/ (/ 1 (+ (exp (- t)) 1)) (+ (exp (- t)) 1))))))
379.0ms
(* (exp (* c_n (- (log (- 1 (/ 1 (+ 1 (exp (- s)))))) (log (- 1 (/ (/ 1 (+ (exp (- t)) 1)) (+ (exp (- t)) 1))))))) (exp (* c_n (log (+ 1 (/ 1 (+ (exp (- t)) 1)))))))
354.0ms
(* (* (- 1 (/ (/ 1 (+ (exp (- t)) 1)) (+ (exp (- t)) 1))) (- 1 (/ (/ 1 (+ (exp (- t)) 1)) (+ (exp (- t)) 1)))) (- 1 (/ (/ 1 (+ (exp (- t)) 1)) (+ (exp (- t)) 1))))

prune3.2s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

regimes126.0ms

bsearch10.0ms

end0.0ms