Details

Time bar (total: 12.0s)

sample110.0ms

Algorithm
intervals
Results
24.0ms258×body80valid
20.0ms242×body80nan

simplify28.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01414
12114
22714
32914
done2914

prune34.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 18.7b

localize28.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ x (sqrt (+ (+ (* ax bx) (* ay by)) (* az bz))))
0.6b
(+ (* ax bx) (* ay by))
1.0b
(+ (+ (* ax bx) (* ay by)) (* az bz))
24.2b
(sqrt (+ (+ (* ax bx) (* ay by)) (* az bz)))

rewrite212.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
20×*-un-lft-identity add-cube-cbrt
18×times-frac
15×sqrt-prod
11×add-log-exp
associate-/r* add-cbrt-cube add-exp-log
pow1
sum-log flip3-+ sqrt-div flip-+
associate-/l*
+-commutative associate-/r/
cbrt-undiv rem-sqrt-square associate-+l+ clear-num frac-2neg sqrt-pow1 pow1/2 div-exp div-inv
Counts
4 → 80
Calls
4 calls:
66.0ms
(/ x (sqrt (+ (+ (* ax bx) (* ay by)) (* az bz))))
15.0ms
(+ (* ax bx) (* ay by))
69.0ms
(+ (+ (* ax bx) (* ay by)) (* az bz))
58.0ms
(sqrt (+ (+ (* ax bx) (* ay by)) (* az bz)))

series966.0ms

Counts
4 → 12
Calls
4 calls:
112.0ms
(/ x (sqrt (+ (+ (* ax bx) (* ay by)) (* az bz))))
62.0ms
(+ (* ax bx) (* ay by))
90.0ms
(+ (+ (* ax bx) (* ay by)) (* az bz))
701.0ms
(sqrt (+ (+ (* ax bx) (* ay by)) (* az bz)))

simplify1.2s

Counts
92 → 92
Iterations

Useful iterations: 2 (323.0ms)

IterNodesCost
01481836
13701685
216341607
done50011607

prune666.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 17.3b

localize30.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ 1 (sqrt (+ (+ (* ax bx) (* ay by)) (* az bz))))
0.6b
(+ (* ax bx) (* ay by))
1.0b
(+ (+ (* ax bx) (* ay by)) (* az bz))
24.2b
(sqrt (+ (+ (* ax bx) (* ay by)) (* az bz)))

rewrite221.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
20×*-un-lft-identity add-cube-cbrt
18×times-frac
15×sqrt-prod
11×add-log-exp
add-exp-log
pow1
associate-/r* add-cbrt-cube
sum-log flip3-+ sqrt-div flip-+
pow-flip associate-/l*
+-commutative sqrt-pow1 pow1/2 div-exp associate-/r/
cbrt-undiv rem-sqrt-square rec-exp associate-+l+ clear-num frac-2neg 1-exp div-inv inv-pow
Counts
4 → 86
Calls
4 calls:
74.0ms
(/ 1 (sqrt (+ (+ (* ax bx) (* ay by)) (* az bz))))
15.0ms
(+ (* ax bx) (* ay by))
67.0ms
(+ (+ (* ax bx) (* ay by)) (* az bz))
56.0ms
(sqrt (+ (+ (* ax bx) (* ay by)) (* az bz)))

series932.0ms

Counts
4 → 12
Calls
4 calls:
78.0ms
(/ 1 (sqrt (+ (+ (* ax bx) (* ay by)) (* az bz))))
64.0ms
(+ (* ax bx) (* ay by))
89.0ms
(+ (+ (* ax bx) (* ay by)) (* az bz))
701.0ms
(sqrt (+ (+ (* ax bx) (* ay by)) (* az bz)))

simplify1.2s

Counts
98 → 98
Iterations

Useful iterations: 2 (359.0ms)

IterNodesCost
01451873
13661657
217111583
done50011583

prune558.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 17.3b

regimes1.4s

Accuracy

49.4% (0.5b remaining)

Error of 13.6b against oracle of 13.1b and baseline of 14.1b

bsearch2.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01829
12329
done2329

end0.0ms

sample4.4s

Algorithm
intervals
Results
1.3s8059×body80valid
1.0s7954×body80nan