Details

Time bar (total: 5.7s)

sample104.0ms

Algorithm
intervals
Results
16.0ms356×body80valid

simplify44.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
067
197
2167
3267
4337
done337

prune51.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize16.0ms

Local error

Found 1 expressions with local error:

0.2b
(* 0.5 (- (* x x) y))

rewrite106.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt
4×associate-*r*
3×pow1 add-exp-log add-cube-cbrt *-un-lft-identity associate-*l* add-cbrt-cube
2×distribute-rgt-in sub-neg distribute-lft-in associate-*r/
1×flip3-- pow-prod-down prod-exp *-commutative flip-- cbrt-unprod add-log-exp difference-of-squares unswap-sqr
Counts
1 → 25
Calls
1 calls:
100.0ms
(* 0.5 (- (* x x) y))

series323.0ms

Counts
1 → 3
Calls
1 calls:
322.0ms
(* 0.5 (- (* x x) y))

simplify2.1s

Counts
28 → 28
Iterations

Useful iterations: 3 (814.0ms)

IterNodesCost
055279
1146270
2555238
33238236
done5000236

prune65.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ x (sqrt y))
0.0b
(- x (sqrt y))
0.2b
(* (* 0.5 (+ x (sqrt y))) (- x (sqrt y)))

rewrite88.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt
10×*-un-lft-identity
8×pow1 add-exp-log associate-*r/ add-cbrt-cube
7×add-log-exp
6×associate-*r*
4×frac-times add-cube-cbrt flip3-- flip3-+ flip-- flip-+ difference-of-squares
3×sub-neg pow-prod-down prod-exp cbrt-unprod
2×distribute-rgt-in distribute-lft-in associate-*l/ sqrt-prod distribute-lft-out--
1×+-commutative diff-log associate-*l* sum-log *-commutative distribute-lft-out
Counts
3 → 60
Calls
3 calls:
7.0ms
(+ x (sqrt y))
7.0ms
(- x (sqrt y))
70.0ms
(* (* 0.5 (+ x (sqrt y))) (- x (sqrt y)))

series176.0ms

Counts
3 → 9
Calls
3 calls:
40.0ms
(+ x (sqrt y))
35.0ms
(- x (sqrt y))
101.0ms
(* (* 0.5 (+ x (sqrt y))) (- x (sqrt y)))

simplify1.4s

Counts
69 → 69
Iterations

Useful iterations: 2 (276.0ms)

IterNodesCost
0105926
1333786
22224686
done5000686

prune218.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

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

Useful iterations: 0 (0.0ms)

IterNodesCost
067
177
done77

end0.0ms

sample816.0ms

Algorithm
intervals
Results
422.0ms10584×body80valid
0.0ms1×body1280valid