Details

Time bar (total: 6.9s)

sample63.0ms

Algorithm
intervals
Results
37.0ms213×body10240exit
6.0ms205×body80valid
2.0ms16×body640valid
2.0ms22×body320valid
1.0ms15×body160valid

simplify46.0ms

Counts
1 → 1
Iterations

Useful iterations: 3 (7.0ms)

IterNodesCost
0209
1489
21079
32248
415148
550018
done50018

prune10.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 12.4b

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ wj (+ wj 1))
0.0b
(/ (/ x (+ wj 1)) (exp wj))
0.0b
(/ x (+ wj 1))
4.8b
(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1)))

rewrite536.0ms

Algorithm
rewrite-expression-head
Rules
127×times-frac
118×*-un-lft-identity
78×add-sqr-sqrt
73×add-cube-cbrt
24×associate-/l*
21×distribute-lft-out
13×add-cbrt-cube
12×associate-/r/
11×add-exp-log associate-/r*
9×add-log-exp
7×flip3-+ flip-+ div-inv
5×cbrt-undiv div-exp
4×pow1
3×frac-2neg clear-num
2×diff-log frac-sub distribute-lft-out-- difference-of-squares
1×sub-neg flip3-- associate--l+ sum-log flip-- associate-/l/
Counts
4 → 176
Calls
4 calls:
11.0ms
(/ wj (+ wj 1))
24.0ms
(/ (/ x (+ wj 1)) (exp wj))
11.0ms
(/ x (+ wj 1))
482.0ms
(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1)))

series153.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(/ wj (+ wj 1))
43.0ms
(/ (/ x (+ wj 1)) (exp wj))
30.0ms
(/ x (+ wj 1))
59.0ms
(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1)))

simplify83.0ms

Counts
188 → 188
Iterations

Useful iterations: 2 (62.0ms)

IterNodesCost
07211524
133031471
250011469
done50011469

prune439.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.1b

localize8.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (+ x (pow wj 2)) (* 2 (* wj x)))

rewrite75.0ms

Algorithm
rewrite-expression-head
Rules
6×add-log-exp
2×diff-log
1×pow1 add-exp-log add-sqr-sqrt add-cube-cbrt sub-neg flip3-- *-un-lft-identity associate--l+ sum-log add-cbrt-cube flip--
Counts
1 → 14
Calls
1 calls:
75.0ms
(- (+ x (pow wj 2)) (* 2 (* wj x)))

series33.0ms

Counts
1 → 3
Calls
1 calls:
33.0ms
(- (+ x (pow wj 2)) (* 2 (* wj x)))

simplify90.0ms

Counts
17 → 17
Iterations

Useful iterations: 2 (16.0ms)

IterNodesCost
098134
1418123
22675121
35001121
done5001121

prune46.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.1b

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (/ x (+ wj 1)) (exp wj))
0.0b
(/ x (+ wj 1))
0.2b
(/ 1 (/ (+ wj 1) wj))
5.3b
(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ 1 (/ (+ wj 1) wj)))

rewrite561.0ms

Algorithm
rewrite-expression-head
Rules
216×times-frac
179×*-un-lft-identity
127×add-sqr-sqrt
113×add-cube-cbrt
30×distribute-lft-out
24×associate-/l*
23×associate-/r*
20×add-exp-log
16×add-cbrt-cube
13×div-inv
11×div-exp associate-/r/
9×add-log-exp
7×cbrt-undiv
6×flip3-+ flip-+
5×pow1 difference-of-squares
4×distribute-lft-out--
3×frac-2neg clear-num
2×rec-exp diff-log 1-exp frac-sub
1×sub-neg flip3-- pow-flip associate--l+ sum-log flip-- associate-/l/ inv-pow
Counts
4 → 236
Calls
4 calls:
24.0ms
(/ (/ x (+ wj 1)) (exp wj))
11.0ms
(/ x (+ wj 1))
16.0ms
(/ 1 (/ (+ wj 1) wj))
499.0ms
(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ 1 (/ (+ wj 1) wj)))

