Details

Time bar (total: 17.9s)

sample200.0ms

Algorithm
intervals
Results
138.0ms266×body10240exit
11.0ms186×body80valid
9.0ms41×body320valid
3.0ms13×body640valid
2.0ms18×body160valid

simplify550.0ms

Counts
1 → 1
Iterations

Useful iterations: done (550.0ms)

IterNodesCost
0816
12015
24815
310915
439815
done500014

prune9.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 16.5b

localize30.0ms

Local error

Found 4 expressions with local error:

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

rewrite373.0ms

Algorithm
rewrite-expression-head
Rules
136×add-sqr-sqrt
108×times-frac
103×*-un-lft-identity
38×difference-of-squares
29×add-cube-cbrt
14×associate-/l*
13×distribute-lft-out--
12×distribute-lft-out
8×add-cbrt-cube add-log-exp
7×add-exp-log associate-/r*
4×pow1
3×flip3-- flip-- associate-/l/
2×cbrt-undiv sub-neg frac-2neg diff-log div-sub div-exp clear-num associate-/r/ frac-sub div-inv
1×flip3-+ flip-+ associate--r-
Counts
4 → 141
Calls
4 calls:
56.0ms
(- (/ wj 1) (/ x (exp wj)))
7.0ms
(/ x (exp wj))
123.0ms
(/ (- (/ wj 1) (/ x (exp wj))) (+ 1 wj))
167.0ms
(- wj (/ (- (/ wj 1) (/ x (exp wj))) (+ 1 wj)))

series236.0ms

Counts
4 → 12
Calls
4 calls:
43.0ms
(- (/ wj 1) (/ x (exp wj)))
54.0ms
(/ x (exp wj))
73.0ms
(/ (- (/ wj 1) (/ x (exp wj))) (+ 1 wj))
65.0ms
(- wj (/ (- (/ wj 1) (/ x (exp wj))) (+ 1 wj)))

simplify1.4s

Counts
153 → 153
Iterations

Useful iterations: 2 (589.0ms)

IterNodesCost
02342793
15772291
223772226
done50012226

prune651.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.3b

localize12.0ms

Local error

Found 2 expressions with local error:

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

rewrite160.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1 add-exp-log add-cbrt-cube add-log-exp
3×add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-*l* pow-prod-down prod-exp cbrt-unprod
2×diff-log
1×sub-neg flip3-- associate-*r* associate--l+ sum-log *-commutative flip--
Counts
2 → 32
Calls
2 calls:
131.0ms
(- (+ x (pow wj 2)) (* 2 (* wj x)))
28.0ms
(* 2 (* wj x))

series90.0ms

Counts
2 → 6
Calls
2 calls:
59.0ms
(- (+ x (pow wj 2)) (* 2 (* wj x)))
31.0ms
(* 2 (* wj x))

simplify647.0ms

Counts
38 → 38
Iterations

Useful iterations: done (645.0ms)

IterNodesCost
063439
1167405
2729371
done5000335

prune191.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.3b

localize31.0ms

Local error

Found 4 expressions with local error:

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

rewrite503.0ms

Algorithm
rewrite-expression-head
Rules
1122×times-frac
737×add-sqr-sqrt
709×*-un-lft-identity
395×add-cube-cbrt
133×difference-of-squares
91×distribute-lft-out
62×distribute-lft-out--
48×div-inv
40×add-exp-log
39×associate-/r*
31×div-exp associate-/r/
20×add-cbrt-cube associate-/l*
16×flip3-- flip--
10×cbrt-undiv 1-exp
6×add-log-exp
4×pow1 rec-exp
3×frac-2neg clear-num associate-/l/
1×sub-neg flip3-+ diff-log flip-+
Counts
4 → 564
Calls
4 calls:
7.0ms
(/ x (exp wj))
83.0ms
(/ (+ 1 wj) (- wj (/ x (exp wj))))
87.0ms
(/ (/ 1 1) (/ (+ 1 wj) (- wj (/ x (exp wj)))))
252.0ms
(- wj (/ (/ 1 1) (/ (+ 1 wj) (- wj (/ x (exp wj))))))

