Details

Time bar (total: 21.5s)

sample174.0ms

Algorithm
intervals
Results
83.0ms228×body10240exit
46.0ms15×body160valid
12.0ms206×body80valid
4.0ms24×body320valid
3.0ms11×body640valid

simplify590.0ms

Counts
1 → 1
Iterations

Useful iterations: done (589.0ms)

IterNodesCost
0816
12115
25215
311515
441915
done500014

prune7.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 11.5b

localize11.0ms

Local error

Found 3 expressions with local error:

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

rewrite384.0ms

Algorithm
rewrite-expression-head
Rules
421×add-sqr-sqrt
355×*-un-lft-identity
339×times-frac
150×prod-diff
127×add-cube-cbrt
104×difference-of-squares
45×distribute-lft-out
35×distribute-lft-out--
14×associate-/l*
8×associate-/r/
7×associate-/r* add-cbrt-cube
6×add-exp-log
5×div-inv add-log-exp
4×flip3-+ flip-+
3×pow1 expm1-log1p-u fma-neg log1p-expm1-u associate-/l/
2×cbrt-undiv flip3-- frac-2neg div-sub div-exp clear-num flip--
1×sub-neg diff-log frac-sub associate--r-
Counts
3 → 279
Calls
3 calls:
13.0ms
(/ x (exp wj))
119.0ms
(/ (- (/ wj 1) (/ x (exp wj))) (+ 1 wj))
201.0ms
(- wj (/ (- (/ wj 1) (/ x (exp wj))) (+ 1 wj)))

series192.0ms

Counts
3 → 9
Calls
3 calls:
37.0ms
(/ x (exp wj))
61.0ms
(/ (- (/ wj 1) (/ x (exp wj))) (+ 1 wj))
94.0ms
(- wj (/ (- (/ wj 1) (/ x (exp wj))) (+ 1 wj)))

simplify848.0ms

Counts
288 → 288
Iterations

Useful iterations: done (825.0ms)

IterNodesCost
048016383
1129113214
done500110576

prune726.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.3b

localize8.0ms

Local error

Found 1 expressions with local error:

0.0b
(* 2 (* wj x))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
6×pow1 add-exp-log add-cbrt-cube
3×associate-*l* pow-prod-down prod-exp cbrt-unprod
2×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
1×expm1-log1p-u associate-*r* *-commutative log1p-expm1-u add-log-exp
Counts
1 → 20
Calls
1 calls:
19.0ms
(* 2 (* wj x))

series31.0ms

Counts
1 → 3
Calls
1 calls:
31.0ms
(* 2 (* wj x))

simplify2.4s

Counts
23 → 23
Iterations

Useful iterations: 2 (52.0ms)

IterNodesCost
037166
188157
2317133
31468133
done5000133

prune117.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.3b

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite174.0ms

Algorithm
rewrite-expression-head
Rules
169×*-un-lft-identity
155×times-frac
118×add-sqr-sqrt
113×add-cube-cbrt
54×prod-diff
27×distribute-lft-out
19×associate-/l*
13×add-cbrt-cube
11×add-exp-log associate-/r* div-inv
10×associate-/r/
6×add-log-exp
5×cbrt-undiv flip3-+ div-exp flip-+
4×pow1 expm1-log1p-u log1p-expm1-u
3×frac-2neg fma-neg clear-num
2×difference-of-squares
1×sub-neg flip3-- diff-log flip-- associate-/l/ distribute-lft-out--
Counts
4 → 226
Calls
4 calls:
14.0ms
(/ x (exp wj))
25.0ms
(/ wj (+ 1 wj))
53.0ms
(/ (/ x (exp wj)) (+ 1 wj))
59.0ms
(- wj (/ wj (+ 1 wj)))

series163.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(/ x (exp wj))
33.0ms
(/ wj (+ 1 wj))
62.0ms
(/ (/ x (exp wj)) (+ 1 wj))
34.0ms
(- wj (/ wj (+ 1 wj)))

simplify2.9s

Counts
238 → 238
Iterations

Useful iterations: done (2.9s)

IterNodesCost
03705110
19554548
244193675
done50003673

prune940.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.1b

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite349.0ms

Algorithm
rewrite-expression-head
Rules
142×*-un-lft-identity
119×add-sqr-sqrt
106×times-frac
105×add-cube-cbrt
72×prod-diff
39×associate-+l+
20×unpow-prod-down cube-prod
16×distribute-lft-out associate-/l*
11×add-cbrt-cube add-log-exp
9×add-exp-log
8×fma-def difference-of-squares sqr-pow
7×associate-/r* div-inv
6×cube-mult unpow3
4×pow1 cbrt-undiv expm1-log1p-u div-exp log1p-expm1-u
3×fma-neg distribute-lft-out--
2×sub-neg flip3-- frac-2neg flip3-+ diff-log frac-add associate--l+ clear-num sum-log associate-/r/ flip-- flip-+ fma-udef
1×+-commutative associate-+l- associate-/l/
Counts
4 → 242
Calls
4 calls:
239.0ms
(+ (- (fma wj wj (pow wj 4)) (pow wj 3)) (/ (/ x (exp wj)) (+ 1 wj)))
14.0ms
(/ x (exp wj))
35.0ms
(- (fma wj wj (pow wj 4)) (pow wj 3))
32.0ms
(/ (/ x (exp wj)) (+ 1 wj))

series274.0ms

Counts
4 → 12
Calls
4 calls:
99.0ms
(+ (- (fma wj wj (pow wj 4)) (pow wj 3)) (/ (/ x (exp wj)) (+ 1 wj)))
48.0ms
(/ x (exp wj))
52.0ms
(- (fma wj wj (pow wj 4)) (pow wj 3))
75.0ms
(/ (/ x (exp wj)) (+ 1 wj))

simplify2.8s

Counts
254 → 254
Iterations

Useful iterations: 2 (1.0s)

IterNodesCost
03435428
18864365
242203900
done50003900

prune1.3s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

regimes97.0ms

Accuracy

0% (1.0b remaining)

Error of 1.1b against oracle of 0.1b and baseline of 1.1b

bsearch0.0ms

simplify12.0ms

Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
02033
12829
23029
done3029

end0.0ms

sample7.0s

Algorithm
intervals
Results
5.0s7815×body10240exit
852.0ms6308×body80valid
198.0ms817×body320valid
173.0ms445×body640valid
65.0ms507×body160valid