Details

Time bar (total: 21.1s)

sample275.0ms

Algorithm
intervals
Results
213.0ms255×body10240exit
22.0ms202×body80valid
8.0ms16×body640valid
7.0ms20×body320valid
4.0ms21×body160valid

simplify1.3s

Counts
1 → 1

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.6b

localize40.0ms

Local error

Found 4 expressions with local error:

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

rewrite133.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
57.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
56.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))
9.0ms
(* wj (exp wj))
8.0ms
(+ (exp wj) (* wj (exp wj)))

series273.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
97.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))
75.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
63.0ms
(+ (exp wj) (* wj (exp wj)))
38.0ms
(* wj (exp wj))

simplify1.1s

Counts
180 → 180

prune1.7s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.6b

localize12.0ms

Local error

Found 2 expressions with local error:

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

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1 add-cbrt-cube add-exp-log
4×add-sqr-sqrt *-un-lft-identity add-cube-cbrt add-log-exp
3×fma-def associate-*r* pow-prod-down prod-exp cbrt-unprod
2×expm1-log1p-u insert-posit16 log1p-expm1-u
1×+-commutative associate-+l+ sum-log flip3-+ associate-*l* *-commutative flip-+ fma-udef
Counts
2 → 39
Calls
2 calls:
Slowest
14.0ms
(* (* x wj) -2)
6.0ms
(+ (fma wj wj x) (* (* x wj) -2))

series79.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
44.0ms
(+ (fma wj wj x) (* (* x wj) -2))
36.0ms
(* (* x wj) -2)

simplify1.2s

Counts
45 → 45

prune378.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.6b

localize36.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (fma wj wj x))
0.6b
(cbrt (fma wj wj x))
0.6b
(cbrt (fma wj wj x))
0.5b
(* (cbrt (fma wj wj x)) (cbrt (fma wj wj x)))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
11×pow1
9×pow1/3
6×swap-sqr associate-*r* associate-*l* add-exp-log
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 85
Calls
4 calls:
Slowest
12.0ms
(* (cbrt (fma wj wj x)) (cbrt (fma wj wj x)))
1.0ms
(cbrt (fma wj wj x))
1.0ms
(cbrt (fma wj wj x))
1.0ms
(cbrt (fma wj wj x))

series521.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
135.0ms
(* (cbrt (fma wj wj x)) (cbrt (fma wj wj x)))
130.0ms
(cbrt (fma wj wj x))
128.0ms
(cbrt (fma wj wj x))
128.0ms
(cbrt (fma wj wj x))

simplify913.0ms

Counts
97 → 97

prune1.0s

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 0.6b

localize44.0ms

Local error

Found 4 expressions with local error:

4.8b
(exp (log (* (cbrt (fma wj wj x)) (cbrt (fma wj wj x)))))
0.6b
(cbrt (fma wj wj x))
0.6b
(cbrt (fma wj wj x))
0.6b
(cbrt (fma wj wj x))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
12×pow1 exp-prod
9×cbrt-prod pow1/3 log-pow
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u add-log-exp
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 log-prod pow-plus exp-sum rem-exp-log
Counts
4 → 66
Calls
4 calls:
Slowest
20.0ms
(exp (log (* (cbrt (fma wj wj x)) (cbrt (fma wj wj x)))))
1.0ms
(cbrt (fma wj wj x))
1.0ms
(cbrt (fma wj wj x))
1.0ms
(cbrt (fma wj wj x))

series472.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
131.0ms
(exp (log (* (cbrt (fma wj wj x)) (cbrt (fma wj wj x)))))
120.0ms
(cbrt (fma wj wj x))
114.0ms
(cbrt (fma wj wj x))
107.0ms
(cbrt (fma wj wj x))

simplify1.7s

Counts
78 → 78

prune817.0ms

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 0.6b

regimes232.0ms

Accuracy

38.2% (1.2b remaining)

Error of 1.7b against oracle of 0.5b and baseline of 2.4b

bsearch70.0ms

end0.0ms

sample8.7s

Algorithm
intervals
Results
7.1s7831×body10240exit
714.0ms6351×body80valid
279.0ms747×body320valid
170.0ms424×body640valid
135.0ms552×body160valid