Details

Time bar (total: 17.8s)

sample143.0ms

Algorithm
intervals
Results
75.0ms233×body10240exit
33.0ms199×body80valid
7.0ms16×body640valid
4.0ms25×body320valid
2.0ms16×body160valid

simplify675.0ms

Counts
1 → 1
Iterations

Useful iterations: done (674.0ms)

IterNodesCost
0816
12115
25215
311515
441915
done500014

prune6.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 13.2b

localize12.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)))

rewrite386.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:
14.0ms
(/ x (exp wj))
122.0ms
(/ (- (/ wj 1) (/ x (exp wj))) (+ 1 wj))
198.0ms
(- wj (/ (- (/ wj 1) (/ x (exp wj))) (+ 1 wj)))

series173.0ms

Counts
3 → 9
Calls
3 calls:
48.0ms
(/ x (exp wj))
43.0ms
(/ (- (/ wj 1) (/ x (exp wj))) (+ 1 wj))
81.0ms
(- wj (/ (- (/ wj 1) (/ x (exp wj))) (+ 1 wj)))

simplify833.0ms

Counts
288 → 288
Iterations

Useful iterations: done (814.0ms)

IterNodesCost
048016383
1129113214
done500110576

prune884.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.6b

localize15.0ms

Local error

Found 1 expressions with local error:

0.0b
(* 2 (* wj x))

rewrite19.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))

series28.0ms

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

simplify2.6s

Counts
23 → 23
Iterations

Useful iterations: 2 (62.0ms)

IterNodesCost
037166
188157
2317133
31468133
done5000133

prune96.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.6b

localize12.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)))

rewrite237.0ms

Algorithm
rewrite-expression-head
Rules
85×*-un-lft-identity
64×add-sqr-sqrt
57×add-cube-cbrt
54×prod-diff
49×times-frac
13×distribute-lft-out
8×associate-/r/
7×add-cbrt-cube
6×add-exp-log
5×pow1 associate-/l/ add-log-exp
4×exp-neg flip3-+ associate-*r/ associate-/r* flip-+ div-inv
3×expm1-log1p-u fma-neg associate-*r* associate-*l* frac-sub log1p-expm1-u associate-/l*
2×neg-sub0 flip3-- exp-diff div-sub un-div-inv flip-- difference-of-squares
1×cbrt-undiv sub-neg frac-2neg diff-log div-exp pow-prod-down prod-exp clear-num *-commutative cbrt-unprod distribute-lft-out-- associate--r- unswap-sqr
Counts
3 → 139
Calls
3 calls:
36.0ms
(* x (exp (- wj)))
92.0ms
(/ (- (/ wj 1) (* x (exp (- wj)))) (+ 1 wj))
99.0ms
(- wj (/ (- (/ wj 1) (* x (exp (- wj)))) (+ 1 wj)))

series134.0ms

Counts
3 → 9
Calls
3 calls:
33.0ms
(* x (exp (- wj)))
43.0ms
(/ (- (/ wj 1) (* x (exp (- wj)))) (+ 1 wj))
58.0ms
(- wj (/ (- (/ wj 1) (* x (exp (- wj)))) (+ 1 wj)))

simplify2.3s

Counts
148 → 148
Iterations

Useful iterations: done (2.3s)

IterNodesCost
02706650
17445220
235453693
done50003688

prune470.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.6b

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite246.0ms

Algorithm
rewrite-expression-head
Rules
41×*-un-lft-identity
33×add-sqr-sqrt
26×add-cube-cbrt
25×times-frac
21×associate-*l*
13×add-cbrt-cube
12×add-exp-log
8×pow1 distribute-lft-out
7×associate-*r*
6×add-log-exp
4×expm1-log1p-u flip3-+ associate-*r/ associate-/r* associate-/r/ flip-+ log1p-expm1-u
3×fma-neg prod-diff prod-exp cbrt-unprod associate-/l* unswap-sqr
2×cbrt-undiv distribute-rgt-in exp-neg frac-times flip3-- distribute-lft-in div-exp pow-prod-down *-commutative flip-- div-inv associate-/l/ associate--r+
1×neg-sub0 sub-neg frac-2neg exp-diff diff-log div-sub associate-*l/ clear-num un-div-inv
Counts
4 → 129
Calls
4 calls:
33.0ms
(/ (- wj (* x (exp (- wj)))) (+ (pow wj 3) 1))
24.0ms
(* x (exp (- wj)))
174.0ms
(* (/ (- wj (* x (exp (- wj)))) (+ (pow wj 3) 1)) (+ (* 1 1) (- (* wj wj) (* 1 wj))))
10.0ms
(- wj (* (/ (- wj (* x (exp (- wj)))) (+ (pow wj 3) 1)) (+ (* 1 1) (- (* wj wj) (* 1 wj)))))

series419.0ms

Counts
4 → 12
Calls
4 calls:
103.0ms
(/ (- wj (* x (exp (- wj)))) (+ (pow wj 3) 1))
38.0ms
(* x (exp (- wj)))
95.0ms
(* (/ (- wj (* x (exp (- wj)))) (+ (pow wj 3) 1)) (+ (* 1 1) (- (* wj wj) (* 1 wj))))
183.0ms
(- wj (* (/ (- wj (* x (exp (- wj)))) (+ (pow wj 3) 1)) (+ (* 1 1) (- (* wj wj) (* 1 wj)))))

simplify565.0ms

Counts
141 → 141
Iterations

Useful iterations: done (559.0ms)

IterNodesCost
02443574
18373048
done50012718

prune727.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.3b

regimes76.0ms

Accuracy

57.8% (0.8b remaining)

Error of 1.0b against oracle of 0.1b and baseline of 2.1b

bsearch43.0ms

Steps
ItersRangePoint
6
1.3525767651249961e-12
9.12727974574635e-12
1.3722394003469654e-12

simplify10.0ms

Iterations

Useful iterations: 1 (5.0ms)

IterNodesCost
02951
13649
23849
done3849

end0.0ms

sample6.7s

Algorithm
intervals
Results
5.2s7548×body10240exit
462.0ms6296×body80valid
225.0ms803×body320valid
126.0ms453×body640valid
68.0ms522×body160valid