Details

Time bar (total: 3.5s)

sample28.0ms

Algorithm
intervals
Results
16.0ms256×body80valid

simplify1.3s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01112
12112
23012
35712
413112
562812
done500012

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize18.0ms

Local error

Found 2 expressions with local error:

1.0b
(pow (- 3.01 0.01) 2.0)
1.0b
(pow (+ 3.3 0.7) 2.0)

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
10×*-un-lft-identity
unpow-prod-down
add-sqr-sqrt
pow-unpow add-cube-cbrt
pow1 add-exp-log
pow-to-exp pow-pow add-cbrt-cube pow-exp add-log-exp sqr-pow
distribute-lft-out distribute-lft-out-- difference-of-squares
Counts
2 → 37
Calls
2 calls:
18.0ms
(pow (- 3.01 0.01) 2.0)
18.0ms
(pow (+ 3.3 0.7) 2.0)

series0.0ms

Counts
2 → 2
Calls
2 calls:
0.0ms
(pow (- 3.01 0.01) 2.0)
0.0ms
(pow (+ 3.3 0.7) 2.0)

simplify1.1s

Counts
39 → 39
Iterations

Useful iterations: 2 (145.0ms)

IterNodesCost
063346
1170322
2430310
31296310
done5001310

prune153.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify6.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01112
11312
done1312

end0.0ms

sample734.0ms

Algorithm
intervals
Results
645.0ms8000×body80valid