Details

Time bar (total: 1.3m)

sample197.0ms

Algorithm
intervals
Results
131.0ms227×body10240exit
23.0ms11×body640valid
18.0ms211×body80valid
6.0ms21×body320valid
3.0ms16×body160valid

simplify228.0ms

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

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.1b

localize19.0ms

Local error

Found 4 expressions with local error:

4.7b
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))
0.8b
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
0.0b
(+ (exp wj) (* wj (exp wj)))
0.0b
(* wj (exp wj))

rewrite131.0ms

Algorithm
rewrite-expression-head
Rules
82×*-un-lft-identity
73×add-sqr-sqrt
66×add-cube-cbrt
63×prod-diff
61×times-frac
14×distribute-rgt-out distribute-rgt1-in
8×add-cbrt-cube associate-/r/ add-log-exp
7×add-exp-log
6×pow1
5×associate-/r* flip3-+ flip-+
4×expm1-log1p-u insert-posit16 log1p-expm1-u div-inv
3×fma-def fma-neg associate-*r* associate-*l* associate-/l*
2×flip3-- div-sub 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 distribute-lft-out-- associate--r- unswap-sqr
Counts
4 → 168
Calls
4 calls:
Slowest
52.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))
41.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
18.0ms
(* wj (exp wj))
16.0ms
(+ (exp wj) (* wj (exp wj)))

series259.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
86.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))
66.0ms
(+ (exp wj) (* wj (exp wj)))
54.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
52.0ms
(* wj (exp wj))

simplify36.6s

Counts
207 → 180
Calls
207 calls:
Slowest
573.0ms
(fma (- (/ (- (* wj (exp wj)) x) (+ 1 wj))) (/ 1 (exp wj)) (* (/ (- (* wj (exp wj)) x) (+ 1 wj)) (/ 1 (exp wj))))
554.0ms
(fma (- (/ (sqrt (- (* wj (exp wj)) x)) (exp wj))) (/ (sqrt (- (* wj (exp wj)) x)) (+ wj 1)) (* (/ (sqrt (- (* wj (exp wj)) x)) (exp wj)) (/ (sqrt (- (* wj (exp wj)) x)) (+ wj 1))))
528.0ms
(/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj))))
516.0ms
(fma (- (/ (- (* wj (exp wj)) x) (+ 1 wj))) (/ 1 (exp wj)) (* (/ (- (* wj (exp wj)) x) (+ 1 wj)) (/ 1 (exp wj))))
485.0ms
(fma (- (/ (- (* wj (exp wj)) x) (+ 1 wj))) (/ 1 (exp wj)) (* (/ (- (* wj (exp wj)) x) (+ 1 wj)) (/ 1 (exp wj))))

prune1.8s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.3b

localize12.0ms

Local error

Found 0 expressions with local error:

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0
Calls
0 calls:
Slowest

series0.0ms

Counts
0 → 0
Calls
0 calls:
Slowest

simplify0.0ms

Counts
0 → 0
Calls
0 calls:
Slowest

prune20.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.3b

localize30.0ms

Local error

Found 4 expressions with local error:

7.6b
(- wj (/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj)))))
0.8b
(/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj))))
0.0b
(+ (exp wj) (* wj (exp wj)))
0.0b
(+ (exp wj) (* wj (exp wj)))

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
35×*-un-lft-identity
33×prod-diff
28×add-sqr-sqrt
26×add-cube-cbrt
20×times-frac
10×add-log-exp
9×add-cbrt-cube
8×add-exp-log associate-/r/
7×distribute-rgt-out distribute-rgt1-in
6×fma-def flip3-+ flip-+
5×associate-/r*
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u div-inv
3×fma-neg
2×cbrt-undiv +-commutative sum-log div-exp
1×clear-num sub-neg frac-2neg flip3-- diff-log prod-exp cbrt-unprod flip-- associate-/l* distribute-lft-out-- difference-of-squares
Counts
4 → 121
Calls
4 calls:
Slowest
21.0ms
(- wj (/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj)))))
17.0ms
(/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj))))
15.0ms
(+ (exp wj) (* wj (exp wj)))
10.0ms
(+ (exp wj) (* wj (exp wj)))

