Details

Time bar (total: 9.7s)

sample15.0ms

Algorithm
intervals
Results
5.0ms256×body80valid

simplify10.0ms

Counts
1 → 1
Iterations
IterNodes
done12
412
311
29
16
04

prune11.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 (+ y x))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
6×*-un-lft-identity add-log-exp
3×sum-log distribute-lft-out
1×add-sqr-sqrt pow1 +-commutative associate-+r+ flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+
Counts
1 → 15
Calls
1 calls:
13.0ms
(+ x (+ y x))

series30.0ms

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

simplify713.0ms

Counts
18 → 18
Iterations
IterNodes
done5002
31119
2262
185
032

prune76.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (+ x (+ x y))) (cbrt (+ x (+ x y))))
0.5b
(cbrt (+ x (+ x y)))
0.5b
(cbrt (+ x (+ x y)))
0.5b
(cbrt (+ x (+ x y)))

rewrite209.0ms

Algorithm
rewrite-expression-head
Rules
74×*-un-lft-identity
51×cbrt-prod
33×distribute-lft-out
23×add-sqr-sqrt
18×cbrt-div
15×add-cube-cbrt
14×swap-sqr
11×pow1
9×flip3-+ pow1/3 flip-+
8×associate-*r* associate-*l*
6×add-exp-log
4×frac-times add-cbrt-cube add-log-exp unswap-sqr
2×pow-prod-down associate-*l/ associate-*r/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 105
Calls
4 calls:
146.0ms
(* (cbrt (+ x (+ x y))) (cbrt (+ x (+ x y))))
23.0ms
(cbrt (+ x (+ x y)))
20.0ms
(cbrt (+ x (+ x y)))
13.0ms
(cbrt (+ x (+ x y)))

series1.2s

Counts
4 → 12
Calls
4 calls:
332.0ms
(* (cbrt (+ x (+ x y))) (cbrt (+ x (+ x y))))
331.0ms
(cbrt (+ x (+ x y)))
261.0ms
(cbrt (+ x (+ x y)))
257.0ms
(cbrt (+ x (+ x y)))

simplify937.0ms

Counts
117 → 117
Iterations
IterNodes
done5001
21255
1316
0130

prune525.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize46.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* (cbrt (sqrt (+ (+ x y) x))) (cbrt (sqrt (+ (+ x y) x)))) (* (cbrt (sqrt (+ (+ x y) x))) (cbrt (sqrt (+ (+ x y) x)))))
0.2b
(* (cbrt (sqrt (+ (+ x y) x))) (cbrt (sqrt (+ (+ x y) x))))
0.2b
(* (cbrt (sqrt (+ (+ x y) x))) (cbrt (sqrt (+ (+ x y) x))))
0.5b
(cbrt (+ x (+ x y)))

rewrite782.0ms

Algorithm
rewrite-expression-head
Rules
242×cbrt-div
240×sqrt-div
144×frac-times
129×pow1
125×cbrt-prod
122×*-un-lft-identity
121×flip3-+ flip-+
80×sqrt-prod
73×add-sqr-sqrt
57×pow1/3
53×pow-prod-up
51×distribute-lft-out
48×associate-*l/ associate-*r/
39×swap-sqr
37×pow-sqr
36×pow-prod-down
29×add-cube-cbrt
23×associate-*r* associate-*l*
20×pow-plus add-exp-log
19×unswap-sqr
15×pow2
10×prod-exp cbrt-unprod
8×add-cbrt-cube
4×add-log-exp
3×*-commutative
Counts
4 → 321
Calls
4 calls:
400.0ms
(* (* (cbrt (sqrt (+ (+ x y) x))) (cbrt (sqrt (+ (+ x y) x)))) (* (cbrt (sqrt (+ (+ x y) x))) (cbrt (sqrt (+ (+ x y) x)))))
181.0ms
(* (cbrt (sqrt (+ (+ x y) x))) (cbrt (sqrt (+ (+ x y) x))))
158.0ms
(* (cbrt (sqrt (+ (+ x y) x))) (cbrt (sqrt (+ (+ x y) x))))
19.0ms
(cbrt (+ x (+ x y)))

series1.1s

Counts
4 → 12
Calls
4 calls:
295.0ms
(* (* (cbrt (sqrt (+ (+ x y) x))) (cbrt (sqrt (+ (+ x y) x)))) (* (cbrt (sqrt (+ (+ x y) x))) (cbrt (sqrt (+ (+ x y) x)))))
304.0ms
(* (cbrt (sqrt (+ (+ x y) x))) (cbrt (sqrt (+ (+ x y) x))))
257.0ms
(* (cbrt (sqrt (+ (+ x y) x))) (cbrt (sqrt (+ (+ x y) x))))
249.0ms
(cbrt (+ x (+ x y)))

simplify2.1s

Counts
333 → 333
Iterations
IterNodes
done5001
23656
1949
0320

prune1.3s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.0b

regimes92.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
done6
16
04

end0.0ms

sample527.0ms

Algorithm
intervals
Results
206.0ms8006×body80valid