Details

Time bar (total: 17.9s)

sample35.0ms

Algorithm
intervals
Results
10.0ms49×body1280valid
7.0ms47×body640valid
6.0ms126×body80valid
3.0ms22×body320valid
1.0ms12×body160valid

simplify10.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
10.0ms
(- (cbrt (+ x 1)) (cbrt x))

prune17.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.8b

localize22.0ms

Local error

Found 3 expressions with local error:

3.4b
(- (cbrt (+ x 1)) (cbrt x))
0.6b
(cbrt x)
0.3b
(cbrt (+ x 1))

rewrite37.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 insert-posit16 distribute-lft-out--
2×cbrt-div pow1/3 distribute-lft-out
1×sub-neg flip3-+ flip3-- diff-log flip-+ flip--
Counts
3 → 47
Calls
3 calls:
Slowest
33.0ms
(- (cbrt (+ x 1)) (cbrt x))
2.0ms
(cbrt (+ x 1))
1.0ms
(cbrt x)

series431.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
255.0ms
(cbrt x)
115.0ms
(- (cbrt (+ x 1)) (cbrt x))
61.0ms
(cbrt (+ x 1))

simplify3.2s

Counts
69 → 56
Calls
69 calls:
Slowest
379.0ms
(* (* (- (cbrt (+ x 1)) (cbrt x)) (- (cbrt (+ x 1)) (cbrt x))) (- (cbrt (+ x 1)) (cbrt x)))
299.0ms
(- (+ (* 1/3 (pow (/ 1 (pow x 2)) 1/3)) (* 5/81 (pow (/ 1 (pow x 8)) 1/3))) (* 1/9 (pow (/ 1 (pow x 5)) 1/3)))
284.0ms
(- (+ (* 1/3 x) 1) (+ (* 1/9 (pow x 2)) (pow x 1/3)))
282.0ms
(- (+ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* 1/3 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) x))) (+ (* (pow (* x -1) 1/3) (cbrt -1)) (* 1/9 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (pow x 2)))))
245.0ms
(- (+ (* 1/3 (pow (/ 1 (pow x 2)) 1/3)) (pow (/ 1 x) -1/3)) (* 1/9 (pow (/ 1 (pow x 5)) 1/3)))

prune481.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.3b

localize32.0ms

Local error

Found 4 expressions with local error:

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

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
11×pow1
9×pow1/3
6×swap-sqr associate-*r* associate-*l* add-exp-log
4×add-cbrt-cube insert-posit16 add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 77
Calls
4 calls:
Slowest
9.0ms
(* (cbrt x) (cbrt x))
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
305.0ms
(cbrt x)
302.0ms
(* (cbrt x) (cbrt x))
264.0ms
(cbrt x)
253.0ms
(cbrt x)

simplify1.3s

Counts
103 → 89
Calls
103 calls:
Slowest
171.0ms
(* (pow (* x -1) 1/3) (cbrt -1))
135.0ms
(* (pow (* x -1) 1/3) (cbrt -1))
123.0ms
(* (pow (* x -1) 1/3) (cbrt -1))
107.0ms
(* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))
102.0ms
(* (pow (pow x 2) 1/3) (pow (cbrt -1) 2))

prune895.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.2b

localize61.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (cbrt x))
0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
18×cbrt-prod
9×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube pow1/3 add-exp-log insert-posit16 add-log-exp
Counts
4 → 51
Calls
4 calls:
Slowest
1.0ms
(cbrt (cbrt x))
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series1.2s

Counts
4 → 12
Calls
4 calls:
Slowest
373.0ms
(cbrt (cbrt x))
263.0ms
(cbrt x)
262.0ms
(cbrt x)
253.0ms
(cbrt x)

simplify1.5s

Counts
74 → 63
Calls
74 calls:
Slowest
648.0ms
(* (pow (* x -1) 1/9) (pow (cbrt -1) 1/3))
149.0ms
(* (pow (* x -1) 1/3) (cbrt -1))
132.0ms
(* (pow (* x -1) 1/3) (cbrt -1))
130.0ms
(* (pow (* x -1) 1/3) (cbrt -1))
64.0ms
(* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))

prune1.1s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0.1b

localize66.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (cbrt x))
0.6b
(cbrt (cbrt x))
0.6b
(cbrt (cbrt x))
0.6b
(cbrt x)

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
30×cbrt-prod
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube pow1/3 add-exp-log insert-posit16 add-log-exp
Counts
4 → 57
Calls
4 calls:
Slowest
1.0ms
(cbrt (cbrt x))
1.0ms
(cbrt (cbrt x))
1.0ms
(cbrt (cbrt x))
1.0ms
(cbrt x)

series1.3s

Counts
4 → 12
Calls
4 calls:
Slowest
348.0ms
(cbrt (cbrt x))
345.0ms
(cbrt (cbrt x))
331.0ms
(cbrt (cbrt x))
282.0ms
(cbrt x)

simplify3.0s

Counts
86 → 69
Calls
86 calls:
Slowest
789.0ms
(* (pow (* x -1) 1/9) (pow (cbrt -1) 1/3))
733.0ms
(* (pow (* x -1) 1/9) (pow (cbrt -1) 1/3))
705.0ms
(* (pow (* x -1) 1/9) (pow (cbrt -1) 1/3))
105.0ms
(* (pow (* x -1) 1/3) (cbrt -1))
64.0ms
(* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))

prune797.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0.1b

regimes76.0ms

Accuracy

0% (0.5b remaining)

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

bsearch4.0ms

end0.0ms

sample1.3s

Algorithm
intervals
Results
536.0ms1705×body1280valid
339.0ms1220×body640valid
195.0ms4123×body80valid
96.0ms658×body320valid
27.0ms294×body160valid