Details

Time bar (total: 22.5s)

sample80.0ms

Algorithm
intervals
Results
40.0ms71×body1280valid
18.0ms59×body640valid
4.0ms17×body160valid
4.0ms25×body320valid
3.0ms84×body80valid
3.0ms89×body80nan

simplify9.0ms

Calls
1 calls:
Slowest
9.0ms
(log (+ 1 x))

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 40.3b

localize8.0ms

Local error

Found 1 expressions with local error:

4.2b
(log (+ 1 x))

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
3×log-prod
2×add-sqr-sqrt pow1 log-div *-un-lft-identity add-exp-log add-cube-cbrt
1×flip3-+ add-cbrt-cube rem-log-exp log-pow flip-+ insert-posit16 add-log-exp
Calls
1 calls:
Slowest
1.0ms
(log (+ 1 x))

series22.0ms

Calls
1 calls:
Slowest
22.0ms
(log (+ 1 x))

simplify643.0ms

Calls
9 calls:
Slowest
326.0ms
(- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
132.0ms
(- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))
125.0ms
(- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))
22.0ms
(log (+ (pow 1 3) (pow x 3)))
14.0ms
(log (- (* 1 1) (* x x)))

prune109.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 3 expressions with local error:

0.3b
(* x 1/3)
0.1b
(* (* x x) (- 1/2 (* x 1/3)))
0.0b
(- x (* (* x x) (- 1/2 (* x 1/3))))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
5×pow1 sub-neg add-cbrt-cube add-exp-log
4×distribute-rgt-in add-sqr-sqrt *-un-lft-identity distribute-lft-in add-cube-cbrt associate--r+
3×associate-*r* insert-posit16 add-log-exp
2×flip3-- associate-*r/ *-commutative flip--
1×associate-*l* pow-prod-down prod-exp cbrt-unprod
Calls
3 calls:
Slowest
9.0ms
(* (* x x) (- 1/2 (* x 1/3)))
3.0ms
(- x (* (* x x) (- 1/2 (* x 1/3))))
0.0ms
(* x 1/3)

series59.0ms

Calls
3 calls:
Slowest
28.0ms
(* (* x x) (- 1/2 (* x 1/3)))
19.0ms
(- x (* (* x x) (- 1/2 (* x 1/3))))
12.0ms
(* x 1/3)

simplify1.8s

Calls
25 calls:
Slowest
371.0ms
(* (* x x) (- (* x 1/3)))
140.0ms
(- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))
139.0ms
(- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))
119.0ms
(- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))
101.0ms
(+ (* 1/2 1/2) (+ (* (* x 1/3) (* x 1/3)) (* 1/2 (* x 1/3))))

prune358.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 4 expressions with local error:

14.4b
(cbrt (- x (* (* x x) (- 1/2 (* x 1/3)))))
14.4b
(cbrt (- x (* (* x x) (- 1/2 (* x 1/3)))))
14.4b
(cbrt (- x (* (* x x) (- 1/2 (* x 1/3)))))
0.4b
(* (cbrt (- x (* (* x x) (- 1/2 (* x 1/3))))) (cbrt (- x (* (* x x) (- 1/2 (* x 1/3))))))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
18×cbrt-div
15×cbrt-prod
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×pow1 flip3-- flip--
7×pow1/3
6×associate-*r* associate-*l* add-exp-log
4×frac-times add-cbrt-cube insert-posit16 add-log-exp
2×pow-prod-down associate-*l/ associate-*r/ pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Calls
4 calls:
Slowest
9.0ms
(* (cbrt (- x (* (* x x) (- 1/2 (* x 1/3))))) (cbrt (- x (* (* x x) (- 1/2 (* x 1/3))))))
1.0ms
(cbrt (- x (* (* x x) (- 1/2 (* x 1/3)))))
1.0ms
(cbrt (- x (* (* x x) (- 1/2 (* x 1/3)))))
1.0ms
(cbrt (- x (* (* x x) (- 1/2 (* x 1/3)))))

series243.0ms

Calls
4 calls:
Slowest
66.0ms
(cbrt (- x (* (* x x) (- 1/2 (* x 1/3)))))
59.0ms
(cbrt (- x (* (* x x) (- 1/2 (* x 1/3)))))
59.0ms
(* (cbrt (- x (* (* x x) (- 1/2 (* x 1/3))))) (cbrt (- x (* (* x x) (- 1/2 (* x 1/3))))))
58.0ms
(cbrt (- x (* (* x x) (- 1/2 (* x 1/3)))))

simplify10.4s

