Details

Time bar (total: 159.0ms)

sample109.0ms

Algorithm
intervals
Results
63.0ms75×body1280valid
18.0ms41×body640valid
5.0ms26×body320valid
5.0ms102×body80valid
3.0ms100×body80nan
2.0ms12×body160valid

simplify3.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
044
154
done54

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 36.1b

localize8.0ms

Local error

Found 1 expressions with local error:

3.2b
(log (+ 1.0 x))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
log-prod *-un-lft-identity
pow1 add-exp-log add-sqr-sqrt add-cube-cbrt log-div
flip3-+ rem-log-exp log-pow add-cbrt-cube flip-+ distribute-lft-out add-log-exp
Counts
1 → 15
Calls
1 calls:
10.0ms
(log (+ 1.0 x))

series24.0ms