Details

Time bar (total: 10.3s)

sample47.0ms

Algorithm
intervals
Results
12.0ms256×body80valid
12.0ms240×body80nan

simplify5.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
078
198
done98

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ (/ 1.0 x) (* 2.0 (sqrt x)))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
add-log-exp
add-sqr-sqrt pow1 +-commutative sum-log *-un-lft-identity flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+
Counts
1 → 11
Calls
1 calls:
30.0ms
(+ (/ 1.0 x) (* 2.0 (sqrt x)))

series119.0ms

Counts
1 → 3
Calls
1 calls:
119.0ms
(+ (/ 1.0 x) (* 2.0 (sqrt x)))

simplify5.4s

Counts
14 → 14
Iterations

Useful iterations: 3 (1.7s)

IterNodesCost
047215
1145204
2592172
34637167
done5002167

prune82.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize35.0ms

Local error

Found 4 expressions with local error:

0.2b
(pow (/ 1.0 x) 3)
0.3b
(* (/ 1.0 x) (- (/ 1.0 x) (* 2.0 (sqrt x))))
0.4b
(pow (* 2.0 (sqrt x)) 3)
31.4b
(/ (+ (pow (/ 1.0 x) 3) (pow (* 2.0 (sqrt x)) 3)) (+ (* (/ 1.0 x) (- (/ 1.0 x) (* 2.0 (sqrt x)))) (* x (* 2.0 2.0))))

rewrite487.0ms

Algorithm
rewrite-expression-head
Rules
46×*-un-lft-identity
43×add-sqr-sqrt times-frac
38×add-cube-cbrt
17×add-cbrt-cube add-exp-log
14×unpow-prod-down cube-prod
13×associate-*l*
10×pow1
pow-unpow
associate-/l*
pow-exp sum-cubes div-inv distribute-lft-out add-log-exp rem-cube-cbrt
cbrt-undiv associate-/r* pow-pow div-exp associate-*r* prod-exp cbrt-unprod
distribute-rgt-in cube-mult frac-times pow-to-exp sub-neg distribute-lft-in flip3-+ flip3-- unpow3 pow-prod-down associate-*r/ associate-/r/ flip-+ flip-- unswap-sqr sqr-pow associate-/l/
cube-div clear-num frac-2neg associate-*l/ *-commutative
Counts
4 → 147
Calls
4 calls:
14.0ms
(pow (/ 1.0 x) 3)
117.0ms
(* (/ 1.0 x) (- (/ 1.0 x) (* 2.0 (sqrt x))))
14.0ms
(pow (* 2.0 (sqrt x)) 3)
331.0ms
(/ (+ (pow (/ 1.0 x) 3) (pow (* 2.0 (sqrt x)) 3)) (+ (* (/ 1.0 x) (- (/ 1.0 x) (* 2.0 (sqrt x)))) (* x (* 2.0 2.0))))

series707.0ms

Counts
4 → 12
Calls
4 calls:
90.0ms
(pow (/ 1.0 x) 3)
219.0ms
(* (/ 1.0 x) (- (/ 1.0 x) (* 2.0 (sqrt x))))
143.0ms
(pow (* 2.0 (sqrt x)) 3)
255.0ms
(/ (+ (pow (/ 1.0 x) 3) (pow (* 2.0 (sqrt x)) 3)) (+ (* (/ 1.0 x) (- (/ 1.0 x) (* 2.0 (sqrt x)))) (* x (* 2.0 2.0))))

simplify805.0ms

Counts
159 → 159
Iterations

Useful iterations: done (794.0ms)

IterNodesCost
02683486
19243298
done50002998

prune959.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes64.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
078
198
done98

end0.0ms

sample1.6s

Algorithm
intervals
Results
616.0ms8002×body80valid
457.0ms7966×body80nan