Details

Time bar (total: 9.4s)

sample44.0ms

Algorithm
intervals
Results
17.0ms63×body1280valid
9.0ms43×body640valid
6.0ms122×body80valid
3.0ms21×body320valid
1.0ms7×body160valid

simplify25.0ms

Calls
1 calls:
Slowest
25.0ms
(- (cbrt (+ x 1)) (cbrt x))

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 32.1b

localize10.0ms

Local error

Found 3 expressions with local error:

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

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
6×*-un-lft-identity
5×add-log-exp
4×cbrt-prod add-cube-cbrt
3×pow1 add-cbrt-cube add-exp-log insert-posit16
2×cbrt-div pow1/3 difference-of-squares
1×sub-neg flip3-+ flip3-- diff-log flip-+ flip-- distribute-lft-out--
Calls
3 calls:
Slowest
7.0ms
(- (cbrt (+ x 1)) (cbrt x))
1.0ms
(cbrt (+ x 1))
0.0ms
(cbrt x)

series389.0ms

Calls
3 calls:
Slowest
258.0ms
(cbrt x)
90.0ms
(- (cbrt (+ x 1)) (cbrt x))
40.0ms
(cbrt (+ x 1))

simplify1.5s

Calls
20 calls:
Slowest
299.0ms
(- (+ (* 1/3 x) 1) (+ (* 1/9 (pow x 2)) (pow x 1/3)))
291.0ms
(- (+ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* 1/3 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) x))) (* 1/9 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (pow x 2))))
218.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)))))
181.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)))
136.0ms
(- (+ (* 1/3 (pow (/ 1 (pow x 2)) 1/3)) (pow (/ 1 x) -1/3)) (* 1/9 (pow (/ 1 (pow x 5)) 1/3)))

prune505.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.3b

localize38.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- x))
0.6b
(cbrt x)
0.6b
(cbrt x)
0.3b
(/ 1/9 x)

rewrite2.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×cbrt-prod pow1 add-cbrt-cube add-exp-log insert-posit16 add-log-exp
3×pow1/3
1×clear-num neg-mul-1 frac-2neg div-inv
Calls
4 calls:
Slowest
1.0ms
(cbrt (- x))
0.0ms
(/ 1/9 x)
0.0ms
(cbrt x)
0.0ms
(cbrt x)

series806.0ms

Calls
4 calls:
Slowest
270.0ms
(cbrt x)
262.0ms
(cbrt (- x))
258.0ms
(cbrt x)
16.0ms
(/ 1/9 x)

simplify130.0ms

Calls
16 calls:
Slowest
20.0ms
(* (pow (* x -1) 1/3) (cbrt -1))
16.0ms
(pow (/ 1 x) -1/3)
15.0ms
(pow (/ 1 x) -1/3)
11.0ms
(* (pow x 1/3) (cbrt -1))
11.0ms
(* (pow x 1/3) (cbrt -1))

prune577.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.2b

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×cbrt-prod pow1 add-cbrt-cube pow1/3 add-exp-log insert-posit16 add-log-exp
1×neg-mul-1
Calls
4 calls:
Slowest
1.0ms
(cbrt (- x))
0.0ms
(cbrt x)
0.0ms
(cbrt x)
0.0ms
(cbrt x)

series1.1s

Calls
4 calls:
Slowest
300.0ms
(cbrt x)
295.0ms
(cbrt x)
262.0ms
(cbrt (- x))
238.0ms
(cbrt x)

simplify143.0ms

Calls
16 calls:
Slowest
20.0ms
(* (pow (* x -1) 1/3) (cbrt -1))
15.0ms
(pow (/ 1 x) -1/3)
12.0ms
(* (pow x 1/3) (cbrt -1))
12.0ms
(pow (/ 1 x) -1/3)
12.0ms
(* (pow x 1/3) (cbrt -1))

prune519.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.2b

localize52.0ms

Local error

Found 4 expressions with local error:

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

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
4×add-sqr-sqrt pow1 *-un-lft-identity add-cbrt-cube pow1/3 add-exp-log add-cube-cbrt insert-posit16 add-log-exp
1×cbrt-prod
Calls
4 calls:
Slowest
84.0ms
(cbrt (* (* (cbrt x) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))) (cbrt x)))
0.0ms
(cbrt x)
0.0ms
(cbrt x)
0.0ms
(cbrt x)

series1.1s

Calls
4 calls:
Slowest
305.0ms
(cbrt x)
285.0ms
(cbrt (* (* (cbrt x) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))) (cbrt x)))
282.0ms
(cbrt x)
255.0ms
(cbrt x)

simplify192.0ms

Calls
13 calls:
Slowest
60.0ms
(cbrt (* (cbrt x) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))))
21.0ms
(* (pow (* x -1) 1/3) (cbrt -1))
20.0ms
(* (pow (* x -1) 1/3) (cbrt -1))
15.0ms
(pow (/ 1 x) -1/3)
15.0ms
(pow (/ 1 x) -1/3)

prune665.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.2b

regimes204.0ms

Accuracy

99.4% (0.2b remaining)

Error of 0.4b against oracle of 0.2b and baseline of 32.3b

bsearch6.0ms

end0.0ms

sample1.3s

Algorithm
intervals
Results
529.0ms1673×body1280valid
322.0ms1242×body640valid
244.0ms4164×body80valid
93.0ms634×body320valid
27.0ms287×body160valid