Details

Time bar (total: 33.5s)

sample206.0ms

Algorithm
intervals
Results
154.0ms227×body10240exit
20.0ms215×body80valid
6.0ms18×body320valid
4.0ms11×body640valid
3.0ms14×body160valid

simplify529.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
528.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 10.7b

localize39.0ms

Local error

Found 4 expressions with local error:

4.0b
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))
0.7b
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
0.0b
(+ (exp wj) (* wj (exp wj)))
0.0b
(* wj (exp wj))

rewrite117.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:
Slowest
57.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))
35.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
15.0ms
(* wj (exp wj))
8.0ms
(+ (exp wj) (* wj (exp wj)))

series237.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
76.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))
68.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
50.0ms
(* wj (exp wj))
43.0ms
(+ (exp wj) (* wj (exp wj)))

simplify5.9s

Counts
77 → 103
Calls
77 calls:
Slowest
529.0ms
(/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj))))
430.0ms
(- (sqrt wj) (sqrt (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))))
395.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
371.0ms
(+ (sqrt wj) (sqrt (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))))
339.0ms
(- (pow (* wj (exp wj)) 3) (pow x 3))

prune838.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.3b

localize10.0ms

Local error

Found 2 expressions with local error:

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

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt
4×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt add-log-exp
3×associate-*r* associate-*l*
2×flip3-+ associate-*l/ flip-+ insert-posit16
1×+-commutative sum-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
2 → 33
Calls
2 calls:
Slowest
24.0ms
(* (+ wj (* -2 x)) wj)
8.0ms
(+ x (* (+ wj (* -2 x)) wj))

series117.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
61.0ms
(* (+ wj (* -2 x)) wj)
56.0ms
(+ x (* (+ wj (* -2 x)) wj))

simplify1.3s

Counts
18 → 39
Calls
18 calls:
Slowest
358.0ms
(* (exp x) (exp (* (+ wj (* -2 x)) wj)))
170.0ms
(* (+ (pow wj 3) (pow (* -2 x) 3)) wj)
135.0ms
(* (* (* (+ wj (* -2 x)) (+ wj (* -2 x))) (+ wj (* -2 x))) (* (* wj wj) wj))
103.0ms
(* (- (* wj wj) (* (* -2 x) (* -2 x))) wj)
96.0ms
(- (+ x (pow wj 2)) (* 2 (* x wj)))

prune397.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.3b

localize20.0ms

Local error

Found 4 expressions with local error:

13.0b
(cbrt (* (+ wj (* -2 x)) wj))
13.0b
(cbrt (* (+ wj (* -2 x)) wj))
13.0b
(cbrt (* (+ wj (* -2 x)) wj))
0.5b
(* (cbrt (* (+ wj (* -2 x)) wj)) (cbrt (* (+ wj (* -2 x)) wj)))

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
20×associate-*l/
18×cbrt-div
11×pow1
10×add-sqr-sqrt
9×flip3-+ pow1/3 flip-+
8×*-un-lft-identity add-cube-cbrt
7×cbrt-prod
6×add-exp-log
4×frac-times add-cbrt-cube swap-sqr associate-*r* associate-*l* insert-posit16 add-log-exp
2×pow-prod-down associate-*r/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 76
Calls
4 calls:
Slowest
38.0ms
(* (cbrt (* (+ wj (* -2 x)) wj)) (cbrt (* (+ wj (* -2 x)) wj)))
9.0ms
(cbrt (* (+ wj (* -2 x)) wj))
7.0ms
(cbrt (* (+ wj (* -2 x)) wj))
5.0ms
(cbrt (* (+ wj (* -2 x)) wj))

series1.5s

Counts
4 → 12
Calls
4 calls:
Slowest
410.0ms
(cbrt (* (+ wj (* -2 x)) wj))
364.0ms
(cbrt (* (+ wj (* -2 x)) wj))
348.0ms
(* (cbrt (* (+ wj (* -2 x)) wj)) (cbrt (* (+ wj (* -2 x)) wj)))
340.0ms
(cbrt (* (+ wj (* -2 x)) wj))

simplify6.7s

Counts
63 → 88
Calls
63 calls:
Slowest
420.0ms
(* (cbrt (* (- (* wj wj) (* (* -2 x) (* -2 x))) wj)) (cbrt (* (+ wj (* -2 x)) wj)))
327.0ms
(* (cbrt (* (- (* wj wj) (* (* -2 x) (* -2 x))) wj)) (cbrt (* (+ (pow wj 3) (pow (* -2 x) 3)) wj)))
327.0ms
(exp (* 1/3 (+ (* 2 (log wj)) (+ (log 4) (* 2 (log x))))))
287.0ms
(* (cbrt (* (+ (pow wj 3) (pow (* -2 x) 3)) wj)) (cbrt (* (- (* wj wj) (* (* -2 x) (* -2 x))) wj)))
280.0ms
(* (cbrt -1) (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 wj)))))))

prune1.0s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0.3b

localize65.0ms

Local error

Found 4 expressions with local error:

13.0b
(cbrt (* (+ wj (* -2 x)) wj))
13.0b
(cbrt (* (+ wj (* -2 x)) wj))
13.0b
(cbrt (* (+ wj (* -2 x)) wj))
13.0b
(cbrt (* (+ wj (* -2 x)) wj))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
8×cbrt-div associate-*l/
4×cbrt-prod add-sqr-sqrt pow1 *-un-lft-identity flip3-+ add-cbrt-cube pow1/3 add-exp-log add-cube-cbrt flip-+ insert-posit16 add-log-exp
Counts
4 → 48
Calls
4 calls:
Slowest
5.0ms
(cbrt (* (+ wj (* -2 x)) wj))
4.0ms
(cbrt (* (+ wj (* -2 x)) wj))
4.0ms
(cbrt (* (+ wj (* -2 x)) wj))
4.0ms
(cbrt (* (+ wj (* -2 x)) wj))

series1.6s

Counts
4 → 12
Calls
4 calls:
Slowest
418.0ms
(cbrt (* (+ wj (* -2 x)) wj))
389.0ms
(cbrt (* (+ wj (* -2 x)) wj))
384.0ms
(cbrt (* (+ wj (* -2 x)) wj))
369.0ms
(cbrt (* (+ wj (* -2 x)) wj))

simplify3.4s

Counts
24 → 60
Calls
24 calls:
Slowest
317.0ms
(* (cbrt -1) (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 wj)))))))
276.0ms
(* (cbrt -1) (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 wj)))))))
259.0ms
(* (cbrt -1) (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 wj)))))))
255.0ms
(cbrt (* (+ (pow wj 3) (pow (* -2 x) 3)) wj))
225.0ms
(exp (* 1/3 (+ (log wj) (+ (log -2) (log x)))))

prune936.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0.3b

regimes299.0ms

Accuracy

72.7% (0.4b remaining)

Error of 0.8b against oracle of 0.3b and baseline of 2.0b

bsearch13.0ms

end0.0ms

sample8.3s

Algorithm
intervals
Results
6.2s7723×body10240exit
1.2s6349×body80valid
211.0ms776×body320valid
183.0ms441×body640valid
116.0ms514×body160valid