Details

Time bar (total: 1.9m)

sample55.8s

Algorithm
intervals
Results
55.3s3156×body10240exit
196.0ms3412×pre80true
59.0ms250×body80valid
17.0ms1×body5120valid
4.0ms3×body640valid
3.0ms1×body2560valid
2.0ms1×body1280valid

simplify129.0ms

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

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.4b

localize42.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)))))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
476×add-exp-log
312×prod-exp
264×pow-exp
184×pow-to-exp
169×div-exp
80×rec-exp
16×add-cbrt-cube
12×unpow-prod-down
8×pow1
6×add-sqr-sqrt pow-pow *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u cbrt-undiv associate-/r/ cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
3×div-inv
2×flip3-+ flip-+ pow-flip inv-pow
1×clear-num associate-/r* sub-neg frac-2neg times-frac flip3-- flip-- associate-/l*
Calls
4 calls:
Slowest
21.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)))
2.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
2.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
1.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))

series695.0ms

Calls
4 calls:
Slowest
546.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)))
60.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
59.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
30.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))

simplify43.4s

Calls
211 calls:
Slowest
1.1s
(/ (* (* (* (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))))
852.0ms
(/ (* (* (* (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))))
778.0ms
(/ (* (* (* (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))))
672.0ms
(/ (* (* (* (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))))
443.0ms
(- (+ (log (pow (/ 1 (+ 1 (exp (- s)))) c_p)) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (log (/ 1 (+ 1 (exp (- t))))) c_p) (log (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))))

prune3.4s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.1b

localize39.0ms

Local error

Found 4 expressions with local error:

11.3b
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))
11.3b
(- (log1p (exp (- t))) (log1p (exp (- s))))
1.2b
(log1p (exp (- t)))
0.7b
(log1p (exp (- s)))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt *-un-lft-identity
18×prod-diff add-cube-cbrt
12×add-log-exp
10×log1p-udef
8×diff-log
6×expm1-log1p-u fma-neg
4×pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
2×sub-neg flip3-- log1p-expm1 flip-- distribute-lft-out-- difference-of-squares
Calls
4 calls:
Slowest
5.0ms
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))
5.0ms
(- (log1p (exp (- t))) (log1p (exp (- s))))
0.0ms
(log1p (exp (- t)))
0.0ms
(log1p (exp (- s)))

series279.0ms

Calls
4 calls:
Slowest
101.0ms
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))
73.0ms
(- (log1p (exp (- t))) (log1p (exp (- s))))
57.0ms
(log1p (exp (- s)))
48.0ms
(log1p (exp (- t)))

simplify2.5s

Calls
68 calls:
Slowest
153.0ms
(- (* 1/2 t) (+ (* 1/8 (pow s 2)) (* 1/2 s)))
93.0ms
(- (+ (* 1/8 (pow t 2)) (* 1/2 s)) (* 1/2 t))
77.0ms
(- (+ (log 2) (* 1/8 (pow s 2))) (* 1/2 s))
75.0ms
(- (+ (log 2) (* 1/8 (pow t 2))) (* 1/2 t))
73.0ms
(fma (sqrt (log1p (/ -1 (+ (exp (- s)) 1)))) (sqrt (log1p (/ -1 (+ (exp (- s)) 1)))) (- (* (sqrt (log1p (/ -1 (+ (exp (- t)) 1)))) (sqrt (log1p (/ -1 (+ (exp (- t)) 1)))))))

prune1.3s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize22.0ms

Local error

Found 4 expressions with local error:

11.3b
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))
0.0b
(* c_p (fma 1/2 s (* t (fma t 1/8 -1/2))))
0.0b
(log1p (/ -1 (+ (exp (- t)) 1)))
0.0b
(/ -1 (+ (exp (- t)) 1))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt *-un-lft-identity
13×add-cube-cbrt
9×prod-diff
8×add-log-exp
5×expm1-log1p-u log1p-udef
4×pow1 add-cbrt-cube diff-log add-exp-log insert-posit16 log1p-expm1-u
3×associate-/r* fma-neg associate-*r*
2×associate-/r/ fma-udef
1×distribute-rgt-in clear-num sub-neg frac-2neg distribute-lft-in flip3-+ flip3-- log1p-expm1 *-commutative flip-+ div-inv flip-- distribute-lft-out-- difference-of-squares
Calls
4 calls:
Slowest
5.0ms
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))
4.0ms
(/ -1 (+ (exp (- t)) 1))
1.0ms
(* c_p (fma 1/2 s (* t (fma t 1/8 -1/2))))
0.0ms
(log1p (/ -1 (+ (exp (- t)) 1)))