series247.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
81.0ms
(- wj (/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj)))))
67.0ms
(/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj))))
57.0ms
(+ (exp wj) (* wj (exp wj)))
41.0ms
(+ (exp wj) (* wj (exp wj)))

simplify22.7s

Counts
117 → 133
Calls
117 calls:
Slowest
675.0ms
(fma (- (/ (exp wj) (sqrt (+ (exp wj) (* wj (exp wj)))))) (/ wj (sqrt (+ (exp wj) (* wj (exp wj))))) (* (/ (exp wj) (sqrt (+ (exp wj) (* wj (exp wj))))) (/ wj (sqrt (+ (exp wj) (* wj (exp wj)))))))
600.0ms
(fma 1 wj (- (* (/ (exp wj) (cbrt (+ (exp wj) (* wj (exp wj))))) (/ wj (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj)))))))))
589.0ms
(fma (sqrt wj) (sqrt wj) (- (* (/ (exp wj) (cbrt (+ (exp wj) (* wj (exp wj))))) (/ wj (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj)))))))))
576.0ms
(/ (* (* (* wj (exp wj)) (* wj (exp wj))) (* wj (exp wj))) (* (* (+ (exp wj) (* wj (exp wj))) (+ (exp wj) (* wj (exp wj)))) (+ (exp wj) (* wj (exp wj)))))
573.0ms
(- (sqrt wj) (sqrt (/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj))))))

prune1.4s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.1b

localize32.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (exp wj) (* wj (exp wj)))
0.0b
(fma (* wj wj) (- (* wj wj) wj) (* wj wj))
0.0b
(* wj (exp wj))
0.0b
(/ x (+ (exp wj) (* wj (exp wj))))

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
22×*-un-lft-identity
19×add-sqr-sqrt
17×add-cube-cbrt
15×times-frac
8×add-cbrt-cube
7×add-exp-log
6×pow1 add-log-exp
5×associate-/r* distribute-rgt-out distribute-rgt1-in
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×fma-def associate-*r* associate-*l* associate-/l*
2×flip3-+ associate-/r/ flip-+
1×cbrt-undiv +-commutative clear-num sum-log frac-2neg div-exp pow-prod-down prod-exp *-commutative cbrt-unprod fma-udef div-inv unswap-sqr
Counts
4 → 91
Calls
4 calls:
Slowest
21.0ms
(/ x (+ (exp wj) (* wj (exp wj))))
19.0ms
(* wj (exp wj))
16.0ms
(+ (exp wj) (* wj (exp wj)))
0.0ms
(fma (* wj wj) (- (* wj wj) wj) (* wj wj))

series243.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
92.0ms
(/ x (+ (exp wj) (* wj (exp wj))))
63.0ms
(+ (exp wj) (* wj (exp wj)))
51.0ms
(* wj (exp wj))
36.0ms
(fma (* wj wj) (- (* wj wj) wj) (* wj wj))

simplify4.3s

Counts
69 → 103
Calls
69 calls:
Slowest
329.0ms
(- (+ x (* 5/2 (* x (pow wj 2)))) (* 2 (* x wj)))
301.0ms
(* (* (* wj wj) wj) (* (* (exp wj) (exp wj)) (exp wj)))
298.0ms
(+ (* (exp wj) (exp wj)) (- (* (* wj (exp wj)) (* wj (exp wj))) (* (exp wj) (* wj (exp wj)))))
264.0ms
(- (+ (pow wj 2) (pow wj 4)) (pow wj 3))
244.0ms
(* (exp (exp wj)) (exp (* wj (exp wj))))

prune1.0s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.1b

regimes107.0ms

Accuracy

72.6% (0.3b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 1.2b

bsearch51.0ms

end0.0ms

sample8.5s

Algorithm
intervals
Results
6.8s7617×body10240exit
738.0ms6302×body80valid
253.0ms795×body320valid
185.0ms465×body640valid
164.0ms523×body160valid