Details

Time bar (total: 43.0s)

sample210.0ms

Algorithm
intervals
Results
156.0ms326×body10240exit
15.0ms205×body80valid
5.0ms21×body320valid
4.0ms15×body640valid
2.0ms17×body160valid

simplify8.9s

Counts
1 → 1
Iterations
IterNodes
done5000
64431
5806
4205
3108
252
121
08

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.3b

localize44.0ms

Local error

Found 4 expressions with local error:

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

rewrite274.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×associate-/r/ add-cbrt-cube add-log-exp
7×add-exp-log
6×pow1
5×flip3-+ associate-/r* flip-+
4×expm1-log1p-u log1p-expm1-u div-inv
3×fma-def fma-neg associate-*r* associate-*l* associate-/l*
2×flip3-- div-sub flip-- associate-/l/ difference-of-squares
1×cbrt-undiv +-commutative sub-neg frac-2neg diff-log div-exp pow-prod-down prod-exp clear-num sum-log *-commutative cbrt-unprod distribute-lft-out-- associate--r- unswap-sqr
Counts
4 → 164
Calls
4 calls:
25.0ms
(* wj (exp wj))
19.0ms
(+ (exp wj) (* wj (exp wj)))
84.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
133.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

series305.0ms

Counts
4 → 12
Calls
4 calls:
55.0ms
(* wj (exp wj))
60.0ms
(+ (exp wj) (* wj (exp wj)))
87.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
102.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

simplify5.3s

Counts
176 → 176
Iterations
IterNodes
done5000
22578
1846
0315

prune1.6s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.4b

localize18.0ms

Local error

Found 1 expressions with local error:

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

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
1×pow1 add-exp-log add-sqr-sqrt expm1-log1p-u add-cube-cbrt *-un-lft-identity add-cbrt-cube fma-udef log1p-expm1-u add-log-exp
Counts
1 → 10
Calls
1 calls:
1.0ms
(fma (* x wj) -2 (fma wj wj x))

series55.0ms

Counts
1 → 3
Calls
1 calls:
55.0ms
(fma (* x wj) -2 (fma wj wj x))

simplify3.8s

Counts
13 → 13
Iterations
IterNodes
done5001
42535
3430
2100
140
022

prune165.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.4b

localize54.0ms

Local error

Found 4 expressions with local error:

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

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×add-cube-cbrt *-un-lft-identity
11×pow1
9×pow1/3
6×add-exp-log swap-sqr associate-*r* associate-*l*
4×expm1-log1p-u add-cbrt-cube 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 → 81
Calls
4 calls:
19.0ms
(* (cbrt (fma (* x wj) -2 (fma wj wj x))) (cbrt (fma (* x wj) -2 (fma wj wj x))))
2.0ms
(cbrt (fma (* x wj) -2 (fma wj wj x)))
2.0ms
(cbrt (fma (* x wj) -2 (fma wj wj x)))
2.0ms
(cbrt (fma (* x wj) -2 (fma wj wj x)))

series2.3s

Counts
4 → 12
Calls
4 calls:
590.0ms
(* (cbrt (fma (* x wj) -2 (fma wj wj x))) (cbrt (fma (* x wj) -2 (fma wj wj x))))
559.0ms
(cbrt (fma (* x wj) -2 (fma wj wj x)))
572.0ms
(cbrt (fma (* x wj) -2 (fma wj wj x)))
533.0ms
(cbrt (fma (* x wj) -2 (fma wj wj x)))

simplify3.1s

Counts
93 → 93
Iterations
IterNodes
done5001
31742
2629
1261
0115

prune940.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.4b

localize122.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (/ 1 (+ (exp wj) (* wj (exp wj)))) (- (* wj (exp wj)) x))
0.2b
(* (/ 1 (+ (exp wj) (* wj (exp wj)))) (- (* wj (exp wj)) x))
3.7b
(fma 1 wj (- (* (/ 1 (+ (exp wj) (* wj (exp wj)))) (- (* wj (exp wj)) x))))
4.4b
(fma (- (/ 1 (+ (exp wj) (* wj (exp wj))))) (- (* wj (exp wj)) x) (* (/ 1 (+ (exp wj) (* wj (exp wj)))) (- (* wj (exp wj)) x)))

rewrite297.0ms

Algorithm
rewrite-expression-head
Rules
42×add-sqr-sqrt associate-*l*
36×*-un-lft-identity
34×times-frac
28×add-cube-cbrt
22×add-exp-log
14×add-cbrt-cube
12×prod-diff
10×distribute-rgt-in distribute-lft-in
8×pow1 prod-exp
6×distribute-rgt-out associate-*r* distribute-rgt1-in unswap-sqr
4×expm1-log1p-u frac-times sub-neg flip3-- associate-*r/ div-exp associate-/r/ flip-- cbrt-unprod log1p-expm1-u add-log-exp
2×cbrt-undiv rec-exp flip3-+ 1-exp pow-prod-down associate-*l/ *-commutative flip-+ fma-udef div-inv
Counts
4 → 138
Calls
4 calls:
139.0ms
(* (/ 1 (+ (exp wj) (* wj (exp wj)))) (- (* wj (exp wj)) x))
148.0ms
(* (/ 1 (+ (exp wj) (* wj (exp wj)))) (- (* wj (exp wj)) x))
0.0ms
(fma 1 wj (- (* (/ 1 (+ (exp wj) (* wj (exp wj)))) (- (* wj (exp wj)) x))))
1.0ms
(fma (- (/ 1 (+ (exp wj) (* wj (exp wj))))) (- (* wj (exp wj)) x) (* (/ 1 (+ (exp wj) (* wj (exp wj)))) (- (* wj (exp wj)) x)))

series490.0ms

Counts
4 → 12
Calls
4 calls:
86.0ms
(* (/ 1 (+ (exp wj) (* wj (exp wj)))) (- (* wj (exp wj)) x))
95.0ms
(* (/ 1 (+ (exp wj) (* wj (exp wj)))) (- (* wj (exp wj)) x))
126.0ms
(fma 1 wj (- (* (/ 1 (+ (exp wj) (* wj (exp wj)))) (- (* wj (exp wj)) x))))
182.0ms
(fma (- (/ 1 (+ (exp wj) (* wj (exp wj))))) (- (* wj (exp wj)) x) (* (/ 1 (+ (exp wj) (* wj (exp wj)))) (- (* wj (exp wj)) x)))

simplify3.2s

Counts
150 → 150
Iterations
IterNodes
done5001
21520
1510
0184

prune1.8s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.4b

regimes259.0ms

Accuracy

36.6% (1.0b remaining)

Error of 1.5b against oracle of 0.5b and baseline of 2.1b

bsearch97.0ms

Steps
ItersRangePoint
8
-1.1785608538762668e-07
-5.212462118803251e-11
-8.922429223447697e-09

simplify25.0ms

Iterations
IterNodes
done53
353
252
143
026

end0.0ms

sample9.7s

Algorithm
intervals
Results
7.6s7596×body10240exit
666.0ms6276×body80valid
476.0ms468×body640valid
278.0ms769×body320valid
93.0ms563×body160valid