Details

Time bar (total: 6.7s)

sample32.0ms

Algorithm
intervals
Results
13.0ms460×body80valid

simplify4.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

localize13.0ms

Local error

Found 1 expressions with local error:

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

rewrite13.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:
12.0ms
(+ (* x x) (* y y))

series61.0ms

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

simplify4.1s

Counts
14 → 14
Iterations
IterNodes
done5000
34731
2639
1115
030

prune41.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite56.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:
13.0ms
(+ (* x x) (* y y))
17.0ms
(+ (* x x) (* y y))
12.0ms
(sqrt (+ (* x x) (* y y)))
12.0ms
(sqrt (+ (* x x) (* y y)))

series217.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(+ (* x x) (* y y))
35.0ms
(+ (* x x) (* y y))
62.0ms
(sqrt (+ (* x x) (* y y)))
73.0ms
(sqrt (+ (* x x) (* y y)))

simplify481.0ms

Counts
64 → 64
Iterations
IterNodes
done5000
2770
1142
048

prune307.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes226.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done6
16
05

end0.0ms

sample1.2s

Algorithm
intervals
Results
624.0ms14371×body80valid