Details

Time bar (total: 8.1s)

sample51.0ms

Algorithm
intervals
Results
24.0ms481×body80valid

simplify1.3s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
1147
2297
3697
42067
511027
done50007

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (pow a 2.0) (pow b 2.0))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt
difference-of-squares
unpow-prod-down
sqr-pow
*-un-lft-identity
add-log-exp
distribute-lft-out--
pow1 sub-neg flip3-- add-cbrt-cube diff-log add-exp-log add-cube-cbrt flip--
Counts
1 → 23
Calls
1 calls:
37.0ms
(- (pow a 2.0) (pow b 2.0))

series76.0ms

Counts
1 → 3
Calls
1 calls:
76.0ms
(- (pow a 2.0) (pow b 2.0))

simplify1.7s

Counts
26 → 26
Iterations

Useful iterations: 2 (92.0ms)

IterNodesCost
059362
1128351
2359337
31570337
done5000337

prune155.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize21.0ms

Local error

Found 2 expressions with local error:

18.8b
(sqrt (pow b 2.0))
18.8b
(sqrt (pow b 2.0))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
14×sqrt-prod
10×add-sqr-sqrt
unpow-prod-down
rem-sqrt-square *-un-lft-identity add-cube-cbrt
sqr-pow
pow1 sqrt-pow1 add-cbrt-cube pow1/2 add-exp-log add-log-exp
Counts
2 → 38
Calls
2 calls:
6.0ms
(sqrt (pow b 2.0))
6.0ms
(sqrt (pow b 2.0))

series1.6s

Counts
2 → 6
Calls
2 calls:
825.0ms
(sqrt (pow b 2.0))
811.0ms
(sqrt (pow b 2.0))

simplify1.1s

Counts
44 → 44
Iterations

Useful iterations: 2 (44.0ms)

IterNodesCost
041332
175302
2142298
3317298
4885298
done5000298

prune355.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify5.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01121
11321
done1321

end0.0ms

sample1.6s

Algorithm
intervals
Results
897.0ms14230×body80valid