Details

Time bar (total: 14.3s)

sample79.0ms

Algorithm
intervals
Results
35.0ms19×body320valid
20.0ms66×body1280valid
10.0ms47×body640valid
7.0ms115×body80valid
1.0ms9×body160valid

simplify224.0ms

Counts
1 → 1
Iterations
IterNodes
17209
16209
15207
14188
13140
12109
1196
1089
969
853
742
632
526
423
322
219
115
07

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 32.9b

localize23.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ x (+ x 1))
0.0b
(/ (+ x 1) (- x 1))
2.6b
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))

rewrite86.0ms

Algorithm
rewrite-expression-head
Rules
110×*-un-lft-identity
60×times-frac
57×add-sqr-sqrt
25×add-cube-cbrt
20×distribute-lft-out
18×distribute-lft-out--
14×difference-of-squares
11×associate-/r*
7×add-cbrt-cube add-exp-log associate-/l*
5×difference-of-sqr-1 add-log-exp
4×associate-/r/
3×pow1 insert-posit16
2×cbrt-undiv clear-num frac-2neg flip3-+ flip3-- div-exp flip-+ div-inv flip-- associate-/l/
1×sub-neg diff-log frac-sub
Counts
3 → 117
Calls
3 calls:
7.0ms
(/ x (+ x 1))
32.0ms
(/ (+ x 1) (- x 1))
45.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))

series182.0ms

Counts
3 → 9
Calls
3 calls:
41.0ms
(/ x (+ x 1))
39.0ms
(/ (+ x 1) (- x 1))
102.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))

simplify1.2s

Counts
126 → 126
Iterations
IterNodes
33207
2996
1385
0180

prune922.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.1b

localize37.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (/ 3 x) (/ 1 (* x x)))
0.1b
(/ (/ 3 x) (* x x))
0.6b
(/ 1 (* x x))
7.0b
(+ (/ (/ 3 x) (* x x)) (+ (/ 3 x) (/ 1 (* x x))))

rewrite163.0ms

Algorithm
rewrite-expression-head
Rules
37×times-frac
33×*-un-lft-identity
27×add-exp-log
21×add-cbrt-cube
20×add-sqr-sqrt add-cube-cbrt
16×associate-/l*
12×pow1
11×add-log-exp
10×div-exp
8×cbrt-undiv div-inv distribute-lft-out
6×pow-flip
5×frac-add prod-exp
4×sum-log insert-posit16
3×flip3-+ cbrt-unprod flip-+
2×+-commutative rec-exp clear-num associate-/r* frac-2neg distribute-rgt-out 1-exp
1×pow2 associate-+r+ pow-plus pow-prod-down pow-sqr pow-prod-up inv-pow associate-/l/
Counts
4 → 117
Calls
4 calls:
26.0ms
(+ (/ 3 x) (/ 1 (* x x)))
19.0ms
(/ (/ 3 x) (* x x))
18.0ms
(/ 1 (* x x))
97.0ms
(+ (/ (/ 3 x) (* x x)) (+ (/ 3 x) (/ 1 (* x x))))

series204.0ms

Counts
4 → 12
Calls
4 calls:
63.0ms
(+ (/ 3 x) (/ 1 (* x x)))
72.0ms
(/ (/ 3 x) (* x x))
28.0ms
(/ 1 (* x x))
41.0ms
(+ (/ (/ 3 x) (* x x)) (+ (/ 3 x) (/ 1 (* x x))))

simplify1.6s

Counts
129 → 129
Iterations
IterNodes
22304
1543
0201

prune978.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.1b

localize24.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (/ (/ 3 x) x) (+ 3 (/ 1 x)))
0.1b
(/ (/ 3 x) x)
0.2b
(* (/ 1 x) (+ (/ (/ 3 x) x) (+ 3 (/ 1 x))))

rewrite180.0ms

