Details

Time bar (total: 1.3m)

sample236.0ms

Algorithm
intervals
Results
184.0ms230×body10240exit
18.0ms204×body80valid
7.0ms23×body320valid
5.0ms14×body640valid
4.0ms22×body160valid

simplify173.0ms

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

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite77.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
31.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
29.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))
9.0ms
(* wj (exp wj))
7.0ms
(+ (exp wj) (* wj (exp wj)))

series228.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
93.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))
50.0ms
(+ (exp wj) (* wj (exp wj)))
46.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
39.0ms
(* wj (exp wj))

simplify17.0s

Counts
125 → 103
Calls
125 calls:
Slowest
636.0ms
(/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj))))
598.0ms
(log (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))
551.0ms
(+ wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))
549.0ms
(sqrt (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))
544.0ms
(exp (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

prune1.0s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

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))

simplify3.7s

Counts
16 → 15
Calls
16 calls:
Slowest
703.0ms
(exp (+ x (* (+ wj (* -2 x)) wj)))
630.0ms
(+ (* x x) (- (* (* (+ wj (* -2 x)) wj) (* (+ wj (* -2 x)) wj)) (* x (* (+ wj (* -2 x)) wj))))
544.0ms
(+ (pow x 3) (pow (* (+ wj (* -2 x)) wj) 3))
403.0ms
(- (* x x) (* (* (+ wj (* -2 x)) wj) (* (+ wj (* -2 x)) wj)))
371.0ms
(* (exp x) (exp (* (+ wj (* -2 x)) wj)))

prune167.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.1b

localize33.0ms

Local error

Found 3 expressions with local error:

5.2b
(- wj (/ (- wj (/ x (exp wj))) (+ 1 wj)))
0.0b
(/ (- wj (/ x (exp wj))) (+ 1 wj))
0.0b
(/ x (exp wj))

rewrite102.0ms

Algorithm
rewrite-expression-head
Rules
53×add-sqr-sqrt
49×*-un-lft-identity
39×times-frac
23×add-cube-cbrt
12×difference-of-squares
9×associate-/l*
7×associate-/r* add-cbrt-cube distribute-lft-out
6×add-exp-log distribute-lft-out--
5×add-log-exp
3×pow1 insert-posit16
2×cbrt-undiv clear-num frac-2neg flip3-- div-sub div-exp associate-/r/ div-inv flip-- associate-/l/
1×sub-neg flip3-+ diff-log flip-+ associate--r-
Counts
3 → 97
Calls
3 calls:
Slowest
52.0ms
(- wj (/ (- wj (/ x (exp wj))) (+ 1 wj)))
40.0ms
(/ (- wj (/ x (exp wj))) (+ 1 wj))
7.0ms
(/ x (exp wj))

series163.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
69.0ms
(/ (- wj (/ x (exp wj))) (+ 1 wj))
57.0ms
(- wj (/ (- wj (/ x (exp wj))) (+ 1 wj)))
38.0ms
(/ x (exp wj))

simplify9.1s

Counts
146 → 106
Calls
146 calls:
Slowest
425.0ms
(/ (* (* x x) x) (* (* (exp wj) (exp wj)) (exp wj)))
419.0ms
(- (pow wj 3) (pow (/ (- wj (/ x (exp wj))) (+ 1 wj)) 3))
390.0ms
(/ (* (* (- wj (/ x (exp wj))) (- wj (/ x (exp wj)))) (- wj (/ x (exp wj)))) (* (* (+ 1 wj) (+ 1 wj)) (+ 1 wj)))
288.0ms
(/ (- wj (/ x (exp wj))) (+ (pow 1 3) (pow wj 3)))
285.0ms
(* (* (/ (- wj (/ x (exp wj))) (+ 1 wj)) (/ (- wj (/ x (exp wj))) (+ 1 wj))) (/ (- wj (/ x (exp wj))) (+ 1 wj)))

prune865.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize36.0ms

Local error

Found 4 expressions with local error:

5.2b
(- wj (* (/ (- wj (/ x (exp wj))) (- 1 (* wj wj))) (- 1 wj)))
0.0b
(* (/ (- wj (/ x (exp wj))) (- 1 (* wj wj))) (- 1 wj))
0.0b
(/ x (exp wj))
0.0b
(/ (- wj (/ x (exp wj))) (- 1 (* wj wj)))

rewrite126.0ms

Algorithm
rewrite-expression-head
Rules
114×add-sqr-sqrt
81×times-frac
76×*-un-lft-identity
50×difference-of-squares
38×add-cube-cbrt
36×associate-*l*
13×add-cbrt-cube
12×add-exp-log distribute-lft-out--
9×associate-/l*
8×associate-/r*
6×pow1 flip3-- associate-*r* flip-- add-log-exp
5×sub-neg
4×distribute-rgt-in distribute-lft-in associate-/r/ insert-posit16 associate--r+
3×cbrt-undiv div-exp div-inv
2×frac-times clear-num frac-2neg prod-exp associate-*r/ cbrt-unprod unswap-sqr associate-/l/
1×diff-log div-sub pow-prod-down associate-*l/ *-commutative
Counts
4 → 171
Calls
4 calls:
Slowest
70.0ms
(* (/ (- wj (/ x (exp wj))) (- 1 (* wj wj))) (- 1 wj))
41.0ms
(/ (- wj (/ x (exp wj))) (- 1 (* wj wj)))
5.0ms
(/ x (exp wj))
5.0ms
(- wj (* (/ (- wj (/ x (exp wj))) (- 1 (* wj wj))) (- 1 wj)))

series358.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
151.0ms
(- wj (* (/ (- wj (/ x (exp wj))) (- 1 (* wj wj))) (- 1 wj)))
100.0ms
(* (/ (- wj (/ x (exp wj))) (- 1 (* wj wj))) (- 1 wj))
63.0ms
(/ (- wj (/ x (exp wj))) (- 1 (* wj wj)))
44.0ms
(/ x (exp wj))

simplify36.1s

Counts
234 → 183
Calls
234 calls:
Slowest
695.0ms
(* (/ (- (sqrt wj) (sqrt (/ x (exp wj)))) (cbrt (- 1 (* wj wj)))) (- 1 wj))
611.0ms
(* (/ (sqrt (- wj (/ x (exp wj)))) (- (sqrt 1) wj)) (- 1 wj))
583.0ms
(* (/ (cbrt (- wj (/ x (exp wj)))) (- (sqrt 1) wj)) (- 1 wj))
500.0ms
(* (* (- wj (* (/ (- wj (/ x (exp wj))) (- 1 (* wj wj))) (- 1 wj))) (- wj (* (/ (- wj (/ x (exp wj))) (- 1 (* wj wj))) (- 1 wj)))) (- wj (* (/ (- wj (/ x (exp wj))) (- 1 (* wj wj))) (- 1 wj))))
489.0ms
(* (/ (sqrt (- wj (/ x (exp wj)))) (- 1 wj)) (- 1 wj))

prune1.8s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.1b

regimes103.0ms

Accuracy

0% (2.0b remaining)

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

bsearch1.0ms

end0.0ms

sample8.6s

Algorithm
intervals
Results
7.0s7688×body10240exit
682.0ms6238×body80valid
291.0ms826×body320valid
237.0ms492×body640valid
118.0ms519×body160valid