Details

Time bar (total: 15.6s)

sample57.0ms

Algorithm
intervals
Results
19.0ms73×body640valid
9.0ms130×body80valid
5.0ms27×body320valid
5.0ms14×body1280valid
2.0ms12×body160valid

simplify3.9s

Counts
1 → 1
Iterations
IterNodes
done5001
104810
91188
8437
7210
6162
5135
489
341
231
118
010

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 1.0 (- x 1.0))
0.0b
(/ 1.0 (+ x 1.0))
0.0b
(- (/ 1.0 (+ x 1.0)) (/ 2.0 x))
2.8b
(+ (/ 1.0 (- x 1.0)) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)))

rewrite318.0ms

Algorithm
rewrite-expression-head
Rules
83×*-un-lft-identity
47×times-frac
43×add-sqr-sqrt
23×add-cube-cbrt
14×distribute-lft-out--
13×distribute-lft-out
11×add-log-exp
9×associate-/r*
8×add-cbrt-cube add-exp-log difference-of-squares
6×associate-/l*
4×pow1 associate-/r/
3×flip3-- frac-add flip--
2×cbrt-undiv associate-+r+ clear-num sum-log sub-neg frac-2neg flip3-+ diff-log div-exp frac-sub flip-+ div-inv
1×+-commutative associate-+r-
Counts
4 → 114
Calls
4 calls:
12.0ms
(/ 1.0 (- x 1.0))
17.0ms
(/ 1.0 (+ x 1.0))
71.0ms
(- (/ 1.0 (+ x 1.0)) (/ 2.0 x))
215.0ms
(+ (/ 1.0 (- x 1.0)) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)))

series472.0ms

Counts
4 → 12
Calls
4 calls:
51.0ms
(/ 1.0 (- x 1.0))
32.0ms
(/ 1.0 (+ x 1.0))
63.0ms
(- (/ 1.0 (+ x 1.0)) (/ 2.0 x))
327.0ms
(+ (/ 1.0 (- x 1.0)) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)))

simplify1.2s

Counts
126 → 126
Iterations
IterNodes
done5002
22093
1537
0211

prune516.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize49.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (+ x 1.0))
0.3b
(cbrt (+ x 1.0))
0.3b
(* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))
20.3b
(+ (/ 1.0 (- x 1.0)) (- (* (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (/ (cbrt 1.0) (cbrt (+ x 1.0)))) (/ 2.0 x)))

rewrite444.0ms

Algorithm
rewrite-expression-head
Rules
34×*-un-lft-identity
32×cbrt-prod
22×add-sqr-sqrt
16×cbrt-div
14×add-cube-cbrt
11×pow1
9×flip3-+ swap-sqr flip-+ distribute-lft-out add-log-exp
8×pow1/3
7×associate-*r* associate-*l*
6×add-exp-log
5×frac-times frac-add
4×add-cbrt-cube unswap-sqr
3×associate-*l/ associate-*r/ frac-sub
2×associate-+r+ sum-log pow-prod-down pow-sqr pow-prod-up
1×pow2 +-commutative associate-+r- sub-neg pow-plus flip3-- diff-log prod-exp *-commutative cbrt-unprod flip--
Counts
4 → 102
Calls
4 calls:
7.0ms
(cbrt (+ x 1.0))
7.0ms
(cbrt (+ x 1.0))
62.0ms
(* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))
361.0ms
(+ (/ 1.0 (- x 1.0)) (- (* (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (/ (cbrt 1.0) (cbrt (+ x 1.0)))) (/ 2.0 x)))

series843.0ms

Counts
4 → 12
Calls
4 calls:
139.0ms
(cbrt (+ x 1.0))
111.0ms
(cbrt (+ x 1.0))
178.0ms
(* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))
414.0ms
(+ (/ 1.0 (- x 1.0)) (- (* (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (/ (cbrt 1.0) (cbrt (+ x 1.0)))) (/ 2.0 x)))

simplify1.5s

Counts
114 → 114
Iterations
IterNodes
done5000
22955
1659
0234

prune703.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

localize43.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (* 1.0 x) (+ x 1.0))
0.0b
(* (- x 1.0) (- (* x 1.0) (* 2.0 (+ x 1.0))))
0.1b
(* (- x 1.0) (* (+ x 1.0) x))
17.0b
(+ (* (- x 1.0) (- (* x 1.0) (* 2.0 (+ x 1.0)))) (* (* 1.0 x) (+ x 1.0)))

