Details

Time bar (total: 31.0s)

sample141.0ms

Algorithm
intervals
Results
101.0ms259×body10240exit
9.0ms202×body80valid
3.0ms14×body640valid
3.0ms19×body320valid
2.0ms23×body160valid

simplify5.4s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
08272
120272
248272
3102272
4188272
5796272
63633272
done5143272

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.6b

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b
(* wj (exp wj))
0.0b
(+ (exp wj) (* wj (exp wj)))
0.3b
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
5.3b
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

rewrite144.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:
9.0ms
(* wj (exp wj))
8.0ms
(+ (exp wj) (* wj (exp wj)))
51.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
73.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

series244.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(* wj (exp wj))
51.0ms
(+ (exp wj) (* wj (exp wj)))
67.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
95.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

simplify1.6s

Counts
99 → 99
Iterations

Useful iterations: done (1.6s)

IterNodesCost
016332989
141030426
2129430205
done500230067

prune628.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.6b

localize11.0ms

Local error

Found 2 expressions with local error:

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

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
9×add-log-exp
5×flip3-+ flip-+
4×associate-*l/ frac-sub
2×add-sqr-sqrt pow1 sum-log *-un-lft-identity add-cbrt-cube diff-log add-exp-log add-cube-cbrt
1×+-commutative sub-neg flip3-- associate--l+ flip--
Counts
2 → 29
Calls
2 calls:
49.0ms
(- (+ x (* wj wj)) (* (+ wj wj) x))
6.0ms
(+ x (* wj wj))

series85.0ms

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

simplify1.7s

Counts
35 → 35
Iterations

Useful iterations: 2 (359.0ms)

IterNodesCost
08013025
12659815
29928132
done50008132

prune193.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.5b

localize36.0ms

Local error

Found 4 expressions with local error:

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

rewrite238.0ms

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

series1.7s

Counts
4 → 12
Calls
4 calls:
489.0ms
(* (cbrt (- (+ x (* wj wj)) (* (+ wj wj) x))) (cbrt (- (+ x (* wj wj)) (* (+ wj wj) x))))
410.0ms
(cbrt (- (+ x (* wj wj)) (* (+ wj wj) x)))
440.0ms
(cbrt (- (+ x (* wj wj)) (* (+ wj wj) x)))
407.0ms
(cbrt (- (+ x (* wj wj)) (* (+ wj wj) x)))

simplify3.0s

Counts
151 → 151
Iterations

Useful iterations: done (3.0s)

IterNodesCost
0253137934
1535110230
2139986226
done500066475

prune902.0ms

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 0.5b

localize51.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- (+ x (* wj wj)) (* (+ wj wj) x)))
0.6b
(cbrt (- (+ x (* wj wj)) (* (+ wj wj) x)))
0.6b
(cbrt (- (+ x (* wj wj)) (* (+ wj wj) x)))
4.8b
(exp (log (* (cbrt (- (+ x (* wj wj)) (* (+ wj wj) x))) (cbrt (- (+ x (* wj wj)) (* (+ wj wj) x))))))

rewrite205.0ms

Algorithm
rewrite-expression-head
Rules
102×cbrt-div
74×associate-*l/
68×flip3-+ frac-sub flip-+
48×log-div exp-diff
36×frac-times
17×flip3-- flip--
12×pow1 exp-prod
9×cbrt-prod pow1/3 log-pow
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×associate-*r/
4×add-cbrt-cube add-exp-log add-log-exp
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 log-prod pow-plus exp-sum rem-exp-log
Counts
4 → 120
Calls
4 calls:
13.0ms
(cbrt (- (+ x (* wj wj)) (* (+ wj wj) x)))
13.0ms
(cbrt (- (+ x (* wj wj)) (* (+ wj wj) x)))
12.0ms
(cbrt (- (+ x (* wj wj)) (* (+ wj wj) x)))
155.0ms
(exp (log (* (cbrt (- (+ x (* wj wj)) (* (+ wj wj) x))) (cbrt (- (+ x (* wj wj)) (* (+ wj wj) x))))))

series1.7s

Counts
4 → 12
Calls
4 calls:
428.0ms
(cbrt (- (+ x (* wj wj)) (* (+ wj wj) x)))
387.0ms
(cbrt (- (+ x (* wj wj)) (* (+ wj wj) x)))
474.0ms
(cbrt (- (+ x (* wj wj)) (* (+ wj wj) x)))
451.0ms
(exp (log (* (cbrt (- (+ x (* wj wj)) (* (+ wj wj) x))) (cbrt (- (+ x (* wj wj)) (* (+ wj wj) x))))))

simplify5.6s

Counts
132 → 132
Iterations

Useful iterations: done (5.5s)

IterNodesCost
0431145989
1815103425
2161477809
done500158790

prune784.0ms

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 0.5b

regimes385.0ms

Accuracy

42.4% (1.0b remaining)

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

bsearch2.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
021764
128764
done28764

end0.0ms

sample6.0s

Algorithm
intervals
Results
4.9s7626×body10240exit
356.0ms6294×body80valid
126.0ms771×body320valid
121.0ms448×body640valid
102.0ms561×body160valid