Details

Time bar (total: 5.2s)

sample61.0ms

Algorithm
intervals
Results
12.0ms145×body80valid
12.0ms150×body80nan

simplify28.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01314
12014
22714
32914
done2914

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.3b

localize51.0ms

Local error

Found 2 expressions with local error:

0.1b
(+ (* x0 x1) (* y0 y1))
0.9b
(+ (+ (* x0 x1) (* y0 y1)) (* z0 z1))

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
add-log-exp
sum-log
add-sqr-sqrt pow1 +-commutative *-un-lft-identity flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+
associate-+l+
Counts
2 → 24
Calls
2 calls:
16.0ms
(+ (* x0 x1) (* y0 y1))
57.0ms
(+ (+ (* x0 x1) (* y0 y1)) (* z0 z1))

series166.0ms

Counts
2 → 6
Calls
2 calls:
61.0ms
(+ (* x0 x1) (* y0 y1))
105.0ms
(+ (+ (* x0 x1) (* y0 y1)) (* z0 z1))

simplify1.1s

Counts
30 → 30
Iterations

Useful iterations: 2 (164.0ms)

IterNodesCost
058421
1189395
21038373
done5000373

prune201.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 1.2b

localize13.0ms

Local error

Found 1 expressions with local error:

1.2b
(sqrt (+ 0 (* z0 z1)))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt sqrt-prod
pow1 *-un-lft-identity sqrt-div add-cube-cbrt
rem-sqrt-square sqrt-pow1 flip3-+ add-cbrt-cube pow1/2 add-exp-log flip-+ add-log-exp
Counts
1 → 15
Calls
1 calls:
10.0ms
(sqrt (+ 0 (* z0 z1)))

series89.0ms

Counts
1 → 3
Calls
1 calls:
89.0ms
(sqrt (+ 0 (* z0 z1)))

simplify930.0ms

Counts
18 → 18
Iterations

Useful iterations: done (928.0ms)

IterNodesCost
053196
1135135
2754124
done5001120

prune112.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 1.0b

regimes401.0ms

Accuracy

0% (0.2b remaining)

Error of 1.6b against oracle of 1.3b and baseline of 1.6b

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01314
11814
done1814

end0.0ms

sample2.0s

Algorithm
intervals
Results
627.0ms4545×body80valid
485.0ms4468×body80nan