series249.0ms

Calls
4 calls:
Slowest
101.0ms
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))
64.0ms
(* c_p (fma 1/2 s (* t (fma t 1/8 -1/2))))
60.0ms
(log1p (/ -1 (+ (exp (- t)) 1)))
24.0ms
(/ -1 (+ (exp (- t)) 1))

simplify2.5s

Calls
50 calls:
Slowest
213.0ms
(- (+ (* 1/8 (* (pow t 2) c_p)) (* 1/2 (* c_p s))) (* 1/2 (* t c_p)))
213.0ms
(- (+ (* 1/8 (* (pow t 2) c_p)) (* 1/2 (* c_p s))) (* 1/2 (* t c_p)))
155.0ms
(- (* 1/2 t) (+ (* 1/8 (pow s 2)) (* 1/2 s)))
145.0ms
(- (log 1/2) (+ (* 1/2 t) (* 1/8 (pow t 2))))
121.0ms
(+ (* (exp (- t)) (exp (- t))) (- (* 1 1) (* (exp (- t)) 1)))

prune1.3s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize15.0ms

Local error

Found 4 expressions with local error:

11.3b
(- (log1p (exp (- t))) (log1p (exp (- s))))
1.2b
(log1p (exp (- t)))
0.7b
(log1p (exp (- s)))
0.0b
(* c_p (- (log1p (exp (- t))) (log1p (exp (- s)))))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt *-un-lft-identity
27×prod-diff
24×add-cube-cbrt
11×distribute-rgt-in distribute-lft-in
8×add-log-exp
6×expm1-log1p-u log1p-udef
5×associate-*r*
4×pow1 add-cbrt-cube diff-log add-exp-log insert-posit16 log1p-expm1-u
3×sub-neg fma-neg
2×flip3-- log1p-expm1 associate-*r/ flip-- distribute-lft-out-- difference-of-squares
1×*-commutative
Calls
4 calls:
Slowest
7.0ms
(* c_p (- (log1p (exp (- t))) (log1p (exp (- s)))))
5.0ms
(- (log1p (exp (- t))) (log1p (exp (- s))))
0.0ms
(log1p (exp (- t)))
0.0ms
(log1p (exp (- s)))

series278.0ms

Calls
4 calls:
Slowest
102.0ms
(* c_p (- (log1p (exp (- t))) (log1p (exp (- s)))))
79.0ms
(- (log1p (exp (- t))) (log1p (exp (- s))))
51.0ms
(log1p (exp (- t)))
47.0ms
(log1p (exp (- s)))

simplify3.1s

Calls
70 calls:
Slowest
219.0ms
(- (+ (* 1/8 (* (pow t 2) c_p)) (* 1/2 (* c_p s))) (* 1/2 (* t c_p)))
93.0ms
(* c_p (fma (- (cbrt (log1p (exp (- s))))) (* (cbrt (log1p (exp (- s)))) (cbrt (log1p (exp (- s))))) (* (cbrt (log1p (exp (- s)))) (* (cbrt (log1p (exp (- s)))) (cbrt (log1p (exp (- s))))))))
93.0ms
(* c_p (fma (- (cbrt (log1p (exp (- s))))) (* (cbrt (log1p (exp (- s)))) (cbrt (log1p (exp (- s))))) (* (cbrt (log1p (exp (- s)))) (* (cbrt (log1p (exp (- s)))) (cbrt (log1p (exp (- s))))))))
92.0ms
(* (fma (- (cbrt (log1p (exp (- s))))) (* (cbrt (log1p (exp (- s)))) (cbrt (log1p (exp (- s))))) (* (cbrt (log1p (exp (- s)))) (* (cbrt (log1p (exp (- s)))) (cbrt (log1p (exp (- s))))))) c_p)
91.0ms
(- (+ (* 1/8 (pow t 2)) (* 1/2 s)) (* 1/2 t))

prune1.4s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes133.0ms

bsearch4.0ms

end0.0ms