Details

Time bar (total: 15.7s)

sample43.0ms

Algorithm
intervals
Results
14.0ms69×body640valid
7.0ms120×body80valid
4.0ms31×body320valid
4.0ms15×body1280valid
2.0ms21×body160valid

simplify159.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

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

rewrite553.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:
26.0ms
(/ 1.0 (- x 1.0))
22.0ms
(/ 1.0 (+ x 1.0))
86.0ms
(- (/ 1.0 (+ x 1.0)) (/ 2.0 x))
409.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))

series406.0ms

Counts
4 → 12
Calls
4 calls:
43.0ms
(/ 1.0 (- x 1.0))
35.0ms
(/ 1.0 (+ x 1.0))
56.0ms
(- (/ 1.0 (+ x 1.0)) (/ 2.0 x))
271.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

prune328.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

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

rewrite179.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:
125.0ms
(+ (/ 2.0 (pow x 5)) (/ 2.0 (pow x 3)))
14.0ms
(/ 2.0 (pow x 5))
20.0ms
(/ 2.0 (pow x 7))
12.0ms
(/ 2.0 (pow x 3))

series398.0ms

Counts
4 → 12
Calls
4 calls:
200.0ms
(+ (/ 2.0 (pow x 5)) (/ 2.0 (pow x 3)))
76.0ms
(/ 2.0 (pow x 5))
68.0ms
(/ 2.0 (pow x 7))
55.0ms
(/ 2.0 (pow x 3))

simplify1.3s

Counts
184 → 184
Iterations

Useful iterations: done (1.3s)

IterNodesCost
02552079
14841812
213451744
done50011742

prune683.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

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

rewrite111.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:
66.0ms
(+ (/ 2.0 (pow x 5)) (/ (/ 2.0 x) (* x x)))
7.0ms
(/ 2.0 (pow x 5))
21.0ms
(/ (/ 2.0 x) (* x x))
8.0ms
(/ 2.0 (pow x 7))

series350.0ms

Counts
4 → 12
Calls
4 calls:
164.0ms
(+ (/ 2.0 (pow x 5)) (/ (/ 2.0 x) (* x x)))
58.0ms
(/ 2.0 (pow x 5))
44.0ms
(/ (/ 2.0 x) (* x x))
84.0ms
(/ 2.0 (pow x 7))

simplify1.4s

Counts
161 → 161
Iterations

Useful iterations: done (1.4s)

IterNodesCost
02611882
15551657
215211539
done50001535

prune577.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

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

rewrite751.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:
9.0ms
(/ (sqrt 2.0) (pow x 5))
692.0ms
(* (/ (sqrt 2.0) 1) (+ (/ (sqrt 2.0) (pow x 5)) (/ (sqrt 2.0) (pow x 3))))
13.0ms
(/ 2.0 (pow x 7))
22.0ms
(/ (sqrt 2.0) (pow x 3))

series605.0ms

Counts
4 → 12
Calls
4 calls:
123.0ms
(/ (sqrt 2.0) (pow x 5))
308.0ms
(* (/ (sqrt 2.0) 1) (+ (/ (sqrt 2.0) (pow x 5)) (/ (sqrt 2.0) (pow x 3))))
82.0ms
(/ 2.0 (pow x 7))
92.0ms
(/ (sqrt 2.0) (pow x 3))

simplify2.2s

Counts
293 → 293
Iterations

Useful iterations: 2 (793.0ms)

IterNodesCost
03854373
17903508
224143360
done50013360

prune987.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

regimes34.0ms

Accuracy

99.9% (0.0b remaining)

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

bsearch182.0ms

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

simplify5.0ms

Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
03177
14459
done4459

end0.0ms

sample1.6s

Algorithm
intervals
Results
568.0ms1935×body640valid
385.0ms4122×body80valid
194.0ms937×body320valid
151.0ms530×body1280valid
51.0ms480×body160valid