Details

Time bar (total: 17.5s)

sample113.0ms

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

simplify504.0ms

Counts
1 → 1
Iterations
IterNodes
done5000
4419
3115
252
121
08

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 12.3b

localize36.0ms

Local error

Found 4 expressions with local error:

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

rewrite391.0ms

Algorithm
rewrite-expression-head
Rules
628×add-sqr-sqrt
591×times-frac
553×*-un-lft-identity
319×prod-diff
317×add-cube-cbrt
110×difference-of-squares
45×distribute-lft-out
37×distribute-lft-out--
32×div-inv
16×fma-neg
14×associate-/l*
8×add-cbrt-cube associate-/r/ add-log-exp
7×associate-/r* add-exp-log
4×expm1-log1p-u pow1 flip3-+ flip-+ log1p-expm1-u
3×flip3-- flip-- associate-/l/
2×cbrt-undiv clear-num sub-neg frac-2neg diff-log div-sub div-exp frac-sub
1×associate--r-
Counts
4 → 484
Calls
4 calls:
51.0ms
(- (/ wj 1) (/ x (exp wj)))
104.0ms
(/ (- (/ wj 1) (/ x (exp wj))) (+ wj 1))
10.0ms
(/ x (exp wj))
162.0ms
(- wj (/ (- (/ wj 1) (/ x (exp wj))) (+ wj 1)))

series236.0ms

Counts
4 → 12
Calls
4 calls:
53.0ms
(- (/ wj 1) (/ x (exp wj)))
54.0ms
(/ (- (/ wj 1) (/ x (exp wj))) (+ wj 1))
43.0ms
(/ x (exp wj))
86.0ms
(- wj (/ (- (/ wj 1) (/ x (exp wj))) (+ wj 1)))

simplify1.1s

Counts
496 → 496
Iterations
IterNodes
done5000
11901
0731

prune1.2s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.1b

localize11.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations
IterNodes
done0
00

prune36.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.1b

localize100.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
(/ x (exp wj))
4.0b
(+ wj (* (/ (- wj (/ x (exp wj))) (+ (pow wj 3) 1)) (- (- (fma wj wj 1) wj))))

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
70×add-sqr-sqrt
69×*-un-lft-identity
47×times-frac
45×add-cube-cbrt
24×associate-+r+ distribute-neg-in
18×prod-diff
12×distribute-rgt-in distribute-lft-in associate-/l*
10×associate-/r* add-cbrt-cube difference-of-squares
8×add-exp-log
7×distribute-lft-out
6×add-log-exp
5×distribute-lft-out--
4×expm1-log1p-u pow1 log1p-expm1-u
3×cbrt-undiv clear-num fma-def frac-2neg div-exp div-inv
2×sub-neg flip3-+ associate--l+ associate-/r/ distribute-rgt-neg-out flip-+ fma-udef associate-/l/
1×+-commutative sum-log flip3-- div-sub unsub-neg flip--
Counts
4 → 153
Calls
4 calls:
60.0ms
(/ (- wj (/ x (exp wj))) (+ (pow wj 3) 1))
5.0ms
(/ x (exp wj))
5.0ms
(/ x (exp wj))
10.0ms
(+ wj (* (/ (- wj (/ x (exp wj))) (+ (pow wj 3) 1)) (- (- (fma wj wj 1) wj))))

series370.0ms

Counts
4 → 12
Calls
4 calls:
115.0ms
(/ (- wj (/ x (exp wj))) (+ (pow wj 3) 1))
45.0ms
(/ x (exp wj))
37.0ms
(/ x (exp wj))
173.0ms
(+ wj (* (/ (- wj (/ x (exp wj))) (+ (pow wj 3) 1)) (- (- (fma wj wj 1) wj))))

simplify1.9s

Counts
165 → 165
Iterations
IterNodes
done5002
22890
1713
0263

prune1.2s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.1b

localize109.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 (fma (* wj wj) (* 1/2 x) (- x (* wj x)))) (+ (pow wj 3) 1)) (- (- (fma wj wj 1) wj)))
4.0b
(+ wj (* (/ (- wj (fma (* wj wj) (* 1/2 x) (- x (* wj x)))) (+ (pow wj 3) 1)) (- (- (fma wj wj 1) wj))))

rewrite203.0ms

Algorithm
rewrite-expression-head
Rules
108×*-un-lft-identity
104×add-sqr-sqrt
62×add-cube-cbrt
59×times-frac
48×distribute-neg-in
36×prod-diff
26×associate-*l*
24×distribute-rgt-in associate-+r+ distribute-lft-in
16×difference-of-squares
14×associate-*r*
13×add-cbrt-cube
12×add-exp-log distribute-lft-out
11×distribute-lft-out--
9×associate-/l*
7×associate-/r*
6×pow1 add-log-exp
5×distribute-lft-neg-in distribute-rgt-neg-in
4×expm1-log1p-u sub-neg associate--l+ associate-/r/ fma-udef log1p-expm1-u distribute-neg-frac
3×cbrt-undiv fma-def flip3-+ flip3-- div-exp distribute-rgt-neg-out flip-+ div-inv flip--
2×frac-times clear-num frac-2neg prod-exp associate-*r/ cbrt-unprod unswap-sqr associate-/l/
1×+-commutative neg-mul-1 sum-log div-sub unsub-neg pow-prod-down associate-*l/ *-commutative
Counts
4 → 211
Calls
4 calls:
66.0ms
(/ (- wj (/ x (exp wj))) (+ (pow wj 3) 1))
5.0ms
(/ x (exp wj))
99.0ms
(* (/ (- wj (fma (* wj wj) (* 1/2 x) (- x (* wj x)))) (+ (pow wj 3) 1)) (- (- (fma wj wj 1) wj)))
20.0ms
(+ wj (* (/ (- wj (fma (* wj wj) (* 1/2 x) (- x (* wj x)))) (+ (pow wj 3) 1)) (- (- (fma wj wj 1) wj))))

series524.0ms

Counts
4 → 12
Calls
4 calls:
137.0ms
(/ (- wj (/ x (exp wj))) (+ (pow wj 3) 1))
49.0ms
(/ x (exp wj))
129.0ms
(* (/ (- wj (fma (* wj wj) (* 1/2 x) (- x (* wj x)))) (+ (pow wj 3) 1)) (- (- (fma wj wj 1) wj)))
209.0ms
(+ wj (* (/ (- wj (fma (* wj wj) (* 1/2 x) (- x (* wj x)))) (+ (pow wj 3) 1)) (- (- (fma wj wj 1) wj))))

simplify699.0ms

Counts
223 → 223
Iterations
IterNodes
done5000
11150
0400

prune2.1s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.1b

regimes155.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
done9
19
07

end0.0ms

sample6.4s

Algorithm
intervals
Results
4.7s7837×body10240exit
886.0ms6310×body80valid
135.0ms754×body320valid
133.0ms476×body640valid
62.0ms521×body160valid