Details

Time bar (total: 23.9s)

sample197.0ms

Algorithm
intervals
Results
130.0ms232×body10240exit
24.0ms15×body640valid
17.0ms206×body80valid
6.0ms27×body320valid
2.0ms13×body160valid

simplify4.6s

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

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.7b

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

rewrite125.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:
9.0ms
(+ (exp wj) (* wj (exp wj)))
17.0ms
(* wj (exp wj))
21.0ms
(* wj (exp wj))
76.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

series177.0ms

Counts
4 → 12
Calls
4 calls:
41.0ms
(+ (exp wj) (* wj (exp wj)))
40.0ms
(* wj (exp wj))
34.0ms
(* wj (exp wj))
61.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

simplify2.4s

Counts
158 → 158
Iterations
IterNodes
done5000
22189
1748
0290

prune986.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

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

prune12.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

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

rewrite17.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:
9.0ms
(/ 1 (exp wj))
6.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))))
0.0ms
(fma 1 wj (- (* (/ (- (* wj (exp wj)) x) (+ 1 wj)) (/ 1 (exp wj)))))

series221.0ms

Counts
4 → 12
Calls
4 calls:
9.0ms
(/ 1 (exp wj))
8.0ms
(/ 1 (exp wj))
132.0ms
(fma (- (/ (- (* wj (exp wj)) x) (+ 1 wj))) (/ 1 (exp wj)) (* (/ (- (* wj (exp wj)) x) (+ 1 wj)) (/ 1 (exp wj))))
72.0ms
(fma 1 wj (- (* (/ (- (* wj (exp wj)) x) (+ 1 wj)) (/ 1 (exp wj)))))

simplify1.9s

Counts
108 → 108
Iterations
IterNodes
done5001
31141
2402
1192
0100

prune656.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

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

rewrite554.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:
54.0ms
(* (* wj (exp wj)) (* wj (exp wj)))
221.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)))))
228.0ms
(cbrt (* (* (* wj (exp wj)) (* wj (exp wj))) (* wj (exp wj))))

series354.0ms

Counts
4 → 12
Calls
4 calls:
75.0ms
(* (* wj (exp wj)) (* wj (exp wj)))
105.0ms
(* (* (* wj (exp wj)) (* wj (exp wj))) (* wj (exp wj)))
103.0ms
(- wj (/ (- (cbrt (* (* (* wj (exp wj)) (* wj (exp wj))) (* wj (exp wj)))) x) (+ (exp wj) (* wj (exp wj)))))
70.0ms
(cbrt (* (* (* wj (exp wj)) (* wj (exp wj))) (* wj (exp wj))))

simplify2.2s

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

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

sample8.2s

Algorithm
intervals
Results
5.8s7653×body10240exit
1.1s6275×body80valid
520.0ms537×body160valid
310.0ms801×body320valid
195.0ms476×body640valid