Details

Time bar (total: 46.2s)

sample198.0ms

Algorithm
intervals
Results
123.0ms232×body10240exit
24.0ms211×body80valid
6.0ms15×body640valid
5.0ms20×body320valid
2.0ms13×body160valid

simplify9.6s

Counts
1 → 1
Iterations
IterNodes
done5143
63633
5796
4188
3102
248
120
08

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 11.2b

localize103.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.2b
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

rewrite343.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:
49.0ms
(* wj (exp wj))
20.0ms
(+ (exp wj) (* wj (exp wj)))
136.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
130.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

series367.0ms

Counts
4 → 12
Calls
4 calls:
47.0ms
(* wj (exp wj))
82.0ms
(+ (exp wj) (* wj (exp wj)))
99.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
138.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

simplify3.3s

Counts
103 → 103
Iterations
IterNodes
done5005
21297
1417
0167

prune1.2s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.5b

localize57.0ms

Local error

Found 2 expressions with local error:

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

rewrite175.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 insert-posit16
1×+-commutative sub-neg flip3-- associate--l+ flip--
Counts
2 → 31
Calls
2 calls:
25.0ms
(+ (* wj wj) x)
148.0ms
(- (+ (* wj wj) x) (* (+ wj wj) x))

series86.0ms

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

simplify2.7s

Counts
37 → 37
Iterations
IterNodes
done5001
21000
1266
082

prune460.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.5b

localize147.0ms

Local error

Found 4 expressions with local error:

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

rewrite853.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 insert-posit16 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 → 143
Calls
4 calls:
541.0ms
(* (cbrt (- (+ (* wj wj) x) (* (+ wj wj) x))) (cbrt (- (+ (* wj wj) x) (* (+ wj wj) x))))
100.0ms
(cbrt (- (+ (* wj wj) x) (* (+ wj wj) x)))
104.0ms
(cbrt (- (+ (* wj wj) x) (* (+ wj wj) x)))
77.0ms
(cbrt (- (+ (* wj wj) x) (* (+ wj wj) x)))

series1.6s

Counts
4 → 12
Calls
4 calls:
411.0ms
(* (cbrt (- (+ (* wj wj) x) (* (+ wj wj) x))) (cbrt (- (+ (* wj wj) x) (* (+ wj wj) x))))
403.0ms
(cbrt (- (+ (* wj wj) x) (* (+ wj wj) x)))
408.0ms
(cbrt (- (+ (* wj wj) x) (* (+ wj wj) x)))
372.0ms
(cbrt (- (+ (* wj wj) x) (* (+ wj wj) x)))

simplify3.6s

Counts
155 → 155
Iterations
IterNodes
done5001
21252
1466
0221

prune1.7s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.5b

localize417.0ms

Local error

Found 4 expressions with local error:

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

rewrite340.0ms

Algorithm
rewrite-expression-head
Rules
24×cbrt-div
16×flip3-+ associate-*l/ frac-sub flip-+
12×cbrt-prod
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 flip3-- add-cbrt-cube pow1/3 add-exp-log insert-posit16 flip-- add-log-exp
Counts
4 → 72
Calls
4 calls:
76.0ms
(cbrt (- (+ (* wj wj) x) (* (+ wj wj) x)))
79.0ms
(cbrt (- (+ (* wj wj) x) (* (+ wj wj) x)))
75.0ms
(cbrt (- (+ (* wj wj) x) (* (+ wj wj) x)))
101.0ms
(cbrt (- (+ (* wj wj) x) (* (+ wj wj) x)))

series1.5s

Counts
4 → 12
Calls
4 calls:
339.0ms
(cbrt (- (+ (* wj wj) x) (* (+ wj wj) x)))
380.0ms
(cbrt (- (+ (* wj wj) x) (* (+ wj wj) x)))
379.0ms
(cbrt (- (+ (* wj wj) x) (* (+ wj wj) x)))
359.0ms
(cbrt (- (+ (* wj wj) x) (* (+ wj wj) x)))

simplify8.0s

Counts
84 → 84
Iterations
IterNodes
done5000
33753
2830
1260
095

prune1.3s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.5b

regimes433.0ms

Accuracy

0% (1.5b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done9
19
07

end0.0ms

sample7.8s

Algorithm
intervals
Results
5.7s7611×body10240exit
1.0s6355×body80valid
278.0ms743×body320valid
191.0ms446×body640valid
95.0ms544×body160valid