Details

Time bar (total: 21.8s)

sample62.0ms

Algorithm
intervals
Results
23.0ms63×body640valid
15.0ms37×body320valid
12.0ms137×body80valid
4.0ms20×body160valid

simplify32.0ms

Calls
1 calls:
Slowest
32.0ms
(- (/ 1 (+ x 1)) (/ 1 x))

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.4b

localize21.0ms

Local error

Found 1 expressions with local error:

1.9b
(- (/ 1 (+ x 1)) (/ 1 x))

rewrite12.0ms

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

series16.0ms

Calls
1 calls:
Slowest
16.0ms
(- (/ 1 (+ x 1)) (/ 1 x))

simplify604.0ms

Calls
12 calls:
Slowest
127.0ms
(- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2))))
124.0ms
(- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2))))
67.0ms
(- (* 1 x) (* (+ x 1) 1))
62.0ms
(/ (exp (/ 1 (+ x 1))) (exp (/ 1 x)))
61.0ms
(- 1 (+ x (/ 1 x)))

prune146.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 2 expressions with local error:

0.6b
(/ -1 (+ (* x x) x))
0.0b
(+ (* x x) x)

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
4×associate-/r*
3×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
2×pow1 distribute-lft1-in flip3-+ add-cbrt-cube add-exp-log associate-/r/ flip-+ insert-posit16 add-log-exp
1×+-commutative clear-num frac-2neg div-inv
Calls
2 calls:
Slowest
2.0ms
(+ (* x x) x)
1.0ms
(/ -1 (+ (* x x) x))

series32.0ms

Calls
2 calls:
Slowest
21.0ms
(+ (* x x) x)
11.0ms
(/ -1 (+ (* x x) x))

simplify645.0ms

Calls
12 calls:
Slowest
262.0ms
(+ (* (* x x) (* x x)) (- (* x x) (* (* x x) x)))
125.0ms
(- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2))))
102.0ms
(- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2))))
59.0ms
(- 1 (+ x (/ 1 x)))
23.0ms
(sqrt (+ (* x x) x))

prune247.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

16.0b
(cbrt (+ (* x x) x))
16.0b
(cbrt (+ (* x x) x))
16.0b
(cbrt (+ (* x x) x))
0.6b
(/ -1 (* (* (cbrt (+ (* x x) x)) (cbrt (+ (* x x) x))) (cbrt (+ (* x x) x))))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
60×cbrt-div
30×flip3-+ flip-+
28×frac-times
26×associate-/r/
14×associate-*l/
12×cbrt-prod
8×associate-*r/
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube add-exp-log insert-posit16 add-log-exp
3×distribute-lft1-in pow1/3
1×clear-num associate-/r* frac-2neg div-inv
Calls
4 calls:
Slowest
17.0ms
(/ -1 (* (* (cbrt (+ (* x x) x)) (cbrt (+ (* x x) x))) (cbrt (+ (* x x) x))))
3.0ms
(cbrt (+ (* x x) x))
3.0ms
(cbrt (+ (* x x) x))
3.0ms
(cbrt (+ (* x x) x))

series155.0ms

Calls
4 calls:
Slowest
53.0ms
(cbrt (+ (* x x) x))
49.0ms
(cbrt (+ (* x x) x))
37.0ms
(cbrt (+ (* x x) x))
16.0ms
(/ -1 (* (* (cbrt (+ (* x x) x)) (cbrt (+ (* x x) x))) (cbrt (+ (* x x) x))))

simplify8.6s

Calls
57 calls:
Slowest
486.0ms
(- (+ (* 1/3 (pow (pow x 4) 1/3)) (pow x 1/3)) (* 1/9 (pow (pow x 7) 1/3)))
348.0ms
(* (* (cbrt (- (* x x) x)) (cbrt (+ (* (* x x) (* x x)) (- (* x x) (* (* x x) x))))) (cbrt (+ (* (* x x) (* x x)) (- (* x x) (* (* x x) x)))))
345.0ms
(* (cbrt (+ (* (* x x) (* x x)) (- (* x x) (* (* x x) x)))) (cbrt (- (* x x) x)))
325.0ms
(* (* (cbrt (+ (* (* x x) (* x x)) (- (* x x) (* (* x x) x)))) (cbrt (- (* x x) x))) (cbrt (- (* x x) x)))
312.0ms
(* (* (cbrt (+ (* (* x x) (* x x)) (- (* x x) (* (* x x) x)))) (cbrt (+ (* (* x x) (* x x)) (- (* x x) (* (* x x) x))))) (cbrt (- (* x x) x)))

prune962.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 4 expressions with local error:

16.0b
(cbrt (+ (* x x) x))
16.0b
(cbrt (+ (* x x) x))
0.6b
(cbrt x)
0.6b
(/ -1 (* (* (cbrt (+ (* x x) x)) (cbrt (+ (* x x) x))) (* (cbrt (+ x 1)) (cbrt x))))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
58×cbrt-div
32×associate-*l/
29×flip3-+ flip-+
28×frac-times
26×associate-/r/
8×cbrt-prod associate-*r/
6×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube add-exp-log insert-posit16 add-log-exp
3×pow1/3
2×distribute-lft1-in
1×clear-num associate-/r* frac-2neg div-inv
Calls
4 calls:
Slowest
27.0ms
(/ -1 (* (* (cbrt (+ (* x x) x)) (cbrt (+ (* x x) x))) (* (cbrt (+ x 1)) (cbrt x))))
3.0ms
(cbrt (+ (* x x) x))
3.0ms
(cbrt (+ (* x x) x))
0.0ms
(cbrt x)

series442.0ms

Calls
4 calls:
Slowest
294.0ms
(cbrt x)
80.0ms
(/ -1 (* (* (cbrt (+ (* x x) x)) (cbrt (+ (* x x) x))) (* (cbrt (+ x 1)) (cbrt x))))
35.0ms
(cbrt (+ (* x x) x))
31.0ms
(cbrt (+ (* x x) x))

simplify7.0s

Calls
51 calls:
Slowest
429.0ms
(* (* (cbrt (- (* x x) x)) (cbrt (+ (* (* x x) (* x x)) (- (* x x) (* (* x x) x))))) (cbrt (+ (* x x) (- (* 1 1) (* x 1)))))
370.0ms
(* (* (cbrt (+ (* (* x x) (* x x)) (- (* x x) (* (* x x) x)))) (cbrt (- (* x x) x))) (cbrt (+ (* x x) (- (* 1 1) (* x 1)))))
350.0ms
(* (* (cbrt (- (* x x) x)) (cbrt (+ (* (* x x) (* x x)) (- (* x x) (* (* x x) x))))) (cbrt (- x 1)))
346.0ms
(* (* (cbrt (+ (* (* x x) (* x x)) (- (* x x) (* (* x x) x)))) (cbrt (+ (* (* x x) (* x x)) (- (* x x) (* (* x x) x))))) (cbrt (+ (* x x) (- (* 1 1) (* x 1)))))
333.0ms
(* (cbrt (+ (* (* x x) (* x x)) (- (* x x) (* (* x x) x)))) (cbrt (- x 1)))

prune1.2s

Pruning

6 alts after pruning (2 fresh and 4 done)

Merged error: 0.0b

regimes65.0ms

Accuracy

0% (0.4b remaining)

Error of 0.4b against oracle of 0.0b and baseline of 0.4b

bsearch1.0ms

end0.0ms

sample1.4s

Algorithm
intervals
Results
629.0ms1935×body640valid
304.0ms1241×body320valid
303.0ms4207×body80valid
110.0ms618×body160valid