Details

Time bar (total: 14.9s)

sample86.0ms

Algorithm
intervals
Results
58.0ms204×body10240exit
8.0ms205×body80valid
3.0ms26×body320valid
2.0ms15×body640valid
1.0ms12×body160valid

simplify456.0ms

Counts
1 → 1
Iterations
IterNodes
done5000
4398
3109
248
120
08

prune23.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 12.3b

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite286.0ms

Algorithm
rewrite-expression-head
Rules
131×add-sqr-sqrt
107×times-frac
103×*-un-lft-identity
36×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×associate-/r* add-exp-log
4×pow1
3×associate-/l/
2×cbrt-undiv clear-num frac-2neg flip3-+ flip3-- div-sub div-exp associate-/r/ frac-sub flip-+ div-inv flip--
1×+-commutative associate-+r- sum-log sub-neg diff-log
Counts
4 → 138
Calls
4 calls:
38.0ms
(- (/ x (exp wj)) (/ wj 1))
110.0ms
(/ (- (/ x (exp wj)) (/ wj 1)) (+ 1 wj))
5.0ms
(/ x (exp wj))
127.0ms
(+ wj (/ (- (/ x (exp wj)) (/ wj 1)) (+ 1 wj)))

series263.0ms

Counts
4 → 12
Calls
4 calls:
55.0ms
(- (/ x (exp wj)) (/ wj 1))
79.0ms
(/ (- (/ x (exp wj)) (/ wj 1)) (+ 1 wj))
50.0ms
(/ x (exp wj))
78.0ms
(+ wj (/ (- (/ x (exp wj)) (/ wj 1)) (+ 1 wj)))

simplify1.2s

Counts
150 → 150
Iterations
IterNodes
done5002
22438
1580
0229

prune758.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize11.0ms

Local error

Found 2 expressions with local error:

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

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
9×add-log-exp
2×add-sqr-sqrt pow1 associate-+r+ sum-log sub-neg *-un-lft-identity add-cbrt-cube diff-log add-exp-log add-cube-cbrt
1×+-commutative associate-+r- flip3-+ flip3-- flip-+ flip--
Counts
2 → 27
Calls
2 calls:
12.0ms
(+ (* wj wj) (- x (* wj (* x 2))))
5.0ms
(- x (* wj (* x 2)))

series90.0ms

Counts
2 → 6
Calls
2 calls:
33.0ms
(+ (* wj wj) (- x (* wj (* x 2))))
57.0ms
(- x (* wj (* x 2)))

simplify532.0ms

Counts
33 → 33
Iterations
IterNodes
done5000
2868
1174
058

prune146.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize27.0ms

Local error

Found 4 expressions with local error:

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

rewrite594.0ms

Algorithm
rewrite-expression-head
Rules
216×times-frac
179×*-un-lft-identity
125×add-sqr-sqrt
113×add-cube-cbrt
34×associate-/l*
31×distribute-lft-out
16×add-cbrt-cube add-exp-log
12×associate-/r/ div-inv
11×associate-/r*
9×div-exp add-log-exp
7×cbrt-undiv flip3-+ flip-+
4×pow1 difference-of-squares
3×clear-num frac-2neg
2×diff-log frac-sub distribute-lft-out-- associate-/l/
1×sum-log sub-neg flip3-- 1-exp associate--l+ flip--
Counts
4 → 232
Calls
4 calls:
29.0ms
(/ (/ wj 1) (+ 1 wj))
27.0ms
(/ (/ x (+ 1 wj)) (exp wj))
11.0ms
(/ x (+ 1 wj))
506.0ms
(- (+ wj (/ (/ x (+ 1 wj)) (exp wj))) (/ (/ wj 1) (+ 1 wj)))

series195.0ms

Counts
4 → 12
Calls
4 calls:
39.0ms
(/ (/ wj 1) (+ 1 wj))
65.0ms
(/ (/ x (+ 1 wj)) (exp wj))
26.0ms
(/ x (+ 1 wj))
65.0ms
(- (+ wj (/ (/ x (+ 1 wj)) (exp wj))) (/ (/ wj 1) (+ 1 wj)))

simplify588.0ms

Counts
244 → 244
Iterations
IterNodes
done5000
11081
0396

prune1.0s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.1b

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ x (* (exp wj) (+ wj 1)))
0.0b
(* (exp wj) (+ wj 1))
2.6b
(exp (log (- (+ wj (/ x (* (exp wj) (+ wj 1)))) (/ wj (+ wj 1)))))
4.0b
(- (+ wj (/ x (* (exp wj) (+ wj 1)))) (/ wj (+ wj 1)))

rewrite266.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt *-un-lft-identity
11×add-cbrt-cube
10×add-cube-cbrt
9×add-exp-log add-log-exp
7×pow1 log-prod exp-sum
5×times-frac
4×log-div exp-prod flip3-+ exp-diff associate-*r* associate-*r/ frac-sub flip-+ distribute-lft-out-- difference-of-squares
3×associate-*l* distribute-lft-out associate-/l*
2×cbrt-undiv flip3-- diff-log div-exp prod-exp associate-/r/ cbrt-unprod flip--
1×distribute-rgt-in clear-num associate-/r* sum-log sub-neg frac-2neg distribute-lft-in pow-prod-down associate--l+ log-pow *-commutative div-inv unswap-sqr rem-exp-log
Counts
4 → 89
Calls
4 calls:
13.0ms
(/ x (* (exp wj) (+ wj 1)))
21.0ms
(* (exp wj) (+ wj 1))
62.0ms
(exp (log (- (+ wj (/ x (* (exp wj) (+ wj 1)))) (/ wj (+ wj 1)))))
168.0ms
(- (+ wj (/ x (* (exp wj) (+ wj 1)))) (/ wj (+ wj 1)))

series217.0ms

Counts
4 → 12
Calls
4 calls:
55.0ms
(/ x (* (exp wj) (+ wj 1)))
31.0ms
(* (exp wj) (+ wj 1))
62.0ms
(exp (log (- (+ wj (/ x (* (exp wj) (+ wj 1)))) (/ wj (+ wj 1)))))
68.0ms
(- (+ wj (/ x (* (exp wj) (+ wj 1)))) (/ wj (+ wj 1)))

simplify1.3s

Counts
101 → 101
Iterations
IterNodes
done5001
22618
1502
0198

prune597.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.1b

regimes114.0ms

Accuracy

0% (2.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done11
111
08

end0.0ms

sample6.2s

Algorithm
intervals
Results
5.0s7837×body10240exit
378.0ms6310×body80valid
130.0ms754×body320valid
122.0ms476×body640valid
60.0ms521×body160valid