series308.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(/ x (exp wj))
136.0ms
(/ (+ 1 wj) (- wj (/ x (exp wj))))
66.0ms
(/ (/ 1 1) (/ (+ 1 wj) (- wj (/ x (exp wj)))))
76.0ms
(- wj (/ (/ 1 1) (/ (+ 1 wj) (- wj (/ x (exp wj))))))

simplify2.2s

Counts
576 → 576
Iterations

Useful iterations: done (2.2s)

IterNodesCost
072616821
1268112547
done500012311

prune980.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.3b

localize60.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (- wj (/ x (exp wj))) (+ 1 wj))
0.0b
(* (/ (- wj (/ x (exp wj))) (+ 1 wj)) (/ (- wj (/ x (exp wj))) (+ 1 wj)))
3.0b
(- (* wj wj) (* (/ (- wj (/ x (exp wj))) (+ 1 wj)) (/ (- wj (/ x (exp wj))) (+ 1 wj))))
18.5b
(/ (- (* wj wj) (* (/ (- wj (/ x (exp wj))) (+ 1 wj)) (/ (- wj (/ x (exp wj))) (+ 1 wj)))) (+ (/ (- wj (/ x (exp wj))) (+ 1 wj)) wj))

rewrite599.0ms

Algorithm
rewrite-expression-head
Rules
292×*-un-lft-identity
215×add-sqr-sqrt
213×times-frac
78×add-cube-cbrt
56×distribute-lft-out difference-of-squares
54×swap-sqr
37×distribute-lft-out--
30×associate-*r* associate-*l*
20×add-exp-log add-cbrt-cube
12×associate-/r/
11×pow1
10×associate-/l*
8×associate-/r*
6×cbrt-undiv flip3-+ div-exp flip-+ div-inv add-log-exp
4×prod-exp cbrt-unprod associate-/l/ unswap-sqr
3×flip3-- flip--
2×frac-2neg div-sub clear-num
1×pow2 frac-times sub-neg pow-plus diff-log associate-*r/ pow-prod-down associate-*l/ pow-sqr *-commutative pow-prod-up
Counts
4 → 247
Calls
4 calls:
52.0ms
(/ (- wj (/ x (exp wj))) (+ 1 wj))
222.0ms
(* (/ (- wj (/ x (exp wj))) (+ 1 wj)) (/ (- wj (/ x (exp wj))) (+ 1 wj)))
18.0ms
(- (* wj wj) (* (/ (- wj (/ x (exp wj))) (+ 1 wj)) (/ (- wj (/ x (exp wj))) (+ 1 wj))))
287.0ms
(/ (- (* wj wj) (* (/ (- wj (/ x (exp wj))) (+ 1 wj)) (/ (- wj (/ x (exp wj))) (+ 1 wj)))) (+ (/ (- wj (/ x (exp wj))) (+ 1 wj)) wj))

series545.0ms

Counts
4 → 12
Calls
4 calls:
71.0ms
(/ (- wj (/ x (exp wj))) (+ 1 wj))
80.0ms
(* (/ (- wj (/ x (exp wj))) (+ 1 wj)) (/ (- wj (/ x (exp wj))) (+ 1 wj)))
188.0ms
(- (* wj wj) (* (/ (- wj (/ x (exp wj))) (+ 1 wj)) (/ (- wj (/ x (exp wj))) (+ 1 wj))))
206.0ms
(/ (- (* wj wj) (* (/ (- wj (/ x (exp wj))) (+ 1 wj)) (/ (- wj (/ x (exp wj))) (+ 1 wj)))) (+ (/ (- wj (/ x (exp wj))) (+ 1 wj)) wj))

simplify662.0ms

Counts
259 → 259
Iterations

Useful iterations: done (644.0ms)

IterNodesCost
03008473
110907870
done50017380

prune1.2s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.3b

regimes180.0ms

Accuracy

0% (1.7b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0811
11111
done1111

end0.0ms

sample6.1s

Algorithm
intervals
Results
4.6s7445×body10240exit
514.0ms6234×body80valid
185.0ms852×body320valid
122.0ms484×body640valid
55.0ms514×body160valid