Details

Time bar (total: 21.8s)

sample132.0ms

Algorithm
intervals
Results
94.0ms232×body10240exit
11.0ms206×body80valid
5.0ms27×body320valid
4.0ms15×body640valid
1.0ms13×body160valid

simplify4.5s

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.7b

localize38.0ms

Local error

Found 4 expressions with local error:

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

rewrite111.0ms

Algorithm
rewrite-expression-head
Rules
70×*-un-lft-identity
67×add-sqr-sqrt
63×prod-diff
58×add-cube-cbrt
46×times-frac
10×distribute-rgt-out distribute-rgt1-in
8×pow1 add-cbrt-cube add-log-exp
6×associate-*r* associate-*l* add-exp-log associate-/r/
4×expm1-log1p-u flip3-+ flip-+ insert-posit16 log1p-expm1-u
3×fma-def fma-neg div-inv
2×pow-prod-down prod-exp *-commutative cbrt-unprod difference-of-squares unswap-sqr
1×+-commutative sum-log sub-neg flip3-- diff-log div-sub flip-- distribute-lft-out-- associate--r-
Counts
4 → 146
Calls
4 calls:
10.0ms
(+ (exp wj) (* wj (exp wj)))
11.0ms
(* wj (exp wj))
9.0ms
(* wj (exp wj))
77.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

series262.0ms

Counts
4 → 12
Calls
4 calls:
57.0ms
(+ (exp wj) (* wj (exp wj)))
41.0ms
(* wj (exp wj))
58.0ms
(* wj (exp wj))
106.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

simplify2.3s

Counts
158 → 158
Iterations
IterNodes
done5000
22189
1748
0290

prune904.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize21.0ms

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations
IterNodes
done0
00

prune14.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

localize76.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 1 (exp wj))
0.0b
(/ 1 (exp wj))
2.9b
(fma (- (/ (- (* wj (exp wj)) x) (+ 1 wj))) (/ 1 (exp wj)) (* (/ (- (* wj (exp wj)) x) (+ 1 wj)) (/ 1 (exp wj))))
4.4b
(fma 1 wj (- (* (/ (- (* wj (exp wj)) x) (+ 1 wj)) (/ 1 (exp wj)))))

rewrite39.0ms

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

series240.0ms

Counts
4 → 12
Calls
4 calls:
19.0ms
(/ 1 (exp wj))
10.0ms
(/ 1 (exp wj))
124.0ms
(fma (- (/ (- (* wj (exp wj)) x) (+ 1 wj))) (/ 1 (exp wj)) (* (/ (- (* wj (exp wj)) x) (+ 1 wj)) (/ 1 (exp wj))))
88.0ms
(fma 1 wj (- (* (/ (- (* wj (exp wj)) x) (+ 1 wj)) (/ 1 (exp wj)))))

simplify1.7s

Counts
108 → 108
Iterations
IterNodes
done5001
31141
2402
1192
0100

prune605.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

localize32.0ms

Local error

Found 4 expressions with local error:

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

rewrite481.0ms

Algorithm
rewrite-expression-head
Rules
198×pow1
116×*-un-lft-identity
104×add-sqr-sqrt
93×prod-diff
86×pow-prod-down
76×times-frac
69×add-cube-cbrt
57×add-cbrt-cube
40×add-exp-log
39×prod-exp cbrt-unprod
38×pow-prod-up
19×pow-plus
17×difference-of-squares
16×pow-sqr distribute-lft-out--
15×distribute-rgt-out distribute-rgt1-in
6×associate-/r/ add-log-exp
4×pow2 expm1-log1p-u insert-posit16 log1p-expm1-u
3×flip3-+ fma-neg flip-+ div-inv
2×associate-*r* associate-*l* pow3 *-commutative
1×cbrt-prod sub-neg flip3-- pow1/3 diff-log div-sub swap-sqr rem-cbrt-cube flip-- associate--r-
Counts
4 → 242
Calls
4 calls:
53.0ms
(* (* wj (exp wj)) (* wj (exp wj)))
199.0ms
(* (* (* wj (exp wj)) (* wj (exp wj))) (* wj (exp wj)))
39.0ms
(- wj (/ (- (cbrt (* (* (* wj (exp wj)) (* wj (exp wj))) (* wj (exp wj)))) x) (+ (exp wj) (* wj (exp wj)))))
185.0ms
(cbrt (* (* (* wj (exp wj)) (* wj (exp wj))) (* wj (exp wj))))

series337.0ms

Counts
4 → 12
Calls
4 calls:
43.0ms
(* (* wj (exp wj)) (* wj (exp wj)))
109.0ms
(* (* (* wj (exp wj)) (* wj (exp wj))) (* wj (exp wj)))
118.0ms
(- wj (/ (- (cbrt (* (* (* wj (exp wj)) (* wj (exp wj))) (* wj (exp wj)))) x) (+ (exp wj) (* wj (exp wj)))))
65.0ms
(cbrt (* (* (* wj (exp wj)) (* wj (exp wj))) (* wj (exp wj))))

simplify2.7s

Counts
254 → 254
Iterations
IterNodes
done5000
22962
1988
0393

prune1.1s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.1b

regimes74.0ms

Accuracy

0% (1.3b remaining)

Error of 2.2b against oracle of 0.8b and baseline of 2.2b

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done7
17
06

end0.0ms

sample6.1s

Algorithm
intervals
Results
4.9s7653×body10240exit
441.0ms6275×body80valid
194.0ms801×body320valid
182.0ms476×body640valid
64.0ms537×body160valid