rewrite207.0ms

Algorithm
rewrite-expression-head
Rules
26×associate-*r/
21×flip3-- flip--
16×frac-times pow1 add-cbrt-cube frac-add add-exp-log
14×add-sqr-sqrt *-un-lft-identity associate-*l/
13×flip3-+ flip-+
11×associate-*l*
8×associate-*r* add-cube-cbrt
7×pow-prod-down prod-exp cbrt-unprod
6×distribute-rgt-in distribute-lft-in add-log-exp
4×associate-+l+ sub-neg
3×*-commutative
2×associate-+r+ distribute-lft-out-- difference-of-squares
1×+-commutative sum-log distribute-lft-out unswap-sqr
Counts
4 → 116
Calls
4 calls:
44.0ms
(* (* 1.0 x) (+ x 1.0))
54.0ms
(* (- x 1.0) (- (* x 1.0) (* 2.0 (+ x 1.0))))
68.0ms
(* (- x 1.0) (* (+ x 1.0) x))
32.0ms
(+ (* (- x 1.0) (- (* x 1.0) (* 2.0 (+ x 1.0)))) (* (* 1.0 x) (+ x 1.0)))

series245.0ms

Counts
4 → 12
Calls
4 calls:
90.0ms
(* (* 1.0 x) (+ x 1.0))
45.0ms
(* (- x 1.0) (- (* x 1.0) (* 2.0 (+ x 1.0))))
107.0ms
(* (- x 1.0) (* (+ x 1.0) x))
3.0ms
(+ (* (- x 1.0) (- (* x 1.0) (* 2.0 (+ x 1.0)))) (* (* 1.0 x) (+ x 1.0)))

simplify370.0ms

Counts
128 → 128
Iterations
IterNodes
done5000
1873
0240

prune689.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

localize18.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (+ x 1.0) x)
0.1b
(* (- x 1.0) (* (+ x 1.0) x))
0.1b
(/ 2.0 (* (- x 1.0) (* (+ x 1.0) x)))

rewrite109.0ms

Algorithm
rewrite-expression-head
Rules
19×add-cbrt-cube add-exp-log
18×associate-*l/
12×add-sqr-sqrt *-un-lft-identity
10×pow1
9×associate-*l*
8×frac-times associate-/r/ add-cube-cbrt
7×flip3-+ prod-exp cbrt-unprod flip-+
6×flip3-- flip--
4×associate-*r* pow-prod-down associate-*r/
3×cbrt-undiv times-frac div-exp associate-/l* add-log-exp
2×*-commutative
1×clear-num associate-/r* frac-2neg div-inv distribute-lft-out distribute-lft-out-- difference-of-squares unswap-sqr
Counts
3 → 80
Calls
3 calls:
22.0ms
(* (+ x 1.0) x)
43.0ms
(* (- x 1.0) (* (+ x 1.0) x))
41.0ms
(/ 2.0 (* (- x 1.0) (* (+ x 1.0) x)))

series340.0ms

Counts
3 → 9
Calls
3 calls:
53.0ms
(* (+ x 1.0) x)
151.0ms
(* (- x 1.0) (* (+ x 1.0) x))
136.0ms
(/ 2.0 (* (- x 1.0) (* (+ x 1.0) x)))

simplify1.5s

Counts
89 → 89
Iterations
IterNodes
done5000
22489
1407
0147

prune382.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

regimes46.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done9
19
08

end0.0ms

sample1.6s

Algorithm
intervals
Results
401.0ms1828×body640valid
391.0ms4148×body80valid
301.0ms557×body1280valid
223.0ms994×body320valid
76.0ms475×body160valid