Details

Time bar (total: 16.5s)

sample136.0ms

Algorithm
intervals
Results
68.0ms112×body1280valid
28.0ms78×body640valid
11.0ms245×body80nan
7.0ms39×body320valid
3.0ms22×body160valid
0.0ms5×body80valid

simplify128.0ms

Counts
1 → 1
Iterations
IterNodes
done123
8123
7121
6106
588
461
340
225
118
09

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.9b

localize24.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (+ 1.0 x) (- 1.0 x))
6.3b
(log (/ (+ 1.0 x) (- 1.0 x)))

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
63×*-un-lft-identity
41×add-sqr-sqrt
40×times-frac
26×log-prod
23×add-cube-cbrt
11×distribute-lft-out
9×distribute-lft-out-- difference-of-squares
7×add-exp-log
5×associate-/r*
4×add-cbrt-cube associate-/r/ associate-/l*
3×pow1
2×flip3-- div-exp rem-log-exp div-inv flip-- add-log-exp associate-/l/
1×cbrt-undiv log-div clear-num frac-2neg flip3-+ log-pow flip-+
Counts
2 → 82
Calls
2 calls:
43.0ms
(/ (+ 1.0 x) (- 1.0 x))
17.0ms
(log (/ (+ 1.0 x) (- 1.0 x)))

series238.0ms

Counts
2 → 6
Calls
2 calls:
46.0ms
(/ (+ 1.0 x) (- 1.0 x))
191.0ms
(log (/ (+ 1.0 x) (- 1.0 x)))

simplify578.0ms

Counts
88 → 88
Iterations
IterNodes
done5000
21320
1330
0142

prune286.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.1b

localize38.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations
IterNodes
done0
00

prune21.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.1b

localize40.0ms

Local error

Found 4 expressions with local error:

0.0b
(* x (- x 1.0))
0.0b
(/ (+ (pow 1.0 3) (pow x 3)) (* (+ (* x (- x 1.0)) (pow 1.0 2)) (- 1.0 x)))
0.0b
(* (+ (* x (- x 1.0)) (pow 1.0 2)) (- 1.0 x))
6.0b
(log (/ (+ (pow 1.0 3) (pow x 3)) (* (+ (* x (- x 1.0)) (pow 1.0 2)) (- 1.0 x))))

rewrite241.0ms

Algorithm
rewrite-expression-head
Rules
46×*-un-lft-identity
21×log-prod
20×add-sqr-sqrt
19×add-exp-log
18×times-frac
16×associate-/r/
15×distribute-lft-out
13×add-cbrt-cube
12×frac-times unpow-prod-down cube-prod add-cube-cbrt
10×flip3-+ flip3-- associate-*r* flip-+ flip--
9×pow1 associate-/l*
8×associate-*r/
6×associate-*l* associate-*l/
4×distribute-rgt-in sub-neg distribute-lft-in div-exp prod-exp add-log-exp
3×rem-log-exp sum-cubes cbrt-unprod
2×cbrt-undiv pow-prod-down *-commutative div-inv distribute-lft-out-- difference-of-squares unswap-sqr associate-/l/
1×log-div clear-num associate-/r* frac-2neg log-pow
Counts
4 → 134
Calls
4 calls:
30.0ms
(* x (- x 1.0))
95.0ms
(/ (+ (pow 1.0 3) (pow x 3)) (* (+ (* x (- x 1.0)) (pow 1.0 2)) (- 1.0 x)))
63.0ms
(* (+ (* x (- x 1.0)) (pow 1.0 2)) (- 1.0 x))
44.0ms
(log (/ (+ (pow 1.0 3) (pow x 3)) (* (+ (* x (- x 1.0)) (pow 1.0 2)) (- 1.0 x))))

series475.0ms

Counts
4 → 12
Calls
4 calls:
55.0ms
(* x (- x 1.0))
94.0ms
(/ (+ (pow 1.0 3) (pow x 3)) (* (+ (* x (- x 1.0)) (pow 1.0 2)) (- 1.0 x)))
62.0ms
(* (+ (* x (- x 1.0)) (pow 1.0 2)) (- 1.0 x))
263.0ms
(log (/ (+ (pow 1.0 3) (pow x 3)) (* (+ (* x (- x 1.0)) (pow 1.0 2)) (- 1.0 x))))

simplify1.6s

Counts
146 → 146
Iterations
IterNodes
done5000
23446
1645
0231

prune780.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.1b

localize64.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (+ (pow 1.0 3) (pow x 3)) (+ (* 1.0 1.0) (* x (- x 1.0))))
0.0b
(* x (- x 1.0))
6.2b
(log (/ (/ (+ (pow 1.0 3) (pow x 3)) (+ (* 1.0 1.0) (* x (- x 1.0)))) (- (pow 1.0 3) (pow x 3))))
6.4b
(log (+ (* x (+ x 1.0)) (* 1.0 1.0)))

rewrite428.0ms

Algorithm
rewrite-expression-head
Rules
1527×times-frac
1502×*-un-lft-identity
1176×add-sqr-sqrt
834×log-prod
712×unpow-prod-down cube-prod
529×difference-of-squares
395×distribute-lft-out
380×add-cube-cbrt
264×sqr-pow
166×distribute-lft-out--
79×sum-cubes
54×associate-/r/
33×difference-cubes
28×flip3-+ flip-+
27×div-inv
15×add-exp-log
9×associate-/l*
8×pow1 add-cbrt-cube
5×associate-*r*
4×div-exp rem-log-exp add-log-exp
3×log-div associate-/r* associate-*l*
2×distribute-rgt-in sub-neg distribute-lft-in flip3-- associate-*r/ log-pow flip-- associate-/l/
1×cbrt-undiv clear-num frac-2neg pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 938
Calls
4 calls:
81.0ms
(/ (+ (pow 1.0 3) (pow x 3)) (+ (* 1.0 1.0) (* x (- x 1.0))))
28.0ms
(* x (- x 1.0))
139.0ms
(log (/ (/ (+ (pow 1.0 3) (pow x 3)) (+ (* 1.0 1.0) (* x (- x 1.0)))) (- (pow 1.0 3) (pow x 3))))
28.0ms
(log (+ (* x (+ x 1.0)) (* 1.0 1.0)))

series536.0ms

Counts
4 → 12
Calls
4 calls:
199.0ms
(/ (+ (pow 1.0 3) (pow x 3)) (+ (* 1.0 1.0) (* x (- x 1.0))))
82.0ms
(* x (- x 1.0))
158.0ms
(log (/ (/ (+ (pow 1.0 3) (pow x 3)) (+ (* 1.0 1.0) (* x (- x 1.0)))) (- (pow 1.0 3) (pow x 3))))
96.0ms
(log (+ (* x (+ x 1.0)) (* 1.0 1.0)))

simplify1.3s

Counts
950 → 950
Iterations
IterNodes
done5000
12915
01272

prune3.4s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.1b

regimes203.0ms

Accuracy

0% (0.5b remaining)

Error of 0.7b against oracle of 0.2b and baseline of 0.7b

bsearch0.0ms

simplify6.0ms

Iterations
IterNodes
done18
118
014

end0.0ms

sample5.8s

Algorithm
intervals
Results
2.8s3304×body1280valid
1.3s2532×body640valid
709.0ms8043×body80nan
409.0ms1292×body320valid
104.0ms658×body160valid
21.0ms214×body80valid