Details

Time bar (total: 3.8m)

sample1.1m

Algorithm
intervals
Results
1.1m3312×body10240exit
343.0ms3568×pre80true
70.0ms252×body80valid
3.0ms2×body640valid
3.0ms1×body1280valid
1.0ms1×body160valid

simplify793.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
792.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.6b

localize70.0ms

Local error

Found 4 expressions with local error:

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)))
1.9b
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
0.2b
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
0.1b
(- 1 (/ 1 (+ 1 (exp (- s)))))

rewrite288.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
188.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)))
44.0ms
(- 1 (/ 1 (+ 1 (exp (- s)))))
25.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
13.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)

series940.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
734.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)))
91.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
63.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
51.0ms
(- 1 (/ 1 (+ 1 (exp (- s)))))

simplify2.2m

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.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.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))))
1.1s
(* (* (/ (* (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.6s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize56.0ms

Local error

Found 4 expressions with local error:

11.6b
(+ (log (/ 1 (+ (exp (- s)) 1))) (log (+ (exp (- t)) 1)))
6.3b
(+ (- (* c_p (+ (log (/ 1 (+ (exp (- s)) 1))) (log (+ (exp (- t)) 1)))) (* c_n (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n))
2.0b
(log (+ (exp (- t)) 1))
0.5b
(log (- 1 (/ 1 (+ (exp (- s)) 1))))

rewrite121.0ms

Algorithm
rewrite-expression-head
Rules
37×log-prod *-un-lft-identity
26×add-sqr-sqrt
22×associate-+l+
16×times-frac
15×add-cube-cbrt
10×pow1
9×distribute-lft-out add-log-exp
7×log-div
6×add-exp-log log-pow difference-of-squares
5×flip3-+ flip-+
4×associate-+r+ add-cbrt-cube insert-posit16
3×sum-log
2×+-commutative associate-+r- rem-log-exp associate--l+ associate-/r/ associate-+l- div-inv distribute-lft-out--
1×distribute-rgt-in sub-neg distribute-lft-in flip3-- diff-log flip--
Counts
4 → 98
Calls
4 calls:
Slowest
54.0ms
(+ (- (* c_p (+ (log (/ 1 (+ (exp (- s)) 1))) (log (+ (exp (- t)) 1)))) (* c_n (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n))
36.0ms
(log (- 1 (/ 1 (+ (exp (- s)) 1))))
22.0ms
(+ (log (/ 1 (+ (exp (- s)) 1))) (log (+ (exp (- t)) 1)))
7.0ms
(log (+ (exp (- t)) 1))

series492.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
315.0ms
(+ (- (* c_p (+ (log (/ 1 (+ (exp (- s)) 1))) (log (+ (exp (- t)) 1)))) (* c_n (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n))
66.0ms
(+ (log (/ 1 (+ (exp (- s)) 1))) (log (+ (exp (- t)) 1)))
65.0ms
(log (- 1 (/ 1 (+ (exp (- s)) 1))))
47.0ms
(log (+ (exp (- t)) 1))

simplify10.0s

Counts
129 → 110
Calls
129 calls:
Slowest
605.0ms
(* (* (+ (- (* c_p (+ (log (/ 1 (+ (exp (- s)) 1))) (log (+ (exp (- t)) 1)))) (* c_n (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n)) (+ (- (* c_p (+ (log (/ 1 (+ (exp (- s)) 1))) (log (+ (exp (- t)) 1)))) (* c_n (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n))) (+ (- (* c_p (+ (log (/ 1 (+ (exp (- s)) 1))) (log (+ (exp (- t)) 1)))) (* c_n (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n)))
313.0ms
(* (/ (exp (* c_p (+ (log (/ 1 (+ (exp (- s)) 1))) (log (+ (exp (- t)) 1))))) (exp (* c_n (log (- 1 (/ 1 (+ (exp (- t)) 1))))))) (exp (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n)))
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))))
294.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))
280.0ms
(+ (log (/ 1 (+ (exp (- s)) 1))) (log (+ (pow (exp (- t)) 3) (pow 1 3))))

prune1.4s

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize60.0ms

Local error

Found 4 expressions with local error:

9.0b
(+ (- (* c_p (+ (* (- s t) 1/2) (+ (log 1/2) (log 2)))) (* c_n (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n))
0.5b
(log (- 1 (/ 1 (+ (exp (- s)) 1))))
0.2b
(* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n)
0.2b
(* c_n (log (- 1 (/ 1 (+ (exp (- t)) 1)))))

rewrite236.0ms

Algorithm
rewrite-expression-head
Rules
48×add-sqr-sqrt
35×*-un-lft-identity
33×log-prod
18×difference-of-squares
12×distribute-rgt-in distribute-lft-in times-frac
11×pow1 add-cube-cbrt
9×add-exp-log add-log-exp
8×add-cbrt-cube
7×associate-*r* associate-*l*
6×distribute-lft-out--
4×associate-+l+ insert-posit16
3×log-pow div-inv
2×log-div sum-log pow-prod-down prod-exp associate--l+ *-commutative cbrt-unprod unswap-sqr
1×+-commutative sub-neg flip3-+ flip3-- diff-log rem-log-exp associate-+l- flip-+ flip--
Counts
4 → 103
Calls
4 calls:
Slowest
117.0ms
(+ (- (* c_p (+ (* (- s t) 1/2) (+ (log 1/2) (log 2)))) (* c_n (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n))
75.0ms
(* c_n (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
36.0ms
(log (- 1 (/ 1 (+ (exp (- s)) 1))))
6.0ms
(* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n)

series470.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
263.0ms
(+ (- (* c_p (+ (* (- s t) 1/2) (+ (log 1/2) (log 2)))) (* c_n (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n))
77.0ms
(* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n)
66.0ms
(* c_n (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
63.0ms
(log (- 1 (/ 1 (+ (exp (- s)) 1))))

simplify9.2s

Counts
150 → 115
Calls
150 calls:
Slowest
387.0ms
(* (* (+ (- (* c_p (+ (* (- s t) 1/2) (+ (log 1/2) (log 2)))) (* c_n (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n)) (+ (- (* c_p (+ (* (- s t) 1/2) (+ (log 1/2) (log 2)))) (* c_n (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n))) (+ (- (* c_p (+ (* (- s t) 1/2) (+ (log 1/2) (log 2)))) (* c_n (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n)))
320.0ms
(log (+ (- (* c_p (+ (* (- s t) 1/2) (+ (log 1/2) (log 2)))) (* c_n (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n)))
318.0ms
(cbrt (+ (- (* c_p (+ (* (- s t) 1/2) (+ (log 1/2) (log 2)))) (* c_n (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n)))
318.0ms
(sqrt (+ (- (* c_p (+ (* (- s t) 1/2) (+ (log 1/2) (log 2)))) (* c_n (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n)))
316.0ms
(sqrt (+ (- (* c_p (+ (* (- s t) 1/2) (+ (log 1/2) (log 2)))) (* c_n (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n)))

prune1.7s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.1b

end0.0ms