Details

Time bar (total: 3.7m)

sample1.0m

Algorithm
intervals
Results
1.0m3156×body10240exit
489.0ms250×body80valid
246.0ms3412×pre80true
7.0ms1×body5120valid
6.0ms1×body2560valid
5.0ms3×body640valid
4.0ms1×body1280valid

simplify313.0ms

Calls
1 calls:
Slowest
313.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)))

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.4b

localize59.0ms

Local error

Found 4 expressions with local error:

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

rewrite230.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*
Calls
4 calls:
Slowest
150.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)))))
19.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
17.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)

series776.0ms

Calls
4 calls:
Slowest
616.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)))
67.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
62.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
31.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))

simplify1.9m

Calls
450 calls:
Slowest
3.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 (+ 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.6s
(/ (* (* (* (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))))
775.0ms
(/ (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))

prune6.0s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.1b

localize56.0ms

Local error

Found 4 expressions with local error:

11.3b
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
5.8b
(+ (+ (* c_n (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (* (log (+ (exp (- t)) 1)) c_p)) (* c_p (log (/ 1 (+ (exp (- s)) 1)))))
1.3b
(log (+ (exp (- t)) 1))
0.7b
(log (/ 1 (+ (exp (- s)) 1)))

rewrite160.0ms

Algorithm
rewrite-expression-head
Rules
80×log-prod
71×*-un-lft-identity
55×add-sqr-sqrt
44×times-frac
36×associate-+r+
31×add-cube-cbrt
18×distribute-rgt-in distribute-lft-in
13×difference-of-squares
11×pow1 associate--l+ associate--r+
10×add-exp-log distribute-lft-out
9×add-log-exp
8×log-pow distribute-lft-out--
7×log-div
6×associate-/r/
5×flip3-+ rem-log-exp flip-+ div-inv
4×add-cbrt-cube insert-posit16
3×sum-log flip3-- log-rec flip--
2×associate--l- div-exp distribute-rgt-neg-out associate--r-
1×+-commutative rec-exp associate-+l+ sub-neg diff-log 1-exp unsub-neg pow-flip inv-pow
Calls
4 calls:
Slowest
82.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
59.0ms
(+ (+ (* c_n (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (* (log (+ (exp (- t)) 1)) c_p)) (* c_p (log (/ 1 (+ (exp (- s)) 1)))))
9.0ms
(log (/ 1 (+ (exp (- s)) 1)))
8.0ms
(log (+ (exp (- t)) 1))

series556.0ms

Calls
4 calls:
Slowest
342.0ms
(+ (+ (* c_n (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (* (log (+ (exp (- t)) 1)) c_p)) (* c_p (log (/ 1 (+ (exp (- s)) 1)))))
104.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
58.0ms
(log (/ 1 (+ (exp (- s)) 1)))
52.0ms
(log (+ (exp (- t)) 1))

simplify5.4s

Calls
117 calls:
Slowest
283.0ms
(- (+ (* c_n (log (- 1 (/ 1 (+ (exp (- s)) 1))))) (+ (* c_p (log (/ 1 (+ (exp (- s)) 1)))) (* c_p (log (+ (exp (- t)) 1))))) (* (log (- 1 (/ 1 (+ (exp (- t)) 1)))) c_n))
283.0ms
(* (* (exp (* c_n (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1))))))) (exp (* (log (+ (exp (- t)) 1)) c_p))) (exp (* c_p (log (/ 1 (+ (exp (- s)) 1))))))
266.0ms
(log (+ (pow (exp (- t)) 3) (pow 1 3)))
251.0ms
(log (/ 1 (+ (pow (exp (- s)) 3) (pow 1 3))))
246.0ms
(- (+ (* (log (/ 1 (+ (exp (* -1 s)) 1))) c_p) (+ (* c_p (log (+ (exp (* -1 t)) 1))) (* c_n (log (- 1 (/ 1 (+ (exp (* -1 s)) 1))))))) (* (log (- 1 (/ 1 (+ (exp (* -1 t)) 1)))) c_n))

prune2.5s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize62.0ms

Local error

Found 4 expressions with local error:

11.3b
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
5.8b
(+ (+ (* c_n (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (* (+ (log 2) (* (+ (* 1/8 t) -1/2) t)) c_p)) (* c_p (log (/ 1 (+ (exp (- s)) 1)))))
0.7b
(log (/ 1 (+ (exp (- s)) 1)))
0.3b
(* c_p (log (/ 1 (+ (exp (- s)) 1))))

rewrite183.0ms

Algorithm
rewrite-expression-head
Rules
112×log-prod
98×*-un-lft-identity
74×add-sqr-sqrt
68×times-frac
48×add-cube-cbrt
36×distribute-rgt-in associate-+r+ distribute-lft-in
15×distribute-lft-out
14×pow1
13×difference-of-squares
11×associate--l+ add-exp-log associate--r+
10×associate-/r/ log-pow
9×add-log-exp
8×distribute-lft-out--
7×div-inv
6×flip3-+ add-cbrt-cube associate-*r* flip-+
5×log-div
4×rem-log-exp log-rec insert-posit16
3×sum-log flip3-- associate-*l* distribute-rgt-neg-out flip--
2×associate--l- div-exp pow-flip inv-pow associate--r-
1×+-commutative rec-exp associate-+l+ sub-neg diff-log 1-exp unsub-neg pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Calls
4 calls:
Slowest
88.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
61.0ms
(+ (+ (* c_n (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (* (+ (log 2) (* (+ (* 1/8 t) -1/2) t)) c_p)) (* c_p (log (/ 1 (+ (exp (- s)) 1)))))
21.0ms
(* c_p (log (/ 1 (+ (exp (- s)) 1))))
8.0ms
(log (/ 1 (+ (exp (- s)) 1)))

series543.0ms

Calls
4 calls:
Slowest
329.0ms
(+ (+ (* c_n (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (* (+ (log 2) (* (+ (* 1/8 t) -1/2) t)) c_p)) (* c_p (log (/ 1 (+ (exp (- s)) 1)))))
102.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
57.0ms
(* c_p (log (/ 1 (+ (exp (- s)) 1))))
55.0ms
(log (/ 1 (+ (exp (- s)) 1)))

simplify7.0s

Calls
159 calls:
Slowest
400.0ms
(* (* (exp (* c_n (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1))))))) (exp (* (+ (log 2) (* (+ (* 1/8 t) -1/2) t)) c_p))) (exp (* c_p (log (/ 1 (+ (exp (- s)) 1))))))
374.0ms
(* (exp (+ (* c_n (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (* (+ (log 2) (* (+ (* 1/8 t) -1/2) t)) c_p))) (exp (* c_p (log (/ 1 (+ (exp (- s)) 1))))))
270.0ms
(- (+ (* c_p (log 1/2)) (* 1/2 (* c_p s))) (* 1/8 (* c_p (pow s 2))))
251.0ms
(log (/ 1 (+ (pow (exp (- s)) 3) (pow 1 3))))
219.0ms
(log (- (pow 1 3) (pow (/ 1 (+ (exp (- s)) 1)) 3)))

prune3.4s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize72.0ms

Local error

Found 4 expressions with local error:

11.3b
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
5.8b
(+ (+ (* c_n (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (* (+ (log 2) (* (+ (* 1/8 t) -1/2) t)) c_p)) (* c_p (+ (log 1/2) (* (+ (* -1/8 s) 1/2) s))))
0.8b
(* c_p (+ (log 1/2) (* (+ (* -1/8 s) 1/2) s)))
0.3b
(* (+ (log 2) (* (+ (* 1/8 t) -1/2) t)) c_p)

rewrite163.0ms

Algorithm
rewrite-expression-head
Rules
38×add-sqr-sqrt
30×*-un-lft-identity
22×log-prod associate-*r/
20×frac-add
15×flip3-+ flip-+
13×difference-of-squares
12×pow1
11×associate--l+ associate--r+
10×associate-*l/ add-cube-cbrt
9×add-log-exp
8×times-frac add-cbrt-cube add-exp-log distribute-lft-out--
7×flip3-- flip--
6×associate-*r* associate-*l*
4×log-div log-pow insert-posit16
3×sum-log
2×associate--l- distribute-rgt-in associate-+r+ distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod div-inv associate--r- unswap-sqr
1×+-commutative associate-+l+ sub-neg diff-log
Calls
4 calls:
Slowest
86.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
47.0ms
(+ (+ (* c_n (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (* (+ (log 2) (* (+ (* 1/8 t) -1/2) t)) c_p)) (* c_p (+ (log 1/2) (* (+ (* -1/8 s) 1/2) s))))
14.0ms
(* (+ (log 2) (* (+ (* 1/8 t) -1/2) t)) c_p)
14.0ms
(* c_p (+ (log 1/2) (* (+ (* -1/8 s) 1/2) s)))

series638.0ms

Calls
4 calls:
Slowest
396.0ms
(+ (+ (* c_n (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (* (+ (log 2) (* (+ (* 1/8 t) -1/2) t)) c_p)) (* c_p (+ (log 1/2) (* (+ (* -1/8 s) 1/2) s))))
102.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
79.0ms
(* c_p (+ (log 1/2) (* (+ (* -1/8 s) 1/2) s)))
61.0ms
(* (+ (log 2) (* (+ (* 1/8 t) -1/2) t)) c_p)

simplify13.3s

Calls
99 calls:
Slowest
685.0ms
(* (* (+ (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- s)) 1))))) (+ (* (log (- 1 (/ 1 (+ (exp (- t)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1))))) (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1))))))) (+ (* (log 2) (log 2)) (- (* (* (+ (* 1/8 t) -1/2) t) (* (+ (* 1/8 t) -1/2) t)) (* (log 2) (* (+ (* 1/8 t) -1/2) t))))) (- (log 1/2) (* (+ (* -1/8 s) 1/2) s)))
575.0ms
(* (* (+ (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- s)) 1))))) (+ (* (log (- 1 (/ 1 (+ (exp (- t)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1))))) (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1))))))) (- (log 2) (* (+ (* 1/8 t) -1/2) t))) (+ (* (log 1/2) (log 1/2)) (- (* (* (+ (* -1/8 s) 1/2) s) (* (+ (* -1/8 s) 1/2) s)) (* (log 1/2) (* (+ (* -1/8 s) 1/2) s)))))
546.0ms
(+ (* (- (* (* c_n (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (* c_n (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1))))))) (* (* (+ (log 2) (* (+ (* 1/8 t) -1/2) t)) c_p) (* (+ (log 2) (* (+ (* 1/8 t) -1/2) t)) c_p))) (- (log 1/2) (* (+ (* -1/8 s) 1/2) s))) (* (- (* c_n (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (* (+ (log 2) (* (+ (* 1/8 t) -1/2) t)) c_p)) (* c_p (- (* (log 1/2) (log 1/2)) (* (* (+ (* -1/8 s) 1/2) s) (* (+ (* -1/8 s) 1/2) s))))))
490.0ms
(- (* 1/8 (* (pow t 2) c_p)) (+ (* 1/2 (* t c_p)) (* 1/8 (* c_p (pow s 2)))))
471.0ms
(* (+ (* (* c_n (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (* c_n (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1))))))) (- (* (* (+ (log 2) (* (+ (* 1/8 t) -1/2) t)) c_p) (* (+ (log 2) (* (+ (* 1/8 t) -1/2) t)) c_p)) (* (* c_n (- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (* (+ (log 2) (* (+ (* 1/8 t) -1/2) t)) c_p)))) (- (log 1/2) (* (+ (* -1/8 s) 1/2) s)))

prune2.5s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

regimes154.0ms

bsearch9.0ms

end0.0ms