Details

Time bar (total: 18.0s)

sample115.0ms

Algorithm
intervals
Results
77.0ms204×body10240exit
11.0ms205×body80valid
5.0ms26×body320valid
4.0ms15×body640valid
1.0ms12×body160valid

simplify705.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
08272
120272
248272
3109272
4398272
done5000272

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.6b

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b
(* wj (exp wj))
0.0b
(+ (exp wj) (* wj (exp wj)))
0.3b
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
4.0b
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

rewrite114.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt *-un-lft-identity
16×times-frac add-cube-cbrt
8×add-cbrt-cube add-log-exp
7×add-exp-log
6×pow1
5×associate-/r* distribute-rgt-out distribute-rgt1-in
3×associate-*r* associate-*l* associate-/l*
2×flip3-+ flip3-- div-sub associate-/r/ flip-+ flip-- difference-of-squares associate-/l/
1×cbrt-undiv +-commutative clear-num sum-log sub-neg frac-2neg diff-log div-exp pow-prod-down prod-exp *-commutative cbrt-unprod div-inv distribute-lft-out-- associate--r- unswap-sqr
Counts
4 → 87
Calls
4 calls:
8.0ms
(* wj (exp wj))
6.0ms
(+ (exp wj) (* wj (exp wj)))
38.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
59.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

series252.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(* wj (exp wj))
55.0ms
(+ (exp wj) (* wj (exp wj)))
61.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
94.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

simplify2.0s

Counts
99 → 99
Iterations

Useful iterations: done (2.0s)

IterNodesCost
016332989
141530426
2167030207
done500030069

prune516.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.2b

localize23.0ms

Local error

Found 2 expressions with local error:

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

rewrite38.0ms

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

series61.0ms

Counts
2 → 6
Calls
2 calls:
35.0ms
(+ x (* wj wj))
26.0ms
(* 2 (* x wj))

simplify760.0ms

Counts
35 → 35
Iterations

Useful iterations: 2 (175.0ms)

IterNodesCost
0596033
11764779
28094698
done50004698

prune137.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.2b

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite145.0ms

Algorithm
rewrite-expression-head
Rules
117×times-frac
100×*-un-lft-identity
77×add-sqr-sqrt
66×add-cube-cbrt
21×associate-/l*
16×distribute-lft-out
13×add-cbrt-cube
10×add-exp-log associate-/r/
7×associate-/r*
6×pow1 div-inv add-log-exp
5×flip3-+ div-sub flip-+
4×cbrt-undiv div-exp
3×associate-*r* associate-*l* difference-of-squares associate-/l/
2×clear-num frac-2neg flip3-- flip--
1×sub-neg diff-log pow-prod-down prod-exp *-commutative cbrt-unprod distribute-lft-out-- associate--r- unswap-sqr
Counts
4 → 162
Calls
4 calls:
9.0ms
(* wj (exp wj))
29.0ms
(/ (- (* wj (exp wj)) x) (+ wj 1))
40.0ms
(/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj))
62.0ms
(- wj (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)))

series210.0ms

Counts
4 → 12
Calls
4 calls:
35.0ms
(* wj (exp wj))
45.0ms
(/ (- (* wj (exp wj)) x) (+ wj 1))
57.0ms
(/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj))
73.0ms
(- wj (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)))

simplify2.5s

Counts
174 → 174
Iterations

Useful iterations: 2 (1.1s)

IterNodesCost
026381307
171475554
2331974804
done500074804

prune853.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.2b

localize47.0ms

Local error

Found 4 expressions with local error:

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

rewrite184.0ms

Algorithm
rewrite-expression-head
Rules
26×add-sqr-sqrt
25×*-un-lft-identity
17×times-frac
16×add-cube-cbrt
8×add-log-exp
6×log-prod add-cbrt-cube exp-sum add-exp-log
5×pow1 associate-/r* distribute-rgt-out distribute-rgt1-in
4×exp-prod difference-of-squares
3×flip3-- flip-- associate-/l*
2×log-div flip3-+ exp-diff div-sub associate-/r/ flip-+ distribute-lft-out-- associate-/l/
1×cbrt-undiv +-commutative clear-num sum-log sub-neg frac-2neg diff-log div-exp log-pow div-inv associate--r- rem-exp-log
Counts
4 → 89
Calls
4 calls:
7.0ms
(+ (exp wj) (* wj (exp wj)))
33.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
74.0ms
(exp (log (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))))
67.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

series214.0ms

Counts
4 → 12
Calls
4 calls:
40.0ms
(+ (exp wj) (* wj (exp wj)))
45.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
65.0ms
(exp (log (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))))
64.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

simplify1.7s

Counts
101 → 101
Iterations

Useful iterations: done (1.7s)

IterNodesCost
017741934
140536043
2152336043
done500035956

prune605.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.2b

regimes258.0ms

Accuracy

0% (1.8b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
08203
111203
done11203

end0.0ms

sample6.4s

Algorithm
intervals
Results
5.1s7837×body10240exit
500.0ms6310×body80valid
176.0ms754×body320valid
158.0ms476×body640valid
97.0ms521×body160valid