Details

Time bar (total: 12.9s)

sample28.0ms

Algorithm
intervals
Results
6.0ms256×body80valid
5.0ms221×body80nan

simplify2.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
044
154
done54

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b
(sqrt (+ x y))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
4×*-un-lft-identity sqrt-prod
3×add-sqr-sqrt
2×pow1 add-cube-cbrt sqrt-div
1×add-exp-log rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 add-cbrt-cube flip-+ distribute-lft-out add-log-exp
Counts
1 → 16
Calls
1 calls:
11.0ms
(sqrt (+ x y))

series45.0ms

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

simplify829.0ms

Counts
19 → 19
Iterations

Useful iterations: 3 (233.0ms)

IterNodesCost
053174
1115151
2362147
31544137
done5000137

prune55.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (+ x y))
0.1b
(sqrt (sqrt (+ x y)))
0.1b
(sqrt (sqrt (+ x y)))
0.5b
(* (sqrt (sqrt (+ x y))) (sqrt (sqrt (+ x y))))

rewrite124.0ms

Algorithm
rewrite-expression-head
Rules
110×sqrt-prod
56×add-sqr-sqrt
41×*-un-lft-identity sqrt-pow1
34×sqrt-div
32×pow1
21×add-cube-cbrt pow1/2
18×swap-sqr
10×associate-*r* associate-*l*
9×flip3-+ pow-prod-up flip-+ distribute-lft-out unswap-sqr
6×add-exp-log add-cbrt-cube
5×rem-sqrt-square pow-prod-down pow-sqr
4×frac-times add-log-exp
2×associate-*r/ associate-*l/
1×pow2 pow-plus sqrt-unprod prod-exp rem-square-sqrt *-commutative cbrt-unprod
Counts
4 → 148
Calls
4 calls:
7.0ms
(sqrt (+ x y))
11.0ms
(sqrt (sqrt (+ x y)))
13.0ms
(sqrt (sqrt (+ x y)))
84.0ms
(* (sqrt (sqrt (+ x y))) (sqrt (sqrt (+ x y))))

series621.0ms

Counts
4 → 12
Calls
4 calls:
54.0ms
(sqrt (+ x y))
272.0ms
(sqrt (sqrt (+ x y)))
256.0ms
(sqrt (sqrt (+ x y)))
39.0ms
(* (sqrt (sqrt (+ x y))) (sqrt (sqrt (+ x y))))

simplify1.7s

Counts
160 → 160
Iterations

Useful iterations: done (1.7s)

IterNodesCost
01622186
13661378
216501307
done50001298

prune306.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize12.0ms

Local error

Found 4 expressions with local error:

0.1b
(sqrt (sqrt (sqrt (+ x y))))
0.1b
(sqrt (sqrt (sqrt (+ x y))))
0.3b
(* (pow (sqrt (sqrt (sqrt (+ x y)))) 3) (sqrt (sqrt (sqrt (+ x y)))))
0.7b
(pow (sqrt (sqrt (sqrt (+ x y)))) 3)

rewrite157.0ms

Algorithm
rewrite-expression-head
Rules
261×sqrt-prod
114×add-sqr-sqrt
54×sqrt-div
46×*-un-lft-identity
42×unpow-prod-down cube-prod
40×unswap-sqr
32×add-cube-cbrt associate-*l*
27×sqrt-pow1
15×pow1
13×associate-*r*
10×add-exp-log
9×flip3-+ pow1/2 flip-+
8×cube-div
7×pow-pow add-cbrt-cube distribute-lft-out
6×rem-sqrt-square sqr-pow
4×frac-times add-log-exp
3×pow-unpow prod-exp
2×cube-mult pow-to-exp unpow3 associate-*r/ associate-*l/ pow-exp
1×pow-plus *-commutative pow-prod-up sqrt-pow2 cbrt-unprod rem-cube-cbrt
Counts
4 → 215
Calls
4 calls:
14.0ms
(sqrt (sqrt (sqrt (+ x y))))
10.0ms
(sqrt (sqrt (sqrt (+ x y))))
95.0ms
(* (pow (sqrt (sqrt (sqrt (+ x y)))) 3) (sqrt (sqrt (sqrt (+ x y)))))
18.0ms
(pow (sqrt (sqrt (sqrt (+ x y)))) 3)