Calls
59 calls:
Slowest
506.0ms
(cbrt (- (* x x) (* (* (* x x) (- 1/2 (* x 1/3))) (* (* x x) (- 1/2 (* x 1/3))))))
492.0ms
(cbrt (- (* x x) (* (* (* x x) (- 1/2 (* x 1/3))) (* (* x x) (- 1/2 (* x 1/3))))))
447.0ms
(cbrt (- (* x x) (* (* (* x x) (- 1/2 (* x 1/3))) (* (* x x) (- 1/2 (* x 1/3))))))
314.0ms
(- (+ (* (exp (* 1/3 (- (log 1/3) (* 3 (log (/ -1 x)))))) (cbrt -1)) (* 3/4 (/ (* (exp (* 1/3 (- (log 1/3) (* 3 (log (/ -1 x)))))) (cbrt -1)) (pow x 2)))) (* 1/2 (/ (* (exp (* 1/3 (- (log 1/3) (* 3 (log (/ -1 x)))))) (cbrt -1)) x)))
300.0ms
(- (+ (* 7/4 (/ (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1/9) (* 6 (log (/ -1 x))))))) (pow x 2))) (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1/9) (* 6 (log (/ -1 x)))))))) (/ (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1/9) (* 6 (log (/ -1 x))))))) x))

prune696.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize37.0ms

Local error

Found 4 expressions with local error:

29.9b
(cbrt (pow x 4))
17.9b
(cbrt (pow x 7))
14.4b
(cbrt (- x (* (* x x) (- 1/2 (* x 1/3)))))
14.4b
(cbrt (- x (* (* x x) (- 1/2 (* x 1/3)))))

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 cbrt-div add-cbrt-cube pow1/3 add-exp-log insert-posit16 add-log-exp
2×flip3-- flip--
Calls
4 calls:
Slowest
1.0ms
(cbrt (- x (* (* x x) (- 1/2 (* x 1/3)))))
1.0ms
(cbrt (- x (* (* x x) (- 1/2 (* x 1/3)))))
1.0ms
(cbrt (pow x 4))
0.0ms
(cbrt (pow x 7))

series628.0ms

Calls
4 calls:
Slowest
271.0ms
(cbrt (pow x 7))
254.0ms
(cbrt (pow x 4))
53.0ms
(cbrt (- x (* (* x x) (- 1/2 (* x 1/3)))))
49.0ms
(cbrt (- x (* (* x x) (- 1/2 (* x 1/3)))))

simplify3.2s

Calls
28 calls:
Slowest
475.0ms
(cbrt (- (* x x) (* (* (* x x) (- 1/2 (* x 1/3))) (* (* x x) (- 1/2 (* x 1/3))))))
458.0ms
(cbrt (- (* x x) (* (* (* x x) (- 1/2 (* x 1/3))) (* (* x x) (- 1/2 (* x 1/3))))))
296.0ms
(- (+ (* (exp (* 1/3 (- (log 1/3) (* 3 (log (/ -1 x)))))) (cbrt -1)) (* 3/4 (/ (* (exp (* 1/3 (- (log 1/3) (* 3 (log (/ -1 x)))))) (cbrt -1)) (pow x 2)))) (* 1/2 (/ (* (exp (* 1/3 (- (log 1/3) (* 3 (log (/ -1 x)))))) (cbrt -1)) x)))
252.0ms
(- (+ (* (exp (* 1/3 (- (log 1/3) (* 3 (log (/ -1 x)))))) (cbrt -1)) (* 3/4 (/ (* (exp (* 1/3 (- (log 1/3) (* 3 (log (/ -1 x)))))) (cbrt -1)) (pow x 2)))) (* 1/2 (/ (* (exp (* 1/3 (- (log 1/3) (* 3 (log (/ -1 x)))))) (cbrt -1)) x)))
238.0ms
(- (+ (* 3/4 (/ (exp (* 1/3 (- (log 1/3) (* 3 (log (/ 1 x)))))) (pow x 2))) (exp (* 1/3 (- (log 1/3) (* 3 (log (/ 1 x))))))) (* 1/2 (/ (exp (* 1/3 (- (log 1/3) (* 3 (log (/ 1 x)))))) x)))

prune900.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

regimes67.0ms

Accuracy

99.3% (0.1b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 20.8b

bsearch39.0ms

end0.0ms

sample3.0s

Algorithm
intervals
Results
1.8s2276×body1280valid
614.0ms1653×body640valid
180.0ms845×body320valid
124.0ms2818×body80valid
107.0ms2671×body80nan
45.0ms408×body160valid