Details

Time bar (total: 26.8s)

sample226.0ms

Algorithm
intervals
Results
177.0ms268×body10240exit
18.0ms201×body80valid
7.0ms24×body320valid
4.0ms22×body160valid
4.0ms9×body640valid

simplify1.6s

Counts
1 → 1
Iterations
IterNodes
62001
5655
4194
3104
252
121
08

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.2b

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite119.0ms

Algorithm
rewrite-expression-head
Rules
82×*-un-lft-identity
76×add-sqr-sqrt
67×add-cube-cbrt
63×prod-diff
61×times-frac
13×distribute-rgt-out distribute-rgt1-in
10×add-cbrt-cube
8×pow1 add-exp-log associate-/r/
6×associate-*r* associate-*l* add-log-exp
5×associate-/r*
4×expm1-log1p-u flip3-+ flip-+ insert-posit16 log1p-expm1-u div-inv
3×fma-neg associate-/l*
2×flip3-- div-sub pow-prod-down prod-exp *-commutative cbrt-unprod flip-- difference-of-squares unswap-sqr associate-/l/
1×cbrt-undiv clear-num sub-neg frac-2neg diff-log div-exp distribute-lft-out-- associate--r-
Counts
4 → 170
Calls
4 calls:
17.0ms
(* wj (exp wj))
18.0ms
(* wj (exp wj))
30.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
53.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

series246.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(* wj (exp wj))
47.0ms
(* wj (exp wj))
74.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
82.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

simplify1.0s

Counts
182 → 182
Iterations
IterNodes
22307
1816
0309

prune2.1s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.1b

localize24.0ms

Local error

Found 1 expressions with local error:

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

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
3×add-sqr-sqrt *-un-lft-identity fma-neg prod-diff add-cube-cbrt add-log-exp
1×expm1-log1p-u pow1 sub-neg flip3-- add-cbrt-cube diff-log associate--l+ add-exp-log fma-udef insert-posit16 log1p-expm1-u flip--
Counts
1 → 22
Calls
1 calls:
12.0ms
(- (fma wj wj x) (* x (* wj 2)))

series47.0ms

Counts
1 → 3
Calls
1 calls:
47.0ms
(- (fma wj wj x) (* x (* wj 2)))

simplify1.3s

Counts
25 → 25
Iterations
IterNodes
32865
2503
1131
051

prune208.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.1b

localize57.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (/ 1 (+ (exp wj) (* wj (exp wj)))) (- (* wj (exp wj)) x))
0.3b
(* (/ 1 (+ (exp wj) (* wj (exp wj)))) (- (* wj (exp wj)) x))
3.9b
(fma (- (/ 1 (+ (exp wj) (* wj (exp wj))))) (- (* wj (exp wj)) x) (* (/ 1 (+ (exp wj) (* wj (exp wj)))) (- (* wj (exp wj)) x)))
5.7b
(fma 1 wj (- (* (/ 1 (+ (exp wj) (* wj (exp wj)))) (- (* wj (exp wj)) x))))

rewrite229.0ms

Algorithm
rewrite-expression-head
Rules
42×add-sqr-sqrt associate-*l*
36×*-un-lft-identity
34×times-frac
28×add-cube-cbrt
22×add-exp-log
14×add-cbrt-cube
12×prod-diff
10×distribute-rgt-in distribute-lft-in
8×pow1 prod-exp
6×distribute-rgt-out associate-*r* distribute-rgt1-in unswap-sqr
4×expm1-log1p-u frac-times sub-neg flip3-- div-exp associate-*r/ associate-/r/ cbrt-unprod insert-posit16 log1p-expm1-u flip-- add-log-exp
2×cbrt-undiv rec-exp flip3-+ 1-exp pow-prod-down associate-*l/ *-commutative flip-+ fma-udef div-inv
Counts
4 → 142
Calls
4 calls:
106.0ms
(* (/ 1 (+ (exp wj) (* wj (exp wj)))) (- (* wj (exp wj)) x))
118.0ms
(* (/ 1 (+ (exp wj) (* wj (exp wj)))) (- (* wj (exp wj)) x))
0.0ms
(fma (- (/ 1 (+ (exp wj) (* wj (exp wj))))) (- (* wj (exp wj)) x) (* (/ 1 (+ (exp wj) (* wj (exp wj)))) (- (* wj (exp wj)) x)))
1.0ms
(fma 1 wj (- (* (/ 1 (+ (exp wj) (* wj (exp wj)))) (- (* wj (exp wj)) x))))

