Details

Time bar (total: 13.5s)

sample65.0ms

Algorithm
intervals
Results
40.0ms231×body10240exit
6.0ms201×body80valid
3.0ms30×body320valid
2.0ms14×body640valid
1.0ms13×body160valid

simplify3.1s

Counts
1 → 1
Iterations

Useful iterations: 5 (148.0ms)

IterNodesCost
0816
12015
24815
310515
419014
562112
6258512
done500112

prune6.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 13.0b

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite104.0ms

Algorithm
rewrite-expression-head
Rules
53×add-sqr-sqrt
49×*-un-lft-identity
39×times-frac
23×add-cube-cbrt
12×difference-of-squares
9×associate-/l*
7×associate-/r* add-cbrt-cube distribute-lft-out
6×add-exp-log distribute-lft-out--
5×add-log-exp
3×pow1
2×cbrt-undiv flip3-- frac-2neg div-sub div-exp clear-num associate-/r/ flip-- div-inv associate-/l/
1×sub-neg flip3-+ diff-log flip-+ associate--r-
Counts
3 → 94
Calls
3 calls:
6.0ms
(/ x (exp wj))
42.0ms
(/ (- wj (/ x (exp wj))) (+ wj 1))
52.0ms
(- wj (/ (- wj (/ x (exp wj))) (+ wj 1)))

series118.0ms

Counts
3 → 9
Calls
3 calls:
28.0ms
(/ x (exp wj))
43.0ms
(/ (- wj (/ x (exp wj))) (+ wj 1))
47.0ms
(- wj (/ (- wj (/ x (exp wj))) (+ wj 1)))

simplify1.3s

Counts
103 → 103
Iterations

Useful iterations: 3 (630.0ms)

IterNodesCost
01741576
14091496
29601436
322661431
done50011431

prune228.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.2b

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

prune9.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.2b

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(cbrt (+ wj 1))
0.0b
(* (cbrt (+ wj 1)) (cbrt (+ wj 1)))
0.3b
(* (/ (sqrt (- wj (/ x (exp wj)))) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (sqrt (- wj (/ x (exp wj)))) (cbrt (+ wj 1))))
5.8b
(- wj (* (/ (sqrt (- wj (/ x (exp wj)))) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (sqrt (- wj (/ x (exp wj)))) (cbrt (+ wj 1)))))

rewrite252.0ms

Algorithm
rewrite-expression-head
Rules
139×add-sqr-sqrt
102×times-frac
99×*-un-lft-identity
76×associate-*r*
70×cbrt-prod
59×sqrt-prod
49×add-cube-cbrt
28×cbrt-div associate-*l*
27×add-exp-log
19×unswap-sqr
18×add-cbrt-cube
16×distribute-lft-out difference-of-squares
14×flip3-+ flip-+
13×pow1
10×associate-/r/
9×frac-times swap-sqr prod-exp cbrt-unprod
8×distribute-lft-out--
7×cbrt-undiv pow1/3 div-exp
6×add-log-exp
5×associate-*r/ associate-*l/
3×pow-prod-down
2×pow-sqr *-commutative pow-prod-up div-inv
1×pow2 sub-neg flip3-- pow-plus diff-log flip--
Counts
4 → 208
Calls
4 calls:
4.0ms
(cbrt (+ wj 1))
37.0ms
(* (cbrt (+ wj 1)) (cbrt (+ wj 1)))
195.0ms
(* (/ (sqrt (- wj (/ x (exp wj)))) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (sqrt (- wj (/ x (exp wj)))) (cbrt (+ wj 1))))
5.0ms
(- wj (* (/ (sqrt (- wj (/ x (exp wj)))) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (sqrt (- wj (/ x (exp wj)))) (cbrt (+ wj 1)))))

series166.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(cbrt (+ wj 1))
35.0ms
(* (cbrt (+ wj 1)) (cbrt (+ wj 1)))
40.0ms
(* (/ (sqrt (- wj (/ x (exp wj)))) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (sqrt (- wj (/ x (exp wj)))) (cbrt (+ wj 1))))
53.0ms
(- wj (* (/ (sqrt (- wj (/ x (exp wj)))) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (sqrt (- wj (/ x (exp wj)))) (cbrt (+ wj 1)))))

