Details

Time bar (total: 23.1s)

sample230.0ms

Algorithm
intervals
Results
172.0ms191×body10240exit
24.0ms206×body80valid
7.0ms15×body640valid
7.0ms21×body320valid
3.0ms14×body160valid

simplify4.4s

Counts
1 → 1
Iterations
IterNodes
done5000
64330
5815
4205
3108
252
121
08

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.3b

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(* wj (exp wj))
0.0b
(+ (exp wj) (* wj (exp wj)))
1.0b
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
3.9b
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

rewrite121.0ms

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

series223.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(* wj (exp wj))
50.0ms
(+ (exp wj) (* wj (exp wj)))
73.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
67.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

simplify2.8s

Counts
180 → 180
Iterations
IterNodes
done5000
22586
1847
0321

prune1.0s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.6b

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

prune21.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.6b

localize33.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (exp wj) (* wj (exp wj)))
0.0b
(/ x (+ (exp wj) (* wj (exp wj))))
1.0b
(/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj))))
5.6b
(- wj (/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj)))))

rewrite111.0ms

Algorithm
rewrite-expression-head
Rules
47×*-un-lft-identity
37×add-sqr-sqrt
35×times-frac add-cube-cbrt
33×prod-diff
11×add-cbrt-cube
10×associate-/r* distribute-rgt-out distribute-rgt1-in add-exp-log associate-/r/
8×add-log-exp
6×flip3-+ flip-+
5×div-inv
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u associate-/l*
3×cbrt-undiv fma-def fma-neg div-exp
2×clear-num frac-2neg
1×+-commutative sum-log sub-neg flip3-- diff-log prod-exp cbrt-unprod flip-- distribute-lft-out-- difference-of-squares
Counts
4 → 142
Calls
4 calls:
8.0ms
(+ (exp wj) (* wj (exp wj)))
18.0ms
(/ x (+ (exp wj) (* wj (exp wj))))
42.0ms
(/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj))))
40.0ms
(- wj (/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj)))))

series241.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(+ (exp wj) (* wj (exp wj)))
68.0ms
(/ x (+ (exp wj) (* wj (exp wj))))
51.0ms
(/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj))))
70.0ms
(- wj (/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj)))))

simplify2.0s

Counts
154 → 154
Iterations
IterNodes
done5002
22361
1676
0269

prune864.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize32.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (exp wj) (* wj (exp wj)))
0.0b
(- (* wj wj) (* wj (* wj wj)))
0.0b
(/ x (+ (exp wj) (* wj (exp wj))))
0.1b
(* wj (* wj wj))

rewrite76.0ms

Algorithm
rewrite-expression-head
Rules
21×*-un-lft-identity
18×pow1
17×add-sqr-sqrt
16×add-cube-cbrt
15×times-frac
11×add-cbrt-cube add-exp-log
8×add-log-exp
5×associate-/r* distribute-rgt-out distribute-rgt1-in pow-prod-up
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×fma-def associate-*l* pow-prod-down prod-exp cbrt-unprod associate-/l*
2×flip3-+ associate-/r/ flip-+
1×pow2 cbrt-undiv +-commutative clear-num sum-log sub-neg frac-2neg pow-plus flip3-- fma-neg diff-log cube-unmult div-exp associate-*r* prod-diff pow-sqr *-commutative div-inv flip-- distribute-lft-out-- unswap-sqr
Counts
4 → 104
Calls
4 calls:
8.0ms
(+ (exp wj) (* wj (exp wj)))
13.0ms
(- (* wj wj) (* wj (* wj wj)))
20.0ms
(/ x (+ (exp wj) (* wj (exp wj))))
33.0ms
(* wj (* wj wj))

series281.0ms

Counts
4 → 12
Calls
4 calls:
63.0ms
(+ (exp wj) (* wj (exp wj)))
96.0ms
(- (* wj wj) (* wj (* wj wj)))
63.0ms
(/ x (+ (exp wj) (* wj (exp wj))))
59.0ms
(* wj (* wj wj))

simplify1.7s

Counts
116 → 116
Iterations
IterNodes
done5000
21121
1391
0174

prune525.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

regimes82.0ms

Accuracy

73.6% (0.3b remaining)

Error of 0.4b against oracle of 0.1b and baseline of 1.2b

bsearch36.0ms

Steps
ItersRangePoint
7
2.618543036730298e-08
6.802190297852232e-07
6.715218772498828e-07

simplify5.0ms

Iterations
IterNodes
done36
236
132
020

end0.0ms

sample8.3s

Algorithm
intervals
Results
6.6s7388×body10240exit
763.0ms6350×body80valid
240.0ms743×body320valid
200.0ms485×body640valid
98.0ms508×body160valid