Details

Time bar (total: 17.8s)

sample162.0ms

Algorithm
intervals
Results
88.0ms233×body10240exit
37.0ms199×body80valid
5.0ms25×body320valid
5.0ms16×body640valid
2.0ms16×body160valid

simplify556.0ms

Counts
1 → 1
Iterations

Useful iterations: done (555.0ms)

IterNodesCost
0816
12015
24815
310915
439815
done500014

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 13.2b

localize12.0ms

Local error

Found 3 expressions with local error:

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

rewrite241.0ms

Algorithm
rewrite-expression-head
Rules
118×add-sqr-sqrt
99×times-frac
94×*-un-lft-identity
32×difference-of-squares
28×add-cube-cbrt
14×associate-/l*
12×distribute-lft-out
11×distribute-lft-out--
7×associate-/r* add-cbrt-cube
6×add-exp-log
5×add-log-exp
3×pow1 associate-/l/
2×cbrt-undiv flip3-- frac-2neg div-sub div-exp clear-num associate-/r/ flip-- div-inv
1×sub-neg flip3-+ diff-log frac-sub flip-+ associate--r-
Counts
3 → 120
Calls
3 calls:
7.0ms
(/ x (exp wj))
106.0ms
(/ (- (/ wj 1) (/ x (exp wj))) (+ 1 wj))
121.0ms
(- wj (/ (- (/ wj 1) (/ x (exp wj))) (+ 1 wj)))

series169.0ms

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

simplify1.4s

Counts
129 → 129
Iterations

Useful iterations: 2 (581.0ms)

IterNodesCost
02212443
15392027
221591968
done50011968

prune448.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.7b

localize14.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ x (pow wj 2))
0.0b
(* 2 (* wj x))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1 add-exp-log add-cbrt-cube
5×*-un-lft-identity
4×add-log-exp
3×add-sqr-sqrt add-cube-cbrt associate-*l* pow-prod-down prod-exp cbrt-unprod
1×+-commutative flip3-+ associate-*r* sum-log *-commutative flip-+ distribute-lft-out
Counts
2 → 30
Calls
2 calls:
9.0ms
(+ x (pow wj 2))
17.0ms
(* 2 (* wj x))

series76.0ms

Counts
2 → 6
Calls
2 calls:
43.0ms
(+ x (pow wj 2))
33.0ms
(* 2 (* wj x))

simplify3.9s

Counts
36 → 36
Iterations

Useful iterations: 3 (1.6s)

IterNodesCost
057283
1153259
2650231
34779227
done5000227

prune110.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.7b

localize15.0ms

Local error

Found 3 expressions with local error:

0.0b
(* x (exp (- wj)))
0.0b
(/ (- (/ wj 1) (* x (exp (- wj)))) (+ 1 wj))
4.6b
(- wj (/ (- (/ wj 1) (* x (exp (- wj)))) (+ 1 wj)))

rewrite177.0ms

Algorithm
rewrite-expression-head
Rules
24×*-un-lft-identity
21×add-sqr-sqrt
14×add-cube-cbrt
13×times-frac
7×add-cbrt-cube
6×add-exp-log
5×pow1 associate-/l/ add-log-exp
4×exp-neg associate-*r/ associate-/r* distribute-lft-out
3×associate-*r* associate-*l* frac-sub associate-/l*
2×neg-sub0 flip3-- exp-diff div-sub associate-/r/ un-div-inv flip-- difference-of-squares
1×cbrt-undiv sub-neg frac-2neg flip3-+ diff-log div-exp pow-prod-down prod-exp clear-num *-commutative cbrt-unprod flip-+ div-inv distribute-lft-out-- associate--r- unswap-sqr
Counts
3 → 76
Calls
3 calls:
34.0ms
(* x (exp (- wj)))
78.0ms
(/ (- (/ wj 1) (* x (exp (- wj)))) (+ 1 wj))
63.0ms
(- wj (/ (- (/ wj 1) (* x (exp (- wj)))) (+ 1 wj)))

series185.0ms

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

simplify1.1s

Counts
85 → 85
Iterations

Useful iterations: done (1.1s)

IterNodesCost
01551460
14141218
217371149
done50001058

prune252.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.7b

localize21.0ms

Local error

Found 4 expressions with local error:

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

rewrite306.0ms

Algorithm
rewrite-expression-head
Rules
86×add-sqr-sqrt
81×*-un-lft-identity
67×times-frac
36×add-cube-cbrt
30×associate-*l*
18×difference-of-squares
14×distribute-lft-out
13×add-cbrt-cube
12×add-exp-log
9×associate-/l* distribute-lft-out--
7×associate-/r*
6×pow1 add-log-exp
4×flip3-+ associate-*r* associate-/r/ flip-+
3×cbrt-undiv div-exp div-inv
2×distribute-rgt-in frac-times flip3-- frac-2neg distribute-lft-in associate-*r/ prod-exp clear-num flip-- cbrt-unprod associate-/l/ associate--r+ unswap-sqr
1×sub-neg diff-log div-sub pow-prod-down associate-*l/ *-commutative
Counts
4 → 148
Calls
4 calls:
59.0ms
(/ (- wj (/ x (exp wj))) (+ 1 (pow wj 3)))
12.0ms
(/ x (exp wj))
221.0ms
(* (/ (- wj (/ x (exp wj))) (+ 1 (pow wj 3))) (+ (* 1 1) (- (* wj wj) (* 1 wj))))
8.0ms
(- wj (* (/ (- wj (/ x (exp wj))) (+ 1 (pow wj 3))) (+ (* 1 1) (- (* wj wj) (* 1 wj)))))

series448.0ms

Counts
4 → 12
Calls
4 calls:
113.0ms
(/ (- wj (/ x (exp wj))) (+ 1 (pow wj 3)))
45.0ms
(/ x (exp wj))
106.0ms
(* (/ (- wj (/ x (exp wj))) (+ 1 (pow wj 3))) (+ (* 1 1) (- (* wj wj) (* 1 wj))))
184.0ms
(- wj (* (/ (- wj (/ x (exp wj))) (+ 1 (pow wj 3))) (+ (* 1 1) (- (* wj wj) (* 1 wj)))))

simplify534.0ms

Counts
160 → 160
Iterations

Useful iterations: done (528.0ms)

IterNodesCost
02543709
18723200
done50003013

prune759.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.3b

regimes103.0ms

Accuracy

76.6% (1.5b remaining)

Error of 1.7b against oracle of 0.1b and baseline of 6.8b

bsearch166.0ms

Steps
ItersRangePoint
2
6.205729864933019e-116
7.411251010167034e-116
7.260560867012782e-116
8
-2.4842819353754496e-105
-9.775311289176668e-110
-2.4345905033653947e-105

simplify16.0ms

Iterations

Useful iterations: 1 (9.0ms)

IterNodesCost
03291
14355
24655
done4655

end0.0ms

sample6.5s

Algorithm
intervals
Results
4.5s7548×body10240exit
932.0ms6296×body80valid
210.0ms453×body640valid
189.0ms803×body320valid
95.0ms522×body160valid