Details

Time bar (total: 16.4s)

sample12.0ms

Algorithm
intervals
Results
4.0ms256×body80valid

simplify7.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0583
1783
21083
done1083

prune4.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 (/ 1.0 3.0))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt
3×*-un-lft-identity add-log-exp
2×difference-of-squares
1×pow1 sub-neg times-frac flip3-- add-cbrt-cube diff-log add-exp-log add-cube-cbrt flip-- distribute-lft-out--
Counts
1 → 15
Calls
1 calls:
9.0ms
(- x (/ 1.0 3.0))

series36.0ms

Counts
1 → 3
Calls
1 calls:
35.0ms
(- x (/ 1.0 3.0))

simplify1.6s

Counts
18 → 18
Iterations

Useful iterations: 1 (18.0ms)

IterNodesCost
0383402
1823031
21843031
34673031
414683031
done50003031

prune88.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))
0.1b
(* x (* x x))
0.3b
(* x (/ 1.0 3.0))
20.0b
(/ (- (* x (* x x)) (* (/ 1.0 3.0) (* (/ 1.0 3.0) (/ 1.0 3.0)))) (+ (* x x) (+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))))

rewrite273.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
22×*-un-lft-identity times-frac add-cube-cbrt
20×pow1
16×add-cbrt-cube add-exp-log
14×associate-*r*
9×cube-unmult
6×associate-*l* add-log-exp
5×prod-exp associate-*r/ pow-prod-up cbrt-unprod
4×difference-cubes pow-prod-down associate-/l*
3×associate-/r* frac-add unswap-sqr
2×cbrt-undiv flip3-+ div-exp associate-/r/ *-commutative flip-+ div-inv associate-/l/
1×pow2 frac-times +-commutative clear-num sum-log frac-2neg pow-plus distribute-rgt-out flip3-- div-sub associate-*l/ pow-sqr flip--
Counts
4 → 107
Calls
4 calls:
19.0ms
(+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))
20.0ms
(* x (* x x))
17.0ms
(* x (/ 1.0 3.0))
213.0ms
(/ (- (* x (* x x)) (* (/ 1.0 3.0) (* (/ 1.0 3.0) (/ 1.0 3.0)))) (+ (* x x) (+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))))

series295.0ms

Counts
4 → 12
Calls
4 calls:
39.0ms
(+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))
36.0ms
(* x (* x x))
24.0ms
(* x (/ 1.0 3.0))
196.0ms
(/ (- (* x (* x x)) (* (/ 1.0 3.0) (* (/ 1.0 3.0) (/ 1.0 3.0)))) (+ (* x x) (+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))))

simplify2.8s

Counts
119 → 119
Iterations

Useful iterations: 2 (1.2s)

IterNodesCost
020435426
158332241
2341631282
done500131282

prune518.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize67.0ms

Local error

Found 4 expressions with local error:

0.3b
(* x (/ 1.0 3.0))
13.8b
(sqrt (+ (* x x) (+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))))
13.8b
(sqrt (+ (* x x) (+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))))
13.8b
(/ (+ (* x x) (+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))) (sqrt (+ (* x x) (+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0))))))

rewrite363.0ms

Algorithm
rewrite-expression-head
Rules
36×add-sqr-sqrt
29×*-un-lft-identity add-cube-cbrt
28×times-frac
18×sqrt-prod
13×associate-*r*
11×pow1 add-cbrt-cube add-exp-log
6×associate-/r* sqrt-div
4×flip3-+ flip-+ add-log-exp
3×sqrt-pow1 pow1/2 associate-*l* associate-/l*
2×cbrt-undiv rem-sqrt-square div-exp prod-exp associate-/r/ cbrt-unprod div-inv unswap-sqr pow-div associate-/l/
1×clear-num frac-2neg pow-prod-down associate-*r/ *-commutative
Counts
4 → 107
Calls
4 calls:
18.0ms
(* x (/ 1.0 3.0))
75.0ms
(sqrt (+ (* x x) (+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))))
69.0ms
(sqrt (+ (* x x) (+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))))
198.0ms
(/ (+ (* x x) (+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))) (sqrt (+ (* x x) (+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0))))))

series215.0ms

Counts
4 → 12
Calls
4 calls:
23.0ms
(* x (/ 1.0 3.0))
65.0ms
(sqrt (+ (* x x) (+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))))
58.0ms
(sqrt (+ (* x x) (+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))))
68.0ms
(/ (+ (* x x) (+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))) (sqrt (+ (* x x) (+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0))))))

simplify2.1s

Counts
119 → 119
Iterations

Useful iterations: 2 (724.0ms)

IterNodesCost
017645658
145637669
2265137061
done500137061

prune670.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize60.0ms

Local error

Found 4 expressions with local error:

5.6b
(/ (- (* x (* x x)) (* (/ 1.0 3.0) (* (/ 1.0 3.0) (/ 1.0 3.0)))) (sqrt (+ (* x x) (+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0))))))
13.8b
(sqrt (+ (* x x) (+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))))
13.8b
(sqrt (+ (* x x) (+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))))
13.8b
(/ (/ (- (* x (* x x)) (* (/ 1.0 3.0) (* (/ 1.0 3.0) (/ 1.0 3.0)))) (sqrt (+ (* x x) (+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))))) (sqrt (+ (* x x) (+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0))))))

rewrite699.0ms

Algorithm
rewrite-expression-head
Rules
372×times-frac
198×sqrt-prod
192×add-sqr-sqrt
190×*-un-lft-identity add-cube-cbrt
98×cube-unmult
49×difference-cubes
34×associate-/l*
22×sqrt-div
18×associate-/r/
12×associate-/r*
11×flip3-+ add-cbrt-cube add-exp-log flip-+
9×div-inv
6×pow1
4×cbrt-undiv div-exp add-log-exp
3×div-sub associate-/l/
2×rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2
1×flip3-- flip--
Counts
4 → 315
Calls
4 calls:
239.0ms
(/ (- (* x (* x x)) (* (/ 1.0 3.0) (* (/ 1.0 3.0) (/ 1.0 3.0)))) (sqrt (+ (* x x) (+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0))))))
63.0ms
(sqrt (+ (* x x) (+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))))
80.0ms
(sqrt (+ (* x x) (+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))))
301.0ms
(/ (/ (- (* x (* x x)) (* (/ 1.0 3.0) (* (/ 1.0 3.0) (/ 1.0 3.0)))) (sqrt (+ (* x x) (+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))))) (sqrt (+ (* x x) (+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0))))))

series492.0ms

Counts
4 → 12
Calls
4 calls:
130.0ms
(/ (- (* x (* x x)) (* (/ 1.0 3.0) (* (/ 1.0 3.0) (/ 1.0 3.0)))) (sqrt (+ (* x x) (+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0))))))
83.0ms
(sqrt (+ (* x x) (+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))))
53.0ms
(sqrt (+ (* x x) (+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))))
227.0ms
(/ (/ (- (* x (* x x)) (* (/ 1.0 3.0) (* (/ 1.0 3.0) (/ 1.0 3.0)))) (sqrt (+ (* x x) (+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))))) (sqrt (+ (* x x) (+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0))))))

simplify4.2s

Counts
327 → 327
Iterations

Useful iterations: 2 (2.2s)

IterNodesCost
0403286656
11012261506
24895257981
done5001257981

prune1.5s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes59.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
0583
done583

end0.0ms

sample279.0ms

Algorithm
intervals
Results
176.0ms8000×body80valid