Details

Time bar (total: 9.9s)

sample44.0ms

Algorithm
intervals
Results
18.0ms65×body1280valid
8.0ms43×body640valid
7.0ms121×body80valid
3.0ms18×body320valid
1.0ms9×body160valid

simplify10.0ms

Calls
1 calls:
Slowest
10.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.8b
(- (cbrt (+ x 1)) (cbrt x))
0.6b
(cbrt x)
0.3b
(cbrt (+ x 1))

rewrite29.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
26.0ms
(- (cbrt (+ x 1)) (cbrt x))
2.0ms
(cbrt (+ x 1))
0.0ms
(cbrt x)

series410.0ms

Calls
3 calls:
Slowest
275.0ms
(cbrt x)
102.0ms
(- (cbrt (+ x 1)) (cbrt x))
33.0ms
(cbrt (+ x 1))

simplify1.4s

Calls
20 calls:
Slowest
299.0ms
(- (+ (* 1/3 x) 1) (+ (* 1/9 (pow x 2)) (pow x 1/3)))
247.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))))
206.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)))))
161.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)))
132.0ms
(- (+ (* 1/3 (pow (/ 1 (pow x 2)) 1/3)) (pow (/ 1 x) -1/3)) (* 1/9 (pow (/ 1 (pow x 5)) 1/3)))

prune450.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.3b

localize27.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- x))
0.6b
(cbrt x)
0.6b
(cbrt x)
0.4b
(/ 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)

series897.0ms

Calls
4 calls:
Slowest
311.0ms
(cbrt x)
299.0ms
(cbrt (- x))
275.0ms
(cbrt x)
12.0ms
(/ 1/9 x)

simplify127.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) 1/3) (cbrt -1))
11.0ms
(* (pow x 1/3) (cbrt -1))
9.0ms
(* (pow x 1/3) (cbrt -1))

prune619.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.2b

localize15.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)

rewrite1.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.2s

Calls
4 calls:
Slowest
331.0ms
(cbrt (- x))
313.0ms
(cbrt x)
264.0ms
(cbrt x)
255.0ms
(cbrt x)

simplify145.0ms

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

prune709.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.2b

localize43.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)

rewrite91.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
89.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.2s

Calls
4 calls:
Slowest
338.0ms
(cbrt x)
287.0ms
(cbrt x)
276.0ms
(cbrt x)
255.0ms
(cbrt (* (* (cbrt x) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))) (cbrt x)))

simplify240.0ms

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

prune709.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0.2b

regimes105.0ms

Accuracy

98.8% (0.4b remaining)

Error of 0.6b against oracle of 0.2b and baseline of 31.8b

bsearch198.0ms

end0.0ms

sample1.3s

Algorithm
intervals
Results
529.0ms1724×body1280valid
280.0ms1237×body640valid
237.0ms4097×body80valid
84.0ms599×body320valid
63.0ms343×body160valid