Details

Time bar (total: 5.3s)

sample97.0ms

Algorithm
intervals
Results
14.0ms356×body80valid

simplify81.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
067
1107
2177
3297
4407
5427
done427

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize15.0ms

Local error

Found 1 expressions with local error:

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

rewrite43.0ms

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

series87.0ms

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

simplify765.0ms

Counts
36 → 36
Iterations

Useful iterations: done (761.0ms)

IterNodesCost
085445
1222384
21032332
done5000330

prune84.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize17.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)))

rewrite123.0ms

Algorithm
rewrite-expression-head
Rules
54×prod-diff
50×add-sqr-sqrt
48×*-un-lft-identity
42×add-cube-cbrt
29×sqrt-prod
20×distribute-rgt-in distribute-lft-in
8×pow1 add-exp-log associate-*r/ add-cbrt-cube
7×add-log-exp
6×associate-*r*
4×frac-times flip3-- flip3-+ flip-- flip-+ difference-of-squares
3×expm1-log1p-u sub-neg fma-def fma-neg pow-prod-down prod-exp cbrt-unprod log1p-expm1-u
2×associate-*l/ distribute-lft-out--
1×+-commutative diff-log associate-*l* sum-log *-commutative distribute-lft-out
Counts
3 → 126
Calls
3 calls:
7.0ms
(+ x (sqrt y))
13.0ms
(- x (sqrt y))
95.0ms
(* (* 0.5 (+ x (sqrt y))) (- x (sqrt y)))

series196.0ms

Counts
3 → 9
Calls
3 calls:
46.0ms
(+ x (sqrt y))
41.0ms
(- x (sqrt y))
109.0ms
(* (* 0.5 (+ x (sqrt y))) (- x (sqrt y)))

simplify2.6s

Counts
135 → 135
Iterations

Useful iterations: 2 (699.0ms)

IterNodesCost
01933067
16022400
239861969
done50001969

prune279.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

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

Useful iterations: 0 (0.0ms)

IterNodesCost
067
177
done77

end0.0ms

sample858.0ms

Algorithm
intervals
Results
435.0ms10584×body80valid
0.0ms1×body1280valid