Details

Time bar (total: 1.9s)

sample31.0ms

Algorithm
intervals
Results
13.0ms256×body80valid

simplify4.0ms

Counts
1 → 1
Iterations
IterNodes
done7
17
06

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.8b

localize17.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* x x) (* y y))
27.0b
(sqrt (+ (* x x) (* y y)))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
4×add-sqr-sqrt add-log-exp
3×pow1 *-un-lft-identity add-cube-cbrt sqrt-prod
2×flip3-+ add-cbrt-cube sqrt-div add-exp-log flip-+
1×+-commutative rem-sqrt-square sum-log sqrt-pow1 pow1/2
Counts
2 → 26
Calls
2 calls:
7.0ms
(+ (* x x) (* y y))
13.0ms
(sqrt (+ (* x x) (* y y)))

series107.0ms

Counts
2 → 6
Calls
2 calls:
49.0ms
(+ (* x x) (* y y))
58.0ms
(sqrt (+ (* x x) (* y y)))

simplify492.0ms

Counts
32 → 32
Iterations
IterNodes
done5000
2770
1142
048

prune158.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 4.4b

localize25.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* x x) (* y y))
5.6b
(exp (log (sqrt (+ (* x x) (* y y)))))
27.0b
(sqrt (+ (* x x) (* y y)))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
7×*-un-lft-identity add-cube-cbrt
6×pow1 log-prod exp-prod exp-sum sqrt-prod
5×add-log-exp
4×sqrt-div
3×flip3-+ add-cbrt-cube add-exp-log log-pow flip-+
2×log-div sqrt-pow1 pow1/2 exp-diff
1×+-commutative rem-sqrt-square sum-log rem-exp-log
Counts
3 → 48
Calls
3 calls:
12.0ms
(+ (* x x) (* y y))
18.0ms
(exp (log (sqrt (+ (* x x) (* y y)))))
13.0ms
(sqrt (+ (* x x) (* y y)))

series137.0ms

Counts
3 → 9
Calls
3 calls:
35.0ms
(+ (* x x) (* y y))
48.0ms
(exp (log (sqrt (+ (* x x) (* y y)))))
55.0ms
(sqrt (+ (* x x) (* y y)))

simplify587.0ms

Counts
57 → 57
Iterations
IterNodes
done5001
2919
1191
087

prune299.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 4.4b

localize1.0ms