Details

Time bar (total: 44.9s)

sample202.0ms

Algorithm
intervals
Results
153.0ms250×body10240exit
19.0ms203×body80valid
7.0ms29×body320valid
6.0ms13×body640valid
2.0ms13×body160valid

simplify213.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
213.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: 13.9b

localize31.0ms

Local error

Found 4 expressions with local error:

3.4b
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))
1.2b
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
0.0b
(+ (exp wj) (* wj (exp wj)))
0.0b
(* wj (exp wj))

rewrite112.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
43.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
33.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))
18.0ms
(* wj (exp wj))
15.0ms
(+ (exp wj) (* wj (exp wj)))

series226.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
84.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))
54.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
47.0ms
(+ (exp wj) (* wj (exp wj)))
41.0ms
(* wj (exp wj))

simplify6.8s

Counts
77 → 103
Calls
77 calls:
Slowest
593.0ms
(/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj))))
482.0ms
(+ (sqrt wj) (sqrt (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))))
443.0ms
(* (* (* wj wj) wj) (* (* (exp wj) (exp wj)) (exp wj)))
439.0ms
(- (sqrt wj) (sqrt (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))))
411.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))

prune991.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.3b

localize22.0ms

Local error

Found 1 expressions with local error:

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

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
3×add-log-exp
1×add-sqr-sqrt pow1 +-commutative sum-log *-un-lft-identity flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+ insert-posit16
Counts
1 → 12
Calls
1 calls:
Slowest
11.0ms
(+ x (* (+ wj (* -2 x)) wj))

series57.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
57.0ms
(+ x (* (+ wj (* -2 x)) wj))

simplify751.0ms

Counts
4 → 15
Calls
4 calls:
Slowest
336.0ms
(* (exp x) (exp (* (+ wj (* -2 x)) wj)))
146.0ms
(- (+ x (pow wj 2)) (* 2 (* x wj)))
145.0ms
(- (+ x (pow wj 2)) (* 2 (* x wj)))
123.0ms
(- (+ (pow wj 2) x) (* 2 (* x wj)))

prune165.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.2b

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite35.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 insert-posit16 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 → 91
Calls
4 calls:
Slowest
26.0ms
(* (cbrt (+ x (* (+ wj (* -2 x)) wj))) (cbrt (+ x (* (+ wj (* -2 x)) wj))))
2.0ms
(cbrt (+ x (* (+ wj (* -2 x)) wj)))
2.0ms
(cbrt (+ x (* (+ wj (* -2 x)) wj)))
2.0ms
(cbrt (+ x (* (+ wj (* -2 x)) wj)))

series1.7s

Counts
4 → 12
Calls
4 calls:
Slowest
452.0ms
(* (cbrt (+ x (* (+ wj (* -2 x)) wj))) (cbrt (+ x (* (+ wj (* -2 x)) wj))))
422.0ms
(cbrt (+ x (* (+ wj (* -2 x)) wj)))
421.0ms
(cbrt (+ x (* (+ wj (* -2 x)) wj)))
397.0ms
(cbrt (+ x (* (+ wj (* -2 x)) wj)))

simplify14.1s

Counts
83 → 103
Calls
83 calls:
Slowest
850.0ms
(- (exp (* 1/3 (- (log -2) (+ (log (/ -1 x)) (log (/ -1 wj)))))) (+ (* 1/18 (/ (exp (* 1/3 (- (log -2) (+ (log (/ -1 x)) (log (/ -1 wj)))))) x)) (* 1/6 (/ (exp (* 1/3 (- (log -2) (+ (log (/ -1 x)) (log (/ -1 wj)))))) wj))))
662.0ms
(* (cbrt (+ (* x x) (- (* (* (+ wj (* -2 x)) wj) (* (+ wj (* -2 x)) wj)) (* x (* (+ wj (* -2 x)) wj))))) (cbrt (+ (* x x) (- (* (* (+ wj (* -2 x)) wj) (* (+ wj (* -2 x)) wj)) (* x (* (+ wj (* -2 x)) wj))))))
595.0ms
(cbrt (+ (* x x) (- (* (* (+ wj (* -2 x)) wj) (* (+ wj (* -2 x)) wj)) (* x (* (+ wj (* -2 x)) wj)))))
550.0ms
(* (cbrt (+ (pow x 3) (pow (* (+ wj (* -2 x)) wj) 3))) (cbrt (+ x (* (+ wj (* -2 x)) wj))))
517.0ms
(* (cbrt (+ (pow x 3) (pow (* (+ wj (* -2 x)) wj) 3))) (cbrt (+ (pow x 3) (pow (* (+ wj (* -2 x)) wj) 3))))

prune914.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.2b

localize49.0ms

Local error

Found 4 expressions with local error:

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

rewrite18.0ms

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

series1.8s

Counts
4 → 12
Calls
4 calls:
Slowest
463.0ms
(cbrt (+ x (* (+ wj (* -2 x)) wj)))
458.0ms
(cbrt (+ x (* (+ wj (* -2 x)) wj)))
450.0ms
(cbrt (+ x (* (+ wj (* -2 x)) wj)))
396.0ms
(cbrt (+ x (* (+ wj (* -2 x)) wj)))

simplify6.5s

Counts
32 → 68
Calls
32 calls:
Slowest
482.0ms
(cbrt (- (* x x) (* (* (+ wj (* -2 x)) wj) (* (+ wj (* -2 x)) wj))))
466.0ms
(cbrt (+ (pow x 3) (pow (* (+ wj (* -2 x)) wj) 3)))
464.0ms
(cbrt (+ (pow x 3) (pow (* (+ wj (* -2 x)) wj) 3)))
449.0ms
(cbrt (- (* x x) (* (* (+ wj (* -2 x)) wj) (* (+ wj (* -2 x)) wj))))
448.0ms
(cbrt (+ (pow x 3) (pow (* (+ wj (* -2 x)) wj) 3)))

prune744.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.2b

regimes210.0ms

Accuracy

96.5% (0.1b remaining)

Error of 0.3b against oracle of 0.3b and baseline of 2.2b

bsearch126.0ms

end0.0ms

sample9.1s

Algorithm
intervals
Results
7.3s7767×body10240exit
754.0ms6303×body80valid
230.0ms796×body320valid
229.0ms457×body640valid
171.0ms521×body160valid