Details

Time bar (total: 133.0ms)

sample84.0ms

Algorithm
intervals
Results
43.0ms65×body1280valid
19.0ms63×body640valid
4.0ms23×body320valid
4.0ms91×body80valid
2.0ms90×body80nan
1.0ms14×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: 39.3b

localize8.0ms

Local error

Found 1 expressions with local error:

4.3b
(log (+ 1.0 x))

rewrite10.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:
9.0ms
(log (+ 1.0 x))

series25.0ms