series155.0ms

Counts
4 → 12
Calls
4 calls:
43.0ms
(/ (/ x (+ wj 1)) (exp wj))
25.0ms
(/ x (+ wj 1))
27.0ms
(/ 1 (/ (+ wj 1) wj))
60.0ms
(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ 1 (/ (+ wj 1) wj)))

simplify100.0ms

Counts
248 → 248
Iterations

Useful iterations: 2 (75.0ms)

IterNodesCost
09392129
146551907
250011904
done50011904

prune477.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.1b

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (/ x (+ (pow wj 3) 1)) (/ (+ (* wj wj) (- 1 (* wj 1))) (exp wj)))
0.0b
(/ (+ (* wj wj) (- 1 (* wj 1))) (exp wj))
0.2b
(/ 1 (/ (+ wj 1) wj))
5.3b
(- (+ (* (/ x (+ (pow wj 3) 1)) (/ (+ (* wj wj) (- 1 (* wj 1))) (exp wj))) wj) (/ 1 (/ (+ wj 1) wj)))

rewrite520.0ms

Algorithm
rewrite-expression-head
Rules
136×times-frac
111×*-un-lft-identity
102×add-sqr-sqrt
76×add-cube-cbrt
26×add-exp-log
23×add-cbrt-cube
19×associate-/r*
18×associate-*l*
15×distribute-lft-out
13×associate-*r*
12×div-exp
9×div-inv add-log-exp
8×cbrt-undiv
7×pow1
6×associate-/l*
5×difference-of-squares
4×prod-exp cbrt-unprod unswap-sqr
3×flip3-+ associate-/r/ flip-+
2×rec-exp frac-2neg diff-log 1-exp clear-num frac-sub associate-/l/ distribute-lft-out--
1×frac-times associate-+r- sub-neg flip3-- pow-flip div-sub associate-*r/ pow-prod-down associate-*l/ associate--l+ sum-log *-commutative flip-- inv-pow
Counts
4 → 196
Calls
4 calls:
104.0ms
(* (/ x (+ (pow wj 3) 1)) (/ (+ (* wj wj) (- 1 (* wj 1))) (exp wj)))
47.0ms
(/ (+ (* wj wj) (- 1 (* wj 1))) (exp wj))
17.0ms
(/ 1 (/ (+ wj 1) wj))
344.0ms
(- (+ (* (/ x (+ (pow wj 3) 1)) (/ (+ (* wj wj) (- 1 (* wj 1))) (exp wj))) wj) (/ 1 (/ (+ wj 1) wj)))

series338.0ms

Counts
4 → 12
Calls
4 calls:
98.0ms
(* (/ x (+ (pow wj 3) 1)) (/ (+ (* wj wj) (- 1 (* wj 1))) (exp wj)))
24.0ms
(/ (+ (* wj wj) (- 1 (* wj 1))) (exp wj))
21.0ms
(/ 1 (/ (+ wj 1) wj))
194.0ms
(- (+ (* (/ x (+ (pow wj 3) 1)) (/ (+ (* wj wj) (- 1 (* wj 1))) (exp wj))) wj) (/ 1 (/ (+ wj 1) wj)))

simplify117.0ms

Counts
208 → 208
Iterations

Useful iterations: 2 (91.0ms)

IterNodesCost
09902406
148062087
250012084
done50012084

prune729.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.1b

regimes61.0ms

Accuracy

55.5% (0.8b remaining)

Error of 1.1b against oracle of 0.3b and baseline of 2.1b

bsearch36.0ms

Steps
ItersRangePoint
6
1.6364485262755118e-17
1.0549554552646143e-16
1.0431539000350864e-16

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04625
14825
24825
done4825

end0.0ms

sample2.2s

Algorithm
intervals
Results
1.4s7768×body10240exit
192.0ms6281×body80valid
74.0ms817×body320valid
65.0ms432×body640valid
33.0ms552×body160valid