simplify1.4s

Counts
220 → 220
Iterations

Useful iterations: done (1.4s)

IterNodesCost
03386472
19045510
232034931
done50004546

prune540.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.2b

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b
(pow (/ (- wj (/ x (exp wj))) (+ wj 1)) 3)
0.0b
(+ (* (+ (/ (- wj (/ x (exp wj))) (+ wj 1)) wj) (/ (- wj (/ x (exp wj))) (+ wj 1))) (* wj wj))
2.3b
(- (pow wj 3) (pow (/ (- wj (/ x (exp wj))) (+ wj 1)) 3))
29.1b
(/ (- (pow wj 3) (pow (/ (- wj (/ x (exp wj))) (+ wj 1)) 3)) (+ (* (+ (/ (- wj (/ x (exp wj))) (+ wj 1)) wj) (/ (- wj (/ x (exp wj))) (+ wj 1))) (* wj wj)))

rewrite872.0ms

Algorithm
rewrite-expression-head
Rules
335×add-sqr-sqrt
195×times-frac
155×*-un-lft-identity
136×difference-of-squares
120×unpow-prod-down cube-prod
65×add-cube-cbrt
51×sqr-pow
33×associate-/l* distribute-lft-out--
12×distribute-lft-out
9×add-exp-log add-cbrt-cube
8×add-log-exp
6×associate-/r/
5×pow1 difference-cubes
4×flip3-+ flip-+
3×pow-unpow associate-/r* div-inv
2×cbrt-undiv flip3-- div-exp pow-exp flip-- associate-/l/ rem-cube-cbrt
1×+-commutative cube-div cube-mult pow-to-exp sub-neg pow-pow frac-2neg diff-log unpow3 div-sub clear-num sum-log
Counts
4 → 285
Calls
4 calls:
34.0ms
(pow (/ (- wj (/ x (exp wj))) (+ wj 1)) 3)
118.0ms
(+ (* (+ (/ (- wj (/ x (exp wj))) (+ wj 1)) wj) (/ (- wj (/ x (exp wj))) (+ wj 1))) (* wj wj))
135.0ms
(- (pow wj 3) (pow (/ (- wj (/ x (exp wj))) (+ wj 1)) 3))
568.0ms
(/ (- (pow wj 3) (pow (/ (- wj (/ x (exp wj))) (+ wj 1)) 3)) (+ (* (+ (/ (- wj (/ x (exp wj))) (+ wj 1)) wj) (/ (- wj (/ x (exp wj))) (+ wj 1))) (* wj wj)))

series835.0ms

Counts
4 → 12
Calls
4 calls:
82.0ms
(pow (/ (- wj (/ x (exp wj))) (+ wj 1)) 3)
155.0ms
(+ (* (+ (/ (- wj (/ x (exp wj))) (+ wj 1)) wj) (/ (- wj (/ x (exp wj))) (+ wj 1))) (* wj wj))
289.0ms
(- (pow wj 3) (pow (/ (- wj (/ x (exp wj))) (+ wj 1)) 3))
308.0ms
(/ (- (pow wj 3) (pow (/ (- wj (/ x (exp wj))) (+ wj 1)) 3)) (+ (* (+ (/ (- wj (/ x (exp wj))) (+ wj 1)) wj) (/ (- wj (/ x (exp wj))) (+ wj 1))) (* wj wj)))

simplify1.7s

Counts
297 → 297
Iterations

Useful iterations: done (1.7s)

IterNodesCost
037515926
1107415404
2371914956
done500114948

prune679.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.2b

regimes51.0ms

Accuracy

0% (1.8b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
079
1109
done109

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.3s7557×body10240exit
184.0ms6418×body80valid
67.0ms788×body320valid
55.0ms407×body640valid
27.0ms485×body160valid