Details

Time bar (total: 12.8s)

sample163.0ms

Algorithm
intervals
Results
66.0ms770×body80nan
16.0ms256×body80valid

simplify11.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0910
11310
21410
done1410

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize20.0ms

Local error

Found 3 expressions with local error:

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

rewrite142.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
15×sqrt-prod
12×*-un-lft-identity
pow1 add-cube-cbrt
associate-*l*
associate-*r*
add-cbrt-cube add-exp-log add-log-exp
sqrt-div unswap-sqr
sqrt-pow1 pow1/2 pow-prod-down
flip3-+ associate-*l/ flip-+ distribute-lft-out
rem-sqrt-square sub-neg flip3-- sqrt-unprod diff-log prod-exp *-commutative cbrt-unprod flip--
Counts
3 → 61
Calls
3 calls:
15.0ms
(sqrt (+ x 1.0))
35.0ms
(- (* (sqrt (+ x 1.0)) (sqrt y)) (sqrt x))
88.0ms
(* (sqrt (+ x 1.0)) (sqrt y))

series455.0ms

Counts
3 → 9
Calls
3 calls:
68.0ms
(sqrt (+ x 1.0))
185.0ms
(- (* (sqrt (+ x 1.0)) (sqrt y)) (sqrt x))
201.0ms
(* (sqrt (+ x 1.0)) (sqrt y))

simplify1.2s

Counts
70 → 70
Iterations

Useful iterations: done (1.2s)

IterNodesCost
0145819
1348737
21302676
done5000668

prune426.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 4 expressions with local error:

0.1b
(sqrt (sqrt (+ x 1.0)))
0.1b
(sqrt (sqrt (+ x 1.0)))
0.2b
(* (sqrt (sqrt (+ x 1.0))) (sqrt y))
0.2b
(* (sqrt (sqrt (+ x 1.0))) (* (sqrt (sqrt (+ x 1.0))) (sqrt y)))

rewrite262.0ms

Algorithm
rewrite-expression-head
Rules
58×sqrt-prod
36×sqrt-div
32×add-sqr-sqrt
24×*-un-lft-identity
20×pow1 associate-*l*
16×add-cube-cbrt
13×sqrt-pow1
11×add-cbrt-cube add-exp-log
10×pow-prod-down associate-*l/
flip3-+ pow1/2 flip-+
associate-*r*
unswap-sqr
frac-times rem-sqrt-square prod-exp cbrt-unprod distribute-lft-out add-log-exp
sqrt-unprod
associate-*r/ *-commutative
Counts
4 → 118
Calls
4 calls:
20.0ms
(sqrt (sqrt (+ x 1.0)))
23.0ms
(sqrt (sqrt (+ x 1.0)))
57.0ms
(* (sqrt (sqrt (+ x 1.0))) (sqrt y))
150.0ms
(* (sqrt (sqrt (+ x 1.0))) (* (sqrt (sqrt (+ x 1.0))) (sqrt y)))

series993.0ms

Counts
4 → 12
Calls
4 calls:
190.0ms
(sqrt (sqrt (+ x 1.0)))
187.0ms
(sqrt (sqrt (+ x 1.0)))
392.0ms
(* (sqrt (sqrt (+ x 1.0))) (sqrt y))
224.0ms
(* (sqrt (sqrt (+ x 1.0))) (* (sqrt (sqrt (+ x 1.0))) (sqrt y)))

simplify1.7s

Counts
130 → 130
Iterations

Useful iterations: done (1.7s)

IterNodesCost
02161904
15411732
220531477
done50001428

prune824.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

regimes292.0ms

Accuracy

0% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0910
11110
done1110

end0.0ms

sample6.3s

Algorithm
intervals
Results
4.2s23994×body80nan
603.0ms8000×body80valid