Details

Time bar (total: 16.3s)

sample135.0ms

Algorithm
intervals
Results
90.0ms232×body10240exit
13.0ms207×body80valid
5.0ms16×body640valid
4.0ms19×body320valid
2.0ms15×body160valid

simplify5.3s

Counts
1 → 1
Iterations

Useful iterations: 5 (299.0ms)

IterNodesCost
0816
12115
25215
311115
420614
568612
6278912
done500112

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 11.6b

localize29.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ x (exp wj))
0.0b
(/ (- wj (/ x (exp wj))) (+ 1 wj))
4.8b
(- wj (/ (- wj (/ x (exp wj))) (+ 1 wj)))

rewrite228.0ms

Algorithm
rewrite-expression-head
Rules
177×add-sqr-sqrt
173×*-un-lft-identity
123×times-frac
90×prod-diff
87×add-cube-cbrt
36×difference-of-squares
25×distribute-lft-out
18×distribute-lft-out--
9×associate-/l*
8×associate-/r/
7×associate-/r* add-cbrt-cube
6×add-exp-log
5×div-inv add-log-exp
4×flip3-+ flip-+
3×pow1 expm1-log1p-u fma-neg log1p-expm1-u
2×cbrt-undiv flip3-- frac-2neg div-sub div-exp clear-num flip-- associate-/l/
1×sub-neg diff-log associate--r-
Counts
3 → 193
Calls
3 calls:
9.0ms
(/ x (exp wj))
52.0ms
(/ (- wj (/ x (exp wj))) (+ 1 wj))
144.0ms
(- wj (/ (- wj (/ x (exp wj))) (+ 1 wj)))

series187.0ms

Counts
3 → 9
Calls
3 calls:
38.0ms
(/ x (exp wj))
64.0ms
(/ (- wj (/ x (exp wj))) (+ 1 wj))
85.0ms
(- wj (/ (- wj (/ x (exp wj))) (+ 1 wj)))

simplify2.5s

Counts
202 → 202
Iterations

Useful iterations: done (2.5s)

IterNodesCost
03318699
18247901
222325818
done50014977

prune507.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.1b

localize14.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify1.0ms

Counts
0 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
done00

prune19.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.1b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ x (exp wj))
0.0b
(/ wj (+ 1 wj))
0.0b
(/ (/ x (exp wj)) (+ 1 wj))
6.6b
(- wj (/ wj (+ 1 wj)))

rewrite126.0ms

Algorithm
rewrite-expression-head
Rules
169×*-un-lft-identity
155×times-frac
118×add-sqr-sqrt
113×add-cube-cbrt
54×prod-diff
27×distribute-lft-out
19×associate-/l*
13×add-cbrt-cube
11×add-exp-log associate-/r* div-inv
10×associate-/r/
6×add-log-exp
5×cbrt-undiv flip3-+ div-exp flip-+
4×pow1 expm1-log1p-u log1p-expm1-u
3×frac-2neg fma-neg clear-num
2×difference-of-squares
1×sub-neg flip3-- diff-log flip-- associate-/l/ distribute-lft-out--
Counts
4 → 226
Calls
4 calls:
8.0ms
(/ x (exp wj))
12.0ms
(/ wj (+ 1 wj))
21.0ms
(/ (/ x (exp wj)) (+ 1 wj))
60.0ms
(- wj (/ wj (+ 1 wj)))

series206.0ms

Counts
4 → 12
Calls
4 calls:
54.0ms
(/ x (exp wj))
32.0ms
(/ wj (+ 1 wj))
72.0ms
(/ (/ x (exp wj)) (+ 1 wj))
47.0ms
(- wj (/ wj (+ 1 wj)))

simplify2.5s

Counts
238 → 238
Iterations

Useful iterations: done (2.5s)

IterNodesCost
03705110
18624525
221753611
done50013145

prune637.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (- (fma wj wj (pow wj 4)) (pow wj 3)) (/ (/ x (exp wj)) (+ 1 wj)))
0.0b
(/ x (exp wj))
0.0b
(- (fma wj wj (pow wj 4)) (pow wj 3))
0.0b
(/ (/ x (exp wj)) (+ 1 wj))

rewrite225.0ms

Algorithm
rewrite-expression-head
Rules
142×*-un-lft-identity
119×add-sqr-sqrt
106×times-frac
105×add-cube-cbrt
72×prod-diff
39×associate-+l+
20×unpow-prod-down cube-prod
16×distribute-lft-out associate-/l*
11×add-cbrt-cube add-log-exp
9×add-exp-log
8×fma-def difference-of-squares sqr-pow
7×associate-/r* div-inv
6×cube-mult unpow3
4×pow1 cbrt-undiv expm1-log1p-u div-exp log1p-expm1-u
3×fma-neg distribute-lft-out--
2×sub-neg flip3-- frac-2neg flip3-+ diff-log frac-add associate--l+ clear-num sum-log associate-/r/ flip-- flip-+ fma-udef
1×+-commutative associate-+l- associate-/l/
Counts
4 → 242
Calls
4 calls:
142.0ms
(+ (- (fma wj wj (pow wj 4)) (pow wj 3)) (/ (/ x (exp wj)) (+ 1 wj)))
7.0ms
(/ x (exp wj))
30.0ms
(- (fma wj wj (pow wj 4)) (pow wj 3))
21.0ms
(/ (/ x (exp wj)) (+ 1 wj))

series241.0ms

Counts
4 → 12
Calls
4 calls:
89.0ms
(+ (- (fma wj wj (pow wj 4)) (pow wj 3)) (/ (/ x (exp wj)) (+ 1 wj)))
32.0ms
(/ x (exp wj))
58.0ms
(- (fma wj wj (pow wj 4)) (pow wj 3))
62.0ms
(/ (/ x (exp wj)) (+ 1 wj))

simplify2.2s

Counts
254 → 254
Iterations

Useful iterations: done (2.2s)

IterNodesCost
03435428
18054306
223153811
done50013337

prune1.1s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

regimes1.0ms