Details

Time bar (total: 22.4s)

sample153.0ms

Algorithm
intervals
Results
105.0ms232×body10240exit
12.0ms207×body80valid
6.0ms19×body320valid
4.0ms16×body640valid
2.0ms15×body160valid

simplify5.1s

Counts
1 → 1
Iterations

Useful iterations: 5 (280.0ms)

IterNodesCost
0816
12115
25215
311115
420614
568612
6278912
done500112

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 11.6b

localize18.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ x (exp wj))
0.0b
(/ (- wj (/ x (exp wj))) (+ 1 wj))
4.8b
(- wj (/ (- wj (/ x (exp wj))) (+ 1 wj)))

rewrite206.0ms

Algorithm
rewrite-expression-head
Rules
177×add-sqr-sqrt
173×*-un-lft-identity
123×times-frac
90×prod-diff
87×add-cube-cbrt
36×difference-of-squares
25×distribute-lft-out
18×distribute-lft-out--
9×associate-/l*
8×associate-/r/
7×associate-/r* add-cbrt-cube
6×add-exp-log
5×div-inv add-log-exp
4×flip3-+ flip-+
3×pow1 expm1-log1p-u fma-neg log1p-expm1-u
2×cbrt-undiv flip3-- frac-2neg div-sub div-exp clear-num flip-- associate-/l/
1×sub-neg diff-log associate--r-
Counts
3 → 193
Calls
3 calls:
7.0ms
(/ x (exp wj))
53.0ms
(/ (- wj (/ x (exp wj))) (+ 1 wj))
134.0ms
(- wj (/ (- wj (/ x (exp wj))) (+ 1 wj)))

series164.0ms

Counts
3 → 9
Calls
3 calls:
39.0ms
(/ x (exp wj))
46.0ms
(/ (- wj (/ x (exp wj))) (+ 1 wj))
79.0ms
(- wj (/ (- wj (/ x (exp wj))) (+ 1 wj)))

simplify1.8s

Counts
202 → 202
Iterations

Useful iterations: done (1.8s)

IterNodesCost
03318699
18247901
222325818
done50014977

prune530.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.1b

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

prune15.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.1b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ x (exp wj))
0.0b
(/ wj (+ 1 wj))
0.0b
(/ (/ x (exp wj)) (+ 1 wj))
6.6b
(- wj (/ wj (+ 1 wj)))

rewrite108.0ms

Algorithm
rewrite-expression-head
Rules
169×*-un-lft-identity
155×times-frac
118×add-sqr-sqrt
113×add-cube-cbrt
54×prod-diff
27×distribute-lft-out
19×associate-/l*
13×add-cbrt-cube
11×add-exp-log associate-/r* div-inv
10×associate-/r/
6×add-log-exp
5×cbrt-undiv flip3-+ div-exp flip-+
4×pow1 expm1-log1p-u log1p-expm1-u
3×frac-2neg fma-neg clear-num
2×difference-of-squares
1×sub-neg flip3-- diff-log flip-- associate-/l/ distribute-lft-out--
Counts
4 → 226
Calls
4 calls:
7.0ms
(/ x (exp wj))
15.0ms
(/ wj (+ 1 wj))
41.0ms
(/ (/ x (exp wj)) (+ 1 wj))
31.0ms
(- wj (/ wj (+ 1 wj)))

series199.0ms

Counts
4 → 12
Calls
4 calls:
45.0ms
(/ x (exp wj))
23.0ms
(/ wj (+ 1 wj))
84.0ms
(/ (/ x (exp wj)) (+ 1 wj))
46.0ms
(- wj (/ wj (+ 1 wj)))

simplify2.9s

Counts
238 → 238
Iterations

Useful iterations: done (2.9s)

IterNodesCost
03705110
18624525
221753611
done50013145

prune749.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize34.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (- (fma wj wj (pow wj 4)) (pow wj 3)) (/ (/ x (exp wj)) (+ 1 wj)))
0.0b
(/ x (exp wj))
0.0b
(- (fma wj wj (pow wj 4)) (pow wj 3))
0.0b
(/ (/ x (exp wj)) (+ 1 wj))

rewrite331.0ms

Algorithm
rewrite-expression-head
Rules
142×*-un-lft-identity
119×add-sqr-sqrt
106×times-frac
105×add-cube-cbrt
72×prod-diff
39×associate-+l+
20×unpow-prod-down cube-prod
16×distribute-lft-out associate-/l*
11×add-cbrt-cube add-log-exp
9×add-exp-log
8×fma-def difference-of-squares sqr-pow
7×associate-/r* div-inv
6×cube-mult unpow3
4×pow1 cbrt-undiv expm1-log1p-u div-exp log1p-expm1-u
3×fma-neg distribute-lft-out--
2×sub-neg flip3-- frac-2neg flip3-+ diff-log frac-add associate--l+ clear-num sum-log associate-/r/ flip-- flip-+ fma-udef
1×+-commutative associate-+l- associate-/l/
Counts
4 → 242
Calls
4 calls:
219.0ms
(+ (- (fma wj wj (pow wj 4)) (pow wj 3)) (/ (/ x (exp wj)) (+ 1 wj)))
13.0ms
(/ x (exp wj))
25.0ms
(- (fma wj wj (pow wj 4)) (pow wj 3))
53.0ms
(/ (/ x (exp wj)) (+ 1 wj))

series231.0ms

Counts
4 → 12
Calls
4 calls:
92.0ms
(+ (- (fma wj wj (pow wj 4)) (pow wj 3)) (/ (/ x (exp wj)) (+ 1 wj)))
42.0ms
(/ x (exp wj))
32.0ms
(- (fma wj wj (pow wj 4)) (pow wj 3))
65.0ms
(/ (/ x (exp wj)) (+ 1 wj))

simplify2.4s

Counts
254 → 254
Iterations

Useful iterations: done (2.4s)

IterNodesCost
03435428
18054306
223153811
done50013337

prune1.2s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

regimes88.0ms

Accuracy

0% (1.1b remaining)

Error of 1.1b against oracle of 0.1b and baseline of 1.1b

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
01621
12019
done2019

end0.0ms

sample6.2s

Algorithm
intervals
Results
4.5s7577×body10240exit
795.0ms6323×body80valid
133.0ms747×body320valid
124.0ms482×body640valid
57.0ms513×body160valid