Details

Time bar (total: 4.8s)

sample33.0ms

Algorithm
intervals
Results
13.0ms429×body80valid

simplify3.0ms

Counts
1 → 1
Iterations
IterNodes
done6
16
05

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 1 expressions with local error:

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

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
3×add-log-exp
1×add-sqr-sqrt pow1 +-commutative sum-log *-un-lft-identity flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+
Counts
1 → 11
Calls
1 calls:
9.0ms
(+ (* x x) (* y y))

series39.0ms

Counts
1 → 3
Calls
1 calls:
39.0ms
(+ (* x x) (* y y))

simplify1.6s

Counts
14 → 14
Iterations
IterNodes
done5000
31477
2342
1100
030

prune47.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 4 expressions with local error:

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

rewrite31.0ms

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

series159.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(+ (* x x) (* y y))
37.0ms
(+ (* x x) (* y y))
52.0ms
(sqrt (+ (* x x) (* y y)))
40.0ms
(sqrt (+ (* x x) (* y y)))

simplify1.6s

Counts
64 → 64
Iterations
IterNodes
done5000
31559
2372
1127
048

prune300.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

simplify2.0ms

Iterations
IterNodes
done8
18
07

end0.0ms

sample958.0ms

Algorithm
intervals
Results
488.0ms14079×body80valid