Details

Time bar (total: 5.0s)

sample28.0ms

Algorithm
intervals
Results
13.0ms479×body80valid

simplify2.0ms

Counts
1 → 1
Iterations
IterNodes
done6
16
05

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 1 expressions with local error:

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

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

series45.0ms

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

simplify1.7s

Counts
14 → 14
Iterations
IterNodes
done5000
31477
2342
1100
030

prune43.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite40.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:
9.0ms
(+ (* x x) (* y y))
13.0ms
(+ (* x x) (* y y))
8.0ms
(sqrt (+ (* x x) (* y y)))
8.0ms
(sqrt (+ (* x x) (* y y)))

series162.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(+ (* x x) (* y y))
31.0ms
(+ (* x x) (* y y))
50.0ms
(sqrt (+ (* x x) (* y y)))
53.0ms
(sqrt (+ (* x x) (* y y)))

simplify1.8s

Counts
64 → 64
Iterations
IterNodes
done5000
31559
2372
1127
048

prune265.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes125.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done8
18
07

end0.0ms

sample881.0ms

Algorithm
intervals
Results
335.0ms14238×body80valid