Details

Time bar (total: 9.3s)

sample62.0ms

Algorithm
intervals
Results
39.0ms225×body10240exit
6.0ms216×body80valid
2.0ms19×body320valid
1.0ms7×body640valid
1.0ms16×body160valid

simplify3.0s

Counts
1 → 1
Iterations

Useful iterations: 5 (88.0ms)

IterNodesCost
0816
12115
25215
311115
420714
559212
6315612
done500012

prune5.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 9.8b

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite144.0ms

Algorithm
rewrite-expression-head
Rules
80×*-un-lft-identity
79×add-sqr-sqrt
66×times-frac
34×add-cube-cbrt
30×fma-def
18×difference-of-squares
14×distribute-lft-out
9×associate-/l* distribute-lft-out--
7×associate-/r* add-cbrt-cube
6×add-exp-log
5×add-log-exp
4×associate-/r/
3×pow1 expm1-log1p-u flip3-+ flip-+ log1p-expm1-u div-inv
2×cbrt-undiv frac-2neg div-sub div-exp clear-num associate-/l/
1×+-commutative associate-+l- flip3-- sum-log flip--
Counts
3 → 127
Calls
3 calls:
39.0ms
(/ (- (/ x (exp wj)) wj) (+ 1 wj))
3.0ms
(/ x (exp wj))
98.0ms
(+ (/ (- (/ x (exp wj)) wj) (+ 1 wj)) wj)

series117.0ms

Counts
3 → 9
Calls
3 calls:
38.0ms
(/ (- (/ x (exp wj)) wj) (+ 1 wj))
23.0ms
(/ x (exp wj))
55.0ms
(+ (/ (- (/ x (exp wj)) wj) (+ 1 wj)) wj)

simplify834.0ms

Counts
136 → 136
Iterations

Useful iterations: done (830.0ms)

IterNodesCost
01751546
14161474
212171408
done50001399

prune287.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.2b

localize6.0ms

Local error

Found 1 expressions with local error:

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

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
10×associate-+r+
6×prod-diff
5×distribute-rgt-in distribute-lft-in
4×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
3×fma-def add-log-exp
2×sub-neg
1×pow1 add-exp-log +-commutative expm1-log1p-u flip3-+ sum-log add-cbrt-cube flip-+ log1p-expm1-u
Counts
1 → 26
Calls
1 calls:
4.0ms
(+ x (* wj (- wj (* x 2))))

series28.0ms

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

simplify1.1s

Counts
29 → 29
Iterations

Useful iterations: 3 (239.0ms)

IterNodesCost
058334
1143318
2384267
31668229
done5000229

prune71.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.2b

localize11.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify1.0ms

Counts
0 → 0
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
000
done00

prune14.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.2b

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* wj wj) (* 1 wj))
0.0b
(/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3)))
0.0b
(/ x (exp wj))
4.6b
(fma (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3))) (+ (* 1 1) (- (* wj wj) (* 1 wj))) wj)

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
129×*-un-lft-identity
85×add-sqr-sqrt
80×times-frac
42×distribute-lft-out
30×add-cube-cbrt
28×unpow-prod-down cube-prod
22×difference-of-squares
13×associate-/r*
11×distribute-lft-out--
9×associate-/l*
8×add-cbrt-cube
7×add-exp-log cube-mult sum-cubes
6×add-log-exp
4×pow1 expm1-log1p-u log1p-expm1-u
2×cbrt-undiv flip3-- frac-2neg div-exp clear-num associate-/r/ flip-- div-inv associate-/l/
1×sub-neg distribute-rgt-out-- flip3-+ fma-neg diff-log div-sub prod-diff flip-+ fma-udef
Counts
4 → 151
Calls
4 calls:
3.0ms
(- (* wj wj) (* 1 wj))
60.0ms
(/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3)))
3.0ms
(/ x (exp wj))
0.0ms
(fma (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3))) (+ (* 1 1) (- (* wj wj) (* 1 wj))) wj)

series240.0ms

Counts
4 → 12
Calls
4 calls:
41.0ms
(- (* wj wj) (* 1 wj))
76.0ms
(/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3)))
24.0ms
(/ x (exp wj))
99.0ms
(fma (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3))) (+ (* 1 1) (- (* wj wj) (* 1 wj))) wj)

simplify701.0ms

Counts
163 → 163
Iterations

Useful iterations: done (696.0ms)

IterNodesCost
02293157
15372599
216542439
done50002438

prune393.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.2b

regimes50.0ms

Accuracy

0% (1.9b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01117
11417
done1417

end0.0ms

sample2.1s

Algorithm
intervals
Results
1.4s7745×body10240exit
193.0ms6321×body80valid
74.0ms754×body320valid
69.0ms457×body640valid
33.0ms540×body160valid