Details

Time bar (total: 31.8s)

sample187.0ms

Algorithm
intervals
Results
143.0ms249×body10240exit
15.0ms203×body80valid
6.0ms16×body640valid
5.0ms23×body320valid
2.0ms15×body160valid

simplify3.6s

Counts
1 → 1
Iterations
IterNodes
63938
5680
4177
396
246
120
08

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.5b

localize34.0ms

Local error

Found 4 expressions with local error:

0.0b
(* wj (exp wj))
0.0b
(+ (exp wj) (* wj (exp wj)))
1.0b
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
4.5b
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

rewrite135.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
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 → 87
Calls
4 calls:
15.0ms
(* wj (exp wj))
14.0ms
(+ (exp wj) (* wj (exp wj)))
53.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
51.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

series276.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(* wj (exp wj))
67.0ms
(+ (exp wj) (* wj (exp wj)))
73.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
88.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

simplify1.6s

Counts
99 → 99
Iterations
IterNodes
34342
21125
1394
0163

prune794.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.3b

localize14.0ms

Local error

Found 2 expressions with local error:

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

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
9×add-log-exp
2×add-sqr-sqrt pow1 associate-+r+ sum-log sub-neg *-un-lft-identity add-cbrt-cube diff-log add-exp-log add-cube-cbrt associate--r+
1×distribute-rgt-in +-commutative associate-+r- distribute-lft-in flip3-+ flip3-- flip-+ flip--
Counts
2 → 29
Calls
2 calls:
10.0ms
(+ (* wj wj) (- x (* x (+ wj wj))))
4.0ms
(- x (* x (+ wj wj)))

series100.0ms

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

simplify1.2s

Counts
35 → 35
Iterations
IterNodes
33256
2627
1175
061

prune253.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.3b

localize34.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (+ (* wj wj) (- x (* x (+ wj wj))))) (cbrt (+ (* wj wj) (- x (* x (+ wj wj))))))
0.6b
(cbrt (+ (* wj wj) (- x (* x (+ wj wj)))))
0.6b
(cbrt (+ (* wj wj) (- x (* x (+ wj wj)))))
0.6b
(cbrt (+ (* wj wj) (- x (* x (+ wj wj)))))

rewrite137.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
18×cbrt-div
15×*-un-lft-identity add-cube-cbrt
11×pow1
9×flip3-+ pow1/3 flip-+
6×swap-sqr associate-*r* associate-*l* add-exp-log
4×frac-times add-cbrt-cube add-log-exp unswap-sqr
2×pow-prod-down associate-*l/ associate-*r/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 87
Calls
4 calls:
92.0ms
(* (cbrt (+ (* wj wj) (- x (* x (+ wj wj))))) (cbrt (+ (* wj wj) (- x (* x (+ wj wj))))))
15.0ms
(cbrt (+ (* wj wj) (- x (* x (+ wj wj)))))
14.0ms
(cbrt (+ (* wj wj) (- x (* x (+ wj wj)))))
14.0ms
(cbrt (+ (* wj wj) (- x (* x (+ wj wj)))))

series908.0ms

Counts
4 → 12
Calls
4 calls:
225.0ms
(* (cbrt (+ (* wj wj) (- x (* x (+ wj wj))))) (cbrt (+ (* wj wj) (- x (* x (+ wj wj))))))
229.0ms
(cbrt (+ (* wj wj) (- x (* x (+ wj wj)))))
226.0ms
(cbrt (+ (* wj wj) (- x (* x (+ wj wj)))))
227.0ms
(cbrt (+ (* wj wj) (- x (* x (+ wj wj)))))

simplify652.0ms

Counts
99 → 99
Iterations
IterNodes
32131
2676
1251
0106

prune892.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.3b

localize36.0ms

Local error

Found 4 expressions with local error:

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

rewrite132.0ms

Algorithm
rewrite-expression-head
Rules
117×times-frac
100×*-un-lft-identity
77×add-sqr-sqrt
66×add-cube-cbrt
21×associate-/l*
16×distribute-lft-out
13×add-cbrt-cube
10×add-exp-log associate-/r/
7×associate-/r*
6×pow1 div-inv add-log-exp
5×flip3-+ div-sub flip-+
4×cbrt-undiv div-exp
3×associate-*r* associate-*l* difference-of-squares associate-/l/
2×clear-num frac-2neg flip3-- flip--
1×sub-neg diff-log pow-prod-down prod-exp *-commutative cbrt-unprod distribute-lft-out-- associate--r- unswap-sqr
Counts
4 → 162
Calls
4 calls:
12.0ms
(* wj (exp wj))
47.0ms
(/ (- (* wj (exp wj)) x) (+ wj 1))
46.0ms
(/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj))
25.0ms
(- wj (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)))

series181.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(* wj (exp wj))
46.0ms
(/ (- (* wj (exp wj)) x) (+ wj 1))
44.0ms
(/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj))
54.0ms
(- wj (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)))

simplify9.7s

Counts
174 → 174
Iterations
IterNodes
36822
21929
1653
0263

prune1.5s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.3b

regimes133.0ms

Accuracy

35.4% (1.1b remaining)

Error of 1.6b against oracle of 0.5b and baseline of 2.2b

bsearch77.0ms

Steps
ItersRangePoint
10
-0.005936836396315717
-1.8413813923692078e-16
-8.775235746042734e-09

simplify4.0ms

Iterations
IterNodes
226
126
021

end0.0ms

sample9.1s

Algorithm
intervals
Results
7.4s7696×body10240exit
673.0ms6318×body80valid
293.0ms495×body640valid
267.0ms752×body320valid
105.0ms524×body160valid