series410.0ms

Counts
4 → 12
Calls
4 calls:
77.0ms
(* (/ 1 (+ (exp wj) (* wj (exp wj)))) (- (* wj (exp wj)) x))
74.0ms
(* (/ 1 (+ (exp wj) (* wj (exp wj)))) (- (* wj (exp wj)) x))
174.0ms
(fma (- (/ 1 (+ (exp wj) (* wj (exp wj))))) (- (* wj (exp wj)) x) (* (/ 1 (+ (exp wj) (* wj (exp wj)))) (- (* wj (exp wj)) x)))
85.0ms
(fma 1 wj (- (* (/ 1 (+ (exp wj) (* wj (exp wj)))) (- (* wj (exp wj)) x))))

simplify2.0s

Counts
154 → 154
Iterations
IterNodes
34582
21274
1498
0188

prune1.8s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.1b

localize61.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (- (* wj (exp wj)) x) (exp wj))
0.3b
(/ (- (* wj (exp wj)) x) (exp wj))
3.9b
(fma (- (/ (- (* wj (exp wj)) x) (exp wj))) (/ 1 (+ wj 1)) (* (/ (- (* wj (exp wj)) x) (exp wj)) (/ 1 (+ wj 1))))
5.7b
(fma 1 wj (- (* (/ (- (* wj (exp wj)) x) (exp wj)) (/ 1 (+ wj 1)))))

rewrite80.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
18×times-frac
8×add-cbrt-cube
6×associate-/r* add-exp-log associate-/l*
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp associate-/l/
2×cbrt-undiv clear-num frac-2neg flip3-- div-sub div-exp fma-udef div-inv flip--
Counts
4 → 88
Calls
4 calls:
23.0ms
(/ (- (* wj (exp wj)) x) (exp wj))
55.0ms
(/ (- (* wj (exp wj)) x) (exp wj))
0.0ms
(fma (- (/ (- (* wj (exp wj)) x) (exp wj))) (/ 1 (+ wj 1)) (* (/ (- (* wj (exp wj)) x) (exp wj)) (/ 1 (+ wj 1))))
1.0ms
(fma 1 wj (- (* (/ (- (* wj (exp wj)) x) (exp wj)) (/ 1 (+ wj 1)))))

series338.0ms

Counts
4 → 12
Calls
4 calls:
79.0ms
(/ (- (* wj (exp wj)) x) (exp wj))
56.0ms
(/ (- (* wj (exp wj)) x) (exp wj))
135.0ms
(fma (- (/ (- (* wj (exp wj)) x) (exp wj))) (/ 1 (+ wj 1)) (* (/ (- (* wj (exp wj)) x) (exp wj)) (/ 1 (+ wj 1))))
68.0ms
(fma 1 wj (- (* (/ (- (* wj (exp wj)) x) (exp wj)) (/ 1 (+ wj 1)))))

simplify5.6s

Counts
100 → 100
Iterations
IterNodes
47498
31782
2594
1241
0107

prune1.2s

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 0.1b

regimes218.0ms

Accuracy

29.9% (1.1b remaining)

Error of 1.5b against oracle of 0.4b and baseline of 2.0b

bsearch3.0ms

simplify15.0ms

Iterations
IterNodes
345
245
140
026

end0.0ms

sample8.1s

Algorithm
intervals
Results
6.2s7798×body10240exit
587.0ms6252×body80valid
575.0ms498×body640valid
264.0ms761×body320valid
159.0ms569×body160valid