Details

Time bar (total: 24.7s)

sample154.0ms

Algorithm
intervals
Results
112.0ms269×body10240exit
12.0ms210×body80valid
4.0ms20×body320valid
3.0ms10×body640valid
3.0ms21×body160valid

simplify5.7s

Counts
1 → 1
Iterations

Useful iterations: 5 (352.0ms)

IterNodesCost
0816
12115
25215
311115
420614
568612
6278912
done500112

prune6.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 11.5b

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite199.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:
75.0ms
(/ (- wj (/ x (exp wj))) (+ 1 wj))
7.0ms
(/ x (exp wj))
98.0ms
(- wj (/ (- wj (/ x (exp wj))) (+ 1 wj)))

series156.0ms

Counts
3 → 9
Calls
3 calls:
56.0ms
(/ (- wj (/ x (exp wj))) (+ 1 wj))
30.0ms
(/ x (exp wj))
69.0ms
(- wj (/ (- wj (/ x (exp wj))) (+ 1 wj)))

simplify2.1s

Counts
202 → 202
Iterations

Useful iterations: done (2.1s)

IterNodesCost
03318699
18247901
222325818
done50014977

prune514.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.4b

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

prune10.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.4b

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (- wj (/ (/ x (sqrt (exp wj))) (sqrt (exp wj)))) (+ 1 wj))
0.0b
(/ x (sqrt (exp wj)))
0.0b
(/ (/ x (sqrt (exp wj))) (sqrt (exp wj)))
5.4b
(- wj (/ (- wj (/ (/ x (sqrt (exp wj))) (sqrt (exp wj)))) (+ 1 wj)))

rewrite755.0ms

Algorithm
rewrite-expression-head
Rules
685×add-sqr-sqrt
623×times-frac
398×*-un-lft-identity
272×add-cube-cbrt
229×sqrt-prod
150×prod-diff
121×difference-of-squares
45×distribute-lft-out
36×associate-/l*
18×distribute-lft-out--
16×associate-/r*
13×add-exp-log add-cbrt-cube div-inv
8×associate-/r/
6×add-log-exp
5×cbrt-undiv div-exp
4×pow1 expm1-log1p-u flip3-+ flip-+ log1p-expm1-u
3×frac-2neg fma-neg clear-num associate-/l/
2×flip3-- div-sub flip--
1×sub-neg diff-log associate--r-
Counts
4 → 467
Calls
4 calls:
339.0ms
(/ (- wj (/ (/ x (sqrt (exp wj))) (sqrt (exp wj)))) (+ 1 wj))
15.0ms
(/ x (sqrt (exp wj)))
25.0ms
(/ (/ x (sqrt (exp wj))) (sqrt (exp wj)))
320.0ms
(- wj (/ (- wj (/ (/ x (sqrt (exp wj))) (sqrt (exp wj)))) (+ 1 wj)))

series238.0ms

Counts
4 → 12
Calls
4 calls:
53.0ms
(/ (- wj (/ (/ x (sqrt (exp wj))) (sqrt (exp wj)))) (+ 1 wj))
55.0ms
(/ x (sqrt (exp wj)))
32.0ms
(/ (/ x (sqrt (exp wj))) (sqrt (exp wj)))
97.0ms
(- wj (/ (- wj (/ (/ x (sqrt (exp wj))) (sqrt (exp wj)))) (+ 1 wj)))

simplify3.1s

Counts
479 → 479
Iterations

Useful iterations: done (3.1s)

IterNodesCost
056424065
1135719939
2337814557
done500113944

prune1.1s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.4b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (- wj (/ x (exp wj))) (fma (- wj) wj 1))
0.0b
(/ x (exp wj))
0.0b
(/ x (exp wj))
5.4b
(fma (- wj 1) (/ (- wj (/ x (exp wj))) (fma (- wj) wj 1)) wj)

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
51×add-sqr-sqrt
40×times-frac
39×*-un-lft-identity
31×add-cube-cbrt
12×associate-/l*
10×add-cbrt-cube
9×associate-/r*
8×add-exp-log difference-of-squares
4×pow1 expm1-log1p-u log1p-expm1-u distribute-lft-out-- add-log-exp
3×cbrt-undiv frac-2neg div-exp clear-num div-inv
2×associate-/l/
1×flip3-- div-sub flip-- fma-udef
Counts
4 → 112
Calls
4 calls:
53.0ms
(/ (- wj (/ x (exp wj))) (fma (- wj) wj 1))
7.0ms
(/ x (exp wj))
13.0ms
(/ x (exp wj))
0.0ms
(fma (- wj 1) (/ (- wj (/ x (exp wj))) (fma (- wj) wj 1)) wj)

series269.0ms

Counts
4 → 12
Calls
4 calls:
113.0ms
(/ (- wj (/ x (exp wj))) (fma (- wj) wj 1))
49.0ms
(/ x (exp wj))
38.0ms
(/ x (exp wj))
69.0ms
(fma (- wj 1) (/ (- wj (/ x (exp wj))) (fma (- wj) wj 1)) wj)

simplify2.6s

Counts
124 → 124
Iterations

Useful iterations: done (2.6s)

IterNodesCost
01671751
13551710
28611592
321541586
done50001584

prune748.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.4b

regimes72.0ms

Accuracy

62.3% (0.7b remaining)

Error of 1.0b against oracle of 0.3b and baseline of 2.2b

bsearch57.0ms

Steps
ItersRangePoint
6
1.2374180015220204e-09
1.8107251634373757e-08
8.133938014656618e-09

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01830
12230
done2230

end0.0ms

sample6.7s

Algorithm
intervals
Results
5.2s7481×body10240exit
653.0ms6291×body80valid
193.0ms786×body320valid
138.0ms468×body640valid
66.0ms534×body160valid