Details

Time bar (total: 16.5s)

sample46.0ms

Algorithm
intervals
Results
13.0ms51×body1280valid
9.0ms43×body640valid
6.0ms132×body80valid
3.0ms19×body320valid
1.0ms11×body160valid

simplify7.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06242
19242
210242
done10242

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.5b

localize22.0ms

Local error

Found 3 expressions with local error:

0.3b
(cbrt (+ x 1.0))
0.5b
(cbrt x)
3.0b
(- (cbrt (+ x 1.0)) (cbrt x))

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
15×cbrt-prod
14×*-un-lft-identity
13×add-sqr-sqrt
5×add-cube-cbrt add-log-exp
4×difference-of-squares
3×pow1 add-cbrt-cube add-exp-log distribute-lft-out--
2×cbrt-div pow1/3 distribute-lft-out
1×sub-neg flip3-+ flip3-- diff-log flip-+ flip--
Counts
3 → 44
Calls
3 calls:
4.0ms
(cbrt (+ x 1.0))
1.0ms
(cbrt x)
65.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

series645.0ms

Counts
3 → 9
Calls
3 calls:
153.0ms
(cbrt (+ x 1.0))
276.0ms
(cbrt x)
215.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

simplify2.8s

Counts
53 → 53
Iterations

Useful iterations: done (2.8s)

IterNodesCost
013121754
131317480
293817230
3370416971
done500216646

prune306.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.4b

localize38.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))
0.3b
(* (cbrt x) (+ (cbrt x) (cbrt (+ x 1.0))))
0.5b
(cbrt x)
0.5b
(cbrt x)

rewrite154.0ms

Algorithm
rewrite-expression-head
Rules
38×cbrt-prod *-un-lft-identity
29×add-sqr-sqrt
17×add-cube-cbrt
13×pow1 associate-*r* associate-*l*
12×cbrt-div
10×distribute-lft-out
9×swap-sqr
8×pow1/3 add-exp-log
7×flip3-+ flip-+
6×unswap-sqr
5×add-cbrt-cube
4×frac-times associate-*r/ add-log-exp
3×pow-prod-down
2×associate-*l/ prod-exp pow-sqr *-commutative pow-prod-up cbrt-unprod
1×pow2 distribute-rgt-in distribute-lft-in pow-plus
Counts
4 → 104
Calls
4 calls:
53.0ms
(* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))
92.0ms
(* (cbrt x) (+ (cbrt x) (cbrt (+ x 1.0))))
1.0ms
(cbrt x)
2.0ms
(cbrt x)

series920.0ms

Counts
4 → 12
Calls
4 calls:
138.0ms
(* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))
245.0ms
(* (cbrt x) (+ (cbrt x) (cbrt (+ x 1.0))))
263.0ms
(cbrt x)
274.0ms
(cbrt x)

simplify1.9s

Counts
116 → 116
Iterations

Useful iterations: done (1.9s)

IterNodesCost
020441978
154233891
2237133009
done500232900

prune645.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.1b

localize74.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt x)
0.5b
(cbrt x)
0.5b
(cbrt x)
0.6b
(cbrt (* (cbrt x) (cbrt x)))

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
10×cbrt-prod
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube pow1/3 add-exp-log add-log-exp
Counts
4 → 42
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
4.0ms
(cbrt (* (cbrt x) (cbrt x)))

series1.3s

Counts
4 → 12
Calls
4 calls:
321.0ms
(cbrt x)
283.0ms
(cbrt x)
290.0ms
(cbrt x)
419.0ms
(cbrt (* (cbrt x) (cbrt x)))

simplify1.9s

Counts
54 → 54
Iterations

Useful iterations: 3 (182.0ms)

IterNodesCost
04211672
18410174
223110057
37629417
428949417
done50019417

prune378.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0.1b

localize93.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))
0.3b
(* (cbrt x) (+ (cbrt x) (cbrt (+ x 1.0))))
0.5b
(cbrt x)
0.5b
(cbrt x)

rewrite167.0ms

Algorithm
rewrite-expression-head
Rules
38×cbrt-prod *-un-lft-identity
29×add-sqr-sqrt
17×add-cube-cbrt
13×pow1 associate-*r* associate-*l*
12×cbrt-div
10×distribute-lft-out
9×swap-sqr
8×pow1/3 add-exp-log
7×flip3-+ flip-+
6×unswap-sqr
5×add-cbrt-cube
4×frac-times associate-*r/ add-log-exp
3×pow-prod-down
2×associate-*l/ prod-exp pow-sqr *-commutative pow-prod-up cbrt-unprod
1×pow2 distribute-rgt-in distribute-lft-in pow-plus
Counts
4 → 104
Calls
4 calls:
54.0ms
(* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))
104.0ms
(* (cbrt x) (+ (cbrt x) (cbrt (+ x 1.0))))
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series995.0ms

Counts
4 → 12
Calls
4 calls:
145.0ms
(* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))
272.0ms
(* (cbrt x) (+ (cbrt x) (cbrt (+ x 1.0))))
255.0ms
(cbrt x)
322.0ms
(cbrt x)

simplify1.8s

Counts
116 → 116
Iterations

Useful iterations: done (1.8s)

IterNodesCost
020441978
154233891
2237133009
done500232900

prune653.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0.1b

regimes188.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
014642
119642
done19642

end0.0ms

sample1.4s

Algorithm
intervals
Results
494.0ms600×body320valid
330.0ms1679×body1280valid
204.0ms1318×body640valid
179.0ms4079×body80valid
21.0ms324×body160valid