Details

Time bar (total: 19.4s)

sample147.0ms

Algorithm
intervals
Results
82.0ms204×body10240exit
32.0ms205×body80valid
5.0ms26×body320valid
4.0ms15×body640valid
2.0ms12×body160valid

simplify622.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
08272
121272
252272
3115272
4419272
done5000272

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.6b

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(* wj (exp wj))
0.0b
(+ (exp wj) (* wj (exp wj)))
0.3b
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
4.0b
(- 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 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 → 164
Calls
4 calls:
9.0ms
(* wj (exp wj))
8.0ms
(+ (exp wj) (* wj (exp wj)))
31.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
67.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

series220.0ms

Counts
4 → 12
Calls
4 calls:
51.0ms
(* wj (exp wj))
39.0ms
(+ (exp wj) (* wj (exp wj)))
66.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
64.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

simplify3.0s

Counts
176 → 176
Iterations

Useful iterations: done (3.0s)

IterNodesCost
0317102111
185294409
2375187158
done500087088

prune983.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.2b

localize9.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
done00

prune25.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.2b

localize96.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt wj)
0.6b
(cbrt wj)
3.7b
(fma (- (/ (- (* wj (exp wj)) x) (+ 1 wj))) (/ 1 (exp wj)) (* (/ (- (* wj (exp wj)) x) (+ 1 wj)) (/ 1 (exp wj))))
12.3b
(fma (* (cbrt wj) (cbrt wj)) (cbrt wj) (- (* (/ (- (* wj (exp wj)) x) (+ 1 wj)) (/ 1 (exp wj)))))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
6×cbrt-prod add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log log1p-expm1-u add-log-exp
2×pow1/3 fma-udef
Counts
4 → 46
Calls
4 calls:
1.0ms
(cbrt wj)
1.0ms
(cbrt 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 (* (cbrt wj) (cbrt wj)) (cbrt wj) (- (* (/ (- (* wj (exp wj)) x) (+ 1 wj)) (/ 1 (exp wj)))))

series891.0ms

Counts
4 → 12
Calls
4 calls:
287.0ms
(cbrt wj)
284.0ms
(cbrt wj)
158.0ms
(fma (- (/ (- (* wj (exp wj)) x) (+ 1 wj))) (/ 1 (exp wj)) (* (/ (- (* wj (exp wj)) x) (+ 1 wj)) (/ 1 (exp wj))))
162.0ms
(fma (* (cbrt wj) (cbrt wj)) (cbrt wj) (- (* (/ (- (* wj (exp wj)) x) (+ 1 wj)) (/ 1 (exp wj)))))

simplify1.5s

Counts
58 → 58
Iterations

Useful iterations: done (1.5s)

IterNodesCost
06717376
112616350
234815242
3156712962
done500110059

prune472.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.2b

localize43.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma (* wj wj) 3/2 (fma wj 2 1))
0.0b
(* wj (exp wj))
0.0b
(/ (- (* wj (exp wj)) x) (fma (* wj wj) 3/2 (fma wj 2 1)))
4.0b
(- wj (/ (- (* wj (exp wj)) x) (fma (* wj wj) 3/2 (fma wj 2 1))))

rewrite83.0ms

Algorithm
rewrite-expression-head
Rules
56×add-sqr-sqrt
51×*-un-lft-identity
49×add-cube-cbrt
39×prod-diff
37×times-frac
8×add-cbrt-cube
7×add-exp-log
6×pow1 add-log-exp
4×expm1-log1p-u log1p-expm1-u div-inv
3×associate-/r* fma-neg associate-*r* associate-*l* associate-/l*
2×flip3-- div-sub flip-- difference-of-squares associate-/l/
1×cbrt-undiv clear-num sub-neg frac-2neg diff-log div-exp pow-prod-down prod-exp *-commutative cbrt-unprod fma-udef distribute-lft-out-- associate--r- unswap-sqr
Counts
4 → 122
Calls
4 calls:
0.0ms
(fma (* wj wj) 3/2 (fma wj 2 1))
9.0ms
(* wj (exp wj))
27.0ms
(/ (- (* wj (exp wj)) x) (fma (* wj wj) 3/2 (fma wj 2 1)))
43.0ms
(- wj (/ (- (* wj (exp wj)) x) (fma (* wj wj) 3/2 (fma wj 2 1))))

series275.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(fma (* wj wj) 3/2 (fma wj 2 1))
57.0ms
(* wj (exp wj))
76.0ms
(/ (- (* wj (exp wj)) x) (fma (* wj wj) 3/2 (fma wj 2 1)))
109.0ms
(- wj (/ (- (* wj (exp wj)) x) (fma (* wj wj) 3/2 (fma wj 2 1))))

simplify3.5s

Counts
134 → 134
Iterations

Useful iterations: done (3.5s)

IterNodesCost
024186435
162480589
2271674811
done500163960

prune807.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.2b

regimes198.0ms

Accuracy

0% (1.8b remaining)

Error of 2.3b against oracle of 0.5b and baseline of 2.3b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06153
17153
done7153

end0.0ms

sample6.4s

Algorithm
intervals
Results
4.7s7837×body10240exit
551.0ms476×body640valid
468.0ms6310×body80valid
135.0ms754×body320valid
60.0ms521×body160valid