Details

Time bar (total: 5.6s)

sample197.0ms

Algorithm
intervals
Results
149.0ms237×body10240exit
16.0ms223×body80valid
4.0ms13×body640valid
3.0ms13×body320valid
2.0ms12×body160valid

simplify5.1s

Counts
1 → 1
Iterations

Useful iterations: 5 (236.0ms)

IterNodesCost
0816
12115
25215
311115
420614
568612
6278912
done500112

prune7.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 8.8b

localize10.0ms

Local error

Found 3 expressions with local error:

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

rewrite197.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--
associate-/l*
associate-/r/
associate-/r* add-cbrt-cube
add-exp-log
div-inv add-log-exp
flip3-+ flip-+
pow1 expm1-log1p-u fma-neg log1p-expm1-u
cbrt-undiv flip3-- frac-2neg div-sub div-exp clear-num flip-- associate-/l/
sub-neg diff-log associate--r-
Counts
3 → 193
Calls
3 calls:
73.0ms
(/ (- wj (/ x (exp wj))) (+ 1 wj))
7.0ms
(/ x (exp wj))
90.0ms
(- wj (/ (- wj (/ x (exp wj))) (+ 1 wj)))

series25.0ms