Details

Time bar (total: 21.5s)

sample150.0ms

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

simplify5.0s

Counts
1 → 1
Iterations

Useful iterations: 5 (328.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)))

rewrite179.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))
64.0ms
(/ (- wj (/ x (exp wj))) (+ 1 wj))
96.0ms
(- wj (/ (- wj (/ x (exp wj))) (+ 1 wj)))

series168.0ms

Counts
3 → 9
Calls
3 calls:
40.0ms
(/ x (exp wj))
52.0ms
(/ (- wj (/ x (exp wj))) (+ 1 wj))
76.0ms
(- wj (/ (- wj (/ x (exp wj))) (+ 1 wj)))

simplify1.9s

Counts
202 → 202
Iterations

Useful iterations: done (1.8s)

IterNodesCost
03318699
18247901
222325818
done50014977

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

prune11.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.1b

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

rewrite124.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:
12.0ms
(/ x (exp wj))
21.0ms
(/ wj (+ 1 wj))
28.0ms
(/ (/ x (exp wj)) (+ 1 wj))
48.0ms
(- wj (/ wj (+ 1 wj)))

series165.0ms

Counts
4 → 12
Calls
4 calls:
43.0ms
(/ x (exp wj))
29.0ms
(/ wj (+ 1 wj))
61.0ms
(/ (/ x (exp wj)) (+ 1 wj))
31.0ms
(- wj (/ wj (+ 1 wj)))

simplify2.0s

Counts
238 → 238
Iterations

Useful iterations: done (2.0s)

IterNodesCost
03705110
18624525
221753611
done50013145

prune657.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

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

rewrite258.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:
166.0ms
(+ (- (fma wj wj (pow wj 4)) (pow wj 3)) (/ (/ x (exp wj)) (+ 1 wj)))
12.0ms
(/ x (exp wj))
23.0ms
(- (fma wj wj (pow wj 4)) (pow wj 3))
46.0ms
(/ (/ x (exp wj)) (+ 1 wj))

series221.0ms

Counts
4 → 12
Calls
4 calls:
88.0ms
(+ (- (fma wj wj (pow wj 4)) (pow wj 3)) (/ (/ x (exp wj)) (+ 1 wj)))
31.0ms
(/ x (exp wj))
40.0ms
(- (fma wj wj (pow wj 4)) (pow wj 3))
62.0ms
(/ (/ x (exp wj)) (+ 1 wj))

simplify2.4s

Counts
254 → 254
Iterations

Useful iterations: done (2.4s)

IterNodesCost
03435428
18054306
223153811
done50013337

prune1.5s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

regimes98.0ms

Accuracy

0% (1.1b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
01521
12019
done2019

end0.0ms

sample6.1s

Algorithm
intervals
Results
4.7s7577×body10240exit
384.0ms6323×body80valid
149.0ms482×body640valid
130.0ms747×body320valid
60.0ms513×body160valid