series589.0ms

Counts
4 → 12
Calls
4 calls:
154.0ms
(sqrt (sqrt (sqrt (+ x y))))
149.0ms
(sqrt (sqrt (sqrt (+ x y))))
49.0ms
(* (pow (sqrt (sqrt (sqrt (+ x y)))) 3) (sqrt (sqrt (sqrt (+ x y)))))
237.0ms
(pow (sqrt (sqrt (sqrt (+ x y)))) 3)

simplify1.8s

Counts
227 → 227
Iterations

Useful iterations: done (1.8s)

IterNodesCost
02284130
16592997
228262857
done50012462

prune819.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize38.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* (pow (sqrt (sqrt (sqrt (+ x y)))) 3/2) (pow (sqrt (sqrt (sqrt (+ x y)))) 3/2)) (sqrt (sqrt (sqrt (+ x y)))))
0.4b
(pow (sqrt (sqrt (sqrt (+ x y)))) 3/2)
0.4b
(pow (sqrt (sqrt (sqrt (+ x y)))) 3/2)
0.5b
(* (pow (sqrt (sqrt (sqrt (+ x y)))) 3/2) (pow (sqrt (sqrt (sqrt (+ x y)))) 3/2))

rewrite353.0ms

Algorithm
rewrite-expression-head
Rules
273×sqrt-prod
154×unpow-prod-down
126×add-sqr-sqrt
58×*-un-lft-identity
41×add-exp-log
40×unswap-sqr
38×add-cube-cbrt
31×swap-sqr
30×associate-*r*
28×prod-exp
18×sqrt-pow1 associate-*l* sqr-pow
16×pow1
14×pow-to-exp pow-pow pow-exp
11×add-cbrt-cube
9×distribute-lft-out
6×pow-unpow pow1/2 sqrt-div
5×pow-prod-up
4×cbrt-unprod add-log-exp
3×pow-sqr
2×pow-plus associate-*r/ pow-prod-down *-commutative sqrt-pow2
1×pow2 flip3-+ flip-+
Counts
4 → 236
Calls
4 calls:
155.0ms
(* (* (pow (sqrt (sqrt (sqrt (+ x y)))) 3/2) (pow (sqrt (sqrt (sqrt (+ x y)))) 3/2)) (sqrt (sqrt (sqrt (+ x y)))))
13.0ms
(pow (sqrt (sqrt (sqrt (+ x y)))) 3/2)
14.0ms
(pow (sqrt (sqrt (sqrt (+ x y)))) 3/2)
158.0ms
(* (pow (sqrt (sqrt (sqrt (+ x y)))) 3/2) (pow (sqrt (sqrt (sqrt (+ x y)))) 3/2))

series1.0s

Counts
4 → 12
Calls
4 calls:
46.0ms
(* (* (pow (sqrt (sqrt (sqrt (+ x y)))) 3/2) (pow (sqrt (sqrt (sqrt (+ x y)))) 3/2)) (sqrt (sqrt (sqrt (+ x y)))))
349.0ms
(pow (sqrt (sqrt (sqrt (+ x y)))) 3/2)
360.0ms
(pow (sqrt (sqrt (sqrt (+ x y)))) 3/2)
249.0ms
(* (pow (sqrt (sqrt (sqrt (+ x y)))) 3/2) (pow (sqrt (sqrt (sqrt (+ x y)))) 3/2))

simplify2.6s

Counts
248 → 248
Iterations

Useful iterations: done (2.5s)

IterNodesCost
02655980
17504066
233953728
done50003563

prune676.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes112.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
044
154
done54

end0.0ms

sample975.0ms

Algorithm
intervals
Results
232.0ms7788×body80nan
218.0ms8000×body80valid