Details

Time bar (total: 21.4s)

sample235.0ms

Algorithm
intervals
Results
156.0ms228×body10240exit
42.0ms207×body80valid
8.0ms27×body320valid
7.0ms14×body640valid
3.0ms14×body160valid

simplify3.2s

Counts
1 → 1
Iterations
IterNodes
done5511
63642
5775
4227
3109
248
120
08

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.6b

localize32.0ms

Local error

Found 4 expressions with local error:

0.0b
(* wj (exp wj))
0.0b
(+ (exp wj) (* wj (exp wj)))
0.5b
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
4.8b
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

rewrite120.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt *-un-lft-identity
16×times-frac add-cube-cbrt
8×add-cbrt-cube add-log-exp
7×add-exp-log
6×pow1
5×associate-/r* distribute-rgt-out distribute-rgt1-in
4×insert-posit16
3×associate-*r* associate-*l* associate-/l*
2×flip3-+ flip3-- div-sub associate-/r/ flip-+ flip-- difference-of-squares associate-/l/
1×cbrt-undiv +-commutative clear-num sum-log sub-neg frac-2neg diff-log div-exp pow-prod-down prod-exp *-commutative cbrt-unprod div-inv distribute-lft-out-- associate--r- unswap-sqr
Counts
4 → 91
Calls
4 calls:
19.0ms
(* wj (exp wj))
15.0ms
(+ (exp wj) (* wj (exp wj)))
33.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
51.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

series238.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(* wj (exp wj))
58.0ms
(+ (exp wj) (* wj (exp wj)))
53.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
80.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

simplify1.3s

Counts
103 → 103
Iterations
IterNodes
done5001
21306
1413
0167

prune475.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.4b

localize15.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ x (* wj wj))
0.0b
(- (+ x (* wj wj)) (* x (+ wj wj)))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
9×add-log-exp
5×flip3-+ flip-+
4×associate-*r/ frac-sub
2×add-sqr-sqrt pow1 sum-log *-un-lft-identity add-cbrt-cube diff-log add-exp-log add-cube-cbrt insert-posit16 associate--r+
1×distribute-rgt-in +-commutative sub-neg distribute-lft-in flip3-- associate--l+ flip--
Counts
2 → 33
Calls
2 calls:
9.0ms
(+ x (* wj wj))
26.0ms
(- (+ x (* wj wj)) (* x (+ wj wj)))

series85.0ms

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

simplify1.4s

Counts
39 → 39
Iterations
IterNodes
done5001
21067
1279
085

prune189.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.4b

localize48.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (exp wj) (* wj (exp wj)))
0.2b
(/ x (+ (exp wj) (* wj (exp wj))))
0.5b
(/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj))))
5.2b
(- wj (/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj)))))

rewrite109.0ms

Algorithm
rewrite-expression-head
Rules
25×*-un-lft-identity
20×times-frac
18×add-sqr-sqrt
16×add-cube-cbrt
11×add-cbrt-cube
10×associate-/r* add-exp-log
8×add-log-exp
7×distribute-rgt-out distribute-rgt1-in
4×pow1 associate-/r/ insert-posit16 associate-/l*
3×cbrt-undiv flip3-+ div-exp flip-+
2×clear-num frac-2neg div-inv
1×+-commutative sum-log sub-neg flip3-- diff-log prod-exp cbrt-unprod flip-- distribute-lft-out-- difference-of-squares
Counts
4 → 95
Calls
4 calls:
15.0ms
(+ (exp wj) (* wj (exp wj)))
25.0ms
(/ x (+ (exp wj) (* wj (exp wj))))
35.0ms
(/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj))))
32.0ms
(- wj (/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj)))))

series236.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(+ (exp wj) (* wj (exp wj)))
58.0ms
(/ x (+ (exp wj) (* wj (exp wj))))
64.0ms
(/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj))))
65.0ms
(- wj (/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj)))))

simplify1.4s

Counts
107 → 107
Iterations
IterNodes
done5007
21710
1447
0183

prune568.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.1b

localize40.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* (* wj wj) (* wj wj)) (* (* wj wj) wj))
0.1b
(* (* wj wj) wj)
0.1b
(* (* wj wj) (* wj wj))
0.2b
(/ x (+ (exp wj) (* wj (exp wj))))

rewrite122.0ms

Algorithm
rewrite-expression-head
Rules
134×pow1
42×pow-prod-up
26×pow-prod-down
24×pow-plus pow-sqr
23×add-cbrt-cube add-exp-log
19×*-un-lft-identity
16×add-sqr-sqrt
15×pow2 times-frac add-cube-cbrt
11×prod-exp cbrt-unprod
6×add-log-exp
5×associate-/r*
4×distribute-rgt-out associate-*r* distribute-rgt1-in insert-posit16
3×associate-/l*
2×associate-*l* associate-/r/ *-commutative unswap-sqr
1×cbrt-undiv clear-num sub-neg frac-2neg flip3-+ flip3-- diff-log swap-sqr div-exp pow3 flip-+ div-inv flip-- distribute-lft-out--
Counts
4 → 145
Calls
4 calls:
44.0ms
(- (* (* wj wj) (* wj wj)) (* (* wj wj) wj))
14.0ms
(* (* wj wj) wj)
40.0ms
(* (* wj wj) (* wj wj))
20.0ms
(/ x (+ (exp wj) (* wj (exp wj))))

series312.0ms

Counts
4 → 12
Calls
4 calls:
128.0ms
(- (* (* wj wj) (* wj wj)) (* (* wj wj) wj))
54.0ms
(* (* wj wj) wj)
62.0ms
(* (* wj wj) (* wj wj))
68.0ms
(/ x (+ (exp wj) (* wj (exp wj))))

simplify1.8s

Counts
157 → 157
Iterations
IterNodes
done5001
21795
1449
0176

prune404.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.1b

regimes70.0ms

Accuracy

66.5% (0.3b remaining)

Error of 0.4b against oracle of 0.0b and baseline of 1.1b

bsearch101.0ms

Steps
ItersRangePoint
9
8.874871730790149e-20
2.784564170770455e-12
2.7403440668061758e-12

simplify7.0ms

Iterations
IterNodes
done40
140
027

end0.0ms

sample8.8s

Algorithm
intervals
Results
7.2s7643×body10240exit
596.0ms6334×body80valid
295.0ms778×body320valid
184.0ms450×body640valid
128.0ms527×body160valid