Algorithm
rewrite-expression-head
Rules
86×times-frac
68×*-un-lft-identity
60×add-sqr-sqrt
53×add-cube-cbrt
17×add-exp-log
13×add-cbrt-cube associate-*l* associate-/l*
10×distribute-lft-out
8×div-inv add-log-exp
6×flip3-+ associate-*r* frac-add flip-+
5×pow1 div-exp
4×frac-times cbrt-undiv prod-exp associate-*r/
3×associate-/r* sum-log insert-posit16 unswap-sqr
2×cbrt-unprod
1×distribute-rgt-in +-commutative rec-exp associate-+r+ clear-num frac-2neg distribute-lft-in 1-exp pow-prod-down associate-*l/ *-commutative associate-/l/
Counts
3 → 139
Calls
3 calls:
37.0ms
(+ (/ (/ 3 x) x) (+ 3 (/ 1 x)))
14.0ms
(/ (/ 3 x) x)
127.0ms
(* (/ 1 x) (+ (/ (/ 3 x) x) (+ 3 (/ 1 x))))

series118.0ms

Counts
3 → 9
Calls
3 calls:
28.0ms
(+ (/ (/ 3 x) x) (+ 3 (/ 1 x)))
49.0ms
(/ (/ 3 x) x)
41.0ms
(* (/ 1 x) (+ (/ (/ 3 x) x) (+ 3 (/ 1 x))))

simplify1.6s

Counts
148 → 148
Iterations
IterNodes
23103
1803
0264

prune1.0s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.1b

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ x (+ 1 x))
0.0b
(/ (+ 1 x) (- x 1))
2.5b
(log (exp (- (/ x (+ 1 x)) (/ (+ 1 x) (- x 1)))))
2.6b
(- (/ x (+ 1 x)) (/ (+ 1 x) (- x 1)))

rewrite233.0ms

Algorithm
rewrite-expression-head
Rules
159×*-un-lft-identity
80×times-frac
72×add-sqr-sqrt
31×distribute-lft-out--
28×add-cube-cbrt distribute-lft-out
18×difference-of-squares
17×log-pow
16×exp-prod
11×associate-/r*
8×add-cbrt-cube add-exp-log
7×associate-/l*
6×add-log-exp
5×pow1 log-prod difference-of-sqr-1
4×associate-/r/ insert-posit16
2×cbrt-undiv clear-num sub-neg frac-2neg flip3-+ flip3-- div-exp exp-sum flip-+ div-inv flip-- associate-/l/
1×log-div exp-diff diff-log rem-log-exp frac-sub
Counts
4 → 149
Calls
4 calls:
9.0ms
(/ x (+ 1 x))
16.0ms
(/ (+ 1 x) (- x 1))
145.0ms
(log (exp (- (/ x (+ 1 x)) (/ (+ 1 x) (- x 1)))))
59.0ms
(- (/ x (+ 1 x)) (/ (+ 1 x) (- x 1)))

series273.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(/ x (+ 1 x))
25.0ms
(/ (+ 1 x) (- x 1))
111.0ms
(log (exp (- (/ x (+ 1 x)) (/ (+ 1 x) (- x 1)))))
100.0ms
(- (/ x (+ 1 x)) (/ (+ 1 x) (- x 1)))

simplify1.1s

Counts
161 → 161
Iterations
IterNodes
33051
21160
1460
0219

prune1.3s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.1b

regimes57.0ms

Accuracy

99.9% (0.0b remaining)

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

bsearch134.0ms

Steps
ItersRangePoint
8
9369.000823706243
5623247.098758675
10987.67453528168
8
-15521.296822102611
-0.2777104116290821
-15268.755255591204

simplify17.0ms

Iterations
IterNodes
448
348
242
136
023

end0.0ms

sample2.4s

Algorithm
intervals
Results
1.2s1733×body1280valid
445.0ms1273×body640valid
368.0ms4089×body80valid
144.0ms607×body320valid
46.0ms298×body160valid