Details

Time bar (total: 15.8s)

sample44.0ms

Algorithm
intervals
Results
15.0ms69×body640valid
7.0ms120×body80valid
5.0ms31×body320valid
4.0ms15×body1280valid
3.0ms21×body160valid

simplify161.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01015
11815
23115
34115
45015
55515
66415
78215
89915
910915
done10915

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 10.6b

localize22.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.4b
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))

rewrite639.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-exp-log add-cbrt-cube difference-of-squares
6×associate-/l*
4×pow1 associate-/r/
3×flip3-- frac-add flip--
2×cbrt-undiv sub-neg associate-+l+ frac-2neg flip3-+ diff-log div-exp clear-num sum-log frac-sub flip-+ div-inv
1×+-commutative associate-+l-
Counts
4 → 114
Calls
4 calls:
11.0ms
(/ 1.0 (- x 1.0))
17.0ms
(/ 1.0 (+ x 1.0))
104.0ms
(- (/ 1.0 (+ x 1.0)) (/ 2.0 x))
501.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))

series464.0ms

Counts
4 → 12
Calls
4 calls:
44.0ms
(/ 1.0 (- x 1.0))
29.0ms
(/ 1.0 (+ x 1.0))
79.0ms
(- (/ 1.0 (+ x 1.0)) (/ 2.0 x))
312.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))

simplify2.7s

Counts
126 → 126
Iterations

Useful iterations: 3 (1.3s)

IterNodesCost
02131832
14981716
213141630
337671608
done50001608

prune365.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (/ 2.0 (pow x 5)) (/ 2.0 (pow x 3)))
0.0b
(/ 2.0 (pow x 5))
0.2b
(/ 2.0 (pow x 7))
0.2b
(/ 2.0 (pow x 3))

rewrite139.0ms

Algorithm
rewrite-expression-head
Rules
84×times-frac
71×*-un-lft-identity
63×add-sqr-sqrt add-cube-cbrt
36×unpow-prod-down
26×associate-/r*
19×add-exp-log
12×cube-prod sqr-pow
10×add-cbrt-cube
9×div-exp associate-/l*
6×add-log-exp
5×div-inv distribute-lft-out
4×pow1 cube-mult unpow3
3×cbrt-undiv pow-to-exp frac-2neg pow-exp clear-num
1×+-commutative flip3-+ frac-add sum-log flip-+
Counts
4 → 172
Calls
4 calls:
90.0ms
(+ (/ 2.0 (pow x 5)) (/ 2.0 (pow x 3)))
13.0ms
(/ 2.0 (pow x 5))
9.0ms
(/ 2.0 (pow x 7))
16.0ms
(/ 2.0 (pow x 3))

series390.0ms

Counts
4 → 12
Calls
4 calls:
193.0ms
(+ (/ 2.0 (pow x 5)) (/ 2.0 (pow x 3)))
58.0ms
(/ 2.0 (pow x 5))
81.0ms
(/ 2.0 (pow x 7))
58.0ms
(/ 2.0 (pow x 3))

simplify1.1s

Counts
184 → 184
Iterations

Useful iterations: done (1.1s)

IterNodesCost
02552079
14841812
213451744
done50011742

prune642.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (/ 2.0 (pow x 5)) (/ (/ 2.0 x) (* x x)))
0.0b
(/ 2.0 (pow x 5))
0.1b
(/ (/ 2.0 x) (* x x))
0.2b
(/ 2.0 (pow x 7))

rewrite96.0ms

