Details

Time bar (total: 6.2s)

sample161.0ms

Algorithm
intervals
Results
116.0ms256×body10240exit
14.0ms202×body80valid
5.0ms25×body320valid
3.0ms12×body640valid
3.0ms21×body160valid

simplify5.7s

Counts
1 → 1
Iterations

Useful iterations: 5 (703.0ms)

IterNodesCost
0816
12115
25215
311115
420614
568612
6278912
done500112

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 12.9b

localize22.0ms

Local error

Found 3 expressions with local error:

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

rewrite270.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:
7.0ms
(/ x (exp wj))
95.0ms
(/ (- wj (/ x (exp wj))) (+ 1 wj))
150.0ms
(- wj (/ (- wj (/ x (exp wj))) (+ 1 wj)))

series18.0ms