Details

Time bar (total: 48.6s)

sample237.0ms

Algorithm
intervals
Results
180.0ms265×body10240exit
19.0ms197×body80valid
8.0ms27×body320valid
7.0ms18×body640valid
4.0ms19×body160valid

simplify236.0ms

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

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 15.3b

localize39.0ms

Local error

Found 4 expressions with local error:

5.2b
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))
0.5b
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
0.0b
(* wj (exp wj))
0.0b
(* wj (exp wj))

rewrite124.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
24×*-un-lft-identity
18×add-cube-cbrt
16×times-frac
10×add-cbrt-cube
8×pow1 add-exp-log
6×associate-*r* associate-*l* add-log-exp
5×associate-/r*
4×distribute-rgt-out distribute-rgt1-in insert-posit16
3×associate-/l*
2×flip3-- div-sub pow-prod-down prod-exp associate-/r/ *-commutative cbrt-unprod flip-- difference-of-squares unswap-sqr associate-/l/
1×cbrt-undiv clear-num sub-neg frac-2neg flip3-+ diff-log div-exp flip-+ div-inv distribute-lft-out-- associate--r-
Counts
4 → 96
Calls
4 calls:
Slowest
57.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))
33.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
18.0ms
(* wj (exp wj))
15.0ms
(* wj (exp wj))

series213.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
87.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))
53.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
43.0ms
(* wj (exp wj))
29.0ms
(* wj (exp wj))

simplify15.7s

Counts
129 → 108
Calls
129 calls:
Slowest
524.0ms
(/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj))))
518.0ms
(- (sqrt wj) (sqrt (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))))
502.0ms
(exp (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))
500.0ms
(+ wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))
487.0ms
(real->posit16 (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

prune968.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.2b

localize11.0ms

Local error

Found 1 expressions with local error:

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

rewrite13.0ms

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

series68.0ms

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

simplify2.1s

Counts
24 → 24
Calls
24 calls:
Slowest
760.0ms
(* (* (* (+ wj (* -2 x)) wj) (* (+ wj (* -2 x)) wj)) (* (+ wj (* -2 x)) wj))
200.0ms
(* (+ (pow wj 3) (pow (* -2 x) 3)) wj)
182.0ms
(exp (* (+ wj (* -2 x)) wj))
160.0ms
(* (- (* wj wj) (* (* -2 x) (* -2 x))) wj)
117.0ms
(* (* (* (+ wj (* -2 x)) (+ wj (* -2 x))) (+ wj (* -2 x))) (* (* wj wj) wj))

prune175.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.2b

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite51.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
33.0ms
(* (cbrt (* (+ wj (* -2 x)) wj)) (cbrt (* (+ wj (* -2 x)) wj)))
7.0ms
(cbrt (* (+ wj (* -2 x)) wj))
5.0ms
(cbrt (* (+ wj (* -2 x)) wj))
5.0ms
(cbrt (* (+ wj (* -2 x)) wj))

series1.5s

Counts
4 → 12
Calls
4 calls:
Slowest
400.0ms
(cbrt (* (+ wj (* -2 x)) wj))
387.0ms
(* (cbrt (* (+ wj (* -2 x)) wj)) (cbrt (* (+ wj (* -2 x)) wj)))
374.0ms
(cbrt (* (+ wj (* -2 x)) wj))
356.0ms
(cbrt (* (+ wj (* -2 x)) wj))

simplify9.3s

Counts
101 → 88
Calls
101 calls:
Slowest
400.0ms
(* (cbrt (* (- (* wj wj) (* (* -2 x) (* -2 x))) wj)) (cbrt (* (+ wj (* -2 x)) wj)))
366.0ms
(* (cbrt (* (+ wj (* -2 x)) wj)) (cbrt (* (- (* wj wj) (* (* -2 x) (* -2 x))) wj)))
348.0ms
(exp (* 1/3 (+ (* 2 (log wj)) (+ (log 4) (* 2 (log x))))))
319.0ms
(* (cbrt (* (- (* wj wj) (* (* -2 x) (* -2 x))) wj)) (cbrt (* (+ (pow wj 3) (pow (* -2 x) 3)) wj)))
317.0ms
(* (cbrt (* (+ (pow wj 3) (pow (* -2 x) 3)) wj)) (cbrt (* (- (* wj wj) (* (* -2 x) (* -2 x))) wj)))

prune1.0s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.2b

localize79.0ms

Local error

Found 4 expressions with local error:

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

rewrite38.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
10.0ms
(cbrt (* (+ wj (* -2 x)) wj))
9.0ms
(cbrt (* (+ wj (* -2 x)) wj))
9.0ms
(cbrt (* (+ wj (* -2 x)) wj))
9.0ms
(cbrt (* (+ wj (* -2 x)) wj))

series1.6s

Counts
4 → 12
Calls
4 calls:
Slowest
416.0ms
(cbrt (* (+ wj (* -2 x)) wj))
382.0ms
(cbrt (* (+ wj (* -2 x)) wj))
381.0ms
(cbrt (* (+ wj (* -2 x)) wj))
372.0ms
(cbrt (* (+ wj (* -2 x)) wj))

simplify5.4s

Counts
68 → 60
Calls
68 calls:
Slowest
272.0ms
(* (cbrt -1) (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 wj)))))))
269.0ms
(* (cbrt -1) (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 wj)))))))
258.0ms
(* (cbrt -1) (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 wj)))))))
229.0ms
(* (cbrt -1) (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 wj)))))))
226.0ms
(cbrt (* (+ (pow wj 3) (pow (* -2 x) 3)) wj))

prune941.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.2b

regimes158.0ms

Accuracy

64.8% (0.6b remaining)

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

bsearch35.0ms

end0.0ms

sample8.6s

Algorithm
intervals
Results
6.9s7725×body10240exit
560.0ms6256×body80valid
323.0ms815×body320valid
260.0ms477×body640valid
147.0ms535×body160valid