Algorithm
rewrite-expression-head
Rules
73×times-frac
52×*-un-lft-identity
50×add-sqr-sqrt add-cube-cbrt
26×add-exp-log
24×unpow-prod-down
20×add-cbrt-cube
19×associate-/l*
15×associate-/r*
12×div-exp
8×cbrt-undiv sqr-pow
6×add-log-exp
5×div-inv
4×pow1
3×frac-2neg clear-num
2×pow-to-exp pow-exp prod-exp cbrt-unprod
1×+-commutative flip3-+ frac-add sum-log flip-+ associate-/l/ distribute-lft-out
Counts
4 → 149
Calls
4 calls:
53.0ms
(+ (/ 2.0 (pow x 5)) (/ (/ 2.0 x) (* x x)))
13.0ms
(/ 2.0 (pow x 5))
14.0ms
(/ (/ 2.0 x) (* x x))
8.0ms
(/ 2.0 (pow x 7))

series429.0ms

Counts
4 → 12
Calls
4 calls:
229.0ms
(+ (/ 2.0 (pow x 5)) (/ (/ 2.0 x) (* x x)))
69.0ms
(/ 2.0 (pow x 5))
51.0ms
(/ (/ 2.0 x) (* x x))
79.0ms
(/ 2.0 (pow x 7))

simplify1.4s

Counts
161 → 161
Iterations

Useful iterations: done (1.4s)

IterNodesCost
02611882
15551657
215211539
done50001535

prune674.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize40.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (sqrt 2.0) (pow x 5))
0.1b
(* (/ (sqrt 2.0) 1) (+ (/ (sqrt 2.0) (pow x 5)) (/ (sqrt 2.0) (pow x 3))))
0.2b
(/ 2.0 (pow x 7))
0.3b
(/ (sqrt 2.0) (pow x 3))

rewrite942.0ms

Algorithm
rewrite-expression-head
Rules
173×times-frac
135×*-un-lft-identity
131×add-sqr-sqrt
115×add-cube-cbrt
82×sqrt-prod
54×unpow-prod-down
26×add-exp-log associate-/r*
22×associate-*l*
21×cube-prod
18×sqr-pow
15×add-cbrt-cube associate-/l*
13×associate-*r*
11×div-exp
10×distribute-lft-out
7×cube-mult unpow3
6×pow1 div-inv
5×unswap-sqr
4×cbrt-undiv add-log-exp
3×frac-times pow-to-exp frac-2neg associate-*r/ pow-exp prod-exp clear-num
2×flip3-+ frac-add cbrt-unprod flip-+
1×distribute-rgt-in distribute-lft-in 1-exp pow-prod-down associate-*l/ *-commutative
Counts
4 → 281
Calls
4 calls:
18.0ms
(/ (sqrt 2.0) (pow x 5))
868.0ms
(* (/ (sqrt 2.0) 1) (+ (/ (sqrt 2.0) (pow x 5)) (/ (sqrt 2.0) (pow x 3))))
13.0ms
(/ 2.0 (pow x 7))
20.0ms
(/ (sqrt 2.0) (pow x 3))

series601.0ms

Counts
4 → 12
Calls
4 calls:
109.0ms
(/ (sqrt 2.0) (pow x 5))
309.0ms
(* (/ (sqrt 2.0) 1) (+ (/ (sqrt 2.0) (pow x 5)) (/ (sqrt 2.0) (pow x 3))))
83.0ms
(/ 2.0 (pow x 7))
100.0ms
(/ (sqrt 2.0) (pow x 3))

simplify1.7s

Counts
293 → 293
Iterations

Useful iterations: 2 (607.0ms)

IterNodesCost
03854373
17903508
224143360
done50013360

prune1.0s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

regimes40.0ms

Accuracy

99.9% (0.0b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 31.6b

bsearch109.0ms

Steps
ItersRangePoint
9
0.0033303272193615503
311302.39110615524
1913.506658456775
7
-41918.349557210015
-1608.0958488538781
-17754.398693443713

simplify6.0ms

Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
03177
14459
done4459

end0.0ms

sample2.0s

Algorithm
intervals
Results
783.0ms4122×body80valid
621.0ms1935×body640valid
213.0ms937×body320valid
153.0ms530×body1280valid
54.0ms480×body160valid